Cuadraturas Gaussianas

Cuadraturas de:
1) Gauss – Legendre
2) Gauss – Tchebyshev
3) Gauss – Laguerre
4) Gauss – Hermite

UNLP || Facultad de Ingeniería || Matemática E || 2018

 Cuadraturas Gaussianas

Ejemplo propuesto
Evalúe la siguiente integral, utilizando las fórmulas de cuadratura de
Gauss-Legendre. Con dos, tres y cuatro puntos.

2
sin(𝑥)
න 𝑑𝑥
−2 𝑥

UNLP || Facultad de Ingeniería || Matemática E || 2018

 sin(𝑥)
Queremos hallar la integral de 𝑓 𝑥 = en el
𝑥
2
intervalo 𝑥 ∈ −2,2 → ‫׬‬−2 𝑓 𝑥 𝑑𝑥

UNLP || Facultad de Ingeniería || Matemática E || 2018

 Aproximamos mediante Trapecios:
2
ℎ
න 𝑓 𝑥 𝑑𝑥 ≈ [𝑓 𝑎 + 𝑓 𝑏 ]
−2 2

UNLP || Facultad de Ingeniería || Matemática E || 2018

Aproximamos mediante Gauss-Legendre (2 pts):
2
න 𝑓 𝑥 𝑑𝑥 ≈ [𝑐1 𝑓 𝑥1 + 𝑐2 𝑓 𝑥2 ]
−2

UNLP || Facultad de Ingeniería || Matemática E || 2018

 (𝑏 − 𝑎) (𝑏 + 𝑎)
Cambio de variable ∴𝑥= 𝑡+
2 2

Gauss-Legendre

𝒃 𝟏
(𝒃 − 𝒂) (𝒃 + 𝒂) 𝒃−𝒂
න 𝒇 𝒙 𝒅𝒙 = න 𝒇 𝒕+ ∗ 𝒅𝒕
𝒂 −𝟏 𝟐 𝟐 𝟐
𝟏 𝒏 𝟏 𝟏 𝒏+𝟏 𝒏
𝑭 𝛏 𝒕
= න 𝑭 𝒕 𝒅𝒕 = ෍ 𝑭(𝒕𝒊 ) න 𝑳𝒊 𝒕 𝒅𝒕 + න ෑ(𝒕 − 𝒕𝒊 ) 𝒅𝒕
−𝟏 −𝟏 −𝟏 𝒏+𝟏 !
𝒊=𝟎 𝒊=𝟎

1 ¡ 𝑐𝑖 ! ¿ 𝜑(𝑡) ?

Reemplazamos a 𝐹(𝑡) por su

polinomio interpolante

¡A minimizar!
La igualdad de 𝑓(𝑥) con 𝐹 𝑡 vale en términos de la integral

UNLP || Facultad de Ingeniería || Matemática E || 2018

La peculiaridad que tienen los polinomios de Legendre es que, por ser
un conjunto ortogonal completo de funciones reales y continuas con
respecto a la variable independiente 𝑡 ∈ [−1,1] , estos permiten
representar cualquier función 𝜑(𝑡) como una expansión infinita en
serie de polinomios de Legendre:
∞

𝜑 𝑡 = ෍ 𝛽𝑖 𝑃𝑖 (𝑡) −1≤𝑡 ≤1
𝑖=0

Ecuación diferencial de Legendre:

1 − 𝑡 2 . 𝑦 ′′ 𝑡 − 2. 𝑡. 𝑦 ′ 𝑡 + 𝑛 𝑛 + 1 . 𝑦 𝑡 = 0 n=0,1,2,…

1 𝑑𝑛
a) 𝑃𝑛 𝑡 = 𝑛 𝑛 (𝑡 2 − 1)𝑛
2 𝑛! 𝑑𝑡
Dos soluciones
alternativas 2𝑛−1 𝑛−1
b) 𝑃𝑛 𝑡 = 𝑛
𝑡 𝑃𝑛−1 𝑡 −
𝑛
𝑃𝑛−2 (𝑡)

UNLP || Facultad de Ingeniería || Matemática E || 2018

 Recordemos que las familias de polinomios ortogonales
