Tema 4.

- LA TRANSFORMADA DE LAPLACE
Ampliacin de Matemticas.
I. T. I. Especialidades en Mecnica y Electrnica Industrial.

Transformada de Laplace

En el modelo matemtico lineal de un sistema fsico, como el de una masa-resorte o de

un circuito elctrico en serie, el lado derecho de la ecuacin diferencial
mx00 + bx0 + kx = f (t) ,
Lq00 + Rq0 + C1 q = V (t)
es una funcin forzada y puede representar a una fuerza externa f (t) o a un voltaje
aplicado V (t). Ya hemos resuelto problemas en los que estas funciones eran continuas.
Sin embargo, no es raro encontrarse con funciones continuas por tramos, en cuyo caso
resolver la ecuacin diferencial que describe el circuito no es fcil. La transformada de
Laplace que estudiaremos en este tema es una valiosa herramienta para resolver estos
problemas.
Definicin 1 Sea f : [0, +) R. Se llama transformada de Laplace de f a la funcin
F (s) definida por la integral
Z
Z b
sx
e f (x)dx = lim
esx f (x)dx,
(1)
F (s) =
b

en todos los valores de s para los cuales la integral impropia sea convergente.
A la funcin f se la llama transformada inversa de Laplace de F . La funcin F suele
representarse con el smbolo L[f ], y con frecuencia se escribe tambin F (s) = L[f (x)].
Asimismo, la funcin f se suele representar con el smbolo L1 [F ], escribindose f (x) =
L1 [F (s)].
Existen funciones para las cuales la integral impropia (1) no converge para ningn
valor de s. Por ejemplo, ste es el caso para la funcin f (t) = 1/t, que crece demasiado
rpido cerca de cero. Del mismo modo, no existe la transformada de Laplace de la funcin
2
f (t) = et que crece muy rpidamente cuando t . Consideraremos, en lo que sigue,
algunas propiedades que asegurarn la existencia de la transformada de Laplace.
1

Definicin 2 Se dice que una funcin f es continua por tramos, si en cada intervalo
(a, b) existe una particin {x0 , x1 , . . . , xn }
a
x0

b
x1 x2

xn1 xn

de modo que
a) La funcin es continua en cada subintervalo (xi1 , xi ).
b) Los lmites de f cuando x tiende a los extremos de cada subintervalo, son finitos.
Nota: Obsrvese que en la definicin anterior se exige que f est definida y sea continua
en todos los puntos del intervalo (a, b) salvo en los puntos de dicha particin. Pero, aunque
la funcin no est definida en los puntos de la particin, en todos ellos deben existir los
correspondientes lmites laterales.
Para establecer las condiciones de existencia de la integral de Laplace, es preciso hacer
algunas hiptesis acerca de la funcin f . Comenzaremos por suponer que f es continua
por tramos en cualquier intervalo (a, b) [0, +). Ello implica que la funcin esx f (x)
es integrable en todo intervalo de la forma [0, b] con b > 0, as que la existencia de la
integral de Laplace depender del comportamiento del integrando para valores grandes
de x .
Definicin 3 Se dice que la funcin f (x) es de orden exponencial si existen constantes
positivas M y x0 tales que
ex |f (x)| < M para todo x x0 .
Se puede probar que si f es de orden exponencial , entonces lim esx f (x) = 0, para
x
todo s > .
Las funciones que normalmente se encuentran al resolver ecuaciones diferenciales lineales son a la vez continuas por tramos y de orden exponencial. Las transformadas de
dichas funciones existen para valores de s suficientemente grandes.
Teorema 4 Si f (x) es una funcin continua por tramos en [0, +) y de orden exponencial , entonces su transformada de Laplace F (s) = L[f (x)] existe para todo s > .
Una propiedad importante de la transformada de Laplace es su linealidad.

Proposicin 5 Linealidad de la transformada.

Si las funciones f : [0, +) R y g : [0, +) R admiten transformada de Laplace,
entonces
L[f (x) + g(x)] = L[f (x)] + L[g(x)]

