You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
156 7. INTEGRACIÓN NUMÉRICA<br />
Corolario 7.26. Sea Qn(f) = n<br />
j=0 Ajf(xj) una fórmula de cuadratura gaussiana, entonces<br />
Aj > 0 para todo j = 0, . . . , n.<br />
Demostración. Consideremos los polinomios de la base de Lagrange. Cada ℓk, k = 0, . . . , n<br />
verifica que (ℓk) 2 ∈ P2n y entonces I(ℓ 2 k ) = Qn(ℓ 2 k ). Como ℓk(xj) = δkj,<br />
0 <<br />
b<br />
a<br />
ℓ 2 k (x)w(x) dx =<br />
n<br />
Aj(ℓk(xj)) 2 = Ak.<br />
Ejemplo 7.27. La fórmula de cuadratura gaussiana para peso w(x) = 1 e intervalo [−1, 1]<br />
corresponde a los polinomios ortogonales de Legendre. Se quiere,<br />
1. Hallar la fórmula de tres puntos.<br />
2. Usar las fórmulas de Gauss-Legendre de tres puntos para estimar<br />
j=0<br />
3<br />
1<br />
ln(x) dx.<br />
Para resolver la primer parte, los nodos son las raíces del polinomio ortogonal de grado 3. Para<br />
el peso w(x) = 1, la familia de polinomios ortogonales es {1, x, 1<br />
2 (3x2 − 1), 1<br />
2x(5x2 − 3)}. Los<br />
ceros de p3 coinciden con los de q3(x) = 1<br />
2x(5x2 <br />
3<br />
− 3) siendo x0 = − 5 , x1<br />
<br />
3<br />
= 0, x2 = 5 .<br />
Los coeficientes {A0, A1, A2} pueden encontrase por el método de coeficientes indeterminados,<br />
teniendo en cuenta la exactitud de la fórmula. Esto es, (n = 2)<br />
1<br />
x<br />
−1<br />
m dx = A0x m 0 + A1x m 1 + A2x m 2 ; para m = 0, 1, 2, 3, 4, 5.<br />
Como se conocen los nodos, al quedar determinado un sistema lineal de 3 ecuaciones con 3<br />
incógnitas, sólo se usarán las igualdades de arriba para m = 0, 1, 2; las correspondientes a<br />
m = 3, 4, 5; necesariamente van a satisfacerse gracias al Teorema 7.24.<br />
Queda entonces por resolver el sistema<br />
⎛<br />
<br />
1<br />
⎜ 3<br />
⎝ − 5<br />
1<br />
0<br />
1<br />
<br />
3<br />
5<br />
3<br />
5 0 3<br />
5<br />
de donde resultan A0 = A2 = 5<br />
9 y A1 = 8<br />
9 y<br />
Q(f) = 5<br />
9 f(−<br />
<br />
3<br />
5<br />
⎞ ⎛<br />
⎟<br />
⎠<br />
⎝ A0<br />
A1<br />
A2<br />
⎞ ⎛<br />
2<br />
⎞<br />
⎠ = ⎝ ⎠ ,<br />
0 2<br />
3<br />
8 5<br />
) + 9f(0) + 9f( <br />
3<br />
5 ).