You are on page 1of 10

ELEMENTOS DE INTEGRACIN NUMRICA

A menudo es necesario evaluar la integral definida de una funcin que no tiene una antiderivada explcita, o
cuya antiderivada no es fcil de obtener; motivo por el cual recurrimos a la integracin numrica, la cual a
partir de aproximaciones tomando como punto de partida la nocin de rea bajo la curva, obtenemos un
resultado que nos acerque al valor deseado (rea).
Inicialmente nos acercaremos por aproximacin de funciones constantes (Riemann), luego por
aproximaciones de funciones lineales (Trapecio), a continuacin realizaremos una aproximacin por
funciones cuadrticas (Simpson) y generalizando por funciones cbicas o de orden superior (Newton-Cotes)
y para finalizar aproximaremos con un mtodo que es combinacin de trapecio y extrapolacin de Richarson
(Romberg), vale la pena aclarar que son nicamente cuatro mtodos propuestos, cuando en la literatura
existen muchos mtodos para lograr nuestro objetivo.
APROXIMACION POR FUNCIN CONSTANTE
Como dijimos anteriormente, este mtodo es conocido como aproximacin de RIEMANN para lo cual se
utiliza la funcin constante, observemos la grafica y as definiremos lo necesario para lograr la
aproximacin:
Vamos a hallar el valor bajo el rea de la funcin
) (x f y
en el intervalo b x a ; tomemos un rectngulo
representativo y hallmosle su rea; Vale la pena aclarar que aqu se dibujaron los tres tipos de
aproximaciones por defecto (
s
A
) por exceso (
s
A ) y aproximacin por punto medio ( la cual no trataremos),
este mtodo de Riemann lo que nos da es un intervalo en donde se encuentra la raz, el cual es
s
A
s
A Area .
Como observamos este rectngulo tiene de base
1

i i
x x x
y su altura est determinada como
) (
1
+
i
x a f
; es decir su rea es
x x a f
i
+

) (
1
, sumando todos los rectngulos, haciendo el nmero de rectngulos
infinitos, obtenemos:


+
1
0
1
) ( lim
n
i
i
n
x x a f
, reescribindolo en trminos de x tenemos:


+
1
0
)) 1 )( ( ( lim
n
i
n
x i x a f
que es la aproximacin del rea por defecto; y


+
n
i
n
x i x a f
1
) ) ( ( lim
que seria la aproximacin por exceso.
Aqu en Riemann se habla del error normalizado con el nmero de cifras significativas que se desee.
Ya que la nocin de limite es un concepto matemtico, netamente analtico, no lo podemos considerar en el
caso numrico, (una maquina no se puede acercar tanto como quiera a un nmero real), consideramos el n
como un numero finito.
A continuacin realizaremos un ejemplo en donde el nmero de rectngulos es finito; hallaremos el
intervalo donde se encuentra el valor del rea bajo la curva:
Ejemplo: Hallar una aproximacin del rea bajo la curva de
1 ) ( + x x f
en el intervalo 3 1 x ; lo
primero que haremos ser hallar los valores de las reas de los rectngulos por defecto y luego por exceso,
como sigue:
Generaremos la tabla que relaciona las aproximaciones por defecto y por exceso y su error normalizado, y
luego mostraremos como se logran estos resultados con sumatoria;
Por defecto se generaran as los resultados:
Si n=1=
66 . 0
6
4
1
6
2
0 1
6
2

,
_

,
_

+
,
_

+
,
_

Si n=2 =
( ) 54 . 0
6
14
2
6
2
1
6
2
1 1 1
6
2
0 1
6
2

,
_

,
_

+
,
_

,
_

,
_

+
,
_

+ +

,
_

+
,
_

+
,
_

Si n=3 =
( ) 38 . 0
6
16
6
14
2
6
2
1
6
2
2 1 1
6
2
1 1 1
6
2
0 1
6
2

,
_

,
_

+
,
_

+
,
_

,
_

,
_

+
,
_

+ +

,
_

+
,
_

+ +

,
_

+
,
_

+
,
_

Y as sucesivamente hasta hallar el nmero de cifras significativas como lo muestra la tabla.


Por exceso se generaran as los resultados:
Si n=1=
77 . 0
9
7
1
6
2
1 1
6
2

,
_

,
_

,
_

,
_

Si n=2 =
( ) 666 . 1
3
5
6
14
2
6
2
1
6
2
2 1 1
6
2
1 1
6
2

,
_

,
_

,
_

,
_

,
_

,
_

+ +

,
_

,
_

,
_

Si n=3 =
( ) 666 . 2
3
8
6
16
6
14
2
6
2
1
6
2
3 1 1
6
2
2 1 1
6
2
1 1
6
2

,
_

,
_

,
_

,
_

,
_

,
_

,
_

+ +

,
_

,
_

+ +

,
_

,
_

,
_

Lo cual indica en que intervalo se encuentra el rea pedida, este intervalo para n=3 seria 66 . 2 33 . 2 Area
Observamos que si deseamos un nmero de cifras significativas grande, la convergencia es lenta
NOTA:
En realidad las Sumas de Riemann no dan una aproximacin de la integral sino que dan una sucesin
de intervalos en los cuales est el valor de la integral donde el ancho de estos intervalos va disminuyendo a
medida que se hace grande el n.
Falta aclarar si el ejemplo anterior lo hizo por encima o debajo y hacer el otro para mostrar que los
intervalos en efecto van disminuyendo su ancho (diametro) en esencia son circunferencias
Ahora analizaremos el caso en el que el nmero de rectngulos es infinito; tomaremos la formula a la que
llegamos para generalizar el rea en este mtodo



,
_

+ +
,
_


,
_

,
_

,
_

+ +
1
0
1
0
1
0
1
2
1
2
lim
2 2
1 lim ) ) ( ( lim
n
i
n
n
i
n
n
i
n
n
i
n n n
i f x i x a f
Iteracin Aproximacin
por defecto
n
Aproximacin
por exceso
n

1 0.66 0.777
2 1.44 0.54 1.666
3 2.33 0.38 2.666
4 3.33 0.30
5 4.44 0.25
6 5.66 0.21

,
_

,
_

+ +

,
_

+
,
_

,
_

,
_

+
,
_



2
) 2 )( 1 ( 2
2
2
lim
2
2
2
lim
1
0
1
0
n n
n
i
n
n n
i
n
n
n
i
n
i
n
APROXIMACION POR FUNCIN LINEAL
Este mtodo tambin es conocido como el mtodo del trapecio
REGLA DEL TRAPECIO

El mtodo del trapecio utiliza la aproximacin por medio de una funcin lineal; Para la deduccin de la
formula del trapecio podemos tomar dos caminos uno es por medio de reas y el otro es por medio de el
polinomio lineal interpolante de Lagrange.
Iniciaremos con la aproximacin por medio de reas:
Tomemos un trapecio y hallmosle el rea.
El rea del trapecio es
( ) ( )
h
x f x f
i i
*
2
) ( (
1
+
+
dond
i i
x x h
+1
.
Si quisiramos hallar la aproximacin del rea bajo la curva sumariamos todos los trapecios inscritos
(circunscritos) en
) (x f
, as obtenemos:
1
]
1

,
_

+
+ +

,
_

+
+

,
_

+
+

,
_


h
x f x f
h
x f x f
h
x f x f
h
x f x f
Area
n n
2
) ( ) (
2
) ( ) (
2
) ( ) (
2
) ( ) (
1 3 2 2 1 1 0

Reordenando obtenemos:
[ ] ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
2
1 3 2 2 1 1 0 n n
x f x f x f x f x f x f x f x f
h
Area + + + + + + + +

que sumando obtenemos
[ ] ) ( ) ( 2 ) ( 2 ) ( 2 ) ( 2 ) (
2
1 3 2 1 0 n n
x f x f x f x f x f x f
h
Area + + + + + +

( )
1
]
1

+ +

+
) ( ) ( ) ( 2 ) (
2
1
1
1 0 n
n
i
i i
x f x f x f x f
h
Area
Con respecto al error de este mtodo lo trataremos mas adelante.
Ahora utilizaremos la aproximacin utilizando el polinomio lineal interpolante de Lagrange;
Por lo tanto, utilizando el primer y segundo polinomios de Lagrange con nodos igualmente espaciados nos
da la regla del trapecio.
b

La regla del trapecio, nos ayuda a aproximar la integral de la forma f (x) dx, sean x
0
= a, x
1
= b, h= b-a y
usaremos el polinomio lineal de Lagrange:
a
P
1
(x) = ( x - x
1
) f (x
0
) + ( x - x
0
) f (x
1
)
( x
0
- x
1
) ( x
1
- x
0
)
Luego,

b x1
(a.) f (x) dx = [

( x - x
1
) f (x
0
) + ( x - x
0
) f (x
1
) ] dx

a x0

( x
0
- x
1
) ( x
1
- x
0
)

x1
+ 1 f ( (x))( x - x
0
)( x - x
1
)dx


2
x0
Dado que ( x - x
0
)( x - x
1
) no cambio de signo en [ x
0 ,
x
1
] , podemos aplicar el teorema de valor medio
ponderado de las integrales al termino de error a fin de obtener, para algn en ( x
0 ,
x
1
):
x1 x1
f ( (x))( x - x
0
)( x - x
1
)dx = f () ( x - x
0
)( x - x
1
)dx

x0

x0
x1
= f ()[

x
3


- ( x
1
+ x
0
) x
2
+ x
0
x
1
x

]


3 2

x0
= - h
3
f ()
6
En consecuencia, la ecuacin (a.) implica que
b x1
f (x) dx = [

( x - x
1
)
2
f (x
0
) + ( x - x
0
)
2
f (x
1
) ] - h
3
f ()

a 2( x
0
- x
1
) 2 ( x
1
- x
0
) x0 12
=
( x1 - x
0
) [ f ( x
0
) + f( x
1
)] - h
3
f ()

2 12
Puesto que h = x
1
- x
0
, tenemos la siguiente regla:
Regla del Trapecio:

b
f (x) dx = h

[ f ( x
0
) + f( x
1
)] - h
3
f ()

a
2 12
Esta formula se llama regla del trapecio porque, cuando f es una funcin con valores positivos, aproximamos

b
a
dx x f ) (
por el rea de un trapecio, como se muestra en la figura
Como el termino de error de la regla del trapecio contiene f, la regla da el resultado exacto cuando se
aplica a una funcin cuya segunda derivada sea cero, es decir, cualquier polinomio de grado 1 o menos.
Cota de error para la regla del trapecio:
E
T
( b - a )
3
M en donde M f(x)
12
Si f es continua y M es cualquier cota superior para los valores de (f) en [a,b]

Ejemplo: Hallar una aproximacin del rea bajo la curva de
1 ) ( + x x f
en el intervalo 3 1 x ;con n=6;
lo primero que haremos ser hallar los valores de las reas de los trapecios como sigue:
1
]
1

+ + + + + + + + + + +

) 3 ( )
3
5
1 ( 2 )
3
4
1 ( 2 )
3
3
1 ( 2 )
3
2
1 ( 2 )
3
1
1 ( 2 ) 1 (
2
6
1 3
f f f f f f f Area
1
]
1