para todos , R.

La proposicin anterior permite asegurar que

L1 [F (s) + G(s)] = L1 [F (s)] + L1 [G(s)]

para todos , R

es decir, que la transformada inversa tambin goza de la propiedad de linealidad.

Trasformadas de algunas funciones elementales

El clculo directo de la transformada de una funcin mediante su definicin no es, en

general, sencillo. No obstante, para algunas funciones elementales como las constantes,
exponenciales, trigonomtricas, hiperblicas y potenciales, es factible, con sencillos clculos, obtener sus transformadas. A continuacin veremos algunos ejemplos.
Transformada de la funcin constante

Z
k sx
k sx
k
sx
L [k] =
+
ke dx = e
= lim e
(s 6= 0)
0
x+
s
s
s
0

pero lim ks esx = 0 para todo s > 0, y si s < 0, entonces este lmite no es
x+

finito. En consecuencia,

L[k] =

k
s

para todo s > 0

Transformada de eax
x(as)
Z
1
ex(as)
e
ax
ax sx

e e dx =
= lim
L[e ] =
x+ a s
as 0
as
0

(s 6= a)

ex(as)
ahora bien, lim
= 0 para todo s > a, y si s < a, entonces el lmite anterior
x+ a s
no es finito. Por consiguiente,
L[eax ] =

1
sa

para todo s > a

 Transformada de sen bx

Z
Z
1 sx
b
sx
cos bxesx dx
L[sen bx] =
sen bxe dx = e sen bx +
s
s
0
0

b
1 sx
1 sx
sen bx + lim
= lim e
e cos bx
x+
x+ s
s
s
2 Z
b
b
sen bxesx dx
+ 2 2
s
s 0
ahora bien,

1 sx
1 sx
b
e cos bx = 0
lim e sen bx = lim
x+
x+ s
s
s

(s 6= 0)

para todo s > 0,

y si s < 0, estos ltimos lmites no existen. Tenemos pues que

Z
Z
b2
b
sx
sen bxe dx = 2 2
sen bxesx dx
s
s
0
0
b2
b
con lo que resulta L[sen bx] = 2 2 L[sen bx], y de aqu
s
s
L[sen bx] =

s2

b
+ b2

para todo s > 0

Transformada de cos bx

b
En el proceso anterior, puede observarse que L[sen bx] = L[cos bx], de donde se
s
deduce
s
para todo s > 0
L[cos bx] = 2
s + b2

Transformada de Sh bx
Si usamos la propiedad de linealidad de la transformada, podemos escribir
1
1
b
1
1

= 2
L[Sh bx] = L[ebx ] L[ebx ] =
2
2
s b s + b s b2
para todo s que verifique simultneamente s > b y s > b, es decir, para todo
s > |b| . Por consiguiente,
L[Sh bx] =

s2

b
b2

Transformada de Ch bx
4

para todo s > |b|

Si usamos de nuevo la propiedad de linealidad

1
1
1
1
L[Ch bx] = L[ebx ] + L[ebx ] =
+
2
2
sb s+b
igualdad que como en el caso anterior es vlida para todo s > |b| , y de aqu
L[Ch bx] =

s2

s
b2

para todo s > |b|

En las Matemticas, aparecen con alguna frecuencia, funciones a las que se denomina
con cierta ambigedad, especiales. El llamarlas as es para diferenciarlas de la no menos
ambigua categora de las funciones llamadas elementales como son las constantes, potenciales, exponenciales, trigonomtricas, y las que se obtienen a partir de stas mediante
inversin, composicin, suma, producto y cociente un nmero finito de veces.
Dentro de la amplia gama de funciones especiales, slo nos vamos a interesar en una
de ellas, y adems de forma muy breve, lo justo para poderla emplear en el clculo de las
transformadas de las funciones potenciales.
Definicin 6 Se llama funcin gamma a la funcin : (0, +) R definida mediante
la integral
Z
(x) =
tx1 et dt
0

