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.

104 Polynomial Approximation of Differential Equations<br />

A proof identical to that of theorem 6.2.4 holds for Herm<strong>it</strong>e polynomials, where λj = 2j,<br />

j ∈ N, and a(x) = w(x) = e−x2, x ∈ R.<br />

Theorem 6.2.6 - Let k ∈ N. Then there exists a constant C > 0 such that, for any<br />

f ∈ H k w(R), one has<br />

(6.2.22) f − Πw,nf L 2 w (R) ≤ C<br />

In particular, (6.2.20) takes the form<br />

k 1<br />

<br />

d<br />

√n<br />

kf dxk <br />

<br />

L 2 w (R)<br />

(6.2.23) (Πw,nf) ′ = Πw,n−1f ′ , ∀f ∈ H 1 w(R), ∀n ≥ 1.<br />

, ∀n > k.<br />

From the examples illustrated here, <strong>it</strong> is clear that the speed of convergence to zero<br />

of the error is strictly related to the eigenvalues λj, j ∈ N (i.e., the spectrum of the<br />

Sturm-Liouville problem (1.1.1)). Somehow, this justifies the adoption of the adjective<br />

spectral, commonly used in the frame of these approximation methods.<br />

6.3 Inverse inequal<strong>it</strong>ies<br />

Inverse inequal<strong>it</strong>ies are an effective tool for the analysis of convergence in approximation<br />

theory. They are based on the fact that, in fin<strong>it</strong>e dimensional spaces, two given norms<br />

are always equivalent. Thus, we are allowed to give a bound to strong norms by using<br />

weaker norms. The drawback is that the constants in the equivalence relation, depend<br />

on the dimension of the space considered, so that <strong>it</strong> is not possible to extrapolate the<br />

same inequal<strong>it</strong>ies at the lim<strong>it</strong>. Classical examples in fin<strong>it</strong>e element method are given for<br />

instance in ciarlet(1978), p.140.<br />

Let us start w<strong>it</strong>h the Jacobi case (i.e., a(x) = (1 − x 2 )w(x), x ∈ I =] − 1,1[).

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

Saved successfully!

Ooh no, something went wrong!