Integracin numrica.

Prctica con Mathematica

Cuando solamente se conocen algunos valores particulares de una funcin f (x), o cuando siendo sta conocida, no se dispone de una primitiva expresada convenientemente, se utilizan Rb mtodos numricos para obtener un valor aproximado de la integral a f (x)dx . a Supondremos dividido el intervalo [a, b] en n partes iguales de longitud h = b mediante n los puntos a = x0 < x1 < x2 < ...... < xn1 < xn = b , y supondremos conocidos los valores y0 = f (x0 ), y1 = f (x1 ), .... ......, yn = f (xn ) . Mtodo de los trapecios a) Determinamos la funcin de interpolacin lineal l(x) que cumple l(x0 ) = y0 , l(x1 ) = y1 . Segn la frmula que conocemos la expresin de esta funcin es l(x) = x x0 x x1 y0 + y1 x0 x1 x1 x0

Tambin puede verse del siguiente modo: Por pasar por los puntos (x0 , y0 ), (x1 , y1 ), la grca y1 y0 y1 y0 de l(x) es una recta de pendiente x . Por lo tanto es l(x) = y0 + x (x x0 ) . 1 x0 1 x0 b) Calculamos:
x1 Z

l(x)dx =

h (y0 + y1 ) 2

x0 x1 R

Nota.- Si y0 , y1 0,

l(x)dx coincide con el rea del trapecio rectngulo de bases

x0

paralelas al eje OY de longitudes y0 , y1 , y altura situada en el eje OX coincidente con el intervalo [x0 , x1 ] de longitud h . c) Consideramos ahora la integral Rb
a

f (x)dx =

x0

x1 R

f (x)dx +

Rb
a

f (x)dx que queremos aproximar.

x2 R

f (x)dx + .... +

x1

xn1

xn R

f (x)dx

En cada una de las integrales sumandos reemplazamos f (x) por la funcin de interpolacin lineal correspondiente a (x0 , y0 ), (x1 , y1 ) en la primera, a (x1 , y1 ), (x2 , y2 ) en la segunda, .... , a (xn1 , yn1 ), (xn , yn ) en la ltima, obteniendo la suma h (y + y1 ) + h (y + y2 ) + .... + 2 0 2 1 h ( y + y ) = n 2 n1 = h [y0 + 2y1 + 2y2 + ... + 2yn1 + yn ] 2

Nota.- Si f (x) 0, x [a, b], el mtodo de los trapecios consiste en aproximar el rea bajo la curva por la suma de las reas de los trapecios rectngulos con altura de longitud h coincidente con el intervalo [xi1 , xi ] del eje OX, con las dos bases paralelas al eje OY de longitudes yi1 , yi , y con lado oblicuo igual a la cuerda que une los puntos de la grca de coordenadas (xi1 , yi1 ), (xi , yi ). Ejemplo.- Aproximar :
3 R 1 ex dx x

con el mtodo de los trapecios dividiendo el intervalo [1, 3]

a) En 5 partes iguales. b) En 10 partes iguales. c) En 50 partes iguales. Comparar el resultado de cada apartado, con el que se obtiene con el comando NIntegrate de Mathematica. A continuacin se reproducen las sentencias utilizadas para resolver el apartado b) del ejemplo. Notar que para los dems apartados basta cambiar en la lnea primera el valor de n y activar a continuacin todas las dems. Para cualquier otro ejemplo o ejercicio, ser suciente con modicar las lneas en las que se introducen los valores de n, a, b, f (x) y activar las dems instrucciones.
In[1]: n = 10 In[2] a = 1 In[3] b = 3 In[4]: h=(b-a)/n In[5]: x[j_] = a+j*h In[6]: f[t_] = E^t/t In[7]: y[j_] = f[x[j]] In[8]: N[h/2*(y[0]+2Sum[y[j],{j,1,n-1}]+y[n]),20] Out[8]= 8.0535744837047745276 In[9]: NIntegrate[f[x], {x, 1, 3}] Out[9]= 8.0387147542694798025

Ejercicio.- Aproximar

valo [1, 2] : a) En 8 partes iguales. b) En 15 partes iguales. c) En 30 partes iguales. Comparar el resultado de cada apartado, con el que se obtiene con el comando NIntegrate de Mathematica. Mtodo de Simpson

2 R x3 + 1.dx con el mtodo de los trapecios dividiendo el inter-

