Para qu tantas hiptesis en el Criterio de la Integral.

Luis Alejandro Acua P.

Escuela de Matemtica
Instituto Tecnolgico de Costa Rica

Resumen:

Se repasa el planteo tradicional del Criterio de la Integral para la convergencia de

series (con las hiptesis de que la funcin en cuestin sea continua, positiva y
decreciente, y la conclusin de que la serie y la integral impropia convergen
ambas o divergen ambas). Se muestran ejemplos en los que fallan una o ms de
las hiptesis y la conclusin del criterio falla. Se demuestra que son innecesarias
las hiptesis de continuidad y positividad, y finalmente que basta con una
condicin an ms dbil que la de que la funcin sea decreciente. Los resultados
se aplican tanto a la equivalencia entre la convergencia de la serie y la
convergencia de la integral impropia como a la frmula para la cota del error en
las sumas parciales cuando la serie converge.
Palabras Clave: Series infinitas, criterios de convergencia, continuidad, criterio
integral.
Introduccin

Al estudiar las series infinitas, uno de los primeros criterios de convergencia que
se presentan es el Criterio de la Integral. Su planteo tradicional dice, a grandes
rasgos, que si
entonces
serie

la

es una funcin continua, positiva y decreciente en

integral

impropia

converge

si

slo

,
si

la

converge.

En este artculo veremos que las hiptesis de continuidad y positividad son

innecesarias. Con slo suponer que sea decreciente ya se puede demostrar la
equivalencia entre las convergencias de la integral y de la serie. Y hay ms:

resulta que ni siquiera es necesario que sea decreciente. Veremos que hay una
condicin an ms dbil que sigue siendo suficiente en el Criterio de la Integral,
pero reservamos los detalles para la ltima seccin.

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

en

y sea

slo si la integral impropia

es una funcin continua, positiva y decreciente

. Entonces la serie

es convergente si y

es convergente.

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

Teorema: Sea

una

que

funcin
. Para

tienda a cero:

decreciente

definida

en

, definimos

Se tiene entonces:
i)
ii)
iii)

, para
existe.
converge si, y slo si, la sucesin

converge.

tal

iv)

, 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

converja sino que la sucesin

equivalente en presencia de la suposicin de que

converge, lo cual es
sea positiva.

De cualquier manera, en la prctica las aplicaciones de este teorema no requieren

que las condiciones se cumplan particularmente en

: basta con que se

cumplan en el intervalo
, para algn
. 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

entonces la integral impropia de

es integrable en cada intervalo

sobre el intervalo

es

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

Proposicin 2: Si

, si la sucesin no es acotada.

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
entonces

converge y

es montona en

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
Riemann en

es montona en

, entonces

Algunos contraejemplos si fallan las hiptesis

es integrable segn

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

es positiva, pero no continua ni decreciente. La integral

converge porque
Pero
son

la

serie

para cualquier
diverge
para cualquier

, as que
porque

sus

, as que

.
sumas

parciales
.

Usando la misma

anterior, ahora la funcin

divergente porque
porque

para cualquier
para cualquier

tiene una integral

, pero su serie converge

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
grfico siguiente:

: su integral converge pero su serie diverge. Considere el

Figura 2.

Llamemos

a esta funcin. Ella es continua, y es constante en cero excepto por

un intervalo de ancho 1 centrado en

en

, uno de ancho

centrado en

, un intervalo de ancho

centrado

, y as sucesivamente. En cada

uno de esos intervalos de ancho

integral de
es

con centro en

, para

es el rea de un tringulo con altura 1 y base

, la
: el rea

Entonces, para cualquier

(la primera desigualdad se debe a que el ltimo tringulo est incompleto). En

resumen,
creciente de

para todo
. Por ltimo, como
es una funcin
, y acotada superiormente por 1 como acabamos de ver, resulta

(Proposicin 2) que

converge.

Por otra parte, es obvio que

todo

, como la funcin

diverge, ya que

para

del ejemplo anterior.

As es que tenemos una funcin , 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

para todo

Si falla la positividad

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 manera tal que su integral impropia
converge, pero

para cada

diverge (es bien sabido que

diverge).

, de modo que la serie

, conocida como la serie armnica,

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

entonces

es

decreciente

y positiva

en

converge si y slo si

para

algn

converge.

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

anlisis matemtico.
Demostracin: Primero,
como
Adems, como

como

es

son funciones crecientes de

es decreciente en

integrable en cualquier subintervalo de

cualquier

positiva,

entero

se

tanto
y

, respectivamente.

entonces, por una parte,

es

(Proposicin 5), y por otra, para

tiene

para

todo

. Integrando los tres trminos de la desigualdad sobre el

intervalo

obtenemos

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, por lo que debe converger (Proposicin 1). De ah que si

converge, tambin

converge.

