Notas de apoyo

Particiones de intervalos reales y sumas de Riemann

David Alexander Durn Osorio Monitoria de Clculo en una variable

Licenciatura en matemticas y fsica

Universidad de Antioquia Facultad de educacin Departamento de enseanza de las ciencias y las artes

Medelln 2013

Definicin (Particin) sea = [, ] un intervalo real, con , entonces se define: P: particion del intervalo I al conjunto de intervalos: 1 , 2 , . , tales que: = 1 2 , . , con = , {1,2, , } La particin P, puede ser representada tambin de la siguiente manera: = 0 < 1 <, , 1 < <, , 1 < = donde [1 , ] representa el i simo sub intervalo de la particin

Definicin (El ancho de cada sub intervalo) El ancho o longitud de cada sub intervalo se define mediante: 1 se tiene, 2 se tiene, . . . se tiene = 1 . . . = 1 = 1 1 = 1 0 = 1 2 = 2 1

Definicin (Norma de la particin) La mayor longitud de los sub intervalos, se define como norma de la particin y se denota: , de manera que: = { 1 , 2 , , }

Es decir, la norma de la particin es el mayor elemento del conjunto de las normas de los sub intervalos Definicin (particin regular) Una particin de un intervalo = [, ], 1 = 2 =, , = Esto es, todos los sub intervalos tienen el mismo ancho o longitud. se dice regular, si y solo si:

De este modo, el ancho o longitud de cada sub intervalo puede denotarse simplemente , donde: = siendo n es el nmero de sub intervalos

El problema del rea bajo la grfica de una funcin continua y positiva en un intervalo [, ] Suponga que se desea calcular el rea limitada por la grfica de la funcin () = 2 y limitada por el eje x y las rectas x=0 y x=2, es decir en el intervalo [0,2] A continuacin se muestra la grfica de la funcin en cuestin

Naturalmente, las frmulas conocidas de la geometra, no nos permiten resolver el problema. Lo que se har a continuacin ser aproximar el rea buscada mediante polgonos, cuya rea si podremos calcular fcilmente. Estos polgonos sern inicialmente rectngulos. Para ello, se har una particin del intervalo dado [0,2] y en cada sub intervalo se dibujar un rectngulo. Arqumedes de Siracusa, se anticip a la idea bsica del mtodo que utilizaremos con un procedimiento para calcular el rea de figuras curvas, conocido como mtodo de exhaustacin. Las aproximaciones al rea podrn exceder dicha rea, o ser inferior a ella. Consideremos el primer caso.

Aproximacin mediante rectngulos por exceso Supngase que el intervalo [0,2] es dividido en 5 sub intervalos de igual longitud (particin regular), para facilitar los clculos, y en cada sub intervalo se dibuja un rectngulo cuya altura se traza en el lado derecho del sub intervalo correspondiente, y llega hasta la grfica de la funcin, como se ilustra en la siguiente figura.

Vemos que la suma de las reas de los rectngulos ( Alude a la suma de las reas de los rectngulos de altura en el extremo derecho de los sub intervalos) nos proporciona una aproximacin por exceso del rea A bajo la grfica, limitada por el eje x y las rectas x=0 y x=2 En este caso, tenemos < y puede notarse que si aumentamos el nmero de rectngulos amentando la cantidad de sub intervalos de la particin, obtenemos una aproximacin mejor del rea A, como se ilustra en la siguiente grfica, donde se usaron 30 rectngulos.

En el primer caso, el rea est dada por: = (0,4)(0.4) + (0.4)(0,8) + (0,4)(1,2) + (0,4)(1,6) + (0,4)(2) Note que 0,4 es la norma de la particin regular obtenida segn la expresin para particiones regulares: = 2 0 = = 0,4 5

Tambin, el extremo derecho de cada sub intervalo viene dado por: Para 1 ; 1 = 0 + = + = 0 + = 0,4 Para 2 ; 2 = 0 + 2 = 0 + 2(0,4) = 0,8 Para 3 ; 3 = 0 + 3 = 0 + 3(0,4) = 1,2 . . . Para ; = 0 + = 0 + = . . . Para = 5 = = 5 = 0 + = 0 + 5(0,4) = 2

