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.

42 Polynomial Approximation of Differential Equations<br />

3.2 Lagrange polynomials<br />

As remarked in section 2.3, the set {uk}0≤k≤n is a basis in the space Pn of polynomials<br />

of degree at most n. When n + 1 distinct points are given in<br />

Ī, another basis in Pn<br />

is generated in a natural way. This is the basis of Lagrange polynomials w<strong>it</strong>h respect<br />

to the prescribed points. An element of the basis attains the value 1 at a certain point<br />

and vanishes in the remaining n points.<br />

Let us analyze first the Jacobi case. We examine two interesting examples. On<br />

one hand we have the set of the Lagrange polynomials in Pn−1 relative to the n points<br />

ξ (n)<br />

k<br />

(α,β)<br />

, 1 ≤ k ≤ n, i.e., the zeroes of P n . On the other we have the set of Lagrange<br />

polynomials in Pn relative to the n + 1 points η (n)<br />

k , 0 ≤ k ≤ n, i.e., the zeroes of<br />

d (α,β)<br />

dxP n plus the two points −1 and 1.<br />

In the first case, the elements of the basis are denoted by l (n)<br />

j , 1 ≤ j ≤ n. These<br />

polynomials in Pn−1 are uniquely defined by the cond<strong>it</strong>ions<br />

(3.2.1) l (n)<br />

j (ξ (n)<br />

i ) =<br />

<br />

1 if i = j<br />

, 1 ≤ j ≤ n.<br />

0 if i = j<br />

They actually form a basis because any polynomial p ∈ Pn−1 can be wr<strong>it</strong>ten as follows:<br />

(3.2.2) p =<br />

n<br />

j=1<br />

p(ξ (n)<br />

j ) l (n)<br />

j .<br />

Therefore, p is a linear combination of the Lagrange polynomials. Such a combination<br />

is uniquely determined by the coefficients p(ξ (n)<br />

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

The following expression is easily proven:<br />

(3.2.3) l (n)<br />

j (x) =<br />

n<br />

k=1<br />

k=j<br />

x − ξ (n)<br />

k<br />

ξ (n)<br />

j<br />

− ξ(n)<br />

k<br />

, 1 ≤ j ≤ n, x ∈ [−1,1].<br />

For future applications, <strong>it</strong> is more convenient to consider the alternate expression<br />

⎧<br />

⎪⎨<br />

un(x)<br />

if x = ξ (n)<br />

j ,<br />

(3.2.4) l (n)<br />

j (x) =<br />

⎪⎩<br />

u ′ n(ξ (n)<br />

j ) (x − ξ (n)<br />

j )<br />

1 if x = ξ (n)<br />

j ,

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

Saved successfully!

Ooh no, something went wrong!