Recprocamente, supongamos que la serie

y de ah que para cualquier real

converge. Entonces

(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.

converge,

tambin

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
decreciente en

, y consideremos dos posibilidades:

es

 Puede ser que

Lema 1, la integral de

para todo

. En tal caso, por el

converge si y slo si la serie de

O puede ser que exista algn

como

es

. Entonces,

decreciente,

posiblemente
tanto

con

converge.

(Proposicin 1). En consecuencia,

como

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

es decreciente en

converge si y slo si

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
creciente entonces el Lema 2 puede aplicarse a
converge si y slo si
creciente,

es

, que es decreciente:

converge. De ah sigue que, si

es

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 cualquier entero

, donde

para algn

, y la serie

Demostracin: Notemos

primero

entonces

que

si

para cualquier

la

serie

converge

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

demostracin del Lema 1 tenamos que, para cualquier

. En la

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

supuso sobre
es cierto en

fue que

era decreciente y positiva en

. Entonces

, ya que lo nico que se

, lo cual tambin

y como supusimos que

a

Por ltimo, si
aplica a

es ms bien creciente y negativa en

en el lugar de

para cualquier

Como

era positiva, esa desigualdad es equivalente

, todo lo anterior se

, o bien

es negativa, la desigualdad anterior equivale tambin

, con lo que la demostracin est completa.

Conclusin
Para repasar, hicimos lo siguiente: Primero demostramos que si
y positiva entonces

converge si y slo si

es decreciente
converge. Luego

vimos que si es decreciente y toma al menos un valor negativo, entonces tanto

la integral como la serie divergen, as que la conclusin se mantiene con la sola
hiptesis de que

sea decreciente y no necesariamente positiva. Lo siguiente

fue notar que, si

es creciente, el criterio anterior se aplica a

y por lo tanto

tambin a , 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

montona en

para algn

es

, entonces

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

sea decreciente; el otro es anlogo.

Sea

cualquier

existe

Si

no

es

algn

para
que

acotado

inferiormente,

con

todo

Esto

es acotado inferiormente, sea

cualquier

no es cota inferior de

algn

demuestra

con

Entonces,

demuestra que

para

cualquier

para todo

. Esto

Proposicin 3: Si la serie

es convergente, entonces

Demostracin: Sea
mismo

su nfimo. Para

, por lo que existe

, as que

con

Entonces

Por otra parte, si

(al

para

lmite),

. Como
tambin

lo

es

y
su

son convergentes

diferencia
.

Proposicin 4: Si la integral
entonces

converge y

argumento siguiente se aplica a

primero

con

Cuando
que

es creciente, el

).
para

todo

Si

para todo

existiera

, y entonces, para

, la expresin a la derecha tendera a

, implicando

diverge. Esto contradice la hiptesis.

Entonces
la

que

es decreciente (si

, sera

todo

Demostracin: Supondremos que

Veamos

es montona en

no es slo decreciente sino tambin acotada inferiormente por 0. Por

Proposicin 2,

ser
Como

existe

porque 0 es una cota inferior de

para todo

, entonces para todo

debe

Si fuera

, la expresin a la derecha tendera a

antes implicando que

En conclusin,

Definicin

cuando

, como

diverge y contradiciendo la hiptesis.

como queramos probar.

3: Si

finita

una

particin

de

es

una

con

Definicin 4: Si

es acotada en

superior

de

para

es una particin de

, la suma

es

donde

es

sucesin

La

suma

inferior

donde

Definicin 5: Si
en

es acotada en

es

y su integral inferior es

, entonces la integral superior de

Se dice que

es integrable segn Riemann en

Proposicin 5: Si
Riemann en

es montona en

si

, entonces

es integrable segn

Demostracin: Supongamos que

es creciente (el caso de

anlogo).

sea

Para

cada

particin
Como
y

decreciente es
y

sea

la

.
es

creciente,
para todo

,
. Entonces

De
que

ah

; es
decir,

Finalmente,
obviamente

como

como

, tenemos

Como esta desigualdad se cumple para todo

que

, concluimos

, como queramos.

Bibliografa
[1] Apostol, Tom; "Calculus''; 1986.
[2] Apostol, Tom; "Anlisis matemtico''; 1977.
[3] Bartle, Robert; "Introduccin al anlisis matemtico de una variable''; 2003.
[4] Lang, Serge; "Analysis I''; 1973.
[5] Larson, Roland, Robert Hostetler y Bruce Edwards; "Clculo''; 1998.
[6] Rudin, Walter; "Principios de anlisis matemtico''; 1966.
[7] Stewart, James; "Clculo. Trascendentes tempranas''; 2001.

Este documento fue generado usando LaTeX2HTML translator Version 2002-2-1 (1.71)
Copyright 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

Revista digital Matemtica, Educacin e Internet.

Derechos Reservados