Ntese adems que para cada rectngulo, el rea viene dada por: ( ) Para 1 5 Luego:

= (0,4)[(0,4) + (0,8) + (1,2) + (1,6) + (2)] Y como () = 2 se tiene que: = (0,4)[(0,4)2 + (0,8)2 + (1,2)2 + (1,6)2 + (2)2 ] =3.52 2

En el segundo caso, procediendo anlogamente se concluye que: = (15) [ (15) + (15) + + (2)] = (15) [(15) + (15) + + (2)2 ] = 2,814 2
1 1 2 2 2 1 1 2

Por qu? Por qu?

Donde

1 15

es la norma de la particin por qu?

Podemos concluir de estos dos procesos, que el rea A sea un poco menor que 2.814 unidades cuadradas, y enunciar adems una expresin general para aproximaciones usando rectngulos en cuyo extremo derecho se traza la altura hasta la grfica de la funcin:

= ( )
=1

Donde ( ) es el rea del i-simo rectngulo. Analice la siguiente afirmacin, y argumente su veracidad o falsedad Para una funcin f(x) continua y positiva en un intervalo [a,b], la aproximacin del rea bajo su grfica en un intervalo dado mediante rectngulos cuya altura se levanta desde su extremo derecho a la grfica de la funcin, siempre excede el rea bajo la grfica limitada por el eje x y el intervalo en cuestin.

Aproximaciones con rectngulos cuya altura se traza desde el extremo izquierdo de los sub intervalos hasta la grfica de la funcin Si consideramos la misma funcin en el mismo intervalo, con una particin regular de 10 sub intervalos, pero esta vez trazamos los rectngulos de manera que su altura se tome en el extremo izquierdo de los sub intervalos, la grfica sera:

Claramente, si aproximamos el rea esta vez, la aproximacin no exceder el rea bajo la grfica limitada por el eje x y las rectas x=0 y x=2 es decir: < Aqu se tendra que: = 2 0 = = 0,4 5

Y el extremo izquierdo de cada sub intervalo ser: Para 1 ; 0 = = 0 Para 2 ; 1 = 0 + = 0 + (0,4) = 0,4 Para 3 ; 2 = 0 + 2 = 0 + 2(0,4) = 0,8 . . . Para ; 1 = 0 + ( 1) = 0 + = ( 1) . . . Para = 4 ; 1 = 0 + ( 1) = 0 + 4(0,4) = 1.6 Aqu, para cada rectngulo, el rea est dada por: (1 ) As que el rea A ser aproximada por la suma de las reas de los rectngulos de altura en el extremo izquierdo ( Denota la suma de las reas de los rectngulos con altura trazada en el extremo izquierdo de los sub intervalos) como sigue: [(0 ) + (1 ) + (2 ) + (3 ) + (4 )] por qu? 0.4[(0)2 + (0.4)2 + (0.8)2 + (1.2)2 + (1.6)2 ] por qu? 1.92 2 Si usamos treinta rectngulos, obtenemos como en el caso anterior un valor ms prximo al rea pero en este caso an menor que el rea que se busca. As, tendramos que: 1 [(0 ) + (1 ) + + (29 )] 15 por qu?

1 1 2 2 2 29 2 2 [(0) + ( ) + ( ) + + ( ) ] por qu? 15 15 15 15 2.5348 2

En resumen, al utilizar particiones regulares de cinco sub intervalos, se mostr que: < > < 3.52 2 (1) > 1.92 2 (2)

Es decir: 1.92 2 < < 3.52 2 Luego se mejor la aproximacin con treinta sub intervalos, y se obtuvo < > < 2,814 2 (1) > 2.5348 2 (2)

Es decir: 2.5348 2 < < 2,814 2

La expresin general para aproximaciones usando rectngulos en cuyo extremo izquierdo se traza la altura hasta la grfica de la funcin es:

= (1 )
=1

Donde (1 ) es el rea del i-simo rectngulo.

Aproximaciones mediante rectngulos cuya altura se toma en el punto medio de los sub intervalos. Consideremos el i-simo sub intervalo = [1 , ] el punto medio de este sub intervalo puede hallarse mediante: = 1 + 2

