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.

96 Polynomial Approximation of Differential Equations<br />

6.2 Estimates for the projection operator<br />

As usual, we denote by {un}n∈N the sequence of orthogonal polynomials in Ī (where<br />

Ī = [−1,1],<br />

Ī = [0,+∞[ or Ī ≡ R), w<strong>it</strong>h respect to the weight function w (we refer in<br />

particular to those introduced in chapter one).<br />

Another best approximation problem can be formulated in terms of the norm · w<br />

introduced in (2.1.9). In this case, we wish to find Ψw,n(f) ∈ Pn such that<br />

(6.2.1) f − Ψw,n(f)w = inf<br />

ψ∈Pn<br />

where f is a given function in Ī.<br />

f − ψw,<br />

For the reader acquainted w<strong>it</strong>h the results of chapter five, the natural space to develop<br />

the theory is L 2 w(I). Under this assumption, we can still define the Fourier coefficients<br />

of f as<br />

(6.2.2) ck := (f,uk) L2 w (I)<br />

uk2 L2 w (I)<br />

, k ∈ N.<br />

We note that the integral <br />

I fukwdx is fin<strong>it</strong>e in virtue of the Schwarz inequal<strong>it</strong>y (2.1.7).<br />

In this formulation we can also include the cases when I is not bounded, corresponding<br />

respectively to Laguerre and Herm<strong>it</strong>e polynomials. Now, even if the functions in L 2 w(I)<br />

are not required to be bounded, the exponential decay of the weight w is sufficient<br />

to insure the existence of the coefficients in (6.2.2). The reader unfamiliar w<strong>it</strong>h these<br />

functional spaces, can draw conclusions by thinking in terms of Riemann integrals and<br />

continuous functions, and by replacing the norms · L 2 w (I) and · C 0 (Ī), by · w<br />

and · ∞ respectively.<br />

The projector Πw,n : L 2 w(I) → Pn, n ∈ N, is defined in the usual way (see section 2.4).<br />

The next propos<strong>it</strong>ion fully characterizes the solution of problem (6.2.1).<br />

Theorem 6.2.1 - For any f ∈ L 2 w(I) and any n ∈ N, there exists a unique polynomial<br />

Ψw,n(f) ∈ Pn that satisfies (6.2.1). Moreover Ψw,n(f) = Πw,nf.

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

Saved successfully!

Ooh no, something went wrong!