cumplen con las siguientes condiciones

𝑏
න 𝑃𝑖 (𝑡)𝑃𝑗 (𝑡)𝑤(𝑡)𝑑𝑡 = 0 𝑠𝑖 𝑖 ≠ 𝑗
𝑎

𝑏
න 𝑃𝑖 (𝑡)𝑃𝑗 (𝑡)𝑤(𝑡)𝑑𝑡 ≠ 0 𝑠𝑖 𝑖 = 𝑗
𝑎

Que particularmente para el caso de los Polinomios de

Legendre, 𝑤 𝑡 = 1, 𝑎 = −1 y 𝑏 = 1.

UNLP || Facultad de Ingeniería || Matemática E || 2018

 ∞

∴ 𝜑 𝑡 = ෍ 𝛽𝑖 𝑃𝑖 (𝑡) −1≤𝑡 ≤1
𝑖=0

𝑛 𝑛+1

ෑ(𝑡 − 𝑡𝑖 ) = ෍ 𝛼𝑖 𝑃𝑖 (𝑡) −1≤𝑡 ≤1

𝑖=0 𝑖=0

1 𝑛 1 ∞ 𝑛+1

න 𝜑 𝑡 ෑ(𝑡 − 𝑡𝑖 ) 𝑑𝑡 = න ෍ 𝛽𝑖 𝑃𝑖 (𝑡) ෍ 𝛼𝑗 𝑃𝑗 (𝑡) 𝑑𝑡 =

−1 𝑖=0 −1 𝑖=0 𝑗=0

Dada la ortogonalidad del conjunto de

polinomios de Legendre:
∞ 𝑛+1 1 𝑛+1 1
= ෍ ෍ 𝛼𝑗 𝛽𝑖 න 𝑃𝑖 (𝑡)𝑃𝑗 (𝑡)𝑑𝑡 = ෍ 𝛼𝑖 𝛽𝑖 න 𝑃𝑖 (𝑡) 2 𝑑𝑡
𝑖=0 𝑗=0 −1 𝑖=0 −1

UNLP || Facultad de Ingeniería || Matemática E || 2018

 ∞

∴ 𝜑 𝑡 = ෍ 𝛽𝑖 𝑃𝑖 (𝑡) −1≤𝑡 ≤1
𝑖=0

𝑛 𝑛+1

ෑ(𝑡 − 𝑡𝑖 ) = ෍ 𝛼𝑖 𝑃𝑖 (𝑡) = 𝛼𝑛+1 𝑃𝑛+1 𝑡 −1≤𝑡 ≤1

𝑖=0 𝑖=0
∴ 𝛼𝑖 = 0 𝑖 = 0, … , 𝑛

𝑛+1 1 1
෍ 𝛼𝑖 𝛽𝑖 න 𝑃𝑖 (𝑡) 2 𝑑𝑡 = 𝛼𝑛+1 𝛽𝑛+1 න 𝑃𝑛+1 (𝑡) 2 𝑑𝑡
𝑖=0 −1 −1

𝐸𝑟𝑟𝑜𝑟 𝑐𝑜𝑚𝑒𝑡𝑖𝑑𝑜 ↓↓↓

donde 𝑃𝑛+1 (𝑡) es el Polinomio de Legendre de orden 𝑛 + 1

UNLP || Facultad de Ingeniería || Matemática E || 2018

 𝑛

ෑ(𝑡 − 𝑡𝑖 ) = 𝛼𝑛+1 𝑃𝑛+1 𝑡 −1≤𝑡 ≤1

𝑖=0
∴ 𝛼𝑖 = 0 𝑖 = 0, … , 𝑛
2 ¡ 𝑡𝑖 !

UNLP || Facultad de Ingeniería || Matemática E || 2018

 2
Para Gauss-Legendre con 2 puntos: ‫׬‬−2 𝑓 𝑥 𝑑𝑥 ≈ [𝑐1 𝑓 𝑥1 + 𝑐2 𝑓 𝑥2 ]

