Beruflich Dokumente
Kultur Dokumente
Integraci
on num
erica
La
C
Version 1.0
8 de julio de 2011
Indice
1. Conceptos generales
1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Planteamiento general . . . . . . . . . . . . . . . . . . . . . .
1.3. Clasificacion y definiciones . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
10
10
10
15
19
19
21
25
27
.
.
.
.
.
.
31
31
34
35
37
38
40
2. Integraci
on de Newton-Cotes
2.1. Introduccion . . . . . . . . . . . . . . . . . . . .
2.2. Formulas cerradas de Newton-Cotes . . . . . . .
2.3. Formulas abiertas de Newton-Cotes . . . . . . .
2.4. Tecnicas de mejoras de la integracion numerica
2.4.1. Combinacion de formulas simples . . . .
2.4.2. Formulas compuestas . . . . . . . . . . .
2.4.3. Extrapolacion de Richardson . . . . . . .
2.4.4. Integracion de Romberg . . . . . . . . .
3
3
4
7
.
.
.
.
.
.
.
.
.
.
.
.
La
C
3. Integraci
on de Gauss
3.1. Planteamiento del problema .
3.2. Clasificacion . . . . . . . . . .
3.3. Formulas de Gauss-Legendre .
3.4. Formulas de Gauss-Laguerre .
3.5. Formulas de Gauss-Hermite .
3.6. Formulas de Gauss-Chebyshev
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.
1.1.
Conceptos generales
Introducci
on
La
C
1
1
x2 + x 2 + 1
dt = log 2
1 + t4
4 2
x x 2+1
1
x
x
+
arctan
+ arctan
.
2x
2+x
2 2
Notese que calcular repetidamente esta integral puede ser muy caro
desde el punto de vista computacional, ya que en la expresion anterior aparece una vez la funcion logaritmo y dos veces la funcion arco
tangente cuyo coste computacional es muy superior al de una suma o
un producto. Ademas, en las implementaciones numericas incluso estas
funciones se calculan aproximadamente. Por u
ltimo, se debe observar
que las funciones log(x) y arctan(x) pueden estar indeterminadas para
ciertos valores de x. Por lo tanto, en estos casos tambien sera preciso
desarrollar alguna expresion aproximada al valor exacto de la funcion.
3
/2
1
x
1
1
1
dx = 2 2 2 + 2 2 + . . . .
sin x
1
3
5
7
1.2.
Planteamiento general
La
C
La estrategia usual para obtener formulas que permitan calcular numericamente la integral (1) se fundamenta en la interpolacion numerica. Basicamente consiste en aproximar la funcion a integrar mediante un polinomio que
pasa por una serie de puntos base {(xi , f (xi )), i = 0, . . . , n} y posteriormente
integrar el polinomio. Es decir,
f (x) = Pn (x) + Rn (x),
(2)
n
X
ci Ni (x),
i=0
I=
f (x) dx =
Pn (x) dx +
Z bX
n
a
n
X
Rn (x) dx
a
b
ci Ni (x) dx +
i=0
Z
ci
Rn (x) dx
a
Z
Ni (x) dx +
i=0
Rn (x) dx.
a
(3)
n
X
i=0
(4)
i = 0, . . . , n.
j6=i
Es decir,
ci = f (xi )
Ni (x) = Li (x)
i = 0, . . . , n
i = 0, . . . , n.
f n+1) ()
L(x) [a, b],
(n + 1)!
La
C
n
Y
(x xj ).
L(x) =
(5)
j=0
I=
f (x) dx =
n
X
i=0
n
X
i=0
f (xi )
Li (x) dx +
1
wi f (xi ) +
(n + 1)!
Rn (x) dx
a
b
(6)
La
C
n
X
wi f (xi ),
(7)
i=0
I=
f (x) dx = Qn + En .
(8)
el contrario, el error de integracion no se puede calcular puesto que se desconoce el valor de (x) y en la mayora de casos la expresion de la derivada
n + 1 de la funcion f (x).
1.3.
Observaci
on 2. El objetivo de la integraci
on numerica es calcular de forma
eficiente una integral definida. Por consiguiente, no interesa que el error de
interpolacion, Rn (x), sea peque
no, sino que En sea peque
no. Por ejemplo, en
la figura 1 se aproxima una funcion f (x) por un polinomio Pn (x). Desde el
punto de vista de la aproximacion numerica este resultado podra ser inaceptable debido a las oscilaciones que presenta el polinomio interpolador y a las
grandes diferencias que hay entre este y la funci
on f (x). Sin embargo, en la
integraci
on numerica de funciones este comportamiento no es relevante y el
objetivo es que la diferencia entre la integral de la funci
on y el polinomio sea
lo menor posible. Observese que en el ejemplo presentado en la figura 1 el
polinomio interpolador sobrevalora e infravalora la funci
on f (x) en diferentes
intervalos del dominio de integracion. De forma que existe una compensaci
on
de
areas y el valor de la integral de f (X) y Pn (x) de puede ser muy parecida.
Clasificaci
on y definiciones
La
C
(a)
(b)
La
C
o equivalentemente,
lm En = 0.
Finalmente, es importante definir un criterio para poder comparar el comportamiento de varias cuadraturas. Por consiguiente, se dice que una cuadratura
es de orden n cuando integra exactamente todo polinomio de grado n y no
integra exactamente alg
un polinomio de grado n + 1.
Observaci
on 3. En la definici
on de orden de convergencia de una cuadratura se utilizan los polinomios como funciones de referencia. En la pr
actica,
las cuadraturas se utilizan para aproximar la integral de un funci
on, f (x),
cualquiera.
Observaci
on 4. Si una cuadratura tiene orden de integraci
on superior a otra
cuadratura no implica que siempre proporcione mejores aproximaciones al
valor exacto de una integral. N
otese que el orden de una cuadratura s
olo hace
8
La
C
2.
2.1.
Integraci
on de Newton-Cotes
Introducci
on
La
C
2.2.
F
ormulas cerradas de Newton-Cotes
i = 0, . . . , n
donde
h=
ba
.
n
Notese que, con esta notacion, un punto x cualquiera del dominio de integracion verifica
x = x0 + h = a + h
10
R.
n
Y
j
(9)
ij
n
Y
( j).
La
C
j=0
j6=i
n+1
L(x) = L(x0 + h) = h
(10)
j=0
I=
f (x) dx =
n
X
i=0
n
X
f (xi )h
hn+2
Li () d +
(n + 1)!
f n+1) ()L() d
wi f (xi ) + En ,
(11)
i=0
wi = h
n
nY
j
d
i
j
j=0
i = 0, . . . , n
(12)
n
Y
( j) d.
(13)
j6=i
y el error de integracion es
hn+2
En =
(n + 1)!
f n+1) ()
j=0
11
n
X
wi f (xi ),
i=0
La
C
(14)
hn+3 n+2)
=
f
()
(n + 2)!
n+3
h
f n+2) ()
(n + 2)!
n
Y
( j) d
j=0
2 ( 1) . . . ( n) d,
(15)
Observaci
on 5. Notese que si n es impar, y de acuerdo con la expresi
on general del error de integraci
on (13), el orden de integraci
on es n (se integran
exactamente todos los polinomios de grado n puesto que el error de integracion depende de la derivada n + 2 de la funci
on integrando). Sin embargo,
si n es par el orden de integraci
on aumenta y es n + 1 (se integran exactamente todos los polinomios de grado n + 1). En este sentido, es preferible
utilizar cuadraturas con valores de n par puesto que se obtiene un orden de
integracion extra.
Seguidamente, se determinan los pesos y el error de integracion para dos
formulas cerradas simples de Newton-Cotes. Concretamente, se obtiene la
formula simple del trapecio y la formula simple de Simpson.
12
F
ormula simple del trapecio
En este caso la funcion f (x) se aproxima mediante un polinomio de grado
uno (n = 1). Por consiguiente, la ecuacion (11) es
I = w0 f (x0 ) + w1 f (x1 ) + E1 .
La
C
w1 = h
d = h = .
2 0 2
0 1
f ()
E1 = f ()
2!
2
3 0
2 0
12
0
(16)
En la figura 4 se presenta
la interpretacion grafica de esta formula simple.
Rb
Entonces la integral a f (x) dx se aproxima por el area de un trapecio de
base h y alturas f0 y f1 (ver figura 4).
Como en el termino del error de integracion aparece la derivada segunda
de f (x), la formula simple del trapecio integra exactamente cualquier polinomio de grado 1 o menor. Por tanto, es una formula de orden 1.
13
F
ormula simple de Simpson
En este caso la funcion f (x) se aproxima por una parabola (n = 2) y la
ecuacion (11) es
La
C
= .
(2)(1)
3 0
2 0
3
0
Puesto que en este caso n es par, para obtener la expresion del error de
integracion se debe aplicar la ecuacion (15) con n = 2
Z 2
h5 4)
E2 =
f ()
2 ( 1)( 2) d
4!
0
2
2
5 2
5
h 4)
4
3
h5 4)
=
f ()
3
+
2
=
f ()
24
5 0
4 0
3 0
90
Por lo tanto la formula simple de Simpson es
Z b
h5
h
I=
f (x) dx =
f0 + 4f1 + f2 f 4) ()
3
90
a
14
(17)
2.3.
La figura 5 presenta la interpretacion grafica de la formula simple de Simpson. La funcion f (x) se interpola mediante una parabola. Como el termino
del error de integracion aparece la derivada cuarta de f (x), la formula simple
de Simpson integra exactamente cualquier polinomio de grado 3 o menor.
Por tanto, es una formula de orden 3. Obsevese que al ser n par se ha incrementado el orden de integracion respecto lo que parece indicar la expresion
general (13).
En el apendide A se presentan los puntos base y los pesos de integracion
para diversas formulas simples de Newton-Cotes. Su deduccion es parecida a
la realizada en los dos ejemplos anteriores. Como puede observarse, en todos
los casos se verifica que cuando n es impar el orden de integracion es n y
cuando n es par el orden de integracion es n + 1.
F
ormulas abiertas de Newton-Cotes
La
C
donde
h=
ba
.
n+2
n
X
wi f (xi ) + En
(18)
i=0
j
1
j=0
(19)
j6=i
n+2
En
h
=
(n + 1)!
n+1
n+1)
n
Y
() ( j) d
(20)
j=0
La expresion del error (13) puede simplificarse considerablemente. En particular, se verifica el siguiente teorema (ver [5] pagina 314 para una demostracion detallada de este teorema)
n
X
La
C
Teorema 2. Sea
Qn =
wi f (xi ),
i=0
(21)
hn+3 n+2)
=
f
()
(n + 2)!
hn+3 n+2)
f
()
(n + 2)!
n+1
n
Y
( j) d
j=0
n+1
16
2 ( 1) . . . ( n) d,
(22)
Observaci
on 6. Al igual que suceda con las f
ormulas cerradas de NewtonCotes, es importante resaltar que cuando n es impar, y de acuerdo con la
expresi
on general del error de integraci
on (20), el orden de integraci
on es n
(se integran exactamente todos los polinomios de grado n). Sin embargo, si n
es par el orden de integracion aumenta y es n + 1 (se integran exactamente
todos los polinomios de grado n + 1).
A continuacion se determinan los pesos y el error de integracion para las
formulas abiertas de Newton-Cotes con n = 0 y n = 1.
F
ormula simple para n = 0
La
C
I = w0 f (x0 ) + E0 .
3 2)
E0
h f ()
=
2!
1
h3 f 2) () 3
h3 2)
d =
=
f ().
2
3 1
3
1
17
f (x) dx = 2hf0 +
a
h3 2)
f ().
3
(23)
La figura
R b 7 presenta la interpretacion grafica de esta formula simple. La
integral a f (x) dx se aproxima por el area del rectangulo de base igual a
la longitud del dominio de integracion, 2h, y de altura igual al valor de la
funcion en el punto medio del dominio.
Notese que el error de integracion de la formula abierta (23) esta determinado por la ecuacion (22) y no por la expresion general (20) por ser n = 0
par. Ademas el orden de integracion es 1 puesto que en el termino del error
de integracion aparece la derivada segunda de f (x).
F
ormula simple para n = 1
La
C
I = w0 f (x0 ) + w1 f (x1 ) + E1 .
= h
2 1
2
1 (1)
1
Z 1
2
2
3
= h
d = h = h
2 1 2
1 1
2
2
Z
h3 f 2) () 2
h3 f 2) () 3
2 3h3 2)
=
( 1) d =
f ().
=
2!
2
3 1
2 1
4
1
w0
w1
E1
I=
f (x) dx =
3h3 2)
3h
f0 + f1 +
f ().
2
4
T
ecnicas de mejoras de la integraci
on num
erica
La
C
2.4.
Combinaci
on de f
ormulas simples
La idea basica de esta tecnica es combinar dos formulas simples del mismo
orden a fin de mejorar el resultado final de la aproximacion numerica a la
integral. Con este fin se consideran dos formulas del mismo orden mediante
las cuales se aproxima el valor de la integral (1), es decir,
I = I1 + E1 = I2 + E2 ,
(24)
donde b
k1 , b
k2 , k1 y k2 , son unas constantes, h es la distancia entre los puntos
base, y p y q son unos valores caractersticos de las formulas de integracion
(recuerdese que si en el error de integracion aparece la derivada q-esima,
entonces el orden de integracion es q 1).
Suponiendo que la derivada q-esima de la funcion es suficientemente suave, es decir, si f q) (1 ) f q) (2 ), entonces
k1
E1
=
E2
k2
E1 =
k1
E2 .
k2
k1
E2 = I2 + E2
k2
E2 =
I1 I2
.
1 k1 /k2
I1 I2
,
k2 k1
o equivalentemente,
k2 I1 k1 I2
(25)
k2 k1
Por ejemplo, supongase que se ha aproximado una integral definida mediante
la cuadratura cerrada de Simpson, n = 2, y la segunda cuadratura cerrada de
Simpson, n = 3, (ver la tabla de cuadraturas cerradas de Newton-Cotes que
aparece en el apendice A). Notese que estas dos cuadraturas son del mismo
orden y que en este caso:
h1
1 5 4)
f (x0 ) + 4f (x1 ) + f (x2 )
E1 =
h f (1 )
I1 =
3
90 1
3h2
3 5 4)
f (x0 ) + 3f (x1 ) + 3f (x2 ) + f (x3 )
E2 =
h f (2 ),
I2 =
8
80 2
La
C
I =
es decir,
1
3
k2 =
.
5
90 2
80 35
Por lo tanto, a partir de los resultados obtenidos con las dos cuadraturas de
Simpson, se puede mejorar la aproximacion numerica de la integral utilizando
la expresion (25), que en este caso particular es
k1 =
I =
9
4
I2 I1 .
5
5
20
2.4.2.
F
ormulas compuestas
La utilizacion de formulas compuestas es uno de los metodos de integracion mas utilizados en ciencias e ingeniera cuando los datos a integrar estan
definidos sobre puntos equiespaciados. El metodo consiste en dividir el dominio de integracion en m intervalos y aplicar en cada uno de ellos una formula
cerrada de Newton-Cotes de n subintervalos o n + 1 puntos (ver figura 9).
Por lo tanto, el n
umero total de intervalos utilizados es
s = mn
y el n
umero total de puntos de integracion es
La
C
p = m(n + 1) (m 1) = nm + 1.
Observaci
on 7. Es posible deducir f
ormulas compuestas a partir de f
ormulas
abiertas de Newton-Cotes. En este caso, el dominio de integraci
on se dividira en m intervalos y en cada uno de ellos se utilizara la f
ormula abierta.
Sin embargo, ahora sera imposible mantener los puntos base de integraci
on
equiespaciados.
21
En general, es posible deducir formulas compuestas para cualquier formula simple de Newton-Cotes de n+1 puntos. No obstante, en la practica, las dos
formulas mas utilizadas son la f
ormula compuesta del trapecio y la f
ormula
compuesta de Simpson.
F
ormula compuesta del trapecio
i=1
m
X
xi1
La
C
!
h3
hi
f (xi1 ) + f (xi ) i f 2) (i )
=
2
12
i=1
m
m
X
X
hi
h3i 2)
=
f (xi1 ) + f (xi )
f (i ).
2
12
i=1
i=1
ba
,
m
I=
!
m1
i=1
X
ba
(b a)3 X 2)
f (x) dx =
f (x0 )+2
f (xi )+f (xm )
f (i ).
3
2m
12m
m
i=1
Puesto que existe un [a, b] tal que (ver [5] pagina 305)
m
X
f 2) (i ) = mf 2) (),
i=1
entonces
!
Z b
m1
X
(b a)3 2)
ba
f (x0 ) + 2
f (xi ) + f (xm )
f (),
I=
f (x) dx =
2m
12m2
a
i=1
(26)
22
que recibe el nombre de formula o regla compuesta del trapecio. Notese que
en la expresion (26) el n
umero total de intervalos coincide con el n
umero de
veces que se aplica la formula simple del trapecio, es decir, s = m. Por lo
tanto, el error de integracion de la formula compuesta del trapecio es
Es =
(b a)3 2)
f ().
12s2
(27)
La
C
Observaci
on 8. Al contrario de lo que sucede con las f
ormulas simples de
Newton-Cotes, al aumentar el n
umero de puntos base de integraci
on en la
expresi
on anterior el orden de la derivada que aparece en el error de integraci
on permanece constante. Por lo tanto, si dicha derivada est
a acotada en el
2)
dominio de integracion, f (x) < k, x [a, b], entonces
lm Es = 0,
La regla compuesta de Simpson se obtiene al dividir el dominio de integracion en m intervalos y en cada uno de ellos utilizar la formula simple de
Simpson (17) que corresponde a n = 2 subintervalos, o 3 puntos de integracion. Por lo tanto, el n
umero total de intervalos es s = 2m y el n
umero total
de puntos es p = 2m + 1. La figura 11 presenta graficamente tanto la particion del dominio de integracion en 1 , . . . , m intervalos, los cuales a su vez
se subdividen en dos subintervalos cada uno. As mismo, esta figura tambien
muestra la numeracion de los puntos base de integracion.
23
i=1
m
X
i=1
x2i
f (x) dx
x2i2
!
h5
hi
f (x2i2 ) + 4f (x2i1 ) + f (x2i ) i f 4) (i )
3
90
ba
,
2m
La
C
hi = h =
f (i )
90(2m)5 i=1
Puesto que existe un [a, b] tal que (ver [5] pagina 305)
m
X
f 4) (i ) = mf 4) (),
i=1
entonces
Z b
m
m1
X
X
b a
I=
f (x) dx =
f (x0 ) + 4
f (x2i1 ) + 2
f (x2i ) + f (x2m
6m
a
i=1
i=1
(b a)5 4)
f ()
2880m4
(28)
24
Es =
Observaci
on 10. Al igual que la regla compuesta del trapecio, (26), al aumentar el n
umero de puntos base de integraci
on en la expresi
on (29) el orden
de la derivada que aparece en el error de integraci
on permanece constante.
Por lo tanto, si dicha derivada est
a acotada en el intervalo de integraci
on,
4)
f (x) < k, x [a, b], entonces
lm Es = 0,
Extrapolaci
on de Richardson
La
C
La extrapolacion de Richardson consiste en mejorar la aproximacion numerica obtenida mediante la combinacion de los resultados obtenidos al aplicar una formula compuesta con dos n
umeros diferentes de puntos base de
integracion. En particular, seguidamente se aplica la extrapolacion de Richardson a la formula compuesta del trapecio y de Simpson.
Aplicaci
on a la f
ormula compuesta del trapecio
(30)
donde I1 y I2 representan los valores numericos obtenidos al aplicar la cuadratura compuesta del trapecio con s1 y s2 intervalos respectivamente y E1 y
E2 son los errores de intagracion. De acuerdo con la ecuacion (27) los errores
de integracion son
(b a)3 2)
f (1 )
12s21
(b a)3 2)
=
f (2 )
12s22
E1 =
E2
25
La
C
4I2 I1
3
(31)
Aplicaci
on a la f
ormula compuesta de Simpson
La aplicacion de la extrapolacion de Richardson a la formula compuesta
de Simpson es muy similar al desarrollo anterior. De nuevo, supongase que
se ha calculado el valor de la integral (1) mediante la regla compuesta de
Simpson utilizando s1 y s2 intervalos. Es decir,
I = I1 + E1 = I2 + E2 ,
(32)
donde I1 y I2 representan los valores numericos obtenidos al aplicar la cuadratura compuesta de Simpson con s1 y s2 intervalos respectivamente y E1
y E2 son los errores de integracion que se desconocen. De acuerdo con (29)
estos errores pueden expresarse como
(b a)5 4)
f (1 )
180s21
(b a)5 4)
=
f (2 )
180s22
E1 =
E2
26
4
s2 I
I
2 s
1
I2 I1
1
= 4
.
I = I2 + E2 = I2 + 4
s2 1
s2 1
s1
s1
Integraci
on de Romberg
La
C
En realidad, el coste computacional de realizar estas integrales puede reducirse considerablemente puesto que es posible reutilizar los calculos previamente
realizados. Concretamente, primero se calcula la cuadratura compuesta del
trapecio con m = 20 = 1 intervalos, es decir la cuadratura simple del trapecio
!
b a 1
f (a) + f (b) .
T0,1 =
1
2
27
La
C
T3,1
7
X
b a 1
ba
=
f (a) + f (b) +
f (a +
i)
8
2
8
i=1
!
7
1
(b a) X
ba
=
T2,1 +
i .
f a+
2
4
8
i=1
i=2
Es facil demostrar por induccion que la formula general para calcular Ti,1 en
funcion de Ti1,1 es
!
i 1
2X
1
(b a)
ba
Ti,1 =
Ti1,1 + i1
f a+
i .
(34)
2
2
2i
i=1
i=2
Es importante resaltar que, de acuerdo con la recurrencia anterior, para calcular la aproximacion Ti,1 es preciso evaluar la funcion f (x) solo 2i 1 veces.
Puesto que Ti,1 es el resultado de aproximar la integral mediante la cuadratura compuesta del trapecio con m = 2i intervalos, el error de integracion
es, ver ecuacion (27),
Ei,1 =
(b a)3 2)
f ()
12 22i
[a, b].
El segundo paso consiste en, una vez calculadas las aproximaciones mediante
la cuadratura compuesta del trapecio, realizar una extrapolacion de Richardson sobre cada pareja de valores Ti,1 y Ti+1,1 , con i = 1, . . . , N 1. Puesto
28
4Ti+1,1 Ti,1
3
i = 1, . . . , N 1,
(35)
La
C
Ei,2 =
[a, b].
16Ti+1,2 Ti,2
15
i = 1, . . . , N 1,
(36)
En este caso tambien se puede demostrar por induccion que Ti,3 coincide con
la formula compuesta correspondiente a la formula cerrada de cinco puntos,
cuando esta u
ltima se aplica m = 2i veces. Por consiguiente, el error de
integracion es
Ei,3 =
(b a)7 6)
f ()
1935360 26i
[a, b].
i = 1, . . . , N 1,
(37)
k(a, b, j) 2j)
f ()
22ij
[a, b],
T0,2
T1,2
T2,2
..
.
T0,3
T1,3
T2,3
..
.
TN 2,1
TN 1,1
TN,1
TN 2,2
TN 1,2
TN 2,3
...
...
...
..
.
T0,M 2
T1,M 2
T2,M 2
T0,M 1
T1,M 1
T0,M
La
C
La expresion (37) muestra como el proceso de extrapolacion de Richardson descrito anteriormente puede aplicarse de forma recurrente para calcular
numericamente una integral definida. Generalmente, los resultados de este
proceso se presentan por columnas como muestra la tabla 1. Notese que esta representacion muestra claramente como se implementa este metodo. El
proceso se inicia calculando la primera columna de acuerdo con la expresion
(34). A partir de esta columna se calculan las restantes mediante la expresion
general (37).
Observaci
on 11. La mejor aproximaci
on al valor exacto de la integral que
proporciona la integracion de Romberg corresponde al coeficiente T0,M de la
tabla 1. Recuerdese que cada columna de esta tabla corresponde a la aplicaci
on
de una formula compuesta. En consecuencia, fijada una columna de la tabla
1, la precision de la aproximaci
on al valor exacto de la integral aumenta
al descender por dicha columna ya que el n
umero de intervalos utilizados
para realizar el calculo tambien se incrementa. Adem
as, cada columna pude
interpretarse como la extrapolaci
on de Richardson de la columna anterior.
Por lo tanto, la precision de la aproximaci
on tambien aumenta con el n
umero
de columnas.
30
3.
Integraci
on de Gauss
3.1.
f (x) dx =
I=
wi f (xi ) + En ,
n
X
i=0
La
C
I =
(38)
n
X
i=0
31
f n+1) ()
L(x).
(n + 1)!
Entonces,
b
Z
I=
w(x)f (x) dx =
n
X
Z
f (xi )
w(x)Li (x) dx
a
i=0
1
+
(n + 1)!
Por tanto, un vez se conozcan los puntos base, los pesos de integracion se
calcularan como
Z b
w(x)Li (x) dx,
(39)
wi =
a
En =
1
w(x)f (x) dx =
(n + 1)!
(40)
La
C
f n+1) ()
L(x) = qn (x) L(x)
(n + 1)!
(41)
seg
un el producto escalar definido por
Z
32
n+1
X
L(x) =
qn (x) =
i=0
n
X
ci Qi (x)
(42)
bi Qi (x).
(43)
i=0
n+1 X
n
X
i=0 j=0
ci bj
n
X
i=0
La
C
por ser {Qi (x)} una familia de polinomios ortogonales. Es decir, si el error
de integracion debe ser nulo, entonces existen dos posibilidades:
n+1
X
i=0
(44)
Es decir, los ceros del polinomio de Lagrange son las races del polinomio
ortogonal de grado n + 1, Qn+1 (x). Notese que la ecuacion (44) indica exactamente cuales han de ser los puntos base de integracion para que el error de
integracion sea nulo: los puntos base de integraci
on han de ser los ceros del
polinomio ortogonal de grado n + 1, Qn+1 (x).
A modo de resumen, el siguiente cuadro presenta el planteamiento general
de la integracion gaussiana.
Resumen Sea {Q0 (x), Q0 (x), . . . , Qn1 (x), Qn (x)} una familia de polinomios ortogonales seg
un el producto escalar
Z b
w(x)f (x)g(x) dx.
< f (x), g(x) > =
a
I =
w(x)f (x) dx =
n
X
wi f (xi ) + En ,
i=0
La
C
[a, b]
(45)
3.2.
Clasificaci
on
Pol. ortogonales
Smbolo
F
ormula de integraci
on
w(x)
Pol.
Pol.
Pol.
Pol.
{Pn (x)}
n (x)}
{L
Gauss-Legendre
Gauss-Leguerre
Gauss-Hermite
Gauss-Chebychev
1
ex
2
ex
1/ 1 x2
de
de
de
de
Legendre
Laguerre
Hermite
Chebychev
{Hn (x)}
{Tn (x)}
3.3.
Observaci
on 12. Al igual que en la bibliografa, los polinomios de Laguerre
se expresan como Li (x), con i = 0, . . . , n. Aunque esta notaci
on coincide con
la utilizada para los polinomios de Lagrange (4), el lector identificar
a claramente cada familia de polinomios por el contexto.
F
ormulas de Gauss-Legendre
f (x)g(x) dx.
La
C
I=
f (x) dx =
n
X
wi f (xi ) + En ,
i=0
donde los puntos base de integracion son los ceros del polinomio de Lengendre
de grado n+1, Pn+1 (x) y los pesos de integracion se calculan seg
un la ecuacion
(39)
Z 1
wi =
Li (x) dx,
1
35
P0 (x) = 1
P1 (x) = x
1
P2 (x) =
(3x2 1)
2
1
P3 (x) =
(5x3 3x)
2
1
P4 (x) =
(35x4 30x2 + 3)
8
y el termino del error de integracion se puede expresar de la forma determinada por la ecuacion (45).
Sin embargo, en la mayora de aplicaciones es preciso calcular la integral
en un intervalo cualquiera [a, b]. En este caso tambien se puede utilizar una
formula de Gauss-Legendre mediante el siguiente cambio de variables
2x (a + b)
.
ba
La
C
z=
(46)
wi
0,577350269189626
1,00000000000000
36
3.4.
F
ormulas de Gauss-Laguerre
i=0
donde, los puntos base de integracion son los ceros del polinomio de Laguerre
de grado n+1, Ln+1 (x), los pesos de integracion se calculan seg
un la ecuacion
(39)
Z
ex Li (x) dx,
La
C
wi =
=
=
=
=
=
1
1x
2 4x + x2
6 18x + 9x2 x3
24 96x + 72x2 16x3 + x4
z z
e e f (z + a) dz =
wi ezi f (zi + a) + En .
i=0
n
X
wi ezi
0,585786437627
3,414213562373
(1) 8,53553390593
(1) 1,46446609407
1,53332603312
4,45095733505
La
C
zi
3.5.
F
ormulas de Gauss-Hermite
w(x) = ex
a =
b =
38
=
=
=
=
=
1
2x
4x2 2
8x3 12x
16x4 48x2 + 12
H0 (x)
H1 (x)
H2 (x)
H3 (x)
H4 (x)
i=0
Como en las formulas gaussianas anteriores, los pesos de integracion se calculan seg
un la ecuacion (39)
Z
2
wi =
ex Li (x) dx,
La
C
i=0
zi
wi
wi ezi
0,707106781166548
(1) 8,862269254528
1,4611411826611
3.6.
F
ormulas de Gauss-Chebyshev
1 x2
a = 1
b = 1
=
=
=
=
=
1
x
2x2 2
4x3 3x
8x4 8x + 1
La
C
T0 (x)
T1 (x)
T2 (x)
T3 (x)
T4 (x)
f (x) dx =
wi f (xi ) + En ,
I=
1 x2
1
i=0
donde los n + 1 puntos base de integracion son las races de los polinomios de
Chebyshev de grado n + 1, Tn+1 (x). Es importante recordar que estos ceros
pueden calcularse de forma explcita como
(2i + 1)
xi = cos
i = 0, . . . , n
2n + 2
Ademas, los pesos de integracion tambien se pueden calcular analticamente
puesto que
Z 1
1
wi =
Li (x) dx =
i = 0, . . . , n
2
n+1
1x
1
40
La
C
ba 1
z(b
a)
+
(a
+
b)
1
=
1 z2 f
dz
2
2
1 z2
1
n
q
baX
zi (b a) + (a + b)
2
=
wi 1 zi f
+ En .
2 i=0
2
41
F
ormulas cerradas de Newton-Cotes
Z
Za b
f (x) dx
n=2
Za b
f (x) dx
n=3
Za b
n=4
f (x) dx
Za b
n=5
f (x) dx
Z
n=6
f (x) dx
Z
n=7
h
1 3 2)
f0 + f1
h f ()
2
12
h
1 5 4)
=
f0 + 4f1 + f2
h f ()
3
90
3h
3 5 4)
=
f0 + 3f1 + 3f2 + f3
h f ()
8
80
8 7 6)
2h
7f0 + 32f1 + 12f2 + 32f3 + 7f4
h f ()
=
45
945
5h
=
19f0 + 75f1 + 50f2 + 50f3 + 75f4 + 19f5
288
275 7 6)
h f ()
12096
h
=
41f0 + 216f1 + 27f2 + 272f3 + 27f4
140
9
+216f5 + 41f6
h9 f 8) ()
1400
7h
751f0 + 3577f1 + 1323f2 + 2989f3
=
1728
8183 9 8)
+2989f4 + 1323f5 + 3577f6 + 751f7
h f ()
518400
4h
989f0 + 5888f1 928f2 + 10496f3
=
14175
4540f4 + 10496f5 928f6 + 5888f7 + 989f8
2368 11 10)
h f ()
467775
9h
=
2857(f0 + f9 ) + 15741(f1 + f8 )
89600
+1080(f2 + f7 ) 19344(f3 + f6 ) + 5778(f4 + f5 )
173 11 10)
h f ()
14620
5h
=
16067(f0 + f10 ) + 106300(f1 + f9 )
299376
48525(f2 + f8 ) + 272400(f3 + f7 ) 260550(f4 + f6 )
1346350 13 12)
+427368f5
h f ()
326918592
f (x) dx =
n=1
f (x) dx
La
C
n=8
f (x) dx
n=9
f (x) dx
n = 10
f (x) dx
42
F
ormulas abiertas de Newton-Cotes
Z
1 3 2)
h f ()
3
3
3h
=
f0 + f1 + h3 f 2) ()
2
4
28
4h
2f0 f1 + 2f2 +
h5 f 4) ()
=
3
90
5h
95 5 4)
=
11f0 + f1 + f2 + 11f3 +
h f ()
24
144
6h
=
11f0 14f1 + 26f2 14f3 + 11f4
20
41 7 6)
+
h f ()
140
7h
=
611f0 453f1 + 562f2 + 562f3 453f4
1440
5257 7 6)
+611f5 +
h f ()
8640
8h
=
460f0 954f1 + 2196f2 2459f3 + 2196f4
945
3956 9 8)
h f ()
954f5 + 460f6 +
14175
f (x) dx = 2hf0 +
n=0
a
f (x) dx
n=1
a
f (x) dx
n=2
f (x) dx
n=3
a
f (x) dx
n=4
a
f (x) dx
n=5
a
f (x) dx
La
C
n=6
a
43
zi
wi
wi
n=15
n=1
n=2
n=3
0.09501
0.28160
0.45801
0.61787
0.75540
0.66563
0.94457
0.96940
25098
35507
67776
62444
44083
12023
50230
09349
37637
79258
57227
02643
55003
87831
73232
91649
440165
913230
386342
748447
033895
743880
576078
932596
0.07652
0.22778
0.37370
0.51086
0.63605
0.74633
0.83911
0.91223
0.96397
0.99312
65211
58511
60887
70019
36807
19064
69718
44282
19272
85991
33497
41645
15419
50827
26515
60150
22218
51325
77913
65094
333755
076080
560673
098004
025453
792614
823395
905868
791268
924786
0.06405
0.19111
0.31504
0.43379
0.54542
0.64809
0.74012
0.82000
0.88641
0.93827
0.97472
0.99518
68928
88674
26796
35C76
14713
36519
41915
19859
55270
45520
85559
72199
62605
73616
96163
26045
68839
36975
78554
73902
04401
02732
71309
97021
626065
309159
374387
138487
535658
569252
364244
921954
034213
758524
498198
360180
0.18945
0.18260
0.16915
0.14959
0.12462
0.09515
0.06225
0.02715
06104
34150
65193
59688
89712
85116
35239
24594
55068
44923
95002
16576
55533
82492
38647
11754
496285
588867
538189
732081
872052
764810
892663
094852
0.15275
0.14917
0.14209
0.13168
0.11819
0.10193
0.08327
0.06267
0.04060
0.01761
33BT1
29864
61093
86384
45319
01198
67415
20463
14296
40071
30725
72603
18382
49176
61518
17240
76704
34109
00386
39152
850698
746788
051329
626898
417312
435037
746725
063570
941331
118312
0.12793
0.12583
0.12167
0.11550
0.10744
0.09761
0.08619
0.07334
0.05929
0.04427
0.02853
0.01234
81953
74563
04729
56680
42701
86521
01615
64814
65649
74388
13886
12297
46752
46828
27803
53725
15965
04113
31953
11080
15436
17419
28933
99987
156974
296121
391204
661353
634783
888270
275917
305734
760746
806169
663181
199547
n=19
n=4
n=5
n=6
0.00000
0.40584
0.74153
0.94910
00000
51513
11855
79123
00000
77397
99394
42759
46424
24099
64774
98564
95650
16329
13627
97536
0.00000
0.32425
0.61337
0.83603
0.96816
00000
34234
14327
11073
02395
00000
03809
00590
26636
07626
0.14887
0.43339
0.67940
0.86500
0.97390
43389
53941
95682
33666
65285
81631
29247
99024
88985
17172
0.12523
0.36783
0.58731
0.76990
0.90411
0,98156
34085
14989
79542
26741
72563
06342
11469
98180
86617
94305
70475
46719
0.41795
0.38183
0.27970
0,12948
91836
00505
53914
49661
73469
05119
89277
68870
0.36268
0.31370
0.22238
0.10122
37833
66458
10344
85362
78362
77887
53374
90376
0.33023
0.31234
0.26061
0.16064
0.03127
93550
70770
06964
81606
43883
01260
40003
02935
94857
61574
0.29552
0.26926
0.21908
0.14945
0.06667
42247
67193
63625
13491
13443
14753
09996
15982
50581
08688
0.24914
0.23349
0.20316
0.16007
0.10693
0,04717
70458
25365
74267
83285
93259
53363
13403
38355
23066
43346
95318
86512
n=7
La
C
0.18343
0.52553
0.79666
0.96028
n=23
n=8
n=9
n=11
44
Cuadraturas de Gauss-Laguerre
zi
wi
zi
wi exp(zi)
wi
0.58578 64376 27
3.41421 35623 73
wi exp(zi)
n=8
n=1
(-1) 8.53553 390593
(-1) 1.46446 609407
1.53332
4. 45095
603312
733505
0.15232
0.80722
2.00513
3.78347
22277
00227
51556
39733
32
42
19
31
(-1)
(-1)
(-1)
(-2)
3.36126
4.11213
1.99287
4.74605
421798
980424
525371
627657
0.39143
0.92180
1.48012
2.08677
1124316
5028529
790994
080755
6.20495
9.37298
13.46623
18.83359
26.37407
67778
52516
69110
77889
18909
77
88
92
92
27
(-3)
(-4)
(-6)
(-8)
(-11)
5.59962
3.05249
6.59212
4.11076
3.29087
661079
767093
302608
933035
403035
2.77292
3.59162
4.64876
6.21227
9.36321
138971
606809
600214
541975
823771
0.13779
0.72945
1.80834
3.40143
5.55249
34705
45495
29017
36978
61400
40
03
40
55
64
(-1)
(-1)
(-1)
(-2)
(-3)
3.08441
4.01119
2.18068
6.20874
9.50151
115765
929155
287612
560987
697518
0.35400
0.83190
1.33028
1.86306
2.45025
9738607
230144
856175
390311
555808
27467
58379
78313
58119
70122
64
00
78
81
74
(-4)
(-5)
(-7)
(-9)
(-13)
7.53008
2.82592
4.24931
1.83956
9.91182
388588
334960
398496
482398
721961
3.12276
3.93415
4.99241
6.57220
9.78469
415514
269556
487219
248513
584037
n=2
0.41577 45567 83
2.29428 03602 79
6.28994 50829 37
1.07769
2.76214
5.60109
285927
296190
462543
0.32254
1.74576
4.53662
9.39507
76896
11011
02969
09123
19
58
21
01
(-1)
(-1)
(-2)
(-4)
6.03154
3.57418
3.88879
5.39294
104342
692438
085150
705561
0.83273
2.04810
3.63114
6.48714
9123838
243845
630582
508441
0.26356
1.41340
3.59642
7.08581
12.64080
03197
30591
57710
00058
08442
18
07
41
59
76
(-1)
(-1)
(-2)
(-3)
(-5)
5.21755
3.98666
7.59424
3.61175
2.33699
610583
811083
496817
867992
723B58
0.67909
1.63848
2.76944
4.31565
7.21918
4042208
787360
324237
690092
635435
8.33015
11.84378
16.27925
21.99658
29.92069
0.22284
1.18893
2.99273
5.77514
9.83746
15.98287
66041
21016
63260
35691
74183
39806
79
73
59
05
83
02
(-1)
(-1)
(-1)
(-2)
(-4)
(-7)
4.58964
4.17000
1.13373
1.03991
2.61017
8.98547
673950
830772
382074
974531
202815
906430
0.57353
1.36925
2.26068
3.35052
4.88682
7.84901
5507423
259071
459338
458236
680021
594560
0.61175
1.51261
2.83375
4.59922
6.84452
9.62131
13.00605
17.11685
0.19304
1.02666
2.56787
4.90035
8.18215
12.73418
19.39572
36765
48953
67449
30845
34445
02917
78622
60
39
51
26
63
98
63
(-1)
(-1)
(-1)
(-2)
(-3)
(-5)
(-8)
4.09318
4.21831
1.47126
2.06335
1.07401
1.58654
3.17031
951701
277862
348658
144687
014328
643486
547900
0.49647
1.17764
1.91824
2.77184
3.84124
5.38067
8.40543
7597540
306086
978166
863623
912249
820792
248683
22.15109 03793 97
28.48796 72509 84
37.09912 10444 67
0.09330
0.49269
1.21559
2.26994
3.66762
78120
17403
54120
95262
27217
17
02
71
04
51
(-1)
(-1)
(-1)
(-1)
(-2)
2.18234
3.42210
2.63027
1.26425
4.02068
885940
177923
577942
818106
649210
0.23957
0.56010
0.88700
1.22366
1.57444
8170311
0842793
8262919
440215
872163
0.17027
0.90370
2.25108
4.26670
7.04590
10.75851
15.74067
22.86313
96323
17767
66298
01702
54023
60101
86412
17368
05
99
66
88
93
81
78
89
(-1)
(-1)
(-1)
(-2)
(-3)
(-5)
(-7)
(-9)
3.69188
4.18786
1.75794
3.33434
2.79453
9.07650
8.48574
1.04800
589342
780814
986637
922612
623523
877336
671627
117487
0.43772
1.03386
1.66970
2.37692
3.20854
4.26857
5.81808
8.90622
3410493
934767
976566
470176
091335
551083
336867
621529
5.42533
7.56591
10.12022
13.13028
16.65440
20.77647
25.62389
31.40751
38.53068
48.02608
66274
62266
85680
24821
77083
88994
42267
91697
33064
55726
14
13
19
76
30
49
29
54
86
86
(-3)
(-3)
(-4)
(-6)
(-7)
(-9)
(-11)
(-13)
(-16)
(-20)
8.56387
1.21243
1.11674
6.45992
2.22631
4.22743
3.92189
1.45651
1.48302
1.60059
780361
614721
392344
676202
690710
038498
726704
526407
705111
490621
1.94475
2.34150
2.77404
3.25564
3.80631
4.45847
5.27001
6.35956
8.03178
11.52777
197653
205664
192683
334640
171423
775384
778443
346973
763212
021009
n=3
n=9
n=4
n=11
0.11572 21173 56
n=5
n=6
74845
02697
13377
76394
54531
68424
49933
51874
15
76
44
18
15
57
06
62
0.29720 9636044
(-1)
(-1)
(-2)
(-2)
(-3)
(-4)
(-6)
(-7)
0.69646
1.10778
1.53846
1.99832
2.50074
3.06532
3.72328
4.52981
3.77759
2.44082
9.04492
2.01023
2.66397
2.03231
8.36505
1.66849
275873
011320
222117
811546
354187
592663
585682
387654
2980431
139462
423904
760627
576910
151828
911078
402998
5.59725 846184
7.21299 546093
10.54383 074619
n=14
La
C
n=7
45
Cuadraturas de Gauss-Hermite
zi
wi
n=2
( 0) 1.18163 59006 04
(-1) 2.95408 97515 09
n=3
0.00000
0.61628
1.67355
2.65196
(-1)
(-1)
(-2)
(-4)
0.38118
1.15719
1.98165
2.93063
0.34290
1.03661
1.75668
2.53273
3.43615
13272
08297
36492
16742
91188
wi
23705
89514
99882
32790
37738
(-1)
(-1)
(-2)
(-3)
(-6)
n=9
6.10862
2.40138
3.38743
1.34364
7.64043
wi exp(zi2)
63373
61108
94455
57467
28552
53
23
48
81
33
0.68708
0.70329
0.74144
0.82066
1.02545
18539
63231
19319
61264
16913
513
049
436
048
657
zi
wi exp(zi2)
n=1
00000
78828
16287
13568
69902
37124
67566
74202
00000
58965
67471
35233
07322
46780
95843
57244
n=5
(-1)
(-1)
(-2)
(-4)
n=6
8.10264
4.25607
5.45155
9.71781
n=7
6.61147
2.07802
1.70779
1.99604
n=8
61755
25261
82819
24509
01255
32581
83007
07221
68
01
13
95
82
49
41
14
0.81026
0.82668
0.89718
1.10133
0.76454
0.79289
0.86675
1.07193
46175
73032
46002
07296
41286
00483
26065
01442
568
836
252
103
517
864
634
480
0.31424
0.94778
1.59768
2.27950
3.02063
3.88972
03762
83912
26351
70805
70251
48978
54359
40164
52605
01060
20890
69782
0.27348
0.82295
1.38025
1.95178
2.54620
3.17699
3.86944
4.68873
10461
14491
85391
79909
21578
91619
79048
89393
0.24534
0.73747
1.23407
1.73853
2.25497
2.78880
3.34785
3.94476
4.60368
5.38748
07083
37285
62153
77121
40020
60584
45673
40401
24495
08900
La
C
n=4
46
n=11
(-1)
(-1)
(-2)
(-3)
(-5)
(-7)
5.70135
2.60492
5.16079
3.90539
8.57368
2.65855
3815
4466
9888
1625
4748
7996
6012
0582
(-1)
(-1)
(-2)
(-2)
(-4)
(-5)
(-7)
(-10)
5.07929
2.80647
8.38100
1.28803
9.32284
2.71186
2.32098
2.65480
009
454
953
166
893
281
832
156
507
112
(-1)
(-1)
(-1)
(-2)
(-3)
(-4)
(-6)
(-7)
(-10)
(-13)
4.62243
2.86675
1.09017
2.48105
3.24377
2.28338
7.80255
1.08606
4.39934
2.22939
n=15
n=19
23626
31026
85615
05846
70435
16843
25
42
88
29
88
56
0.62930
0.63962
0.66266
0.70522
0.78664
0.98969
78743
12320
27732
03661
39394
90470
695
203
669
122
633
923
47901
45852
41398
11535
00862
00925
08448
74740
66
85
99
51
42
38
65
11
0.54737
0.55244
0.56321
0.58124
0.60973
0.65575
0.73824
0.93687
52050
19573
78290
72754
69582
56728
56222
44928
378
675
882
009
560
761
777
841
66960
50536
20602
20887
33422
63601
64785
93707
09922
36455
06
28
00
46
38
63
32
69
73
34
0.49092
0.49384
0.49992
0.50967
0.52408
0.54485
0.57526
0.62227
0.70433
0.89859
15006
33852
08713
90271
03509
17423
24428
86961
29611
19614
667
721
363
175
486
644
525
914
769
532
Referencias
[1] Bauer F.L., Rutishauser H. y Stiefel, E., (1963), New Aspects in Numerical Quadrature, Proceedings of Symposia in Applied Mathematics,
XV, American Mathematical Society, Providence, pp. 199-218.
[4] Huerta A., Sarrate, J. y Rodrguez-Ferran, A., (2001), Metodos Numericos. Introduccion, Aplicaciones y Programaci
on (tercera edici
on), Coleccion Aula Politecnica. Edicions UPC. Barcelona.
La
C
47