UNIVERSIDAD DE PANAM FACULTAD DE CIENCIAS NATURALES Y EXACTAS
ESCUELA DE MATEMTICA CENTRO REGIONAL UNIVERSITARIO DE VERAGUAS
ASOCIACIN NACIONAL DE ESTUDIANTES DE MATEMTICA (A.N.E.MAT.) CAPTULO DE VERAGUAS
SEMANA DE LA MATEMTICA
CONFERENCIA: INTEGRACIN NUMRICA POR EL MTODO DE LOS
TRAPECIOS.
EXPOSITOR: RAL ENRIQUE DUTARI DUTARI.
FECHA: 16 DE NOVIEMBRE DE 1994.
HORA: 10:00 A. M.
LUGAR: AULA B-5 DEL CENTRO REGIONAL UNIVERSITARIO DE
VERAGUAS.
DIRIGIDA A: PROFESORES Y ESTUDIANTES UNIVERSITARIOS DE
MATEMTICA QUE PARTICIPARON EN EL EVENTO.
DURACIN: 45 MINUTOS.
ii
OBJETIVOS GENERALES
1. Comprender las bases conceptuales de la integracin aproximada.
2. Comprender los rasgos generales de la integracin aproximada utilizando
el mtodo de los trapecios.
3. Comprender la aproximacin del error por truncamiento de la integracin
aproximada utilizando el mtodo de los trapecios, frente al valor exacto.
4. Resolver problemas de integracin aproximada utilizando el mtodo de
los trapecios.
iii
OBJETIVOS ESPECFICOS
1. Conocer la interpretacin geomtrica de la integral definida.
2. Reconocer que el mtodo de los trapecios representa, geomtricamente,
el rea bajo una funcin polinomial de primer orden (lineal).
3. Deducir la frmula de los trapecios a partir de la interpretacin geomtrica
de la integral definida.
4. Acotar el error cometido en la integracin numrica por el mtodo de los
trapecios.
5. Explicar la obtencin de frmulas ms precisas para calcular,
numricamente, integrales definidas.
6. Aplicar el mtodo de los trapecios, para calcular, numricamente, las
aproximaciones de algunas integrales definidas.
iv
TABLA DE CONTENIDOS
1. Observaciones preliminares. ...........................................................1
2. El mtodo de los trapecios: Planteamiento general. .......................2
3. Construccin geomtrica del mtodo de los trapecios....................3
4. Fundamentos matemticos del mtodo de los trapecios: la
interpolacin polinomial...................................................................7
4.1. El polinomio de interpolacin de Lagrange. ....................................9
4.2. Construccin analtica del mtodo de los trapecios. .....................15
5. El error por truncamiento en el mtodo de los trapecios...............17
6. Dos ejemplos elementales del mtodo de los trapecios. ..............24
7. Otras frmulas de integracin aproximada. ..................................28
8. Observaciones finales. ..................................................................29
Bibliografa 31
1
1. Observaciones preliminares.
Cuando realizamos un experimento, generalmente, se obtiene una tabla
de valores que, se espera, tengan un comportamiento funcional. Sin embargo,
no obtenemos la representacin explcita de la funcin que representa la regla
de correspondencia entre las variables involucradas. En estos casos, la
realizacin de cualquier operacin matemtica sobre la nube de puntos, que
pretenda tratarla como una relacin funcional, tropezar con dificultades
considerables, al no conocerse la expresin explcita de dicha relacin. Entre
estas operaciones encontramos la integracin de funciones.
Adems, es conocido que existen relativamente pocas frmulas y
tcnicas de integracin, frente a la cantidad existente de funciones que se
pueden integrar. Es decir, un gran nmero de integrales de funciones
elementales no puede ser expresada en trminos de ellas. Entre estos casos
singulares tenemos, a manera de ejemplo:
! "! "e dx dx
xx dx x dx x dxx
21 13 4 2# # # # #$ $,
ln, , , sen ,!
Para aclarar la contradiccin antes sealada, debemos recordar la
condicin necesaria para que una funcin sea integrable. Dicha condicin la
mencionamos de inmediato, sin demostracin:
Proposicin 1 (Condicin necesaria de integrabilidad).
Si una funcin f es continua en el intervalo % &a b, , entonces f es
integrable en % &a b, .
2
Los interesados en una demostracin rigurosa de la Proposicin 1
pueden ubicarla en HAASER, Norman B., LASALLE, Joseph P., y SULLIVAN,
Joseph A. Anlisis matemtico 1: Curso de introduccin, [8, 545].
No obstante que las condiciones de la Proposicin 1 son sumamente
generales, no tenemos garanta de que, al aplicar los mtodos usualmente
conocidos para resolver integrales, podamos encontrar la antiderivada de una
funcin f x( ) cualquiera, necesaria para obtener la integral definida.
Esta conferencia pretende ilustrar a la audiencia con una de las tcnicas
bsicas que nos permiten resolver dicha situacin, a travs de la denominada
INTEGRACIN APROXIMADA, POR EL MTODO DE LOS TRAPECIOS.
2. El mtodo de los trapecios: Planteamiento general.
El mtodo de los trapecios tiene su origen directamente en la
interpretacin geomtrica de la INTEGRAL DEFINIDA.
Recordemos que la integral definida se puede interpretar como el rea
comprendida entre el eje de las abscisas, la funcin a integrar, y los lmites de
integracin. Esta rea es calculada a travs de un proceso de paso al lmite
usando una particin del rea total, generalmente en rectngulos y haciendo
tender al infinito el nmero de rectngulos. La implementacin numrica de este
concepto, se conoce como MTODO DE LOS RECTNGULOS, y de hecho,
este mtodo se constituye en el soporte terico de la solucin de problemas de
aplicacin de integrales definidas.
La diferencia entre el mtodo de los trapecios y el anterior mtodo,
consiste en que a la particin del rea total, se le reemplazan los rectngulos
3
usados originalmente, por otra figura geomtrica que aproxime mejor el rea
buscada, particularmente, usando trapecios. Adems, al igual que en mtodo de
los rectngulos, se eliminar el proceso de lmite, de modo que el resultado
obtenido ser una aproximacin del valor exacto.
3. Construccin geomtrica del mtodo de los trapecios.
En este apartado construiremos la regla de los trapecios utilizando un
enfoque basado en el planteamiento general, esbozado previamente. El mismo,
lo resumiremos en la siguiente proposicin.
Proposicin 2 (Regla compuesta de los trapecios).
Consideremos una funcin y f x' ( ), as como las rectas x x = ,1 ...,
x xn = . Supongamos que la distancia entre cada una de las parejas de
valores de la abscisa x xi i, (1 es constante y la denotamos como
! ")x x x i ni i' ( ((1 1 2 3 1 = , , , ..., . Entonces:
f x dx y y y xx
xi
i
n
nn ( )
1
12
212
1
# *+ $ $,
-..
/
011
'
(
)
Donde denominamos a la ordenada de la funcin f en la abscisa xi como
y f xi i' ( ) para i n = , , , ..., .1 2 3
4
Demostracin.
Recordemos que el rea de un trapecio est dada por la frmula:
! "A y y h' $12 1 2
donde h es la altura del trapecio, en tanto que y y1 22 representan las bases
del mismo, como se observa en la Ilustracin 1:
Consideremos la funcin y f x' ( ), y las rectas x x = ,1 ..., x xn = .
Una buena aproximacin al rea bajo la curva de f x( ), se obtiene dividindola
en n(1 fajas de longitud )x y aproximando el rea de cada faja mediante un
trapecio, como se muestra en la Ilustracin 2:
Ilustracin 1
5
Por la definicin de integral definida, el rea que nos interesa calcular
est dada por:
! "# f x dxx
xn
1
Consideremos que la distancia entre cada una de las parejas de valores
de la abscisa: x xi i, (1 es constante; y la denotamos como
! ")x x x i ni i' ( ((1 1 2 3 1 = , , , ..., . Si llamamos a la ordenada de la
funcin f en la abscisa xi como y f xi i' ( ) para i n = , , , ..., ,1 2 3
entonces, las reas de los trapecios Ai i n = , , , ..., ,1 2 3 1( estarn
definidas por:
! "A y y xi i i' $ $12 1
) (1)
Ilustracin 2
6
En consecuencia, el rea comprendida entre la funcin y f x' ( ), el eje
de las abscisas, y las rectas x x = 1 y x xn = ser, aproximadamente, la
suma de las reas de los trapecios, es decir:
! " ! " ! "A A y y x y y x y y xii
n
n n+ ' $ $ $ $ $ $'
(
(*1
1
1 2 2 3 112
12
12
) ) )"
Ahora, si agrupamos los trminos de esta suma, adecuadamente,
obtenemos:
! "A A y y y y y y xii
n
n n n+ ' $ $ $ $ $ $'
(
( (*1
1
1 2 3 2 112
2 2 2 2" )
A y y y xii
n
n+ $ $,
-..
/
011
'
(
*12
212
1
) (2)
La ecuacin (1) es denominada como REGLA DEL TRAPECIO, en tanto que la ecuacin (2) se conoce como REGLA COMPUESTA DE LOS
TRAPECIOS.
A manera de aclaracin, dentro de la integracin numrica, se
acostumbra denominar FRMULA COMPUESTA, a las ecuaciones que se
obtienen a travs de la aplicacin repetitiva de las frmulas bsicas de
integracin, adaptadas para cubrir intervalos ms amplios.
Es claro desde el punto de vista intuitivo, que si el valor de n crece y
repetimos la construccin sobre el intervalo % &x xn1, , tendremos un nmero
mayor de divisiones, y podremos mejorar la aproximacin del rea buscada,
frente a la cuantificacin anterior. Es decir, el error cometido al aproximar la
7
integral de la funcin f x( ), en el intervalo % &x xn1, a travs de la regla
compuesta de los trapecios, ser cada vez menor.
Todo lo que hemos planteado a nivel geomtrico parece ser correcto; sin
embargo, es importante conocer ms a fondo el fundamento matemtico de
este enfoque del problema. Es decir, determinar bajo qu condiciones
especficas, podemos esperar que nuestro planteamiento aproxime,
adecuadamente el rea que deseamos cuantificar. Adems, sera conveniente
contar con una acotacin del error cometido en nuestra aproximacin.
4. Fundamentos matemticos del mtodo de los trapecios: la interpolacin polinomial.
Para justificar, matemticamente, al mtodo de los trapecios debemos
obtener una manera de reemplazar la funcin f x( ), que originalmente
deseamos integrar, por otra funcin g x( ), que es una buena aproximacin, de
f x( ), en los puntos xi , con i n = , , , ..., .1 2 3 Es decir, si
f x g x xi i i( ) ( ), ,+ 3 con i n = , , , ..., ,1 2 3
4 +# #f x dx g x dxixx
ix
xn n( ) ( ) .
1 1
Ambas funciones, evidentemente, deben cumplir la condicin de
integrabilidad establecida de antemano (Proposicin 1). Es decir, son continuas
en el intervalo de integracin % &x xn1, . Lgicamente, debemos preguntarnos qu
funciones nos permiten realizar esta aproximacin tan particular.
8
Las funciones que nos permiten realizar esta accin son, las aplicaciones
polinomiales. El fundamento de esta afirmacin lo establece el TEOREMA DE
APROXIMACIN DE WEIERSTRASS. El resultado en mencin lo enunciamos
sin demostracin:
Proposicin 3 (Teorema de aproximacin de Weierstrass).
Si f x( ) es una funcin continua en el intervalo % &x xn1, , entonces, dado
cualquier 560, existe un n n n, ( ),' 5 y un polinomio P xn( ) de grado n, tales
que:
% &f x P x x x xn n( ) ( ) , , .( 7 3 85 1
Es decir, la Proposicin 3 nos garantiza que: una funcin f , continua en
un intervalo finito cerrado, puede ser aproximada, tanto como se desee,
utilizando un polinomio de interpolacin, de grado suficientemente elevado.
Los interesados en una demostracin rigurosa de la Proposicin 3
pueden ubicarla en BARTLE, Robert G. Introduccin al anlisis matemtico, [2,
199].
Conociendo este resultado, pasaremos a estudiar un tipo particular de
polinomio de interpolacin: el polinomio de interpolacin de Lagrange.
9
4.1. El polinomio de interpolacin de Lagrange.
Para construir el polinomio de interpolacin de Lagrange, asumiremos
que se conocen n puntos del plano cartesiano, ! " ! " ! "x y x y x yn n1 1 2 2, , , , , , ,"
cuyas abscisas no estn igualmente espaciadas.
Entonces, si denominamos a la ordenada de la funcin f en la abscisa
xi como y f xi i' ( ) con i n = , , , ..., ,1 2 3 el polinomio de interpolacin de
Lagrange de orden n para estos puntos est definido por la funcin:
P x L x f xn i ii
n
( ) ( ) ( )' 9'
*1
(3)
donde:
L xx xx xi
j
i jjj i
n
( )( )( )
'(
(':
;1
(4)
A continuacin probaremos algunos resultados bsicos de los polinomios
de interpolacin de Lagrange.
Proposicin 4.
La funcin P xn( ) define a un polinomio de grado n(1, a lo sumo.
10
Demostracin:
El fundamento de la prueba, que es inmediata, se encuentra en las
caractersticas de las operaciones indicadas en las ecuaciones (3) y (4).
En la ecuacin (4), debemos observar que, para i n = , , , ..., ,1 2 3 se cumple, por construccin, que:
Todos los L xi ( ), consisten en funciones racionales, donde
numerador y denominador consisten en el producto de n(1 diferencias de valores conocidos (las constantes xi ), y
desconocidos (la variable x ).
El denominador de cada L xi ( ), es un nmero real (puesto que el
producto de diferencias de nmeros reales, es otro nmero real).
El numerador de cada L xi ( ), no es ms que la representacin
factorizada del polinomio cuyas races son, precisamente, los
valores x j n j ij , = , , , ..., , .1 2 3 :
En consecuencia, cada L xi ( ) puede ser representado por una
expresin de la forma:
! "L x x xi i jjj i
n
( ) ,' (':
;