P ROGRAMA DE C LCULO II

N ITHAL EL M EJMISSANI S UKKAR

19 de junio de 2008

ndice
1. Integracin Indefinida
1.1. Antiderivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1. Propiedades de la Antiderivada . . . . . . . . . . . . . . . . . . . . . .
1.2. Integral Indefinida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1. Propiedades de la Integral Indefinida . . . . . . . . . . . . . . . . . . .
1.2.2. Tabla de Integrales Inmediatas . . . . . . . . . . . . . . . . . . . . . .
1.2.3. Tarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Mtodos de Integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1. Mtodo de Sustitucin o Cambio de Variable en la Integral Indefinida .
1.3.2. Mtodo de sustitucin Trigonomtrica . . . . . . . . . . . . . . . . . .
1.3.3. Integracin por Partes . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.4. Integrales Elementales que Contienen
un Trinomio Cuadrado . . . . . .
R mx+n
1.3.4.1. Integrales del Tipo ax2 +bx+c dx . . . . . . . . . . . . . . .
R
1.3.4.2. Integrales del tipo axmx+n
dx . . . . . . . . . . . . . . . .
2
R +bx+cdx

1.3.4.3. Integrales del Tipo

. . . . . . . . . . . . .
(mx+n) ax2 +bx+c

R
1.3.4.4. Integrales del Tipo
ax2 + bx + c dx . . . . . . . . . . . . .
1.3.5. Integrales de Funciones Racionales
Descomposicin en Fracciones Parciales . . . . . . . . . . . . . . . . .
1.3.6. Integrales de Algunas Funciones Irracionales Reducibles a Racionales .
1.3.7. Integracin de Funciones Trigonomtricas
. . . . . . . . . . . . . . . .
R
1.3.7.1. Integrales del tipo R R (sin x, cos x) dx . . . . . . . . . . . . .
m
1.3.7.2. Integrales del tipo sin
x cosn x dx . . . .R . . . . . . . . . .
R
1.3.7.3. RIntegrales del tipo sin x cos x dx, sin x sin x dx
cos x cos x dx. . . . . . . . . . . . . . . . . . . . . . .
1.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Integracin Definida
2.1. Sumatoria . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1. Propiedades de la Sumatoria . . . . . . . . . . .
2.2. Concepto de Integral Definida. rea Bajo una Curva . . .
2.3. Definicin Formal de Integral Definida segn Riemmann
2.4. Teoremas Fundamentales del Clculo Integral . . . . . .
1

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

3
3
4
4
5
6
8
9
9
10
11
12
12
13
14

. .

14

. .
. .
. .
. .
. .
y
. .
. .

14
18
19
19
22

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

23
23
26
26
26
27
28
30

2.5. Algunas Propiedades de la Integral Definida . . . . . . . . . . . . . . . . . . . .

2.6. Funcin del Lmite Superior (o Inferior) de la Integral . . . . . . . . . . . . . . .
2.7. Teorema Integral del Valor Medio . . . . . . . . . . . . . . . . . . . . . . . . .
2.8. Cambio de Variables en las Integrales Definidas . . . . . . . . . . . . . . . . . .
2.9. Integracin por partes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.10. Integrales Impropias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.10.1. Integral de una Funcin no Acotada . . . . . . . . . . . . . . . . . . . .
2.10.2. Integral en un Intervalo Infinito . . . . . . . . . . . . . . . . . . . . . . .
2.10.3. Criterios de Existencia de la Integral Impropia . . . . . . . . . . . . . . .
2.11. Aplicaciones de las Integrales Definidas . . . . . . . . . . . . . . . . . . . . . .
2.11.1. Principales Aplicaciones a la Geometra . . . . . . . . . . . . . . . . . .
2.11.1.1. Clculo de un rea en Coordenadas Cartesianas . . . . . . . .
2.11.1.2. Calculo del rea en Coordenadas Polares . . . . . . . . . . . .
2.11.1.3. Calculo del rea en Coordenadas Paramtricas . . . . . . . . .
2.11.1.4. Clculo de la Longitud de Curva en Coordenadas Rectangulares
2.11.1.5. Clculo de la Longitud de Curva en Coordenadas Paramtricas .
2.11.1.6. Calculo del Volumen de un Cuerpo de Revolucin . . . . . . .
2.11.1.7. Calculo del rea de la superficie de un Cuerpo de Revolucin .
2.11.2. Aplicaciones a la Mecnica y a la Fsica . . . . . . . . . . . . . . . . . .
2.11.2.1. Momento Esttico . . . . . . . . . . . . . . . . . . . . . . . .
2.11.2.2. Momentos de Inercia . . . . . . . . . . . . . . . . . . . . . . .
2.11.2.3. Teoremas de Guldin . . . . . . . . . . . . . . . . . . . . . . .
2.12. Integracin Numrica de funciones . . . . . . . . . . . . . . . . . . . . . . . . .
2.12.1. Frmula de los Trapecios . . . . . . . . . . . . . . . . . . . . . . . . . .
2.12.2. Frmula de Simpson (Frmula Parabolica) . . . . . . . . . . . . . . . . .
2.13. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

32
33
35
36
39
40
40
41
42
45
46
46
48
49
49
50
50
51
51
51
52
53
54
54
54
55

3. Series Numricas
3.1. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1.1. Lmite de una Sucesin . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.1. Series con Trminos Constantes . . . . . . . . . . . . . . . . . . . . . . .
3.2.1.1. Definicin de Serie. Series Convergentes. . . . . . . .
3.2.1.2. Lmite de una Sucesin Convergente como la Suma de una Serie .
3.2.1.3. Condicin Necesaria de Convergencia . . . . . . . . . . . . . . .
3.2.1.4. Series Acotadas . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.1.5. Series Absolutamente Convergentes . . . . . . . . . . . . . . . .
3.2.1.6. Independencia de la Suma de una Serie respecto al Orden de los
Trminos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.1.7. Series Condicionalmente Convergentes . . . . . . . . . . . . . .
3.2.1.8. Condicin Necesaria y Suficiente de Convergencia de una Serie .
3.2.2. Criterios de Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.2.1. Comparacin de Series . . . . . . . . . . . . . . . . . . . . . . .
3.2.2.2. Criterio de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.2.3. Criterio de DAlembert . . . . . . . . . . . . . . . . . . . . . .
3.2.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.4. Sucesiones y Series de Funciones . . . . . . . . . . . . . . . . . . . . . .

55
55
56
57
57
57
58
59
60
61

62
62
63
64
64
65
67
68
68

3.2.4.1.
3.2.4.2.
3.2.4.3.

Definicin de la Convergencia de una Sucesin Funcional . . . .

Convergencia Uniforme . . . . . . . . . . . . . . . . . . . . . .
Operaciones entre Sucesiones Funcionales Uniformemente Convergentes. Condicin Necesaria y Suficiente de Convergencia
Uniforme. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.4.4. Condicin Suficiente de Continuidad de una Funcin Lmite . . .
3.2.4.5. Convergencia Uniforme de las Series . . . . . . . . . . . . . . .
3.2.4.6. Convergencia Absoluta y Uniforme de Series Funcionales . . . .
3.2.4.7. Diferenciacin de Sucesiones y Series . . . . . . . . . . . . . . .
3.2.4.8. Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.4.9. Radio de Convergencia de una Serie de Potencias . . . . . . . . .
3.2.4.10. Continuidad de la Suma de una Serie de Potencias . . . . . . . .
3.2.4.11. Clculo del Radio de Convergencia . . . . . . . . . . . . . . . .
3.2.4.12. Diferenciacin de Series de Potencias . . . . . . . . . . . . . . .
3.2.4.13. Frmula de Taylor . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.4.14. Serie de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.
1.1.

68
69

70
71
72
73
73
75
76
76
76
77
78
79
83

Integracin Indefinida
Antiderivada

En esta seccin se analiza el problema de encontrar para una funcin f definida en un intervalo
[a, b] otra funcin F tal que F 0 (x) = f (x) para todo x [a, b].
Definicin 1.1. Dada una funcin f definida en un intervalo [a, b], se llama antiderivada de f sobre
el intervalo [a, b] a toda funcin diferenciable F definida en [a, b] que cumple
F 0 (x) = f (x),

x [a, b]

Cuando esto ocurra diremos tambin que F(x) es la antiderivada de f (x) para x [a, b].
Es claro que, si F es una antiderivada de f sobre el intervalo [a, b] tambin lo es F +C donde
C es una constante cualquiera. En efecto, [F +C]0 = F 0 = f . Es decir, la funcin F + C es una
antiderivada de la funcin f sobre el intervalo [a, b]. Por otro lado, es ms importante el recproco
Teorema 1.1. Sea F(x) antiderivada de f (x) para x [a, b], entonces todas las antiderivadas de
f (x) son de la forma F(x) + C. Es decir, todas las antiderivadas de f (x) se diferencian en una
constante.
Demostracin. Sean F1 (x) y F2 (x) dos funciones que tengan la misma derivada f (x). Sea
F(x) = F1 (x) F2 (x)
entonces, por hiptesis,
F 0 (x) =

d
[F1 (x) F2 (x)] = f (x) f (x) = 0
dx

(1)

Recordando la formula f (x + x) f (x) = x f 0 (x + x), (0 < < 1) del teorema del valor
medio tenemos
F(x + x) F(x) = xF 0 (x + x)
(0 < < 1)
F(x + x) = F(x)

puesto que segn (1) al derivada F(x) es cero para todo valor de x y
F(x + x) = F(x)
Este resultado indica que la funcin F(x) = F1 (x) F2 (x) no cambia de valor al dar a x el incremento x; es decir, F1 y F2 difieren slo en una constante.
La antiderivada de f (x) la denotamos por,
0
D1
x f (x) = F(x) +C F (x) = f (x)

Ejemplo 1.1 (Antiderivada de una Potencia). La antiderivada de xn es

n
D1
x x

xn+1
=
+ c,
n+1

claramente esto equivale a expresar



1.1.1.

0
xn+1
c = xn +C = xn
n+1

Propiedades de la Antiderivada

1
1. D1
x [C f (x)] = CDx f (x), C es una constante que toma valores en R.
1
1
2. D1
x [ f 1 (x) + + f n (x)] = Dx f 1 (x) + + Dx f n (x)
h
i
5 + 3x3/2 + 6
Ejemplo 1.2. D1
x
x

h
i
5
3/2
5
1 3/2
D1
x
+
3x
+
6
= D1
+ D1
x
x x + Dx 3x
x 6=
x6 3x5/2
+
6x +C
6
5/2
h
i x6 6x3/2
5
3/2

D1
x
+
3x

6
= +
6x +C
x
6
5

1.2.

Integral Indefinida

Definicin 1.2. El conjunto de todas las antiderivadas de la funcin f (x) sobre un cierto intervalo
[a, b] se llama integral indefinida de la funcin f (x) sobre este intervalo y se denota
Z

f (x)dx

(2)

El smbolo se llama smbolo de la integral, f (x) funcin subintegral o integrando.

Si F(x) es cualquier antiderivada de la funcin f (x) sobre el intervalo considerado, entonces
se escribe
Z
f (x)dx = F(x) +C
La constante arbitraria C se llama constante de integracin. As pues, un mismo smbolo
f (x)dx denotar tanto todo el conjunto de antiderivadas de la funcin f (x) como cualquier elemento de este conjunto, es decir, cualquier antiderivada de la funcin f (x).

Ntese que; bajo el signo de la integral se escribe para mayor comodidad no la propia funcin
f (x) sino su producto por la diferencial dx. Esto se hace ante todo para indicar respecto a que
variable se busca la antiderivada.
Ejemplo 1.3.
x3 z
x2 z2
x z dx =
+C;
x2 z dz =
+C;
3
2
aqu en ambos caso la funcin subintegral es igual a a2 z, pero sus integrales indefinidas en los casos
analizados resultan diferentes: el primer caso se analiza como una funcin de la variable x, y en el
segundo como una funcin de z.
Z

Si F es una antiderivada de la funcin f en el intervalo considerado, entonces por la definicin

(1.2) en la formula (2) bajo el signo de la integral aparece la diferencial de la funcin F
dF(x) = F 0 (x)dx = f (x)dx
En base a la definicin, esta diferencial se puede escribir bajo el signo de la integral en cualquiera de las formas indicadas, es decir, segn este acuerdo
Z

f (x) dx =
1.2.1.

F (x) dx =

dF(x).

Propiedades de la Integral Indefinida

Supongamos que todas las funciones analizadas estn definidas sobre un mismo intervalo finito
o infinito.
1. Sea la funcin F continua sobre el intervalo y diferenciable en sus puntos interiores, entonces,
Z

dF(x) = F(x) +C
o, lo que es lo mismo,
Z

F 0 (x)dx = F(x) +C.

2. Supongamos que la funcin f tiene antiderivada sobre el intervalo considerado; entonces

para cualquier punto interior de este intervalo tiene lugar la igualdad
Z

d
o

f (x) dx = f (x)dx
0

Z
f (x)dx

d
dx

f (x)dx = f (x) .

3. Si las funciones f1 , f2 , , fn tienen derivadas en el intervalo dado, entonces, la funcin f1 +

f2 + + fn tambin tiene antiderivada sobre dicho intervalo y adems
Z

( f1 + f2 + + fn ) dx =

f1 (x)dx +

f2 (x)dx + +

fn (x)dx

4. Si la funcin f tiene antiderivada sobre un intervalo dado y k es un nmero, entonces la

funcin k f tambin tiene sobre este intervalo, adems cuando k 6= 0 es vlida la igualdad
Z

k f (x)dx = k

f (x)dx

5. Linealidad de la Integral. Si las funciones f1 , f2 , fn tienen antiderivadas sobre un intervalo dado y 1 , 2 , n R, entonces la funcin 1 f1 + 2 f2 + + n fn tambin tiene
antiderivada sobre el intervalo considerado y adems
Z

1.2.2.

(1 f1 + 2 f2 + + n fn ) = 1

f1 dx + 2

f2 dx + + n

fn dx

Tabla de Integrales Inmediatas

Algunas de las expresiones que figuran a continuacin se deducen de forma inmediata de las
frmulas de derivacin
1.

dx = x +C

12.

dx
a2 x2

2.

13.

dx
a2 +x2

3.

R x
e dx = ex +C
R dx

14.

sec x dx = ln | sec x + tan x| +C

4.

15.

csc x dx = ln | csc x cot x| +C

5.

16.

dx
x x2 1

6.

R x
x
a dx = lna a +C
R

17.

sin (ax) dx = 1a cos (ax) +C

7.

8.

sec2 x dx = tan x +C

9.

sec x tan x dx = sec x +C

10.

csc2 x dx = cot x +C

11.

csc x cot x dx = csc x +C

= ln |x| +C

(xn ) dx =

xn+1
n+1

+C

cos x dx = sin x +C
sin x dx = cos x +C

= arcsin ax +C

= 1a arctan ax +C

= arcsec x +C

cos (ax) dx = 1a sin (ax) +C

R
19.
a2 x2 dx =

x
a2
x
2
2
2 a x + 2 arcsin a +C
R
20.
x2 + a2 dx = 


2
x
2 + a2 + a ln x + x2 + a2  +C
x
2
2
18.

En efecto,
1. d(x +C) = dx

4. d

xn+1
n+1

5. d

ax
ln a

+C = xn +C

2. d (ex +C) = ex dx
3. d(ln x +C) =

dx
x


+C = ax dx

x
1
a arctan a

+C =

dx
a2 +x2

6. d (sin x +C) = cos x dx

13. d

7. d(cos x +C) = sin x dx

14. d (ln | sec x + tan x| +C) = sec x dx

8. d(tan x +C) = sec2 x dx

15. d (ln | csc x cot x| +C) = csc x dx

9. d(sec x +C) = sec x tan x dx

16. d a1 cos (ax) +C = sin (ax)

10. d(cot x +C) = csc2 dx

17. d

11. d(csc x +C) = csc x cot x dx

12. d(arcsin ax +C) =

dx
a2 x2

1
a sin (ax) +C

= cos (ax)

18. d (arcsec x +C) =

dx
x x2 1

A continuacin, valindose de las propiedades logaritmicas, aritmticas, trigonomtricas, exponenciales junto a las propiedades de la integral indefinida (seccin 1.2.1). Se debe simplificar la
forma de la ecuacin que se pretende resolver llevndola a alguna de las formas que aparecen en la
tabla de integrales inmediatas.
Ejemplo 1.4. Si quiere hallar la integral de
Z

3x5 dx

(3)

Este es un caso simple, el escalar 3 sale de la integral y nos queda una expresin que se parece a la
frmula nmero 4 de la tabla.
Z

3x dx = 3

x5 dx = 3

x6
+C
6

Ejemplo 1.5. Hallar la integral de

Z

2x3 (x 1) dx.

Manipulando aritmticamente el integrando. Luego, recordando la propiedad de linealidad de

la integral,

2x3 (x 1) dx =

Z
Z


2x5 2x4
2x4 2x3 dx = 2 x4 dx 2 x3 dx =

+C = f
5
4
2x5 x4
=
+C
5
2

Ejemplo 1.6. Hallar la integral indefinida de

(x 1) x2 + 4
dx.
x2
Nuevamente, se simplifica la funcin subintegral aritmticamente hasta poder aplicar la propiedad de la linealidad de la integral indefinida, hasta que solo queden integrales con la formas que
aparecen en la tabla de integrales indefinidas.
Z



Z 3
(x 1) x2 + 4
x + 4x x2 4
dx
=
dx =
x2
x2
Z 3
Z
Z
x
x
=
dx
+
4
dx

x2
x2
Z
Z
Z
Z
dx
dx 4 x2 dx =
x dx + 4
x

x2
dx
dx 4
2
x
x2
x2
4x1
+ 4 ln |x| x
+C
2
1
x2
4
= + 4 ln |x| x + +C
2
x
Z

Ejemplo 1.7. Hallar la integral indefinida de

Z

bx dx.
En este ejemplo usamos una ley elemental de los logaritmos, veamos
Z

bx dx =

x 32
Z 1
2 b x3
2 bx2 x
b x dx = b x 2 dx = b 3 +C =
+C =
+C
3
3
2

2x bx
+C
3

1.2.3.

Tarea

Verificar las siguientes propiedades

1.

sin ax dx = cosaax +C

2.

dx
sin2 3x

3.

R 4x5 +2x3 +x1

dx = x4 + x2 + ln x + 1 +C

3 sin x ex + 5 ln x +C

= cot33x +C

(x+4)
dx =
x2 +2x+5
 2



1

 + 3 arctan x+1
ln
x
+
2x
+
5
2
2

6.

7.

R 23x
x

+
3
9 x2 +C
dx
=
2
arcsin
2
3

3 cos x ex + 5x dx =

8.

Clcular las siguientes integrales

R
1. x 1 + x2 dx

6.

7.

R (x+a)2

8.

9.

R x x
3 4 dx

x2

4.

5.

x ( x 5) dx = x2

2 x
5

5
2

+C

(2 + 3x)2 dx
R  3 1 2
3.
x x3 dx
2.

R 2
4. 1+ 1x2 dx

5.

R
5

1x

ax3 dx
8

9x

sin 2x + cos 2x

2

2
( x + a) dx

dx

2


1
x 2 4x33

dx

dx = x cos x +C

1.3.

Mtodos de Integracin

1.3.1.

Mtodo de Sustitucin o Cambio de Variable en la Integral Indefinida

Si f (x) es continua, escribiendo

x = (t)
donde t es una nueva variable y (t) es una funcin continua con derivada 0 (t), se tiene,
Z

f [(t)] 0 (t) dt

f (x) dx =

(4)

La funcin (t) se procura elegir de tal manera, que el segundo miembro de la frmula (4) tome la
forma ms adecuada para la integracin.
Es mas frecuente, emplear la sustitucin
u = (x)
Suponiendo, que se transforma la expresin subintegral f (x) dx en la forma siguiente
f (x) dx = g(u) du, donde u = (x)
R

y la g(u) du es ms sencilla de resolver, se tiene

Z

g(u) du = F(u) +C,

entonces, luego se restituye la variable original u = (x), la solucin es
Z

f (x) dx = F [(x)] +C
Ejemplo 1.8. Hallar

x x 1 dx

Supongamos que escribe t =

consiguiente
Z

x x 1 dx =

x 1, de donde x = t 2 + 1, cuya diferencial es dx = 2t dt. Por

t + 1 t 2t dt = 2

2
2
t 4 + t 2 dt = t 5 + t 3 +C =
5
3
2
2
(x 1)5/2 + (x 1)3/2 +C
5
3

Ejemplo 1.9. Hallar

Z

dx

5x 2

Haciendo u = 5x 2; du = 5 dx; dx = 15 du permite escribir

Z

dx
1

=
5x 2 5

1
2
du
1 u2
= 1 +C =
5x 2 +C
u 5 2
5

Ejemplo 1.10.
Z

Haciendo u = x2 ; du = 2x dx; x dx =
Z

x dx

=
1 + x4 2

x dx

1 + x4

du
2


p
du
1 

= ln u + 1 + u2 +C
1 + u2 2

1  2 p
4
= ln x + 1 + u +C
2

Ejemplo 1.11. Hallar

Z

Haciendo u = x3 ; du = 3x2 dx; x2 dx =

Z

1.3.2.

du
3

1
x e dx =
3
2 x3

x2 ex dx

1
1 3
eu du = eu +C = ex +C
3
3

Mtodo de sustitucin Trigonomtrica

Las integrales de la forma (a > 0) ,


R 
1. R x, a2 x2 dx,
2.



R x, a2 + x2 dx,

3.



R x, x2 a2 dx

se convierten en expresiones racionales de sint y cost mediante las siguientes sustituciones

1. x = a sint, de donde dx = a cost dt, a2 x2 = a cost;

2. x = a tant, de donde dx = a sec2 t dt, a2 + x2 = a cos1 t;

3. x = a sect, de donde dx = a tant sect dt, x2 a2 = a tant.

Ejemplo 1.12.
Z p



1 + cos 2t
a2
sin 2t
= a cost a cost dt = a
dt =
t+
+C =
2
2
2
!
r

p
2
2
x
a2 
a
x
x
t + sint 1 sin2 t +C =
arcsin +
1 2 +C =
2
2
a a
a

a2 
x
xp
=
arcsin + 4 a2 x2 +C
(x = a sint) .
2
a a

a2 x2 dx

10

1.3.3.

Integracin por Partes

Sean u y v funciones de la variable x con derivadas en el intervalo [a, b]. Tendremos entonces
(uv)0 = uv0 + vu0 ,
de donde

uv0 = (uv)0 vu0 .

Integrando ambos miembros de la ecuacin y considerando que

Z

obtenemos

(uv)0 dx = uv,

uv0 dx = uv

vu0 dx

(5)

si existen ambas integrales.

Empleando diferenciales, la frmula anterior puede escribirse de la siguiente manera
Z

u dv = uv

v du.

La frmula (6) hace posible la evaluacin de la integral

R
v du, que puede ser ms sencilla que la primera.

(6)
R

u dv una vez que se haya evaluado

Ejemplos.
1. I = xex dx.
Escribamos
R

u = x,

du = dx,
Z

dv = e dx,

v=

ex dx = ex

por consiguiente,
I = xex
2.

ex dx = xex ex +C.

ln x dx.
Escribamos
dx
,
Z x
v = dx = x.

u = ln x,

du =

dv = dx,
Por consiguiente
I = x ln x

dx = x ln x x +C.

11

3. I = xn ln x dx, n 6= 1.
Escribamos
R

u = ln x,

du =
Z

dv = x dx,

v=

dx
,
x
xn dx =

xn+1
.
n+1

Por consiguiente
1
xn+1 ln x

I=
n+1
n+1
1.3.4.

xn dx =

xn+1 ln x
xn+1

+C.
n+1
(n + 1)2

Integrales Elementales que Contienen un Trinomio Cuadrado

1.3.4.1. Integrales del Tipo axmx+n

El procedimiento principal de clculo consiste en
2 +bx+c dx
completar cuadrados para reducir el trinomio de segundo grado que aparece en la integral.
R

mx + n
dx =
2
ax + bx + c

donde k =

b
2a

yl=

4acb2
4a .

mx + n
a (x + k)2 + l

dx

(7)

Tambin se puede emplear una variacin de la ecuacin (7)

mx + n
dx =
2
ax + bx + c

4a (mx + n)

(2ax + b)2 + (4ac b2 )

dx

Si m = 0, reduciendo el trinomioR de segundo

gradoR a al forma que aparece en la integral (7), queda
R dx
dx
(vase seccin (1.3.2))
alguna de integrales inmediatas x2 +a2 , x2 a2 y a2dx
x2
Ejemplo 1.13. Hallar
dx

x2 + 4x + 13
Completando cuadrados k =

4
2

= 2, l =
Z

41342
4

=9

dx
=
2
x + 4x + 13

dx
(x + 2)2 + 9

sustituyendo t = x + 2, dt = dx,
1
t
arctan +C
3
3
Z
dx
1
x+2
=
arctan
+C
2
x + 4x + 13
3
3
Z

dt

t 2 + 32

Si m 6= 0, del numerador se separa la derivada 2ax + b del trinomio de segundo grado

Z m
Z
mb
(2ax
+
b)
+
n

mx + n
2a
2a
dx =
dx
ax2 + bx + c
ax2 + bx + 2 
Z

dx
m  2
mb
=
ln ax + bx + c + n
2a
2a
ax2 + bx + c
12

Ejemplo 1.14. Hallar

3x 2

x2 4x + 5

dx

a = 1, b = 4, c = 5, m = 3, n = 2


3x 2

3(4)
3
21 (2 1x + (4)) + 2 21
x2 4x + 5

x2 4x + 5

dx =
=


3  2
ln x 4x + 5 + (2 + 6)
2


dx
dx

x2 4x + 5

4
completando cuadrados para reducir el trinomio de segundo grado k = 21
= 2, l =
2016
4
41542
= 4 = 4 =1
41


3  2
ln x 4x + 5 + 4
2

4acb2
4a

dx
(x 2)2 + 1

cambiando variable t = x 2, dt = dx para resolver la integral y luego retornar a la variable original

Z


3  2
dx
3  2
ln x 4x + 5 + 4
=
ln x 4x + 5 + 4 arctant +C
2
2
t +1
2

3  2
=
ln x 4x + 5 + 4 arctan(x + 2) +C
2

Los mtodos de clculo son anlogos a los presenta1.3.4.2. Integrales del tipo axmx+n
2 +bx+c dx
R
dos en el pargrafo (1.3.4.1). Si a > 0, la integral se reduce a la dx
. Si a < 0, la integral se
2
2
R

a +x

reduce a la

dx .
a2 x2

Ejemplo 1.15. Hallar

Z

2x 8

dx
1 x x2
completando cuadrados se reduce el trinomio de segundo grado a = 1, b = 1, c = 1, m = 2,
n = 8


Z
Z
22 (1 2x) + 8 2
2x 8
2

dx =
dx
1 x x2
1 x x2
Z
Z
(1 2x)
dx
=
dx 9
2
1xx
1 x x2
el cambio de variable t = 1 x x2 , dt = 1 2x simplifica la primera integral. En la segunda
2
2
b
1
5
integral, se completan cuadrados k = 2a
= 2
= 12 , l = 4acb
= 4(1)11
= 41
4a
4 = 4 .
4(1)

Z
Z
Z
dt
t
dx
dx
q
9 q
=

9
1

2

2
t
2
x + 12 + 54
x + 12 + 54
t se restituye a su forma original. En la integral que queda en la expresin se sustituye u = x + 12 ,
du = dx
Z
p
du
2
2 1 x x 9 q
5
2
4 u
13

el segundo sumando tiene la forma de la integral inmediata nmero (12) de la tabla (seccin 1.2.2)
p
2u
2 1 x x2 9 arcsin +C
5
2x + 1
1 x x2 9 arcsin +C
5

= 2
R

1.3.4.3. Integrales del Tipo

grales se reducen al tipo 1.3.4.2

dx
(mx+n) ax2 +bx+c

Utilizando la sustitucin u =

1
mx+n ,

estas inte-

Ejemplo 1.16. Hallar

Z

dx

(x + 1) 1 x2

En esta ecuacin, se cambia la variable sustituyendo u =



u udu2

1
u

2 =

du

u2 (1u)2
u2

1
x+1

x = 1u 1, dx = udu2

du

u2 1 + 2u u2
=

para reducir se sustituye t = 2u 1 dt = 2 du du =

1

dt
1
=
2
t

t
1
2

du

2u 1

dt
2

= t

en este momento, se restituye la variable original t = 2u 1 =

Z

2
x+1

1 =

2x1
x+1

1x
x+1 ,

r
dx
1x

=
2
x+1
(x + 1) 1 x

R
1.3.4.4. Integrales del Tipo
ax2 + bx + c dx Completando cuadrados en el trinomio de segundo grado, esta integral se reduce a una de las formas integrales 19 20 de la tabla de integrales
inmediatas (seccin 1.2.2).

Ejemplo 1.17. Hallar

Z p

9 4x2 dx

1.3.5.

Integrales de Funciones Racionales

Descomposicin en Fracciones Parciales

Se llama funcin racional algebraica al cociente o fraccin racional de dos funciones polinomiales
P(x)
Q(x)
14

donde P(x) y Q(x) son polinomios con coeficientes reales. Si el grado del polinomio P(x) es menor
que el grado del polinomio Q(x), la fraccin racional P(x)/Q(x) se llama propia. Pero, si el grado
del polinomio P(x) es mayor o igual que el grado del polinomio Q(x), la fraccin parcial P(x)/Q(x)
se llama impropia.
Una fraccin racional impropia P(x)/Q(x), con base en el bien conocido procedimiento de
divisin de polinomios para separar la parte entera, se escribe como la suma de un polinomio R(x)
y una fraccin racional propia P1 (x)/Q(x), esto es
P(x)
P1 (x)
= R(x) +
Q(x)
Q(x)
Definicin 1.3. Las fracciones racionales del tipo
A
(x a)

Mx + N

(x2 + px + q)
2

donde a, p, q, A, M, N, son nmeros reales y p4 q < 0 (las races del trinomio x2 + px + q son
esencialmente complejas) se llaman fracciones racionales elementales.
Teorema 1.2. Sea P(x)/Q(x) una fraccin racional propia, P(x) y Q(x), polinomios con coeficientes reales. Si



x
Q(x) = (x a1 )1 (x ar )r x2 + p1 x + q1 1 x2 + ps x + qs
donde a1 , . . . , ai , . . . , ar son las diferentes
races
reales del polinomio Q(x) de multiplicidad i , i =




2
1, 2, . . . , r y x + p j x+q j = x z j x z j , donde z1 , z1 , . . . , z j z j , . . . , zs , zs son races esencialmente complejas del polinomio Q(x) de multiplicidad j , j = 1, . . . , s; entonces existen los nmeros
()
reales Ai , i = 1, 2, . . . , r, = 1, 2, . . . , i ,
( )

Mj

( )

Nj ,

j = 1, 2, . . . , s,

= 1, 2, . . . , j

tales que
(1)

( )

(2)

A1
A1 1
A1
P(x)
=
+

+
++
+
Q(x) (x a1 )1 (x a1 )1 1
x a1
(1)

( )

(2)

Ar 1
Ar
Ar
+
+
++
+
x ar
(x ar )r (x ar )1 1
(1)

(2)

(x2 + p1 x + q1 )
(1)

(1)

M1 x + N1

( )

Ms 1 x + Ns 1
+

+
1
x2 + ps x + qs
(x2 + ps x + qs ) s

M1 x + N1
(2)

(x2 + ps x + qs )

( )

M1 1 x + N1 1
+

+
+
1
x2 + p1 x + q1
(x2 + p1 x + q1 ) s

(1)

Ms x + Ns

(2)

(2)

Ms x + Ns

( )

( )

(8)

Cuando se cumple la descomposicin del tipo (8) para una fraccin concreta dada, los coefi()
( )
( )
cientes indeterminados Ai , M j , N j (i = 1, 2, . . . , r, = 1, 2, . . . , i , j = 1, 2, . . . , s, =
1, 2, . . . , j ) pueden calcularse usando el mtodo de los coeficientes indeterminados (primer procedimiento) donde ambos miembros de la identidad (8) se reducen a un denominador comn y para
15

los polinomios en el numerador se igualan los coeficientes de potencias iguales. Si el grado del
polinomio Q(x) es igual a n, entonces, en general, en el numerador del segundo miembro de la
igualdad , despus de reducirlo a un denominador comn se obtiene un polinomio de grado n 1,
( )
( )
()
es decir, un polinomio con n coeficientes, el nmero de incgnitas Ai , M j , N j tambin es
igual a n.
r

i + 2 j = n.

i=1

j=1

De esta forma, se obtiene un sistema de n ecuaciones con n incgnitas. La existencia de solucin

se deriva de teorema (1.2). Otro mtodo para calcularlos coeficientes indeterminados, despus de
reducir la expresin (8) a un denominador comn y de su eliminacin en el caso cuando Q(x)
tiene races reales, es conveniente sustituir en ambos miembros de la igualdad sucesivamente estas
races; como resultado se obtienen ciertas relaciones entre los coeficientes buscados, tiles para su
determinacin final (segundo procedimiento). A veces es ms fcil combinar el primer y segundo
procedimiento para calcular los coeficientes indeterminados.
Ejemplo 1.18. Hallar
x5 + 2x4 x 1
dx
x4 + x3 x2 x
Como, la funcin subintegral es impropia, usando el procedimientos de divisin de polinomios, se
puede escribir como la suma de un polinomio y una fraccin racional propia
Z

H=

x5 +2x4
x5
x4
0 +x4
x4

+0x3
x3
+x3
x3

+0x2
+x2
x2
2x2

x4
x

+x3
+1

x2

x 1
x
1

Es decir,
Z

x5 + 2x4 x 1
=
x4 + x3 x2 x


2x2 1
dx
x+1+ 4
x + x3 x2 x

Z
Z
Z 
2x2 1
= x dx + dx +
dx
x4 + x3 x2 x

Z 

x2
+x+I
2

es claro que
Z 

I=

2x2 1
x4 + x3 x2 x


dx

Se procede descomponer
el polinomio x4 + x3 x2 x en sus factores. Primero,
x4 + x3 x2 x =




3
2
1
3
2
1
x x + x x 1 . Luego, usando Ruffini se factoriza x + x x 1
1
x=1
1
x = 1
1
x = 1
1

1 1 1
1
2
1
2
1
0
1 1
1
0
1
0
16



de donde resulta x3 + x2 x1 1 = (x 1) (x + 1)2 . Entonces, x4 + x3 x2 x =
x (x 1) (x + 1)2 .
El integrando de la integral
!
Z
2
2x 1
dx
I=
x (x 1) (x + 1)2
cumple con la identidad (8). O sea, es valida la siguiente identidad
2x2 1
x (x 1) (x + 1)2

A
B
C1
C2
+
+
+
x x 1 x + 1 (x + 1)2

de donde
2x2 1 A(x 1) (x + 1)2 + Bx (x + 1)2 +
+C1 x (x 1) (x + 1) +C2 x (x 1) (9)
Primer procedimiento para la determinacin de los coeficientes
a la forma entera

Se reduce la identidad (9)

2x2 1 (A + B +C1 ) x3 + (A + 2B +C2 ) x2 +

+ (A + B C1 C2 ) x + (A) (10)
Se igualan los coeficientes de cada una de las potencias iguales de la variable x. El resultado es un
sistema de 4 ecuaciones y 4 incgnitas,
x0 :
x1 :
x2 :
x3 :

A
A +B C1 C2
A +2B
+C2
A +B +C1

= 1
=
0
=
2
=
0

La solucin de este sistema es1

A = 1,

1
B= ,
4

5
C1 = ,
4

C2 =

1
2

Segundo procedimiento para la determinacin de los coeficientes. Haciendo x = 0 en la

identidad (9)
1 = A(1)(1) A = 1.
Haciendo x = 1
1
2(1)2 1 = C2 (1)(1 1) 2C2 = 1 C2 = .
2
Haciendo x = 2
2 22 1 =A(2 1)(2 + 1)2 + B(2)(2 + 1)2 +C1 (2)(2 1)(2 + 1) +C2 (2)(2 1)
7 =9A + 18B + 6C1 + 2C2
1 Un

asunto fundamental de las ciencias de la computacin es la solucin de sistemas de ecuaciones lineales. Para
esto, se han desarrollado tcnicas numricas que varan en especializacin. Se anima al lector a estudiar y usar esta
tecnologa.

17

despejando C1
6C1 =7 9A 18B 2C2 = 7 9
C1 =

18
9 6 9
15
1 = 3 =
=
4
2
2
2

4
4

Combinando el primer y segundo procedimientos Utilizando el segundo procedimiento,

se hace x = 0 en la identidad (9) y se obtiene A = 1. Luego, haciendo x = 1, se tiene B = 1/4;
haciendo x = 1, resulta C2 = 1/2. Despus, empleando el primer procedimiento, se iguala en la
identidad (10) los coeficientes de x. De donde
A + B C1 C2 = 0 C1 = A + B C2
1 1 4 + 1 2
5
C1 = 1 + =
=
4 2
4
4
C1 =

5
4

Por consiguiente,
dx
dx
dx
dx
5
1
I=
+

+
x
x 1 4 x + 1 2 (x + 1)2
1
5
1 1
I = ln |x| + ln |x 1| ln |x + 1|
4
4
2 x+1

 4


1
1
x (x 1) 

I = ln 

5
4
2(x + 1)
(x + 1)
Z

finalmente,


x2
1
1  x4 (x 1) 
H = +x
+ ln
2
2(x + 1) 4  (x + 1)3 
o simplificando an ms


x3 + 3x2 + 2x 1 1  x4 (x 1) 
H=
+ ln 
2(x + 1)
4
(x + 1)2 
1.3.6.

Integrales de Algunas Funciones Irracionales Reducibles a Racionales

Una funcin racional de x, u, v, . . . , w (hay un nmero finito de letras) la denotaremos con el

smbolo R (x, u, v, . . .) . Esta se obtiene como resultado de la aplicacin de un nmero finito de
operaciones aritmticas (suma, resta, multipicacin y divisin), sobre x, u, v, . . . , w.
Caso 1 Integrales del tipo
Z

ax + b
R x,
cx + d

 p1 
 p2

 pn !
q1
ax + b q2
ax + b qn
,
,...,
dx,
cx + d
cx + d

18

(11)

Donde R es una funcin racional y p1 , q1 , p2 , q2 , . . . , pn , qn son nmeros enteros. Las integrales del
tipo (11) se hallan valindose de la sustitucin
zn =

ax + b
,
cx + d

(12)

donde n es el mnimo comun multiplo de los nmeros q1 , q2 , . . . , qn .

En efecto, es evidente (luego de despejar) que x es una funcin racional (z) de z, y como a sta
tambin es racional su derivada 0 (t). Por lo tanto, obtenemos que despus de la sustitucin (??) la
integral se reduce a la forma
Z

p2

p1

pn

R ((z), z , z , . . . ,t ) (z) dz =

R1 (z) dz,

donde R1 (z) es una funcin racional de z.

Ejemplos.
Z

1.

x3 dx

=2
x1
dx

2.

1
2

x +x

1
3

1 + t2

3

t=

dt,

6t 5
dt = 6
t3 + t2

x 1,

t3
dt = 6
1+t

x = 1 + t 2,

dx = 2t dt.

1 t + t 2 dt
6

dt
,
1+t

x = t 6,

dx = 6t 5 dt

Caso 2 Integrales de las Diferenciales Binomias

Z

xm (a + bxn ) p dx,

(13)

donde m, n y p son nmeros racionales.

Condiciones de Chebichev. La integral (13) puede expresarse por medio de una combinacin finita
de funciones elementales nicamente en los tres casos que siguen.
1. cuando p es nmero entero;
n
s
2. cuando m+1
n es nmero entero. Aqu se emplea la sustitucin a+bx = z , donde s es el divisor
de la fraccin p;

3. cuando
1.3.7.

m+1
n

+ p es nmero entero. En este caso se emplea la sustitucin axn + b = zs .

Integracin de Funciones Trigonomtricas

R

1.3.7.1. Integrales delR tipo R (sin x, cos x) dx Si R (u, v) es una funcin racional de las variables u, v, la integral R (sin x, cos x) dx se transforma en una integral de una funcin racional
mediante la substitucin
x
tan = t.
2
En efecto, tenemos
2 sin x cos 2x
2t
sin x = 2 x 2
=
,
1 + t2
sin 2 + cos2 2x
19

cos x =

cos2 2x sin2 2x

1 t2
=
.
1 + t2

sin2 2x + cos2 2x

Ya que
x = 2 arctant,
entonces

2 dt
.
1 + t2
Puesto que sin x, cos x y dx se expresan racionalmente en funcin de la variable t, la integral
R
R (sin x, cos x) dx podr entonces transformarse en una integral de funcin racional con ayuda de
la substitucin indicada.
dx =

Ejemplo 1.19.
Z

I=

dx
.
3 sin x 4 cos x

Haciendo
tan
obtenemos
Z

I=

x
= t,
2

2 dt
1+t 2
4(1t 2 )
6t

2
1+t
1+t 2

1
=
2

dt
,
t 2 + 23 t 1

que se descompone en fracciones parciales, es decir,



!
Z

2
2
1
t

1 
1
5
2
dt = ln 
I=
5
 +C.
1

2
5
t +2
t 2 t +2
As pues,


1  tan 2x 12 
I = ln 
 +C.
5  tan 2x + 2 
R

En algunos casos, la integral R (sin x, cos x) dx puede calcularse con mayor rapidez, empleando
las substituciones que se dan enseguida.
Caso 1 Si R (u, v) es una funcin impar de la variable u, es decir, si
R (u, v) = R (u, v) ,
se emplea entonces la substitucin
cos x = t;
as que
sin x =

1 t 2,

dt
dx =
1 t2

(0 < x < ) .

Caso 2 Si R (u, v) es una funcin impar de la variable v, es entonces posible emplear la substitucin
sin x = t,
p
cos x 1 t 2 ,

dt
dx =
1 t2
20



<x<+
,
2
2

Caso 3 Si R (u, v) es una funcin par de las variables u, v, esto es, si

R (u, v) = R (u, v) ,
se hace entonces uso de la substitucin


,
<x<+
2
2

tan x = t

1
cos x =
,
1 + t2

t
sin x =
,
1 + t2

dx =

dt
.
1 + t2

Ejemplos.
Ejemplo 1.20.
sin3 x
I=
dx.
cos2 x + 1
La funcin integrando es impar con relacin a sin x, porque
Z

( sin x)3
sin3 x
= 2
;
cos2 x + 1
cos x + 1
apliquemos por consiguiente la substitucin
sin x dx = dt.

cos x = t,
As pues
Z

I=

t2 1
dt =
t2 + 1

Z 

2
1 2
t +1


dt = t 2 arctant +C.

Obtenemos finalmente
I = cos x 2 arctan (cos x) +C.
Ejemplo 1.21.
cos3 x
I=
dx.
4 sin2 1
La funcin integrando es impar con respecto a cos x, as que es posible emplear la substitucin
Z

sin x = t,

cos x dx = dt.

De esta manera
Z

I=
de donde

finalmente,

1 t2
dt =
4t 2 1

Z 


1 3 1
3 1
+

dt,
4 8 2t 1 8 2t + 1



1
3  2t 1 
I = t + ln 
+C;
4
16
2t + 1 


1
3  2 sin x 1 
I = sin x + ln 
+C.
4
16
2 sin x + 1 
21

Ejemplo 1.22.
dx
.
sin x 4 sin x cos x + 5 cos2 x
Dado que la funcin integrando es una funcin par en relacin con sin x y cos x, hacemos entonces
tan x = u.
Z

I=

Tenemos, de este modo,

Z

I=

du
=
2
u 4u + 5

du

(u 2)2 + 1

= arctan (u 2) +C,

por consiguiente
I = arctan (tan x 2) +C.
1.3.7.2. Integrales del tipo sinm x cosn x dx
de los casos 1, 2 y 3 on the preceding page.
R

Sean m y n son enteros, entonces, como se reduce

1. para m impar, aplicamos la substitucin cos x = t

2. para n impar, aplicamos la substitucin sin x = t
3. para m y n pares, aplicamos la substitucin tan x = t.
Si m y n son nmeros fraccionarios, entonces haciendo sin x = t, obtenemos
Z

sin x cos x dx =

tm 1 t2

n1
2

dt.

La ltima integral es una integral binomial. Solo puede calcularse en el caso en que uno de los
n1 m+n
nmeros m+1
2 , 2 , 2 sea entero
Ejemplo 1.23.
I=
Ya que

m+n
2

tan x dx =

sin 2 x cos 2 x dx.

= 0, entonces, aplicando la substitucin

sin x = t,

obtenemos la integral
Z

I=

t 2 1 t2

34

dt,

la cual se toma en la ltima forma. En efecto, haciendo

t = z,
obtenemos
1
I=
2

1z
z

22

 3
4

dz.

Substituyendo, finalmente
1z
= w4 ,
z
obtenemos
I = 2

dw

w4 + 1

Desarrollando la funcin integrando en fracciones elementales2 e integrando

Z
dw
1
1 + w 2 + w2
w 2
1

= ln
+C.
+ arctan
w4 + 1 4 2 1 w 2 + w2 2 2
1 w2
Ya que
r
w=
entonces

1z
=
z

1 t2
=
t2

cos2 x
= cot x,
sin2 x

1
2 cot x
1 + 2 cot x + cot x
1

I = ln
arctan
+C.
1 cot x
2 2 1 2 cot x + cot x
2
R

1.3.7.3. Integrales del tipo sin x cos x dx,

estos casos se emplean las frmulas

sin x sin x dx y

1. sin x cos x =

1
[sin ( + ) x + sin ( ) x] ;
2

2. sin x sin x =

1
[cos ( ) x cos ( + ) x] ;
2

3. cos x cos x =

cos x cos x dx.

En

1
[cos ( ) x + cos ( + ) x] .
2

Ejemplo 1.24.
Z

sin 9x sin x dx =

1.4.

1
1
1
[cos 8x cos 10x] dx =
sin 8x sin 10x +C.
2
16
20

Ejercicios

Integracin inmediata Integre usando la tabla de integrales y aplicando las reglas ms elementales, usando la tabla de integrales y aplicando las reglas elementales para la integracin
Z

1.1.
1.2.

Z
m

dx
.
x2

2 w4 + 1

10x dx.

ax ex dx.

1.4.

xn dx.

1.3.

x dx.

1.5.





= w2 + w 2 + 1 w2 w 2 + 1 .

23

dx
.
1.6.
2 x
Z
dh

.
1.7.
2gh
Z

1.8.
Z

1.9.

1.18.

3,4x0,17 dx.
(1 2u) du.

a dx
.
ax
Z

1.11.
x + 1 x x + 1 dx
Z
x x3 e3 + x2
1.12.
dx.
x3
Z


1.13.
2x1,2 + 3x0,8 50,88 dx.
Z

1.10.

Z 

1.14.

1z
z

dx

.
3 3x2
Z
3 2x 2 3x
1.19.
dx.
2x
Z
1 + cos2 x
1.20.
dx.
1 + cos 2x
Z
cos 2x
dx.
1.21.
cos2 x sin2 x
Z

2
dx

(1 x)2
dx.
x x
3
Z
(1 + x)

1.16.
dx.
3
x

Z
3 2
x 4x

1.17.
dx.
x
Z

1.15.

tan2 x dx.

cot2 x dx.

1.22.
1.23.

x
2 sin2 dx.
2


Z
1 + 2x2 dx
1.25.
.
x2 (1 + x2 )

2
Z
1 + x2 dx
1.26.
.
x (1 + x2 )
Z
dx
.
1.27.
cos 2x + sin2 x
Z

1.24.

(arcsin x + arc cos x) dx

1.28.
Z

1.29.

2x + 3
dx.
2x + 1

Cambio de Variable
Z

1.30.
Z

1.31.
Z

1.32.
Z

1.33.
Z

1.34.
Z

1.35.
Z

1.36.

dx

. (sustituyendo x + 1 = z2 ).
1+ x+1
x3 dx

.
x1
4x + 3
dx.
(x 2)3
dx

.
x x+1
x+1

dx.
x x2
dx
.
1+ x

x
dx.
x (x + 1)

1.37.
Z

1.38.
Z

1.39.
Z

1.40.
Z

1.41.
Z

1.42.
Z

1.43.

24

x
dx.
x+1
dx

.
1+ 3 x+1
dx

.
ax + b + m

x dx

(sustituyendo x = z6 ).
x 3 x
dx

.
3
3
x ( x 1)
dx

.
x+ 4 x

dx.
3 2
x 4x

e2x dx

(sustituyendo ex + 1 = u4 ).
4 x
e +1
Z
dx

.
1.45.
1 + ex
Z
1 + ln x
1.46.
dx.
x ln x
Z p
1 + cos2 x sin 2x cos 2x dx.
1.47.
Z

1.44.

ln tan x
dx.
sin x cos x
Z
x5 dx

1.49.
.
a3 x3
Z

1.48.

x5 dx

.
2
(x2 4)
Z
dx
1

(sustituyendo x = , o
1.51.
u
x2 x2 + a2
x = a tan u).
1.50.

x2 dx

(sustituyendo x = a sin u).

a2 x2
Z
dx
1

1.53.
(sustituyendo x = , o
2
2
u
x x a
a
x=
).
cos u
Z

1.52.

Usando sustitucin trigonomtrica demuestre

las identidades (19) y (20) de la tabla de
integrales inmediatas.

Integracin Por Partes

Z

1.54.

ln x dx.

1.64.

x sin (2x) dx.

1.55.
Z

1.56.
Z

1.57.

3x

xe dx.

1.66.

5t+

1.67.

te
Z

1.58.

dt.

1.59.

xe
Z

1.60.

(n 6= 1)

dx.

x2 e2x dx.

1.61.

arctan x dx.
Z

1.62.

x arctan x dx.
Z

1.63.

ex sin x dx.

eax cos nx dx.

x ln x dx.
Z

arctan x dx.


p
1.65. ln x + 1 + x2 dx.
Z

arcsin x dx.

sin (ln x) dx.

1.68.
1.69.

Z p

a2 + x2 dx.

dx

.
2
(x2 + a2 )

Z 
ln x 2
1.71.
dx.
x
Z
arcsin x

1.72.
dx.
x+1
1.70.

1.73.

25

sin x ln (tan x) dx.

2.

Integracin Definida

2.1.

Sumatoria

Definicin 2.1. Se define la sumatoria mediante la letra griega sigma , la cual expresa la suma
de un determinado nmero de trminos, es decir, desde i = 1 hasta n es igual a
n

f (i) = f (1) + f (2) + + f (n)

i=1

Ejemplos.
5

f (i) = f (3) + f (4) + f (5)

i=3
4

i2 = 12 + 22 + 32 + 42 = 1 + 4 + 9 + 16 = 30
i=1
3

[2(i) 1] = [2(1) 1] + [2(2) 1] + [2(3) 1] = 1 + 3 + 5 = 9

i=1

2.1.1.

Propiedades de la Sumatoria
n

1. 1 = n m + 1
i=m
n

2. 1 = n
i=1
n

3. k f (i) = k f (i),
i=1
n

i=1
n

kR
n

4. ( f (i) + h(i)) = f (i) + h(i)

i=1

i=1

i=1

5. [ f (i) f (i 1)] = f (n) f (0)

i=1

Ejemplo 2.1.
10

1 = 6 (propiedad 1)
i=5
5

7 = 7 5i=3 1 = 21 (propiedad 2)

i=3
3

6i = 6 3i=1 i = 6(1 + 2 + 3) (propiedad 3)

i=1
5

(3i 2) = 5i=3 3i 5i=3 2 = 3 5i=3 i 2 5i=3 1 = 3(3 + 4 + 5) 6 = 30 (propiedad 4)

i=3
2

h
i
2 (i 1)2 = 22 02 = 4 (propiedad 5)
i

i=1

26

2.2.

Concepto de Integral Definida. rea Bajo una Curva

Tomemos en el segmento [a, b] (a y b son nmeros finitos) una funcin continua no negativa
f (x). Representemos su grfica en la figura 1. Planteemos el problema: se pide definir de un modo
y

y = f (x)

x
0

a = x0

x1

x2

n1

xn = b

Figura 1.

razonable el concepto de rea de una figura limitada por la curva y = f (x), por el eje de x, y por las
rectas x = 1 y x = b y calcular esta rea. Resulta natural resolver el problema planteado as.
Hagamos una definicin del segmento [a, b] en n partes por los puntos
a = x0 < x1 < < xn = b,

(14)

tomemos en cada uno de los segmentos parciales obtenidos

[x j , x j+1 ] ( j = 0, 1, . . . , n 1)

(15)

un punto arbitrario j [x j , x j+1 ], determinemos los valores f ( j ) de la funcin f en estos puntos

y formemos la suma
n1

Sn =

(x j = x j+1 x j ),

f ( j )x j ,

(16)

j=0

denominada suma integral, la cual, evidentemente, es igual a la suma de las reas de los rectngulos
(vea la figura 1).
Supongamos ahora que todos los x j tienden a cero de tal modo que el segmento parcial mximo (el ms grande) de la particin tiende a cero. Si, en este caso, la magnitud Sn tiende hacia un
lmite determinado S, que no depende de los mtodos de particin (14) efectuados y tampoco de
la eleccin de los puntos j en los segmentos parciales, entonces es natural llamar a la magnitud S
rea de la figura curvilnea considerada. Por lo tanto,
n1

S=

lm

f ( j )x j .

max x j 0 j=0

27

(17)

Obsrvese la expresin (17). Abstrayndonos del problema de la bsqueda del rea, podemos
considerarla como una operacin mediante la cual se determina el nmero S para una funcin dada
f definida en [a, b]. Esta se llama operacin de integracin de la funcin f sobre el segmento (finito)
[a, b], y su resultado, si es que existe, se llama integral definida de f sobre [a, b] y se escribe as:
n1

S=

lm

max x j 0 j=0

Z b

f ( j )x j =

f (x) dx.

(18)

En resumen, por definicin, se llama integral definida de una funcin f sobre el segmento [a, b]
al lmite de la suma integral (17), cuando el mximo segmento parcial de la particin (14) tiende a
cero.
En esta definicin, la cual ya no est relacionada con el problema de la bsqueda del rea, la
funcin f no es necesariamente continua y no negativa en [a, b]. Hay que sealar que esta definicin no afirma la existencia de la integral definida para toda funcin f definida en [a, b], o sea, la
existencia del lmite (18). Solamente dice que, si ste lmite existe para una funcin f definida en
[a, b], entonces ste se llama integral definida de f sobre [a, b].

2.3.

Definicin Formal de Integral Definida segn Riemmann

Definicin 2.2. Sea [a, b] un intervalo dado. Aqu, una particin P de [a, b] indica, que para un
conjunto de puntos x0 , x1 , . . . , xn donde se cumple
a = x0 x1 xn1 xn = b,
se puede escribir
xi = xi xi1

(i = 1, . . . , n).

Si f es una funcin acotada en [a, b]. Entonces, para cada una de las particiones P de [a, b] se
pueden definir
Mi = sup f (x)
mi = nf f (x)

(xi1 x xi ) ,
(xi1 x xi ) ,

U(P, f ) =

Mixi,

i=1
n

L(P, f ) =

mixi.

i=1

As podemos definir
Z b

f dx = nfU (P, f ) ,

(19)

f dx = sup L (P, f ) ,

(20)

Z b
a

donde el nf y el sup se toman sobre todas las particiones de [a, b]. Los miembros izquierdos de
19 y 20 son llamados integrales de Riemmann superior e inferior de f sobre [a, b], respectivamente.

28

Si las integrales superior e inferior son iguales, se dice que la funcin f (x) es Riemmann
integrable sobre el intervalo [a, b]. El valor comn de (19) y (20) es llamamos integral de Riemmann
de f sobre [a, b], y se denota por
Z b

f dx,
a

o por
Z b

f (x) dx.
a

Puesto que, f es acotada, existen dos nmeros,m y M, tales que

(a x b).

m < f (x) < M

Por lo tanto, para cualquier particin P

m(b a) L(P, f ) U(P, f ) M(b a),

de forma tal que los nmeros L(P, f ) y U(P,f) forman un conjunto acotado. Esto muestra que las
integrales superior e inferior estn definidas para cada funcin acotada f . En este trabajo se deja
para estudios posteriores el problema de la integrabilidad de f , es decir, el problema de la igualdad
de la integral superior a la integral inferior.
Lema 2.1. Supongamos que f es Riemmann integrable sobre el intervalo [a, b]
m f (x) Mx [a, b]
Entonces
m(b a)

Z b

f (t) dx M(b a)

De aqu se desprende de inmediato que si las funciones f (x) y (x), son integrables en [a, b], y
si satisfacen para a x b la desigualdad
f (x) (x),
entonces

Z b

f (x) dx

Z b

(x) dx.
a

En efecto, para a x b tenemos (x) f (x) 0, por lo que

Z b

[(x) f (x)] dx 0,

por consiguiente
Z b

(x) dx

Z b
a

De aqu se deduce la desigualdad (21).

29

f (x) dx 0.

(21)

2.4.

Teoremas Fundamentales del Clculo Integral

El clculo inmediato de la integral definida segn la frmula (18) ofrece dificultades; las sumas
integrales para funciones algo complicadas son de forma voluminosa y frecuentemente son difciles
de transformar en una forma que sea cmoda para el clculo del lmite. Un progreso notable en
esta cuestin se debe a Newton y Libniz, quienes sealaron un mtodo general de resolucin de
tales problemas. Ellos demostraron, teniendo como base el trabajo originalmente desarrollado por
el matemtico ingls Isaac Barrow, que el clculo de la integral definida de una funcin puede
reducirse a la bsqueda de sus antiderivadas.
El teorema fundamental del clculo integral afirma que la derivacin e integracin de una funcin son operaciones inversas. Esto significa que toda funcin continua integrable verifica que la
derivada de su integral es igual a ella misma. Una consecuencia derivada de este teorema es el
teorema de Newton y Libniz tambin llamado en ocasiones segundo teorema del clculo integral.
Teorema 2.2 (Primer Teorema Fundamental del Clculo Integral).
Dada una funcin f integrable
R
sobre el intervalo [a, b], definimos F sobre [a, b] por F(x) = x f (t) dt con [a, b] fijo. El teorema
dice que si f es continua en c [a, b], entonces F es derivable en c y F 0 (c) = f (c).
Demostracin. Sea c (a, b). Sea f una funcin integrable sobre el intervalo [a, b] y continua en
c. Sea F una funcin definida sobre [a, b], denotada por
Z x

F(x) =

f (t) dt

con [a, b]

Por definicin tenemos

F(c + h) F(c)
.
h0
h

F 0 (c) = lm
Supongamos que h > 0. Entonces

F(c + h) F(c) =

Z c+h

f (t) dt.
c

Definimos mh y Mh como
mh = nf{ f (x)|c x c + h},
Mh = sup{ f (x)|c x c + h}
Aplicando el lema (2.1) vemos que
mh h

Z c+h
c

f (t) dt Mh h.

Por lo tanto,
mh

F(c + h) F(c)
Mh
h

Ahora supongamos que h < 0. Sean

m h = nf{ f (x)|c + h x c},
30

M h = sup{ f (x)|c + h x c}.

Aplicando el lema (2.1) vemos que

m h (h)

Z c
c+h

f (t) dt M h (h).

Como
F(c + h) F(c) =

Z c+h

Z c

f (t) dt =

f (t) dt,
c+h

entonces
m h h F(c + h) F(c) M h h.
Puesto que h < 0, entonces tenemos que
F(c + h) F(c)
Mh.
h
Y como f es continua en c tenemos que
m h

lm mh = lm Mh = lm,h0 m h = lm M h = f (c),

h0

h0

h0

y esto nos lleva a que

F(c + h) F(c)
= f (c).
h0
h

F 0 (c) = lm

Ejemplos.
Z x

1. F(x) =

t 2 dt F 0 (x) = x2

Z exp 3x

2. H(x) =

sin(t)dt H 0 (x) = sin(e3x )e3x 3

10

Z x2

3. G(x) =

arcsin(t)dt G0 (x) = arcsin(x2 )2x

Teorema 2.3 (Frmula de Newton-Leibniz). Sea dada una funcin continua f (x) en el intervalo
[a, b] y sea F(x) su antiderivada, entonces
Z b

f (x) dx = F(b) F(a).

Demostracin. Sea f una funcin continua en el intervalo [a, b]. Sea F una funcin diferenciable
en el intervalo [a, b] tal que F 0 (x) = f (x) x [a, b]
Sea
Z x

g(x) =

f (t) dt.
a

31

Tenemos por el primer teorema fundamental del clculo que

g0 (x) = f (x) = F 0 (x) x [a, b].
Por lo tanto,
c R

tal que x [a, b],

g(x) = F(x) + c.

Observamos que
0 = g(a) = F(a) + c
y de eso se sigue que c = F(a); por lo tanto,
g(x) = F(x) F(a).
Y en particular si x = b tenemos que:
Z b

f (t)dt = g(b) = F(b) F(a)

Ejemplos.
Z b

1.

f (x) dx = F(b) F(a) = [F(a) F(b)] =

2.

Z a

f (x) dx
b

cos(x)dx = sin() sin(0) = 0

3.

Z e
dx
1

2.5.

= ln(e) ln(1) = 1

Algunas Propiedades de la Integral Definida

De la definicin de integral definida, se deduce fcilmente los siguientes teoremas:

Teorema 2.4. La suma de dos funciones f (x) y (x), integrables en el intervalo [a, b], es tambin
integrable en este intervalo y
Z b

Z b

[ f (x) + (x)] dx =

Z b

f (x) dx +

(x) dx.
a

Demostracin. En virtud de la ecuacin (18) se tiene

n1

Z b

[ f (x) + (x)] dx =
a

lm

[ f ( j )x j + ( j )x j ]

max x j 0 j=0

n1

lm

max x j 0 j=0

n1

f ( j )x j +

lm

( j )x j

max x j 0 j=0

por consiguiente, la funcin f (x) + (x) es integrable en el intervalo [a, b] y

Z b

Z b

[ f (x) + (x)] dx =
a

Z b

f (x) dx +
a

32

(x) dx.
a

Anlogamente se puede demostrar el siguiente

Teorema 2.5. El producto de una constante arbitraria c por la funcin f (x), integrable en [a, b] es
integrable en este intervalo y
Z b

Z b

c f (x) dx = c
a

f (x) dx.
a

Teorema 2.6. Si a < b < c y si la funcin f (x) es integrable en el intervalo [a, c], entonces
Z b

Z c

f (x) dx =
a

Z c

f (x) dx +
a

f (x) dx
b

Demostracin. Sea F(x) una antiderivada de f (x) en el intervalo [a, c]. Admitamos a < b < c. En
virtud del teorema 2.3 on page 31
Z c

f (x) dx = F(c) F(a) = F(b) F(a) + F(c) F(b) =

Z c

Z b

f (x) dx +
a

f (x) dx.
c

Ejemplos.
1. Determinar el valor de la siguiente integral
Z 1

I=

(bx + c) dx.
0

Tenemos

Z 1

I=

Z 1

bx dx +
0

2.6.

Z 1

c dx = b
0

Z 1

x dx + c
0

1
dx = b + c.
2

Funcin del Lmite Superior (o Inferior) de la Integral

Si la funcin f (x) es integrable en [a, b], y si es un punto cualquiera del intervalo [a, b], puede
entonces definirse una nueva funcin f (x) por medio de la frmula
Z x

F(x) =

f (t) dt

(a x b).

La funcin F(x) es definida para cualquier x del intervalo [a, b]. La funcin F(x) es entonces
una funcin del lmite superior de la integral de la funcin f (x).
Anlogamente puede considerarse una funcin del lmite inferior de la integral de la funcin
f (x), es decir, una funcin
Z

(x) =

f (t) dt.
x

Es claro que
(x) = F(x).
Es necesario no perder de vista que la funcin del lmite superior o inferior, depende tambin
de la eleccin que se haga del punto .

33

Teorema 2.7. La funcin

Z x

F(x) =

f (t) dt

es continua en cualquier punto del intervalo [a, b].

Demostracin. Sean x0 y x0 + puntos arbitrarios del intervalo [a, b]. Tenemos
F(x0 + ) F(x0 ) =

Z x0 +

f (t) dt

Z x0

Z x0 +

f (t) dt =

f (t) dt +
x0

por lo que segn el teorema 2.6 on the preceding page

F(x0 + ) F(x0 ) =

Z x0 +

f (t) dt.
x0

Sea f (x) una funcin que en a x b satisface la desigualdad

| f (x)| L.
De acuerdo con el lema 2.1 on page 29 y (21):
|F(x0 + ) F(x0 )| L|x0 + x0 | = L | |.
De donde se ve que
lm |F(x0 + ) F(x0 )| = 0.

Pero esto significa que la funcin

0
Rx
f (t) dt

es una funcin continua,

Observacin. Es evidente que la funcin

Z

(x) =

f (t) dt
x

es tambin una funcin continua, ya que

(x) = F(x).
Ejemplos.
1. La integral
F(x) =

Z x
dt
1

es una funcin continua para x > 0.

F(x) = ln x.
2. Anlogamente

Z x

dt
2
0 1+t
es una funcin continua para todo x. Aqu se tendr
F(x) =

F(x) = arctan x
34

f (t) dt;

3. La integral

Z x

F(x) =
0

dt
p

(0 < k < 1)

(1 t 2 )(1 k2t 2 )

es tambin una funcin continua para 0 x < 1. Sin embargo, no es posible evalursele por
mtodos elementales. Esta funcin es llamada integral elptica.
4. Puede decirse lo mismo respecto a la funcin
Z x
sin x

F(x) =

dt,

continua para todo x. (Para t = 0, tomamos como valor del integrando igual 1).

2.7.

Teorema Integral del Valor Medio

Si la funcin f (x) es integrable en el intervalo [a, b], entonces el nmero

1
ba

Z b

f (x) dx
a

se llama valor medio de la funcin f (x) en el intervalo [a, b].

Es vlida la siguiente proposicin
Teorema 2.8 (Teorema Integral del Valor Medio). Si la funcin f (x) es acotada y continua en el
interior del intervalo [a, b], existe entonces dentro de este intervalo un punto , (a < < b) tal que
1
f ( ) =
ba

Z b

f (x) dx.
a

Demostracin. Hagamos para a x b

Z x

F(x) =

f (t) dt.

(22)

La funcin F(x) es una funcin continua en [a, b] y de acuerdo con el teorema 2.2 on page 30,
posee en cualquier punto de este intervalo una derivada
F 0 (x) = f (x),

a < x < b.

(23)

Adems, de acuerdo con el teorema del valor medio, estudiado en el Clculo Diferencial, existe
un punto , que satisface la relacin
F(b) F(a) = (b a)F 0 ( ),

a < < b.

Ya que, de acuerdo con (22)

Z b

F(b) =

Z a

f (t) dt,

F(a) =

f (t) dt = 0,
a

entonces, en virtud de (23) y (19)

Z b

f (t) dt = (b a) f ( ).

De aqu se obtiene la demostracin de nuestro teorema.

35

(24)

Ejemplos.
1. El valor medio de la funcin
f (x) = x(1 x)
en el intervalo (0, 1) es igual a
Z 1

1
f (x) dx = .
6
0
Puesto que esta funcin es continua, entonces, para un cierto x = (0 < < 1) tendremos
1
(1 ) = ,
6
demostrndose fcilmente lo propuesto.
2. El valor medio de la funcin
f (x) = x sin x
en el intervalo (0, ) es igual a
1
x sin x dx = 1.
0
En virtud de la continuidad de esta funcin, tendremos por consiguiente, para un cierto del
intervalo (0, ) la igualdad sin = 1. (Se demuestra fcilmente y en forma inmediata que
existen cuando menos dos valores tales de ).
Z

2.8.

Cambio de Variables en las Integrales Definidas

Se requiere efectuar en la integral

Z b

f (x) dx
a

la substitucin x = (t). Tiene lugar entonces la siguiente frmula de substitucin de variables en

una integral definida
Z b

f (x) dx =
a

f [(t)] 0 (t) dt,

donde
() = a,

( ) = b.

Demostraremos esta frmula bajo las siguientes condiciones

1. Las funciones (t) y 0 (t) son continuas [, ].
2. La funcin f (x) es definida y continua para todo valor que la funcin x = (t) adquiera en
el intervalo [, ].
3. () = a, ( ) = b.

36

Demostracin. Designemos con M y m, respectivamente, los valores mximo y mnimo de la

funcin
x = (t),
t .
Sea

F(x) =

m x M.

f (x) dx,

De acuerdo con el mtodo de substitucin en las integrales indefinidas seccin 1.3.1 on page 9, es
vlida, para t , la siguiente igualdad
Z

f [(t)] 0 (t) dt.

F[(t)] =
De donde
Z

f [(t)] 0 (t) dt = F[( )] F[()] = F(b) F(a).

(25)

Ya que
Z b

f (x) dx = F(b) F(a).

(26)

entonces, de la comparacin de las dos ltimas igualdades, obtenemos la frmula buscada.

En muchos casos, sin considerar la posibilidad de determinar la integral indefinida de una funcin dada, es posible calcular la integral definida dentro de ciertos lmites por medio de un cambio
conveniente de variables.
Observacin. Si en vez de la condicin 3 hubiramos tenido la condicin
( ) = a

() = b,

entonces, como es fcil demostrar, en lugar de la relacin (25) hubiramos obtenido

Z

f [(t)] 0 (t) dt = F(a) F(b).

De donde, en virtud de la relacin (26)

Z b

f (x) dx =
a

f [(t)] 0 (t) dt.

Ejemplos.
1. Calcular la integral
I=

Z 1 p

1 + x2 dx.

Hagamos
t=

p
1 + x2

Tenemos
t = 1para x = 0,

t = 2para x = 1.
37

Puesto que
x=
entonces

t dt
dx =
,
t2 1

p
t2 1

Z 2

I=

2
3
t 

t 2 dt =


3 1

2 21
.
=
3

1. Calcular la integral
Z 1
ln(1 + x)

1 + x2

dx.

Hagamos
dt
.
cos2 t
Los nuevos lmites de integracin sern, como es fcil ver, 0 y 4 . As pues,
x = tant,

Z 1
ln(1 + x)
0

1 + x2

dx =

4
ln(1 + tant) dt
dx =
=
ln(1 + tant) dt =
2
2
1 + tan t cos t
0
0


Z
Z
2 cos 4 t
4
4
sint + cost
=
ln
ln
dt =
dt =
cost
cost
0
0
Z
Z
Z


4
4
4
ln 2 dt +
ln cos
t dt
ln cost dt.
=
4
0
0
0

Haciendo la segunda integral

t = u,
4
obtenemos
Z

ln cos


4

dt = du.

Z
 Z0
t = ( ln cos u) du =

ln cos u du.

De este modo, las dos ltimas integrales se anulan. Obtenemos consiguientemente

Z 1
ln(1 + x)
0

1 + x2

dx =
0

ln 2 dt = ln 2.
8

2.
3. Calcular la integral
Z
0

Tenemos

Z
0

x sin x
dx.
1 + cos2 x

x sin x
dx =
1 + cos2 x

38

2.9.

Integracin por partes

Sean las funciones u(x) y v(x), continuas en conjunto con sus derivadas en el intervalo [a, b].
Sea adems,
F(x) = u(x)v(x).
F 0 (x) = u(x)v0 (x) + u0 (x)v(x).
Puesto que
Z b
a

entonces

Z b
a

de donde

F 0 (x) dx = F(x)|ba ,

[u(x)v0 (x) + u0 (x)v(x)] dx = u(x)v(x)|ba ,

Z b

u(x)v (x) dx =
a

u(x)v(x)|ba

Z b

u0 (x)v(x) dx.

(27)

Ejemplos.
1. Calcular la integral
Z

x cos x dx.
0

Haciendo en la frmula (27)

u(x) = x, u0 (x) = 1
v0 (x) = cos x, v(x) = sin x,
obtenemos

x cos x dx =
0

x sin x|0

sin x dx = 2.

2. Calcular la integral
Z 1

x2 (1 x)3 dx.

Haciendo
u0 (x) = 2x

u(x) = x2
v0 (x) = (1 x)3
obtenemos
Z 1
0

x (1 x) dx = x

v=

4 1
2 (1 x) 

(1 x)4
,
4

 +
0

Z 1

2x
0

(1 x)4
dx.
4

El primer sumando del segundo miembro es igual a cero. Integrando nuevamente por partes,
obtenemos
1
Z
Z
1 1
1 (1 x)5 
1 1 (1 x)2
4
x(1 x) dx = x
+
dx.
2 0
2
5 0 2 0
5

39

Vuelve a anularse el primer sumando, mientras que para el segundo tenemos

1
Z
1
1 1
1 (1 x)6 
5
= .
(1 x) dx =

10 0
10
6
60
0
Por consiguiente,
Z 1

x2 (1 x)3 dx =

2.10.

1
.
60

Integrales Impropias

Tomemos una funcin f en un semi-intervalo [a, b]. Supongamos que es integrable cobre cualquier segmento b0 < b y que no esta acotada en un entorno del punto b. Entonces su integral sobre
[a, b) o, lo que es lo mismo, sobre [a, b], en el sentido ordinario (de Riemmann) no puede existir,
puesto que una funcin que es integrable sobre [a, b] segn Riemmann necesariamente est acotaR 0
da. No obstante, puede ocurrir que exista el lmite lmb0 b ab f (x) dx. En este caso, este lmite se
llama integral impropia de f sobre el segmento [a, b] y se escribe as
Z b0

Z b
a

f (x) dx = l0m

b b a

f (x) dx.

(28)

Entonces se dice que la integral ab f (x) dx es convergente.

En caso contrario se dice que es divergente o que no existe como integral impropia de Riemmann.
Sea f una funcin acotada y continua en el intervalo [a, b] excepto en un punto a < c < b. La
integral integral impropia de f es
R

Z b

f (x) dx = lm

sc a

2.10.1.

Z b

Z s

f (x) dx + lm

lc+ l

f (x) dx

Integral de una Funcin no Acotada

Admitamos que la funcin f (x) es definida en el intervalo [a, b], excepto quiz en el punto a,
en cuya vecindad no es acotada la funcin.
Si la funcin f (x) es integrable en cada intervalo [a + , b], donde > 0, a + < b, y si existe
el lmite
Z
b

f (x) dx,

lm
+0 a+

llamaremos entonces a este lmite integral impropia

Z b

f (x) dx.
a

Ejemplo 2.2. La funcin

1
y=
x
es continua en cada punto del intervalo [0, 1], excepto en el punto x = 0. Tenemos

= 22
x

Z 1
dx
0

40

( > 0),

por lo que
Z 1
dx

lm

= 2.
x

+0

1
x

De esta manera, la integral impropia de la funcin y =

en el intervalo [0, 1], es igual a 2

Z 1
dx
0

= 2.
x

Si en el intervalo [a, b] existe un nmero finito de puntos, en cuya vecindad la funcin f (x) no
es acotada, se divide entonces el intervalo [a, b] en un nmero finito de intervalos, de tal suerte que
nicamente en la vecindad de uno de los extremos de cada uno de ellos la funcin no sea acotada.
Si en cada uno de estos intervalos la funcin posee integral impropia, a la que hemos anteriormente
definido, llamaremos entonces a la suma de todos estos intervalos, integral impropia en el intervalo
[a, b].
1
x(1x)

Ejemplo 2.3. La funcin

no esta acotada en las vecindades de los puntos x = 0 y x = 1.

Para investigar si existe la integral impropia en el intervalo [0, 1], analicemos los lmites
Z

lm
+0

1
2

Z 1

dx
p
,
1(1 x)

lm
+0

1
2

dx
.
x(1 x)

(29)

Puesto que
dx
= arcsin(2x 1),
x(1 x)

los lmites (29) son entonces iguales, respectivamente a

lm [arcsin 0 arcsin(2 1)] = ,

+0
2

lm [arcsin(1 2) arcsin 0] = .
+0
2
Por consiguiente,
Z 1
0

2.10.2.

dx
p
= .
x(1 x)

Integral en un Intervalo Infinito

Sea la funcin f (x) definida para todo x > . Admitamos que en cada intervalo finito a x b
es integrable la funcin f (x).
Si existe
Z
b

lm

b+ a

f (x) dx,

(30)

llamaremos entonces a este lmite integral impropia de la funcin f (x) en los lmites de a hasta +
y la representamos por el smbolo
Z
+

f (x) dx.

(31)

En este caso diremos tambin que la integral (31) converge. Si el lmite (30) no existe, se dice
entonces que la integral (31) diverge.
41

Ejemplo 2.4. La funcin

y=

1
x2

es continua para x > 1. Dado que

Z b
1

x2

entonces

1
dx = 1 ,
b

Z b
1

lm

x2

b+ 1

por lo que

dx = 1,

Z +
dx

= 1.
x2
Anlogamente se definen las integrales impropias
1

Z a

Z a

f (x) dx = lm

b b
Z a

Z +

f (x) dx =

f (x) dx,
Z +

f (x) dx +

f (x) dx.
a

Ejemplo 2.5. Sea

f (x) =

1
.
1 + x2

Tenemos
a dx

dx
=
l

m
= lm arctan a = ;
2
2
a
a+ 0 1 + x
2
0 1+x
Z 0
Z 0
dx

dx
=
l

m
=
l

m
(
arctan
a)
=
.
2
a a 1 + x2
a
2
1 + x

Por Consiguiente
Z +

2.10.3.

dx
=
1 + x2

Z 0

dx
+
2
1 + x

Z
0

dx
= .
1 + x2

Criterios de Existencia de la Integral Impropia

Criterio 1
Teorema 2.9. Sea (x) una funcin no negativa y no acotada en la vecindad del punto a, teniendo
integral impropia en el intervalo [a, b] (a < b) . Si la funcin f (x), no acotada en la vecindad del
punto a, es integrable en cada intervalo [a0 , b] (a < a0 < b) y adems
| f (x)|

(a < x b) ,

entonces la integral impropia

Z b

f (x) dx
a

existe.

42

Demostracin. Sea {n }nN+ 3 una sucesin arbitraria de nmeros positivos decrecientes, que convergen a cero. Sea adems
a + n < b
(a < b) .
Formemos la serie
Z b

Z a+1

(x) dx +
a+1

Z a+2

(x) dx +
a+2

(x) dx +

a+3

Z a+n1

(x) dx + (32)

a+n

Para la suma Sn de los n primeros trminos de esta serie, es vlida la igualdad

Z b

Sn =

(x) dx.
a+n

As pues, la serie (32) converge, y su suma es igual a la integral impropia de la funcin (x) en
[a, b] .
Ya que segn la condicin
| f (x)| (x)
entonces

(a < x b) ,

 Z
Z
Z




 f (x) dx | f (x)| dx (x) dx

(a < < b).

De donde se deduce que la serie

Z b

Z a+1

f (x) dx +
a+1

Z a+2

f (x) dx +
a+2

f (x) dx +

a+3

Z a+n1

f (x) dx + (33)

a+n

es absolutamente convergente, ya que sus trminos no exceden en mdulo a los trminos correspondientes de la serie (32).
Designamos con sn a la suma de los n primeros trminos de la serie (33), obtenemos
Z b

sn =

f (x) dx,
a+n

existe, por consiguiente

Z b

lm

n a+n

f (x) dx.

Puesto que este lmite existe para cada sucesin {sn } , que satisface las condiciones anteriores
impuestas, existe entonces
Z b

f (x) dx,

lm
+0 a+

teniendo por lo tanto la funcin f (x) una integral impropia en el intervalo [a, b] .
3 La

nocin de sucesin, as como la convergencia de una sucesin, es presentada en la seccin 3.1 on page 55.

43



R
R
 x  1
x dx existe, pues  cos
x y la existencia de la integral 01 dxx la
Ejemplo 2.6. La integral 01 cos
x
x 
hemos demostrado ya con anterioridad (ver ejemplo 2.2 on page 40)
Criterio 2 Si s < 1, entonces la integral impropia
Z a
dx

(a > 0)

xs

existe.
En efecto, tenemos
lm

Z a
dx

+0

xs

1
a1s
(a1s 1s ) =
.
+0 1 +
1s

= lm

Si la funcin f (x) es continua [a, b] , excepto en el punto x = 0, y si el producto f (x)xs es acotado

en [a, b] y s < 1, entonces la integral
Z
a

f (x) dx

(34)

converge.
En efecto, si | f (x)xs | A, entonces
| f (x)|

A
xs

(0 < x a) .

Dado que para la funcin xAs (x < 1) existe la integral impropia en el intervalo [0, a] , entonces, de
acuerdo con el teorema anterior, existe la integral impropia (34),
En particular, la integral (34) converge si existe el lmite
lm f (x)xs .

x+0

(s < 1)

Por ejemplo,
1
1
lm
x 2 = lm
+0 sin x
+0

x
= 1,
sin x

por consiguiente
Z 1
0

dx

sin x

existe.
Criterio 3 Para las integrales con lmites infinitos, puede enunciarse un teorema anlogo:
Teorema 2.10. Sea (x) una funcin no negativa y supongamos que la integral impropia
Z +

(x) dx.
a

existe.
Entonces, si la funcin f (x) es integrable en cada intervalo [a, b] (a < b) y para a x se satisface
la desigualdad
| f (x| (x),
44

existe entonces la integral impropia

Z +

f (x) dx.
a

La demostracin se hace en forma semejante al caso anterior.

Un criterio anlogo tiene lugar para el intervalo (, +) .


R cos x
 cos x 
1
1+x
Ejemplo 2.7. La integral 0 1+x
dx
existe,
pues

2
2 y la funcin
1+x2 

1
1+x2

posee la integral

dx
impropia 0 1+x
2 = 2.

Criterio 4 Si |xs f (x)| < A para x > a > 0 y s > 1,entonces

f (x) es integrable en cada intervalo [a, b] (a < b) .
| f (x)| <

R
a

f (x) dx existe. Se supone que la funcin

A
,
xs

y adems
Z
dx
a

2.11.

xs

= lm

Z b
dx

b+ a

xs

= lm [bs+1 as+1 ]
b+

1
1
=
s + 1 (s 1)as1

Aplicaciones de las Integrales Definidas

El principio general de la aplicacin de la integral indefinida para el clculo de los valores

geomtricos, fsicos y otros, es
1. La cantidad calculada A se divide de una manera determinada en un gran nmero de cantidades pequeas: A = a1 + a2 + + an ;
2. cada cantidad ai se reemplaza por una cantidad ai (prxima a ai ), cuyo clculo se efecta por
una frmula conocida; el error i = ai ai debe ser en comparacin con ai un infinitsimo
de orden superior, es decir, ai y ai son infinitsimos equivalentes;
3. la cantidad i se expresa mediante una variable x elegida de tal modo que i tome la forma
f (xi )xi ;
4. la cantidad buscada se calcula como el limite de la suma
n

A = lm

ai = lm

i=1

Z b

f (xi )xi =

i=1

f (x) dx
a

donde a y b son los valores lmites de x.

Ejemplo 2.8. Clculo del volumen de la pirmide (S es el rea de la base, H es la altura)
1. el volumen calculado V se divide mediante secciones planas en volmenes de pirmides
delgadas truncadas (figura. 2,a)
V = v1 + v2 + + vn ;

45

hi

111111
000000
000000
000000111111
111111
000000
111111
000000
111111
000000
000000111111
111111
000000
111111
b)

1111111
0000000
000000
0000000111111
1111111
000000
111111
0000000
1111111
000000
0000000111111
1111111
000000
111111
Si

c)

a)
Figura 2.

2. cada pirmide truncada se reemplaza poar un prisma vi de la misma altura y con el rea
de la base igual a la de la base superior de la pirmide truncada (figura. 2,b). El volumen
despreciado es un infinitsimo de orden superior que vi ;
3. la frmula del volumen vi se reduce al tipo vi = Si hi , donde hi donde hi (figura. 2,c) es la
distancia de la cara superior al vrtice de la pirmide (pues Si /S = h2i /H 2 )
Sh2i
vi = 2 hi ;
H
4. el volumen buscado se calcula como el lmite de la suma
n

Sh2
Vp = lm vi = lm 2i hi =
n
n
i=1
i=1 H
2.11.1.

Z H 2
Sh
0

H2

dh =

SH
.
3

Principales Aplicaciones a la Geometra

2.11.1.1. Clculo de un rea en Coordenadas Cartesianas Determinamos anteriormente (ver

seccin 2.2 on page 27) el rea de una regin limitada por la curva continua y = f (x), por las rectas
x = a, x = b y por el eje OX, como la integral de la ficcin f (x) en el intervalo (a, b), bajo la
condicin f (x) 0.
Nos proponemos ahora determinar el rea de la regin limitada por las rectas x = a, x = b y
por las dos curvas continuas y = f (x), y = g(x), bajo la condicin de que f (x) g(x). A saber, la
evaluamos como la integral
Z b

[g(x) f (x)] dx

Puede fundamentarse esta evaluacin intuitivamente de la siguiente manera:

Si ambas funciones son no negativas, entonces (Figura 3) el rea mostrada es igual a la diferencia entre el rea de la regin limitada por la curva y = g(x), por las rectas x = a, x = b y por el
46

y = g(x)

y = f (x)

x
0

Figura 3.

eje OX y el rea limitada por la curva y = f (x), por las rectas x = a, x = b y por el eje OX. Por lo
tanto, nuestra rea es igual a
Z b

g(x) dx

Z b

f (x) dx.
a

Si las funciones f (x) y g(x) tienen signo arbitrario, entonces, en virtud de su acotamiento, existe
una constante c, tal que las funciones
f1 (x) = f (x) + c,

g1 (x) = g(x) + c

sern siempre no negativas. El rea de la regin comprendida entre las curvas y = f1 (x), y = g1 (x)
y las rectas x = a, x = b, coincide evidentemente con el rea anterior, siendo igual a
Z b
a

[g1 (x) f1 (x)] dx =

Z b

[g(x) f (x)] dx.

Ejemplos.
1. Evaluar el rea P de un cuadrante de la elipse. El cuadrante de la elipse
x2 y2
+ =1
a2 b2
est limitado por las rectas x = 0, x = a, el eje OX y la curva y =
Por consiguiente,
Z
b ap 2
P=
a x2 dx,
a 0
de donde p =

ab
4 .

As pues, el rea de la elipse es igual a ab.

47

b
a

a2 x2

2. Evaluare el rea de la regin limitada por las rectas x = a, x = b (0 a < b) y la parbola

y2 = 2px.
Tenemos aqu
p
p
f (x) = 2px,
g(x) = + 2px,
por lo que
p=

Z b p

2px dx =


3
4p  3
2p b 2 a 2 .
3

Haciendo a = 0, b = x, 2px = y, obtenemos la frmula conocida para el rea del segmento

de la parbola
4
P = xy.
3
2.11.1.2. Calculo del rea en Coordenadas Polares El rea S de una figura limitada por dos
rayos = i , = que parten del polo O del sistema polar, y por una curva dada en coordenadas
polares por una funcin continua r = f ( ), puede definirse del modo siguiente (Figura.4).
n =
n1

2
1
0

x
0

Figura 4.



Efectuamos una particin del segmento 0 , f de variacin de :
0 < 1 < < n = .
El elemento de rea de la figura limitada por la curva y por los rayos = k , = k+1 , lo que
expresamos aproximadamente por el rea del sector circular limitado por los mismos rayos y por
una circunferencia de radio rk = f (k ), resultando igual a
1 2
r k ,
2 k

k = k+1 k .

48

Es natural considerar por definicin que

n1

S=

lm

max k 0

rk2 k

k=0

1
=
2

Z
o

1
r d =
2
2

f 2 ( ).

(35)

Hemos obtenido la frmula para el rea de la figura en coordenadas polares. Ya sabemos que
para una funcin continua f ( ) la integral (35) existe.
Ejemplo 2.9. La circunferencia representada en la figura 5 se determina en coordenadas polares

Figura 5.

por la ecuacin r = 2R cos . En virtud de (35), su rea es igual a

2

S = 2R

cos d = 4R

1 cos 2
d = R2 .
2

2.11.1.3. Calculo del rea en Coordenadas Paramtricas Si la curva se da por ecuaciones

en forma paramtrica, x = (t), y = (t), el rea del trapecio mixtilneo, limitado por esta curva,
por dos verticales, x = a y x = b respectivamente, y por el segmento del eje OX, se expresar por
la integral
Z
t2

S=

(t) 0 (t) dt,

t1

donde t1 y t2 se determinan de las ecuaciones

a = (t1 ) y

b = (t2 )

{(t) 0

en el segmento

[t1 ,t2 ]} .

Ejemplo 2.10.
2.11.1.4. Clculo de la Longitud de Curva en Coordenadas Rectangulares La longitud S
del arco de una curva regular y = f (x), comprendida entre dos puntos cuyas abscisas sean x = a y
x = b, es igual a
Z bp
s=
1 + y02 dx.
a

Ejemplo 2.11.

49

2.11.1.5. Clculo de la Longitud de Curva en Coordenadas Paramtricas Si la curva se

da en ecuaciones de forma paramtrica x = (t) e y = (t) (en que x = (t) y y = (t) tienen
derivadas continuas), la longitud S del arco de la curva ser igual a
S=

Z t2 p

x02 + y02 dt.

t1

donde t1 y t2 son los valores del parmetro correspondiente a los extremos del arco.
Ejemplo 2.12.
2.11.1.6. Calculo del Volumen de un Cuerpo de Revolucin Sea una curva que se describe en un sistema rectangular de coordenadas x, y por una funcin positiva continua y = f (x)
(a x b) . Calculemos el volumen V del cuerpo de revolucin limitado por los planos x = a,
x = b y por la superficie de revolucin de la curva en torno del eje x.
Efectuamos una divisin del segmento [a, b] en partes a = x0 < x1 < < xn = b y consideramos que el elemento V del volumen del cuerpo limitado por los planos x = xk , x = xk+1 , es
aproximadamente igual al volumen de un cilindro de altura xk = xk+1 xk y de radio yk = f (xk ) :
Vk y2k xk = ( f (xk ))2 xk .
La magnitud
n1

Vn =

( f (xk ))

Z b

xk =

k=0

( f (x))2 dx.

(36)

Hemos obtenido la frmula para el volumen de un cuerpo de revolucin.

y

x x + x

z
Figura 6.

50

2.11.1.7. Calculo del rea de la superficie de un Cuerpo de Revolucin Sea una curva que se describe en un sistema rectangular de coordenadas, x, y por una funcin positiva
y = f (x) (a x b) con derivada continua sobre [a, b] .
Calculemos el rea S de la superficie de revolucin de en torno del eje x. Para ello, hacemos
una particin de [a, b]
a = x0 < x1 < < xn = b,
(37)
inscribimos en la curva una poligonal n con los vrtices (xk , f (xk )) y calculamos el rea de la
superficie de revolucin de esta ltima en torno del eje x :
n1

Sn =

[ f (xk ) + f (xk+1)]

xk2 + y2k ,

y2k = f (xk+1 ) f (xk ) ,

k=0

pasando luego a lmites cuando max xk 0. Como resultado obtenemos

q
Z b p
Z b
2
0
S = 2
y 1 + y02 dx.
f (x) 1 + ( f (x) dx = 2

(38)

Ejemplo 2.13. El rea del la superficie de revolucin del trozo de parbola y = x2 (0 x 1) en

torno del eje x, es igual a
Z 1 p
S = 2
x2 1 + 4x2 dx.
0

2.11.2.

Aplicaciones a la Mecnica y a la Fsica

2.11.2.1. Momento Esttico Se denomina momento esttico de un punto material A, de masa

m, situado a una distancia d del eje l, con respecto a este mismo eje l, a la magnitud
Ml = md.
Recibe el nombre de momento esttico de un sistema de n puntos materiales, de masas
m1 , m2 , . . . , mn , situados en el mismo plano que el eje l, con respecto al cual se toman, y separados de l por las distancias d1 , d2 . . . , dn , la suma
n

Ml = mi di ,

(39)

i=1

debiendo tomarse las distancias de los puntos que se encuentren a un lado del eje l con signo (+) ,
y los que estn al otro, como signo menos () . De esta forma anloga se determina el momento
esttico de un sistema de puntos con respecto a un plano.
Si la masa ocupa continuamente toda una lnea o una figra del plano XOY, los momentos estticos MX MY respecto a los ejes de coordenadas OX y OY, en lugar de la suma (39), se expresan por
las correspondientes integrales. Cuando se trata de figuras geomtricas, la densidad se considera
igual a la unidad. En particular:
1. para la curva x = x(s); y = y(x), donde el parmetro s es la longitud del arco, tenemos:
Z L

MX =
( ds =

Z L

y (s) ds;
0

MY =

( dx)2 + ( dy)2 es la diferencial del arco);

51

x (x) ds
0

(40)

2. para una figura plana, limitada por la curva y = y (x) , el eje OX y dos verticales x = a e y = b,
obtenemos:
Z
Z b
1 b
MX =
y |y| dx;
MY =
x |y| dx.
(41)
2 a
a
Ejemplo 2.14. Hallar los momentos estticos, respecto a los ejes OX y OY, del tringulo limitado
por las rectas
x y
+ = 1,
x = 0,
y=0
(fig.7)
a b
Y

000000000
b 111111111
000000000
111111111

111111111
000000000
000000000
111111111
000000000
111111111
000000000
111111111
000000000
111111111
000000000
111111111
000000000
111111111
000000000
111111111
000000000
111111111
0
a

Figura 7.

En este caso, y = b 1 ax . Aplicando la frmula (41), obtenemos
MX =

b2
2

Z a

x 2
ab2
dx =
a
6

y
MY = b

Z a 

x 1

x
a2 b
dx =
.
a
6

2.11.2.2. Momentos de Inercia Se denomina momento de inercia, respecto a un eje l, de un

sistema de n puntos materiales, de masas m1 , . . . , mn , a la suma
n

Il = mi di2 ,
i=1

donde d1 , d2 , . . . , dn , son las distancias desde los puntos al eje l. Cuando la masa es continua, en
lugar de la suma, obtendremos la integral correspondiente.
Ejemplo 2.15. Hallar el momento de inercia de un tringulo de base b y altura h, respecto a su
propia base.
Solucin. Tomamos la base del tringulo como eje OX y su altura como eje OY (figura 8).
Dividimos el tringulo en fajas horizontales infinitamente delgadas, de espesor dy, que juegan
el papel de masas elementales dm. Empleando la semejanza de tringulos, obtenemos
dm = b

hy
dy
h

52

11111
00000
00000
11111
dm
00000
11111
00000
11111

dy

y
0

b
Figura 8.

y
b
dIX = y2 dm = y2 (h y) dy.
h
De donde
IX =
2.11.2.3.

b
h

Z h

y2 (h y) dy =

1 3
bh .
12

Teoremas de Guldin

Teorema 2.11. El rea de la superficie engendrada por la rotacin del arceo de una curva plana
alrededor de un eje, situado en el mismo plano que la curva, pero que no se corta con ella, es igual
Y
ds
C(x,
y)

Figura 9.

al producto de la longitud de dicho arco por la longitud de la circunferencia que describe el centro
de gravedad del mismo.
Teorema 2.12. El volumen del cuerpo engendrado por la rotacin de una figura plana alrededor de
un eje, situado en el mismo plano que la figura, pero que no se corta con ella, es igual al producto
del rea de dicha figura por la longitud de la circunferencia que describe el centro de gravedad de
la misma.

53

2.12.

Integracin Numrica de funciones

2.12.1.

Frmula de los Trapecios

Para calcular aproximadamente la integral

Z b

f (x) dx
a

( f (x) es una funcin continua en [a, b]) se divide el segmento de integracin [a, b] en n
partes iguales y se elige el intervalo de clculo h = ba
n . Supongamos que xi = x0 + ih
(x0 = a, xn = b, i = 0, 1, 2, . . . , n) son las abscisas de los puntos de divisin y que yi = f (xi ) son
los correspondientes valores de la funcin subintegral y = f (x). Entonces, por la frmula de los
trapecios, tenemos


Z b
y0 + yn
+ y1 + y2 + + yn1
(42)
f (x) dx h
2
a
con un error absoluto
h2
(b 1) M2 ,
Rn
12
donde M2 = max | f 00 (x)| para a x b.
Para conseguir la exactitud dada , al calcular la integral, se determina el intervalo del clculo
h partiendo de la desigualdad
12
,
h2
(b a) M2

es decir, h debe ser del orden . El valor de h as obtenido, se redondea por defecto de forma, que
ba
=n
n
sea un nmero que nos d el nmero de divisiones n. Despus de determinar h y n por la frmula
(42), se calcula la integral, tomando los valores de la funcin subintegral con una o dos cifras
decimales de reserva.
2.12.2.

Frmula de Simpson (Frmula Parabolica)

Si n es un nmero par, en las notaciones de la seccin 42 es vlida la frmula de Simpson

Z b

f (x) dx

h
[(y0 + yn ) + 4 (y1 + y3 + + yn1 ) + 2 (y2 + y4 + + yn2 )]
3

con un error absoluto

Rn

h4
(b a) M4 ,
180

(43)

(44)





Donde M4 = max  f (4) (x) cuando a x b.
Para asegurar la exactitud dada , al calcular la integral, el intervalo del clculo h se determina
partiendo de la desigualdad
h4
(b a) M4 ,
(45)
180

es decir, que el intervalo h tendr el orden 4 . El nmero h se redondea por defecto de tal forma,
que n = ba
h sea un nmero entero par.
54

2.13.

3.

Problemas

Series Numricas

3.1.

Sucesiones

Definicin 3.1 (Definicin de Sucesin). Si se tiene una ley segn la cual a cada nmero natural
corresponde un nmero determinado se dice que una sucesin de nmeros ha sido dada.
Ejemplo. Sea una ley, segn la cual a cada nmero natural corresponde un nmero en la siguiente
forma: al nmero 1 corresponde 1, al nmero 2 corresponde 21 , al nmero 3 corresponde 1/3, etc.,
en general al nmero n corresponde 1/n. Escribiendo estos nmeros obtenemos la sucesin
1 1 1 1
1, , , , , . . .
2 3 4 5
El nmero correspondiente a la unidad se llama primer trmino de la sucesin, el nmero que
corresponde al dos es el segundo trmino de la sucesin, etc., el nmero correspondiente n es el
nsimo trmino de la sucesin.
Los trminos de una sucesin se representan en la siguiente forma: tomamos una letra arbitraria,
a, por ejemplo, el primer trmino lo representamos con el smbolo a1 , el segundo trmino con el
smbolo a2 etc., el trmino general (ensimo) con el smbolo an. Se leen as: a primera a ndice 1,
a segunda a ndice 2, etc., a ensima a ndice n. Observemos que si an es el ensimo trmino de
una sucesin, an+1 sera el trmino subsecuente, an+2 ser el segundo trmino subsecuente etc., y el
trmino an+k ser el ksimo despus de an . Asimismo, an1 es el trmino que precede al an , an2
el que precede al an1 , etc., La sucesin cuyo trmino general es an frecuentemente se representa
en forma abreviada por {an } ; por ejemplo, la sucesin 1, 21 , 13 , 41 , . . . se representa con el smbolo
1
n .
Nos proponemos ahora este problema en qu forma puede obtenerse una cierta sucesin?. O
en otras palabras por qu mtodo puede darse una sucesin? En diversos casos puede procederse
de manera diversa.
Mostraremos algunos mtodos para formar sucesiones.
1. Damos una sucesin mediante una frmula, digamos por ejemplo
an = 5n.
Vemos de inmediato que
a1 = 5,

a2 = 5 2 = 10 a3 = 5 3 = 15, . . . , a20 = 5 20 = 100, . . .

Anlogamente, dada la sucesin mediante una frmula, haciendo

an = 5n2 n + 1.
entonces a1 = 5, a2 = 19, a3 = 43, . . . , q100 = 49901, . . . .

2. Damos una sucesin diciendo, por ejemplo, que an es la ensima cifra del nmero 2. Encontramos que
a1 = 1, a2 = 4, a3 = 1, . . .

Calculando 2 por medio del conocido algoritmo encontramos la primera, segunda, tercera,
etc., cifras., As pues, nuestra sucesin queda determinada.
Similarmente definimos una sucesin diciendo que an es la cifra ensima del nmero .
55

3. Otro mtodo para dar una sucesin es el llamado mtodo de recurrencia4 . Consiste en dar
el primer trmino y el mtodo de clculo del trmino ensimo con auxilio de su predecesor.
Aclaremos con algunos ejemplos.
a) Sea que el primer trmino es cero y cada uno de los siguientes el triple de su predecesor
mas dos, es decir
a1 = 0, an = 3an1 + 2.
Tendremos
a2 = 2,

a3 = 8,

a4 = 26, . . .

b) Sea uno el primer trmino y cada uno de los siguientes igual a la suma de todos los
trminos precedentes, es decir
a1 = 1,

an = a1 + a2 + a3 + + an1 .

a2 = 1,

a3 = 2,

En este caso
a4 = 4,

a5 = 8, . . .

c) Sea que el primer trmino tiene un valor a y cada uno de los siguientes es igual al
precedente ms un nmero d, es decir,
a1 = a,

an = an1 + d

(progresin aritmtica)

Tendremos
a2 = a + d,
3.1.1.

a3 = a + 2d, . . . .

Lmite de una Sucesin

Consideremos ahora una sucesin {an } cualquiera no necesariamente montona. Puede suceder
que exista un nmero g, al que los trminos de la sucesin se aproximan ilimitadamente. Esto
significa que dado un nmero arbitrariamente pequeo > 0 encontraremos cierto trmino de la
sucesin tal que todos los subsecuentes de ste, difieran de g, en una cantidad menor que .
Puede demostrarse que si tal nmero existe es nico.
El nmero g se llama lmite de la sucesin, y como antes, se representa por:
lm an = g.

Si la sucesin {an } no tiene lmite se dice que es divergente.

n
no
Ejemplo 3.1. La sucesin (1)
es convergente, y su lmite es igual a cero.
n
Ejemplo 3.2. La sucesin {(1)n } es divergente.
4O

mtodo de recursin.

56

3.2.

Series

3.2.1.

Series con Trminos Constantes

3.2.1.1. Definicin de Serie. Series Convergentes.

{an }. Hagamos

Sea dada la sucesin de nmeros

s1 = a1 ,
s2 = a1 + a2 ,
s3 = a1 + a2 + a3 ,
.. .. ..
. . .
sn = a1 + a2 + + an .
Si la sucesin {sn } tiene un lmite S, entonces simblicamente escribimos esto as
S = a1 + 12 + + an +

S=

an.

n=1

La expresin que se encuentra en el miembro derecho de estas dos igualdades se llama serie y
{sn } es la sucesin de sus sumas parciales. El nmero S se llama suma de la serie
a1 + a2 + a3 +
Se dice tambin que la serie
a1 + a2 + a3,
converge S. Los nmeros
a1 , a2 , a3 , . . .
se llaman trminos de la serie.
Una serie que no es convergente se dice que es divergente.
Ejemplos.
1. an = aqn1 , |q| < 1 (serie geomtrica). Como es sabido
sn = a

1 qn
a
aqn
=

.
1q
1q 1q

Como |q| < 1, entonces lmn |qn | = 0, por lo que

lm sn =

esto es

a
,
1q

a
= a + aq + aqn + + aqn ,
1q

a
= aqn1 ,
1 q n=1

57

|q| < 1.

Por ejemplo,
 2  3
 n
1
1
1
1
1= +
+
++
+ ,
2
2
2
2

 n
1
1=
.
n=1 2

1
1
2. an = n(n+1)
= n1 n+1
;
por consiguiente,

 
 



1
1
1 1
1 1
1
sn = 1
+

++

,
2
2 3
3 4
n n+1
esto es,
1
sn = 1
,
n+1
de donde
S = lm sn = 1;
n

As pues,

n (n + 1) .

1=

n=1

3.2.1.2. Lmite de una Sucesin Convergente como la Suma de una Serie

Entonces, haciendo
a1 = b1 ,
an = bn bn1 ,

n = 2, 3, . . . ,

obtenemos
sn = a1 + a2 + + an
= b1 + (b2 b1 ) + (b3 b2 ) + + (bn bn1 ) ,
por consiguiente,
sn = bn ,
as que
lm sn = g

g=

an = b1 + (bn+1 bn) .

n=1

n=1

Por ejemplo, si
bn =
entonces

2n + 1
,
3n 1

2
lm bn = ;
n
3

por consiguiente,

2
3
5
= b1 + (bn+1 bn ) = + 2
3
2 n=1 9n + 3n 2
n=1

58

Sea lmn bn = g.

3.2.1.3.

Condicin Necesaria de Convergencia Si la serie

n=1 an es convergente, entonces
lm an = 0.

Esto resulta evidente si observamos que

an = sn sn1 .
Efectivamente,
lm an = lm (sn sn1 ) = lm sn lm sn1 = S S = 0.

La aplicacin de esta condicin permite, a menudo, comprobar la divergencia de alguna serie.

n1 es divergente para a 6= 0 y |q| 1, porque
Por ejemplo, sabemos que la serie geomtrica
n=1 aq


|an | = |a| qn1  |a|.
No debe, sin embargo, pensarse que puede sacarse una conclusin inversa: cuando lmn an =
0, entonces la serie
n=1 an es convergente. Como rplica puede servir la serie



1
ln 1 + n .
n=1
En efecto,


1
lm ln 1 +
= ln 1 = 0.
n
n
Sin embargo, por otra parte,


n+1
1
ln 1 +
= ln
= ln(n + 1) ln n,
n
n
por consiguiente,
sn = (ln 2 ln 1) + (ln 3 ln 2) + + [ln(n + 1) ln n]

sn = ln(n + 1).


1
As pues, la sucesin sn tiende +, por consiguiente la serie
n=1 ln 1 + n es divergente.
Otro ejemplo de serie divergente con trminos que tienden a cero es la llamada serie armni1
ca
n=1 n . Efectivamente, si esta serie fuera convergente, entonces representando su suma por S,
tendramos
lm (s2n sn ) = lm s2n lm sn = S S = 0.
n

Pero
s2n sn =

1
1
1
+
++ .
n+1 n+2
2n

1
1
La primera parte decrece si cada uno de sus trminos se substituye por 2n
. De aqu s2n sn > n 2n
=
1
2 . De donde se concluye que no es posible la igualdad lmn (s2n sn ) = 0.

59

3.2.1.4. Series Acotadas Se dice que la serie

n=1 an es acotada si la sucesin {sn } de sus
sumas parciales es acotada.
Si la serie
n=1 an es convergente, esto es si la sucesin {sn } es convergente, entonces esta
sucesin es acotada . Esto significa que la serie
n=1 an , es acotada, as que toda serie convergente
es acotada.
No podemos, sin embargo, afirmar su recproca. Lo que podramos replicar con la serie

(1)n = 1 + 1 1 + 1

n=1

Aqu tenemos
s1 = 1,

s2 = 0,

s3 = 1,

s4 = 0, . . . , sn =

1 + (1)n
.
2

Por consiguiente, vimos que

|sn | 1.
n
No obstante, la sucesin sn no tiene lmite, esto es, la serie
n=1 (1) es divergente.
Sobre una serie acotada, de trminos no-negativos, podemos establecer el siguiente teorema
Una serie acotada con trminos no-negativos es convergente.
La demostracin puede hacerse de inmediato. Es suficiente con observar que por las condiciones
antes mencionadas la sucesin {sn } es no-decreciente y acotada, en virtud de lo cual se concluye
su convergencia (ver Pagina. 24).

Ejemplo 3.3. La serie n=1 n1s (s > 1) es convergente. Efectivamente, segn el teorema sobre el
valor medio tenemos
(x + h)s+1 xs+1 = (s + 1) h (x + h)s ;
haciendo x = n, h = 1, obtenemos para n > 1
1

1
1

=
(s

1)
.
(n )s
(n 1)s1 ns1
Como
0 < < 1,
entonces,
1
1
s > s
(n )
n
por consiguiente,
1
1
<
ns s 1

1
(n 1)s1

1
ns1

!
.

As pues,
sn



1
1
1
1
1
1
= 1+ s + s ++ s < 1+

+
2
3
n
s 1 1s1 2s1




1
1
1
1
1
1
+

++

,
s 1 2s1 3s1
s 1 (n 1)s1 ns1
60

de donde



1
1
1 s1 .
sn < 1 +
s1
n

1
s
Como s > 1, entonces ns1
.
= s1
1
De donde se ve que la serie
n=1 ns (s > 1) con trmino positivos es acotada, y por tanto,
convergente.

3.2.1.5. Series Absolutamente Convergentes Se dice que una serie es absolutamente (o incondicionalmente) convergente, si otra serie formada con las magnitudes absolutas de los trminos de
la primera es convergente.


1 n
La serie
es absolutamente convergente ya que la serie
n=1 2

n 

 n

1
1


 2  = 2
n=1
n=1
es convergente.
Una serie absolutamente convergente es convergente en sentido ordinario. Su suma se obtiene
sumando la suma de sus trminos positivos con la suma de sus trminos negativos.
Llamamos suma de los trminos positivos de la serie
n=1 an (si existe) a la suma de la serie

obtenida de la serie n=1 an al substituir por cero los trminos negativos. Similarmente definimos
la suma de los trminos negativos.
Nuestro teorema afirma que si la serie
n=1 an es absolutamente convergente, entonces representamos por T la suma de sus trminos positivos y por W la suma de trminos negativos, obtenemos
S = T +W.
Representemos por tn (wn , correspondientemente) la ensima suma parcial de la serie de trminos positivos (negativos, respectivamente). Es claro que las sucesiones {tn } y {wn } son montonas
y acotadas, ya que

|tn |

|an| ,

n=1

|wn |

|an| .

n=1

Por lo tanto las sucesiones {tn } y {wn } son convergentes. Hagamos

T = lm tn ,
n

W = lm wn ;
n

T es, por consiguiente, la suma de los trminos positivos y W la suma de los negativos. Observemos
ahora que
sn = tn + wn ,
lm sn = lm tn + lm wn .

As pues,
S = T +W,
por consiguiente, la serie
n=1 an converge y su suma es igual a la suma de los trminos positivos,
adicionada con la suma de sus trminos negativos.
61

3.2.1.6. Independencia de la Suma de una Serie respecto al Orden de los Trminos La

suma de una serie absolutamente convergente no depende del orden de sus trminos.
Representemos por s0 n la suma de los n primeros trminos de la serie
n=1 bn obtenida de la
serie
a
alterando
el
orden
de
sus
trminos
no-negativos.
Elijamos
un
nmero
entero arbitrario
n=1 n

0
m. Puesto que todos los trminos de la suma s m pertenecen a la serie n=1 an .
Puede encontrarse un nmero N tal que la suma sN contenga todos los trminos s0m (y quiz,
an otros).
De suerte que
s0m sN .
Pero
sN S,
esto es,
s0m S.

(46)

As pues, la sucesin {s0m } es no-decreciente y acotada, por consiguiente, convergente. Haciendo

S0 = lm s0n ,
n

obtenemos, de acuerdo con (46)

S0 S.

(47)

Procediendo anlogamente, podemos demostrar que

S0 S.

(48)

Efectivamente, podemos considerar la serie

n=1 an como obtenida de la serie n=1 bn al alterar el
orden de sus trminos.
De las desigualdades (47) y (48) obtenemos:

S0 = S.
De manera anloga se proceder cuando los trminos de la serie
n=1 an sean no-positivos.
Pasemos ahora al caso general (esto es, se desistir de suponer que los trminos de la serie

n=1 an tienen el mismo signo). Observemos que las series que se obtienen de las series
n=1 an

y n=1 bn al substituir sus trminos negativos sern respectivamente iguales, ya que (a causa del
teorema anterior) ambas series tienen las mismas sumas.
3.2.1.7. Series Condicionalmente Convergentes Las series convergentes no absolutamente
convergentes se llaman condicionalmente convergentes.
La serie
1 1
1 1 1 1
11+ + ++ +
2 2 3 3
n n
es convergente, ya que
s1 = 1,

s2 = 0,

1
s3 = ,
2

s4 = 0, . . . ,

por consiguiente,
lm sn = 0.

62

s2n = 0,

s2n+1 =

1
,
n+1

Sin embargo esta serie no es absolutamente convergente, ya que la serie

1 1 1 1
1 1
1+1+ + + + ++ + +
2 2 3 3
n n
es divergente. Efectivamente, tenemos
s2n = 2
Ya que la expresin encerrada en el parntesis es la ensima suma de la serie armnica (ver
Pagina. 193), entonces
lm s2n = .
n

Se puede demostrar que cualquier serie condicionalmente convergente puede ser transformada
en una serie que converge a un nmero arbitrario fijado de antemano, alterando el orden de sus trminos. Por consiguiente, si la suma de una serie convergente no depende del orden de sus trminos,
entonces esta serie es absolutamente convergente.
3.2.1.8. Condicin Necesaria y Suficiente de Convergencia de una Serie Anlogamente a
la teora de las sucesiones puede formularse la condicin necesaria y suficiente para que la serie

n=1 an sea convergente.

Observemos que si p > 0, entonces
sn+p sn = an+1 + an+2 + + an+p .
Por tanto es vlida la siguiente proposicin
Teorema de Cauchy. Para que la serie
n=1 an sea convergente es necesario y suficiente que
para todo > 0 pueda encontrarse un nmero N tal que para los enteros cualesquiera p > 0 y n > N
se cumpla la desigualdad




sn+p sn  < , esto es, an+1 + an+2 + + an+p  < .
Ejemplo. Sea {an } una sucesin arbitraria con trminos positivos, decrecientes y que tienden a
cero. Demostrar que la serie
a1 a2 + a3 a4 + + (1)n1 an +
es convergente.
Tenemos:
sn+p sn = (an+1 an+2 + an+p )

(p > 0).

Aceptemos que n es par; entonces obtenemos:

sn+p sn an+1 ,
Como
sn+p sn = an+1 + (an+2 + an+3 ) + (an+4 + an+5 ) + .
y las expresiones en los parntesis son, evidentemente no positivas.
Observemos, todava que
0 sn+p sn .
En efecto,
sn+p sn = (an+1 an+2 ) + (an+3 an+4 ) + .
63

y las expresiones entre parntesis son no negativas.

Puede demostrarse, anlogamente, que se n es impar entonces
an sn+p sn 0.
As pues, para cualesquier n y p > 0 tenemos:


sn+p sn  an .
Como lmn = 0, entonces para todo nmero > 0 puede tomarse tal nmero N para cada
n > N se satisfaga la desigualdad
an <
por consiguiente, para todo n > N y p > 0 tiene lugar la desigualdad


sn+p sn  < .
Entonces, nuestra serie satisface la condicin de Cauchy y por consiguiente, es convergente.
Las siguientes seres pueden servir de ejemplos
1 1 1
1 + + ,
2 3 4
3.2.2.

1
1
1 +
3
2

Criterios de Convergencia

3.2.2.1. Comparacin de Series No siempre es fcil investigar la convergencia o divergencia

de una serie dada. En muchos casos se hace uso de la siguiente proposicin:
Teorema. Si, a partir de cierto trmino, todos los trminos subsecuentes de la serie
n=1 an no
exceden en ndulo los correspondientes trminos de la serie
b
(b

0),
entonces
de la
n
n=1 n

convergencia de la serie n=1 bn se deduce la convergencia de la serie n=1 an (incluso, absoluta)

y de la divergencia de la serie
n=1 an se deduce la divergencia de la serie n=1 bn .
Demostracin. Sea aN aquel trmino, a partir del cual cada uno de los trminos subsecuentes an
(n > N) satisfacen la desigualdad
|an | bn .
Es fcil ver, que haciendo
sn =|a1 | + |a2 | + + |an |,
s0n =b1 + b2 + + bn ,
obtenemos:

sn sN + sn .
Si ahora admitimos que la serie
n=1 bn es convergente, entonces, haciendo

S =

bn,

n=1

tendremos:

sn S ;
64

(49)

de donde, en virtud de (49)

sn sN + S

Por consiguiente, la serie

n=1 |an | es acotada, y por tanto convergente.

As pues la serie n=1 an es absolutamente convergente.

De la aceptacin de que la serie
n=1 an es divergente, se concluye la divergencia de la serie

n=1 bn . Efectivamente, en caso contrario, en virtud de tan slo de lo demostrado la convergencia

de la serie
n=1 bn implica la convergencia de la serie n=1 an .
Ejemplos.
1
1
+ 45
+ es convergente, ya que sus trminos son menores que los
Ejemplo 3.4. La serie 1 + 23

trminos de la serie convergente n=1 n12 (ejemplo (3.3))

2

Ejemplo 3.5. La serie 1x + x2 + x3 + es absolutamente convergente para todo x del intervalo

1 < x < 1, ya que las magnitudes absolutas de los trminos de esta serie no exceden los trminos
de la serie geomtrica
n=1 |x|.
1
Ejemplo 3.6. La serie
n=1 ns (x 1) es divergente ya que sus trminos no son menores que los
1
trminos de la serie armnica
n=1 n .

3.2.2.2. Criterio de Cauchy

vlido el siguiente teorema:

Si los trminos de la serie

n=1 an son no negativos, entonces es

Teorema 3.1 (Criterio de Cauchy).

1. Si existe un nmero no-negativo q < 1, tal que a partir
de cierto trmino aN todos los subsecuentes satisfagan la desigualdad:

n
an q
(n > N),
entonces la serie
n=1 an es convergente.
2. Si existe un q 1, tal que a partir de cierto trmino aN todos los subsecuentes satisfagan la
desigualdad

n
an q
(n > N),
entonces la serie
n=1 an es divergente.
Demostracin. En el primer caso tenemos:
an qn

(n > N).

Como la serie qn es la serie geomtrica, convergente (0 q < 1), entonces, de acuerdo con
el teorema sobre la comparacin de series, la serie an converge.
En el segundo caso tenemos:
an qn (n > N).
Como la serie qn es divergente (q 1), entonces la serie
n=1 an es divergente.

Para las aplicaciones es frecuentemente til la proposicin siguiente, que fcilmente se deduce
de las anteriores:
65


Teorema 3.2. Si los trminos de la serie an son no-negativos y si lmn n an existe, entonces

1. La serie converge, si lmn n an < 1;

2. La serie diverge, si lmn n an > 1;

si lmn n an = 1, entonces no es posible decir nada sobre la convergencia de la serie.

Demostracin. Hagamos
lm

n
an = l;

eligiendo un nmero > 0, arbitrario, podemos encontrar cierto nmero N, que para n > N sea

| n an l| < .
Si se acepta que l > 1, entonces haciendo =

q > 1,

1l
2 ,

q = l + , obtenemos:

an < q para n > N.

As pues, segn el teorema anterior la serie

n=1 an es convergente.
Si l > 1, entonces, haciendo
l 1
=
, q = l ,
2
obtenemos:

q > 1, n an > q para n > N.

Por consiguiente, la serie
n=1 an es divergente.
Ejemplos.
1
Ejemplo 3.7. La serie
n=1 nn es convergente, ya que lmn

q
n

1
nn

= lmn 1n = 0.

x
Ejemplo 3.8. La serie
n=1 2ln n es convergente para 0 < x < 1, puesto que

r
lm

xn
x
x
= lm ln n = 0 = x
ln
n
n 2 n
2
2

1
Ejemplo 3.9. El criterio de Cauchy no resuelve el problema de la convergencia de la serie
n=1 n2 ,
ya que tenemos
r


1 s
n 1
lm
= lm
= 1.
n
ns n n n

Sin embargo sabemos que para s 1 la serie es divergente (ejemplo 3.6 on the previous page) y
para s > 1 convergente (ejemplo 3.3 on page 60)

66

3.2.2.3. Criterio de DAlembert Aceptemos que todos los trminos de la serie

n=1 an son
positivos (en particular, diferentes de cero). Se puede formular el siguiente teorema:
Teorema 3.3 (Criterio de DAlembert).
1. Si existe un nmero no-negativo q < 1, tal que a partir de cierto trmino aN todos los subsecuentes satisfagan la desigualdad
an+1
q
an

(n > N),

entonces la serie
n=1 an es convergente.
2. Si existe un nmero q 1, que, a partir de cierto trmino aN todos los subsecuentes satisfagan la desigualdad
an+1
q
(n > N),
an
entonces la serie
n=1 an es divergente.
Demostracin. Observemos que en el primer caso an+1 an q (n > N), por consiguiente, haciendo
n = N + 1, N + 2, N + 3, . . . , N + p (p > 0), obtenemos
aN+3
aN+1 q,
aN+3
aN+2 q
aN+1 q2

p1
aN+p aN+1 q .
Como la serie p=1 aN+1 q p1 converge (q < 1), entonces la serie
n=1 an tambin converge.
Similarmente procedemos en el segundo caso.
De este criterio se deduce la siguiente proposicin
Teorema 3.4. Sea que los trminos de la serie
n=1 an son positivos y que existe el lmite
an+1
lmn an . Entonces
< 1, la serie ser convergente;
si lmn aan+1
n
an+1
si lmn an > 1, la serie ser divergente.
En el caso en que lmn aan+1
= 1, no es posible afirmar nada sobre la convergencia de la
n
serie.
La demostracin es semejante a la demostracin desarrollada para el teorema 3.2 on the previous page.
Ejemplos.
n

x
Ejemplo 3.10. La serien
n=1 n! es convergente para todo x.
Efectivamente, tenemos
"
#
|x|n+1
|x|n
|x|
lm
= lm

= 0.
n (n + 1)!
n n + 1
n!

67

x
Ejemplo 3.11. La serie
n=1 n es convergente para 0 x < 1.
Efectivamente, tenemos
 n+1

n
x
xn
lm

= lm
x=x
n n + 1
n
n
n+1

Por consiguiente, si 0 x < 1, la serie ser convergente; as mismo, si x > 1, la serie ser
divergente.
n

2 n!
3 n!
Ejemplo 3.12. La serie
n=1 nn converge siempre pero la serie n=1 nn es divergente.
Efectivamente, en el primer caso tenemos

2
2
an+1
= lm

n = < 1,
1
n 1 +
n an
e
n
lm

y en el segundo caso
lm

3.2.3.

3
an+1
3
= lm

n = > 1.
1
n
an
e
1+ n

Problemas

Demostrar la convergencia de las series

n
3n ,
n=1

1
1 + 2n ,
n=1

n=1 n

5
2

1
(ln n)n ,
n=1

n!

nn

n=1

y la divergencia de las series

1
2n + 5 ,
n=1
3.2.4.

1
ln n ,
n=2

1
pn(n + 1) ,
n=1

n!

100n .

n=1

Sucesiones y Series de Funciones

3.2.4.1. Definicin de la Convergencia de una Sucesin Funcional Sea dada la secuencia

de funciones { fn (x)} , definidas en el intervalo (a, b). Se dice que la funcin f (x), definida en el
intervalo (a, b), es el lmite de la secuencia funcional { fn (x)} , en este intervalo, si para cada punto
x0 del intervalo (a, b)
lm fn (x0 ) = f (x0 ) .
n

