Introduccin a la transformada de Laplace

Prof. Hugo Serrano Miranda Octubre de 2006

La transformada de Laplace fue introducida por Pierre Laplace en 1779, en sus inves-
tigaciones de probabilidad. G. Doestsch contribuy a desarrollar el uso de las transfor-
madas de Laplace para resolver ecuaciones diferenciales. Su trabajo durante la dcada
iniciada en 1930 sirvi para justicar los procedimientos de clculo operacional que
Oliver Heaviside haba utilizado
1
En este apartado se desarrolla un procedimiento para resolver ecuaciones diferenciales
lineales, no homogneas y de coecientes constantes, por el mtodo de la transformada
de Laplace.
La idea bsica de la transformada de Laplace es simplicar el problema de manera
muy parecida a como la sustitucin de y = e
mt
sirvi para simplicar el problema de
resolver una ecuacin diferencial lineal con coecientes constantes.
Denicin: La tranformada de laplace de una funcin f(t) es
L[f(t)] =
_

0
e
st
f(t)dt = lim
N
_
N
0
e
st
f(t)dt (1.1)
para cualesquiera valores de s, para los que converge la integral, tambin se
denota por el smbolo F(s)
Teorema 1: (Linealidad de la transformada de Laplace) Sean f
1
(t)
y f
2
(t) funciones cuyas transformadas de Laplace existen para s > y sea
c una constante. Entonces
L[f
1
(t) +f
2
(t)] = L[f
1
(t)] + L[f
2
(t)]
1
Fundanmentos de ecuaciones diferenciales, Nagle y Sa, captulo 7
91
L[cf
1
(t)] = cL[f
1
(t)]
Prueba:
L[f
1
(t) +f
2
(t)] =
_

0
[f
1
(t) +f
2
(t)]e
st
dt =
_

0
f
1
(t)e
st
dt +
_

0
f
2
(t)e
st
dt
= L[f
1
(t)] + L[f
2
(t)]
L[cf
1
(t)] =
_

0
cf
1
(t)e
st
dt = c
_

0
f
1
(t)e
st
dt = cL[f
1
(t)]
Ejemplo:
Obtenga la transformada de laplace de las siguientes funciones
1) a, a =constante
L[a] =
_

0
e
st
adt = a
_

0
e
st
dt
= a[
1
s
e
st
]

0
=
a
s
[e
0t
lim
t
e
st
] =
a
s
2) e
at
L[e
at
] =
_

0
e
st
e
at
dt =
_

0
e
(as)t
dt =
1
(a s)
_
e
(as)t

0
=
1
(s a)
[e
(as)t
]
0

=
1
(s a)
[1 lim
t
e
st
] =
1
(s a)
3) t
3
L[t
3
] =
_

0
e
st
t
3
dt = e
st
_
s
3
t
3
+ 3s
2
t
2
+ 6st + 6
s
4
_

0
=
_
s
3
t
3
+ 3s
2
t
2
+ 6st + 6
e
st
s
4
_

0
92
Al aplicar varias veces la regla de LHopital
L[t
3
] =
_

0
e
st
t
3
dt =
_
6s
3
e
st
s
7
_

0
=
_
6
e
st
s
4
_

0
=
6
s
4
=
3!
s
4
En general
L[t
n
] =
n!
s
n+1
4) sinh at
Recordar que sinh at =
1
2
(e
at
e
at
) y cosh at =
1
2
(e
at
+e
at
)
L[sinh at] =
1
2
_

0
e
st
(e
at
e
at
)dt =
1
2
_

0
_
e
(as)t
e
(a+s)t

dt =
1
2
_
e
(as)t
(a s)
+
e
(a+s)t
(a +s)
_

0
=
1
2
_
1
(a s)
+
1
(a +s)
_

0
=
1
2
_
1
(s a)

1
(s +a)
_

0
=
1
2
_
(s +a) (s a)
(s
2
a
2
)
_

0
=
1
2
_
2a
(s
2
a
2
)
_

0
=
a
(s
2
a
2
)
5) cosh at
L[cosh at] =
1
2
_

0
e
st
(e
at
+e
at
)dt =
1
2
_

0
_
e
(as)t
+e
(a+s)t

dt =
1
2
_
e
(as)t
(a s)

e
(a+s)t
(a +s)
_

0
=
1
2
_
1
(a s)
+
1
(a +s)
_

0
=
1
2
_
1
(s a)
+
1
(s +a)
_

0
=
1
2
_
(s +a) + (s a)
(s
2
a
2
)
_

0
=
1
2
_
2s
(s
2
a
2
)
_

0
=
s
(s
2
a
2
)
6) cos at
Recordar que
e
iat
= cos at +i sinat y e
iat
= cos at i sinat
De donde cos at =
1
2
(e
iat
+e
iat
) y sin at =
1
i2
(e
iat
e
iat
)
93
L[cos at] =
1
2
_

0
e
st
(e
iat
+e
iat
)dt =
1
2
_

0
_
e
(ias)t
+e
(ia+s)t

dt =
1
2
_
e
(ias)t
(ia s)

e
(ia+s)t
(ia +s)
_

0
=
1
2
_
1
(ia s)
+
1
(ia +s)
_

0
=
1
2
_
1
(s ia)
+
1
(s +ia)
_

0
=
1
2
_
(s +ia) + (s ia)
(s
2
+a
2
)
_

0
=
1
2
_
2s
(s
2
+a
2
)
_

0
=
s
(s
2
+a
2
)
7) sin at
L[sin at] =
1
i2
_

0
e
st
(e
iat
e
iat
)dt =
1
i2
_

0
_
e
(ias)t
e
(ia+s)t

dt =
1
i2
_
e
(ias)t
(ia s)
+
e
(ia+s)t
(ia +s)
_

0
=
1
i2
_
1
(ia s)
+
1
(ia +s)
_

0
=
1
i2
_
1
(s ia)

1
(s +ia)
_

0
=
1
i2
_
(s +ia) (s ia)
(s
2
+a
2
)
_

0
=
1
i2
_
i2a
(s
2
+a
2
)
_

0
=
a
(s
2
+a
2
)
Resumen de transformadas bsicas de Laplace
f(t) L[f(t)]
a
a
s
e
at 1
sa
sinh at
a
s
2
a
2
coshat
s
s
2
a
2
sin at
a
s
2
+a
2
cos at
s
s
2
+a
2
t
n n!
s
n+1
Denicin (Discontinuidad de salto): Se dice que una funcin f(t)
denida en (a, b) tiene una discontinuidad de salto en t
0
(a, b) si f(t) es
94
discontinua en t
0
y los lmites laterales
lim
tt
+
0
f(t) y lim
tt

0
f(t)
existen como nmeros nitos.
Denicin (Continuidad por segmentos): Se dice que una funcin f(t)
es continua por segmentos en un intervalo nito [a, b] si f(t) es continua en
todo punto de [a, b], excepto posiblemente en un nmero nito de puntos en
los que f(t) tiene una discontinuidad de salto. Se dice que una funcin
f(t) es continua por segmentos [0, ) si f(t) es continua por segmentos
en [0, N] para todo N > 0.
Ejemplo:
La funcin
g(t) =
_

_
t si t < 1
2 si 1 t < 2
(t 2)
2
si t 2
es continua en los intervalos (0, 1), (1, 2) y (2, 3), adems, en los puntos de discon-
tinuidad, t = 0, 1, y 2, la funcin tiene discontinuidades de salto ya que los lmites
laterales existen como nmeros nitos. Por lo que f(t) es continua por segmentos en
[0, 3].
Denicin (Orden exponencial de una funcin): Se dice que una
funcin f(t) es de orden exponencial si existen constantes positivas T y
95
M tales que
|f(t)| Me
t
para todo t T
Ejemplo:
La funcin f(t) = e
2t
sin 2t es de orden exponencial = 2, ya que

e
2t
sin 2t

Me
t
para todo t T
sin 2t Me
(2)t
se cumple si = 2, M = 1 y T cualquier constante positiva. En cambio la funcin
g(t) = e
t
2
no lo es porqu?
Teorema 1 (de existencia de la transformada de Laplace): Si f(t)
es continua por segmentos en [0, ) y de orden exponencial , entonces
L[f(t)] existe para todo s >
Prueba:
Se requiere demostrar que la integral
_

0
f(t)e
st
dt converge para s >
_
T
0
f(t)e
st
dt +
_