la cual es convergente para todo x > 0.

Algunas propiedades de la funcin gamma son las siguientes:

1. (1) = 1
2. (x + 1) = x(x)
3. (n + 1) = n!

4. (1/2) =

para todo n N

Haciendo uso de esta funcin gamma, podemos calcular las trasformadas de las funciones potenciales.
Transformada de xa .

Para calcular la integral de Laplace de la funcin xa , hacemos el cambio de variable

sx = t con s > 0:
Z
Z a
Z
t
1
(a + 1)
t dt
a
a sx
= a+1
x e dx =
e
ta et dt =
L[x ] =
s
s
s
sa+1
0
0
0
5

pero para que la ltima igualdad tenga sentido ha de ser a + 1 > 0, porque si no,
la integral que define la funcin gamma, es divergente. Por otra parte, al hacer el
cambio de variable, hemos exigido
que
a s > 0, ya que si s = 0, el cambio no tiene
t
sentido, y si s < 0, la potencia
no estara bien definida para casi todos los
s
valores de a. Por tanto,
L[xa ] =

(a + 1)
sa+1

para todo a > 1 y para todo s > 0

Nota: Cuando 1 < a < 0, la funcin xa no es continua por tramos, ya que en cualquier
semientorno del origen en el que x > 0, no est acotada, es decir tiene una discontinuidad
de segunda especie. El teorema 4, no garantiza la existencia de la integral de Laplace
de esta funcin. No obstante puede demostrarse (aunque nosotros no lo haremos), que
efectivamente hay convergencia y por lo tanto que existe la transformada que hemos
calculado.

Propiedades de la trasformada de Laplace

Una primera propiedad de la trasformada es su continuidad.

Proposicin 7 Continuidad de la transformada.
Sea f : [0, +) R una funcin continua por tramos y de orden exponencial ,
entonces su transformada de Laplace es continua en (, +).
Existe una importante relacin entre las transformadas de una funcin y de su derivada,
cuya importancia radica en el amplio uso que puede hacerse de ella en la resolucin de
problemas de valores iniciales. De hecho, esta es una de las herramientas ms potentes
para este tipo de problemas.
Teorema 8 Sea f : [0, +) R continua y con derivada continua por tramos que es
adems de orden exponencial, entonces
L[f 0 (x)] = sL[f (x)] f (0).
La igualdad del teorema 8 admite esta GENERALIZACIN: supongamos ahora que
existe f 00 y que al igual que f 0 en el teorema, es continua por tramos y de orden exponencial,
asimismo supongamos que f 0 es continua, entonces
L[f 00 (x)] = sL[f 0 (x)] f 0 (0)
6

pero al sustituir L[f 0 (x)] por su valor, resulta

L[f 00 (x)] = s2 L[f (x)] sf (0) f 0 (0)
El razonamiento puede generalizarse, y admitiendo que f n) es continua por tramos,
de orden exponencial y que f n1) es continua, podemos escribir
L[f n) (x)] = sn L[f (x)] sn1 f (0) sn2 f 0 (0) sf n2) (0) f n1) (0)
igualdad que puede demostrarse usando el mtodo de induccin.
Existe, tambin, una interesante relacin entre las transformadas de una funcin y de
sus primitivas
Teorema 9 Sea f : [0, +) R continua por tramos y de orden exponencial, entonces

Z x
Z
1 a
1
f (t)dt = L[f (x)]
f (x)dx.
L
s
s 0
a
Dos propiedades relativas a la derivacin e integracin de transformadas de Laplace
son las siguientes.
Teorema 10 Sea f : [0, +)
R una

Z funcin continua por tramos, de orden exponenf (x)

y
F (p)dp siendo F (s) = L[f (x)], entonces
cial y tal que existen L
x
s