𝑛
2 3 2 1
ෑ(𝑡 − 𝑡𝑖 ) = 𝛼𝑛+1 𝑃𝑛+1 𝑡 = ( 𝑡 − ) −1≤𝑡 ≤1
2 3 2 2
𝑖=0
1 1
𝑡0 = − ; 𝑡1 =
3 3

1
(𝑡 − 𝑡1 )
1 න 𝑑𝑡 = 1 = 𝑤0
(𝑡
−1 0 − 𝑡1 )
1 𝑐𝑖 = න 𝐿𝑖 (𝑡) 𝑑𝑡 = 1
−1 (𝑡 − 𝑡0 )
න 𝑑𝑡 = 1 = 𝑤1
(𝑡
−1 1 − 𝑡 0 )

2
(𝑏 − 𝑎)
න 𝑓 𝑥 𝑑𝑥 ≅ 𝟑. 𝟐𝟏𝟎𝟖 ≈ 𝑐1 𝐹 𝑡1 + 𝑐2 𝐹 𝑡2 = 𝑐1 𝑓 𝑥1 + 𝑐2 𝑓 𝑥2 ∗ =
−2 2

1 1 2 2 2 − (−2)
=𝐹 − +𝐹 = 𝑓 − +𝑓 ∗ ≅ 𝟑. 𝟏𝟔𝟖𝟓
3 3 3 3 2

UNLP || Facultad de Ingeniería || Matemática E || 2018

 Retomando el análisis previo, la expresión del error de integración
numérica por Gauss-Legendre puede calcularse como:

𝑛 1 ∞ 𝑛+1
1
𝐹 𝑛+1
𝜉 𝑡 1 Siendo 𝛾 una
2
𝐸𝐺𝐿 = න ෑ(𝑡 − 𝑡𝑖 ) 𝑑𝑡 = න ෍ 𝛽𝑖 𝑃𝑖 (𝑡) ෍ 𝛼𝑗 𝑃𝑗 (𝑡) 𝑑𝑡 = 𝛾 න 𝑃𝑛+1 (𝑡) 𝑑𝑡 constante
−1 𝑛+1 ! −1 𝑖=0 −1
𝑖=0 𝑗=0 desconocida

según se ha demostrado Empleando raíces del

anteriormente polinomio de Legendre
∴ 𝛼𝑖 = 0 𝑖 = 0, … , 𝑛

Si la función 𝐹(𝑡) que se intenta integrar es un polinomio de grado 2n + 1 ⟹ 𝐹 𝑛+1 𝜉 𝑡 es un

polinomio de grado 𝑛 . Luego, todos los términos 𝛽𝑖 son nulos para 𝑖 ≥ 𝑛 + 1 . Como además
ς𝑛𝑖=0(𝑡 − 𝑡𝑖 ) = 𝛼𝑛+1 𝑃𝑛+1 𝑡 cuando los 𝑡𝑖′ 𝑠 son las 𝑛 + 1 raíces del polinomio de Legendre 𝑃𝑛+1 𝑡 de
grado 𝑛 + 1 ⟹ el error de integración es exactamente 0 debido a la ortogonalidad de los 𝑃𝑖′ 𝑠

𝑛 𝑛+1 𝑛 El error de integrar

1 1
numéricamente por
→ 𝐸𝐺𝐿 = න ෍ 𝛽𝑖 𝑃𝑖 (𝑡) ෍ 𝛼𝑗 𝑃𝑗 (𝑡) 𝑑𝑡 = ෍ 𝛽𝑖 𝛼𝑛+1 න 𝑃𝑖 (𝑡)𝑃𝑛+1 (𝑡) 𝑑𝑡 = 0
−1 𝑖=0 −1
Cuadraturas es nulo para
𝑗=0 𝑖=0 dichos casos.
UNLP || Facultad de Ingeniería || Matemática E || 2018
Generalización: Cuadraturas Gauss - …

Polinomios de Legendre. Definidos para 𝑡 ∈ [−1, 1] y 𝑤 𝑡 = 1

1 − 𝑡 2 . 𝑦 ′′ 𝑡 − 2𝑡. 𝑦 ′ 𝑡 + 𝑛 𝑛 + 1 . 𝑦 𝑡 = 0 n=0,1,2,…

