Integrales Impropias

Hemos visto la dencin de la integral para funciones f denidas en un intervalo cerrado [a; b] y acotadas en ese intervalo. En este captulo queremos generalizar el concepto de integracin. Rb Para comenzar podemos considerar el comportamiento de a f (x)dx cuando b tiende a innito. Esto nos conduce al concepto de integracin sobre intervalos innitos. Por otra parte podemos considerar la integral de funciones no acotadas en el intervalo (a; b). A continuacin vamos a formalizar estas ideas.

em

Denicin: Sea f una funcin denida en [a; 1). Supongamos que Rb para cada b 2 R la integral a f (x)dx existe. Denimos

at
Z

ic
Z

A esta expresin la llamaremos la integral impropia de f en [a; 1). Si el lmite existe diremos que la integral impropia converge y en caso contrario diremos que la integral impropia diverge.

Ejemplos 1. Sea f (x) = e x y tomemos a = 0. Para cada b 2 R tenemos

Z

ww

w.

at

f (x)dx = blim !1

b
0

e xdx = e xjb = 1 e b : 0
b

Por tanto,

1
0

x dx = lim b!1 0

e xdx = blim 1 e b = 1 !1
Rb

y la integral impropia converge. 2. Sea f (x) = cos(x) y a = 0. En este caso 0 cos(x)dx = sin(x)jb = sin(b). Como R1 0 el limb!1 sin(b) no existe, entonces la integral impropia 0 cos(x)dx diverge.

a1
b a

22.1

Integrales sobre intervalos innitos

f (x)dx:

.c om

3. Sea f (x) = x. Entonces a xdx = (b2 a2 )=2. Igual que en el ejemplo anterior, R limb!1 (b2 a2 )=2 no existe y la integral impropia a1 xdx diverge. Denicin: Sea f una funcin denida en ( 1; b]. Supongamos que Rb para cada a 2 R la integral a f (x)dx existe. Denimos
Z

Rb

f (x)dx = a! 1 lim

b a

f (x)dx:

A esta expresin la llamaremos la integral impropia de f en ( 1; b]. Igual que antes, si el lmite existe diremos que la integral impropia converge y en caso contrario diremos que la integral impropia diverge.
Observe que
Rb

x 1 e dx diverge (verifquelo).
Z

Ejemplo: Sea f (x) = ex . Para cada a 2 R tenemos

a
Por tanto,
Z

y la integral impropia converge. En este ejemplo hemos encontrado la curiosa relacin Z b

at

em

exdx = a! 1 lim 1 a

at
eb =

ic
Z

Finalmente damos la siguiente denicin: Denicin: Sea f una funcin denida en ( 1; 1). Sea c un nmero real arbitrario y supongamos que para a 2 R y cada b 2 R las integrales Ra Rc c f (x)dx b f (x)dx existen. Denimos
Z

ww

w.

1 1

a1
b

ex dx = exjb = eb ea : a e xdx = a! 1 eb ea = eb lim ex dx:

f (x)dx = a! 1 lim

c a

.c om

f (x)dx + blim !1

b c

f (x)dx

A esta expresin la llamaremos la integral impropia de f en ( 1; 1). Si los lmites existen diremos que la integral impropia converge y en caso contrario diremos que la integral impropia diverge.
Observacin: El que la integral 1 f (x)dx converja o dirverja no depende de la eleccin del nmero c. Si la integral converge, el valor numrico de la misma no depende de c. Esto lo dejamos como ejercicio al lector.
R1

Ejemplo: Sea f (x) = 1=(1 + x2 ). Tomando c = 0 tenemos

Z

f (x)dx =
= = =

