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.

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!