Cuadraturas Gaussianas

Integración numérica con base de puntos en forma desigual. Hasta ahora

Z b n
X
f (x) dx ' wi f (xi )
a i=0

para n+1 valores de wi , llamados pesos para los valores funcionales f (xi ) , con xi equiespaciados =⇒ SIN
ELECCIÓN.
Si xi no son jos, habrá 2n+2 parámetros indeterminados (wi +xi ) que deben ser sucientes para determinar
un polinomio de grado 2n + 1.

Fórmulas de cuadratura Gaussianas.

Suma pesada de n + 1 valores funcionales donde los xi (base de puntos) se eligen de modo que la integración
sea exacta para f (x), polinomio de grado menor o igual a 2n + 1

Notas para Polinomios ortogonales.

Z b
w(x)Pn (x)Pm (x) dx = 0 si n 6= m
a
Z b
2
w(x) [Pn (x)] dx = c(n) 6= 0 si n = m
a
Existe una familia de polinomios bien conocida con esta propiedad de Ortogonalidad.

Polinomios de Legendre

Calculados en el intervalo [−1, 1] con w(x) = 1

2n − 1 n−1
Relación de recursión Pn (x) = x Pn−1 (x) − Pn−2 (x)
n n
Polinomios de Laguerre

Calculados en el intervalo [0, ∞] con w(x) = e(−x)

Relación de recursión Ln (x) = (2n − x − 1)Ln−1 (x) − (n − 1)2 Ln−2 (x)

Polinomios de Chebyshev

1
Calculados en el intervalo [−1, 1] con w(x) = √
1 − x2
Relación de recursión Tn (x) = 2x Tn−1 − Tn−2 (x)

Polinomios de Hermite
2
Calculados en el intervalo [−∞, ∞] con w(x) = e−x
Relación de recursión Hn (x) = 2xHn−1 (x) − 2(n − 1)Hn−2 (x)

Solo se desarrollará la cuadratura de Gauss-Legendre.

Notas sobre propiedades de los polinomios de Legendre

a) Son solución de la ecuación diferencial de Legendre

00 0
(1 − x2 )y (x) − 2 x y (x) + n(n + 1)y(x) = 0

n = 0, 1, 2, ...

donde n es el grado del polinomio solución.

1
UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería

b) Los Pn (x) de Legendre se pueden obtener mediante la fórmula de Rodrigues

1 dn 2
Pn (x) = (x − 1)n
2n n! dxn
O a partir de la siguiente fórmula de recursión

2n − 1 n−1
Pn (x) = xPn−1 (x) − Pn−2 (x)
n n

Por ejemplo:

P0 (x) = 1
P1 (x) = x
1
P2 (x) = (3x2 − 1)
2
1
P3 (x) = (5x3 − 3x)
2
Verique los polinomios obtenidos empleando la fórmula de recursión y verique su ortogonalidad
c) Se cumple Pn (1) = 1 , Pn (−1) = (−1)n

d) Los Pn (x) son ortogonales en (−1, 1)

Verique para m = n = 0; m = n = 1;
m = n = 2; m = 0, n = 1; m = 0, n = 2

Z 1 0 si n 6= m
Pm (x)Pn (x) dx = 2
−1  si m=n
2n + 1

En la gura 1 se muestra una gráca de los primeros cuatro polinomios de Legendre calculados.

P0

P1

P2

P3

−0.8 −0.6 −0.4 −0.2 0 0.2 0.4 0.6

−1 < x < 1

Figura 1: Polinomios de Legendre

Matemática D1 2
UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería

e) Cualquier polinomio de grado n se puede expresar en términos de los Pn (x) de la siguiente forma:

pn (x) = βo Po (x) + β1 P1 (x) + ... + βn Pn (x)

donde β0 , β1 , ..., βn son constantes

Ejemplo:
pn (x) = 1 + 3x + 4x2 − 7x3

Puede expresarse en términos de los polinomios de Legendre Pn (x) de la siguiente forma:

pn (x) = βo Po (x) + β1 P1 (x) + β3 P3 (x)

Reemplazando los polinomios de Legendre,

1 1
pn (x) = β0 1 + β1 x + β2 (3x2 − 1) + β3 (5x5 − 3x)
2 2