Si f (x) es el lmite de la secuencia { fn (x)} en el intervalo (a, b), escribiremos

lm fn (x) = f (x).

El concepto de suma S(x) de la serie

n=1 f n (x), se define de manera semejante.
Ejemplos.
Ejemplo 3.13. fn (x) =

sin nx
n ;

lmn fn (x) = 0, ya que | fn (x)|

68

1
n

Ejemplo 3.14. fn (x) = 1 + nx

Efectivamente, tenemos

n

; lmn fn (x) = ex .


m
m z
lm 1 +
= lm ez ln(1+ z ) .
z
z
z
|
{z
}
1

Pero



ln 1 + mz
m
=m
= lm
lm z ln 1 +
1
z
z
z
z
|
{z
}
0

por consiguiente,



m z
= em ,
lm 1 +
z
z


x n
lm 1 +
= ex .
n
n

esto es

Ejemplo 3.15. fn (x) = n sin nx ; lmn fn (x) = x.

Efectivamente, tenemos
sin mz
m
lm n sin = lm 1 = m,
z
z
z
| {z z}
0

lm n sin

 1

Ejemplo 3.16. fn (x) = n x n 1 .
haciendo uso de

x
= x.
n

az 1
= ln a,
z
z
lm

obtenemos

lm fn (x) = lm

xn 1
1
n

= ln x

3.2.4.2. Convergencia Uniforme Se dice que dos funciones f (x) y (x) en un intervalo cerrado
[a, b] difieren entre s en menos que ( > 0), si para todo x del intervalo [a, b] tiene lugar la
desigualdad
| f (x) (x)| < .
Se dice, asimismo, que la sucesin funcional { fn (x)} converge uniformemente en el intervalo [a, b]
a la funcin f (x) si para todo > 0 encontramos en nuestra sucesin una funcin fN (x) tal que
toda funcin subsecuente difiera de f (x) en menos que , esto es
| fn (x) f (x)| < para a x b, n > N.


Ejemplo 3.17. La sucesin sinnnx converge uniformemente a cero.
Efectivamente, tenemos



 1
sin
nx
0
 ;

n  n
por consiguiente, para n >

se tiene




sin
nx
0
 < .

n 
69

Observacin. Es evidente que una sucesin funcional, uniformemente convergente hacia cierta
funcin f (x) converge tambin a ella en sentido ordinario. La recproca, sin embargo, no puede
afirmarse.
En efecto, consideremos la secuencia funcional
fn (x) = xn

(0 x 1).

Converge en el intervalo cerrado [0, 1] a la funcin f (x), definida en la siguiente forma

(
0 para 0 x < 1,
f (x) =
1 para x = 1.
Observemos, sin embargo, que para un nmero < 1, arbitrario positivo y para una funcin
arbitraria fn (x) = xn de nuestra sucesin es vlida la desigualdad


fn n = .

As pues, para x = n tenemos.

| fn (x) f (x)| = .
Pero entonces ninguna de las funciones de nuestra secuencia puede diferir de f (x) en menos que ,
esto es, la secuencia no converge uniformemente f (x).
3.2.4.3. Operaciones entre Sucesiones Funcionales Uniformemente Convergentes. Condicin Necesaria y Suficiente de Convergencia Uniforme. Comparando la definicin de la convergencia de las sucesiones numricas con la definicin de la convergencia uniforme de sucesiones
de funciones vemos que estas ltimas son la generalizacin natural de las primeras.
Muchos de los teoremas de la teora de las sucesiones numricas fcilmente se trasladan a las
sucesiones uniformemente convergentes de funciones.
1. Si las sucesiones funcionales { fn (x)} y {n (x)} convergen uniformemente en [a, b], f (x) y
(x), respectivamente, entonces:
a) La sucesin { fn (x) + n (x)} converge uniformemente a f (x) + (x);
b) La sucesin { fn (x) n (x)} converge uniformemente a f (x) (x).
2. Si existe un nmero > 0, tal que para todo x del intervalo [a, b]
|n (x)| > ,
entonces la sucesin

fn (x)
n (x)

converge uniformemente a

f (x)
(x) .

Teorema 3.5 (Condicin Necesaria y Suficiente de Convergencia Uniforme). Para que una sucesin funcional { fn (x)} converja uniformemente en el intervalo cerrado [a, b] a cierta funcin es
necesario y suficiente que para todo > 0 pueda determinarse en la sucesin una funcin fN (x)
tal que dos funciones cualesquiera, subsecuentes difieran entre s en menos que , en el intervalo
[a, b], esto es,


 f p (x) fq (x) < para a x b, p, q > N.
70

Demostracin. Esta condicin es necesaria. En efecto supongamos que la sucesin { fn (x)} converge uniformemente a f (x) en (a, b). Eligiendo un nmero arbitrario 0 > 0, puede en virtud de la
definicin de convergencia uniforme fijarse en la sucesin una funcin fN (x), tal que
| f (x) fn (x)| < 0

para a x b,

n > N.

(50)

Tomando ahora dos funciones arbitrarias f p (x) y fq (x) ubicadas en la sucesin de funciones fN (x),
obtenemos

 
 
 

 f p (x) fq (x) =  f p (x) f (x) + f (x) fq (x)  f p (x) f (x) +  f (x) fq (x).
De donde, en virtud de (50), obtenemos


 f p (x) fq (x) < 2 0 ,

para a x b,

p, q > N.

(51)

Haciendo ahora 0 = 2 , comprobamos la necesidad de nuestra condicin.

La condicin es suficiente tambin. Admitamos que nuestra sucesin satisface esta condicin.
Entonces, como fcilmente se ve, converge para todo a x b; lo que se deduce inmediatamente
del teorema de Cauchy sobre las sucesiones.
Hagamos
lm fn (x) = f (x).
n

Sea un nmero arbitrario positivo. En virtud de la suposicin, en la sucesin existe una funcin
fN (x) tal que


 f p (x) fn (x) para a x b, p > N, n > N;
(52)
pero


lm  f p (x) fn (x) = | f (x) fn (x)| (a x b),

por consiguiente, con fundamento en (52),

| f (x) fn (x)|

para a x b,

n > N.

Vemos, as, que la sucesin { fn (x)} es uniformemente convergente.

3.2.4.4.

Condicin Suficiente de Continuidad de una Funcin Lmite

Teorema 3.6. El lmite de una sucesin uniformemente convergente de funciones continuas se una
funcin continua.
Demostracin. Aceptemos que la sucesin { fn (x)} de funciones continuas, en el intervalo cerrado
[a, b], converge uniformemente, en este intervalo, a la funcin f (x). Elijamos un nmero arbitrario
0 > 0. Como se deduce de la condicin, existe en nuestra sucesin una funcin fn (x) que difiere
de f (x) en menos que 0 , es decir,
| f (x) fn (x)| > 0

(a x b).

(53)

Sea x0 un punto inferior cualquiera del intervalo [a, b]. Como segn la condicin fn (x) es continua, existir una vecindad tal del punto x0 que para todo punto x0 de esta vecindad se satisfaga la
desigualdad
| f (x) fn (x)| < 0 .
(54)
71

Pero
 0
 

 f (x ) f (x0 ) =  f (x0 ) fn (x0 ) + fn (x0 ) fn (x0 ) + fn (x0 ) f (x0 ),
de donde
 0
 
 

 f (x } f (x0 )  f (x0 ) fn (x0 ) +  fn (x0 ) fn (x0 ) + | fn (x0 ) f (x0 )|.
Con fundamento en (53) y (54), tenemos
 0

 f (x ) f (x0 ) < 0 + 0 + 0 = 3 0 .
Haciendo 0 = 3 , vemos que para todo punto x0 se encuentra una vecindad tal que en cada punto
x0 tiene lugar la desigualdad
 0

 f (x ) f (x0 ) < .
As pues, la funcin f (x) es continua para x = x0 . Anlogamente se demuestra su continuidad para
x = a y x = b. De suerte que la funcin f (x) es continua en el intervalo cerrado [a, b].
Observacin. Es fcil demostrar que si una sucesin de funciones continuas converge uniformemente, entonces su funcin lmite no necesariamente es continua. Efectivamente, haciendo
fn (x) = xn vemos que
(
0 para 0 x < 1,
lm xn =
n
1 para x = 1
(ver ejemplo 3.17 on page 69)
As pues, la funcin lmite no es continua para x = 1.
3.2.4.5. Convergencia Uniforme de las Series El concepto de convergencia uniforme de una
sucesin de funciones puede extenderse fcilmente a la series de funcionales. Se dice que la serie
funcional
n=1 f n (x) converge uniformemente, en un intervalo cerrado [a, b], si la correspondiente
sucesin funcional {sn (x)} de sus sumas parciales converge uniformemente en este intervalo.
Para investigar si una serie funcional dada converge uniformemente, lo que frecuentemente es
importante, en muchos casos es suficiente la siguiente proposicin.
Teorema 3.7 (Condicin de convergencia Uniforme de una Serie). Sea dada la serie funcional

n=1 f n (x) y la serie numrica convergente n=1 an con trminos no-negativos. Si a partir de cierta
funcin fN (x) se satisfacen siempre las desigualdades
| fn (x)| an

para

n > N,

a x b,

Entonces la serie
n=1 f n (x) converge uniformemente en el intervalo [a, b].
Demostracin. Observemos que si p > q > N, entonces, haciendo
m

sm (x) =

fn (x),

n=1

m =

an,

n=1

obtenemos
 


s p (x) sq (x) =  fq+1 (x) + fq+2 (x) + + f p (x),
72

por consiguiente,

 
 



s p (x) sq (x)  fq+1 (x) +  fq+2 (x) + +  f p (x).
Por lo que, en virtud de la condicin


s p (x) sq (x) aq+1 + aq+2 + + a p ,
esto es,


s p (x) sq (x) p q

para a x b,

p > q > N.

(55)

Como de acuerdo con dicha condicin, la serie

n=1 an , y por consiguiente la sucesin {n } ,
converge, entonces con base en el teorema de Cauchy pude determinarse un nmero N 0 tal que para
p > N 0 y q > N 0 es vlida la desigualdad


 p q  .
(56)
Tomando ahora un nmero arbitrario N 00 mayor que los nmeros N y N 0 obtenemos, en virtud de
(55) y (56)


s p (x) sq (x) < para a x b, p > q > N 00 .
As pues, la sucesin {sn (x)} , converge uniformemente en el intervalo cerrado [h, h] bajo la
condicin de que |h| < 1. Efectivamente, tenemos
 n
 x  |h|n
 
|h|n ;
n
n
n
la propia serie geomtrica
n=1 |h| converge para |h| < 1.

3.2.4.6. Convergencia Absoluta y Uniforme de Series Funcionales Se dice que la serie funcional
n=1 f n (x) converge absoluta y uniformemente en un intervalo cerrado [a, b], si la serie

n=1 | fn (x)| converge uniformemente en este intervalo. Es fcil ver que si la serie converge absoluta y uniformemente, entonces tambin converge uniformemente. La recproca, no obstante no es
verdadera.
3.2.4.7.

Diferenciacin de Sucesiones y Series

Teorema 3.8. Si las funciones de la sucesin { fn (x)} son n

continuas
o y tiene primeras derivadas
0
continuas en el intervalo [a, b] y si las sucesiones { fn (x)} y fn (x) convergen uniformemente en
este intervalo, haciendo
lm fn (x) = f (x),
n

podemos aseverar que la funcin f (x) tiene derivada y que

0

lm fn (x) = f (x)

73

Demostracin. Hagamos

lm f (x) = (x).
n n
Sea x0 un punto arbitrario en el interior del intervalo [a, b].
Por el teorema sobre el valor medio tenemos
 


  0
 fn (x0 + h) fn (x0 )



(x0 ) =  fn (x0 + h) (x0 ) =

h
 0



=  fn (x0 + h) (x0 + h) + |(x0 + h) (x0 )|
 0



 fn (x0 + h) (x0 + h) + |(x0 + h) (x0 )|.
Sea un nmero arbitrario positivo. Como la sucesin

(57)

o
0
fn (x) converge uniformemente a (x)

entonces existe un nmero N tal que para todo n > N 0 y para todo x es vlida la desigualdad

 0


 fn (x) (x) < .
2
De donde se desprende que para n > N y para todo h, tenemos

 0


f
(x
+

h)

(x
+

h)
< .
 n 0
0
2

(58)

Como la funcin es continua en tanto que el lmite de la sucesin uniformemente convergente

de funciones continuas, existir un nmero > 0, tal que para todo x que satisface la desigualdad
|x0 x0 | < tiene lugar


(x0 ) (x0 ) .
2
Por consiguiente, si |h| < , entonces, tomando en cuenta que 0 < < 1, obtenemos

|(x0 + h) (x0 )| < .

2
De las relaciones (57), (58) y (59) se deduce la desigualdad


 f (x0 + h) f (x0 )


(x0 ) .

h

(59)

(60)

Si se acepta que n tiende al infinito, entonces de la desigualdad (60) obtenemos la desigualdad



 f (x0 + h) f (x0 )


(x0 ) .
(61)

h
As pues, hemos demostrado que para cualquier nmero > 0 puede encontrarse un > 0, tal
que para todo 0 < |h| < se satisface la desigualdad (61). Por consiguiente,
lm

h0

esto es

f (x0 + h) f (x0 )
= (x0 ),
h
0

f (x0 ) = (x0 )
Anlogamente se obtiene la demostracin para x0 = a y para x0 = b.

74

Observacin 1. Si la sucesin de derivadas no converge uniformemente

entonces la aseveracin

del teorema puede ser falsa. Por ejemplo, la sucesin sinnnx tiende uniformemente a cero: la
sucesin de las derivadas {cos nx} no tiende a cero, ya que por ejemplo, para x = 0 su lmite es
igual a 1.
Observacin 2. Un teorema anlogo puede formularse para las series. Si las funciones un (x) son
0

continuas y tiene derivadas continuas en [a, b] y si las series

n=1 un (x) y n=1 un (x) convergen
uniformemente, entonces haciendo

S(x) =

un(x),

n=1

tendremos
S0 (x) =

u0n(x)

n=1

3.2.4.8.

Series de Potencias

n
Definicin. Se llama serie de potencias a una serie de la forma
n=0 an x . Es un serie funcional
con trminos
fn (x) = an xn .

Ejemplos.
1. 1 + x + x2 + + xn +
2

2. 1 + 1!x + x2! + x3! + xn! +

n

x
3.
n=1 n .
n
Teorema. Si la serie de potencias
n=0 an x converge para x = x0 6= 0, entonces en todo intervalo
cerrado alojado en el interior del intervalo (|x0 |, |x0 |), converge absoluta y uniformemente.

Demostracin. Consideremos el intervalo cerrado [h, h] (h > 0), alojado en el interior del intervalo (|x0 |, |x0 |). Sea x un punto arbitrario del intervalo [h, h], por consiguiente, |x| < h. Obsern
vemos que por la condicin dada, la serie
n=0 an x0 converge, y por consiguiente,
lm an x0n = 0,



puesto que la sucesin an x0n en tanto que convergente, es acotada. De suerte que existe un nmero
M > 0, tal que para todo n es vlida la expresin
|an x0n | < M.
Como an xn = an x0n

 n
x
x0

, entonces

 
 n
x
x

|an x
M   .
(62)

x0
x0
 
h
Pero 0 < h < |x0 |, por lo que la serie geomtrica
M
n=0  x0  es convergente y por consiguiente,
n
la serie
n=0 |an x | converge uniformemente para |x| h, pues sus trminos en virtud
 62 son
 de
 n n

menores en mdulo que los trminos correspondientes de la serie convergente n=0 M  x0  , lo que
por el teorema 3.7 on page 72 es suficiente para la convergencia uniforme.
n

| = |an x0n |

75

3.2.4.9. Radio de Convergencia de una Serie de Potencias De la ecuacin 62 se deduce que

n
si para cierto x = L la serie
n=0 an x diverge, entonces para todo x, para el que |x| |L|, la
n
serie
n=0 an x tambin diverge. De donde, haciendo uso de la teora de los nmeros irracionales
llegamos a la conclusin de que si la serie no es convergente para todos los x, entonces el conjunto
de tales valores de x, para los que la serie converge, forman un intervalo con centro en el punto
x = 0.
Representando por R el extremo derecho de este intervalo, vemos que si |x| < R, entonces la

n
n
serie
n=0 an x es convergente y si |x| > R, la serie n=0 an x ser divergente.
De suerte que puede formularse el siguiente teorema:
n
Teorema 3.9. Si la serie
n=0 an x no es convergente para todos los valores de x, existe tal nmero

R 0, para el que la serie n=0 an xn . converja para |x| < R y diverja para |x| > R.
Para x = R la serie puede ser convergente o divergente.
n
El nmero R recibe el nombre de radio de converjencia de la serie
n=0 an x . Si la serie
n

n=0 an x converge para todo x, se dice que su radio de converjencia es igual a +.

3.2.4.10. Continuidad de la Suma de una Serie de Potencias Como una serie de potencias
es uniformemente convergente en todo intervalo cerrado, completamente alojado en el interior del
intervalo (R, R), entonces
La suma de una serie de potencias es una funcin continua para todos los valores de x de mdulo
menor que el radio de convergencia.
Observacin. Si la serie de potencias converge donde quiera, entonces su suma es una funcin
continua donde quiera.
3.2.4.11. Clculo del Radio de Convergencia Para determinar el radio de convergencia es
suficiente, por lo comn, usar uno de los siguientes teoremas:
Teorema 3.10. Si existe
lm

p
n
|an | = g

n
y g 6= 0, entonces el radio de convergencia de la serie
n=0 an x ser el nmero

1
R= .
g
Si g = 0, entonces R = +.




Teorema 3.11. Si existe lmn  aan+1
 = g y g 6= 0, entonces el radio de de convergencia de la serie
n
n

n=0 an x ser el nmero

1
R= .
g
Si g = 0, entonces R = +.
Demostracin. La demostracin del teorema 3.10 se desprende inmediatamente del criterio de
Cauchy (teorema ?? on page ??). Efectivamente, tenemos
p
p
lm n |an xn | = lm n |an |.|x| = g |x|;
n

76

1
n
por consiguiente, la serie
n=0 |an x | converge para g |x| < 1 (esto es, para |x| < g ) y diverge para
g |x| > 1 (esto es, para |x| > g1 ). Vemos as que 1g es el radio de convergencia. Si g = 0, entonces
g |x| = 0 < 1 por consiguiente, la serie siempre converge.
Anlogamente, con apoyo en el criterio de DAlembert (teorema ?? on page ??), puede demostrarse el teorema 3.11 on the previous page.

3.2.4.12. Diferenciacin de Series de Potencias

potencias

Diferenciando trmino a trmino la serie de

anxn,

(63)

n=1

obtenemos una nueva serie de potencias

nanxn1

(64)

n=1

Puede demostrarse la veracidad de la proposicin siguiente.

Teorema 3.12. Las series (63) y (64) tienen uno y el mismo radio de la convergencia. La suma de
la serie (64) es igual a la derivada de la serie (63) para todos los valores de x menores en mdulo
que el radio de convergencia de estas series.
Demostracin. Admitamos que R es el radio de convergencia de la serie (63). Sea
0 < |x| < R.
Tomemos un nmero arbitrario , que satisfaga la desigualdad |x| < < R. Como

lm n n = 1,
n

existir un nmero N tal que para todo n > N, se tiene | n n 1| < por consiguiente

n
n< ,
|x|
 n
|an | n nx < |an | n .

n
n
Dado que los trminos de la serie
n=1 |an || nx| no exceden los trminos de la serie convergente
n5 entonces la serie na xn converge absolutamente. Dividiendo esta serie entre x

n=1 n
n=1 |an |

n1
vemos que la serie n=1 nan x
es tambin absolutamente convergente para todo |x| < R.
n
Aceptemos ahora que |x| > R. Puesto que la serie
n=1 |an ||x| es divergente y sus trminos
n
son menores que los de la serie
n=1 n|an||x| entonces esta ltima serie es tambin divergente,

n1
de donde se infiere que la serie n=1 n|an |x  es divergente para |x| > R. As pues, el radio de
convergencia de la serie (64) es tambin R.
Si 0 < r < R, entonces la serie (64) converge uniformemente en el intervalo [r, r], y por consiguiente, de acuerdo con el teorema 3.8 sobre la diferenciacin de series ( on page 73), su suma es la
derivada de la suma (63). Como r puede ser un nmero positivo arbitrario, satisfaciendo nicamente r < R, entonces la suma de la serie (63) posee dondequiera en el interior del intervalo (R, R)
derivada, que es la suma de la serie (64).
5 La

n
serie
n=1 |an |a es convergente ya que 0 < < R.

77

Observacin. El teorema demostrado es vlido tambin con respecto a la serie obtenida de la

serie (64) mediante una diferenciacin ulterior.
Ejemplo 3.18. Como se sabe,
1 + x + x2 + + xn +

1
,
1x

|x| < 1;

por consiguiente,
1 + 2x + 3x2 + + nxn1 + =

1
,
(1 x)2

2 + 3 2x + 4 3x2 + + n(n 1)xn2 + =

|x| < 1,

2
,
(1 x)3

|x| < 1.

3.2.4.13. Frmula de Taylor Supongamos que la funcin y = f (x), continua en el intervalo

[a, b], tiene derivadas hasta de orden n 1, inclusive, continuas tambin en este intervalo cerrado;
respecto a la derivada ensima aceptemos que existe en todos los puntos interiores del intervalo
(a, b). Si los puntos x y x + h pertenecen al intervalo (a, b) tiene lugar la frmula
f (x + h) = f (x) +

h 0
h2
h3
hn1 (n1)
f (x) + f 00 (x) + f 000 (x) + +
f
(x) + Rn (x, h),
1!
2!
3!
(n 1)!

que se llama frmula de Taylor. Rn (x, h) recibe el nombre de residuo de la frmula de Taylor.
Usaremos dos expresiones diferentes para el residuo. Una de ellas es
hn (n)
f (x + h),
n!
satisface la condicin 0 < < 1, dada por Lagrange. La segunda expresin es
Rn (x, h) =

Rn (x, h) =

hn
(1 0 )n1 f (n) (x + 0 h),
(n 1)

donde, nuevamente 0 < 0 < 1, propuesta por Cauchy.

Si en particular, el intervalo (a, b) contiene el nmero 0, entonces escribiendo, en la frmula de
Taylor, 0 en lugar de x y x en lugar de h, obtenemos la llamada frmula de Maclaurin:
f (x) = f (0) +

x2
xn1 (n1)
x 0
f (0) + f 00 (0) + +
f
(0) + Rn (x);
1!
2!
(n 1)!

Rn (x) tiene la forma:

1. Residuo, en la forma de Lagrange
xn (n)
Rn (x) = f ( x) 0 < < 1);
n!
2. Residuo en la forma de Cauchy.
Rn (x) =

