Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

1
1 La Integral.-
1.1 Denicin e interpretacin geomtrica
Dada una funcin continua f : [a, b] R y no negativa
(f (x) 0, x [a, b]), vamos a considerar la regin del plano bajo la
grca de f , R = {(x, y) : a x b 0 y f (x)} .
La siguiente grca corresponde a f (x) =

x
4
+ 1, 0 x 2.
0 2
0
2
4
x
Problema.-Cmo calcular el rea de la regin R?
La idea general consiste en aproximar la regin R por una regin for-
mada por rectngulos tal como se muestra en la siguiente gura:
0.0 0.5 1.0 1.5 2.0
0
1
2
3
4
x
y
Podemos calcular el rea de cada rectngulo y mediante la suma de estas
reas aproximar el rea de la regin R. Es intuitivamente claro que cuanto
mayor sea la cantidad de rectngulos considerados, mejor ser la aproxi-
macin obtenida. Finalmente, mediante un proceso de lmite que se expli-
car en la denicin ms general del concepto de integral se dene el rea de
R.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 2
Denicin 1 Damos a continuacin una serie de deniciones que nos con-
ducirn a la nocin de integral de la funcin continua f sobre el intervalo
[a, b] :
Una particin del intervalo [a, b] es un conjunto
P = {x
0
, x
1
, x
2
, ..., x
n
}
de n + 1 puntos tales que
a = x
0
< x
1
< ... < x
n
= b
La particin P divide al intervalo [a, b] en n subintervalos [x
k1
, x
k
], con
1 k n, cada uno de longitud
x
k
= x
k
x
k1
Ahora tomamos una particin P del intervalo [a, b] y para la funcin
continua f : [a, b] R consideramos:
sobre cada subintervalo [x
k1
, x
k
],
m
k
= min {f (x) : x
k1
x x
k
}
M
k
= max {f (x) : x
k1
x x
k
}
Los productos m
k
x
k
y M
k
x
k
representan las reas de los rectngulos
de base [x
k1,
x
k
] y altura m
k
y M
k
respectivamente. Con estos elementos
podemos denir los conceptos de suma inferior y suma superior de f.
La suma inferior de f asociada a la particin P es
S (f, P) =
n

k=1
m
k
x
k
y la suma superior de f asociada a P es

S (f, P) =
n

k=1
M
k
x
k
Los siguientes grcos representan una suma inferior y una suma superior
para f (x) =

x
4
+ 1, 0 x 2
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 3
0.0 0.5 1.0 1.5 2.0
0
1
2
3
4
x
y
Suma inferior de f asociada a P
0.0 0.5 1.0 1.5 2.0
0
1
2
3
4
x
y
Suma superior de f asociada a P
Es evidente que
S (f, P) Area (R)