Z
f (x)
F (p)dp = L
x
s
Teorema 11 Sea f : [0, +) R una funcin continua por tramos y de orden exponencial , entonces L[f (x)] es derivable para todo s > y se verifica que
F 0 (s) = L[xf (x)]
Los siguientes resultados establecen relaciones entre los comportamientos de una funcin y de su transformada, para valores grandes o pequeos de las variables.
Proposicin 12 Sea f : [0, +) R continua por tramos y de orden exponencial,
entonces su transformada verifica
lim F (s) = 0

Teorema 13 Teorema del valor inicial

Sea f : [0, +) R continua y con derivada continua por tramos que adems es de
orden exponencial, entonces
lim sL[f (x)] = f (0)
s

Teorema 14 Teorema del valor final

Sea f : [0, +) R continua y con derivada continua por tramos que adems es de
orden exponencial siendo negativa, entonces
lim sL[f (x)] = lim f (x)

s0

Traslaciones, cambios de escala

Veremos en esta seccin cmo afecta a las transformadas de Laplace una traslacin en las
variables x y s, as como los cambios de escala. Previamente introducimos la siguiente
definicin.
Definicin 15 Se llama escaln unidad a la funcin u : R R definida as

1
si x 0
u(x) =
0
si x < 0
1
A partir de la definicin es inmediato comprobar que L[u(x)] = .
s
Teorema 16 Primera frmula de traslacin
Si a es un nmero real cualquiera, entonces
L[eax f (x)] = F (s a)
Teorema 17 Segunda frmula de traslacin
Si a > 0, entonces
L[f (x a)u(x a)] = esa L[f (x)]
Teorema 18 Cambio de escala
Sea f : [0, +) R una funcin continua por tramos y de orden exponencial ,
entonces

1 h x i
para todo k > 0 y para todo s >
F (ks) = L f
k
k
k
y alternativamente
s
= kL[f (kx)]
para todo k > 0 y para todo s > k
F
k
8

Funciones peridicas

En el caso de las funciones peridicas que tengan transformada de Laplace, el clculo de

la integral se reduce al de una integral ordinaria.
Teorema 19 Sea f : R R una funcin continua por tramos y peridica de perodo T ,
entonces
Z T
1
esx f (x)dx
para todo s > 0
L[f (x)] =
T
s
1e
0

Convolucin. Teorema del producto de transformadas

Definicin 20 Sean f : [0, +) R y g : [0, +) R funciones integrables en [0, x]

para todo x > 0. Se llama convolucin de f y g, a la funcin f g : [0, +) R definida
as
Z x
f (x t)g(t)dt
(f g)(x) =
0

De la definicin se deduce de forma inmediata que la convolucin de dos funciones es

conmutativa, es decir que f g = g f .
Teorema 21 Teorema del producto de transformadas
Si f : [0, +) R y g : [0, +) R son funciones continuas por tramos y de orden
exponencial, entonces
L[(f g)(x)] = L[f (x)]L[g(x)]

Algunas tcnicas de clculo de transformadas inversas

Se presenta con frecuencia el clculo de la transformada inversa de una funcin racional

P (s)
del tipo
donde P y Q son polinomios y el grado de Q mayor que el de P . Sabemos
Q(s)
que en tal caso, la funcin admite una descomposicin en fracciones simples de algunas
de estas formas
A
A
As + B
n
sa
(s a)
(s a)2 + b2
que corresponden respectivamente a races reales simples, races reales mltiples y pares
de races complejas conjugadas simples del denominador (no consideraremos el caso de
races complejas mltiples).
9

Se puede comprobar que las transformadas inversas de cada una de estas fracciones,
despus de aplicar la linealidad de la antitransformada, son las siguientes:

A
1
L
= Aeax
sa
L1
1

A
xn1 ax
=
A
e
(s a)n
(n 1)!

As + B
Aa + B ax
= Aeax cos bx +
e sen bx
2
2
(s a) + b
b

Funcin delta

Ahora vamos a estudiar una funcin muy especial. Fue introducida en 1930 por P.A. M.
Dirac, premio Nobel de Fsica en 1933, en su libro Principios de Mecnica Cuntica
(edicin espaola, Ariel 1967) de esta manera tan informal:
... introducimos la cantidad (x) que depende de un parmetro x y satisface las
condiciones
Z
(x) dx = 1
(x) = 0
para todo x 6= 0