T
f(t)e
st
dt Me
t
El valor de T se escoge de tal manera que se cumpla la desigualdad:
1)
_
T
0
f(t)e
st
dt existe porque f(t) es continua por segmentos en [0, )
2) para probar que
_

T
f(t)e
st
dt existe se utiliza el criterio de comparacin
para integrales impropias, ya que f(t) es de orden exponencial se tiene
f(t) Me
t
por lo que
_

T
Me
t
e
st
dt =
_

T
Me
(s)t
dt = M
_

T
e
(s)t
dt
96
= M lim
N
_
e
(s)t
( s)
_
N
T
=
M
( s)
lim
N
_
e
(s)N
e
(s)T

la integral comverge si s > y, desde luego N > T

Teorema 2: (de translacin)
L[e
at
f(t)] =
_

0
e
at
f(t)e
st
dt =
_

0
f(t)e
(as)t
dt =
_

0
f(t)e
(sa)t
dt
Lo que signica que es la transformada de laplace de f(t) al reemplazar
s (s a) y dado que s se trata como una constante en la integracin,
no tiene importancia si este reemplazo se hace antes o despus de evaluar
la integral
Ejemplo:
Determinar la transformada de Laplace de las siguientes funciones
1) t
2
e
4t
L[e
at
f(t)] = L[e
4t
t
2
] = L[t
2
]
ss4
=
_
2
s
3
_
ss4
=
2
(s 4)
3
2) e
2t
cos

3t
L[e
at
f(t)] = L[e
2t
cos

3t] = L[cos 3t]

ss+2
=
_
s
s
2
+ (

3)
2
_
ss+2
=
_
(s + 2)
(s + 2)
2
+ (

3)
2
_
3) t cosh 2t
cosh 2t =
1
2
(e
2t
+e
2t
)
97
L[t cosh 2t] =
1
2
L[(e
2t
t +e
2t
t)] =
1
2
L[e
2t
t] +
1
2
L[e
2t
t] = L[t]
ss2
+ L[t]
ss+2
=
_
1
s
2
_
ss2
+
_
1
s
2
_
ss+2
=
_
1
(s 2)
2
_
+
_
1
(s + 2)
2
_
= 2
_
s
2
+ 4
(s 2)
2
(s + 2)
2
_
= 2
_
s
2
+ 4
s
2
+ 4s + 4
_
Transformadas de Laplace de derivadas
Teorema 3 Sea f(t) continua en [0, ) y f

(t) continua por segmentos

en el mismo intervalo, siendo ambas funciones de orden exponencial .
Entonces, para s >
L[f

(t)] = sL[f(t)] f(0)

Prueba:
L[f

(t)] =
_

0
e
st
f

(t)dt
al integrar por partes con u = e
st
y dv = f

(t)dt; recordar que

_
udv = uv
_
vdu
_

0
e
st
f

(t)dt = lim
N
_
N
0
e
st
f

(t)dt = lim
N
_
e
st
f(t)

N
0
+s
_
N
0
e
st
f(t)dt
_
= lim
N
e
sN
f(N) f(0) +s lim
N
_
N
0
e
st
f(t)dt
Para evaluar
lim
N
e
sN
f(N)
se observa que como f(t) es de orden exponencial , existe una constante M tal que
para N sucientemente grande,
|f(N)| Me
N

e
sN
f(N)

e
sN
Me
N

e
sN
f(N)

Me
(s)N
98
para s >
lim
N

e
sN
f(N)

lim
N
Me
(s)N
= 0
y entonces
lim
N
e
sN
f(N) = 0
por lo que
L[f

(t)] =
_

0
e
st
f

(t)dt = sL[f(t)] f(0)

Por induccin se puede extender este resultado para derivadas de orden superior, es
decir
L[f

(t)] = sL[f

(t)] f

(0)
= s[sL[f(t)] f(0)] f

(0)
= s
2
L[f(t)] sf(0) f

(0)
En general
L[f
(n)
(t)] = s
n
L[f(t)] s
n1
f(0) s
n2
f

(0) ... f
(n1)
(0)
desde luego que las funciones f(t), f

(t),..., f
(n1)
(t) deben ser continuas en el intervalo
[0, ), f
(n)
(t) continua por tramos en el mismo intervalo y de orden exponencial .
Este teorema expresa que al empear la transformada de Laplace se pueden reemplazar
diferenciacin con respecto a t por multiplicacin con respecto a s convirtiendo una
ecuacin diferencial en una ecuacin algebraica
Teorema 4 Sea L[f(t)] y suponga que f(t) es continua por segmentos en
[0, ) y de orden exponencial . Entonces, para s >
L[t
n
f(t)] = (1)
n
d
n
ds
n
[L[f(t)]]
99
Prueba:
considere la identidad
d
ds
L[f(t)] =
d
ds
_

0
e
st
f(t)dt
al aplicar la regla de Leibniz, para intercambiar el orden de integracin y diferenciacin
d
ds
L[f(t)] =
_

0
d
ds
e
st
f(t)dt
=
_

0
e
st
tf(t)dt = L[tf(t)]
por lo que
L[tf(t)] = (1)
d
ds
L[f(t)]
el resultado general se obtiene por induccin matemtica
Ejemplo:
Obtener L[tsenbt]
Solucin:
se sabe que
L[sent] =
b
s
2
+b
2
al aplicar el teorema 4 para n = 1 se tiene
L[tsenbt] = (1)
d
ds
_
b
s
2
+b
2
_
=
2bs
(s
2
+b
2
)
2
Transformada inversa de Laplace
Denicin:
Si F(s) representa la transformada de Laplace de una funcin f(t) esto es
L[f(t)] = F(s)
100
se dice que f(t) es la transformada inversa de Laplace F(s) y se escribe
f(t) = L
1
{F(s)}
de esta manera se tienen algunas transformadas inversas para las siguientes funciones
L
1
{
1
s
} = t L
1
{
1
s+3
} = e
3t
L
1
{
s
s
2
+a
2
} = cos at
Ejemplos:
a) Obtener L
1
{

3s
s
2
+5
}
L
1
{

3 s
s
2
+ 5
} = L
1
{

3
s
2
+ 5

s
s
2
+ 5
} = L
1
{

5
_

5
s
2
+ (

5)
2
_

s
s
2
+ (

5)
2
}
=
_
3
5
sen

5t cos

5t
b) Obtener L
1
{
s3
(s

3)(s+

3)
}
Mediante el empleo de fracciones parciales
s 3
(s

3)(s +

3)
=
A
(s

3)
+
B
(s +

3)
s 3 = A(s +

3) +B(s

3)
s 3 = (A+B)s + (AB)

3
de donde
A+B = 1
(A B) =
3

3
101
Despus de resolver:
A =
1
2

1
2

3
B =
1
2
+
1
2

3
de donde
s 3
(s

3)(s +

3)
=
(
1
2

1
2

3)
(s

3)
+
(
1
2
+
1
2

3)
(s +

3)
de donde
L
1
{
s 3
(s

3)(s +

3)
} = L
1
{
(
1
2

1
2

3)
(s

3)
} + L
1
{
(
1
2
+
1
2

3)
(s +

3)
}
=
1
2
(1

3)e

3t
+
1
2
(1 +

3)e

3t
Ejemplo: Resolver la ecuacin diferencial
y

+ 3y

+ 2y = 4
sujeta a
y