+ + + + + + + + + + + + + + + + + + ) 1 3 ( ) 1
3
5
1 ( 2 ) 1
3
4
1 ( 2 ) 1
3
3
1 ( 2 ) 1
3
2
1 ( 2 ) 1
3
1
1 ( 2 ) 1 1 (
6
1
Area
1
]
1

+
,
_

+
,
_

+
,
_

+
,
_

+
,
_

+ ) 4
3
11
2
3
10
2
3
9
2
3
8
2
3
7
2 2
6
1
Area
6 Area
NOTA. Observemos que el valor de la aproximacin es idntico al valor de la integral. Porque?
APROXIMACION POR MEDIO DE UNA FUNCION CUADRTICA
Este mtodo tambin es conocido como el mtodo de SIMPSON, utiliza la aproximacin por medio de
funciones cuadrticas; Para obtener una aproximacin utilizando la regla de Simpson se puede obtener
mediante dos caminos; uno por medio de reas y otro por el polinomio cuadrtico interpolante de Lagrange.
Tomaremos la aproximacin por medio de reas, Simpson utiliza parbolas para generar la aproximacin del
rea bajo la curva, observemos la siguiente grafica, como se aproxima el rea de la funcin por medio de
reas bajo la parbola de aproximacin.
Los puntos
2 1 0
y , p p p
generan la primera aproximacin (observemos que tomamos tres puntos para generar
tal aproximacin), luego se toman otros tres puntos para generar la siguiente aproximacin y as
sucesivamente llegamos a aproximar el rea bajo la curva.
Tomaremos los primeros tres puntos y los llevaremos al origen (como se observa en la grafica)
Observemos que la funcin cudrica es evaluada en h y h para as obtener la aproximacin; lo primero que
haremos ser evaluar la integral del polinomio cuadrtico en el intervalo x x h :
( )
( ) c ah
h
ch h
a
ch h
b
h
a
ch h
b
h
a
cx bx ax dx c bx ax
h
h
h
h
6 2
3
2
3
2
2 3 2 3 2
1
3
1
2 3
2 3 2 3 2 3 2
+ +
+ + + + + + + +

