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.

40 Polynomial Approximation of Differential Equations<br />

In the numerical computations, the following algor<strong>it</strong>hm is generally adopted. For<br />

each zero, an in<strong>it</strong>ial guess is obtained as described above (for the Jacobi case the average<br />

between the upper and lower bound in the estimates (3.1.1) or (3.1.2)-(3.1.3) can be<br />

taken into account). A few <strong>it</strong>erations of a Newton method is then sufficient to determine<br />

accurately the zero. The point values of the polynomial and <strong>it</strong>s derivative can be<br />

computed from (1.1.2) and (1.1.3).<br />

Concerning the case of Laguerre (or Herm<strong>it</strong>e), when n grows, rounding errors occur<br />

in the procedure, due to the sharp oscillations exhib<strong>it</strong>ed by the polynomials. Consider-<br />

able improvements are obtained operating w<strong>it</strong>h scaled Laguerre (or Herm<strong>it</strong>e) functions.<br />

Of course, the values of the zeroes are the same, but the derivatives in the neighborhood<br />

of the zeroes are now moderate.<br />

Similar arguments hold for the determination of the zeroes of the derivatives of<br />

orthogonal polynomials. An in<strong>it</strong>ial approximation can obtained by considering that<br />

each zero η (n)<br />

k , 1 ≤ k ≤ n − 1, of u′ n lies between two consecutive zeroes of un. In<br />

alternative, one can use relations (1.3.6), (1.6.6), (1.7.8).<br />

As <strong>it</strong> will be clear in the following sections, for n ≥ 1, in the Jacobi case <strong>it</strong> is<br />

convenient to set η (n)<br />

0 := −1 and η (n)<br />

n := 1 (though these are not in general zeroes).<br />

Particularly interesting are the s<strong>it</strong>uations where an explic<strong>it</strong> expression is known, i.e.<br />

(3.1.11) η (n)<br />

k<br />

(3.1.12) η (n)<br />

k<br />

(3.1.13) η (n)<br />

k<br />

(3.1.14) η (n)<br />

k<br />

= −cos kπ<br />

n<br />

0 ≤ k ≤ n, if α = β = − 1<br />

2 ,<br />

2k + 1<br />

1<br />

= −cos π 1 ≤ k ≤ n − 1, if α = β =<br />

2n + 2 2 ,<br />

2k + 1<br />

1<br />

= −cos π 1 ≤ k ≤ n, if α = , β = −1<br />

2n + 1 2 2 ,<br />

= −cos<br />

2k<br />

1<br />

π 0 ≤ k ≤ n − 1, if α = −1 , β =<br />

2n + 1 2 2 .

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

Saved successfully!

Ooh no, something went wrong!