La Transformacion de Laplace PDF

LA TRANSFORMACION DE LAPLACE
1. INTRODUCCION
En esta publicacin se presenta la transformacin de Laplace y algunas de sus apli-
caciones, principalmente en la resolucin de problemas de valores iniciales que incluyen
ecuaciones o sistemas de ecuaciones diferenciales o integrodiferenciales lineales. Como se
podr apreciar, la transformacin de Laplace proporciona un mtodo eficaz en el trata-
miento de esos problemas, y por sus ventajas sobre los mtodos convencionales es de uso
habitual en anlisis y sntesis de circuitos, as como en el estudio de sistemas lineales y de
sistemas de control y servomecanismos.
La forma de presentacin utilizar algunos conceptos simples del anlisis lineal,
considerndose a la transformacin de Laplace y a su inversa como operadores lineales.
El estudio de sus propiedades operacionales, que ser efectuado con cierto detalle, abre el
camino para introducir otras transformaciones lineales integrales, tales como la transfor-
macin de Fourier y algunas de sus generalizaciones.
Debido a que las transformaciones lineales integrales de funciones f ( t ) definidas
en un intervalo ( a, b ) (no necesariamente acotado), son de gran utilidad en la resolucin
de problemas cuyos modelos matemticos utilicen ecuaciones diferenciales o integro-
diferenciales lineales, es conveniente efectuar una presentacin general de las mismas.
Si K ( t, s ) es una funcin especificada de la variable t y de un parmetro s

, una
transformacin lineal integral de funciones f (t ), respecto del ncleo K ( t, s ), es definida
mediante la ecuacin
2 La Transformacin de Laplace H. V. Masa

