Ingeniera Matematica

FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile

Basado en el apunte del curso Clculo a (2da semestre), de Roberto Cominetti, Mart Matamala y Jorge San Mart n n.

SEMANA 13: INTEGRALES IMPROPIAS

7. Integrales Impropias
7.1. Introduccion
En la denicin de la integral de Riemann se impusieron dos condiciones fundao mentales que son: 1. Se dene en el intervalo cerrado y acotado [a, b], a < b 2. Se dene para funciones acotadas en [a, b] El propsito de esta seccin, es extender la nocin de integral al caso de intervalo o o o no acotados, y al caso de funciones no acotadas sobre un intervalo acotado. Estas dos extensiones dan origen a las llamadas integrales impropias de primera y segunda especie respectivamente. Partamos por la denicin del primer tipo o de stas: e Denicin 7.1 (Integral Impropia de Primera Especie (Intervalo no Acotado)). o Sea f : [a, +) diremos que f es integrable en [a, +) si se cumple que: Integral Impropia de
Primera Especie

(i) x (a, +), f es integrable en [a, x] y adems a (ii) Existe el l mite denido por
x x

l+ m

f
a
+

f
a

Notacin: Si una funcin es integrable en el intervalo:[a, ) entonces al o o valor del l mite se le llama integral impropia de primera especie de f y se le denota
+ x

f = l m
a

f.
a

Observaciones
x

1. Si el l mite l m

f existe, se dice que la integral impropia es convergente

a

y si no existe se dice que la integral impropia es divergente. 2. De una manera anloga se denen las integrales de 1 especie siguiente a
b b

i)

f = l m

f
x

141

Ingenier Matemtica a a
c

Universidad de Chile
puede ser cualquie-

ii)

f=

f+
c

f donde la constante c

ra. En esta ultima denicin es importante que las dos integrables de o la derecha existan o que sean convergente. Si alguna de estas integrales no converge entonces la integral de la izquierda tampoco . Ejemplo 7.1. Dado a > 0, estudiar la convergencia de la integral Claramente f (x) = l mite
1 x +

dx . x a es integrable en [a, b] para cualquier b > a. Veamos el dx = l m x x

x a

+ a

dt x = l [ln ( )] = . m x t a

Por lo tanto se trata de una integral divergente.

Ejemplo 7.2. Dado a > 0 y = 1, estudiar la convergencia de la integral

a

dx . x

Nuevamente basta con estudiar el l mite:

+ a

dx x

l m

dt 1 1 = l m x (1 ) t1 t 1 x1 1 a1 =

x a 1 1 (1) a1

1 = l m x (1 )

si > 1 si < 1

Por lo tanto esta integral impropia es convergente cuando > 1 y divergente si < 1. Juntando estos dos ejemplos podemos resumir diciendo que
+ a

dx x

Converge Diverge

si > 1 si 1

Denicin 7.2 (Integral Impropia de Segunda Especie (Funciones no Acotadas)). o Sea f : [a, b) una funcin no acotada, diremos que f es integrable en [a, b) o Integral Impropia de Segunda Especie ssi: (i) x (a, b)f es integrable en [a, x]
x

(ii) El l mite l m Observaciones

xb

f existe.
a

1) Cuando el l mite l m

xb

f existe, se dice que la integral impropia cona

verge, y cuando no existe se dice que la integral impropia diverge.

142

Ingenier Matemtica a a
2) Se anota
x xb b

Universidad de Chile
b

f
a

l m

f=
a a

f.

3) La primera condicin de integrabilidad de este tipo de funciones exige, o entre otras cosas, que la funcin f debe ser acotada en todo intervalo o (a, x), es decir, este tipo de funciones se caracterizan por tener una as ntota vertical en x = b. 4) En forma anloga se denen las integrales impropias siguiente: a
b b

(i) (ii)
a+

f = l m
a+ b c

xa+

f
x b

f=
a+

f+
c

f,

c (a, b)

En esta ultima denicin la integral entre a+ y b converge ssi las dos o integrales de la derecha convergen por separado. Ejemplo 7.3. Estudiar la convergencia de la integral impropia valores de . Caso = 1. En este caso se tiene:
b a

b dx a (bx)

para diversos

dx bx

= =

0+ 0

dx b = l ln (b x)|a m b x 0+ a l + {ln (b a) ln } = . m l m

Por lo tanto, en este caso la integral impropia es divergente. Caso = 1. En este caso los clculos son a
b a

dx (b x)

0+

l m

1 dx = l m (b x) 0+ ( 1)(b x)1 1 1 1 (b a)1 =

1 = l m + ( 1) 0

a 1 1 (1) (ba)1

si < 1 si > 1

Juntando estos dos ejemplos podemos resumir diciendo que

b a

dx (b x)

Converge Diverge

si < 1 si 1
Integrales Impropias de Tercera Especie

Denicin 7.3 (Integrales Impropias de Tercera Especie o Mixtas). Son o las que se obtienen combinando integrales impropias de 1 y 2 especie. Por ejemplo 0 1 + + dx dx dx dx = + + . 2 2 2 x x2 0+ x 1 1 x 1 143

Ingenier Matemtica a a
Este tipo de integral ser convergente ssi cada una de sus componentes es una a integral convergente.