Una vez obtenido un resultado de la integral, obtendremos un resultado en trminos de los tres puntos de
aproximacin:
Hallando los valore correspondientes a
0
y
,
1
y y
2
y obtenemos:
c bh ah c h b h a y + + +
2 2
0
) ( ) (
c c b a y + + ) 0 ( ) 0 (
2
1
c bh ah c h b h a y + + + +
2 2
2
) ( ) (
Si tomamos la combinacin lineal
2 1 0
4 y y y + +
obtenemos lo siguiente:
c ah c bh ah c c bh ah 6 2 4
2 2 2
+ + + + + + que reemplazando en el valor de la integral obtenemos:
( ) ( ) ( )
2 1 0
2 2
4
3
6 2
3
y y y
h
c ah
h
dx c bx ax
h
h
+ + + + +

que es el valor del rea bajo la curva de la primer


parbola, repitiendo este mtodo hallamos la suma de todas las parbolas y obtenemos:
( ) ( ) ( )
n n n
b
a
y y y
h
y y y
h
y y y
h
dx x f + + + + + + + + +

1 2 4 3 2 2 1 0
4
3
4
3
4
3
) (
Organizndolo obtenemos:
( )
n n n
b
a
y y y y y y y y y
h
dx x f + + + + + + + + +

1 2 4 3 2 2 1 0
4 4 4
3
) (
Donde
n
a b
h

Ejemplo: Hallar una aproximacin del rea bajo la curva de


2
) ( x x f en el intervalo 3 1 x ;con n=6; lo
primero que haremos ser hallar los valores de las reas de las parbolas como sigue:

,
_

+ + + + + + + + + + +

) 3 ( )
3
5
1 ( 4 )
3
4
1 ( 2 )
3
3
1 ( 4 )
3
2
1 ( 2 )
3
1
1 ( 4 ) 1 (
3
6
1 3
3
1
2
f f f f f f f dx x
3
26
9
9
256
9
98
16
9
50
9
64
1
9
1
3
1
2

,
_

+ + + + + +

dx x
Observemos que el valor de la aproximacin da igual que el valor de la integral, Por qu?
MTODO DE INTEGRACIN DE ROMBERG
Este mtodo es una regla compuesta del trapecio para obtener aproximaciones preliminares y luego el
proceso de extrapolacin de Richardson para mejorar las aproximaciones, en la extrapolacin anterior se
utiliza una tcnica promedio para producir formulas con un error de truncamiento de orden superior. Aqu
utilizaremos este hecho para aproximar integrales definidas.
Lo primero que mostraremos es que este mtodo genera una poligonal, cuyos elementos son la mejor
aproximacin de la integral, esta poligonal la mostraremos a continuacin:
1.1
2.1 2.2
3.1 3.2 3.3
4.1 4.2 4.3 4.4
.1 .2 .3 .4 .



.
.
.
............
n n n n n n
R
R R
R R R
R R R R
R R R R R
Donde la primer columna es la regla del trapecio compuesta que se halla de la
La regla compuesta del trapecio para aproximar el valor de la integral es:
( ) ( ) ( ) ( ) ( )
1
2
1
. 2. . . ''
2 12
m
b
j
a
j
h b a
f x dx f a f b f x h f

1

+ +
1
]