Si queremos tener una imagen de (x), consideremos una funcin de la variable real x
que sea nula fuera de un pequeo dominio de amplitud alrededor del origen y que en el
interior de ese dominio tome valores grandes. No importa la forma exacta de la funcin
dentro de ese dominio, con tal de que no sufra en l variaciones innecesariamente bruscas
(por ejemplo, con tal de que la funcin sea siempre del orden de 1 ). Pasando al lmite
para 0, esta funcin tender a confundirse con (x).

(x) no es una funcin de x segn definicin matemtica ordinaria de funcin

que le exigira tener un valor definido para cada punto de su dominio sino algo ms
general que llamaremos funcin impropia para destacar su diferencia con las funciones
definidas de modo ordinario. Por tanto, (x) no es una cantidad que pueda usarse en
anlisis matemtico con tanta generalidad como las funciones ordinarias, y su uso debe
restringirse a ciertos tipos de expresiones sencillas para las que sea evidente que no puede
dar lugar a inconsecuencias lgicas.
Posteriormente, y para justificar la funcin definida por Dirac de este modo heurstico, L. Schwarz introdujo la teora de las distribuciones, dentro de la cual queda definida
con todo rigor.
Pero la citada teora tiene un nivel muy superior al contexto en el que nos situamos
en esta asignatura, por lo que para desarrollar algunas propiedades de la funcin , en
10

especial las relacionadas con la transformada de Laplace, volvemos al punto de vista

informal con que fue introducida.
Quede claro pues que en los razonamientos que siguen, seremos deliberadamente poco
rigurosos, por lo que stos no resistirn una crtica seria, pero a pesar de ello, optamos
por este punto de vista poco formal, para evitar as el tener que presentar los resultados
sin ninguna clase de justificacin, ofreciendo al menos unos argumentos plausibles aunque
poco aptos para puristas.
De acuerdo con la representacin anterior, si definimos la funcin

1/
si 0 x
f (x) =
0
si < x
podremos escribir que f (x) ' (x) para valores pequeos de . Vamos a calcular entonces
la transformada de Laplace de f
Z
Z
1
sx
e f (x)dx =
esx dx = esc
c [0, ]
L[f (x)] =

0
0
En la ultima igualdad hemos empleado el primer teorema de la media para integrales.
Ahora bien, la igualdad aproximada f (x) ' (x) es tanto ms exacta cuanto ms
pequeo sea , y lo mismo le ocurre a la igualdad aproximada esc ' 1. De lo que
podemos inferir que
L[(x)] = 1

Bibliografa

Kreyszig, E., Matemticas Avanzadas para Ingeniera. (2 vols). Limusa Wiley.

Nagle, R.K., Sa, E.B., Fundamentos de Ecuaciones Diferenciales. Addison-Wesley
Iberoamericana.
Rodrigo del Molino, F., Rodrigo Muoz, F. Problemas de Matemticas para Cientficos y Tcnicos. Tebar.
Spiegel, M.R. Transformadas de Laplace. McGraw-Hill ( Coleccin Schaum).
Zill, D.G. Ecuaciones Diferenciales con Aplicaciones. Grupo Editorial Iberoamericana.

11

Transformadas de Laplace
Frmula General
Z

F (s) = L[f (x)] =

Nombre, comentarios

esx f (x)dx

Definicin de
transformada

f (x) = L1 [F (s)]
L[f (x) + g(x)] = L[f (x)] + L[g(x)]

Linealidad

L[f 0 (x)] = sL[f (x)] f (0)

L[f 00 (x)] = s2 L[f (x)] sf (0) f 0 (0)
L[f n) (x)] = sn L[f (x)] sn1 f (0) f n1) (0)

Derivacin de
una funcin

Z
1
1
f (t)dt = L[f (x)]
s
s
a
x

