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

pide que la funcin sea continua, positiva y decreciente. Por ejemplo, Larson, Hostetler y Edwards enuncian en su Clculo [5]:

Teorema: Si entonces

es positiva, continua y decreciente para

convergen o divergen ambas simultneamente.

Stewart, en su "Clculo, trascendentes tempranas'', lo enuncia de manera casi equivalente:

Teorema: Suponga que sea impropia

es una funcin continua, positiva y decreciente en

. Entonces la serie es convergente.

es convergente si y slo si la integral

Al menos esa es la manera en que la mayora de los libros de clculo lo plantean, incluyendo los textos de Stewart, Larson, Purcell y otros. Curiosamente, los libros de anlisis, como los de Apostol, Bartle, Lang o Rudin, omiten la suposicin de que sea continua. Por ejemplo, Rudin, en su libro "Principios de anlisis matemtico'' [6], enuncia:

Teorema: Si

y si

es montona decreciente para

, entonces

converge, si y slo si

converge.

Apostol, en su "Anlisis matemtico'' [2], omite las hiptesis de continuidad y positividad pero aade una nueva, que tienda a cero:

Teorema:

Sea

una . Para

funcin

decreciente

definida

en

tal

que

, definimos

Se tiene entonces: i) ii) iii) iv) existe. converge si, y slo si, la sucesin , para converge. , para

En realidad si es decreciente y tiende a cero entonces debe ser positiva, de modo que la hiptesis de positividad, si bien no es explcita, est presente pero escondida en el nuevo planteo. Tambin escondida est la conclusin de que la serie converge si y slo si la integral converge: el tercer punto del teorema no dice que la sucesin que sea positiva. converja sino que

converge, lo cual es equivalente en presencia de la suposicin de

De cualquier manera, en la prctica las aplicaciones de este teorema no requieren que las condiciones se cumplan particularmente en intervalo , para algn : basta con que se cumplan en el

. De manera semejante, la palabra "positiva'' se

usa aqu en un sentido no estricto, significando que para todo . Adems, tampoco es necesario que la integral y la serie empiecen en 1; pueden empezar ambas en cualquier .

Definiciones y resultados preliminares Asegurmonos de que tenemos una base comn para lo que sigue. Dos definiciones bsicas son:

Definicin 1: Si

es integrable en cada intervalo sobre el intervalo es

entonces la integral impropia de

La integral converge si el lmite existe, o diverge si no.

Definicin 2: Si

es una sucesin real, su serie es

La serie converge si el lmite existe, o diverge si no. La cantidad llama la -sima suma parcial de la serie.

se

Un resultado bien conocido es que cualquier sucesin real montona y acotada es convergente (Teorema de Bolzano-Weierstrass). Una propiedad semejante se cumple para funciones, y luego necesitaremos los siguientes dos resultados relacionados con esto (sus demostraciones estn en el Apndice):

Proposicin 1: Si

es una sucesin creciente o decreciente, entonces respectivamente, donde el supremo podra ser

, y el nfimo

, si la sucesin no es acotada.

Proposicin 2: Si

es creciente o decreciente en

, entonces respectivamente,

donde el supremo o el nfimo podra ser

Los siguientes dos resultados son fundamentales. Tambin estn demostrados en el Apndice.

Proposicin 3: Si la serie

es convergente, entonces

Es tentador pensar que si la integral converge entonces debe tender a cero, como sucede con las series. Pero no es as, como veremos en los ejemplos de la siguiente seccin. Lo que s es cierto es:

Proposicin 4: Si la integral .

converge y

es montona en

, entonces

Por ltimo, una propiedad algo ms avanzada de las funciones montonas es que son integrables segn Riemann (la definicin de integrabilidad se enuncia en el Apndice):

Proposicin 5: Si en .

es montona en

, entonces

es integrable segn Riemann

Algunos contraejemplos si fallan las hiptesis

Volvamos al Criterio de la Integral y su planteo tradicional (suponiendo que la funcin es continua, positiva y decreciente). No es difcil encontrar ejemplos en los que fallan esas hiptesis y la integral converge pero la serie diverge, o viceversa. Veamos algunos.
Si falla la continuidad

Considere la funcin

cuyo grfico es como el siguiente:

Figura1.

La funcin porque

es positiva, pero no continua ni decreciente. La integral para cualquier , as que

converge . Pero la serie

diverge porque sus sumas parciales son cualquier Usando la misma porque , as que anterior, ahora la funcin para cualquier para cualquier . .

para

tiene una integral divergente , pero su serie converge porque

La razn 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, sino que no son montonas. Vea el siguiente ejemplo.

Si falla la monotona

En el grfico de la funcin anterior es posible conectar los segmentos horizontales con los puntos aislados para construir una funcin continua con la misma propiedad de : su integral converge pero su serie diverge. Considere el grfico siguiente:

Figura 2.

Llamemos

a esta funcin. Ella es continua, y es constante en cero excepto por un , un intervalo de ancho centrado en

intervalo de ancho 1 centrado en , uno de ancho centrado en

, y as sucesivamente. En cada uno de

esos intervalos de ancho

con centro en

