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.

56 Polynomial Approximation of Differential Equations<br />

3.8 Discrete norms<br />

Two polynomials p,q ∈ Pn−1 are uniquely characterized by the values they take at the<br />

Gauss nodes ξ (n)<br />

j , 1 ≤ j ≤ n. Therefore, since pq is a polynomial of degree at most<br />

2n − 2, the inner product <br />

I<br />

pqw dx can be determined w<strong>it</strong>h the help of (3.4.1). The<br />

s<strong>it</strong>uation is different when the polynomials p,q ∈ Pn are distinguished by their values at<br />

the points η (n)<br />

j , 0 ≤ j ≤ n. This time pq ∈ P2n and the Gauss-Lobatto formula (3.5.1)<br />

becomes invalid. This justifies the defin<strong>it</strong>ion of an inner product (·, ·)w,n : Pn×Pn → R,<br />

and a norm · w,n : Pn → R + , given by<br />

(3.8.1) (p,q)w,n :=<br />

(3.8.2) pw,n :=<br />

n<br />

j=0<br />

⎛<br />

⎝<br />

p(η (n)<br />

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

j ) ˜w (n)<br />

j , ∀p,q ∈ Pn,<br />

n<br />

j=0<br />

p 2 (η (n)<br />

j ) ˜w (n)<br />

j<br />

⎞<br />

⎠<br />

1<br />

2<br />

, ∀p ∈ Pn.<br />

These expressions are called discrete inner product and discrete norm respectively.<br />

We first compute the discrete norm of un. For the sake of simplic<strong>it</strong>y we restrict ourselves<br />

to the ultraspherical case.<br />

Theorem 3.8.1 - For any n ≥ 1, we have<br />

(3.8.3) un 2 w,n = 2 2α+1 Γ 2 (n + α + 1)<br />

n n! Γ(n + 2α + 1) ,<br />

where un = P (α,α)<br />

n , α > −1.<br />

Proof - The key point is the relation<br />

(3.8.4) u ′ n−1(η (n)<br />

j ) = −<br />

n(n + 2α)<br />

n + α<br />

un(η (n)<br />

j ), 1 ≤ j ≤ n − 1.<br />

To obtain (3.8.4), we refer to szegö(1939), p.71, formula (4.5.7). We subst<strong>it</strong>ute n − 1<br />

for n in the second part of that formula, and then we eliminate un−1 w<strong>it</strong>h the help of

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

Saved successfully!

Ooh no, something went wrong!