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

( ) ,' (':

;