(0) = v
0
y(0) = s
0
Solucin:
L{y

+ 3y

+ 2y} = L{4}
s
2
Y (s) s
0
s v
0
+ 3[sY (s) s
0
] + 2Y (s) =
4
s
(s
2
+ 3s + 2)Y (s) =
4
s
+s
0
s + (v
0
+ 3s
0
)
102
(s + 1)(s + 2)Y (s) =
s
0
s
2
+ (v
0
3s
0
)s + 4
s
Y (s) =
s
0
s
2
+ (v
0
+ 3s
0
)s + 4
s(s + 1)(s + 2)
Al desarrollar por fracciones parciales:
s
0
s
2
+ (v
0
+ 3s
0
)s + 4
s(s + 1)(s + 2)
=
A
s
+
B
(s + 1)
+
C
(s + 2)
s
0
s
2
+ (v
0
+ 3s
0
)s + 4 = A(s + 1)(s + 2) +Bs(s + 2) +Cs(s + 1)
= As
2
+ 3As + 2A+Bs
2
+ 2Bs +Cs
2
+Cs
= (A+B +C)s
2
+ (3A + 2B +C)s + (2A)
se tiene el siguiente sistema de ecuaciones:
A +B +C = s
0
3A+ 2B +C = (v
0
+ 3s
0
)
2A = 4
despus de resolver el sistema se tiene
A = 2, B = 4 + 2s
0
+v
0
y C = 2 s
0
v
0
de esta forma
s
0
s
2
+ (s
0
+v
0
)s + 4
s(s + 1)(s + 2)
=
2
s
+
(4 + 2s
0
+v
0
)
(s + 1)
+
(2 s
0
v
0
)
(s + 2)
al obtener la transformada inversa
L
1
Y (s) = L
1
_
s
0
s
2
+ (s
0
+v
0
)s + 4
s(s + 1)(s + 2)
_
= L
1
_
2
s
_
+ L
1
_
(4 + 2s
0
+v
0
)
(s + 1)
_
103
+L
1
_
(2 s
0
v
0
)
(s + 2)
_
y(t) = 2 + (2s
0
+v
0
4)e
t
+ (2 s
0
v
0
)e
2t
si s
0
= 1 y v
0
= 2
y(t) = 2 e
2t
si s
0
= 1 y v
0
= 1
y(t) = 2 +e
t
si s
0
= 5 y v
0
= 5
y(t) = 2 + 11e
t
8e
2t
A continuacin se muestran las grcas de estas funciones en el intervalo 0 t 5
y(t) = 2 e
2t
y(t) = 2 +e
t
104
y(t) = 2 + 11e
t
8e
2t
Ejemplo:
Resolver la siguiente ecuacin diferencial
d
2
x
dt
2
+
dx
dt
+x = sent
sujeta a las condiciones iniciales:
dx
dt
(0) = 2 y x(0) = 1
Solucin:
Al aplicar la transformada de Laplace
L{
d
2
x
dt
2
} + L{
dx
dt
} + L{x} = L{sent}
{s
2
X(s) sX(0) X

(0)} +{sX(s) X(0)} +X(s) =

1
s
2
+ 1
{s
2
X(s) +s 2} +{sX(s) + 1} +X(s) =
1
s
2
+ 1
(s
2
+s + 1)X(s) =
1
s
2
+ 1
s + 1
X(s) =
1
(s
2
+s + 1)(s
2
+ 1)
+
(s + 1)
(s
2
+s + 1)
Al desarrollar en fracciones parciales en el primer trmino del miembro derecho
1
(s
2
+s + 1)(s
2
+ 1)
=
A
1
s +B
1
(s
2
+s + 1)
+
A
2
s +B
2
(s
2
+ 1)
105
1 = (A
1
s +B
1
)(s
2
+ 1) + (A
2
s +B
2
)(s
2
+s + 1)
1 = (A
1
s
3
+B
1
s
2
+A
1
s +B
1
) + (A
2
s
3
+B
2
s
2
+A
2
s
2
+B
2
s +A
2
s +B
2
)
1 = (A
1
+A
2
)s
3
+ (B
1
+B
2
+A
2
)s
2
+ (A
1
+B
2
+A
2
)s + (B
1
+B
2
)
de donde
A
1
+A
2
= 0
B
1
+B
2
+A
2
= 0
A
1
+B
2
+A
2
= 0
B
1
+B
2
= 1
la solucin del sistema es:
A
1
= 1, A
2
= 1, B
1
= 1 y B
2
= 0
por lo que
1
(s
2
+s + 1)(s
2
+ 1)
=
s + 1
(s
2
+s + 1)
+
1s
(s
2
+ 1)
=
s + 1
(s
2
+s +
1
4

1
4
+ 1)

s
(s
2
+ 1)
=
s + 1
_
(s +
1
2
)
2
+
3
4

s
(s
2
+ 1)
=
s +
1
2
+
1
2
_
(s +
1
2
)
2
+
__
3
4
_
2
_
s
(s
2
+ 1)
=
_
s +
1
2
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_ +
1
2
_
(s +
1
2
)
2
+
__
3
4
_
2
_
s
(s
2
+ 1)
=
_
s +
1
2
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_ +
1
2
_
_
4
3
_
__
3
4
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_
s
(s
2
+ 1)
106
por otro lado, el segundo trmino queda
(s + 1)
(s
2
+s + 1)
=
(s 1)
_
s +
1
2
_
2
+
__
3
4
_
2
=
(s +
1
2

1
2
1)
_
s +
1
2
_
2
+
__
3
4
_
2
=
(s +
1
2
)
3
2
_
s +
1
2
_
2
+
__
3
4
_
2
=
(s +
1
2
)
_
s +
1
2
_
2
+
__
3
4
_
2
+
3
2
_
4
3
_
3
4
_
s +
1
2
_
2
+
__
3
4
_
2
al sumar estos desarrollos se tiene
X(s) =
_
s +
1
2
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_ +
1
2
_
_
4
3
_
__
3
4
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_
s
(s
2
+ 1)

(s +
1
2
)
_
s +
1
2
_
2
+
__
3
4
_
2
+
3
2
_
4
3
_
3
4
_
s +
1
2
_
2
+
__
3
4
_
2
X(s) = 2
_
4
3
__
3
4
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_
s
(s
2
+ 1)
Al antitransformar
x(t) = 2
_
4
3
e

1
2
t
sin
_
3
4
t cos t
El siguiente segmento de programa con el paquete Maple realiza la antitransformada
107
de Laplace para este problema
Ejemplo:
Resolver la ecuacin diferencial:
y

+y

+y = t cos 2t
sujeta a las condiciones iniciales
_
_
_
y

(0) = 2
y(0) = 1
Solucin:
Al transformar
{s
2
Y (s) +s 2} +{sY (s) + 1} +Y (s) = L{t cos 2t}
pero
L{t cos 2t} =
d
ds
L{cos 2t} =
d
ds
[
s
s
2
+ 4
] =
(s
2
+ 4)(1) s(2s)
(s
2
+ 4)
2
=
s
2
4
(s
2
+ 4)
2
108
(s
2
+s + 1)Y (s) +s 2 + 1 =
s
2
4
(s
2
+ 4)
2
(s
2
+s + 1)Y (s) = 1 s +
s
2
4
(s
2
+ 4)
2
(s
2
+s + 1)Y (s) =
(1 s)(s
2
+ 4)
2
(s
2
+ 4)
2
+
s
2
4
(s
2
+ 4)
2
(s
2
+s + 1)Y (s) =
(1 s)(s
2
+ 4)
2
+ (s
2
4)
(s
2
+ 4)
2
Y (s) =
s
5
+s
4
8s
3
+ 9s
2
16s + 12
(s
2
+s + 1) (s
2
+ 4)
2
mediante el empleo de fracciones parciales
s
5
+s
4
8s
3
+ 9s
2
16s + 12
(s
2
+s + 1) (s
2
+ 4)
2
=
As +B
(s
2
+s + 1)
+
Cs +D
(s
2
+ 4)
2
+
Es +F
(s
2
+ 4)
s
5
+s
4
8s
3
+ 9s
2
16s + 12 = (As +B)
_
s
2
+ 4
_
2
+ (Cs +D)(s
2
+s + 1)
+(Es +F)(s
2
+s + 1)
_
s
2
+ 4
_
s
5
+s
4
8s
3
+ 9s
2
16s + 12 = (A +E)s
5
+ (B +E +F)s
4
+ (8A+C + 5E +F)s
3
+(8B +C +D + 4E + 5F)s
2
+(16A+C +D + 4E + 4F)s
+(16B +D + 4F)
de donde se tiene el siguiente sistema de ecuaciones
_

_
A+E = 1
B +E +F = 1
8A+C + 5E +F = 8
8B +C +D + 4E + 5F = 9
16A +C +D + 4E + 4F = 16
16B +D + 4F = 12
109
cuya solucin es:
A =
212
169
, B =
101
169
, C =
8
13
, D =
24
13
, E =
43
169
, F =
25
169
por lo que
s
4
+ 8s
2
s + 17
(s
2
+s + 1) (s
2
+ 4)
2
=

212
169
s +
101
169
(s
2
+s + 1)
+
8
13
s +
24
13
(s
2
+ 4)
2
+
43
169
s +
25
169
(s
2
+ 4)
El denominador se puede arreglar de la siguiente forma:
s
2
+s + 1 = s
2
+s +
1
4

1
4
+ 1 = (s +
1
2
)
2
+
3
4
= (s +
1
2
)
2
+
_

3
2
_
2
Desarrollo del primer trmino:

212
169
s +
101
169
(s +
1
2
)
2
+
_

3
2
_ =
212
169
(s +
1
2

1
2
)
(s +
1
2
)
2
+
_

3
2
_
2
+
101
169
_
2

3
__

3
2
_
(s +
1
2
)
2
+
_

3
2
_
2
=
212
169
_

_
(s +
1
2
)
(s +
1
2
)
2
+
_

3
2
_
2

(
2

3
)(
1
2
)
_

3
2
_
(s +
1
2
)
2
+
_

3
2
_
2
_

_
+
101
169
_
2

3
_
_

3
2
_
(s +
1
2
)
2
+
_

3
2
_
2
Al antitransformar
L
_

212
169
s +
101
169
(s
2
+s + 1)
_
=
212
169
_
e

1
2
t
cos
_

3
2
_
t
_
1

3
_
e

1
2
t
sin
_

3
2
_
t
_
+
101
169
_
2

3
_
e

1
2
t
sin
_

3
2
_
t
=
212
169
e

1
2
t
cos
_

3
2
_
t +
414
169

3
e

1
2
t
sin
_

3
2
_
t
110
Desarrollo del segundo trmino
8
13
s +
24
13
(s
2
+ 4)
2
=
8
13
s
(s
2
+ 2
2
)
2
+
24
13
1
(s
2
+ 2
2
)
2
=
8
13(2)(2)
(2)(2)s
(s
2
+ 2
2
)
2
+
24
13(2)(2)
3
1(2)(2)
3
(s
2
+ 2
2
)
2
antes de antitransformar, conviene recordar que
L(t sin kt) =
2ks
(s
2
+k
2
)
2
L(sin kt kt cos kt) =
2k
3
(s
2
+k
2
)
2
L
_
8
13
s +
24
13
(s
2
+ 4)
2
_
=
8
52
(t sin2t) +
24
208
(sin 2t 2t cos 2t)
=
2
13
(t sin2t) +
3
26
(sin 2t 2t cos 2t)
Desarrollo del tercer trmino
43
169
s +
25
169
(s
2
+ 4)
=
43
169
s
(s
2
+ 2
2
)
+
25
169(2)
2
(s
2
+ 2
2
)
al antitransformar:
L
_
43
169
s +
25
169
(s
2
+ 4)
_
=
43
169
cos 2t +
25
(2)169
sin2t
al sumar estas antitransformadas:
y(t) =
212
169
e

1
2
t
cos
_

3
2
_
t +
414
169

3
e

1
2
t
sin
_

3
2
_
t
+
2
13
(t sin 2t) +
3
26
(sin2t 2t cos 2t)
+
43
169
cos 2t +
25
(2)169
sin 2t
111
por ltimo, al simplicar
y(t) =
212
169
e

1
2
t
cos
_

3
2
_
t +
138

3
169
e

1
2
t
sin
_

3
2
_
t
+
2
13
t sin 2t
3
13
t cos 2t)
+
43
169
cos 2t +
32
169
sin2t
El texto que se muestra a continuacin corresponde a la solucin del problema con el
paquete Mathematica
El mismo problema resuelto con Maple
112
La transformada de una funcin denida por tramos
Ejemplo: Obtenga la transformada de laplace de la siguiente funcin
f(t) =
_
_
_
1 t; t < 1
0; t 1
113
Solucin
L{f(t)} =
_

0
e
st
f(t)dt
=
_
1
0
e
st
(1 t)dt +
_

1
e
st
(0)dt

_
e
st
tdt = t
e
st
s
+
_ _

e
st
s
_
dt = t
e
st
s
+
e
st
s
2
L{f(t)} =
_

1
s
e
st
+t
e
st
s
+
e
st
s
2
_
1
0
=
_

e
s
s
+
e
s
s
+
e
s
s
2
_

1
s
+ 0 +
1
s
2
_
=
e
s
s
2
+
1
s

1
s
2
Ejemplo: Obtener la transformada de Laplace de la funcin escaln unitario
u(t ) =
_
_
_
0; t <
1; t
Solucin:
Esta es una funcin continua denida por tramos, su transformada de Laplace est
dada por
L{u(t)} =
_

0
e
st
u(t)dt
=
_

0
e
st
(0)dt +
_

e
st
(1)dt
114
=
_

e
st
s
_

= 0 +
e
s
s
, s > 0
Algunas propiedades de esta funcin:
a) a partir de esta funcin se pueden generar otras funciones escalonadas como los
pulsos
si = 2, se tiene la funcin u(t 2) de la gura 1, luego la funcin u(t ) se
muestra en la gura 2
gura 1
gura 2
luego la suma de estas dos funciones p(t) = u(t ) u(t 2) queda
b) la funcin escaln unitario puede apagar o bien encender una determinada funcin,
simplemente multiplicndola por ella, por ejemplo la funcin g(t) que se muestra en la
115
gura 3, al multiplicarla por el escaln de la gura 4, queda
g 3 g 4
la funcin g(t) se apaga en el intervalo t < y se enciende en t , con la funcin
116
pulso mostrada en la gura 3 quedara
Ejemplo propuesto: resolver:
y

+ 2y

+y = sin 2t cos 2t
y(0) = 0
y

(0) = 1
Respuesta:
y (t) =
19
17
te
t
+
4
289
e
t

15
578
sin4t
4
289
cos 4t
recordar que : sin 2t cos 2t =
1
2
sin 4t
Segundo teorema de translacin:
Sea la funcin y = f(t) denida para t 0 tal como se muestra en la gura 1, la
funcin transladada en el tiempo y denida por tramos
f(t a)u(t a) =
_
_
_
0, 0 t < a
f(t a), t a
117
se muestra en la gura 2
esta ltima funcin tiene la siguiente transformada de Laplace
L{f(t a)u(t a)} =
_

0
e
st
f(t a)u(t a)dt
=
_
a
0
e
st
f(t a)u(t a)dt +
_

a
e
st
f(t a)u(t a)dt
= 0 +
_

a
e
st
f(t a)(1)dt
al efectuar el siguiente cambio de variable:
= t a, d = dt, para t = a, = 0, cuando t ,
L{f(t a)u(t a)} =
_

a
e
s(+a)
f()d = e
as
_

a
e
s
f()d = e
as
F(s)
Ejemplo:obtener la transformada de Laplace de la funcin
g(t 2)u(t 2) =
_
_
_
0, 0 t < 2
g(t 2), t 2
donde g(t) = t
2
Solucin:
L{g(t 2)u(t 2)} = e
as
G(s)
118
=
2e
as
s
3
Transformada inversa del segundo teorema de translacin:
Si f(t) = L
1
{F(s)}, entonces:
L
1
{e
as
F(s)} = f(t a)u(t a)
Ejemplos:
a) L
1
{
e
2s
s+3
}
En este caso a = 2, F(s) =
1
s+3
f(t) = e
3t
y f(t 2) = e
3(t2)
por lo tanto
L
1
_
e
2s
s + 3
_
= f(t 2)u(t 2) = e
3(t2)
u(t 2)
b) L
1
{
se

2
s
s
2
+3
}
L
1
{
se

2
s
s
2
+ (

3)
2
} = L
1
{
s
s
2
+ (

3)
2
e

2
s
} = cos

3(t

2
)u(t

2
)
Forma alternativa del segundo teorema de translacin:
L{g(t)u(t a)} = e
as
L{g(t +a)}
Prueba:
L{g(t)u(t a)} =
_

0
e
st
g(t)u(t a)dt
=
_
a
0
e
st
g(t)u(t a)dt +
_

a
e
st
g(t)u(t a)dt
= 0 +
_

a
e
st
g(t)(1)dt
119
mediante el cambio de variable
= t a, t = +a, d = dt, cuando t = a, = 0, cuando t ,
L{g(t)u(t a)} =
_

0
e
s(+a)
g( +a)d = e
as
_

0
e
s
g( +a)d
= e
as
_

0
e
st
g(t +a)dt = e
as
L{g(t +a)}
Ejemplo
Obtener la transformada de la siguiente funcin:
la funcin queda denida de la siguiente manera
g(t) = t [u(t 1) u(t 2)]
L{t [u(t 1) u(t 2)]} = L{tu(t 1)} L{tu(t 2)}
L{tu(t 1)} = e
s
L{(t + 1)} = e
s
(
1
s
2
+
1
s
)
L{tu(t 2)} = e
2s
L{(t + 2)} = e
2s
(
1
s
2
+
2
s
)
120
L{t [u(t 1) u(t 2)]} = e
s
(
1
s
2
+
1
s
) e
2s
(
1
s
2
+
2
s
)
=
1
s
2
_
e
s
e
2s