Luego, comparando los coeciente se obtiene:

 
β2 3 3 5
pn (x) = β0 + + β1 − β 3 x + β2 x 2 + β3 x 3
| {z 2} | 2
{z
2 2
} | {z } | {z }
1 3 4 −7

7 6 8 14
β0 = ; β1 = − ; β2 = ; β3 = −
3 5 3 5
f ) Los ceros de Pn (x) son reales y distintos en el intervalo (−1, 1).

Cuadratura Gauss-Legendre

Z b Z b
f (x) dx = [Pn (x) + En (x)]dx
a a

Como los xi son no equidistantes, se aproxima f (x) con un polinomio de Lagrange.

n n
X f n+1 (ξ) Y
Pn (x) + En (x) = Li (x)f (xi ) + (x − xi ) a < ξ < b
i=0
(n + 1)! i=0

donde

Y (x − xj )
Li (x) =
(xi − xj )
j=0 i6=j

Los límites de integración deben pasar de [a, b] a [−1, 1], para esto se realiza el siguiente cambio de variables

1
x= [(b − a)t + a + b] ∴ f (x) = F (t)
2
Por lo tanto

n n
X F n+1 (ξ) Y Y (t − tj )
Li (t)F (ti ) + (t − ti ) ∧ Li (t) = −1<ξ <1
i=0
(n + 1)! i=0 (ti − tj )
j=0 i6=j

Luego del cambio de variable, la integral queda expresada por:

n n
!
b 1
F n+1 (ξ) Y
Z Z X
f (x) dx = Li (t)F (ti ) + (t − ti ) dt −1<ξ <1
a −1 i=0
(n + 1)! i=0

Matemática D1 3
UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería

F n+1 (ξ)
Si F (t) es un polinomio de grado 2n + 1, entonces es un polinomio de grado 2n + 1 − (n + 1) = n.
(n + 1)!
Llamando a este polinomio φn (t), se expresa F (t) de la siguiente forma:

n
X n
Y
F (t) = Li (t)F (ti ) + φn (t) (t − ti ).
i=0 i=0

Integrando, se obtiene:

Z 1 n
X Z 1 Z 1 n
Y
F (t) dt = F (ti ) Li (t)dt + φn (t) (t − ti )dt .
−1 i=0 −1 −1 i=0
| {z } | {z }
A B

Z 1
Deniendo, wi = Li (t) dt, el término A se puede escribir como
−1

n
X
wi Fi (t)
i=0

El término B representa el error de integración, el cual se quiere anular. Por lo tanto, se elijen los ti para
que esto se cumpla y se usa la propiedad de ortogonalidad de los polinomios de Legendre.
n
Y
Escribiendo φn (t) y (t − ti ) en función de los polinomios de Legendre, se puede expresar
i=0
n
X
φn (t) = β0 P0 ()t + β1 P1 (t) + ... + βn Pn (t) = βi Pi (t).
i=0

n
Y n+1
X
(t − tj ) = α0 P0 (t) + α1 (t) + ...αn+1 Pn+1 (t) = αj Pj (t).
j=0 j=0

El producto entre ambos será:

X n
n X n
X
αi βj Pi (t)Pj (t) + αn+1 βi Pi (t)Pn+1 (t)
| {z } | {z }
i=0 j=0 i=0
=0si i6=j al integrar =0 ya que i6=n+1 al integrar

Usando la propiedad de ortogonalidad al integrar,

Z 1 n
X n
X Z 1
2
αi βi [Pi (t)] dt = αi βi [Pi (t)]2 dt.
−1 i=0 i=0 −1

Para anular el término B correspondiente al error se puede especicar que los n+1 primeros coecientes
α, α0 , α1 , ..., αn sean nulos y aún falta determinar αn+1 de Pn+1 (t).
n
Y
Teniendo en cuenta que (t − ti ) es un polinomio factorizado con n + 1 raíces, ti con i = 0, 1, ...n, como
i=0
αn+1 Pn+1 es el mismo polinomio, las raíces ti son también raíces de Pn+1 (t).
Los n+1 puntos usados en la fórmula de Gauss-Legendre corresponden a las n+1 raíces del polinomio de
Legendre apropiado, que es de grado n + 1.
Determinados los pesos wi y los puntos del soporte donde debe evaluarse la función a integrar, se puede
obtener el valor numérico de la integral:

