Beruflich Dokumente
Kultur Dokumente
Germn Rojas
Tabla de contenidos
1 La integral indefinida
1.1 Primitivas e integral indefinida . . . . . . . . .
1.1.1 Ejercicios . . . . . . . . . . . . . . . . .
1.2 La diferencial y la integral indefinida . . . . . .
1.2.1 Ejercicios . . . . . . . . . . . . . . . . .
1.3 Cambios de variable en integrales indefinidas .
1.4 Clculo de integrales mediante el uso de tablas
1.4.1 Ejercicios . . . . . . . . . . . . . . . . .
1.5 Integrales de potencias de sen y cos . . . . . . .
1.5.1 Ejercicios . . . . . . . . . . . . . . . . .
1.6 Integrales de potencias de sec y tan . . . . . . .
1.6.1 Ejercicios . . . . . . . . . . . . . . . . .
1.7 Integracin por partes . . . . . . . . . . . . . .
1.7.1 Ejercicios . . . . . . . . . . . . . . . . .
1.8 Integracin de funciones racionales . . . . . . .
1.8.1 Integracin de fracciones simples . . . .
1.8.2 El mtodo de las fracciones parciales . .
1.8.3 Ejercicios . . . . . . . . . . . . . . . . .
1.9 El mtodo de Ostrogradski mejorado . . . . . .
1.9.1 Ejercicios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
4
4
5
5
7
10
10
13
13
14
14
16
16
17
18
23
23
27
2 La integral definida
2.1 El Palimpsesto de Arqumedes . . . . . . . . . . . . . .
2.2 Definicin de integral definida . . . . . . . . . . . . . . .
2.3 Sumatorias . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . .
2.4 Propiedades de la integral definida . . . . . . . . . . . .
2.4.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . .
2.5 Otra propiedad de las funciones continuas . . . . . . . .
2.6 El teorema fundamental del clculo . . . . . . . . . . . .
2.6.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . .
2.7 El cambio de variable para la integral definida . . . . . .
2.7.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . .
2.8 La integracin por partes para la integral definida . . .
2.9 Integracin de funciones racionales de seno y coseno . .
2.9.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . .
2.10 Sustituciones trigonomtricas . . . . . . . . . . . . . . .
2.10.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . .
2.11 Integrales impropias . . . . . . . . . . . . . . . . . . . .
2.11.1 Tipo I. Integrales impropias de dominios infinitos
2.11.2 Ejemplos . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
29
32
36
38
38
40
41
42
46
47
51
52
53
54
55
60
60
60
62
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
TABLA DE CONTENIDOS
TABLA DE CONTENIDOS
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
62
63
63
63
64
65
66
68
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
71
71
73
75
75
75
78
80
81
83
83
84
87
87
87
88
89
89
91
92
93
93
97
97
99
101
102
105
105
107
108
108
110
114
115
115
116
117
iv
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
TABLA DE CONTENIDOS
TABLA DE CONTENIDOS
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
119
119
120
121
124
124
127
128
130
130
130
132
133
135
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
137
137
137
138
139
140
141
142
143
144
145
148
151
151
152
153
155
159
161
161
164
164
165
166
168
168
169
173
174
177
177
181
182
183
TABLA DE CONTENIDOS
TABLA DE CONTENIDOS
A Tablas de integracin
A.1 Frmulas bsicas . . . . . . . .. . . . . . . . . . . .
A.2 Frmulas en las que interviene a2 + u2 . . . . . . .
A.3 Frmulas en las que interviene a2 u2 . . . . . . .
A.4 Frmulas en las que interviene u2 a2 . . . . . . .
A.5 Frmulas con las funciones trigonomtricas . . . . .
A.6 Frmulas con funciones exponenciales y logartmicas
A.7 Frmulas con funciones hiperblicas . . . . . . . . .
.
.
.
.
.
.
.
vi
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
185
185
185
186
187
187
188
189
Captulo 1
La integral indefinida
1.1
Teorema 1.1
Sea h : I R una funcin continua en un intervalo I y derivable en int I . Entonces
h (x) = 0
para todo x int I si y solo existe C R tal que h(x) = C para todo x I
h(x2 ) h(x1 )
.
x2 x1
Como h (x) = 0 para todo x I esto implica que h(x2 ) h(x1 ) = 0 y, por ende,
h(x1 ) = h(x2 ).
La integral indefinida
Corolario 1.2
Si F y G son dos primitivas de f definidas en un intervalo I , existe C R tal que
F (x) = G(x) + C
para todo x I .
f (x)dx = F (x) + C
(1.1)
El corolario (1.2) garantiza que con esta forma funcional se estn representando a todas
las primitivas de
R f si la funcin F es una de ellas.
El smbolo (una s (ese) alargada) se lee integral de y puede considerarse la operacin
inversa del signo d que define la operacin de hallar la diferencial de una forma funcional
dada. As, se puede ver que
Z
dF (x) = F (x) + C
Ejemplo 1.1
Z
1.
dx = x + C.
Z
xa dx =
2.
Z
3.
Z
4.
1
xa+1 + C, con a Q \ {1}.
a+1
sen x dx = cos x + C.
cos x dx = sen x + C.
Z
5.
Z
6.
Z
7.
tan x dx = ln | cos x| + C.
sec x dx = ln | sec x + tan x| + C.
sec2 x dx = tan x + C.
f (x)dx = f (x).
Solucin. El clculo de la derivada de la funcin expresada en el lado derecho de cada una de las
igualdades muestra claramente que cada igualdad es verdadera.
2.
kf (x) dx = k
f (x) dx = kF (x) + C .
Ejemplo 1.2
Calcular la integral indefinida de un polinomio cualquiera P :
P (x) =
n
X
ak x k .
k=0
Solucin. Aplicando el teorema (1.3) y el numeral (2) del ejemplo (1.1), se obtiene:
Z X
Z
n
n
n
X
X
ak k+1
xk dx =
x
+ C.
ak xk dx =
ak
k+1
k=0
k=0
k=0
Ejemplo 1.3
Z
Calcular
x dx.
Solucin. De acuerdo con el numeral (2) del ejemplo (1.1) (a = 1/2) se obtiene:
Z
Z
1
2 3
x dx =
x 2 dx = x 2 + C.
3
Ejemplo 1.4
Z
Calcular
3x4 + 2x2 1
dx.
x2
3x4 + 2x2 1
dx =
x2
(3x2 + 2 + (1)x2 ) dx
Z
Z
Z
= 3 x2 dx + 2 dx + (1) x2 dx
= x3 + 2x +
1
+ C.
x
La integral indefinida
Ejemplo 1.5
Z
Calcular
(x + 3)(x 3) dx.
Solucin. De acuerdo con el ejemplo (1.1), la integral indefinida de este polinomio es:
Z
Z
(x + 3)(x 3) dx = (x2 9) dx
Z
Z
x2 dx 9 dx
=
=
1.1.1
x3
9x + C
3
Ejercicios
3
Recuerde que (exp x) = exp x y (ln |x|) =
x2 dx
1.
Z
Z 2
x 3 x+ 4 x
7.
dx
x 2x + 3
x
2.
dx
x
Z
Z
8.
(3x + 2)(5x + 1)2 dx
3
5
2 x 3 x2 + x4 dx
3.
Z
Z
9.
(2 sen x + exp x) dx
4.
(3 cos x tan x) dx
Z
Z
(5x x 3 cos x) dx
10.
5.
(3 sec x tan2 x) dx
Z
Z
3
6.
11.
(x2 + 11/x + 2 exp x) dx
x 5 x 7 x dx
1.2
1
x
(1.2)
En este caso la integral indefinida puede ser vista como una especie de operador inverso
de d, aunque multivaluado porque, como acabamos de ver, si existe una primitiva de una
funcin, existe en realidad una infinidad de ellas:
Z
: f (x) dx 7
def
f (x) dx = F (x) + C,
con
F (x) = f (x).
Tendremos entonces:
Z
f (x) dx = f (x)dx.
Para los lectores que sean aficionados al lgebra Lineal, mencionaremos que si definimos
la relacin binaria f g cuando existe C R tal que f = g + C, tendremos que es una
relacin de equivalencia en el conjunto de funciones
X = F (R, R) = {f : R R}.
R
Solucin.
1.2.1
d(3x2 + cos x) y d
(5x4 sec2 x) dx .
(5x4 sec2 x) dx = (5x4 sec2 x)dx.
Ejercicios
Calcule:
Z
(5x + cos x) dx
1.
5. d
Z
d[3 exp x + cos(2x2 + 5)]
2.
6. d
Z
3.
Z
(cos x + 3x2 5 ln x) dx
7.
(3x2 2x + exp x) dx
8.
Z
4.
1.3
(cos x + exp x) dx
2 x 3 exp x dx
x + 3 x dx
Z
[cos x 3 sen x + exp(5x + 4)] dx
La integral indefinida
u
c
x
x
b
J = [2, 4],
(1.3)
Qu pasa con las correspondientes formas diferenciales obtenidas aplicando d a las formas
funcionales F (u) y H(x)? De (1.3) se obtiene, aplicando d a ambos lados:
F (u) du H (x) dx = [F (g(x))] dx = F (g(x)) g (x) dx.
Es decir que
F (u) du F (g(x)) g (x) dx
En general, dada una forma diferencial f (u) du, con u J, tendremos, para u g(x):
f (u) du f (g(x)) g (x) dx.
Supongamos ahora que F es una primitiva de f , ambas funciones definidas en un intervalo
J. Sea g una funcin como antes descrita. Entonces tenemos que:
Z
1.
f (u) du = F (u) + C,
Z
f (g(x)) g (x) dx =
2.
F (g(x)) g (x) dx =
f (g(x)) g (x) dx
sustituimos g(x) por u y g (x) dx por du se obtiene la integral
Z
f (u) du
con u como variable de integracin. Si se logra hallar un resultado para la integral as obtenida, digamos
Z
f (u) du = F (u) + C,
podemos regresar a la variable original x y tendremos
Z
1.4
Una aplicacin sencilla del mtodo de sustitucin o cambio de variable nos permite calcular
integrales mediante el uso de tablas de integracin como las que constan en el anexo.
Ejemplo 1.7
Z
Calcular
dx
.
4x2 + 4x + 10
Solucin. Como
4x2 + 4x + 10 = (4x2 + 4x + 1) + 9
= (2x + 1)2 + 32 ,
si ponemos u 2x + 1, tenemos que du 2dx y
Z
Z
dx
1
du
=
.
4x2 + 4x + 10
2
u2 + 32
La integral indefinida
Esta ltima integral puede ser calculada usando la frmula siguiente (con a = 3):
Z
du
1
u
= arctan + C.
u2 + a2
a
a
Entonces:
dx
1
2x + 1
= arctan
+ C.
4x2 + 4x + 10
6
3
Ejemplo 1.8
1. La integral
Z
cos(ax) dx =
cos(ax)
a dx
a
du a dx,
dx
1
du
a
Z
du
1
1
=
cos u du = sen u + C
a
a
a
que, con el regreso a la variable original, resulta igual a:
Z
1
cos(ax) dx = sen(ax) + C
a
cos u
2.
7
x2
+ 3x
2
2
32
(x + 3) dx
u 2 du
2 52
u +C
5
5
2 x2
7 2
+C
+ 3x
5 2
2
=
x2
7
+ 3x ,
2
2
du (x + 3) dx.
En este ejemplo:
3
f (u) = u 2 , g(x) =
3.
x2
7
2 5
+ 3x , I = [1, [, J = [0, [, F (u) = u 2 .
2
2
5
sen x
dx
tan x dx =
cos x
considerando el cambio de variable
u cos x,
4.
du
= ln |u| + C = ln | cos x| + C
u
du sen x dx.
Z
1
sen(ax) a dx
a
Z
1
sen u du
a
1
1
= cos u + C cos(ax) + C
a
a
sen(ax) dx =
du a dx.
1
=
dx
cos(2x) dx
2
h
i
1
1
=
x sen(2x) + C.
2
2
6.
Z
5
1cos 2x
,
2
se
1 1 4
1
1 5x
5
5
dx
=
5
1
x
x 5 dx
x4
5
Z
1
5 u 5 du
5 6
= 5 u 5 + C
6
65
1
25
1 x5
+C
6
u 1 x5 ,
1 4
du x 5 dx.
5
dx [g 1 (u)] du,
x2 dx
25 x2
25 sen2 u
5 cos u du
5 cos u
Z
= 25 sen2 u du
h
i
u
1
= 25
sen(2u) + C
2
4
25
x
1 p
arc sen x 25 x2 + C
2
5
2
x
= g(x),
5
x 5 sen u = g 1 (u),
dx 5 cos u du,
I =] 5, 5[, J = ,
,
2 2
p
p
p
x
x
sen(2u) = 2 sen u cos u 2 sen arcsin
cos arcsin
5
5
x 25 x2
2 p
=2
=
x 25 x2 .
5
5
25
En la expresin anterior cmo se calcula cos arcsin ac ? Sean 0 < a < c. Si ponemos igual
a arcsin ac , tenemos que sen = ac , lo que se puede representar con un tringulo rectngulo en el
10
La integral indefinida
Por ello
1.4.1
c2 a2
a
b
c2 a2
cos arcsin
= cos = =
.
c
c
c
Ejercicios
(a)
Z
(b)
Z
(c)
Z
(d)
Z
(e)
x
Z
(f)
(h)
(i)
(j)
(ln |x|)5
dx, u ln |x|
x
(k)
(l)
Z
Z
Z
Z
Z
Z
3
(g)
x2 exp x3 dx, u x3
(m)
2+ 3 x
dx, u 2 + 3 x
x2
Z
(n)
(a)
Z
(b)
Z
(c)
Z
(d)
Z
(e)
1.5
dx
, x 6 sen u
36 x2
dx
, x 3 sec u
(x2 9)3/2
(g)
x
dx, x 5 sen u
(25 x2 )
(h)
tan(x/2)
dx, x 2 tan1 u,
sen x + cos x + 1
u tan(x/2)
x
dx, u = x2 + 3
x2 + 3
x3
dx, u 25 x4
25 x4
(f)
x
dx, x 4 tan u
(x2 + 16)3/2
(i)
(j)
x2
u 2x + 3
Z
dx
, x 1 + 2 tan u
x2 + 2x + 5
Z
x2
dx, x (u 3)/2, u 2x + 3
2x + 3
Z
dx
, x a tan u
x 2 + a2
Z
Ax + B
dx, si d = b2 c < 0,
x2 + 2bx + c
xub
m, n Q.
11
Como senn x = sen2k+1 x = (sen2 x)k sen x = (1 cos2 x)k sen x, podemos escribir
Z
cosm x senn x dx =
um (1 u2 )k du,
du = sen x dx,
obtenindose la integral de un polinomio que siempre se puede resolver (an si los exponentes no son enteros).
(ii) Si m impar: m = 2k + 1, k 0, k N {0}; n Q.
Como cosm x = cos2k+1 x = (cos2 x)k cos x = (1 sen2 x)k cos x, podemos escribir
Z
cosm x senn x dx =
(1 u2 )k un du
du = cos x dx,
1 + cos(2x)
2
(1.4)
j = 1, . . . , k.
m
2
1 cos(2x)
2
12
La integral indefinida
Z
1
(1 u2 )2 du
a
Z
1
(1 2u2 + u4 ) du
=
a
1
2
1
=
u u3 + u5 + C
a
3
5
h
i
1
2
1
=
cos(ax) cos3 (ax) + cos5 (ax) + C.
a
3
5
=
sen(4ax)
1
=
x
+ C.
8
4a
3. Aplicando el caso (ii) se calcula la integral indefinida:
Z
Z
sen2 (ax) cos3 (ax) dx =
sen2 (ax) cos2 (ax) cos(ax) dx
Z
=
sen2 (ax)(1 sen2 (ax)) cos(ax) dx
Z
2
=
sen (ax) sen4 (ax) cos(ax) dx
Z
1
=
(u2 u4 ) du
a
(con el cambio de variable u = sen(ax), du = a cos(ax) dx)
1 u3
u5
=
+C
a 3
5
sen5 (ax)
1 sen3 (ax)
=
+ C.
a
3
5
4.
Z
sen
9
2
x cos
dx
x =2
x
sen 2 cos3 d
dx
x, d = )
2 x
+ C.
11
15
1.5.1
Ejercicios
Calcule:
Z
5
1.
sec4 (5x) sen3 (5x) dx
Z
cos9 (ax) sen(ax) dx
2.
Z
3.
sen3 (bx) dx
Z
4.
cos5 (cx) dx
1.6
13
Z
sen5 (ax) cos5 (ax) dx
5.
Z
sen4 x cos2 x dx
6.
Z
sen2 (2x) cos4 (2x) dx
7.
m, n Q.
secm x tann x dx =
(u2 + 1)k1 un du
secm x tann x dx =
Con el cambio de variable u sec x, du sec x tan x dx, se llega tambin en este caso
a la integral de polinomios con, tal vez, exponentes racionales no enteros, que podemos
integrar fcilmente.
(iii) En el caso de que m sea impar y n par; m N, n = 2k con k N, se escribe la funcin
que vamos a integrar solo en trminos de sec, ya que
tann = tan2k = (tan2 )k = (sec2 1)k ,
obteniendo la suma de integrales de potencias de sec de tipo
Z
Ij =
secj x dx
14
La integral indefinida
con j N y j 3 para los cuales se puede usar la frmula de recurrencia siguiente,
que la obtendremos en la siguiente seccin:
Ij =
1 j2
sec
x tan x + (j 2)Ij2
j1
I1 =
1.6.1
I2 =
sec2 x dx = tan x + C.
Ejercicios
Calcule:
Z
1.
tan2 x dx
Z
(tan x + cot x)2 dx
2.
Z
tan3 (3x) sec4 (3x) dx
3.
Z
4.
sec4 x dx
Z
5.
tan(2x) sec(2x) dx
Z
6.
tan5 (3x) dx
Z
cot6 (2x + 1) dx
7.
1.7
Z
8.
tan3 x cos x dx
Z
(tan(x/4) sec(x/4))3 dx
9.
Z
tan2 (3x) sec(3x) dx
10.
Z
tan4 (5x) dx
11.
Z
sec4 x cot8 x dx
12.
Z
13.
sen x
dx
cos7 x
d(uv) = d[G(x)H(x)],
dv = H (x) dx
y, por lo tanto,
Por ello, aplicando
d(uv) = u dv + v du.
a ambos lados se obtiene:
Z
d(uv) =
de donde
uv =
y, finalmente,
u dv +
v du,
u dv +
v du,
Z
u dv = uv
v du.
H(x)G (x) dx
se llama frmula de integracin por partes. Veamos cmo se aplica en algunos ejemplos.
15
Ejemplo 1.10
1.
Z
x
ex dx
xe dx = xe
con
u = x, du = dx, dv = ex dx, v = ex .
Z
xex dx = xex ex + C.
2.
Z
x cos x dx = ex sen x
con
ex sen x dx
u
= ex , d
u = ex dx, d
v = sen x dx, v = cos x.
R x
La integral e cos x dx aparece otra vez en el miembro derecho pero puede ser despejada de
la igualdad que hemos obtenido:
Z
Z
ex cos x dx = ex (sen x + cos x)
ex cos x dx.
con
As, finalmente:
Z
ex cos x dx =
3.
1 x
e (sen x + cos x) + C.
2
Z
sec3 x dx = sec x tan x
con
sec x tan2 x dx
se tiene:
Z
sec3 x dx = sec x tan x
es decir
Z
sec3 x dx =
y como
1
2
Z
sec3 x dx +
sec x dx,
sec x tan x +
sec x dx ,
Z
sec x dx = ln | sec x + tan x| + C,
se tiene finalmente
Z
sec3 x dx =
4.
1
(sec x tan x + ln | sec x + tan x|) + C.
2
Z
xn ln x dx =
con
u = ln x, du =
dx
,
x
Z
xn ln x dx =
dv = xn , v =
xn+1 ln x
1
n+1
n+1
Z
xn+1
dx
x
xn+1
.
n+1
xn+1 ln x
1
xn+1
1
xn+1 + C =
ln x +
+ C.
2
n+1
(n + 1)
n+1
n+1
16
La integral indefinida
5.
Z
cos x ln(sin x) dx =
con
con
1.7.1
t2
1
ln t
2
2
Z
t dt
u = ln t, du = dt
, dv = t dt, v = t2 .
t
Z
t2
t4
1
cos x ln(sin x) dx =
ln t
+ C = sin2 x [2 ln(senx) 1] + C.
2
4
4
Ejercicios
x x + 1 dx
1.
Z
2.
x(3x + 1)1/2 dx
Z
3.
ln(ax) dx
Z
4.
ln(3x + 2) dx
Z
5.
x ln(bx) dx
Z
x ln x dx
6.
Z
7.
x2 ln(x2 ) dx
Z
8.
tan1 x dx
Z
sen1 x dx
9.
Z
10.
x2 tan1 x dx
Z
11.
x exp(ax) dx
1.8
t ln t dt
Z
x2 exp(ax) dx
12.
Z
x3 exp(x2 ) dx
13.
Z
14.
exp(ax) cos(bx) dx
Z
15.
exp(ax) sen(bx) dx
Z
16.
sen(ln x) dx
Z
x cos2 x dx
17.
Z
tan1
18.
x dx
19.
sen ax + b dx
Sugerencia: use antes un cambio de variable
apropiado.
p(x)
,
q(x)
17
1.8.1
1
xa
dx
= ln |x a| + C.
xa
x
1
du
dx =
2
2
x +k
2
u
1
= ln |u| + C
2
1
= ln(x2 + k 2 ) + C,
2
x2 + k 2 k 2 (tan2 t + 1) = k 2 sec2 t;
se obtiene:
Z
dx
=
2
x + k2
k sec2 t
k 2 sec2 t
1
dt
k
1
= t+C
k
1
x
= arctan + C.
k
k
=
18
La integral indefinida
x u b,
dx du,
se obtiene:
Dados A, B, b y c R tales que d = b2 c < 0, poniendo k =
Caso 4
d se obtiene:
A(u b) + B
du
u2 + k 2
Z
Z
u
du
=A
du
+
(Ab
+
B)
2
2
2
u +k
u + k2
A
Ab + B
u
= ln(u2 + k 2 ) +
arctan + F
2
k
k
Ab
+
B
x+b
A
arctan
+ F.
ln(x2 + 2bx + c) +
2
2
cb
c b2
Ax + B
dx
x2 + 2bx + c
Ejemplo 1.11
Z
Calcular
5x + 8
dx.
x2 4x + 29
d = b2 c = 4 29 = 25 < 0.
en nuestro ejemplo c b2 = 25 = 5, y
Z
5x + 8
5
2
x2
dx =
ln(x2 4x + 29) arctan
+ C.
x2 4x + 29
2
5
5
1.8.2
Sabemos que todo polinomio de grado mayor que 2 se puede expresar como el producto de
factores de la forma
(x a)m ,
mN
n N,
con b2 c < 0.
Notemos primero que para la integracin de funciones racionales basta considerar el caso en
el que el grado del denominador es mayor que el del numerador. En efecto, si f = pqM
, donde
N
19
pM (x)
,
(x a1 )(x a2 ) (x aN )
se puede escribir:
f (x) =
con N > M,
A1
A2
AN
+
+ +
.
(x a1 ) (x a2 )
(x aN )
pM (x)
,
(x a1 )(x a2 ) (x aN )
los polinomios numeradores deben ser idnticos, por lo que se pueden igualar los N coeficientes de los dos polinomios, puesto que el grado de ambos ser menor a N , los dos polinomios
tendrn la forma
a0 + a1 x + + aN 1 xN 1 ,
con N coeficientes. Se obtiene as un sistema lineal de N ecuaciones con las incgnitas
A1 , A2 , . . . , AN .
Resuelto este sistema, para integrar f (x) basta calcular integrales consideradas en el Caso 1.
Ejemplo 1.12
Z
Calcular
4x2 9x 4
dx.
x3 x2 2x
4x2 9x 4
x3 x2 2x
20
La integral indefinida
A
B
D
+
+
x+1
x
x2
A(x2 2x) + B(x2 x 2) + D(x2 + x)
=
x3 x2 2x
(A + B + D)x2 + (2A B + D)x 2B
=
.
x3 x2 2x
=
Como las dos fracciones son idnticas, se identifican los numeradores, es decir, los coeficientes de x2 ,
x y x0 deben ser iguales.
8
2
<x : A + B + D = 4
Coeficientes de: x : 2A B + D = 9 .
: 0
x : 2B = 4
Este es un sistema lineal de tres ecuaciones con tres incgnitas: A, B y D. Resolvindolo se obtiene
A = 3,
As,
Z
f (x) dx = 3
B = 2,
dx
dx + 2
x+1
D = 1.
dx
dx
x
dx
dx
x2
= 3 ln |x + 1| + 2 ln |x| ln |x 2| + C.
Finalmente,
2
x (x + 1)3
4x2 9x 4
+ C.
dx = ln
x3 x2 2x
x2
pM (x)
,
(x2 + 2b1 x + c1 )(x2 + 2b2 x + c2 ) (x2 + 2bL x + cL )
con N = 2L > M,
se puede escribir:
f (x) =
B1 x + D 1
B2 x + D 2
BL x + D L
+ 2
+ + 2
.
x2 + 2b1 x + c1
x + 2b2 x + c2
x + 2bL x + cL
Se calculan los coeficientes B1 , B2 , . . . , BL y D1 , D2 , . . . , DL de manera anloga al caso precedente. Hecho esto, integrar f (x) se reduce al clculo de integrales estudiadas en el Caso
4.
Ejemplo 1.13
Z
Calcular
f (x) dx si f (x) =
(x2
x3 + 7x2 + 40
.
2x + 2)(x2 + 6x + 13)
f (x) =
21
Identificando los coeficientes de los numeradores de f (x) y los de la ltima expresin, obtenemos el
siguiente sistema lineal de 4 ecuaciones para calcular las 4 incgnitas A, B, D y E:
8
>
x3 : 1 = A + D
>
< 2
x : 7 = 6A + B 2D + E
Coeficientes de:
.
>
x
: 0 = 13A + 6B + 2D 2E
>
: 0
x : 40 = 13B + 2E
Al resolver este sistema obtenemos:
A = 0,
Z
Entonces
B = 2,
D = 1,
E = 7.
Z
2
x+7
f (x) dx =
dx +
dx
x2 2x + 2
x2 + 6x + 13
1
x+3
= 2 arctan(x 1) + ln(x2 + 6x + 13) + 2 arctan
+ C.
2
2
pM (x)
(x a1 )(x a2 ) (x aK )(x2 + 2b1 x + c1 ) (x2 + 2bL x + cL )
M < K + 2L = N
se puede escribir:
f (x) =
b2k ck < 0
A1
AK
B1 x + D 1
BL x + D L
+
+ 2
+ + 2
.
x a1
x aK
x + 2b1 x + c1
x + 2bL x + cL
2x3 6x2 4x 8
.
x4 8x
x4 8x = x(x 2)(x2 + 2x + 4)
f (x) =
22
La integral indefinida
Identificando los numeradores de esta ltima fraccin y de f (x) obtenemos el siguiente sistema lineal
de 4 ecuaciones para hallar las 4 incgnitas A, B, D y E:
8
>
x3 : 2 = A + B + D
>
< 2
x : 6 = 2B 2D + E
Coeficientes de:
.
>
x : 4 = 4B 2E
>
: 0
x : 8 = 8A
Resolviendo este sistema obtenemos
A = 1,
Z
Entonces
B = 1,
D = 2,
E = 0.
dx
dx
+2
x2
x
dx
x2 + 2x + 4
2
x+1
= ln |x| ln |x 2| + ln(x2 + 2x + 4) arctan + C
3
3
x(x2 + 2x + 4)
2
x
+
1
arctan + C.
= ln
x2
3
3
f (x) dx =
Caso 8
El Mtodo de
Z Ostrogradski
PM
Se usa para calcular
dx, donde P y Q son polinomios de grado M y N , respectiQN
vamente, con M < N , cuando Q tiene races mltiples reales o complejas, es decir factores
de tipo
(x + a)m
con m 2,
con b2 c < 0
n 2.
P (x)
X(x)
dx =
+
Q(x)
Q1 (x)
Y (x)
dx,
Q2 (x)
(1.5)
x8 + x5 + 1
Ax5 + Bx4 + Cx3 + Dx2 + Ex + F
dx
=
+
(x3 + 1)3
(x3 + 1)2
Gx2 + Hx + I
dx.
x3 + 1
23
1.8.3
Ejercicios
1.9
Se aplica en los mismos casos que el mtodo de Ostrogradski, es decir cuando una o ms
races, reales o complejas del denominador Q(x) es o son mltiples. Notemos que en la frmula
de Ostrogradski (1.5) el denominador Q2 (x) solo puede tener factores simples de tipo (x + a)
o (x2 + 2bx + c) con b2 c < 0, por lo que el clculo de
Z
Y (x)
dx
Q2 (x)
dx
x+a
y/o
Ax + B
dx
x2 + 2bx + c
Z
Y (x)
dx el
Q2 (x)
mtodo de fracciones parciales. Esto exige el clculo de nuevos coeficientes en un nmero
igual al del grado de Q2 (x).
En vez de eso proponemos escribir de inmediato, usando las frmulas dadas en los Casos
1 y 4 a las integrales obtenidas de las fracciones parciales de QY2(x)
(x) , con coeficientes que se
calcularan simultneamente a los del polinomio X(x).
Vemoslo en algunos ejemplos.
que han sido ya estudiados en las Casos 1 y 4, luego de tener que aplicar a
24
La integral indefinida
Ejemplo 1.16
Segn la frmula de Ostrogradski, con
X(x) = A0 + A1 x + + An2 xn2
se tiene:
Z
Pn1 (x)
A0 + A1 x + + An2 xn2
An1
dx
=
+
dx.
(x a)n
(x + a)n1
xa
Pero podemos escribir directamente
Z
Pn1 (x)
A0 + A1 x + + An2 xn2
dx
=
+ An1 ln |x a| + C
(x a)n
(x a)n1
X(x)
=
+ An1 ln |x a| + C.
(x a)n1
Derivando y escribiendo todo con el mismo denominador comn (x a)n se obtiene la identidad
Pn1 (x) (x a)X (x) (n 1)X(x) + An1 (x a)n1
que nos permitir hallar los n coeficientes A0 , A1 , . . . , An1 .
Ejemplo 1.17
En vez de
con
X(x)
P2n1 (x)
dx = 2
+
(x2 + k2 )n
(x + k2 )n1
Ax + B
dx,
x2 + k 2
Ejemplo 1.18
Teniendo en cuenta que (x4 1) = (x + 1)(x 1)(x2 + 1)
Z
dx
Ax7 + Bx6 + Cx5 + Dx4 + Ex3 + F x2 + Gx + H
=
4
3
(x 1)
(x4 1)2
+ I ln |x + 1| + J ln |x 1| + K ln |x2 + 1| + L arctan x + M,
de donde
1 (x4 1)(7Ax6 + 6Bx5 + 5Cx4 + 4Dx3 + 3Ex2 + 2F x + G)
B = 0,
C=
7
,
32
D = E = F = 0,
11
,
32
H = 0,
I = J =
25
21
,
128
K = 0,
L=
21
,
64
por lo que
dx
7x5 11x
21
x 1 21
=
+
ln
arctan x + C.
(x4 1)3
32(x4 1)2
128
x+1
64
Podemos aplicar el mtodo de Ostrogradski mejorado (MOM) desde el inicio, esto es, sin
usar fracciones parciales para las fracciones cuyos denominadores tienen solo factores simples
sean estos de primer grado, de segundo grado o ambos. As tenemos los siguientes casos.
1. Denominadores con factores simples de primer grado
Sean K 1, a1 , . . . , ak R, PK1 un polinomio de grado menor que K.
Z
X
PK1 (x) dx
=
Ck ln |x + ak | + C,
(x + a1 )(x + a2 ) (x + aK )
K
k=1
X
P2N 1 (x) dx
=
AN ln(x2 + 2bn x + cn )
2
2
2
(x + 2b1 x + c1 )(x + 2b2 x + c2 ) (x + 2bN x + cN ) n=1
N
N
X
x + bn
BN arctan
cn b2n
n=1
+ C.
k=1 (x
P (x) dx
+ ak )
QN
n=1
(x2
+ 2bn x + cn )
K
X
k=1
Ck ln |x + ak | +
N
X
n=1
N
X
x + bn
Bn arctan
cn b2n
n=1
An ln |x2 + 2bn x + cn | + C,
26
La integral indefinida
PK
PN
Q1 (x) =
K
Y
(x + ak )Mk 1
f (x) dx =
=
n=1
k=1
Entonces
N
Y
P (x) dx
QK
k=1 (x +
N
X
ak
)Mk
QN
2
n=1 (x
+ 2bn x + cn )Nn
X
x + bn
X(x)
An ln(x2 + 2bn x + cn ) +
Bn arctan
+
Q1 (x) n=1
cn b 2
n=1
N
K
X
k=1
Ck ln |x + ak | + C,
Z
f (x) dx con
f (x) =
2x3 6x2 4x 8
x4 8x
del Ejemplo del Caso 7 donde aplicamos el mtodo de fracciones parciales. Esta vez calculemos la
integral con el mtodo de Ostrogradski mejorado.
Buscamos el resultado de la forma:
Z
x+1
f (x) dx = A ln |x| + B ln |x 2| + D ln(x2 + 2x + 4) + E arctan + C.
3
Derivando ambos miembros de esta igualdad obtenemos la identidad
f (x) =
1 E
(2x + 2)D
A
B
3
+
+ 2
+
2 .
x
x2
x + 2x + 4
1 + x+1
3
Identificando los coeficientes de los numeradores de estas fracciones obtenemos el siguiente sistema
lineal de 4 ecuaciones para el clculo de A, B, D y E:
8
>
x3 : 2 = A + B + 2D
>
< 2
x : 6 = 2B 2D + 3E
Coeficientes de:
.
>
x : 4 = 4B 4D 2 3E
>
: 0
x : 8 = 8A
Resolvemos este sistema y obtenemos que
A = 1,
B = 1,
D = 1,
2
E= ,
3
27
por lo cual
x+1
2
f (x) dx = ln |x| ln |x 2| + ln(x2 + 2x + 4) arctan + C.
3
3
Ejemplo 1.20
Z
Calculemos
f (x) dx con
f (x) =
1
.
(x + 1)(x2 + 2x + 5)
A
2x + 2
+B 2
+C
x+1
x + 2x + 5
1+
1
2
,
x+1 2
2
entonces:
1
,
4
B=
1
,
8
C = 0,
1.9.1
Ejercicios
28
La integral indefinida
dx.
3
x+1
(c) Sean a, b, c, d R tales que ad 6= cb, y sea m N. Pruebe que el cambio de variable
x (dtm + b)/(ctm a) (lo que da tm (ax + b)/(cx + d)), transforma una integral de la
forma
Z
ax + b
R x, m
dx,
cx + d
donde R es una funcin racional de 2 variables, en la integral de una funcin racional. Use
este resultado para calcular
Z
x+1
dx.
x
(d) Sean a, b ]0, [. Pruebe que el cambio de variable x (a/b) sen t, con x ] a/b, a/b[ y
t ] /2, /2[, transforma una integral de la forma
Z
p
R x, a2 b2 x2 dx
en la integral de la forma
Z
R1 (cos t, sen t) dt,
donde R1 es otra funcin racional de dos variables, y que una integral de este tipo se puede
transformar en la integral de una funcin racional con el cambio de variable u tan(t/2) (use
las identidades sen t 2u/(1+u2 ), cos t (1u2 )/(1+u2 ), t 2 tan1 u; dt = 2du/(1+u2 )).
Aplique estos resultados para calcular
Z p
3 5x2 dx.
3. Para las integrales siguientes escriba la forma de una primitiva, sin calcular los coeficientes, dada
por el mtodo de Ostrogradski mejorado:
Z
Z
dx
dx
(a)
(c)
(x + 2)3 (x + 1)(x 1)2
(x + 4)2 (x + 1)3 (x2 8x + 17)3
Z
Z
dx
x
(b)
(d)
dx
(x + 1)2 (x2 + 6x + 18)3
(x3 + 1)3 (x4 + 1)2
Captulo 2
La integral definida
2.1
El Palimpsesto de Arqumedes
En 212 a. C., un soldado romano decapit a uno de los ms extraordinarios seres humanos
que ha existido: Arqumedes. l fue sorprendido dibujando figuras geomtricas en la arena y
solo alcanz a decir: no daes mis crculos.
El legado de Arqumedes se conoce a partir de tres obras suyas: el cdice A, transcrito al
griego; el cdice B, al latn, ambos en el siglo ix; y el enigmtico cdice C, copiado en el siglo
x en Constantinopla (Estambul). De alguna manera fue llevado a Palestina, donde cay en
manos del presbtero IOANNES MYRONAS quien, en abril de 1229, borr el texto con zumo
de limn y piedra pmez para transcribir en l oraciones religiosas. Para ello, dividi las hojas
en dos y escribi perpendicularmente a las desaparecidas lneas de la obra de Arqumedes,
que se convirti as en un Palimpsesto.
En 1880 un estudioso griego descubri la existencia del texto borrado, del cual se adivinaban apenas algunos trazos detrs de las oraciones, y pudo copiar algn fragmento de las
palabras de Arqumedes.
Este fragmento llam la atencin, en 1906, del filsofo dans Johan Ludvig Heiberg, quien
con la ayuda de una lupa, tradujo lo que logr leer y lo public en 1910, el que contena un
80 % del texto original.
El Palimpsesto desapareci hasta que, en 1998, una familia francesa de apellido Guersan
lo puso a la venta. Un comprador annimo pag dos millones de dlares por la obra y la
deposit en el Walters Art Museum para que lo conserven.
Debemos anotar que en el siglo xx alguien destruy para siempre cuatro pginas del libro,
al pintar sobre ellas los retratos de los cuatro apstoles, copiados de una obra medieval. Con
esto se intent subir el precio del antiguo libro de oraciones. El arte antiguo falsificado era
ms cotizado que el legado cientfico de Arqumedes!
Con tcnicas modernas, en el ao 2000, el especialista Roger Easton del Rochester Institute empez a trabajar en el libro y logr recuperar un 15 % adicional del texto.
En 2002 el fsico Uwe Bergman de Stanford, usando nuevas tecnologas de rayos X, logr
precisar anteriores hallazgos de Arqumedes relativos al clculo del centro de gravedad de objetos y revelar una seccin entera de El Mtodo que haba estado escondida en las secciones
cosidas de algunas pginas del libro: . . . contiene parte de la discusin sobre cmo calcular el
rea dentro de una parbola, usando una nueva forma de razonar sobre el infinito. . . , segn
dijo Netz, profesor de Ciencias Clsicas, luego de mirar las imgenes de rayos X obtenidas.
Y aadi: Parece ser una temprana incursin al Clculo (Infinitesimal) casi 2000 aos antes
de que Isaac Newton y Gottfried Wilhelm Leibniz lo inventaran.
La obra de Arqumedes contiene sus resultados en otros temas que muestran lo increblemente avanzado que estuvo respecto a su tiempo. Invitamos al lector a estudiarlos. Tratare-
30
La integral definida
mos aqu en delante de reproducir los resultados de Arqumedes relativas al rea dentro de
una parbola.
Solo indicamos que numerosos cientficos de varias disciplinas y de diversos orgenes se
hallan estudiando el Palimpsesto de Arqumedes, y tratan de descubrir el 100 % del contenido
de la obra.
Uno de los problemas que resolvi Arqumedes, y se lo puede hallar en el Palimpsesto del
Cdice C, es el de la cuadratura de la parbola; es decir, el problema de hallar el rea de la
regin plana comprendida entre una parbola y una recta.
Tomaremos, por ejemplo, la parbola de ecuacin y = f (x) = 1 x2 y el eje de las
abscisas, o sea la recta de ecuacin y = 0 . Arqumedes aproximaba el rea buscada A con el
rea de los polgonos de (n + 1) lados inscritos en la figura, segn se muestra en la figura.
y
Tringulo
Pentgono
Heptgono
Es decir, para todo n 2 se verifica que Pn < A. Mientras mayor sea el nmero de
lados del polgono, es decir, mientras mayor sea n, mejor es la aproximacin. Los vrtices del
polgono de n + 1 lados sern
Pk (xk , yk ),
0 k n,
con
yk = f (xk ) y
xk = 1 + kxk ,
donde xk =
2
,
n
de donde
2k
.
n
Por ejemplo, si n = 4, tendremos el pentgono de vrtices
xk = 1 +
P0 (1, 0), P1
1 3
,
, P2 (0, 1), P3
2 4
1 3
, P4 (1, 0).
,
2 4
1 k n.
2k
n
4k 4k 2
= 1 1 +
+ 2
n
n
4k 4k 2
=
2
n
n
4
.
=
2
n k kn
= 1 1 +
yk1 +yk
xk
2
31
y como xk =
2
n,
tendremos
1
(yk1 + yk ).
n
Tk =
Entonces
A Pn =
n
X
1X
(yk1 + yk )
n
n
Tk =
k=1
k=1
n
X
1
=
n
yk1 +
k=1
1
=
n
n
X
yk
k=1
y0 + 2
n
X
k=1
yk yn
n1
8 X
k2
= 2
k
n
n
k=1
4(n2 1)
1
4
=
1 2
=
3n2
3
n
A qu valor se acerca Pn cuando n es cada vez ms grande? Ese valor no es otro que
lm Pn =
4
.
3
Veamos ahora cmo se puede resolver el problema aproximando el rea A con la de una
figura formada por rectngulos en vez de los trapecios que utilizamos para calcular el rea
del polgono de Arqumedes: si trazamos las rectas verticales de ecuacin x = xk , 0 k n,
nuestra figura se divide en n fajitas.
xk1 x
xk
La k-sima fajita se puede aproximar con un rectngulo del mismo ancho xk = xk xk1
y de altura f (xk ), donde xk es un valor cualquiera comprendido entre xk1 y xk .
Podemos escribir
A
n
X
f (xk )xk = An .
k=1
2
n,
32
La integral definida
n
X
f (x )xk
k=1
n
X
2k
1 1 +
n
k=1
2X 4
4
k 2 k2
n
n
n
n
2
2
n
k=1
=8
n
n
1 X
1 X 2
k
k
n2
n3
k=1
k=1
2n2
6n3
(n + 1) (n + 1)(2n + 1)
=8
.
2n
6n2
Vemos que si n es cada vez ms grande An se acerca a un valor que puede calcularse tomando
el lmite:
4
1 1
lm An = 8
= .
n+
2 3
3
Se obtiene pues el mismo resultado que Arqumedes!
2.2
La suma de la forma
n
X
f (xk )xk
k=1
fue usada por los creadores del clculo integral Newton y Leibniz, para aproximar el valor del
rea A y sirvi a Riemann1 para obtener una generalizacin que tiene mltiples aplicaciones.
Esta es la integral definida que se nota
Z
f (x) dx
a
n
X
k=1
a cero.
Formalicemos la definicin de la integral definida.
Sea f : [a, b] R una funcin acotada. Se llama a todo conjunto P = {x0 , x1 , . . . , xn },
particin de [a, b], si n 1, a = x0 < x1 < . . . < xn1 < xn = b, porque al intervalo [a, b] lo
partimos en n subintervalos Ik = [xk1 , xk ], 1 k n.
Se llama grosor (amplitud o norma) de la particin P al nmero
kPk = max xk .
1kn
33
f (xk )xk
k=1
Diremos que f es integrable segn Riemann en [a, b] si existe el lmite de las sumas de
Riemann
n
X
k=1
f (xk )xk cuando el grosor de la particin kPk tiende a cero. A este lmite se
Z
f (x) dx o
f o simplemente
[a,b]
f.
Notemos que la existencia del lmite est condicionada solamente al hecho de que kPk
tienda a cero sin importar los valores xk y xk elegidos. Basta entonces que para la pareja
(P, P ), kPk tienda a cero.
Tendremos entonces, por definicin, que
Z
f (x) dx = lm
a
kPk0
n
X
f (xk )xk .
k=1
h0
L = lm F (h)
h0
|F (h) L| < .
Anlogamente:
Z
f (x) dx puede ser aproximado con la precisin que se desee por las sumas de
a
Riemann
n
X
k=1
f (x) dx = lm
kPk0
n
X
k=1
f (xk )xk
kPk <
Z b
n
X
f (xk )xk
f (x) dx < .
a
k=1
la parbola,
1
34
La integral definida
A=
1
(1 x2 ) dx =
4
.
3
Nota: Hemos definido antes lo que es una funcin montona y una funcin acotada; pero
recordemos estas definiciones.
1. f es montona en [a, b] si f :
o es no decreciente: para todo x1 , x2 R
a x1 < x2 b
f (x1 ) f (x2 ).
f (x1 ) f (x2 ).
0 k n, xk = h =
ba
,
n
y
kPn k 0
si y solo si
n +.
Los valores xk se pueden tomar de modo que los clculos sean ms simples. Ilustremos esto
con un ejemplo.
35
Ejemplo 2.21
Clculo de
R1
0
x2 dx.
1
,
n
1
xk = k ,
n
0 < k < n.
xk1 xxk
(k 1)2
n2
f (x) = f (xk1 ) =
m
ax
xk1 xxk
f (x) = f (xk ) =
k2
.
n2
tomando para 1 k n, xk = xk1 , se tendr entonces que las sumas de Riemann tendrn el
mnimo valor posible, mientras que si xk = xk , su valor ser el mximo posible. Realicemos los
clculos siguientes. Pongamos :
Sn =
n
X
f (xk1 )xk =
k=1
n
n1
1 X
1 X 2
2
(k
1)
=
k ,
n3
n3
k=1
Sn =
n
X
f (xk )xk =
k=1
k=1
n
1 X 2
k .
n3
k=1
Sn
Sabemos que
n
X
k=1
k2 =
k=1
f (xk )xk S n .
n(n + 1)(2n + 1)
,
6
por lo cual
n1
X
k=1
X
(n 1)((n 1) + 1)(2(n 1) + 1)
(n 1)n(2n 1)
=
k2 =
6
6
n1
k2 =
k=1
(n 1)(2n 1)
,
6n2
Sn =
(n + 1)(2n + 1)
.
6n2
Sn
k=1
f (xk )xk S n ,
h0
como
lm S n = lm S n =
tendremos:
x2 dx =
0
1
.
3
n ,
1
,
3
36
La integral definida
n
X
ba
f a+k
.
n
k=1
Si
P f es mun polinomio de grado m, los clculos exigen conocer el valor de sumas de tipo
k=1 k . Se conocen frmulas para m = 1, 2, 3, 4, . . . pero no mayores que 13.
El mtodo indicado es pues interesante pero no muy til para polinomios de grado mayor
y peor para funciones f arbitrarias, an en el caso de funciones muy conocidas y estudiadas,
como son las funciones trigonomtricas, exponenciales, etc.
La utilidad prctica del concepto de integral definida sera limitada sin el descubrimiento
de un mtodo de clculo admirable por su simplicidad y amplitud que, no en vano, se lo
conoce como el teorema fundamental del clculo.
Antes de abordarlo, establezcamos algunas propiedades importantes de la integral definida. Previamente recordemos algo ms sobre la notacin de sumatorias y sus propiedades.
2.3
Sumatorias
n
X
ak ,
k=1
ak = am + am+1 + + an1 + an .
n
X
(2)
(3)
(4)
(definicin)
ak = a1 + a2 + + an
k=1
n
X
n
X
k=1
k=1
(ak ) =
ak ; R
n
X
n
X
k=1
k=1
(ak + bk ) =
ak +
(aditiva)
bk
k=1
n
X
n
X
k=1
k=1
(ak + bk ) =
n
X
(distributiva)
ak +
n
X
bk
(lineal)
k=1
n
X
k=1
ak 0.
n
X
k=1
ak
n
X
k=1
bk .
2.3 Sumatorias
37
n
n
X
X
(7)
ak
|ak |.
k=1
(8)
n
X
k=1
ak =
k=1
ak .
k=m+1
n+p
X
ak =
n
X
ak +
k=1
n
X
(9)
m
X
j=m+p
k=m
Ejemplo 2.22
1.
5
X
k=1
(2k 1) = (2 1 1) + (2 2 1) + (2 3 1) + (2 4 1) + (2 5 1)
= 1 + 3 + 5 + 7 + 9 = 25.
2.
6
X
= + + + + + = 6. En general
k=1
3. Sn(1) =
n
X
= n.
k=1
n
X
k=1
k = 1 + 2 + + n =
n(n + 1)
.
2
n(n + 1)(2n + 1)
donde F (n) =
. En efecto, probemos que la igualdad es vlida para n = 1:
6
1
X
1(1 + 1)(2 1 + 1)
(2)
S1 =
k2 = 12 = 1. Por otro lado, F (1) =
= 1.
6
k=1
Probemos ahora que para todo n 1 si la igualdad es verdadera para n, tambin es verdadera
para n + 1:
(2)
Sn+1 =
n+1
X
k2 =
k=1
n
X
k=1
n(n + 1)(2n + 1)
(n + 1)[n(2n + 1) + 6(n + 1)]
=
+ (n + 1)2 =
6
6
(n + 1)(2n2 + 7n + 6)
(n + 1)(n + 2)(2n + 3)
=
=
.
6
6
Por otro lado, tenemos que
F (n + 1) =
(n + 1)[(n + 1) + 1][2(n + 1) + 1]
(n + 1)(n + 2)(2n + 3)
=
.
6
6
(2)
38
La integral definida
n
X
k3 =
k=1
X
n
Sn(4) =
k4 =
k=1
2.3.1
n2 (n + 1)2
, y que
4
Ejercicios
58
X
(5k + 2k2 )
N
X
(k2 + k + 1)2
(e)
k=23
(b)
17
X
k=1
(1 + 2k + 4k3 + 3k4 )
100
X
(f)
k=3
15
(c)
m=1
2
1
m(m + 1)(m + 2)
(k + k )
k=10
(d)
25
X
1
1
= 2
+ 2 .
m(m + 1)(m + 2)
m m+1 m+2
(1 + 2n + 6n2 )
n=5
(c) 1 + 5 + 9 + 13 + + 101
(b) 1 + 3 + 5 + 7 + + 251
2.4
n
X
f (x) dx = lm
kPk0
f (xk )xk ,
k=1
si el lmite existe, donde P = {x0 , x1 , . . . , xn } son particiones de [a, b]; es decir, se verifica
que a = x0 < x1 < . . . < xn1 < xn = b, y P = (x1 , . . . , xn ) son particiones asociadas a P,
es decir que para todo k {1, . . . n}, xk [xk1 , xk ].
En el caso de que a = b, se define
Z
f (x) dx = 0
a
y, tambin, se define:
Z
b
f (x) dx =
f (x) dx.
a
39
1.
a
dx = (b a).
2. f es Riemann-integrable en [a, b] y
Z
(f )(x) dx =
f (x) dx =
3. f + g es Riemann-integrable en [a, b] y
Z
(f + g)(x) dx =
[f (x) + g(x)] dx =
f (x) dx +
a
g(x) dx.
a
b
a
(f + g)(x) dx =
a
[f (x) + g(x)] dx =
f (x) dx +
a
g(x) dx.
a
Teorema 2.3
Sean f : [a, b] R y g : [a, b] R dos funciones Riemann-integrables en [a, b], a1 , b1 ,
c1 [a, b]. Entonces
1. f es integrable en cualquier intervalo de extremos en {a1 , b1 , c1 }. Adems
Z
c1
a1
b1
f (x) dx =
c1
f (x) dx +
a1
b
a
f (x) dx
Z
3. Si |f | es integrable, entonces f tambin lo es y
b
a
g(x) dx.
(monotona de
Z
f (x) dx
b
a
|f (x)| dx.
(x) dx = 0.
a
f (x) dx = 0
a
f = .
40
La integral definida
Demostracin.
1. Es obvio porque las sumas de Riemann sern todas nulas.
Rb
2. Supongamos que a f (x) dx = 0. Basta probar que f (x) = 0 para todo x [a, b]. Por el
absurdo. Supongamos que existe x0 [a, b] tal que f (x0 ) > 0. Hay tres casos: (i) x0 ]a, b[,
(ii) x0 = a, (iii) x0 = b.
Caso (i) Como f es continua en x0 ,
> 0 > 0 tal que ]x0 , x0 + [ [a, b] y |x x0 | <
f (x0 )
2
Tomando =
f (x0 )
g(x) =
si
si
f (x0 )
f (x0 )
< f (x) < 3
.
2
2
x0 < x < x0 +
x
/ ]x0 , x0 + [
se tiene entonces que para todo x [a, b], g(x) f (x). Entonces
Z b
Z b
g(x) dx
f (x) dx
a
pero
g(x) dx =
a
y por hiptesis
Rb
a
x0
x0 +
0 dx +
x0
f (x0 )
dx +
2
0 dx = f (x0 )
x0 +
lo cual es absurdo.
Casos (ii) y (iii): Para estos dos casos se obtiene anlogamente 0 <
2.4.1
1
f (x0 ) 0.
2
Ejercicios
1. Use la definicin de integral definida y la integrabilidad de las funciones continuas para calcular:
(a)
Z0 6
(2x3 1) dx
(b)
(3) dx
(c)
3x dx
2
3
x2 dx
(i)
a
(2x + 1) dx
1
Z 2
x3 dx
(j)
(x + x + 1) dx
Z0 2
Z
(x3 + x2 + x + 1) dx
(f)
x dx
a
Z
(d)
(h)
1
Z 5
(e)
(g)
5 dx
x4 dx
(k)
a
N
P
k=1
(a) S(N ) =
N
X
k=1
(b) S(N ) =
N2 3
Rb
a
41
f (x) dx para:
k2
, f (x) = x2 / 1 + x3 , [a, b] = [0, 1]
3
3
N +k
N
3 X
3k 3
2 +
, f (x) = x3 , [a, b] = [2, 1]
N
N
k=1
4. Use los resultados del primer ejercicio, literales (h)(k) y las propiedades de la integral definida
para calcular:
(a)
(x2 x + 1) dx
(b)
0
3
3
(c)
1
2.5
(x4 3x + 1) dx
(f)
(x + 1) dx
(3x2 + x + 2) dx
(e)
(x + 9) dx
(d)
(x2 + 1) dx
(x + 1) dx +
2
Lema 2.1
Sea f : [a, b] R una funcin continua. Sea x0 [a, b[. Para h ]0, b x0 ] sea
fm (h) =
mn
x0 xx0 +h
f (x),
fM (h) =
max
x0 xx0 +h
f (x).
Entonces
h0+
Es decir:
x 0 < x < x 0 + 0
Probemos que
Basta tomar = 0 (). En efecto, si 0 < h < 0 (), como f es continua en [x0 , x0 + h], existe
xm [x0 , x0 + h] tal que
f (xm ) =
mn
f (x) = fm (h).
x0 xx0 +h
42
La integral definida
mn
x0 hxx0
f (x),
fM (h) =
max
x0 hxx0
f (x),
entonces
lm fm (h) = lm fM (h) = f (x0 ).
h0
h0
Con ayuda de esta propiedad de las funciones continuas demostraremos el Teorema Fundamental del Clculo para estas funciones.
2.6
Hemos mencionado ya que calcular la integral definida de una funcin dada, salvo en el caso
de los polinomios de grado no muy elevado, es prcticamente imposible si solo se utiliza la
definicin.
El Teorema Fundamental del Clculo que presentaremos ahora nos provee de una herramienta maravillosa para dicho clculo.
Consideramos una funcin continua f : [a, b] R. Podemos definir A : [a, b] R por
Z
A(x) =
f (t) dt.
a
Para visualizar esta funcin, tengamos en cuenta que cuando para todo t [a, b], f (t) 0,
A(x) es el rea comprendida entre la grfica de f y las rectas t = a, t = x y el eje de las
abscisas.
f
A(x)
a
b t
El Teorema Fundamental del Clculo afirma que A es una primitiva de f ! Es decir que
A = f .
Teorema 2.5 (Teorema Fundamental del RClculo I (TFC1))
x
Si f : [a, b] R es continua y si A(x) = a f (t) dt, entonces A = f . Es decir:
A (x) = f (x).
43
f (x) = lm
h0+
x+h
A(x + h) =
f (t) dt
a
x+h
f (t) dt +
a
f (t) dt
x
x+h
= A(x) +
f (t) dt.
x
Por lo tanto:
Z
A(x + h) A(x) =
x+h
f (t) dt.
x
Sean
fm (h) =
mn
xtx+h
f (t),
fM (h) =
m
ax
xtx+h
para todo
t [x, x + h].
x+h
fm (h) dt
x+h
x
f (t) dt
f (t)
x+h
fM (h) dt,
x
de donde
hfm (h) A(x + h) A(x) hfM (h).
Dividiendo para h:
A(x + h) A(x)
fM (h).
h
Estas desigualdades son vlidas para todo h ]0, b x]. Tomamos lm y gracias al lema 2.1
fm (h)
h0+
h0+
h0+
de donde
A+ (x) = f (x)
para todo
x [a, b[.
para todo
x ]a, b],
para todo
x ]a, b[.
Z
a
44
La integral definida
TFC2.
Demostracin. Supongamos que TFC1 esRverdadero. Vamos a probar que TFC2 tambin lo es.
x
Por el TFC1 sabemos que, si A(x) = a f (t) dt, A (x) = f (x) para todo x [a, b], tomando en
a y en b las correspondientes derivadas laterales. Como tambin F (x) = f (x) para todo x [a, b],
por el teorema de la unicidad de las primitivas salvo una constante, existe C R tal que para
todo x R [a, b], A(x) = F (x) + C. Con x = a tendremos entonces A(a) = F (a) + C y, como
a
A(a) = a f (t) dt = 0, se obtiene que C = F (a). Con x = b se obtiene entonces A(b) = F (b) + C,
por lo que
Z
b
Derivando obtenemos
A (x) = F (x) 0 = f (x).
Se suele escribir, si F = f
Z
a
Teorema 2.8
Si F [a, b] = {F : [a, b] R}, el conjunto de funciones, dotado de la suma y multiplicacin por
un nmero, las aplicaciones
Z
I : F [a, b] : R,
f 7 I(f ) =
f (t) dt,
a
J : F [a, b] : R,
son lineales.
45
I1 =
1
4
,
3
(1 x2 ) dx =
I2 =
x2 dx =
1
.
3
Si ponemos
f1 (x) = 1 x2 ,
F1 (x) = x
f2 (x) = x2 ,
x3
,
3
F2 (x) =
x3
,
3
I1 =
1
(1 x2 ) dx =
x
Z
I2 =
x3
3
1
= 1
1
3
(1)
1
3
4
,
3
x2 dx =
x3
1
1
= 0= .
3 0
3
3
1
1
sen = 1 = .
2
6
2
2
"
cos x dx = lm
n
X
k=1
cos
+k 2
6
n
3
4
2.
x
.
x2 4x + 5
x
2
Solucin.
1.
2+
3
2+3
2+3
x dx
1
= ln(x2 4x + 5)
+ 2 arctan(x 2)
x2 4x + 5
2
3
3
1 4
= ln + 2 arctan 3 arctan 1
2 2
= ln 2 + 2
= ln 2 + .
3
4
6
46
La integral definida
2. Si u = x, du = dx, dv = e
xex/2
2
x
2
y v = 2e 2 tenemos:
4
Z 4
x
x
dx = 2xe 2 + 2
e 2 dx
2
2
4
x
2
1
2
= 2(4e 2e ) 4e
2
2.6.1
Ejercicios
b
1. Usando la notacin G(x) = G(b) G(a), pruebe que
a
b
b
b
b
(a) [F (x) + G(x) + H(x)] = F (x) +G(x) +H(x)
a
b
b
(b) [F (x) + C] = F (x)
a
(a)
p
2x2 + 1 dx
0
2
(a0 + a1 x + a2 x + + aN x ) dx
/4
t2 dt
x2 dx
(2 cos x 3 sen x) dx
(i)
(5t2 + cos t) dt
(j)
(e)
27
(h)
/3
(d)
(c)
x
32
(g)
(3x 5x + 2) dx
(y 2 + 1) sen y dy
(b)
(f)
/3
(sec x + tan x) dx
/6
(3 exp x + cos(x/2)) dx
Z
f (u) du
g(a)
y de
a
para el caso en que se conoce una primitiva F de f , justifique las frmulas de cambio de variable
u g(x) para la integral definida por:
g(b)
f (g(x))g (x) dx =
a
f (u) du;
g(a)
g 1 (B)
f (g(x))g (x) dx =
g 1 (A)
f (u) du.
A
(a)
/2
(b)
/3
1 + cos x
dx
(x + sen x)3
(h)
sen x cos x dx
(i)
/4
4
(d)
(e)
t2
1
1
(|x| + x) dx
3
3
(k)
tan1 x
dx
x
(x2 + x) exp(x) dx
(l)
t3 + 1 dt
(j)
x exp x dx
x ln x dx
x2
dx
3x + 4
p
3
1+4 x
dx
x
(f)
(g)
/6
(c)
cos( x/4)
dx
x
47
6. Calcule, si F (x) =
Rx
1
f (t) dt:
(d) F (x2 + x + 1)
(a) F (7)
(b) F (x2 )
(c) F (x2 )
5x
(a) f (x) =
(t2 + t) dt
cos x
sen x
(c) f (x) =
t + 1 dt
x2
(3t + 2t2 ) dt
(b) f (x) =
exp x
(d) f (x) =
(t + 1/t) dt
3x
8. Calcule:
Z
axb
(1 + t + t2 ) dt
2.7
0x4
x
2
(1 + t + t ) dt
(t2 4t + 3) dt
(c) m
ax
(b) mn
axb
(a) m
ax
(d) mn
0x3
(t2 4t + 3) dt
Para calcular integrales indefinidas son muy tiles los mtodos de cambio de variable o
sustitucin y la integracin por partes. Veamos, en sta seccin y en la siguiente, cmo se
aplican en el caso de la integral definida.
Si g : J I tal que x 7 u = g(x) es una funcin biyectiva entre dos intervalos J e I se
tiene que para f : I R, con el cambio de variable u g(x) o su equivalente x g 1 (u):
Z
f (g(x))g (x) dx
1.
Z
2.
h(x) dx
48
La integral definida
Como
Z
b
a
y como
tenemos que:
Z
1.
f (g(x))g (x) dx =
f (u) du, y
g(a)
2.
g(b)
g(b)
h(x) dx =
a
g(a)
h((u)) (u) =
h(x) dx
1 (b)
h(x) dx =
a
h((u)) (u) du =
1 (a)
1 (b)
1 (b)
1 (a)
f (u) du = F (u)
1 (a)
1 (b)
1 (a)
h((u)) (u) du =
1 (a)
1 (a)
h((u)) (u) du =
1 (b)
1 (b)
Es decir que si J = [a, b], e I es el intervalo cerrado de extremos 1 (a) y 1 (b), se puede
poner
Z
Z
h(x) dx = h((u))| (u)| du.
J
Consideremos A =
0
A=
0
[(b a)x + a] dx =
a+b
.
2
Queremos valernos de este ejemplo simple para entender qu sucede cuando se hace un cambio
de variable x (u).
49
v
P1
b
a+
A
C
1
Q0
Q1
b
+
B
+
Q1
Q0
1<h
h
0<h<4
1
u
h
con u = hx.
u
h
0
El intervalo de integracin [0, 1] se transforma en [0, h]. Si h > 1 el intervalo [0, 1] se estira
y si h < 1, se encoge. Por otro lado, al hacer el cambio de variable tenemos una nueva
funcin g(u):
u
y = f (x) = f ((u)) = (b a) + a =: g(u).
h
Esto significa que la recta que es el grfico de f se transforma en una recta que pasa por
Q0 (0, a) y Q1 (h, b), cuya ecuacin es
y = g(u).
x
1
a+b
El rea A = a+b
2 se transforma en B = 2 h, y se agranda o achica segn que h > 1
o 0 < h < 1, respectivamente. Por eso no se podra escribir simplemente
A=
f (x) dx
igual a
g(u) du = B,
0
A=
f (x) dx =
f ((u)) (u) du =
donde (u) = h1 > 0. Este factor, h1 , es el que compensa el cambio de rea producido al
estirarse o encogerse el intervalo [0, 1] que se convirti en el intervalo [0, h].
Un cambio de variable x (v) = 1 h1 v produce un resultado similar, pero en este caso
como (v) = h1 < 0, se tiene
Z
A=
f (x) dx =
0
f ((v)) [ (v)] dv =
0
50
La integral definida
x
1
Calcular
1
(1 + 2 x)3
dx =: M.
(1 + 2 x)3
(1 + 2u)3
dx =
M=
2u du =
(1 + 2u)3 2 du.
u
x
1
1
1
Podemos usar un nuevo cambio de variable: v 1 + 2u, dv 2du, y [1, 2] se transforma en [3, 5],
por lo cual
Z 2
Z 5
v 4 5 1 4
4
M=
(1 + 2u)3 2 du =
v 3 dv =
= (5 3 ) = 136.
4 3 4
1
3
Algo notable es que en la frmula del cambio de variable para la integral definida
Z
h(x) dx =
a
(2.1)
con A = 1 (a), B = 1 (b), la funcin puede no ser biyectiva entre J = [a, b] e I = [A, B]
o [B, A], segn el caso.
Rb
Puede suceder que [a, b] $ Im() = [A1 , B1 ], por ejemplo. Para la integral a h(x) dx
RB
basta conocer h(x) para x [a, b], mientras que para calcular A h((u)) (u) du, se requiere
conocer h(x) para x Im().
La frmula (2.1) sigue siendo vlida, pero en este caso basta que (A) = a y (B) = b y
naturalmente que sea derivable en [A, B] o [B, A] segn el caso. Verifquelo! Compruebe
antes la validez de (2.1) con el ejemplo siguiente.
Ejemplo 2.25
Sean A, B [1, 1], (u) = sen u y h(x) = x2 . Adems:
a {sen1 A + 2k|k Z} { sen1 A + (2m + 1)|m Z},
entonces
sen2 u cos u du =
a
x2 dx.
A
2.7.1
51
Ejercicios
1. Calcular:
exp( x + 1)
dx
x+1
(a)
/3
(b)
/6
Z 1
(c)
0
1
dx
x + 1( x + 1 + 1)
3
x2
dx
x+8
/6
(f)
dx
(x2 + 4)3
/4
(g)
sen x
dx
1 + sen x
/2
2
(h)
sen x cos(2x) dx
/3
6
(i)
4
dx
x(8 x)
dx
x2 6x
/6
Z 25
(l)
cos x
dx
cos x + sen x
3
x+2
dx
x+1
cos x sen x dx
/4
/6
e
dx
1 + 2x x2
(u)
0
/4
cos3 x
dx
sen4 x
(v)
x ln x
dx
(x3 + 1)3
Z 5
5x
(p)
dx
x
4+x
0
Z /3
x
(q)
dx
2x
cos
/6
Z /4
tan x
(r)
dx
1
+
tan2 x
/6
(o)
(x)
x2
x2
dx
x+1
dx
(x + 1) x2 + 4
(w)
2x + 3
dx
x
sen3 x cos x
dx
1 + sen2 x
(n)
/4
(t)
/3
(m)
11
(s)
/4
(e)
(d)
10
(j)
sen x
dx (k)
1 + cos x + tan2 x
exp(2x) sen(2x) dx
3x3 + x4 dx
(y)
1 + x2
dx
x2
2. Calcular:
(a)
0
4
(b)
3
0
(g)
x2 + x + 1
dx
(x 1)2 (x + 1)2
(h)
dx
(x3 1)2
(c)
1
2
(d)
1
1
(e)
0
1
(f)
0
4 x2
dx
(1 + x2 )2
x
dx
x3 + 8
4
x +1
dx
x2 + 1
6
x
dx
x4 + 1
(m)
x3 (1 x2 )
dx
(4 + x2 )3
(n)
Z
Z
dx
x4 + 1
(i)
x6
dx
(x + 1)(x3 + 1)
sen4 x dx
/2
sen5 x dx
(k)
/4
(l)
/6
f (x) =
1
dx
2 + cos x
/4
tan x
dx
1 + sen2 x
/6
tan2 x
dx
cos2 x
0
1/
(sen1 x)2 dx
(q)
/4
/4
(p)
cos x
dx
1 + 2 sen x
(o)
/4
(j)
/4
dx
sen2 x cos2 x
tan1 x dx
(r)
0
cos x
dt.
1 2t sen x + t2
lm
N
X
k=1
1
N +k
(b)
lm
N
X
k=1
N2
k2
N 2 + k2
52
La integral definida
a
a
(b)
f (x) dx = 0 si f es impar.
a
6. Sea f : R R una funcin continua y T -peridica (es decir, para cierto T > 0, f (x) = f (x + T )
para todo x R). Pruebe que para todo a R,
Z a+T
Z T
f (x) dx =
f (x) dx.
a
F (x) =
f (t) dt,
0
x2
f (x) = exp(x)
0
exp(t t2 ) dt
2.8
De igual manera, en el caso de la integracin por partes, se puede aplicar el Teorema FunZ
[u(x)v(x)] dx =
u(x)v (x) dx +
b
a
u (x)v(x) dx,
xex dx y
Calcular:
0
x2 ex dx.
0
Solucin.
1. Si u = x, dv = ex dx , du = dx y v = ex tenemos:
Z 1
1 Z 1
1
xex = xex
ex dx = (e 0) ex = e (e 1) = 1.
0
[u(x)v(x)] dx = [u(x)v(x)] ; y,
53
1
0
2.9
Z
1
x 2 ex = x 2 ex 2
0
1
0
xex dx = (e 0) 2(1) = e 2.
Una funcin de dos variables reales R : R2 R es una funcin racional de dos variables
R(x, y) =
P (x, y)
Q(x, y)
x, y
(2.2)
R(cos x, sen x) dx
puede transformarse en la integral de una funcin racional con el cambio de variable dado
por:
x
u tan ,
x 2 arctan u
(2.3)
2
sen x
2u
,
1 + u2
dx
cos x
1 u2
1 + u2
2 du
1 + u2
(2.4)
(2.5)
puesto que el nuevo integrando es la composicin de funciones racionales. Para obtener (2.4),
con la ayuda del tringulo de la figura obtenemos
sen
x
u
,
2
1 + u2
sin
x
1
,
2
1 + u2
x
x
cos ,
2
2
cos x = cos2
x
x
sen2 .
2
2
54
La integral definida
Ejemplo 2.27
Z
Calcule I =
dx
.
11 + sen x + cos x
Solucin.
I=
dx
11 + sen x + cos x
Z
Z
11 +
2 du
1+u2
2u
1+u2
1u2
1+u2
du
( 11 1)u2 + 2u + 11 + 1
Z
du
2
.
=
1
2
11 1
u + 2
u + 11+1
=2
111
Con a = 1, b =
1
,
111
11+1 ,
111
c=
d = b ac =
1
11 1
111
2
1 (11 1)
11 + 1
3
=
=
.
11 1
( 11 1)2
11 1
Como c b2 = d =
I
du
1
u+b
=
arctan
+ C.
u2 + 2bu + c
c b2
c b2
3
111
2
11 1
9
,
2(6 11)
tendremos entonces:
1
u + 111
( 11 1)u + 1
11 1
2
arctan
+
C
=
arctan
+ C.
3
3
3
3
111
I=
2.9.1
( 11 1) tan
dx
2
= arctan
3
3
11 + sen x + cos x
x
2
+1
+ C.
Ejercicios
dx
2 + sen x
(a)
/4
(b)
0
Z
(c)
Z
(d)
Z
(e)
dx
1 + cosx
dx
cot x + 2 cos x
(f)
sec x
dx
2 + cos x
(g)
dx
2 + cos x 3 sen x
(h)
1 + tan(x/2)
dx
3 + 2 cos x + sen x
(i)
dx
2 tan x + sen x
(j)
csc x
dx
1 + 2 sen x
/3
/4
/2
0
dx
4 + 2 cos x + sen x
1 + cos x
dx
1 + sen x
2.10
55
Sustituciones trigonomtricas
sec2 = 1 + tan2
tan2 = sec2 1,
x a sen := g(),
[/2, /2].
x
g
cos
O
a +
dx a cos d,
a2 x2
=
=
a2 a2 sen2
a2 (1 sen2 )
a2 cos2
= a| cos |
= a cos
porque [/2, /2]
cos 0.
Notemos que = arc sen xa es una frmula til para regresar a la variable original x
luego de calcular una integral indefinida, o para calcular los lmites de integracin con la
nueva variable .
Ejemplo 2.28
Z
Calcular
x2
dx.
25 x2
Solucin.
Sustitucin:
x 5 sen ,
arc sen
x
,
5
56
La integral definida
dx 5 cos d,
25 x2 5 cos .
Entonces,
x2
dx
25 x2
25 sen2
5 cos d
5 cos
Z
= 25 sen2 d
Z
25
=
[1 cos(2)] d
2
h
i
25
1
=
sen(2) + C
2
2
25
=
( sen cos ) + C
2
25
x
xp
arcsin
25 x2 + C.
2
5
2
Para regresar
a la variable original x nos hemos guiado por el tringulo de la figura donde vemos
que cos = 15 25 x2 .
5
25 x2
Ejemplo 2.29
Z
Calcular
3
x2
dx.
25 x2
Solucin. El integrando es el mismo del ejemplo anterior, razn por lo cual utilizamos el mismo
cambio de variable. Los nuevos lmites de integracin son:
x
3
4
1 = arcsin 3/5
2 = arcsin 4/5
4
3
25
x2
dx =
25
2
25 x2
arcsin 4/5
sen2 d
arcsin 3/5
arcsin 4/5
25
( sen cos )
2
arcsin 3/5
25
4
3
43
34
=
arcsin arcsin +
2
5
5
55
55
25
4
3
=
arcsin arcsin
.
2
5
5
=
3
,
5
cos 1 =
4
,
5
sen 2 =
4
,
5
cos 2 =
3
.
5
57
1
4
] /2, /2[,
dx a sec d,
a2 + x2 =
=
x
2
sec
a2 a2 tan2
a2 (1 tan2 )
a2 sec2 )
= a sec
porque
2
4
= a| sec |
i h
x
arctan .
a
g
2
3
Ejemplo 2.30
Z
Calcule
dx
y
(9 + x2 )3/2
4
0
dx
.
(9 + x2 )3/2
Solucin. Sustitucin:
x 3 tan ,
arctan
x
,
3
dx 3 sec2 d,
9 + x2 3 sec .
Entonces:
3 sec2
d,
(3 sec )3
Z
1
=
cos d,
9
1
= sen + C
9
1
x
+ C.
9 9 + x2
dx
(9 + x2 )3/2
Para el clculo de sen en funcin de x nos hemos guiado por el tringulo de la figura.
2
4
58
La integral definida
9 + x2
3
Hallemos los nuevos lmites de integracin:
x
0
4
0
arctan 4/3
Z arctan 4/3
dx
1
=
cos d
2 3/2
9 0
0 (9 + x )
1
4/3
= sen |arctan
0
9
h
i
1
4
=
sen arctan
0
9
3
14
=
95
4
=
45
Para el clculo de sen arctan 43 nos hemos servido del dibujo.
x2
dx a sec tan d,
a2
=
=
a2
sec2
a2
a2 (sec2 1)
x = arctan
a2 tan2
= a| tan |
= a tan
0
h
puesto que 0,
x
arcsec .
a
h
3
,
,
2
2
2
4
3
4
1
2
3
59
Ejemplo 2.31
Calcular
x2 9
dx y
x4
10
x2 9
dx.
x4
Solucin. Sustitucin:
x 3 sec ,
dx 3 sec tan d,
p
Entonces:
x2 9 3 tan .
x2 9
dx
x4
3 tan
3 sec tan d
(3 sec )4
Z
tan2
1
=
d
9
sec3
Z
1
=
sen2 cos d
9
1
=
sen3 + C.
27
x
x2 9
3
Hallemos los nuevos lmites de integracin:
x
10
5
1 = arcsec 310
2 = arcsec 53
3
1
4
1
=
27
3
10
256 5 10
=
.
13500
Para el clculo de sen arcsec 35 y de sen arcsec 310 nos hemos servido de los tringulos del
dibujo.
10
1
2
1
3
60
La integral definida
2.10.1
Ejercicios
7.
x
4
x
13.
1.
dx
2
2
x
x + 2x + 17
Z
Z
p
Z
x2
3
2
dx
x
x 4 dx
8.
dx
2.
14.
x2 9
(x2 + 4x)3/2
Z
Z
dx
dx
Z
9.
3.
9 4x2
(x2 9)3/2
x2 9
dx
15.
Z
Z p
x
dx
2
10.
4.
5 x dx
Z 4p
(4 x2 )3/2
Z
Z p
16.
25 x2 dx
dx
11.
5.
2 + x2 dx
3
25 9x2
Z 4
Z
Z 2
x2
x 3
17.
dt
6.
(2 x2 )3/2 dx
12.
dx
4
x
25 x2
3
2.11
Integrales impropias
n
X
f (x) dx = lm
kP k0
f (xk ) xk ,
k=1
donde P es una particin del intervalo [a, b]. Cuando existe este lmite se dice que f es
Riemann-integrable en [a, b]. Se conoce que son integrables funciones que cumplen, por ejemplo, una de las siguientes propiedades:
1. f es continua en [a, b],
2. f es montona en [a, b],
3. f es acotada en [a, b] y continua en [a, b] con excepcin de un nmero finito de puntos.
La prctica exige, sin embargo, crear o extender el concepto de integral definida cuando,
por ejemplo:
1. f est definida en un intervalo infinito ], b], [a, +[, ], +[, ], b[ o ]a, +[.
2. f no es acotada.
3. f est definida en un intervalo finito de tipo ]a, b[, ]a, b] o [a, b[.
La integrales que se obtienen se llaman impropias. Definiremos dos tipos de tales integrales.
2.11.1
Definicin 2.1
1. Si f : ] , b] R es continua en ] , b], se dice que f es Riemann-integrable en
Rb
] , b] si existe el nmero f (x) dx definido por
Z
f (x) dx = lm
f (x) dx.
a
61
2. Si f : [a, +[ R es continua
R en [a, +[, se dice que f es Riemann-integrable en
[a, +[ si existe el nmero a f (x) dx definido por
Z
f (x) dx = lm
b+
f (x) dx.
a
f (x) dx =
f (x) dx +
f (x) dx.
Si una de las integrales de la derecha no existe para cierta f , se dice que diverge la
integral de la izquierda.
Observemos lo siguiente.
1. La continuidad garantiza la existencia de
R
Rb
a
Rc
R
c
f (x) dx con
Z
v.p.
f (x) dx = lm
t+
f (x) dx.
t
f (x) dx y su existencia no
t+
Anlogamente se pondr:
Z
Z
F () := lm F (t).
t
62
La integral definida
2.11.2
Ejemplos
1.
1
dx
1
1
1
=
=
lm
= .
2
(x 3)
x 3
1 3 x x 3
2
1
(x3)2 ,
dx
definicin. Para esta funcin no podramos calcular (x3)
2 porque f es discontinua
en 3.
1
R1
= 2 3 x no existe porque lm
3 x = +; es decir, diverge.
2. dx
3x
x
3.
x dx diverge porque
0
x2
x2
x dx =
= +. Ntese que
=
l
m
x+ 2
2
0
v.p.
4.
xe
2
1 x2
1
dx =
e
=
1 lm ex
x
2
2
x2
2.11.3
x dx = 0.
t+
x dx = lm
1
= .
2
Definicin 2.2
1. Si f : ]a, b] R es continua en ]a, b], se dice que f es Riemann-integrable en ]a, b] si
Rb
existe el nmero a+ f (x) dx definido por
Z
f (x) dx = lm
f (x) dx.
ta+
a+
f (x) dx = lm
tb
f (x) dx.
a
f (x) dx =
a+
f (x) dx +
a+
f (x) dx.
c
b
a+
2.11.4
Z
Ejemplos
2
1.
1+
2.
1+
63
dx
= 2 x 11+ = 2
2 1 lm x 1 = 2.
x1+
x1
dx
2
= ln |x 1||1+ = ln |2 1| lm ln |x 1|, por lo que la integral diverge.
x1
x1+
3.
2
5
dx
5
= (x 3)4/5 =
1/5
4
4
(x 3)
2
5
lm (x 3) (2 3)4/5 = .
4
x3
Al calcular una integral impropia de tipo I se puede llegar a otra de tipo II o viceversa.
Veamos un ejemplo:
Z
+
1
dx
=
x2
0+
du
=
u2 u12
du
0+
x
1
+
+
1
u
1
0+
dx
1
= u|0+
x2
= 1 lm u
u0+
= 1.
2.11.5
Ejercicios
1.
Z
2.
3.
4.
5.
6.
7.
1
2
dx
x3
8.
2
dx
x
+1
Z
dx
x4/5
Z2
dx
5/4
x
2
Z 3
exp(3x) dx
Z
exp(x3 ) dx
Z
ln x
dx
x
2
2.12
Z
9.
Z
11.
14.
dx
4 + x2
15.
10.
(x2
x
dx
+ 4)
x exp(x) dx
12.
Z
13.
0+
ln x
dx
x2
x3
dx
+4
x4
dx
ln x dx
0+
dx
(x 2)1/5
dx
(x
2)1/5
2+
Z
1
1
17.
dx
x+1
x+2
2
Z
1
1
18.
+ 2
dx
x
2x + 1
1
Z 0
dx
19.
2
2 x
16.
Integracin aproximada
Rb
Dada una funcin f : R R, Riemann-integrable en [a, b], para calcular a f (x) dx de manera exacta conocemos por ahora el teorema fundamental del clculo, que exige hallar una
64
La integral definida
primitiva F de f y la definicin
Z
f (x) dx = lm
kP k0
n
X
f (xk ) xk .
k=1
El clculo de este lmite, salvo para polinomios de grado no muy grande, es demasiado
engorroso y prcticamente irrealizable. Por eso es necesario disponer de mtodos que permitan
el clculo aproximado de la integral. Veamos algunos mtodos.
2.12.1
Mtodo natural
En =
f (xk ) xk =
f (xk )
f (x) dx
f (x) dx
a
a
n
k=1
k=1
h
2k 1
=a+
(b a).
2
2n
f (x) dx
n
n1
ba X
ba X
yk1 =
yk .
n
n
k=1
k=0
ba X
yk .
n
n
f (x) dx
k=1
4. Se aproxima la integral con el promedio de los resultados obtenidos en las dos opciones
precedentes:
Z
b
a
1
f (x) dx
2
n1
n
ba X
ba X
yk +
yk
n
n
k=0
k=1
ba
(y0 +2y1 +2y2 + +2yn1 +yn ).
n
Este ltimo resultado es idntico al que se obtiene con el as llamado mtodo de los
trapecios que describimos a continuacin.
2.12.2
65
k
En el mtodo natural en cada segmento [xk1 , xk ] la integral xk1
f (x) dx se aproxima con
f
f (x )
k
ak
yk
xk
xk
rk
f (x )
k
yk1
xk1
xk
xk1
xk
xk
xk
ak
tk
yk
xk1
xk1
xk
xk
As
xk
xk1
yk
yk1
yk1
f (x) dx
xk
xk
yk1 + yk
ba
xk =
(yk1 + yk ).
2
2n
Entonces,
Z
f (x) dx =
a
n Z
X
k=1
n
X
k=1
xk
f (x) dx
xk1
ba
(yk1 + yk )
2n
ba
(y0 + 2y1 + 2y2 + + 2yn1 + yn ).
2n
Si ponemos
Tn :=
entonces
ba
(y0 + 2y1 + 2y2 + + 2yn1 + yn ),
2n
b
a
f (x) dx Tn =
ba
(y0 + 2y1 + 2y2 + + 2yn1 + yn ).
2n
66
La integral definida
Algo notable es que el error ET (n) que se comete al aproximar la integral con Tn puede
ser estimado a priori, es decir previo a cualquier clculo, con lo cual se puede conocer el valor
de n que nos permita que el error ET (n) sea menor a un cierto nmero dado previamente.
En efecto se tiene el siguiente resultado.
Teorema 2.9
Si para f : [a, b] R existe su segunda
para todo x [a, b],
R derivada en [a,
b] y M 0 tal que
3
b
|f (x)| M , entonces, si ET (n) = a f (x) dx Tn , ET (n) M(ba)
.
12n2
Ejemplo 2.32
Calcule ln 2 con dos cifras decimales exactas, utilizando el mtodo de los trapecios.
Solucin. Sea f (x) =
1
.
x
Entonces ln 2 =
R2
1
|f (x)| 2
2
,
x3
tenemos que
x [1, 2].
2(2 1)3
< 0.005,
12n2
10
5.7 nos garantiza que Tn y ln 2 sern iguales hasta la segunda cifra decimal.
de donde n >
3
Basta tomar entonces n = 6. En la siguiente tabla resumimos los clculos que se realizan.
k
0
1
2
2
4
5
6
xk
1
7/6
4/3
3/2
5/3
11/6
2
yk
1
6/7
3/4
2/3
3/5
6/11
1/2
ba
(y0 + 2y1 + + 2y5 + y6 )
12
h
i
1
6
3
2
3
6
1
=
1+2
+ + + +
+ +
12
7
4
3
5
11
1
0.6949.
ln 2 = T6 =
2.12.3
El mtodo de Simpson
yk yk1
(x xk1 ).
xk xk1
67
Se puede esperar que si en vez de un polinomio de grado 0 o 1 se toma uno de grado mayor,
el mtodo ser mejor. Esta idea se recoge en el mtodo de Simpson que utiliza segmentos
de parbola o recta que pasa por Pk (xk , yk ), Pk+1 (xk+1 , yk+1 ) y Pk+2 (xk+2 , yk+2 ), para
reemplazar al grfico de f en los intervalos [xk , xk+2 ], con k par y k {0, 2, . . . , n 2}. Es
decir se reemplaza f con un polinomio de grado menor o igual que 2. Veamos los detalles.
Calculemos el rea entre el polinomio de grado menor o igual que 2 que pase por tres
puntos de la forma (a, f (a)), (a + h, f (a + h)) y (a + 2h, f (a + 2h)). No cambia el resultado si
al punto intermedio lo ubicamos en el eje de las ordenadas. Consideremos entonces los tres
puntos siguientes: P (h, y ), Q(0, y0 ), R(h, y+ ). Si p es el polinomio de grado menor o igual
que 2 que pasa por ellos, con a, b y c adecuados tendremos que p(x) = ax2 + bx + c. Para el
clculo de a, b y c se tienen las tres ecuaciones siguientes:
P p
Qp
Rp
y = ah2 bh + c,
y0 = c,
(2.6)
(2.7)
y+ = ah2 + bh + c.
(2.8)
A=
p(x) dx
h
Z h
y0
(ax2 + bx + c) dx
y+
h
a 3 b 2
x + x + cx
3
2
h
h
= (2ah2 + 6c).
3
h
(y + 4y0 + y+ ).
3
Si n = 2K es par y tendremos que, con las notaciones que usamos en los mtodos anteriores:
A=
f (x) dx =
a
K Z
X
k=1
x2k
x2k2
Si
Sn :=
f (x) dx
K
X
ba
k=1
3n
K
X
ba
k=1
3n
entonces
Z
b
a
f (x) dx Sn =
ba
(y0 + 4y1 + 2y2 + 4y3 + 2y4 + + 4yn3 + 2yn2 + 4yn1 + yn ).
3n
Algo muy importante es que se dispone de una estimacin a priori del error de aproximar
la integral con la suma de Simpson Sn . El siguiente teorema da cuenta de dicho error de
aproximacin.
68
La integral definida
Teorema 2.10
Si f : [a, b] R tiene su cuarta derivada continua en [a, b] y si M 0 es tal que f (4) (x) M
Rb
para todo x [a, b], el error de aproximar
a f (x) dx con la suma de Simpson Sn , que lo
R
b
notaremos ES (n) = a f (x) dx Sn , satisface la desigualdad
ES (n)
M (b a)5
.
180n4
cte
,
n2
cte
,
n4
lo que indica que la suma de Simpson converge ms rpidamente hacia la integral que la
suma Tn del mtodo de los trapecios.
ES (n)
Ejemplo 2.33
Calcule ln 2 con dos cifras decimales exactas, utilizando el mtodo de Simpson.
R2
Solucin. Para calcular ln 2 = 1 dx
, con los mismos
clculos hechos al aplicar el mtodo de los
x
(4)
(4)
24
trapecios, y como f (x) = x5 nos da que f (x) 24 para todo x [1, 2], tendremos que:
ES (n)
24(2 1)5
< 0.005,
180n4
80
2.27. Basta entonces tomar n = 4 (no n = 3 puesto que n debe ser par).
3
ba
Entonces ln 2 S4 =
(y0 + 4y1 + 2y2 + 4y3 + y4 ). Construimos una tabla de los valores que
3n
necesitamos:
de donde n >
k
0
1
2
3
4
yk
1
4/5
2/3
4/7
1/2
1
4
2
4
1
Finalmente, ln 2 S4 =
1+4 +2 +4 +
0.6933.
12
5
3
7
2
2.12.4
xk
1
5/4
3/2
7/4
2
Ejercicios
1. Compare el valor exacto y la aproximacin segn los mtodos de los trapecios y de Simpson, con
el valor de M dado, de:
(x2 + 1) dx, M = 4
(a)
0
(b)
1
x + 2 dx, M = 6
69
2. Compare los resultados obtenidos con los mtodos de Simpson y de los trapecios:
(a)
1
dx
,M =6
x
(b)
0
dx
,M =4
2x + 3
(c)
x2 + 2 dx, M = 8
3. Determine el mnimo valor de n necesario para calcular una aproximacin de 3 cifras decimales
exactas, con los mtodos de Simpson y de los trapecios:
(a)
1
dx
x+1
(b)
0
4
dx
1 + x2
(c)
0
dx
2x + 3
(d)
x + 1 dx
4. Calcule el error cometido para calcular con los mtodos de los trapecios y de Simpson y comprelos
con las estimaciones a priori ET (n) y ES (n) del error (tenga en cuenta el valor exacto):
4
2
(a)
x dx, M = 4
0
(b)
0
4
dx, M = 8
1 + x2
R1 4
5. Teniendo en cuenta que = 0 1+x
2 dx, utilice los mtodos de los trapecios y de Simpson para
aproximar . Observe cmo el segundo mtodo converge ms rpidamente.
Captulo 3
La ofrenda de oro
3.2
Para definir la longitud de un segmento de recta, el rea de una figura plana y el volumen
de un slido, se necesita, en cada caso, una unidad de medida. La unidad de longitud ser
un segmento de recta que llamaremos uL . La unidad de rea ser un cuadrado, cada lado del
cual ser un segmento igual a 1 uL , al que llamaremos uA . Simblicamente uA = (uL )2 . La
unidad de volumen ser un cubo, cada arista del cual ser un segmento igual a 1 uL al que
llamaremos uV . Simblicamente, uV = (uL )3 .
La longitud de un segmento se expresa
longitud() = l uL ,
donde l [0, [ es el nmero de veces que cabe el segmento uL en .
El rea de una figura plana se escribe
area() = a uA ,
72
= b uL ,
= h uL ,
area()
= a uA ,
b ]0, [,
h ]0, [ y
a ]0, [,
tendremos que
a= bh
o tambin
area() = longitud(base) longitud(altura).
Anlogamente, si es un paraleleppedo con aristas longitudinal A, transversal B y
vertical C, y si
[A] = longitud(A) = a uL ,
[B] = longitud(B) = b uL ,
[C] = longitud(C) = a uL ,
[] = volumen() = v uV ,
a ]0, [,
b ]0, [,
c ]0, [, y
v ]0, [,
tendremos que
v = a b c.
Sea ahora un slido cilndrico C, cuya base es una figura plana B y su generatriz perpendicular a la base es un segmento H, llamado altura. Si se conoce que
[B] = medida (superficial) de B = area(B) = b uA , b ]0, [,
[H] = medida (longitudinal) de H = longitud(H) = h[uL ], h ]0, [,
[C] = medida (volumtrica) de C = volumen(C) = v[u],
v ]0, [,
3.3
73
g
b x
a = x0
x1 x2 x3
xn1b = xn
Como ya hicimos en el problema introductorio de la integral definida, tomemos una particin P = {x0 , . . . , xn } de [a, b] y una particin asociada P = {x1 , . . . , xn }. Consideremos
la franjita vertical k de limitada por las grficas de f y g y por las rectas x = xk1 ,
x = xk , 1 k n. Si aproximamos el rea de la franjita k con un rectngulo Rk de vrtices
E(xk1 , g(xk )), B(xk1 , f (xk )), C(xk , f (xk )) y D(xk , g(xk )):
area(k ) = ak area(EBCD) = longitud(ED) longitud(P Q).
Q
B
xk1 xk xk
Como
longitud(ED) = (xk xk1 ) = xk ,
y
longitud(P Q) = |f (xk ) g(xk )|,
tendremos que
area(k ) = ak area(EBCD) = |f (xk ) g(xk )|xk .
Si area() = A, como
area() =
n
X
area(k )
k=1
tendremos que
A=
n
X
k=1
ak
n
X
k=1
74
y como se observa que para figuras sencillas la aproximacin es mejor si se toma kPk cada
vez ms pequeo, podemos definir
def
area() = A;
A =
A=
a
Ejemplo 3.34
Hallar el rea de la figura limitada por las grficas de y = 4 x2 y de 2y = x + 5.
Solucin. Resolviendo el sistema
y = 4 x2
2y = x + 5
se obtienen dos puntos de interseccin P ( 23 , 74 ) y Q(1, 3) (los que se observan en la figura siguiente).
Para 23 x 1 se tiene que
y
x
5
g(x) = + 4 x2 = f (x).
2
2
4
Entonces
Q
Z 1 h
3
i
x
5
2
A=
4x
+
dx
2
2
3
2
2
Z 1
P
3
x
=
x2 dx
1
2
2
3
2
1
3
1 2 1 3
x x x
2
4
3
3
2
3
3
1
9
1
27
1+
1+
2
2
4
4
3
8
5
1
35
+
35
22
16
24
5
(36 + 3 14)
48
125
.
48
=
=
=
=
=
x
2
125
.
48
A=
c
[(y) (y)]dy.
3.3.1
75
Ejercicios
1. Hallar el rea de la regin limitada por las grficas de las ecuaciones o funciones dadas:
(a) y = 0, y = 1 x2
(m) y = 2(4 x2 ), y = 4 x2
(n) y = 1/x2 , y = x, x = 2
(e) y = 1 + x, y = 0, x = 4
(p) y = x2 2x 3, y = 2x + 2, x = 1,
(q) y 2 = 2x, x2 + y 2 = 1
(g) y = x, y = 3x, x = 2
x=6
(r) y = x, y = x2 , x = 0, x = 1
(h) y = x4 , y = 16
(i) y = x3 , y = 27, x 1
(j) y = x, y = x2
(k) y = 2n x, y = x2n , n N
(l) y = n x, y = xn , n impar, x 0
(s) x = y 2 6y + 1, x = y 2 + 2y + 1
(t) x = y 3 y, x = y + 4, y = 1,
y=1
(u) x = y 3 y, x = 0
3. Calcule el rea de la regin indicada integrando respecto a x y luego respecto a y (es decir,
vindola como regin o unin de regiones tipo I y luego de tipo II):
(a) Limitadas por las grficas de y 2 = x 2, y = 2, y = 2, y = 2(x 1)
(b) Tringulo de vrtices P (1, 1), Q(3, 0), R(2, 5)
3.4
3.4.1
Clculo de volmenes
Volumen de un cilindro
76
Recordemos que el ngulo entre una recta l y un plano B es el complementario del ngulo
entre la recta l y la recta n normal al plano B.
Para probar (3.1) recordemos que como aplicacin de la integral definida aprendimos a
calcular el rea de figuras planas que son la unin finita de figuras simples de tipo I y de tipo
II, a las que definimos as:
Definicin 3.1
Sea B E 2 . Se dice que:
1. B es una figura de tipo I si es la representacin grfica de un conjunto de la forma
(3.3)
donde a < b, g : [a, b] R y h : [a, b] R son dos funciones continuas en [a, b] tales que
g(x) h(x) para todo x [a, b].
2. B es una figura de tipo II si es la representacin grfica de un conjunto de la forma
(3.4)
donde a < b, : [a, b] R y : [a, b] R son dos funciones continuas en [a, b] tales que
(y) (y) para todo y [a, b].
A=
a
si B es de tipo I y
[h(x) g(x)] dx
(3.5)
[(y) (y)] dy
(3.6)
A=
a
si B es de tipo II.
Para demostrar (3.5), para una particin arbitraria P = {x0 , x1 , . . . , xn } del intervalo
[a, b] y para P = {x1 , x2 , . . . , xn }, donde xk1 xk xk para todo k {1, 2, . . . , n},
aproximamos cada banda Bk , que es la representacin del conjunto
77
x x
k k
xk1
Por ello , si
rea(Bk ) = Ak uA ,
se tiene que
Ak [h(xk ) g(xk )]xk ,
y por ende,
A=
n
X
k=1
Ak
n
X
k=1
Esta ltima expresin es una suma de Riemann y, como g y h y con ellas h g son
continuas, existe su lmite cuando kP k 0 sin importar los valores x1 , x2 , . . . , xn tomados,
por lo que definimos
Z
A = rea(B) =
a
[h(x) g(x)] dx
y tomamos como en lneas atrs, una particin P = {x0 , x1 , . . . , xn } del intervalo [a, b] y
P = {x1 , x2 , . . . , xn }, donde xk1 xk xk con 1 k n, el cilindro se partir en
rodajas k que son la representacin de los conjuntos
1 k n.
[h(xk ) g(xk )] uL ,
H uL ,
78
el volumen de Pk ser
volumenPk = xk [h(xk ) g(xk )]H uV .
Podemos entonces aproximar
Vk uV = volumen(k ) volumen(Pk ) = H[h(xk ) g(xk )]xk uV
lo que nos da
Vk H[h(xk ) g(xk )]xk .
Entonces
V =
n
X
k=1
Vk H
n
X
k=1
Esta ltima sumatoria es la misma suma de Riemann que obtuvimos para el clculo del
rea, multiplicada por H. Por ello existe su lmite si kP k 0, por lo que
Z
V =H
a
(3.9)
[h(x) g(x)] dx = H A,
A=
a
3.4.2
(x, y, z) R3 | a x b, (y, z) Bx ,
donde a < b, Bx es una figura plana cuya rea A(x) uA es conocido para x [a, b]. Probemos
que, en este caso, si V uV = volumen(K), se tiene, en caso de que A : [a, b] R sea continua
en [a, b], que
Z
V =
A(x) dx.
a
[
axb
Bx ,
(3.10)
79
donde Bx son figuras planas de rea conocida A(x) uA y perpendiculares al eje Ox.
Como en los casos anteriores, tomamos una particin P = {x0 , x1 , . . . , xn } del intervalo
[a, b] y P = {x1 , x2 , . . . , xn }, con xk1 xk xk , 1 k n.
En este caso K se divide en rodajas Kk de la forma
n
X
k=1
Vk
n
X
A(xk )xk .
k=1
Esta ltima es la suma de Riemann cuyo lmite si kP k 0 existe, puesto que supusimos que
A : [a, b] R es continua en [a, b]. Se tiene entonces que
Z
V =
A(x) dx
a
Ejemplo 3.35
Probemos que si K es un cono circular recto tal que el radio de su base mide R uL y la
altura del cono es H uL , se tiene que
V =
2
R H.
3
Solucin.
Podemos ver que
n
K=
r (0, 0), r =
(x, y, z) R3 | 0 x H, (x, y, z) B
o
R
x ,
H
r (0, 0)
B
Aqu
A(x) = r 2 =
de donde
Z
V =
R
x
H
2
R
x
H
2
,
H
R2 x3
dx = 2
= R2 H.
H 3 0
3
80
Ejemplo 3.36
Calcular el volumen del slido K cuya base est en el plano xy y es limitada por las grficas
de las ecuaciones x = y 2 , x = 9, y sus secciones transversales Bx son perpendiculares al
eje Ox y tienen la forma de un rectngulo cuya altura es el doble de su base.
Solucin.
z
Bx
3
9
x
En la curva de ecuacin
x = y 2 , si y 0, se tiene y = x. La base Bx mide 2y uL = 2 x uL . La
9
0
9
8x dx = 4x2 0 = 324.
Finalmente,
volumen(K) = 324 uV .
3.4.3
Un caso particular, similar al del ejemplo del cono, es el de los slidos obtenidos haciendo
girar una figura plana de tipo I dada, alrededor del eje Ox.
Sea D la figura de tipo I de la forma
K = (x, y, z) R3 | a x b, 0 g(x)
y 2 + z 2 h(x) .
Bx ,
axb
donde Bx es la corona que queda entre los crculos de radios g(x) y h(x), respectivamente.
Por ello, si rea(Bx ) = A(x) uA , tendremos que
2
81
de donde
V =
(3.11)
A manera de ejercicio, escriba la frmula correspondiente con los ajustes necesarios a las
hiptesis para el caso cuando el eje de rotacin es paralelo a Ox.
Si D es de tipo II, es decir,
D = {(x, y) R | a y b, 0 (y) x (y)} ,
y K se obtiene al rotar alrededor del eje Oy, obtendremos, anlogamente, que:
Z
V =
(3.12)
3.4.4
Sea un slido K que se obtiene haciendo girar una figura plana D de tipo I alrededor del eje
Oy o un eje paralelo a Oy. (Similar resultado se tiene si D es de tipo II y se la hace rotar
alrededor de Ox o de un eje paralelo a Ox.)
Se tiene entonces, si cambiamos por comodidad x por r e y por z:
K = (x, y, z) R3 | 0 a
x2 + y 2 b, g
x2 + y 2 z h
x2 + y 2
o
z
h
D
g
a
b r
Notemos antes que si T es un tubo cuyos radios interior, exterior y altura miden r uL ,
R uL y H uL , respectivamente, y si VT uV es el volumen del tubo, entonces
VT = R2 H r2 H = [R2 r2 ]H.
(3.13)
Kk = (x, y, z) R3 | rk1
x2 + y 2 rk , g
x2 + y 2 z h
x2 + y 2
o
82
Tk = (x, y, z) R3 | rk1
x2 + y 2 rk , g (rk ) z h (rk )
n
X
k=1
Vk 2
n
X
k=1
rk + rk1
rk = 2rk rk .
2
rk [h (rk ) g (rk )] rk .
La ltima es una suma de Riemann para la funcin f que es continua en [a, b] y est definida
por f (r) = 2r [h(r) g(r)]. Existe por lo tanto su lmite si kP k 0, independientemente
de los rk tomados, en particular para los que nos sirvieron en nuestro razonamiento.
Se tiene entonces que
Z
V = 2
a
(3.14)
V = 2
a
(3.15)
V = 2
a
(3.16)
p
D = (x, y) R2 | R x R, 0 y R2 x2 .
83
R2 x2 . Tendremos entonces
R
R
=
R
(R2 x2 )dx
R
x3
R2 x
3 R
h
i
1
= R2 (R (R))
R3 (R)3
3
2
3
= R 2
3
4
3
= R .
3
=
Entonces
R (0, 0, 0) = 4 R3 uV .
volumen B
3
(b) Por cortezas: La misma bola se genera al girar alrededor del eje Ox el mismo semicrculo que
lo veremos esta vez, como de tipo II, porque tambin tenemos:
p
p
D = (x, y) R2 | 0 y R, R2 y 2 x R2 y 2 .
p
p
Podemos entonces aplicar (16) con a = 0, b = R, (y) = R2 y 2 , (y) =
R2 y 2 .
Tendremos por ello que
Z R
p
p
R2 y 2 R2 y 2 dy
V = 2
y
0
= 4
y
0
4
=
2
p
R2 y 2 dy
u1/2 du
R2
V = 2
y
R
0
u
0
R2
R2
u3/2
3
2
4
= R3
3
el resultado, naturalmente, es el mismo.
3.5
3.5.1
Debemos determinar el precio P dlares de la cruz de oro. Conocemos que este metal se
puede comprar a un precio unitario de 31.60 dlares por gramo. Bastara, entonces, conocer
el peso w gramos de la cruz. Tendramos, entonces, que:
P = 31.60w.
(3.17)
84
No conocemos w, pero s el peso especfico del oro que es de 19.3 gramos por centmetro
cbico. Si conociramos el volumen V centmetros cbicos de la cruz podramos calcular w
con la frmula
w = 19.3V.
(3.18)
Todava no conocemos V , pero dada la forma y las dimensiones de la cruz, podemos usar
como modelo el siguiente problema matemtico:
Problema matemtico
Si V u3L es el volumen de un slido en forma de cruz, de altura H uL y envergadura L uL ,
formada por dos cilindros circulares, ambos de radio R uL . Hallar V en funcin de L, H y
R.
En efecto, resolver este problema matemtico nos es indispensable teniendo en cuenta de
que, en nuestro problema, uL = cm, H = 80, L = 50 y R = 4.
3.5.2
(3.19)
Se ve que el rea de la cruz plana es la suma de las reas de los rectngulos menos el rea
de la interseccin de los dos rectngulos, que es un cuadrado (ver la figura 3.1).
En la figura 3.2, se muestran las vistas de frente, lateral y desde arriba del slido y su
seccin con un plano horizontal. Con la ayuda de este dibujo, podemos hallar la relacin
entre las variables r y z.
85
y
3
2
1
r
H
3
1
2
3
r
L
1
r
H
1
y 2 + z 2 = R2
r = |y|
2R
z
1
x2 + z 2 = R2
r = |x|
1
L
2R
86
deducimos que:
r=
(3.20)
R2 z 2 ,
(3.21)
V =
a(z)dz = 2
R
a(z)dz,
0
V = 4(L + H)
0
Como
R
0
R2
z 2 dz
R
0
R2 z 2 dz 8
(R2 z 2 )dz.
R
zp 2
z
R2
R2
arcsin
R z2 +
=
2
2
R 0
4
R
1 3
2
R z = R3 ,
3
3
0
2
(R z )dz =
tendremos que
R2
2
16
8 R3 = R2 (L + H) R3 .
4
3
3
El volumen de la cruz ser, entonces
V = 4(L + H)
R2 (L + H)
16 3 3
R uL .
3
(3.22)
16 3 3
R uL .
3
V =
a(z)dz.
c
Ahora vamos a dar uso de la solucin del problema matemtico del volumen de la cruz
para resolver el problema de la ofrenda de oro (que no es un problema matemtico).
3.5.3
87
16 3
1 024
(4) = 2 080
6 193.18.
3
3
3.5.4
Eplogo
El valor que haban recaudado los feligreses era insuficiente para comprar el oro necesario. Se
conoce que han iniciado una campaa de recoleccin de fondos y que han logrado ya el apoyo
de organismos nacionales y extranjeros para su empresa. Por otra parte, se halla en ejecucin
un proyecto para reforzar las seguridades del Museo de Arte Religioso de las Hermanas de
la Concepcin, con los ms modernos sistemas electrnicos para la custodia de los locales y
para el acceso de personal y de los visitantes. Ser el mismo museo, naturalmente, el que, a
ms de las magnficas obras de arte existentes, albergar la Ofrenda de Oro cuando sta est
terminada.
3.5.5
Ejercicios
luego el del slido que queda perforando la bola a lo largo de un dimetro mediante un orificio cilndrico de dimetro r m (0 < r < R).
6. Se hace una cruz con dos cilindros de radio
R m y de largo 1 m. Halle el volumen de la
cruz y la del material que debi desecharse
para elaborarla.
7. Halle el volumen del slido de revolucin formado al rotar la regin limitada por los grficos de las ecuaciones dadas, alrededor de la(s)
recta(s) indicada(s). Use el mtodo de rodajas
o el de cortezas, las dos.
(a) y = x2 , x = 0, y = 1; rectas y = 0, x = 0,
y=1
(b) y = x2 , y = 0, x = 1; rectas y = 1, x = 1,
x=0
(c) y = 4 x2 , y = 0; rectas x = 2, y = 0,
x = 3
(d) y = 9 x2 , y = 1 x2 /9; rectas y = 0,
x = 3
(e) y = x + 1, x = 3, y = 0; rectas x = 3,
y=0
(f) y = | sen x|, y = 0; rectas y = 0, y = 1
(g) y = sen2 x, y = 0, x = 0, x = ; recta
y=0
88
1/3
(i) y = x
+ 1, y = x + 1, x = 1; rectas
9.
x = 1, x = 2
(j) y = x, y = 1 x, y = 0, recta y = 0
3.6
Longitud de arco
Dada una funcin continua f : [a, b] R, nos planteamos el problema de hallar la longitud
de su grfica. Supondremos que f es derivable en ]a, b[. Se dice entonces que dicha grfica es
una curva lisa.
f = (x, y) R2 | a x b, y = f (x) .
Consideremos una particin P de [a, b], P = {x0 , x1 , . . . , xn }. Se divide entonces f en
segmentos fk de la forma
(3.23)
(xk ) + (yk )2 ,
sk
sk
(xk )2 + [f (xk ) xk ] =
de donde
s=
n
X
k=1
sk
n
X
1 + [f (xk )] xk ,
1 + [f (xk )] xk .
k=1
s=
a
1 + [f (x)] dx.
(3.24)
89
Ejemplo 3.38
Calcular la longitudes s uL de la grfica de la ecuacin y =
1 3 1 1
x + x si x [2, 4].
6
2
h
i2
4
4
2
x
1
x
x
1
x4
1 2
1 + f (x) = 1 +
+
=
+ +
=
(x + x2 ) ,
4
2
4
4
2
4
2
1
1 + [f (x)]2 = (x2 + x2 )
2
puesto que x > 0.
f (x) =
x 7
1 + [f (x)]2 =
1 2
(x + x2 )
2
es continua y, por lo tanto, integrable, razn por la cual finalmente podemos escribir
Z 4
1 2
s=
(x + x2 ) dx
2
2
4
1 x3
1
=
x
2
3
2
h
i
1 1 3
1
1
3
=
(4 2 )
2 3
4
2
h
i
1
1 1
1
(64 8) +
(224 + 3)
=
=
2 3
4
24
227
=
.
24
3.6.1
Ejercicios
(a) y = 3x + 1, J = [1, 3]
(b) y = x
3/2
+ 1, J = [0, 9]
2
(c) y = (2/3)(x + 1)
3/2
, J = [0, 1]
, J = [2, 3]
(g) y = x2 , J = [1, 2]
(h) y = sen x, J = [/6, /3]
(i) x2/3 + y 2/3 = a2/3 , a > 0
3.7
90
2r
2R
El radio del crculo grande mide ( + l) uL , el del crculo interior uL . Sea el ngulo
central. Conocemos que el rea de un sector circular de ngulo central y radio uL es
a() uA , con
a() = 2 .
2
Si rea(s) = A uA , entonces
A = a( + l) a()
= ( + l)2 2
2
2
l
= (2 + l).
2
2r
Calculemos y . Como =
2R
+l ,
(3.25)
(3.26)
(3.27)
(3.28)
2r
2r
Rr
= rl = 2
.
l
Rr
(3.29)
=
por lo que
=
Rr l
l 2
2rl
+ l = l(R + r).
Rr
(3.30)
Notemos que (3.30) se parece mucho a la frmula para el rea de un trapecio de bases
2R uL y 2r uL y de altura l uL .
2. Conocemos que si una funcin f : [a, b] R es continua, entonces es Riemann integrable.
Es decir existe
Z
b
f (x) dx = lm
a
kP k0
n
X
k=1
f (xk ) xk ,
(3.31)
91
Si f est dado por f (x) = g(x)h(x), donde g : [a, b] R y h : [a, b] R son continuas,
evidentemente f es continua y existe el lmite escrito en (3.31) para la correspondiente
suma de Riemann
n
X
f (xk ) xk =
k=1
n
X
g(xk ) h(xk ) xk .
k=1
g(xk )
n
X
kP k0
g(sk ) h(tk ) xk =
a
k=1
g(x) h(x) dx =
f (x) dx.
(3.32)
f (x) dx =
a
kP k0
n
X
(3.33)
k=1
3.7.1
Sea f : [a, b] R una funcin no negativa cuya derivada existe y es continua en [a, b].
Consideremos la superficie S generada al girar el grfico de f alrededor del eje Ox. Con las
mismas notaciones del clculo de la longitud del arco del grfico de f , luego de realizar en
[a, b] la particin P = {x0 , x1 , . . . , xn }, recordemos que si aproximamos los segmentos fk con
las cuerdas Ck que unen los puntos Pk1 (xk1 , yk1 ) y Pk (xk , yk ) y si longitud(fk ) = sk uL ,
obtuvimos que
sk
1 + [f (xk )] xk ,
1 + [f (xk )] xk uA .
Si
A uA = rea(S),
Ak uA = rea(Sk ) rea(Kk ),
k {1, 2, . . . , n},
n
X
k=1
Ak
n
X
k=1
[f (xk1 ) + f (xk )]
1 + [f (xk )] xk
(3.34)
92
n
X
f (xk1 )
1 + [f (xk )] xk +
k=1
n
X
f (xk ) 1 + [f (xk )] xk
k=1
f (x)
a
1 + [f (x)] dx
A = 2
a
3.7.2
(3.35)
1 + [f (x)] dx
f (x)
Si el grfico de la misma funcin f , con a 0, lo hacemos girar alrededor del eje Oy (ya no
se requiere que f sea no negativa), podemos repetir los mismos razonamientos.
El cono truncado, en este caso, tendr como radios a xk1 y xk , en vez de yk1 e yk ,
respectivamente, por lo que
A
n
X
(xk1 + xk ) 1 + [f (xk )] xk .
(3.36)
k=1
A = 2
a
x 1 + [f (x)]2 dx.
(3.37)
Solucin.
(a) Giro alrededor del eje Ox.
Con a = R, b = R, f (x) =
R2 x2 , y como f (x) =
1+
[f (x)]2
1+
x
R 2 x2
R2 x2
2
=
, por lo que
R
,
x2
R2
R2
A = 2
R
x2
R
dx = 2
R 2 x2
dx = 4R2 .
R
Es decir que A = 4R2 . El rea de la esfera es pues el cudruple del rea del crculo mximo
que corta la bola correspondiente, es decir es igual a 4R2 uA .
93
= 4
0
= 4R
0
4R
=
2
R
dx
R 2 x2
x dx
R 2 x2
u1/2 du
R2
A = 2R
x
R
0
u
0
R2
R2
u1/2
1/2 0
= 4R2 .
El resultado es el mismo, obviamente.
3.7.3
Ejercicios
3.8
Un estudiante tom 5 materias en un semestre y las aprob con las siguientes notas, sobre
40 cada una: Matemticas 26, Fsica 24, Biologa 24, Economa 30, Ciencias Sociales 28. Si
se desea conocer el promedio de calificacin del semestre se lo obtiene sumando estas notas
y dividiendo para 5, el nmero de asignaturas. As, su promedio ser
26 + 24 + 24 + 30 + 28
132
=
= 26.4.
5
5
Esto es lo que se llama un promedio simple, porque todos los datos tienen la misma importancia o peso. Pero no siempre es este el caso. Por ejemplo, si en una universidad la aprobacin
94
INGENIERA
Peso
10
10
8
6
6
40
DERECHO
Peso
8
6
6
10
10
40
INGENIERA
Nota Peso Nota
26
260
24
240
24
192
30
180
28
168
132
1040
1040
40
= 26.
CARRERA DE DERECHO
Materia
Peso Nota Peso Nota
Matemticas
8
26
208
Fsica
6
24
144
Biologa
6
24
144
Economa
10
30
300
CC SS
10
28
280
TOTAL
40
132
1076
El promedio ponderado para la carrera de Derecho es 1076
40 = 26.9.
Recordemos que el promedio simple es 132
5 = 26.4.
Vemos que un estudiante con esas calificaciones reprobara el semestre en cualquiera de
las dos carreras.
En general, si se tienen para n 2, n datos numricos, digamos a1 , a2 , . . . , an R, y si el
k-simo dato tiene un peso o ponderacin pk > 0, k {1, 2, . . . , n}, el promedio ponderado
P de esos datos es:
n
X
P =
p k ak
k=1
n
X
.
pk
k=1
caso
95
Pn
n
X
pk ak , se le llama
k=1
En un juego de dados en el que se apuesta $10 en cada lanzamiento del dado y solo se gana $4 si
sale 1 o 2, $16 si sale 6, y se devuelven los $10 en los dems casos. Calcule la esperanza matemtica
de ganancia del casino (EC) y del jugador (EJ).
Hay tres resultados posibles: r1 = {1, 2}, r2 = {3, 4, 5} y r3 = {6} con las siguientes probabilidades 1/3, 1/2 y 1/6, respectivamente, y con ganancias a1 = 6, a2 = 0 y a3 = +6 para el jugador,
b1 = +6, b2 = 0 y b3 = 6 para el casino. De donde:
EJ =
3
X
p k ak =
1
1
1
(6) + (0) + (+6) = 1,
3
2
6
p k bk =
1
1
1
(+6) + (0) + (6) = +1.
3
2
6
k=1
EC =
3
X
k=1
Pero no siempre se tiene solo una cantidad finita de datos de los cuales se quiere conocer
el promedio. Digamos que dada una funcin continua f : [a, b] R , se quiere conocer el
promedio de los valores f (x) posibles para esta funcin, teniendo en cuenta que x [a, b].
Si la funcin fuera constante, el promedio sera el valor de la funcin en cualquier x. Sea
una particin P = {x0 , x1 , . . . , xn } del intervalo [a, b] y en cada intervalo Ik = [xk1 , xk ],
aproximaremos los f (x), x Ik , con un valor f (xk ), donde xk Ik es un valor arbitrario.
Si y es el valor promedio de f (x) para x [a, b], podemos aproximar a y con el promedio
ponderado de los valores f (xk ), 1 k n, tomando como pesos las longitudes xk de los
intervalos Ik . As
n
X
f (xk ) xk
k=1
n
X
1 X
f (xk ) xk .
ba
n
=
xk
k=1
k=1
Esta ltima es una suma de Riemann y como es de esperar que la aproximacin sea mejor
mientras ms fina sea la particin, es decir, mientras ms pequeo sea kP k, el grosor de la
particin, y como al ser continua f en [a, b], existe el lmite de la suma si kP k 0, tendremos
que se puede dar la siguiente definicin.
Definicin 3.2
Si f : [a, b] R es continua, entonces
1
y :=
ba
f (x) dx
(3.38)
96
y=y
a
Z
Es decir que
f (x) dx = y(b a)
puesto que (b a) es la base y y es la altura del rectngulo. Por lo tanto, si f (x) 0 para
todo x tendremos que
Z b
1
y =
f (x) dx.
ba a
Se tiene la siguiente propiedad:
Teorema 3.2
Si
f (xm ) = mn f (x),
axb
entonces
f (xm ) y f (xM ).
(3.39)
Demostracin. Para todo x [a, b], f (xm ) f (x) f (xM ). Si integramos en [a, b], por la propiedad
de monotona de la integral definida tendremos que
Z b
Z b
Z b
f (xm ) dx
f (x) dx
f (xM ) dx,
a
por lo que
Z
f (xm ) x|ba
Es decir
Z
(b a)f (xm )
b
a
97
(3.40)
y = f (c).
Es decir
b
a
(3.41)
Demostracin. Es una consecuencia inmediata del teorema precedente y del teorema del valor intermedio para las funciones continuas.
Este cololarioR no es otra cosa que el Teorema del Valor Medio para la Integral Definida.
b
Si f (x) 0, a f (x) dx nos da el rea bajo la grfica de f , por lo que (3.41) nos dice que
existe un rectngulo de base (b a) y altura y con la misma rea.
3.8.1
Ejercicios
vm [t0 , t1 ] =
3.9
s(t1 ) s(t0 )
t1 t0
1 2
t ,
2
v(t) =
ds(t)
.
dt
Masa y densidad
[uM ]
uM
[uD ] =
=
[uL ]
uL
indica que las unidades tomadas son compatibles entre s y, en este caso:
M
,
L
(3.42)
M = L.
(3.43)
:=
de donde
98
Ejemplo 3.41
Si uL = m y uM = kg, entonces uD = kg/m. As, si una barra de densidad 2.8kg/m mide 3m,
entonces tendr una masa de 8.4 = kg.
Si una placa de rea A uA est hecha de un material homogneo y si su masa es de M uM , la
densidad (de rea) de la placa es uD , donde
h
i
[uM ]
uM
[uD ] =
=
.
(3.44)
[uA ]
uA
Entonces
:=
M
.
A
(3.45)
Ejemplo 3.42
Si uA = m2 , uD = kg/m2 .
Anlogamente para un slido de volumen V uV , su densidad (volumtrica) estar dada por
:=
si
[uD ] =
M
,
V
(3.46)
h
i
[uM ]
uM
=
.
[uV ]
uV
(3.47)
Ejemplo 3.43
Si uV = m3 , uD = kg/m3 .
Qu sucede si el material no es homogneo?
1. Veamos el caso de la barra. Supongamos que cada punto de la barra es de un material distinto
para el cual se conoce su densidad.
O
Digamos que (x) uD es la densidad del punto x [0, L]. Ver dibujo. Esto quiere decir que una
barra de longitud 1 uL , hecha del mismo material que el punto x, tendr una masa de (x) uM
porque, por (35), M = (x) 1 = (x) y
masa de la barra = M uM = (x) uM .
Para calcular la masa de la barra, asumiendo que : [0, L] R, x 7 (x) es continua, tomamos
una particin P = {x0 , x1 , . . . , xn } de [0, L]. En cada segmento [xk1 , xk ] podemos aproximar la
masa del segmento suponiendo que ese pedacito de barra es homogneo, hecho del material
idntico al de un punto xk [xk1 , xk ]. Es decir, si Mk uM es la masa de ese segmento, como
su longitud es de xk uL , entonces
Mk (xk )xk .
Es decir
M=
n
X
k=1
Mk
n
X
k=1
(xk ) xk .
RL
La ltima es una suma de Riemann que converge hacia 0 (x) dx, puesto que es continua.
Como se puede esperar que la aproximacin es mejor mientras ms fina sea la particin, es decir
mientras ms pequeo sea kP k, el grosor de sta, podemos calcular M con la frmula
Z L
M=
(x) dx.
(3.48)
0
99
2. Para una placa, cuya forma es la de una figura de tipo I; es decir, es de la forma
= {(x, y) R | a x b, g(x) y h(x)},
con g : [a, b] R y h : [a, b] R continuas, a < b, g(x) < h(x) para todo x ]a, b[, si la densidad
de rea solo depende de x, es decir
para todo
(x, y) = (x)
(x, y)
con : [a, b] R continua en [a, b], realizando la particin P = {x0 , x1 , . . . , xn } al intervalo [a, b],
la placa se divide en franjitas verticales cuya masa Mk uM puede aproximarse asumiendo que
es homognea y del mismo material que los puntos de abscisa xk [xk1 , xk ]. El rea de la franjita
se aproxima con la de un rectngulo de base xk uL y altura [h(xk ) g(xk )] uL . Entonces, por
(3.45),
Mk (xk )[h(xk ) g(xk )]xk
por lo que
M=
n
X
k=1
Mk
n
X
k=1
M=
a
(x)[h(x) g(x)] dx
(3.49)
puesto que el volumen del cilindrito ser A(xk )xk uV , y por (38).
Tendremos entonces que
n
n
X
X
M=
Mk
(xk )A(xk )xk .
k=1
k=1
(3.50)
3.10
100
s(t) =
v( ) d + C
t0
(3.53)
t.
En particular si se conoce, para t0 dado, el valor s0 := s(t0 ), se tendr, por (3.53), que
Z
t0
s0 = s(t0 ) =
v( ) d + C = C.
t0
Finalmente
s(t) = s0 +
v( ) d.
(3.54)
a( ) d.
(3.55)
t0
v(t) = v0 +
t0
Mientras que
recorrido en [t0 , t1 ] =
t1
t0
|v( )| d uL .
(3.57)
Este ltimo nos da la longitud de todo el camino recorrido por el punto al ir de s(t0 ) a s(t1 ),
teniendo en cuenta posibles idas y venidas.
Ejemplo 3.44
Se lanza un objeto hacia arriba con velocidad de 19.6 m/s. Calcule el tiempo que tarda en
regresar al punto de partida y el recorrido realizado.
Solucin. Tomamos 9.8 m/s2 como la aceleracin debida a la gravedad.
y = s(t) = posicin del objeto en el instante t,
t0 = 0 = instante del lanzamiento,
T s = tiempo que tarda en regresar el objeto,
s0 = 0 = s(t0 ),
v0 = v(t0 ) = 19.6,
a(t) = 9.8,
Por (3.55)
v(t) = 19.6 +
0
Por (3.54)
s(t) = 0 +
0
101
|v( )| d =
Como
|19.6 9.8 | =
4
0
|19.6 9.8 | d.
si 0 2
si 2 4,
19.6 9.8
9.8 19.6
tendremos que
T
0
|v( )| d =
2
0
(19.6 9.8 ) d +
4
2
(9.8 19.6) d
2
4
= (19.6 4.9 2 )0 + (4.9 2 19.6 )2
0t4
0t4
3.10.1
Ejercicios
102
3.11
Trabajo mecnico
Recordemos que si un cuerpo slido se desplaza en lnea recta una distancia D uL debido
a la accin de una fuerza constante de F uF aplicada en la misma direccin y sentido del
movimiento se dice que el trabajo W uT realizado por la fuerza sobre el objeto est dado por:
(3.58)
W = FD
si las unidades son compatibles. En este caso se escribe simblicamente que
[uT ] = [uF ][uL ] = [uF uL ].
Ejemplos de unidades compatibles se dan en la siguiente tabla.
Magnitud
Sistema Ingls
Distancia
Fuerza
Trabajo
pie (pie)
libra (lb)
pielibra (pielb)
Sistema MKS
(Sistema Internacional)
metro (m)
newton (N)
joule (J)
Sistema CGS
centmetro (cm)
dina (dina)
ergio (erg)
n
X
k=1
Wk
n
X
1 k n.
F (xk )xk .
k=1
(3.59)
Rb
La ltima es una suma de Riemann que converge hacia a F (x) dx, cuando el grosor de la
particin tiende a 0, puesto que hemos supuesto que F es continua. Teniendo en cuenta que
la aproximacin dada por (3.59) es mejor si la particin es cada vez ms fina, podemos,
entonces, definir el trabajo realizado por la fuerza F mediante:
Z
W :=
F (x) dx.
(3.60)
Ejemplo 3.45
Calcule el trabajo necesario para alargar o comprimir un resorte de constante k una
distancia x.
Solucin. Segn la ley de Hooke1 , al alargar un resorte, ste ejerce una fuerza directamente proporcional a la elongacin del resorte en el sentido contrario a la elongacin. Si ubicamos el resorte
en un sistema de coordenadas de modo que 0 corresponde a la posicin del extremo del resorte en
reposo y x a la posicin de este extremo si lo hemos estirado (elongado) x uL , para dicho resorte se
tendr, segn la ley de Hooke antes mencionada, una constante k > 0, tal que
F (x) = kx,
1 Robert
Hooke (1635-1703).
103
donde F uF es la fuerza necesaria para tener estirado el resorte en la posicin x. Si se estira el resorte
hasta una posicin L uL , el trabajo necesario para lograr este estiramiento ser entonces de W uT ,
donde
Z L
Z L
k L
kL2
W =
F (x) dx =
kx dx = x2 =
.
2
2
0
0
0
Ejemplo 3.46
Gravitacin universal. Segn Newton, si 2 cuerpos celestes de masas M uM y m uM
estn situados a una distancia D uL el uno del otro, cada uno de ellos es afectado por una
fuerza que lo atrae al otro, cuya magnitud es de F uF . En este caso
F =k
Mm
,
D2
mM
.
x2
=
.
x
x R
R+H
R
R(R + H)
R
Es decir que el trabajo ser de
kmM H
uT .
R(R + H)
Para los ejercicios prcticos, se tienen los siguientes datos aproximados de la masa M kg
y el dimetro D km, de algunos astros.
Objeto
Sol
Mercurio
Venus
Tierra
Marte
Jupiter
Saturno
Urano
Neptuno
Pluton
Luna
M kg
1.99 1030
3.12 1023
4.87 1024
5.98 1024
6.46 1023
1.90 1027
5.69 1026
8.67 1025
1.03 1026
5 1024
7.35 1022
D km
1392000
4880
12104
12756
6787
142800
120000
51800
49500
6000
3476
Ejemplo 3.47
Bombas hidrulicas. Se trata de calcular el trabajo necesario para bombear un lquido
a un nivel superior.
104
Solucin. Para los clculos, a ms de los expuesto, se usan los siguientes conceptos.
Si un volumen V uV de un lquido tiene una masa M uM su densidad uD est dada por
M
V
M = V,
uM = kg,
uD = kg/m3 .
Tambin se define el peso P uF del lquido, que es la fuerza con que la Tierra atrae al lquido.
Siguiendo la ley de Newton2 , ser de magnitud
P = Mg
donde g uA es la aceleracin debida a la gravedad. Al ser uA = m/s2 en el SI, g = 9.80665 9.8, y
en el sistema ingls g 32 porque uA = pie/s2 .
Se define el peso especfico del lquido uPE , por
=
P
.
V
Obviamente = g.
En el SI, uPE = N/m3 . En el sistema ingls, uPE = lb/pie3 . Adems, 1 N = 0.2248 lb o, lo que
es lo mismo, 1 lb = 4.448 N. Por ejemplo, para el agua se tiene que
= 9800
en el SI,
= 62.4
en el sistema ingls.
f (xk ) = R2 (xk )2 ,
x
+x
Wk 9800 R2 (xk )2 xk xk .
Finalmente,
W =
n
X
k=1
= 9800
Wk = 9800
R
R2 2 x4
x
2
4
0
= 4900R .
El trabajo necesario para vaciar el recipiente ser entonces de
4900R4 Nm.
2 Isaac
Newton (1642-1727).
(R2 x x3 ) dx
x
R
3.11.1
105
Ejercicios
3.12
Presin hidrosttica
Cada punto de la seccin horizontal de un lquido en reposo sufre una presin del lquido que
est sobre dicha seccin. Si el rea de la seccin es A uA y est a una profundidad de H uL ,
el volumen de lquido ser de V uV = A uA H uL = AH uV . El peso P uF de este volumen,
si uPE es el peso especfico del lquido, ser entonces dada por
(3.61)
P = V = AH.
Si la presin es p uP , tendremos entonces que
p=
P
AH
=
= H,
A
A
(3.62)
uA = m2 ,
uV = m3 ,
uF = N,
uPE = N/m3 ,
uP = N/m2 .
(3.63)
A Blaise Pascal (1623-1662) se le debe el descubrimiento del Principio que lleva su nombre: La presin ejercida por un lquido a una profundidad dada es la misma en todas las
direcciones.
Calculemos la fuerza total ejercida por un lquido, debido a la presin hidrosttica, si el
peso especfico del lquido es uPE , sobre una placa vertical cuya forma es de tipo II y est
dada por
{(x, y) R2 | 0 y H1 , (y) x (y)},
con 0 < H1 , (y) < (y) para todo y ]0, H1 [, y continuas en [0, H1 ]. H uL es la
profundidad del punto ms bajo de la placa.
106
n
X
k=1
Fk
n
X
(3.64)
k=1
Pero la ltima es una suma de Riemann, que por la continuidad de la funcin definida por
y 7 [(y) (y)](H y) en [0, H1 ], converge hacia
Z
H1
[(y) (y)](H y) dy
si kP k 0. Este valor nos servir para el clculo de F , puesto que es de suponer que F est
mejor aproximada por (3.64) mientras ms fina es la particin P de [0, H1 ]. Es decir
Z
H1
F =
0
(3.65)
x
g
H2
y
107
3.12.1
Ejercicios
1. Halle la presin y la fuerza ejercida sobre el fondo plano de una piscina llena de agua hasta 10 cm
del borde, si la piscina mide 2 m 8 m 15 m.
2. Una placa triangular (ver Figura 3.3) est sumergida en agua. Halle la fuerza que se ejerce sobre
ella (distancias en metros).
Superficie
0
Superficie
6
y
A(1, 4)
1
1
1
1
2
2
2
2
3
3
3
3
B(3, 2)
4
4
C(4, 7)
4
4
10 m
3m
1m
20 m
40 m
5m
20 m
(a) Piscina
(b) Dique
108
3.13
3.13.1
Dada una masa puntual m um , que se supone concentrada en un punto P del espacio E 1 ,
E 2 o E 3 , si d uL es la distancia de P a otro punto fijo dado Q, se llama momento de la masa
respecto a Q a la magnitud M uM , dada por
(3.67)
M = md.
Sistema ingls
Longitud
Masa
Momento de masa
pie
slug
slugpie
Sistema MKS
Sistema internacional
m
kg
kgm
Sistema CGS
cm
g
gcm
Si imaginamos la masa m um unida por una barra sin masa al punto Q fijo, si ubicamos
este aparato en un campo gravitacional, la masa m tiende a girar alrededor de Q. El
momento M uM mide la magnitud de esta tendencia a girar.
Si realizamos nuestro estudio en E 2 , con Q y P sobre el eje Ox, el posible giro puede
tener uno de dos sentidos, si imaginamos el campo gravitacional atrayendo a la masa hacia
abajo. Si en vez de la distancia d utilizamos la distancia dirigida x x
de P respecto a Q,
donde x
y x son las coordenadas de Q y P , respectivamente, el momento estar dado por
M = m(x x)
(3.68)
y el signo de M nos indica que el posible giro sera en el sentido de las manecillas del reloj
si x x
> 0, y por ende M > 0, y el sentido contrario si M < 0.
En particular si Q = O, donde O(0) es el origen del sistema de coordenadas el momento
ser
MO = mx.
(3.69)
Imaginemos ahora, para n 2, un sistema de n masas m1 um , m2 um , . . . , mn um , situadas
sobre el eje Ox en los puntos P1 , P2 , . . . , Pn de abscisas x1 , x2 , . . . , xn , respectivamente, tales
que x1 < x2 < . . . < xn , unidos por una barra sin masa, diremos que la masa total del
sistema es m um , si
m=
n
X
mk
(3.70)
k=1
n
X
k=1
mk (xk x
).
(3.71)
n
X
mk xk .
(3.72)
k=1
Si vemos a nuestro sistema como un sube y baja cuyo punto de apoyo es Q o como un
mvil, que se suspende sobre las cunas de los bebs, el sistema tender a girar en uno u
109
n
X
k=1
mk (xk x
) =
n
X
k=1
mk xk x
n
X
k=1
mk = MO xm.
Entonces
(3.73)
0 = MO x
m,
por lo que
Pn
MO
k=1 mk xk
x =
= P
.
n
m
k=1 mk
(3.74)
Al punto Q(
x) se le llama centro de masa del sistema (o centro de gravedad). La igualdad
(3.73) puede tambin escribirse
MO = x
m.
(3.75)
La coincidencia entre (3.69) y (3.75) nos sugiere una interpretacin: el sistema es equivalente a una sola masa puntual m um , ubicada en el centro de gravedad del sistema Q(
x)!
m1
m2
m3
m4
mn
x1
x2
x3
x4
xn
...
n
X
k=1
Mk
n
X
k=1
(xk ) (xk x
)xk .
La ltima
R l es una suma de Riemann, que al ser continua la correspondiente funcin, converge
hacia 0 (x) (x x
) dx, si kP k 0. Como es de esperar que la aproximacin es mejor al ser
ms fina la particin P , podemos asumir que
Z
M :=
0
(x) (x x
) dx.
(3.76)
En el caso particular cuando Q = O, el origen del sistema, tendremos que el momento ser
MO uM , con
Z
MO =
(x) x dx.
(3.77)
Si buscamos Q(
x) de modo que la barra est en equilibrio, es decir de modo que M = 0,
teniendo adems en cuenta que m um es la masa de la barra, como
Z
m=
(x) dx,
0
110
de (3.76) obtenemos:
Z
0=
0
(x) dx x
(3.78)
(x) dx = MO x
m.
Esta expresin, idntica a la obtenida en (3.73) nos permite definir como centro de gravedad
(o de masa) de la barra, al punto Q(
x), si
Rl
(x)x dx
MO
x =
= R0 l
.
m
0 (x) dx
(3.79)
La barra, que como en el caso del sistema de masas puntuales, se la suspende con una cuerda
amarrada al punto Q, se mantendr horizontal, es equivalente a una masa puntual m
ubicada en Q(
x)!
Si la barra es homognea, es decir si = (x) = constante, x
= l/2, porque
x
=
Rl
x dx
Rl
0
dx
l2
2
l
.
2
(3.80)
m
o
3.13.2
Dada una recta l y un punto P exterior a ella, la distancia del punto P a l es la longitud
(3.81)
y d es la distancia de P a l (es decir d = 0 si P l o d = |P Q|, P Q l, si P
/ l).
Si imaginamos, cuando P
/ l, que la masa se une a Q mediante un alambre rgido sin
masa y si sometemos este sistema a un campo gravitacional perpendicular al plano definido
por la recta l y por P , el sistema tender a girar alrededor del eje l. El momento M uM
mide la magnitud de esta tendencia a girar del sistema. Para representar adecuadamente
uno de los dos posibles sentidos de giro alrededor del eje l, consideraremos M > 0 para
el un sentido y M < 0 para el sentido contrario. Por ejemplo, si tomamos un sistema de
coordenadas bidimensional, de modo que el eje l = ly sea paralelo al eje Oy y est situado
en el plano xy, al igual que la masa m um , ubicada, digamos, en el punto P (x1 , y1 ), entonces
el eje ly estar descrito por el conjunto
{(
x, y) R2 | y R}
(3.82)
con x
R fijo. En este caso Q(
x, y1 ) l es el punto del eje l ms cercano a P (x1 , y1 ).
(3.84)
111
(3.86)
(3.88)
(3.89)
n
X
mk .
(3.90)
k=1
El momento de masa del sistema respecto a un eje ly paralelo al eje Oy como el descrito
por (3.82) ser Mly uM , con
M ly =
n
X
k=1
mk (xk x
),
(3.91)
n
X
mk xk .
(3.92)
k=1
Anlogamente, si el eje l es paralelo al eje Ox, como el descrito por (3.86), el momento
Mlx uM ser dado por
M lx =
n
X
k=1
mk (yk y).
(3.93)
n
X
mk y k .
(3.94)
k=1
(3.95)
Mlx = Mx ym.
(3.96)
112
Diremos que el sistema est en equilibrio si Mlx = Mly = 0. Esto sucede si escogemos los
ejes lx y ly que se cortan en el punto Q(
x, y), llamado centro de masa o centro de gravedad
del sistema, y en este caso:
Pn
My
k=1 mk xk
= P
x
=
(3.97)
n
m
k=1 mk
Pn
y =
Mx
k=1 mk yk
= P
n
m
k=1 mk
(3.98)
Si suspendiramos el mvil de una cuerda atada al punto Q, ste se mantendra horizontal! El sistema es equivalente a una masa puntual m um , ubicada en Q(
x, y)!
y
w3
b
(x3 , y3 )
w2
b
(x2 , y2 )
w1
b
(x1 , y1 )
x
wn
b
(xn , yn )
En vez del sistema de masas puntuales consideremos ahora una placa cuya forma, de tipo
I, est dada por
{(x, y) R2 | a x b, g(x) y h(x)},
(3.99)
con a < b, g(x) < h(x) para todo x [a, b], g : [a, b] R y h : [a, b] R continuas en
[a, b]. Supongamos que la densidad de rea de la placa uD , depende solo de x y est dada
: [a, b] R
por una funcin
, continua en [a, b].
x 7 (x)
Dado un eje ly paralelo al eje Oy, como est descrito por (3.82), para calcular el momento
Mly uM de la placa respecto al eje ly , partimos [a, b] mediante P = {x0 , x1 , . . . , xn }. Cada
k-franjita de la placa descrita por
{(x, y) R2 | xk1 x xk , g(x) y h(x)},
la aproximaremos con una placa homognea con la forma del rectngulo
{(x, y) R2 | xk1 x xk , g(xk ) y h(xk )}.
El material de esta plaquita rectangular lo supondremos homogneo del mismo tipo que el
punto de coordenadas (xk , yk ), es decir de densidad (xk ), donde
xk =
xk1 + xk
,
2
yk =
g(xk ) + h(xk )
.
2
(3.100)
(3.101)
n
X
k=1
(3.102)
113
Mly :=
(3.103)
(3.104)
My =
a
M lx =
g(xk ) + h(xk )
y,
2
b
a
(3.105)
h(x) + g(x)
y dx,
2
(3.106)
1
2
b
a
(3.107)
puesto que y = 0.
Como en este caso la masa m um de la placa est dada por
Z
(3.108)
m=
a
(3.109)
Mlx = Mx ym,
(3.110)
Mx
=
m
1
2
Rb
a
(3.111)
Rb
(3.112)
[h(x) g(x)] x dx
My
x
=
= Ra b
,
m
a [h(x) g(x)] dx
Mx
y =
=
m
1
2
Rb
a
(3.113)
[h(x)]2 [g(x)]2 dx
Rb
a [h(x)
g(x)] dx
(3.114)
114
g
a
b x
Ejemplo 3.48
Calcule el centroide de la figura limitada por los grficos de y =
de un semicrculo de radio 3 uL .
9 x2 e y = 0, es decir
R3
Solucin. Aqu a = 3, b = 3, h(x) = 9 x2 , g(x) = 0. La integral 3 9 x2 dx uL 2 es el rea
del semicrculo de radio 3 uL , por lo que
b
a
[h(x) g(x)] dx =
La integral
3
3
9 x2 dx =
b
a
[h(x) g(x)]x dx =
9
1
(3)2 =
.
2
2
9 x2 x dx = 0
3
x3
9x
3 3
= 9[3 (3)]
1
[27 (27)] = 54 18 = 36.
3
Por consiguiente,
x
= 0,
1
(36)
4
y = 2
= .
9
4
(
x, y) = 0,
.
3.13.3
Ejercicios
(b) (x) = 4 + 3x
3. Repita el primer ejercicio pero esta vez quitando los objetos. La densidad lineal est dada por:
115
y
O
M1
x
M2
M3
(b) (x) = 5 + 2 2x
(a) (x) = 4 + x2
4. Halle el centroide de la figura limitada por las grficas de las siguientes ecuaciones:
(a) y = 4 x2 , x = 0, y = 0
(e) y = x2 , y =
(b) y = 4 x2 , y = 0
(c) y = 1 + x, y = 0, x = 4
(f) y = 3 x2 , y = (x 1)2 2
(g) y = x4 , y = 4 x
(d) y = x3 , y = 27, x 1
(h) x2 + y = 1, x + y = 1
3.14
3.14.1
Aplicaciones en economa
Ingreso de una empresa o un gobierno
La administracin de un cantn recauda, entre otros, un impuesto predial. Si, por ejemplo, en
5 aos recaud 200 millones de dlares, como la recaudacin anual de este impuesto no vara
mayormente si la tasa impositiva se mantiene constante, un buen indicador de la recaudacin
es la tasa anual de recaudacin T R uTR , dada por
200 millones de dlares
millones de dlares
= 40
.
5 aos
ao
Para un ingreso de I uI en un lapso de T ut , la tasa de recaudacin ser T R uTR , donde
TR =
I
.
T
(3.115)
Evidentemente, I = T RT .
En general, para una gran empresa o un gobierno local o nacional que tiene un ingreso
permanente I uI , aunque variable en magnitud, a lo largo del tiempo t ut la tasa de recaudacin del ingreso T R(t) uTR en el instante t indica el ingreso que se tendra en 1 ut si el flujo
de ingresos a lo largo de 1 ut sera similar al del instante t.
Si uTR es compatible con uI y ut se escribe analticamente
[uTR ] =
[uI ]
uI
=
.
[ut ]
ut
Dado T R(t), digamos para t [0, T ], si se desea conocer los ingresos generados en este
lapso, se puede aproximarlo de la siguiente manera.
Realizamos una particin P = {t0 , t1 , . . . , tn } del intervalo [0, T ] y aproximamos el ingreso
Ik uI en el lapso dado por el intervalo Jk = [tk1 , tk ], como si el flujo de ingreso en este
116
intervalo fuera constante, digamos igual a T R(tk ), con tk Jk . Es decir, teniendo en cuenta
(3.115),
Ik T R(tk ) tk ,
de donde
I=
n
X
k=1
n
X
Ik
T R(tk ) tk .
k=1
La ltima es una suma de Riemann que si, por ejemplo, la funcin t 7 T R(t) es continua en
RT
[0, T ], converge hacia 0 T R(t) dt, si kP k1 0. Podemos entonces calcular el ingreso I uI en
el lapso dado por el intervalo [0, T ], mediante la frmula
Z
I=
(3.116)
T R(t) dt.
0
3.14.2
Segn los economistas que estudian las leyes del mercado, si se llega al precio de equilibrio
de un bien se produce una ganancia tanto para un sector de los consumidores como para
parte de los productores, la que se mide por los as llamados supervit del consumidor y
supervit del productor. Veamos cmo los calculan.
Sea x el nmero de unidades u de un bien (por ejemplo un auto, un galn de gasolina, un
kg de arroz, etc.) que se compran y venden en un mercado dado si el precio unitario del bien
es de p unidades monetarias uM (miles de dlares, un dlar, etc.). Este precio en la prctica
oscila entre un precio mnimo a uM , normalmente representado por el costo de produccin, y
un precio mximo b uM , que resultara prohibitivo para todos los consumidores. Se supone que
para cada p [a, b], existira una demanda de D(p) u y una oferta de S(p) u. Naturalmente
D : [a, b] R es una funcin decreciente, que supondremos continua al igual que la funcin
S : [a, b] R que, por su parte, ser creciente. Obviamente S(a) = 0 y D(b) = 0.
y
xE
SPSC
pE
Los grficos de las dos funciones se cortan en el punto (pE , xE ) llamado punto de equilibrio
del mercado, y pE uM es el precio de equilibrio del mercado.
Ahora bien, si se alcanza este precio de equilibrio, los productores que estaban dispuestos
a vender an a precios inferiores a pE uM , salen beneficiados. Anlogamente, los consumidores
que hubieran adquirido el bien an si su precio hubiera sido superior a pE uM tambin salen
beneficiados. El supervit del productor SP uM es la cantidad total de dinero que ese sector de
productores reciben por encima del precio al que estaban dispuestos a vender, mientras que
el supervit del consumidor SC uM es la cantidad de dinero que se ahorra en total el sector
de consumidores que estaban dispuestos a pagar por el bien un precio superior al precio de
equilibrio.
Se tiene que
Z
pE
S(p) dp,
SP =
a
(3.117)
117
Z
(3.118)
D(p) dp.
SC =
pE
Para probar (3.117) y (3.118), notemos que al ser continuas y montonas las funciones S
y D son invertibles, y S : [a, pE ] [0, xE ] y D : [pE , b] [0, xE ] son biyectivas. Obviamente,
Z
pE
xE
(3.119)
(3.120)
S(p) dp =
a
xE
D(p) dp =
pE
xE
SC =
0
(3.121)
n
X
k=1
SCk
n
X
k=1
[S 1 (xk ) pE ] xk .
Rx
3.14.3
Ejercicios
1. Si los ingresos de una empresa tiene una tasa de recaudacin de T R(t) millones de dlares por
ao, calcule el total de ingresos obtenidos en T aos:
(a) T R(t) = 0.5(t 2)2 + 1, T = 4
(b) 0.2 1 + t, T = 8
2. En el ejercicio precedente calcule el ingreso anual promedio en los ltimos 2 aos.
3. Halle el supervit del consumidor y el del productor si la oferta y la demenda estn dadas por
las ecuaciones x = S(p) y x = D(p), respectivamente, con p I:
(a) S(p) = 3p/2 150, D(p) = 3000 2p, I = [100, 1500]
Captulo 4
Relaciones y funciones
Por su importancia para la comprensin del contenido de este captulo recordemos algunos
conceptos bsicos. Sean X e Y dos conjuntos no vacos. El producto cartesiano de X e Y es
el conjunto
X Y = {(x, y) | x X, y Y }.
X Y es pues el conjunto de parejas ordenadas (x, y), donde x X e y Y .
Cualquier subconjunto R de X Y se llama relacin entre los elementos de X Y .
Relacin inversa de R es la relacin
R1 = {(y, x) Y X | (x, y) R}.
Se llama dominio de R o proyeccin de R sobre X al conjunto
D(R) = {x X | y Y, (x, y) R}.
Se llama imagen de R o proyeccin de R sobre Y al conjunto
Im(R) = {y Y | x X, (x, y) R}.
Una relacin f X Y se llama funcin de X e Y , y se nota f : X Y , si
(x, y1 ), (x; y2 ) X Y, [(x, y1 ), (x; y2 ) f
y1 = y2 ]
(4.1)
y1 = y2 ] .
O tambin
x D(f ) !y Im(f ) tal que
y = f (x).
Definicin 4.1
Si f X Y es una funcin, se dice que f es invertible si f 1 tambin es una funcin.
Observemos que:
120
1.
f 1 es funcin
(y, x1 ), (y, x2 ) f 1 x1 = x2
(y, x1 ), (y, x2 ) X Y,
f es inyectiva.
2.
f es inyectiva
f 1 es la funcin inversa de f
f 1 es la funcin inversa de f
3.
f es inyectiva
4.2
f (f 1 (x)) = x
x Im(f ) y
f 1 (f (x)) = x
x D(f ).
an1 a
n 2.
= an+m
n, m N,
= anm
n > m 1,
= a
nm
n, m 1.
an =
1
,
an
def
an =
La raz n-sima de a,
n
a = b tal que
bn = a.
n
a siempre existe ya que la funcin
fn : [0, [ [0, [,
x 7 fn (x) = xn
121
es
estrictamente creciente, por lo tanto es inyectiva. De hecho es biyectiva. Por lo tanto
n
a = fn1 (a).
Si se pone, para m Z y n Z
m
1
a n = (am ) n = n am ,
se ha dado ya sentido a la expresin ax para x Q.
Por otra parte se tienen tambin las propiedades para todo p, q Q:
ap aq
ap
aq
(ap )q
4.3
ap+q ,
apq ,
apq .
n 0,
Sea
ln : ]0, [ R,
def
x 7 ln x =
Z
1
x > 0.
x
dt
.
t
(ln x)(n)
]0, [,
1
,
x
(1)n+1 (n 1)!xn , n 0, x > 0.
f (x) =
Como (ln x) = x1 > 0 para todo x, ln es creciente en ]0, [, y como (ln x) = x12 < 0
para todo x, ln es cncava en ]0, [.
Adems se tienen las siguientes propiedades.
a
= ln a ln b,
b
4. ln(aq ) = q ln a.
Demostracin.
Z
1. ln 1 =
1
ds
= 0.
s
122
2. Sean F (x) = ln(ax), G(x) = ln x, para x > 0. Derivando se obtiene para todo x > 0
F (x) =
1
1
a = = f (x);
ax
x
G (x) =
1
= f (x).
x
Al ser F y G primitivas de la misma funcin f , existe una constante C tal que para todo x > 0
F (x) = G(x) + C.
Para x = 1, F (1) = G(1) + C, de donde
ln a = ln 1 + C,
y como ln 1 = 0, C = ln a.
Entonces para todo x > 0
F (x) = ln(ax) = ln x + ln a.
Con x = b se obtiene el resultado.
3.
ln
a
b
= ln(a b1 )
= ln a + ln(b1 ),
por 2.
= ln a + (1) ln b,
por 4.
= ln a ln b.
4. Sean F (x) = ln(xq ) y G(x) = q ln x. Derivando se tiene:
F (x) =
1
1 q1
qx
=q ;
xq
x
1
G (x) = q .
x
x > 0,
Con x = 1:
F (1) = G(1) + C,
de donde C = 0, puesto que F (1) = G(1) = 0. Se tiene entonces que
ln(xq ) = q ln x,
x > 0.
1
< ln 2 < 1; ln 2 0.69314718.
2
n
2. n 1 ln(2n ) > .
2
1.
3.
lm ln x = +.
x+
4. lm ln x = .
x0+
8. (ln |x|) =
Demostracin.
Z
1. ln 2 =
1
x
x 6= 0,
123
1
= ln |x| + C
x
x 6= 0.
ds
0.69314718, utilizando, por ejemplo, el mtodo de Simpson.
s
y
4
3
2
1
0.5
1.0
1.5
2.0
2.5
3.0
3.5
2. Sea n 1:
1
< ln 2 < 1.
2
1
ln(2n ) = n ln 2 > n ,
2
por 1.
ln x > R.
n
>R
2
1
,
x
x=
lm ln x = lm ln y 1
x0+
y+
= lm [(1) ln y]
y+
= lm ln y
y+
= .
5. Resulta de 4. y de la monotona de ln.
6.
(ln x)
(ln x)
1
> 0 x > 0,
x
1
2 < 0 x > 0
x
1
y
= y 1 :
124
|x| =
se tiene que
(ln |x|) =
7. Resulta de que ln es creciente.
1 si x > 0,
1 si x < 0,
|x|
1
=
|x|
x
x 6= 0.
4.3.1
Ejercicios
(e) f (x) = ln
x+2
x+1
(f) f (x) = ln
x1
(a) f (x) = x ln x
(b) f (x) = ln(x2 + x + 2)
ln(2x + 1)
(c) f (x) =
ln(x + 2)
(d) f (x) = ln x + x2 + 1
(e) f (x) = ln
(a) f (x) = x ln x
q
x
(b) f (x) = ln
x+1
(d) f (x) = ln |x + 2|
4. Calcule:
Z
(a)
4.4
dx
x ln x
(b)
1
ln x
dx
x
(c)
1
dx
x+3
Z
(d)
dx
x ln x
Hemos visto que ln : ]0, [ R es biyectiva. Existe por lo tanto su inversa ln1 , a la que
llamaremos funcin exponencial natural y notaremos exp:
exp = ln1 : R ]0, [,
x 7 exp(x) = y
tal que
ln y = x.
125
Por lo tanto
exp(x) = y
x = ln y,
exp(ln x) = x x > 0,
ln(exp(x)) = x x R.
Derivando la ltima igualdad:
(exp(x))
= 1,
(exp(x))
[ln(exp(x))] =
x R,
de donde
(exp(x)) = exp(x).
Es decir que exp es derivable y su derivada es la misma funcin exponencial.
Recordemos que nuestro objetivo es dar sentido a la expresin ax , con a > 0. Hagmoslo
primero tomando a = e, donde
def
e = exp(1).
Por lo tanto e es tal que ln e = 1. De las desigualdades
1
< ln 2 < 1,
2
y
1
n < ln(2n )
2
n 1
con n = 2 se obtiene
ln 2 < 1 < ln 4,
de donde
2 < e < 4.
Se puede probar, y lo haremos ms tarde, que
e 2.718 281 828 459 045 235 360 287 471 352
Queremos pues definir ex para x R. Observemos que eq est definido para todo q Q
y que
ln(eq ) = q ln e = q q Q.
Por lo tanto, al ser exp = ln1 ,
ln(eq ) = q
exp(q) = eq
q Q.
ex = exp(x).
Para x R :
x 7 exp(x)
y
q 7 g(q) = eq
g : Q R,
exp Q = g.
126
Por lo tanto,
ex = y,
ln y = x.
x x > 0,
x x R.
5. (er )q = eqr .
2. e1 = e.
6. er =
3. er es = er+s .
1
.
er
e
4. s = ers .
e
n 1.
Demostracin.
1. Resulta de que ln 1 = 0.
2. ln e = 1
e1 = e.
Corolario 4.4
Como ex > 0 para todo x R,
127
y
8
exp
6
4
2
4.4.1
Ejercicios
ln x
exp x + 1
exp x + 1
(e) f (x) = ln
exp x 1
(d) f (x) =
(b) f (x) =
2 exp x + 1
2 exp x 1
(c) f (x) =
exp x + exp(x)
exp x exp(x)
3. Una funcin P : [0, [ [0, [, t 7 P (t) puede servir de modelo de la poblacin de personas
de un pas, bacterias en una probeta, ardillas de un parque, etc. Si t (aos, segundos, meses, etc.)
es un instante dado (t 0), P (t) es la poblacin en ese instante. Si P0 = P (0):
(a) P (t) = P0 exp(kt), k > 0, es el modelo exponencial. Pruebe que P satisface la ecuacin
P (t) = kP (t).
(b) P (t) =
, con , , > 0, es el modelo logstico. Pruebe que P satisface la
+ exp(t)
ecuacin logstica P (t) = P (t)[ P (t)].
(c) Ilustre los modelos con ejemplos.
2
.
1 + exp(2t)
4. Una funcin R : [0, [ [0, [, t 7 R(t) = R0 exp(kt), k > 0 sirve de modelo para medir la
presencia de una substancia radioactiva en determinado objeto. Por ejemplo R(t) mg de Carbono
14 contenidos en un fsil.
(a) Pruebe que para todo a, b > 0, la sucesin de nmeros
R(a), R(a + b), R(a + 2b), . . . , R(a + nb), . . . ,
con n N, es una progresin geomtrica.
(b) Si b es tal que R(a + b) = R(a)/2, se dice que b es la semivida de la substancia radioactiva.
Calcule esta semivida si se conoce que en 10 aos la cantidad de la substancia radioactiva
en cierto objeto disminuye en un 5 %.
5. Calcule las siguientes integrales.
128
(a)
exp x
dx
x
Z
(c)
4.5
x exp(x2 ) dx
1
Z
(b)
(d)
Z
exp{2x2 5x + 1}(x 5/4) dx
(e)
exp x
dx
(1 + exp x)2
(f)
exp(2x) exp(x)
dx
exp x + 1
Definicin de ax , a > 0, x R
aq = a n =
1 + exp x
dx
exp x
m
Q, m Z, n N
n
n
am .
x Q,
2
2
= e ln .
Si
f : R R
x 7 f (x) = ex ln a
h : Q R
,
q 7 h(q) = aq
f = h.
Q
def
ar
= ars .
as
129
5. (ar )s = ars .
6. ar =
1
.
ar
7. Para todo x R, (ax ) = (ln a)ax , (ax )(n) = (ln a)n ax para todo n 1.
Z
1 x
8.
a + C , si a 6= 1.
ax dx =
ln a
Demostracin.
1. a0 = e(ln a)0 = e0 = 1.
2. a1 = e(ln a)1 = eln a = a.
3. ar as = e(ln a)r e(ln a)s = e(ln a)r+(ln a)s = e(ln a)(r+s) = ar+s .
4.
ar
e(ln a)r
= (ln a)s = e(ln a)r(ln a)s = e(ln a)(rs) = ars .
s
a
e
ax
ln a
= ax , entonces
Z
ax dx =
ax
+ C.
ln a
Corolario 4.6
1. Si 0 < a < 1, como ln a < 0 y ax > 0 para todo x R, expa (x) = (ax ) = (ln a)ax < 0
para todo x esto implica que expa es decreciente, lo cual a su vez implica que expa es
inyectiva.
2. Si 1 < a, como ln a > 0 y ax > 0 para todo x R, expa (x) > 0, para todo x R esto
implica que expa es creciente en x R, lo cual a su vez implica que expa es inyectiva.
3. Para todo a ]0, [ \{1}, expa (x) > 0 para todo x R esto implica que expa es convexa
en R.
y = ax , a < 1
y = ax , a > 1
130
4.5.1
y = xa = x n ,
m
de la definicin de x n , obtenemos
y n = xm .
Derivando los dos miembros se tiene
ny n1 y = mxm1 ,
de donde
y =
m xm1
m xm1
m m
= x n 1 .
=
m
n1
n1
n y
n (x n )
n
Es decir
(xa ) = axa1
para todo
a Q y para todo
x > 0.
Veamos que la frmula sigue siendo vlida para todo a R y x > 0. En efecto:
4.5.2
a a
x = axa1 .
x
Ejercicios
(c) f (x) = xx
(e) f (x) = x
(d) f (x) = 2x x2
(f) f (x) = x + x2
4.6
(e)
0
2t
dt
1 + 4t
3 sen(3t) cos(3t) dt
(f)
0
Funcin loga
Hemos visto que expa : R R es inyectiva para todo a > 0 y a 6= 1. Existe entonces la
inversa de expa .
Definicin 4.2
Sea a ]0, [ \{1}. A la inversa de expa : R R, x 7 ax se le llama logaritmo en base a y se
nota loga : R R, x 7 loga x.
Observemos que:
1. y = loga x
x = ay .
131
para todo
x R.
x ]0, [.
6. loge = ln.
La funcin loga tiene las siguientes propiedades.
Teorema 4.7 (Propiedades de loga )
Sea a ]0, [ \{1}. Sean b, c > 0, r R. Entonces:
1. loga 1 = 0.
2. loga (bc) = loga b + loga c.
3. loga
b
= loga b loga c.
c
loga b
ln b
. En particular logc b =
.
loga c
ln c
1
x ln a ,
(1)n+1 (n1)!
xn ln a
para todo n 1.
(loga b+loga c)
log a 1 = 0.
= aloga b aloga c = bc. Entonces loga (bc) = loga b + loga c.
3. Idem.
r
4. ar loga b = alogb = br . Entonces log a (br ) = r loga b.
5. Sean b > 0 y a, c ]0, [ \{1}. Tenemos que
= loga b
Entonces
logc b =
log a b
.
loga c
132
ln x
ln a
1
=
.
(ln a)x
(loga x) =
por 5.
Por induccin, puesto que acabamos de ver que 6.1 es vlida, supondremos que 6.n es vlida.
Demostremos 6.(n + 1).
(1)n+1 (n 1)! n
=
x
, por hiptesis de induccin
ln a
(1)n+1 (n 1)!
(n)xn1
ln a
(1)n+2 n! (n+1)
=
x
.
(ln a)
ln x
,
ln a
y como
0<a<1
ln a < 0
y
1<a
las propiedades resultan de que
lm ln x = ,
x0+
ln a > 0,
lm ln x = +,
x+
1
> 0 para todo x > 0,
x
1
(ln x) = 2 < 0 para todo x > 0.
x
(ln x) =
y
y = loga x, a > 1
y = ax , a < 1
4.6.1
Ejercicios
(a)
0
4.7
[log 3 |x + 1|]3
dx
x+1
133
Z
(b)
(c)
log2 (x + 3) dx
log(ax) dx
Funciones hiperblicas
Ix
Si calculamos el rea A del sector OIP , para t [0, 2], mediante una regla de tres
simple: si al ngulo 2 le corresponde una rea 12 = , entonces al ngulo t le corresponde
un rea A = 2t , de donde t = 2A, o sea que t es numricamente el doble del rea del sector
OIP . Las funciones cos y sen son pues funciones del doble del rea del sector OIP . Como
P es un punto de la circunferencia, sus coordenadas (cos t, sen t) deben satisfacer la ecuacin
de sta. Por lo tanto
cos2 t + sen2 t = 1
que es la conocida identidad trigonomtrica.
A=
P (cosh t, senh t)
t
2
x>0
def 1 t
2 (e
t 7 cosh t =
+ et )
134
def 1 t
2 (e
t 7 senh t =
et )
cosh2 t senh2 t = 1,
cosh t > 0.
Por lo tanto, cualquier punto P (cosh t, senh t) pertenece a la rama derecha de la hiprbola
de ecuacin x2 y 2 = 1. Por esta razn a cosh y senh se las llama coseno hiperblico y seno
hiperblico, respectivamente.
Si tomamos t > 0 y calculamos el rea A del sector OIP , se puede constatar (hacerlo!)
que A = 2t , o sea que
t = 2A.
Tenemos que, anlogamente a lo que sucede con las funciones trigonomtricas cos y sen, las
funciones cosh y senh son funciones del doble del rea del sector OIP .
Siguiendo con las analogas se definen
senh t
tangente hiperblica de t,
cosh t
cosh t
coth : t 7 coth t =
cotangente hiperblica de t,
senh t
1
sech : t 7 sech t =
secante hiperblica de t,
cosh t
1
csch : t 7 sech t =
cosecante hiperblica de t.
senh t
Notemos que se tienen identidades anlogas a las trigonomtricas. Por ejemplo,
tanh : t 7 tanh t =
tanh2 t + sech2 t = 1,
coth2 t csch2 t = 1.
Si notamos que cosh es par, senh t es impar y que cosh t = 12 et + 21 et y senh t = 12 et 12 et ,
las grficas de g(t) = 12 et y de h(t) = 12 et pueden servir de gua para graficar cosh y senh.
En efecto, si notamos, adems, que
lm g(t) = lm h(t) = +
t+
y que
lm g(t) = lm h(t) = 0,
t+
senh
135
Se deja como ejercicio de aplicacin de la derivada el hacer las grficas de las seis funciones
hiperblicas.
A partir de las respectivas definiciones, y como ejercicio de derivacin de la funcin
exponencial, se puede hallar fcilmente las derivadas de las funciones hiperblicas:
d
(senh x)
dx
d
(cosh x)
dx
d
(tanh x)
dx
d
(coth x)
dx
d
(sech x)
dx
d
(csch x)
dx
cosh x,
senh x,
sech2 x,
csch2 x,
sech x tanh x,
csch x coth x.
senh x dx
cosh x + C,
cosh x dx
senh x + C.
4.8
dx
2 cosh x + senh x + 1
(a)
0
x2 sen2 x dx
0
(x2 + 1) ln x dx
(b)
/2
(e)
Z1 1
(d)
0
sen(ln x) dx
1
(ln x)2 dx
(c)
(f)
cosh x
dx
exp x + 1
(g)
1
ln x
dx
(1 + x2 )2
2. Calcule:
1
(a) lm
x0 x
(b)
exp(t/x) dt
0
1
t+
0
2x
(c) lm
t
dt
(senh t + cosh t)n
nx
dx
1 + nx2 ln n
(d) lm
lm
x2
exp{ x + 1} cos(tx) dx
(e) lm
exp t
dt
t
[g(x)]a [h(x)]b
,
[k(x)]c
136
ln f = a ln g + b ln h c ln k
y, como
(ln[f (x)]) =
f (x)
,
f (x)
se tiene que f (x) = f (x)(ln[f (x)]) , que es fcil de calcular gracias a la ecuacin (4.2). El uso de
esta ltima frmula se llama derivacin logartmica. Usela para calcular f (x) si:
(a) f (x) =
(b) f (x) =
(x + 1)(2x + 3)
5x 1
x2 (x + 1)3
(x 1)2 (x + 2)3
x2/3
(c) f (x) =
x+1 3 x+2
(x2 + 4)x
x3
(g) f (x) = xx
+1
Captulo 5
Sucesiones y series
5.1
5.1.1
Sucesiones numricas
Las sucesiones numricas vistas como elementos de R
Recordemos que R2 es el conjunto de pares ordenados de nmeros reales; es decir, que sus
elementos tienen la forma (a1 , a2 ) donde a1 R y a2 R. Por ejemplo, (2, 3), (, 1),
(3, 3) son elementos de R2 .
Anlogamente, R3 es el conjunto de las tripletas ordenadas de nmeros reales, por lo que
sus elementos tienen la forma
(a1 , a2 , a3 ) donde a1 R, a2 R y a3 R. Por ejemplo,
(a1 , a2 , a3 , a4 ),
a4 R;
donde
(a1 , a2 , . . . , an ),
con a1 R, a2 R, . . . , an R.
n
Por ejemplo, (2, 4, 6, . . . , 2n) Rn , ( 12 , 23 , 43 , . . . , n+1
) Rn .
Generalizando este concepto de n-uples, podemos considerar elementos formados por una
infinidad de nmeros reales ordenados que se los puede escribir
(a1 , a2 , a3 , . . .),
donde
a1 R, a2 R, a3 R . . . .
(an )
en vez de
(a1 , a2 , a3 , . . .).
(an ) =
n
n+1
1 2 3
, , , . . . R ;
2 3 4
138
5.1.2
Sucesiones y series
(xn ) =
2n + 1
n+2
5 7
= 1, , , . . .
4 5
x
3
2
b
139
x
3
2
b
1
b
5.1.3
Sucesiones acotadas
Dado un conjunto A R definimos ya lo que significa A es acotado por arriba (o por abajo),
A es acotado, sup A, nf A, max A, mn A. Con estos conceptos claros, dada una funcin
f : D(f ) R, con 6= , puesto que Im(f ) R, se dice que:
1. f es acotada por arriba (por abajo) si Im(f ) lo es.
2. f es acotada si Im(f ) lo es.
def
def
nf f (x) = nf Im(f ).
def
def
Como las sucesiones son funciones con valores en R, estos conceptos son aplicables de
manera natural. As tendremos:
1. (xn ) R es acotada por arriba si existe C2 R tal que para todo n 1, xn C2 .
2. (xn ) R es acotada por abajo si existe C1 R tal que para todo n 1, C1 xn .
5. max xn = max{xn | n N}
nN
si ste existe.
6. nf xn = nf{xn | n N}.
nN
7. mn xn = mn{xn | n N}
nN
si existe.
140
Sucesiones y series
5.1.4
Sucesiones montonas
x1 < x2
x1 < x2
f (x1 ) f (x2 ).
x1 < x2
x1 < x2
f (x1 ) f (x2 ).
xm < xn .
m<n
Sin embargo, es fcil ver que la condicin anterior puede ser simplificada as:
(i) (xn ) es creciente si y solo si para todo n N,
xn < xn+1
Anlogamente:
(ii) (xn ) es no decreciente si y solo si para todo n N,
xn xn+1
xn+1 xn 0).
xn > xn+1
xn xn+1
xn+1 xn 0).
La ltima propiedad, en cada caso, nos sugiere analizar el signo de xn+1 xn para estudiar
la posible monotona de una sucesin.
Ejemplo 5.49
n
). Pruebe que (xn ) es montona.
Sea (xn ) = ( n+1
(n + 1)2 n(n + 2)
n+1
n
1
=
=
> 0,
n+2
n+1
(n + 2)(n + 1)
(n + 2)(n + 1)
Si los trminos de una sucesin (xn ) son positivos, es decir si para todo n N, xn > 0,
podemos observar que:
(i) (xn ) es creciente
para todo n N
xn+1
xn
para todo n N
para todo n N
para todo n N
> 1.
xn+1
xn
xn+1
xn
xn+1
xn
1.
< 1.
1.
Por lo cual, para analizar la posible monotona de una sucesin (xn ) R de trminos
positivos, es conveniente averiguar la relacin de orden entre los cocientes xxn+1
y 1, para
n
todo n 1.
141
Ejemplo 5.50
Averige si es montona la sucesin (xn ) =
2n
(n+1)!
Solucin. Sea n 1.
xn+1
=
xn
2n+1
(n+2)!
2n
(n+1)!
2n 2 (n + 1)!
2
=
< 1,
(n + 2)(n + 1)!2n
n+2
puesto que 2n+1 = 2n 2 y (n + 2)! = (n + 2)(n + 1)!. Por lo tanto, (xn ) es decreciente. En este caso,
2n
2n+1
< (n+1)!
.
esto significa que para todo n 1, xn+1 < xn , o sea que para todo n 1, (n+2)!
Tambin se puede probar el resultado analizando el signo de xn+1 xn . En efecto, sea n 1:
xn+1 xn =
5.1.5
2n+1 (n + 2)2n
2n+1
2n
n2n
=
=
< 0.
(n + 2)!
(n + 1)!
(n + 2)!
(n + 2)!
Sucesiones convergentes
Dada una funcin f : D(f ) R R, si D(f ) no es acotado por arriba (es decir que para
todo R > 0 existe xR D(f ) y xR > R), en determinados casos existe el lmite
lm f (x),
que es un nmero l R que puede ser aproximado por los valores f (x) con la precisin que
se desee, si se toman valores de x D(f ) suficientemente grandes. Es decir que
l = lm f (x)
x
> 0 R > 0
tal que
x D(f ),
xR
|f (x) l| < .
Este concepto es aplicable a una sucesin numrica (xn ) puesto que su dominio N no es
acotado por arriba.
Diremos entonces que la sucesin (xn ) es convergente y que su lmite es l, lo que escribiremos
l = lm xn
x
xn l
n
> 0 N N
tal que
nN
x>R
y n > N,
nN
2n3
n+1
, entonces existe lm xn = 2.
n
|xn l| < .
142
Sucesiones y series
Solucin.
Sea > 0. Debemos hallar N N tal que n > N |xn l| < .
Sea n 1.
2n 3 2(n + 1)
5
5
2n 3
|xn 2| =
2 =
= n+1 < n <
n+1
n+1
siempre que n > 5 . Como
n>
basta entonces tomar N =
5
h i
5
+1
n>
5
< ,
n
+ 1.
El ejemplo ilustra cmo demostrar que un valor dado, en este caso, el nmero 2, es el lmite
de una sucesin (xn ) si n tiende a infinito. Pero, en la prctica, se plantea frecuentemente
el problema de determinar si una sucesin es convergente o no, sin necesidad de calcular su
lmite. Veamos a continuacin un par de criterios que nos permiten resolver este problema.
5.1.6
l = lm xn = sup xn .
n
nN
2. Anlogamente,si (xn ) R es acotada por abajo y es montona decreciente o no creciente, se tiene que (xn ) converge y su lmite es
l = lm xn = nf xn .
n
nN
Demostracin.
1. Sea l = sup xn . Sea > 0. Debemos hallar N N tal que
nN
n>N
|xn l| < .
xn xN
xn l.
143
o, lo que es lo mismo,
n>N
|xn l| < .
Ejemplo 5.52
Pruebe que la sucesin (xn ) =
1+
1 n
n
es convergente
Solucin. Es fcil si se prueba que (xn ) es creciente y que para todo n 1, xn < 3.
5.1.7
Augustin Cauchy observ que si una sucesin (xn ) converge, los trminos xn se acercan entre
ellos cada vez ms para valores grandes de n. De hecho prob que si (xn ) converge, entonces
(xn ) cumple la siguiente propiedad:
tal que n, m N
> 0 N N
|xn xm | < .
(5.1)
(la desigualdad n, m N puede ser reemplazada por n, m > N , y se tiene el mismo resultado); es decir, que puede lograrse que la distancia entre dos elementos xn y xm de la sucesin
sea tan pequea como se desee, si se toman los ndices n y m suficientemente grandes. A las
sucesiones numricas que tienen esta propiedad (5.1) las llamaremos sucesiones de Cauchy.
La observacin de Cauchy se puede explicar en el siguiente teorema.
Teorema 5.2
Si (xn ) R converge entonces es de Cauchy.
Demostracin. Sea > 0. Debemos hallar N N tal que
n, m > N
|xn xm | < .
tal que
n > N1 (1 )
|xn l| < 1 .
|xn l| <
n > N1 ( )
2
m > N1 ( ),
2
|xn l| <
,
2
144
Sucesiones y series
Es fcil demostrar que toda sucesin de Cauchy, y por ende toda sucesin convergente, es
acotada y tambin es fcil probar que la recproca no tiene lugar. Tenemos pues el siguiente
teorema.
Teorema 5.4
Sea (xn ) R . Entonces
1. Si (xn ) es de Cauchy, entonces (xn ) es acotada.
2. La recproca no tiene lugar.
Demostracin.
1. Supongamos que (xn ) es de Cauchy. Debemos probar que (xn ) es acotada. Para ello es necesario
hallar R > 0 tal que para todo n 1, |xn | < R.
Como (xn ) es de Cauchy, existe N N tal que para todo m, n > N , |xn xm | < 1. Tomamos
m = N y a = xN y tendremos que para todo n > N , |xn a| < 1. Como
|xn a| < 1
1 < xn a < 1
a 1 < xn < a + 1
|xn | < m
ax{|a 1|, |a + 1|}.
Basta poner
R = m
ax{|a 1|, |a + 1|} + m
ax |xn |,
1nN
2. Basta considerar (xn ) = (0, 1, 0, 1, 0, 1, . . .). Vemos que para todo n 1, |xn xn+1 | = 1, por
lo que (xn ) no es de Cauchy, aunque obviamente es acotada.
5.2
Ejercicios
n
(1)
(b) (yn ) =
.
n2
2n
X1
(c) (zn ) =
.
k
k=1
m
X 4
(d) (xm ) =
.
3k
k=1
1 n
1+
.
n
(e) (en ) =
145
n2
.
1 + 3n2
k
2
.
(b) 7
5
n
3 +2
(c)
.
n
3
(d)
k+2 k .
3 (k!)2
(f)
.
(2k)!
2
n +2
(g)
.
n
(h) 2n2 + (1)n n .
3n 1
(i)
.
7n + 2
1 + 2k
(j)
.
2k
(k) m3m .
n
n
(l)
.
n!
m!
(m)
.
1 3 5 (2m 1)
(n) tan1 n2 .
(o) sinh n2 .
n
2
.
(p) 5
3
ln(n2 + 1)
(q)
.
n2 + 1
(a)
2k
.
(b)
1 + 2k
k!
(c)
.
kk
n!
(d)
.
1 3 5 (2n 1)
n
X1
1
(e)
+ ln
.
k
n
k=1
5.3
(e)
k+2 k .
(f)
k( k + 2 k) .
sen n
(g) 2 +
.
n
Series numricas
n
X
k=1
ak =
n1
X
k=1
ak + an = sn1 + an .
146
Sucesiones y series
k=1
A esta expresin
ak ,
!
ak ,
ak = lm sn .
n
k=1
k=1
n
X
ak = lm
k=1
n
X
k=1
k=1
k=1
Ntese que las sumas parciales pueden empezar desde cualquier ndice. Por ejemplo:
ak = lm
k=3
n
X
ak .
k=3
Ejemplo 5.53
k
). Veamos si la serie
n
X
k=1
ak =
n
X
k=1
2 10k = 2
n
X
k=1
ak converge y de hacerlo
k=1
9
2
1
sn =
1 n ,
10
10
10
o tambin
sn =
Finalmente,
X
k=1
2
1
1 n
9
10
para todo
h
i
2
1
2
1 n
= .
n 9
10
9
ak = lm sn = lm
n
X
k=1
n 1.
ak =
2
.
9
147
(ak ) =
2 2
2
2
, r, r2 , r3 , . . . .
10 10 10
10
La forma en que obtuvimos su suma se puede usar para toda progresin geomtrica con
|r| < 1. Para otros valores de r, si el trmino inicial no es nulo, la serie diverge. En efecto,
tenemos el siguiente teorema.
ak =
k=0
ark converge si y
k=0
(1 r)sn = a ar n+1 = a 1 r n+1 .
Entonces
sn =
Como
lm r n+1 = lm r n =
a
1 r n+1 .
1r
0
diverge
ar =
k=0
a
1r
diverge
si
si
|r| < 1
|r| > 1
si
si
|r| < 1
|r| 1.
r = 1,
X
k=1
X
1
k=1
k2
tiende a 0
X
1
k=1
diverge, mientras
1
k
0, k12 0 .
Teorema 5.6
X
Si
ak converge, entonces lm ak = 0.
k=1
ak converge su trmino
148
Sucesiones y series
Demostracin. Si la serie
k=1
ak = s = lm sn ,
n
k=1
de donde
s = lm sn+1 .
n
para todo
n 1.
lm an = lm (sn+1 sn ) = lm sn+1 lm sn = s s = 0.
Este resultado es muy til para, en ciertos casos, demostrar que una serie diverge.
Ejemplo 5.54
1.
X
(1)k diverge porque no existe lm (1)k .
k
k=1
2.
X
k+1
k+1
1
diverge porque lm
= 6= 0.
k 3k + 2
3k + 2
3
k=1
5.3.1
Series telescpicas
Definicin 5.1
X
Una serie
ak se llama telescpica o desplegable si existe (bn ) R tal que ak = bk bk+1
k=1
para todo k 1.
Teorema 5.7
Una serie telescpica converge si lm bk existe. En este caso
k
k=1
X
k=1
n
X
k=1
ak =
ak = b1 lm bn
n
n
X
(bk bk+1 ) = b1 bn+1 . Por consik=1
149
Ejemplo 5.55
Estudiemos la convergencia de la serie
X
k=1
1
para m N. Utilizando el mtodo
(k + m)(k + m + 1)
.
(k + m)(k + m + 1)
k+m
k+m+1
1
Si ponemos ak = (k+m)(k+m+1)
, bk =
1
lm bk = 0 y b1 = m+1 . Por consiguiente:
1
,
k+m
X
k=1
1
1
=
.
(k + m)(k + m + 1)
m+1
que
M1
X
m=0
X
k=1
ak =
m1
X
m=1
j=0
M1
X
m=0
m bk+m . Entonces
ak converge y
k=1
bm .
Note que el teorema 9.7 es un caso particular del teorema 9.8, con M = 2, 0 = 1 y
1 = 1.
Ejemplo 5.56
Si converge, calcule el lmite de la serie
X
k=1
k+4
.
k3 + 3k2 + 2k
150
Sucesiones y series
Solucin. Si ponemos ak =
fracciones parciales:
k+4
,
k3 +3k2 +2k
k+4
k3 + 3k2 + 2k
0
1
2
=
+
+
k
k+1
k+2
0 (k2 + 3k + 2) + 1 (k2 + 2k) + 2 (k2 + k)
=
.
k3 + 3k2 + 2k
ak =
8
<0 = 0 + 1 + 2 ,
1 = 30 + 21 + 2 ,
:
4 = 20 .
1
,
k
1 = 3,
2 = 1.
tenemos que
ak = 0 bk + 1 bk+1 + 2 bk+2 .
La primera de las ecuaciones nos muestra que se cumple la hiptesis del teorema,
M = 3, y obviamente lm bk = 0. Por consiguiente, la serie
k
M 1
m = 0, con
m=0
ak converge y como
k=1
0 b1 + (0 + 1 )b2 = 2
tenemos entonces que
X
k=1
1
1
3
+ (2 3) = ,
1
2
2
k+4
3
= .
k3 + 3k2 + 2k
2
k=1
PN (k)
,
(k + r)(k + r + 1)(k + r + 2) (k + r + M 1)
M1
Y
(k + r + m), el
m=0
numerador que se obtiene, que debe ser idntico a PN (k), tendr grado menor o igual que
M 1 y el coeficiente de k M1 ser
M1
X
m=0
1
k+r ,
se tiene que ak =
M1
X
m=0
m bm .
5.4 Ejercicios
5.3.2
151
(sn ) =
! k=1
k=1
an = A y
n=1
2. Si
bn = B , entonces existe
n=1
an converge y
n=1
3. Si existe
bn diverge, entonces
(an bn ) diverge.
n=1
an = A, entonces existe
n=1
n=1
(an bn ) = A B .
n=1
n=1
an converge
n=1
(an ) converge.
n=1
Dada (an )nM R , con M Z, es decir (an )nM = (aM , aM+1 , aM+2 , . . .) tiene
sentido considerar
n
def
an = lm
n=M
an
an .
k=M
converge
n=M
an
converge.
n=N
El resultado anterior es evidente si tomamos la relacin entre las sumas parciales de las
dos series:
n
n
X
k=M
donde A =
N
1
X
ak
n
X
k=N
nN
ak
nN
cv
Ejercicios
(a)
para todo
k=N
ak es constante. Entonces
k=M
5.4
ak = A +
X
2k + 1
.
k1
k=2
(b)
X
3n
.
n
n=1
(c)
X
k+2
.
k!
k=1
n
X
k=M
cv.
ak
nM
152
Sucesiones y series
(d)
X
sen m
4
.
m
(f)
m=1
n=1
(b)
(c)
(d)
(e)
X
k=1
k=1
(h)
X 2n+1
.
3n+2
X 3 k
k=1
X
k=1
X
k=1
5.5
7
.
2k+1
n=1
1
.
4n2 1
X
4
2
(g)
+ k .
k
3
5
X
3k 1
.
9k
k=1
(a) 2.8
2.
1
.
(k + 2)(k + 3)
9.
(b) 23.4
(c) 21.823.
5
.
k2 + 11k + 30
(d) 0.991.
an
n=1
n
X
ak , es montona no
k=1
an converge
n=1
(sn ) es acotada.
Ejemplo 5.57
La serie armnica. La serie
X
1
se denomina serie armnica, la cual diverge porque
k
k=1
X1
,
(sn ) =
k
k=1
no es acotada.
Solucin. Lo demostraremos en tres etapas:
153
1
2
(5.2)
Sea n = 1:
1
1
1
1
s2n = 1 + + +
+
+ +
2
n
n+1
2n
n
X
1
= sn +
n+k
k=1
n
X
1
sn +
puesto que para todo
2n
k=1
1
= sn + n
2n
1
= sn + .
2
k {1, . . . , n},
1
1
n+k
2n
m+2
.
2
(5.3)
En efecto:
1
1
3
1+2
=1+ = =
.
2
2
2
2
Supongamos que (5.3) es vlido para m 1. Probemos que (5.3) es verdadera para m + 1.
Lo que debemos demostrar es s2m+1 m+3
. Como 2m+1 = 2 2m , aplicando (5.2), con n = 2m ,
2
y (5.3) para m, tenemos:
m=1:
s21 = s2 s1 +
m+2
1
m+3
1
+ =
.
2
2
2
2
es acotada
R > 0
tal que
n 1 |sn | < R.
Por consiguiente
(sn )
no es acotada
R > 0 n 1
tal que
|sn | R.
Probemos esto ltimo. Sea R > 0. Debemos hallar n 1 tal que |sn | R. Por la segunda etapa
tenemos que
m+2
m 1 s2m
,
2
m
basta tomar n = 2 , con m tal que
sn = s2m
m+2
R.
2
5.6
Criterio integral
Si (ak ) R est dada como la restriccin a N de una funcin f : [1, [ [0, [ continua y
montona no-creciente, es decir si k 1 ak = f (k), se tiene que la serie
y solo si
R
1
n=1
an converge si
154
Sucesiones y series
X
f (x) dx converge
an converge.
1
n=1
Demostracin. En la figura:
n
X
k=2
Z
ak
n
1
f (x) dx
n
X
ak
k=1
n 2,
(5.4)
puesto que las sumas parciales totalizan el rea de rectngulos de base 1 y altura ak y la integral
entre 1 y n es el rea bajo la curva que es la grfica de f sobre el intervalo [1, n]. Tomando el lmite
cuando n en (5.4), se obtiene el resultado.
Ejemplo 5.58
1. Probemos que si R,
X
1
k
converge
k=1
Ponemos f (x) =
1
x
> 1.
y ak = f (k). Como
f (x) dx =
dx
x
x dx
8
>
<ln |x| = +
1
=
+
x1
>
: 1 =
1
1
1
1
si = 1,
si < 1,
si > 1,
X
1
diverge,
n
n=1
X
1
converge.
n2
n=1
2. Pruebe que
X
n=3
155
2
converge.
n(ln n)2
2
, ak = f (k).
x(ln x)2
Z
Z
dx
f (x) dx = 2
x(ln
x)2
3
Z3
du
=2
2
ln 3 u
Ponemos f (x) =
u = ln x,
du =
dx
,
x
= 2u1
x
3
u
ln 3
ln 3
2
=
ln 3
Por el criterio integral tenemos que
2
converge.
n(ln n)2
n=3
5.7
Criterios de comparacin
ak
k=1
bk ,
k=1
bk converge, entonces
k=1
2. Si
ak converge.
k=1
ak diverge, entonces
k=1
bk diverge.
k=1
Demostracin. Sean
sn =
n
X
ak ,
tn =
k=1
n
X
bk ,
para todo
k=1
n 1.
para todo
n 1,
(5.5)
X
1. Si
bk converge, entonces (tn ) converge, digamos hacia T y para todo n 1 sn tn T .
k=1
Al ser (sn ) montona no decreciente y acotada por arriba por T , esta sucesin converge y por
n
X
lo tanto
ak converge.
k=1
156
Sucesiones y series
2. Si
k=1
n
X
bk diverge.
k=1
Ejemplo 5.59
1. La serie
X
k=1
3k2 1
converge.
+ 3k2 + 5
2k4
En efecto, si ponemos
3k2 1
3
y bk = 2 ,
+ 3k2 + 5
2k
vemos que 0 < ak < bk para todo k 1.
Como
X
3X 1
bk =
2
k2
ak =
2k4
k=1
k=1
X
(k + 2) ln(k + 3)
2. La serie
diverge.
2k2 1
k=1
En efecto, si ponemos
(k + 2) ln(k + 3)
1
y bk =
,
2k
2k2 1
vemos que 0 < ak < bk para todo k 1.
Como
X
1X1
= +,
ak =
2
k
k=1
k=1
P
por el criterio de comparacin podemos concluir que la serie
b diverge.
k=1 k
ak =
Entonces:
1. Si L > 0,
ak converge si y solo si
k=1
2. Si L = 0 y
bk converge, entonces
k=1
3. Si L = + y
bk converge.
k=1
ak converge.
k=1
bk diverge, entonces
k=1
Demostracin. Si existe lm
ak diverge.
k=1
ak
= L > 0, entonces para todo > 0 existe N = N () tal que
bk
ak
kN
L < .
bk
bk
L
2
157
ak
L
L < .
bk
2
k M,
Como
ak
L
L <
bk
2
L
ak
L
<
L<
2
bk
2
L
ak
3L
<
<
2
bk
2
L
3L
bk < a k <
bk ,
2
2
se tiene que
k M
2ak y
k=1
X
k=1
Lbk y
k=M
X
(cn ) converge. Entonces:
k=M
cn converge si y solo si
n=1
n=1
(a)
ak
converge
X
X
X
2ak
converge
Lbk
converge
converge
bk
(b)
bk
converge
X
X
X
3Lbk
2ak
converge
converge
converge
ak
ak
converge
bk
converge.
ak
0 < 1
bk
se tiene que para todo k M ak bk .
Por el criterio de comparacin,
X
k=1
bk
converge
X
k=1
ak
ak
1,
bk
converge.
158
Sucesiones y series
3. Si lm
ak
= +, existe M tal que
bk
kM
ak
> 1,
bk
bk
diverge
k=1
diverge.
ak
k=1
Ejemplo 5.60
1.
X
2k + 3 + cos(3k2 + 1)
converge.
3
k7 + k5 + 3
k=1
En efecto, si ponemos
ak =
2k + 3 + cos(3k2 + 1)
,
3
k7 + k5 + 3
se tiene que
lm
bk =
1
4
k3
k 1,
ak
= 2 > 0,
bk
X
1
converge.
k!
k=1
En efecto, si ponemos
ak =
1
,
k!
bk =
1
,
k2
k 1,
tenemos que
ak
= lm
k bk
k
lm
1
k!
1
k2
= lm
k2
= 0,
k!
k!
k (k 1) (k 2)!
lm
k
=1
(k 1)
lm
1
= 0.
(k 2)!
X
k=1
1
diverge.
1+ k
Si ponemos
ak =
1
,
1+ k
bk =
1
3
k4
k 1,
tenemos que
lm
ak
= lm
k
bk
1
1+ k
1
= +.
k4
Como
X
1
3
k=1
k4
5.7.1
159
Criterio de la razn
ak
1. Si L < 1, la serie
ak converge.
k=1
X
ak+1
= +, la serie
ak diverge.
k ak
2. Si L > 1 o lm
k=1
3. Si L = 1 el criterio no es concluyente.
ak+1
Demostracin. Si existe L = lm
, entonces para todo > 0 existe N tal que para todo k N ,
k ak
ak+1
ak L < .
Caso 1. Sea r ]L, 1[. Ponemos = r L > 0:
0
Tendremos
Pero
ak+1
L < = r L,
ak
ak+1
L < = r L
ak
k N.
ak+1
L < r L k N
ak
ak+1 < rak k N
aN+1 < raN ,
aN+n < r n aN
etctera.
n 1.
aN+n y
n=1
X
n=1
r n aN ,
puesto que esta ltima es una serie geomtrica que converge, dado que 0 < r < 1, la serie
X
X
aN+n converge y, por ende,
r n aN .
n=1
n=1
ak+1
L < = L r,
ak
ak+1
L < = L r
ak
L
1
k N.
(L r) <
ak+1
L
ak
k N
160
Sucesiones y series
k N.
n 1.
Comparando las mismas series que en el Caso 1, pero ahora con r > 1 para la serie geomtrica,
que ser entonces divergente, se tiene finalmente
ak
diverge.
k=1
ak , con ak =
1
.
k
Entonces
k=1
(b)
ak diverge.
k=1
ak , con ak =
1
.
k2
Entonces
k=1
ak converge.
k=1
Ejemplo 5.61
1. Pruebe que
X
k=1
3k
converge.
(k + 1)!
Si ponemos ak =
3k
, tendremos
(k + 1)!
ak+1 =
3k+1
,
(k + 2)(k + 1)!
de donde
ak+1
3
= lm
= 0 < 1.
k k + 2
ak
Estamos en el Caso 1 del teorema, por lo que la serie converge.
X
(k + 1)k
2. Pruebe que
diverge.
(k 1)!
lm
k=2
Ponemos ak =
(k + 1)k
, por lo que
(k 1)!
ak+1 =
(k + 2) [(k + 1) + 1]k
(k + 2)k+1
=
.
k!
k(k 1)!
Entonces
k
k+1
1
ak+1
k + 2 (k + 1) + 1
k+2
1
1
=
=
1+
1+
.
ak
k
k+1
k
k+1
k+1
Como
k+2
= 1,
k
k
lm
lm
1+
1
n
n
tendremos que
lm
por lo que
X
k=1
ak diverge.
=e>2
ak+1
= e > 2,
ak
lm
1+
1
k+1
1
= 1,
5.8 Ejercicios
5.8
161
Ejercicios
X
1
Aplique un criterio apropiado para determinar si
.
11.
la serie dada converge o diverge.
n n2 + 3
n=1
X 1
X
.
1.
sen(/3m)
k
12.
.
k=1
m3/2 + 1
m=1
X 1
2.
.
X
2 + 3k
k3/2
.
13.
k=1
5 + 4k
X
k=1
2
.
3.
X
3k + 2
3k
k=1
14.
.
7k2k
X
5
k=1
.
4.
3+ k
X
7
k=1
15.
.
X
k!
2 n
k=1
5.
n e .
X
n=1
3n
16.
.
X sen k
n!
.
n=1
6.
k2
k=1
k
X
5
X
17.
k
.
arctan(n + 1)
7
7.
.
k=1
n3/2 + 1
n=1
3n
X
1
18.
.
.
8.
n3 2n
n=1
2k + k
k=1
X
X
(3k)!
1
19.
.
9.
.
k!(3k)k
n ln n
k=1
n=2
X
ln k
10.
.
k3
20.
k=1
5.9
k=1
(k11 + k7 + k5 )1/5
Series alternantes
X
3k 1 + sen(k2 + k)
1
2
1
3
1
4
(1)k+1
k=1
1
o
k
1
(1) , los signos de los trminos se alternan +, , +, , . . . o , +, , +, . . ., respectivak
k=1
mente. Este hecho justifica la siguiente definicin.
k
Definicin 5.2
Sea (ak ) [0, [. Las series de la forma
(1)k ak
k=1
(1)k+1 ak
k=1
Como cualquiera de estas dos formas se obtiene multiplicando por (1) los trminos de
la otra, basta estudiar la convergencia de una de ellas.
162
Sucesiones y series
X
Si lm ak = 0, entonces
(1)k+1 ak converge.
k
k=1
Para la demostracin del teorema, haremos uso del siguiente lema que proponemos como
ejercicio al lector.
Lema 5.2
Dada (bn ) R, si existe lm b2k = lm b2k+1 = L, entonces existe lm bn = L.
k
n
X
(1)k+1 ak para todo n 1. Entonces
k=1
(aj aj+1 )
para todo
j=1, j-impar
k 1.
Como para todo j 1, aj aj+1 0 (puesto que (ak ) es montona decreciente), entonces (s2k )k1
es una sucesin montona no decreciente.
Por otra parte, para todo k 1
s2k = a1 a2 + a3 a4 + a2k1 a2k
2k2
s2k = a1
j=2, j-par
puesto que para todo j > 1, aj aj+1 0. La sucesin (s2k )k1 es entonces acotada por arriba por
a1 . Por lo tanto (s2k ) converge, digamos hacia S.
Por otra parte, para todo k 1, s2k+1 = s2k + a2k+1 . Tomamos lm y obtenemos:
k
converge.
Ejemplo 5.62
1.
X
k
(1)k k es convergente.
2
k=1
X
1
2.
(1)k+1 p converge para todo p > 0.
k
k=1
(1)k+1 ak
k=1
163
En particular, la serie
X
k=1
1
(1)k+1 , llamada serie armnica alternada, es convergente lo
k
X
1
.
k
De una serie que tiene esta propiedad se dice que converge relativamente o condicionalmente. En general tenemos la siguiente definicin.
k=1
Definicin 5.3
Sea an R.
X
X
1. Si
|an | converge, se dice que
an converge absolutamente.
n=1
2. Si
X
n=1
n=1
|an | diverge y
n=1
an converge condicionalmente o
n=1
relativamente.
X
X
Sea (an ) R. Si
an converge absolutamente, entonces
an es convergente. La recproca
n=1
n=1
n
X
N0 = N0 (0 )
ak y tn =
k=1
n
X
k=1
tal que
Debemos probar que la sucesin (sn ) es de Cauchy. Sea > 0. Debemos hallar N tal que si
n
X
m, n > N , entonces |sm sn | < . Como
|ak | converge, la correspondiente sucesin de sumas
k=1
parciales (tn ) converge. Pero esto significa que (tn ) es de Cauchy, por lo que
N1
tal que
m, n > N1 ()
|tm tn | < .
|an+1 | + + |am |
si
m, n > N1 ().
164
Sucesiones y series
X
X
|ak | converge,
2|ak | tambin converge. Por (5.7), aplicando el criterio de comparacin,
Si
k=1
k=1
bk converge.
k=1
bk y de
k=1
X
k=1
|ak |
ak .
k=1
5.10
Ejercicios
X
(1)k
.
(a)
2k + 3
(b)
(c)
k=1
X
k=1
X
k=1
k=1
(h)
(i)
k=1
X
k=1
X
k=1
5.11
(1)k+1
k=1
k
(1)
.
2k 1
(1)k+1
+1
.
(c)
(d)
3 ln k
(1)
.
k+1
k
(1)
+1
.
2k + 3
(1)k+1
(1)k+1
k=1
(e)
(1)k+1
k+1 2k
(1)k+1
k=1
(1)k+1
(1)k+1
k=1
(f)
(1)k+1
k=1
(g)
(1)k+1
k=1
(h)
2k
.
k2 + 3
X
k=1
k
k3/2
(b)
k+2
.
2 ln(k + 1)
k=2
3
X
k2 + 3
(1)k+1
.
(g)
k+1
(f)
(a)
2k2 + 3
.
k3
k=1
X
k
(e)
(1)k+1
.
5k + 3
(d)
(1)k+1
k=1
3k + 1
.
+ k3 + 1
k5
k
4
.
5
2k + 1
.
3k
k
3k
3
k!
.
3k
(k!)3
.
(3k)!
2k
.
k!
Antes vimos, para las series de trminos no negativos, el criterio de la razn. Por otra parte,
sabemos que una serie absolutamente convergente es convergente. Combinando estos resultados tenemos el siguiente teorema.
5.12 Ejercicios
165
1. Si L < 1 la serie
an converge absolutamente.
n=1
X
an+1
= +, la serie
2. Si L > 1 o si lm
an diverge.
n
a
n
n=1
3. Si L = 1 el criterio no es concluyente.
1. Si L < 1 la serie
an converge.
n=1
2. Si L > 1 o si lm
n
an = +, la serie diverge.
3. Si L = 1 el criterio no es concluyente.
1. Si L < 1 la serie
|an |. Entonces:
an converge absolutamente.
n=1
2. Si L > 1 o si lm
3. Si L = 1 el criterio no es concluyente.
5.12
Ejercicios
(a)
X
k=1
kak .
(b)
X
k=1
(c)
k3
k
3
.
a
X
ka
.
k!
k=1
166
(d)
Sucesiones y series
X
ln k
.
ka
(b)
k=3
k=2
(c)
1
.
(ln k)k
2
X
k+1 k
k=1
X
33k+2
(a)
.
kk
(d)
k+2
X
3 k
1+
.
k
k=1
k=1
5.13
Si una serie
k=1
, por definicin
k=1
con sn =
S = lm sn ,
n
n
X
ak .
k=1
Las sumas parciales sn son entonces aproximaciones de S y el error que se comete al aproximar
S con sn es
En = |S sn |.
(5.8)
Tomamos en (5.8) lm y vemos que
n
lm En = 0.
Esto quiere decir que el error que se comete al aproximar el lmite S de una serie con sus
sumas parciales sn , puede ser tan pequeo como se quiera, para lo cual basta tomar n
suficientemente grande.
Para las series alternantes se tiene un resultado notable, que permite conocer el valor que
debe tener n para que el error de aproximacin sea menor que un valor dado de antemano.
Teorema 5.19 (Error para las series alternantes)
Si (ak ) R, es tal que 0 ak+1 ak para todo k 1 y si lm ak = 0, entonces
k
n
X
(1)k+1 ak y S =
k=1
(1)k+1 ak .
k=1
Demostracin. La serie converge, obviamente, por el criterio de las series alternantes. Converge
N
N
X
X
entonces lm
(1)k+1 ak y, por ende, lm
(1)k+1 ak para todo n 1.
N
k=1
k=n+1
0 s2j1
lm s2j = lm s2j1 = lm sn = S,
(5.9)
167
Evidentemente, como
(5.10)
0 S a1 .
X
X
(1)k+1 ak , si converge
(1)k+1 ak := S, tendre-
k=1
k=1
k=1
(1)k ak =
X
(1)k ak = S.
k=1
n
X
k=1
k=1
(1)k+1 ak
(1)k+1 ak
por lo que
Sn s n =
(1)k+1 ak
k=n+1
= (1)n+2 an+1 +
(1)k+1 ak
k=n+2
X
= (1)n an+1 +
(1)n+j an+1+j ,
j=1
X
(1)j+1 an+1+j .
(5.11)
j=1
X
j=1
X
j=1
(5.12)
(5.13)
0 S sn an+1 ;
es decir,
|S sn | an+1
Si n es impar, anlogamente a (5.11) se obtiene
S sn =
(1)k+1 ak = an+1 +
k=n+1
(5.15)
(1)j+1 an+1+j ,
j=1
para todo n N.
(5.16)
168
5.14
Sucesiones y series
Ejercicios
1. Cuntos trminos debe tener la suma parcial de la serie dada que permita aproximar al lmite
de sta con tres cifras decimales exactas?
(a)
(1)k+1
k=1
(b)
X
k=1
(c)
(d)
(1)k+1
X
k+1
(1)k+1 3/2
.
k
+1
k=1
k
2
(1)k+1
.
3
k=1
5.15
1
.
(3k + 1)!
X
k+1
(1)k+1
(e)
.
k!
k=1
X
(f)
(1)k+1
1
.
k3 + 1
k=1
1
.
(k + 1)3k
Hemos definido lo que son sucesiones y series numricas, y hemos estudiado su convergencia.
Pero podemos concebir sucesiones de elementos de otros conjuntos. Por ejemplo, si notamos
con M el conjunto de matrices 2 3, y si est dada una funcin A : N M , tal que a cada
n le corresponde la matriz An . Tendremos, entonces, una sucesin (An ) de matrices de orden
2 3.
Veamos otro ejemplo. Sea 6= un conjunto cualquiera y sea = {f : R} el
conjunto de las funciones reales definidas en . Si est dada una funcin
: N
,
n 7 an
tendremos, de hecho, una sucesin (an ) de funciones reales definidas en .
Observemos que, dado que para todo n 1, se tiene que an : R, a cada x ,
se tiene que an (x) R. Por ello, si tomamos un valor x cualquiera, para este valor
de x est definida la sucesin numrica (an (x)), la cual, para ciertos valores de x, puede
ser convergente, digamos hacia un nmero real a(x), y para otros valores de x, puede ser
divergente. Se puede, entonces, definir, la funcin
a : R
x 7 a(x) = lm an (x)
n
an (x) = lm
n=1
el lmite de
(sn (x)) =
n
X
ak (x) := s(x),
k=1
n
X
ak (x) .
k=1
n=1
funciones numricas:
a : R
x 7 a(x) = lm an (x)
n
s : R
x 7 s(x) =
X
n=1
an (x)
169
D(s) = {x :
an (x) converge},
n=1
n=1
5.16
Series de potencias
an (x) = cn (x a)n ,
la correspondiente serie de funciones
n=0
El dominio de convergencia de
n=0
(b) ]a R, a + R];
(c) [a R, a + R[; o
(d) [a R, a + R];
X
n=0
X
n=0
170
Sucesiones y series
2. Si
X
n=0
X
n=0
Demostracin.
1. Sea x R tal que
Como
X
n=0
(5.17)
cn (x1 a)n converge, entonces lm an (x1 a)n = 0. Por la definicin de este ltimo
n
(5.18)
(x a)n
|cn (x a)n | = cn (x1 a)n
(x1 a)n )
x a n
= |cn (x1 a)n |
.
x1 a
x a n
Aplicando (5.18) tendremos, entonces, que: |cn (x a)n | <
para todo n N .
x1 a
X
x a n
Como la serie
es una progresin geomtrica cuya razn, por (5.17), es
x1 a
n=N
x a n
< 1,
x1 a
X
n=0
cn (x a)n
X
x a n
x1 a
n=N
X
cn (x a)n .
n=0
X
n=0
X
n=0
X
n=0
(II) La serie
X
n=0
171
X
n=0
X
cn (x a)n converge y, por el lema, la serie converger para todo x R tal que
que la serie
n=0
|x a| < |x1 a|. En este caso hay, a su vez, dos opciones excluyentes mutuamente.
X
1. Primera opcin. No existe x2 R tal que la serie
cn (x a)n diverge. En este caso, se
n=0
cumplira la propiedad (II), porque para todo x R se aplicara la primera parte del lema con
un x1 adecuado.
X
2. Segunda opcin. Existe x2 R tal que la serie
cn (x a)n diverge. Por la segunda parte
n=0
X
n=0
cn (x a)n converge} [a , a + ],
y por la primera parte del lema, es una cota superior del conjunto
= {|x a| :
X
n=0
Si tomamos R = sup , con este valor R, la serie cumple, entonces, la propiedad (III). Ntese
que R < , porque est acotado por arriba y R > 0, porque |x1 a| , y, obviamente,
0 < |x1 a| R.
X
n=0
cn+1
cn (x a)n .
Demostracin.
cn
= R < , con R > 0. Sea x R tal que |x a| < R.
1. Supongamos que lm
n cn+1
Aplicamos el criterio general de la razn a la serie
X
n=0
an con an = cn (x a)n :
cn+1 (x a)n+1
an+1
L = lm
=
l
m
n
n
an
cn (x a)n
172
Sucesiones y series
cn+1
= lm
|x a|
n
cn
|x a|
=
cn
lm
n cn+1
=
|x a|
< 1,
R
|an+1 |
=
|an |
|x a|
= 0 < 1,
cn
lm
n cn+1
X
n=0
|x a|
= +,
cn
lm
n cn+1
|an+1 |
=
|an |
an (x a)n diverge.
X
n=0
lm
1
n
cn (x a)n .
Ejemplo 5.63
1. Halle el intervalo de convergencia de la serie
X
(2x + 5)k
.
3k (k + 2)2
k=0
Como
poniendo ck =
(2x + 5)k
2k
= k
3k (k + 2)2
3 (k + 2)2
5 k
x ( ) ,
2
2k
y a = 52 , vemos que se trata de una serie de potencias.
3k (k + 2)2
cn
= lm
R = lm
n cn+1
k
2k
3k (k+2)2
2k+1
3k+1 (k+3)2
3
k+3 2
lm
2 k k + 2
3
= ,
2
=
X
X
(2x + 5)k
1
=
(1)k
,
3k (k + 2)2
(k + 2)2
k=0
k=0
|cn |
5.17 Ejercicios
173
X
X
(2x + 5)k
1
=
.
3k (k + 2)2
(k + 2)2
k=0
k=0
Esta serie converge, porque se la puede comparar en el lmite con la serie convergente
X
1
.
k2
k=0
X
(2x + 5)k
En sntesis, el intervalo de convergencia de la serie
es [4, 1].
3k (k + 2)2
k=0
X
xk
2. Halle el intervalo de convergencia de la serie
.
k!
k=0
Aqu, a = 0, ck =
1
k!
cn
= lm
R = lm
n cn+1
n
1
n!
1
(n+1)!
= lm (n + 1) = +,
n
por lo que la serie converge absolutamente para todo x. A su lmite se le nota exp(x). Es decir
exp: x 7 exp(x) =
X
xk
.
k!
k=0
5.17
|x|k
= 0.
k!
Ejercicios
X
(1)k
(a)
(x + 1)k .
k+1
(g)
X
k+1
(x + 3)k .
(k + 2)2
k=1
(h)
k=1
(1)k
k=1
(3x + 2)k
.
k!
X
(x 3)k
(b)
.
k2
(i)
X
(2x + 1)k
(c)
.
k
X
(1)k (x + 2)k
(j)
.
k ln k
k=1
k=1
X
(x + 3)k
(d)
.
k3
k=1
k=1
(k)
(x + 2)k
(e)
(1)
.
k+1
k=1
k
X
(1)k+1
(f)
(x + 1)k .
2k
k=1
(1)k
k=1
k=1
X
(x + 1)k
.
ln(k + 1)
(l)
k(4 x)k
.
23k
X
(3x + 2)k
.
k(k + 2)
k=1
(m)
X
k=1
2k!
1 3 5 (2k + 1)
2x + 3
5
k
174
Sucesiones y series
X
1
(a)
.
(x3)k
(b)
k=1
X x + 1 k
k=1
x+3
(d)
k=1
(e)
2kx .
k=1
k
X
1
x
(c)
.
2
k
x+1
(f)
k!ekx .
k=1
k=1
5.18
X
(k + 1)!
.
(kx)k
X
n=0
n=0
cn (x a)n .
X
Si el radio de convergencia de la serie de potencias
cn (x a)n es R ]0, [ o +, y si
s(x) =
X
n=0
n=0
respectivamente y s (x) =
X
k=1
kck (x a)k1 .
En vez de una demostracin formal de este teorema, notemos que si, por ejemplo, hemos
podido calcular el radio de convergencia R de la serie
cn
R = lm
n c
n+1
como
X
k=1
kck (x a)k1 =
k=0
(n + 1)cn+1 (x a)n
n=0
(con el
cambio de variable n = k 1) podemos calcular el radio de convergencia R de la
P
serie k=1 kck (x a)k1 como:
(n + 1)cn+1
= lm cn+1 = R.
R = lm
n (n + 2)cn+2
n cn+2
175
X
Si s(x) =
ck (x a)k , entonces
k=0
s(x) dx =
Z
s(x) dx =
X
k=0
ck
(x a)k+1 + C,
k+1
ck
k=0
( a)k+1 ( a)k+1
,
k+1
Ejemplo 5.64
Utilizando los teoremas precedentes halle series de potencias que converjan hacia:
1
(a)
,
(1 + x)2
(b) ln(1 + x),
(c) arctan x,
para x ] 1, 1[.
Conocemos que si |r| < 1 se tiene la convergencia de la serie geomtrica
ar k =
k=0
a
1r
X
1
=
1(x)k ,
1 (x)
k=0
por lo que
X
1
=
(1)k xk
1+x
(5.19)
k=0
X
1
=
(1)k x2k
1 + x2
(5.20)
k=0
X
X
1
=
(1)k kxk1 =
(1)n+1 (n + 1)xn
2
(1 + x)
k=1
n=0
(5.21)
176
Sucesiones y series
Cambiando de signo en (5.21) se obtiene finalmente
X
1
=
(1)n (n + 1)xn
(1 + x)2
(5.22)
n=0
1
(1+x)n
X
X
dt
xk+1
=
.
(1)k tk dt =
(1)k
tk dt =
(1)k
k+1
0 1+t
0
0
k=0
k=0
k=0
(1)k
k=1
y como
x
0
ln(1 + x) =
n=0
se tiene que
X
xk+1
xn
=
(1)n+1 ,
k+1
n
dt
= ln(1 + x),
1+t
X
(1)n+1 n
x2
x3
x =x
+
n
2
3
(5.23)
n=0
X
X
x2k+1
dt
k 2k
k
2k
=
(1)
t
dt
=
(1)
(1)k
,
t
dt
=
2
1
+
t
2k
+1
0
0
0
k=0
k=0
x
0
se obtiene:
arctan x =
k=0
dt
= arctan x,
1 + t2
X (1)k
x3
x5
x7
x2k+1 = x
+
+
(2k + 1)
3
5
7
(5.24)
k=0
Las series que obtuvimos en estos ejemplos son series alternantes para las cuales se conoce
el error de aproximar el lmite de la serie con sus sumas parciales (vase el teorema del error
para las series alternantes). Gracias a ello se pueden obtener aproximaciones, con la precisin
que se desee, de las expresiones indicadas para x ] 1, 1[.
Ejemplo 5.65
Obtener una aproximacin de arctan(0.2) con tres cifras decimales exactas.
Por (5.24) con x = 0.2, tenemos que
arctan(0.2) =
X
X
(1)k
(0.2)2k+1 =
(1)k ak ,
2k + 1
k=0
Sabemos que
k=0
con
ak =
(0.2)2k+1
.
2k + 1
X
(0.2)2n+3
(1)k
2k+1
(0.2)
= an+1 .
arctan(0.2)
<
2k + 1
2n + 3
k=0
5.19 Ejercicios
177
n
0
1
2
an+1
(0.2)3
3
(0.2)5
5
(0.2)7
7
0.002666
0.000064
0.000001
Vemos que con n = 1 se tiene la precisin deseada, por lo que aproximamos arctan(0.2) con
1
X
(0.2)3
(1)k ak = 0.2
0.1973.
3
k=0
As:
arctan(0.2) 0.1973.
5.19
Ejercicios
1. Escriba la f (x) dada como una serie de potencias y halle el correspondiente intervalo de
convergencia.
2
.
(a) f (x) =
3x
3
(b) f (x) =
.
(x + 1)2
7
(c) f (x) =
.
5 2x
3
(d) f (x) =
.
4 + 5x
(e) f (x) = ln(1 + 3x).
x
(f) f (x) = arctan .
2
(g) f (x) = ln(1 + x2 ).
Z x
(h) f (x) =
ln(1 + 2t2 )dt.
k=1
3. Sea f (x) =
X
xk
k=0
k!
arctan tdt.
o
5.20
(x + 2)k
.
k2k+1
X
(3x + 2)k
.
(k + 1)!
(b) f (x) =
(i) f (x) =
(1)k
k=1
(a) f (x) =
x 7 s(x) =
k=0
ck (x a)k ,
cuyo dominio de definicin es el intervalo de convergencia de la serie. En los ejemplos precedentes vimos que esta funcin puede ser dada por expresiones algebraicas, trigonomtricas,
logartmicas, etc. conocidas. En estos casos se dice que s(x) est representada por la serie
de potencias
k=0
k=0
X
(1)k+1
k=1
xk .
178
Sucesiones y series
Notemos que si
s(x) =
ck (x a)k
k=0
(5.25)
X
k=1
X
k=2
X
k=3
ck k(x a)k1 ,
ck k(k 1)(x a)k2 ,
ck k(k 1)(k 2)(x a)k3 ,
etc.
s (a) = c1 ,
s (a) = 2c2 ,
s (a) = 3 2c3 ,
etc.
y, en general,
s(n) (a) = n!cn ,
de donde
cn =
s(n) (a)
n!
n 0,
n 0
(5.26)
X
s(k) (a)
k!
k=0
(x a)k
(5.27)
X
s(k) (0) k
s(x) =
x
(5.28)
k!
k=0
X
k=0
ck (x a)k =
con
ck =
f k (a)
k!
X
f k (a)
k=0
k!
(x a)k ,
k N {0}.
(5.29)
(5.30)
179
X
k=0
ck (x a)k =
X
f k (a)
k=0
k!
(x a)k ,
(5.31)
Como
sk (a)
k 0,
(5.32)
k!
surge la obvia pregunta qu relacin hay entre s(x) y f (x), para los valores de x en que
ambas expresiones tienen sentido? Es decir,
ck =
s(x) = f (x)?
(5.33)
(5.34)
k 0,
2
no siempre se tiene la identidad (5.33)! Vemoslo con un ejemplo. Sea f (x) = e1/x si x > 0
y f (x) = 0 si x 0. Se puede ver que para todo k 0, f (k) (0) = 0, por lo tanto
s(x) =
X
f (k) (0)
k!
k=0
xk = 0
x R
Obviamente, para todo x > 0: 0 = s(x) 6= f (x) 6= 0. Es decir que f (x) no est representada
por su serie de Taylor, en este caso.
Sin embargo en muchos casos, para funciones que usualmente se presentan en la prctica,
la correspondiente serie de Taylor o de Maclaurin s las representa!
Veamos un resultado que nos permite hallar una condicin suficiente para que una funcin
sea representada por una serie de Taylor.
Teorema 5.24 (de Taylor)
Sean a R, R > 0, n 0 y f : R R una funcin n + 1 veces derivable en ]a R, a + R[.
Entonces
Pn (x) =
n
X
f (k) (a)
k=0
k!
(x a)k ,
(5.35)
Rn (x) =
f (n+1) (cx )
(x a)n+1 ,
(n + 1)!
(5.36)
Omitiremos la demostracin aqu, pero hacemos notar que los Pn (x) son justamente las
sumas parciales de la serie de Taylor de f en a, si f es infinitamente derivable. Como
n
X
f (k) (a)
k=0
k!
n 0
(5.37)
180
Sucesiones y series
(5.38)
f (x) =
X
f (k) (a)
k=0
k!
(x a)k .
(5.39)
(5.40)
x ]a R, a + R[
(5.41)
lm
X
xk
k=0
k!
Ejemplo 5.66
Rpresenta a ln x su serie de Taylor en 1? Sea f (x) = ln x. Entonces
f (x) = x1 , f (x) = 1x2 , f (x) = 1 2x3 , . . . , f (k) (x) = (1)(k1) (k 1)!xk
k 1.
Por lo que
f (1) = 0, f (1) = 1, f (1) = 1, f (1) = 1 2, . . . , f (k) (1) = (1)(k1) (k 1)!
k 1.
La serie de Taylor de ln x en 1 es
s(x) =
X
k=0
ck (x 1)k =
X
(1)k1
(x 1)k ,
k
con
ck =
k=1
(1)k1
k
k 1.
Se puede ver (por ejemplo, con la frmula de la razn) que R = 1 y que el intervalo de convergencia
es ]0, 2].
Para x [1, 2] probemos que lm |Rn (x)| = 0.
n
x 1 n+1
,
cx
con
cx ]1, x[.
1x2
Entonces
0 |Rn (x)| =
0 x 1 1 < cx < x
1 x 1
n + 1 cx
n 1,
con
x 1
< 1.
cx
x1
< 1.
cx
5.21 Ejercicios
181
En el caso x ]0, 1[ se prueba tambin esta ltima igualdad por lo que la serie de Taylor en 1
realmente representa a ln x en ]0, 2]. Es decir
ln x =
X
(1)k+1
(x 1)k .
k
k=1
La siguiente es una lista de algunas funciones cuyas series de Maclaurin las representan
en los intervalos dados:
ex =
sen x =
cos x =
ln(x + 1) =
X
1
k=0
X
k=0
X
k=0
X
k=1
k!
xk ,
x R,
(1)k 2k+1
x
,
(2k + 1)!
(1)k 2k
x ,
(2k)!
x R,
x R,
(1)k+1 k
x ,
k
x ] 1, 1].
A manera de ejercicio, pruebe que en estos ejemplos las series de Maclaurin representan
a las funciones dadas en los intervalos indicados.
5.21
Ejercicios
(f) f (x) = ex .
(g) f (x) = e
(h) f (x) = e + e
(i) f (x) = e e
(b) f (x) = x, a = 1.
(c) f (x) = sen x, a = pi/6.
(d) f (x) = cos x, a = /4.
(e) f (x) = ln(x 1), a = 3.
(a) f (x) = ex .
(b) f (x) = x3 e2x .
(c) f (x) = x2 sen x.
(d) f (x) = ln(1 x2 ).
182
Sucesiones y series
5.22
(c) e0.1 .
(d)
0
sen x
dx.
x
Serie Binomial
Definicin 5.5
Dado un numero r R a la serie de potencias
sr (x) =
X
bk (r)
n=0
k!
xk ,
(5.42)
donde b0 (r) = 1, b1 (r) = r, b2 (r) = r(r 1), y para todo k 2, bk (r) = r(r 1)(r 2) (r
k + 1) , se llama serie binomial.
El nombre viene dado teniendo en cuenta que, por la frmula del binomio de Newton, se
tiene
j
(1 + x)j = 1 + jx +
X bk (j)
j(j 1) 2
j(j 1) (j k + 1) k
x ++
x + = 1 + jx +
xk .
2!
k!
k!
k=2
|x| < 1
(1 + x)r =
X
bk (r)
k=0
k!
xk ,
(5.43)
donde
(5.44)
Ejemplo 5.67
Hallar una representacin como serie de potencias para 3 1 + x, si |x| < 1. Aplicamos (5.43) con
r = 1/3:
1 1
1 1
1 2
1 13 2 3
1
3
1 + x = (1 + x)1/3 = 1 + x + 3 3
x + 3 3
x +
3
2!
3!
1 1
1 13 2 13 k + 1 k
+ + 3 3
x +
k!
5.23 Ejercicios
5.23
183
Ejercicios
(b) f (x) = 4 x.
p
(c) f (x) = 3 x2 .
(d) f (x) = (2 + x)3/2 .
x
(e) f (x) =
.
(3 + x)2
x3
.
(f) f (x) =
(2 x2 )3
(a)
1.02.
1
(b) .
1.1
(c) arc sen(0.2).Z Use
x
arc sen x =
0
0.1
(d)
el hecho
dt
.
1 t2
1 + x2 dx.
Z
(e)
1/4
p
3
1 + x2 dx.
de
que
Apndice A
Tablas de integracin
A.1
1.
Frmulas bsicas
R
Z
u dv = uv
un du =
2.
Z
3.
Z
v du
11.
1
un+1 + C, n 6= 1
n+1
du
= ln |u| + C
u
u
4.
13.
e du = e + C
14.
5.
Z
6.
sen u du = cos u + C
7.
sec u du = tan u + C
Z
2
8.
Z
9.
csc u du = cot u + C
sec u tan u du = sec u + C
10.
20.
u2
A.2
17.
Z
18.
Z
19.
du
u
= sen1 + C
a
a2 u 2
1
u
du
= tan1 + C
a2 + u 2
a
a
1
u
du
= sec1 + C
a
a
u u 2 a2
u a
du
1
+C
=
ln
2
2
u a
2a
u + a
Au + B
A
B Ab
u+b
= ln u2 + 2bu + c +
tan1
+ C, si c > b2 .
2
+ 2bu + c
2
cb
c b2
Z p
a2 + u2 du =
u2
u + a
du
1
+C
=
ln
a2 u 2
2a u a
2.
16.
cot u du = ln | sen u| + C
15.
cos u du = sen u + C
Z
1.
12.
tan u du = ln | sec u| + C
a2 + u2
p
up 2
a2
a + u2 +
ln u + a2 + u2 + C
2
2
a2 + u2 du =
p
p
u 2
a4
(a + 2u2 ) a2 + u2
ln u + a2 + u2 + C
8
8
186
3.
4.
Tablas de integracin
p
a2 + u 2
a +
du = a2 + u2 a ln
u
p
du
= ln u + a2 + u2 + C
a2 + u 2
p
u2 du
up 2
a2
ln u + a2 + u2 + C
=
a + u2
2
2
a2 + u 2
du
1 a2 + u2 + a
= ln
+C
a
u
u a2 + u 2
du
a2 + u 2
=
+C
a2 u
u 2 a2 + u 2
7.
8.
Z
9.
A.3
du
u
=
+C
(a2 + u2 )3/2
a2 a2 + u 2
a2 u2 du =
u2
2.
4.
a2 u2
up 2
a2
u
a u2 +
sen1 + C
2
2
a
a2 u2 du =
p
u
u
a4
(2u2 a2 ) a2 u2 +
sen1 + C
8
8
a
p
a2 u 2
a +
du = a2 u2 a ln
u
a2 u2
+C
u
a2 u 2
1p 2
u
du =
a u2 sen1 + C
2
u
u
a
5.
Z
6.
Z
7.
Z
8.
Z
9.
a2 + u2
+C
u
p
a2 + u 2
a2 + u 2
du
=
+ ln u + a2 + u2 + C
2
u
u
6.
3.
5.
1.
u2 du
up 2
a2
u
=
a u2 +
sen1 + C
2
2
2
2
a
a u
du
1 a +
= ln
a
u a2 u 2
a2 u2
+C
u
du
1 p 2
= 2
a u2 + C
a u
u 2 a2 u 2
p
u
3a4
u
(a2 u2 )3/2 du = (2u2 5a2 ) a2 u2 +
sen1 + C
8
8
a
du
u
=
+C
(a2 u2 )3/2
a2 a2 u 2
A.4
1.
u 2 a2
u2 a2 du =
u2
2.
187
u2 a2
p
up 2
a2
u a2
ln u + u2 a2 + C
2
2
u2 a2 du =
p
p
u
a4
(2u2 a2 ) u2 a2
ln u + u2 a2 + C
8
8
p
a
u 2 a2
du = u2 a2 a cos1 + C
u
u
Z 2
p
u a2
u 2 a2
2 a2 + C
du
=
+
ln
4.
u
+
u
u2
u
3.
5.
Z
p
du
= ln u + u2 a2 + C
u 2 a2
p
u2 du
up 2
a2
=
u a2 +
ln u + u2 a2 + C
2
2
2
2
u a
Z
du
u 2 a2
=
+C
7.
a2 u
u 2 u 2 a2
6.
8.
A.5
du
u
+C
=
(u2 a2 )3/2
a2 u 2 a2
1.
sen2 u du =
1
1
u sen 2u + C
2
4
cos2 u du =
1
1
u + sen 2u + C
2
4
2.
Z
3.
Z
4.
Z
5.
Z
6.
tan2 u du = tan u u + C
cot2 u du = cot u u + C
1
sen3 u du = (2 + sen2 u) cos u + C
3
cos3 u du =
1
(2 + cos2 u) sen u + C
3
tan3 u du =
1
tan2 u + ln | cos u| + C
2
7.
Z
8.
Z
sec3 u du =
9.
Z
10.
1
cot3 u du = cot2 u ln | sen u| + C
2
1
1
sec u tan u + ln | sec u + tan u| + C
2
2
1
1
csc3 u du = csc u cot u + ln | csc u cot u| + C
2
2
188
Tablas de integracin
Z
11.
Z
12.
senn u du =
cosn u du =
1
n1
cosn1 u sen u +
n
n
tann u du =
1
tann1 u
n1
13.
Z
14.
Z
1
n1
senn1 u cos u +
n
n
cotn u du =
senn2 u du
cosn2 u du
tann2 u du
1
cotn1 u
n1
cotn2 u du
1
n2
sec u du =
tan u secn2 u +
n1
n1
15.
Z
cscn u du =
16.
Z
17.
cos au cos bu du =
Z
Z
21.
cscn2 u du
+C
2(a b)
2(a + b)
sen au cos bu du =
20.
sen au sen bu du =
19.
secn2 u du
1
n2
cot u cscn2 u +
n1
n1
18.
+C
2(a b)
2(a + b)
Z
n
22.
Z
u sen u du = u cos u + n
un1 cos u du
Z
un cos u du = un sen u n
23.
Z
senn u cosm u du =
24.
25.
Z
26.
Z
27.
A.6
un1 sen u du
senn1 u cosm+1 u
n1
+
n+m
n+m
senn+1 u cosm1 u
n+m
m1
n+m
senn2 u cosm u du
senn u cosm2 u du
du
1
au
= tan
+
+C
1 sen au
a
4
2
du
1
au
= tan
+C
1 + sen au
a
4
2
u du
u
au
2
au
+ 2 ln | sen
|+C
= tan
+
1 sen au
a
4
2
a
4
2
ueau du =
1.
Z
2.
n au
u e
1
(au 1)eau + C
a2
1
n
du = un eau
a
a
un1 eau du
eau sen bu du =
3.
Z
eau cos bu du =
4.
Z
5.
Z
6.
eau
(a cos bu + b sen bu) + C
a2 + b 2
1
du = ln |ln u| + C
u ln u
un ln u du =
un+1
{(n + 1) ln u 1} + C
(n + 1)2
um lnn u du =
8.
eau
(a sen bu b cos bu) + C
+ b2
a2
ln u du = u ln u u + C
7.
um+1 lnn u
n
m+1
m+1
um lnn1 u du, m 6= 1
11.
A.7
u
+C
a
u + a
+C
ln |u a | du = u ln |u a | 2u + a ln
u a
2
10.
du
u 1
= ln |a + beu | + C
a + beu
a a
1.
senh u du = cosh u + C
Z
2.
cosh u du = senh u + C
Z
3.
tanh u du = ln cosh u + C
Z
4.
Z
5.
Z
6.
Z
coth u du = ln | senh u| + C
sech u du = tan1 | senh u| + C
1
csch u du = ln | tanh u| + C
2
sech2 u du = tanh u + C
7.
Z
8.
Z
9.
Z
10.
9.
189
csch2 u du = coth u + C
sech u tanh u du = sech u + C
csch u coth u du = csch u + C
Bibliografa
[1] T. Apostol. Clculus. Revert, 1990.
[2] B. Demidovich. Problemas y ejercicios de Anlisis Matemtico. Editorial Mir Mosc,
1967.
[3] L. Leithold. El Clculo. Oxford University Press, 2007.
[4] D. Zill. Clculo Con Geometra Analtica. Grupo Editorial Iberoamrica, 1987.
191
ndice alfabtico
rea, 71
de superficies de revolucin, 89
de una figura plana, 73
aceleracin de un punto, 99
Arqumedes, 29
Clculo de volmenes, 75
de slidos de revolucin
por arandelas, 80
por cortezas, 81
por elementos de seccin, 78
por rodajas, 78
centro de gravedad, 108
centroide, 113
cilindro recto, 75
criterio
de Cauchy, 143
de comparacin, 155
de comparacin en el lmite, 156
de la raz, 165
de las series alternantes, 162
integral, 153
densidad
de rea, 98
longitudinal, 97
volumtrica, 98
diferencial, 4
distancia dirigida, 110
error de aproximacin, 166
esperanza matemtica, 95
frmula
integracin por partes, 14
figura
tipo I, 74, 76
tipo II, 74, 76
forma
de Lagrange, 179
diferencial, 4
funcional, 2, 4
fraccin
194
longitud, 71
de arco, 88
curva lisa, 88
mtodo
de Ostrogradski, 22
de Ostrogradski mejorado, 23
media del valor numrico, 95
medida
longitudinal, 72
superficial, 72
volumtrica, 72
modelo de la poblacin, 127
modelo exponencial, 127
modelo logstico, 127
momento de masa, 108
nmero e, 125
partici
nhomognea, 34
particin P, 32
amplitud, 32
grosor, 32
norma, 32
particin asociada, 32
vector asociado, 32
polinomio de Taylor, 179
posicin de un punto, 99
precio de equilibrio del mercado, 116
presin hidrosttica, 105
primitiva, 1
progresin geomtrica, 147
punto de equilibrio del mercado, 116
relacin, 119
dominio, 119
imagen, 119
inversa, 119
Riemann, 32
semivida de la substancia radioactiva, 127
serie de funciones
convergencia puntual, 169
serie de Maclaurin, 177, 178
serie de potencias, 169
derivacin, 174
integracin, 175
intervalo de convergencia, 169
radio de convergencia, 171
serie numrica, 145
alternantes, 161
armnica, 152
convergencia absoluta, 163
NDICE ALFABTICO
convergencia condicional, 163
convergencia relativa, 163
trmino general, 146
telescpica, 148
series de Taylor, 177, 178
sistemas en lnea
centro de gravedad, 109
de la barra, 110
centro de masa
de la barra, 110
del sistema, 109
momento de masa
del sistema, 108
respecto a un punto, 108
sistemas planos
centro de gravedad
del sistema, 112
centro de masa
del sistema, 112
sucesin de funciones
convergencia puntual, 169
sucesin numrica, 137
acotada, 139
convergente, 141
de Cauchy, 143
montona, 140
suma de Riemann, 32, 33
sumatorias, 36
supervit del consumidor, 116
supervit del productor, 116
Sustituciones trigonomtricas, 55
teorema
teorema fundamental del clculo, 42
trabajo mecnico, 102
valor medio de una funcin, 93
valor principal, 61
variable de integracin, 2
velocidad de un punto, 99
volumen, 71