CUADRATURA GAUSSIANA

Este mtodo de basa en muestrear el integrando de la funcin cuya integral se desea encontrar, a valores que representan races de polinomios ortogonales. Los ms populares de stos son los polinomios de Legendre. En general un conjunto de funciones 0 ( x), 1 ( x), , n ( x) se conocen como ortogonales en un intervalo a x b , si

Donde w( x ) es una funcin de ponderacin no negativa en [ a b ] . Si las funciones m ( x) son polinomios, estos se designan como polinomios ortogonales.

w( x) m ( x) n ( x) dx = 0, m n

(1)

POLINOMIOS DE LEGENDRE.
Los primeros cinco polinomios de Legendre son:

P0 ( x) = 1 P ( x) = x 1 P2 ( x) = 1 (3 x 2 1) 2 P3 ( x) = (5 x 3 x)
1 2 3

(2)

P4 ( x) = 1 (35 x 4 30 x 2 + 3) 8
El polinomio de Legendre de grado n se puede obtener por medio d la frmula de Rodrigues

1 dn 2 Pn ( x) = n ( x 1) n 2 n ! dx n
O bien a partir de la frmula recursiva:

(n + 1) Pn +1 ( x) (2n + 1) x Pn ( x) + n Pn 1 ( x) = 0
Las relaciones de ortogonalidad y normalizacin, con las funciones de ponderacin (peso) igual a 1, son:

Pn ( x) Pm ( x) dx =

0 2 2n + 1

mn m=n
(3)

Todas las races de cada Pn ( x ) = 0 son reales y distintas, adems estn contenidas en el intervalo [ 1 1] .

CUADRATURA GAUSSIANA.
El propsito es discutir la frmula de integracin Gaussiana que aproxima

f ( x) dx

(4)

y mostrar que con un simple cambio de variable se pueden extender los lmites de integracin a valores distintos a [ 1 1] . La aproximacin d la integral definida se puede definir como

f ( x) = w0 f ( x0 ) + w1 f ( x1 ) + w2 f ( x2 ) + + wn f ( xn ) = wk f ( xk )
k =0

(5)

w0 , w1 , , wn

son los coeficientes ponderados pesos.

El problema consiste en encontrar las (2n + 2) constantes ( wi , f ( xi )) . Para encontrar las mencionadas constantes, partimos de la suposicin bsica de que la frmula (2) representa sin aproximacin, es decir, exactamente un polinomio de orden 2n +1 menor. Primero mostramos que los puntos xk (k = 0, , n) , son iguales a las races del polinomio de Legendre Pn +1 ( x) . Tomemos un polinomio arbitrario g n ( x) de grado n. En trminos de polinomios de Legendre g n ( x) puede expresarse como

g n ( x) = 0 P0 ( x) + 1 P ( x) + + n Pn ( x) 1
Como ejemplo supongamos

(6)

g 2 ( x) = 1 + 2 x + x 2 .

De la ecuacin (6) y (2) obtendremos:

g 2 ( x) = 0 + 1 x +

(3 x 2 1) = 0 2 + 1 x + 3 2 x 2 2 2 2

Comparando esta ltima expresin con la g 2 ( x) inicial obtenemos:

2
2

= 1, 1 = 2,

3 2

2 = 1 ,
2 3

De donde obtenemos finalmente: 0 Sustituyendo esto en (6), obtenemos

= 4 , 1 = 2, 2 = 3

g 2 ( x ) = 4 P0 ( x ) + 2 P ( x ) + 2 P2 ( x ) . 1 3 3
Este simple ejemplo muestra que cualquier polinomio g n ( x ) se puede escribir en trminos de polinomios de Legendre. A partir de la definicin de ortogonalidad expresada en (3):

1 1

g n ( x) Pn +1 ( x) dx =

0 P0 ( x) Pn +1 ( x) + 1 P ( x) Pn +1 ( x) + + n Pn ( x) Pn +1 ( x) = 0 1
1 1

(7)

Observamos que g n ( x) Pn +1 ( x) , es un polinomio de grado 2n + 1 , y por tanto representa exactamente polinomios de grado 2n + 1 menos, lo cual constituye el requisito bsico mencionado antes, en la definicin de la ecuacin (5), para la seleccin de wk y xk (k = 0, , n) . Comparando (7) con (5) obtenemos:

w0 g n ( x0 ) Pn +1 ( x0 ) + w1 g n ( x1 ) Pn +1 ( x1 ) + + wn g n ( xn ) Pn +1 ( xn ) = 0

(8)

Como g n ( x) es un polinomio arbitrario, g n ( xk ) (k = 0, , n) no es cero en general. As mismo las n + 1 funciones de ponderacin pesos wk (k = 0, , n) no pueden ser todos cero, de lo contrario la ecuacin (5) ser igual a cero, lo cual constituye el caso trivial. Dado lo anterior la nica condicin para la ecuacin (8) ser:

Pn +1 ( x0 ) = 0 Pn +1 ( x1 ) = 0 Pn +1 ( xn ) = 0
Lo anterior implica que x0 , x1 , , xn son las races del polinomio de Legendre

+ 1] existen n+1 races distintas. Como ejemplo, para n=1,