, para : el rea es

, la integral de .

es el rea de un tringulo con altura 1 y base Entonces, para cualquier ,

(la primera desigualdad se debe a que el ltimo tringulo est incompleto). En resumen, para todo . Por ltimo, como es una funcin creciente de ,y

acotada superiormente por 1 como acabamos de ver, resulta (Proposicin 2) que converge.

Por otra parte, es obvio que , como la funcin As es que tenemos una funcin

diverge, ya que del ejemplo anterior.

para todo

, continua y positiva (pero no decreciente), para la

cual la integral converge pero la serie diverge. Tomando, como antes, , tendremos un ejemplo de una funcin continua y positiva tal que su integral diverge, porque

pero su serie converge porque

Si falla la positividad

para todo

Un ejemplo con una funcin que no es toda positiva puede ser para

(vea el grfico abajo). Esta funcin cambia de signo y tiende a cero de una para cada ,

manera tal que su integral impropia converge, pero de modo que la serie diverge (es bien sabido que como la serie armnica, diverge).

, conocida

Figura 3.

Vamos eliminando las hiptesis

En los cinco ejemplos anteriores las funciones tienen algo en comn: ninguna es decreciente. Unas son positivas, una de ellas no; unas son continuas y otras no. Pero ninguna de ellas es decreciente. De las tres hiptesis, cumple solamente la de

positividad y slo la de continuidad; es continua y positiva pero no decreciente. Falt ver entre los ejemplos una funcin que fuera slo decreciente pero no continua o positiva, para la cual convergiera la serie y no la integral, o viceversa. Por qu falt? Muy sencillo: porque no existe tal funcin. Pronto demostraremos que cualquier funcin decreciente, continua o no, positiva o no, satisface la conclusin del Criterio de la Integral. De hecho, las tres hiptesis tradicionales del CI son innecesarias. Podemos prescindir por completo de las dos primeras y todava debilitar un poco la tercera, como veremos en esta seccin.

Es necesaria la continuidad?

La primera hiptesis de la que podemos deshacernos en el CI es la continuidad, a pesar de que los textos usuales de clculo la incluyen. Tenemos el siguiente lema:

Lema 1: Si

es decreciente y positiva en converge.

para algn

, entonces

converge si y slo si

La siguiente demostracin es tpica de lo que puede encontrarse en los libros de anlisis matemtico.

Demostracin:

Primero,

como

es

positiva, y

tanto , respectivamente.

como

son funciones crecientes de

Adems, como

es decreciente en

entonces, por una parte,

es integrable en

cualquier subintervalo de se tiene

(Proposicin 5), y por otra, para cualquier entero para todo obtenemos . Integrando

los tres trminos de la desigualdad sobre el intervalo

Sumando ahora para

desde

hasta cualquier entero

obtenemos

o bien

o ms simplemente

Supongamos ahora que la integral

converge. Entonces

de modo que

La sucesin

es entonces no slo creciente sino tambin acotada superiormente, converge, tambin

por lo que debe converger (Proposicin 1). De ah que si converge.

Recprocamente, supongamos que la serie

converge. Entonces

y de ah que para cualquier real

(donde denota la parte entera de ). Entonces la funcin no slo es creciente sino tambin acotada superiormente, y por lo tanto converge (Proposicin 2). En conclusin, si converge, tambin converge.

Terminamos con eso la demostracin del Lema 1, sin haber necesitado en ningn momento que fuera continua. Para qu plantearn esa hiptesis los libros de clculo? Podra pensarse en una respuesta de tipo didctico, ya que en los cursos de clculo el CI se usa casi exclusivamente con funciones continuas. Pero eso no justifica el imponerle

al estudiante, cuando resuelve los ejercicios, la carga adicional de verificar una hiptesis completamente innecesaria.

Es necesario que la funcin sea positiva?

Resulta que tampoco es necesario suponer que la funcin sea positiva, aunque muchos textos de anlisis s lo hacen. Partamos solamente de que consideremos dos posibilidades: es decreciente en ,y

Puede ser que integral de

para todo

. En tal caso, por el Lema 1, la converge. . Entonces, como , es

converge si y slo si la serie de con

O puede ser que exista algn decreciente,

posiblemente como

(Proposicin 1). En consecuencia, tanto divergen (Proposiciones 3 y 4).

No hay ninguna otra posibilidad: es toda positiva o bien toma algn valor negativo, y en cualquier caso la integral converge si y slo si la serie converge. As de fcil hemos demostrado el siguiente lema, en el que no es necesario que la funcin sea positiva:

Lema 2: Si si y slo si

es decreciente en converge.

para algn

, entonces

converge

Y si la funcin no fuera decreciente?

Incluso esa hiptesis, de que la funcin sea decreciente, est sobrada hasta cierto punto. Volteando verticalmente el argumento anterior, resulta que si Lema 2 puede aplicarse a , que es decreciente: es creciente, es creciente entonces el converge si y slo si

converge. De ah sigue que, si

Entonces el criterio puede aplicarse ya sea la funcin creciente o decreciente. Esto implica que hasta la ltima hiptesis en la formulacin tradicional, de que la funcin sea decreciente, es tambin prescindible: basta con que sea montona.

