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.

200 Polynomial Approximation of Differential Equations<br />

≤ C −1<br />

2 sup<br />

φ∈Xn<br />

φ≡0<br />

B(χn − pn,φ)<br />

φX<br />

= C −1<br />

2 sup<br />

φ∈Xn<br />

φ≡0<br />

|F(φ) − Fn(φ)|<br />

, n ∈ N.<br />

φX<br />

Inequal<strong>it</strong>y (9.4.4) follows by combining (9.4.6), (9.4.7) and (9.4.8).<br />

Returning to problem (9.4.2), we apply the previous theorem to get the estimate<br />

<br />

(9.4.9) U −pnH1 0,w (I) ≤ C<br />

inf<br />

χ∈P0 U −χH1 0,w (I) + f −Πw,n−2fL2 w (I)<br />

n<br />

<br />

, ∀n ≥ 2.<br />

We further bound this error using the results of chapter six. We can consider inequal<strong>it</strong>ies<br />

(6.4.15) and (6.4.6) after taking χ := Π 1 0,w,nU in (9.4.9). We remark that f = −U ′′ in<br />

I. Thus, we finally get<br />

(9.4.10) U − pn H 1 0,w (I) ≤ C<br />

k 1<br />

fH k<br />

w n<br />

(I), ∀n > k ≥ 0.<br />

This shows that pn converges to U w<strong>it</strong>h a rate depending on the regular<strong>it</strong>y of f. Due<br />

to inequal<strong>it</strong>y (5.7.4), this convergence is uniform.<br />

We remark that the function χn, n ≥ 2, defined in the proof of theorem 9.4.1, here<br />

coincides w<strong>it</strong>h the polynomial ˆ Π 1 0,w,nU ∈ P 0 n, introduced in (6.4.13). The existence of<br />

such a polynomial follows from theorem 9.3.1, and estimates of the error U − ˆ Π 1 0,w,nU<br />

can be recovered from (9.4.7).<br />

The same kind of analysis applies to the collocation method (9.2.15) in the case<br />

σ1 = σ2 = 0. It is sufficient to recall the quadrature formula (3.5.1) and modify (9.4.1)<br />

according to<br />

(9.4.11) Fw,n(φ) :=<br />

n<br />

j=0<br />

f(η (n)<br />

j )φ(η (n)<br />

j ) ˜w (n)<br />

j , ∀φ ∈ P 0 n,<br />

where f ∈ C0 ( Ī). We recall the Schwarz inequal<strong>it</strong>y and theorem 3.8.2 to check (9.3.7).<br />

Actually, one has |Fw,n(φ)| ≤ C3f C 0 (Ī)φ H 1 0,w (I), ∀φ ∈ P 0 n, ∀n ≥ 2.

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

Saved successfully!

Ooh no, something went wrong!