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.

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!