dx + lim Z b dx lim a! 1 a 1 + x2 b!1 0 1 + x2 lim arctan(x)j0 + blim arctan(x)jb = a !1 0 a! 1 lim a! 1 arctan(a) + blim arctan(b) !1 ) +  =  (
Z

22.1.1

Criterio de convergencia sobre intervalos innitos

Muchas veces ocurre que uno est interesado en saber si una integral impropia converge y no tanto en el valor numrico de la misma. Para determinar la convergencia de una integral impropia tenemos el siguiente Teorema 37 Sea g una funcin denida en el intervalo [a; 1) tal que 8x en ese inR1 tervalo ocurre que g (x)  0 y a g (x)dx converge. Sea f : [a; 1) ! R tal que 8x R 0  f (x)  g(x). Entonces la integral impropia a1 f (x)dx converge y

em
Z
+

La demostracin de este teorema es un sencillo ejercicio sobre lmites y se deja como ejercicio. Este criterio de convergencia se extiende sin dicultad a intervalos de la forma ( 1; b] y ( 1; 1). Ejemplo: Estudiar la convergencia de 1 1=(1 + x4 )dx. La funcin g(x) = 1=(1 + x2 ) cumple con g(x) R018x 2 R y si x  1 tenemos que 0 < 1=(1+ x4)  g(x) Como la integral 1 1=(1+ x2)dx converge entonces R1 4 1 1=(1 + x )dx tambin converge.

22.2

Integrales de funciones no acotadas

Sea f : [a; b) ! R una funcin tal que f no es una funcin acotada en cualquier intervalo de la forma [b ; b) (para 0 <  < b a). Si f es integrable en cualquier subintervalo [a; b ] entonces denimos
Z

ww w.

M at

A esta expresin la llamaremos la integral impropia de f en [a; b]. Si el lmite existe, diremos que la integral impropia de f en [a; b] converge y en caso contrario diremos que la integral diverge. Haciendo el cambio de variable x = z obtenemos la denicin de integral impropia en el caso que f es una funcin denida en (a; b], integrable en cualquier intervalo [a + ; b] (para 0 <  < b a) y no acotada a la derecha de a. Anlogamente
Z

f (x)dx = !0 lim

f (x)dx = !0 lim

at
R1

b 

a+

ic

f (x)dx

f (x)dx

a1

0

f (x)dx 

g(x)dx

.c om

Ejemplo: Sea f (x) = 1= integral impropia de f arroja

Z

px. f no es acotada en el intervalo (0; 1]. La

+ +

1 0

1 p dx = lim

!0+ 0+

1 px dx = !0 2pxj1 = !0 2 2p = 2 lim lim 

22.2.1

Criterio de convergencia para funciones no acotadas

Para este tipo de integrales impropias, existe un criterio de convergencia anlogo al criterio de convergencia para integrales impropias sobre intervalos innitos. Teorema 38 Sea g : [a; b) ! R una funcin no acotada, tal que para todo x 2 [a; b) R g(x)  0 y ab g(x)dx converge. Si f : [a; b) ! R es una funcin no acotada en [a; b) y
Rb

para todo x en este intervalo 0  f (x)  g (x) entonces la integral impropia a converge y
Z

f (x)dx

f (x)dx 

g(x)dx
om

22.3

La funcin Gama de Euler

La funcin Gama de Euler se dene as: dado x 2 R el valor de la funcin

em

at

ic a

Un teorema similar se puede enunciar para el caso de funciones denidas sobre intervalos de la forma (a; b], no acotadas en este intervalo. Esto lo dejamos como ejercicio.

1.c

at

dado que la integral converja. Esta funcin aparece en contextos muy distintos incluyendo teora de probabilidades, teora de nmeros, electrodinmica clsica y teora cuantica de campos. Para establecer la convergencia de estas integrales vamos a estudiar brevemente el crecimiento de expresiones de la forma xa ecx cuando x tiende a innito. Para esto vamos a establecer el siguiente Teorema Si a > 0 y b > 0 se tiene que (22.1) y (22.2)

lim (log x) = 0 x!1 xa

x xlim eax = 0 !1
x x

Demostracin Primero demostraremos (22.1) y luego usaremos este resultado por demostrar (22.2). Si c > 1 y 1  t entonces 1  tc y t 1  tc 1 , de manera que si x  1, entonces Z Z

ww w.

(x) =

en x es

tx 1 e tdt

0

c c 0  log(x)  x c 1 < x c

t 1 dt 

tc 1 dt

para todo c > 0

por consiguiente

innito. Esto demuestra (22.1). Para demostrar (22.2) hacemos el cambio de variable t = ex . Entonces x = log(t), y por tanto xb =eax = log(t)b =ta . Pero t ! 1 cuando x ! 1 con lo cual (22.2) es consecuencia de (22.1). Volvamos a nuestra denicin de la funcin . La funcin est denida en trminos de una integral impropia. Queremos demostrar que el intervalo [1; 1) est en el dominio de denicin de . Observemos que

x 0 < log(a ) < x cb x Si elegimos c = a=(2b), entonces xbc a = x a=2 que tiende a cero cuando x tiende a

bc a

(1) =

e t dt = 1;

integral que ya habiamos evaluado. Podemos usar el principio de induccin para mostrar que la funcin est bien denida para todo entero positivo. Sea m un entero positivo. Supongamos que la integral que dene a [n] converge para todo n positivo menor o igual que m. Entonces
Z

positivo. De paso hemos demostrado que en este caso,

Puesto que (1) = 1 se sigue que para m entero positivo (m) = (m de m). Si x 2 [1; 1) y x no es entero podemos argumentar lo siguiente:
Z

ww w.

= alim (am e a ) + m tm 1 e t dt !1 0 = 0 + m (m) = m (m) El principio de induccin nos dice entonces que (x) existe cuando x es un entero

M at

(m + 1) = m (m): 1)! (factorial

tx 1 e t dx =

1 0

Z 1 tx 1 e t dx + tx 1 e t dx:

em
Z

tm e t dt  d (tm e t ) + mtm 1 e t dt = alim !1 0 dt Z a m e t )ja + m = alim (t tm 1 e t dt 0 !1

1
0

La primera integral del lado derecho converge porque es la integral de una funcin acotada en el intervalo [0; 1]. Para la segunda integral podemos usar el criterio de comparacin para mostrar su convergencia. Sea m un entero positivo menor que x 1. Entonces para t  1 tenemos

tx 1  tx 1 e t 

tm ; tm e t :
Z

As

1
1

tx 1 e t dx 

at ic
1

0 Z a

tm e t dx;

a1

= alim !1

.c o

(m + 1) =

tm e t dt

y la integral que dene a (x) converge. Como esto vale para todo x > 1 hemos demostrado que el intervalo [1; 1) est contenido en el dominio de denicin de la funcin . En la gura 22.1 presentamos el grco de la funcin en un entorno del

a1

.c
La funcin del orgen

om

en un entorno

22.4
(a)

Ejercicios
Z

1. Calcule

ww w.

orgen. A modo de comentario nal podemos decir que la funcin Gama de Euler es una extensin a los reales no negativos del conocido factorial slo denido para los enteros no negativos.

at e

at
(b) (c) (d)

ic
Z Z

Figura 22.1

1
e2

x log3 x

dx

1
Z

dx x2 + 2x + 5 1
1 dx
1

x + x3

2. Demuestre que si f; g : [a; 1) ! R con g (x)  0 y a R g(x) para todo x 2 R entonces, a1 f (x)dx diverge.

e x sen(x)dx
R1

g(x)dx diverge y f (x) 

3. Sea a > 0. Demuestre que la integral a 4. 5.

1=x dx converge si  > 1 y diverge si 1 Ra Sea a > 0. Demuestre que la integral 0 1=x dx diverge si   1 y converge si <1 Sean a  1 y b > 0. Calcule, en trminos de la funcin Gama, la integral
Z

R1

ta 1 e bt dt

(a)

(b)

22.4.1
1. (a) (b) (c) (d) 5.

Respuestas

(a)=ba

1=8 =2 (log 2)=2 1=2

6. (a) diverge (b) diverge

ww w.

at

em at
p

1 cos(x)

ex dx

ic

dx x px 1

a1

.c om

6. Estudie la convergencia de las siguientes integrales