Universidad de Chile

7.2. Algunos criterios de convergencia para integrales impropias

Nos dedicaremos primeramente a establecer algunos criterios de convergencia para integrales impropias de funciones no negativas. Observacin: o 1. Si F es una funcin creciente en [a, +), entonces, cuando x +, F (x) o L o bien F (x) +. 2. Si F es una funcin creciente en [a, b), entonces cuando x b ; F (x) o L o bien F (x) +. Lo anterior surge del hecho de que F puede ser acotada, o no, en los intervalos considerados.

Teorema 7.1 (Criterio de Comparacin). Sean f y g funciones continuas o en [a, +) tales que: (b a)(x b) 0 f (x) g(x) entonces:
+ +

Criterio de Comparacin o

Si
a

g converge entonces
+ a a

f converge .
+

Rec procamente si

f diverge
a

g diverge

Demostracion. Como las funciones f y g son continuas, entonces son integrax b x

bles en [a, x] para todo x > a. Adems a

a

f =
a

f+
b

, (lo mismo para g)

por lo tanto es claro que

f converge ssi
a b

f converge y
a

g converge ssi
b

g converge.

Luego, para demostrar el teorema basta con estudiar las integrales impropias en [b, +).
x x

Sean:F (x) =
b

f y G(x) =
b

g. Entonces, como se sabe que (t [b, x]) se

tiene 0 f (t) g(t) entonces integrando de b a x se obtiene que F (x) G(x), x [b, +).

Como adems las funciones F y G son crecientes, el resultado del teorema se a + obtiene directamente de la observacin 7.2. En efecto, si b g converge entonces o G(x) es acotada, y entonces tambin F (x) lo es con lo cual existe l e m F (x) o
x+

sea, la integral impropia

+ b

f es convergente.

144

Ingenier Matemtica a a

Universidad de Chile

Observacin: Para integrales impropias del tipo o

a

el enunciado del teo-

rema es anlogo y tiene la misma demostracin. Se propone como ejercicio, a o enunciar dicho teorema y demostrarlo.

Ejemplo 7.4. Estudiar la integral

1

|sen x| dx. x2 |sen x| 1 2, x2 x

Claramente se tiene que 0 Luego como la integral x 1.

dx es conocidamente convergente, se concluye x2 1 + |senx| directamente que la integral dx es tambin convergente. e x2 1

Teorema 7.2 (Criterio del cuociente de funciones). Sean f y g funciones continuas en [a, +) y no negativas en [b, +), donde b a y tales que: l m f (x) =L=0 g(x)
+ +

Criterio del cuociente

x+

Entonces las integrales impropias

a

f y
a

g son ambas convergentes o

ambas divergentes. Observacin: el mismo criterio se ocupa para las integrales de segunda especie. o Muchas veces se usa el teorema anterior para estudiar la convergencia de una integral impropia, comparndola con las integrales de la forma a
1

1 dx x

o bien
a

1 dx (b x)

cuyos comportamientos son ya bien conocidos en funcin de . Cuando esta o comparacin es posible, el comportamiento de la integral impropia en estudio se o puede resumir en las siguientes reglas:
+

1.
a

f (x)dx converge si l m x f (x) = L > 0, con > 1.

x+

145

Ingenier Matemtica a a
b

Universidad de Chile

2.
b

f (x)dx converge si l m x f (x) = L > 0 con > 1.

x+

3.
a b

f (x)dx converge si l (b x) f (x) = L > 0 con < 1. m

xb

4.
a+

f (x)dx converge si l + (x a) f (x) = L > 0 con < 1. m

xa

7.3. Convergencia absoluta

Revisaremos ahora la nocin de convergencia absoluta de integrales impropias. o Trataremos slo el caso de integrales de primera especie, sin embargo puede o extenderse a los dems tipos de integrales impropias. Es un buen ejercicio para a el lector llevar a cabo con detalle esta extensin. o Denicin 7.4 (Convergencia absoluta). o
+

Sea f : [a, +)

, diremos

Convergencia absoluta

que
a

f es absolutamente convergente si
a

|f | converge.

Notar que en un principio la denicin no dice nada acerca de la convergeno

+

cia de
a

f . Sin embargo el siguiente teorema muestra la relacin entre la o

convergencia absoluta y la convergencia. Teorema 7.3. Sea f : [a, +)

+

, se tiene que
+

f converge absolutamente
a a

f converge.

Demostracion. Es claro que |f | f |f | / + |f | 0 f + |f | 2|f |.

+

Luego, por el Criterio de Comparacin, como por hiptesis o o entonces

a a +

|f | converge

f + |f | converge. Adems, para x [a, +) a f (x) = (f (x) + |f |(x)) |f |(x)

x x x

f=
a

(f + |f |)
a

|f |.

Haciendo x + y gracias a que ambos l mites a la derecha existen, se concluye el resultado. 146

Ingenier Matemtica a a
Observacin: La rec o proca del Teorema anterior no es necesariamente cierto.
+ +

Universidad de Chile

f converge
a a

f converge absolutamente.

Ejemplo 7.5. Consideremos f (x) =

sin x x ,

entonces
1

f (x)dx converge, pero no

as
1

|f (x)|dx.

147