Y la cota del error? En el planteo tradicional del CI hay un anexo que dice que, bajo las hiptesis del criterio, si la serie y la integral convergen entonces el error en la suma parcial -sima satisface la desigualdad

Con la nica hiptesis que conservamos aqu, que sea montona, tambin se cumple un resultado casi idntico. Esto significa que las hiptesis tradicionales del CI no son necesarias ni siquiera para acotar el error, como vemos en este Lema:

Lema 3: Si es montona en converge, entonces

para algn

, y la serie

para cualquier entero

, donde

Demostracin:

Notemos

primero

que

si

la .

serie

converge

entonces

para cualquier

Si fuera decreciente y tomara algn valor negativo, o si fuera creciente y tomara algn valor positivo, entonces la serie sera divergente como ya notamos, y no habra nada que demostrar.

Supongamos entonces que

es decreciente y positiva en ,

. En la demostracin

del Lema 1 tenamos que, para cualquier

Si la serie converge (y por ende tambin la integral), podemos tomar lmite cuando y as obtener

Si

, la desigualdad anterior se aplica tambin a fue que era decreciente y positiva en

, ya que lo nico que se , lo cual tambin es

supuso sobre cierto en

. Entonces

y como supusimos que .

era positiva, esa desigualdad es equivalente a

Por ltimo, si

es ms bien creciente y negativa en :

, todo lo anterior se aplica a

en el lugar de

para cualquier

, o bien

Como es negativa, la desigualdad anterior equivale tambin a , con lo que la demostracin est completa.

Conclusin Para repasar, hicimos lo siguiente: Primero demostramos que si positiva entonces si converge si y slo si es decreciente y

converge. Luego vimos que

es decreciente y toma al menos un valor negativo, entonces tanto la integral como sea

la serie divergen, as que la conclusin se mantiene con la sola hiptesis de que decreciente y no necesariamente positiva. Lo siguiente fue notar que, si el criterio anterior se aplica a y por lo tanto tambin a

es creciente,

, por lo que basta con

suponer que sea montona. Por ltimo vimos que la cota usual del error se mantiene con esa hiptesis nica. En conclusin, luego de haber descartado una por una las hiptesis tradicionales del CI, hemos arribado finalmente a esta versin sumamente austera en sus requisitos:

Teorema (Criterio de la Integral para convergencia de series): Si para algn , entonces

es montona en

En tal caso,

Apndice Aqu demostramos las cinco proposiciones que se enunciaron en la Seccin 2, e incluimos las definiciones necesarias para la Proposicin 5 acerca de integrabilidad.

Proposicin 1: Si

es una sucesin creciente o decreciente, entonces respectivamente, donde el supremo podra ser

o el nfimo

si la sucesin no es acotada.

Demostracin: Es muy semejante a la demostracin de la Proposicin 2, que es ms general, por lo que omitimos la presente.

Proposicin 2: Si

es creciente o decreciente en

, entonces respectivamente,

donde el supremo o el nfimo podra ser

Demostracin: Veremos el caso de que . Si

sea decreciente; el otro es anlogo. Sea

no es acotado inferiormente, para cualquier

existe algn

con

. Entonces .

para todo

. Esto demuestra que Por otra parte, si es acotado inferiormente, sea

su nfimo. Para cualquier con

no es cota inferior de . Entonces, para cualquier para todo

, por lo que existe algn , . Esto demuestra que

, as que .

Proposicin 3: Si la serie

es convergente, entonces

Demostracin: Sea mismo lmite), tambin lo es

. Como su

y diferencia .

son convergentes (al , con

Proposicin 4: Si la integral .

converge y

es montona en

, entonces

Demostracin: Supondremos que siguiente se aplica a ).

es decreciente (si

es creciente, el argumento

Veamos primero que sera

para todo para todo

: Si existiera , y entonces, para todo

con ,

Cuando , la expresin a la derecha tendera a diverge. Esto contradice la hiptesis. Entonces

, implicando que

no es slo decreciente sino tambin acotada inferiormente por 0. Por la , y debe ser .

Proposicin 2, existe porque 0 es una cota inferior de

Como

para todo

, entonces para todo

Si fuera implicando que En conclusin,

, la expresin a la derecha tendera a

cuando

, como antes

diverge y contradiciendo la hiptesis. como queramos probar.

Definicin 3: Si

, una particin con

de

es una sucesin finita .

Definicin 4: Si superior de

es acotada en para es

es una particin de

, la suma , donde es

La

suma

inferior

donde

Definicin 5: Si

es acotada en

, entonces la integral superior de

en

es

y su integral inferior es

Se dice que

es integrable segn Riemann en

si

Proposicin 5: Si en .

es montona en

, entonces

es integrable segn Riemann

Demostracin: Supongamos que Para cada sea

es creciente (el caso de , . y

decreciente es anlogo). sea la particin

Como

es creciente, . Entonces

para todo

De

ah

que ;

es decir,

Finalmente, como

, y como obviamente

, tenemos

Como esta desigualdad se cumple para todo como queramos.

, concluimos que