(1.1)
=

) ( ) , ( )] ( [
b
a
t d t f s t K t f T

.
En esta igualdad T [ f ( t )] representa una funcin F ( s ) llamada imagen o trans-
formada de la funcin f ( t )

. En cada caso deber especificarse el espacio de funciones en
el cual est definida la transformacin, y adems el rango de valores del parmetro s, los
que debern ser tales que exista la integral del segundo miembro de (1.1).
Se mostrar que cuando la transformacin (1.1) obtenida con determinados ncleos
K ( t, s ) es aplicada a formas diferenciales o integro-diferenciales en f ( t ) , cambia tales
formas en expresiones algebraicas en la transformada F (s ) que involucran adems valo-
res iniciales de la funcin f (t ). Por esta razn, ciertos problemas con ecuaciones diferen-
ciales o integro-diferenciales se transforman en problemas algebraicos en la imagen de la
funcin incgnita. Si existe una transformacin inversa, la solucin del problema original
puede hallarse por este camino simple. Algunos problemas de contorno con ecuaciones en
derivadas parciales tambin pueden simplificarse de modo anlogo.
Cuando a = 0 , b = + , y K ( t, s ) = e
s t
, la transformacin definida por medio de
la frmula (1.1) es llamada transformacin de Laplace. Su aplicacin ha reemplazado con
ventajas al mtodo clsico y tambin al procedimiento simblico introducido por el inge-
niero electricista ingls Oliver Heaviside (1850-1925). El desarrollo de la transformacin
fue comenzado por Pierre Simon Laplace (1749-1827), y continuado por Augustin Louis
Cauchy (1789-1857), quien hizo importantes aportes sobre el tema.
H. V. Masa La transformacin de Laplace 3

2. DEFINICION DE LA TRANSFORMACION DE LAPLACE
DEFINICION: Sea f una funcin definida en [

0

, +

), excepto a lo sumo en un conjun-
to discreto. Considrese la integral impropia

+
0
) (

t d t f e
t s

,
donde s es una variable compleja. Si existe un conjunto (no vaco) de valores de la va-
riable s para los cuales la integral es convergente, definir en ese conjunto una funcin
F de la variable compleja s. En tal caso se dice que f es transformable Laplace, y la
funcin F as definida es llamada transformada de Laplace de f , simbolizndosela in-
distintamente por L [ f ] , L [ f ] (s

), o L [ f

(t

)]

.
As, por definicin, es
(2.1) L [ f

(t

)] =
+
0
) (

t d t f e
t s
,
para cada valor s tal que la integral del segundo miembro converge.
Se examinan a continuacin algunos casos simples, para luego estudiar condiciones
que aseguren la existencia de transformada para cierta clase de funciones.
EJEMPLO 1. Sea f (t )

= 1 para todo t. Entonces

b
t s
t d e

0
1 =
. 0 si , ) 1 (
1
, 0 si ,

=
s e
s
s b
b s

Se deduce de esto que si Re ( s

) 0 , la integral carece de lmite para b + ,
mientras que si Re (s

) > 0 , la integral converge, y resulta

L [ 1 ]

=
s
1
, Re (s

) > 0

.

= e
a t

. Entonces

b
t a t s
t d e e

0

=
. si , ) 1 (
) (
1
, si ,

) (

a s e
a s
a s b
b a s

=

Anlogamente al caso anterior, si Re ( s

) a , la integral diverge, mientras que si
Re (s

) > a , la integral converge, y resulta
L [ e
a t
]

=

1

a s

, Re (s

) > a .

= cos w t . Entonces

b
t s
t d wt e

0
cos =

2 2

2 2

) cos sen (

w s
s
wb s wb w
w s
e
b s
+
+
+

.
Obviamente, si Re (s

) 0, la integral diverge, mientras que si Re (s

) > 0 , existe
lmite del segundo miembro para b + , resultando
L [ cos w t

]

=

2 2
w s
s
+

, Re (s

) > 0

.

3. CONDICIONES DE EXISTENCIA DE LA TRANSFORMADA DE LAPLACE
En muchos casos es posible calcular la transformada de Laplace de una funcin por
medio de la definicin, como se hizo en los ejemplos anteriores. Sin embargo, es necesa-
rio estudiar condiciones que aseguren la existencia de la transformada de una funcin f
dada, pues resultar til considerar a L como un operador lineal de un espacio vectorial
en otro.
Un anlisis inicial de (2.1) indica que una condicin que deber ser cumplida por la
funcin f es que la integral
(3.1)

b
t s
t d t f e

0
) (

exista para todo valor de

b > 0

. Esta exigencia es verificada cuando f es seccionalmente
continua en [ 0, + ), ya que en este caso el integrando de

(3.1)

tambin lo es, y en con-
secuencia la integral existe. Obsrvese que esta condicin es suficiente para la existencia
de la integral

(3.1),

aunque no necesaria,

dado que existen funciones integrables que no
son seccionalmente continuas. No obstante ello, se trabajar habitualmente con el conjun-
to de las funciones seccionalmente continuas pues con eso se cubre la mayora de los ca-
sos que habrn de considerarse.
En lo sucesivo, cada vez que se haga referencia a una propiedad vlida para todo

t a ,

deber entenderse como vlida para todos los valores del intervalo [ a, + ), en los
que la funcin est definida. Conviene recordar que el conjunto de valores del intervalo
[

0

, +

) en los cuales la funcin pueda no estar definida ser,

a lo sumo,

un conjunto
discreto.

Prosiguiendo con el anlisis, ntese que la seccional continuidad de f no alcanza
para garantizar la existencia de

L [ f ]

, ya que adems la integral impropia deber ser con-
vergente al menos para un conjunto (no vaco) de valores de la variable

s. Una forma de
asegurar esto es exigir que el valor absoluto del integrando est "mayorado" por alguna
funcin integrable y positiva cuya integral impropia sea convergente. Esta idea se estable-
ce con precisin en la definicin siguiente.
DEFINICION: Se dice que una funcin f es de orden exponencial en [

0

, +

), si exis-
ten constantes reales C, a, con C > 0 , tales que
(3.2)

f (t )
C e
a t

,
para todo valor de t 0 en que la funcin est definida.
Por ejemplo, la funcin constante f (t )

=

k es de orden exponencial en [

0

, +

),
pues cumple la condicin (3.2) con C

=

k
y a = 0

. Tambin lo es f ( t )

= t

, ya que
satisface (3.2) con C = 1 y a = 1

. Es evidente que una funcin exponencial es de orden
exponencial, as como toda funcin acotada en el intervalo [

0

, +

)

. Es fcil probar que
la suma, combinacin lineal, y producto de funciones de orden exponencial, son tambin
funciones de orden exponencial, y la demostracin de estas propiedades se propone como
un ejercicio.
En base a estas consideraciones, se deduce fcilmente que funciones como
t
n
, e
a t
, cos w t , sen w t , t
n
e
a t
cos w t , t
n
e
a t
sen w t ,
que aparecen habitualmente al tratar con ecuaciones diferenciales lineales con coeficientes
constantes, son de orden exponencial.


En cambio, la funcin f (t )

= e
t

2
, no es de orden exponencial en [

0

, +

), porque
lim
e
e
lim e
t
t
at
t
t t a
+ +
= = +

2
( )
,
cualquiera sea el valor a, lo que muestra que no existen constantes C, a, que hagan ve-
rificar la desigualdad

(3.2)

para tal funcin.
El teorema que sigue asegura la existencia de transformada de una clase de funcio-
nes suficientemente amplia para los usos corrientes de la transformacin de Laplace.
TEOREMA 3.1 Si f es una funcin seccionalmente continua y de orden exponencial en
[

0

, +

), existe un nmero real a tal que su integral de Laplace

+
0
) (

t d t f e
t s

converge para todo valor s tal que Re (s

) > a .
Demostracin: Por hiptesis, f es de orden exponencial en [

0

, +

) , por lo que
existen constantes reales C,

a,

tales que

f (t )
C e
a t

, para todo valor de

t 0

.
Entonces

e
s t

f

(t

)
=

e
Re ( s ) t

f

(t

)
C e
Re ( s ) t
e
a t

=

C e
( Re ( s ) a ) t
, para todo t 0 .
Adems

+
0
) ) ( Re (

t d e C
t a s
=

+
b
t a s
b
t d e C

0
) ) ( Re (

lim

= ) 1 (
) ( Re

) ) ( Re (

b a s
b
e
a s
C
lim

+

,

o sea

+
0
) ) ( Re (

t d e C
t a s
=
) ( Re a s
C
, si Re (s

) > a .
Usando ahora el teorema de comparacin para integrales impropias,

se deduce que

+
0
) (

t d t f e
t s

converge para todo valor s tal que Re (s

) > a .

OBSERVACIONES:
1. El Teorema 3.1 no slo prueba que toda funcin seccionalmente continua y de orden
exponencial es transformable Laplace, sino adems que el dominio de su funcin
transformada contiene un semiplano de la forma { s : Re (s

) > a }.
2. Ntese que, por uso del teorema de comparacin para integrales impropias, resulta no
slo la convergencia de la integral de Laplace, sino tambin su convergencia absoluta
cuando Re (s

) > a, verificndose adems que
(3.3)
) ( Re
) ( ) ( ] [

+
0

a s
C
t d t f e s f
t s
L

,
para cada s tal que Re (s

) > a .
De las observaciones anteriores se deduce que si f es seccionalmente continua y de
orden exponencial, el conjunto de

A

de nmeros reales a tales que la integral de Lapla-
ce de f converge para todo valor s tal que Re ( s

) > a , es no vaco. Existen dos casos
posibles: (

i

) Que la integral sea convergente para todo valor de s ; o (

ii

) Que existan
valores de s para los cuales la integral diverge. En este caso, indicando con al nfimo

del conjunto

A, no es difcil probar que la integral de Laplace de la funcin f diverge
para todo valor s tal que Re (s

) < . El teorema que sigue resume estas consideraciones,
y su demostracin es propuesta como un ejercicio.
TEOREMA 3.2 Sea f una funcin seccionalmente continua y de orden exponencial en
[

0

, +

)

. Si la integral de Laplace de f diverge para algn valor de

s, existe un nico
nmero real

con la propiedad de que la integral de Laplace de

f es absolutamente con-
vergente para todo valor s tal que Re ( s

) > , y es divergente para todo valor

s tal que
Re (s

) < .
OBSERVACIONES:
1. Ntese que, con la posible excepcin de la recta de ecuacin Re ( s

) = , el dominio
de L [ f ] es el semiplano { s : Re ( s

) > a }. Por este motivo el nmero real es lla-
mado abscisa de convergencia de L [ f ]

. Para ciertas funciones, como por ejemplo,
f (t )

= 0

, o f (t )

= e
t

2
, la regin de convergencia resulta ser todo el plano comple-
jo. En tales casos, se dir que la abscisa de convergencia de f es

.
2. Las conclusiones anteriores garantizan la existencia de transformada de toda funcin
seccionalmente continua y de orden exponencial. Debe tenerse en cuenta que estas
condiciones son suficientes, aunque no necesarias para la existencia de transformada,
ya que hay funciones transformables que no son continuas y/o no son de orden expo-
nencial. Por ejemplo, la funcin f (t )

= t

1/

2
es transformable an cuando no es sec-
cionalmente continua. En efecto, mediante el uso del teorema de comparacin no hay
dificultad para probar la convergencia de su integral de Laplace para todo valor de s
tal que Re (s

) > 0. Ms an, mediante el cambio de variable t = x
2
/ s, resulta

L [t
1/ 2
]

=
+
0

1

t d
t
e
t s
=
+
0

2

x d e
s
x
=
s
,
para cada s tal que Re (s

) > 0

.
La funcin f (t )

= t
1/ 2
del ejemplo no es seccionalmente continua. Se propone como
ejercicio encontrar un ejemplo de una funcin transformable Laplace que sea seccio-
nalmente continua y no sea de orden exponencial en [

0

, +

)

.
Como consecuencia de todo lo expuesto, resulta que el conjunto

E

de todas las fun-
ciones seccionalmente continuas y de orden exponencial, es un subconjunto propio del
conjunto de todas las funciones transformables Laplace. No es sencillo determinar con
exactitud este conjunto, y no se abordar este problema, trabajndose habitualmente con
el conjunto E por ser lo suficientemente amplio para los usos corrientes.

4. LA TRANSFORMACION DE LAPLACE COMO UNA TRANSFORMACION
LINEAL
El conjunto E de todas las funciones reales seccionalmente continuas y de orden
exponencial en [

0

, +

) , con la suma y el producto por escalares definido de la manera
usual, es un espacio vectorial real. Llmese con S al conjunto de todas las funciones
complejas cuyo dominio es un semiplano de la forma { s : Re ( s

) > a }, siendo a un n-
mero real cualquiera, o bien todo el plano complejo. El conjunto S tambin puede ser
considerado como un espacio vectorial real, pero para ello debe modificarse la definicin
habitual de igualdad con el objeto de posibilitar la suma entre sus elementos, ya que no to-
das las funciones de S tienen el mismo dominio. As, se dir que dos funciones F, G,
pertenecientes al conjunto S son iguales si existe un nmero real a tal que F (s ) = G (s )
para todo valor s tal que Re ( s

) > a

. (Obsrvese que esta definicin de igualdad difiere
de la habitual, que exige que ambas funciones tengan el mismo dominio, y adems que la
igualdad se verifique en todo punto del dominio comn a ambas). De este modo, si F y
G pertenecen a S, su funcin suma F + G ser la funcin cuyo dominio es la intersec-
cin de los dominios de F y de G, y adems ( F + G ) ( s ) para cada s de esa intersec-
cin. Es muy fcil verificar que con estas definiciones, y el producto por escalares defini-
do en la forma usual, S es un espacio vectorial.
En base a las consecuencias del Teorema 3.2, puede afirmarse que

L

define una
transformacin de

E

en

S. Es inmediato verificar que la transformacin

L

es lineal, es
decir que
(4.1) L [ a f + b g ]

=

a L [ f ]

+ b L [ g ] ,
cualesquiera sean los nmeros reales a, b, y las funciones

f, g, en E.

NOTA: Si no se modificara la nocin de igualdad en

S

del modo indicado, surgiran
algunas dificultades. En efecto, con la definicin de igualdad usual, no siempre L [ f + g

]
es la misma funcin que L [ f ] + L [

g

]

. Esa diferencia puede apreciarse considerando,
por ejemplo, el caso en que g ( t ) = f ( t ) , y siendo la abscisa de convergencia de la
funcin f un nmero real a. En tal caso L [ f + ( f )] = L [ 0

] = 0 para todo s,

mien-
tras que L [ f ] + L [ f ]

= 0 para todo valor de s tal que Re (s

) > a , pero no est defi-
nida si Re (s

) a

. Es decir que los dominios de L [ f + ( f ) ] y de L [ f ] + L [ f ] son
distintos, y en consecuencia, con la definicin usual de igualdad, tales funciones son dife-
rentes. Similar diferencia resulta en el caso de multiplicar una funcin f por el nmero 0.
Esas dificultades son obviadas con la definicin de igualdad adoptada en

S

, y de la linea-
lidad de las integrales impropias se concluye la validez de la igualdad (4.1) en todos los
casos.
Una vez probada la linealidad de la transformacin L : E S

, es de sumo inters
determinar si L es biyectiva, con el objeto de intentar definir una transformacin inversa.
Un planteo equivalente a ste es estudiar la existencia y la unicidad de soluciones de la
ecuacin funcional
(4.2) L [ y ]

=

F (s ) ,
donde F es una funcin dada de S , e y (t ) es la funcin incgnita.
Primeramente cabe observar que en caso de existir solucin para la ecuacin (4.2),
sta tendr infinidad de soluciones, ya que si f y g son funciones de E que difieren en
sus valores en un conjunto discreto, entonces L [ f ] = L [

g

]

. Sin embargo, aunque ta-
les funciones son distintas, en realidad son "muy parecidas", ya que nicamente difieren
en puntos aislados. Si sta resultara ser la mayor diferencia que pudiera existir entre las

soluciones de la ecuacin (4.2), podra considerarse que, para los fines prcticos, la trans-
formacin L es inyectiva. El teorema siguiente, conocido como teorema de Lerch, y que
no ser demostrado, asegura que ello es as, estableciendo una de las propiedades ms im-
portantes de la transformacin de Laplace. Una prueba de este teorema puede encontrarse
en CARSLAW, H.S. y JAEGGER, J.C. [1]; PARODI, M. [1]; o REY PASTOR, J., PI CALLE-
JA, P. y TREJO, C.A. [1].
TEOREMA 4.1 Sean f

, g

, funciones seccionalmente continuas y de orden exponencial
en [

0

, +

) , tales que L [ f ] ( s

) = L [

g

] ( s

) para todo s que verifica Re ( s

) > a

.
Entonces f ( t )

=

g ( t ) para todo t 0

, excepto a lo sumo en los puntos de discontinui-
dad de ambas funciones.
Como consecuencia del teorema de Lerch, puede decirse que en el caso en que la
ecuacin (4.2) admita solucin para y

, tal solucin habr de ser "esencialmente" nica.
Dando ms precisin a esto, si se modifica la definicin de igualdad en E estableciendo
que dos funciones f, g, de E son iguales si coinciden para todo t 0 , excepto a lo
sumo en sus puntos de discontinuidad, podr decirse que tal solucin de (4.2) es nica
(Quien que posea conocimientos de estructuras algebraicas reconocer que esta presenta-
cin responde a definir en

E una relacin de equivalencia, como antes se hizo de modo
anlogo en S .). Esa solucin de la ecuacin (4.2) es llamada antitransformada de Laplace
o transformada inversa de Laplace de F

, se simboliza con L
1
[ F ], y se caracteriza por
(4.3) L
1
[ F ]

=

y L [ y ]

=

F .

Otra consecuencia importante del teorema de Lerch es que si la ecuacin (4.2) admi-
te una solucin continua en [

0

, +

) , entonces cualquier otra solucin de la misma ser
discontinua; ms precisamente, tendr nicamente discontinuidades evitables en el inter-
valo [

0

, +

) . Esto equivale a afirmar que si f y g son funciones continuas y de orden
exponencial, entonces
L [ f ]

=

L [

g

] f (t )

=

g

(t

) para todo t 0

.
Resta ahora estudiar si la transformacin L es sobreyectiva. Esto es equivalente a
determinar si toda funcin de

S

es transformada de alguna funcin de

E, es decir si la
ecuacin funcional (4.2) tiene solucin en

E

para cada

F dada de

S . La respuesta es
negativa, como consecuencia del teorema que sigue.
[

0

, +

) , y sea F (s ) = L [ f ] (s

)

. Entonces
(4.4) 0 ) (
) Re(
=
+
s F lim
s
.
Demostracin: Lo propuesto se deduce inmediatamente de la desigualdad (3.3),
que se obtuvo como consecuencia del Teorema 3.1.

La propiedad establecida en este teorema permite asegurar que el operador L no es
sobreyectivo dado que existen funciones de

S, como 1

, s

, cos s

, s

/

(s

+1)

, etc., que
no verifican la condicin (4.4), y por lo tanto no pueden ser imgenes de ninguna funcin
de

E.

No nos proponemos identificar exactamente el subconjunto de funciones de S que
admiten antitransformada, y no es posible describirlo de un modo sencillo. No obstante,
es fcil verificar que el operador antitransformada es lineal, es decir que si F y G son
dos funciones tales que existen L
1
[ F ] y L
1
[ G

]

, entonces
L
1
[ a F + b G

] = a

L
1
[ F ] + b

L
1
[ G

] ,
cualesquiera sean los nmeros reales a, b

.
Finalmente, cabe destacar que el cumplimiento de (4.4) es una condicin necesaria,
pero no suficiente para que una funcin de

S

sea transformada de alguna funcin de

E.
Esto resulta de observar que existen funciones de

S

que aunque verifican la condicin
(4.4), no satisfacen (3.2), como por ejemplo F (s) = s . En consecuencia, una funcin
de esta clase no puede ser imagen de ninguna funcin de

E, o equivalentemente, en caso
de admitir antitransformada, sta no ser una funcin seccionalmente continua y de orden
exponencial en [

0

, +

) .

5. TRANSFORMADAS DE ALGUNAS FUNCIONES ELEMENTALES
En el prrafo 2, luego de definir la transformacin de Laplace, fueron calculadas
las transformadas de algunas funciones haciendo uso de la definicin. En forma similar se
deducen las frmulas elementales que siguen, cuyas demostraciones se proponen como
ejercicio.
(5.1) L [ t ] =

1
2
s

, Re (s

) > 0

.
(5.2) L [ sen w t ] =

2 2
w s
w
+

, Re (s

) > 0

.
(5.3) L [ t
n
] =

!
1 + n
s
n
, Re (s

) > 0

, ( n N )

.
Haciendo uso de la linealidad del operador

L , obtenemos
(5.4) L [ cosh a t

] = L [ ( e
a t
+ e
a t
) / 2 ] =
2
1
( L [ e
a t
] + L [ e
a t
] )
=

)

1

1
(
2
1
a s a s +
+
=

2 2
a s
s

, Re (s

) >

a
.
Trabajando de modo anlogo, resulta
(5.5) L [ senh a t

] =

2 2
a s
a

, Re (s

) >

a
.

Puede formarse as una primera tabla de transformadas de Laplace de funciones
elementales, que naturalmente puede usarse tambin de modo inverso, como una tabla
elemental de antitransformadas. En ella notamos con F ( s )

=

L [ f

( t

)] , y recproca-
mente ser f ( t )

=

L
1
[ F (s )] .

T A B L A 1

f (t )
F s ( )
f (t )
F s ( )
1
s
1

e
a t

1

a s +

t

1
2
s

cos w t

2 2
w s
s
+

t
2

3

2
s

sen w t

2 2

w s
w
+

t
n

!
1 + n
s
n

cosh a t

2 2
a s
s

e
a t

1

a s
senh a t

2 2
a s
a

La propiedad de linealidad de la transformacin de Laplace permite extender el uso
de los resultados de la Tabla 1 para calcular la transformada de cualquier combinacin li-
neal de funciones que se encuentren en la misma. Tambin pueden calcularse por este
medio, antitransformadas de funciones en algunos casos simples.
EJEMPLO 1. Calcular la transformada de Laplace de f

(t

)

=

5

t + 4 sen 3

t

.
L [ 5

t + 4 sen 3 t ] = 5 L [ t ] + 4 L [ sen 3 t ]

=

3
3
4

5
2 2 2
+
+
s s

=

2

2

2

) 9 (
45 17

+
+
s s
s
.


EJEMPLO 2. Calcular la transformada inversa de F (s )

=

5 / s
4
.
L
1
[ 5 / s
4
] =
! 3
5
L
1
[ 3 !/ s
4
] =
6
5
t
3
.
EJEMPLO 3. Calcular la transformada inversa de F (s )

=

2 3
11 8

2
+ +
+
s s
s
.
Descomponiendo la expresin de F (s ) en fracciones simples, es

]
2 3
11 8
[

2

1
+ +
+
s s
s
L

=

]
2
5
1
3
[
1

+
+
+
s s
L

=

3 e
t
+ 5 e
2 t
.
EJERCICIOS
1. Demostrar la validez de las frmulas (5.1), (5.2) y (5.3)

.
2. Utilizando las frmulas de la Tabla 1, calcular la transformada de Laplace de cada una
de las funciones siguientes, y determinar en cada caso la abscisa de convergencia.
a. f

(t

)

= a + b t + c t
2
+ d t
3

b. f

(t

)

= e
a t
1
c. f

(t

)

= 1 e
a t

d. f

(t

)

= e
a t
a t 1
e. f

(t

)

=

b a
e e
t b t a

, a b
f. f

(t

)

=

b a
e b e a
t b t a

, a b
g. f

(t

)

=

2
cos 1
w
t w


h. f

(t

)

=

2 2

cos cos
w a
t a t w
, a
2
w
2

i. f

(t

)

=

) (
sen sen

2 2

w a w a
t a w t w a
, a
2
w
2

j. f

(t

)

=

3

sen
w
wt t w

3. Calcular L
1
[ F (s )] en cada uno de los siguientes casos.
a. F (s )

=
s
12
b. F (s )

=
2

7
s

c. F (s )

=
2

22
s
d. F (s )

=
5
9
s

e. F (s )

=
3 7
1
s
f. F (s )

=
3 2
5
2

+ s
s

g. F (s )

=
6
6
2
s
h. F (s )

=
16
3
2

s
s


6. CALCULO DE TRANSFORMADAS POR DERIVACION
La propiedad que establece el teorema siguiente permitir calcular la transformada
de t
n
f (t ) cuando es conocida L [ f

(t

)]

.
[

0

, +

) , y sea F (s )

=

L [ f

(t

)]

. Entonces
(6.1) L [ t f

(t

)]

=

F '(s )

.
Ms generalmente
(6.2) L [ t
n
f

(t

)] = (

1 )
n
F
( n )
(s )

.
Demostracin: Ntese que por ser f ( t ) una funcin seccionalmente continua y de
orden exponencial, tambin lo es t
n
f

( t

). El resultado ser obtenido derivando ambos
miembros de
F (s ) =
+
0
) (

t d t f e
t s
.
Puede probarse que la funcin

e
s t
f (t )

y sus derivadas parciales respecto de

s, sa-
tisfacen condiciones suficientes para poder asegurar que F ( s ) es analtica en el semipla-
no { s : Re ( s

) > a }, siendo la abscisa de convergencia de L [ f ] , y tambin que sus
derivadas sucesivas pueden obtenerse derivando bajo el signo integral en el segundo
miembro de la igualdad anterior (Se omite la demostracin de lo afirmado). Entonces
F '(s ) =
+
0
) (

t d t f e
s d
d
t s
=
+
0

) ) ( (

t d t f e
s
t s

=

+
0
) ( ) (

t d t f t e
t s
= L [ t f

(t

)] ,

lo que prueba la validez de (6.1). La frmula (6.2) se obtiene fcilmente por aplicacin
del principio de induccin matemtica.

En trminos de antitransformadas, las frmulas (6.1) y (6.2) son equivalentes
respectivamente a
(6.3) L
1
[ F '(s )] =

t L
1
[ F (s )]

,
(6.4) L
1
[ F
( n )
(s )] =

(

1 )
n
t
n
L
1
[ F (s )]

.

(t

)

=

t sen w

t

.
L [ t sen w t

] = ] sen [

t w
s d
d
L =

2 2

w s
w
s d
d
+
=
) (
2
2

2 2

w s
s w
+

.
Se obtiene, como consecuencia de esto que
]
) (
[

1
2 2 2

w s
s
+
L = t w t
w
sen
2
1

.
EJERCICIOS
1. Calcular por derivacin de alguna funcin transformada conocida, la transformada de
Laplace de cada una de las funciones siguientes.
a. f

(t

)

= t cos w t b. f

(t

)

= t cosh a t
c. f

(t

)

= t senh a t d. f

(t

)

= t

e
a t

2. Utilizando resultados obtenidos anteriormente, calcular la transformada de

f

( t

)

en
cada uno de los casos siguientes.

a. f

(t

)

= sen w t

w t cos w t b. f

(t

)

= senh a t

a t cosh a t
c. f

(t

)

= 1 4 a t e
a t
d. f

(t

)

= w sen w t

a t sen w t
e. f

(t

)

=

2

) (
) ) ( 1 (

b a
e t b a e
t b t a
+


7. TRANSFORMADAS DE DERIVADAS E INTEGRALES
Hasta aqu se ha tratado casi exclusivamente el problema de encontrar transformadas
de algunas funciones elementales. Sin embargo, para cualquiera de sus aplicaciones, es
imprescindible estudiar propiedades de la transformada de Laplace. En este prrafo sern
deducidas dos de ellas, de fundamental importancia para las aplicaciones, que permiten
expresar las transformadas de la derivada y de la integral de una funcin f seccionalmente
continua y de orden exponencial, en trminos de L [ f ]

.
TEOREMA 7.1 Sea f una funcin continua en (

0

, +

) , cuya funcin derivada f ' es
seccionalmente continua y de orden exponencial en [

0

, +

) . Entonces f es de orden
exponencial.
Demostracin: Siendo f ' de orden exponencial en [

0

, +

) , existen nmeros re-
ales positivos C, a, tales que
C e
a x

f '(x ) C e
a x
,
para todo x > 0

. Como consecuencia de las hiptesis, f ser continua por derecha en 0,
o deber existir su lmite lateral por derecha. Por lo tanto, es integrable y puede utilizarse
el teorema de Barrow, resultando

t
x a
x d e C

0

t
x d x f

0
) ( '
t
x a
x d e C

0
,
y llamando con K

=

C / a, es
K ( e
a t
1

)

f (t )

f ( 0 + ) K ( e
a t
1

)
Es decir que

f (t )

f ( 0 + )
K ( e
a t
1

) K e
a t

,

para todo t 0

. Esto demuestra que f (t )

f ( 0 + ) es de orden exponencial, por lo cual
tambin lo es f

(t

)

.

COROLARIO. Sea f una funcin seccionalmente continua y de orden exponencial en
[

0

, +

) , y sea g la funcin definida por
g

(t

)

=

t
a
x d x f

) ( ,
para cada t 0

, siendo a 0

. Entonces la funcin

g es continua y de orden exponen-
cial en [

0

, +

) .
Demostracin: Por ser f seccionalmente continua y de orden exponencial en [

0

, +

) ,
g es continua, y su derivada g ' =

f , por lo que g ' es seccionalmente continua y de or-
den exponencial en [

0

, +

) . As entonces, g verifica las hiptesis del Teorema 7.1, y
por lo tanto es de orden exponencial.

Establecidos estos resultados, se est en condiciones de demostrar las importantes
propiedades que siguen.
TEOREMA 7.2 Sea f una funcin continua en (

0

, +

) , cuya funcin derivada f ' es
seccionalmente continua y de orden exponencial en [

0

, +

) , y sea F (s )

=

L [ f ] (s

) .
Entonces
(7.1) L [ f ' ] (s

) = s F (s )

f ( 0 + ) .

Demostracin: Como f satisface las hiptesis del Teorema 7.1, puede asegurarse
que es de orden exponencial, y en consecuencia existe su transformada. Integrando por
partes, resulta
L [ f ' ] (s

) =
+
0
) ( ' t d t f e
t s
=
+
0
) ( t f d e
t s

=
+
+

0
) ) ( (

t f e
t s
+ s
+
0
) ( t d t f e
t s

=
+
+

0
) ) ( (

t f e
t s
+ s F (s ) .
Siendo f de orden exponencial, se tendr que si Re (s

) es suficientemente grande,
e
s t
f (t ) 0 cuando t +

. As, para tales valores de s, es

+
+

0
) ) ( (

t f e
t s
= )) ( (

t f e lim
t s
t
+

)) ( (

0
t f e lim
t s
t
+

=

f ( 0 + ) ,
Y sustituyendo esto en el ltimo miembro de la desigualdad anterior, se obtiene lo
propuesto.

El resultado probado se extiende fcilmente a transformadas de derivadas de orden
superior, en el corolario que sigue.
COROLARIO. Si f , f ' , . . . , f
( n 1 )
son continuas en (

0

, +

) , y f
( n )
es sec-
cionalmente continua y de orden exponencial en [

0

, +

) , entonces
(7.2) L [ f '' ] (s

) = s
2
F (s )

s f (0 + )

f '(0 + )

.
. . .
(7.3) L [ f
( n )
] (s

) =

s
n
F (s )

s
n 1
f (0 + )

s
n 2
f '(0 + )

. . .

f
( n 1 )
(0 + )

.

Demostracin: Usando la frmula (7.1) en forma reiterada, se obtiene
L [ f '' ] (s

) =

L [ ( f ' )' ] (s

)

=

s L [ f ' ] (

s

)

f '(0 + )

.
=

s (

s F (s )

f ( 0 + ) )

f '(0 + )

.
= s
2
F (s )

s f (0 + )

f '(0 + )

.
Finalmente, la frmula (7.3) se prueba fcilmente por aplicacin del principio de
induccin matemtica.


(t

)

=

sen w t , a partir de la trans-
formada de cos w t

.
Usando la frmula (7.1), se tiene que
L [ sen w t

] =

1
w
L [ D (cos w t )]

=

1
w
( s L [ cos w t

]

cos 0 )
=

) 1 (
1

2 2
2

w s
s
w

=

2 2
w s
w
+
, Re (s

) > 0

.
EJEMPLO 2. Calcular la transformada de f

(t

)

=

t

n
, (

n

N

)

.
Como D
n
t
n

=

n !, se tiene que
L [ D
n
t
n
]

=

L [ n !]

=

n ! L [ 1 ]

=
s
n !
.
Adems, de la frmula (7.3) resulta
L [ D
n
t
n
]

=

s
n
L [ t
n
]

s
n 1
0

. . .

0 = s
n
L [ t
n
] .
En consecuencia s
n
L [ t
n
] =
s
n !
para cada n

N

,
y por lo tanto

L [ t
n
] =

1

!
+ n
s
n
, Re (s

) > 0

.
NOTA: La frmula (7.1) no es vlida en el caso en que la funcin f tiene discontinui-
dades en [

0

, +

) , y sufre modificaciones que le agregan trminos por cada salto finito
que tenga la funcin f (Ver Ejercicio 4 de este prrafo).
A continuacin sern deducidas para transformadas de integrales, frmulas anlogas
a las vistas para transformadas de derivadas.
[

0

, +

) , a 0

, y sea F (s )

=

L [ f ] (s

)

. Entonces
(7.3) ] [

) (
t
a
x d x f L

=

) ) ( ) ( (

1

0

a
x d x f s F
s
.
Demostracin: Por el corolario del Teorema 6, g

( t

)

=

) (
t
a
dx x f es continua y
de orden exponencial. Integrando por partes, se tiene
] [

) (
t
a
x d x f L =

+
0

) ) ( (

t d x d x f e
t
a
t s

=

+

0

) ) ( (
1

t
a
t s
x d x f e
s
+
+
0
) (
1

t d t f e
s
t s

.
Como
t
a
x d x f

) ( es de orden exponencial,
t
a
t s
x d x f e

) (

0 cuando t +

, si
Re (s

) es suficientemente grande. En consecuencia,

] [

) (
t
a
x d x f L =

) (

1
s F
s
) (
1

0

+
a
x d x f
s

=

) ) ( ) ( (

1

0

a
x d x f s F
s
.

En la mayor parte de las veces en que aparecen integraciones, el valor de a es 0, en
cuyo caso la frmula (7.4) toma la forma particular ms simple
(7.5) ] [

0
) (
t
x d x f L

=

) (

1
s F
s

.
Aunque en el uso de transformadas de Laplace, en escasas oportunidades surge la
necesidad de usar integrales iteradas, las frmulas (7.4) y (7.5) admiten equivalentes
para tales casos. En el corolario que sigue se formulan las mismas, y su demostracin se
propone como un ejercicio.
[

0

, +

) , y sea F ( s )

=

L [ f ] (s

)

. Entonces
(7.6) ] [ ) ( . . .

t
a
t
a
t
a
t d t f t d t d L =

0

) (
1
) (
1

a
n n
t d t f
s
s F
s

n veces

t
a
t
a
a a t
a
n
t d t f t d t d
s
t d t f t d
s

0

0

1

) ( . . .
1
. . . ) (
1

.
(n

1) veces
(7.7) ] [ ) ( . . .

0

0

0

t t t
t d t f t d t d L = ) (
1

s F
s
n

n veces


( t

)

=

t e
a t

, usando las frmulas
de integracin.
Siendo

t
x a
x d e x

0

=

2 2

1

1

1

a
e
a
e t
a
t a t a
+ ,
por aplicacin de (7.5), resulta
] [
1

t a
e t
s
L = ]
1

1

1
[

2 2

a
e
a
e t
a
t a t a
+ L = ] [
1

t a
e t
a
L

1

1 1

1

2 2
s
a
a s
a
+

.
Y explicitando L [ t e
a t
]

, se obtiene finalmente
L [ t e
a t
]

=

2
) (
1
a s
.
Las frmulas deducidas hasta ahora permitiran presentar algunos usos de la trans-
formacin de Laplace. Sin embargo, los conocimientos son an algo limitados como para
resolver problemas con cierto grado de agilidad. Por esta razn, en los dos prrafos si-
guientes se estudiarn otras propiedades antes de mostrar algunas aplicaciones.
EJERCICIOS
1. Hallar la transformada de Laplace de ) ( t f en cada uno de los siguientes casos

.
a. f

(t

)

= sen ( t + a ) b. f

(t

)

= ( t + a )
n

c. f

(t

)

= t sen w t d. f

(t

)

= t
2
e
a t

e. f

(t

)

= t
2
cos w t f. f

(t

)

= sen
2
w t
2. Utilizar la frmula de transformada de derivadas para hallar la transformada de Laplace
de f

(t

)

= e
a t
sen w t

.

3. Calcular la transformada de f

(t

)

= cos
2
w t

.
4. Supngase que la funcin f en el Teorema 7 tiene una discontinuidad de tipo salto fi-
nito en a ( a > 0 )

. Demostrar que
L [ f ' ] (s

) = s F (s )

f ( 0 + )

e
a s
( f ( a + ) f ( a ) )

.
5. Demostrar la frmula (7.6) para el caso n = 2

.

8. EL PRIMER TEOREMA DE TRASLACION
El uso de la transformacin de Laplace para la resolucin de problemas de valores
iniciales, requiere saber encontrar la transformada inversa de una funcin F (s )

, que fre-
cuentemente es una funcin racional. En tales casos, un mtodo prctico consiste en des-
componer la expresin de F ( s ) en fracciones simples, representndola como una suma
en la que se pueda reconocer la antitransformada de cada sumando mediante el uso de
ciertas frmulas. Una de tales frmulas es proporcionada por el llamado primer teorema
de traslacin, que se refiere al efecto de una traslacin de coordenadas en la funcin ima-
gen. El corolario de este teorema es de gran utilidad para el clculo de antitransformadas.
[

0

, +

) , y sea F (s )

=

L [ f ] (s

)

. Entonces
(8.1) L [ e
a t
f

(t

)]

=

F ( s a )

.
Demostracin: Si f

(t

) es seccionalmente continua y de orden exponencial, puede
asegurarse que e
a t
f

(t

) tambin lo es. Entonces
L [ e
a t
f

(t

)] =
+
0
) (

t d t f e e
t a t s

=

+
0

) (
) (

t d t f e
t a s

=

F ( s a )

.

Una consecuencia importante del primer teorema de traslacin es la frmula que se
obtiene del mismo al plantearla en trminos de antitransformadas, y que se enuncia como
corolario.

[

0

, +

) , y sea f (t )

=

L
1
[ F (s )]

. Entonces
(8.2) L
1
[ F ( s a )]

=

e
a t
f

(t

) .
EJEMPLO 1. Hallar la transformada de f (t )

=

e
a t
cos w t

.
Como L [ cos w t

] =

2 2
w s
s
+
, usando la frmula (8.1), resulta
L [ e
a t
cos w t

] =

2 2
) (

w a s
a s
+

.
EJEMPLO 2. Hallar la antitransformada de F (s )

=
13 4
9 2

2
+
s s
s
.
Ntese que el denominador tiene dos races complejas, por lo que no es factible
descomponer a F ( s ) como suma de fracciones simples cuyos denominadores sean reales
y lineales. En estos casos, con el objeto de utilizar la frmula (8.2), conviene expresar
la fraccin en trminos de ( s a )

, eligiendo un valor adecuado de a. Esto se consigue
completando un cuadrado en el denominador y modificando el numerador, como sigue.

13 4
9 2

2
+
s s
s

=

9 ) 2 (
5 ) 2 ( 2

2

+

s
s

=

3 ) 2 (
2
2
2 2

+
s
s
3 ) 2 (
3
3
5

2 2

+
s

Observemos que
]
3 ) 2 (
2
[

1
2 2

+
s
s
L = e
2 t
]
3
[

1
2 2

+
s
s
L = e
2 t
cos 3 t ,
y ]
3 ) 2 (
3
[

1
2 2

+
s
L = e
2 t
]
3
3
[

1
2 2

+
s
L = e
2 t
sen 3 t .


En consecuencia
]
13 4
9 2
[

1

2

+
s s
s
L = 2 e
2 t
cos 3 t
3
5
e
2 t
sen 3 t .
EJERCICIOS
1. Usando la frmula del primer teorema de traslacin hallar la transformada de Laplace
de f ( t ) en cada uno de los siguientes casos y verificar el resultado obtenido mediante
otro procedimiento

.
a. f (t )

=

t

e
a t
b. f (t )

=

t
2
e
a t

c. f (t )

=

e
a t
sen w t d. f (t )

=

e
a t
cos w t
e. f (t )

=

e
a t
senh b t f. f (t )

=

e
a t
cosh b t
g. f (t )

=

t e
a t
sen w t h. f (t )

=

t e
a t
cos w t
i. f (t )

=

t e
a t
senh b t j. f (t )

=

t e
a t
cosh b t
2. Mostrar que si L [ f

(t

)]

=

F (s )

, entonces:
a. L [ f

(t

) cosh a t ]

=

2
1
( F ( s a ) + F ( s + a ) )
b. L [ f

(t

) senh a t ]

=

2
1
( F ( s a ) F ( s + a ) )
c. L [ f

(t

) cos w t ]

=

2
1
( F ( s + i w ) + F ( s i w ) )
d. L [ f

(t

) sen w t ]

=

2
1
( F ( s + i w ) F ( s i w ) )

9. EL SEGUNDO TEOREMA DE TRASLACION
El primer teorema de traslacin establece que a una multiplicacin de la funcin ob-
jeto por una funcin exponencial, le corresponde una traslacin en el dominio de su trans-
formada. A continuacin ser efectuada deduccin anloga para la multiplicacin de la
transformada por una funcin exponencial, que segn se ver, corresponde a una trasla-
cin en el dominio de la funcin objeto.
En lo que sigue se llamar funcin escaln unitario a la funcin H definida por
(9.1)
H (t )

=
0

, si t < 0

,
1

, si t 0

.
Si a es nmero no negativo, se indicar con H
a
( t ) a la funcin escaln unitario
desplazada en a unidades hacia la derecha. Ms precisamente,
(9.2)
H
a
(t )

=
0

, si t < a ,
1

, si t a .
Obsrvese que H
a
(t )

=

H (t a )

, y que H
0
(t )

=

H (t )

.
1
y = H ( t )
1
y = H
a
( t )

t a

t
FIGURA 9-1
Conviene destacar que para casi todos los fines prcticos, carecen de importancia
los valores asumidos por una funcin en sus puntos de discontinuidad, y particularmente
para una funcin escaln, es irrelevante su valor en su nico punto de discontinuidad.

Esto se debe a que en las aplicaciones, el efecto producido por una excitacin en un sis-
tema fsico no depende de un valor puntual. (Recurdese que si dos funciones seccional-
mente continuas difieren nicamente en un conjunto discreto de puntos, sus integrales en
cualquier intervalo son iguales).
La funcin escaln es especialmente til para dar expresiones compactas de ciertas
funciones que tienen una ley "sencilla" por tramos. Por ejemplo, sea

f (t )

=
0

, si t < a

,
e
( t
a )

, si t a

.

1
a t
FIGURA 9-2
Entonces es
f

(t

)

= H
a
(t ) e
( t a )
= H (t a ) e
( t a )

Obsrvese que si 0 < a < b

, resulta

H (t a ) H (t b )

=
0

, si t < a o t b

,
1

, si a t < b

.
1
a b t
FIGURA 9-3

Este pulso rectangular de amplitud unitaria, que se expresa como la diferencia de
dos escalones desplazados, y cuya grfica se indica en la Figura 9-3, puede usarse para dar
una ley sencilla de ciertas funciones que "cambian" su expresin simple por tramos. Por
ejemplo, sea f la funcin cuya grfica es la que se ilustra en la Figura 9-4.
1
1 2 t
FIGURA 9-4
La funcin f es expresada analticamente por
0

, si t < 0

,
(9.3) f

(t

) =
t

, si 0 t < 1

,
2 t

, si 1 t < 2

,
t 2 , si 2 t

.
Entonces puede escribirse
(9.4) f ( t ) = t (H ( t ) H ( t 1 ))

( t 2 ) (H ( t 1 ))

H ( t 2 ))

+

( t 2 ) H ( t 2 )
= t H ( t )

2 ( t 1 ) H ( t 1 )

2 ( t 2 ) H ( t 2 )
Para ciertos clculos, esta forma de expresin compacta de f ( t ) es ms til que la
expresin por tramos dada por (9.3).
Como observacin general, la expresin

g ( t ) =
0 , si t < a

,
f ( t a )

, si t a

,

define una funcin g cuya grfica es obtenida mediante una traslacin de la grfica de f
en a unidades hacia la derecha, y a la cual se le asigna el valor 0 para todo valor de t
menor o igual que a. (Figura 9-5).

y = f (t ) y = g (t )
t a t
FIGURA 9-5
Es conveniente remarcar que funciones definidas de este modo son de particular im-
portancia en las aplicaciones, ya que su uso es imprescindible cada vez que se consideran
sistemas fsicos (elctricos, mecnicos, etc.) en los cuales ciertas excitaciones, como ten-
siones, corrientes, fuerzas, etc., se aplican o se quitan abruptamente a partir de cierto ins-
tante a > 0

. En tales casos, la interpretacin que corresponde al valor a ser la de un re-
tardo o retraso en el tiempo. El teorema que se mostrar a continuacin, llamado segun-
do teorema de traslacin, proporciona una frmula para las transformadas de funciones de
esta clase.
[

0

, +

) , y sea a > 0

. Entonces
(9.5) L [ H ( t a ) f ( t a )] = e
a s
L [ f

(

t

)]

.

Demostracin:
L [ H ( t a ) f ( t a )] =

+
0
) ( ) (

t d a t f a t H e
t s
=

+

) (

a
t s
t d a t f e
Efectuando en esta ltima integral la sustitucin x

=

t a , se obtiene
L [ H ( t a ) f ( t a )] =

+
+
0

) (
) (

x d x f e
a x s

=

e
a s

+
0
) (

x d x f e
x s
=

e
a s
L [ f

(

t

)]

.

Una consecuencia importante del segundo teorema de traslacin es la frmula que se
obtiene del mismo al plantearla en trminos de antitransformadas, y que se enuncia como
corolario.
[

0

, +

) , a > 0

, y sea f ( t )

=

L
1
[ F ( s )]

. Entonces
(9.6) L
1
[ e
a s
F ( s )]

=

H ( t a ) f ( t a )

.
EJEMPLO 1. Hallar la transformada de g ( t )

=

H ( t a ) cos w t

.
L [ H ( t a ) cos w t

] =

L [ H ( t a ) cos w ( t a + a )

]

=

e
a s
L [ H ( t a ) cos w ( t a )

]
=

L [ H ( t a ) ( cos w a cos w ( t a ) sen w a sen w ( t a ) )

]
=

e
a s
L [ cos w a cos w t sen w a sen w t

]
=

e
a s
( cos w a L [ cos w t

] sen w a L [ sen w t

] )
=

e
a s

2

2

sen cos
w s
a w w a w s
+


EJEMPLO 2. Sea f la funcin definida por la frmula (9.3)

. Calcular L [ f

(

t

)]

.
Segn se ha visto oportunamente, f

(

t

) puede ser expresada haciendo uso de la
funcin escaln como en la frmula (9.4), por lo que
L [ f

(

t

)] = L [ t H ( t )

2 ( t 1 ) H ( t 1 )

2 ( t 2 ) H ( t 2 ) ]
= L [ t ]

2 e
s
L [ t ]

2 e
2 s
L [ t ]
= ) 2 2 1 (
1

2

2
s s
e e
s

.
EJEMPLO 3. Calcular

]
5 4
[

4
1

2

+ +
s s
e
s
L .
Llamando con f

(

t

)

=

]
5 4
1
[

1

2

+ +
s s
L , y usando (9.6), se tiene

]
5 4
[

4
1

2

+ +
s s
e
s
L =

H ( t 4 ) f ( t 4 )

.
Utilizando el primer teorema de traslacin, resulta

]
5 4
1
[

1

2

+ +
s s
L =

]
1 ) 2 (
1
[

1

2

+ +
s
L
= e
2 t
]
1
1
[

1

2

+
s
L =

e
2 t
sen t

.
En consecuencia
]
5 4
[

4
1

2

+ +
s s
e
s
L =

H ( t 4 ) e
2 ( t 4 )

sen ( t 4 )

.
EJEMPLO 4. Hallar la transformada del pulso de forma parablica definido por

f ( t ) =
t
2
+ 6 t 8

, si 2 t < 4

,
0 , si t < 2 t 4

.

Siguiendo el procedimiento descrito anteriormente, puede expresarse a f

(

t

) en la
forma
f ( t ) = ( t
2
+ 6 t 8 ) ( H ( t 2 )

H ( t 4 ) )
= ( t
2
+ 6 t 8 )

H ( t 2 )

+

( t
2
+ 6 t 8 )

H ( t 4 ) )

.
Con el objeto de utilizar el segundo teorema de traslacin, el primer sumando del
segundo miembro deber ser expresado en potencias de ( t 2 )

, mientras que el segundo
sumando deber expresarse en potencias de ( t 4 )

, para tener de ese modo expresiones
de funciones cuyas transformadas son conocidas, pero desplazadas en el mismo valor que
el valor en el cual est desplazado el escaln. As
f ( t ) = ( ( t 2 )
2
+ 2 ( t 2 ) ) H ( t 2 )

+

( ( t 4 )
2
+ 2 ( t 4 ) ) H ( t 4 )

.
Ahora la frmula (9.5) es aplicable a cada sumando, resultando
L [ f

(

t

)] = L [ ( ( t 2 )
2
+ 2 ( t 2 ) ) H ( t 2 )

+

( ( t 4 )
2
+ 2 ( t 4 ) ) H ( t 4 ) ]
= e
2 s
L [ t
2
+ 2 t ] + e
4 s
L [ t
2
+ 2 t ]
= e
2 s
)
2 2
(

2 3

s s
+ + e
4 s
)
2 2
(

2 3

s s
+ .
A continuacin, y por aplicacin del segundo teorema de traslacin, ser deducida
una frmula que permite calcular transformadas de funciones peridicas mediante una
simple integral definida.
[

0

, +

)

. Si f es peridica, de perodo fundamental T ( T > 0 ) , entonces
(9.7) L [ f

(

t

)] =
T
t d t f e
e
t s
s T

0

) (
1
1

.

Demostracin: Por definicin, es
L [ f

(

t

)]

=
+
0
) (

t d t f e
t s

=

T
t d t f e
t s

0
) (

+
T
T
t s
t d t f e
2

) (

+ . . .
+
T n
nT
t s
t d t f e
) 1 (

) (

+ . . .
Efectuando la sustitucin t = x + n

T en la n-sima integral, para cada n N , y
debido a la periodicidad de la funcin f

, se obtiene

T n
nT
t s
t d t f e
) 1 (

) (

=
+
+
T
x d T n x f e
nT x s

0

) (
) ( =

T
x d x f e e
x s s T n

0
) (

.
Por lo tanto,
L [ f

(

t

)] =

. . . ) ( . . . ) ( ) (

0

0

0

+ + + +

T T T
x d x f e e x d x f e e x d x f e
x s s T n x s s T x s

= ( 1 + e
T s
+ e
2 T s
+

. . .

+ e
n T s
+

. . . )

T
x d x f e
x s

0
) (

Si Re (

s

) > 0

, la serie geomtrica
1 + e
T s
+ e
2 T s
+

. . .

+ e
n T s
+

. . .
de razn

e
T s

, resulta ser convergente y su suma es
1
1
s T
e
. Reemplazando esto en
la igualdad anterior, se obtiene finalmente la frmula (9.7)

.

EJEMPLO 5. Sea f la funcin cuya grfica es la onda rectangular de la Figura 9-6.
Hallar su transformada de Laplace

.

A
1 2 3 4 t
FIGURA 9-6
La funcin f es peridica de perodo 2, por lo que
L [ f

(

t

)] =
2
0

2

) (
1
1

t d t f e
e
t s
s

=
1
0
2

1
1

t d e A
e
t s
s

=
s
e A
e
s
s
) 1 (
1
1

2

=
) 1 (

s
e s
A
+
.
EJERCICIOS
1. Dibujar la grfica de f y hallar su transformada en cada uno de los casos siguientes

.
a.

0

, si t < 2

, b. 6 2 t , si 3 t < 6

,
f

(

t

) = 2 t , si 2 t < 5

, f

(

t

) = t 2 18 , si 6 t < 9

,

3

, si t 5

. 0

, si t < 3 t 9

.
c. f

(

t

) = 1 + [ t ] , siendo [ t ] la parte entera de t

.
( Sugerencia: Expresar [ t ] mediante una serie de funciones escalones )

.
d. f

(

t

) =

sen t
.
2. Encontrar la expresin analtica de una onda diente de sierra de valor mximo A, valor
mnimo 0, y perodo T

, usando para ello una serie de escalones unitarios

. Hallar la
expresin de su transformada de Laplace

.

3. Encontrar la expresin analtica de una onda triangular de valor mximo A, valor m-
nimo

0,

y perodo fundamental 2 T

, usando para ello una serie de escalones unitarios

.
Hallar la expresin de su transformada de Laplace

.
4. Calcular L
1
[ F ( s )] en cada uno de los siguientes casos.
a. F ( s )

=
4 5
2

+ +
s s
e
s
. b. F ( s )

= ) 2 1 (
1
2

s s
e e
s

.
c. F ( s )

=

2 2

w s
e
s a
+
.

10. APLICACION A LA RESOLUCION DE ECUACIONES DIFERENCIALES LI-
NEALES ORDINARIAS CON COEFICIENTES CONSTANTES
Muchos problemas en Ingeniera y en Fsica son representados mediante modelos
matemticos que involucran ecuaciones diferenciales o ntegrodiferenciales lineales, o sis-
temas de ecuaciones de tal clase. Despus de haber definido y estudiado propiedades de la
transformacin de Laplace y conocer mtodos para calcular transformadas y transforma-
das inversas de un conjunto de funciones relativamente amplio, nos interesamos en mos-
trar aplicaciones de su uso para determinar la respuesta de sistemas lineales sometidos a la
influencia de diferentes tipos de excitacin.
El anlisis de sistemas lineales usando el mtodo de la transformacin de Laplace
consiste bsicamente de cuatro pasos. Primero se debe encontrar la ecuacin o ecuaciones
diferenciales o ntegro-diferenciales que describen el sistema bajo consideracin, mediante
el uso de las leyes fsicas a las cuales responde. Segundo, es aplicada la transformacin de
Laplace a cada uno de los trminos, incluyendo las funciones excitaciones, en la ecuacin
o ecuaciones obtenidas. Tercero, se explicita la transformada de la funcin respuesta en la
ecuacin o sistema de ecuaciones. Finalmente, la funcin o funciones res-puestas deben
ser obtenidas mediante uso de la transformacin inversa.
Las tcnicas para estos tres ltimos pasos estn basadas esencialmente en los resul-
tados referentes a transformadas de derivadas e integrales, y de los teoremas de desplaza-
miento, y sus respectivos corolarios.
A continuacin se pasa a describir el uso de las propiedades y tcnicas antes de-
sarrolladas para resolver algunos problemas que involucran ecuaciones diferenciales o n-
tegro-diferenciales con coeficientes constantes.
Como un primer ejemplo fsico simple, considrese un cuerpo de masa m que pue-
de moverse deslizndose horizontalmente, vinculado a un resorte y a un mecanismo amor-

tiguador. Por tratarse de un movimiento puramente traslatorio, la posicin en cada instan-
te del cuerpo queda determinada por la de uno cualquiera de sus puntos, como puede ser
su centro de masa.

k
m c
F( t )

0 x(

t

) t
FIGURA 10-1
La segunda ley de Newton establece que en cada instante deber verificarse que
(10.1) m

a = F .
Supongamos que el resorte responde con una fuerza de acuerdo con la ley de Hooke,
o sea proporcional a su elongacin, ya sea estiramiento o compresin, que el amortiguador
responde con una fuerza proporcional a la velocidad, que tanto el rozamiento como la re-
sistencia del medio viscoso pueden despreciarse, as como otros rozamientos en el resorte,
amortiguador, etc., suponiendo adems que la masa de los vnculos es despreciable.
Siendo el movimiento rectilneo, la igualdad vectorial (10.1) queda reducida, en
trminos de componentes, a una igualdad escalar. Con referencia a la Fig. 10-1, se tiene:
m

x

''

= F

(

t

)

k

x

c

x

' ,
o bien
(10.2) m

x

'' + c

x

' + k

x = F

(

t

)

.
Otro ejemplo consiste en estudiar el comportamiento de un circuito elctrico senci-
llo, compuesto por una fuente de voltaje, y elementos simples (resistores, inductores y ca-

pacitores). Las relaciones voltaje-corriente para cada uno de esos elementos estn dadas
en la Tabla 10.1.
Consideremos el circuito simple R-L-C serie de la Figura 10-2.

S

i

(

t

)
L R C

+
e

(

t

)

FIGURA 10-2
Se pretende estudiar el comportamiento del circuito, es decir encontrar la expresin
de i

(

t

)

luego de cerrar el interruptor S en el instante t
0
= 0

, suponiendo que el circuito
est inicialmente relajado, es decir que no hay energa almacenada en sus elementos reac-
tivos.
La segunda ley de Kirchhoff establece que suma de las cadas de tensin es igual a
la tensin aplicada, o sea:
u
L

(

t

) + u
R

(

t

) + u
C

(

t

) = e

(

t

) .
Teniendo en cuenta las expresiones de cada una de las cadas de tensin, y el hecho
de que las condiciones iniciales dadas se traducen en que i

(

0

) = 0

, q

(

0

) = 0

, se ob-
tiene la ecuacin ntegro-diferencial:
(10.3) L

i

' + R

i +

1
C

t
d i

0
) ( = e

(

t

)

.
Es decir que el comportamiento del circuito, o sea la relacin que vincula la tensin
que lo excita con la respuesta i

(

t

) est representado por una ecuacin ntegro-diferencial
lineal con coeficientes constantes. En el caso en que la tensin aplicada, expresada como

e

(

t

) sea una funcin derivable, derivando ambos miembros de la ecuacin (10.3) se ob-
tendra la ecuacin diferencial lineal
(10.4) L

i

'' + R

i

' +
C
1

i = e

'

(

t

)

,
que al igual que en el caso del sistema mecnico masa-resorte-amortiguador es una ecua-
cin diferencial lineal con coeficientes constantes que son los parmetros propios del sis-
tema, y donde la funcin del segundo miembro representa la funcin excitacin del siste-
ma, o su derivada.
La mayor parte de las veces, la tensin excitacin e

(

t

) es una funcin no derivable,
ms an, frecuentemente es discontinua, y en consecuencia no es posible efectuar esa l-
tima transformacin, por lo cual en la teora de circuitos habitualmente se trabaja con
ecuaciones ntegro-diferenciales. Por esta razn, se har referencia principalmente a las
ecuaciones ntegro-diferenciales, aunque el tratamiento para ecuaciones diferenciales es
completamente anlogo.
El paso siguiente consiste en aplicar la transformada de Laplace en ambos miembros
de la ecuacin (10.3). Teniendo en cuenta la linealidad del operador

L

y sus propieda-
des, transformando ambos miembros de (10.3), se tiene:
L L

[

i

'

(

t

)]

+

R L

[

i

(

t

)]

+

C
1
L

[
t
d i

0
) (

(

t

)] = L

[

e

(

t

)]
Llamando con: I (

s ) = L

[

i

(

t

)] y E

(

s

) = L

[

e

(

t

)] , resulta:
L s I (

s )

+

R I (

s )

+

1
s C

I (

s ) = E

(

s

) ,
y explicitando I (

s ) se obtiene:
(10.5) I (

s ) =

1
1
s C
R s L + +
E

(

s

)
o bien:

I (

s

) =

1
L

1
2
C L
s
L
R
s
s
+ +
E

(

s

)
Finalmente, la respuesta i

( t

) se obtendr antitransformando la expresin resultante
en el segundo miembro de (10.6)

.
Por ejemplo, si R = 10 k

, L = 0,1 H

, C = 0,1 F

, y e

(t

) = 12 V (constante),
o sea la fuente de voltaje es una batera, se tendr:
I (

s

) = 10
8 5 2
10 10 + + s s
s
s
12
= 120

8 5 2
10 10
1
+ + s s
.
Finalmente, antitransformando resulta:
i

(t

) = 0,0012247 (
t t
e e
1010 97980
) .
Es conveniente efectuar varias observaciones importantes con respecto al uso del
mtodo de la transformacin de Laplace.
OBSERVACIONES
1. Ntese que cuando se tienen condiciones iniciales nulas, la transformada I (

s

) de la
respuesta se obtiene simplemente multiplicando la transformada E (

s

) de la excita-
cin por la funcin
Z (

s ) =

1
1
s C
R s L + +
.
Esta funcin Z (

s ), cociente entre la corriente (operacional) y la tensin (operacional)
aplicada, es llamada impedancia del circuito.
2. En general, cuando en un sistema fsico la respuesta (operacional) y la excitacin (ope-
racional) estn vinculadas mediante una multiplicacin, la funcin H (

s

), cociente en-
tre la respuesta y la excitacin, es llamada funcin transferencia. De ello es inmediato

que la respuesta del sistema se obtiene simplemente multiplicando la excitacin por la
funcin transferencia (Siempre en trminos de funciones operacionales).
3. La respuesta real, en trminos de las funciones objeto, se obtiene antitransformando la
respuesta operacional. Obviamente, es imprescindible en todo este proceso tener un
hbil manejo de las propiedades que se mencionaron al comienzo (teoremas de trans-
formacin de derivadas e integrales, teoremas de desplazamiento, etc.), adems de una
adecuada destreza en la descomposicin de funciones racionales en fracciones simples
para poder antitransformar con agilidad.
En relacin con la aplicacin del mtodo para resolver una ecuacin diferencial li-
neal con coeficientes constantes, es conveniente efectuar algunas comparaciones con el
mtodo clsico. Aunque las mismas consideraciones son vlidas para ecuaciones de orden
cualquiera, por razones de simplicidad nos referiremos a una ecuacin de segundo orden.
Sea entonces la ecuacin
x

'' + a

x

' + b

x = f

(t

)

.
Como es sabido, la solucin general de esta ecuacin diferencial lineal no homog-
nea, compuesta por todas sus soluciones particulares, consiste de una familia de funciones
que contiene dos constantes arbitrarias. En las aplicaciones, es frecuente conocer condi-
ciones iniciales que debe cumplir la solucin de un problema, esto es, valores que debe al-
canzar la solucin y su derivada para un mismo valor de la variable independiente. En tal
caso, no cualquiera de las funciones de la familia solucin de la ecuacin es solucin del
problema. Por ejemplo, en el caso del sistema masa-resorte-amortiguador, la funcin que
da la posicin en cada instante depender de la posicin ocupada por el cuerpo en el mo-
mento en que comenz el contado de tiempo (que puede considerarse t = 0 o instante ini-
cial), y tambin de su velocidad en dicho instante. Estas dos condiciones, que por tal ra-

zn son llamadas matemticamente condiciones iniciales, determinarn cul de las solu-
ciones particulares de la ecuacin es la solucin del problema.
Para el modelo matemtico de un sistema mecnico consistente de un pndulo, o de
un pndulo de torsin, o el de un circuito elctrico R-L-C serie o paralelo, o para sistemas
ms complicados que dan lugar a sistemas de ecuaciones diferenciales o ntegro-diferen-
ciales, son vlidas similares consideraciones.
Como es sabido, para resolver una ecuacin diferencial lineal no homognea por el
mtodo clsico, debe hallarse primeramente la solucin general de la ecuacin homognea
asociada, y luego encontrarse una solucin particular de la ecuacin no homognea, que
deber ser sumada a la solucin general de la ecuacin homognea asociada. La solucin
del problema se obtendr finalmente determinando la solucin particular teniendo en
cuenta las condiciones iniciales.
El uso del mtodo clsico presenta en las aplicaciones ciertas dificultades de orden
prctico. En efecto, si la funcin f

( t

) no es continua, o bien es continua pero no de tipo
polinmica, exponencial, o sinusoidal, o suma de productos de funciones de esa clase, re-
sulta necesarios efectuar clculos bastante engorrosos. A esto se agrega que en muchos
casos el modelo matemtico de un sistema fsico incluye ecuaciones o sistemas de ecua-
ciones ntegro-diferenciales lineales, plantendose el problema de dimensionar elementos
del sistema para optimizar su comportamiento. Esas situaciones exigen encontrar respues-
tas del sistema para diferentes excitaciones, o para una misma excitacin pero con distin-
tas condiciones iniciales, en cuyo caso el mtodo clsico resulta muy poco gil.
En la ltima dcada del siglo XIX, el ingeniero electricista ingls Oliver Heaviside
[He], en estudios sobre fenmenos transitorios en circuitos elctricos, introdujo ciertos
mtodos y mecanismos operatorios que aunque carecan de justificacin matemtica, ge-
neralmente llevan a soluciones correctas. Este mtodo, que transforma la resolucin de
problemas que involucran ecuaciones y sistemas de ecuaciones diferenciales o ntegro-

diferenciales en problemas algebraicos, fue considerado en principio simplemente como
un medio prctico que produce resultados coincidentes con los reales. Su practicidad y su
xito provoc que varios matemticos se ocuparan del mismo. As, T. J. Bromwich [Br],
J. R. C. Carson [Ca], y posteriormente K. W. Wagner, lo justificaron analticamente.
Sin embargo, fue G. Doestsch [Do] quien lo vincul con la transformacin de Laplace, y
desarroll el mtodo que lleva este nombre.
Como se estableci anteriormente, la base del mtodo la constituyen los resultados
de la Seccin 7, referentes a transformadas de derivadas e integrales, y el complemento
indispensable para la aplicacin a resolucin de problemas lo proporcionan los resultados
de los Teoremas 8.1, 9.1 y 9.2, y sus corolarios. De ellos se concluye que la aplicacin
de la transformacin de Laplace reduce las operaciones de derivaciones e integraciones en
la funcin objeto, a simples multiplicaciones o divisiones por potencias de la variable s
de la funcin imagen con el agregado de trminos que incluyen las condiciones iniciales.
Esto permite transformar ecuaciones diferenciales o ntegro-diferenciales en simples ecua-
ciones algebraicas de primer grado en la transformada de la funcin incgnita, y en la
cual las condiciones iniciales quedan incorporadas al ser aplicada la transformacin.
Como un ejemplo adicional, considrese la ecuacin del mismo sistema mecnico
masa-resorte, sin amortiguador, ahora despreciando los efectos de rozamiento. La ecua-
cin ser en este caso de la forma
(10.6) m

x

'' + w
2
x = b

(t

)

,
donde b

( t

) = F

( t

)

/

m

. Supongamos conocidas la posicin y la velocidad en el instante
t = 0, es decir tendremos como condiciones iniciales
x(0

) = x
0

, x'

(0

) = v
0

.
Transformando como antes ambos miembros de (10.6), y teniendo en cuenta la li-
nealidad del operador L, se tiene

L

[ x

'' ]

+

w
2
L

[ x ] = L

[

b

(t

)] .
Llamando con X (

s

) = L

[

x

(t

)]

, y B (

s

) = L

[

b

(t

)]

, resulta
(10.7) s
2
X (

s

)

s x
0

v
0

+

w
2
X (

s

)

=

B (

s

)

,
de donde se obtiene
(10.8) X (

s

)

=

2

2 2

2
0
2

2
0

1

1

w s w s
v
w s
s
x
+
+
+
+
+
B (

s

).
En esta ltima expresin se observa que el aporte de los dos primeros sumandos del
segundo miembro se debe nicamente a las condiciones iniciales, mientras que el tercer
sumando corresponde exclusivamente al efecto de

b

( t

)

, que es proporcional a la excita-
cin

F

(t

). Finalmente, para determinar la respuesta

x

(t

)

, deber hallarse la transforma-
da inversa de X (

s

)

.
En el caso en que b

(t

)

= A sen a t , (

a w

)

, la igualdad (10.7) toma la forma
(10.9) X (

s

)

=

2

2 2

2 2

2
0
2

2
0

1 1

1

a s w s w s
v
w s
s
x A
+ +
+
+
+
+
,
y usando el resultado del Ejercicio 5.2 i., se obtiene
x

(t

)

= ) sen sen (
) (
sen cos

0 0

2 2
t a w t w a
w a w
A
t w v t w x
+ + .
El mtodo descrito puede utilizarse para resolver ecuaciones diferenciales lineales
de coeficientes constantes, pero no se podr aplicar en general cuando los coeficientes
sean variables porque en tales casos debera transformarse un producto de funciones, y
excepto algunos casos muy particulares, no existen frmulas para la transformada de un
producto. Es importante destacar que cuando la ecuacin est asociada a un sistema fsi-
co, sus coeficientes representan los parmetros propios del mismo (resistencias, coeficien-
tes de autoinduccin y capacitancias en el caso de circuitos elctricos; o masas, coeficien-

tes de amortiguacin y de elasticidad en sistemas mecnicos, etc.). Generalmente tales pa-
rmetros pueden ser considerados constantes, es decir independientes del tiempo y de
cualquier otra variable, dentro de un razonable rango de valores de las variables. En tales
casos el mtodo de la transformacin de Laplace constituye una herramienta matemtica
de suma utilidad.
EJEMPLO 1. Hallar la solucin de la ecuacin diferencial
x'' 5

x' + 4

x = 2

e
t

que verifica las condiciones iniciales x (0 ) = 0 , x' (0 ) = 2 .
Transformando ambos miembros de la ecuacin, introduciendo las condiciones ini-
ciales, y llamando con X (

s ) = L

[

x

( t )] , se obtiene
s
2
X (

s ) 2 5

s

X (

s ) + 4

X (

s )

=

1
2
+ s
,
o sea
( s
2
5

s + 4 )

X (

s )

=

1
2
2

+
+
s
s
.
Explicitando X (

s ), es
X (

s )

=
) 4 5 ( ) 1 (
4 2

2

+ +
+
s s s
s
.
Descomponiendo en fracciones simples, resulta
X (

s )

=

1
1
5
1

+ s 1
1

+
s 4
1
5
4

+
s
.
En consecuencia, la solucin del problema de valores iniciales es
x

( t )

= L
1
[

X (

s )]

=
t t t
e e e
4

5
4

5
1

+

La Transformacion de Laplace PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

La Transformacion de Laplace PDF

Caricato da

Copyright:

Formati disponibili

LA TRANSFORMACION DE LAPLACE

Potrebbero piacerti anche