11.08.2013 Views

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

156 Polynomial Approximation of Differential Equations<br />

(8.1.10) 2γ[pn,m|(η (n)<br />

0 )] 2 ˜w (n)<br />

0 +<br />

= (2γ ˜w (n)<br />

0<br />

By taking γn := (2 ˜w (n)<br />

0 ) −1 = 1<br />

4<br />

n<br />

i=0<br />

= 2γ[|pn,m|(η (n)<br />

0 )] 2 ˜w (n)<br />

0 +<br />

d<br />

dx (|pn,m| 2 )(η (n)<br />

i ) ˜w (n)<br />

i<br />

1<br />

−1<br />

d<br />

dx |pn,m| 2 dx<br />

− 1)[|pn,m|(η (n)<br />

0 )] 2 + [|pn,m|(η (n)<br />

n )] 2 , 0 ≤ m ≤ n.<br />

n(n + 1), we conclude the proof.<br />

We note that γn must be proportional to n 2 , to ensure that the eigenvalues have<br />

pos<strong>it</strong>ive real part. This is also true for the Chebyshev case. In general, there is a real<br />

eigenvalue growing linearly w<strong>it</strong>h γ. When γ tends to infin<strong>it</strong>y, this eigenvalue diverges<br />

and the remaining n eigenvalues approach those of problem (8.1.1) for 1 ≤ m ≤ n.<br />

Heuristically, for γ = +∞, we are forcing the eigenfunctions to satisfy a vanishing<br />

boundary cond<strong>it</strong>ion at the point x = −1.<br />

Setting q = λp in (7.4.5) and arguing as in theorem 8.1.1, we obtain, for any γ ∈ R<br />

n<br />

<br />

j d<br />

(8.1.11) λ n+1<br />

n,m + γλ n n,m + γ<br />

j=1<br />

dx j ˜ l (n)<br />

0 (−1)<br />

λ n−j<br />

n,m = 0, 0 ≤ m ≤ n.<br />

For boundary cond<strong>it</strong>ions at x = 1, similar statements hold. Now, the counterparts<br />

of (8.1.1) and (8.1.6) are respectively the following ones:<br />

⎧<br />

⎨<br />

(8.1.12)<br />

⎩<br />

(8.1.13)<br />

⎧<br />

⎨<br />

⎩<br />

−p ′ n,m(η (n)<br />

i ) = λn,m pn,m(η (n)<br />

i ), 1 ≤ i ≤ n,<br />

pn,m(η (n)<br />

n ) = λn,m pn,m(η (n)<br />

n ),<br />

−p ′ n,m(η (n)<br />

i ) = λn,m pn,m(η (n)<br />

i ), 1 ≤ i ≤ n,<br />

−p ′ n,m(η (n)<br />

n ) + γpn,m(η (n)<br />

n ) = λn,m pn,m(η (n)<br />

n ),<br />

0 ≤ m ≤ n.<br />

The change in the sign ensures that the eigenvalues verify Reλn,m > 0, 0 ≤ m ≤ n,<br />

provided that −1 < α ≤ 0, β > −1, and γ > γn > 0.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!