+
1
s
_
e
s
2e
2s

A manera de comprobacin, se tiene que la antitransformada de

L
1
{
1
s
2
_
e
s
e
2s

+
1
s
_
e
s
2e
2s

}
es
L
1
{
1
s
2
_
e
s
e
2s

} = L
1
{
e
s
s
2

e
2s
s
2
} = (t 1)u(t 1) (t 2)u(t 2)
L
1
{
1
s
_
e
s
2e
2s

} = L
1
{
e
s
s

2e
2s
s
} = u(t 1) 2u(t 2)
L
1
{
1
s
2
_
e
s
e
2s

+
1
s
_
e
s
2e
2s

} = (t 1)u(t 1) (t 2)u(t 2)
+u(t 1) 2u(t 2)
L
1
{
1
s
2
_
e
s
e
2s

+
1
s
_
e
s
2e
2s

} = t [u(t 1) u(t 2)]

Ejemplo:
Resolver la siguiente ecuacin diferencial
dv
dt
+
B
m
v =
f(t)
m
g sujeta a v(0) = 4
donde:
m = 1, B = 0.5, = 0.2, g = 10
f(t) = 8 [u(t 1) u(t 2)]
Solucin:
121
al sustituir datos
dv
dt
+
1
2
v = 8 [u(t 1) u(t 2)] 2
al transformar
sV (s) 4 +
1
2
V (s) =
8
s
_
e
s
e
2s

2
s
(s +
1
2
)V (s) =
8
s
_
e
s
e
2s

2
s
+ 4
(s +
1
2
)V (s) =
8 [e
s
e
2s
] 2 + 4s
s
V (s) =
8 [e
s
e
2s
] 2 + 4s
s(s +
1
2
)
al desarrollar fracciones parciales:
8 [e
s
e
2s
] 2 + 4s
s(s +
1
2
)
=
A
s
+
B
(s +
1
2
)
8
_
e
s
e
2s

2 + 4s = A(s +
1
2
) +Bs
de donde
A+B = 4
1
2
A = 8
_
e
s
e
2s

2
Despus de resolver
A = 16
_
e
s
e
2s

4
B = 16
_
e
2s
e
s

+ 8
de este modo
V (s) =
16 [e
s
e
2s
] 4
s
+
16 [e
2s
e
s
] + 8
(s +
1
2
)
122
al antitransformar
v(t) = 16u(t 1) 16u(t 2) 4 + 16e

1
2
(t2)
u(t 2) 16e

1
2
(t1)
u(t 1) + 8e

1
2
t
v(t) = 8(e

1
2
t

1
2
) + 16(1 e

1
2
(t1)
)u(t 1) + 16(e

1
2
(t2)
1)u(t 2)
otra forma equivalente es:
v(t) =
_

_
8(e

1
2
t

1
2
)
12 + 8e

1
2
t
16e

1
2
(t1)
4e

1
2
t
16e

1
2
(t1)
+ 16e

1
2
(t2)
4
t < 1
1 t < 2
2 t <
123
La funcin impulso unitario
p

(t t
0
) =
_

_
0
1
2a
0
0 t < (t
0
a)
(t
0
a) t < (t
0
+a)
t (t
0
+a)
a partir de la funcin anterior se obtiene la funcin delta Dirac
(t t
0
) = lim
a0
p

(t t
0
)
Propiedades:
a)
(t t
0
) =
_
_
_

0
t = t
0
t = t
0
b)

_
0
(t t
0
)dt = 1
Transformada de laplace de la funcin delta Dirac
Teorema: para t
0
> 0
L{(t t
0
)} = e
st
0
Prueba:
este resultado se obtiene de la funcin
p

(t t
0
) =
1
2a
[u(t (t
0
a))]
1
2a
[u(t (t
0
+a))]
124
y luego de transformarla
L{p

(t t
0
)} =
1
2a
_
1
s
e
s(t
0
a)

1
s
e
s(t
0
+a)
_
L{p

(t t
0
)} =
e
st
0
2sa
_
e
as
e
as

luego
L{(t t
0
)} = lim
a0
L{p

(t t
0
)}
L{(t t
0
)} = lim
a0
e
st
0
2sa
_
e
as
e
as

por la regla de LHpital, se deriva, con respecto a a, el numerador y el denominador

de manera independiente
L{(t t
0
)} = lim
a0
se
st
0
2s
_
e
as
+e
as

=
e
st
0
2
[1 + 1] = e
st
0
Ejemplo Resolver el problema anterior con f(t) = 8(t 1)
Solucin:
al sustituir datos
dv
dt
+
1
2
v = 8(t 1) 2
al transformar
sV (s) 4 +
1
2
V (s) = 8e
s

2
s
(s +
1
2
)V (s) = 8e
s

2
s
+ 4
(s +
1
2
)V (s) =
8se
s
2 + 4s
s
V (s) =
8se
s
2 + 4s
s(s +
1
2
)
125
al desarrollar fracciones parciales:
8se
s
2 + 4s
s(s +
1
2
)
=
A
s
+
B
(s +
1
2
)
8se
s
2 + 4s = A(s +
1
2
) +Bs
de donde
A +B = 4 + 8e
s
1
2
A = 2
Solution is :
_
A = 4, B = 8 + 8e
s
_
V (s) =
4
s
+
8 + 8e
s
(s +
1
2
)
Al antitransformar
v(t) = 4 + 8e

1
2
t
+ 8u(t 1)e

1
2
(t1)
en su forma equivalente
v(t) =
_
_
_
4 + 8e

1
2
t
para 0 t < 1
4 + 8
_
e

1
2
t
+e

1
2
(t1)
_
para 1 t < 3.1
La representacin grca de este modelo es la siguiente
Grca de de v contra t
126
Ejemplo: obtener la solucin de la siguiente ecuacin diferencial
_

_
y

+ 3y

+ 2y = 10(t 1)
y(0) = 5
y

(0) = 5
Al transformar la ecuacin diferencial
Y (s) =
10e
s
+ 5s + 10
[s
2
+ 3s + 2]
Y (s) =
10e
s
+ 5s + 10
[s
2
+ 3s + 2]
=
10e
s
+ 5s + 10
(s + 1)(s + 2)
=
A
(s + 1)
+
B
(s + 2)
10e
s
+ 5s + 10 = A(s + 2) +B(s + 1)
A+B = 5
2A+B = 10e
s
+ 10
Con SWP se tiene
A +B = 5
2A+B = 10e
s
+ 10
, Solution is :
_
B = 10e
s
, A = 10e
s
+ 5
_
Y (s) =
2e
s
+ 10s + 20
[s
2
+ 3s + 1]
=
10e
s
+ 5
(s + 1)
+
10e
s
(s + 2)
Al antitransformar
y(t) = 10e
(t1)
u(t 1) + 5e
t
10e
2(t1)
u(t 1)
y(t) = 5e
t
+ 10u(t 1)
_
e
(t1)
e
2(t1)

127
otra forma de expresar este resultado es el siguiente
y(t) =
_
_
_
5e
t
5e
t
+ 10
_
e
(t1)
e
2(t1)

0 t 1
t > 1
la grca de esta funcin se muestra a continuacin
Ejemplo: Resolver
y

+ 2y

+ 17 = 10(t 1.5)
y(0) = 1
y

(0) = 0
Solucin:
s
2
Y (s) s 0 + 2 [Y (s) 1] + 17Y (s) = 10e
1.5s
Y (s) =
(s + 2) + 10e
1.5s
s
2
+ 2s + 17
los trminos
(s + 2)
s
2
+ 2s + 17
=
s + 1
(s + 1)
2
+ 4
2
+
1
4
_
4
(s + 1)
2
+ 4
2
_
10e
1.5s
s
2
+ 2s + 17
=
10
4
_
4
(s + 1)
2
+ 4
2
_
e
1.5s
128
de donde
Y (s) =
s + 1
(s + 1)
2
+ 4
2
+
1
4
_
4
(s + 1)
2
+ 4
2
_
+
10
4
_
4
(s + 1)
2
+ 4
2
_
e
1.5s
al antitransformar
y(t) = e
t
cos 4t +
1
4
e
t
sin 4t +
10
4
__
e
t
sin 4t
_
u(t)