Donde
1
j 1 2
, , , 1, 2,......, 2
n
j n
b a
a b h x a h m m m
m

< < + ahora definimos:


[ ] [ ]
[ ] [ ]
[ ] { }
2
1
1.1
2
2.1 2 1.1 1 2
3.1 2.1 2 3 3
2
.1 1,1 1
1
( ) ( ) ( ) ( )
2 2
1
( ) ( ) 2 ( ) ( ) ( ) 2 . ( )
2 4 2 2
1
( ) ( 3 )
2
.
.
.
1
( (2 1). )
2
k
k k k k
i
h b a
R f a f b f a f b
h b a b a
R f a f b f a h f a f b f a R h f a h
R R h f a h f a h
R R h f a i h

+ +
1 _
+ + + + + + + +
1
, ]
+ + + +
1
+ +
1
]

para
1
2, 3........ ;
2
k k
b a
k n h

observe que el numero de divisiones es 2


k-1
Generalizando tenemos:
R
2.1
R
1.11111
( ) ( ) ( )
( ) ( ) ( )
( ) ( )
2
2 2
2
1 1 2 1 2
2
2 2
.0 .0
o o o
f x a x x b x x c
f x a x x b x x c
f x a b c f x c
+ +
+ +
+ +
R
3.11
, 1 1, 1
, , 1
1
4 1
k j k j
k j k j
j
R R
R R