Z 1 n
X
F (t) dt = wi F (ti )
−1 i=0

Matemática D1 4
UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniería

Ejemplo de aplicación

Se quiere calcular la siguiente integral mediante el método de Gauss-Legendre empleando dos puntos.

Z 6
I= (x4 − 2) dx
0
Antes de evaluar la integral se debe realizar un cambio de variables como se describió anteriormente para
que los límites sean [−1, 1]. Se obtiene:

1 1
x= [(b − a)t + a + b] = [(6 − 0)t + 0 + 6]
2 2
x = 3t + 3
La derivada de x(t) es:
dx = 3 dt
Sustituyendo en la integral, se obtiene

Z 6 Z 1 Z 1
I= (x4 − 2) dx = [(3 t + 3)4 − 2]3 dt = [3(3 t + 3)4 − 6] dt
0 −1 −1 | {z }
F (t)

La integral queda expresada de la forma adecuada para la evaluación mediante la cuadratura de Gauss-
Legendre. De la tabla que se adjunta en la siguiente hoja se obtienen los pesos y nodos.
Empleando dos puntos, los nodos son t1 ' −0,57735 y t2 ' 0,57735, los pesos son w1 = w2 = 1, se obtiene:

Igauss ' F (−0,57735) + F (0,57735) = 1, 754 + 1498, 246 ' 1500

Por ser una función simple se puede calcular fácilmente el valor de la integral de forma analítica.

6 6
x5
Z
4

Ianalitica = (x − 2) dx = − 2 x = 1543, 2
0 5 0

Para evaluar el aproximación realizada se calcula el error relativo porcentual:

|Igauss − Ianalitica |
e= =' 2, 8 %
Ianalitica
Observe que con solo dos evaluaciones de la función a integrar, empleando la cuadratura de Gauss se obtiene
un error relativo menor a 3 %. Se puede comprobar que, para el ejemplo dado utilizando 3 puntos se alcanza el
resultado exacto de la integral.
Como la cuadratura de Gauss requiere evaluaciones de la función en puntos irregularmente espaciados
dentro del intervalo de integración, no es apropiada para los casos donde la función no se conoce. Es decir,
para problemas que tratan con datos tabulados, será necesario interpolar para el argumento dado. Sin embargo,
cuando se conoce la función posee una alta eciencia, en particular cuando se deben realizar muchas evaluaciones
de la integral.

Matemática D1 5
è INTEGRACION GAUSSIANA
æ Tabla de nodos y pesos para la integración Gauss - Legendre
2 Nodos y Pesos de Legendre
−0.57735026918962576451 1.0000000000000000000
0.57735026918962576451 1.000000000000000000

3 Nodos y Pesos de Legendre

−0.77459666924148337704 0.5555555555555555556
0 0.8888888888888888889
0.77459666924148337704 0.555555555555555556

4 Nodos y Pesos de Legendre

−0.86113631159405257522 0.3478548451374538574
−0.33998104358485626480 0.6521451548625461426
0.33998104358485626480 0.6521451548625461426
0.86113631159405257522 0.347854845137453857

5 Nodos y Pesos de Legendre

−0.90617984593866399280 0.2369268850561890875
−0.53846931010568309104 0.4786286704993664680
0 0.5688888888888888889
0.53846931010568309104 0.4786286704993664680
0.90617984593866399280 0.236926885056189088

6 Nodos y Pesos de Legendre

−0.93246951420315202781
−0.66120938646626451366
−0.23861918608319690863
0.23861918608319690863
0.66120938646626451366
0.93246951420315202781
0.1713244923791703450
0.3607615730481386076
0.4679139345726910474
0.4679139345726910474
0.3607615730481386076
0.171324492379170345

7 Nodos y Pesos de Legendre

−0.94910791234275852453 0.1294849661688696933
−0.74153118559939443986 0.2797053914892766679
−0.40584515137739716691 0.3818300505051189450
0 0.4179591836734693878
0.40584515137739716691 0.3818300505051189450
0.74153118559939443986 0.2797053914892766679
0.94910791234275852453 0.129484966168869693

8 Nodos y Pesos de Legendre

