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.

112 Polynomial Approximation of Differential Equations<br />

Theorem 6.5.1 - Let f be such that fw is Riemann integrable in I =] − 1,1[. Then<br />

we have<br />

(6.5.1) lim<br />

n→+∞<br />

n<br />

j=1<br />

f(ξ (n)<br />

j ) w (n)<br />

j<br />

<br />

= lim Iw,nf w dx =<br />

n→+∞<br />

I<br />

<br />

I<br />

fw dx.<br />

Proof - We show a simplified proof for f ∈ C0 ( Ī). The general case is studied in<br />

stekloff(1916). We use the polynomial of best uniform approximation of f (see section<br />

6.1). For any n ≥ 1, taking into account that [Ψ∞,n−1(f) − Iw,nf] ∈ Pn−1, we have<br />

(6.5.2)<br />

<br />

<br />

<br />

<br />

<br />

(f −Iw,nf)wdx <br />

≤<br />

<br />

<br />

<br />

<br />

<br />

(f −Ψ∞,n−1(f))wdx <br />

+<br />

<br />

<br />

<br />

<br />

I<br />

≤ f −Ψ∞,n−1(f) C 0 (Ī)<br />

I<br />

⎛<br />

<br />

⎝<br />

I<br />

w dx +<br />

n<br />

j=1<br />

w (n)<br />

j<br />

⎞<br />

n<br />

(Ψ∞,n−1(f) −Iw,nf)(ξ<br />

j=1<br />

(n)<br />

j ) w (n)<br />

j<br />

⎠ = 2 f −Ψ∞,n−1(f) C 0 (Ī)<br />

<br />

I<br />

<br />

<br />

<br />

<br />

w dx,<br />

where we made use of Iw,nf(ξ (n)<br />

j ) = f(ξ (n)<br />

j ), 1 ≤ j ≤ n. Now, because of (6.1.5), the<br />

last term in (6.5.2) tends to zero. Moreover, when f is smooth, we can establish the<br />

rate of convergence using (6.1.7).<br />

For Laguerre and Herm<strong>it</strong>e quadrature formulas we can state similar propos<strong>it</strong>ions (see<br />

uspensky(1928) and davis and rabinow<strong>it</strong>z(1984)).<br />

Theorem 6.5.2 - Let f be such that fw is Riemann integrable in I =]0,+∞[, where<br />

w is the Laguerre weight function. Assume the existence of x0 ∈ I and ǫ > 0 such that<br />

|f(x)w(x)| ≤ x −1−ǫ , ∀x > x0. Under these assumptions (6.5.1) holds.<br />

Theorem 6.5.3 - Let f be such that fw is Riemann integrable in I = R, where w<br />

is the Herm<strong>it</strong>e weight function. Assume the existence of x0 ∈ I and ǫ > 0 such that<br />

|f(x)w(x)| ≤ x −1−ǫ , ∀|x| > x0. Under these assumptions (6.5.1) holds.

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

Saved successfully!

Ooh no, something went wrong!