Los resultados generados por esta formula se dan en la siguiente tabla:


1.1
2.1 2.2
3.1 3.2 3.3
4.1 4.2 4.3 4.4
.1 .2 .3 .4 .



.
.
.
............
n n n n n n
R
R R
R R R
R R R R
R R R R R
Este mtodo tiene la caracterstica adicional que permite calcular ntegramente un nuevo reglon de la tabla
con solo hacer una aplicacin mas de la regla compuesta del trapecio y luego promediar los valores
previamente calculados para obtener elementos sucesivos del reglon.
La integracin de Romberg aplicada a [ ]
en , f a b
, se basa en la suposicin de que la regla compuesta del
trapecio tiene un termino de error que podemos expresar en la forma
( )
2 2 2
1 1
1 2
.
b
i i
k i k k i k
a
i i
f x dx R K h K h K h

; es decir debemos tener [ ]


2 2
,
k
f C a b
+

para poder generar el


K- esimo rengln.
EJERCICIOS PROPUESTOS
1) Realizar los ejercicios 6-7-8-9 y 10 de la pgina 211 del libro Anlisis Nmerico, 7 edicin de Richard
L. Burden
2) Calcule R
11
, R
21
, R
22
, R
31
, R
32
, R
33
por Romberg para


2
0
2
4 dx x