Nodos y Pesos de formulas de integracion Gaussianas V3.nb
−0.96028985649753623168
−0.79666647741362673959
−0.52553240991632898582
−0.18343464249564980494
0.18343464249564980494
0.52553240991632898582
0.79666647741362673959
0.96028985649753623168
9 Nodos y Pesos de Legendre
−0.96816023950762608984
−0.83603110732663579430
−0.61337143270059039731
−0.32425342340380892904
0 0.3302393550012597632
0.32425342340380892904
0.61337143270059039731
0.83603110732663579430
0.96816023950762608984
10 Nodos y Pesos de Legendre
−0.97390652851717172008
−0.86506336668898451073
−0.67940956829902440623
−0.43339539412924719080
−0.14887433898163121088
0.14887433898163121088
0.43339539412924719080
0.67940956829902440623
0.86506336668898451073
0.97390652851717172008
æ Tabla de nodos y pesos para la integración de Gauss - Laguerre
2 Nodos y pesos de Laguerre
0.58578643762690495120
3.4142135623730950488
3 Nodos y pesos de Laguerre
6.2899450829374791969
0.41577455678347908331
2.2942803602790417198
4 Nodos y pesos de Laguerre
0.32254768961939231180
1.7457611011583465757
4.5366202969211279833
9.3950709123011331292
5 Nodos y pesos de Laguerre
2
0.1012285362903762592
0.2223810344533744705
0.3137066458778872873
0.3626837833783619830
0.3626837833783619830
0.3137066458778872873
0.2223810344533744705
0.101228536290376259
0.0812743883615744120
0.1806481606948574041
0.2606106964029354623
0.3123470770400028401
0.3123470770400028401
0.2606106964029354623
0.1806481606948574041
0.081274388361574412
0.0666713443086881376
0.1494513491505805931
0.2190863625159820440
0.2692667193099963551
0.2955242247147528702
0.2955242247147528702
0.2692667193099963551
0.2190863625159820440
0.1494513491505805931
0.066671344308688138
0.85355339059327376220
0.14644660940672623780
0.01038925650158613575
0.7110930099291730154
0.2785177335692408488
0.6031541043416336016
0.357418692437799687
0.0388879085150053843
0.000539294705561327450
Nodos y Pesos de formulas de integracion Gaussianas V3.nb
0.26356031971814091020
1.4134030591065167922
3.5964257710407220812
7.0858100058588375569
12.640800844275782659
6 Nodos y pesos de Laguerre
0.22284660417926068946
1.1889321016726230307
2.9927363260593140777
5.7751435691045105018
9.8374674183825899177
15.982873980601701783
7 Nodos y pesos de Laguerre
0.19304367656036241384
1.0266648953391919503
2.5678767449507462069
4.9003530845264845681
8.1821534445628607911
12.734180291797813758
19.395727862262540312
8 Nodos y pesos de Laguerre
0.17027963230510099979
0.90370177679937991219
2.2510866298661306893
4.2667001702876587936
7.0459054023934656973
10.758516010180995224
15.740678641278004578
22.863131736889264106
9 Nodos y pesos de Laguerre
0.15232222773180824743
0.80722002274225584774
2.0051351556193471230
3.7834739733312329917
6.2049567778766126070
9.3729852516875762018
13.466236911092093571
18.833597788991696614
26.374071890927376796
10 Nodos y pesos de Laguerre
3
0.5217556105828086525
0.398666811083175927
0.075942449681707595
0.0036117586799220485
0.0000233699723857762279
0.4589646739499635936
0.417000830772120994
0.113373382074044976
0.010399197453149075
0.00026101720281493206
8.9854790642962124 × 10−7
0.4093189517012739021
0.421831277861719780
0.14712634865750528
0.020633514468716940
0.0010740101432807455
0.00001586546434856420
3.1703154789955806 × 10−8
0.3691885893416375299
0.418786780814342956
0.17579498663717181
0.03334349226121565
0.002794536235225673
0.0000907650877335821
8.48574671627253 × 10−7
1.0480011748715104 × 10−9
0.3361264217979625197
0.411213980423984387
0.19928752537088558
0.04746056276565160
0.00559962661079458
0.000305249767093211
6.59212302607535 × 10−6
4.11076933034955 × 10−8
3.290874030350708 × 10−11
Nodos y Pesos de formulas de integracion Gaussianas V3.nb 4