tt1.5
y(t) = e
t
_
cos 4t +
1
4
sin4t
_
+
10
4
_
e
(t1.5)
sin4 (t 1.5) u(t 1.5)

y la derivada
y

(t) = e
t
_
cos 4t +
1
4
sin 4t
_
+e
t
(4 sin 4t + cos 4t) +
5
2
D
(t 1. 5) e
t+1. 5
sin (4t 6.0)
5
2
H
(t 1. 5) e
t+1. 5
sin (4t 6.0) + 10
H
(t 1. 5) e
t+1. 5
cos (4t 6.0)
129
La grca queda
La integral de convolucin
Si las funciones f y g son continuas por tramos en [0, ], entonces un producto especial
denotado por f g se dene con la integral
f g =
t
_
0
f()g(t )d
se llama convolucin de f y g, y es una funcin de t
Ejemplo: obtener la convolucin de las funciones f = e
t
y g = sin t
Solucin:
f g =
t
_
0
f()g(t )d =
t
_
0
e

sin(t )d
integrando por partes
u = e

, du = e

d
dv = sin(t )d, v = cos(t )
130
_
udv = uv
_
vdu
_
e

sin(t )d = e

cos(t ) +
_
e

cos(t )d
integrando por partes de nueva cuenta
_
e

cos(t )d
donde
u = e

, du = e

d
dv = cos(t )d, v = sin(t )
_
e

cos(t )d = e

sin(t )
_
e

sin(t )d
_
e

sin(t )d = e

cos(t )
_
e

sin(t ) +
_
e

sin(t )d
_
_
e

sin(t )d = e

cos(t ) e

sin(t )
_
e

sin(t )d
2
_
e

sin(t )d = e

cos(t ) e

sin(t )
_
e

sin(t )d =
1
2
e

[cos(t ) sin(t )]
_
t
0
e

sin(t )d =
_
1
2
e
t
_

_
1
2
cos t
1
2
sint
_
por ltimo:
_
t
0
e

sin(t )d =
1
2
_
sin t cos t +e
t

tambin se puede vericar que

f g = g f
t
_
0
f()g(t )d
131
g f =
t
_
0
g()f(t )d
al hacer el cambio de variable
= t , se tiene d = d
para = 0, = t; y para = t se tiene = 0
si
g f =
0
_
t
g(t )f()d
=
t
_
0
g(t )f()d =
t
_
0
g(t )f()d
para el ejemplo anterior se tiene
g f =
_
t
0
e
(t)
sin()d
_
t
0
e
(t)
sin()d =
1
2
e
t

1
2
cos t +
1
2
sin t
Teorema de convolucin
Si f(t) y g(t) son continuas por tramos en [0, ) y de orden exponencial, entonces
L{g f} = L{g}L{f} = F(s)G(s)
Demostracin:
F(s)G(s) = F(s)
_

0
_
e
s
g()d
_
=
_

0
_
F(s)e
s
g()d
_
132
Por el teorema
L{f(t )u(t )} =
_

0
e
st
f(t )u(t )dt = F(s)e
s
F(s)G(s) =
_

0
_
F(s)e
s
g()d
_
=
_

0
___

0
e
st
f(t )u(t )dt
_
g()d
_
F(s)G(s) =
_

0
__

e
st
f(t )dt
_
g()d
F(s)G(s) =
_

0
e
st
__
t=
t=
g()f(t )dt
_
d
Esta integral se toma sobre la regin innita del plano tx que se muestra en la siguiente
gura
Entra gura
donde de acuerdo a la gura
: 0 t
t :
Pero
L{g f} =
_

0
e
st
___
=t
=0
g()f(t )d
__
dt
por lo que
L{g f} = F(s)G(s)
Para el ejemplo anterior se tiene:
f = e
t
y g = sin t
F(s) =
1
s + 1
y G(s) =
1
s
2
+ 1
133
de donde
F(s)G(s) =
1
(s + 1) (s
2
+ 1)
g f = L
1
{F(s)G(s)} = L
1
_
1
(s + 1) (s
2
+ 1)
_
mediante el empleo de fracciones parciales
1
(s + 1) (s
2
+ 1)
=
1
2
_
1
(s + 1)

s
(s
2
+ 1)
+
1
(s
2
+ 1)
_
por lo que
g f = L
1
{
1
(s + 1) (s
2
+ 1)
} =
1
2
L
1
_
1
(s + 1)

s
(s
2
+ 1)
+
1
(s
2
+ 1)
_
por ltimo
g f =
1
2
_
e
t
cos t + sin t

Transformada de una integral

Por medio de la integral de convolucin, se puede obtener la transformada de la sigu-
iente integral
_
t
0
f()d
dado que
f g =
_
t
0
f()g(t )d
haciendo
g(t) = g(t ) = 1
se tiene
L{f g} = F(s)G(s) = F(s)
_
1
s
_
pero
L{f g} = L{
_
t
0
f()(1)d} =
F(s)
s
134
al antitransformar
_
t
0
f()(1)d = L
1
{
F(s)
s
}
Ejemplo: obtener la transformada de
_
t
0
sin 2tdt
L{
_
t
0
sin2tdt} =
F(s)
s
L{
_
t
0
sin2tdt} =
1
s
F(s) =
1
s
_
2
s
2
+ 4
_
=
1
2
_
1
s

s
s
2
+ 4
_
al obtener la antitransformada, se puede vericar que
_
t
0
sin 2tdt =
1
2
[1 cos 2t]
Ejemplo: Obtener la siguiente transformada
L{t
_
t
0
sin d}
Solucin: haciendo
f(t) =
_
t
0
sin d
L{tf(t)}
por la propiedad
L{tf(t)} =
d
ds
F(s)
de esta forma
F(s) =
1
s
_
1
s
2
+ 1
_
L{tf(t)} =
d
ds
_
1
s
_
1
s
2
+ 1
__
=
1
s
2
(s
2
+ 1)
+
2
(s
2
+ 1)
2
135
luego
L
1
{tf(t)} = L
1
{
1
s
2

1
s
2
+ 1
+
2
(s
2
+ 1)
2
}
= t sin t + (sin t t cos t)
= sin t t cos t
al sumar estas dos antitransformadas
L{tf(t)} = L{t
_
t
0
sin d} = t t cos t
Otra forma, es realizar primero la integral
L{t
_
t
0
sin d} = L{t(cos t + 1)} = L{t t cos t)}
=
1
s
2

(s
2
1)
(s
2
+ 1)
2
=
1
s
2
+
2
(s
2
+ 1)
2

1
s
2
+ 1
lo cual concuerda con el resultado anterior
Ejemplo: obtenga la transformada de
L{
_
t
0
sind}
el integrando se puede expresar
_
t
0
sin (1)d
donde
f(t) = t sin t y g(t) = 1
por lo que
L{f(t) g(t)} = F(s)G(s) =
_
d
ds
_
1
s
2
+ 1
__ _
1
s
_
136
=
_
2s
(s
2
+ 1)
2
_ _
1
s
_
=
2
(s
2
+ 1)
2
otra forma de resolverlo
_
t
0
sin d = sin t t cos t
al transformar
L{
_
t
0
t sin t} = L{sint t cos t}
=
1
(s
2
+ 1)

s
2
1
(s
2
+ 1)
2
=
s
2
+ 1 s
2
+ 1
(s
2
+ 1)
2
=
2
(s
2
+ 1)
2
137
Anexo de fracciones parciales para tema de Laplace
Fracciones parciales
Denicin:Si F(s) es una funcin que representa la transformada de Laplace
de una funcin f(t) y si esta funcin esta denida a partir de una fraccin
racional propia
2
L[f(t)] = F(s) =
g(s)
h(s)
entonces:
Caso 1 (Factores lineales distintos) A cada factor lineal as + b, del
denominador de un fraccin propia, le corresponde una fraccin de la forma
A
as+b
, siendo A una constante a determinar.
Ejemplo:
s + 1
s
3
+s
2
6s
=
s + 1
s(s 2)(s + 3)
=
A
s
+
B
s 2
+
C
s + 3
s + 1 = A(s 2)(s + 3) +Bs(s + 3) +Cs(s 2)
De esta ltima igualdad al hacer s = 0, s = 2 y s = 3, se tiene:
1 = 6A
3 = 10B
2 = 15C
de donde
A =
1
6
, B =
3
10
y C =
2
15
de donde
s + 1
s
3
+s
2
6s
=
1
6
s
+
3
10
s 2

