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.

152 Polynomial Approximation of Differential Equations<br />

we are concerned w<strong>it</strong>h finding n + 1 complex polynomials pn,m, 0 ≤ m ≤ n, of degree<br />

at most n, and n + 1 complex numbers λn,m, 0 ≤ m ≤ n, such that<br />

(8.1.1)<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 />

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

0 ),<br />

0 ≤ m ≤ n.<br />

Each pn,m, 0 ≤ m ≤ n (different from the zero function) is determined up to a constant<br />

factor. Let us suppose that pn,m(η (n)<br />

0 ) = 0, for m = 0. Then, <strong>it</strong> is easy to realize that<br />

λn,0 = 1. On the contrary, the remaining λn,m, 1 ≤ m ≤ n, are eigenvalues of the<br />

n × n matrix, obtained by assuming σ = 0 in (7.4.1) (in (7.4.3) we have an example<br />

for n = 3). Therefore, except for m = 0, the eigenfunctions satisfy pn,m(η (n)<br />

0 ) = 0.<br />

In figures 8.1.1 to 8.1.4, we give the plot of the eigenvalues λn,m, 1 ≤ m ≤ n, in the<br />

window [−4,12] × [−12,12] of the complex plane. We considered respectively the four<br />

cases: α = β = −.7, −.5, 0, .5 . The integer n varies from 4 to 10. The eigenvalues,<br />

corresponding to the same value of n, have been joined together by segments.<br />

In the first three cases, all the eigenvalues lie in the half plane of the complex numbers<br />

w<strong>it</strong>h pos<strong>it</strong>ive real part. In general, we are induced to conjecture that Reλn,m > 0,<br />

1 ≤ m ≤ n, when α > −1, −1 < β ≤ 0. Unfortunately, we do not have the proof of<br />

this fact. The statement has been proven in solomonoff and turkel(1989), for the<br />

Chebyshev case (α = β = −.5), and could be adapted to other s<strong>it</strong>uations. Anyway, the<br />

proof is qu<strong>it</strong>e technical and we om<strong>it</strong> <strong>it</strong>.<br />

We further characterize the eigenvalues w<strong>it</strong>h the following propos<strong>it</strong>ion.<br />

Theorem 8.1.1 - For 1 ≤ m ≤ n, λn,m satisfies the relation<br />

(8.1.2) λ n n,m +<br />

n<br />

j d<br />

j=1<br />

dx j ˜ l (n)<br />

0 (−1)<br />

where the Lagrange polynomial ˜ l (n)<br />

0 is defined in (3.2.8).<br />

<br />

λ n−j<br />

n,m = 0,

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

Saved successfully!

Ooh no, something went wrong!