Y nuevamente si hacemos una particin regular de [a,b] en un nmero n de rectngulos, para aproximar el rea bajo el grfico de una funcin f en el intervalo en cuestin y entre las rectas x=a y =b, se tendr: =

As, el rea del i-simo rectngulo ser: () = ( 1 + ) 2

Ahora, se sabe ya que: = 0 + = +

1 = 0 + ( 1) = + ( 1) As: () = ( + ( 1) + + 2 + (2 1) ) = ( ) 2 2

Luego, la expresin general para aproximar el rea mediante esta clase de rectngulos ser:

= () = (
=1 =1

2 + (2 1) ) 2

( Denota la suma de las reas de los rectngulos con altura trazada en el punto medio de los sub intervalos) Ejercicio 1. Graficar la particin con rectngulos cuya altura se toma en el punto medio, y aproximar el rea usando 10 rectngulos. Luego compare esta aproximacin con las presentadas anteriormente. Qu puede concluir?

Aproximaciones trapezoidales A continuacin, se mostrar como obtener una mejor aproximacin utilizando trapecios en lugar de rectngulos. Las bases de los trapecios se trazan en el extremo izquierdo y derecho de los sub intervalos, y llegan hasta la grfica de la funcin como se ilustra a continuacin

El rea del trapecio construido en el i-simo rectngulo , estara dada por: = [(1 ) + ( )] de nuevo, 2 =

Siendo la particin regular

[( + ( 1)) + ( + )] por qu? 2

Luego la expresin para aproximar el rea mediante trapecios es:

=
=1

[( + ( 1)) + ( + )] 2

Donde (representa la suma de las reas de los trapecios) Aunque la expresin es un poco ms tediosa de manejar, la aproximacin es an mejor. Al parecer lo que se gana de exactitud, se pierde en practicidad. Ejercicio 2 Graficar la particin regular con trapecios, y aproximar el rea usando 10 trapecios. Resumen

= ( ) = ( )
=1 =1

(1)

= (1 ) = (1 )
=1 =1

(2)

2 + (2 1) = () = ( ) 2
=1 =1

(3)

=
=1

[( + ( 1)) + ( + )] 2

(4)

En todos los casos, pudo evidenciarse que la aproximacin mejora, a medida que la particin se hace ms fina, es decir, a mayor nmero de sub intervalos, se tiene mayor nmero de polgonos y por lo tanto, la estimacin se aproxima cada vez ms al rea.

El rea exacta, pude entonces definirse como el lmite cuando el nmero de sub intervalos tienda a ms infinito, de la aproximacin en cuestin. Esto es:

= lim ( )
+ =1

Donde puede ser el extremo derecho, izquierdo o punto medio del i-simo sub intervalo tal como se ha mostrado hasta aqu, es decir:

= lim = lim ( )
+ + =1

(1)

= lim = lim (1 )
+ + =1

(2)

= lim = lim
+

2 + (2 1) ( ) 2
=1

(3)

= lim = lim
+ + =1

[( + ( 1)) + ( + )] 2

(4)

Para encarar estos lmites es necesario recordar algunas propiedades de la sumatoria, y algunas sumatorias bsicas para potencias de i

Propiedades de la sumatoria:

1. =
=1

2. () = ()
=1 =1

3. [() ()] = () ()
=1 =1 =1

4. =
=1

( + 1) 2 ( + 1)(2 + 1) 6

5. 2 =
=1 3

( + 1) 2 6. = ( ) 2
=1

Cabe anotar que las expresiones 4, 5 y 6 pueden probarse por induccin matemtica o utilizando la siguiente propiedad de las sumatorias, conocida como propiedad telescpica.

( + 1) () = ( + 1) (1) propiedad telescpica

=1

La cual puede justificarse desarrollando la sumatoria.

( + 1) () = (2) (1) + (3) (2) + + ( + 1) (1)

=1

= ( + 1) (1) A continuacin se demuestra que:

=
=1

( + 1) 2

Demostracin

[( + 1)2 2 ] = ( + 1)2 1 Segn la propiedad telescpica, luego:

=1

El lado izquierdo puede escribirse como:

2 2

[ + 2 + 1 ] = 2 + 1 = 2 + 1
=1 =1 =1 =1

por qu?

Por lo tanto,

2 + 1 = ( + 1)2 1
=1 =1

por qu?

