Академический Документы
Профессиональный Документы
Культура Документы
3.1. Introduccin
Extenderemos la nocin de integral a casos en los cuales f puede no ser acotada en [a, b] y a integrales sobre intervalos innitos Denicin 3.1.1 ( Integral impropia de primera especie). Sea f : [a, ) funcion integrable en [a, ) si: f es integrable en [a, b], a < b. El siguiente lmite existe
b a
, diremos que
f es una
lim
Z b
Ejemplo 3.1.2.
Z
0
e dx = lim
b 0
Z b
ex dx = lim ex
b
b 0
= 1.
Denicin 3.1.3 (Integral impropia de segunda especie). Sea f : [a, b) diremos que f es una funcion integrable en [a, b) si: f es integrable en [a, x], para todo a < x < b. El siguiente lmite existe lim
Z x
xb a
Ejemplo 3.1.4.
Z 1
0
ln xdx = lim
x1 0
Z x
ln xdx = 1.
Denicin 3.1.5 (Integral impropia de tercera especie o mixta). f : [a, ) R se dice de tercera especie si es de primera y de segunda especie. Ejemplo 3.1.6.
Z x e
0
dx = lim x x0+
Z 1 x e
x
dx + lim x b
Z b x e
1
dx x
86
x [a, )
g converge, entonces,
f converge
Un resultado anlogo se obtiene para integrales inpropias de segunda especie. Teorema 3.1.8 (Criterio del cuociente). Sean f y g funciones continuas y no negativas en [a, ) y tal que f (x) lim g(x) = L = 0 entonces las integrales
x
Z
a
Z
a
Convergen ambas o divergen ambas. Obs: Analogamente podemos aplicar el resultado anterior a integrales de segunda especie. Ejemplos Importantes Ejemplo 3.1.9. Analizar la convergencia de
Z 1
a
dx
para > 0, a > 0 Solucin: Notemos que si 0 la integral es trivialmente convergente. Si = 1 tenemos
Z 1
a
dx = lim ln x|b = +. a
b x1 1 ,
Por otra parte para = 1 una primitiva del integrando corresponde a siguiente b Z 1 x1 dx = lim b 1 a a x En resumen se tiene lo siguiente
Z 1
a
dx :
converge diverge 87
>1 1
a dx (b x)
Por otra parte para = 1 una primitiva del integrando corresponde a (bx) , de esta forma se tiene lo 1 siguiente Z b y 1 (b x)1 dx = lim 1 a yb a (b x)
Z b
a
1 dx : (b x)
converge diverge
<1 1
Los ejemplos anteriores son muy importantes pues cada vez que queramos saber si una integral es convergente podemos utilizar el teorema 3.1.8 junto con las funciones anteriores para obtener utiles criterios de convergencia, de hecho se tiene el siguiente corolario cuya demostracin se deja como ejercicio propuesto al estudiante. Corolario 3.1.11. (Reglas de convergencia) (Primera especie) Si lim x f (x) = L entonces
x
1. 2.
a R a
entonces
88
f es absolutamente convergente.
R a
2. Si | f | diverge y
a
R a
f es condicionalmente convergente
3. Analogamente se dene la convergencia absoluta y condicional para integrales inpropias de segunda especie.
Problemas
Problema 3.1.
1 x(2x)
prendida entre la curva, el eje OX y sus asintotas. 2. Sea x el punto mnimo local de f . Calcule, si existe, el volumen de revolucin en torno al eje OY de la regin comprendida entre la curva, el eje OX y las rectas x = 0 y x = x.
f (x)dx =
Z 1
0
f (x)dx +
(1)
Z 2
1
f (x)dx
(2)
1 2 1 2
que (1) converge. Para (2) se cumple que limx2 tambin converge.
2 x f (x) =
1 dx 2x
2. Es fcil vericar que f (x) = 0 para x = 1, como adems lim f (x) = lim f (x) = + se sigue que
x0+
necesariamente x = 1 es mnimo de f en (0, 2). De esta forma: VOY = 2 lim este clculo se deja al lector.
0+
x2
Z 1
x dx = x(2 x)
Z 1
0
x dx (2 x)
Problema 3.2. Determinar los valores de y para los cuales la integral vergente. Ind: Realice el cambio de variables x = t. 89
1 1 x (1+x )
es con-
Solucin: Caso = 0, se tiene que la integral es convergente si y solo si > 1 Caso > 0, Realizando el cambio de variables x = t se obtiene t = 1 y si x entonces t . De esta forma:
Z
1 dx x
dt t ,
adems si x = 1 entonces
dx 1 1 = 1 (1 + x ) x x
1 +2
Z
1
1 t
1 +1
dt
(1 + t)
como
t
lim
t t
1 +1
=1 (1 + t)
Problema 3.3. Considere la integral impropia I = 0 ex dx. El proposito de este ejercicio es calcular I explicitamente. Para ello proceda como sigue.
1. Demuestre que I converge. 2. Calcule, si existe, el valor de la integral obtenida al rotar la funcin ex , x > 0 en torno al eje OY 3. Muestre, utilizando el mtodo de clculo de reas por secciones, que el valor obtenido en la parte anterior es igual a 4I 2 y concluya.
2
Solucin: 1. Notemos que si x > 1 entonces 0 ex ex como de comparacin, se sigue que I converge.
2
2. Calculemos el volumen de revolucin de la curva ex en torno al eje OY est dado por V = R 2 limb 2 0b xex dx, realizando la sustitucin u = x2 se sigue que du = x dx obtenemos entonces 2 que eu = V = 2 2 0 3. Es facil ver que, en el espacio tridimensional (X ,Y, Z), la supercie denida por el volumen de 2 2 revolucin corresponde al grco de la funcin f (x, y) = ex ey . En efecto, por denicin del slido a todos los puntos del plano que esten a la misma distancia del origen le hacemos corresponder igual altura, esto es, dado un punto del plano (x, y) = (r cos , r sen ) la altura del slido 2 en ese punto corresponde a er y como r2 = x2 + y2 se sigue que f (x, y) describe exactamente la supercie del volumen en cuestin. 90
Por argumentos de simetra el volumen del slido es cuatro veces el volumen del octante positivo 2R 2 2 (x > 0, y > 0). Para x > 0 jo el rea asociada corresponde a A(x) = ex 0 ey dy = ex I inteR R 2 grando sobre x se obtiene V = 4 0 A(x)dx = 4 0 ex Idx = 4I 2 . Como V = se sigue, despejando el valor de I, que I= . 2
91
n=1
an = a1 + a2 + + an +
converge. an se llamar trmino general de la serie. Ejemplo 4.1.2. Algunas series clsicas
es un parmetro jo. (1)n x2n+1 /(2n + 1)! = sen x, donde x es un parmetro jo. n=0 (1)n x2n /(2n)! = cos x, donde x es un parmetro jo. n=0
xn /n! = ex , donde x n=0 1/n que diverge. n=0
Teorema 4.2.2 ( Criterio del cuociente (Dlambert)). Sea {an }nN una sucecion tal que an > 0 n Sea R := lim supn an+1 entonces: an 92
Si R < 1 la serie converge. Si R > 1 la serie diverge. Teorema 4.2.3 (Criterio de la raz ensima). Sea {an }nN una sucesin, sea R = lim supn |an| n , entonces: Si R < 1 la serie converge. Si R > 1 la serie diverge. Observacin: Si el criterio del cuociente o de la raz da como resultado R = 1 no es posible asegurar la convergencia o divergencia de la serie y, por lo tanto, es necesario utilizar otro tipo de argumentos para el anlisis, como por ejemplo el criterio de la integral impropia que veremos a continuacin. Teorema 4.2.4 ( Criterio de la integral impropia.). Sea f : [1, ) R Entonces n f (n) converge si y solo si 1 f (x)dx converge.
1
93
Problemas
n=1
2.
n=1
3. arctan
n=1
1 1+n+n2
4. 5.
n=1
n=1
6. (1)n
n=0
n+1 n .
n n+1
= lim
1 1+ 1 n
n
Como L < 1 se tiene que la serie converge. 2. Utilizando el Criterio del Cuociente se obtiene n (1 + j) (n 1)! n an+1 j=1 L = lim = lim n an n (n 1)! n (1 + j) (1 + n + 1) j=1 n = lim n 1 + n + 1 1 = Como L = 1/ < 1 se tiene que la serie es convergente. 3. Mostremos que arctan(x) x x 0. En efecto, sea x > 0, aplicando el teorema del valor medio a la funcin t arctan(t) en el intervalo [0, x], se demuestra la existencia de (0, x) tal que arctan(x) arctan(0) 1 = 1 x 1 + 2 94
de donde se obtiene el resultado pedido. (para x = 0 la propiedad se cumple trivialmente). Utilizando lo anterior es claro que 0 arctan
n 1 1+n+n2
1 1 + n + n2
1 1 + n + n2
1 como la serie 1+n+n2 es convergente (por qu?), por el criterio de comparacin, la serie
arctan
n
tambin lo es.
Z
1
1 dx converge . (x + 2) ln(x + 2)
Para estudiar la integral usemos un cambio de variable, u = x + 2 = du = dx Z 1 1 dx = du = ln(ln u) 2 = , 2 u ln u 1 (x + 2) ln(x + 2) luego como la integral no converge, la serie en estudio es tambin no convergente.
Z
n=0
(1)n
n+1 n =
n=0
(1)n n + 1 + n ,
1 vale decir, es una serie alternante donde el trmino central an = n+1+n es claramente decreciente a cero. En consecuencia, se cumplen todas las hiptesis del criterio de Leibniz y, por ende, la serie es convergente.
1 . k=1 n k
1. Calcule lim
1 n
an
95
an
= lim
1 n 1 n k k=1
n n
= lim
1
k=1
n n
k 1 nn
Notemos que el denominador del lmite anterior corresponde a una suma de Riemann. En efecto, lim
k=1
k 1 = n n
Z 1
0
2 3 x dx = x 2 3
1 0
3 2 n = = lim n an 3 2 1 n
2. Usando el criterio de divisin de trminos generales, como la serie de la parte i) fue nito, concluimos que la serie an diverge.
n=1
es divergente y el lmite
n=1
96
1 , Sea R :=
1 Teorema 5.1.3 (Criterio de la raz ensima). Sea {an }nN una sucesin, sea R := lim supn |an | n , entonces n es convergente en el intervalo (R + x , R + x ) y divergente en la serie de potencias an (x x0 ) 0 0 (, R + x0 ) (R + x0 , ).
Observacin: en cualquier caso siempre es necesario analizar la convergencia en los extremos del intervalo, pues los criterios anteriores no funcionan en tales puntos. Con frecuencia es necesario calcular la derivada de una serie o la integral de ella, para ello procedemos calculando la serie de las derivadas o la serie de las integrales respectivamente, esto es, intercambiamos la serie con el operador. Sin embargo, nada nos asegura que tal valor exista o incluso si existe no podemos determinar a priori si son iguales. Los siguientes teoremas nos las dan condiciones necesarias y sucientes para que se tenga la igualdad. Teorema 5.1.4 (Intercambio de la serie con la derivada). Considere la serie de potencias an (x x0 )n que suponemos absolutamente convergente en el intervalo (R + x0 , R + x0 ) donde R es el radio de convergencia. Entonces la serie es derivable en dicho intervalo y se tiene d d an (x x0 )n = dx an(x x0 )n = ann(x x0 )n1 . dx n=0 n=0 n=1 Adems la serie derivada posee el mismo radio de convergencia que la serie original. 97
Teorema 5.1.5 (Intercambio de la serie con la integral). Considere la serie de potencias an (x x0 )n que suponemos absolutamente convergente en el intervalo (R + x0 , R + x0 ) donde R es el radio de convergencia. Entonces la serie es integrable en (R + x0 , R + x0 ) y se tiene la igualdad:
Z b
a
an(x x0 )
n
=
n
Z b
a
(x x0 )n+1 an (x x0 ) = an n+1 n
n
.
a
donde a, b (R + x0 , R + x0 ).
Problemas
Problema 5.1. Considere la serie de potencias:
n=1
(1)n
ln n x n 2
Solucin: Resulta sencillo vericar (utilizando el criterio del cuociente o de la raiz) que el radio de convergencia es 2. En efecto, 1 ln(n + 1)n 2n n+1 = lim n (n + 1) lnn 2 2 por lo tanto la serie es convergente en el intervalo (2, 2). Analizemos los extremos de dicho intervalo: Al evaluar en x = 2 resulta la serie numrica n ln n la cual es divergente, esta conclusin es directa de n la aplicacin del criterio de comparacin de series numricas. En efecto, para n 3 se cumple ln n 1 y n n como la serie n 1 diverge entonces la serie en cuestin debe diverger. n Evaluando en x = 2 obtenemos la serie n (1)n ln n . Notemos que la sucesin ln n es decreciente y pon n sitiva. En efecto, si consideremos f (x) = ln(x)/x calculando la derivada de f obtenemos f (x) = 1ln x x2 como f (x) 0 para x e se sigue que la sucesin f (n) = ln n es decreciente para n 3. De lo anten rior se deduce que la serie n (1)n ln n es convergente por el criterio de Leibnitz para series numricas n alternadas. Concluimos entonces que el intervalo de convergencia de la serie de potencias en estudio es (2, 2]. Problema 5.2. Calcular f (x) = n2 xn con 1 < x < 1. 1
98
Solucin: Es claro que la serie es absolutamente convergente para 1 < x < 1 y por lo tanto es vlido:
n2xn = x n
1 1
d(xn ) d =x dx dx
nxn
1
=x
d x dx dx 1
d(xn ) 1 1x
=x
d dx
d dx
xn
0
d d =x x dx dx Concluya el lector.
Problema 5.3.
Solucin: 1. Utilizando la indicacin se tiene para a2t 2 < 1. Integrando la serie se obtiene
Z 1
0 1 dt = (1)n a2n 2t 2 1+a n=0 1 1+a2 t 2
Z 1
0
R1
1 0 1+a2 t 2 dt