0.13779347054049243083
0.72945454950317049816
1.8083429017403160482
3.4014336978548995145
5.5524961400638036324
8.3301527467644967002
11.843785837900065565
16.279257831378102100
21.996585811980761951
29.920697012273891560
0.3084411157650201415
0.401119929155273552
0.21806828761180942
0.06208745609867775
0.00950151697518110
0.00075300838858754
0.0000282592334959957
4.2493139849627 × 10−7
1.83956482397963 × 10−9
9.91182721960901 × 10−13

æ Tabla de nodos y pesos para la integración Gauss - Hermite

2 Nodos y pesos de Hermite
−0.70710678118654752440 0.8862269254527580136
0.70710678118654752440 0.8862269254527580136

3 Nodos y pesos de Hermite

−1.2247448713915890491 0.2954089751509193379
0 1.1816359006036773515
1.2247448713915890491 0.2954089751509193379

4 Nodos y pesos de Hermite

−1.6506801238857845559 0.0813128354472451771
−0.52464762327529031788 0.8049140900055128365
0.52464762327529031788 0.8049140900055128365
1.6506801238857845559 0.0813128354472451771

5 Nodos y pesos de Hermite

−2.0201828704560856329 0.0199532420590459132
−0.95857246461381850711 0.393619323152241160
0 0.94530872048294188123
0.95857246461381850711 0.393619323152241160
2.0201828704560856329 0.0199532420590459132

6 Nodos y pesos de Hermite

−2.3506049736744922228
−1.33584907401369694971
−0.43607741192761650868
0.43607741192761650868
1.33584907401369694971
2.3506049736744922228
0.0045300099055088456
0.157067320322856644
0.724629595224392524
0.724629595224392524
0.157067320322856644
0.0045300099055088456

7 Nodos y pesos de Hermite

−2.6519613568352334924 0.00097178124509951915
−1.6735516287674714450 0.054515582819127031
−0.81628788285896466304 0.425607252610127801
0 0.81026461755680732676
0.81628788285896466304 0.425607252610127801
1.6735516287674714450 0.054515582819127031
2.6519613568352334924 0.00097178124509951915

8 Nodos y pesos de Hermite

Nodos y Pesos de formulas de integracion Gaussianas V3.nb 5

−2.9306374202572440192 0.00019960407221136762
−1.9816567566958429259 0.017077983007413475
−1.15719371244678019472 0.207802325814891880
−0.38118699020732211685 0.661147012558241291
0.38118699020732211685 0.661147012558241291
1.15719371244678019472 0.207802325814891880
1.9816567566958429259 0.017077983007413475
2.9306374202572440192 0.00019960407221136762

9 Nodos y pesos de Hermite

−3.1909932017815276072 0.000039606977263264382
−2.2665805845318431118 0.004943624275536947
−1.4685532892166679317 0.088474527394376573
−0.72355101875283757332 0.432651559002555750
0 0.72023521560605095712
0.72355101875283757332 0.432651559002555750
1.4685532892166679317 0.088474527394376573
2.2665805845318431118 0.004943624275536947
3.1909932017815276072 0.000039606977263264382

10 Nodos y pesos de Hermite

−3.4361591188377376033 7.640432855232621 × 10−6

−2.5327316742327897964 0.0013436457467812327
−1.7566836492998817735 0.033874394455481063
−1.0366108297895136542 0.240138611082314686
−0.34290132722370460879 0.6108626337353257988
0.34290132722370460879 0.6108626337353257988
1.0366108297895136542 0.240138611082314686
1.7566836492998817735 0.033874394455481063
2.5327316742327897964 0.0013436457467812327
3.4361591188377376033 7.640432855232621 × 10−6

æ Nodos para la fórmula para la integración de Gauss - Chebyshev

Å1ÅÅÅÅÅÅÅÅÅÅÅ yHxL „ x > ÅÅpÅÅÅ ⁄in= 1 yHxi L
1
Para la fórmula de n nodos: ‡ ÅÅÅÅÅÅÅÅ
"###############
1- x2 n
-1

los n nodos son los n ceros del polinomio de Chebyshev de orden n:

H2i- 1Lp
xi = cos I ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅ M , i = 1 , .... , n
2n