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

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

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

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

es monótona en . La integral para cualquier . o viceversa. La función porque es positiva. 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.Por último. No es difícil encontrar ejemplos en los que fallan esas hipótesis y la integral converge pero la serie diverge. Pero la serie . pero no continua ni decreciente. 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 . Si falla la continuidad Considere la función cuyo gráfico es como el siguiente: Figura1. así que converge . positiva y decreciente). Veamos algunos.

. En cada uno de . sino que no son monótonas. 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. para tiene una integral divergente . un intervalo de ancho centrado en intervalo de ancho 1 centrado en . y así sucesivamente. Llamemos a esta función. Considere el gráfico siguiente: Figura 2. Vea el siguiente ejemplo.diverge porque sus sumas parciales son cualquier Usando la misma porque . 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. uno de ancho centrado en . así que anterior. y es constante en cero excepto por un . ahora la función para cualquier para cualquier . Ella es continua.

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

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

como es positiva. como es decreciente en entonces. y tanto . respectivamente. 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 . 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. es integrable en cualquier subintervalo de se tiene (Proposición 5). para algún . Tenemos el siguiente lema: Lema 1: Si es decreciente y positiva en converge.La primera hipótesis de la que podemos deshacernos en el CI es la continuidad. y por otra. Demostración: Primero. por una parte. a pesar de que los textos usuales de cálculo la incluyen. como son funciones crecientes de Además. para cualquier entero para todo obtenemos .

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

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

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 . bajo las hipótesis del criterio.Entonces el criterio puede aplicarse ya sea la función creciente o decreciente. es también prescindible: basta con que sea monótona. de que la función sea decreciente. que sea monótona. entonces para algún . Esto implica que hasta la última hipótesis en la formulación tradicional. Esto significa que las hipótesis tradicionales del CI no son necesarias ni siquiera para acotar el error. también se cumple un resultado casi idéntico. y la serie para cualquier entero . 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í. .

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful