4.

Definicin de la transformada de Laplace

Introduccin En el curso de clculo elemental, usted aprendi que la diferenciacin

y la integracin son transformadas, lo cual significa, a grandes rasgos, que estas operaciones transforman una funcin en otra. Por ejemplo, la funcin f (x) ! x2 se transforma,
segn sea el caso, en una funcin lineal, en una familia de funciones polinomiales cbicas,
y en una constante gracias a operaciones de diferenciacin, integracin indefinida e integracin definida:

d 2
x ! 2x,
dx

! x dx ! 3 x
2

" c,

! x dx ! 9.
2

Adems, estas dos transformadas poseen la propiedad de linealidad: ello significa que
la transformada de una combinacin lineal de funciones es una combinacin lineal de las
transformadas. Para las constantes ! y ",

d
3af 1x2 " bg1x2 4 ! af 1x2 " bg1x2
dx

! 3 af 1x2 " bg1x2 4 dx ! a ! f 1x2 dx " b ! g1x2 dx

3 af 1x2 " bg1x2 4 dx ! a

f 1x2 dx " b

! g1x2 dx
a

siempre que existan cada derivada y cada integral. En esta seccin examinaremos un tipo
especial de transformada integral llamada transformada de Laplace. Adems de poseer
la propiedad de linealidad, la transformada de Laplace tiene muchas otras propiedades
interesantes que la hacen muy til para resolver problemas lineales de valor inicial.
Si f (x, y) es una funcin de dos variables, entonces una integral definida de f con respecto a una de las variables produce una funcin de la otra variable. Por ejemplo, si y se
mantiene constante vemos que "21 2xy2 dx ! 3y2. De manera similar, una integral definida, tal como "ba K(s, t) f (t) dt, transforma a una funcin f(t) en una funcin de la variable
s. A nosotros nos interesan en particular las transformadas integrales de este ltimo
tipo, donde el intervalo de integracin es el intervalo [0, #) no acotado.

Definicin bsica Si f (x) est definida para t $ 0, entonces la integral impropia

"0qK1s, t2 f 1t2 dt est definida como un lmite:

K1s, t2 f 1t2 dt ! lm

bSq

! K1s, t2 f 1t2dt.

(1)

Si existe el lmite, se dice que la integral existe o es convergente; si no hay lmite, la

integral no existe y se afirma que es divergente. Este lmite, en general, existe slo para
ciertos valores de la variable s. La eleccin K(s, t) ! est produce una transformada integral especialmente importante.

D E F I N I C I N 4 .1

Transformada de Laplace

Sea f una funcin definida para t $ 0. Entonces se dice que la integral

+5f 1t26 !

e%stf 1t2 dt

(2)

es la transformada de Laplace de f, siempre y cuando la integral converja.

Cuando la integral definitoria (2) converge, el resultado es una funcin de s. En el
anlisis general, cuando utilicemos letras minsculas nos referiremos a la funcin que

194

CAPTULO 4 La transformada de Laplace

se va a transformar, y letras maysculas denotarn su transformada de Laplace; por

ejemplo,

+ { f (t)} ! F (s),

Ejemplo 1

+ {g(t)} ! G(s),

+ {y(t)} ! Y(s) y

+5H1t26 ! h1s2 .

Uso de la definicin 4.1

Evale + {1}.

Solucin A partir de (2),

+516 !

e"st 112 dt ! lm

bSq

!e

"st

dt

"e"st b
"e"sb # 1
1
2 ! lm
!
s
s
s 0 bSq
bSq

! lm

siempre y cuando s > 0. En otras palabras, cuando s > 0, el exponente sb es negativo y

esb 0 conforme b #. Para s < 0, la integral es divergente.

El uso del signo de lmite deviene en una tarea tediosa, de manera que adoptaremos la
notacin |#0 como abreviatura de lmb#( )| 0b . Por ejemplo,

+516 !

e%st 112 dt !

%e%st
s

q
0

1
! , s 7 0.
s

En el lmite superior, se entiende que nos referimos a que est 0 cuando t # para
s > 0.

Ejemplo 2

Uso de la definicin 4.1

Evale + {t}.

Solucin A partir de la definicin 4.1, tenemos que +{t} ! "#0 estt dt. Si integramos por
partes usando lmt# test ! 0, s > 0, junto con el resultado del ejemplo 1, obtenemos
+5t6 !

Ejemplo 3

%te%st
s

"
0

1
s

e%stdt !

1
1 1
1
+516 ! a b ! 2 .
s
s s
s

Uso de la definicin 4.1

3t

Evale + {e }.

Solucin A partir de la definicin 4.1, tenemos

+5e%3t 6 !

e%ste%3t dt !

e%1s " 32t dt

%e%1s" 32t
!
s"3

q
0

1
!
, s 7 %3.
s"3
El resultado deriva del hecho de que lmt# e(s + 3)t ! 0 para s + 3 > 0 o s > 3.

Ejemplo 4

Uso de la definicin 4.1

Evale + {sen 2t}.

4.1 Definicin de la transformada de Laplace

195

Solucin A partir de la definicin 4.1 y la integracin por partes obtenemos

+5sen 2t6 !

2
s

e"st sen 2t dt !

"e"st sen 2t q
2
2 #
s
s
0

e"st cos 2t dt

e%st cos 2t dt, s 7 0

Transformada de Laplace de sen 2t

T
2 "e"st cos 2t q 2
! c
2 "
s
s
s
0
!

lm e"st cos 2t dt ! 0, s 7 0

tSq

2
4
" 2 +5sen 2t6.
2
s
s

T
e"st sen 2t dt d

En este punto tenemos una ecuacin con +{sen 2t} en ambos lados de la igualdad. Al
resolver para esa cantidad se produce el resultado

+ {sen 2t} !

2
,
s2 " 4

s > 0.

+ es una transformada lineal Para una suma de funciones, podemos escribir

e%st 3 af 1t2 " bg1t2 4 dt ! a

e%stf 1t2 dt " b

e%stg1t2 dt

siempre que ambas integrales converjan para s > c. Por lo tanto, se deduce que

+ {!f (t) + "g(t)} ! ! + { f (t)} + " + {g(t)} ! ! F (s) + " G(s).

(3)

Debido a la propiedad dada en (3), se dice que + es una transformada lineal. Por ejemplo, de los ejemplos 1 y 2,

+ {1 + 5t} ! + {1} + 5 + {t} !

1
5
" 2,
s
s

y de los ejemplos 3 y 4,

+ {4e3t % 10 sen 2t} ! 4 + {e%3t} % 10 + {sen 2t} !

4
20
% 2
.
s"3
s "4

La generalizacin de algunos de los problemas anteriores la enunciaremos mediante

el teorema 4.1. A partir de ahora nos abstendremos de indicar cualquier restriccin sobre
s, pues se entiende que s est lo bastante restringida como para garantizar la convergencia de la transformada de Laplace apropiada.

T E O R E M A 4 .1

El apndice III
proporciona una lista
ms amplia de las
transformadas.

a) + {1} !
b)
d)
f)