2 + = ( + 1)2 1
=1

por qu?

=
=1

( + 1)2 1 2 ( + 1) 2

por qu?

=
=1

por qu?

Utilizando procesos anlogos pueden probarse las expresiones 5 y 6

Ejercicio 3 Demuestre 5 y 6 utilizando la propiedad telescpica de la sumatoria Ahora que tenemos las propiedades necesarias de la sumatoria, veamos como se calcula el rea exacta para la funcin que hemos abordado antes haciendo uso de la expresin:

= lim = lim ( )
+ + =1 +

= lim ( ) =
+ =1

lim (0 + )
=1

2 2 2 2 2 2 4 2 = lim [ (0 + ) ] = lim ( ) = lim 2 + + +

=1 =1 =1

8 8 ( + 1)(2 + 1) 4( + 1)(2 + 1) = lim 3 2 = lim 3 [ ] = lim + + + 6 32

=1

82 + 12 + 4 8 = lim = 2.66 + 32 3 Ahora que tenemos el valor exacto del rea, podemos observar que en efecto, Las aproximaciones realizadas antes, se acercaban a este valor a medida que aumentbamos el nmero de polgonos. Ejercicio 4 Compruebe que con las expresiones siguientes, el clculo del rea da el mismo valor

= lim = lim (1 )
+ + =1

= lim = lim
+

2 + (2 1) ( ) 2
=1

= lim = lim
+ + =1

[( + ( 1)) + ( + )] 2

Sumas de Riemann El mtodo abordado en estas notas, para aproximar el rea bajo la grfica de una funcin continua y positiva en un intervalo [a,b] limitada por el eje x, se debe al matemtico alemn Bernhard Riemann. Aqu se ha definido el concepto de particin en general, pero en los ejemplos se han considerado solo particiones regulares. Definicin de suma de Riemann Sea P una particin de un intervalo [a,b] con a b y sea llPll la norma de la particin, llamamos suma de Riemman a la expresin:

= ( )
=1

Donde: es un punto arbitrario del i simo sub intervalo, esto es: [1 , ] es la longitid de i simo sub intevalo, es decir: = 1 Puede ser el punto medio, el extremo izquierdo o derecho, como en los casos que se trataron, o cualquier otro punto del intervalo i-simo.

Esta expresin es ms general, y tambin nos permite calcular el rea exacta siempre que la norma de la particin tienda a cero, pues en ese caso, la longitud de todos los intervalos tender tambin a cero. Por lo tanto, el rea bajo la grfica de una funcin continua y positiva en un intervalo [a,b] limitada por el eje x, puede escribirse en general:
llPll0 n+

A = lim ( ) = lim ( )
=1 =1

Hay casos en que hacer una particin regular del intervalo, en lugar de facilitar el trabajo, lo hace ms complicado. Considere que se le pide calcular el rea bajo la grfica () = de la funcin sobre el eje x en el intervalo [0,1] Si se hace una particin regular del intervalo [0,1] y se usan aproximaciones mediante rectngulos con altura trazada en su extremo derecho, se tendr que:

= lim ( ) esto es:

+ =1

= lim +
=1

pero no hay propiedades para calcular esta sumatoria

En este caso, conviene elegir una particin no regular como sigue: Eljase de nuevo el extremo derecho de los sub intervalos, pero de tal forma que: 0 = 0; 1 = ( 1)2 1 22 ; = ; . . ; = ; = 1 2 1 2 2 2

2 2 ( 1)2 2 1 As: = 2 = 1 = 2 = 2 2 Entonces: 2 2 1 2 2 1 = lim ( ) = lim [ ( 2 ) ( 2 )] = lim [( 2 ) ( 2 )] n+ n+ n+

=1 =1 =1

2 2 1 2 1 1 = lim [( 2 ) ( 2 )] = lim [( ) ( 2 )] = lim 3 (2 2 ) n+ n+ n+

=1 =1 =1

= lim = lim

1 2( + 1)(2 + 1) ( + 1) [ ] n+ 3 6 2 1 42 + 3 1 2 [ ]= 2 n+ 6 3

por qu? por qu?

Una pregunta final: Para toda particin P, puede decirse que:

( ) = ( ) justifique su respuesta
=1 =1