2
15
s + 3
2
Si el grado de h(s) es mayor que el grado de g(s), F(s) se denomina funcin propia
138
Caso 2 (Factores lineales repetidos) A cada factor lineal as + b, que
se repita n veces en denominador de un fraccin propia, le corresponde una
suma de n fracciones de la forma
A
1
as +b
+
A
2
(as +b)
2
+
A
3
(as +b)
3
+... +
A
n
(as +b)
n
siendo los numeradores constantes a determinar
Ejemplo:
3s + 5
s
3
+s
2
s + 1
=
3s + 5
(s + 1)(s 1)
2
=
A
(s + 1)
+
B
(s 1)
+
C
(s 1)
2
3s + 5 = A(s 1)
2
+B(s + 1)(s 1) +C(s + 1) (1.2)
Al sustituir s = 1 y s = 1 en la expresin anterior se tiene
2 = 4A
8 = 2C
de donde
A =
1
2
y C = 4
al derivar 1.2 con respecto a s
3 = 2A(s 1) + 2sB +C
al sustituir s = 1 y los valores de A y C
3 = 0 + 2B + 4
B =
1
2
139
por ltimo
3s + 5
s
3
+s
2
s + 1
=
1
2
(s + 1)

1
2
(s 1)
+
4
(s 1)
2
Caso 3 (Factores cuadrticos distintos) A cada factor cuadrtico ir-
reducible, as
2
+bs +c, que se encuentre en el denominador de un fraccin
propia, le corresponde una fraccin de la forma
As +B
as
2
+bs +c
siendo A y B constantes a determinar
Ejemplo
s
3
+s
2
+s + 2
s
4
+ 3s
2
+ 2
=
s
3
+s
2
+s + 2
(s
2
+ 1)(s
2
+ 2)
=
A
1
s +B
1
(s
2
+ 1)
+
A
2
s +B
2
(s
2
+ 2)
s
3
+s
2
+s + 2 = (A
1
s +B
1
)(s
2
+ 2) + (A
2
s +B
2
)(s
2
+ 1)
Al desarrollar
s
3
+s
2
+s + 2 = (A
1
s
3
+B
1
s
2
+ 2A
1
s + 2B
1
) + (A
2
s
3
+B
2
s
2
+A
2
s +B
2
)
s
3
+s
2
+s + 2 = (A
1
+A
2
)s
3
+ (B
1
+B
2
)s
2
+ (2A
1
+A
2
)s + (2B
1
+B
2
)
de donde
1 = (A
1
+A
2
)
1 = (B
1
+B
2
)
1 = (2A
1
+A
2
)
2 = (2B
1
+B
2
)
140
despues de resolver se tiene
A
1
= 0, A
2
= 1, B
1
= 1 y B
2
= 0
s
3
+s
2
+s + 2
s
4
+ 3s
2
+ 2
=
1
(s
2
+ 1)
+
s
(s
2
+ 2)
Ejemplo:
s
2
16 s
4
=
s
2
s
4
2
4
=
s
2
(s
2
+ 2
2
)(s
2
2
2
)
=
s
2
(s
2
+ 2
2
)(s + 2)(s 2)
s
2
(s
2
+ 2
2
)(s + 2)(s 2)
=
A
1
s +B
1
(s
2
+ 2
2
)
+
A
2
(s + 2)
+
A
3
(s 2)
s
2
= (A
1
s +B
1
)(s + 2)(s 2) +A
2
(s
2
+ 2
2
)(s 2) +A
3
(s
2
+ 2
2
)(s + 2)
Al sustituir s = 2 y s = 2 se tiene
4 = 32A
3
4 = 32A
2
por lo que
A
2
=
1
8
y A
3
=
1
8
al desarrollar
s
2
= (A
1
s +B
1
)(s
2
2
2
) +A
2
(s
2
+ 2
2
)(s 2) +A
3
(s
2
+ 2
2
)(s + 2)
s
2
= (A
1
s
3
+B
1
s
2
4A
1
s 4B
1
) + (A
2
s
3
+ 4A
2
s 2A
2
s
2
8A
2
)
+(A
3
s
3
+ 4A
3
s + 2A
3
s
2
+ 8A
3
)
s
2
= (A
1
+A
2
+A
3
)s
3
+ (B
1
2A
2
+ 2A
3
)s
2
+ (4A
1
+ 4A
2
+ 4A
3
)s
+(4B
1
8A
2
+ 8A
3
)
141
de donde
0 = A
1
+A
2
+A
3
1 = B
1
2A
2
+ 2A
3
0 = 4A
1
+ 4A
2
+ 4A
3
0 = 4B
1
8A
2
+ 8A
3
al sustituir los valores de A
2
=
1
8
y A
3
=
1
8
se tiene
0 = A
1
+ 0
1 = B
1

1
2
0 = 4A
1
+ 0
0 = 4B
1
1 1
de donde
A
1
= 0 y B
1
=
1
2
por ltimo
s
2
16 s
4
=

1
2
(s
2
+ 2
2
)
+
1
8
(s + 2)

1
8
(s 2)
Caso 4 (Factores cuadrticos iguales) A cada factor cuadrtico irre-
ducible, as
2
+bs+c, que se repita n veces en el denominador de un fraccin
racional propia, le corresponde una suma de n fracciones de la forma
A
1
s +B
1
as
2
+bs +c
+
A
2
s +B
2
(as
2
+bs +c)
2
+... +
A
n
s +B
n
(as
2
+bs +c)
n
siendo los valores de A
i
y B
i
constantes a determinar
Ejemplo:
142
2s
2
+ 3
(s
2
+ 1)
2
=
A
1
s +B
1
(s
2
+ 1)
+
A
2
s +B
2
(s
2
+ 1)
2
2s
2
+ 3 = (A
1
s +B
1
)(s
2
+ 1) + (A
2
s +B
2
)
2s
2
+ 3 = A
1
s
3
+B
1
s
2
+A
1
s +B
1
+A
2
s +B
2
2s
2
+ 3 = A
1
s
3
+B
1
s
2
+ (A
1
+A
2
)s + (B
1
+B
2
)
de donde
0 = A
1
2 = B
1
0 = A
1
+A
2
3 = B
1
+B
2
por lo que
A
1
= A
2
= 0, B
1
= 2 y B
2
= 1
por ltimo
2s
2
+ 3
(s
2
+ 1)
2
=
2
(s
2
+ 1)
+
1
(s
2
+ 1)
2
Ejemplo:
Resolver la siguiente ecuacin diferencial
d
2
x
dt
2
+
dx
dt
+x = sent
sujeta a las condiciones iniciales:
dx
dt
(0) = 2 y x(0) = 1
Solucin:
143
Al aplicar la transformada de Laplace
L{
d
2
x
dt
2
} + L{
dx
dt
} + L{x} = L{sent}
{s
2
X(s) sX(0) X

(0)} +{sX(s) X(0)} +X(s) =

1
s
2
+ 1
{s
2
X(s) +s 2} +{sX(s) + 1} +X(s) =
1
s
2
+ 1
(s
2
+s + 1)X(s) =
1
s
2
+ 1
s + 1
X(s) =
1
(s
2
+s + 1)(s
2
+ 1)
+
(s + 1)
(s
2
+s + 1)
Al desarrollar en fracciones parciales en el primer trmino del miembro derecho
1
(s
2
+s + 1)(s
2
+ 1)
=
A
1
s +B
1
(s
2
+s + 1)
+
A
2
s +B
2
(s
2
+ 1)
1 = (A
1
s +B
1
)(s
2
+ 1) + (A
2
s +B
2
)(s
2
+s + 1)
1 = (A
1
s
3
+B
1
s
2
+A
1
s +B
1
) + (A
2
s
3
+B
2
s
2
+A
2
s
2
+B
2
s +A
2
s +B
2
)
1 = (A
1
+A
2
)s
3
+ (B
1
+B
2
+A
2
)s
2
+ (A
1
+B
2
+A
2
)s + (B
1
+B
2
)
de donde
A
1
+A
2
= 0
B
1
+B
2
+A
2
= 0
A
1
+B
2
+A
2
= 0
B
1
+B
2
= 1
la solucin del sistema es:
A
1
= 1, A
2
= 1, B
1
= 1 y B
2
= 0
144
por lo que
1
(s
2
+s + 1)(s
2
+ 1)
=
s + 1
(s
2
+s + 1)
+
1s
(s
2
+ 1)
=
s + 1
(s
2
+s +
1
4

1
4
+ 1)

s
(s
2
+ 1)
=
s + 1
_
(s +
1
2
)
2
+
3
4

s
(s
2
+ 1)
=
s +
1
2
+
1
2
_
(s +
1
2
)
2
+
__
3
4
_
2
_
s
(s
2
+ 1)
=
_
s +
1
2
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_ +
1
2
_
(s +
1
2
)
2
+
__
3
4
_
2
_
s
(s
2
+ 1)
=
_
s +
1
2
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_ +
1
2
_
_
4
3
_
__
3
4
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_
s
(s
2
+ 1)
por otro lado, el segundo trmino queda
(s + 1)
(s
2
+s + 1)
=
(s 1)
_
s +
1
2
_
2
+
__
3
4
_
2
=
(s +
1
2

1
2
1)
_
s +
1
2
_
2
+
__
3
4
_
2
=
(s +
1
2
)
3
2
_
s +
1
2
_
2
+
__
3
4
_
2
=
(s +
1
2
)
_
s +
1
2
_
2
+
__
3
4
_
2
+
3
2
_
4
3
_
3
4
_
s +
1
2
_
2
+
__
3
4
_
2
al sumar estos desarrollos se tiene
X(s) =
_
s +
1
2
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_ +
1
2
_
_
4
3
_
__
3
4
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_
s
(s
2
+ 1)

(s +
1
2
)
_
s +
1
2
_
2
+
__
3
4
_
2
+
3
2
_
4
3
_
3
4
_
s +
1
2
_
2
+
__
3
4
_
2
145
X(s) = 2
_
4
3
__
3
4
_
_
(s +
1
2
)
2
+
__
3
4
_
2
_
s
(s
2
+ 1)
Al antitransformar
x(t) = 2
_
4
3
e

1
2
t
sin
_
3
4
t cos t
El siguiente segmento de programa con el paquete Maple realiza la antitransformada
de Laplace para este problema
Ejemplo:
Resolver la ecuacin diferencial:
y

+y

+y = t cos 2t
sujeta a las condiciones iniciales
_
_
_
y

(0) = 2
y(0) = 1
146
Solucin:
Al transformar
{s
2
Y (s) +s 2} +{sY (s) + 1} +Y (s) = L{t cos 2t}
pero
L{t cos 2t} =
d
ds
L{cos 2t} =
d
ds
[
s
s
2
+ 4
] =
(s
2
+ 4)(1) s(2s)
(s
2
+ 4)
2
=
s
2
4
(s
2
+ 4)
2
(s
2
+s + 1)Y (s) +s 2 + 1 =
s
2
4
(s
2
+ 4)
2
(s
2
+s + 1)Y (s) = 1 s +
s
2
4
(s
2
+ 4)
2
(s
2
+s + 1)Y (s) =
(1 s)(s
2
+ 4)
2
(s
2
+ 4)
2
+
s
2
4
(s
2
+ 4)
2
(s
2
+s + 1)Y (s) =
(1 s)(s
2
+ 4)
2
+ (s
2
4)
(s
2
+ 4)
2
Y (s) =
s
5
+s
4
8s
3
+ 9s
2
16s + 12
(s
2
+s + 1) (s
2
+ 4)
2
mediante el empleo de fracciones parciales
s
5
+s
4
8s
3
+ 9s
2
16s + 12
(s
2
+s + 1) (s
2
+ 4)
2
=
As +B
(s
2
+s + 1)
+
Cs +D
(s
2
+ 4)
2
+
Es +F
(s
2
+ 4)
s
5
+s
4
8s
3
+ 9s
2
16s + 12 = (As +B)
_
s
2
+ 4
_
2
+ (Cs +D)(s
2
+s + 1)
+(Es +F)(s
2
+s + 1)
_
s
2
+ 4
_
s
5
+s
4
8s
3
+ 9s
2
16s + 12 = (A +E)s
5
+ (B +E +F)s
4
+ (8A+C + 5E +F)s
3
+(8B +C +D + 4E + 5F)s
2
+(16A+C +D + 4E + 4F)s
+(16B +D + 4F)
147
de donde se tiene el siguiente sistema de ecuaciones
_

_
A+E = 1
B +E +F = 1
8A+C + 5E +F = 8
8B +C +D + 4E + 5F = 9
16A +C +D + 4E + 4F = 16
16B +D + 4F = 12
cuya solucin es:
A =
212
169
, B =
101
169
, C =
8
13
, D =
24
13
, E =
43
169
, F =
25
169
por lo que
s
4
+ 8s
2
s + 17
(s
2
+s + 1) (s
2
+ 4)
2
=

212
169
s +
101
169
(s
2
+s + 1)
+
8
13
s +
24
13
(s
2
+ 4)
2
+
43
169
s +
25
169
(s
2
+ 4)
El denominador se puede arreglar de la siguiente forma:
s
2
+s + 1 = s
2
+s +
1
4

1
4
+ 1 = (s +
1
2
)
2
+
3
4
= (s +
1
2
)
2
+
_

3
2
_
2
Desarrollo del primer trmino:

212
169
s +
101
169
(s +
1
2
)
2
+
_

3
2
_ =
212
169
(s +
1
2

1
2
)
(s +
1
2
)
2
+
_

3
2
_
2
+
101
169
_
2

3
__

3
2
_
(s +
1
2
)
2
+
_

3
2
_
2
=
212
169
_

_
(s +
1
2
)
(s +
1
2
)
2
+
_

3
2
_
2

(
2

3
)(
1
2
)
_

3
2
_
(s +
1
2
)
2
+
_

3
2
_
2
_

_
148
+
101
169
_
2

3
_
_

3
2
_
(s +
1
2
)
2
+
_

3
2
_
2
Al antitransformar
L
_

212
169
s +
101
169
(s
2
+s + 1)
_
=
212
169
_
e

1
2
t
cos
_

3
2
_
t
_
1

3
_
e

1
2
t
sin
_

3
2
_
t
_
+
101
169
_
2

3
_
e

1
2
t
sin
_

3
2
_
t
=
212
169
e

1
2
t
cos
_

3
2
_
t +
414
169

3
e

1
2
t
sin
_

3
2
_
t
Desarrollo del segundo trmino
8
13
s +
24
13
(s
2
+ 4)
2
=
8
13
s
(s
2
+ 2
2
)
2
+
24
13
1
(s
2
+ 2
2
)
2
=
8
13(2)(2)
(2)(2)s
(s
2
+ 2
2
)
2
+
24
13(2)(2)
3
1(2)(2)
3
(s
2
+ 2
2
)
2
antes de antitransformar, conviene recordar que
L(t sin kt) =
2ks
(s
2
+k
2
)
2
L(sin kt kt cos kt) =
2k
3
(s
2
+k
2
)
2
L
_
8
13
s +
24
13
(s
2
+ 4)
2
_
=
8
52
(t sin2t) +
24
208
(sin 2t 2t cos 2t)
=
2
13
(t sin2t) +
3
26
(sin 2t 2t cos 2t)
Desarrollo del tercer trmino
43
169
s +
25
169
(s
2
+ 4)
=
43
169
s
(s
2
+ 2
2
)
+
25
169(2)
2
(s
2
+ 2
2
)
149
al antitransformar:
L
_
43
169
s +
25
169
(s
2
+ 4)
_
=
43
169
cos 2t +
25
(2)169
sin2t
al sumar estas antitransformadas:
y(t) =
212
169
e

1
2
t
cos
_

3
2
_
t +
414
169

3
e

1
2
t
sin
_

3
2
_
t
+
2
13
(t sin 2t) +
3
26
(sin2t 2t cos 2t)
+
43
169
cos 2t +
25
(2)169
sin 2t
por ltimo, al simplicar
y(t) =
212
169
e

1
2
t
cos
_

3
2
_
t +
138

3
169
e

1
2
t
sin
_

3
2
_
t
+
2
13
t sin 2t
3
13
t cos 2t)
+
43
169
cos 2t +
32
169
sin2t
El texto que se muestra a continuacin corresponde a la solucin del problema con el
paquete Mathematica
150
El mismo problema resuelto con Maple
Referencias bibliogrcas
[1] Daniel A. Marcus
Ecuaciones Diferenciales, Editorial CECSA, Mxico,1995, primera edicin
en espaol.
[2] Dennis G. Zill & Michael R. Cullen.
Ecuaciones Diferenciales con problemas de valores en la frontera, Editorial
Thomson Learning, Mxico, 2002 quinta edicin en espaol.
151