Para Pn +1 ( x) [ 1

Pn +1 ( x) = 0 .

Pn +1 ( x ) = P2 ( x ) =
por lo que las races son x = 1 Mientras que para el caso n=2,
3.

1 2

(3x

1) = 0

P3 ( x ) =
por lo que las races son

1 2

(5x

3x ) = 1 x (5 x2 3x ) = 0 , 2
3 5

x = 0, x =

Para la determinacin de los coeficientes wk ( k = 0, , n) de nuevo tomamos en consideracin el requisito establecido en (5), esto es, que si el integrando f(x) es un polinomio de grado n+1 menos, dicha ecuacin no involucra una aproximacin. Por definicin, el polinomio de Lagrange para aproximar cualquier polinomio hn ( x) de grado n, que pasa por n+1 puntos xk ( k = 0, , n) se puede expresar como

hn ( x) = h( xk ) Lk ( x )
k =0

Por lo que
+1

h ( x) dx = h( x ) L ( x) .
n 1 k = 0 k k

+1 n

Dado que h( xk ) es una constante

+1 +1

h ( x) dx = h( x ) L ( x)
n k =0 k k 1

(9)

Comparando (5) con (9) tenemos

+1

wk = Lk ( x)
1

k = 0, , n

(10).

Es comn encontrar la definicin de Lk y por tanto de wk en trminos de polinomios de Legendre. Esto se obtiene como sigue.
Pn +1 ( x) es igual a cero para todo x = x j , j = 0, , n , pero j k . x xk De acuerdo a la regla de LHopital

El polinomio

dPk +1 ( x) Pn +1 ( x) dP ( x ) dx lim = = k +1 k = Pn'+1 ( xk ) x xk x x dx d ( x xk ) k x = xk dx

(Dado que la derivada del denominador es igual a 1), donde xk es una de las races del polinomio de Legendre Pn +1 ( x) = 0 . Dado lo anterior, el polinomio de Lagrange puede expresarse como

Lk =

Pn +1 ( x) 1 Pn'+1 ( xk ) ( x xk )

por tanto las funciones de ponderacin (pesos) se definen alternativamente como

Pn +1 ( x) 1 wk = ' dx Pn +1 ( xk ) 1 ( x xk )
Para ejemplificar consideremos n=1, Pn +1 ( x ) = P2 ( x ) =
1 2

+1

(11).

(3x

1) cuyas races son

De aqu entonces

x0 = 1 3 , x1 = 1

3 y su derivada P2 ( x ) =
'

w0 =

3( 1

1
3

)
3

+1 1 2 1

( 3x

1 2

( 6 x ) = 3x .
2

1)
2

x+

1 w1 = 3( 1
Para n=2, Pn +1 ( x ) = P3 ( x ) =
1 2

+1 1 2 1

( 3x

1 3

dx

1)
1 3

x+

dx

(5x

3 x ) . Las races de P3 ( x) se determinaron

3 3 , x1 = 0, x2 = y la derivada de P3 ( x ) , 5 5

previamente y resultaron x0 =

P3' ( x) =

3 2

(5x

1) , por lo que obtenemos

3 +1 1 +1 2 1 2 3 5 2 ( 5 x 3x ) 1 x dx = w0 = dx = x 2 3 1 3(3 1) 1 5 9 3 3 5 1 x+ 2 5 5

+1 1 ( 5 x 3 3 x ) dx = 8 1 2 w1 = 3 9 ( 5 0 1) 1 x 0 2
3 +1 1 +1 2 1 2 3 5 2 ( 5 x 3x ) 1 x dx = w2 = dx = x + 1 1 2 3 3(3 1) 5 9 3 5 1 x 3 2 5 5

El procedimiento descrito arriba puede extenderse para diferentes valores de n, es decir, para tres puntos, cuatro puntos, cinco puntos, etctera. La siguiente tabla muestra algunos de estos casos, y en [1] se pueden encontrar una lista ms grande. Races de los polinomios de Legendre Pn +1 ( z ) y sus factores de ponderacin para la cuadratura de Gauss-Legendre. Races (zi) 0.57735 02691 89626 0.00000 000000 0.77459 66692 41483 0.33998 10435 84856 0.86113 63115 94053 0.00000 00000 000000 0.53846 93101 05683 0.90617 98459 38664
+1

F ( z ) dz = wi F ( zi )
i =0

Factores de ponderacin (peso) 1.00000 00000 00000 0.88888 88888 88889 0.65214 51548 62546 0.34785 48451 37454 0.56888 88888 88889 0.47862 86704 99366 0.23692 68850 56189

n=1 frmula de dos puntos n=2 frmula de tres puntos n=3 frmula de cuatro puntos n=4 frmula de cinco puntos

Lmites de Integracin. Dado que los lmites de integracin asociados con es te desarrollo son -1 y +1, en un problema de aplicacin habr que ajustar el procedimiento de la cuadratura Gaussiana a los lmites de la aplicacin particular. Lo anterior se logra mediante un simple cambio de variable. Definimos una relacin lineal con la nueva variable

x=

(b a ) t + (b + a ) 2

dx =

ba dt 2

En este caso

f ( x) dx
b

se convertir en

f ( x) dx =

b a +1 (b a ) tk + (b + a ) f dt 2 1 2

Dado que la cuadratura de Gauss-Legendre se define

+1

f ( x) dx = wk f ( xk )
k =0

La integral anterior se puede aproximar como

(b a ) n (b a ) t k + (b + a ) f ( x ) dx = wk f 2 k =0 2

Esta formulacin es la apropiada para usarse en la programacin de este mtodo en computadora, en lugar de usar una transformacin simblica de f (x). En este caso los puntos base tk se transforman y los factores de ponderacin wk se modifican al ba multiplicarse por la constante . 2 Por ejemplo, usamos la frmula de cuadratura de Gauss-Legendre de dos puntos para calcular

(x
2

2 x + 1) dx =

26 3

La frmula de cuadratura Gauss-Legendre ser (para el mtodo de dos puntos)

(x
2

2 x + 1) dx =

(4 2) 0.577350269189626*(4 2) + 4 + 2 0.577350269189626*(4 2) + 4 + 2 + (1.0) * f (1.0) * f 2 2 2

= 2.0239322565749 + 6.6427344100918

= 8.666666666667 .