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.

3<br />

NUMERICAL INTEGRATION<br />

As we shall see in this chapter, orthogonal polynomials allow us to generate in a very<br />

elegant way high order integration formulas, known as Gauss formulas. Since the theory<br />

is based on the knowledge of the zeroes of the polynomials, the first part is devoted to<br />

the characterization of their main properties.<br />

3.1 Zeroes of orthogonal polynomials<br />

It is well-known that a polynomial of degree n has at most n distinct complex zeroes.<br />

In general, very l<strong>it</strong>tle can be said about real zeroes. An amazing theorem gives a precise<br />

and complete answer in the case of orthogonal polynomials.<br />

Theorem 3.1.1 - Let {un} n∈N be a sequence of solutions of (1.1.1), where un is a<br />

polynomial of degree n, satisfying the orthogonal relation (2.2.1). Then, for any n ≥ 1,<br />

un has exactly n real distinct zeroes in I.<br />

Proof - We first note that <br />

I un(x)w(x)dx = 0. Therefore un changes sign in I, hence<br />

<strong>it</strong> has at least one real zero ξ1 ∈ I. If n = 1 the proof is ended. If n > 1, then we can<br />

find another zero ξ2 ∈ I of un, w<strong>it</strong>h ξ2 = ξ1, since if un vanished only at ξ1, then the<br />

polynomial (x − ξ1)un would not change sign in I, which is in contradiction w<strong>it</strong>h the<br />

relation <br />

I (x − ξ1)un(x)w(x)dx = 0, obtained by orthogonal<strong>it</strong>y. In a similar fashion,

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

Saved successfully!

Ooh no, something went wrong!