P. 1
Criterio de La Integral

Criterio de La Integral

|Views: 1.545|Likes:
Publicado porperezhros

More info:

Published by: perezhros on Feb 03, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

07/18/2013

pdf

text

original

Planteo usual del Criterio Integral (CI) en la literatura Como dijimos, tradicionalmente el enunciado del Criterio de la Integral (CI) pide que

la función sea continua, positiva y decreciente. Por ejemplo, Larson, Hostetler y Edwards enuncian en su Cálculo [5]:

Teorema: Si entonces

es positiva, continua y decreciente para

y

,

convergen o divergen ambas simultáneamente.

Stewart, en su "Cálculo, trascendentes tempranas'', lo enuncia de manera casi equivalente:

Teorema: Suponga que sea impropia

es una función continua, positiva y decreciente en

y

. Entonces la serie es convergente.

es convergente si y sólo si la integral

Al menos esa es la manera en que la mayoría de los libros de cálculo lo plantean, incluyendo los textos de Stewart, Larson, Purcell y otros. Curiosamente, los libros de análisis, como los de Apostol, Bartle, Lang o Rudin, omiten la suposición de que sea continua. Por ejemplo, Rudin, en su libro "Principios de análisis matemático'' [6], enuncia:

Teorema: Si

y si

es monótona decreciente para

, entonces

converge, si y sólo si

converge si. está presente pero escondida en el nuevo planteo. converja sino que converge. y sólo si. que tienda a cero: Teorema: Sea una . en su "Análisis matemático'' [2]. Apostol. de modo que la hipótesis de positividad. para converge. . omite las hipótesis de continuidad y positividad pero añade una nueva. la sucesión . definimos Se tiene entonces: i) ii) iii) iv) existe. Para función decreciente definida en tal que . lo cual es equivalente en presencia de la suposición de . También escondida está la conclusión de que la serie converge si y sólo si la integral converge: el tercer punto del teorema no dice que la sucesión que sea positiva.converge. para En realidad si es decreciente y tiende a cero entonces debe ser positiva. si bien no es explícita.

De manera semejante. en la práctica las aplicaciones de este teorema no requieren que las condiciones se cumplan particularmente en intervalo . o diverge si no. o diverge si no. tampoco es necesario que la integral y la serie empiecen en 1. su serie es La serie converge si el límite existe. Dos definiciones básicas son: Definición 1: Si y es integrable en cada intervalo sobre el intervalo es . Definiciones y resultados preliminares Asegurémonos de que tenemos una base común para lo que sigue. La cantidad llama la -ésima suma parcial de la serie. Además. para algún : basta con que se cumplan en el .De cualquier manera. la palabra "positiva'' se usa aquí en un sentido no estricto. se . Definición 2: Si es una sucesión real. pueden empezar ambas en cualquier . entonces la integral impropia de La integral converge si el límite existe. significando que para todo .

entonces .Un resultado bien conocido es que cualquier sucesión real monótona y acotada es convergente (Teorema de Bolzano-Weierstrass). Es tentador pensar que si la integral converge entonces debe tender a cero. Pero no es así. Lo que sí es cierto es: Proposición 4: Si la integral . entonces respectivamente. como veremos en los ejemplos de la siguiente sección. si la sucesión no es acotada. Los siguientes dos resultados son fundamentales. Proposición 3: Si la serie es convergente. También están demostrados en el Apéndice. como sucede con las series. Proposición 2: Si es creciente o decreciente en . donde el supremo podría ser . Una propiedad semejante se cumple para funciones. y luego necesitaremos los siguientes dos resultados relacionados con esto (sus demostraciones están en el Apéndice): Proposición 1: Si es una sucesión creciente o decreciente. entonces respectivamente. y el ínfimo . converge y es monótona en . donde el supremo o el ínfimo podría ser o . entonces .