xn
(1 0 )k1 f (n) ( 0 x) (0 < 0 < 1).
(n 1)!

Observacin. Ambos residuos (en la forma de Lagrange y de Cauchy) son, evidentemente, iguales
entre s y solamente difieren en la forma. Para investigar la frmula de Taylor de una funcin dada
se usa una u otra forma segn convenga al caso considerado.
78

3.2.4.14. Serie de Taylor Sea f (x) una funcin continua, definida en el intervalo cerrado [a, b]
con derivadas de todos los rdenes, continuas tambin en este intervalo. Representando pro x0 , x0 +
h dos puntos arbitrarios del intervalo (a, b) y por un nmero natural arbitrario, obtenemos segn la
frmula de Taylor
f (x0 + h) = f (x0 ) +

h 0
hn1 (n1)
f (x0 ) + +
f
(x0 ) + Rn (x0 , h),
1!
(n 1)!

siendo
Rn (x0 , h)

hn (n)
f (x0
n!

h)

hn
(1
(n 1)!

0 < < 1,

0 )n1 f (n) (x0

0 h),

0 < 0 < 1.

Puede suceder que para un crecimiento ilimitado de n, la expresin Rn (x0 , h) tienda a cero, es
decir que
lm Rn (x0 , h) = 0.
n

En este caso la serie infinita

f (x0 ) +

h 0
h2
hn
f (x0 ) + f 00 (x0 ) + + f (n) (x0 ) +
1!
2!
n!

converge al lmite f (x0 + h). Tenemos, as,

f (x0 + h) = f (x0 ) +

h2
hn
h 0
f (x0 ) + f 00 (x0 ) + + f (n) (x0 ) +
1!
2!
n!

la serie en el miembro derecho recibe el nombre de Serie de Taylor. As pues, hemos demostrado
la proposicin siguiente:
Teorema 3.13. Si la funcin f (x) y sus derivadas de todos los rdenes son continuas en el intervalo
cerrado [a, b] y x0 , x0 + h son dos puntos arbitrarios de este intervalo, entonces
h 0
h2
hn
f (x0 ) + f 00 (x0 ) + + f (n) (x0 ) + =
1!
2!
n!
n
h (n)
f (x0 ),
= f (x0 ) +
n=1 n!

f (x0 + h) = f (x0 ) +

bajo la condicin de que el trmino del residuo Rn (x0 , h) de la frmula de Taylor tiende a cero
cuando n crece ilimitadamente.
Observacin. Si el intervalo [a, b] contiene al punto x = 0, entonces substituyendo 0 en lugar de
x0 y x en lugar de h en la serie de Taylor, obtenemos
x 0
x2
xn
f (0) + f 00 (0) + + f (n) (0) + =
1!
2!
n!
n
x (n)
= f (0) + f (0),
n=1 n!

f (x) = f (0) +

bajo la condicin lmn Rn (0, x) = 0.

Esta es la llamada Serie de Maclaurin.
79

El teorema arriba formulado tiene un valor fundamental. Proporciona el desarrollo de la funcin

f (x) en una serie de potencias cuando el trmino del residuo Rn (x0 , h) tiende a cero.
Observacin. En particular el trmino residual tiende a cero cuando las derivadas de la funcin
son acotadas en sutotalidad
 en el intervalo [a, b], esto es, cuando para todo natural n y para todo
 (n) 
x de este intervalo  f (x) < M Efectivamente, en ese caso tenemos:
 n

 h (n)

|h|n


|Rn (x0 , h)| =  f (x0 + h) < M
,
n!
n!
y como

|h|n
=0
n n!
lm

tendremos
lm Rn (x, h) = 0.

Ejemplos.
2

1. ex = 1 + 1!x + x2! + + xn! +

para cada x.
3

2n+1

x
+
2. sin x = 1!x x3! + x5! + (1)n (2n+1)!
para cualquier x.
6

2n

x
3. cos x = 1 x2! + x4! x6! + + (1)n (2n)!
+
para todos los x.
2

4. ln(1 + x) = 1x x2 + x3 x4 + + (1)n+1 xn +
para 1 < x +1.






5. (1 + x) p = 1 + 1p x + 2p x2 + + np xn +
para |x| < 1 y p arbitrario.
Demostracin. (1) La funcin ex es continua en el intervalo cerrado [A, A] (A es un nmero
arbitrario positivo) as como sus derivadas de todos los rdenes que coinciden con ella. Por
tanto las derivadas de todos los rdenes son acotadas en su totalidad, a saber


 (n) 
 f (x) eA ,
para todo nmero natural n y para todo x del intervalo [A, A].
Por Consiguiente, En virtud de la observacin anterior la serie de Taylor es convergente para
A x A, es decir, para todo x ya que A es un nmero arbitrario.
(2) y (3) Las mismas consideraciones en relacin con las funciones sin x y cos x, pues las derivadas
de todos los rdenes son continuas y en mdulo no exceden a la unidad.

80

(4) La funcin ln(1 + x) y sus derivadas de todos los rdenes son continuas en todos intervalo
cerrado que no contenga al punto x = 1. El trmino residual de la frmula de Maclaurin,
para esta funcin tiene a forma
Rn (x) = (1)n+1

0 n1
xn
n+1 (1 )
=
(1)
xn ,
n(1 + x)n
(1 + 0 x)n

siendo 0 < < 1, 0 < < 1.

Haciendo 0 x 1, obtenemos
|Rn (x)| =

xn
1
,
n
n(1 + x)
n

por consiguiente,
lm Rn (x) = 0.

As mismo, si x 0

0 < < 1), entonces, haciendo x = u, obtenemos



(1 0 )n1 n
1 0 n1 un
(1 0 )n1 n
|x | =
|Rn (x)| =
u =
.
(1 + 0 x)n
(1 0 u)n
1 0u
1 0u

Como 0 0 u < 0 < 1, entonces 0 < 1 0 < 1 0 u, por consiguiente

0<

10
< 1.
1 0u

(65)

De estas desigualdades obtenemos

|Rn (x)| <

un
un
n
<

.
1 0u 1 u 1

Como es un nmero arbitrario positivo, menor que la unidad, hemos demostrado la validez
de la frmula de Maclaurin para la funcin ln(1 + x) en el intervalo 1 < x 1.
Para x = 1 obtenemos la serie 1 21 31 , que como sabemos (ejemplo ?? on page ??)
es divergente.
(5) La funcin (1 + x) p es continua, en conjunto con sus derivadas de todos los rdenes en todo
intervalo cerrado que no contenga el punto x = 1.
El trmino del residuo de la frmula de Maclaurin para esta funcin tiene la forma
 
 
p
p
pn n
Rn (x) =
(1 + x) x =
n(1 0 )n1 (1 + 0 x) pn xn ,
n
n
0 < < 1,

0 < 0 < 1.

Si 0 x < < 1, entonces, usando la primera forma del residuo, obtenemos

xn
p(p 1) (p n + 1)
Rn (x) =

,
12n
(1 + x)np
por consiguiente para n > p
 px   (p 1)x   (p n + 1)x 
 

.
|Rn (x)|   
 

1
2
n
81

como

(p k)x
= x,
k
k
lm

tendremos



 (p k)x 

=x<
lm

k 
k

Existe, por consiguiente, un nmero K tal que para k > K ser



 (p k)x 
 < .



k
Haciendo n > p y n > K obtenemos
 px   (p 1)x   (p K)x 
 

 nK1 ,
|Rn (x)|   
 

1
2
K
y como
lm nK1 = 0,

tendremos
lm Rn (x) = 0.

Si < x 0 (0 < < 1), haciendo x = u y empleando la segunda forma del residuo,
obtenemos
p(p q) (p n + 1)
(1 0 )n1 (1 + 0 x) pn xn ,
Rn (x) =
1 2 (n 1)
as que
p(p 1) (p n + 1)
Rn (x) =
1 2 (n 1)

10
1 0u

n1

(1 0 u) p1 (u)n ,

de donde



 (p 1)u  (p 2)u 




|Rn (x)| = |pu|


1
2




 (p n + 1)u 
1 0 n1
0 p1



.
(1 u)
n1
1 0u

n1
1 0
Como (1 0 u) p1 esta comprendido entre 1 y (1 ) p1 , y 1
como sabemos, no
0u
es mayor que la unidad (ver (65)) ser suficiente con comprobar que


 

 (p 1)u  (p 2)u   (p n + 1)u 


 = 0.
lm |pu|

 

n
1
2
n1
La demostracin es la misma como la del caso anterior.
Como es un nmero positivo arbitrario, menor que la unidad, se demuestra efectivamente,
la validez de la frmula de Maclaurin para nuestra funcin en el intervalo
1 < x < 1.

82

Observacin. Aplicando el ltimo desarrollo obtenemos las series

1
=1 x + x2 x3 + ,
1+x
1
=1 + x + x2 + x3 + ,
1x

x 1 x3 1 3 x3
1 + x =1 +
+
,
2 2 4 24 6

x 1 x3 1 3 x3
1 x =1

,
2 2 4 24 6
convergentes para 1 < x < 1.

3.2.5.

Problemas

1. Demostrar la validez de los siguientes desarrollos.

2

sin x =
ex ex
=
2
(1 + ex ) =
(1 + x2 )1 =
(arctan x =
p
1 + x2 =
1

(1 x2 ) 2 =
(arcsin x =

2n
(2x)2 (2x)4
n+1 (2x)

+ (1)
+ ;
2 2!
2 4!
2 (2n)!
x x3
x2n+1
+ ++
+ ;
1! 3!
(2n + 1)!
xn
x
4 + (2 + 2) + + (2 + 2n ) + ;
1!
n!
1 x2 + x4 + (1)n x2n + ,
x3 x5
x2n+1
x + + + (1)n
+ 6 ),
3
5
2n + 1
x2 1 x4 1 3 x6
1+
+
,
2 2 4 24 6
1
13 4 135 6
1 + x2 +
x +
x + ,
2
24
246
1 3 1 3 3 1 3 x5 1 3 5 x7
x +
x +
+
+ 16 ),
x+
23
23
24 5 246 7

2. La funcin tan x tiene un desarrollo convergente para |x| <

tan x =

|x| < 1;
|x| < 1;
|x| < 1;
|x| < 1.

B1 22 (22 1)
B3 24 (24 1) 4
x+
x +
2!
4!
+

B2n1 22n (22n 1) 2n1

x
+
(2n)!

Determinar las constantes B1 , B3 , B5 , llamados nmeros de Bernoulli.

6

|x| < 1;

) Se diferencan ambos miembros de las igualdades.

83

3. Demostrar la validez de los siguientes desarrollos

sin x 2
cos x
h
h + ;
1!
2!
sin x
cos x 2
cos(x + h) = cos x
h
h + ;
1!
2!
 2
 
h 1 h
1 h 3
ln(x + h) = ln x +
+
+ , |h| < |x|.
x 2 x
3 x
sin(x + h) = sin x +

4. Si se requiere resolver la ecuacin f (x) = 0 entonces representando con x un valor aproximado de la raz desconocida, obtenemos
0 = f (x0 + h) = f (x0 ) + h f 0 (x0 ) +
Si h es suficientemente pequeo, entonces despreciando los trminos que contienen h2 , h3 ,
etc., obtenemos
0 = f (x0 + h) f (x0 ) + h f 0 (x0 ),
de donde
h

f (x0 )
.
f 0 (x0 )

As pues el nuevo valor aproximado de la raz buscada tiene la forma

x x0

f (x0 )
.
f 0 (x0 )

Con el valor aproximado obtenido puede procederse como antes y calcular una nueva aproximacin, etc. El mtodo descrito fue propuesto por Newton.
Resolver por este mtodo las ecuaciones
x3 + 2x2 + 3x + 4 = 0;
2 sin x = x;
ln x = x.

Referencias
[1] Banach, Stefan. Calculo Diferencial e Integral. Editorial Hispano America, Mexico 1967;
387pg.
[2] Bronshtein I. & Semendiaev K. - Manual Matematicas Avanzadas para Ingenieros y estudiantes. Editorial Mir 2ed. 1973; 694 pg.
[3] Baranenkov, G. Demidovich, B. Efimenko, V. Kogan, S. Lunts, G. Porshneva, E. Sichova, E.
Frolov, S. Shostak, R y Yanpolsi, A. Problemas y ejercicios de analisis matemtico. Editorial
Mir 7ed. 1980; 519pg.
[4] Murray, R. Spiegel. Manual de frmulas y tablas matemticas. Editorial McGraw-Hill Primera
Edicin 1995;271pg.
84

[5] Nikolski, S.M. Curso de anlisis matemtico. Ediciones Urmo, SA. Primera edicin en espaol.
1979 (tomo 1) 461pg.
[6] Kudrivtsev L.D. Curso de anlisis matemtico. Editorial Mir Mosc. Priemera reimpresin
1988 (Tomo 1) 709 pg.
[7] Rudin, W. Principles of Mathematical Analysis. Editorial McGraw-Hill, Inc. 1976), 342 pg.

85

Lista de Respuestas
n

(ae)x
m +1
x3 + C. 1.2. mxn+m
+ C. 1.3. C 1x . 1.4. 0,4343 10x + C. 1.5. 1+ln
a + C.
q



0,83 + C.
2 + C.
 C  + C.
+
C.
1.8.

4,1x
1.9.
u

u
1.10.
a
ln
1.6. x + C. 1.7. 2h
g
ax
2 2
2
x
0,2
0,2
1.11. 5 x x + x + C. 1.12. C 2x x e + ln |x| . 1.13. C 10x
+ 15x 3,62x1,38 .

2
3 3 2
18
9 3 2
6 2
6

+
C.
1.16.
x
+
x
+
x
x + 13
x 6 x + C.
1.14. z 2 ln |z| 1z + C. 1.15. 2x 12x6
2
7
5
3 x

x
6
4
1.17. 67 x7 43 x3 + C. 1.18. 13 arcsin x + C. 1.19. 3x 2(1,5)
1.20. 21 (tan x + x) +
ln 1,5 + C.
C. 1.21. C cot x tan x. 1.22. tan x x + C. 1.23. C cot x x. 1.24. x sin x + C.
1.25. arctan x 2x +C. 1.26. ln |x| + 2 arctan x +C. 1.27. tan x +C. 1.28. 2 x +C. 1.29. x +




x1
ln |2x + 1| + C. 1.30. 2 x + 1 ln 1 + x + 1 + C. 1.31. 2 35
5x3 + 6x2 + 8x + 16 +
q



 x+11 
4
11
1.33. ln  x+1+1  + C. 1.34. 2 x 2 + 2 arctan x2
C. 1.32. C
2 x2 .
2 +
2(x2)

1.36. 2 arctan x + C.
1.37. 2( x arctan x) +
C.
1.35. 2[ x ln (1 + x)] + C.






2
3
C.
1.38. 32 (x + 1) 3 + 3 ln 1 + x + 1 + C.
1.39. a2 ax + b m ln  ax + b + m + C.

6
3

6 x5
3 x2
1.41. 3 3 x + 3 ln | 3 x 1| +
1.40. x+ 5 + 2 + 2 x + 3 3 x + 6 6 x + 6 ln | 6 x 1|+ C.

12
6 5
 12

C.
1.42. 2 x 4 4 x + 4 ln (1 + 4 x) + C.
1.43. 65
x + 2 x5 + 2 ln  x5 1 + C.
q

x 1
4
x
1.44. 21 (3e 4) (ex + 1)3 + C.
1.45. ln 1+e
+
C.
1.46.
2
1 + ln x ln |ln x| +
x
1+e +1
q




3
2 ln  1 + ln x 1 + C.
1.47. 0,4 (1 + cos2 x) 3 2 cos2 x + C.
1.48. 21 ln2 tan x + C.





2
2
2
1.51. C xa2+a
.
1.49. C 92 a3 x3 2a3 + x3 .
1.50. x 24 + x284 + 4 ln x2 4 + C.
x

a2
x
x
1
a
1
1.52. 2 arcsin a 2 a2 x2 +C. 1.53. C- a arcsin |x| . 1.54. x ln |x| x +C. 1.55. 4 sin 2x


e3x
1 5t+
1 5t+
xn+1
1
1
x
cos
2x
+C.
1.56.
(3x

1)
+C.
1.57.
te

e
+C.
1.58.
ln
x

2
9
5
n+1
n+1 +



25
e2x
1
1
x
2
C. 1.59. C e (x + 1) .
1.60. 2 x + x + 2 + C. 1.61. x arctan x 2 ln 1 + x2 +

2
2 + C.
C.
1.62. x 2+1 arctan x 2x + C.  1.63. x arcsin
x
+
1

x
1.64.
x
arctan
x


ex (sin xcos x)
2
2
x + arctan x + C.
1.65. x ln x + 1 + x 1 + x + C.
1.66.
+ C.
2

ax
1.67. a2e+n2 (n sin nx + a cos nx) + C. 1.68. 2x (sin (ln x) cos (ln x)) + C. 1.69. 2x a2 + x2 +





a2
1
1
x
x
2 + x2 + C. Sugerencia poner u = a2 + x2 .
ln
x
+
a
1.70.
arctan
+
+ C.
2
a
2a2 a
x2 +a2






Sugerencia: Emplese la identidad 1 a12 x2 + a2 x2 .
1.71. 1x ln2 x + 2 ln x + 2 + C.

1.72. 2 x + 1 arcsin x + 4 1 x +C. 1.73. ln tan 2x cos x ln (tan x) +C.

1.1.

2
3

86

ndice alfabtico
Antiderivada, 3
Antiderivada, Notacin, 4
Constante de Integracin, 5
Definicin de Sucesin, 55
Frmula de los Trapecios, 54
Frmula de Simpson, 54
Fraccin Racional Impropia, 15
Fracciones Racionales elementales, 15
Funcin Racional Algebraica, 14
Funcin Racional Propia, 15
Funcin Subintegral, 5
Integral de Riemann, 29
Integral Definida, 28
Integral Eliptica, 35
Integrando, 5
Intervalo de Clculo, 54
Linealidad de la Integral, 6
Mtodo de los Coeficientes Indeterminados, 15
Momento de Inercia, 52
Momento Esttico, 51
Momento Esttico de un Sistema de Puntos, 51
Nmeros de Bernoulli, 83
Radio de Converjencia, 76
recurrencia, 56
Segundo Teorema del Clculo Integral, 30
Serie de Maclaurin, 79
Serie deTaylor, 79
Sucesin Divergente, 56
suma, 27
tenemos, 54
Teoremas de Guldin, 53
Teorma de Newton y Libniz, 30

87