f (x)dx
0

Integracin de
una funcin

L[xf (x)] = F 0 (s) ,

L[xn f (x)] = (1) F n) (s)

f (x)
=
x

F (p)dp

Integracin de la transformada

L[eax f (x)] = F (s a)

Traslacin s
(Primera frmula de traslacin)

L1 [F (s a)] = eax f (x)

L[u(x )f (x )] = es L[f (x)],

L1 es F (s) = u(x )f (x )
(f g)(x) =

Derivacin de la transformada

Traslacin x
(Segunda frmula de traslacin)

x
0

f (x t)g(t)dt

Convolucin

L[(f g)(x)] = L[f (x)]L[g(x)]

L[f (x)] =

1
1 eT s

esx f (x)dx
0

12

f peridica de periodo T

Transformadas de Laplace
f (x)

xn

F (s) = L[f (x)]

k
s

1
s2

(n = 1, 2, . . .)

F (s) = L[f (x)]

n!

1
(s a)2

xeax

sn+1
1

xa

(a + 1 > 0)

eax

sen bx

cos bx

Sh bx

Ch bx

f (x)

1 k1 ax
x e
(k)

(a + 1)
sa+1

(s a)

1
sa

1
(s a) (s b)

1 ax
e ebx
ab

1
(s a)2 + b2

1 ax
e sen bx
b

sa
(s a)2 + b2

eax cos bx

s2

b
+ b2

s2

s
+ b2

b
s2 b2
s2

(s2

s
b2

u(x)

1
s

(x)

13

s
+ b2 )2

x
sen bx
2b

eas
s

u (x a)

eas

(x a)

Apndice.- INTEGRALES IMPROPIAS

Rb
El significado dado en cursos anteriores a la integral de Riemann a f (x) dx presupone
que f es una funcin acotada en el intervalo acotado [a, b]. Ahora bien, es posible extender
el concepto de integral cuando se presentan al menos uno de los dos casos siguientes,
hablndose, cuando esto sucede, de integrales impropias:
a) Uno al menos de los lmites de integracin no es finito (integral impropia de 1a especie)
b) La funcin f no est acotada sobre el intervalo [a, b] (integral impropia de 2a especie)
Pasamos a definir slo el caso a) que es el que nos interesa.
Si f es una funcin real de variable real, definida al menos en un intervalo de la forma
[a, ), y f es integrable Riemann en todo intervalo acotado [a, x] con x a, tiene sentido
plantearse el lmite
Z
x

lim

(*)

f (t) dt

R
cuando el lmite (*) existe y es finito, se designa por a f (t) dt y se dice que la integral
R
impropia a f (t) dt es convergente. Si el lmite (*) existe y no es finito o bien no existe,
se dice que la integral impropia es divergente.

Anlogamente, si ahora f es una funcin real de variable real, definida al menos en un

intervalo de la forma (, a], y f es integrable Riemann en todo intervalo acotado [x, a]
con x a, tiene sentido plantearse el lmite
Z a
lim
f (t) dt
x

y pondremos

Ra

f (t)dt = lim

Ra
x

f (t) dt cuando este lmite exista y sea finito.

Por otra parte, cuando el dominio de f es R, y adems f es integrable Riemann en

cada intervalo acotado de la recta real, tiene sentido plantearse los dos lmites anteriR +
ores. En este caso la integral f (t) dt se dice que es convergente cuando lo sean
Ra
R +
simultneamente las integrales a f (t) dt y f (t) dt y pondremos
Z a
Z +
Z +
f (t) dt =
f (t) dt +
f (t) dt

R +

Conviene observar que si la integral f (t) dt es convergente su valor es igual a lim

x
Rx
f
(t)
dt,
pero
puede
ocurrir
que
este
ltimo
lmite
exista
y
sea
finito
sin
que
dicha
x
integral sea convergente; en cualquier caso, el lmite
Z x
lim
f (t) dt
x

recibe el nombre de valor principal de la integral.

14