Professional Documents
Culture Documents
En este artculo se tratan brevemente algunos de los mtodos numricos que se emplean para integrar funciones. Se desarrollan brevemente los distintos mtodos, tales como los mtodos del rectngulo y del trapiezo, la frmula de Simpson, el mtodo de Romberg (utilizacin de la extrapolacin de Richardson para renar un resultado) y la aplicacin de la cuadratura de Gauss-Legendre.
Resumen
Palabras clave: Mtodos abiertos y cerrados, aproximacin por exceso o por defecto, paso, aproximacin polinomial, extrapolacin de Richardson, polinomios ortogonales.
1. Introduccin
Al igual que en el caso de la derivacin numrica, el uso de las computadoras trae cierta dicultad para trabajar con mtodo simblicos. Si bien hoy existen varios programas que trabajan con matemtica simblica (Mathematica, Maple, MathCAD, Matlab), no es lo ms usual y mucha veces la capacidad de esos programas se ve excedida por la demanada de cantidad de clculo. Ms de una vez la necesidad de obtener un resultado en el menor tiempo posible hace imperioso contar con algn mtodo que estime el valor en forma numrica. Al mismo tiempo, muchos programas de aplicacin ingenieril no pueden almacenar o guardar en sus lneas de cdigo una base de datos que incluya las primitivas de cualquier funcin (anlogo al caso inverso ya visto). La cantidad de informacin y la aleatoriedad que puede presentar una exigencia de este tipo vuelve impractible realizar esto en cada programa, adems de llevar a desarrollar interfaces amigables, que contribuyen a aumentar los requerimientos de memoria, tanto de operacin como de almacenamiento. Debe tenerse en cuenta, adems, que la difusin del Mtodo de los Elementos Finitos para la resolucin de ecuaciones diferenciales lleva implcito la aplicacin de mtodos numricos de integracin para obtener la matriz de coecientes del sistema de ecuaciones lineales resultante, mtodo que suele ser el de la cuadratura de GaussLegendre. Veremos a continuacin como encarar la integracin en forma numrica con ayuda de varios ejemplos, analizando las ventajas y las desventajas de cada mtodo.
2.
Frmulas de Newton-Cotes
Antes de desarrollar las distintas frmulas o mtodos para obtener una integral denida
Denicin 2.1.
la intergal
f (x)
denida en
[a; b],
I(f ) =
Qn (f ) =
i=1
1
ci f (xi ) ;
Integracin Numrica
ci y xi [a; b]. Los puntos xi se denominan puntos de cuadratura (o races) y los ci , coecientes de cuadratura o de peso. Asimismo, se dene el error de la cuadratura como En (f ) = I(f ) Qn (f ).
valores
Denicin 2.2.
k = 0; 1; . . . ; m
y
m m,
si
En (xk ) = 0
para
En
xm+1 pk (x)
= 0.
entonces
En (pk ) = 0
m (k m).
cuyos nodos incluya a los extremos del intervalo. Se denomina frmula abierta de Newton-Cotes a toda cuadratura numrica
la curva en el intervalo
[a; b],
como se ve en la gura 1.
Para empezar podemos hacer dos aproximaciones muy groseras como se puede apreciar en las guras 2(a) y 2(b):
En la aproximacin de la gura 2(a), vemos que el rea obtenida es mucho menor que el rea buscada. En cambio, en la 2(b), podramos suponer que la aproximacin al rea obtenida es similar o mayor. Podemos ver que si el rea en color claro se compensa con el rea en color oscuro excedente, entonces estaramos obteniendo una buena aproximacin. Si esto no fuera as, entonces obtendramos una rea por defecto (la parte oscura es menor que la parte clara) o por exceso (la parte oscura es mayor a la parte clara).
Integracin Numrica
Qn (f ) = f (a)(b a);
para el caso (a) y,
Qn (f ) = f (b)(b a);
para el caso (b). Podramos mejorar estas aproximaciones si obtenemos la siguiente rea:
En nuestro caso particular no parece ser mejor esta aproximacin puesto que hay un rea excedente en color clro. La expresin matemtica para este caso es:
Qn (f ) =
Vamos a generalizar estas tres expresiones. Supongamos que denimos podemos escribir cada una de las expresiones como: Aproximacin por rectngulos (defecto): Aproximacin por rectngulos (exceso): Aproximacin por trapecio:
Qn (f ) = h f (a); Qn (f ) = h f (b);
Qn (f ) =
h 2
[f (a) + f (b)].
Analicemos ahora una segunda mejora. Supongamos que podemos calcular la funcin en
x=
nos pueden servir para obtener el rea buscada. Hagamos pasar una curva por esos tres puntos utilizando el polinomio de Taylor y asumiendo en este caso que
h=
ba 2 , como se ve en la gura 4.
Podemos ver en la gura que el rea aproximada es mayor que el rea buscada, lo que signica
Integracin Numrica
La aproximacin usando parbolas de segundo grado es la conocida frmula de Simpson, cuya expresin matemtica es:
Qn (f ) =
h f (a) + f (b) + 4 f 3
a+b 2
Ahora vamos a unicar para los cuatro casos el intervalo de integracin. Tomaremos como intervalo
[a; b]
el intervalo
[1; 1].
Aproximacin por rectngulo (defecto): Aproximacin por rectngulo (exceso): Aproximacin por trapecios: Aproximacin por Simpson:
f (1) +
4 3
f (0) +
1 3
f (1).
Si nos jamos en la denicin de cuadratura podemos ver que hemos denido para cada caso un valor de
ci
y un valor de
xi ,
Aproximacin por rectngulo (defecto): Aproximacin por rectngulo (exceso): Aproximacin por trapecios: Aproximacin por Simpson:
c1 = 2, x1 = 1. c1 = 2, x1 = 1.
c1 = c2 = 1, x1 = 1, x2 = 1. c1 = c3 =
1 3,
c2 =
4 3,
x1 = 1; x2 = 0; x3 = 1;
con lo cual podemos escribirlos segn la forma general denida como cuadratura numrica :
Qn (f ) =
i=1
siendo
ci f (xi ) ; n = 2
para la del trapecio y
n = 1
n = 3
para la de
Simpson. Sin embargo, en todos los casos las aproximaciones no fueron muy precisas. Veremos a continuacin algunas formas de mejorar la precisin de las cuadraturas.
3.2.
Frmulas compuestas
Supongamos que en lugar de utilizar la frmula del rectngulo con el paso
h = b a,
dividimos ese intervalo en intervalos ms chicos. Empecemos por denir un nuevo paso como
h=
ba 2 . Ahora podemos aproximar la integral con dos subintervalos, tanto por defecto como
[a; a + h]
[a + h; b],
Qn (f ) = h f (a) + h f (a + h);
o
Qn (f ) = h f (a + h) + h f (b).
Ambas aproximaciones se pueden ver en las guras 5(a) y 5(b). La primera es una aproximacin francamente por defecto, en cambio, en la segunda tenemos una primer intervalo con una aproximacin por exceso y otro intervalo por defecto; en conjunto podemos inferir que la aproximacin resulta ser por exceso. Podemos hacer un desarrolo similar con la frmula del trapecio. Si tomamos el mismo paso, y por ende, los mismos subintervalos, tendremos:
Qn (f ) =
4
Integracin Numrica
La aproximacin obtenida se puede ver en el gura 6, observando que la aproximacin es por defecto. Al igual que en los casos anteriores, podemos mejorar la aproximacin por la frmula de Simpson. Si dividimos nuestro intervalo inicial en dos, de manera de trabajar con dos subintervalos y denimos
h=
Qn (f ) =
h h [f (a) + f (a + 2h) + 4 f (a + h)] + [f (a + 2h) + f (b) + 4 f (a + 3h)] . 3 3 h [f (a) + f (b) + 2 f (a + 2h) + 4 f (a + h)] . 3
Qn (f ) =
El resultado de aplicar esta frmula, como se puede ver en la gura 7, muestra que la aproximacin obtenida es muy precisa, y que el resultado es muy cercano al exacto.
Veremos, ahora, como podemos generalizar las expresiones de los mtodos para tervalos. Si dividimos el intervalo
de Newton-Cotes, que son las siguientes:
Integracin Numrica
Rectngulos:
n1
Qn (f ) = h
i=0 n1
f (a + i h)
con
h=
ba ; n h= ba . n
Qn (f ) = h
i=1
Trapecios:
f (a + i h) + f (b)
con
h f (a) + f (b) + 2 Qn (f ) = 2
Simpson:
n1
f (a + i h)
i=1
con
h=
ba . n
h Qn (f ) = 3
n1
[f (a) + f (b) + 2
i=1
f (a + 2i h) + 4
i=1
f [a + (2i 1) h] h.
con
h=
ba . 2n
metodologa tiene una desventaja. A medida que achicamos el paso aumentamos notablemnte la cantidad de operaciones que se deben realizar, lo que signica ms tiempo de procesamiento. Esto no siempre es prctico; por ejemplo, dividir el intervalo para Simpson en 100 subintervalos representa un esfuerzo de cculo que no siempre mejora la precisin del resultado en el mismo sentido. Puede ocurrir que nuestra representacin numrica nos limite el tamao del paso frmulas. Por otro lado, toda vez que querramos anar nuestro clculo reduciendo el paso
h,
lo que nos impide anar el paso todo lo necesario. Algo similar puede ocurrir con las otras
h,
debe-
mos calcular prcticamente todo otra vez, pues salvo los valores de la funcin en los extremos del intervalo, el resto de los valores no suelen ser tiles (salvo excepciones). Cambiar el paso no suele tener costo cero. Busquemos, en consecuencia, otra forma para obtener resultados ms precisos sin tener achicar el paso, incrementar demasiado las cantidad de operaciones a realizar o repetir todos los clculos.
3.3.
Mtodo de Romberg
Como primer paso para desarrollar un mtodo ms eciente que mejore nuestros resulta-
dos, analicemos el error que se comete al aplicar cualquiera de las frmulas de cuadratura vistas en los puntos anteriores. En forma general, la aproximacin se puede expresar de la siguiente forma:
b n
I(f ) =
a
f (x)dx =
a i=1 n
f (n) [(x)] n!
n
(x xi )dx
i=1
=
i=1
1 ci f (xi ) + n!
f
a
(n)
[(x)]
i=1
(x xi )dx;
Qn (f )
como vimos al principio, el error est dado por:
1 En (f ) = I(f ) Qn (f ) = n!
Para cada uno de los mtodos tenemos:
f
a
(n)
[(x)]
i=1
(x xi )dx.
Integracin Numrica
E1 (f ) = h f ().
3
E2 (f ) = h f (). 12
5
E3 (f ) = h f iv (). 90
Podemos notar que las aproximaciones mediante cualquiera de las frmulas vistas se pueden expresar como:
M = N (h) + K1 h + K2 h2 + K3 h3 + . . . ;
lo que nos permite aplicar el mtodo de Extrapolacin de Richardson, visto para diferenciacin numrica. La adaptacin de este mtodo a la integracin se conoce como puesto. Recordemos la frmula del mtodo:
mtodo de Romberg.
h Qn (f ) = f (a) + f (b) + 2 2
y de acuerdo con lo visto se puede denir que:
n1
f (a + i h) ;
i=1
n1
f (a + i h)
i=1
ba 2 h f (); 12
a<<b
h=
ba n .
positivo. En consecuencia,
A partir de esto vamos a desarrollar el mtodo. En primer lugar, vamos a obtener todas las aproximaciones para tendremos un
ba mk
2k1 1 i=1
f (a + i hk ) ;
Rk,1 :
ba h1 [f (a) + f (b)] = [f (a) + f (b)] ; 2 2 h2 ba [f (a) + f (b) + 2f (a + h2 )] = f (a) + f (b) + 2f 2 4 1 [R1,1 + h1 f (a + h2 )] ; 2 1 {R2,1 + h2 [f (a + h3 ) + f (a + 3h3 )]} ; 2 2k2 1 Rk1;1 + hk1 f [a + (2i 1)hk ] 2
i=1
a+
ba 2
Integracin Numrica
Rk,1
q = 4.
Por lo tanto
Rk,2 = Rk,1 +
con
Rk,1 Rk1;1 ; 41 1
k = 2; 3; . . . ; n.
Rk,j = Rk,j1 +
con
k = 2; 3; . . . ; n
j = 2; 3; . . . ; k . Al aplicar este mtodo, generamos una tabla como Rk,j es una mejor aproximacin del resultado, siendo la mejor el Rn,n :
R2,2 R3,2
. . .
R3,3
. . . .. .
Rn,1
Rn,2
Rn,3
...
Rn,n
La ventaja de este mtodo es que permite calcular una nueva la con slo hacer una aplicacin de la frmula compuesta del trapecio y luego usar los valores ya calculados para obtener el resto de los valores de las dems columnas de esa nueva la; no requiere recalcular todo. Una cuestin a tener en cuenta al aplicar este mtodo es que supone que la frmula compuesta del trapecio permite la aplicacin de la extrapolacin de Richardson, esto es, se debe cumplir que hasta la
f (x) C 2(k+1) [a, b]; si esto no se cumple no tiene sentido seguir anando el resultado iteracin k
4.
Existen tambin frmulas abiertas de Newton-Cotes. La ms conocida es la del punto medio. Supongamos que tomamos la frmula del rectngulo pero en lugar de aproximar el rea con los extremos, tomamos el punto medio del intervalo, es decir, aproximacin del rea buscada estra dada por:
c =
Qn (f ) = (b a) f (c) = h f (c).
h
La aproximacin efectuada con esta frmula se puede ver en la gura 8.
Es interesante ver que la integracin utilizando la frmula del punto medio tiene el mismo orden de error que el mtodo de los trapecios.
Integracin Numrica
Al igual que en los casos anteriores, se puede desarrollar una frmula compuesta, similar a la frmula compuesta del rectngulo pero tomando los puntos medios de los subintervalos. Supongamos que tomamos un nuevo paso ms chico, simialr a los casos anteriores, es decir,
h=
Qn (f ) = h f
a+
h 2
+f
a+
3h 2
Sin embargo la idea principal de las frmulas abiertas no est relacionada con tomar puntos de un intervalo segn un paso uniforme sino en determinar los puntos para efectuar la integracin eligindolos de una manera inteligente. Qu signica inteligente? Analicemos brevemente la frmula del punto medio. Al elegir dicho punto y no los extremos del intervalo, suponemos que el rectngulo que queda formado aproxioma mejor la integral buscada. Si dividimos este intervalo en varios subintervalos ms pequeos, tenemos la frmula compuesta. Sin embargo estamos algo limitados. Podramos avanzar en la idea y desarrollar una frmula similar para el mtodo de Simpson, es decir, crear una curva que no pase por los extremos y nos permita obtener una buena aproximacin. pero de todas maneras tenemos la misma limitante: debemos trabajar con puntos equidistantes. Esto puede llevar a que debamos utilizar las frmulas compuestas con muchos trminos para alcanzar aproximaciones razonables. Veamos en el punto siguiente un mtodo de integracin que explota la idea de las frmulas abiertas de Newton-Cotes eligiendo puntos inteligentemente.
5.
Cuadratura de Gauss
Recordemos la frmula para una cuadratura:
Qn (f ) =
i=1
ci f (xi ) .
Supongamos ahora que elijo una curva que pase por ciertos puntos y que me aproxime la integral de la funcin dada, usando la frmula de cuadratura. Una curva de ese tipo se ve en la gura 10. Elegiremos como puntos crticos aquellos en los que la funcin se intersecta con la curva de aproximacin. Estos sern nuestros puntos inteligentes. El problema es elegir la curva ms conveniente. Por ejemplo, en la gura 10 se eligi una parbola, por lo tanto, se tienen dos puntos que se intersectan con la funcin. Podramos haber utilizado una recta, una parbola cbica, etc. Supongamos ahora que denimos un intervalo jo de integracin, por ejemplo, el Debemos determinar para ese intervalo los puntos
[1, 1].
xi
y los coecientes
ci
Integracin Numrica
de cuadratura, esto es, debemos denir los puntos En consecuencia, tenemos de grado
x1 ; x2 ; . . . ; xn
y los coefcientes
c1 ; c2 ; . . . ; cn .
2n
2n 1 tiene 2n coecientes (por ejemplo, un polinomio de tercer grado tiene la forma a0 + a1 x + a2 x2 + a3 x3 ), podramos decir que hallar esos parmetros para nuestra frmula de cuadratura es equivalente a obtener los coecientes de ese polinomio de grado 2n 1. Gauss deni estos polinomios que permiten aproximar la integral en el intervalo [1; 1]
dependiendo de la cantidad de puntos que se deseen utilizar. Estos polinomios son ortogonales y conocidos como polinomios de Legendre. Calculando la raz de cada polinomio obtuvo los puntos
xi
ci .
puntos y los coecientes de acuerdo con la cantidad de puntos que se utilicen para aproximar la integral:
n
1 2
xi x1 x1 x2 x1 x2 x3 x1 x2 x3 x4
= 0.00 1 = 3 = 0.5773502692 1 = 3 = 0.5773502692 = 0.7745966692 = 0.0 = 0.7745966692 = 0.8611363116 = 0.3399810436 = 0.3399810436 = 0.8611363116
ci c1 c1 c2 c1 c1 c1 c1 c1 c3 c1
= 2.0 = 1.0 = 1.0 = 0.5555555556 = 0.8888888889 = 0.5555555556 = 0.3478548451 = 0.6521451549 = 0.6521451549 = 0.3478548451
Este mtodo es muy til cuando lo que se quiere aproximar son polinomios, puesto que los resultados son exactos cuando
basta con hacer un cambio de coordenadas. Por ejemplo, si se tiene la siguiente integral:
I(f ) =
a
f (x) dx
se debe hacer el siguiente cambio de variable para poder aproximar con cuadratura de Gauss:
x=
Referencias
ba b+a ba t+ ; I(f ) = 2 2 2
f (t) dt.
1
[1] Burden, R.L. & Faires, J.D. Anlisis Numrico. Sexta Edicin, International Thomson, 1998. [2] Samarski, A.A. Introduccin a los mtodos numricos. Editorial Mir, 1986.
10
Integracin Numrica
[3] Chandrupatla, T.R.& Belegundu, A.D. Introduccin al estudio del Elemento Finito en Ingeniera. Segunda edicin, Pearson, 1999.
[4] Gonzlez, H. Anlisis Numrico, primer curso. Primera Edicin, Nueva Librera, 2002. [5] Gavurin, M.K. Conferencias sobre los mtodos de clculo.Editorial Mir, 1973. [6] University of British Columbia. Numerical Methods Lectures. 2002.
11
Analticamente se obtiene:
Mtodos simples
Frmula del Rectngulo Frmula con f(a)
a := 1 b := 2.5 h := b a A1 = 2.598076
A1 := h f ( a )
10
A2 = 9.375000
0.5
1.5
2.5
3.5
4.5
10
0.5
1.5
2.5
3.5
4.5
- I.2 -
Frmula de Simpson
h
A4 :=
f ( a ) + f ( b) + 4 f
a + b 2
A4 = 7.911808
10
0.5
1.5
2.5
3.5
4.5
Mtodos compuestos
Frmula del Rectngulo Frmula con f(a)
a := 1 A1 := h b := 2.5 n := 4 h := ba n A1 = 6.960832
n
f [ a + (i 1) h ]
i=1 10
0.5
1.5
2.5
3.5
4.5
- I.3 -
n1 i = 1
f ( a + i h) + f (b)
A2 = 8.655063
10
0.5
1.5
2.5
3.5
4.5
f ( a ) + 2
h
n1
f ( b) + 2
f ( a + i h)
A3 = 7.807948
i =1
10
0.5
1.5
2.5
3.5
4.5
- I.4 -
Frmula de Simpson
h
A4 :=
f ( a)
n1
+ f (b) + 2
i=1
f a
+ 2 i
+ 2
f a + ( 2 i 1)
i=1
h 2
A4 = 7.934764
10
0.5
1.5
2.5
3.5
4.5
Mtodo de Romberg
R( k , j) := ba 2 ( f ( a ) + f ( b) ) if k = 1 j = 1
k 2 4 1 4 ( b a ) ba R( k 1 , j) + f a + ( 2 i 1) 2 k k1 2 2 i=1 R( k , j 1) + R( k , j 1) R( k 1 , j 1) otherwise j1 4 1
if k > 1 j = 1
R( 1 , 1) = 5.986538 R( 2 , 1) = 7.430491 R( 3 , 2) = 7.933767 R( n , 1) = 7.903060 R( 2 , 2) = 7.911808 R( 3 , 2) = 7.933767 R( n , 2) = 7.934764 R( 3 , 3) = 7.935231 R( n , 3) = 7.934830 R( n , n) = 7.934824 R( n + 1 , n) = 7.934825 R( n + 1 , n + 1) = 7.934825
R( n + 1 , 1) = 7.926881
R( n + 1 , 2) = 7.934821
R( n + 1 , 3) = 7.934825
- I.5 -
$QH[R,,(MHPSORFRQ)yUPXODVDELHUWDV
Analticamente se obtiene:
0.5
1.5
2.5
3.5
4.5
h A1 := h f a + 2
10
0.5
1.5
2.5
3.5
4.5
- II.1 -
i=1 10
f a + (2 i 1)
0.5
1.5
2.5
3.5
4.5
- II.2 -
$QH[R,,,(MHPSORFRQ&XDGUDWXUDGH*DXVV
Analticamente se obtiene:
0.5
1.5
2.5
3.5
4.5
Cuadratura de Gauss
Con n=1
t1 := 0 c1 := 2 a := 1 ba b+a x1 := t1 + 2 2 A1 := c1 ba 2 f x1 b := 2.5
( )
A1 = 8.874444
10
0.5
1.5
2.5
3.5
4.5
- III.1 -
Con n=2
t1 := 1 3 ba 2 c1 := 1 t + b+a 2 t2 := t 1 c2 := c1 a := 1 b := 2.5
z( t ) := A1 :=
ba 2
c1 f z t1
( ( ) ) + c2 f ( z( t 2 ) ) )
A1 = 7.950527
10
0.5
1.5
2.5
3.5
4.5
Con n=3
t1 := 0.7745966692 c1 := 0.5555555556 z( t ) := A1 := ba 2 t + b+a 2 t2 := 0 c2 := 0.8888888889 t3 := t 1 c3 := c1 a := 1 b := 2.5
ba 2
c1 f z t1
( ( ) ) + c2 f ( z( t 2 ) ) + c3 f ( z( t 3 ) ) )
A1 = 7.934433
10
0.5
1.5
2.5
3.5
4.5
- III.2 -