a) Determinaremos la funcin de interpolacin cuadrtica c(x) que cumple c(x0 ) = y0 , c(x1 ) = y1 , c(x2 ) = y2 . c(x) puede expresarse en la forma: c(x) = + (x x0 ) + (x x0 )(x x1 ) para ciertos nmeros reales , , , por ser {1, (x x0 ), (x x0 )(x x1 )} una base del espacio vectorial real P2 de los polinomios con coecientes reales de grado menor o igual que dos. Determinemos , y : c(x0 ) = = y0 y1 y0 y0 c(x1 ) = + (x1 x0 ) = y1 = x = y1 h 1 x0 y0 y0 c(x2 ) = y0 + y1 (x2 x0 ) + (x2 x0 )(x2 x1 ) = y2 y2 y0 = y1 .2h + .2h2 h h 2y1 +y0 . Y as es: y2 2y1 + y0 = = 2 h2 = y2 2 h2 c(x) = y0 +
x2 R

y1 y0 y2 2y1 + y0 (x x0 )(x x1 ) (x x0 ) + h 2h2

b) Calculemos

c(x)dx
x2 Z

x0

c(x)dx =

h [y0 + 4y1 + y2 ] 3

x0

c) Supondremos que n es par, y sea Zb

a x2 Z

Rb
a

f (x)dx la integral que queremos aproximar.

x4 Z xn Z

f (x)dx =

f (x)dx +

f (x)dx + ..... +

f (x)dx

x0

x2

xn2

En cada una de las integrales sumando, reemplazamos f (x) por la funcin de interpolacin cuadrtica correspondiente a los puntos (x0 , y0 ), (x1 , y1 ), (x2 , y2 ) en la primera, a (x2 , y2 ), (x3 , y3 ), (x4 , y4 ) en la segunda, .... , a (xn2 , yn2 ), (xn1 , yn1 ), (xn , yn ) en la ltima. Obteniendo as la suma: h h h [y0 + 4y1 + y2 ] + [y2 + 4y3 + y4 ] + .... + [yn2 + 4yn1 + yn ] = 3 3 3 = h [y0 + 4y1 + 2y2 + 4y3 + 2y4 + 4y5 + 2y6 + ... + 2yn2 + 4yn1 + yn ] = 3
2 2 X X h h y2k1 + 2 y2k + yn ] = [E + 4I + 2P ] = [y0 + 4 3 3 k=1 k=1 n n

donde E representa la suma de los valores extremos, es decir, y0 e yn , I representa la suma de los valores de ndice impar, es decir, y1 , y3 ....., yn1 (que son los valores de lugar par 3

por ser 0 el primer subndice), y P representa la suma de los valores de ndice par, es decir, y2 , y4 ....., yn2 (que son los valores de lugar impar). Ejemplo.- Aproximar
3 R 1 ex dx x

con el mtodo de Simpson dividiendo el intervalo [1, 3] :

a) En 10 partes iguales. b) En 50 partes iguales. Comparar el resultado de cada apartado, con el que se obtiene con el comando NIntegrate de Mathematica. A continuacin se reproducen las sentencias utilizadas para resolver el apartado a) del ejemplo. Notar que para el apartado b) basta cambiar en la lnea primera el valor de n y activar a continuacin todas las dems. Para cualquier otro ejemplo o ejercicio, ser suciente con modicar las lneas en las que se introducen los valores de n, a, b, f (x) y activar las dems instrucciones.
In[1]: n = 10 In[2] a = 1 In[3] b = 3 In[4]: h=(b-a)/n In[5]: x[j_] = a+j*h In[6]: Table[x[j],{j,0,n}] Out[6]= {1, 6/5, 7/5, 8/5, 9/5, 2, 11/5, 12/5, 13/5, 14/5, 3} In[7]: f[t_] = E^t/t In[8]: y[j_] = f[x[j]] In[9]: N[h/3*(y[0]+4Sum[y[2j-1],{j,1,n/2}]+2Sum[y[2j],{j,1,n/2}]+y[n]),20] Out[9]= 8.0387850835535905025 In[10]: NIntegrate[f[x], {x, 1, 3}] Out[10]= 8.0387147542694798025

Ejercicio.- Aproximar

[1, 2] : a) En 10 partes iguales. b) En 50 partes iguales. Comparar el resultado de cada apartado, con el que se obtiene con el comando NIntegrate de Mathematica.

2 R x3 + 1.dx con el mtodo de Simpson dividiendo el intervalo