S (f, P)
Una propiedad importante de estas sumas es el efecto que se produce al
agregarle puntos a la particin P, o sea al renar la particin.
Considere por ejemplo que agregamos un punto x ]x
k1
, x
k
[ a la par-
ticin P, para obtener una nueva particin Q. Es fcil demostrar que
S (f, P) S(f, Q). O sea, la suma inferior crece y lo mismo ocurre si agreg-
amos un nmero nito de puntos a la particin P.
Queda de ejercicio demostrar que la suma superior decrece, al renar una
particin.
En resumen, si P y Q son dos particiones del intervalo [a, b], con P Q
(Q rena a P), entonces
S (f, P) S(f, Q)

S(f, Q)

S (f, P)
Teorema 2 Si f : [a, b] R es continua, entonces existe nico nmero
real I tal que
particin P de [a, b] : S (f, P) I

S (f, P)
Este nmero I dene el rea de la regin R, como tambin el concepto
de integral de f en el intervalo [a, b]. Se escribe
Area (R) = I =
_
b
a
f (x) dx
Mediante los conceptos de Suma Inferior y de Suma Superior hemos lle-
gado a la denicin de
_
b
a
f(x)dx
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 4
donde f : [a, b] R es una funcin continua.
El smbolo
_
b
a
f(x)dx representa la Integral de f sobre el intervalo [a, b].
Observe que la letra x es slo una referencia a los elementos del dominio de
la funcin, por lo tanto puede ser reemplazado por cualquier otro smbolo.
As, podemos escribir
_
b
a
f(x)dx
_
b
a
f(t)dt
_
b
a
f()d
(los tres smbolos representan lo mismo).
Ejemplo 3 Use la denicin para demostrar que
_
b
a
xdx =
1
2
_
b
2
a
2
_
Sea P : a = x
0
< x
1
< ... < x
n
= b una particin de [a, b] . Para f (x) = x
se tiene, en cada subintervalo [x
k1
, x
k
]
m
k
= x
k1
, M
k
= x
k
y adems
x
k1
<
1
2
(x
k
+ x
k1
) < x
k
Luego,
S (f, P) =
n

k=1
m
k
x
k
=
n

k=1
x
k1
(x
k
x
k1
)
<
n

k=1
1
2
(x
k
+ x
k1
) (x
k
x
k1
)
=
1
2
n

k=1
_
x
2
k
x
2
k1
_
=
1
2
_
b
2
a
2
_
y en forma similar
1
2
_
b
2
a
2
_
<

S (f, P)
Esto muestra que
_
b
a
xdx =
1
2
_
b
2
a
2
_
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 5
En particular,
_
3
1
xdx =
1
2
(3)
2

1
2
(1)
2
= 4
_
1
2
xdx =
1
2
(1)
2

1
2
(2)
2
=
3
2
Observacin.- Resulta conveniente extender la denicin de integral de una
f : [a, b] R continua a las situaciones siguientes
_
a
a
f (x) dx = 0 y
_
a
b
f (x) dx =
_
b
a
f (x) dx
1.2 Propiedades bsicas
Usando la denicin del concepto de integral se pueden deducir sus propiedades
ms bsicas:
1.2.1 Propiedad del rectngulo
_
b
a
c dx = c(b a)
Observe que en este caso, cualquier suma inferior y cualquier suma supe-
rior coincide con el valor c (b a) .
Tambin como caso particular se obtiene
_
b
a
0 dx = 0 (la integral de la
funcin nula vale 0).
1.2.2 Aditividad
Para f continua sobre un intervalo cerrado que contiene a los puntos a, b y c
se tiene:
_
c
a
f(x)dx =
_
b
a
f(x)dx +
_
c
b
f(x)dx
independiente del orden entre los nmeros a, b y c (no necesariamente
a < b < c)
Como ejemplo de uso de esta frmula se puede mencionar el clculo de
_
6
1
f (x) dx , donde f(x) =
_
x si 1 x 3
3 si 3 < x 6
, la cual es continua sobre el
intervalo [1, 6].
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 6
Se tiene:
_
6
1
f(x)dx =
_
3
1
f(x)dx +
_
6
3
f(x)dx
=
_
3
1
xdx +
_
6
3
3dx
=
1
2
_
3
2
1
2
_
+ 3(6 3)
= 13
1.2.3 Monotona
Si f, g : [a, b] R son continuas con
x [a, b] : g(x) f(x)
entonces
_
b
a
g(x)dx
_
b
a
f(x)dx
En particular, f(x) 0
_
b
a
f(x)dx 0.
1.2.4 Teorema del valor medio para integrales
Dada f : [a, b] R continua, existe c [a, b] tal que:
_
b
a
f(x)dx = f(c)(b a)
Obs.- El valor
1
ba
_
b
a
f(x)dx = f(c) se denomina valor promedio de f
sobre [a, b] .
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 7
1.3 Teorema fundamental del Clculo.
Si consideramos la funcin identidad f(x) = x sobre un intervalo I y elegimos
a I, podemos denir F : I R por
F(x) =
_
x
a
f(t)dt
_
x
a
f(t)dt es la integral de la funcin f sobre el intervalo [a, x] (de extremos
a y x). As
F(x) =
_
x
a
f(t)dt =
_
x
a
tdt
=
1
2
_
x
2
a
2
_
=
1
2
x
2

1
2
a
2
donde a es una constante. Qu relacin hay entre las funciones f(x) = x y
F(x) =
1
2
x
2

1
2
a
2
?
Teorema 4 (Teorema fundamental del Clculo).
Sea f : I R una funcin continua y c I un valor jo. Se dene la
funcin F : I R por
F(x) =
_
x
c
f(t)dt
Se tiene entonces que F es derivable y x I :
F

(x)
d
dx
__
x
c
f(t)dt
_
= f(x)
Dem.- Para x
0
I tenemos:
F

(x
0
) = lim
xx
0
F(x) F(x
0
)
x x
0
= lim
xx
0
_
x
c
f(t)dt
_
x
0
c
f(t)dt
x x
0
= lim
xx
0
_
x
x
0
f(t)dt
x x
0
= lim
xx
0
f(c(x)) , donde c(x) es un punto entre x
0
y x
= f(x
0
)
Obs.- El TFCindica que toda funcin continua posee una ANTIDERIVADA.
(F : I R es una antiderivada de f cuando x I : F

(x) = f(x)).
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 8
Aplicacin.- Con la funcin f(x) =
1
x
, x > 0 se dene
F : (0, ) R
x F(x) =
_
x
1
1
t
dt
Esta funcin es derivable con:
F

(x) =
1
x
F

(x) =
1
x
2
Luego, F es creciente y su grco cncavo hacia abajo.
Adems, F(1) = 0 y se puede probar que
lim
x
F(x) = +
lim
x0
+
F(x) =
lo que indica que RecF = R .
Esta funcin F se denomina Logaritmo Natural y se denota ln . As,
ln : (0, ) R
ln x =
_
x
1
1
t
dt
con
d
dx
(ln x) =
1
x
.
Grco del logaritmo natural:
2 4 6 8 10
-4
-2
2
4
x
y
En trminos ms generales, una consecuencia del TFC es el siguiente
corolario.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 9
Corolario 5 Sea f : [a, b] R una funcin continua. Si F es cualquier
antiderivada de f , entonces
_
b
a
f(x)dx = F(b) F(a)
Dem.- La funcin G(x) =
_
x
a
f(t)dt del TFC es una antiderivada de f, al
igual que F. Luego, la diferencia entre ambas es una constante. As,
G(x) = F(x) + C
y evaluando en x = a
0 = G(a) = F(a) + C C = F(a)
y G(x) = F(x) F(a). Finalmente evaluando en x = b
G(b) =
_
b
a
f(t)dt = F(b) F(a)
Notacin: F(x)|
b
a
= F(b) F(a).
A la vista de este resultado, el problema de calcular una integral se trans-
forma en la determinacin de una antiderivada (cualquiera) de la funcin
integrando.
Por ejemplo,
_
5
1
x
3
dx =
1
4
x
4
|
5
1
=
1
4
(5)
4

1
4
(1)
4
= 156
2 Integral indenida.-
La integral indenida de una funcin f denida en un intervalo I es la familia
de antiderivadas de f en dicho intervalo.
Recuerde que dos antiderivadas de una funcin (en un intervalo) slo
dieren en una constante. Luego, conocida una de ellas, se conocen todas.
El smbolo
_
f (x) dx representa al conjunto de todas las antiderivadas de f.
As tenemos
_
f(x)dx = F(x) + C
d
dx
[F(x)] = f(x)
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 10
Esta equivalencia determina las siguientes propiedades de la integral in-
denida:
1.
_
[f(x) + g(x)] dx =
_
f(x)dx +
_
g(x)dx
2.
_
cf(x)dx = c
_
f(x)dx
y de la integral denida
1.
_
b
a
[f(x) + g(x)] dx =
_
b
a
f(x)dx +
_
b
a
g(x)dx
2.
_
b
a
cf(x)dx = c
_
b
a
f(x)dx
Obs.- Ambas propiedades determinan que el Operador Integral:
_
es un
Operador Lineal (transformacin lineal), tanto para la integral indenida
como para la integral denida.
Tambin ambas propiedades se generalizan a (una combinacin lineal)
_
b
a
[c
1
f
1
(x) + c
2
f
2
(x) + ... + c
n
f
n
(x)] dx
= c
1
_
b
a
f
1
(x)dx + c
2
_
b
a
f
2
(x)dx + ... + c
n
_
b
a
f
n
(x)dx
Como caso particular, se tiene para un polinomio:
_
b
a
_
a
n
x
n
+ a
n1
x
n1
+ ... + a
2
x
2
+ a
1
x + a
0

dx
=
_
a
n
n + 1
x
n+1
+
a
n1
n
x
n
+ ... +
a
2
3
x
3
+
a
1
2
x
2
+ a
0
x
_
b
a
Por ejemplo,
1.
_
2
1
(4x
3
2x
2
+ x + 5) dx = ...... =
3
2
+ 24 28. 712
2.
_

1
_
5

x +
2
x
4 cos x
_
dx = .. = 4 sin 1 + 2 ln +
10
3

3
2

10
3
20. 883
3. Encontrar el rea de la regin encerrada por la curva y = 2x
2
2x+4
y el eje x.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 11
2.1 Mtodo de sustitucin.-
Segn el TFC para evaluar
_
b
a
f(x)dx basta encontrar una antiderivada de
la funcin integrando f. En todos los casos mostrados anteriormente la
determinacin de la antiderivada es casi directa. Sin embargo, hay situaciones
en que esto puede ser bastante ms complicado. Piense, por ejemplo, en el
clculo de
_
3
1
x

2x + 1dx , o de
_
/4
0
tan xdx
No es fcil encontrar a ojo una antiderivada de la funcin integrando.
Recordamos cmo el mtodo de sustitucin permite resolver estas inte-
grales.
Este mtodo es consecuencia de la regla de la cadena:
d
dx
[G(f(x))] = G

(f(x)) f

(x)
Si en la frmula anterior consideramos una funcin g con antiderivada G,
esta queda
d
dx
[G(f(x))] = g(f(x)) f

(x)
lo que puede escribirse
_
g(f(x))f

(x) dx = G(f(x)) + C
Observe que esta frmula puede deducirse con el siguiente procedimiento:
Usando la sustitucin
u = f(x)
du = f

(x)dx
se tiene
_
g(f(x))f

(x) dx =
_
g(u)du
= G(u) + C
= G(f(x)) + C
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 12
El mtodo de sustitucin puede usarse para calcular integrales denidas,
de hecho:
_
b
a
g(f(x))f

(x) dx = G(f(x)) |
b
a
= G(f(b)) G(f(a))
_
f(b)
f(a)
g(u)du = G(u)|
f(b)
f(a)
= G(f(b)) G(f(a))
Luego
_
b
a
g(f(x))f

(x) dx =
_
f(b)
f(a)
g(u)du
frmula que se conoce como Teorema del cambio de variable.
Ejemplo.- Use la frmula anterior para calcular
_
1
0
x
5
(x
6
+ 1)
3
dx
2.2 Integrales con ln x y e
x
.-
La funcin ln : (0, +) R , x lnx =
_
x
1
1
t
dt , verica
1. x > 0 :
d
dx
lnx =
1
x
> 0, luego es estrictamente creciente e inyectiva.
2. x > 0 :
d
2
dx
2
ln x =
1
x
2
< 0, luego su grco es cncavo hacia abajo.
3. Se puede probar que: lim
x0
+
ln x = y lim
x+
ln x = +; lo que
muestra que su recorrido es todo R.
4. Se sigue que es biyectiva y por tanto posee inversa, la cual se llama
funcin exponencial.
exp : R (0, ) , x exp(x)
As entonces, x R , y > 0:
y = exp (x) x = ln y
Por ejemplo, como ln1 =
_
1
1
1
t
dt = 0 , se tiene exp(0) = 1.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 13
Adems, conocida la grca de ln se puede obtener la grca de su
inversa, por simetra respecto a la recta y = x :
-4 -2 2 4
-4
-2
2
4
x
y
Para la funcin ln es particularmente importante la preimagen del 1.
Esto es, el nico nmero real x tal que ln x = 1. Se denota e y se puede
probar que se trata de un nmero irracional. Ms an, e 2. 718 3.
De la condicin ln e = 1 se tiene que exp (1) = e.
5. Con a > 0 jo, podemos considerar las funciones g (x) = ln (a x) y
h(x) = ln x. Se tiene:
g

(x) =
1
ax
(a) y h

(x) =
1
x
lo que indica que las funciones dieren slo en una constante. Por tanto
g (x) = ln (ax) = C + ln x
y al evaluar en x = 1 resulta C = ln a. Se concluye que
ln(a x) = ln a + lnx
6. Para el nmero racional r =
p
q
con q > 0, se tiene denido para x
positivo: x
r
=
q

x
p
y siguiendo la misma idea de la propiedad anterior
se prueba que
ln x
r
= r ln x
de donde
e
r
= exp (ln e
r
) = exp (r ln e) = exp (r)
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 14
Esto permite denir para un nmero real x cualquiera
e
x
= exp (x)
Con esto tenemos la funcin exponencial (potencia) base e
R (0, ) , x e
x
como la inversa de la funcin logaritmo natural.
Si aceptamos que es derivable, podemos usar derivacin implcita (con
respecto a x) en la ecuacin x = ln y, que equivale a y = e
x
, y obtener
1 =
1
y
dy
dx
dy
dx
= y
O sea,
d
dx
[e
x
] = e
x
, x R.
De aqu, para una f derivable,
d
dx
_
e
f(x)

= e
f(x)
f

(x), y luego
_
e
f(x)
f

(x)dx = e
f(x)
+ C
2.2.1 Exponencial general y logaritmo
Para una constante positiva a se tiene denida la potencia a
r
, con r =
p
q
racional (q > 0), como
a
r
= a
p/q
=
q

a
p
Adems, de las propiedades del logaritmo natural
a
r
= e
lna
r
= e
r lna
y como e
r lna
est denida cualquiera sea r R, se dene la funcin expo-
nencial base a por
a
x
= e
xlna
, x R
Observe que a
0
= 1 y a
x
> 0, x.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 15
Sus dos primeras derivadas son
d
dx
[a
x
] =
d
dx
_
e
xlna

= e
x lna
lna
= (ln a) a
x
d
2
dx
2
[a
x
] = (ln a)
2
a
x
de donde, excluyendo el caso a = 1 donde la funcin es constante, resulta
a > 1
d
dx
[a
x
] > 0 y la funcin es estrict. creciente
0 < a < 1
d
dx
[a
x
] < 0 y la funcin es estrict. decreciente
d
2
dx
2
[a
x
] > 0 grco cncavo hacia arriba
-2 -1 0 1 2
1
2
3
4
x
y
y = a
x
, con a > 1
-2 -1 0 1 2
1
2
3
4
x
y
y = a
x
, con 0 < a < 1
De la frmula,
d
dx
(a
x
) = (ln a) a
x
, se sigue la frmula integral
_
a
x
dx =
_
1
ln a
_
a
x
+ C
Por ejemplo,
_
2
x
dx =
1
ln2
2
x
+ C
Tambin se puede probar que
R ]0, +[ , x a
x
es biyectiva. Su inversa es la funcin logaritmo base a
log
a
: ]0, +[ R , x log
a
x
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 16
1 2 3 4 5
-1
0
1
2
x
y
a > 1
1 2 3 4 5
-2
-1
0
1
x
y
0 < a < 1
Para obtener su derivada, que suponemos existe, podemos considerar
y = log
a
x x = a
y
y derivar implcitamente el lado derecho
1 = (lna) a
y
dy
dx
dy
dx
=
1
(lna) a
y
=
1
x(ln a)
O sea,
d
dx
[log
a
x] =
1
x(ln a)
Ahora si comparamos con
d
dx
_
ln x
lna
_
=
1
x(ln a)
se concluye que
log
a
x =
ln x
ln a
+ C
y al evaluar en x = 1, resulta C = 0 y
log
a
x =
lnx
ln a
lo que muestra que cualquier logaritmo es un mltiplo constante de ln .
Una situacin ms general se presenta al denir la funcin
h(x) = f (x)
g(x)
donde f , g son funciones derivables y f positiva. Tomando la denicin
general de exponencial
h(x) = e
g(x) ln(f(x))
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 17
y luego
h

(x) = e
g(x) ln(f(x))
_
g

(x) ln (f (x)) + g (x)

f

(x)
f (x)
_
= f (x)
g(x)
_
g

(x) ln (f (x)) + g (x)

f

(x)
f (x)
_
Ejemplos.-
1.
d
dx
[x
x
]
2.
d
dx
_
(x
2
+ 1)
sinx
_
Para estudiar el comportamiento asinttico de funciones denidas medi-
ante exponenciales y logaritmos podemos hacer uso de la Regla de LHopital,
considerando que
lim
x0
+
lnx = , lim
x+
ln x = +
lim
x
e
x
= 0 , lim
x+
e
x
= +
2.2.2 Regla de LHpital.-
Una forma indeterminada del tipo
_
0
0
_
es un lmite lim
xa
+
_
f(x)
g(x)
_
,
donde lim
xa
+
f (x) = lim
xa
+
g (x) = 0.
Una forma indeterminada del tipo
_

_
es un lmite lim
xa
+
_
f(x)
g(x)
_
, donde
lim
xa
+
f (x) = y lim
xa
+
g (x) = .
La regla de LHpital entrega una poderosa herramienta para calcular
lmites de formas indeterminadas:
Teorema 6 Sean f, g : (a, b) R funciones derivables y lim
xa
+
_
f(x)
g(x)
_
una
forma indeterminada
_
0
0
_
o
_

_
lim
xa
+
_
f

(x)
g

(x)
_
= L lim
xa
+
_
f (x)
g (x)
_
= L
donde L puede ser un nmero real (el lmite existe) o bien L puede ser +
o (el lmite diverge).
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 18
El teorema tambin vale para F.I. con lim
xb

, lim
xc
, lim
x+
y lim
x
Algunos ejemplos importantes:
1. lim
x+
_
x
e
x

, lim
x+
_
x
n
e
x

, lim
x+
_
ax
n
e
bx

2. lim
x0
_
sin x
x
1
x
_
= lim
x0
_
sinxx
x
2

3. lim
x0
+
[xln x] , lim
x0
+
[x
x
]
4. lim
x+
_
1 +
1
x
_
x
.
2.2.3 Funciones hiperblicas
Las funciones seno hiperblico y coseno hiperblico se denen por
sinh : R R
cosh : R R
sinhx =
e
x
e
x
2
, cosh x =
e
x
+ e
x
2
Note que ambas son combinaciones de exponenciales.
De la denicin es claro que x : cosh x > 0. Adems, x :
d
dx
[sinh x] =
d
dx
_
e
x
e
x
2
_
=
e
x
+ e
x
2
= cosh x
y
d
dx
[coshx] = sinh x
As,
d
dx
(sinh x) = cosh x > 0 sinh es estrictamente creciente.
y como sinh(0) = 0 resulta
x < 0 sinh x < 0
x > 0 sinh x > 0
Ahora,
d
2
dx
2
[sinh x] = sinh x tiene el signo descrito arriba, luego su grca es:
cncava hacia abajo para x < 0 y cncava hacia arriba para x > 0
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 19
-2 -1 1 2
-3
-2
-1
1
2
3
x
y
y = sinhx
Similarmente, para cosh se tiene
d
dx
[cosh x] = sinh x =
_
< 0 , para x < 0
> 0 , para x > 0
y as su grca es: decreciente para x < 0 y creciente para x > 0.
d
2
dx
2
[cosh x] = cosh x > 0 grco cncavo hacia arriba
-1 0 1
1
2
x
y
y = cosh x
Queda de ejercicio vericar la identidad fundamental
cosh
2
x sinh
2
x = 1
vlida para todo x R.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 20
Las otras funciones hiperblicas son
tanh x =
sinh x
coshx
=
e
x
e
x
e
x
+ e
x
coth x =
coshx
sinh x
sechx =
1
coshx
, cosechx =
1
sinh x
Una importante aplicacin de las funciones hiperblicas est en la mod-
elacin de la forma de un cable exible de densidad uniforme suspendido
entre dos puntos de igual altura. Si se introduce un sistema de coordenadas
de modo que el punto ms bajo del cable se encuentre en el eje y, se puede
mostrar que la forma del cable est dado por la curva
y = a cosh
_
x
a
_
+ C
llamada catenaria.
Se pueden denir hiperblicas inversas en los intervalos que se indican
arcsinh(x) = ln
_
x +

x
2
+ 1
_
, x R
arccos h(x) = ln
_
x +

x
2
1
_
, x 1
arctanh(x) =
1
2
ln
_
1 + x
1 x
_
, 1 < x < 1
con derivadas
d
dx
[arcsin h(x)] =
1

x
2
+ 1
d
dx
[arccos h(x)] =
1

x
2
1
d
dx
[arctan h(x)] =
1
1 x
2
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 21
2.3 Integracin por partes.-
De la frmula para derivar un producto
d
dx
[f(x)g(x)] = f(x)g

(x) + g(x)f

(x)
se obtiene
f(x)g

(x) =
d
dx
[f(x)g(x)] g(x)f

(x)
lo que implica (integrando a ambos lados)
_
f(x)g

(x)dx = f(x)g(x)
_
g(x)f

(x)dx
Con
u = f(x) , v = g(x)
du = f

(x)dx , dv = g

(x)dx
la frmula se escribe _
udv = uv
_
vdu
En el caso de integrales denidas, la frmula queda
_
b
a
f(x)g

(x)dx = f(x)g(x)|
b
a

_
b
a
g(x)f

(x)dx
Por ejemplo, para calcular
_
2
0
x
3
e
x
2
dx se hace u = x
2
, dv = xe
x
2
dx
_
2
0
x
3
e
x
2
dx =
1
2
x
2
e
x
2
|
2
0
+
_
2
0
xe
x
2
dx
= 2e
4

1
2
e
x
2
|
2
0
= 2e
4

1
2
e
4
+
1
2
=
1
2

5
2
e
4
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 22
3 Integrales impropias.-
3.1 Caso intervalo de integracin no acotado.
Si f es continua en el intervalo [a, +[, entonces
_
+
a
f(x)dx = lim
b+
_
b
a
f(x)dx
Ejemplos.
1.
_
+
1
1
x
dx
2. Para p = 1,
_
+
1
1
x
p
dx
3.
_
+
1
(1 x)e
x
dx
_
(1 x)e
x
dx = e
x
x + C
Si f es continua en el intervalo ], b], entonces
_
b

f(x)dx = lim
a
_
b
a
f(x)dx
Si f es continua en toda la recta real, entonces
_
+

f(x)dx =
_
c

f(x)dx +
_
+
c
f(x)dx
donde c es cualquier nmero real.
Ejemplo:
_
+

1
x
2
+1
dx
-2 -1 0 1 2
0.5
1.0
x
y
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 23
3.2 Caso funcin no acotada en el intervalo de inte-
gracin
Si f es continua en el intervalo ]a, b] y es no acotada cerca de a
_
b
a
f(x)dx = lim
ca
+
_
b
c
f(x)dx
Ejemplo:
_
1
0
lnxdx.
Ejercicio 7
_
+
0
1

