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.

30 Polynomial Approximation of Differential Equations<br />

If α = −1 2 , by (1.5.6) we get<br />

(2.3.11) TkTj = 1<br />

<br />

2<br />

Tk+j + T |k−j| , k,j ∈ N.<br />

Besides, for Herm<strong>it</strong>e polynomials we have<br />

(2.3.12) HkHj =<br />

min(k,j) <br />

m=0<br />

2 m m!<br />

<br />

k j<br />

Hk+j−2m, k,j ∈ N.<br />

m m<br />

Taking p = q in (2.3.4), we can finally evaluate the expansion coefficients of p 2 in<br />

terms of those of p. The reader can find more results, suggestions and references in<br />

askey(1975), lecture 5.<br />

2.4 The projection operator<br />

More generally, in analogy w<strong>it</strong>h (2.3.7), if f is a given function such that fw is integrable<br />

in I (when I is not bounded fw will be also required to decay to zero at infin<strong>it</strong>y), then<br />

we define <strong>it</strong>s Fourier coefficients by setting<br />

(2.4.1) ck :=<br />

1<br />

<br />

fukw dx, k ∈ N.<br />

uk 2 w<br />

I<br />

Let us introduce now the operator Πw,n : C 0 ( Ī) → Pn, n ∈ N. This operator acts as<br />

follows. For any continuous function f, we compute <strong>it</strong>s coefficients according to (2.4.1).<br />

Then, Πw,nf ∈ Pn is defined to be the polynomial pn := n<br />

k=0 ckuk. It turns out that<br />

Πw,n is a linear operator. We call pn the orthogonal projection of f onto Pn, through<br />

the inner product (·, ·)w. Of course, one has<br />

(2.4.2) Πw,np = p, ∀p ∈ Pn,<br />

(2.4.3) Πw,num = 0, ∀m > n.

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

Saved successfully!

Ooh no, something went wrong!