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.

108 Polynomial Approximation of Differential Equations<br />

Theorem 6.4.1 - For a given f ∈ L 2 w(I), let ψ ∈ Pn such that<br />

(6.4.1) (f − ψ,φ) L 2 w (I) = 0, ∀φ ∈ Pn.<br />

Then we have ψ = Πw,nf.<br />

Proof - We can wr<strong>it</strong>e ψ = n<br />

k=0 dkuk for some coefficients dk, 0 ≤ k ≤ n. For any<br />

0 ≤ j ≤ n, choosing φ = uj as test function, (6.4.1) yields<br />

(6.4.2) (f,uj) L 2 w (I) =<br />

n<br />

k=0<br />

dk (uk,uj) L2 w (I) = dj uj 2 L2 w (I), 0 ≤ j ≤ n.<br />

Thus, by (6.2.2), the dk’s are the first n+1 Fourier coefficients of f. Hence ψ = Πw,nf.<br />

This result is the starting point for the defin<strong>it</strong>ion of new projection operators. For<br />

any m ∈ N and n ≥ m, we introduce the operator Π m w,n : H m w (I) → Pn, such that<br />

(6.4.3) (f − Π m w,nf,φ) H m w (I) = 0, ∀φ ∈ Pn.<br />

The inner product in H m w (I) has been defined in (5.6.2) and (5.7.2). Of course we<br />

have Π 0 w,n = Πw,n. One easily verifies that the polynomial Π m w,nf ∈ Pn is uniquely<br />

determined and represents the orthogonal projection of f in the H m w (I) norm. One<br />

checks that this projection satisfies a minimization problem like (6.2.4), namely<br />

(6.4.4) f − Π m w,nfH m<br />

w (I) = inf f − ψHm w (I).<br />

ψ∈Pn<br />

Moreover, we have for n ≥ m<br />

(6.4.5) Π m w,nf H m w (I) ≤ f H m w (I), ∀f ∈ H m w (I).<br />

As before, the expression in (6.4.4) tends to zero when n → +∞, w<strong>it</strong>h a rate depending<br />

on the degree of smoothness of f. For simplic<strong>it</strong>y, we restrict the analysis to the case<br />

m = 1 and we just consider the Jacobi weight w(x) = (1−x) α (1+x) β , x ∈ I =]−1,1[.

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

Saved successfully!

Ooh no, something went wrong!