11.08.2013 Views

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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!