196

Transformadas de algunas funciones

bsicas
1
s

n!
, n ! 1, 2, 3, . . . c)
sn" 1
k
e)
+ {sen kt} ! 2
s " k2
k
g)
+ {senh kt} ! 2
s % k2
+ {tn} !

CAPTULO 4 La transformada de Laplace

+ {eat} !

1
s%a

s
s2 " k2
s
+ {cosh kt} ! 2
s % k2
+ {cos kt} !

 Condiciones de suficiencia para que exista + { f (t)} No es necesario que con-

f (t)

t2

verja la integral que define la transformada de Laplace. Por ejemplo, ni +{1/t} ni +{e }
existen. Las condiciones de suficiencia que garantizan la existencia de +{ f (t)} son que f
sea continua por tramos en [0, #) y de orden exponencial cuando t > T. Recuerde que una
funcin f es continua por tramos en [0, #) si, en cualquier intervalo 0 & a & t & b, hay
cuando mucho una cantidad finita de puntos tk, k ! 1, 2, . . . , n (tk 1 < tk), en los cuales f
tiene discontinuidades finitas y es continua en todo intervalo abierto tk 1 < t < tk. Vea la
figura 4.1. El concepto de orden exponencial est definido de la siguiente manera.

DEFINICIN 4.2

t
t1

t2

Figura 4.1 Funcin continua

por tramos
Mect (c > 0)

f(t)

Orden exponencial

t3 b

f(t)

Se dice que una funcin f es de orden exponencial c si existen constantes c, M > 0,

y T > 0 tales que | f (t)| & Mect para todo t > T.

Si f es una funcin creciente, entonces la condicin | f (t)| & Mect, t > T, slo indica que la
grfica de f en el intervalo (T, #) no crece ms rpido que la grfica de la funcin exponencial Mect, donde c es una constante positiva. Vea la figura 4.2. Todas las funciones f (t) ! t, f (t)
! et y f(t) ! 2 cos t son de orden exponencial c ! 1 para t > 0 puesto que, respectivamente,

|t| & et,

|et| & et,

Figura 4.2 La funcin f es

de orden exponencial
f(t)

et

|2 cos t| & 2et.

En la figura 4.3 se ofrece una comparacin de las grficas existentes en el intervalo [0, #).
2
Una funcin tal como f (t) ! et no es de orden exponencial pues, como ilustra la
figura 4.4, su grfica crece con ms rapidez que cualquier potencia lineal positiva de e
para t > c > 0.
Una potencia integral positiva de t siempre es de orden exponencial ya que, para c > 0

|tn| $ Mect

t
a)
f (t)

tn
2 $ M para t 7 T
ect

et

es equivalente a demostrar que lmt# tn/ect es finito para n ! 1, 2, 3, . . . El resultado se

obtiene mediante n aplicaciones de la regla de LHpital.

T E O R E M A 4.2

Condiciones de suficiencia
para la existencia

Si f(t) es continua por tramos en el intervalo [0, #) y de orden exponencial c, entonces + { f (t)} existe para s > c.

e t
b)
f (t)

2e t
2 cos t

Demostracin Mediante la propiedad aditiva del intervalo de las integrales definidas,

T

+5 f 1t26 !

!e

%st

f 1t2 dt "

e%stf 1t2 dt & M

e%stf 1t2 dt ! I1 " I2.

e%stect dt ! M

La integral I1 existe ya que se puede escribir como una suma de integrales en los intervalos
donde estf (t) es continua. Ahora f es de orden exponencial, por lo tanto existen constantes
c, M > 0, T > 0 de manera que | f (t)| & Mect para t > T. Entonces podemos escribir

#I2# &

e%1s % c2t dt ! M

e%1s% c2T
s%c

c)

Figura 4.3 Las funciones con

grficas coloreadas son de orden
exponencial
t2
f(t) e

ect

para s > c. Puesto que "#T Me(s c)t dt converge, la integral "#T |estf (t)| dt converge segn la
prueba de comparacin para integrales impropias. Esto, a su vez, implica que I2 existe cuando s > c. La existencia de I1 e I2 implica que +{ f (t)} ! "#0 estf (t) dt existe para s > c.

Ejemplo 5

Transformada de una funcin continua por tramos

Evale + { f (t)} para f (t) ! e

0,
2,

0&t 6 3
t $ 3.

4.1 Definicin de la transformada de Laplace

c
2

Figura 4.4 f (t) ! et no es

de orden exponencial

197

Solucin La funcin continua por tramos aparece en la figura 4.5. Como f est definida
en dos partes, expresamos a + { f (t)} como la suma de dos integrales:

y
2

+5f 1t26 !

e%stf 1t2 dt !

Funcin continua por

2e%st q
!%
s 3
2e%3s
!
, s 7 0.
s

Figura 4.5
tramos

e%st 102 dt "

e%st 122 dt

Comentarios
A travs de todo el captulo nos concentraremos principalmente en las funciones
que son tanto continuas por tramos como de orden exponencial. Sin embargo, advertimos que estas dos condiciones son suficientes mas no necesarias para la existencia de una transformada de Laplace. La funcin f (t) ! t%1>2 no es continua por
tramos en el intervalo [0, #); no obstante, existe su transformada de Laplace. Vea el
problema 42 en los ejercicios 4.1.

EJERCICIOS 4.1

Las respuestas a los problemas impares seleccionados comienzan en la pgina RESP-8.

En los problemas del 1 al 18, use la definicin 4.1 para encontrar + {f (t)}.

%1, t ' 1
1,
t$1
4, 0 & t ' 2
e
0,
t$2
t, 0 & t ' 1
e
1,
t$1
2t " 1, 0 & t ' 1
e
0,
t$1
sen t, 0 $ t % p
e
0,
t&p
sen t, 0 $ t % p>2
e
0,
t & p>2

3. f 1t2 !
4. f 1t2 !

5. f 1t2 !
6. f 1t2 !
7.

f(t)

(2, 2)

8.

9.

f(t)

(2, 2)

198

19. f (t) ! 2t4

20. f (t) ! t5

21. f (t) ! 4t % 10

22. f (t) ! 7t + 3

23. f (t) ! t2 + 6t % 3

24. f (t) ! %4t2 + 16t + 9

25. f (t) ! (t + 1)3

26. f (t) ! (2t % 1)3

27. f (t) ! 1 + e4t

28. f (t) ! t2 % e%9t + 5

29. f (t) ! (1 + e )

30. f (t) ! (et % e%t )2

31. f (t) ! 4t2 % 5 sen 3t

32. f (t) ! cos 5t + sen 2t

33. f (t) ! senh kt

34. f (t) ! cosh kt

35. f (t) ! et senh t

36. f (t) ! e%t cosh t

En los problemas del 37 al 40, encuentre +{ f (t)} utilizando

primero una identidad trigonomtrica adecuada.
37. f (t) ! sen 2t cos 2t

Figura 4.7 Grfica para

el problema 8

38. f (t) ! cos2 t

39. f (t) ! sen(4t + 5)
40. f (t) ! 10 cos at %

f(t)

p
b
6

41. Una definicin de la funcin gamma est dada por la

Figura 4.8 Grfica para

el problema 9

18. f (t) ! t sen t

2t 2

c
1

16. f (t) ! et cos t

sen t

En los problemas del 19 al 36, use el teorema 4.1 para encontrar + { f (t)}.

10.

f(t)

14. f (t) ! t2e%2t

17. f (t) ! t cos t

Figura 4.6 Grfica para

el problema 7

13. f (t) ! te4t

15. f (t) ! e

12. f (t) ! e%2t % 5

%t

1. f 1t2 ! e
2. f 1t2 !

11. f (t) ! et + 7

Figura 4.9 Grfica para

el problema 10

integral impropia (1a2 !

ta% 1e%t dt, a 7 0.

a) Demuestre que ((! + 1) ! !((!).

CAPTULO 4 La transformada de Laplace