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.

8 Polynomial Approximation of Differential Equations<br />

Furthermore, (1.3.9) leads to<br />

(1.4.4) |Pn(x)| ≤ 1 , |x| ≤ 1, n ∈ N.<br />

Combining (1.3.6) and (1.3.9), we can also estimate the derivative according to<br />

(1.4.5) |P ′ n(x)| ≤ 1<br />

2n(n + 1) , |x| ≤ 1 , n ∈ N.<br />

Another useful relation can be easily established by taking x = 0 in (1.4.2), i.e.<br />

⎧<br />

⎨0<br />

if n is odd,<br />

(1.4.6) Pn(0) =<br />

⎩<br />

n! 2−n <br />

n −2<br />

2 ! if n is even.<br />

Therefore, one deduces that lim<br />

n→+ ∞ Pn(0) = 0.<br />

In Figure 1.4.1 the polynomials Pn, 1 ≤ n ≤ 6, are plotted, while Figure 1.4.2<br />

shows the behavior of P11.<br />

In order to give some general ideas of the behavior of Legendre polynomials, we<br />

state two other results (see szegö(1939) and jackson(1930) respectively).<br />

Theorem 1.4.1. - For any n ≥ 5, when x increases from 0 to 1, the successive relative<br />

maximum values of |Pn(x)| also increase.<br />

Theorem 1.4.2. - For any n ∈ N and any x ∈ Ī, one has<br />

(1.4.7) Pn(x) = 1<br />

π<br />

π<br />

0<br />

<br />

x + i 1 − x2 n cos θ<br />

Though the right hand side in (1.4.7) contains the imaginary un<strong>it</strong>y (i.e., i = √ −1), the<br />

global integral is real. Taking the absolute value on both sides of (1.4.7), we can prove<br />

the estimate:<br />

dθ.

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

Saved successfully!

Ooh no, something went wrong!