x(x + 1)
dx.
3.3 Criterios de convergencia.
Por denicin,
_
+
a
f(x)dx = lim
b+
_
b
a
f(x)dx.
En los ejemplos anteriores fue posible calcular b > a :
_
b
a
f (x) dx y en-
seguida evaluar el lmite correspondiente. Sin embargo encontraremos casos
para los cuales no es posible calcular las integrales
_
b
a
f (x) dx, pero de to-
dos modos se puede utilizar un criterio para analizar la convergencia de la
integral impropia.
Teorema 8 (Criterio de comparacin directa) Sean f, g : [a, +[ R fun-
ciones continuas con 0 f (x) g (x) , x a. Se tiene entonces:
_
+
a
g (x) dx converge
_
+
a
f (x) dx converge
_
+
a
f (x) dx diverge
_
+
a
g (x) dx diverge
Idea de la demostracin.- La segunda implicacin es contrarecproca de la
primera.
Para demostrar la primera consideramos que como f es no negativa, la
funcin
(b) =
_
b
a
f (x) dx
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 24
es creciente y lo mismo vale para g. Adems tenemos
_
b
a
f (x) dx
_
b
a
g (x) dx
_
+
a
g (x) dx = L , L R
Luego,
lim
b+
_
b
a
f (x) dx = sup
__
b
a
f (x) dx : b > a
_
existe
Esto es,
_
+
a
f (x) dx converge.
Obs.- En la hiptesis del teorema se puede considerar 0 f (x) g (x) , x
M, para algn M positivo.
Ejemplo 9 Muestre que la integral
_
+
1
1
x
4
+ 1
dx es convergente.
Ejemplo 10 Muestre que la integral
_
+
1
e
(x
2
)
dx es convergente.
Teorema 11 (Criterio de comparacin en el lmite) Sean f, g : [a, +[ R
funciones continuas, no negativas y tales que
lim
x+
_
f (x)
g (x)
_
= L > 0
Se tiene entonces
_
+
a
f (x) dx converge
_
+
a
g (x) dx converge
Proof. La condicin de hiptesis indica que: Dado > 0, M > 0 tal
que
x : x > M

f (x)
g (x)
L

<
(L ) g (x) < f (x) < (L + ) g (x)
y considero sucientemente pequeo para que L > 0.
Ahora aplico teorema de comparacin anterior.
Obs.- Si en el teorema anterior L = 0, se obtiene la conclusin:
_
+
a
g (x) dx converge
_
+
a
f (x) dx converge
O sea, slo la implicacin (en un sentido).
Ejemplo 12 Analice la convergencia de
_
+
1
1
x
3

1
2
dx.
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 25
3.4 Funcin Gamma.-
Se mostrar que: Para cada t > 0 , la integral impropia
_
+
0
e
x
x
t1
dx
es convergente. De hecho, deben considerarse las integrales
_
1
0
e
x
x
t1
dx y
_
+
1
e
x
x
t1
dx
ambas impropias.
Para la segunda integral, sean f (x) = e
x
x
t1
y g (x) = x
2
. Se tiene
entonces,
lim
x
e
x
x
t1
x
2
= lim
x
x
t+1
e
x
= 0 (*)
y luego, como
_
+
1
1
x
2
dx converge, la integral de f tambin converge.
Para la primera integral, con x =
1
u
, dx =
1
u
2
du
_
1
c
e
x
x
t1
dx =
_
1
1/c
e
1/u
u
t+1
_
u
2
_
du
=
_
1/c
1
e
1/u
u
t1
du
y
_
+
1
e
1/u
u
t1
du converge, al comparar con
_
+
1
u
t1
du (t > 0)
El lmite indicado en * se obtiene del resultado ms general:
Cualquiera sean a > 0, b > 0 :
lim
x
(ln x)
b
x
a
= 0
lim
x
_
x
b
e
ax
_
= 0
As entonces,
_
+
0
e
x
x
t1
dx =
_
1
0
e
x
x
t1
dx +
_
+
1
e
x
x
t1
dx
Denicin 13 La funcin Gamma se dene por : ]0, +[ R
(t) =
_
+
0
e
x
x
t1
dx
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 26
Ejercicio 14 Para la funcin :
a) Calcule (1) , (2)
b) Usando integracin por partes muestre que
(t + 1) = t (t)
c) Deduzca que n N : (n) = (n 1)!
3.5 Transformada de Laplace
Sea f : [0, [ R, t f (t) continua (por ahora). Se dene la transformada
de Laplace de f como la funcin
F (s) =
_
+
0
e
st
f (t) dt
denida para todos los s tales que la integral converge.
Obtenga la transformada de Laplace de las siguientes funciones:
a) f (t) = 1 b) f (t) = t c) f (t) = e
at
d) f (t) = sinbt.