Beruflich Dokumente
Kultur Dokumente
CÁLCULO INTEGRAL
Los autores
Introducción
Este libro contiene el programa del curso Cálculo Integral que
ofrece la FCFM-BUAP a sus estudiantes de licenciatura de todas sus
carreras. Los autores, después de algunos años de impartir tal curso,
decidimos reunir nuestras experiencias en un texto que tiene, como
principales objetivos: unificar y organizar el material que hemos es-
tado impartiendo.
Esperamos que esta reunión de experiencias particulares sea útil
para alguien más allá de los muros de nuestra escuela; por tal motivo
incluimos temas fuera del programa de nuestra facultad, que pudieran
aprovechar propios y extraños.
Iniciamos con el concepto de sucesión, pues creemos que este ente
matemático tiene la suficiente versatilidad para introducirnos a nuevos
modos de convergencia, como el de series numéricas, y para reafirmar
el de lı́mite de funciones. Proseguimos con la construcción de la in-
tegral de Riemann, que en realidad es un tipo de lı́mite. Incluimos
una presentación, creemos más formal, de los métodos de integración
basada únicamente en los teoremas previos.
Desarrollamos, con propiedades de la integral, las funciones expo-
nencial y logaritmo y, por tanto, algunos métodos de integración que
usan estas funciones. Forma una parte importante del texto la opción
del cálculo de áreas y volúmenes con propiedades de la integral ası́
como algunas aplicaciones a la fı́sica. En el tema de integrales im-
propias, optamos por una versión que unifica los lı́mites impropios de
funciones y propiedades de la integral.
Es importante subrayar el Capı́tulo 5, en el que se unifican los
conceptos de series numéricas y series de funciones en su versión más
sencilla como series de potencias. Dentro de los temas opcionales está
un apéndice de integración numérica, también importante para los que
desarrollan aplicaciones.
El texto tiene un considerable número de ejercicios en cada capı́tulo,
que según nuestra experiencia, es de gran riqueza para el desarrollo de
los estudiantes; esperamos que al intentar resolverlos,el lector reafirme
y comprenda los conceptos desarrollados previamente.
1
Contenido
Capı́tulo 1. Sucesiones 1
1. Introducción 1
2. Operaciones con sucesiones 4
Ejercicios 1 8
3. Lı́mite de una sucesión 11
4. Operaciones con lı́mites 17
Ejercicios 2 22
5. Algunas sucesiones especiales 23
Ejercicios 3 31
6. Subsucesiones 34
7. El criterio de Cauchy 38
8. Divergencia a infinito 41
9. Lı́mites de sucesiones y lı́mites de funciones 44
Ejercicios 4 46
Ejercicios 5 50
10. Series: una introducción 51
Ejercicios 6 58
iii
iv
CAPÍTULO 1
Sucesiones
1. Introducción
Cualquier estudio cuidadoso del Cálculo y de los conceptos que
comúnmente se asocian a él, lı́mite, continuidad, derivada e integral
de una función, requiere de un amplio conocimiento del sistema de
números reales. Los matemáticos de los siglos XVIII y XIX, en sus in-
tentos por comprender estos conceptos, siempre se encontraron con la
existencia de problemas asociados a la falta de una definición correcta
de conceptos fundamentales que tenı́an que ver con la estructura de los
números reales. Sólo después de alcanzar una comprensión profunda
de las propiedades de estos números, se logró dar forma definitiva a
los conceptos fundamentales del Cálculo.
1
En la lista puede aparecer, en distintos lugares de ella, el mismo
número real. Ası́ que debemos tener cuidado en distinguir entre lugar
de la lista y el elemento de la lista que ocupa tal lugar.
En resumen, en una lista debemos distinguir tres cosas: el conjunto
de números que indican los lugares de la lista, los números que forman
tal lista y la regla que nos informa qué número ocupa el lugar de la
lista.
Ejemplo 1.1. Consideremos las listas:
(a) 1, −1, 1, −1, 1, . . .
y
(b) −1, 1, −1, 1, . . .
son dos listas diferentes ya que, aunque las listas están formadas por
los mismos números, estos se encuentran en distintos lugares de la
lista.
En este texto, los conjuntos “indicadores” de lugar en una sucesión
serán ciertos subconjuntos de los números enteros.
Definición 1.2. Para cada número m ∈ Z, denotaremos por Im
al siguiente subconjunto de Z:
{n ∈ Z : n ≥ m}.
2
Observación 1.4. En la mayorı́a de los textos se define a una
sucesión como una función de N a R. La definición que presenta-
mos aquı́, la Definición 1.3 (que es equivalente), la hemos adoptado
porque permite una mayor flexibilidad para el manejo de este concepto.
Ejemplo 1.9. (a) Sean { n!1 }n∈I0 y {an }n∈I0 la sucesión definida
como an = 1 para todo n ∈ I0 , entonces
5
(d) La sucesión {−n}n∈I4 es monótona decreciente, no es acotada,
pero sı́ es acotada superiormente.
7
Ejercicios 1
(1) Dadas las siguientes listas, hallar una fórmula general que
describa a la sucesión correspondiente 3:
1, 2, 1, 2, 1, 2, . . .
0.1, 0.11, 0.111, . . .
1
3
, 1, 3, 9, 27, 81, . . .
6, −7, 8, −9, 10, −11, . . .
(2) Dada la sucesión {an }n∈Im , probar que
(a) Si para todo n ∈ Im se tiene que an ≤ an+1 , entonces
la sucesión es monótona creciente.
(b) Si para todo n ∈ Im se tiene que an ≥ an+1 , entonces
la sucesión es monótona decreciente.
(3) Demostrar que {an }n∈Im es acotada si y sólo si existe R > 0,
tal que |an | ≤ R para todo n ∈ Im .
√ √
(4) Si a1 = 2 y as = 2 + as−1 para s > 1.
(a) Describir a2 y a3
(b) Demostrar que {an }n∈I1 es creciente y acotada. (Use
inducción matemática.)
(5) Sean {an }n∈Im y {bn }n∈Im sucesiones tales que
(a) an ≤ bn , salvo un número finito de términos, y {bn }n∈Im
es acotada superiormente; demostrar que {an }n∈Im es acotada
superiormente.
(b) an ≤ bn , salvo un número finito de términos, y {an }n∈Im
es acotada inferiormente; demostrar que {bn }n∈Im es acotada
inferiormente.
1
(6) Dada la sucesión { 2n+3 }n∈I−4 , calcular los términos con ı́ndices
-4, -3, -2, 0, 1. ¿Es monótona la sucesión?
1
(7) La sucesión { 2n+3 }n∈I−4 ¿es monótona, salvo un número finito
de términos?
1 1
(8) Las sucesiones { 2n+3 }n∈I−4 y { 2n+3 }n∈I−2 ¿son iguales?
(9) Demostrar que las sucesiones del ejercicio (8) son iguales salvo
para un número finito de términos.
3Dos funciones diferentes pueden tener las mismas imágenes. Por ejemplo
6, −7, 8, −9, 10, −11, . . . ,
puede ser la imagen de la función {(−1)n n}n∈I6 , pero también la imagen de
{(−1)n n + 6}n∈I0 que, formalmente, es una sucesión distinta.
8
(10) Las sucesiones constantes ¿son monótonas?, ¿son acotadas?
(11) Si a1 = 1, a2 = −1 y si s ≥ 3 as = as−1 + as−2 . Calcular el
décimo término de esta sucesión.
(12) Para n ∈ I0 , definimos:
1 si n = 3k para alguna k ∈ Z,
an = 2 si n = 3k + 1 para alguna k ∈ Z,
3 si n = 3k + 2 para alguna k ∈ Z.
Calcular los términos 133 y 102-ésimos. Demostrar que {an }n∈I0
es acotada pero no es monótona
(13) Demostrar que la sucesión del ejercicio (12) no cumple: ser
constante, salvo un número finito de términos.
(14) Demostrar que la sucesión del ejercicio (12) tampoco es monótona,
salvo para un conjunto finito de términos.
(15) Para n ∈ I0 , definimos an como en el ejercicio (12),
1 si n = 3k para alguna k ∈ Z,
bn =
0 en cualquier otro caso,
2 si n = 3k + 1 para alguna k ∈ Z,
cn =
0 en cualquier otro caso,
y
3 si n = 3k + 2 para alguna k ∈ Z,
dn =
0 en cualquier otro caso.
Demostrar que {an }n∈I0 = {bn }n∈I0 + {cn }n∈I0 + {dn }n∈I0 .
(16) Para n ∈ I0 , definimos:
1
n+1
si n = 3k para alguna k ∈ Z
−1
en = n
si n = 3k + 1 para alguna k ∈ Z
n si n = 3k + 2 para alguna k ∈ Z
10
3. Lı́mite de una sucesión
Si representamos algunos puntos de la gráfica de la sucesión { n1 }n∈I1 ,
nos daremos cuenta que tales puntos de la gráfica son cada vez más
cercanos al eje X:
Figura 1
Figura 2
Figura 3
(e) Supongamos que A < B, por la parte (d), tenemos que existe
s ∈ Im tal que an < B para todo n ∈ Is . Por hipótesis existe l ∈ Im
tal que an ≥ B para todo n ∈ Il . Si tomamos n ∈ Is ∩ Il se cumple
que an ≥ B y por otro lado an < B, lo cual no es posible, ası́ que
tenemos que A ≥ B.
14
(f ) Ver Ejercicios 2 (4).
El siguiente teorema nos dice que para dos sucesiones que son
iguales, salvo un número finito de términos, la convergencia o diver-
gencia es la misma.
Teorema 1.17. Sean {cn }n∈Im y {dn }n∈Is sucesiones iguales salvo
para un número finito de términos, entonces:
Figura 4
17
(e) Si {an }n∈I√
m cumple que an ≥ 0 para todo n ∈ Im , entonces
√
lim{ an }n∈Im = A.
(f ) Si {an }n∈I√
m cumple que an ≥ 0 para todo n ∈ Im , entonces
√
lim{ an }n∈Im = k A con k ∈ I3 .
k
(b) Dado que {an }n∈Im es convergente, por la Proposición 1.16 (b),
existe R > 0 tal que |an | ≤ R, para cada n ∈ Im . Observemos que:
ε ε
|an bn − AB| < + =ε
2 2
18
Por tanto lim({an }n∈Im · {bn }n∈Im ) = lim({an bn }n∈Im = A · B
19
(e) Observemos que A ≥ 0, ya √ que an ≥ 0 para todo n ∈ Im , ver
Proposición 1.16 (e). Entonces A está bién definido. Supongamos
que A =√0, entonces
√ √ √
| an − A| = | an | = an .
Sea ε > 0; existe M1 ∈ Im tal que an = |an |√= |an − A| < ε2
√
para todo n ∈ IM1 . Si Nε = M1 , entonces an < ε2 = ε para todo
n ∈ INε .
√ √
Ahora supongamos que A > 0. Desarrollamos: | a n − A| =
√ √ |√an +√A| √ √
|( an )2 −( A)2 | |an −A| |an −A| |an −A|
| an − A| |√a +√A| = |√a +√A| = |√a +√A| = √a +√A ≤ √A .
n n n n
√
Ahora bien, si ε > 0, existe M2 ∈ Im , tal que |an − A| <√ Aε
√
para todo n ∈ √IM2 . Sean Nε = M2 y n ∈ I√Nε ; entonces | an − A| ≤
√
√1 |an − A| < Aε √1A = ε, o sea | an − A| < ε para todo n ∈ INε .
A
(c) Sean {an }n∈Im y {bn }n∈Is sucesiones convergentes y l = max{m, s},
entonces lim{an − bn }n∈Il = lim{an }n∈Im − lim{bn }n∈Is
(b) Como {an − bn }n∈Im = {an }n∈Im + {−bn }n∈Im = {an }n∈Im +
{(−1)bn }n∈Im .
Por (a) de esta demostración se tiene que
lim{(−1)bn }n∈Im = (−1)lim{bn }n∈Im .
Por Teorema 1.22 (a),
lim ({an }n∈Im + {−bn }n∈Im ) = lim{an }n∈Im + lim{−bn }n∈Im .
Tenemos finalmente que
lim{an − bn }n∈Im = lim{an }n∈Im + (−1)lim{bn }n∈Im =
lim{an }n∈Im − lim{bn }n∈Im .
22
5. Algunas sucesiones especiales
En esta sección aplicaremos los resultados demostrados hasta este
momento, y desarrollaremos útiles técnicas que nos permitirán asegu-
rar la convergencia o divergencia de algunas sucesiones o bien, en la
medida de lo posible, calcular su lı́mite.
24
√ √
Como 0 ≤ n + 1 − n < √1n , por lo anterior y la Proposición
√ √
1.21, concluimos que lim{ n + 1 − n}n∈I1 = 0.
n 1 1 1
0 ≤ |x | ≤ = .
np n p
Como lim{ n1 ( p1 )}n∈I1 = p1 lim{ n1 }n∈In = 0 y por la Proposición 1.21,
concluimos que lim{|xn |}n∈I1 = 0. Ahora usamos Ejercicios 2 (2)
para concluir que lim{xn }n∈I1 = 0.
√
(7) Si p > 0, entonces lim n p
n∈I1
= 1.
(c) Supongamos que 0 < p < 1. De aquı́ que p1 > 1, por la parte (b)
nq o
de este Ejemplo, concluimos que lim n p1 = 1. Note que para
q n∈I1
todo n ∈ I1 , n p1 = √1
n p , usamos el Teorema 1.22 (c) y concluimos que
1 1 1 √
1= = nq o = lim n o = lim { n p}n∈I1 .
1 lim n p1 1
√
np
n∈I1 n∈I1
√
(8) lim{ n n}n∈I1 = 1. √
Observemos que para n ≥ 2 se cumple que n n > 1 (observar
la demostración de (7)(b) de Ejemplos 1.24). Para cada n ∈ I2 sea
tn > 0 tal que
√
1 + tn = n n, (C)
n
entonces (1 + tn ) = n para todo n ∈ I2 . Por otro lado:
n(n − 1) 2 n(n − 1) 2
n = (1+tn )n = 1+ntn + tn +. . .+tnn > tn para todo n ∈ I2 ,
2 2
es decir
n−1 2
1> t para todo n ∈ I2 ,
2 n
o bien r
2
> tn > 0 para todo n ∈ I2 .
n−1
nq o
2
Por la Proposición 1.21 y como lim n−1
= 0 (ver Ejerci-
n∈I2
cios 3 (7)), concluimos que lim{tn }n∈I2 = 0; usando (C) y los Teore-
mas 1.17 y 1.22 (a), tenemos que
√
1 = 1 + lim{tn }n∈I2 = lim{ n n}n∈I1 .
p
(9) Sea {dn }n∈I1 , donde d1 = 7 y si n ≥ 2, sea dn = 2 + dn−1 .
Demostrar que {dn }n∈I1 es convergente.
26
Como
√ 0 ≤ dn ≤ 7, entonces 0 + 2 ≤ dn + 2 ≤ 7 + 2, ası́ que
0 ≤ dn + 2 ≤ 3 < 7, por tanto 0 ≤ dn+1 ≤ 7, y concluimos que la
sucesión es acotada.
o bien
√
a2n−1 + A ≥ 2an−1 A,
finalmente
√
1 A 1
an = an−1 + = a2n−1 + A ≥ A.
2 an−1 2an−1
27
(c) Sea n ∈ I2 , entonces
an A an A a2 − A
an − an+1 = an − − = − = n . (D)
2 2an 2 2an 2an
√
Como an ≥ A, entonces a2n ≥ A, es decir a2n − A ≥ 0. Por (D)
y (a) de este ejemplo, concluimos que an − an+1 ≥ 0, por tanto an ≥
an+1 . Para concluir que es acotada, bastará tomar R = máx{a1 , a2 },
podemos concluir que 0 < an ≤ R. Por Ejercicios 2 (6) (b),
√
lim{an }n∈I1 ≥ A.
n
(11) Sea { 1 + n1 }n∈I1 , demostrar que tal sucesión es conver-
gente.
30
Ejercicios 3
(1) Aplicando la definición de lı́mite demuestre que:
(a) El lı́mite de
3 5 7 9 2
, , , ··· es .
3 6 9 12 3
(b) El lı́mite de
2 7 12 17 5
, , , ··· es .
1 3 5 7 2
(c) El lı́mite de
2 2 2 2
, , , ··· es 0.
5 9 13 17
(d) El lı́mite de
1
0.3, 0.33, 0.333, · · · es .
√ √ 3
(e) lim{ nk + 1 − nk }n∈I0 = 0, para k ∈ I1 .
√ √
(f) lim{ n2 + 2kn + 1 − n2 + 1}n∈I0 = k, para k ∈ I0 .
( r !)
√ √ 1 1
(g) lim ( n + 1 − n) n+ = .
2 2
n∈I0
(3) Si a1 = 1, a2 = 2, a3 = 3, a4 = 4 y para n ≥ 5
4an = an−1 +an−2 +an−3 +an−4 . Suponiendo que {an }n∈I1 con-
verge, calcular lim{an }n∈I1 . Demostrar que para todo n ≥ 5
se cumple que 4an +3an−1 +2an−2 +an−3 = 4a4 +3a3 +2a2 +a1 .
31
nq o
2
(b) Probar que lim n−1
= 0.
n∈I2
(8) Comprobar los siguientes√lı́mites:
1 + n2 + 4 3n2 − 5n + 1
1
(a) lim √3
√
5
= .
n + 8n6 − 5 + 32n10 − 16n + 4 n∈I1 4
(√ )
5n3 + 60
(b) lim = 0.
n5
n∈I1
n + k
n 1
(c) lim k
= para k ∈ I1 .
(n + k) k!
n∈I0
√ 1
(d) lim n2 + n + 1 − n n∈I0 = .
2
(√ )
5n3 + 60 √
(e) lim 3
= 5.
n
n∈I1
n 1
o
(f) lim (an + bn ) n = máx{a, b} donde a, b ≥ 0.
n∈I1
n n n 1o
(g) lim ( a +b2
)n = máx{a, b} si a, b > 0.
n∈I1
n −n −n 1 o
(h) lim ( a +b 2
)− n = mı́n{a, b} si a, b > 0.
n∈I1
n P 1
o
(i) lim ( k1 ki=1 ani ) n = máx{a1 , ..., ak } si ai > 0 para
n∈I1
i ∈ {1, ..., k}, k ∈ I1 .
n P 1
o
1 k −n − n
(j) lim ( k i=1 ai ) = mı́n{a1 , ..., ak } si ai > 0,
n∈I1
para i ∈ {1, ..., k}, k ∈ I1 .
lim (1 + n2 )n n∈I1 = e2 .
(k)
lim (1 + n3 )n n∈I1 = e3 .
(l)
n o
1 pn
(m) lim (1 + pn ) = e, para todo p ∈ I1 .
n∈I1
32
1
n
1
q
(o) lim 1+ n
= e q , donde q ∈ I1 .
n∈I1
1 n
= 1e .
(p) lim 1 − n n∈I1
n
Sugerencia: 1 − n1 = 1 n−1
1
1
.
(1+ n−1) (1+ n−1 )
(q) lim{(1 − np )n }n∈I1 = 1
ep
, donde p ∈ I1 .
Sugerencia: use (n) y (p) de este ejercicio.
n
(r) lim{ 1 + np }n∈I1 = ep con p ∈ Z.
(s) lim{(1 + Rn )n }n∈I1 = eR , con R ∈ Q.
Sugerencia: use (o) y (r) de este ejercicio.
n
(t) Para todo x ∈ R, lim xn! n∈I1 = 0.
lim{an }n∈I0 = 23 , donde an = ni=0 (−1)i 21i .
P
(u)
lim nn!n n∈I1 = 0.
(v)
n 1
o
(w) lim (n2 + n) n = 1.
n∈I1
n 1 1
o
2
(x) lim (n + 1) − (n + 1)
8 4 = 0.
n∈I−1
(9) En cada caso, dar ejemplos de sucesiones {an }n∈Im y {bn }n∈Im
divergentes, tales que:
(a) {an + bn }n∈Im converja;
(b) {an − bn }n∈Im converja;
(c) {an bn }n∈Im converja;
an
(d) { }n∈Im converja;
bn
(e) {|an |}n∈Im converja.
(10) Sean m ∈ I1 y {an }n∈Im una sucesión tal que:
o todo n ∈ Im y
(a) an >n0 para
an+1
(b) lim an = 0.
n∈I
√ m
Probar que lim n an n∈Im = 0.
33
6. Subsucesiones
Ahora, desarrollaremos el concepto de subsucesión de una sucesión
dada. Una subsucesión debe ser, en principio, una sucesión formada
por términos de la sucesión inicial, pero que conserven, en la sub-
sucesión, el orden que tenı́an en la sucesión inicial. Observemos la
siguientes listas:
an : 1, −1, 1, −1, 1, −1, . . .
bn : − 1, − 1, − 1, . . .
cn : 1, 1, 1, 1, . . .
Notamos que la segunda y tercera lista son “sublistas” de la primera,
esta es la idea de una subsucesión de una sucesión dada. Enseguida
definimos formalmente el concepto de subsucesión.
Definición 1.26. Dada una sucesión {an }n∈Im , la sucesión {bn }n∈Im
es una subsucesión de {an }n∈Im si
(a) existe f : Im → Im función estrictamente creciente (para todo
n, s ∈ Im , si n < s, entonces f (n) < f (s)),
(b) para todo n ∈ Im , se cumple que bn = af (n) .
35
Corolario 1.31. (a) Si existe {cn }n∈Im subsucesión divergente de
{an }n∈Im , entonces {an }n∈Im es divergente.
(b) Si existen {cn }n∈Im y {dn }n∈Im subsucesiones de {an }n∈Im tales
que lim{cn }n∈Im 6= lim{dn }n∈Im , entonces {an }n∈Im es divergente.
Demostración. Use la contrarrecı́proca del Lema 1.30
El siguiente teorema muestra lo importante de saber partir una
sucesión en subsucesiones convenientes para poder concluir su conver-
gencia.
Teorema 1.32. Sean {cn }n∈Im y {dn }n∈Im subsucesiones de la
sucesión {an }n∈Im tales que:
(a) si f1 , f2 : Im → Im son funciones estrictamente crecientes tales
que cn = af1 (n) y dn = af2 (n) para todo n ∈ Im ,
(b) Imf1 ∪ Imf2 = Im y
(c) lim{cn }n∈Im = A = lim{dn }n∈Im .
Entonces lim{an }n∈Im = A.
Demostración. Si ε > 0 y M1 , L1 ∈ Im tales que para todo n ∈ IM1
y s ∈ IL1 se cumple que
|cn − A| < ε y |ds − A| < ε.
Sea Nε = max{f1 (M1 ), f2 (L1 )}. Note que se cumplen las siguien-
tes propiedades:
(i) Nε ∈ Im , pues Nε ≥ f1 (M1 ) ≥ M1 ≥ m (usar la Proposición
1.29),
(ii) si n ∈ INε , entonces n ∈ Imf1 ∪ Imf2 .
Ası́ que si n ∈ INε , entonces n = f1 (t) o n = f2 (p) para algunos
t, p ∈ Im . Veamos el caso en que n = f1 (t) con t ∈ Im .
En este caso, tenemos que n ≥ f1 (M1 ) y podemos concluir que
t ∈ IM1 , ya que en caso contrario t < M1 implicarı́a que n = f1 (t) <
f1 (M1 ), lo cual no es posible. Por tanto
|an − A| = |af1 (t) − A| = |ct − A| < ε.
Ahora si n = f2 (p) con p ∈ Im , de manera análoga, podemos concluir
que p ∈ IL1 . Por tanto
|an − A| = |af2 (p) − A| = |dp − A| < ε.
Ası́ que de cualquier forma tenemos que |an − A| < ε.
36
Ejemplo 1.33. (1) La sucesión {(−1)n }n∈I1 es divergente, ya que
tiene como subsucesiones a las sucesiones constantes 1 y -1 las cuales
convergen a 1 y -1 respectivamente.
(2) Sea {an }n∈I−5 donde para todo n ∈ I−5
1 si n es par
an =
n en cualquier otro caso
2n
1.19).
√ Por√ el Lema 1.30,
√ l = lim{ 2n}n∈I3 . Pero, para todo n ∈ I3 ,
2n n 1 n 1 √ 1
2n = ( 2n) 2 = ( 2) 2 ( n) 2 .
n
√
n
Tomando lı́mites y teniendo en cuenta
√ que lim{ 2}n∈I3 = 1, por
el ejemplo anterior, se tiene que l = l. De aquı́, l = 1.
7. El criterio de Cauchy
Existen un tipo se sucesiones, las llamadas sucesiones de Cauchy,
que cumplen que los términos de ellas se van “pegando”, es decir,
conforme se avanza en los ı́ndices de la sucesión, los términos indicados
por ellos, estan más cerca.
Definición 1.34. Sea {an }n∈Im una sucesión. Diremos que {an }n∈Im
es de Cauchy si dado ε > 0, existe Mε ∈ Im tal que para todo n, s ∈ IMε
se cumple |an − as | < ε.
Veremos que todas las sucesiones convergentes son de Cauchy.
Teorema 1.35. Si {an }n∈Im es una sucesión convergente, entonces
{an }n∈Im es una sucesión de Cauchy.
Demostración. Sean lim{an }n∈Im = A y ε > 0. Para 2ε > 0, existe
N1 ∈ Im tal que para todo n ∈ IN1 se cumple que |an − A| < 2ε .
Pongamos Mε = N1 , sean n, s ∈ IMε , entonces
ε ε
|an − as | = |an − A + A − as | ≤ |an − A| + |A − as | < + = ε.
2 2
Veamos una propiedad básica de las sucesiones de Cauchy.
Proposición 1.36. Si {an }n∈Im es de Cauchy, entonces {an }n∈Im
es acotada.
Demostración. Para ε = 1, sea M1 ∈ Im tal que para todo n, s ∈
IM1 se cumple que |an − as | < 1. En particular para todo n ∈ IM1 se
cumple que |aM1 − an | < 1, entonces |an | − |aM1 | ≤ |an − aM1 | < 1
para todo n ∈ IM1 , por lo tanto |an | < 1 + |aM1 | para todo n ∈ IM1 .
Bastará tomar R = max{|am |, |am+1 |, . . . , |aM1 | + 1} para tener que
|an | ≤ R, para todo n ∈ Im .
38
Veamos el siguiente lema, que nos describirá propiedades más su-
tiles de las sucesiones.
Lema 1.37. Sean {an }n∈I1 y {bn }n∈I1 sucesiones tales que:
(a) an < bn para todo n ∈ I1 ,
(b) Si In = [an , bn ], se tiene que In+1 ⊂ In y
(c) lim{bn − an }n∈I1 = 0.
Entonces existe x ∈ R tal que
(i) lim{an }n∈I1 = x = lim{bn }n∈I1 y
(ii) x ∈ In para todo n ∈ I1 .
Demostración. (i) Como a2 ∈ I2 ⊂ I1 , entonces a2 ≤ b1 , ahora
por (b), an+1 ∈ In+1 ⊂ In ⊂ I1 , entonces an ≤ an+1 ≤ b1 . Por
tanto la sucesión {an }n∈I1 es acotada superiormente y creciente, se
sigue del Teorema 1.18 que es convergente. De manera análoga pode-
mos demostrar que {bn }n∈I1 es decreciente y acotada inferiormente,
y ası́ por el Teorema 1.19 es convergente. Sea x = lim{an }n∈I1 , en-
tonces 0 + x = lim{bn − an }n∈I1 + lim{an }n∈I1 = lim[{bn − an }n∈I1 +
{an }n∈I1 ] = lim{bn }n∈I1 .
ε ε
|an − x| ≤ |an − an0 | + |an0 − x| < + = ε,
2 2
40
concluimos finalmente que, para todo n ∈ INε , |an − x| < ε, ası́ que
lim{an }n∈Im = x.
8. Divergencia a infinito
Hasta aquı́ hemos desarrollado propiedades acerca de sucesiones
convergentes, pero también cierto tipo de divergencia es interesante,
aquı́ desarrollaremos la teorı́a de la divergencia a infinito y menos
infinito. Una teorı́a difı́cil de entender es aquella que involucra el
concepto de infinito. La solución matemática es la definición formal;
ella captura todas las inquietudes y, ya despojadas de pasión, enuncia
las relaciones en términos de propiedades de objetos matemáticos. En
este caso entenderemos que algo se acerca a infinito si siempre hay
cierto tipo de partes de él que estan después de todo número positivo.
Veamos la definición.
Definición 1.39. Sea {an }n∈Im una sucesión.
(a) Diremos que {an }n∈Im diverge a infinito si, dado R > 0, existe
NR ∈ Im tal que para todo n ∈ INR , se cumple que an > R.
La propiedad de que {an }n∈Im diverge a infinito se denotará como:
lim{an }n∈Im = ∞.
(b) Diremos que {an }n∈Im diverge a menos infinito si, dado R < 0,
existe NR ∈ Im tal que para todo n ∈ INR , se cumple que an < R.
La propiedad de que {an }n∈Im diverge a menos infinito se denotará
como: lim{an }n∈Im = −∞.
(b) Sea {an }n∈Im una sucesión divergente a infinito y {bn }n∈Im una
sucesión acotada inferiormente; entonces {an + bn }n∈Im diverge a in-
finito.
(c) Sea {an }n∈Im una sucesión divergente a infinito y {bn }n∈Im una
sucesión tal que bn ≥ B > 0 salvo para un número finito de términos
para algún B > 0; entonces {an · bn }n∈Im es divergente a infinito.
(d) Sean {an }n∈Im y {bn }n∈Im sucesiones divergentes a menos in-
finito; entonces
(i) {an + bn }n∈Im diverge a menos infinito,
(ii) {an · bn }n∈Im y {|an |}n∈Im divergen a infinito.
43
(e) Sea {an }n∈Im una sucesión divergente a menos infinito y {bn }n∈Im
una sucesión acotada superiormente; entonces {an + bn }n∈Im diverge
a menos infinito.
(f ) Sea {an }n∈Im una sucesión divergente a infinito y {bn }n∈Im una
sucesión tal que bn ≤ B < 0 salvo para un número finito de términos
para algún B < 0; entonces {an ·bn }n∈Im es divergente a menos infinito.
45
Ejercicios 4
(1) Calcular:(
n2 )
1
(a) lim 1+ 2 .
n
n∈I1
mn
1
(b) lim 1+ con m ∈ I1 .
mn n∈I1
( m+n )
1
(c) lim 1+ con m ∈ I1 .
m+n
n∈I1
n 1o
(d) lim p 3n con p > 0.
n∈I1
n 2o
(e) lim n n2 .
n∈I1
n 1
o
(f) lim (3n + 1) 3n+1 .
n∈I1
1
(g) lim .
2(6n−3) n∈I1
n√ p o
(h) lim 4n + 5 − 4(n + 1) .
n∈I1
(2) Según hemos visto, dada una sucesión {an }n∈Im , se puede
construir una nueva sucesión {bn }n∈Im , bajo ciertas condi-
ciones, quitando algunos términos (Definición 1.27). Sea F ⊂
Im . Verificar que si Im \ F es infinito y {bn }n∈Im resulta
de quitarle a {an }n∈Im los términos {an : n ∈ F } entonces
{bn }n∈Im converge a A siempre que {an }n∈Im converja a A.
(3) Demostrar:
(a) lim{an }n∈I0 = A si y sólo si lim{a2n+1 }n∈I0 = A y
lim{a2n }n∈I0 = A.
(b) Sea m ∈ Z, lim{an }n∈Im = A si y sólo si lim{a2n+1 }n∈Im =
A y lim{a2n }n∈Im = A.
46
(4) Demostrar que:
1 1
∃M ∈ Im : ∀n ∈ IM : n − M < 14 .
2 2
(5) Sea p > 0, demostrar que:
m1 1
1
∀n ∈ I1 : ∃Nn ∈ I1 : ∀m ∈ INn : p − p < n .
N n
2
(6) Demostrar que:
1 1
∀n ∈ I1 : ∃Mn ∈ I1 : ∀m ∈ IMn : (2m) 2m − (2Mn ) 2Mn <
1
22n
.
(7) Si {an }n∈Im es una sucesión de Cauchy, demostrar:
(a) lim{an − an+p }n∈Im = 0 con p ∈ I1 .
(b) Dado ε > 0, existe N ∈ Im , tal que an ∈ (aN −ε, aN +ε)
salvo un número finito de términos.
(8) (a) Sean {an }n∈Im y {bn }n∈Im sucesiones divergentes a infinito.
Demostrar
(i) {an + bn }n∈Im , {an · bn }n∈Im y {|an |}n∈Im divergen a
infinito.
(ii) Existen s ∈ Im y {cn }n∈Is divergente a infinito tal que
√
cn = an para todo n ∈ Is .
(b) Sea {an }n∈Im una sucesión divergente a infinito y {bn }n∈Im
una sucesión acotada inferiormente, demostrar que {an +bn }n∈Im
diverge a infinito.
(c) Sea {an }n∈Im una sucesión divergente a infinito y {bn }n∈Im
una sucesión tal que bn > B > 0, salvo para un número finito
de términos, para algún B > 0; demostrar que {an · bn }n∈Im
es divergente a infinito.
(f) Sea {an }n∈Im una sucesión divergente a infinito y {bn }n∈Im
una sucesión tal que bn < B < 0, salvo para un número finito
de términos para algún B < 0; demostrar que {an · bn }n∈Im
es divergente a menos infinito.
(9) Si lim{an }n∈Im = ±∞ y {bn }n∈Im es una subsucesión de
{an }n∈Im , demostrar que lim{bn }n∈Im = ±∞.
(10) (a) Si lim{an }n∈Im = ±∞ y lim{bn }n∈Im = ∓∞, demostrar
que lim{an bn }n∈Im = −∞.
(b) Si lim{an }n∈Im = ±∞ y lim{bn }n∈Im = ±∞, demostrar
que lim{an bn }n∈Im = ∞.
(11) Suponga que lim{an }n∈Im = ∞
(a) Si c > 0, demostrar que lim{can }n∈Im = ∞.
(b) Si c < 0, demostrar que lim{can }n∈Im = −∞.
(c) Si lim{bn }n∈Im = B > 0, demostrar que lim{an bn }n∈Im =
∞.
(d) Si lim{bn }n∈Im = B < 0, demostrar que lim{an bn }n∈Im =
−∞.
(12) Sean A ⊂ R, f : A → R y x0 ∈ R tales que f está definida
para valores cercanos a x0 , demostrar que
limx→x0 f (x) = B si y sólo si, para toda {an }n∈Im ⊂ A \ {x0 }
tal que lim{an }n∈Im = x0 se cumple que lim{f (an )}n∈Im = B.
(13) Sean A ⊂ R, f : A → R. Si x0 ∈ A y f está definida para
valores cercanos a x0 , demostrar que:
f es continua en x0 si y sólo si, para toda {an }n∈Im ⊆
A, con lim{an }n∈Im = x0 , se cumple que lim{f (an )}n∈Im =
f (x0 ).
(14) Sean A ⊂ R, f : A → R y x0 ∈ R tal que f está definida para
valores cercanos a x0 . Demostrar que
(a) limx→x0 f (x) = ∞ si y sólo si, para toda
{an }n∈Im ⊂ A \ {x0 } tal que lim{an }n∈Im = x0 , se cumple
que lim{f (an )}n∈Im = ∞.
(b) limx→x0 f (x) = −∞ si y sólo si, para toda
{an }n∈Im ⊂ A \ {x0 } tal que lim{an }n∈Im = x0 , se cumple
que lim{f (an )}n∈Im = −∞.
48
(15) Sean A ⊂ R y f : A → R función.
(a) Suponga que existe M > 0 con [M, ∞) ⊂ A. De-
mostrar que
limx→∞ f (x) = B si y sólo si, para toda {an }n∈Im ⊂ A tal
que lim{an }n∈Im = ∞, se cumple que lim{f (an )}n∈Im = B.
(b) Suponga que existe M < 0 con (−∞, M ] ⊂ A. De-
mostrar que
limx→−∞ f (x) = B si y sólo si, para toda {an }n∈Im ⊂ A tal
que lim{an }n∈Im = −∞, se cumple que lim{f (an )}n∈Im = B.
(16) Sean {an }n∈Im y {bn }n∈Is sucesiones tales lim{bn }n∈Is = −∞.
Si existe n0 ∈ Im ∩ Is tal que, para todo n ∈ In0 se cumple
an ≤ bn . Probar que lim{an }n∈Im = −∞.
49
Ejercicios 5
n!
(1) Pruebe que lim = ∞, si x > 0.
xn n∈I1
n√ o
(2) Pruebe que lim n n! = ∞. (usar Ejercicios 3, (10)).
n∈I1
50
10. Series: una introducción
10.1. Introducción. En el ambiente matemático es muy cono-
cida la paradoja de “Aquiles y la tortuga” planteada por el filósofo
griego Zenón:
Aquiles debe competir con una tortuga en una carrera de 100 me-
tros. Como Aquiles corre diez veces más rápido que la tortuga, se le da
a ésta una ventaja de diez metros. Comienza la carrera y Aquiles sale
“volando” en pos de la tortuga. Cuando Aquiles llega al punto donde
salió la tortuga, ésta ya avanzó un metro, de tal forma que se halla
un metro adelante de Aquiles y cuando éste avanza esa distancia, la
tortuga ya avanzó una décima de metro. Cuando Aquiles llega a ese
punto la tortuga se encuentra una centésima de metro más adelante.
Y ası́ sucesivamente, “ad infinitum”. Este razonamiento nos lleva a
concluir que la tortuga siempre estará adelante de Aquiles y que éste
nunca ganará la carrera.
S1 = a1 = 1
S2 = a1 + a2 = 0
S3 = a1 + a2 + a3 = 1
·
·
·
0 si n es par,
Sn = a1 + a2 + · · · + an =
1 si n es impar.
Note quePla sucesión de sumas parciales {Sn }n∈I1 no converge, ası́ que
n+1
la serie n∈I1 (−1) no converge.
LemaP 1.47. Dados m, s ∈ Z con m < s y una sucesión P{an }n∈Im .
La serie n∈Im an es convergente si y sólo si la serie n∈Is an es
convergente.
P
Demostración. Supongamos que la serie n∈Im an es convergente.
Sean {Sn }n∈Im y {Tn }n∈Is las sucesiones de las sumas parciales de
{an }n∈Im y {an }n∈Is , respectivamente. Note que si n ∈ Is entonces
Tn = Sn −(am +am+1 +· · ·+as−1 ). Pongamos c = am +am+1 +· · ·+as−1 .
Se tiene que Tn = Sn −c para cada n ∈ Is . Luego, por el Teorema 1.17,
{Sn }n∈Is es convergente y ası́ por el Corolario
P 1.23, (b), la sucesión
{Tn }n∈Is es convergente, de donde la serie n∈Is an es convergente.
Para el recı́proco ver Ejercicios 6, (1).
Se siguen de la definición de sucesión sumable y de los Teoremas
1.18 y 1.22, las siguientes propiedades.
Lema 1.48. Si {an }n∈Im y {bn }n∈Im son sucesiones y c ∈ R, en-
tonces
P P P
(a) n∈Im (an +bn ) = n∈Im an + n∈Im bn , si {an }n∈Im y {bn }n∈Im
son
P sumambles. P
(b) n∈Im c · an = c n∈Im an , si {an }n∈Im es sumamble.
(d) Sean {Sn }n∈Im y {Tn }n∈Im las sucesiones de las sumas parciales
de {an }n∈Im y {bn }n∈Im , respectivamente. Por (c), bastará demostrar
que {Sn }n∈Im es acotada; por hipótesis tenemos que Sn ≤ Tn para
todo n ∈ Im y como {Tn }n∈Im es acotada, concluimos que {Sn }n∈Im
es acotada, ver Ejercicios 1, (5) (a).
Una condición necesaria y suficiente para que una sucesión sea
sumable es que la sucesión de sus sumas parciales sea una sucesión
de Cauchy (ver Teorema 1.35). Sin embargo, podemos tener condi-
ciones más fáciles de comprobar, que serán suficientes para concluir la
convergencia.
Teorema 1.49. Sea {an }n∈Im una sucesión. Si {|an |}n∈Im es su-
mable, entonces {an }n∈Im es sumable.
Demostración. Sean {Sn }n∈Im y {Tn }n∈Im las sucesiones de sumas
parciales de {an }n∈Im y {|an |}n∈Im , respectivamente. Por hipótesis
se tiene que {Tn }n∈Im es convergente y, por el Teorema 1.35, es una
sucesión de Cauchy. Entonces dado ε > 0, existe n0 ∈ Im tal que para
todo s, l ∈ In0 se cumple que |Ts − Tl | < ε. Asumimos que s > l,
entonces
Ejemplo 1.51. (1) Sea {an }n∈Im tal que an = c con c 6= 0, salvo
para un número finito de términos, entonces la sucesión {an }n∈Im no
es sumable.
En efecto, por el Teorema 1.17, concluimos que lim{an }n∈Im =
c 6= 0, luego por el Teorema 1.50, se tiene que {an }n∈Im no es sumable.
1 − xn+1
1 + x + x 2 + · · · + xn = .
1−x
n
P
Vamos a probar que la serie n∈I0 x converge. Para esto sea
{Sn }n∈I0 la sucesión de sumas parciales. Tenemos que para cada n ∈
I0 , Sn = x0 + x1 + · · · + xn = 1 + x + x2 + · · · + xn . Como {xn+1 }n∈I0 es
una subsucesión de {xn }n∈I0 , se sigue del Lema 1.30 lim{xn+1 }n∈I0 =
0. Ahora,
1 − xn+1
1
lim{Sn }n∈I0 = lim =
1−x n∈I0 1−x
y por lo tanto n∈I0 xn es convergente. Además tenemos que:
P
X 1
xn = .
n∈I0
1−x
Finalmente, por el Lema 1.47, n∈Im xn converge.
P
Más aún,
(a) Si m < 0 y x 6= 0, entonces
n
= xm + xm+1 + · · · + x−1 + n∈I0 xn
P P
n∈Im x
= xm + xm+1 + · · · + x−1 + 1
1−x
.
es decir,
1 X
= 1 + x + x2 + · · · + xm−1 + xn
1−x n∈I m
56
de donde
X 1
xn = − (1 + x + x2 + · · · + xm−1 ).
n∈Im
1−x
57
Ejercicios 6
m, s ∈ Z con m < s y una sucesión {an }P
(1) Sean P n∈Im . Si la
serie n∈Is an es convergente entonces la serie n∈Im an es
convergente.
(2) Si {aP
n }n∈Im y {bn }n∈Im P
son sumables,
P entonces
(a) n∈Im (an + bn ) = n∈Im an + n∈Im bn ;
P P
(b) n∈Im c · an = c n∈Im an , con c ∈ R;
P
(c) Si an ≥ 0 para cada n ∈ Im , entonces n∈Im an es
convergente si y sólo si la sucesión de sumas parciales,
{Sn }n∈Im , es acotada.
(d) Si an ≥ 0, bn ≥ an para cada n ∈ Im y {an }n∈Im no es
sumable, entonces {bn }n∈Im no es sumable.
P
(e) Si an ≤ 0 para cada n ∈ Im , entonces n∈Im an es
convergente si y sólo si la sucesión de sumas parciales
{Sn }n∈Im es acotada.
(f) Si an ≤ 0, bn ≤ an para cada n ∈ Im y {an }n∈Im no es
sumable, entonces {bn }n∈Im no es sumable.
(3) Determine si las siguientes series son convergentes o no, en
caso de serlo hallar su suma:
1+2n
P
(a) n∈I1 3n .
3
P
(b) n∈I1 10n .
1 n−1
P
(c) n∈I1 (− 2 ) .
2n−1
P
(e) n∈I1 3n .
3n2
P
(f) n∈I1 n2 +1 .
2n+1
P
(g) n∈I1 3n+2 .
58
2
P
(h) n∈I1 3n−1 .
1 1
P
(i) n∈I1 ( 3n − 4n ).
3 2
P
(j) n∈I1 ( 2n − 3n ).
59
CAPÍTULO 2
Construcción de la integral
1. Introducción histórica
Uno de los problemas que el cálculo integral trata de resolver es el
de hallar áreas. Calcular el área de una figura plana delimitada por
rectas (región poligonal), por irregular que sea, es comparativamente
fácil. Sólo hay que trazar lı́neas auxiliares que la dividan en triángulos.
Sumando las áreas de estos triángulos se obtiene el área de la figura
dada al principio.
Cuando el borde de una figura no está formado sólo por rectas
sino también por algunas curvas, el procedieminto anterior ya no es
tan sencillo y hay que recurrir a aproximaciones. ¿Cómo determinare-
mos, por ejemplo, el área de un disco circular o de un segmento de
una parábola. Esta cuestión crucial, que está en la base del cálculo
integral, fue tratada desde el siglo III a. de c. por Arquı́medes de Sira-
cusa (287-212 a. de c.), quien calculó tales áreas mediante un proceso
ideado casi un siglo antes por Eudoxo y que se conoce con el nombre de
“método de exhaución” o de agotamiento . Consiste en inscribir, en la
región cuya ŕea se desea calcular, una región poligonal que la aproxime.
Al aumentar el número de lados de la región poligonal, puede hacerse
que su área difiera, tan poco como se quiera, de la de la figura original.
Procediendo de esta manera podemos “agotar” gradualmente toda el
área y obtendremos el área de la región dada. Arquı́medes siguió este
esquema para el cı́rculo y el segmento parabólico. Durante el siglo
XVII se trataron exitosamente muchos casos más. En cada uno de
ellos el cálculo del área como el lı́mite de la áreas de una sucesión
escogida adecuadamente de regiones poligonales, se hacı́a depender de
algún artilugio ingenioso que se adaptaba especialmente al problema
particular. Uno de los grandes logros del cálculo fue reemplazar estos
procedimientos especiales y restringidos por un poderoso método gen-
eral. Gradualmente el método de exhaución fue transformándose en
61
lo que hoy conocemos como Cálculo Integral, nueva y potente disci-
plina que tiene aplicaciones en numerosas ciencias y no sólo en prob-
lemas relativos a áreas y volúmenes. Recibio su mayor impulso en el
siglo XVII por parte de Isaac Newton (1642-1727) y Gottfried Leibniz
(1642-1716) y logró su fundamentación sólida con la aritmetización
de los conceptos por parte de Augustin-Louis Cauchy (1789-1857) y
Bernhard Riemann (1826-1866). Hacia 1875, la noción de integral
era suficientemente amplia y estaba rigurosamente fundamentada y
entonces se extendió a funciones no acotadas y a varias integrales im-
propias. La extensión más significativa tanto en una como en dos
variables fue llevada a cabo en el siguiente siglo por H. Lebesgue.
Figura 2
2. Construcción de la Integral
En vez de considerar el área bajo la curva y = f (x) como una canti-
dad que existe y se puede expresar como el lı́mte de sumas, definiremos
la integral como ese lı́mite y consideraremos el concepto de integral
como la base primaria a partir de la cual se obtiene después el concepto
general de área.
63
En toda la construcción de la integral consideraremos una función
f acotada, a, b ∈ R con a < b
f : [a, b] → R,
salvo que digamos lo contrario.
Definición 2.1. (a) Decimos que {x0 , x1 , x2 , ..., xn } ⊆ [a, b] es una
partición P de [a, b], si a = x0 < x1 < x2 < ... < xn−1 < xn = b y se
denotará como P = {x0 , x1 , · · · , xn }.
(b) Sea P 0 otra partición de [a, b], decimos que P 0 es un refi-
namiento de P si P ⊆ P 0 .
(c) Sea P = {x0 , x1 , · · · , xn } una partición de [a, b], al número
max{xi − xi−1 : i ∈ {1, ..., n}}
se le llamará la norma de P y se denota por kP k y para i ∈ {1, · · · , n},
a la diferencia xi − xi−1 la denotaremos por ∆xi .
P1 = x0 = 0, x1 = 21 , x2 = 1 ,
P2 = x0 = 0, x1 = 0.3, x2 = 12 , x3 = 0.75, x4 = 1 ,
Pn = x0 = 0, x1 = n1 , x2 = n2 , x3 = n3 , . . . , xn = 1 .
65
Entonces para todas las sumas de aproximación con respecto a la
partición Pn , S(f, Pn ) ≤ 31 ≤ S(f, Pn ) y lim{S(f, Pn )}n∈I1 ≤ 31 ≤
lim{S(f, Pn )}n∈I1 .
Ahora veamos la definición de función integrable.
Si P2 = P1 ∪ P , tenemos que
Z b
(1) S(f, P2 ) ≥ S(f, P1 ) > f (x)dx − .
a 2
yj ∈B mj (yj − yj−i ).
Además la primera suma tiene a lo más n sumandos que son todos
los posibles terminos de P1 .
Ahora tenemos queP
S(f, P2 ) − S(f, P ) = yj ∈A,xj ∈P1 ∩(yj−1 ,yj ) [ti,j (yj − xji ) + ti,j−1 (xji −
P i
yj−1 )] − yj ∈A mj (yj − yj−1 ).
Ahora bien S(f, P2 ) − S(f, P ) ≥ 0, por lo tanto
|S(f, P2 ) − S(f, P )| =PS(f, P2 ) − S(f, P ), ası́ que
S(f, P2 ) − S(f, P ) ≤ yj ∈A,xj ∈P1 ∩(yj−1 ,yj ) [|ti,j |(yj − xji ) + |ti,j−1 |(xji −
P i
yj−1 )] + yj ∈A |mj |(yj − yj−1 ).
Esta última suma tiene a lo más 3n sumandos. Ahora es claro que
para x ∈ [yj−1 , xji ], con yj ∈ A, se tiene que −M ≤ f (x) ≤ M , por lo
que −M ≤ ti,j ≤ f (x) ≤ M y −M ≤ ti,j−1 ≤ f (x) ≤ M , por tanto
|ti,j | ≤ M y |ti,j−1 | ≤ M , analogamente obtenemos que |mj | ≤ M ası́
que
S(f, P2 ) − S(f, P ) ≤ 3nM kP k < 3nM δ ≤ 3nM = .
6M n 2
Por tanto
S(f, P ) − S(f, P2 ) > −
2
Por tanto, sumando esta desigualdad con la desigualdad (1), obte-
nemos que
Z b
S(f, P ) > f dx − .
a
Z b
(2) S(f, P2 ) ≤ S(f, P1 ) < f dx + .
a 2
73
En este caso, para yj ∈ A, denotamos por xji ∈ P1 ∩(yj−1 , yj ) y por
Ti,j−1 = sup{f (x) : x ∈ [yj−1 , xji ]}, Ti,j = sup{f (x) : x ∈ [xji , yj ]}.
Igual quePantes, tenemos que
S(f, P2 ) = yj ∈A,xj ∈P1 ∩(yj−1 ,yj ) [Ti,j (yj − xji ) + Ti,j−1 (xji − yj−1 )]+
P i
yj ∈B Mj (yj − yj−i ).
Análogamente, P P
S(f, P )−S(f, P2 ) = yj ∈A Mj (yj −yj−1 )− yj ∈A,xj ∈P1 ∩(yj−1 ,yj ) [Ti,j (yj −
i
xji ) + Ti,j−1 (xji − yj−1 )].
Ahora bien S(f, P ) − S(f, P2 ) ≥ 0, por tanto
|S(f, P ) − S(f, P2 )| = PS(f, P ) − S(f, P2 ), ası́P que
S(f, P )−S(f, P2 ) ≤ yj ∈A |Mj |(yj −yj−1 )+ yj ∈A,xj ∈P1 ∩(yj−1 ,yj ) [|Ti,j |(yj −
i
xji ) + |Ti,j−1 |(xji − yj−1 )]
Con análogos razonamientos, obtenemos que:
S(f, P ) − S(f, P2 ) ≤ 3nM δ =
6M n 2
Por tanto
S(f, P ) − S(f, P2 ) <
2
Por tanto, sumando esta desigualdad con la desigualdad (2), obte-
nemos que
Z b
S(f, P ) < f dx + .
a
Análogamente
Z b Z c Z b
f (x)dx = f (x)dx + f (x)dx.
a a c
74
(b) Si M = sup{f (x) : x ∈ [a, b]} y m = inf {f (x) : x ∈ [a, b]},
entonces
Z b Z b
m(b − a) ≤ f (x)dx ≤ f (x)dx ≤ M (b − a).
a a
(c) Si c ∈ R, entonces
Z b Z b
[f (x) + c]dx = f (x)dx + c(b − a)
a a
y
Z b Z b
[f (x) + c]dx = f (x)dx + c(b − a).
a a
(c) Sea P = {x0 , x1 , ..., xn } una partición arbitraria de [a, b]. Sea
Mi = sup{f (x) + c : x ∈ [xi−1 , xi ]} y Mi = sup{f (x) : x ∈
[xi−1 , xi ]}. Afirmamos que Mi = Mi + c. En efecto, sea x ∈ [xi−1 , xi ],
entonces f (x) ≤ Mi , luego f (x) + c ≤ Mi + c, por tanto Mi ≤
Mi + c. Por otro lado f (x) + c ≤ Mi para todo x ∈ [xi−1 , xi ], es decir
f (x) ≤ Mi − c para todo x ∈ [xi−1 , xi ], ası́ que Mi ≤ Mi − c, o sea
Mi + c ≤ Mi , por tanto la igualdad.
Por lo anterior tenemos que
S(f (x)+c, P ) = (M1 +c)(x1 −x0 )+...+(Mn +c)(xn −xn−1 ). Haciendo
cuentas tenemos que
S(f (x) + c, P ) = S(f (x), P ) + c[(x1 − x0 ) + ... + (xn − xn−1 )] =
S(f (x), P ) + c(b − a).
Ası́ que
{S(f (x)+c, P ) : P es una partición de [a, b]} = {S(f (x), P )+c(b−a) :
P es una partición de [a, b]}.
R b De otra forma
a
[f (x)+c]dx = inf {S(f (x), P )+c(b−a) : P es una partición de [a, b]}.
De igual manera que antes tendremos que
3. Sumas de Riemann
Ahora definiremos las sumas de Riemann, para funciones acotadas,
las cuales nos permiten visualizar a la integral como una especie de
“lı́mite”.
76
Definición 2.21. (a) Sea P = {x0 , · · · , xn } una partición cualquie-
ra del intervalo [a, b], a los conjuntos de la forma A = {ξi : ξi ∈
[xi−1 , xi ], i ∈ {1, · · · , n}} se les llamará selecciones de la partición
P . Una selección de la partición P es un conjunto A = {ξi : ξi ∈
[xi−1 , xi ], i ∈ {1, · · · , n}}
Figura 3
1 (n−1)n
=1+ n2 2
n−1
=1+ 2n
.
1
n o
n−1
1− n
Por lo tanto A(R) = lim 1 + 2n n∈I1
= lim 1 + 2
=
n∈I1
1−0
1+ 2
= 32 .
Ası́ que definir adecuadamente un lı́mite a las sumas de Riemann,
nos puede conducir a una forma de hallar la integral.
(e) Si f (x) ≥ g(x) para toda x ∈ [a, b], limkP k→0 S(f, A, P ) y
limkP k→0 S(g, A, P ) existen, entonces
limkP k→0 S(f, A, P ) ≥ limkP k→0 S(g, A, P ).
Z b X Z b
−ε < S(f, P ) − f (x)dx ≤ f (ξi )∆xi − f (x)dx ≤
a P a
Z b
S(f, P ) − f (x)dx < ,
a
para cualesquiera ξi ∈ [xi−1 , xi ].
De donde Z b
|S(f, A, P ) − f (x) dx| < ε.
a
Rb
O sea limkP k→0 S(f, A, P ) = a f (x) dx.
81
Ahora supongamos que el lı́mite de las sumas de Riemann de f
existe, sea limkP k→0 S(f, A, P ) = L.
Queremos demostrar que f es integrable, en este caso demostraremos
que:
Z b Z b
f (x) dx = f (x) dx.
a a
Supongamos que existe P1 partición de [a, b] tal que:
S(f, P1 ) < L.
Sea = L − S(f, P1 ), entonces existe δ > 0 tal que para toda P ,
partición de [a, b], tal que kP k < δ, si P = {x0 , ..., xn }, entonces
Xn
− < f (ξi )(xi − xi−1 ) − L < , para ξi ∈ [xi−1 , xi ].
i=1
84
(b) Por la Proposición 2.25 y por el Teorema 2.26, limkP k→0 S(f ±
Rb
g, A, P ) existen y a (f (x) ± g(x))dx = limkP k→0 S(f ± g, A, P ) =
Rb Rb
limkP k→0 S(f, A, P ) ± limkP k→0 S(g, A, P ) = a f (x)dx ± a g(x)dx.
(c) Por el Teorema 2.26 tenemos que limkP k→0 S(f, A, P ) existe. Se
sigue de la Proposición 2.25 que limkP k→0 S(f, A, P ) ≥ 0. Finalmente,
Rb
por el Teorema 2.26 se obtiene que a f (x)dx ≥ 0.
(d) Es consecuencia de (c).
(e) Ejercicio (usar Lema 2.20).
(f ) Es consecuencia de la Proposición 2.25 (f) y el Teorema 2.26.
86
Ejercicios 7
(1) Sean P , Q particiones de [a, b], demostrar que P ∪ Q y P ∩ Q
son particiones de [a, b].
(2) Sea A acotado y no vacı́o, c ∈ R. Si A + c = {a + c : a ∈ A},
demostrar que sup(A+c) = supA+c e inf (A+c) = inf A+c.
(3) Sean A, B ⊆ R acotados y no vacı́os. Si A + B = {a + b :
a ∈ A y b ∈ B}, demostrar que sup(A + B) = supA + supB
e inf (A + B) = inf A + inf B.
(4) Probar que si A ⊆ B ⊆ [a, b] y f : [a, b] → R, es acotada,
entonces inf{f (x) : x ∈ A} ≥ inf{f (x) : x ∈ B} y sup{f (x) :
x ∈ A} ≤ sup{f (x) : x ∈ B}.
1
(5) Proponer una partición P de [0, 1] tal que ||P || < 1000
.
(6) Demostrar que dado c > 0, existe una partición P de [a,b] tal
que kP k < c.
(7) Si P = {x0 , ..., xn } es una partición de [a, b], δ = mı́n{xi −
xi−1 : i ∈ {1, .., n}} y Q = {y0 , .., ym } es una partición de
[a, b] tal que ||Q|| < δ, entonces para todo i ∈ {1, ..., m} se
cumple (yi−1 , yi ) ∩ P tiene a lo más un punto.
(8) Sean f : [0, 1] → R una función dada por f (x) = x y P =
{0, 51 , 14 , 13 , 21 , 1}. Calcular S(f, P ) y S(f, P ). Proponer un
refinamiento Q de P y calcular S(f, Q) y S(f, Q).
(9) Demostrar que si P y Q son particiones de [a, b] y Q es un
refinamiento de P , entonces kQk ≤ kP k.
(10) Proponer f : [a, b] → R acotada, P y Q particiones de [a, b]
tales que ||Q|| < ||P ||, pero S(f, P ) = S(f, Q).
(11) Demostrar que si f : [a, b] → R es acotada y para todo c ∈
(a, b), f es integrable en [c, b], entonces f es integrable en
[a, b].
(12) Demostrar que si f : [a, b] → R es acotada y para todo c ∈
(a, b), f es integrable en [a, c], entonces f es integrable en
[a, b].
87
(13) Demostrar que si f : [a, b] → R es integrable, entonces para
todo c ∈ (a, b), f |[a,c] : [a, c] → R y f |[c,b] son integrables,
donde f |[a,c] (x) = f (x) para todo x ∈ [a, c] y f |[c,b] (x) = f (x)
para todo x ∈ [c, b].
(14) Si f : [0, 1] → R definida como f (x) = x si x ∈ [0, 21 ] y
f (x) = x + 1 si x ∈ ( 12 , 1]. Demostrar que f es integrable en
[0, 1].
(15) Dada h : [a, b] → R, donde h(x) ≥ 0 para todo x ∈ [a, b] .
Rb
Probar que si h es integrable en [a, b] , entonces h(x)dx ≥ 0.
a
88
(23) Sea f : [a, b] → R una función acotada. Si limkP k→0 S(f, A, P )
existe y d ∈ (a, b), entonces
lim S(f |[a,d] , A, P ) y lim S(f |[d,b] , A, P )
kP k→0 kP k→0
existen y además:
limkP k→0 S(f, A, P ) = limkP k→0 S(f |[a,d] , A, P )+
limkP k→0 S(f |[d,b] , A, P ) (ver Ejercicio (13)).
(24) Sean f, g : [a, b] → R funciones acotadas. Si f (x) ≥ g(x)
para toda x ∈ [a, b], limkP k→0 S(f, A, P ) y
limkP k→0 S(g, A, P ) existen, entonces
limkP k→0 S(f, A, P ) ≥ limkP k→0 S(g, A, P ).
(25) Sea f : [a, b] → R una función acotada. Si m ≤ f (x) ≤ M
para todo x ∈ [a, b] y limkP k→0 S(f, A, P ) existe, entonces
m(b − a) ≤ limkP k→0 S(f, A, P ) ≤ M (b − a).
(26) Sea f : [a, b] → R una función integrable. Probar que e-
xiste una sucesión {Pn }n∈I1 de particiones de [a, b] tal que
Rb
lim{S(f, Pn )}n∈I1 = f (x)dx y una sucesión {Qn }n∈I1 de
a
Rb
particiones de [a, b], tal que lim{S(f, Qn )}n∈I1 = f (x)dx.
a
(27) Sea f : [a, b] → R una función integrable. Sea {Pn }n∈Im una
sucesión de particiones de [a, b] tal que lim{kPn k}n∈Im = 0.
Para todo n ∈ Im , sea An una selección de Pn . Demostrar
que:
(a) lim{S(f, An , Pn )}n∈Im existe,
Rb
(b) lim{S(f, An , Pn )}n∈Im = a f (x)dx,
Rb
(c) lim{S(f, Pn )}n∈Im = a f (x)dx y
Rb
(d) lim{S(f, Pn )}n∈Im = a f (x)dx.
89
(29) Probar que: si c ∈ (a, b) y f : [a, b] → R es integrable sobre
[a, c] y [c, b] , entonces f es integrable sobre [a, b]. Además
Rb Rc Rb
a
f (x)dx = a
f (x)dx + c
f (x)dx.
(30) Sean c ∈ (a, b) y k ∈ R tales que f (x) = k para todo x ∈
[a, b] \ {c} y f (c) 6= k. Demostrar que
Rc
(a) a f (x)dx = (c − a)k,
Rb
(b) c f (x)dx = (b − c)k,
Rb
(c) a f (x)dx = (b − a)k,
Rb
(d) Si c ∈ [a, b] entonces a f (x)dx = (b − a)k.
(31) Sea f : [a, b] → R, suponga que existen una partición de
[a, b], P = {x0 , x1 , .., xn−1 , xn }, y {c1 , ..., cn } ⊂ R, tales que
para todo i ∈ {1, . . . , n}, y todo x ∈ (xi−1 , xi ) se tiene que
f (x) = ci . Demostrar que
(a) f es integrable en [a, b],
Rb
(b) a f (x)dx = ni=1 ci (xi − xi−1 ).
P
90
4. Teorema Fundamental del Cálculo
Veamos una importante clase de funciones que son integrables:
las funciones continuas, además de una importante relación entre la
integral y la derivada.
Observación 2.29. En el texto “Cálculo diferencial en una va-
riable” [3], se conviene que una función, f , es continua en un intervalo
cerrado [a, b] si f es continua en (a, b) y además limx→a+ f (x) = f (a)
y limx→b− f (x) = f (b). Es decir, si f es continua en (a, b), f es con-
tinua por la izquierda en b y es continua por la derecha en a. Es decir,
f es continua en [a, b] si limx→a+ f (x) = f (a), limx→b− f (x) = f (b) y
limx→x0 f (x) = f (x0 ) para todo x0 ∈ (a, b).
Entonces
limh→0 G(x+h)−G(x)
h
= f (x) para x ∈ (a, b), limh→0− G(b+h)−G(b)
h
= f (b) y
G(a+h)−G(a) 0
limh→0+ h
= f (a), es decir, G (x) = f (x) para todo x ∈ [a, b].
Demostración.
(a) Sea F : [a, b] → R definida como
Z x
F (x) = f (t) dt.
a
Sea x0 ∈ (a, b). Tenemos que f es continua en x0 . Consideremos
δ > 0, tal que para todo h ∈ (0, δ), se cumple que x0 + h ∈ [a, b].
Evaluemos la siguiente expresión: F (x0 +h)−F
h
(x0 )
(para h ∈ (0, δ) que
cumplen que x0 + h ∈ [a, b]).
F (x0 + h) − F (x0 ) 1 x0 +h 1 x0
Z Z
= f (t)dt − f (t)dt.
h h a h a
Como a < x0 < x0 + h ≤ b, por el Lema 2.20 (a), tenemos que
"Z #
1 x0 +h x0
Z Z x0 +h
1
f (t)dt = f (t)dt + f (t)dt .
h a h a x0
También existe δ > 0 tal que para h ∈ (−δ, 0], x0 + h ∈ [a, b]. Para
h ∈ (−δ, 0] tales que x0 + h ∈ [a, b], se tiene que
1 x0 +h 1 x0 +h 1 x0 1 x0
R R R R
h a
f (t)dt = h a
f (t)dt + h x0 +h
f (t)dt − h x0 +h
f (t)dt =
1 x0 1 x0
R R
h a
f (t)dt − h x0 +h
f (t)dt.
De donde
"Z #
x0
F (x0 + h) − F (x0 ) 1
=− f (t)dt .
h h x0 +h
93
Por Lema 2.20 (c), tenemos que
Z x0 Z x0 Z x0
[f (t) − f (x0 )]dt = f (t)dt − |h|f (x0 ) = f (t)dt + hf (x0 )
x0 +h x0 +h x0 +h
Ası́ que hR i
F (x0 +h)−F (x0 ) x0
h
− f (x0 ) = F (x0 +h)−F
h
(x0 )
− 1 hf (x0 ) = − h1 f (t)dt −
hR i h x0 +h
1 x
h
hf (x0 ) = − h1 x00+h f (t)dt + hf (x0 )
hR i
x0
= − h1 x0 +h
[f (t) − f (x0 )]dt .
97
Ejercicios 8
(1) DemuéstreseR que
π 1
R31
(a) 0 ≤ 0 senx dx ≤ π; (b) 2
≤ 1 x2
dx ≤ 1;
R3 1
R2
(c) 1 x
dx > 1; (d) 5 ≤ 0
x4 dx ≤ 10.
(2) Demostrar que para c ∈ R y f integrable en cualquier inter-
valo de R, se cumple:
Rcb Rb
(a) f (x)dx = c f (cx)dx, para c ≥ 0.
ca a
Rca Rb
(b) f (x)dx = c f (cx)dx, para c < 0.
cb a
98
(7) Demuéstre que:
x+h
(a) limh→0 h1
R
t3 dt = x3 ,
x
x+h
(b) limh→0 h1 1 1
R
t
dt = x
para todo x > 0.
x
(10) Probar que el teorema del valor medio para las integrales es
falso si f no es continua en [a, b].
b
R
(11) Probar que si f es continua en [a, b] , entonces f (x)dx ≤
a
Rb
|f (x)| dx.
a
Rb
b
R
(12) Si f es continua en [a, b] y f (x)dx > 0 f (x)dx < 0 ,
a a
entonces existe x0 ∈ [a, b] tal que f (x0 ) > 0 (f (x0 ) < 0).
99
CAPÍTULO 3
Métodos de integración,
función logaritmo y exponencial
1. Funciones primitivas
En el Capı́tulo 2, construimos la integral definida de una función
acotada, como vimos calcular el valor de la integral es sumamente
complicado y en algunos casos es imposible. Según el Teorema 2.36
(Teorema Fundamental del Cálculo), si f es integrable en [a,b] y
F es una función derivable en [a,b] tal que F 0 (x) = f (x), entonces
Rb
a
f (x)dx = F (b) − F (a). Ası́, se justifica la siguiente definición:
Definición 3.1. Sean A ⊂ R, f : A → R una función y F : A →
R una función derivable en A, diremos que F es una primitiva de f
si para todo x ∈ A, se cumple que F 0 (x) = f (x).
Si f : [a, b] → R es continua sabemos que siempre existe una primi-
tiva de ella, a saber: Z x
F (x) = f (t)dt,
a
ası́ que las funciones continuas en intervalos cerrados tienen aseguradas
primitivas (estas primitivas son funciones elementales, polinomios,
funciones racionales, funciones trigonométricas, exponencial, logaritmo
o cualquier combinación de estas). Pero no todas las funciones inte-
grables tienen primitivas, sin embargo, si las podemos hallar asegu-
ramos el cálculo de sus integrales definidas; es más, si f es integrable
en [a,b] y F es derivable en [a,b] y además F 0 (x) = f (x), sabemos que
Rb
a
f (x)dx = F (b) − F (a), de ahora en adelante, en estas condiciones
Rb
denotaremos a f (x)dx = F (b) − F (a) = [F (x)]ba .
102
Teorema 3.4. Sea F una primitiva de f en un intervalo I, es
decir, F 0 (x) = f (x) para todo x ∈ I. Entonces cualquier primitiva G
de f en I debe ser de la forma
G(x) = F (x) + c, para toda x ∈ I,
para alguna constante c. Más aún, cualquier función G de esta forma,
es una primitiva para f .
Demostración. Sean F (x) y G(x) dos primitivas de f (x) en I. La
función h(x) = F (x) − G(x) es primitiva de la función cero en I, por
el Corolario 3.3, concluimos que h(x) = c, para todo x ∈ I y para
alguna constante c, de donde
G(x) = F (x) + c, para toda x ∈ I.
R R R
Proposición
R 3.5. (a)
R (f + g)(x)dx = f (x)dx + g(x)dx.
(b) (cf )(x)dx = c f (x)dx.
(c) (Integración por partes) Si f 0 y g 0 son continuas, entonces:
Z Z
f (x)g (x)dx = f (x)g(x) − f 0 (x)g(x)dx.
0
Como
H 0 (ν −1 (y)) = f (ν(ν −1 (y)))ν 0 (ν −1 (y)),
104
y por otro lado, usando la fórmula de la derivada de la función inversa,
tenemos que
1
(ν −1 )0 (y) = 0 −1 ,
ν (ν (y))
concluimos que
−1
0 −1 0 −1 1
H(ν (y) = f (ν(ν (y)))ν (ν (y)) 0 −1 = f (y).
ν (ν (y))
Por tanto la iguadad.
(f ) (I) Sea
Z y
G(y) = f (t)dt, para cada y ∈ [a, b].
a
Sabemos que
(G(ν(x)))0 = G0 (ν(x))ν 0 (x).
Notar que para todo x ∈ [c, d], se tiene que ν(x) ∈ [a, b], ası́ que por
hipótesis: G0 (ν(x)) = f (ν(x)). Por lo tanto
(G(ν(x)))0 = f (ν(x))ν 0 (x), para todo x ∈ [c, d].
Ası́ que, G(ν(x)) es primitiva de f (ν(x))ν 0 (x) al menos en [c, d], por
lo tanto
Z d
f (ν(x))ν 0 (x)dx = G(ν(d)) − G(ν(c)) = G(b) − G(a).
c
Como G(y) es primitiva de f (y) en [a, b], ya que f es continua en [a, b],
Rb
tenemos que a f (t)dt = G(b) − G(a). Con lo cual:
Z d Z b
0
f (ν(x))ν (x)dx = f (t)dt.
c a
(II) Tarea.
En los ejemplos que siguen, las igualdades hay que tratarlas como
igualdades de funciones y el dominio se entenderá que será el máximo
posible en donde la derivada de la primitiva coincide con la función
en cuestión. Claro que en algunas igualdades, esta vale en todos los
números reales.
105
n+1
(1) xn dx = xn+1 con n ∈ Z \ {−1} (derive
R
Ejemplo 3.6.
la función de la derecha).
n+1 0
x
Calculemos: y obtenemos que es xn . Observe-
n+1
mos la siguiente restricción: si n ≤ 0 y n 6= −1, entonces la
iguladad se cumple en R\{0}. Sin embargo, si n > 1 entonces
la igualdad se cumple en todos los reales.
En los siguientes 3 ejemplos, para convencerse de la igual-
dad bastará derivar a la supuesta primitiva y comprobar la
igualdad.
R R
(2) R senx dx = −cosx, R cos x dx = sen x.
(3) R sec2 x dx = tanR x, sec x tan x dx = sec x.
(4) R cosdx2 x = tan x, sen
dx
2 x = −cotan x
Ası́ que
Z 1 Z 1
1 1 1
log( ) = − dx = x(− )dx = − log(a),
a 1
a
x 1
a
x2
Por lo tanto,
Z b Z 1 Z 1
1 1
− dx = − f (y) dy = log a y − dx = log(b),
ab x a b x
note que
Z a Z ar
0 1
f (ν(x))ν (x)dx = dy = log(ar ),
1 1 y
r
por lo tanto: r log(a) = log(a ).
Ahora si r > 0 y a < 1, entonces
Z 1 Z 1
1 1
r log(a) = r − dx = − ( r )(rxr−1 ) dx =
a x a x
Z 1
− f (ν(x))ν 0 (x) dx,
a
109
por otro lado,
Z 1 Z 1
0 1
f (ν(x))ν (x)dx = dy = − log(ar ),
a ar y
r
por lo tanto: r log(a) = log(a ).
Ahora si r < 0 y a > 1, entonces
Z a
r log(a) = f (ν(x))ν 0 (x)dx,
1
como Z a Z 1
0 1
f (ν(x))ν (x)dx = − dy = log(ar ),
1 ar y
r
por lo tanto: r log(a) = log(a ).
Finalmente si r < 0 y a < 1, entonces
Z 1 Z 1 Z 1
1 1
r log(a) = r − dy = − r−1
( r )(ry ) dy = − f (ν(x))ν 0 (x) dx,
a y a y a
por otra parte,
Z 1 Z ar
0 1
f (ν(x))ν (x)dx = − dy = − log(ar ),
a 1 y
por lo tanto: r log(a) = log(ar ).
de donde log(e) = 1.
Veamos la siguiente desigualdad.
Lema 3.11. Para todo n ∈ N se cumple que n < en .
1Ver página 210, Corolario 3.4.6 de [3].
111
Demostración. Como 2 < e< 3, existe
r> 1 tal que e = 1 + r,
n n
entonces en = (1 + r)n = ni=0 ri ≥
P
r = nr > n.
i 1
Para finalizar esta sección, veamos el siguiente resultado:
Teorema 3.12. Se tiene que :
(a) limx→∞ log(x) = ∞.
(b) limx→0+ log(x) = −∞.
Demostración.
(a) Sea R > 0, tomamos n ∈ N tal que n > R, denotamos por
S = en . Ası́ que S > 0. Si x > S, entonces x > en , como log es
estrictamente creciente, tenemos que log(x) > log(en ) = n log(e) =
n > R, y concluimos (a).
(b) Sea {xn }n∈Im sucesión en R+ tal que lim{xn }n∈Im = 0. Sabe-
mos que lim{ x1n }n∈Im = ∞, usando (a) de este Teorema, tenemos
que lim{log( x1n )}n∈Im = ∞, note que log( x1n ) = − log(xn ) para todo
n ∈ Im . Ası́ que
1
lim{− log( )}n∈Im = −∞,
xn
en otras palabras
lim{log(xn )}n∈Im = lim{−(− log(xn ))}n∈Im = −∞.
Por lo tanto, se concluye (b).
112
Ahora supongamos que y < 0, ahora usando el Teorema 3.12 (b),
tenemos que existe δ > 0, tal que si 0 < x < δ, entonces log(x) < y <
0. Sea 0 < x0 < δ; note que x0 < 1, pues de lo contrario, si x0 ≥ 1,
entonces 0 = log(1) ≤ log(x0 ) < y < 0, lo cual no es posible.
Como log es continua en [x0 , 1], también de manera análoga, te-
nemos que y es un punto intermedio de log(x0 ) y de log(1) = 0, ası́
que existe x ∈ (x0 , 1) tal que log(x) = y.
(d) Desarrollamos:
(ar )s = exp(s log(ar )) = exp(s log(exp(r(log(a))))) =
exp(s(r log(a))) = exp((sr) log(a)) = asr .
(e) Por definición: (ab)r = exp(r log(ab)), ahora por los Teoremas
3.8 (c) y 3.14 (e) se tiene que
exp(r log(ab)) = exp(r(log(a) + log(b))) = exp(r log(a) + r log(b)) =
exp(r log(a))exp(r log(b)) = ar br .
Demostración.
(a) Sean R > 0 y S > max{1, log(R)}. Note que S > 0. Sea
x > S. Como la función exp es estrictamente creciente, se tiene que
ex > es > elog(R) = R.
(b) Sean ε > 0 y S < min{−1, log(ε)}. Note que S < 0. Para
x < S, se tiene que 0 < ex < eS < elog(ε) = ε, ası́ obtenemos que
|ex − 0| < ε.
de la derecha.
R Como xexR dx = x(ex )0 , integrando por partes, ten-
emos que: xe = xe − 1ex dx = xex − ex .
x x
(5) Como
116
R R sec(x)+tan(x) R sec2 (x)+sec(x)tan(x)
sec(x) dx = sec(x) sec(x)+tan(x)
dx = sec(x)+tan(x)
dx.
Si f (u) = y g(x) = sec(x) + tan(x), tenemos que g 0 (x) =
1
u
2 (x)+sec(x)tan(x)
sec2 (x) + sec(x)tan(x); ası́ que f (g(x))g 0 (x) = sec sec(x)+tan(x) . Por
tanto, enR donde se cumplan las hipótesis de la Proposición 3.5 (e) (I),
y como f (u)du = log(|u|) se tiene que:
Z Z
sec(x) dx = f (g(x))g 0 (x) dx = log(|g(x)|) + c =
log(|sec(x) + tan(x)|) + c.
√
Z
f (u)du = 2 u + c,
ası́ que
Z Z
dx
1 1 =6 f (g(x))g 0 (x)dx.
x +x 3 2
5 R 2 u3
Calculemos: f (u) du = u3u+u2 du = uu2 u+1
R R
du =
R u3 +1−1 R h (u+1)(u2 −u+1) 1
i
du = − u+1 du =
R 2u+1 1
u+1
1 3 1 2
[u − u + 1 − u+1 ] du = 3 u − 2 u + u − log(|u + 1|) + c.
R
(i) Sabemos que senx dx = −cosx, para la segunda integral usare-
mos el método de sustitución. Proponemos g(x) = cosx, entonces
tenemos que cos2 x senx = g(x)2 (−g 0 (x)), ası́ que si f (u) = u2 , obte-
nemos que cos2 xsenx = −[f (g(x))g 0 (x)], por tanto
Z
1
cos2 xsenx dx = (g(x))3 + c,
3
120
ası́ que Z
1
sen3 x dx = −cosx + cos3 x + c.
3
(ii) Como
Z Z
3
sen x dx = (1 − cos2 x)senx dx,
g(x)3
sen3 (x) dx = − f (g(x))g 0 (x) dx = −[g(x) −
R R
3
] = −cos(x) +
cos3 (x)
3
+ c.
(2) Como
cos x = cos4 xcosx = (1−sen2 x)2 cosx = cosx−2sen2 xcosx+sen4 xcosx,
5
entonces
R R R R
cos5 (x) dx = cosx dx − 2 sen2 xcosx dx + sen4 xcosx dx.
(3) Como sen2 xcos3 x = sen2 xcos2 xcosx = sen2 x(1−sen2 x)cosx =
sen2 xcosx − sen4 xcosx. Ahora si g(x) = senx y f1 (u) = u2 , entonces
3
sen2 xcosx = f1 (g(x))g 0 (x), ası́ que sen2 xcosx dx = g(x)
R
3
+c =
121
sen3 x
3
+ c. Análogamente si g(x) = senx y f2 (u) = u4 , obtenemos
sen xcosx = f2 (g(x))g 0 (x), por lo tanto,
4
5 5
sen4 xcosx dx = g(x) + c = sen5 x + c.
R
5
Finalmente
sen3 x sen5 x
Z
sen2 xcos3 x dx = − + c.
3 5
(4) Como
cos4 2xsen3 2x = cos4 2xsen2 2xsen2x = cos4 2x(1 − cos2 2x)sen2x
= cos4 2xsen2x − cos6 2xsen2x,
tenemos que
R R R
cos4 2xsen3 2x dx = cos4 2xsen2x dx − cos6 2xsen2x dx.
122
cos2x dx = 12 [sen(g1 (x))]+c = 21 sen2x+c, cos4x dx = 14 sen(g2 (x))+
R R
√ 1
=√ 1
=√ 1
= √ 1
=
1−sen(2x) 1−cos( π2 −2x) 2sen2 ( π4 −x) 2sen( π4 −x)
√
2
2
csc( π4 − x).
Por lo tanto,√ R √
√ dx = 22 csc( π4 −x) dx = 2
log(csc( π4 − x) − cotan( π4 − x))
R
1−sen(2x) 2
2
+c.
(9) Se tiene que
tan x = tan2 xtan2 x = tan2 x(sec2 x − 1) = tan2 xsec2 x − tan2 x =
4
2esta
última evaluación se realizá usando la fórmula dada en la tabla de inte-
grales y una sencilla sustitución.
123
Ahora, si g(x) = tanx, f1 (u) = u2 y f2 (u) = 1, entonces
sec2 xtan2 x = f1 (g(x))g 0 (x) y sec2 x = f2 (g(x))g 0 (x), por lo tanto
g(x)3 tan3 x
Z
tan4 x dx = − g(x) + x + c = − tanx + x + c.
3 3
4. Sustituciones trigonométricas
Ciertos tipos de integrales pueden ser evaluadas por medio de
“sustituciones trigonométricas”, tal método consiste en usar la Pro-
posición 3.5 (e), (II), y la función ν de la Proposición citada puede
ser de la forma ν(x) = a senx o ν(x) = a tanx o ν(x)p = a secx,
2 2 2
además
p p puede tener factores de la forma b y − a
la función f (y)
o b2 y 2 + a2 o bién a2 − b2 y 2 .
125
Rp
Ejemplo 3.20. (1) Queremos evaluar: 1 − y 2 dy. Notemos
que 1 − y 2 ≥ 0 si y sólo si −1 ≤ y ≤ 1. Ahora si ν(x) p = senx,
π
para 0 < x ≤ 2 , se tiene que 0 < ν(x) ≤ 1. Si f (y) = 1 − y 2 ,
√
entonces f (ν(x))ν 0 (x) = 1 − sen2 x cosx = cos2 x, aclaremos que
1 − sen2 x ≥ 0 y que cosx ≥ 0 para 0 < x ≤ π2 ; además como ν es
invertibleR en el intervalo (0, π2 ], tenemos que ν −1 (y) = arcsen(y). Si
H(x) = cos2 x dx, usando la Proposición 3.5 (e), (II), tenemos que
Z p
H(arcseny) = 1 − y 2 dy.
√dy
R
(2) Calculemos: , definimos ν(x) = 3senx y f (y) =
y2 9−y 2
√1 . Ası́ que
y2 9−y 2
f (ν(x))ν 0 (x) = √
3cosx
= √
3cosx
= 1 cosx
9 (senx)2 cosx
=
9(senx)2 9−9(senx)2 27(senx)2 1−(senx)2
1
9
(cscx)2 .
126
Si H(x) = 19 (csc(x))2 dx, entonces por la Proposición 3.5 (e),
R
y
. Finalmente:
p
1 9 − y2
Z
dy
p =− + c.
y2 9 − y2 9 y
R √9−y2 √
9−y 2
(3) Calculemos la primitiva de y2
dy. Sea f (y) = y2 ,
ν(x) = 3sen x. Tenemos que ν es invertible p y cos(x)p> 0 en el inter-
π
valo (0, 2 ]. Por otro lado: f (ν(x)) = 9 − ν 2 (x) = 9 − 9sen2 (x) =
p
3 1 − sen2 (x) = 3cos(x), además ν 0 (x) = 3cos(x). Ası́ que
cos2 (x)
Z Z Z
0 3cos(x)
f (ν(x))ν (x)dx = (3cos(x))dx = dx = H(x).
9sen2 (x) sen2 (x)
Entonces f (y)dy = H(ν −1 (y)), evaluemos H(x).
R
R cos2 (x) R 1−sen2 (x)
dx = ( sen12 (x) − 1) dx =
R
H(x) = sen 2 (x) dx = sen 2 (x)
R R
csc2 (x) dx − dx = R −cot(x) − x + c. −1
Ası́ que finalmente: f (y)dy = −cot(ν (y)) − ν −1 (y). Usando
los mismos despejes del ejemplo (2) de la página 127, tenemos que:
Z p p
9 − y2 9 − y2 y
dy = − − arcsen( ) + c.
y2 y 3
entonces
Z p
−1
(13) H(ν (y)) = y 2 + 5 dy.
(x)dx = sec(x)(tan(x))0 dx =
R R R
sec3 (x)dx = sec(x)sec 2
p
Si la función en cuestión tiene expresiónes de la forma b2 y 2 − a2 ,
se recomienda la sustitución ν(x) = ab secx.
Ahora tomemos
Z Z
0 1
H(x) = f (ν(x))ν (x) dx = cos2 (x) dx.
27
RDesarrollemos
1 1
( 1+2cos(2x) 1
R R R
27
(cos(x))2 dx = 27 2
)dx = 54 [ dx + cos(2x)dx] =
1
54
[x + 12 sen(2x)] = 54
1
[x + cos(x)sen(x)] + c.
Finalmente
Z
1 1
p dy = H(ν −1 (y)) = [ν −1 (y)+cos(ν −1 (y))sen(ν −1 (y))]+c.
y3 y2 − 9 54
√dx √1
R
(6) Hallar . Proponemos ν(x) = 2secx y f (y) = ,
y2 y 2 −4 y2 y 2 −4
0
entonces ν (x) = 2 sec(x)tan(x) y
2sec(x)tan(x) 2sec(x)tan(x) 1
f (ν(x))ν 0 (x) = p = 2
= cos(x).
2 2
(2sec(x)) 4(sec(x)) − 4 4(sec(x)) 2tan(x) 4
Por lo tanto,
Z Z
0 1 1
H(x) = f (ν(x))ν (x) dx = cosx dx = senx.
4 4
Luego Z
1 1
p dy = H(ν −1 (y)) = sen(ν −1 (y)).
y2 y2 − 4 4
√
−1 y 2 −4
Con análogas sustituciones obtenemos que sen(ν (y)) = y
. Fi-
nalmente p
1 y2 − 4
Z
1
p dy = + c.
y2 y2 − 4 4 y
√ 1
R
(7) Hallar dx. Aquı́ haremos una secuencia de susti-
y 2 −2y+5
p
tuciones,
p pero primero pcompletemos cuadrados, ası́ y 2 − 2y + 5 =
(y 2 − 2y + 1) + 4 = (y − 1)2 + 22 . Sean g(y) = y − 1 y f1 (u) =
√ 1
u2 +4
, entonces f1 (g(y))g 0 (y) = √ 1 2 2 . Por lo tanto, si
(y−1) +2
Z
H1 (u) = f1 (u) du,
entonces Z
1
p dy = H1 (g(y)).
y 2 − 2y + 5
R 1
Ahora, evaluemos H1 (u) = √
u2 +4
du. Para esto definimos las
funciones ν(x) = 2sec(x) y f (u) = √u12 +4 , ası́ que f (ν(x))ν 0 (x) =
130
2(secx)2
2secx
= sec(x). Luego,
Z Z
0
H2 (x) = f (ν(x))ν (x) dx = sec(x) dx = log(|secx + tanx|) + c,
ası́ que
Z
1
√ du = H2 (ν −1 (u)) = log |sec(ν −1 (u)) + tan(ν −| (u))| + c.
2
u +4
Realizando análogos despejes
√
al del ejemplo (4) (ver la página 128),
u2 +4
tenemos que sec(ν (u)) = 2 y tan(ν −1 (u)) = u2 , ası́ que
−1
√
u2 + 4 u
H1 (u) = log | + | + c,
2 2
por lo tanto,
p
g(y)2 + 4 g(y)
Z
1
p dy = H1 (g(y)) = log | + |+c=
y 2 − 2y + 5 2 2
p
(y − 1)2 + 4 (y − 1)
log | + | + c.
2 2
√ y+3
R
(8) Hallar dy. Transformemos
2y 2 −8y
p p p
2y 2 − 8y = 2(y 2 − 4y + 4) − 8 = 2(y − 2)2 − 8.
g(y)+5 y+3
f (g1 (y))g 0 (y) = 2g(y)2 −8
= 2(y−2)2 −8
y si Z Z
z+5
H1 (z) = f1 (z) dz = √ dz,
2z 2 − 8
entonces Z
y+3
p dy = H1 (g1 (y)).
2y 2 − 8y
R z+5
√1 √z+5 dz √1 √ z
R R
Evaluemos H1 (z). Como √
2z 2 −8
dz = 2 z 2 −4
= 2 z 2 −4
dz+
√1
R 5
2
√
z 2 −4
dz.
131
Para evaluar √zz2 −4 dz, realicemos la siguiente sustitución g2 (z) =
R
√
z 2 − 4 y f2 (w) = √1w , si H2 (w) = f2 (w)dw = 2 w + c, como
R
1
f (g(z))g 0 (z) = 12 √z2z2 −4 = √zz2 −4 , tenemos finalmente que
2 1
Z
z 1 √
√ dz = H2 (g2 (z)) = z 2 − 4 + c,
z2 − 4 2
por lo tanto,
1 √
Z
1 z
√ √ dz = √ ( z 2 − 4) + c.
2 z2 − 4 2
Para la segunda integral, sean ν(x) = 2secx y f3 (u) = √u12 −4 , entonces
fR2 (ν(x))ν 0 (x) = 2secxtanx f2 (ν(x))ν 0 (x) dx =
R
2tanx
= secx. Sea H3 (x) =
3
sec(x) dx = log |secx + tanx| + c, se tiene que
Por lo tanto,
√ √
z 2 −4
H1 (z) = √1 z2 − 4 + √5 log z2 + , y
2 2 2
√
2 −4
(y+3) dy
p y−2 (y−2)
√ √1 (y − 2)2 − 4+ √52 log 2 +
R
= H1 (g1 (y)) = 2 2
.
2y 2 −8y
3
(16−9y 2 ) 2
dy. Proponemos ν(x) = 34 senx, es claro
R
(10) Hallar y6
3
(16−9y 2 ) 2
que f (y) = y6
. Como
√ 3
3
(16−9ν(x)) 2 16−9( 34 senx)2 (4cosx)3
f (ν(x)) = (ν(x))6 = ( 4 senx)6
= 4096
(senx)6
, entonces
3 729
3
(4cosx) 243 (cosx)4
f (ν(x))ν −1 (x) = ( 34 cosx) 4096 (senx)6
= 16 (senx)6
= 243
16
(cotanx)4 (cscx)2 .
729
R 1 3
(11) Hallar 3 dy. Observemos que (4y 2 − 4y + 27) 2 =
(4y 2 −4y+27) 2
3
[4(y − 3)2 − 9] 2 . Previamente realizamos la sustitución g1 (y) = y − 3
1 1 0
y f1 (z) = 2
3 , ya que
2
3 = f1 (g1 (y))g (y). Ahora, si
(4z −9) 2 (4y −4y+27) 2
133
R
H1 (z) = f1 (z)dz, entonces
Z
1
3 dy = H1 (g1 (y)).
(4y 2 − 4y + 27) 2
Evaluemos H1 (z), definamos ν(x) = 23 secx, notemos que f1 (ν(x)) =
1 1
√ 3 = , entonces
(3tanx)3
4ν 2 (x)−9
3
secxtanx 1
f1 (ν(x))ν 0 (x) = 2
= (senx)−2 cosx,
27(tanx)3 18
ahora si R
H2 (x) = f1 (ν(x))ν 0 (x)dx = 18 1
(senx)−2 cosx dx = − 18 1
R
cscx, te-
nemos que
H1 (z) = H2 (ν −1 (z)) = − 18
1
csc(ν −1 (z)) = − 18
1
cotan(ν −1 (z))sec(ν −1 (z)) =
1 √ 3 2z 1√ z
− 18 4z2 −9 3 = − 9 4z2 −9 .
Finalmente
(y − 3)
Z
1 1
dy = − p
3 + c.
(4y 2 − 4y + 27) 2 9 4(y − 3)2 − 9
(3) Evaluar ex sen(2x) dx. Proponemos hallar g(x) tal que g 0 (x) =
R
R √ 3 √
(5) Evaluar xh 1 + x dx.i Como ( 23 (1 + x) 2 )0 = 1 + x, entonces
R √ 3 3 3
x 1 + x dx = x 23 (1 + x) 2 − 23 (1 + x) 2 dx = 23 x(1 + x) 2 − 15
4
R
(1 +
5
x) 2 + c.
secxtanx − R tanx(secx)0
R R
(secx)3 dx =
= secxtanx − R secx(secxtanx) dx
= secxtanx − R secx(tanx)2 dx
= secxtanx − R secx((secx)2 R− 1) dx
= secxtanx − (secx)3 dx + secx dx.
Entonces
R R
2 (secx)3 dx = secxtanx + secx dx = secxtanx + log |secx + tanx|,
finalmente tenemos que
Z
1 1
(secx)3 dx = secxtanx + log |secx + tanx| + c.
2 2
Entonces
2 1 2x 1 2x 2 1 2x
xe dx = 12 x2 e2x −
R 2 2x R R 2x
x e dx = x e − 2x e dx =
1 2x R 1 2x 2 1 2 2x 2 1 2x 1 2x x e
2
−
x2e − 2e = 2x e − x2e − 4e ;
tenemos finalmente
x3 e2x dx = 12 x3 e2x − 23
1
x2 e2x − x 12 e2x − 41 e2x = 12 x3 e2x − 34 x2 e2x +
R
2
3
4
xe2x − 38 e2x + c.
A+B+C +D =1
−3B + 2C − 2D = 2
−7A − B − C − 5D = −1
−6A + 3B − 2C + 6D = 4.
Resolvemos este sistema de ecuaciones lineales para hallar los valores
de A, B, C y D.
Un método alternativo es sustituir valores especificos de x en (1),
elijiendo x de tal manera que alguno de los polinomios lineales se haga
cero, esto tiene el efecto de hacer los sumamdos de la derecha iguales
a cero salvo uno y obtenemos un coeficiente a la vez.
x = 1, 6 = −12A, entonces A = − 21 ,
x = −2, 6 = −15B, entonces B = − 52 ,
x = 3, 46 = 40C, entonces C = 23 20
,
3
x = −1, 6 = 8D, entonces D = 4 .
Ası́ obtenemos,
x3 +2x2 −x+4 1 2 23 3
(x−1)(x+2)(x−3)(x+1)
= − 2(x−1) − 5(x+2) + 20(x−3) + 4(x+1) .
138
La descomposición debe ser de la forma
x3 Ax+B Cx+D (Ax+B)(x2 +x+1)+Cx+D
(x2 +x+1)2
= (x2 +x+1)
+ (x2 +x+1)2
= (x2 +x+1)2
=
Ax3 +(A+B)x2 +(A+B+C)x+(B+D)
(x2 +x+1)2
A=1
A+B =0
A+B+C =0
B + D = 0,
entonces A = 1, B = −1, C = 0 y D = 1, por lo tanto
x3
(x2 +x+1)2
= x2x−1
+x+1
1
+ x2 +x+1 .
2x2 −x+4
(3) Encontrar la descomposición en fracciones parciales de (x2 +x+1)2
.
La descomposición debe ser de la forma:
2x2 −x+4 (Ax+B)(x2 +x+1)+Cx+D
(x2 +x+1)2
= (xAx+C Cx+D
2 +x+1) + (x2 +x+1)2 = (x2 +x+1)2
=
Ax3 +(A+B)x2 +(A+B+C)x+(B+D)
(x2 +x+1)2
,
de donde
o sea
A=0
A+B =2
A + B + C = −1
B+D =4
por lo tanto: A = 0, B = 2, C = −3 y D = 2, de donde
2x2 −x+4
(x2 +x+1)2
2
= x2 +x+1 + (x−3x+2
2 +x+1)2 .
139
(1) División polinomial.
(4) La integración.
lineal q 0 (x) d
=c + ,
q(x) q(x) q(x)
lineal q 0 (x) d
n
= c n
+ ,
(q(x)) (q(x)) (q(x))n
140
note que la segunda integral, de la última igualdad, la podemos cal-
cular mediante una sustitución trigonométrica.
141
(A+B)x2 +(−2A−B+C)x+(A−B+C)
= (x+1)(x−1)2
,
de donde
A+B =0
−2A − B + C = 3
A − B + C = 5.
Resolvemos el sistema de ecuaciones o damos valores x = −1, 1;
para obtener A = 21 , C = 4. Usamos cualquier otro valor para x,
Rdigamos x = 0; paraR obtener 5 = RA − B + C yRB = − 21 . Ası́
3x−5
x3 −x2 −x+1
dx = 21 x+1 1
dx − 12 x−1
1
dx + 4 (x−1) 1 1
2 dx = 2 log |x +
1| − 21 log |x − 1| − x−1
4 4
+ c = − x−1 + 12 log x+1
x−1
+ c.
R 4 3 −x−1
(4) Hallar x −x x3 −x2
dx.
Como el grado del numerador es mayor que el del denominador
hacemos primeramente la división.
x4 −x3 −x−1 x+1 x+1
A B C
3
x −x 2 = x − 3
x −x 2 = x − 2
x (x−1)
= x − x
+ x 2 + x−1
.
2
Por tanto x + 1 = Ax(x − 1) + B(x − 1) + Cx . Para x = 0,
B = −1. Para x =R 1, C = 2.
R x4 −x R Para x =R 2, A = −2,R 2de donde
3 −x−1 −2 1
R
3 2 dx = x dx − dx − 2 dx + dx = x dx +
R 1x −x R 1 R 1 x
1 2
x
−1
x−1
2 x dx + x2 dx
1 2 1
−x
2 x−1 dx = 2 x + log |x| + x − 2 log |x − 1| + c =
2
x − x + 2 log x−1 + c.
R 2 +3
(5) Hallar (x2x2 +1) 2 dx.
Escribimos
2x2 +3
(x2 +1)2
= Ax+B
x2 +1
+ (xCx+D
2 +1)2 .
142
1
R
Para la integral (x2 +1)2
dx, tomamos ν(y) = tan(y) y f (x) =
sec2 (y)
1
(x2 +1)2
, entoncesf (ν(y))ν 0 (y) = sec 4 (y) , note que
sec2 (y)
Z Z
1 1
4
dy = cos2 (y) dy = y + sen(2y).
sec (y) 2 4
Por
R lo tanto,
1
(x2 +1)2
dx = 21 arctan(x) + 14 sen(2arctan(x)) = 12 arctan(x) + 12 x2x+1 .
Luego
2x2 + 3
Z
1 1 x
2 2
dx = 2tan(x) + arctan(x) + + c.
(x + 1) 2 2 x2 + 1
7. Fórmulas de reducción
En el ejemploR8 de la página 136, integramos por partes tres veces.
Si consideramos x5 e2x dx, deberemos integrar por partes 5 veces, en
cada paso disminuimos el exponente de x y en cada paso el proceso de
integración es similar, este proceso genera una fórmula de reducción.
Se pueden encontrar fórmulas de reducción para integrales definidas e
indefinidas como veremos en los siguientes ejemplos.
con n ∈ N.
La notación In indica que la integral produce el parámetro de in-
tegración n, la respuesta depende de n, por ejemplo
Z 1 n+1 1
n x 1
x dx = = , n 6= −1,
0 n+1 0 n+1
donde observamos explı́citamente que la respuesta depende de n.
En el caso de la integral indefinida
Z Z
In = x e dx = x e − nxn−1 ex dx,
n x n x
8. Tabla de integrales
Nosotros incluimos una tabla de primitivas, las más comunes, algu-
nas fueron inducidas en secciones anteriores y otras son inducidas de
manera sencilla, usando las correspondientes fórmulas de derivación.
n+1
(1) xn dx = xn+1 + c con n ∈ Z \ {−1}.
R
dx
R
(2) x
= log(|x|) + c.
ax
R
(3) ax dx = log(a)
+ c con a > 0 y a 6= 1.
R
(4) ex dx = ex + c.
R
(5) senx dx = −cosx + c.
144
R
(6) tan(x) dx = log(|secx|) + c.
R
(7) csc(x) dx = log(|csc(x) − cotan(x)|) + c.
R
(8) (sec(x))2 dx = tan(x).
R
(9) (csc(x))2 = −cotan(x).
R
(10) sec(x)tan(x) dx = sec(x) + c.
R
(11) sec(x)dx = log(|sec(x) + tan(x)|) + c.
R
(12) csc(x)cotan(x) dx = −csc(x) + c.
√ dx = arcsen( xa ) + c.
R
(13) a2 −x2
dx
= a1 arctan( xa ).
R
(14) a2 +x2
√ dx
= a1 arcsec( xa ) + c.
R
(15) x x2 −a2
x−a
(16) x2dx 1
R
−a 2 = 2a
log
x+a
.
√
(17) √xdx
R
2 +a2 = log
x + x 2 + a2 .
√
(18) √xdx
R
2 −a2 = log
x + x2 − a2 + c.
R√ √
(19) a2 − x2 dx = 21 x a2 − x2 + 12 a2 arcsen( xa ) + c.
R√ √ √
x2 + a2 dx = 21 x x2 + a2 + 21 a2 log |x + x2 + a2 | + c.
(20)
R√ √ √
(21) x2 − a2 dx = 21 x x2 − a2 − 12 a2 log(|x + x2 − a2 |) + c.
145
Ejercicios 9
(1) Calcular:
1+x
sen(2x) 2+x x
(a) limx→0 x
, (b) limx→0 3−x
,
1
x2
x2 +2
(c) limx→0 (1 + senx) x , (d) limx→∞ 2x2 +1
,
x 1
(e) limx→0 a x−1 con a > 0, (f) limx→0+ x x ,
ax
e −e bx
(g) limx→0 log(1+x) .
(6) Derivar √
√
(a) 3x x , (b) (tan(x))cotan(x) , (c) (log8 (x) + 1)log3 ( x)
.
146
Ejercicios 10
Hallar las integrales (usar el método de sustitución)
R
(1) √x(1+ 1 √
dx R x 12
x) (18) 1 dx
x 5 +1
R √x
(2) 1+x dx R 1
(19) (2x2 + 3) 3 x dx
(3) 3+√1x+2 dx
R R
(20) (x − 1)2 x dx
R √3x+2
(4) 1− √
1+ 3x+2
dx R
(21) (x3 + 3)x2 dx
1
R
(5) √x2 −x+1 dx R 1
(22) (2−x) 3 dx
(6) x√x21+x−1 dx
R R
(23) (1 − x3 )dx
1
R
(7) √6+x−x 2 dx
R
(24) (1 − x3 )x dx
R √4x−x2
(8) x3
dx R
(25) (x2 − x)4 (2x − 1)dx
1
R
(9) 2+sen(x) dx (26) √x2x+1
R
dx
+2x−4
R 1 √ 2
(10) 1−2sen(x) dx (27) (1+√xx) dx
R
1
R
(11) 3+5sen(x) dx (28) (x+1)(x−2)
R
√ dx
x
R sen(x)
(12) 1+(sen(x))2 dx R 1
(29) x−1 dx
1
R
(13) 2−cos(x) dx (30) x23x+2 dx
R
(14) x√3x21+2x−1 dx
R
(31) x−1
R
x+1
dx
R sen(x)cos(x)
(15) 1−cos(x)
dx R x+1
(32) x2 +2x+2 dx
1
R
(16) x2 (4+x 2 ) dx
R 1
(33) a x dx
1
R
(17) 3(1−x2 )−(5+4x) √ dx R 12
1−x2 (34) exx3 dx
147
3
√1
R R
(35) x2 ex dx (54) x x2 −5
dx
e2x
R R
(36) (ex + 1)2 dx (55) 1+e4x
dx
1
R R
(37) (ex − xe ) dx (56) 9x2 +4
dx
2
e2x √ (sec(x))
R R
(38) e2x +3
dx (57) dx
1−4(tan(x))2
ex −1 2x4 −x2
R R
(39) ex +1
dx (58) 2x2 +1
dx
1
R 1 √
R
(40) √
x(1− x)
dx (59) 3 dx
(4−x2 ) 2
√
25−x2
R R
(41) sen(2x)dx (60) x
dx
√1
R R
(42) sec(3x)tan(3x) dx (61) x2 92 −x2
dx
R R√
(43) x(sec(x2 ))2 dx (62) x2 + 4 dx
√
x2 +a2
R
tan( 12 x) dx
R
(44) (63) x
dx
x2
R R
(45) sec(ax)tan(ax) dx (64) 5 dx
(4−x2 ) 2
√1
R R
(46) sen(ax)cos(ax)dx (65) x2 9−x2
dx
R √
x3 a2 − x2 dx
R
(47) (cos(x))4 sen(x)dx (66)
1
R R
(48) (cotan(3x))4 (csc(3x))2 dx (67) √
x2 −3x−4
dx
1
R 1
R
(49) cos(3x)
dx (68) (9+x2 )2
dx
1
R
(sec( xa ))2 tan( xa ) dx
R
(50) (69) 3 dx
(4x−x2 ) 2
(sec(x))5 1
R R
(51) csc(x)
dx (70) x2 −9
dx
x
R R
(52) etan(2x) dx (71) x2 −3x−4
dx
x2 −3x−1
R
√ 1
R
(53) dx (72) x3 +x2 −2x
dx
5−x2
148
x4 1
R R
(73) (1−x)3
dx (84) √
6+x−x2
dx
1
R
1
R
(74) x3 +x
dx (85) 1 1 dx
(x+1) 2 +(x+1) 4
x4 −2x+3x2 −x+3 1
R R
(75) x3 −2x2 +3x
dx (86) 1−2cos(x)
dx
2x3 1
R R
(76) (x2 +1)2
dx (87) sen(x)−cos(x)−1
dx
R x3 +x−1
R sen(x)
(77) (x2 +1)2
dx (88) 1+(sen(x))2
dx
x3 +x2 −5x+15 √ 1
R R
(78) (x2 +5)(x2 +2x+3)
dx (89) x 3x2 +2x−1
dx
R 1
R sen(x)cos(x)
(79) e2x −3ex
dx (90) 1−cos(x)
dx
√1
R sen(x)
R
(80) cos(x)(1+(cos(x))2 )
dx (91) x2 4−x2
dx
2+(tan(x))2 (sec(x))2 1
R R
(81) 1+(tan(x))3
dx (92) x2 (4+x2 )
dx
Rp √
√1
R
(82) dx (93) 1+ x dx
3+ x+2
1
1
R R x2
(83) √
x2 −x+1
dx (94) 1 dx
x 5 +1
R (ex −2)ex
(95) ex +1
dx
149
Ejercicios 11
Hallar las integrales (usar integración por partes)
R R
(1) xcos(x) dx (9) x3 sen(x) dx
√ x
R R
(2) x(sec(3x))2 dx (10) a+bx
dx
2
√x
R R
(3) arccos(2x) dx (11) 1+x
dx
R R
(4) arctan(x) dx (12) x(arcsen(x))2 dx
R √ R
(5) x2 1 − x dx (13) sen(x)sen(3x) dx
xex
R R
(6) (1+x)2
dx (14) sen(log(x)) dx
R R
(7) xarctan(x) dx (15) eax cos(bx) dx
x2 e−3x dx
R R
(8) (16) eax sen(bx) dx
xm eax dx = a1 xm eax − m
R R
(5) a
xm−1 eax dx, m ∈ N.
m−1 cos(x)
(sen(x))m dx = − (sen(x)) m m−1
R R
(6) + m
(sen(x))m−2 dx,
m ∈ N.
150
R (cos(x))m−1 sen(x) m−1
R
(7) (cos(x))m dx = m
+ m
(cos(x))m−2 dx,
m ∈ N.
R
(8) (sen(x))m (cos(x))n =
(sen(x))m+1 (cos(x))n−1 n−1
R
m+n
+ m+n
(sen(x))m (cos(x))n−2 dx
−(sen(x))m−1 (cos(x))n +1 m−1
R
= m+n
+ m+n
(sen(x))m−2 (cos(x))n dx,
m, n ∈ N.
151
Apéndice 1: Integración numérica
9. Introducción
Rb
Técnicas elementales para calcular una integral definida a f (x)dx
usan el teorema fundamental del cálculo (ver métodos de integración):
primeramente encontramos una primitiva (F ) de f y entonces calcu-
lamos la integral como F (b) − F (a).
Para la mayorı́a de las funciones f encontrar una antiderivada o
primitiva es muy difı́cil a pesar de que la función sea integrable (si f
es continua o monótona), por ejemplo, usando los medios hasta ahora
estudiados (incluso los sistemas
R x2 algebraicos por computadoras) ¿pode-
mos usarlos para evaluar e dx? La respuesta es “no”, por lo menos
no en términos de las funciones con las que estamos familiarizados;
los polinomios, las funciones racionales, funciones potencia, funciones
exponenciales, funciones logarı́tmicas, funciones trigonométricas, fun-
ciones trigonométricas inversas y todas las funciones que se pueden
obtener a partir de estas por medio de las operaciones usuales. Por
ejemplo
s
x2 + 3x + 1
f (x) = sen(x) + 2
+ xecos(x) ,
x −1
a este tipo de funciones se les conoce como funciones elementales.
Si f es una función elemental, entonces f 0 es una función elemental,
pero no necesariamente su integral es una función elemental. Consi-
2
deremos f (x) = ex , tenemos que f (x) es una función continua, por
tanto su integral existe y, si definimos F como
Z x
2
F (x) = et dt,
0
t r(t)
1984 4.3
1985 3.6
1986 1.9
1987 3.6
1988 4.1
1989 4.8
1990 5.4
1991 4.2
1992 3.0
1993 3.0
1994 2.6
154
consideramos la tasa de inflación desde 1984 hasta 1994. Deseamos
estimar el aumento total en porcentaje en el IPC, desde 1984 hasta
1994.
Debido a que la derivada del IPC es la tasa de inflación r(t), el
Teorema Fundamental del Cálculo nos dice que el incremento en el
R 1994
IPC desde 1984 hasta 1994 es la integral definida 1984 r(t)dt.
Cualquiera que sea el caso, necesitamos hallar valores de integrales
definidas.
Ya conocemos varios métodos. Recuerde que la integral definida
se puede definir como un lı́mite de sumas de Riemman, de modo que
se podrı́a usar cualquiera de las sumas de Riemman, como una apro-
ximación para la integral definida. Otro método consistirá en trabajar
con las sumas inferiores o superiores, al fin de cuentas estas no son
más que sumas de aproximación. Rb
Una de las ideas más fructı́feras para aproximar a f (x)dx, es rem-
plazar f (x) por una función fb(x) cuya antiderivada sea fácil de encon-
Rb
trar. En tal caso, a fb(x)dx servirá como una aproximación al valor
de la integral. Rb
También podenos aproximar a f (x)dx tomando sumas de Rie-
mann particulares y promedios de sumas inferiores y superiores como
veremos a continuación.
donde {x0 , · · · , xn } es una partición del intervalo cerrado [a, b], ∆xi =
xi − xi−1 , x∗i ∈ [xi−1 , xi ], i ∈ {1, · · · , n}.
Muy a menudo elegimos el punto extremo de la derecha del i-ésimo
intervalo como el punto muestra x∗i , debido a que resulta conveniente
para calcular el lı́mite, pero en este caso la finalidad es dar una apro-
ximación al valor de la integral definida, ası́ que escogemos x∗i como el
punto medio del subintervalo [xi−1 , xi ], el cual denotamos por xi (xi
es igual xi +x2 i−1 ).
155
b−a
Si asumimos que ∆xi = n
, la suma de Riemann adquiere la
forma:
Pn
i=1 f (xi )∆xi = f (x1 )∆x1 + f (x2 )∆x2 + · · · + f (xn )∆xn
xn−1 +xn
x +x
= b−a b−a
n
[f (x 1 ) + · · · + f (x n )] = n
f 0
2
1
+ · · · + f 2
.
Esta última expresión es conocida como la regla del punto medio.
Regla del punto medio:
Z b
b−a x0 + x1 xn−1 + xn
f (x) dx ≈ Mn = f + ··· + f
a n 2 2
Ejemplo 3.26. Use R 2 la regla del punto medio con n = 5 para hallar
dx
una aproximación de 1 x .
Los puntos extremos de los cinco subintervalos son 1, 1.2, 1.4, 1.6, 1.8
y 2, de modo que los puntos medios son 1.1, 1.3, 1.5, 1.7 y 1.9, la lon-
gitud de los subintervalos es ∆x = 51 , por la regla del punto medio;
R 2 dx
1 x
≈ ∆x [f (1.1) + f (1.3) + f (1.5) + f (1.7) + f (1.9)]
1 1 1 1 1 1 1
= 5 1.1
+ 1.3
+ 1.3
+ 1.5
+ 1.7
+ 1.9
≈ 0.691908.
Aquı́ hemos dado un aproximación al valor de la integral definida,
pero no sabemos que tan buena es esta aproximación.
Si hacemos x∗i = xi−1 , tenemos la suma de Riemann
n
X
Ln = f (xi−1 )∆xi
i=1
1 ∆xi
[f (xi )∆xi + f (xi−1 )∆xi ] = [f (xi ) + f (xi−1 )],
2 2
vemos que es igual al área del trapecio ATi (ver Figura 2)
156
Figura 1
Figura 2
∆x
Pn ∆x
2
( i=1 (f (xi−1 ) + f (xi ))) = 2
((f (x0 ) + f (x1 )) + (f (x1 ) + f (x2 ))+
∆x
· · ·+(f (xn−1 )+f (xn ))) = 2
(f (x0 )+2f (x1 )+· · ·+2f (xn−1 )+f (xn )).
Regla trapezoidal
157
Rb ∆x
a
f (x)dx ≈ Tn = 2
(f (x0 ) + 2f (x1 ) + · · · + 2f (xn−1 ) + f (xn )),
b−a
donde ∆x = n
, xi = a + i∆x.
R2
Ejemplo 3.27. Apliquemos la regla trapezoidal para calcular 1 x1 dx,
con n = 5.
RAquı́
2 1
∆x = 0.2, xi = 1 + i(0.2).
1 x
dx ≈ T5 = 0.2
2
(f (1) + 2f (1.2) + 2f (1.4) + 2f (1.6) + 2f (1.8) +
2 2 2 2
f (2)) = 0.1(1 + 1.2 + 1.4 + 1.6 + 1.8 + 21 ) ≈ 0.695635.
En los Ejemplos 3.26, 5.43, consideramos f (x) = x1 en el intervalo
[1, 2], el valor de la integral se puede calcular de forma explı́cita, de
modo que podemos ver cuan exactos son la regla trapezoidal y del
punto medio.
Definición 3.28. Sean f : [a, b] → R continua, An cualquier
método de aproximación a la intergral definida en el paso n, defin-
imos el error de aproximación EAn , como
Z b
f (x) dx − An
a
R2
Ejemplo 3.29. Sabemos que 1 x1 dx = [ln(x)]21 = ln(2).
El error al aproximarnos mediante la regla trapezoidal es
Z 2
1
ET n = dx − Tn ,
1 x
en el caso n = 5 y a = 1 y b = 2, ET5 ≈ −0.002488.
Y el error mediante la regla del punto medio es
Z b
1
EM n = dx − Mn = 0.001239.
a x
En las tablas siguientes se muestran los resultados de calculos si-
milares con n = 5, 10, 20.
n Ln Rn Tn Mn
5 0.745635 0.645635 0.695635 0.691908
10 0.718781 0.668771 0.693771 0.692835
20 0.705803 0.680803 0.693303 0.693069
158
n ELn E Rn ET n EM n
5 -0.052488 0.047512 -0.002488 0.001239
10 -0.025624 0.024376 -0.000624 0.000312
20 -0.012656 0.012344 -0.000156 0.000078
x y=f(x) ∆y ∆2 y ∆3 y ∆4 y
0 -5
6
1 1 2
8 6
2 9 8 0
16 6
3 25 14 0
30 6
4 55 20
50
5 105
161
Ejemplo 3.34. Obtener las diferencias finitas de la función sen(x)
definida en forma tabular
x y=sen(x)
0 0.000
π
8
0.383
π
4
0.707
3π
8
0.924
π
2
1.000
5π
8
0.924
3π
4
0.707
7π
8
0.383
π 0.000
(26) ∆2 y1 = ∆2 y0 + ∆3 y0 ,
se sustituyen las ecuaciones (22) y (26) en (25), para obtener
(27) ∆y2 = (∆2 y0 + ∆3 y0 ) + (∆2 y0 + ∆y0 ),
ahora sustituimos (23) y (27) en (24), obteniendo
y3 = y0 + 2∆y0 + ∆2 y0 + (∆2 y0 + ∆3 y0 ) + (∆2 y0 + ∆y0 ).
Por último simplificamos y obtenemos
(28) y3 = y0 + 3∆y0 + 3∆2 y0 + ∆3 y0 ,
las ecuaciones (20), (23) y (28), se pueden escribir como:
y1 = (1 + ∆)y0 ,
y2 = (1 + ∆)2 y0 ,
y3 = (1 + ∆)3 y0 .
En general:
yk = (1 + ∆)k y0 , k ∈ {1, · · · , n}.
163
Por el binomio de Newton:
k
X k j k 0 k k
yk = ∆ y0 = ∆ y0 + ∆y0 + · · · + ∆k y0
j=0
j 0 1 k
k k 2 k
= Idy0 + ∆y0 + ∆ y0 + · · · + ∆k y0 .
1 2 k
Por tanto:
k k 2 k
(29) yk = Idy0 + ∆y0 + ∆ y0 + · · · + ∆k y0 .
1 2 k
Si para algún valor j cualquiera menor que k, las j-ésimas diferen-
cias son constantes, entonces todas las diferencias de orden superior
a j serán cero (ver los ejemplos), por lo que la ecuacion (29) toma la
forma:
0 k k j k k
(30) yk = ∆ y0 + ∆y0 +· · ·+ ∆ y0 + 0+· · ·+ 0.
1 j j+1 k
Como el coeficiente binomial kj = (k−0)(k−1)(k−2)···(k−j+1)
j!
, si desarro-
llamos el producto, lo podemos ver como polinomio en k de grado j,
por lo que yk se puede expresar en la forma
(31) y k = a0 + a1 k + a2 k 2 + · · · + aj k j .
Si la partición {a = x0 < x1 < · · · < xn−1 < xn = b} es uniforme,
es decir, para todo i, xi − xi−1 = h, tenemos la partición:
x0 , x1 = x0 + h, x2 = x0 + 2h, · · · , xk = x0 + kh, · · · , xn = x0 + nh,
entonces
x1 − x0 = h, x2 − x0 = 2h, · · · , xk − x0 = kh, · · · , xn − x0 = nh,
por lo tanto
xk − x0
(32) k= .
h
Al sustituir este valor en (31), obtenemos un polinomio en xk , o
en general en x, para cualquier valor de k, de grado j:
(33) y k = b0 + b1 x + b2 x 2 + · · · + bj x j .
De este análisis se concluye que si las j-ésimas diferencias de los
puntos de una función tabulada tienen incremento constante, entonces
dichos datos corresponden a un polinomio de grado j. Cuando las
diferencias de una función tabulada no se hacen constantes en ningún
164
momento, pero en la j-esima etapa son muy semejantes también se
puede usar el polinomio como una aproximación de la función.
Al polinomio obtenido mediante la ecuación (30) se le denomina
polinomio de Newton, donde los espaciamientos son constantes.
Ası́ en los Ejemplos 3.33 y 3.34, podemos decir que los datos de
la función tabulada corresponden a los polinomios y = b0 + b1 x +
b2 x2 + b3 x3 y y = b0 + b1 x + b2 x2 respectivamente, es decir, estamos
aproximando a la función de la cual conocemos un número finito de
datos, a través de su polinomio de Newton, y calculamos su integral
atravéz de la integral del polinomio de aproximación.
12. Interpolación
El problema de interpolación consiste en encontrar el valor de la
función f (x), de la cual sólo se conocen algunos datos, para un valor
de x que se encuentra entre dos valores consecutivos.
12.1. Interpolación con espacios iguales. Sea el intervalo ce-
rrado [a, b] y la partición {a = x0 , x1 , . . . , xn−1 , xn = b} tal que xi =
a + ih, h = b−a
n
, conocemos el valor de la función en xi , consideremos
el primer intervalo [x0 , x1 ]
x f (x)
x0 y0
x1 = x0 + h y 1
Figura 3
Sea xk ∈ (x0 , x1 ) deseamos conocer el valor de la función f (x) en
xk (podemos considerar xk = x0 + kh). Debido a que conocemos a la
165
función unicamente en dos puntos, estos se pueden unir mediante una
recta como se muestra en la Figura 4
Figura 4
∆y0 = 8, ∆2 y0 = 8, ∆3 y0 = 6,
se sustituye:
k k k
yk = 1 + 8+ 8+ 6, (a)
1 2 3
167
donde el valor k esta dado por 32:
x − x0 1.5 − 1
k= = = 0.5.
h 1
Al sustituir:
y0.5 = 1 + 0.5 8 + 0.5 8 + 0.5
1 2 3
6
0.5(0.5−1) 0.5(0.5−1)(0.5−2)
= 1 + (0.5)8 + 2
8+ 6
6
= 1 + 4 − 1 + 0.375
= 4.375.
Por lo tanto:
f (1.5) = 4.375.
Para obtener formalmente la expresión de f (x) como polinomio,
se puede interpolar para un valor x, al sustituir en 32 se obtiene:
x−1
k= = x − 1.
1
A su vez, se sustituye k en (a):
x−1 x−1 x−1
y = f (x) = 1 + 8+ 8+ 6,
1 2 3
efectuando las operaciones;
f (x) = 1 + 8(x − 1) + (x−1)(x−2)
2
8+ (x−1)(x−2)(x−3)
6
6
= x3 − 2x2 + 7x − 5.
12.2. Polinomio de interpolación de Langrange. Consider-
emos una función f (x) de la que conocemos n + 1 puntos de su gráfica,
los consideramos en tabla siguiente:
x f(x)
x0 y0
x1 = x0 + h0 y1
x2 = x1 + h1 y2
. .
. .
. .
xn = xn−1 + hn−1 yn
de donde
(x−x0 )(x−x1 )···(x−xk−1 )(x−xk+1 )···(x−xn )
Ln,k (x) = (xk −x0 )···(xk −xk−1 )(xk −xk+1 )···(xk −xn )
n
Y x − xi
= , k ∈ {0, · · · , n}
i=0,i6=k
x k − xi
Pn
Definimos el polinomio p(x) = k=0 yk Ln,k (x), este polinomio
tiene la propiedad
n
X
p(xi ) = yk Ln,k (xi ) = yi , i ∈ {0, · · · , n}.
k=0
(1)
x1
(2) (2)
x1 x1
X : x(3)
1
(3)
x2
(3)
x3
···
(n) (n) (n) (n)
x1 x2 x3 ··· xn
Ejemplo 3.42. Los puntos (1, 8), (2, 5) y (3, −4) pertenecen a un
polinomio h(x) de grado 2, hallar el polinomio de interpolación de
Lagrange.
Los polinomios de Lagrange asociados a 1,2 y 3 son:
f0 (x) = (x−2)(x−3)
(1−2)(1−3)
= 12 (x2 − 5x + 6),
(x−1)(x−3)
f1 (x) = (2−1)(2−3)
= −(x2 − 4x + 3),
(x−1)(x−2)
f2 (x) = = 1 (x2 − 3x + 2).
(3−1)(3−2)
P2 2
Entonces g(x) = i=0 bi fi (x) = 8f0 (x) + 5f1 (x) − 4f2 (x) = 4(x2 −
5x + 6) − 5(x2 − 4x + 3) − 2(x2 − 3x + 2) = −3x2 + 6x + 5, es el
polinomio de interpolación de Lagrange y
Z 3 Z 3
h(x) dx ≈ (−3x2 + 6x + 5)dx = [−x3 + 3x2 + 5x]31 = 8.
1 1
173
Figura 5
Ah2 + Bh + y1 = y2 ,
174
Figura 6
que es equivalente a:
Ah2 − Bh = y0 − y1
Ah2 + Bh = y2 − y1 ,
sumándolos eliminamos Bh y obtenemos
2Ah2 = y0 − y1 + y2 − y1 = y0 − 2y1 + y2 ,
por tanto
y0 − 2y1 + y2
A= .
2h2
Y al sustituir en la primera ecuación, obtenemos:
y0 − 2y1 + y2 2
Bh = Ah2 + y1 − y0 = · h + y1 − y0
2h2
y0 y2 y0 y2 y2 − y0
= − y1 + + y1 − y0 = − + = ,
2 2 2 2 2
por lo tanto
y2 − y0
B= .
2h
Ası́ que
y0 − 2y1 + y2 2 y2 − y0
y = Ax2 + Bx + C = x + x + y1 .
2h2 2
Y
175
Rh y0 −2y1 +y2
Rh y2 −y0
Rh
−h
(Ax2 + Bx + C)dx = 2h2 −h
x2 dx + 2 −h
x dx+
Rh y0 −2y1 +y2 x3 h y2 −y0 x2 h
y1 −h
dx = 2h2
[ 3 ]−h + 2
[ 2 ]−h + y1 [x]h−h =
y0 −2y1 +y2 2h3 y0 −2y1 +y2 +6y1 y0 +4y1 +y2
2h2 3
+ y1 (2h) = 3
h = 3
h.
4yn−1 +yn )) = h3 (y0 +4y1 +y2 +y2 +4y3 +y4 +. . .+yn−2 +4yn−1 +yn ) =
h
(y
3 0
+ 4y1 + 2y2 + 4y3 + 2y4 + . . . + 2yn−2 + 4yn−1 + yn ).
Teorema 3.43 (Regla de Simpson). Sea f : [a, b] → R una función
continua,
Rb entonces:
a
f (x) dx ≈ Sn = ∆x3
[f (x0 ) + 4f (x1 ) + 2f (x2 ) + 4f (x3 ) + 2f (x4 )+
1 x
dx ≈ S10 = 103 [f (1) + 4f (1.1) + 2f (1.2) + 4f (1.6)+
0.1 4 2 4
. . . + 2f (1.8) + 4f (1.9) + f (2)] = 3
[1 + 1.1
+ 1.2
+ 1.6
+
2 4
... + 1.8
+ 1.9
+ 12 ] ≈ 0.693150.
176
Observación 3.45. (1) La regla de Simpson nos da una aproxi-
mación mucho mejor (Sn ≈ 0.693150) para el valor verdadero de la
integral (ln(2) ≈ 0.693147, ver Ejemplo 5.43) que la regla Trapezoidal
(T10 ≈ 0.693771) o la del punto medio (M10 ≈ 0.692835).
(2) La regla de Simpson es el promedio ponderado de las reglas
Trapezoidal y del Punto Medio, es decir;
1 2
S2n = Tn + Mn .
3 3
12.5. Cota del error para la Regla de Simpson. Supongamos
que |f (4) (x)| ≤ K, x ∈ [a, b]. Si Es es el error relacionado con la
aplicación de la regla de Simpson, entonces
K(b − a)5
|Es | ≤ .
180n4
Para la demostración ver [1]
Ejemplo 3.46. ¿Cuán grande debemos tomar Rn, para garantizar
2
que la aproximación por la regla de Simpson para 1 x1 dx sea menor
que 0.0001?
Sea f (x) = x1 , la derivada cuarta de f (x) = x245 , como para x ≥ 1
se cumple que x1 ≤ 1, tenemos que,
24
|f (4) (x)| = | | ≤ 24 = K,
x5
por tanto
24
|Es | ≤ < 0.0001
180n4
1
si y sólo si n > √0.00075 ≈ 6.04.
De donde, si consideramos n = 8 (recuerde que n es par) tenemos
la exactitud deseada.
Observación 3.47. En el Ejemplo 5.43 obtuvimos n = 41 para la
regla trapezoidal y n = 29 para la regla del punto medio, por el Ejemplo
3.46, la partición debe tener menos elementos.
Ejercicios A
R4
(1) Sea 0 f (x) dx, donde f es la función cuya gráfica se muestra
(ver Figura 7)
(a) Use la gráfica para hallar L2 , R2 y M2 .
177
Figura 7
R1 R3 1
(c) 0
2
cos(ex )dx, n = 8 (d) 2 lnx
dx, n = 10
R1
(e) 0 x5 ex dx, n = 10.
R1 3
(3) (a) Encuentre las estimaciones T10 y M10 , para 0 e−x dx.
(b) Encuentre los errores en las aproximaciones de (a).
(c) ¿Cuán grande tenemos que elegir n para que las ante-
riores aproximaciones Tn y Mn para la integral de (a), tengan
una aproximación menor que 0.00001? R1
(4) (a) Encuentre las aproximaciones T10 y S10 , para 0 ex dx y
los errores correspondientes ET y ES .
178
(b) Compare los errores reales del inciso (a) con las esti-
maciones del error dado por 4.3 y 4.5.
(c) ¿ Cuán grande tenemos que elegir n de modo que las
aproximaciones Tn , Mn y Sn para la integral de (a), tengan
una diferencia menor que 0.00001?
(5) Por medio de la interpolación de Newton, calcule para la si-
guiente función tabulada:
x y=f(x)
-3 -51
-1 -11
1 -11
3 -3
5 61
x y=f(x)
0 5
1 7
2 9
5 15
7 19
(7) En los ejercicios (5) y (6), con los valores dados Rhalle el poli-
5
nomio de Newton y un valor aproximado de: −3 f (x)dx y
R7
0
f (x)dx respectivamente.
(8) En los ejercicios (5) y (6) con los valores dados halle el poli-
nomio de interpolación de Lagrange y un valor aproximado
de las integrales.
179
CAPÍTULO 4
Aplicaciones de la integral
1. Introducción
Muchos lı́mites de sucesiones, de aspecto impresionante, pueden
calcularse
1 fácilmente con ayuda de la integral. Por ejemplo: (a)
1
lim n+1 + · · · + 2n n∈I .
1
n o
(b)lim n12 + (n+1)1 1
2 · · · + (2n)2 .
n∈I1
n o
n n
(c) lim (n+1) 2 · · · + (2n)2 .
n∈I1
n n
(d) lim n2 +1
+ ··· + n2 +n2 n∈I1
.
n√ √
n √ o
n e+ e2 +···+ n en
(e) lim n
.
n∈I1
n √
n 2 √
n
o
e +···+ e2n
(f) lim n
.
n∈I1
Por otro lado, al ser f una función continua en el intervalo [0, 1],
es integrable en dicho intervalo y, por el Teorema 2.32,
Z 1
lim S(f, A, P ) = f dx,
kP k→0 0
Este es el hecho más básico que debe tenerse en cuenta para aplicar
la integral a diversos problemas geométricos, fı́sicos y quizás hasta de
otra ı́ndole.
El problema geométrico más sencillo en el que podemos aplicar la
integral consiste en hallar el área de la figura acotada por la gráfica de
una función continua, f : [a, b] → R, por las rectas x = a y x = b, y
por el eje X. A tal región la podemos denotar por R(f, a, b). Vamos
a suponer primero que, para toda x ∈ [a, b], f (x) ≥ 0.
Sea {Pn }n∈I1 una sucesión de particiones de [a, b] tal que
lim{kPn k}n∈I1 = 0
y, para cada n ∈ I1 , An es una selección de Pn .
Sea n ∈ I1 . Pongamos Pn = {x0 = a < x1 < · · · < xn = b} y
An = {ξk : k ∈ {1, · · · , n}}. Para cada k ∈ {1, · · · , n}, el rectángulo
Rk (ver Figura 1), acotado lateralmente por las rectas x = xk−1 y
x = xk , superiormente por la recta y = f (ξk ) e inferiormente por el
eje X, tiene área
A(Rk ) = f (ξk )(xk − xk−1 ) = f (ξk )∆xk ,
183
Figura 1
Pn
Pnmodo que el área de R(f, a, b) es aproximadamente igual k=1 A(Rk ) =
de
k=1 f (ξk )∆xk = S(f, An , Pn ).
Si tomamos una partición Pm con m > n y kPm k ≤ kPn k, S(f, Am , Pm )
será una mejor aproximación al área de R(f, a, b). Entonces es de es-
perarse que
Figura 2
Figura 3
√
(c) Sea f (x) = a2 − x2 , para todo x ∈ [−a, a], donde
√ a > 0. La
gráfica de f es la curva con ecuación cartesiana y = a − x2 , que es
2
185
la mitad superior de la circunferencia x2 + y 2 = a2 (ver Figura 4), de
modo que el área de R(f, −a, a), debe ser igual a la mitad del área del
cı́rculo de radio a, es decir, 21 πa2 .
Figura 4
Corroboremos esto con nuestra nueva fórmula:
Z a√
área de R(f, −a, a) = a2 − x2 dx.
−a
187
Ejercicios 12
(1) Cada una de las siguientes expresiones representa una suma
de Riemann para una cierta función continua f sobre un in-
tervalo cerrado [a, b]. En cada caso, identifique la función
escribiendo una fórmula que la defina.
Pn 5
(a) k=1 ξk ∆xk ,
Pn √
(b) k=1 ξk ∆xk ,
Pn
(c) k=1 3ξk (1 − ξk2 )∆xk ,
Pn 1
(d) k=1 (1 − ξk + ξk2 ) 2 ∆xk .
(2) Evalúe los siguientes lı́mites interpretándolos como sumas de
Riemann para cierta funciones sobre un intervalo particular.
nP o
n k 10 1
(a) lim k=1 n n
,
n∈I1
Pn
sen( nk ) n
1
(b) lim k=1 n∈I1
,
nP o
n 2k−1 7 1
(c) lim k=1 2n n
,
n∈I1
nP o
n k 4 2k−1
(d) lim k=1 n n2
.
n∈I1
188
2. Areas acotadas por curvas
(a) Ya vimos (en la sección anterior) que, si f es integrable y no
negativa en [a, b], la región acotada por la gráfica de y = f (x), el eje
Rb
X, las rectas x = a y x = b, tiene área: a f (x)dx.
Rb
Si f (x) ≤ 0 en [a, b], entonces a
f (x)dx proporciona R el inverso
b
aditivo del área de la región, es decir el área de la región es a f (x)dx.
Figura 5
La curva está arriba del eje X en [− 12 , 0] y abajo en [0, 1], ası́ cal-
cularemos dos integrales:
h i h i
x4 x2 0 x4 x2 1
R R
0 3 1 3
A = − 1 (x − x)dx + 0 (x − x)dx = 4 − 2 1 + 4 − 2
2 −2 0
1
− 18 + 41 − 12 = 64
7
+ − 14 = 23
= 0 − 64 64
.
189
Ejemplo 4.2. Encuentre el área acotada por y 2 = 4x, el eje Y ,
y = −1 e y = 4 (ver Figura 6).
Figura 6
h 3 i4
y2
R4 1 y 1 65
A= −1 4
dy = 4 3
= 12
[64 − (−1)] = 12
.
−1
(d) Si las dos curvas se cruzan en un punto c tal que a < c < b, se
separarı́a la integral sobre [a, b] en dos, una sobre [a, c] y la otra sobre
[c, b] para hallar el área. ¿Por qué?
(a) Las curvas confluyen en (−1, −1) y (3, 1). Dibujamos una
figura (ver Figura 9), al menos de la región que nos interesa y encon-
tramos que está acotada por arriba por y = 12 (x − 1) y por abajo por
y = 14 (x2 − 5).
Figura 9
1 2 x3 3 1
4
[x + 3x − ]
3 −1
= 4
[9 + 9 − 9] − 14 [1 − 3 + 31 ]
8
= 3
.
(b) Un segundo método para resolver este problema es encontrar el
área dividiendo la figura por rectángulos horizontales, generados por
particiones sobre el eje Y . La región está acotada, arriba y abajo, por
y = 1 e y = 54 . La porción ACD del área (ver Figura 10), está acotada,
por la izquierda y por la derecha, por√la curva x2 = 4y + 5. La frontera
√ x = − 4y + 5, mientras que la frontera
del lado izquierdo es entonces
del lado derecho es x = + 4y + 5
Figura 10
Entonces
R −1 √ √ R −1 √
Área ACD =
− 54
[ 4y + 5 + 4y + 5]dy = 2 − 5 4y + 5dy
4
1 −1
R √ h
1 2 3 −1
i
= 2 − 5 ( 4y + 5)4dy = 2 3 (4y + 5) 2 5
4 −4
h 3
i−1
= 31 (4y + 5) 2 5 = 13 (1 − 0) = 31 .
−4
√
El área ADB está acotada, a la derecha por x = 4y + 5 y a la
izquierda por x = 2y + 1. Entonces:
193
R1 √ h 3 2
i1
Área ADB= −1 ( 4y + 5 − (2y + 1))dy = 61 (4y + 1) 2 −y −y =
−1
( 92 − 1 − 1) − ( 16 − 1 + 1) = 37 .
1 7
Entonces el área total, ACD+ADB, es 3
+ 3
= 83 .
Figura 11
194
R8 √ 2
h 3 3 53
i8 √
[ √1 5y + 8 − y 3 ]dy =
2√
(5y + 8) 2 − y = ( 2√
(192 3) −
−1 3 15 3 5 15 3
3
√ −1
5
(32)) − ( 152√3 (3 3) + 35 ) = 27 5
.
195
Ejercicios 13
1. Hallar el área entre las siguientes curvas y el eje X, sobre el
intervalo indicado
(a) y = x3 − 6x2 + 8x, [0, 2]
(b) y = 4 − x2 , [−2, 2]
(c) y = x(x − 2)2 , [0, 2].
2. Encuentre las áreas de las regiones acotada por el eje Y y las
siguientes curvas, en el intervalo especificado sobre el eje Y .
Dibuje la figura:
(a) x = 2 + y − y 2 , [−1, 2]
(b) y 2 −√4y + 4x = 0, [0, 4]
(c) x = 4 − y, [−2, 2].
3. Hallar el área de un lazo en la curva y 2 = 16x2 − 8x4 .
4. Calcular el área de la región acotada por (x − 3)2 = 4(y + 1)
y la recta x − y − 1 = 0.
5. Encontrar el área encerrada por las curvas y 2 = 4x y x2 = 4y.
6. Calcular el área de la región encerrada por y = (x − 1)(x −
2)(x − 3) y 2x − y = 6.
7. Encuentre el área arriba del eje X, entre las curvas y 2 +x−1 =
0 y y 2 − x − 1 = 0. Rh
8. Demuestre que si f (x) = ax2 + bx + c, entonces −h f (x)dx =
h
3
[f (−h) + 4f (0) + f (h)].
9. Muestre que si f (x) = ax3 + bx2 + cx + d, se cumple la misma
fórmula que en el problema 8. Interprete este resultado en
términos de área.
196
3. Volúmenes de sólidos de revolución
Si un rectángulo se gira 360◦ alrededor de uno de sus lados como eje
de rotación, se genera un sólido conocido como cilindro circular recto.
Un triángulo rectángulo que rota alrededor de uno de sus catetos,
genera un cono circular recto. Un semicı́rculo produce una esfera,
si lo hacemos rotar alrededor de su diámetro. Un cı́rculo que gira
alrededor de una recta en su plano y que no corta al cı́rculo, da lugar
a una figura en forma de dona, llamada un “toro”. Figuras como las
anteriores, generadas al rotar una figura plana alrededor de un eje
situado en el mismo plano, se llaman sólidos de revolución.
Figura 12
Figura 13
Figura 14
199
En los Ejemplos 4.5 a 4.8 le llamaremos A a la región marcada en
la siguiente figura: la que está entre el eje X, la gráfica de la función
y = x2 y las rectas verticales x = 0 y x = 2.
Ejemplo 4.5. Hallar el volumen obtenido al girar A alrededor del
eje X (ver Figura 15 y 16).
Figura 15
200
Figura 16
203
Ejercicios 14
En los problemas 1-10, encuentre el volumen del sólido obtenido
por la rotación de la región plana dada alrededor del eje dado.
204
4. Volumen de un sólido que tiene
secciones planas paralelas conocidas
Sea S un sólido. Por una sección plana de S se entiende una
región plana formada por la intersección de un plano con S. En la
Sección 3 anterior aprendimos cómo obtener el volumen de un sólido
de revolución para el cual todas las secciones planas perpendiculares al
eje de revolución son circulares. Ahora encontraremos el volumen de
un sólido para el cual es posible expresar el área de cualquier sección
plana perpendicular a una recta fija, en términos de la distancia per-
pendicular de la sección plana desde un punto fijo.
Definición 4.9. Un cilindro recto es un sólido limitado por dos
regiones planas congruentes R1 y R2 , situadas en planos paralelos,
y por una superficie lateral generada por un segmento rectilı́neo, que
tiene sus extremos o puntos finales sobre las fronteras de R1 y R2 , el
cual se mueve de tal manera que siempre es perpendicular a los planos
R1 y R2 .
La altura del cilindro es la distancia perpendicular entre los planos
R1 y R2 , y la base es R1 o R2 . Si el área de la base de un cilindro recto
es A unidades cuadradas y la altura es h unidades, entonces el volumen
del cilindro recto es el producto Ah. Estamos considerando sólidos
para los cuales el área de cualquier sección plana, que sea perpendic-
ular a una recta fija, es una función de la distancia perpendicular de
la sección plana desde un punto fijo. En la figura (ver Figura 19), el
sólido S se encuentra entre los planos x = a y x = b, perpendiculares
al eje X.
Figura 19
Representemos el número de unidades cuadradas del área de la sección
plana de S perpendicular al eje X, en x por A(x) y supongamos que A
es una función continua en el intervalo [a, b]. Sea P = {x0 , x1 , · · · , xn }
205
una partición del intervalo [a, b]. Escogemos cualquier ξi ∈ [xi−1 , xi ]
y construimos los cilindros rectos de alturas ∆xi unidades y áreas de
secciones planas A(ξi ) unidades cuadradas. El volumen del i-ésimo
cilindrito es A(ξi )∆xi unidades cúbicas y la suma de los volúmenes de
estos n-cilindritos es la suma de Riemann
X n
A(ξi )∆xi .
i=1
206
Figura 20
y de aquı́
H H√ 2
A1 B1 = A1 O 1 = R − x2 .
R R
Entonces,
√ el área del√triángulo A1 O 1 B1 es:
A(x) = 21 ( R2 − x2 )( H R
R 2 − x2 ) = H (R2 − x2 )
2R
y el volumen
R R Hde la2 cuña2 es:
V = −R 2R (R − x )dx
RR RR 2
= HR −R
H
dx − 2R x dx
2
h 3−RiR
= HR2
[x]R H
−R − 2R
x
3
h 3 i−R
= HR2
H
(2R) − 2R 2R
3
= HR2 1 − 13 = 32 HR2 .
(3) Los ejes de dos cilindros circulares de radios iguales a r se cor-
tan en ángulo recto. Hallar el vulumen de la intersección (ver Figura
22).
Supongamos que los cilindros tienen ecuaciones
x2 + z 2 = r 2
y
y 2 + z 2 = r2
Podemos escoger los ejes coordenados de tal forma que ası́ sean las
ecuaciones. Una sección del sólido cuyo volumen deseamos calcular,
al cortar por un plano perpendicular al eje Z, es un cuadrado de lado
208
Figura 22
√
2x = 2y = 2 r2 − z 2 y área A(z) = 4(r2 − z 2 ). Por lo tanto,
Z r
16r3
V =4 (r2 − z 2 )dz = unidades cúbicas.
−r 3
209
Ejercicios 15
(1) Hallar el volumen de un cono recto de altura h que tiene por
base la elipse de eje mayor 2a y eje menor 2b.
(2) Hallar el volumen de la cuña del Ejemplo 4.11 (2), pero ahora
considerando las siguientes secciones rectangulares perpen-
diculares al eje Y (ver Figura 23)
Figura 23
(3) La base de un sólido es la región limitada por la hipérbola
25x2 − 4y 2 = 100 y al recta x = 4. Determinar el volumen
del sólido si todas las secciones planas, perpendiculares al eje
X, son cuadrados.
(4) Obtenga el volumen de un sólido cuya base es la región del
ejercicio anterior, si todas las secciones planas, perpendicu-
lares al eje X, son triángulos equilateros.
(5) Demostrar que el volumen del sólido generado por la gráfica
de la función f (x) = senx, alrededor del eje X, entre x = 0
2
y x = π, es igual a π2 .
(6) Demostrar el principio de Cavalieri:
Si dos sólidos tienen la misma altura y todas las
secciones cortadas por planos paralelos a sus bases
tienen áreas iguales, entonces los sólidos tienen
el mismo volumen (ver Figura 24)
(7) Generalizar el principio de Cavalieri en el siguiente sentido:
Si al cortar ambos sólidos de la misma altura mediante
planos paralelos a sus bases se obtienen figuras cuyas áreas
se encuentran en una misma ralación, entonces los volúmenes
de dichos sólidos se encuentran en esa relación.
210
Figura 24
Figura 25
211
5. Aplicaciones de la Integral en Fı́sica
5.1. Momento de inercia de un solido de revolución alrede-
dor de su eje. El concepto fı́sico de “momento de inercia de un
cuerpo respecto a un eje” tiene un papel importante en el estudio del
movimiento de rotación de un cuerpo en mecánica. Estudiaremos a
continuación el caso en el cual el cuerpo es un sólido de revolución y
el eje, respecto al cual se calcula el momento de inercia, es el eje de
revolución.
El momento de inercia IL de una partı́cula de masa m a una dis-
tancia d de un a recta L, respecto de dicha recta, es una cantidad
proporcional a la masa m y al cuadrado de la distancia d, es decir está
dado por una fórmula del estilo IL = kmd2 , donde k es una constante
de proporcionalidad. Si tomamos la unidad de medida de momento
de inercia como IL = 1 cuando m = 1 y d = 1, entonces k = 1 y
Il = md2 . Si varias partı́culas con masas m1 , . . . , mn están a distan-
cias d1 , . . . , dn de un eje L, respectivamente, entonces el momento de
inercia del sistema de partı́culas con respecto a L, se define como la
suma de los momentos separados: m1 d21 + · · · + mn d2 .
Sin embargo esta definición no toma en cuenta el momento de
inercia respecto a un eje de un cuerpo extendido que no sea un sistema
de un número finito de partı́culas. Extenderemos la definición al caso
de un sólido de revolución, cada unidad cúbica del cual tiene masa
constante δ, por el método ilustrado en siguiente ejemplo.
Ejemplo 4.12. Hallar el momento de inercia de un cono de radio
r y altura h alrededor de su eje, si su densidad de masa es δ, cada
unidad cubica tiene masa constante δ.
Dicho cono lo podemos considerar como el sólido generado por la
rotación del triángulo acotado por los ejes y por la recta y = hr (r − x),
alrededor del eje Y . Escogemos una partición P = {x0 , . . . , xn } del
intervalo [0, r] en el eje X y una selección S = {ξi : i ∈ {1, . . . , n}}, y
nos aproximamos al triángulo por rectángulos verticales de base ∆xi y
altura hr (r − ξi ) (ver Figura 26).
Girando uno de estos rectángulos alrededor del eje Y , obtenemos
una figura tubular cuyo volumen es:
h
2π(radio medio)(grosor)(altura) = 2πξi ∆xi (r − ξi ),
r
y cuya masa es entonces, 2πξi ∆xi hr (r − ξi )δ.
212
Figura 26
Pn
2πδx0i · hr (r − x0i )∆xi (x0i )2 = ni=1 2πδh
(x0i )3 (r − x0i )∆xi
P
i=1 r
2πδh 3
=S r
x (r − x), S, P ,
Rr h i5
2πδh 3 4 2πδh rx4 x5
IL = r 0
(rx − x ) dx = r 4
− 5
=
0
2πδh r5 πδhr4
= r
· 20
= 10
.
213
Otro modo de escribir esta respuesta, suele ser útil: La masa M
2
del cono es πr3 h δ, ası́ que podemos escribir:
πδhr4 πr2 h 3r2 3r2
IL = = δ· =M .
10 3 10 10
Esto nos dice que el momento de inercia del cono es el mismo que si
todaqla masa M estuviera concentrada en una partı́cula a una distan-
3
cia 10
r del eje. Esta distancia se llama “radio de giro” del cono
alrededor de su eje.
214
Ejercicios 16
(1) Halle el momento de inercia de un cilindro sólido de densidad
constante δ alrededor de su eje.
(2) Encuentre el momento de inercia de una esfera sólida de den-
sidad constante δ alrededor de un diametro. Tome por garan-
tizada la antiderivada:
Z √ 1 3
x3 a2 − x2 dx = − (3x2 + 2a2 )(a2 − x2 ) 2 + c
15
(3) Determine el momento de inercia de un sólido de densidad
constante δ, generado al rotar el área acotada por x2 = 4y, el
eje X y la recta x = 4, alrededor del eje X.
(4) Encuentre el momento de inercia de una bovina de radio in-
terior r, radio exterior R y altura h, alrededor de su eje de
revolución.
(5) Halle el momento de inercia, respecto al eje Y , del sólido de
densidad constante δ generado al rotar alrededor del Y la
región acotada por la parábola y = x2 y la recta y = x.
215
5.2. El cálculo del trabajo. El concepto de trabajo es útil en
fı́sica para comparar las cantidades de energı́a mecánica que se re-
quieren para llevar a cabo diversas tareas fı́sicas. Por ejemplo, se
requiere la misma energı́a mecánica para llevar un bloque de 1 kg. a
una altura de 10 m. que para llevar un bloque de de 10 kg. a una
altura de 1 m., o para llevar un bloque de 2 kg. a una altura de 5 m.
En cada caso, “la cantidad de trabajo” requerida es de 10 kg-m.
Si apelamos a nuestras nociones intuitivas de significado de la pala-
bra “trabajo” -por ejemplo, en el caso de levantar un bloque- sentimos
que el trabajo dado es proporcional a la distancia que nosotros levan-
tamos el bloque, y también proporcional a su peso, es decir, a la
fuerza F que se opone para levantarlo. Entonces, matemáticamente,
podrı́amos decir que el trabajo es W = kF d, donde k es una constan-
te de proporcionalidad. Si convenimos en que la unidad de trabajo,
un kilográmetro (Kgm) sea el trabajo que se requiere para elevar un
kilogramo a una altura de 1 m, entonces, en W = kF d, tendremos 1 =
k · 1 · 1 o k = 1. Para estas unidades la constante de proporcionalidad
es 1 y podemos escrbir W = F d. En general:
Definición 4.13. Si una fuerza constante de F kilogramos, di-
rigida a lo largo de una recta, actúa sobre una partı́cula para moverla
una distancia d igual a d metros a lo largo de dicha recta, entonces el
trabajo W efectuado por la fuerza, se define como
W = ±F d
medida en kilográmetros (Kgm). El signo más se usa si la fuerza actúa
en la dirección del movimiento; el signo menos, si actúa en la dirección
opuesta al movimiento.
Ejemplo 4.14. (1) Una fuerza constante de 100 kg mueve una
piedra pesada cada 5m en la dirección de la fuerza. Entonces el trabajo
efectuado es 500 Kgm.
(2) Si una caja se desliza 5m hacia abajo por un plano inclinado,
a pesar de que alguien la jala hacia arriba con una fuerza de 10 Kg
mediante una cuerda paralela al plano inclinado, entonces el trabajo
dado el tiron de lacuerda es −50Kg.
En cada uno de los ejemplos anteriores y en la definición de trabajo
como fuerza por distancia, la fuerza involucrada es constante. Si la
fuerza es variable, el trabajo efectuado es más difı́cil de calcular y se
debe emplear cálculo.
216
Supongamos que F (x), donde F es una función continua en [a, b],
es el número de unidades de la fuerza que actúa en la dirección del
movimiento sobre un objeto cuando se mueve sobre el eje X, del punto
a al punto b.
Subdividamos el intervalo [a, b] en n subintervalos, mediante la
partición P = {x0 = a, x1 , . . . , xn = b} y sea S = {x01 : i ∈ {1, . . . , n}}
una selección de dicha partición. Entonces F (x0i ) es la fuerza que sde
está aplicando cuando la partı́cula esta en x0i y si ∆xi es muy pequeño,
esa es la fuerza prácticamente ejercida en cada punto del subintervalo
[xi−1 , xi ]. Entonces si suponemos que la fuerza es constante y de mag-
nitud F (x0i ) a lo largo de [xi−1 , xi ], el trabajo efectuado en dicho inter-
valo, es F (x0i )∆xi y esto deberá considerarse como una aproximación
al trabajo realizado por la fuerza en el subintervalo.
Si postulamos, como hacen los fı́sicos, que el trabajo desarrollado
desde a hasta b es la suma de las cantidades de trabajo dadas en
los subintervalos separados, podemos sumar todas nuestras aproxima-
ciones a estas cantidades de trabajo y hallar la siguiente aproximación
del trabajo total realizado F desde a hasta b:
n
X
W ≈ F (x01 )∆xi + F (x02 )∆x2 + ··· + F (x0n )∆xn = F (x0i )∆xi .
i=1
Z b
W = F (x) dx
a
64
= 3
+ 16 − ( 83 + 8) = 26 23 Kgm.
(2) En el siguiente ejemplo usaremos la “Ley de Hooke” que es-
tablece que “si un resorte se estira x unidades mas allá de su longitud
natural, se contrae con una fuerza igual a kx unidades, donde k es
una constante que depende del material y del tamaño del resorte”.
Un resorte tiene una longitud natural de 14 cm. Si se requiere
una fuerza de 50 Kg para mantener el resorte estirado 2 cm, ¿cuanto
trabajo se realiza al estirar el resorte desde su longitud natural hasta
una longitud de 18 cm?
Coloque el resorte a lo largo del eje X con el origen en el punto
donde empieza el estiramiento, ver Figura 27
Figura 27
Figura 28
220
Ejercicios 17
(1) Un cable de 250m está suspendido cobre un acantilado. Si el
cable pesa 8kg/m, ¿cuánto trabajo debe efectuarse para jalar
todo el cable hasta la punta del acantilado?
(2) La longitud natural de un cierto resorte es de 7cm y se re-
quiere una fuerza de 12kg para estirar el resorte hasta una
longitud de 9cm. Calcule el trabajo realizado cuando el re-
sorte se estira desde una longitud de 8cm hasta una de 12cm.
(3) Un depósito en forma de cilindro circular recto, de 20m de
radio y 60m de altura, está lleno de agua hasta la mitad.
Calcular el trabajo realizado al bombear toda el agua hasta
el borde superior.
(4) Un hormiguero en forma de colina cónica tiene una altura
de 1cm y un radio de 2cm. Si el hormiguero esá hecho de
tierra muy fina, que pesa 20kg el pie cúbico, ¿cuánto trabajo
efectuaron las hormigas para construir su colina?
(5) Una banda de hule ejerce una fuerza de 70gm cuando es
alargada una longitud de 3cm. ¿Cuántos gm-dm de trabajo
se efectúan al estirar la banda hasta esa longitud?
(6) Una gruesa cadena pesa 10kg/dm y cuelga de un cabrestante.
¿Qué tan larga es la cadena si se requiere un trabajo de 100kg-
dm para enrollarla (despreciando la fricción)?
221
6. Presión hidrostática
Supongamos que tenemos un tanque en forma de paralelepı́pedo
lleno de agua; sus dimensiones se muestran en Figura 29.
Figura 29
223
Se toma un número natural n muy grande y la pared se divide en
n franjas horizontales idénticas, cada una con un ancho igual a n1 h,
como se muestra en la Figura 30:
Figura 30
226
Ejercicios 18
(1) Demostrar que la presión sobre una placa con forma de trián–
gulo isósceles de base a y de altura h, sumergida verticalmente
en agua y de tal forma que su base está al nivel de la superficie
2
del lı́quido, es P = ah6
(2) Si ahora la placa del ejercicio 1 la colocamos verticalmente
en el agua de tal manera que su vértice esté en la superficie
del agua y su base sea paralela a dicha superficie, entonces
2
demuestre que la presión ejercida sobre ella es P = ah3
(3) Demuestre que la presión sobre una placa semicircular de ra-
dio a dm, sumergida en agua de tal forma que el diámetro del
3
semicı́rculo está en la superficie del agua, es 2a3
7. Integrales Impropias
Hasta ahora nos hemos ocupado de las integrales propias: aquéllas
en que el dominio de integración es un intervalo cerrado [a, b], con
a, b ∈ R y a < b, y el integrando es una función acotada en dicho
intervalo. Sin embargo, en las aplicaciones suelen aparecer integrales
impropias, es decir, integrales en las que el intervalo de integración no
es un intervalo acotado o el integrando no es una función acotada en
dicho intervalo.
Figura 32
227
Para ser consecuentes con lo que vimos en las primeras secciones
de este capı́tulo, quisiéramos que la definición de la integral
Z 1
1
dx,
0 x
Figura 33
Entonces se tendrı́a:
1 1 1
Área de R ≥ 1 + + + + ···
2 3 4
R1
Es decir, el área de R, o la integral impropia 0 x1 dx, tendrı́a que
ser mayor que la serie armónica ∞ 1
P
n=1 n , la cual diverge a ∞.
228
Ahora veamos un ejemplo más alentador: la función g(x) = √1x
también es continua en (0, 1] pero, como la función del ejemplo ante-
rior, no está acotada superiormente en dicho intervalo, ni aunque la
redefiniéramos para que le asignara un valor real a x = 0. Esto se
debe a que limx→0+ g(x) = ∞. Sin embargo, al considerar el área de
la región S comprendida entre el eje X, las rectas x = 0 y x = 1 y la
curva y = √1x , y compararla con la suma de las áreas de los rectángulos
mostrados en la Figura 34, cuya unión contiene a S, obtenemos:
∞
1 1 1 X 1
Área de S ≤ 1 + 1 + + + + ··· = 1 + 2
.
4 9 16 n=1
n
Figura 34
Como la serie ∞ 1
P
n=1 n2 converge, el área de S no se va a infinito
aunque S no esté acotada. Esta región tiene un área que es un número
real positivo y que podemos representar por
Z 1
1
√ dx.
0 x
Pero cabe preguntarnos ¿Cómo hallar el valor numérico exacto de
esta integral impropia o, lo que es mismo, el área de S?
229
La función g(x) = √1x es continua en todo intervalo [t, 1], donde
0 ≤ t < 1, y podemos hallar la integral propia.
Z 1
1 √ √
√ dx = [2 x]1t = 2 − 2 t.
t x
Esta integral propia representa el área bajo la curva y = √1x , entre
x = t y x = 1, que se muestra en la Figura 35 y que hemos representado
antes por R( √1x , t, 1).
Figura 35
Ahora bien, si hacemos tender t a 0, a través deRvalores positivos,
1
entonces el área representada por la integral propia t √1x dx, tenderá
R1
al área asociada a la integral impropia 0 √1x dx.
Entonces, podemos escribir:
Z 1
1 1
√ dx = área de S = limt→0+ Área de R( √ , t, 1) =
0 x x
Z 1
1 √
= limt→0+ √ dx = limt→0+ (2 − 2 t) = 2.
t x
Tomando la idea desarrollada en este ejemplo, damos la siguiente
definición:
Definición 4.17. Sean a, b ∈ R, con a < b. Supongamos que
f : (a, b] → R es tal que limx→a+ f (x) = ∞ o limx→a+ f (x) = −∞,
pero f es integrable en [t, b], para todo t ∈ (a, b]. Entonces
Rb
(a) Se dice la integral impropia a f (x) dx está definida, si existe
Z b
(39) limt→a+ f (x) dx
t
230
o si dicho lı́mite es ∞ o −∞.
(b) Si el lı́mite (39) existe, o es ∞ o −∞, su valor se denota por
Z b
f (x) dx.
a
Rb
(c) Se dice que la integral impropia a f (x) dx converge, si está
definida y su valor es finito (es un número real); en pocas
palabras, si el lı́mite (39) existe.
Rb
(d) Se dice que la integral impropia a f (x) dx diverge, si no está
definida o su valor no es un número real, es decir, si lı́mite
(39) no existe.
(e) Se dice que f es integrable en (a, b] si la integral impropia
Rb
a
f (x) dx converge.
R1
Ejemplo 4.18. (1) Como vimos, la 0 √1x dx = 2, ası́ que la
R1
integral impropia 0 √1x dx converge y g(x) = √1x es integrable
en (0, 1]. R1
(2) En cambio, f (x) = x1 no es integrable en (0, 1], pero 0 x1 dx
si está definida, ya que, si 0 < t < 1, entonces
Z 1 Z t
1 1
dx = − dx = −[log(x)]t1 = −log(t),
t x 1 x
y
Z 1
1
limt→0+ dx = limt→0+ (−log(t)) = ∞.
t x
R1
Ası́, 0 x1 dx = ∞.
232
Rb
(c) Se dice que la integral impropia a f (x) dx converge, si está
definida y su valor es un número real, es decir, si el lı́mite
(40) existe.
Rb
(d) Se dice que la integral impropia a f (x) dx diverge, si no está
definida o su valor no es un número real, es decir, si el lı́mite
(40) no existe.
Rb
(e) Se dice que f es integrable en [a, b), si la integral a f (x) dx
converge.
con p = 1 .
R 3 dx 2
(3) 1 (3−x)2 diverge, por ser una p−integral de segunda especie,
con p = 2 > 1.
Ejercicios 19
(1) Calcule las siguientes integrales:
R1 dx
R1 dx
R1 dx
(a) 0
√
x
, (b) 0 3 x,
√ (c) 0 x3
,
R1 R1 R1
(d) √dx , (e) √
3
dx
, (f) dx
.
0 1−x 0 1−x 0 (1−x)3
(2) Suponga que −∞ < a < b < ∞, para calcular las siguientes
integrales:
Rb Rb Rb
(a) √dx , (b) √dx , (c) dx
,
a x−a a 3 x−a a (x−a)2
Rb dx
Rb Rb
(d) , (e) √dx , (f) dx
.
a b−x a 4 b−x a (b−x)3
233
(3) Demuestre que si a, b ∈ R, con a < b, p ∈ R, entonces la
p−integral de segunda especie
Z b
1
p
dx,
a (b − x)
converge si p < 1, diverge si p ≥ 1.
Hasta aquı́ hemos estudiado integrales que son impropias porque la
función que se integra no está acotada en un intervalo de integración
acotado. Por otro lado, como dijimos al principio de esta sección,
hay otro tipo de integrales impropias: aquéllas en las que el intervalo
de integración no es un conjunto acotado. ¿Cómo podemos definirlas
adecuadamente?. Por ejemplo, quisiéramos darle algún sentido a la
expresión: Z ∞
e−x dx.
0
La función f (x) = e−x es una función positiva y acotada en el
intervalo [0, ∞), que se va acercando asintóticamente al eje X y de
manera tan rauda que no es descabellado preguntarse si el área de la
región R(e−x , 0, ∞), acotada a la izquierda por el eje Y , abajo por
el intervalo [0, ∞) del eje X y arriba por la gráfica de la función f ,
es un número real bien definido y no se va a infinito, a pesar de que
el intervalo [0, ∞) no está acotado superiormente. Podemos ver qué
pasa con las áreas de las regiones R(e−x , 0, t), cuando t tiende a ∞, las
cuales, como nuestra intuición percibe, tienden al área de R(e−x , 0, ∞).
Puesto que
Z t
−x 1
Área de R(e , 0, t) = e−x dx = 1 − t ,
0 e
entonces
Área de R(e−x , 0, ∞) = limt→∞ área de R(e−x , 0, t) =
1
= limt→∞ = 1,
1 − et
−x
es decir, el área de la región no acotada
R ∞ R(e , 0, ∞), que puede con-
−x
siderarse como la integral impropia 0 e dx (porque la función f es
positiva en todo el intervalo de integración y por lo estudiado en las
primeras secciones de este capı́tulo), ¡existe!
Inspirados en este ejemplo, ofrecemos las siguientes definiciones:
234
Definición 4.21. Sea a ∈ R. Supongamos que para cada a < t
(respectivamente, t < a) f es integrable en [a, t] (respectivamente,
[t, a]).
R∞
R a dice que la integral impropia a f (x) dx (respectivamente,
(a) Se
−∞
f (x) dx) está definida, si existe
Z t
(41) limt→∞ f (x) dx
a
Z a
(respectivamente, limt→−∞ f (x) dx, )
t
o es ∞ o −∞
(b) Si el lı́mite (41) existe, o es ∞ o − ∞, su valor se denota
por
Z ∞ Z a
f (x) dx (respectivamente, f (x) dx)
a −∞
R∞
(c) RSe dice que la integral impropia a f (x) dx (respectivamente,
a
−∞
f (x) dx) converge, si está definida y su valor es un número
real, es decir, si el lı́mite
R ∞ (41) existe. Ra
(d) La integral impropia a f (x) dx (respectivamente, −∞ f (x) dx)
diverge si no está definida o su valor no es un número real.
(e) LaRfunción f es integrable en [a, ∞) R a (respectivamente, (−∞, a]),
∞
si a f (x) dx (respectivamente, −∞ f (x) dx) converge.
R∞
Ejemplo 4.22. (1) 0
sen(x) dx no converge, de hecho no
está definida.
En efecto: basta tomar la sucesión {nπ}n∈N , que tiende a
∞ cuando
R nπ n tiende a ∞, y observar que
0
sen(x) dx = [−cos(x)]nπ0 = 1 − cos(nπ) = 1 − (−1)
n
0, si n es par
=
2, si n es impar. R nπ
y por lo tanto, que la sucesión { 0 sen(x) dx} no converge
ni se va a ∞ ni a −∞, cuando n tiende a ∞. Por lo tanto,
la integral no está definida, ası́ la integral no converge.
(2) Si 0 < a < ∞ y p ∈ R, la p−integral de primera especie,
Z ∞
1
dx,
a xp
235
converge si p > 1; diverge si p ≤ 1.
En efecto: (i) Si p > 1, entonces
t
x−p+1 t −1
Z
dx 1 1 1 1
p
= [ ]a = [ p−1 ]ta = [ p−1 − p−1 ], y
a x −p + 1 p−1 x p−1 a t
Z t
dx 1 1
limt→∞ p
=( )( p−1 )
a x p−1 a
Por lo tanto,
Z ∞
dx 1 1
p
=( )( p−1 ).
a x p−1 a
(ii) Si p = 1, entonces la integral diverge, ya que
Z t Z t
dx dx
p
= = [log(x)]ta = log(t) − log(a).
a x a x
Por lo tanto,
Z ∞ Z t
dx dx
p
= limt→∞ p
= ∞,
a x a x
ası́ que dicha integral está definida pero diverge.
(iii) Si p < 1, entonces,
t
x−p+1 t
Z
dx 1 1
p
= [ ]a = [x1−p ]ta = [t1−p − a1−p ].
a x −p + 1 1 − p 1 − p
Por lo tanto,
Z ∞ Z t
dx dx 1
p
= limt→∞ p
= limt→∞ [t1−p − a1−p ] = ∞,
a x a x 1 − p
y de nuevo la integral está definida pero no converge.
R1
(3) Demostrar que 0 x1p dx converge si p < 1 y diverge si p ≥ 1.
(Ejercicio)
R1
(4) Demostrar que −2 x12 dx diverge.
R1 R0 R1
En efecto: es claro que −2 x12 dx = −2 x12 dx + 0 x12 dx.
R1
Del ejemplo (3) se sigue que 0 x12 dx diverge, lo cual implica
R1
que −2 x12 dx diverge.
236
Ejercicios 20
(1) Calcule las siguientes integrales:
R∞ dx
R∞ dx
R∞ dx
(a) 1 x
, (b) 1 x2
, (c) 1 x3
,
R∞ dx
R∞ dx
R∞ dx
(d) a
√
x
, (e) a x3
, (f) a x4
, con 0 < a < ∞.
Corolario
R 4.30. Si E y f son como R en el teorema anterior, en-
tonces E f (x) dx converge si y sólo si E | f (x) | dx < ∞.
240
R R +
R − ón. Si E f (x) dx converge, entonces E f (x) dx <
Demostraci
∞ y E f (x) dx < ∞ (¿por qué?). Por lo tanto, por (ii) de la
Proposición 4.27,
Z Z Z
| f (x) | dx = +
f (x)dx + f − (x)dx < ∞.
E E E
R R +
Recı́procamente,
R − si E
| f (x) | dx < ∞, entonces E
f (x)dx < ∞
+ −
y E f (x) < ∞ (ya R que f ≤| f | y f ≤| f |).
Por lo tanto, E f (x)dx converge.
Ejercicios 21
(1) Demuestre las propiedades de f + y de f − enunciadas en la
Proposición 4.27.
(2) Sean A ⊆ R y f : A → R una función. Demuestre que si f
es continua en A, entonces también f + y f − son continuas en
A.
(3) Demuestre que no convergen las integrales siguientes:
Z ∞ Z ∞
1
dx y sen x dx.
+∞ x 0
242
Ejemplo 4.34. La integral
Z 1
dx
√
0 1 − x2
converge, ya que
1 1 1
∀x ∈ [0, 1), √ =√ ·√ ,
1 − x2 1+x 1−x
donde el primer factor del
R 1 segundo miembro está acotado y la inte-
dx
gral del segundo factor, 0 1−x , converge, por ser una p-integral de
√
Ejercicios 22
Por medio de los criterios anteriores determine la convergencia o
divergencia de cada una de las siguientes integrales:
R∞ dx
R∞ dx
R1
(a) , (b) √ , (c) √ dx ,
2 4+x3 1 1+ x 0 1−x4
R∞ R∞ R3
(d) √x dx , (e) √ dx , (f) √ dx .
1 1+x6 1 1+x2 2 x3 −8
(2) La integral
∞
x3 + 1
Z
dx
1 x4 − 3x2 + 6
diverge,
R ∞ dx por comparaciónR ∞ con la p-integral de primera especie
x3
1 x
(que es igual a 1 x4
dx). En efecto,
x3 +1
x4 −3x2 +6 1 + x13
lim = lim = 1.
x→∞ x3 x→∞ 1 − 32 + 6
x4 x x4
(log x1 )n
lim 1 = 0.
x→0 ( x1 ) 2
Ejercicios 23
(1) Por medio de los criterios anteriores determine la convergen-
cia o divergencia de cada una de las siguientes integrales:
R∞ R∞ x2 −1
R∞
(a) √ dx , (b) dx, (c) √ dx ,
1 1+x2 4 1+x4 1 1+x3
R∞ R∞ x2 −1
R∞
(d) √ dx , (e) dx, (f) √ dx .
0 1+x2 0 1+x4 0 1+x3
246
CAPÍTULO 5
1Denotaremos Pn
por i=1 ai = a1 + a2 + · · · + an . Para más información acerca
de este tipo de sumas ver [4].
247
De donde, ambas sucesiones {Sn }n∈I1 y {bn }n∈I1 convergen o ambas
sucesiones divergen. Además, si denotamos lim{bn }n∈I1 = B entonces
lim{Sn }n∈I1 = b1 − B.
Ası́ que, como resultado del Lema 1.47, obtenemos el
Corolario 5.3. Consideremos las sucesiones {an }n∈Im y {bn }n∈Im
con mP∈ Z, tales que an = bn − bn+1 para todo n ≥ m. Entonces la
serie n∈Im an converge si y sólo si la sucesión {bn }n∈Im converge y
en este caso tenemos que
P
n∈Im an = bm − B,
donde B = lim{bn }n∈Im .
1. Criterios de convergencia
En el Ejemplo 1.51 (3) se obtuvieron los siguientes resultados:
(1) si |x| < 1, entonces
n 1
P
n∈I0 x = 1−x .
(2) Si |x| < 1 y m > 0, entonces
n 1 2 m−1
P
n∈Im x = 1−x − (1 + x + x + ... + x ).
(3) Si |x| < 1 y m < 0, entonces
n 1 m m+1
+ ... + x−1 ).
P
n∈Im x = 1−x + (x + x
1
Ejemplo 5.8. (1) Es claro, que si x = 10
entonces la sucesión
{bn }n∈I1 , con bn = xn , es sumable y, además
n 1
P
n∈I1 x = 9
249
9
por otro lado, por el Lema 1.48 parte (b), tenemos que si cn = 10n
entonces la sucesión {cn }n∈I1 es sumable y, además
P
n∈I1 cn =1.
.d1 · · · dN d1 · · · dN d1 · · · dN · · ·
Como la sucesión {an }n∈I1 es sumable, si {Sn }n∈I1 es la sucesión
de sumas parciales,dNtenemos dque lim{SkN }k∈I1= S, pero
SkN = d101 + · · · + 10 N + 1
10N +1
+ · · · + 10dNN+N + · · ·
d1 dN dN
d
+ 10(k−1)N +1
+ ··· + 10kN
= 10
1
+ ··· + 10N
+
dN dN
1
d 1
d
10N 10
1
+ ··· + 10N
+ ··· + 10(k−1)N
1
10
+ ··· + 10N
=
Pk−1 h 1
j d dN
i d dN
Pk−1 1
j
j=0 10N 10
+ ··· +
1
=10N 10
1
+ ··· + 10N j=0 10N
d dN
1−( 1N )k
= 1
10
+ · · · + 10N
10
1− 1
.
10N
250
h i
d1 d
dN +···+ N
10N
d 1 10
Por lo tanto, S = 10
1
+ ··· + 10N 1− 1 = 1− N1 . Note
10N 10
que si un número tiene una expansión decimal periódica, entonces el
número es racional. 2
2Ver en [2] que todo número real tiene una expansión decimal única.
251
Corolario 5.10. Sean {an }n∈I1 y {bn }n∈I1 sucesiones tales que:
(1) an ≥ 0 para todo n ∈ I1 ,
(2) bn > 0 para todo n ∈ I1 y
(3) lim{ abnn }n∈I1 = A.
Si A ∈ R+ , entonces {an }n∈I1 no es sumable si y sólo si {bn }n∈I1
no es sumable.
Corolario 5.11. Sean m ∈ Z y {an }n∈Im y {bn }n∈Im sucesiones
tales que:
(1) an ≥ 0 para todo n ∈ Im ,
(2) bn > 0 para todo n ∈ Im y
(3) lim{ abnn }n∈Im = A.
Si A ∈ R+ , entonces {an }n∈Im es sumable (no sumable) si y sólo
si {bn }n∈Im es sumable (no sumable).
Ejemplo 5.12. De manera similar al Ejemplo 5.1, se tiene que:
1 1 1
para todo n ∈ I2 : = − ,
n(n − 1) n−1 n
1
P
ası́ que, usando el Corolario 5.3, n∈I2 n(n−1) converge y, dado que
1 1
para todo n ∈ I2 : 0 < 2
≤ ,
n n(n − 1)
por la Observación 5.7, se tiene que n∈I2 n12 converge y, por el Lema
P
Por otro lado, la serie n∈I1 n1k con k < 1, es divergente ya que la
P
(1−k)
sucesión { n 1−k−1 }n∈I1 es divergente cuando k < 1.
En conclusión, una k-serie converge si k > 1 y diverge si k ≤ 1.
P
Notemos que si an es convergente con suma S, y
n∈I1
Sm = a1 + · · · + am con m ∈ I1 ,
P
entonces S − Sm = n∈Im+1 an . Por lo tanto, si las sumas parciales
P
de n∈Im+1 an son Tn = Sn − Sm , para todo n ∈ Im+1 , obtenemos que
lim{Tn }n∈Im+1 = lim{Sn − Sm }n∈Im+1 = S − Sm . 3
Por otro lado, por el Corolario 1.23 (d), sabemos que si {Sn }n∈Im
y {Tn }n∈Im son convergentes y Sn ≤ Tn para todo n P ∈ Im , en-
P lim{Sn }n∈Im ≤ lim{Tn }n∈Im . Ası́ que si S =
tonces n∈Im an y
T = n∈Im bn y an ≤ bn para todo n ∈ Im , entonces S ≤ T , ya P que las
P parciales {Sn }n∈Im y {Tn }n∈Im , respectivamente de n∈Im an
sumas
y n∈Im an , cumplen que Sn ≤ Tn , para todo n ∈ Im . Apliquemos
estas ideas en la demostración del siguiente corolario.
3Ver la demostración del Lema 1.47.
255
Corolario 5.18. Si {an }n∈I1 es una sucesión con términos an ≥ 0,
1 P
tal que lim{ann }n∈I1 = A, con A < 1 y además n∈I1 an = S y
Pi=n
Sn = i=1 ai , entonces, para x ∈ (A, 1), existe N ∈ I1 tal que
xn+1
S − Sn ≤ (1−x)
para todo n ∈ IN .
Demostración. Sea x ∈ (A, 1), entonces existe N ∈ I1 tal que an <
xn , para todo
P n ∈ IN , porPlo tanto tenemosP que para todo n ∈ IN :
S − Sn = m∈In+1 am ≤ m∈In+1 xm = m∈I0 xn+1 xm
1 xn+1
= xn+1 m∈I0 xm = xn+1 1−x
P
= (1−x) .
Pero veremos que una sucesión puede ser sumable sin que la sucesión
de sus valores absolutos lo sea, ası́ que se justifican las siguientes defini-
ciones, que distinguirán este tipo de comportamiento.
Definición 5.22. (a) La sucesión {an }n∈Im es absolutamente su-
mable si la sucesión {|an |}n∈Im es sumable.
(b) En caso de que la sucesión {an }n∈Im sea sumable y la sucesión
{|an |}n∈Im no sea sumable diremos que la sucesión {an }n∈Im es condi-
cionalmente sumable.
Dada la sucesión {an }n∈Im , definamos las siguientes sucesiones
{bn }n∈Im y {cn }n∈Im como:
bn = an si an ≥ 0 y bn = 0 si an ≤ 0,
cn = an si an ≤ 0 y cn = 0 si an ≥ 0,
entonces cualquier suma parcial de {an }n∈Im la podemos escribir como
i=n
X i=n
X i=n
X
ai = bi + ci
i=m i=m i=m
y
X 1 X X
cn = ( an − |an |),
n∈Im
2 n∈I n∈I
m m
se sigue que {cn }n∈Im es sumable; análogamente si {an }n∈Im y {cn }n∈Im
son sumables, se sigue que {bn }n∈Im es sumable.
Por lo tanto, si {an }n∈Im es condicionalmente sumable y {bn }n∈Im o
{cn }n∈Im son sumables, {|an |}n∈Im es absolutamente sumable, lo cual
no es posible.
Por el Teorema 1.49, para investigar si una sucesión dada {an }n∈Im
es sumable, podemos considerar la sucesión {|an |}n∈Im y ver si ésta
es sumable, y para ver que ésta última es sumable podemos usar el
Corolario 5.23.
Recordemos, que si −1 < x < 0 entonces la sucesión {xn }n∈I0 es
sumable. Es claro que ésta es una sucesión de términos alternantes
convergente a cero.
Este caso puede ser generalizado en el siguiente resultado que nos
dirá cuándo una sucesión de términos alternantes es sumable. Antes
del teorema, precisemos qué vamos a entender por una sucesión de
este tipo.
Definición 5.25. Sea {an }n∈Im una sucesión de términos mayores
que cero. A una sucesión de la forma {(−1)n an }n∈Im o de la forma
{(−1)n+1 an }n∈Im se le llamará sucesión alternante.
259
Teorema 5.26. (Criterio de Leibniz) Sea {an }n∈I0 una sucesión
de términos positivos monótona decreciente y convergente a cero. En-
tonces la sucesión {(−1)n an }n∈I0 es sumable.
Demostración. Sea {Sn }n∈I0 la sucesión de sumas parciales de la
sucesión {(−1)n an }n∈I0 . Es claro que ai ≥ ai+1 , es decir, ai − ai+1 ≥ 0,
luego
0 ≤ S2n−1 = (a0 − a1 ) + (a2 − a3 ) + · · · + (a2n−2 − a2n−1 )
y por tanto
S2n+1 = S2n−1 + (a2n − a2n+1 ) ≥ S2n−1 .
Ahora, tenemos que
S2n−1 = a0 − (a1 − a2 ) − · · · − (a2n−3 − a2n−2 ) − a2n−1 ≤ a0 .
De donde se sigue que {S2n−1 }n∈I0 es creciente y acotada superior-
mente, ası́ que tiene lı́mite, digamos S.
Por otro lado, como
S2n = S2n−1 + a2n
se sigue que {S2n }n∈I0 tiene lı́mite S, ya que {an }n∈I0 converge a 0.
Como una aplicación de la Proposición 1.21, obtenemos que {Sn }n∈I0
converge a S, es decir, la sucesión {(−1)n an }n∈I0 es sumable.
=(1 − 21 ) − 41 + ( 13 − 16 ) − 18 + ( 15 − 1
10
) − 1
12
+ ...(*)
= 21 − 14 + 16 − 18 + 1
10
− 1
12
+ 1
14
− 1
16
+ ...
= 12 (1 − 21 + 13 − 41 + 15 − 16 + 71 − 18 + ...)
261
= x2 .
263
respectivamente. Procediendo de manera análoga, existen N2 ∈ IN1 +1
y M2 ∈ IM1 +1 tales que son mı́nimos respecto a
2
(a) SN 2
> r − t1 > 0 y (b) L2M2 < r − t1 − SN
2
2
2
(es decir, t1 + SN 2
+
2 2 2
LM2 < r); y si además t2 = SN2 + LM2 (es decir, t1 + t2 < r), entonces
r − t2 − t1 ≤ −cM2 .
Ahora si
B2 = {i : ai ≥ 0, i ∈ {N1 + 1, · · · , N2 }} ∪ {i : ai < 0, i ∈ {M1 +
1, · · · , M2 }}.
2
+ L2M2 = t2 .
P
Notemos que i∈B2 ai = SN 2
X i=n
X i=n
X
S= an , S n = a n y Tn = bn .
n∈Im i=m i=m
{m, · · · , N1 } ⊂ Bm ∪ · · · ∪ BN0 .
265
Aún más, repitiendo los mismos argumentos, si s ∈ IN0 , para todo
n ∈ {m, · · · , N1 }, an es un sumando de algún sumando de Ts , ası́ que
X
|Ts − SN1 | ≤ |an | < .
n∈I
2
N1 +1
266
Ejercicios 24
(1) Demuestre que si |r| < 1, entonces la serie n∈I1 rn sen nt es
P
absolutamente convergente para todos los valores de t ∈ R.
P
(2) Demuestre que si n∈I1 an es absolutamente convergente y
an 6= 0 para todo n ∈ I1 , entonces n∈I1 |a1n | es divergente.
P
n
n+1 3 n 3n
P P
(i) n∈I1 (−1) 1+32n
(j) n∈I1 (−1) n2
n+1 n2 2n 10n
P P P
(k) n∈I1 (−1) n3 +2
(l) n∈I1 n (m) n∈I1 2n2
1 −n
P n
n P
(n) n∈I0 n+10
(ñ) n∈I1 1+ n
1√ √ 1
P P
(o) n∈I2 n2 + n (p) n∈I2 n2 −3
2 log(n)
ne−n
P P
(q) n∈I1 (r) n∈I1 n2
2n +n2
P
(s) n∈I1 3n +n .
n
(4) Probar que si c ∈ R, entonces n∈I1 cnnn! converge absoluta-
P
mente si |c| < ε y diverge si |c| > ε (ver Ejemplo 5.20)
n2 2
(5) Probar que n∈I1 2n! diverge (sugerencia: 2n = (2n )n y n! ≤
P
nn ).
(6) Determinar si las siguientes series son absolutamente conver-
gentes, P
condicionalmente convergentes o divergentes:
n+1 2n 1
(b) n∈I1 (−1)n+1 n(n+2)
P
(a) n∈I1 (−1) n!
n+1 n n n!
P P
(c) n∈I2 (−1) log n
(d) n∈I1 (−1) 2n+1
267
cos n n−1 1
P P
(e) n∈I1 n2
(f) n∈I1 (−1) 2
n3
2n +n
P
(g) n∈I1 2n +n3 .
lim{n[ an+1
P
an
− 1]}n∈I1 < −1, entonces n∈I1 an es convergente.
(c) Proponer {an }n∈I1 , tal que an > 0 para todo n ∈ I1 , con
lim{n[ an+1
P
an
− 1]} n∈I1 = −1 y n∈I1 an divergente.
3. Teorema de Taylor
Difı́cilmente se alcanza a ver el Teorema de Taylor en un primer
curso de cálculo. Muchos de los teoremas importantes, como el Teo-
rema del Valor Medio, tienen interpretaciones geométricas que aligeran
las dificultades técnicas. Aún si el estudiante no ha leido una prueba
rigurosa es posible mostrar “lo que está sucediendo”. En lo que sigue
discutiremos un problema que nos lleve a encontrarnos con el Teorema
de Taylor.
A estas alturas podemos distinguir dos clases de funciones: las
polinomiales, cuyos valores son muy fáciles de calcular pues solo se
necesita sumar y multiplicar números reales y aquellas como son las
trigonométricas, las exponenciales, las logarı́tmicas, etc., cuyas imágenes
no se pueden calcular fácilmente. No obstante este problema, algu-
nas de estas últimas funciones las podemos aproximar por polinomios.
Veamos un ejemplo: como sabemos, limx→0 senx x
= 1 que, si recor-
damos de nuestro curso de cálculo diferencial (ver [3]), significa que
senx es próximo a x para x próximo a cero, es decir, la funcion sen es
“parecida” a la función identidad en un intervalo “pequeño” centrado
en 0. Ahora, ¿existirá un polinomio cuadrático que aproxime mejor
a la funcion sen en un intervalo abierto I centrado en el cero?, en
otras palabras, ¿existirá h(x) = a + bx + cx2 tal que para cada x ∈ I,
h(x) sea próximo a senx? Si queremos que la gráfica de h(x) sea muy
parecida a la gráfica de la función sen en puntos próximos a (0, 0),
268
pediremos que ambas gráficas tengan la misma intersección con el eje
y, la misma recta tangente y la misma concavidad alrededor de (0, 0),
es decir,
h(0) = sen(0); h0 (0) = sen0 (0) = cos(0) y h00 (0) = sen00 (0) = −sen(0)
lo cual implica que a = 0; b = 1 y c = 0. ¡Vaya!, nos resultó la misma
función identidad, es sorprendente ¿o no?, veamos si ocurre lo mismo
con un polinomio de tercer grado: si ahora h1 (x) = a + bx + cx2 + dx3
además de lo que solicitamos anteriormente a h, le pediremos a h1 que
tenga la misma razón de cambio de la concavidad que la función sen.
En otras palabras, como
h01 (x) = b + 2cx + 3dx2 ; h001 (x) = 2c + 6dx y h000
1 (x) = 6d
se deberá cumplir que h1 (0) = sen(0), h01 (0) = sen0 (0), h001 (0) =
sen00 (0) y h000 000
1 (0) = sen (0) lo que nos implica que a = 0, b = 1, c = 0
1
y d = − 6 , es decir, nuestra función sen será muy parecida a la función
polinomial h1 (x) = x − 61 x3 en puntos próximos al 0. Como el lector
puede verificar, si ahora le pedimos a h2 (x) = a + bx + cx2 + dx3 + ex4
que satisfaga h2 (0) = sen(0), h02 (0) = sen0 (0) = cos(0), h002 (0) =
(4)
sen00 (0) = −sen(0), h000
2 (0) = −cos(0) y h2 (0) = sen(0), entonces se
obtiene que h2 (x) = h1 (x).
Muy bien, ahora tratemos de generalizar esto que hemos hecho
con la función sen. También sabemos de nuestro curso de cálculo
diferencial que si una función f es derivable en un punto x0 , entonces
la gráfica de ésta es parecida a su recta tangente en (x0 , f (x0 )) en
puntos cercanos a x0 , es decir, f es aproximada por el polinomio p(x) =
f (x0 ) + f 0 (x0 )(x − x0 ), en otras palabras, p es el único polinomio de
grado 1 que cumple lo siguiente:
p(x0 ) = f (x0 ) y p0 (x0 ) = f 0 (x0 ).
Estamos tentados a suponer que si f es dos veces derivable en un
cierto punto x0 y consideramos un polinomio p de grado 2 tal que
p(x0 ) = f (x0 ), p0 (x0 ) = f 0 (x0 ) y p00 (x0 ) = f 00 (x0 ) (lo que se está
pidiendo es que p y f tengan las mismas intersecciones con el eje y, la
misma recta tangente en (x0 , f (x0 )) y la misma concavidad alrededor
de (x0 , f (x0 ))), entonces este polinomio p nos dará una mejor aproxi-
mación de f que la recta tangente. En general esto no es cierto y el
siguiente teorema del alumno de Newton, Brook Taylor, publicado en
269
1715 nos da las condiciones que debe cumplir la función f para que se
pueda aproximar por funciones polinomiales.
Teorema 5.32 (Taylor). Si f es una función n + 1 veces derivable
en un intervalo abierto (a, b) y x0 ∈ (a, b), entonces para cada x ∈
(a, b) existe z entre x0 y x tal que
n
X f (k) (x0 ) f (n+1) (z)
(43) f (x) = f (x0 ) + (x − x0 )k + (x − x0 )n+1 .
k=1
k! (n + 1)!
n+1 (k)
X f (x0 )
(f 0 (z) − (z − x0 )k−1 )(x − x0 )n+2 .
k=1
(k − 1)!
Ahora observemos que
n+1 (k)
0
X f (x0 )
(45) f (z) − (z − x0 )k−1 = f 0 (z) − f 0 (x0 )−
k=1
(k − 1)!
f 0 (x) = x1 f 0 (1) = 1
f 00 (x) = − x12 f 00 (1) = −1
f 000 (x) = x23 f 000 (1) = 2
f (4) (x) = − x64 f (4) (z) = − z64
4. Series de potencias
Lo que hemos aprendido de nuestro estudio de series es que en
algunos casos podemos sumar una cantidad infinita de números reales.
Ahora nos pregunatmos si este tipo de sumas nos permitirá representar
algunas funciones de manera nueva.
Una vez más, dada su simplicidad nos fijamos en las funciones
polinomiales. Queremos investigar si podemos generalizar a estas fun-
ciones de la siguiente manera : Si
(48) f (x) = a0 + a1 x + a2 x2 + · · · + an xn + · · · ,
273
¿Para cuáles x, f (x) es un número real? Como ya lo hemos co-
mentado, el Ejemplo 1.51 (3) nos muestra que si |x| < 1, entonces
4
X 1
xn = x0 + x 1 + x2 + · · · =
n∈I0
1−x
1
es decir, tenemos una función conocida, f (x) = 1−x , que en una parte
de su dominio, en el intervalo (−1, 1), se puede representar con este
tipo de sumas:
f : (−1, 1) → R tal que para cada x ∈ (−1, 1)
X
f (x) = xn = 1 + x + x2 + · · · + xn + · · · .
x∈I0
Veamos otro ejemplo. Si
1 1 1
(49) f (x) = 1 + x + x2 + · · · + xn + · · ·
1! 2! n!
¿para qué x, f (x) es un número real?, en otras palabras, ¿para qué x
la expresión del lado derecho de la igualdad (49) es sumable o conver-
gente? Si usamos el criterio de al razón (Teorema 5.19) para an = n!1 xn
obtenemos lo siguiente:
an+1 x
}n∈I0 = lim{ 1 |x|}n∈I0 = 0.
lim{ }n∈I0 = lim{
an n + 1 n+1
¡Ah!, entonces en este caso el dominio de f es R. Más adelante
veremos que es otra cara de nuestras funciones favoritas.
Bueno, parecen prometedores estos “polinomios generalizados”.
Bautı́cemoslos y veamos qué tantas propiedades podemos encontrar
de ellos por el momento.
Definición 5.34. Sea {an }n∈I0 una sucesión de números reales.
Una serie de potencias en x, centrada en cero, es una serie de la
forma:
X
xn = a0 + a1 x + a2 x2 + · · · + an xn + · · · .
n∈I0
o
X 1 13 1
( x)n = 0 + 0 · x + 0 · x2 + x3 + ( )4 x4 + · · ·
n∈I
3 3 3
3
sı́ lo son.
n
P
También podemos notar queP si x = 0, entonces n∈I0 an x =
n
a0 , ası́ que la serie de potencias n∈I0 an x converge cuando x = 0.
Podemos f : D → R, definida por f (x) =
considerar a la función P
n n
P
n∈I0 an x , donde D = {x ∈ R : n∈I0 an x es convergente}. Como
hicimos notar D siempre es no vacı́o pues 0 ∈ D, ası́ que en lo que
resta de esta sección, nos dedicaremos a desarrollar técnicas que nos
permitan determinar D.
Ejemplo 5.35. (1) Como ya lo escribimos al inicio de esta sección,
por
P el Ejemplo 1.51(3), el dominio D de la serie de potencias f (x) =
n
n∈I0 x contiene al intervalo abierto (−1, 1). Si |x| > 1, entonces
{xn }n∈I0 no converge a cero, y por el TeoremaP 1.50, n D P ⊂ [−1, 1].
Para x = −1 y x = 1, tenemos las series n∈I0 (−1) y n∈I0 (1)n
respectivamente, que sabemos que divergen, ası́ que el dominio de f es
exactamente (−1, 1).
(2) Encontrar el dominio de la serie de potencias f (x) = n∈I0 n!xn .
P
Si x 6= 0 y definimos an = n!xn , entonces podemos usar el criterio de
la razón (Teorema 5.19) para obtener que como
(n + 1)!xn+1
an+1
lim = lim =
an n∈I0 n!xn
n∈I0
vergente, por el Corolario 5.6, se tiene que la serie f (x) converge ab-
solutamente para cada x ∈ R que satisface la inecuación |x| < |x0 |.
El valor del Teorema 5.36 reside en el hecho de que el mero cono-
cimiento de un sólo punto x0 6= 0, en donde una serie de potencias
converge, nos proporciona la convergencia absoluta de tal serie en
todo el intervalo abierto (−|x0 |, |x0 |). Por cierto, el Teorema 5.36 no
requiere que la convergencia de la serie en x0 sea absoluta. La “limi-
tación” del resultado anterior es que no nos da información sobre el
comportamiento de la serie fuera de este intervalo. Afortunadamente
276
también tenemos el siguiente resultado relacionado con la divergencia
de nuestra serie de potencias.
Teorema 5.37. Si n∈I0 an xn diverge para algún x0 ∈ R \ {0},
P
entonces también diverge para cada x ∈ R que satisface la inecuación
|x| > |x0 |.
DemostraciP ón. Supongamos que existe x1 ∈ R con |x1 | > |x0 | y
n
f (x1 ) = n∈I0 an x1 converge, entonces por el Teorema 5.36, f (x0 )
debe ser convergente, lo cual es una contradicción. Esto prueba el
teorema.
Por lo tanto, la divergencia de f (x) = n∈I0 an xn en algún punto
P
x0 ∈ R \ {0} nos garantiza la divergencia de f (x) en cualquier punto
x fuera del intervalo (−|x0 |, |x0 |), pero no nos da información sobre el
comportamiento de f en este intervalo, incluidos sus puntos extremos:
f (x) puede ser convergente o divergente allı́.
Recordemos que nuestro interés fundamental es determinar D =
{x ∈ R : n∈I0 an xn converge}. Lo que hemos obtenido hasta aquı́
P
es que 0 ∈ D, que si a ∈ D, entonces (−|a|, |a|) ⊂ D y que si D es
no acotado, entonces D = R (¿puede explicar el lector por qué?, ver
Ejercicios 25 (1)). Toda nuestra discusión anterior se puede resumir
en el siguiente teorema.
Teorema 5.38. Si f (x) = n∈I0 an xn , entonces se cumple exac-
P
tamente una de las tres proposiciones siguientes:
(a) f (x) converge absolutamente para todo x ∈ R.
(b) Existe r ∈ R+ con la propiedad de que f (x) es absolutamente
convergente para x ∈ (−r, r) y divergente si |x| > r.
(c) f (x) converge únicamente para x = 0.
Demostración.
Si (a) y (c) son falsos, entonces existen z0 , y0 ∈ R \ {0} tales que
f (z0 ) converge y f (y0 ) diverge (explique por qué). Si
A = {x ∈ R : f (x) es absolutamente convergente },
entonces por el Teorema 5.37, f (x) diverge si |x| > |y0 | y por lo tanto
|y0 | es cota superior de A y como (−|z0 |, |z0 |) ⊂ A, A 6= ∅, y por tanto
se tiene que existe r ∈ R+ tal que r = sup A. Por lo tanto f (x) es
absolutamente convergente si |x| < r y divergente si |x| > r.
277
Definición 5.39. Al número r definidoP en el Teorema 5.38 se le
llama el radio de convergencia de f (x) = n∈I0 an xn y al conjunto
D = {x ∈ R : f (x) converge}, intervalo de convergencia de f .
El Teorema 5.38 nos dice que si r es el radio de convergencia de
f y D el intervalo de convergencia de f , entonces (−r, r) ⊂ D y
(−∞, −r) ∪ (r, ∞) ⊂ R \ D, pero no se concluye nada acerca de f (−r)
y f (r). De hecho, el Ejemplo 5.35 (a), r = 1 y nos muestra que f (−r)
y f (r) divergen. Los ejemplos que siguen muestran que puede ocurrir
que [−r, r) = D o bien que [−r, r] = D.
279
Por Pel Teorema 5.41 el radio de convergencia dePf es 3. Además
f (3) = n∈I0 31n 3n = 1 + 1 + 1 + 1 · · · ; f (−3) = n∈I0 31n (−3)n =
1 + (−1) + 1 + (−1) + · · · . En ambos casos las series divergen, ası́ que
el intervalo de convergencia de f es (−3, 3).
280
entonces f es una función cuyo dominio es el intervalo de convergencia
de n∈I0 an xn . Las propiedades de una función definida de esta ma-
P
nera son parecidas a las de una función polinomial. En particular, el
siguiente teorema (ver Teorema 5.45) que enunciamos sin prueba, pues
ella necesita de conceptos y resultados no desarrollados en el texto, nos
dice que f 0 (x) y f (x)dx son también series de potencias. Además,
R
estas series de potencias tienen el mismo radio de convergencia que la
serie original f (x). Algunas operaciones en la expresión de f preservan
el radio de convergencia; en este sentido veamos el siguiente lema.
Lema 5.44. Si f (x) = n∈I0 an xn , entonces g(x) = n∈I1 nan xn−1
P P
an n+1
P
y h(x) = n∈I0 n+1 x tienen el mismo radio de convergencia de f
Demostración. Sabemos que
n 1
o n 1o n 1
o n 1
o
lim |nan | n = lim n n lim |an | n = lim |an | n .
n∈I1 n∈I1 n∈I1 n∈I0
281
Teorema 5.45. Sea f (x) = n∈I0 an xn una serie de potencias con
P
radio de convergencia r > 0. Entonces f es continua y diferenciable
en (−r, r) y para cada x ∈ (−r, r) se satisface que
Z x X
0
X
n−1 an n+1
f (x) = nan x y = x
n∈I 0 n∈I
n + 1
1 0
entonces
1 1 X
= = (−1)n xn .
1+x 1 − (−x) n∈I
0
(n!)2
En este caso an = (2n)! y
(n + 1)2
an+1 1
lim = lim = .
an
n∈I0 (2n + 1)(2n + 2) n∈I0 4
Ası́ que, por el Teorema 5.50, el radio de convergencia de f (x) es 4,
es decir f (x) converge en (−9, −1) y diverge en (−∞, −9) ∪ (−1, ∞).
Además notemos que
n n
(n!)2 1122 n n 11 1
an = = ··· · > =
(2n)! 1234 2n − 1 2n 22 4
Ası́ que para x ∈ R con |x + 5| = 4, obtenemos que
(n!)2
n
lim (x + 5) 6= 0 cuando |x + 5| = 4,
(2n)! n∈I0
286
n o
ası́ que lim an+1 = 41 . Por el Teorema 5.50, el radio de conver-
an
gencia de f es 4, f (x) converge absolutamente en (1, 9) y diverge para
n
x ∈ R con |x − 5| > 4, Además f (9) = n∈I1 (−1)
P
n
la cual converge y,
1
P
f (1) = n∈I1 n que diverge.
Por lo tanto, el intervalo de convergencia de f es (1, 9].
Los resultados análogos a los Teoremas 5.45 y 5.46 son los sigui-
entes:
Teorema 5.52. Si f (x) = n∈I0 an (x−x0 )n tiene radio de conver-
P
gencia r > 0 e intervalo de convergencia (x0 − r, x0 + r), entonces f es
continua y diferenciable en (x0 −r, x0 +r) y para todo x ∈ (x0 −r, x0 +r)
X Z x X an
0 n−1
f (x) = nan (x − x0 ) y f (t)dt = (x − x0 )n+1 .
n∈I x0 n∈I
n+1
1 0
X f (n) (x0 )
domf = {x ∈ R : (x − x0 )n converge}.
n∈I
n!
0
f (x) = e− x2 si x 6= 0
0 si x = 0,
entonces para todo n ∈ N, f (n) = 0 (tarea), ası́ que la serie de Taylor
para f centrada en x0 = 0 será
X 0
(51) xn = 0 + 0.x + 0.x2 + · · · + = 0, para cada x ∈ R.
n∈I
n!
0
Ası́ que, en caso de que la funcion seno se puede definir como una
serie de potencias, ésta tendrá que ser como (53).
(n+1)
Ahora notemos que para cada n ∈ N: f
(n+1)
(x) = |cos(x)| o bién
f (x) = |sen(x)|. Por lo tanto, para cada z ∈ R |f (n+1) (z)| ≤ 1
y en consecuencia, para cada n ∈ N y x ∈ R, obtenemos
(n+1) n+1
f (z) x
0 ≤ |Rn (f )(x)| = xn+1 ≤
(n + 1)! (n + 1)!
n n+1 o
x
y dado que lim (n+1)! = 0 para cada x ∈ R, concluimos que
n∈I0
lim{Rn (f )(x)}n∈I0 = 0 para cada x ∈ R y ası́, por el Teorema 5.56,
(53) es válida para todo x ∈ R.
(3) Si ahora usamos el Teorema 5.52 y el Ejemplo 5.57(2), obte-
nemos que para todo x ∈ R
x2 x4 x6 x2n
cos(x) = sen0 (x) = 1 − + − + · · · + (−1)n + ··· =
2! 4! 6! (2n)!
X x2n
= (−1)n .
n∈I
(2n)!
0
Claro que para la función coseno se pueden seguir los mismos pasos
que seguimos para probar que la función seno se puede definir como
una serie de potencias (ver Ejercicios 25(5)).
290
Ejercicios 25
n
P
(1) Sea D = {x ∈ R : n∈I0 an x converge}. Si a ∈ D, de-
mostrar que (−|a|, |a|) ⊂ D y que si D es no acotado, entonces
D = R.
(2) Demostrar que si f (x) = n∈I0 an xn tal que para cada n ∈ I0 ,
P
an 6= 0 y si
an+1
a = lim (a ∈ R o a = ∞),
an
entonces el radio de convergencia de f (x) es r = 0 si a = ∞
y r = ∞ si a = 0.
1
(3) Demostrar que si f (x) = n∈I0 an xn y b = lim{|an | n }n∈I0 ,
P
x0 = 0.
(7) Calcular los polinomios de Taylor de grado 1, 2 y 3 para la
función f (x) = e2x en el punto x0 = 0.
(8) Para cada una de las siguientes funciones f , calcular P3 (f )(x)
y R3 (f )(x) en el punto dado x0 .
x 1
(a) f (x) = 1+x2
con x0 = 1 (e) f (x) = (1−x)2
con x0 = 0
√
(b) f (x) = xex con x0 = 0 (f) f (x) = 1 + x con x0 = 2
1 n (−5)n
+ 10)n
P P
(b) f (x) = n∈I1 n3n x (i)f (x) = n∈I0 n!
(x
1 n n n
P P
(c) f (x) = n∈I1 n2 3n x (j) f (x) = n∈I0 5n x
1 4n n
− 5)n
P P
(d)f (x) = n∈I1 9n (x (k) f (x) = n∈I0 n x
1 3n
− 5)n n
P P
(e) f (x) = n∈I1 n9n (x (l) f (x) = n∈I0 n3 +1 x
1 n2 n
− 5)n
P P
(f)f (x) = n∈I1 n2 9n (x (m) f (x) = n∈I0 2n x
1√ n
P
(g) n∈I1 4n n x
n
P
(14) Si f (x) = n∈I0 an (x − 2) , entonces ¿es posible que 0 ∈
Domf y 3 ∈ / Domf ?
+ (−1))n )n xn
P
(c) n∈I0 ((3
292
encontrar el intervalo de convergencia de la serie en t y usar
ésto último para encontrar el intervalo de convergencia de la
serie original.
(−1)n 4n
+ 1)2n (b) n∈I1 + 3)2n
P P
(a) n∈I0 9n
(x n2
(x
n
(3x)2n (d) n∈I0 4n (2x − 1)2n
P P
(c) n∈I1 2n
n
√ 1
2)2n+1 (d) + e)2n+1
P P
(c) n∈I0 2 (x + n∈I0 3n (x
(2n+1)! n 4n
x2n−1
P P
(c) n∈I0 2n (n!)2
x (d) n∈I0 (2n+1)!
1
xn (f) n∈I0 (−1)n 4nn x2n
P P
(e) n∈I0 n4 +2
n n 1
x2n+1
P P
(g) n∈I12 e (x − 2) (h) n∈I1 5 3n+1
(−5)n 1+2n n
+ 10)n (j)
P P
(i) n∈I0 n! (x n∈I0 1+3n x
n+1 n
n
n(n + 1)(n + 2)(2x + 3)n (l)
P P
(k) n∈I0 n∈I1 n
x
293
1 1 1
(a) g(x) = 1−3x
(b) g(x) = 1+3x
(c) g(x) = 3−x
1 1 1
(d) g(x) = 4+3x
(e) g(x) = 1+x2
(f) g(x) = (1−x)3
(d) f (x) = x2 ex .
294
Bibliografı́a
[1] Allen III, M. B.; Issacson E. L., Numerical Analysis for Applied, Science, John
Wiley and Sons, Inc. 1998.
[2] Angoa, J. J.; Contreras, A.; Ibarra, M.; Linares, R.; Martı́nez, A., Matemáticas
elementales, Ed. Fomento editorial BUAP, segunda edición, 2008.
[3] Angoa, J. J.; Arroyo, J.; Contreras, A.; Herrera, D.; Ibarra, M.; Linares, R.;
Macı́as, F.; Martı́nez, A.; Soriano, C.; Velázquez, F., Cálculo diferencial en
una variable, Ed. Fomento editorial BUAP, primera edición, 2005.
[4] Angoa, J. J.; Arroyo, J.; Contreras, A.; Herrera, D.; Linares, R.; Sánchez, H.;
Soriano, C.; Velázquez, F., Álgebra I, Ed. Fomento editorial BUAP, primera
edición, 2005.
[5] Angoa, J. J.; Contreras, A.; Ibarra, M.; López, M. de J., Introducción a las
Estructuras Algebraicas, Ed. Fomento editorial BUAP, primera edición, 2007.
[6] Fobes, M. P.; Smyth, R.B., Calculus and Analytic Geometry, vol. One,
Prentice-Hall, 3th edition, 1965.
[7] Haaser, N. B.; Sullivan J. A., Análisis Matemático , vol. 1, Ed. Trillas, México,
1995.
[8] Iriarte V.; Balderrama R., Métodos numéricos , México, Ed. Trillas, UNAM.
[9] Cheney W.; Kincaid D., Análisis numérico, Addison-Wesley Iberoamericana.
[10] Purcell E. J.; Varberg D.; Rigdon S. E., Cálculo , Ed. Pearson, Prentice-Hall,
novena edición.
[11] Rivlin T. J. , An introduction to the approximation of functions, Dover pub-
lications, Inc. New York, 1969.
[12] Spivak, M., Calculus, Ed. Reverté, Barcelona, cuarta edición, 2012.
[13] Stewart J., Cálculo; conceptos y contextos , International Thompson editores,
séptima edición, 2013.
[14] Zubieta, G., Cálculo avanzado, Ed. Fondo Educativo Interamericano, México,
primera edición, 1986.
295
Indice Analı́tico