11.08.2013 Views

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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!