Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Notas Del Curso PDF
Notas Del Curso PDF
ndice general
1. Nmero complejo
1.1. Nmero real . . . . . . . . . . . . . . . . . . . .
1.1.1. Axiomas de cuerpo . . . . . . . . . . . .
1.1.2. Axiomas de orden . . . . . . . . . . . .
1.2. Nmero complejo: definicin y operaciones . . .
1.3. Relacin entre los nmeros reales y los complejos
1.4. Unidad imaginaria y representacin binmica . .
1.4.1. Representacin grfica . . . . . . . . . .
1.4.2. Propiedades del mdulo . . . . . . . . .
1.5. Exponencial compleja . . . . . . . . . . . . . . .
1.5.1. Frmulas de Euler . . . . . . . . . . . .
1.5.2. Aplicaciones geomtricas . . . . . . . .
1.5.3. Potencias enteras y races . . . . . . . . .
1.6. Logaritmo complejo . . . . . . . . . . . . . . . .
1.7. Seno y coseno complejo . . . . . . . . . . . . .
2. Sucesiones y series
2.1. Introduccin . . . . . . . . . . . . . . . . . .
2.2. Sucesiones . . . . . . . . . . . . . . . . . . .
2.2.1. Sucesiones y lmites en R . . . . . .
2.2.2. Sucesiones montonas . . . . . . . .
2.2.3. Propiedades algebraicas de lmites . .
2.2.4. Subsucesiones . . . . . . . . . . . .
2.2.5. Sucesiones de Cauchy y convergencia
2.2.6. Sucesiones complejas . . . . . . . . .
2.3. Series . . . . . . . . . . . . . . . . . . . . .
2.3.1. Series telescpicas . . . . . . . . . .
2.3.2. Series de trminos no negativos . . .
2.3.3. Criterio de la raz y del cociente . . .
2.3.4. Series alternadas . . . . . . . . . . .
2.3.5. Series de trminos cualesquiera . . .
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
9
10
14
17
18
18
21
22
24
24
26
28
29
.
.
.
.
.
.
.
.
.
.
.
.
.
.
33
33
33
33
36
38
42
44
46
47
47
50
53
54
56
ndice general
2.3.6. Reordenacin de series . . . . . . . . . . . . . . . . . . . . .
2.3.7. Producto de Cauchy de series . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
59
.
.
.
.
.
.
.
.
.
.
.
.
.
.
61
61
61
63
64
65
67
69
71
72
75
76
76
78
80
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
83
83
85
88
89
91
91
92
94
96
97
98
100
101
104
105
105
105
106
108
108
110
ndice general
4.9. Volumen de slidos de revolucin . . . . . . .
4.10. Integrales impropias . . . . . . . . . . . . . . .
4.10.1. Integrales impropias de primera especie
4.10.2. Caso integrando no negativo . . . . . .
4.10.3. Criterio integral para series . . . . . . .
4.10.4. Integrando con signo cualquiera . . . .
4.10.5. Integrales impropias de segunda especie
4.10.6. Cambios de variable . . . . . . . . . .
Bibliografa
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
112
115
115
118
120
121
123
124
127
ndice general
Reconocimientos
Estas notas son una reedicin de las Notas de Anlisis I elaboradas en el Instituto
de Matemtica y Estadstica Prof. Ing. Rafael Laguardia(IMERL) de la Facultad
de Ingeniera de la Universidad de la Repblica. Dichas notas fueron elaboradas por
Fernando Paganini, con la colaboracin de Marcelo Cerminara, Enrique Cabaa y el
equipo docente del curso de Anlisis I durante 1991-1992. Gabriel Lema y Pablo
Romero corrigieron y modernizaron la edicin original en 2013 y el Responsable (Roberto Markarian) y Coordinadoras (Laura Aspirot y Bojana Femic) del curso 2013,
realizaron diversas correcciones y agregados para esta edicin. Se ha procurado mantener la intencin de las notas originales, que si bien son autocontenidas no pretenden
eliminar - por el contrario, pretenden promover - la consulta de otra literatura, sugerida
en las referencias bibliogrficas del presente texto.
Estos captulos sern impresos por la Oficina de Publicaciones del CEI, al igual que
lo fueron las notas originales. El material que se presenta es la base del contenido del
curso de Clculo I del primer semestre de 2014, junto con los prcticos de ejercicios
del curso. Es nuestro deseo que este material sea de vuestra utilidad. Confiamos en
que sea bien enriquecido mediante las referencias bibliogrficas, que permiten ampliar
los temas aqu presentados. Ver libros [2], [3], [5], [6], en la Bibliografa al final del
texto.
Es un placer darles una clida bienvenida a este curso. Se sugiere mantenter un
espritu crtico en la lectura y el estudio. En especial queremos recordarles que tanto
el presente material como otros que consultarn pueden contener errores, y en caso de
hallarlos nos ser muy grato recibir vuestra realimentacin, que nos ayuda a trabajar
cada vez ms y mejor.
Agradecemos la colaboracin de varios estudiantes del curso 2013 y docentes del
Instituto, en particular los que colaboraron en el curso, que anotaron diversos errores
en esa edicin.
Montevideo, febrero de 2014
Instituto de Matemtica y Estadstica Prof. Ing. Rafael Laguardia
Facultad de Ingeniera
Universidad de la Repblica.
ndice general
Captulo 1
Nmero complejo
1.1.
Nmero real
Haremos una construccin axiomtica del conjunto de los nmeros reales demostrando algunas de sus propiedades ms relevantes. Sea R un conjunto no trivial y sea
+ : R R R una operacin binaria, que llamaremos suma, y : R R R otra
operacin que llamaremos producto. (Notacin: +(x, y) = x + y, (x, y) = xy).
1.1.1.
Axiomas de cuerpo
10
Proposicin 1 Si a + b = a + c entonces b = c, a, b, c R.
Proposicin 2 a, b R existe un nico x R tal que a + x = b.
Nota 3 A este x lo notamos b a (en particular 0 a lo escribimos a; por satisfacer
el Axioma 5 es el opuesto de a).
Proposicin 4 0a = a0 = 0, a = (1)a, (1)(1) = 1.
Proposicin 5 Si ac = ab y a 6= 0, entonces b = c.
Proposicin 6 a, b R, a 6= 0, un nico x tal que ax = b.
Nota 7 Tal nmero x se designa por b/a. En particular 1/a se designa a1 .
Proposicin 8 Si ab = 0 entonces a = 0 o b = 0.
1.1.2.
Axiomas de orden
11
Proposicin 12 Si a, b R entonces es cierta una y solo una de las siguientes relaciones: a < b; b < a o bien a = b.
Proposicin 13 Si a 6= 0, a2 > 0.
Demostracin. Si a > 0 entonces por el Axioma 7, a a > 0.
Si a < 0 entonces (a) > 0, y en este caso (a)(a) > 0 tambin como resultado
del Axioma 7.
12
T
0
13
ab
2
se
14
Por ltimo, recordaremos que no era posible utilizando solo los nueve primeros
axiomas resolver problemas como la ecuacin x2 = 2. Veremos a continuacin que
el Axioma 10 nos permite definir la raz cuadrada de cualquier nmero no negativo, y
por ende resolver este problema.
Proposicin 26 Cada nmero real a no negativo tiene una nica raz cuadrada no
negativa.
Demostracin. Si a = 0 entonces 0 es la nica raz. Supongamos entonces que a > 0.
Sea S = {x : x > 0, x2 a}. Como (1 + a)2 > a entonces 1 + a es cota superior
a
de S. Adems, S 6= , pues (1+a)
S. En efecto, como a2 a(1 + a)2 entonces
a2
(1+a)2
a
a. En virtud del Axioma 10, S tiene supremo. Sea sup(S) = b, b 1+a
,y
2
2
2
por lo tanto b > 0. Existen solo tres posibilidades: b > a, b < a o bien b = a.
2
Si b2 > a tomamos c = b b 2ba = 12 (b + ab ). Entonces 0 < c < b, y c2 =
2
2
2 a)2
b2 (b2 a) + (b 4ba)
= a + (b 4b
> a. Por lo tanto, c2 > x2 y c > x, x S,
2
siendo c cota superior de S, pero como c < b esto contradice que b = sup(S).
Si suponemos ahora que b2 < a como b > 0 es posible definir un nmero c > 0 tal
que c < b y c < (a b2 )/(3b). Se tiene entonces que: (b + c)2 = b2 + c(2b + c) <
b2 + 3bc < b2 + (a b2 ) = a.
Entonces (b + c) S y como b + c > b esto contradice el hecho que b sea una cota
superior de S. Por lo tanto debe ser b2 = a.
1.2.
15
extensin de los reales que incluya a i = 1. Sin embargo, una ligera abstraccin a
partir de lo anterior permite realizar la construccin adecuada.
De hecho, lo que distingue a dos nmeros de la forma a + bi son los dos reales a y
b. Podramos identificar el nmero con un par de nmeros reales (a, b). Las frmulas
obtenidas informalmente en el desarrollo anterior se transforman en la definicin de las
operaciones de suma y producto entre estos pares. Este es el camino que desarrollamos
a continuacin.
Comentamos que el campo as construido permitir extender todas las propiedades
de cuerpo y garantiza la existencia de soluciones para cualquier ecuacin de la forma:
an xn + an1 xn1 + . . . + a1 x + a0 = 0
Este resultado se conoce como teorema fundamental del lgebra, y ser demostrado
en cursos posteriores. Ver [1].
Definicin 27 Un nmero complejo es un par ordenado de nmeros reales.
La primera componente de z = (a, b) se llama parte real de z, y la segunda componente se llama parte imaginaria de z.
Notacin 28 a = Re(z), b = Im(z).
Nota 29 Par ordenado significa que (a, b) 6= (b, a) si a 6= b. En otras palabras, el
complejo z = (a, b) y el complejo w = (c, d) son iguales si y solo si a = c y b = d.
Denotemos por C al conjunto de los nmeros complejos.
Definicin 30 Dados dos complejos z = (a, b) y w = (c, d), definimos la suma z + w
y el producto zw por:
z + w = (a + c, b + d); zw = (ac bd, ad + bc)
16
1.3.
17
18
1.4.
1.4.1.
Representacin grfica
Es posible representar el nmero complejo z = (a, b) como el punto del plano x0y
de coordenadas (a, b). En esta situacin llamaremos eje real al eje 0x y eje imaginario
z = (a, b)
Re(z)
19
Im(z)
z+w
z
zw
Re(z)
Figura 1.4: Representacin geomtrica de la suma y la resta de dos nmeros complejos.
Re(z)
a = cos
b = sen
(1.1)
20
si b > 0
si b < 0
a Re(z)
21
4. z z = 2iIm(z)
5. z = z
6. Si z es raz de un polinomio P(z) de coeficientes reales, entonces z tambin es raz.
La demostracin de 1 a 5 quedan como ejercicio. Para ver 6 observar que si P (z) =
an z n + + a1 z + a0 con ai R, entonces P (z) = P (z).
La conjugacin resulta til para el clculo de divisiones en C. Se multiplica numerador y denominador por el conjugado del denominador, y as se obtiene la forma
binmica del cociente.
Ejemplo 42
1.4.2.
2+3i
1+i
(2+3i)(1i)
(1+i)(1i)
2+3i2i+3
2
5
2
+ 2i .
Notemos que el mdulo de |z| es la distancia del punto z al origen, y como tal tiene
la propiedad de las longitudes de segmentos.
Propiedad 43
1. |z| 0
2. |z| = 0 sii z = (0, 0)
3. |Re(z)| |z| ; |Im(z)| |z|
4. |zw| = |z||w| ; | wz | =
|z|
|w|
5. zz = |z|2
6. |z + w| |z| + |w| (Desigualdad triangular)
Demostracin. Sea z = a + bi ; w = c + di
3. Re(z)2 = a2 a2 + b2 = |z|2 |Re(z)| |z| (Idem para |Im(z)| |z|)
4. |zw|2 = |(ac bd) + (ad + bc)i|2 = (ac bd)2 + (ad + bc)2 = a2 c2 + b2 d2 +
a2 d2 + b2 c2 = (a2 + b2 )(c2 + d2 ) = |z|2 |w|2 |zw| = |z||w|
6. |z + w|2 = (z + w)(z + w) = (z + w)(z + w) = zz + ww + zw + zw =
|z|2 + |w|2 + zw + zw = |z|2 + |w|2 + 2Re(zw) |z|2 + |w|2 + 2|zw| =
|z|2 + |w|2 + 2|z||w| = (|z| + |w|)2 |z + w| |z| + |w|
22
1.5.
Exponencial compleja
23
Ejemplo 46 ei = 1
Proposicin 47 ez 6= 0 z C.
Demostracin. ez ez = e0 = 1 de donde ez 6= 0
p
cos(b)2 + sen(b)2 = ea
24
1.5.1.
Frmulas de Euler
ei ei
2i
= sen()
Estas frmulas son conocidas como frmulas de Euler. Veremos ahora una notacin
para los complejos sumamente cmoda para efectuar las operaciones de divisin y
multiplicacin.
Proposicin 51 Todo nmero complejo z = a + ib, puede ser representado como
z = ei donde = |z| y es un argumento de z.
Demostracin. z = a + ib. Recordemos la notacin polar: a = cos(), y
b = sen(), de donde: z = (cos() + isen()). Como ei = cos() + isen()
z = ei
Utilizando las propiedades de la exponencial es ahora muy fcil multiplicar y dividir dos complejos. Sea z1 = 1 ei1 y z2 = ei2
z1 z2 = (1 ei1 )(2 ei2 ) = 1 2 ei(1 +2 )
1 e1
1
z1
=
= ei(1 2 )
2
z2
2 e
2
1.5.2.
Aplicaciones geomtricas
25
z+
Im(z)
Re(z)
Figura 1.7: Traslacin del complejo z por el complejo , con resultado z + .
Im(z)
( > 1)
z
z
Re(z)
Figura 1.8: Multiplicacin del complejo z por el factor real , con resultado z.
Caso 5. El caso general se deduce de los anteriores. Se trata de la composicin de una
rotohomotecia con una traslacin, lo que equivale a una semejanza directa en el
plano.
Excepto en el caso de una traslacin ( = 1), se sabe que una tal semejanza tiene
un nico punto unido (z0 es un punto unido de F si F (z0 ) = z0 ). Obtengmoslo:
De z = F (z) = z + se tiene z = /(1 ), punto unido de F .
26
ei z
z
+
Re(z)
Figura 1.9: Rotacin del complejo z por un ngulo , con resultado zei .
1.5.3.
Definicin 54 Dados un nmero complejo z y un entero, definimos la n-sima potencia de z como sigue
0
z = 1; z n+1 = z n z si n 0
z n = (z 1 )n
si z 6= 0 y n > 0
Esta definicin permite mantener las reglas usuales de exponente, es decir si m y n son
enteros y z 6= 0:
z n z m = z n+m y (z1 z2 )n = z1n z2n
Es fcil realizar la demostracin por induccin completa y queda a cargo del lector.
27
Im(z)
zn
n
( > 1)
n
Re(z)
La proposicin anterior prueba que un complejo tiene n races n-simas, que tienen
todas el mismo mdulo y argumentos que difieren en mltiplos de 2/n. Desde el
punto de vista geomtrico las n races ocupan los vrtices de un polgono regular (ver
Figura 1.11).
28
z1
2
n
z2
/n
z0
Re(z)
z3
z4
1.6.
Logaritmo complejo
29
entonces:
ew = ew0 y w w0 = 2ki.
1.7.
eiz + eiz
2
sen(z) =
eiz eiz
2i
tan(z) =
sen(z)
eiz eiz
=
cos(z)
i(eiz + eiz )
Estas definiciones extienden las frmulas de Euler al campo complejo. Es fcil observar que las funciones trigonomtricas complejas cuando z es real coinciden con las
trigonomtricas reales y adems el seno y coseno complejo son peridicas de perodo
2 y la tangente es peridica de perodo .
30
Al obtener frmulas para las funciones trigonomtricas en notacin binmica, aparecen las funciones hiperblicas reales. Las repasaremos brevemente.
senh(x) =
ex ex
2
ex + ex
2
ex ex
senh(x)
= x
tanh(x) =
cosh(x)
e + ex
cosh(x) =
(seno, coseno y tangente hiperblicas respectivamente). Tales funciones son representadas en la Figura 1.12: Se cumple que cosh(x)2 senh(x)2 = 1
f (x) = cosh(x)
f (x)
f (x) = senh(x)
1
x
f (x) = tanh(x)
La siguiente proposicin da una frmula cmoda para las funciones trigonomtricas complejas.
Proposicin 63 Sea z = a + ib, entonces tenemos:
1. cos(z) = cos(a) cosh(b) isen(a)senh(b)
2. sen(z) = sen(a) cosh(b) + i cos(a)senh(b)
31
tan(a)+i tanh(b)
1i tan(a) tan(b)
32
Captulo 2
Sucesiones y series
2.1.
Introduccin
Los temas cubiertos en este captulo corresponden en su mayor parte a los cursos
de secundaria. El objetivo de lo que sigue es ofrecer un breve repaso de algunos puntos
y complementar con ms profundidad otros.
En este sentido, el estudio de lmites de sucesiones, en lo referente al clculo de lmites, es tratado en forma breve y a modo de repaso de prerrequisitos. El desarrollo
no es, por lo tanto, una fuente adecuada para quien no conozca nada del tema. Nos
remitimos para ello a la bibliografa.
Nos detendremos con ms detalle en otros aspectos (subsucesiones, sucesiones de
Cauchy, series) donde se dar un enfoque ms autocontenido.
2.2.
Sucesiones
2.2.1.
Sucesiones y lmites en R
33
34
Observacin 66
1. La definicin responde a la idea de un ordenamiento infinito de nmeros reales,
uno por cada natural.
2. La sucesin no puede ser sobreyectiva, es decir que no es posible recorrer los
reales con una sucesin. Se dice que R es un conjunto no numerable.
No entraremos en detalle sobre esto aunque es conveniente que el lector recuerde
que los nmeros reales son muchos ms que los naturales y los racionales
(estos tambin forman un conjunto numerable). El lector interesado puede ver
en [2], Seccin 2.11.
Ejemplo 67 an = 0, n
Ejemplo 68 an = (1)n
Ejemplo 69 an = 2n(1)
Ejemplo 70 an = 1
Ejemplo 71 an =
nn
n!
1
n
(n! = 1 2 . . . n)
an +
an
Ejemplo 72 Sucesin definida por recurrencia: a0 = 1, an+1 =
, n 0,
2
(b R, b > 0). En este caso, por induccin queda bien definido an para cada n N,
pero no tenemos una frmula explcita.
n+
E(L, ), n0 : n n0 , an E(L, ).
Es decir, la sucesin (an )nN tiene lmite L si fijado cualquier entorno de L la sucesin
permanece en l a partir de cierto ndice. En los ejemplos anteriores, las sucesiones de
los ejemplos 67 y 70 tienen lmite 0 y 1 respectivamente, como es fcil de verificar. En
la sucesin del Ejemplo 68, los trminos pares valen 1 y los impares -1. Para cualquier
L, eligiendo < 1 la sucesin no permanece en E(L, ) a partir de algn n0 . Por lo
tanto, la sucesin del Ejemplo 68 no tiene lmite. Algo similar ocurre en el Ejemplo 69.
Los ejemplos 71 y 72 sern estudiados ms adelante.
Proposicin 74 (Unicidad del lmite)
Si existe lm an , entonces es nico.
n+
2.2. Sucesiones
35
0
|
Demostracin. Si existen dos lmites L 6= L0 , eligiendo = |LL
obtenemos dos
2
entornos E(L, ) y E(L0 , ) que son disjuntos: E(L, ) E(L0 , ) = .
Pero n n0 , an E(L, ), y n n1 , an E(L0 , ).
Entonces n max{n0 , n1 }, an E(L, ) E(L0 , ), lo que es absurdo.
lm an = K R, n0 : n n0 , an K.
Es decir que una sucesin tiende a + () si fijada cualquier barrera, la sucesin termina permaneciendo encima (debajo) de la barrera.
Ejemplo 78 an = n, n, verifica que lm an = +.
n+
Observaciones y notaciones 1
1. Diremos que una sucesin converge si tiene lmite finito, que diverge si tiene
lmite infinito, y que oscila en caso de no tener lmite.
2. Las siguientes notaciones son equivalentes:
n
lm an = L; an L; an
L.
n+
n+
36
2.2.2.
Sucesiones montonas
a2
an0 an0 +1 L
a3
(an )%
Nota 83 Anlogamente, las sucesiones decrecientes convergen o divergen a segn estn o no acotadas inferiormente.
Ejemplo 84 Sean an = (1 + n1 )n , bn = 1 +
1
Como bn+1 = bn + (n+1)!
bn , (bn ) %.
1
1!
1
2!
+ ... +
n
1
.
n!
1
Adems, bn 1 + 1 + 21 + 212 + . . . + 2n1
= 1 + 1(1/2)
< 3.
11/2
Por lo tanto, bn es acotada superiormente y converge. Al lmite se lo llama nmero e.
Para estudiar (an ), desarrollemos por el binomio de Newton. Recordamos la frmula:
n
X
n
(a + b) =
ank bk ,
k
n
k=0
2.2. Sucesiones
donde
37
n!
.
(n k)!k!
n
1
1 n (n 1) 1
n (n 1) . . . 1 1
an = 1 +
=1+n +
+ ... +
2
n
n
2!
n
n!
nn
1
1
1
2
1
1
+
1
1
+ ...
=1 + 1 +
2!
n
3!
n
n
1
1
2
n1
+
1
1
... 1
n!
n
n
n
n
k
Hemos escrito an como suma de trminos positivos. Cada sumando crece con n, y
adems el nmero de sumandos crece con n. Luego an es creciente. Adems, claramente an bn e, por lo que (an ) converge, y lm an e.
n+
Definicin 85 Las sucesiones (an )nN y (bn )nN forman un par de sucesiones montonas convergentes (PSMC) si y solo si:
(1) (an ) %; (bn ) &.
(2) an bn , n N.
(3) > 0 n0 : bn0 an0 < .
Proposicin 86 Si (an )nN y (bn )nN forman un PSMC, entonces convergen al mismo
lmite.
Demostracin. Probemos primeramente que an bm m, n N. De hecho, si
n m : an bn bm . En caso contrario, cuando n < m, an am bm .
Luego, (an ) est acotada superiormente, y por hiptesis, (an ) %. Estamos en las
n
condiciones del Teorema 1, por lo que an
L. Dado que (bn ) & y est acotada
n
inferiormente, bn
L0 . Se deduce adems fcilmente que L L0 .
Si L 6= L0 entonces an L < L0 bn , n N, lo que contradice (3) tomando
= L0 L.
38
2.2.3.
Teorema 2 Si lm an = A y lm bn = B, entonces:
n+
(1)
(2)
(3)
(4)
n+
lm (an + bn ) = A + B
n+
lm (an bn ) = A B
n+
lm (an bn ) = AB
n+
n+
Demostracin.
(1) |A + B (an + bn )| |A an | + |B bn |.
Fijado > 0 podemos obtener n0 : n n0 , |A an | < /2, |B bn | < /2 y
entonces |A + B (an + bn )| < .
(2) Es anlogo a (1).
(3) |AB an bn | = |AB Abn + Abn an bn | |A||B bn | + |bn ||A an |.
Como bn converge, es acotada, por lo que la ltima expresin puede acotarse por
K(|B bn | + |A an |).
La prueba termina en forma similar a (1).
(4) Se deduce de (3) si se prueba que lm 1/bn = 1/B:
n+
1
1 = |B bn | .
B bn
|B||bn |
Puesto que bn B, se puede obtener n0 : n n0 , |bn | |B|/2. Luego:
1
1
2 |B bn |, n n0 ,
B bn |B|2
de donde se sigue como en casos anteriores.
n
n+
2.2. Sucesiones
39
A+B
A 6= 0
AB
[A]
[A]
[B]
[B]
p+
40
f (x)
Como en x b
se cumple f (x) x (verificarlo), (an ) & y an b, por lo que
an converge, y an b.
La recurrencia anterior es un mtodo til para el clculo de una raz cuadrada.
n
h.
n
n
2
Como n1
h2 +, entonces lm an = +.
2
an
n
n+
Anlogamente, lm
n+
xn
Ejemplo 92 an = (xan ) , donde a > 1, siendo (xn )nN una sucesin que tiende a
+. Sea in la parte entera de xn , es decir el entero tal que in xn < in + 1.
an =
ax n
ai n
1 ain +1
=
= bn .
(xn )
(in + 1)
a (in + 1)
i
2.2. Sucesiones
41
Ejemplo 93 an = (log(n))
, > 0, > 0 (log: logaritmo en base e). Es otro caso
n
n
indeterminado, pues log(n)
+. Sea xn = log(n) n = exn :
(log(n))
(xn )
=
=
n
(exn )
1
(e )xn
0,
(xn )
n
a
n+1
n n0 ,
n n0 , an
1
an+1
<
an
2
an0 n
n
0 an
0.
nn
0
2
c ean
ec ;
an
n
an
+ ean
+;
n
an
ean
0.
Por ejemplo:
1
1
n
n
1, ya que
n = n n = e n log(n)
log(n) n
0.
n
n
Ejemplo 96 Si an
a entonces an
a (con an 0).
Si a = 0, se prueba directamente por definicin de lmite.
Si a > 0, n n0 , an > a/4, y como consecuencia:
|an a|
|a a| n
3n
0.
| an a| =
an + a
a
2
Definicin 97 Dos sucesiones an y bn , ambas con lmite (o ambas con lmite 0) se
dicen equivalentes si y solo si lm abnn = 1.
n+
42
Ejemplo 99 Si an
0, mencionamos sin demostracin los siguientes equivalentes:
ean 1 an ; log(1 + an ) an ; sin(an ) an ; 1 cos(an )
a2n
.
2
n+
1
1
) .
n
n
lm n2 sin( n1 ) = +.
n+
Ejemplo 102
lm n[n
n+
ya que
n2 1] = lm n
n+
= lm
= ,
2
2
n+
2
n+ n 1
n+ n 1
n2 1 n.
2.2.4.
Subsucesiones
Definicin 103 Sea (an )nN una sucesin, y (nk )kN una sucesin de nmeros naturales que tiende a infinito. La sucesin (ank )kN es una subsucesin de (an ).
Observacin 104 Intuitivamente, una subsucesin equivale a elegir algunos (infinitos) trminos de la sucesin original.
En lenguaje formal, la sucesin (ank )kN es la funcin de N en R que resulta de componer las sucesiones (an ) y (nk ).
Ejemplo 105 La sucesin del Ejemplo 68, an = (1)n , no tiene lmite.
Sin embargo, las subsucesiones a2k = 1 y a2k+1 = 1 son convergentes.
n
En el Ejemplo 69, an = 2n(1) , lm a2k = +; lm a2k+1 = 0.
k+
Teorema 3
k+
n+
k+
2.2. Sucesiones
43
Como conclusin del Teorema 3 y del Ejemplo 105, si la sucesin original tiene
lmite, sus subsucesiones lo heredan. Pero algunas subsucesiones pueden converger
aunque no lo haga la solucin original.
Se coment en la Seccin 2.1 que las sucesiones acotadas pueden no converger. Sin
embargo, resulta intuitivo que en un intervalo acotado no hay espacio para que todos
los elementos de la sucesin estn separados entre s. Parecera que algunos (una
subsucesin) deberan acumularse y converger.
Formalizamos las ideas anteriores a continuacin.
Definicin 106 (Punto de acumulacin)
Sea A R un conjunto, y a R. Decimos que a es un punto de acumulacin de A si
y solo si:
> 0, E 0 (a, ) A 6=
(todo entorno reducido de a tiene puntos de A)
Ejemplo 107 A = (a, b). Todos los puntos de [a, b] son de acumulacin de A.
Ejemplo 108 A = Q (racionales). Todo real es punto de acumulacin de Q.
Ejemplo 109 A = { n1 , n Z+ }. El nico punto de acumulacin de A es 0.
Ejemplo 110 A = N. A no tiene punto de acumulacin.
Teorema 4 (Bolzano-Weierstrass) Todo conjunto infinito y acotado tiene un punto de
acumulacin.
Demostracin. Sea A un conjunto infinito, A [a, b]. Sea I0 = [a0 , b0 ] = [a, b].
Consideramos su punto medio a+b
. Por ser A infinito, al menos uno de los semi2
a+b
intervalos [a, a+b
]
y
[
,
b]
tiene
infinitos
puntos de A. Definimos I1 = [a1 , b1 ] como
2
2
ese intervalo. Repetimos este procedimiento por induccin, definiendo una sucesin de
intervalos In = [an , bn ] que son encajados (In+1 In ) y su longitud (ba)2n tiende a
0. Adems, cada In tiene infinitos puntos de A. T
La Figura 2.2 ilustra el procedimiento
de biparticin. Por el Ejemplo 87 tenemos que +
n=1 In = {L}. Veremos que L es un
punto de acumulacin de A.
Dado > 0, elegimos n : (b a)2n < . Como L In , In E(L, ). Finalmente,
puesto que In tiene infinitos puntos de A, hay (infinitos) puntos de A en E 0 (L, ).
44
a0
a0 +b0
2
b0
I3
I2
L+
2.2.5.
2.2. Sucesiones
45
/2.
Si n n0 , |an L| < /2. Si m n0 tambin tenemos que |am L| < /2.
Entonces |an am | = |an L + (L am )| |an L| + |am L| < /2 + /2 = .
2) Por el Teorema 5, (an )nN tiene una subsucesin convergente: (ank ) : ank
L.
3) Veamos que lm an = L.
n+
46
2.2.6.
Sucesiones complejas
n+
Tanto para estudiar la existencia de lmites como para calcularlos, es til el siguiente
resultado, que reduce el problema a sucesiones reales.
Proposicin 115 Si zn = an + ibn son los trminos de una sucesin (zn )nN en C y
z = a + ib, entonces:
n
n
n
zn
z an
a, bn
b.
Demostracin.
n
2.3. Series
47
2.3.
Series
q n+1 n
1q
n+
Por lo tanto
2.3.1.
P+
n=0
1 q n+1
1
q n+1
=
1q
1q 1q
q n converge y suma
1
.
1q
1
1q
Series telescpicas
Supongamos que tenemos una sucesin (bn )nN tal que an = bn+1 bn , n N.
Entonces
sn = b1 b0 + b2 b1 + b3 b2 + + bn+1 bn = bn+1 b0
P
y deducimos que an converge (bn ) converge, y en ese caso la suma vale L b0 ,
siendo L = lm bn
n+
48
P+
1
n=1 n(n+1) .
De modo que an =
s n = a1 + + an = 1
n+1
b)
P+
n=1
log 1 +
1
n
1
n(n+1)
lm sn = 1
+
X
n+
n=1
1
n
1
.
n+1
En este
1
=1
n(n + 1)
. Escribimos
1
n+1
log 1 +
= log
= log(n + 1) log(n)
n
n
De donde sn = log(n + 1) log(1) = log(n + 1) +.
n
+
X
1
log 1 +
diverge a +
n
n=1
P+ 1
Ejemplo 121
n=1 n (Llamada serie armnica).
Veremos que esta serie diverge a +. Para eso, si graficamos f (x) = log(1 + x)
vemos que se cumple que log(1 + x) x. por lo tanto
f (x) = x
f (x) = log(1 + x)
2.3. Series
49
1
log 1 +
n
sn =
n
X
1
i=1
Ejemplo 122
serie oscila.
P+
n
n=0 (1) .
n
X
i=1
1
n
1
log 1 +
= log(n + 1)
i
Demostracin. an = sn sn1 , n 1. Si lm sn = S
n+
lm an = S S = 0
n+
Ejemplo 124
Es importante sealar
que la condicin no es suficiente (lm an = 0 no alcanza
P
para asegurar que
an converge). Un ejemplo de este hecho es la serie armnica
(Ejemplo 121) que diverge, pero su trmino general n1 tiene lmite 0.
Propiedad 125
u oscilante).
Propiedad 126
P+
n=0 an y
P+
n=p
,
P nmeros
P
an y
bn convergen
P
(an + bn ) converge
n=m+p
X
an converge dado > 0, n0 : m n0 , p 1,
an <
n=m+1
Propiedad 128
50
2.3.2.
P
Se considera la serie an , donde an 0, n.
Una consecuencia inmediata es que en este caso la sucesin sn = a0 + a1 + + an
es montona creciente, y por tanto, converge o diverge a + segn est o no acotada
superiormente (Teorema 1) (no hay otra posibilidad).
Proposicin 130 Si 0 an bn , n p, entonces:
P+
P+
bn converge
1. Si n=0
n=0 an converge
P+
P+
an diverge
2. Si n=0
n=0 bn diverge
Demostracin. Sean An = a0 + + an , Bn = b0 + + bn .
Entonces An Ap Bn Bp , n > p.
1. Si Bn converge Bn acotada superiormente An acotada superiormente
An converge
2. Si An + Bn +
P+ log(n)
diverge a + ya que
Ejemplo 131
n=1
n
log(n)
n
n1 , n 3
Teorema 8 an 0, bn 0
an
n+ bn
=k>0
an
n+ bn
= 0,
1. Si lm
2. Si lm
an y
bn converge
an converge
2.3. Series
51
Demostracin.
1. Como lm abnn = k, n0 / n n0 , k2 abnn 3k
b k an 3k
b
2 (b 0) n 2
2 n
n+
n
(i)
(ii)
P
Si
P bn converge, la desigualdad (ii) y el criterio de comparacin implican que
an converge.
P
Si
P bn diverge, la desigualdad (i) y el criterio de comparacin implican que
an diverge.
Como no hay otra posibilidad, son de la misma clase.
2.
lm an
n+ bn
= 0 k > 0n0 : n n0 ,
an
bn
1
n2
Ejemplo 133
sin( n1 ) diverge
Ejemplo 134
converge, ya que
1
n(n+10)
1
n2
1
n(n+1)
diverge
P 1
Ejemplo 135 Estudiamos
, donde R.
n
P
P1
1
Ya sabemos que
diverge,
converge.
n
n2
Si 2,
1
n
1
n2
Si 1,
1
n
1
n
P 1
y por lo tanto
converge por comparacin
n
P 1
y por lo tanto
diverge por comparacin
n
C
1
Nos falta clasificar para (1, 2). Como para (1, 2) se cumple que n12 <
1
< n1 , no es posible realizar una comparacin. El siguiente criterio permitir hacer
n
la clasificacin.
52
n=0
+
X
2k a2k
k=0
P2k+1 1
k
a
n = a2k + a2k +1 + + a2k+1 1 tiene 2 sumandos, y como
a2k
(an ) &, cada sumando es
a2(k+1)
Deducimos que
2(k+1)
X1
k
2 a2(k+1)
an 2k a2k
Demostracin.
n=2k
n=2k
0
k0 +1
k0
2 X
1
X
1X
k
2 a2k
an
2k a2k
2 k=1
n=1
k=0
P
sn a la reducida n-sima de P2k a2k
An a la reducida n-sima de
an
Si llamamos:
hemos probado:
1
(sk +1 s0 ) A2(k0 +1) 1 a0 sk0
2 0
Estudiando el lmite con k0 +, se prueba el teorema.
2 a2k
Si q =
1
21
1
1
= 2 k = k(1) =
(2 )
2
k
1
n
P+
k=0
k
21
q k converge.
X 1
converge para > 1, y diverge para 1
n
2.3. Series
53
D
2.3.3.
Teorema 10 an 0
P
n a k < 1
para n n0 P an converge
n
n a 1
para n n0 an diverge
n
an
Por comparacin con la serie geomtrica,
an converge. Si n an 1
diverge, ya que an no tiene lmite 0.
Corolario 136 an 0, lm n an = R
n+
P
Si R < 1 P an converge
Si R > 1
an diverge
Ejemplo 137 an =
(
Ejemplo 138
n3
,
2n
1
n+ 2
an
an converge
n a
n 1
n+
an = n1 ,
n+
cidir
Teorema 11 an> 0
P
an+1
k<1
a converge
a
n
P n
Si para n n0
an+1
1
an diverge
an
Demostracin. an+1 kan , n n0 an k nn0 an0 =
P
P
Si k < 1, k n converge
=
an converge
an0 n
k
k n0
comparacion
Si an+1
1 an+1 an , n n0 an an0 > 0, n n0
an
diverge (an no tiende a 0)
an
54
an+1
n+ an
Ejemplo 140 an =
lm an+1
n+ an
1
e
n! an+1
, an
nn
<1
Ejemplo 141 an =
=L
P
Si L < 1 P an converge
Si L > 1
an diverge
(n+1)! nn
(n+1)n+1 n!
n
n
n+1
(1+ n1 )
an converge.
1000n an+1
, an
n!
Ejemplo 142 an = n1 , bn =
1000 n
n+1
1
, lm an+1
n2 n+ an
an converge
bn+1
n+ bn
= 1, lm
= 1. El criterio no decide.
Por el criterio de 2k :
k
2 a2 k
2.3.4.
2k
1
1
=
=
= k
2 log(2k )
(k log(2))
k (log(2))
C para > 1
D para 1
Series alternadas
P+
n=0 (1)
an .
2.3. Series
55
s1
s3
s4
s2
a0 = s 0
P (1)n
Ejemplo 145
(1)n
:
n
(1)n
(1)n
n(1)n (1)n (n + (1)n )
1
=
=
n
n
n + (1)
n
n(n + (1) )
n(n + (1)n )
(1)n
1
= bn c n
n
n(n + (1)n )
n
Hemos escrito el trmino general
diferencia de dos sucesiones. SaP (1) an como P
bemos por el Ejemplo 145 que
bn converge, y
cP
n es una serie de trminos no
1
, que converge. Entonces
negativos, que puede clasificarse por su equivalente
n2
P
an converge.
(1)n an =
56
2.3.5.
1
(1)n n+(1)
n.
Se considera
P
Definicin
an es una serie absolutamente convergente (A.C.) si y solo si la
P 149
serie |an | converge.
Teorema 13 Una serie absolutamente convergente es convergente.
P
Demostracin. Sea
an absolutamente convergente. Definimos las sucesiones siguientes a partir de (an ):
an si an 0
+
an =
0 si an < 0.
0
si an 0
an =
an si an < 0.
Luego (a+
n ) y (an ) son sucesiones no negativas, y se cumple:
an = a+
n an
|an | = a+
n + an
Luego 0 a+
donde las series
n |an |, y 0 an |a
Pn |, de
+
por comparacin. Entonces, la serie (an a
n ) converge.
a+
n y
a
n convergen
Ejemplo 150
P sin(n)
Ejemplo 151
P (1)n
n2
sin(n)
n2
1
n
1
.
n2
diverge).
2.3. Series
57
El caso complejo
La Definicin 149 se aplica tambin a series de trminos complejos, donde se interpreta |an | como el mdulo complejo. El Teorema 13 se mantiene vlido: para eso
basta observar que si zn = an + ibn es un complejo, an , bn R se cumple |an | |zn |
y |bP
n | |zn |.
P
P
Si
| converge, |an | y |bn | convergen
P |znP
Ppor comparacin y luego (Teorema 13)
an y bn convergen y tambin entonces zn .
P n
Ejemplo 153 Si |z| < 1, z P
C, entonces
n z converge absolutamente. Para
n
probarlo, clasificamos la serie n |z| (de trminos no negativos) por el criterio de
la raz:
p
n
n
n |z n | = ( n n) |z|
|z| < 1,
P
por lo que n |z|n converge.
Ejemplo 154
1
1
[ n+n
4 n2 ].
1
n+(1)n n2 i
es A.C., ya que
1
| n+(1)
n n2 i | =
1
n+n4
converge
P (1)n
Ejemplo 155
, R:
n
por Leibnitz.
Para > 0, n1 & 0 y la serie converge
n
C.C
0
AC
1
2.3.6.
Reordenacin de series
Una propiedad habitual de la suma de un nmero finito de nmeros es la conmutativa: el orden de estos no altera la suma. Es decir, si A = a1 + a2 + . . . + an y :
58
P
P
P
Corolario
157 Si
an A.C. con suma S y
bn es reordenada de
an , entonces
P
bn A.C. con suma S.
P
P
Demostracin. Como
|an | converge, su reordenada
por el TeoP + |bn |Pconverge
convergen.
Sea
y
a
rema 14.
Volviendo
a
la
notacin
del
Teorema
12,
a
n
n P
P
P +
+
+
S = an y S = an . Se tiene que S = S S . Pero bn es una reordenada
P
P
P
T eorema 14
+
bn suma S , por lo que bn suma
de a+
n suma S . Anlogamente,
S.
P (1)n
2.3. Series
59
P
Teorema 15 (Riemann) Si C es un real
arbitrario
y
an converge condicionalmenP
te, entonces existe una reordenada de an que suma C.
Demostracin. Sea (pm )mN la sucesin de trminos no negativos
P de (an ), en el orden
que aparecen, y (qk )kN
serie an converge condicioP la de los
P negativos. Como la
1
nalmente, tenemos que pm y qk divergen a + .
P
n
m
k
Adems, como an
0, pm
0 y qk
0. Reordenamos la serie an de la siguiente
forma: ponemos en primer lugar tantos trminos positivos como hagan falta para superar por primera vez
P a C. Es decir: p1 + . . . + pm1 > C y p1 + . . . + pm1 1 C. Esto
es posible porque pm diverge a +.
AgregamosPdespus trminos negativos hasta pasar nuevamente por debajo de C (posible pues qk diverge a ):
(p1 + . . . + pm1 ) (q1 + . . . + qk1 ) < C,
(p1 + . . . + pm1 ) (q1 + . . . + qk1 1 ) C.
Luego agregamos nuevamente positivos:
(p1 + . . . + pm1 ) (q1 + . . . + qk1 ) + (pm1 +1 + . . . + pm2 ) > C,
(p1 + . . . + pm1 ) (q1 + . . . + qk1 ) + (pm1 +1 + . . . + pm2 1 ) C,
P
y se repite el procedimiento. Veremos que la reordenada de an as obtenida converge
a C. Sea (sn ) su reducida. La construccin anterior implica que (an ) crece entre
smj +kj y sm(j+1) +kj , y decrece entre sm(j+1) +kj y sm(j+1) +k(j+1) . Basta probar entonces
j
2.3.7.
Si pensamos
P+ extender
P+la propiedad distributiva del producto respecto a la suma, el
producto ( n=0 an )( n=0 bn ) dara origen a los siguientes sumandos, correspondientes a los productos trmino a trmino. La siguiente matriz contiene todos los productos
posibles de trminos generales an y bn :
P + P
P
P
Se prob, en rigor, que
an y
an divergen. Las series
pm y
qk se obtienen de ellas
eliminando ceros, as que tambin divergen
1
60
a0 b 0 a0 b 1 a0 b 2 . . . a 0 b n . . .
a1 b0 a1 b1 a1 b2 . . . a1 bn . . .
a2 b0 a2 b1 a2 b2 . . . a2 bn . . .
..
..
.
.
an b 0
...
an bn . . .
..
..
.
.
Para obtener una serie con estos trminos, el mtodo de cauchy consiste en agrupar
y sumar los elementos de las diagonales
definiendo cn = a0 bn + a1 bn1 +
P indicadas,
P
. . .+an b0 . Suponiendo que las series
a
y
b
convergen
a A y B respectivamente,
n
n
P
la pregunta que se plantea es si
cn converge a AB. Una vez ms, pueden darse
ejemplos en que lo anterior no se cumple, y solo tendremos esa propiedad en el caso
de convergencia absoluta.
P
P
Teorema
16 Si
an y
bn son A.C. sumando
P A y B respectivamente, y cn =
Pn
a
b
es
el
producto
de
Cauchy,
entonces
cn es A.C. con suma AB.
j=0 j nj
Demostracin. Elegimos un orden para recorrer la tabla de productos, generando una
nueva sucesin (dk )kN , de la siguiente manera: d1 = a0 b0 , d2 = a0 b1 , d3 = a1 b1 ,
d4 = a1 b0 , d5 = a2 b0 , de modo que:
(n+1)2
dk =
k=1
n
X
i=0
ai
n
X
bj .
(2.1)
j=0
Adems,
(n+1)2
X
k=1
|dk | =
n
X
i=0
|ai |
n
X
|bj |.
(2.2)
j=0
P
P
Como P
|an | y |bn | convergen, el segundo miembro de (2.2) est acotado.
P+ Deducimos que |dk | converge.
Volviendo
a
(2.1)
y
tomando
lmite
en
n,
k=1 dk = AB.
P
P
Para obtener la serie
cn a partir de
dk , hace falta reordenar los trminos ai bj , y
luego asociar losPque cumplen i + j = n. El primer paso puede hacerse por el Corolario 157, pues
dk es A.C.. El segundo por la propiedad asociativa (es fcil ver en
este caso que no se pierde la convergencia absoluta).
Captulo 3
Repaso de Funciones de una Variable
3.1.
Introduccin
En forma similar al Captulo 2, tratamos aqu temas que (a excepcin de la Seccin 3.3) corresponden a los cursos de Secundaria. Los conceptos de lmites, continuidad y derivadas se tratan en forma rpida, con nfasis en los conceptos principales y
no en los aspectos de clculo. Por una versin ms completa consultar la bibliografa.
Nos detendremos ms en la continuidad uniforme (Seccin 3.3) y en el desarrollo de
Taylor. En lo que sigue, suponemos conocido el concepto de funcin, dominio, codominio o recorrido, funcin compuesta. Por un repaso de estos conceptos nos referimos
a las notas de Geometra y lgebra Lineal. Trabajamos en este captulo con funciones
de una variable y variables en R (f : D R, D R).
3.2.
Lmites y continuidad
61
62
f (a) +
f (a)
f (a)
a
2 1
= mn(1 , 2 )
Nota 161
xa
Demostracin.
( ) Sea (xn )nN una tal sucesin, y > 0. Por la Definicin 160 podemos encontrar
> 0 tal que si x D, 0 6= |x a| < |f (x) L| < .
n
Como xn
a, elegimos n0 : n n0 , |f (x) L| < .
() Supongamos por absurdo que f (x) no tiene lmite L.
Entonces existe E(L, ) : > 0, x E 0 (a, ) D, f (x )
/ E(L, ). Tomamos = 1/n, y sea xn el x correspondiente. Entonces (xn )nN es una sucesin
n
en D {a}, xn
a f (xn ) L. Pero f (xn )
/ E(L, ), lo que es absurdo.
63
f (x)
Ejemplo 162
n
y e1/xn
0.
0, 1/x2n
1) lmx0 e1/x = 0. En efecto, si xn
Como consecuencia del teorema 17 (y sus extensiones para lmites infinitos o con
x ), se deduce que los lmites de funciones tienen las mismas propiedades
algebraicas que las que se presentaron en 2.2.3 para el caso de sucesiones. No
nos extenderemos entonces en el clculo de lmites.
Mencionamos que el concepto de equivalentes es anlogo (si f (x) y g(x) tienen
(x)
ambos lmite 0 o , se dicen equivalentes cuando lm fg(x)
= 1) y tiene las
mismas propiedades.
3.2.1.
Lmites laterales
La funcin f (x) =
1
0
si x 0
no tiene claramente lmite cuando x 0, pero
si x < 0
f (x)
1
x
s cuando x se acerca a 0 por la derecha o por la izquierda. Esto nos lleva a definir:
64
xa
3.2.2.
Continuidad
65
Ejemplo 167
2) esen(
3.2.3.
x)
es continua en x 0.
Teorema 19 (Bolzano)
f continua en [a, b], f (a) y f (b) son de distinto signo (no nulo), o f (a)f (b) < 0.
Entonces, existe c (a, b) tal que f (c) = 0
Demostracin. Sean por ejemplo f (a) < 0 y f (b) > 0 (el otro caso es anlogo).
Recurrimos al mtodo de biparticin introducido en la Seccin 2.2.4.
.
Tomamos a0 = a, b0 = b. Sea c0 = a+b
2
Si f (c0 ) = 0 ya encontramos la raz buscada. En caso contrario, si f (c0 ) > 0
f (x)
f (x)
a1
a
a2 a3
c0
b
b1 = b2 = b3
66
Corolario 168 Sean f continua en [a, b], f (a) 6= f (b) y un valor intermedio entre
f (a) y f (b) (f (a) < < f (b) o f (a) > > f (b) segn el caso).
Entonces existe c (a, b) tal que f (c) = .
Demostracin. La funcin g(x) = f (x) cumple las hiptesis del Teorema de
Bolzano, por lo que existe c (a, b) tal que g(c) = f (c) = 0, y entonces f (c) = .
Teorema 20 (Weierstrass)
Si f es continua en [a, b] f tiene mximo y mnimo en [a, b]:
m, M : m f (x) M x [a, b], m = f (xm ), M = f (xM ).
Demostracin.
i) Veamos en primer lugar que f es acotada superiormente en [a, b]. Si no fuera
as, se podra construir una sucesin f (xn ), con xn [a, b], tal que lmn f (xn ) =
+.
Consideremos (xn )nN . Como es acotada, del Teorema 5 del Captulo 2 deducik
mos que existe una subsucesin (xnk ) que converge, xnk
L.
Como a xnk b a L b y L [a, b].
k
f (L), lo que contradice lo supuesto
f es continua en L f (xnk )
(f (xn ) ).
ii) Sea M = supx[a,b] {f (x)}. Como M es el supremo del conjunto
{f (x) : x [a, b]} es fcil construir (f (xn )) con lmite M . (Basta tomar f (xn )
tal que M n1 f (xn ) M , que siempre existe por ser M el supremo). Una
k
Ejercicio 169
a) Dar un ejemplo de f continua en (a, b] y no acotada.
b) Si f es continua en [a, b], lmxa+ f (x) = +, probar que f tiene mnimo en
[a, b].
3.3.
67
Continuidad uniforme
f (x)
x2
a +
a2
a2
a2
x
a2 +
El ejemplo pone de manifiesto que para un dado, el valor max depende (adems de
) del punto a en que se est considerando la continuidad.
Para muchas aplicaciones (en particular en el clculo integral, como se ver) resulta til
obtener un que dependa de pero que valga para todos los puntos a de un intervalo.
Esto es algo ms exigente que la continuidad.
Si obtuviramos un tal , resultar que para todo par de puntos x, x0 I que disten
entre s menos que , se cumplira |f (x) f (x0 )| < . Llegamos a la definicin:
68
4) f (x) =
1
,
x
a
1a
a =
a2
1a
y a
a
1+a
a2
.
1+a
La segunda condicin es ms
1
a
+
1
a
1
a
1
x
a
1+a
a
1a
1
a0
a
restrictiva, y max = 1+a
. Puesto que max 0, no es posible obtener
() < max a I. La funcin no es uniformemente continua en I.
3.4. Derivadas
69
El ejemplo 4) nos muestra que una funcin continua en un intervalo acotado ((0, 1]
en el ejemplo) puede no ser uniformemente continua. Como veremos a continuacin,
si el intervalo es cerrado y acotado, entonces la continuidad implica la continuidad
uniforme.
Teorema 21 (Cantor) f continua en [a, b] f uniformemente continua en [a, b].
Demostracin. Supongamos por absurdo que f no es uniformemente continua. La
negacin lgica de la Definicin 171 nos conduce a que : , x , x0 I con
|x x0 | < y |f (x ) f (x0 )| . En otras palabras, para un particular, no
existe uniforme y puedo encontrar puntos tan cercanos como quiera con imgenes
que distan ms que .
Particularmente con cada = 1/n podemos construir sucesiones (xn )nN y (xn0 )nN
tales que:
1
|xn xn0 | < , |f (x) f (x0 )| ()
n
Como (xn )nN es acotada, tiene (Teorema 5) una subsucesin convergente (xnk )kN , y
k
lmk xnk = L [a, b]. Como |xnk x0nk | < n1k
0 lmk x0nk = L.
Como f es continua en L sabemos que lmk f (xnk ) = lmk f (x0nk ) = f (L). Pero
k
3.4.
Derivadas
70
r
P
(exa 1) xa a
ex ea
e f 0 (a) = ea .
= ea
xa
(x a)
1
; (sen(x))0 = cos(x); (cos(x))0 = sen(x).
x
3.4. Derivadas
71
f 0 gf g 0
g2
3.4.1.
72
3.4.2.
Nota 181 La condicin f 0 (a) = 0 no alcanza para asegurar que f tiene extremo en a,
como lo muestra el ejemplo f (x) = x3 en el punto x = 0.
Teorema 23 (Teorema del valor medio o de Lagrange)
Si f es continua en [a, b] y derivable en (a, b) c (a, b) tal que f 0 (c) =
f (b)f (a)
.
ba
Demostracin.
i) Veamos en primer lugar el caso f (b) = f (a) (Teorema de Rolle). Por el Teorema 20 de Weierstrass, existen mximo M y mnimo m de f en [a, b]. Si ambos ocurren en los extremos a y b del intervalo, como f (a) = f (b) tendramos m = M , y por lo tanto la funcin sera constante en [a, b]. En ese caso
f 0 (c) = 0c (a, b).
Supongamos ahora que uno de ellos (por ejemplo el mximo) se da en un punto
de (a, b): es decir, f (c) = M, c (a, b). Entonces f tiene un mximo relativo
en c y por lo tanto f 0 (c) = 0.
(a)
.
En cualquier caso, existe c (a, b) : f 0 (c) = 0 = f (b)f
ba
(a)
ii) En el caso general, sea g(x) = f (x) f (b)f
(x a). La funcin g as definida
ba
cumple las hiptesis del caso i), ya que g(a) = g(b) = f (a).
(a)
Entonces, c (a, b) : f 0 (c) f (b)f
= 0.
ba
3.4. Derivadas
73
f (x)
f (b)
f (a)
a
Proposicin 182 Si f es derivable en un intervalo (a, b), f 0 (x) > 0 en (a, b), entonces
f es estrictamente creciente en (a, b), es decir x < x0 f (x) < f (x0 ).
Demostracin. Sean x, x0 (a, b), x < x0 . Si fuese f (x) f (x0 ), se deduce que
f (x0 )f (x)
0. Por el Teorema de Lagrange, existe c (x, x0 ) tal que f 0 (c) 0, lo
x0 x
que es absurdo por hiptesis.
Nota 183 En forma anloga, si f 0 (x) < 0 en (a, b), f es estrictamente decreciente en
(a, b).
De lo anterior surge que estudiando el signo de f 0 (x) se puede bosquejar el crecimiento de la funcin f (x). Para una representacin grfica ms completa de una
funcin, es usual estudiar la concavidad, que nos indica si la pendiente de la curva est
creciendo o decreciendo con x.
Concavidad positiva
Como la pendiente es f 0 (x), su crecimiento est dado por el signo de la derivada
de f 0 (x), si sta existe. A la derivada de f 0 (x) se le llama derivada segunda de f , y se
2
denota f 00 o tambin ddxf2 .
74
No entremos aqu en ms detalles (asntotas, etc.) del estudio analtico y representacin grfica de funciones, que es un tema usual en los cursos de secundaria. Terminamos la seccin con dos resultados que sern empleados en la Seccin 3.6.
Teorema 24 (Cauchy)
Si f, g son continuas en [a, b] y derivables en (a, b),
c (a, b) : f 0 (c)[g(b) g(a)] = g 0 (c)[f (b) f (a)]
.
Demostracin. Sea h(x) = f (x)[g(b) g(a)] g(x)[f (b) f (a)]. Luego h(a) =
h(b) = f (a)g(b) g(a)f (b). Por el Teorema 23, existe c (a, b) : h0 (c) = 0.
(c)
Si x a+ , c a+ , y por tanto lm+ fg0 (c)
= .
xa
lm+
xa
f (x)
= .
g(x)
1
2
ex 1x
x2
lmx0
ex 1x
x2
= 12 .
3.5.
75
Funciones inversas
Anlogamente, lm+ f
(y) = f
(y0 ).
yy0
76
1
Nota 185 La expresin (f 1 )0 (y) = f 0 (f 1
permite deducir que si f tiene derivadas
(y))
de mayor orden (derivadas segunda, tercera, etc.), tambin las tiene f 1 , y pueden
obtenerse derivando la frmula anterior por la regla de la cadena.
arcsen(x)
sen(x)
1
- 2
-1
-1
- 2
3.6.
Desarrollo de Taylor
3.6.1.
rdenes de infinitsimos
Definicin 187 Sean f (x), g(x) con lmite 0 cuando x a. Se dice que f (x) es de
(x)
mayor orden que g(x) (y se denota f (x) = o(g(x))) si y solo si lm fg(x)
= 0.
xa
77
y
f (x)
yt
f (a)
x2
sen(x)
x0
x
= x sen(x)
0.
f (x) xa
g(x)
78
3.6.2.
Teorema de Taylor
Teorema 28 (Taylor)
Sea f derivable hasta el orden n en x = a. Entonces existe un nico polinomio
Pn (f, a), de grado n en (x a), tal que f (x) = Pn (f, a) + rn (x), con rn (x) =
o((x a)n ).
(n)
00
Adems, Pn (f, a) = f (a) + f 0 (a)(x a) + f 2!(a) (x a)2 + . . . + f n!(a) (x a)n
(polinomio de Taylor de f en a).
rn (x) se denomina resto del desarrollo de Taylor de f de orden n en x = a.
Demostracin.
(i) Veamos en primer lugar la unicidad. Supongamos que f (x) =
a0 +a1 (xa)+. . .+an (xa)n +rn (x) = b0 +b1 (xa)+. . .+bn (xa)n +Rn (x)
con rn (x) = o((x a)n ), Rn (x) = o((x a)n ). Como rn (x) y Rn (x) tienen
lmite 0 para x a, se cumple que f (a) = a0 = b0 . Luego a1 (x a) + . . . +
an (xa)n +rn (x) = b1 (xa)+. . .+bn (xa)n +Rn (x). Dividiendo por (xa)
y tomando lmite con x a, se obtiene que a1 = b1 , ya que rn (x) = o((x a))
y Rn (x) = o((x a)). Repitiendo el procedimiento por induccin, se llega a
que ai = bi , i = 1, . . . , n, lo que prueba la unicidad.
(ii) Para la existencia, razonamos por induccin completa. Para n = 1, el teorema
equivale a la observacin que se hizo al principio de la seccin. Suponiendo el
teorema vlido para n 1, lo probaremos para n. Debe probarse que f (x) =
Pn (f, a)+rn (x), con rn (x) = o((xa)n ). En otras palabras, tomando la primera
ecuacin como definicin de rn (x):
f (n) (a)
(x a)n ]
rn (x) = f (x) [f (a) + f (a)(x a) + . . . +
n!
0
xa
rn (a)
0. Derivando la expresin anterior en un entorno
se debe probar que (xa)
n
de a (f es derivable), tenemos: rn0 (x) =
f (n) (a)
(xa)n1 ] = f 0 (x)Pn1 (f 0 , a).
(n 1)!
79
n1
0 o tambin
rn (a) xa
(xa)n
0 x
rn
n(xa)n1
xa
0.
x2
2!
+ ... +
x3
3!
Ejemplo 193 lm
= lm 1+x+x
x5
5!
xn
.
n!
+ ... +
2 /2+o(x2 )1x
x2
x0
(1)k x2k+1
(2k+1)!
1
2
)
+ lm o(x
= 12 .
x2
x0
1
Ejemplo 194 Pn ( 1x
, 0) = 1+x+x2 +. . .+xn . Para verlo sin calcular las derivadas,
observar que
1 + x + . . . + xn =
1
xn+1
1 xn+1
= 1 + x + . . . + xn +
.
1x
1x
1x
n+1
1
Como x1x = o(xn ) y 1x
es derivable infinitas veces en 0, el polinomio de Taylor
surge de la unicidad del desarrollo.
4
x 2 x3 x4
+
+
+ o(x4 )
2!
3!
4!
El Ejemplo 193 mostr una aplicacin del desarrollo de Taylor al clculo de lmites
indeterminados. Veamos una aplicacin al estudio de extremos relativos de funciones.
Como se vio en la Seccin 3.4, en un extremo relativo se anula la derivada (si existe).
Sin embargo, la anulacin de la derivada no alcanza para saber si el punto es un mximo, un mnimo o si no es ni siquiera un extremo. De hecho, veremos que la primera
derivada no nula, si existe, clasifica el punto:
80
(n) (a)
n!
xa
)
)
]. Como o((xa)
f (x) f (a) = (x a)n [ f n!(a) + o((xa)
0, en E 0 (a, ) el
(xa)n
(xa)n
signo del parntesis recto es el de f (n) (a). Si n es par, este es el signo de f (x) f (a),
de donde se deduce a) y b). Si n es impar, (x a)n cambia de signo a un lado y otro
de a, por lo que tambin lo hace f (x) f (a).
3.6.3.
Para diversas aplicaciones resulta til tener una expresin para el resto rn (x) en
trminos de la funcin f . Existen varias formas, pero nos limitaremos a la ms usada,
la forma de Lagrange, que generaliza el Teorema 23 del valor medio. Ntese que hace
falta hiptesis ms fuertes para f (derivada de orden n + 1 en un entorno de a).
Teorema 29 Si f tiene derivada de orden n+1 en E(a, ), entonces f (x) = Pn (f, a)+
(n+1) (c)(xa)n+1
, para algn c [a, x].
rn (x), donde rn (x) = f
(n+1)!
Demostracin. Pn (f, a) = f (a) + f 0 (a)(x a) + . . . +
funcin auxiliar F (t) sustituyendo a por t:
f (n) (a)(xa)n
.
n!
Definimos una
f (n+1) (t)(xt)n
.
n!
G(x) G(a)
G (c)
n!(1)(n + 1)(x c)n
(n + 1)!
f (x) Pn (f, a)
f (n+1) (c)
f (n+1) (c)
=
r
(x)
=
(x a)n+1 .
n
n+1
(x a)
(n + 1)!
(n + 1)!
81
P
n
2
xn
Ejemplo 198 ex = 1 + x + x2 + . . . + xn! + . . . = +
n=0 n! Si sn (x) es la reducida
n-sima de la serie, sn (x) = Pn (ex , 0). Como ex es infinitamente derivable, con
|x| |x|n+1 n+
c xn+1
derivadas ex , ex sn (x) = rn (x) = e(n+1)!
, y |ex sn (x)| e (n+1)!
0.
Nota 199 No siempre es cierto que el desarrollo de Taylor de una funcin infinitamente derivable converge para n + a la propia funcin, ni siquiera en un entorno de
n+
a (no siempre ocurre que rn (x) 0).
82
Captulo 4
Integrales
4.1.
Introduccin
Los orgenes del clculo integral se remontan a ms de 2000 aos, cuando los
griegos calculaban reas por el mtodo de exhaucin. La idea consiste en aproximar
la regin cuya rea se quiere determinar por regiones poligonales de rea conocida, y
usar estas aproximaciones para obtener la frmula exacta.
Veamos un ejemplo.
f (x)
83
(4.1)
84
Captulo 4. Integrales
f (x)
f (x)
Sn
sn
n1 h
X
a
i=0
n
i2 a
a3 X 2
(i + 1)
= 3
i A.
n
n
n i=1
(4.2)
Pk 2
k3
k2
k
Para evaluar las sumatorias, recurrimos a una frmula:
i=1 i = 3 + 2 + 6 que
Pk1 2
3
2
puede probarse por induccin completa. Se deduce que i=1 i = k3 k2 + k6 . Se
3
3
2
3
a3
a3
a3
a3
a3
obtiene entonces sn = na3 [ n3 n2 + n6 ] = a3 2n
+ 6n
2 , mientras que Sn = 3 + 2n + 6n2 .
3
Tenamos sn A Sn . Como sn y Sn tienen lmite a3 cuando n +, dedu3
cimos que A = a3 . En el razonamiento anterior, hemos utilizado con cierta libertad
el concepto de rea. De hecho hemos asumido que est bien definida el rea como
un nmero asociado a una regin del plano, que si un rea contiene a otra su rea es
mayor o igual, etc.
Si bien esto parece intuitivo, nos veramos en dificultades ante la pregunta de cmo se define el rea de un conjunto del plano. Un camino para dar la definicin, es
justamente el procedimiento anterior, al menos para regiones dadas por debajo de una
funcin.
En lo que sigue, obtendremos a partir de una funcin f , por un procedimiento
analtico como el anterior, un nmero real que llamaremos integral de f en un intervalo
3
(en el ejemplo, a3 es la integral de f (x) = x2 en el intervalo [0, a]).
Luego definiremos el rea debajo de una funcin f como ese nmero. Ms all de
esta observacin de carcter formal, importa rescatar del ejemplo el mtodo a seguir:
partir el intervalo, construir funciones escalonadas por encima y por debajo de la funcin, tomar lmite afinando la particin. Estas son las ideas bsicas para construir la
integral.
4.2.
85
86
Captulo 4. Integrales
f (x)
n1
X
i=0
n1
X
i=0
(xi+1 xi ) .
87
En el ejemplo de la parbola hemos visto que el rea era el lmite de una sucesin
de sumas. Extendemos esta propiedad:
Definicin 205 Sea P = {x0 , . . . , xn } una particin de [a, b]. Un conjunto de nmeros XP = {x0 , x1 , . . . , xn1 } se llama conjunto admisible para P si y solo si se
cumple xi [xi , xi+1 ], i = 0, n 1 (es decir, XP es una eleccin de puntos de
los intervalos de P ). Si f es acotada en [a, b],
suma de Riemann de f
Pllamaremos
n1
asociada a P , XP al nmero SR(f, P, XP ) = i=0 f (xi )(xi+1 xi ).
Teorema 31 Si f es continua en [a, b], entonces
> 0, > 0 : |P | < |I SR(f, P, XP )| < ,
donde XP es admisible para P .
Demostracin. Dado > 0, elegimos segn el Lema 204.
Si |P | < , S(f, P ) s(f, P ) < . Por definicin, s(f, P ) I S(f, P ). Adems,
si XP = {x0 , . . . , xn1 } es un conjunto admisible, mi f (xi ) Mi , de donde
s(f, P ) SR(f, P, XP ) S(f, P ). Luego
|I SR(f, P, XP )| S(f, P ) s(f, P ) < .
Corolario 206 Sea f continua en [a, b]. Si Pm es una sucesin de particiones tal que
m
m Rb
|Pm |
0 y Xm es admisible para Pm , entonces SR(f, Pm , Xm )
a f (x)dx.
La demostracin es inmediata acudiendo al Teorema 31.
Observacin
2 El Corolario 206 nos muestra que la integral es un lmite de sumas
P
f (xi )xi (aqu xi = xi+1 xi ) cuando las longitudes de los intervalos xi
Rb
tienden a cero. Este es el origen de la notacin a f (x)dx
introducida por Leibniz, en
R
que la sumatoria se sustituye por el smbolo integral , y x por dx para indicar paso
al lmite.
Ra
3
Ejemplo 207 0 x2 dx = a3 . En efecto, f (x) = x2 es continua y por Rtanto las sumas
s(f, Pn ) y S(f, Pn ) (que son sumas de Riemann) deben converger a x2 dx siempre
n
que |Pn |
0. Tomando Pn como en la introduccin se encuentra que la integral es
a3
.
3
88
Captulo 4. Integrales
4.3.
Propiedades de la Integral
Proposicin 208
1. Linealidad: si f y g son continuas en [a, b], , R entonces:
Z
Z
[f (x) + g(x)]dx =
Z
f (x)dx +
Rb
4. Si f g en [a, b] entonces
Rb
5. Si a < b entonces |
Rb
a
g(x)dx.
a
Rc
a
f (x)dx =
Rb
a
f (x)dx +
f (x)dx 0.
f (x)dx
f (x)dx|
Rb
a
Rb
a
g(x)dx.
|f (x)dx|.
89
4.4.
90
Captulo 4. Integrales
1
0
si x > 0
es seccionalmente contisi x 0
1
x
-1
sen x1 si x 6= 0
no es seccionalmente
0
si x = 0
continua, pues no existen los lmites laterales en x = 0.
n1
X
(Mi mi )(xi+1 xi ).
i=0
{i{0,...,n1}: c[x
/ i ,xi+1 ]}
91
f (x)
b = xn
En los intervalos que contienen a c (que pueden ser uno o dos), acotamos (Mi
mi )(xi+1 xi ) < 2k. Como son a lo sumo dos, se deduce que S(f, P ) s(f, P ) <
4.5.
Teoremas fundamentales
4.5.1.
Comencemos definiendo el valor medio de una funcin en un intervalo. Este representa la altura promedio de la grfica (ver Figura 4.3 tal que el rea por debajo de
la constante coincide con el de la funcin.
92
Captulo 4. Integrales
f (x)
4.5.2.
Hasta ahora tenemos una definicin de integral con buenas propiedades, pero el
procedimiento de clculo (como lmite), si bien puede ser til desde el punto de vista
de obtener aproximaciones numricas, no es cmodo del punto de vista analtico.
Encaramos esto a continuacin; como se ver, el clculo se basa en el proceso
inverso a la derivacin.
Definicin 221 F (x) es una primitiva de f (x) en un intervalo I si F 0 (x) = f (x), x
I.
93
Rx
Sea f seccionalmente continua. Consideremos F (x) = a f (t)dt, donde a es fijo y
x variable (se utiliza la variable t, variable muda dentro de la integral para distinguir
del extremo).
f (t)
F (x)
94
Captulo 4. Integrales
2. Como f es continua en x0 y f tiene a lo sumo un nmero finito de discontinuidades, f es continua en E(x0 , ). Para |h| < :
Z
F (x0 + h) F (x0 )
1 x0 +h
=
f (t)dt = f (x0 + eh),
h
h x0
con e : 0 < e < 1, gracias al Teorema 32 del valor medio, donde se debe
distinguir entre los casos h > 0 y h < 0. Tomando lmite con h 0:
lm
h0
F (x0 + h) F (x0 )
= lm f (x0 + eh) = f (x0 ),
h0
h
(4.3)
Rx
a
Rb
a
f (t)dt.
4.5.3.
Ejemplos
95
f (x)
1
F (x)
Ejemplo 226
Ra
0
xn dx =
xn+1
:
n+1
xn+1 a
an+1
|0 =
.
n+1
n+1
Ejemplo 228
Rb
Ejemplo 229
R1
R1
xdx = 0 x1/2 = 23 x3/2 |10 = 23 .
0
1
dx
1 x
= log(x)|b1 = log(b).
96
Captulo 4. Integrales
Rx
Ejemplo 230 Hallar c y f continua tal que c f (t)dt = cos(x) 21 .
Derivando a ambos lados tenemos que f (x) = sen(x), y por la Regla de Barrow:
Z x
(4.4)
(sen(t))dt = cos(t)|xc = cos(x) cos(c),
c
4.6.
Clculo de primitivas
R
Notaremos por f (x)dx al conjunto de las primitivas de f (x). El problema es
hallar una primitiva F (x), para poder aplicar la Regla de Barrow. El camino a seguir
es, conociendo un nmero reducido de primitivas (identificables
R como derivadas de
funciones), mediante transformaciones y propiedades, escribir f (x)dx en funcin de
primitivas conocidas.
Es importante saber que el problema de hallar funciones elementales F (x) (que son
las resultantes de operar y/o componer polinomios, ex , sen(x), cos(x) y sus inversas)
que sean primitivas de otras funciones elementales, no siempre tiene solucin.
En particular, existen funciones V : R R derivables en todo punto cuya derivada
V 0 es acotada, pero no integrable. Por tanto V es una primitiva de V 0 pero esa primitva
no puede escribirse como la integral de V 0 , como indica la frmula de G en la demostracin de la regla de Barrow. La llamada funcin de Volterra (cuya construccin est
basada en la funcin x2 sen(1/x)) es un ejemplo de esta situacin.
El conjunto de partida para el clculo explcito de primitivas es el de las llamadas
primitivas elementales:
R
Adx = Ax + C.
R
+1
x dx = x+1 + C, 6= 1.
R dx
= log |x| + C.
x
R x
e dx = ex + C.
R
sen(x)dx = cos(x) + C.
R
cos(x)dx = sen(x) + C.
97
dx
sen2 x
= cot(x) + C.
dx
1+x2
= arctan(x) + C.
dx
1x2
dx
cosh2 (x)
= tanh(x) + C.
dx
senh2 (x)
= coth(x) + C.
dx
1x2
= arctanh(x) + C.
dx
cos2 x
= tan(x) + C.
dx
x2 1
= arccosh(x) + C.
dx
1+x2
= arcsenh(x) + C = log |x +
4.6.1.
= arcsen(x) + C.
1 + x2 | + C.
Linealidad de la primitivaa
R
Sean
f
y
g
funciones
continuas
en
un
intervalo
[c,
d].
Entonces
(af + bg)dx =
R
R
a f dx + b gdx.
Rx
Rx
Rx
Si F es primitiva de af +bg,
F = c (af +bg)+C = a c f +b c g +C.
R entonces
R
Por tanto F es primitiva de a f +b g o sea, F es combinacin lineal de una primitiva
de f y una primitiva de g. (La inclusin en el otro sentido es semejante.)
Ejemplo 232
R
R
(3 cos(x) + 2ex )dx = 3 cos(x)dx + 2 ex dx = 3 sin(x) + 2ex + C.
Ejemplo 233
(an xn +an1 xn1 +. . .+a1 x+a0 )dx = an xn+1 +. . .+a1 x2 +a0 x+C.
n+1
R
Ejemplo 234 cos2 (x)dx
Recordando las frmulas trigonomtricas cos2 (x) + sen2 (x) = 1 y
cos2 (x) sen2 (x) = cos(2x) se obtiene cos2 (x) = 1+cos(2x)
, por lo que:
2
Z
1
sen(2x)
cos2 (x)dx = x +
+ C.
2
4
98
4.6.2.
Captulo 4. Integrales
Si se tiene resuelto el problema de hallar una primitiva para una funcin f (x) continua en un intervalo entonces tambin puede hallarse la primitiva de f (g(t))g 0 (t) donde
con f . En efecto, sea
Rg es una funcin con derivada continua que puede componerse
R
0
f (x)dx = F (x) + C (F primitiva de f ). Entonces f (g(t))g (t)dt = F (g(t)) + C.
Esto se debe a que por la regla de la cadena, (F og)0 (t) = F 0 (g(t))g 0 (t) = f (g(t))g 0 (t).
Veamos un ejemplo:
R
R
Ejemplo 235 t3 cos(t4 )dt = 14 (4t3 )(cos(t4 ))dt.
integral, considerando x = g(t) = t4 y f (x) = cos(x) tenemos
R En la segunda
1
0
f (g(t))g (t).R
4
R
Resolvemos
f (x)dx = cos(x)dx = sen(x) + C, y componiendo con g(t) se
R 3
obtiene t cos(t4 ) = 14 sen(t4 ) + C.
La notacin de Leibnitz para la integral resulta especialmente adecuada para tratar
este procedimiento.
Si x = g(t),
g 0 (t) R= dx
o tambin dx = g 0 (t)dt.
dt
R escribimos
0
Tenemos f (g(t))g (t)dt = f (x)dx = F (x) + C = F (g(t)) + C.
El trmino dx en la integral sirve como recordatorio de que la variable de integracin es x, y que si se realiza una sustitucin x = g(t), debe ponerse dx = g 0 (t)dt. De
otroRmodo, nos
R sentiramos inclinados a escribir
f (x) = f (g(t)), que NO es correcto.
R
Ejemplo 236 cos2 (t)sen(t)dt. Poniendo x = cos(t). dx = sen(t)dt, entonces:
Z
Z
cos3 (t)
x3
2
+ C.
cos (t)sen(t)dt = x2 dx = + C =
3
3
R
R
Ejemplo 237 sen(t t) dt = 2 sen(u)du = 2 cos(u)+C = 2 cos( t)+C, donde
.
se ha hecho el cambio de variable u = t, du = 2dt
t
R
R
R
Ejemplo 238 tg(t)dt = sen(t)
dt = du
= log |u| + C = log | cos(t)| + C,
cos(t)
u
donde se ha hecho el cambio de variable u = cos(t), du = sen(t)dt.
R x
R du
1
=
Ejemplo 239 1+x
dx
=
u
+
C
=
1 + x2 + C, donde se ha hecho el
2
2
u
cambio de variable u = x2 + 1, du = 2xdx.
R3
Ejemplo 240 Supongamos que se quiere calcular la integral definida 1 log(x)
dx. Calx
culamos la primitiva por cambio de variable:
Z
Z
log(x)
u2
(log(x))2
= udu =
+C =
+ C,
x
2
2
dx
.
x
99
Luego, evaluamos la primitiva:
log(x)
dx =
x
(log(x))2
2
3 (log(3))2
.
=
2
1
Sin embargo, lo anterior puede hacerse de otro modo, incluyendo los extremos en
el cambio de variables. Con el mismo cambio:
Z log(3)
Z 3
(log(3))2
log(x)
dx =
udu =
.
x
2
0
1
Como la segunda integral es en la variable u = log(x), se transformaron los extremos
1 y 3 en log(1) y log(3) respectivamente.
Justifiquemos este paso con una proposicin de carcter general.
Proposicin 241 Sean f : I R continua, g : [a, b] R con derivada continua y
Rb
R g(b)
g([a, b]) I. Entonces a f (g(t))g 0 (t)dt = g(a) f (x)dx.
Demostracin. Si F (x) es primitiva de f , ya se vio que F (g(t)) es primitiva de
f (g(t))g 0 (t). Entonces:
Z
a
b
g(b) Z
f (g(t))g (t)dt = F (g(t)) = F (g(b)) F (g(a)) = F (x)
=
g(b)
g(a)
f (x)dx.
g(a)
R1
Ejemplo 242 1 1 x2 dx. Si se pone x = sen(t), para t [/2, /2] se tiene
1 x2 dx =
/2
/2
cos (t)dt =
t sen(2t)
+
2
4
/2
= /2.
/2
En los Ejemplos 242 y 240, se calcul la integral sin obtener la primitiva de la funcin,
sino evaluando la integral en la nueva variable. El Ejemplo 242 muestra, sin embargo,
una diferencia respecto a los anteriores. En los anteriores se saba integrar f (x) y se
utilizaba el cambio para integrar f (g(t))g 0 (t). En el Ejercicio 242, es exactamente al
revs.
100
Captulo 4. Integrales
4.6.3.
f (x)g 0 (x)dx +
f 0 (x)g(x)dx =
b R
Rb
b
Corolario 244 a f (x)g 0 (x)dx = f (x)g(x) a f 0 (x)g(x)dx
a
101
R
Ejemplo 247 log(x)dx. Aqu aparece una sola funcin en el integrando, pero siempre podemos escribir log(x) = 1 log(x). Aprovechando
R que log(x) tiene derivada
0
sencilla, ponemos f (x) = log(x) y g (x) = 1. Entonces log(x)dx =
Z
Z
1
1 log(x)dx = x log(x) x dx = x log(x) x + C = (x 1) log(x) + C.
x
4.6.4.
A
.
x
A1
x
A2
(x)2
+ ... +
Ak
.
(x)k
M x+N
.
(x)2 + 2
M1 x+N1
(x)2 + 2
+...+
Mk x+Nk
((x)2 + 2 )k
1
.
(x1)(x+1)3
1
A
B1
B2
B3
=
+
+
+
(x 1)(x + 1)3
(x 1) (x + 1) (x + 1)2 (x + 1)3
Para hallar los coeficientes:
102
Captulo 4. Integrales
(iii)
dx
(x)k
1
1
= k1
+ C, (k > 1).
(x)k1
R M (x)
R M +N
= (x)
dx, donde es posible resolver por
2 + 2 dx +
(x)2 + 2
separado ambas integrales. La primera vale:
Z
Z
M (x )
M
du
M
dx =
=
log(u + 2 ) + C,
2
2
2
(x ) +
2
u+
2
M x+N
dx
(x)2 + 2
u +1
donde u =
Z
x
.
M
Mx + N
M + N
x
dx =
log((x )2 + 2 ) +
arctan(
) + C.
2
2
(x ) +
2
M x+N
dx
((x)2 + 2 )k
103
M (x)
dx
((x)2 + 2 )k
+ (M + N )
dx
.
((x)2 + 2 )k
Nuevamente calculamos por separado cada una de las dos ltimas integrales. La
primera es igual a
Z
M
du
1
M
=
+C
2
k
2
(u + )
2 (k 1)(u + 2 )k1
1
M
=
+ C,
2(k 1) ((x )2 + 2 )k1
mientras que la segunda integral es igual a:
Z
Z
M + N
dx
du
M + N
=
2k
2
2
k
2k1
2
((x ) / + 1)
(u + 1)k
La integracin del ltimo trmino puede resolverse en forma iterativa reduciendo
el orden de k mediante una integracin por partes. Esto se ver en el curso prctico.
Ejemplo 250 (Continuacin)
1
1
+ C.
4 (x+1)2
dx
(x1)(x+1)3
1
8
log |x 1| 18 log |x + 1| +
1 1
4 x+1
104
Captulo 4. Integrales
4.7.
En las secciones anteriores se busc calcular integrales por mtodos analticos, que
nos den el valor de la integral en trminos de funciones conocidas. Como se seal,
esto no siempre es posible. Por otra parte, si se buscan valores numricos, de todas
formas habr que calcular estas funciones (por ejemplo, un logaritmo) en trminos
aproximados.
Los mtodos numricos de integracin (antiguamente
llamados de cuadratura)
Rb
proveen aproximaciones numricas al valor a f (x) dx, independientemente del carcter elemental o no de la primitiva. Por otra parte, un buen mtodo debe permitir
acotar el error metido en la aproximacin. Estos mtodos han sido potenciados por
el advenimiento de las computadoras y corresponden a una rama de la matemtica, el
anlisis numrico. No pretendemos aqu adentrarnos en ella, sino dar ejemplos introductorios de algunos de sus mtodos.
En principio, cualquier suma de Riemann es una aproximacin numrica a la integral, en la que se ha dividido el intervalo [a, b] de acuerdo a una particin, y se aproxima
la funcin en el intervalo [xi , xi+1 ] por una constante f (xi ). Este seraa un primer mtodo. Si la funcin f es suficientemente regular, es de esperarse que la aproximacin
mejore si se utiliza una recta adecuada, por ejemplo, en lugar de una constante. Esto
conduce a los mtodos que presentamos a continuacin.
Consideremos P = {x0 , x1 , . . . , xn } con xi = a + h i , h = ba
particin en n
n
intervalos iguales.
Z
I=
f (x) dx =
a
n1
X
i=0
xi+1
Ii , con Ii =
f (x) dx
xi
105
Notaremos fi al valor f (xi ), i = 0, . . . , n. En cada mtodo I (n) denotar la aproximacin a la integral, con una particin de n intervalos. El error cometido es I I (n) .
4.7.1.
(n)
n1
X
f (xi )h = h
n1
X
i=0
fi
i=0
n
xi
4.7.2.
xi+1
Aproximamos Ii por
fi +fi+1
h
2
I (n) =
h
(f0 + fn ) + h(f1 + f2 + + fn1 )
2
4.7.3.
106
Captulo 4. Integrales
f (x)
xi
xi+1
medio).
I
(n)
=h
n1
X
f (xi )
i=0
n
I (n)
I por ser suma de Riemann.
f (x)
f (xi )
xi
4.7.4.
xi
xi+1
107
fi+1
fi+2
fi
xi
xi+1
xi+2
correcto. Pero, en la prctica se tiene un n limitado, y es til saber medir lo cerca que
se est del lmite. Para eso se deben dar cotas para el error cometido. Esto solo es
posible si se hacen hiptesis de regularidad sobre la funcin f , ya que de otro modo
no hay garantas de que f se comporte de manera predecible en los puntos donde es
evaluada.
Suponiendo que f tiene derivadas continuas hasta el orden k en [a, b], se define:
Mk = max{|f (k) (x)|, x [a, b]}.
Se tienen las siguientes cotas para cada mtodo, suponiendo en cada caso que f
tiene las derivadas necesarias.
Mtodo
Rectngulo
1
M1 (b a)h
2
M2 (ba) 2
h
12
M2 (ba) 2
h
24
M4 (ba) 4
h
180
Trapecio
Tangente
Simpson
donde h =
ba
n
y xi = a + ih.
108
Captulo 4. Integrales
Rx
Demostracin. Sea Ii = xii+1 f (x)dx. Desarrollamos por Taylor a la funcin f entorno al punto xi = xi +x2 i+1 , con el resto en la forma de Lagrange:
f (x) = f (xi ) + f 0 (xi )(x xi ) +
f 00 (c)
(x xi )2 ,
2
xi
xi
xi + h
(xxi )2
2
xi+1
xi h
2
f 00 (c)
(x xi )2 dx
2
= 0, se obtiene que:
Z xi+1 00
f (c)
f 00 (c)
2
(x xi )2 dx
(x xi ) dx
2
2
xi
xi
h/2
Z
Z
M2 xi+1
M2 h/2 2
M2 u3
M2 h3
2
(x xi ) dx =
u du =
=
.
2 xi
2 h/2
2 3 h/2
24
Z
|Ii f (xi )h| =
xi+1
Entonces:
n1
n1
X
X
M2 h3
M2 (b a)h2
)h
|I
f
(x
)h|
n
=
.
I
f
(x
i
i
i
24
24
i=0
i=0
Las acotaciones del error presentadas nos muerstran que el mtodo ms eficiente es
el de Simpson, siempre que f tenga derivada cuarta, ya que el error es un infinitsimo
de mayor orden en h. Si h 0 (n +), el error en el mtodo de Simpson ser a
la larga menor. Existen otros mtodos (en los que no entraremos), que logran mayor
eficiencia utilizando particiones no uniformes, adaptndose de acuerdo a la funcin.
4.8.
4.8.1.
reas
Como la integral surgi del intento de calcular reas, esta es una primera aplicacin
natural.
Si f (x) 0 es seccionalmente continua en [a, b], definimos el rea de la regin de
puntos del plano {(x, y) : 0 y f (x), x [a, b]}, como el nmero:
Z b
A=
f (x) dx
a
109
y
f
Si se quiere definir (y calcular) el rea para una regin R del tipo R = {(x, y) :
f (x) y g(x), x [a, b]}, es natural tomar
b
g(x) dx
A(R) =
a
f (x) dx
a
R
f
a
A=
a
x2
b 1 2 dx
a
u= a
y2
b2
=1
x2
b 1 2 dx =
a
2b 1
a
x2
dx =
a2
1 u2 du = 2ab = ab
2
1
Z
=x 2ab
x2
a2
110
Captulo 4. Integrales
y
b
y=b
x2
a2
4.8.2.
q
1
q
y = b 1
x2
a2
Volmenes
Sea R un conjunto del espacio de tres dimensiones, que suponemos acotado. Buscamos una forma de calcular el volumen V (R).
Una vez ms, no hemos definido el volumen para tal conjunto. Este tema se retomar en el 2do. curso, pero veremos aqu un mtodo plausible para calcular el volumen
en algunos casos particulares, sin preocuparnos por formalizar.
Si R est acotado entre ls planos z = a y z = b, suponemos que al cortar R con un
plano de altura z [a, b], se obtiene una regin plana de rea A(z).
z
A(z)
zi
a
y
Consideremos una particin P = {z0 , z1 , . . . , zn } de [a, b], y aproximamos el volumen de la porcin de R comprendida entre los planos z = zi , z = zi+1 , por el volumen
del cilindro de base A(zi ) y altura (zi+1 zi ).
Pn1
El volumen aproximado es VP = i=0
A(zi )(zi+1 zi ). Si A(z) es seccionalmente
|P |0
continua, VP
Rb
a
111
A(z) dz
V =
a
z 3 R
2 3
4
2
3
(R z ) dz = R z
V =
= 2R R = R3
3
3
3
R
R
Z
112
4.9.
Captulo 4. Integrales
Calculamos el volumen del cuerpo engendrado girando una regin del plano en
torno a una recta.
z
a
y = f (z)
y = f (z)
b
y
Ejemplo 255 Volumen del cono recto de base circular (altura h, radio de la base r).
Lo obtenemos girando la siguiente regin en torno a Ox:
f (x) =
Vox
r2
= 2
h
Z
0
r
(x h)
h
(x h)2 dx =
r2 h
3
113
y
r
h
r
h
Ahora queremos girar la regin debajo de la funcin f (x) en torno a Oy (suponemos a 0).
Consideramos una particin P en [a, b]. Para un intervalo [xi , xi+1 ], aproximamos
la regin a girar por un rectngulo de altura f (xi ), donde se tom xi = xi +x2 i+1 (punto
medio).
y
xi
xi
xi+1
xi
xi+1
114
Captulo 4. Integrales
n1
X
xi f (xi )(xi+1 xi )
i=0
xf (x)dx
Voy = 2
a
y
f (x)
g(x)
Rr
Z
R+r
Rr
Rr
(I)
=
2
v=r u2
dv=2udu
1
vdv
0 2
R0
=0
R+r
xg(x)dx = 4
= 4
(u + R) r2 u2 du = 4
u=xR
r
|
Z
R+r
R+r
xf (x)dx 2
Voy = 2
p
x r2 (x R)2 dx
Rr
Z r
2
2
u r u du + 4R
r2 u2 du
r
r
{z
} |
{z
}
(I)
(II)
115
u 2
r
du =u 4Rr
t= r
1 t2 dt = 2 2 Rr2
}
| 1 {z
Z
= 2
V = 2 2 Rr2
4.10.
Integrales impropias
En diversas aplicaciones es necesario integrar funciones en intervalo del tipo [a, +),
(, b], o (, +). Esto nos conducir a introducir las integrales impropias de primera especie. Tambin es posible que nos interesa integrar sobre un intervalo acotado,
una funcin que no es seccionalmente continua (por ejemplo, que tiene una discontinuidad infinita); esto nos llevar a las integrales impropias de segunda especie.
4.10.1.
R +
Supongamos que f es continua en [a, +). Queremos
definir
f (t)dt. Un
a
Rx
camino es integrar en el intervalo [a, x], obtener F (x) = a f (t)dt y luego tomar el
lmite para x +. Llegamos a la definicin:
Rx
Definicin 257 Sea f continua en [a, +), F (x) = a f (t)dt.
R +
1. Si existe lm F (x) = L finito, decimos que la integral impropia a f (t)dt
x+
R +
converge y escribimos a f (t)dt = L.
2. Si lm F (x) es infinito, decimos que
R +
a
x+
R +
a
f (t)dt diverge.
f (t)dt oscila.
x
Z x
1
1 1
t
(x1 1) si 6= 1
= 1
1
1
1
F (x) =
dt =
x
(log(t)) = log(x)
1 t
si = 1
1
116
Captulo 4. Integrales
lm F (x) =
x+
Por lo tanto
R +
1
1
dt
t
1
1
si > 1
+ si < 1
+ si = 1
converge > 1.
D
1
En el caso de convergencia
Ejemplo 259
x +
R +
0
R +
1
1
dt
t
1
.
1
Rx
0
1
.
n
Rb
Rb
b)
R +
Ra
f (t)dt y
R +
a
f (t)dt.
R +
Ra
R +
Definicin 260 Decimos que f (t)dt converge si f (t)dt y a f (t)dt conR +
Ra
R +
vergen, y en ese caso f (t)dt = f (t)dt + a f (t)dt
Queda como ejercicio verificar que la definicin no depende de la eleccin de a.
+
R + dt
R + dt
=
2
=
2
(arctan(t))
= 2( 2 0) = .
Ejemplo 261 1+t
2
1+t2
0
0
Nota 262 Si
R +
Rx
x+ x
f (t)dt =
R +
f (t)dt. Pero
este lmite puede existir aunque la integral impropia no sea convergente segn la deRx
R +
x+
finicin anterior. Por ejemplo x t dt = 0 0, pero t dt no converge. Se
R +
dice en este caso que la integral t dt tiene valor principal 0.
La analoga con las series hace pensar en extender las propiedades. Veamos algunas:
117
R +
R +
Proposicin 263 (Linealidad) Si a f (t)dt, a g(t)dt convergen.
Z
Z +
Z +
f (t)dt +
(f (t)dt + g(t)) dt converge y vale
g(t) dt
R +
R +
Proposicin 264 a f (t)dt y b f (t)dt son de la misma clase. (f continua en una
semirrecta [c, +) con a c, b c).
La demostracin es sencilla y queda como ejercicio.
P
En el caso de las series,Rtenamos una condicin necesaria de convergencia:
an C
n
+
an
0. Ser cierto que a f (t)dt converge lm f (t) = 0? El siguiente ejemt+
1 si t [n, n +
0 en otro caso
1
],
2n
nN
Rx
0
y
1
1+
1
2
2
2+
1
22
3
3+
x
1
23
Rn
P
1 n+
creciente. Adems F (n) = 0 f (t)dt = n1
2. Se concluye finalmente
k=0 2k
R +
que lm F (x) = 2 = 0 f (t)dt. La integral impropia converge pero f no tiene
x+
lmite con t +
Nota 266 Si se quiere un ejemplo con f continua, se lo puede obtener con una ligera
modificacin en el anterior, por ejemplo utilizando tringulos de altura 2 y base 21n .
Otro
con apariencia menos artificial, es la integral impropia de Fresnel
R + ejemplo,
2
sen(t
)dt,
con aplicaciones en ptica). Es claro que lm sen(t2 ) no existe. Pro0
t+
118
Captulo 4. Integrales
y
2
1+
1
2
2
2+
1
22
3
3+
x
1
23
sen(x2 )
4.10.2.
lm F (x) = L
x+
Z
g(t)dt C
f (t)dt C
a
Z
f (t)dt D
g(t)dt D
a
119
Demostracin.R
Rx
x
Sean F (x) = a f (t)dt, G(x) = a g(t)dt. Se cumple que F (x) G(x) x > a, y
ambas son crecientes. Por lo tanto:
Z +
Z +
Si
g(t)dt C G es acotada F es acotada
f (t)dt C
a
R +
Ejemplo 270 0 tn et dt, n 0. Buscamos una comparacin con otra integral
R +
impropia conocida, por ejemplo 1 t1 dt.
Para todo , se cumple que existe t0 R: tn et < t1 t t0 . Esto se debe a
R +
R +
que lm tn+ et = 0. Poniendo = 2, como 1 t12 dt C 1 tn et dt C
R +t+
tn et dt C.
0
Si n < 0 se debera estudiar qu sucede con la integral de 2da especie (ver ms
adelante).
Corolario 271 f (t) 0, g(t) 0, lm
f (t)
t+ g(t)
Z
f (t)dt y
Si
R +
3L
2
R +
Demostracin.
(t)
t > t0 , L2 fg(t)
Si
=L>0
L
3L
g(t) f (t)
g(t)
2
(I)
(II) 2
g(t)dt C
R +
g(t)dt D
R +
Ejemplo 272
R +
Ejemplo 273
+)
1
R + 1
1
1
t 1
t 1
e
dt
converge,
ya
que
e
'
t
t
0
t
dt
t4 +1
diverge, porque
t
t4 +1
'
1
t
cuando t +.
1
2t2
(t
120
Captulo 4. Integrales
4.10.3.
La analoga
y la de series, y en particular el
R + 1 entre la teora de integrales impropias P
1
ejemplo 0 t dt que se comporta exactamente como +
n=0 n , hace pensar en que se
podra explotar esto para clasificar series a travs de integrales impropias o viceversa.
Ms precisamente, si P
f es unaR funcin en [1, +), y an = f (n) sus valores en los
+
naturales. Es cierto que an e 1 f (t)dt son de la misma clase?
A primera vista la respuesta sera negativa ya que los valores f (n) no determinan
el comportamiento de f en (n, n + 1).
Si f es montona, los valores intermedios estn, sin embargo, controlados, y la
conjetura es vlida.
Teorema 35 (Criterio integral)
Sea f (t) 0 montona decreciente en [k, +) y sea an = f (n), n k, donde
k, n N.
Z +
+
X
f (t)dt son de la misma clase.
an y
k
n=k
Demostracin.
Como f es decreciente se tiene t [n, n + 1], f (n + 1) f (t) f (n)
Z n+1
n+1
n
X
X
ai
f (t)dt
ai
i=k+1
(I)
(II)
i=k
Rx
Si
P+
k
an D = lm F (n + 1) = +
(I) n+
R +
k
f (t)dt D
P
1
Ejemplo 274 Clasificar +
n=2 n log(n) .
1
f (t) = t log(t)
es no negativa y decreciente. Entonces F (t) =
Z
=
2
1
dt =
t log(t) u=log(t)
log(x)
log(2)
log(x)
1
du = (log(u))
= log(log(x)) log(log(2))
u
log(2)
lm F (x) = +
x+
+
X
2
X
1
1
dt D
D
t log(t)
n log(n)
n=2
El ejemplo muestra la ventaja de clasificar la integral impropia: si se encuentra primitiva, esto es ms sencillo que en el caso de series, donde no es fcil calcular la reducida.
4.10.4.
121
Para el caso en que f (t) 0 t t0 , los resultados son anlogos al caso f (t) 0.
Si f (t) toma ambos signos para valores de t arbitrariamente grandes, los mtodos anteriores (comparacin, sustitucin por equivalentes) no pueden aplicarse. Se introduce
aqu, igual que para series, la convergencia absoluta.
R +
Definicin 275 La integral impropia a f (t)dt es absolutamente convergente (A.C.)
R +
a |f (t)|dt C.
Teorema 36
Z
f (t)dt es A.C.
f (t)dt C
a
Demostracin.
Anlogamente al caso de series, introducimos las funciones no negativas f + y f :
f (t) si f (t) 0
+
f (t) =
0
si f (t) < 0
0
si f (t) 0
f (t) =
f (t) si f (t) < 0
f (t)
t
f + (t)
t
f (t)
t
|f (t)|
t
Se cumple que f = f + f , |f | = f + + f ; y f + 0, f 0.
R + +
Z +
Z +
a f (t)dt C
f (t)dt C.
|f (t)|dt
=
=
comparacion R +
linealidad a
a
f
(t)dt
C
a
122
Captulo 4. Integrales
Ejemplo 276
R +
Ejemplo 277
R +
sen(t)
dt
t2
sen(t)
es A.C. ya que t2
1
t2
sen(t)
dt
t
sen(t) 1
Si estudiamos convergencia absoluta, la cota ms sencilla de t es t , que no sirve
R +
para comparar porque 1 1t dt diverge.
Una integracin por partes permite resolver el problema. La frmula
Z
a
b Z b
f 0 (t)g(t) dt
f (t)g (t) dt = (f (t)g(t))
0
puede extenderse a:
Z
+ Z
f (t)g (t) dt = (f (t)g(t))
f 0 (t)g(t) dt
+
donde ((f (t)g(t))
denota lm f (t)g(t) f (a)g(a) , siempre que los lmites
t+
a
para b + existan.
+ R
R +
+
cos(t)
En este caso 1 sen(t)
dt
=
1 cos(t)
dt.
t
t
t2
1
La segunda integral converge absolutamente, y el primer trmino converge porque
lm cos(t) = 0.
t+ t
Z +
sen(t)
dt C.
t
1
R +
Ejemplo 278 Clasificamos la integral de Fresnel 0 sen(t2 )dt, con una integracin
por partes.
1
Para t > 0, escribimos sen(t2 ) = 2t sin(t2 )
| {z } |{z}
2t
g 0 (t)
f (t)
+ Z +
cos(t2 )
cos(t2 )
sen(t )dt =
dt
2t
2t2
1
1
2
123
4.10.5.
Supongamos que f es continua en (a, b], pero lm+ f (t) no existe o no es finito.
ta
Rb
Rb
Para definir a f (t)dt, estudiamos lm+ x f (t)dt.
xa
Rb
Definicin 280 f continua en (a, b], F (x) = x f (t)dt.
Z b
C
= L f inito
D
f (t)dt
se dice que
Si lm+ F (x) =
xa
a
oscila
@
Rb
En el caso de convergencia, se denota a f (t)dt = L.
Rx
La definicin es anloga para f continua en [a, b), considerando lm a f (t)dt.
xb
Ejemplo 281
R1
1
dt.
0 t
F (x) =
R1
1
dt
x t
=
1
1
(1 x1 ) si 6= 1
log(x)
si = 1
1
1
si < 1
lm F (x) =
+ si > 1
x0+
+ si = 1
D
1
1
Ejemplo 282
R1
0
1 dt
1t2
= lm
x1
Rx
0
1
dt C < 1
t
1 dt
1t2
= lm arcsin(x) =
x1
124
Captulo 4. Integrales
4.10.6.
Cambios de variable
Es posible reducir una integral de segunda especie a una de primera especie utilizando un cambio de variable.
Rb
Supongamos que a f (t)dt es impropia en el punto a. Buscamos una nueva variable u tal que cuando t a+ u +. Una posibilidad es el siguiente cambio de
variable:
1
u = ta
t = a + u1 , dt = u12 du
Sea x > a:
Z
Z b
f (t)dt =
x
1
ba
Z 1
xa
1
1 1
f
f a+
du =
du
1
1
u2
u u2
xa
ba
Z +
1 1
xa+
du
f a+
2
1
u
u
ba
1
a+
u
Ejemplo 283
Z
1
dt
sen(t)
diverge, ya que
1
1
1 u2
sen( u
)
1
u
Z
=1
t=
u
dt= 12 du
u
+
2
1
1
2 du
1
sen u u
u > 2 .
Z
0
R1
q
q
du
=
du
dt = 1
2
2
1 u2
1 t2 t=1 u 1
1 2u
1
u2
1 1 u
1
u
Ejemplo 284
1 dt.
1t2
dt= 2 du
u
converge, ya que
Ejemplo 282
q 1
2
1
u2
1
u2
1
3
2u 2
125
Rb
Si
Rb
g(t)dt C
Rb
f (t)dt D
Rb
f (t)dt C
g(t)dt D
f (t)dt para f continua en (a, b), con discontinuidad infinita en ambos puntos.
Rc
Rb
Para que converja, exigimos que a f (t)dt y c f (t)dt converjan para a < c < b.
a
126
Captulo 4. Integrales
y
R +
Tipos mixtos: a f (t)dt, donde f continua en (a, +) con discontinuidad
Rb
infinita en a. Se elige b (a, +) y se exige la convergencia de a f (t)dt y
R +
f (t)dt.
b
R +
Ejemplo 287 0 t1 dt diverge porque no existe para el cual converjan simulR1
R +
tneamente 0 t1 dt y 1 t1 dt como se ven en los Ejemplos 258 y 281.
R +
Ejemplo 288 (Funcin Gamma) Definimos () = 0 t1 et dt, > 0.
en primer lugar que es convergente. Tenemos:
RVeamos
1 1 t
1
0 t e dt converge ya que para t 0+ t1 et > 0 y t1 et t1
,
1
<
1,
y:
R +
1 t1 et dt converge por comparacin.
Una propiedad interesante de la funcin es que ( +1) = (). La probamos
integrando por partes.
+
Z
Z +
1 + t
1
t t
1 t
() =
t e dt =
e
+
t e dt = ( + 1)
0
0
porque el primer sumando es nulo.
R +
Observando que (1) = 0 et dt = 1, deducimos que (2) = 1, (3) = 2,
(4) = 6, y en general por induccin que (n + 1) = n.
La funcin (1+x) es una funcin de variable real, que restringida a los naturales
coincide con el factorial de x.
Bibliografa
[1] L.V. Ahlfors. Anlisis de variable compleja: introduccin a la teora de funciones
analticas de una variable compleja.
[2] T.M. Apostol. Anlisis Matemtico. Revert, 1976.
[3] T.M. Apostol. Calculus (en 2 volmenes), Vol 1. lgebra lineal, con aplicaciones
a las ecuaciones diferenciales y a las probabilidades. Revert, 1996.
[4] R. Courant. Differential and Integral Calculus. Wiley Classics Library. Wiley,
1988.
[5] R. Courant and F. John. Introduccin al clculo y al anlisis matemtico (en dos
volmenes), Vol 1.
[6] L.D. Kudrivtsev. Curso de anlisis matemtico (en dos tomos), tomo 1.
127