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

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

(1)

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.

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

P0 ( x) = 1
P1 ( x) = x
P2 ( x) = 12 (3 x 2 1)
P3 ( x) = (5 x 3 x)
1
2

(2)

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

1 dn 2
n
Pn ( x) = n
(
x
1)

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
(3)

m=n

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 )

w0 , w1 , , wn

(5)

k =0

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 P1 ( x) + + n Pn ( x)
Como ejemplo supongamos

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

(6)

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

g 2 ( x) = 0 + 1 x +

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

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

2
2

= 1, 1 = 2,

De donde obtenemos finalmente: 0

Sustituyendo esto en (6), obtenemos

3
2

2 = 1 ,

= 43 , 1 = 2, 2 =

2
3

g 2 ( x ) = 43 P0 ( x ) + 2 P1 ( x ) + 23 P2 ( x ) .
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 =
1

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

(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

Pn +1 ( x) = 0 .

Para Pn +1 ( x) [ 1

+ 1] existen n+1 races distintas.

Como ejemplo, para n=1,

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

P3 ( x ) =

1
2

( 3x

1) = 0

3.

(5x

3 x ) = 12 x ( 5 x 2 3 x ) = 0 ,

x = 0, x =

por lo que las races son

1
2

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
n

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

Por lo que
+1

+1 n

h ( x) dx = h( x ) L ( x) .
n

1 k = 0

Dado que h( xk ) es una constante

+1

+1

h ( x) dx = h( x ) L ( x)
n

k =0

(9)

Comparando (5) con (9) tenemos

+1

wk = Lk ( x)

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

+1

Pn +1 ( x)
1
wk = '
dx
Pn +1 ( xk ) 1 ( x xk )

(11).

Para ejemplificar consideremos n=1, Pn +1 ( x ) = P2 ( x ) =

x0 = 1 3 , x1 = 1

3 y su derivada P2 ( x ) =
'

w0 =

+1 1
2

3( 1

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

1
2

(5x

previamente y resultaron x0 =

P3' ( x) =

3
2

(5x

(3x

1) cuyas races son

( 6 x ) = 3x .

( 3x

x+

+1 1
2

1
2

1
2

( 3x

1)

1
3
2

x+

dx

1)
1
3

De aqu entonces

dx

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

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

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

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

5
0
1
x
0
9

) 1
2(
3
+1 1
+1
2
1
2
3
5
2 ( 5 x 3x )
1
=
+
x
dx
=
w2 =
dx
x

3 1
3(3 1) 1
5
9
3
3
5

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

i =0

F ( z ) dz = wi F ( zi )

Factores de ponderacin
(peso)

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

1.00000 00000 00000

frmula de cinco puntos

0.88888 88888 88889

0.65214 51548 62546
0.34785 48451 37454
0.56888 88888 88889
0.47862 86704 99366
0.23692 68850 56189

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=

En este caso

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

f ( x) dx

dx =

ba
dt
2

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 =
w
f
k

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
4

(x

2 x + 1) dx =

26
3

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

(x

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 .