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.

66 Polynomial Approximation of Differential Equations<br />

(4.1.2) ( ˜ l (n)<br />

i , ˜ l (n)<br />

j )w,n = δij ˜w (n)<br />

i , 0 ≤ i ≤ n, 0 ≤ j ≤ n.<br />

This is not true anymore when using the inner product given by (2.1.8). In fact, using<br />

(3.8.15), one obtains<br />

(4.1.3)<br />

1<br />

−1<br />

˜ l (n)<br />

i ˜ l (n)<br />

j wdx = δij ˜w (n)<br />

i − un 2 w,n − un 2 w<br />

un 4 w,n<br />

where un = P (α,β)<br />

n , α > −1, β > −1.<br />

un(η (n)<br />

i )un(η (n)<br />

j ) ˜w (n)<br />

i ˜w (n)<br />

j ,<br />

0 ≤ i ≤ n, 0 ≤ j ≤ n,<br />

In general, the last term on the right-hand side of (4.1.3) tends to zero (when n diverges)<br />

faster than the first term, so that the polynomials considered are almost orthogonal.<br />

Thus, for a fixed n ≥ 1, two orthogonal bases are available in Pn−1, i.e., {uk}0≤k≤n−1<br />

and {l (n)<br />

j }1≤j≤n. Therefore, we can define a linear transformation Kn : Pn−1 → Pn−1,<br />

mapping the vector at the point values of a polynomial p into the vector of <strong>it</strong>s Fourier<br />

coefficients. This application is called discrete Fourier transform, and is represented by<br />

a n × n matrix. Each Fourier coefficient is explic<strong>it</strong>ly determined recalling (2.3.7) and<br />

(3.4.1):<br />

(4.1.4) ci =<br />

1<br />

ui 2 w<br />

n<br />

j=1<br />

Therefore, we have the matrix relation<br />

p(ξ (n)<br />

j ) ui(ξ (n)<br />

j ) w (n)<br />

j , 0 ≤ i ≤ n − 1.<br />

(4.1.5) Kn := {kij} 0≤i≤n−1 , where kij :=<br />

0≤j≤n−1<br />

(n)<br />

ui(ξ j+1 ) w(n) j+1<br />

ui2 w<br />

Obviously Kn is invertible. We express <strong>it</strong>s inverse using (2.3.1):<br />

(4.1.6) p(ξ (n)<br />

i ) =<br />

and obtain<br />

(4.1.7) K −1<br />

n−1 <br />

j=0<br />

cj uj(ξ (n)<br />

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

n = {uj(ξ (n)<br />

i+1<br />

)} 0≤i≤n−1 .<br />

0≤j≤n−1<br />

.

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

Saved successfully!

Ooh no, something went wrong!