Pero la serie . positiva y decreciente). No es difícil encontrar ejemplos en los que fallan esas hipótesis y la integral converge pero la serie diverge. entonces es integrable según Riemann Algunos contraejemplos si fallan las hipótesis Volvamos al Criterio de la Integral y su planteo tradicional (suponiendo que la función es continua. o viceversa. es monótona en . La función porque es positiva. Si falla la continuidad Considere la función cuyo gráfico es como el siguiente: Figura1. pero no continua ni decreciente. así que converge . La integral para cualquier .Por último. Veamos algunos. una propiedad algo más avanzada de las funciones monótonas es que son integrables según Riemann (la definición de integrabilidad se enuncia en el Apéndice): Proposición 5: Si en .

y es constante en cero excepto por un . Llamemos a esta función. . así que anterior.diverge porque sus sumas parciales son cualquier Usando la misma porque . En cada uno de . y así sucesivamente. ahora la función para cualquier para cualquier . un intervalo de ancho centrado en intervalo de ancho 1 centrado en . Ella es continua. para tiene una integral divergente . Vea el siguiente ejemplo. sino que no son monótonas. Si falla la monotonía En el gráfico de la función anterior es posible conectar los segmentos horizontales con los puntos aislados para construir una función continua con la misma propiedad de : su integral converge pero su serie diverge. pero su serie converge porque La razón por la que la convergencia de la serie no es equivalente a la convergencia de la integral para las dos funciones anteriores no es que ellas sean discontinuas. Considere el gráfico siguiente: Figura 2. uno de ancho centrado en .

y acotada superiormente por 1 como acabamos de ver. es obvio que . como antes. es el área de un triángulo con altura 1 y base Entonces. porque pero su serie converge porque Si falla la positividad para todo . para todo . . continua y positiva (pero no decreciente). como la función Así es que tenemos una función diverge. ya que del ejemplo anterior. para la cual la integral converge pero la serie diverge. la integral de .esos intervalos de ancho con centro en . tendremos un ejemplo de una función continua y positiva tal que su integral diverge. (la primera desigualdad se debe a que el último triángulo está incompleto). como es una función creciente de . Por último. para todo . . En resumen. Por otra parte. para : el área es . Tomando. resulta (Proposición 2) que converge. para cualquier .

. conocida Figura 3. (vea el gráfico abajo). pero de modo que la serie diverge (es bien sabido que como la serie armónica. Faltó ver entre los ejemplos una función que fuera sólo decreciente pero no continua o positiva. satisface la conclusión del Criterio de la Integral. cumple solamente la de positividad y sólo la de continuidad. una de ellas no.Un ejemplo con una función que no es toda positiva puede ser para . para la cual convergiera la serie y no la integral. como veremos en esta sección. unas son continuas y otras no. De las tres hipótesis. Pero ninguna de ellas es decreciente. Esta función cambia de signo y tiende a cero de una para cada . diverge). Unas son positivas. es continua y positiva pero no decreciente. De hecho. Pronto demostraremos que cualquier función decreciente. Podemos prescindir por completo de las dos primeras y todavía debilitar un poco la tercera. manera tal que su integral impropia converge. continua o no. Vamos eliminando las hipótesis En los cinco ejemplos anteriores las funciones tienen algo en común: ninguna es decreciente. o viceversa. positiva o no. ¿Por qué faltó? Muy sencillo: porque no existe tal función. las tres hipótesis tradicionales del CI son innecesarias. ¿Es necesaria la continuidad? .

es integrable en cualquier subintervalo de se tiene (Proposición 5). entonces converge si y sólo si La siguiente demostración es típica de lo que puede encontrarse en los libros de análisis matemático. como son funciones crecientes de Además. respectivamente. a pesar de que los textos usuales de cálculo la incluyen. y por otra.La primera hipótesis de la que podemos deshacernos en el CI es la continuidad. para cualquier entero para todo obtenemos . Integrando los tres términos de la desigualdad sobre el intervalo Sumando ahora para desde hasta cualquier entero obtenemos o bien o más simplemente . y tanto . Tenemos el siguiente lema: Lema 1: Si es decreciente y positiva en converge. por una parte. para algún . como es positiva. como es decreciente en entonces. Demostración: Primero.

ya que en los cursos de cálculo el CI se usa casi exclusivamente con funciones continuas. De ahí que si converge.Supongamos ahora que la integral converge. también por lo que debe converger (Proposición 1). si converge. Recíprocamente. Entonces la función no sólo es creciente sino también acotada superiormente. Pero eso no justifica el imponerle . sin haber necesitado en ningún momento que fuera continua. también converge. converge. supongamos que la serie converge. Entonces y de ahí que para cualquier real : (donde denota la parte entera de ). ¿Para qué plantearán esa hipótesis los libros de cálculo? Podría pensarse en una respuesta de tipo didáctico. En conclusión. Entonces de modo que La sucesión es entonces no sólo creciente sino también acotada superiormente. Terminamos con eso la demostración del Lema 1. y por lo tanto converge (Proposición 2).

Volteando verticalmente el argumento anterior. entonces converge ¿Y si la función no fuera decreciente? Incluso esa hipótesis. posiblemente como (Proposición 1). . que es decreciente: es creciente. como . cuando resuelve los ejercicios. por el Lema 1. y en cualquier caso la integral converge si y sólo si la serie converge. De ahí sigue que. está sobrada hasta cierto punto. Así de fácil hemos demostrado el siguiente lema. aunque muchos textos de análisis sí lo hacen. si . No hay ninguna otra posibilidad: es toda positiva o bien toma algún valor negativo. en el que no es necesario que la función sea positiva: Lema 2: Si si y sólo si es decreciente en converge. para algún . de que la función sea decreciente. En consecuencia. es converge si y sólo si la serie de con • O puede ser que exista algún decreciente. Partamos solamente de que consideremos dos posibilidades: es decreciente en . En tal caso. Entonces.al estudiante. ¿Es necesario que la función sea positiva? Resulta que tampoco es necesario suponer que la función sea positiva. es creciente entonces el converge si y sólo si converge. la carga adicional de verificar una hipótesis completamente innecesaria. resulta que si Lema 2 puede aplicarse a . la converge.y • Puede ser que integral de para todo . tanto divergen (Proposiciones 3 y 4).

bajo las hipótesis del criterio. entonces para algún .Entonces el criterio puede aplicarse ya sea la función creciente o decreciente. que sea monótona. . es también prescindible: basta con que sea monótona. Esto implica que hasta la última hipótesis en la formulación tradicional. si la serie y la integral convergen entonces el error en la suma parcial -ésima satisface la desigualdad Con la única hipótesis que conservamos aquí. y la serie para cualquier entero . también se cumple un resultado casi idéntico. Esto significa que las hipótesis tradicionales del CI no son necesarias ni siquiera para acotar el error. de que la función sea decreciente. como vemos en este Lema: Lema 3: Si es monótona en converge. ¿Y la cota del error? En el planteo tradicional del CI hay un anexo que dice que. donde y .

En la demostración del Lema 1 teníamos que. o si fuera creciente y tomara algún valor positivo. lo cual también es supuso sobre cierto en . y no habría nada que demostrar. podemos tomar límite cuando y así obtener Si . entonces la serie sería divergente como ya notamos. serie converge entonces para cualquier Si fuera decreciente y tomara algún valor negativo. esa desigualdad es equivalente a . ya que lo único que se . . la desigualdad anterior se aplica también a fue que era decreciente y positiva en . era positiva. Entonces y como supusimos que .Demostración: Notemos primero que si la . para cualquier Si la serie converge (y por ende también la integral). Supongamos entonces que es decreciente y positiva en .

Lo siguiente fue notar que. por lo que basta con suponer que sea monótona. En conclusión.Por último. si el criterio anterior se aplica a y por lo tanto también a es creciente. hemos arribado finalmente a esta versión sumamente austera en sus requisitos: . hicimos lo siguiente: Primero demostramos que si positiva entonces si converge si y sólo si es decreciente y converge. Conclusión Para repasar. . la desigualdad anterior equivale también a . si es más bien creciente y negativa en : . entonces tanto la integral como sea la serie divergen. luego de haber descartado una por una las hipótesis tradicionales del CI. Por último vimos que la cota usual del error se mantiene con esa hipótesis única. así que la conclusión se mantiene con la sola hipótesis de que decreciente y no necesariamente positiva. con lo que la demostración está completa. todo lo anterior se aplica a en el lugar de para cualquier . o bien Como es negativa. Luego vimos que es decreciente y toma al menos un valor negativo.

entonces es monótona en En tal caso. entonces respectivamente. que es más general. Sea no es acotado inferiormente. Demostración: Es muy semejante a la demostración de la Proposición 2. el otro es análogo. Proposición 1: Si es una sucesión creciente o decreciente. Proposición 2: Si es creciente o decreciente en . Demostración: Veremos el caso de que . para cualquier .Teorema (Criterio de la Integral para convergencia de series): Si para algún . Apéndice Aquí demostramos las cinco proposiciones que se enunciaron en la Sección 2. donde el supremo o el ínfimo podría ser o . e incluimos las definiciones necesarias para la Proposición 5 acerca de integrabilidad. donde el supremo podría ser o el ínfimo si la sucesión no es acotada. por lo que omitimos la presente. entonces respectivamente. Si sea decreciente.

para todo . Como su y diferencia . . Entonces. para todo con . así que . y entonces. entonces Demostración: Supondremos que siguiente se aplica a ). el argumento Veamos primero que sería para todo para todo : Si existiera . es decreciente (si es creciente. entonces . Esto demuestra que . Demostración: Sea mismo límite). converge y es monótona en . con Proposición 4: Si la integral . Proposición 3: Si la serie es convergente. Para cualquier con . si es acotado inferiormente. por lo que existe algún . . Entonces . son convergentes (al .existe algún con . Esto demuestra que Por otra parte. . sea su ínfimo. no es cota inferior de . para cualquier para todo . también lo es .

Cuando . Entonces . y debe ser . La suma inferior . como antes diverge y contradiciendo la hipótesis. Definición 3: Si . . Esto contradice la hipótesis. existe porque 0 es una cota inferior de Como para todo . Proposición 2. Por la . como queríamos probar. la expresión a la derecha tendería a cuando . entonces para todo Si fuera implicando que En conclusión. la suma . implicando que no es sólo decreciente sino también acotada inferiormente por 0. una partición con de es una sucesión finita . donde es . Definición 4: Si superior de es acotada en para es y es una partición de . la expresión a la derecha tendería a diverge.

Proposición 5: Si en . es monótona en . donde Definición 5: Si es acotada en . Entonces . . y decreciente es análogo). . y para todo . sea la partición Como es creciente. entonces la integral superior de en es y su integral inferior es Se dice que es integrable según Riemann en si . entonces es integrable según Riemann Demostración: Supongamos que Para cada sea es creciente (el caso de ..

. concluimos que . es decir. como y . Finalmente.y De ahí que . . tenemos Como esta desigualdad se cumple para todo como queríamos. y como obviamente .

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->