2𝑛 − 1 𝑛−1
Relación de recursión 𝑃𝑛 𝑡 = 𝑡 𝑃𝑛−1 𝑡 − 𝑃𝑛−2 (𝑡)
𝑛 𝑛

1
Polinomios de Tchebyshev. Definidos para 𝑡 ∈ [−1, 1] y 𝑤 𝑡 =
1−𝑥 2

1 − 𝑡 2 . 𝑦 ′′ 𝑡 − 𝑡. 𝑦 ′ 𝑡 + 𝑛2 . 𝑦 𝑡 = 0 n=0,1,2,…

Relación de recursión 𝑇𝑛 𝑡 = 2𝑡 𝑇𝑛−1 𝑡 − 𝑇𝑛−2 (𝑡)

UNLP || Facultad de Ingeniería || Matemática E || 2018

Generalización: Cuadraturas Gauss - …

Polinomios de Laguerre. Definidos para 𝑡 ∈ [0, ∞) y 𝑤 𝑡 = 𝑒 −𝑡

𝑡. 𝑦 ′′ 𝑡 − (1 − 𝑡). 𝑦 ′ 𝑡 + 𝑛. 𝑦 𝑡 = 0 n=0,1,2,…

Relación de recursión 𝔏𝑛 𝑡 = 2𝑛 − 𝑡 − 1 𝔏𝑛−1 𝑡 − 𝑛 − 1 2 𝔏𝑛−2 (𝑡)

2
Polinomios de Hermite. Definidos para 𝑡 ∈ (−∞, ∞) y 𝑤 𝑡 = 𝑒 −𝑥

𝑦 ′′ 𝑡 − 2𝑡. 𝑦 ′ 𝑡 + 2𝑛. 𝑦 𝑡 = 0 n=0,1,2,…

Relación de recursión 𝐻𝑛 𝑡 = 2𝑡 𝐻𝑛−1 𝑡 − 2(𝑛 − 1) 𝐻𝑛−2 (𝑡)

UNLP || Facultad de Ingeniería || Matemática E || 2018

Cuadraturas gaussianas. Expresión general
𝒃
න 𝑭 𝒕 𝒘(𝒕)𝒅𝒕 =
𝒂

𝒏 𝒃 𝒃 𝒏+𝟏 𝒏
𝑭 𝛏 𝒕
= ෍ 𝑭 𝒕𝒊 න 𝑳𝒊 𝒕 𝒘(𝒕) 𝒅𝒕 + න . 𝒘 𝒕 . ෑ 𝒕 − 𝒕𝒊 𝒅𝒕
𝒂 𝒂 𝒏+𝟏 !
𝒊=𝟎 𝒊=𝟎

𝑐𝑖 𝜑(𝑡)
1 ∞ 𝑛+1
Legendre න 𝐿𝑖 𝑡 1 𝑑𝑡 ෍ 𝛽𝑖 𝑃𝑖 𝑡 1 ෍ 𝛼𝑖 𝑃𝑖 𝑡
−1
𝑖=0 𝑖=0
∞ 𝑛+1
1
1 1
Tchebyshev න 𝐿𝑖 𝑡 𝑑𝑡 ෍ 𝛽𝑖 𝑇𝑖 (𝑡) ෍ 𝛼𝑖 𝑇𝑖 (𝑡)
−1 1 − 𝑡2 𝑖=0
1 − 𝑡2
𝑖=0
∞ 𝑛+1
∞
Laguerre න 𝐿𝑖 𝑡 𝑒 −𝑡 𝑑𝑡 ෍ 𝛽𝑖 𝔏𝑖 𝑡 𝑒 −𝑡 ෍ 𝛼𝑖 𝔏𝑖 𝑡
0 𝑖=0 𝑖=0
∞ 𝑛+1
∞
2 2
Hermite න 𝐿𝑖 𝑡 𝑒 −𝑡 𝑑𝑡 ෍ 𝛽𝑖 𝐻𝑖 (𝑡) 𝑒 −𝑡 ෍ 𝛼𝑖 𝐻𝑖 (𝑡)
−∞ 𝑖=0 𝑖=0

UNLP || Facultad de Ingeniería || Matemática E || 2018