Transformada de Laplace

LA TRANSFORMADA DE LAPLACE CARLOS S.
CHINEA
LA TRANSFORMADA DE LAPLACE
Es la más conocida y utilizada de las transformadas integrales. Se ha mostrado de

una gran utilidad a la hora de resolver multitud e problemas de la ciencia y
tecnología, aplicándose de manera efectiva al estudio de tema fundamentales como
teoria de vibraciones, circuitos electrónicos, búsqueda de soluciones de ecuaciones
en derivadas parciales, estudio de la conductividad del calor, ecuación de onda,
soluciones de problemas de valor de frontera, etc.
0. Introducción:
La idea básica del llamado Cálculo Operativo consiste en establecer una

correspondencia funcional o transformación de modo que si a una función f(x) dada
le corresponde un conjunto L[f(x)] de operaciones, o un conjunto de ecuaciones
L[f(x)]=0, a la función transformada correspondiente F(s) le corresponderá el
conjunto de operaciones L[F(s)] o bien un conjunto de ecuaciones L[F(s)]=0. La
utilidad de esta correspondencia funcional se manifiesta cuando el conjunto de
operaciones, L[F(s)], o de ecuaciones transformadas L[F(s)]=0 es de más sencilla
resolución que las operaciones correspondientes L[f(x)], o ecuaciones
correspondientes L[f(x)]=0 en la función original f(x).
Pueden ser ideadas, obviamente, múltiples reglas de transformación. En particular

han resultado efectivas las llamadas transformadas integrales, por la que se define
la función transformada F(s) como una integral de la función original f(x)
multiplicada por alguna función arbitraria de las variables x y s que se denomina en
general Núcleo de la transformación:
b
F ( s ) = ∫ K ( s, x). f ( x).dx
a
En todas las transformadas integrales es el núcleo de la transformación, K ( s, x ) , y,

en algún caso, los límites de integración, a y b, lo que define el tipo de
transformada integral.
Son ejemplos de transformadas integrales las siguientes:
a. Transformada de Fourier por senos:
∞
F ( s ) = ∫ sen( st ). f (t ).dt
0
MARCHENA (SEVILLA), SEPTIEMBRE 2005 1

LA TRANSFORMADA DE LAPLACE CARLOS S. CHINEA
b. Transformada de Fourier por cosenos:
∞
F ( s ) = ∫ cos( st ). f (t ).dt
0
c. Transformada de Fourier compleja:
∞
F ( s ) = ∫ eist . f (t ).dt
−∞
d. Transformada de Laplace:
∞
F ( s ) = ∫ e − st . f (t ).dt
0
e. Transformada de Hankel:
∞
F ( s ) = ∫ f (t ).t.J n ( st ).dt
0
(Jn(st) es la función de Bessel de órden n)
f. Transformada de Mellin:
∞
F ( s ) = ∫ f (t ).t s −1.dt
0

1. La transformada integral de Laplace:
Definición 1.1:
Sea f(t) una función real definida en el intervalo (-∝, +∝) tal que f(t)=0 si t<0. Se
llama Transformada de Laplace de f(t) a la función
∞
F ( s ) = ∫ e − st . f (t ).dt
0
que también podemos designar por L(f), o por Lf.
La variable s es un número complejo, s=a+i.b, y la transformada F(s) está definida

para aquellos valores de s en el plano complejo para los cuales converge la integral.
Proposición 1.1:
Si llamamos φ a (t ) = e − at . f (t ) , entonces la transformada de Laplace de f(x) coincide

con la transformada de Fourier compleja de φ a (t ) .
En efecto:
∞ ∞ ∞ ∞
∫ e . f (t ).dt = ∫ e f (t ).dt = ∫ e −ibt .e − at . f (t ).dt = ∫ e −ibt .φ a (t ).dt

− st − ( a + bi ).t
0 0 0 0
Proposición 1.2:
Para que exista la transformada de Laplace de una función f(x) es condición

suficiente que:
a) f ( x ) ∈ R , en todo intervalo finito.

b) f ( x ) sea de orden exponencial, esto es, que existan contantes positivas M, a, xo
tales que f ( x) ≤ M .e ax , ∀x ≥ xo
En efecto:
Descompongamos la integral que define la transformación:
∞ t0 ∞
∫e f (t ).dt = ∫ e f (t ).dt + ∫ e − st f (t ).dt

− st − st
0 0 t0
La primera de ambas integrales existe, puesto que f(x)∈R en todo intervalo finito.
En cuanto a la segunda integral, se tiene que para x>a:
e − st f (t ) = e − xt f (t ) ≤ e − xt .Me at = M .e − ( x − a ).t , ∀t ≥ t0 , por tanto:

∞ ∞ ∞ ∞ ∞
∫ e f (t ).dt ≤ ∫ e f (t ) .dt = ∫ e f (t ) .dt = ∫ e f (t ) .dt ≤ ∫ M .e

− st − st − st − xt − ( x − a ).t
.dt ≤
t0 t0 t0 t0 t0
∞
M
≤ ∫ M .e −( x − a ).t .dt =
0
x−a
∞
∫
− st
En definitiva, F ( s ) = e . f (t ).dt converge absolutamente para x>a.
0
Proposición 1.3:
Si la integral
∞
∫e
− st
. f (t ).dt
0
es convergente en s = s 0 = x 0 + i. y 0 , entonces, si para cualquiera que sea el

número real positivo k definimos el sector s(k) con vértice en so como el conjunto
 y − y0 
s (k ) =  x + iy / x > x o , < k
 x − x0 
resulta que la integral
∞
∫e
− s0 t
. f (t ).dt
0
converge uniformemente en s(k).
En efecto:
El teorema quedaría probado se demostramos que para todo s∈s(k), existe algún t0
tal que si t2 ≥ t1 ≥ t0 entonces

t2
∫e f (t ).dt < ε , ∀ε > 0

− st
t1
x ∞
Empecemos definiendo β ( x) = ∫ e − s t f (t ).dt − ∫ e − s t f (t ).dt ,
0 0
si x ≥ 0 , por lo que es
0 0
x x
dβ (t ) = e ∫e f (t ).dt = ∫ e − ( s − s 0 ) t .dβ (t ) , siendo esta igualdad
− s0 t − s0t
f (t ).dt , y por tanto:
0 0
válida para todo número complejo s=x+iy que tenga x ≥ 0 .
Obviamente, es β ( x ) → 0 si x → ∞ , esto es, para valores de x suficientemente

grandes, esta función puede hacerse tan pequeña como se quiera. Por lo tanto,
dado ε > 0 , siempre podemos elegir un t0 tal que para t ≥ t0 es β (t ) < ε ' , siendo ε’
cualquier número positivo, por muy pequeño que sea, en particular, podemos elegir
arbitrariamente
1
ε
ε '= 2
1+ 1+ k2
Vamos a probar ahora, por consiguiente, que
t2 t2
∫ e f (t ).dt = ∫ e 0 .dβ (t ) < ε , ∀ε > 0 , para todo s∈s(k)

− st − ( s − s )t
t1 t1
para ello resolvemos por partes la segunda integral:
t2 t2
β (t ) − ∫ β (t ).[− ( s − s0 )].e − ( s − s ).t .dt =

t2
∫e .dβ (t ) = e
− ( s − s0 )t − ( s − s 0 ).t 0
t1
t1 t1
t2
=e − ( s − s0 )t 2
β (t2 ) − e − ( s − s 0 ) t1
β (t1 ) + ( s − s0 ) ∫ e − ( s − s )t β (t ).dt
0
t1
y teniendo en cuenta que cuando s∈s(k) es x>x0 , se tiene que:
e − ( s − s0 ).t = e −[( x − x0 ) + ( y − y 0 ) i ] = e − ( x − x0 ).t ≤ 1
por lo cual, utilizando esta desigualdad, se puede escribir que
t2 t2
s − s0
∫e
− ( s − s0 )t
.dβ (t ) ≤ ε '+ε '+ε ' s − s0 .∫ e − ( x − x0 ).t .dt = 2ε '+ε '.
x − x0
[e − ( x − x 0 ).t1
]
− e − ( x − x0 ).t 2 <
t1 t1

s − s0 s − s0     2 
 = 2ε ' 1 + ( x − x0 ) + ( y2− y0 )  = 2ε ' 1 + 1 + y − y0
2 2

< 2ε '+2ε '. = 2ε ' 1 +  <
x − x0  x − x0   (x − x0 )   x − x0 
     
< 2ε ' (1 + 1 + k 2 )
1
ε
y, finalmente, si sustituimos ε ' = 2 :
1+ 1+ k2

t2 t2
∫ e f (t ).dt = ∫ e 0 .dβ (t ) < ε , ∀ε > 0

− st − ( s − s )t
t1 t1
por lo que la integral indicada converge uniformemente en el sector s(k).
Puesto que todo punto del semiplano x>x0 está situado dentro de algún sector s(k)
con vértice en x0, se puede enunciar el siguiente corolario.
Corolario 1.1:
Si la integral
∞
∫e
− st
. f (t ).dt
0
converge para s = s0 = x0 + i.y0 también converge para cada s = x + i. y en el

semiplano x>x0, convergencia que puede o no ser uniforme en dicho semiplano. En
los puntos de la recta x=x0 distintos de s0 la integral puede no ser convergente.
Definición 1.2:
El ínfimo del conjunto de todos los x0 tales que

∞
∫e
− st
. f (t ).dt
0
converge para s = s0 = x0 + i.y0 se llama abcisa de convergencia de la integral y se

representa por σ (t ). Esta abcisa podría ser -∝, pero no +∝, pues la función f(t) es
de orden exponencial.
El semiplano x > σ (t ) se llama semiplano de convergencia de la integral.
Proposición 1.4:
Sea σ (t ) la abcisa de convergencia de la integral

∞
F ( s ) = ∫ e − st . f (t ).dt
0
Para cada s = x + i.y , con x > σ (t ) existe la derivada F’(s) y viene dada por
∞
F ' ( s ) = − ∫ e − st .t. f (t ).dt
0
integral que converge uniformemente en todo sector s(k) interior al semiplano

x > σ (t ) .

La aplicación reiterada de este teorema nos dice que F(s) tiene derivadas de
cualquier orden y que vienen dadas por la fórmula
∫e
− st
F ( s ) = (−1)
n) n
.t n . f (t ).dt
0
si s pertenece al semiplano de convergencia.
En efecto:
Veremos la demostración en dos partes. En la primera probaremos la convergencia

de la integral
∞
∫e
− st
.t. f (t ).dt
0
en el semiplano de convergencia x > σ (t ) , y en la segunda parte probaremos la

existencia de la derivada F’(s) y su expresión mediante la integral anterior.
∫e
− st
a) Convergencia de .t. f (t ).dt :
0
A ∞
Consideremos la función α (t ) = ∫ e − st
f (t ).dt − ∫ e − st f (t ).dt , análoga a la función β(t)
0 0
definida en la demostración de la proposición 1.3. Se tiene entonces que
A A
dα (t ) = e − s0 t f (t ).dt , y por tanto: ∫ e − s 0 t .t. f (t ).dt = ∫ e − ( s − s0 ) t .t.dα (t ) , y resolvemos por
0 0
partes la segunda integral:
[ ]
A A
A
∫e .t.dα (t ) = t.e α (t ) − ∫ α (t ). e −( s − s )t − ( s − s0 ).e −( s − s )t .t .dt =
− ( s − s0 ) t − ( s − s0 ).t 0 0
0
0 0
A A
= A.e −( s − s0 ) Aα ( A) − ∫ α (t ).e −( s − s0 )t .dt + ( s − s0 ) ∫ t.e −( s − s0 ) tα (t )dt
0 0
Puesto que α(t) está acotada, α (t ) ≤ M , si es s=x+iy y x>x0, siempre se puede

elegir un h tal que x0<x0+h<x, y, para t ≥ 0 es
e − ( s − s0 ) t .t.α (t ) ≤ M .t.e − ( s − s0 ) t ≤ M .t.e − ( x − x0 ) t = M .t.e − h.t

A
∫e .t.dα (t ) está acotado por M .t.e − ht , que tiene

− ( s − s0 ) t
En definitiva, el integrando de
0
límite finito para t tendiendo a infinito, por lo cual, aplicando el criterio M de
Weierstrass, resulta ser convergente para x>x0 la integral
∞
∫e
− ( s − s0 ) t
.t. f (t ).dt
0
y, finalmente, puesto que x0 solamente está sujeto a la condición de que x0 > σ (t ) ,

se deduce que la integral antedicha converge para todo s del semiplano de
convergencia x > σ (t ) . Aplicando la proposición 1.3. anterior la integral converge
además uniformemente en todo sector S(k) de dicho semiplano.

b) Existencia de la derivada F’(s):
Consideremos la descomposición:
∞ ∞ ∞
F (s) = ∫ e − st
f (t ).dt = ∫ e − ( x + iy ) t
f (t ).dt = ∫ e − xt (cos( yt ) − i.sen( yt )). f (t ).dt =
0 0 0
∞ ∞
= ∫ e − xt cos( yt ). f (t ).dt − i ∫ e − xt sen( yt ). f (t ).dt = u ( x, y ) + iv( x, y )
0 0
donde llamamos:
∞ ∞
u ( x, y ) = ∫ e − xt
cos( yt ). f (t ).dt v( x, y ) = − ∫ e − xt sen( yt ). f (t ).dt
0 0
derivando parcialmente estas expresiones tenemos:
∞ ∞
∂u ∂v
= − ∫ t.e − xt cos( yt ). f (t ).dt = ∫ t.e − xt sen( yt ). f (t ).dt
∂x 0
∂x 0
∞ ∞ [1.4.a]
∂u ∂v
= − ∫ t.e − xt sen( yt ). f (t ).dt = − ∫ t.e − xt cos( yt ). f (t ).dt
∂y 0
∂y 0
de lo que se deduce que se cumplen las ecuaciones de Cauchy-Riemann:
∂u ∂v
=
∂x ∂y
∂u ∂v
=−
∂y ∂x
por lo cual:
d d d dx
F ' (s) = F ( s ) = F ( x + iy ) = [u ( x, y ) + iv( x, y )].
ds ds dx ds
dx 1 ∂u ∂v
y siendo = = 1 = 1 se tendrá que F ' ( s ) = + i , y, usando las
ds ds 1 ∂x ∂x
dx
∂v ∂u
ecuaciones de Cauchy-Riemann, también es F ' ( s ) = −i
∂y ∂y
Por tanto, sustituyendo las expresiones integrales [1.4.a]:
∞ ∞
F ' ( s ) = − ∫ t.e − xt
cos( yt ). f (t ).dt + i ∫ t.e − xt sen( yt ). f (t ).dt =
0 0
 ∞ ∞
 ∞
= F ' ( s ) = −  ∫ t.e cos( yt ). f (t ).dt − i ∫ t.e sen( yt ). f (t ).dt  = − ∫ e − st . f (t ).dt
− xt − xt
0 0  0
por tanto, la derivada de la transformada de Laplace existe y es, precisamente, la

integral cuya convergencia se ha probado en el parágrafo anterior.

2. Propiedades:
Proposición 2.1 (Propiedad de linealidad):
Si son c1 y c2 números reales y son f1(x) y f2(x) funciones reales tales que sus
transformadas de Laplace son F1(s) y F2(s), se verifica que la transformada de la
combinación lineal de las funciones es la combinación lineal de las transformadas:
∀c1 , c 2 ∈ R 

L[ f1 ( x)] = F1 ( s )  ⇒ L[c1 f 1 ( x) + c 2 f 2 ( x)] = c1 L[ f1 ( x)] + c 2 L[ f 2 ( x)] = c1 F1 ( s ) + c 2 F2 ( s )
L[ f 2 ( x)] = F2 ( s )
En efecto:
∞ ∞ ∞
L[c1 f1 (t ) + c2 f 2 (t )] = ∫ e − st [c1 f1 (t ) + c2 f 2 (t )].dt = c1 ∫ e − st f1 (t ).dt + c2 ∫ e − st f 2 (t ).dt =
0 0 0
= c1L[ f1 (t )] + c2 L[ f 2 (t )] = c1F1 ( s ) + c2 F2 ( s )
Proposición 2.2 (Primera propiedad de traslación):
[ ]
Si es L f (t ) = F ( s ) entonces también se verifica que L e . f (t ) = F ( s − a ). [ at
]
En efecto:
∞ ∞
[ at
]
L e . f (t ) = ∫ e .e f (t ).dt = ∫ e − ( s − a ) t f (t ).dt = F ( s − a )
− st at
0 0
Proposición 2.3. (Segunda propiedad de traslación):
 f (t − a), t > a
[ ] entonces L[g (t )] = e .F ( s )
− sa
Si es L f (t ) = F ( s ) y es g (t ) = 
 0, t < a
En efecto:
∞ a ∞ ∞ ∞
L[g (t )] = ∫ e g (t ).dt = ∫ e g (t ).dt + ∫ e g (t ).dt = ∫ e
− st − st − st − st
f (t − a ).dt = ∫ e − s ( a + u ) f (u ).du
0 0 a a 0
por tanto:
∞
L[g (t )] = e − sa ∫ e − su f (u ).du = e − sa F ( s )
a

Proposición 2.4 (Propiedad de cambio de escala):
1 s
[ ]
Si es L f (t ) = F ( s ) , entonces L f ( at ) = [ ] F 
a a
En efecto:
∞ ∞ u ∞ s
du 1 − a u 1 s
L[ f (at )] = ∫ e
−s
− st
f (at ).dt = ∫ e a
f (u ) = ∫ e f (u ).du = F  
0 0
a a0 a a
Proposición 2.5 (Propiedad de transformación de derivadas):
Sea f(t) una función continua en 0 ≤ t ≤ r , de orden exponencial para a t>r, y su

derivada f’(t) al menos continua a tramos. Si es L f (t ) = F ( s ) , se verifica que [ ]
L[ f ' (t )] = s.F ( s ) − f (0)
En efecto:
∞ A
 − st A

L[ f ' (t )] = ∫ e − st f ' (t ).dt = lím
A
∫0 ∫
− st
e . f ' (t ).dt = lím  e f (t ) + s e − st f (t ).dt  =
0
0
A→∞ A→∞ 0 
 A
  A

= lím e − sa f ( A) − f (0) + s ∫ e − st f (t ).dt  = lím − f (0) + s ∫ e − st f (t ).dt  =
A→∞ 0  A→∞ 0 
∞
= − f (0) + s ∫ e − st f (t ).dt = − f (0) + s.F ( s )
0
(pues e
− sA
f ( A) → 0 , para s>r)
Proposición 2.6 ((Propiedad de transformación de derivadas con discontinuidad en

el origen):
Si la función f(t) de la propiedad anterior no satisface la continuidad en t=0, pero
existe lim f (t ) = f (0+ ) (aunque no sea igual a f(0)) entonces es

t → 0+
L[ f ' (t )] = s.F ( s ) − f (0+ )
En efecto:
∞ A
 − st A

L[ f ' (t )] = ∫ e
A
− st
f ' (t ).dt = lím ∫ e . f ' (t ).dt = lím e f (t ) + s ∫ e − st f (t ).dt  =
− st
ε
0 A→∞ε A→∞ ε 
ε →0 +
ε →0 +

 − sA A
 A
= lím e f ( A) − e f (ε ) + s ∫ e f (t ).dt  = e f ( A) − e
− sε − st − sA −s0+
f (0 ) + s ∫ e − st f (t ).dt =
+
A→∞ ε  ε
ε →0 +
A
= − f (0 + ) + s ∫ e − st f (t ).dt = − f (0 + ) + s.F ( s )
ε
Proposición 2.7 (Propiedad de transformación de derivadas con discontinuidad en

un punto cualquiera):
Si la función f(t) de las dos últimas propiedades deja de ser continua en t=a>0
entonces
[
L[ f ' (t )] = s.F ( s ) − f (0) − e − as f (a + ) − f (a − ) ]
En efecto:
∞
 a − ε − st A

L[ f ' (t )] = ∫ e − st
f ' (t ).dt = lím  ∫ e . f ' (t ).dt + ∫ e − st . f ' (t ).dt  =
0 A → ∞ 0 a +ε 
ε →0 +
 a −ε
a −ε
  A
A

= lím  e − st . f (t ) + s ∫ e − st . f (t ).dt  + e − st . f (t ) + s ∫ e − st . f (t ).dt   =
a +ε
A → ∞   0
0   a +ε  
ε → 0+
a ∞
= e − sa f (a − ) − f (0) + ∫ e − st f (t ).dt − e − sa f (a + ) + s ∫ e − st f (t ).dt =
0 a
( )
= −e − sa f (a + ) − f (a − ) − f (0) + s.F ( s )
Proposición 2.8 (Propiedad de transformación de la n-sima derivada):
[ ]
Si es L f (t ) = F ( s ) y son f(t), f’(t),...,f(n-1)(t) continuas para 0 ≤ t ≤ N y de orden
exponencial para t>N, y es asimismo f(n)(t) al menos continua a tramos para
0 ≤ t ≤ N , se verifica que
[
L f (n)
]
(t ) = s n F ( s ) − s n −1 f (0) − s n − 2 f ' (0) − ... − s. f ( n − 2 ) (0) − f ( n −1) (0)
En efecto:
Podemos hacer la demostración por inducción:

[ ] 0
Para n=0: L f (t ) = s .F ( s ) = F ( s ) (por definición)
Para n=1: L[ f ' (t )] = s.L[ f (t )] − f (0) (por propiedad 5ª)
Supongamos la fórmula cierta para el valor n=k-1 a fin de probar que, entonces,
sería también cierta para n=k:
[ ]
L f ( k −1) (t ) = s k −1 F ( s ) − s k − 2 f (0) − s k −3 f ' (0) − ... − s. f ( k −3) (0) − f ( k − 2 ) (0)
Veamos que ha de ser cierta para n=k. Por la propiedad 5ª se tendrá que:
[ ] [ ]
L f k ) (t ) = sL f k −1) (t ) − f k −1) (0) , por lo que al sustituir:
[ ] [ ]
L f k ) (t ) = sL s k −1 F ( s ) − s k − 2 f (0) − s k − 3 f ' (0) − ... − s. f ( k − 3) (0) − f ( k − 2) (0) − f k −1) (0)
Por tanto:
[ ]
L f ( k ) (t ) = s k F ( s ) − s k −1 f (0) − s k − 2 f ' (0) − ... − s. f ( k − 2) (0) − f ( k −1) (0)
Proposición 2.9 (Propiedad de transformación de integrales):
t  1
[ ]
Si es L f (t ) = F ( s ) entonces L  f (u ).du  = ∫ F ( s)
 0  s
En efecto:
Sea
t
g (t ) = ∫ f (u ).du ⇒ g ' (t ) = f (t ) ∧ g (0) = 0 ⇒ L[g ' (t )] = s.L[g (t )] − g (0) = sL[g (t )]
0
1 1 1 t  1
Entonces: L g (t ) = [ ] L[g ' (t )] = L[ f (t )] = F ( s ) ⇒ L  ∫ f (u ).du  = F ( s )
s s s 0  s
Proposición 2.10 (Propiedad de transformación del producto por una potencia de la

variable):
[ ] [
Si es L f (t ) = F ( s ) entonces L t . f (t ) = (−1) .
n
] n dn
ds n
F ( s ) = (−1) n .F ( n ) ( s )
En efecto:
Actuaremos por inducción. La fórmula es cierta para n=1:

∞ ∞
d d
F ( s ) = ∫ e − st f (t ).dt = − ∫ t.e − st f (t ).dt = − L[t. f (t )]
ds ds 0 0
Veamos que si suponemos la fórmula cierta para n = k-1 hemos de concluir que
también ha de ser cierta para n = k:
a) Para n=k-1 la suponemos cierta:
[ ]
L t k −1. f (t ) = (−1) k −1.
d k −1
ds k −1
F (s)
b) Veamos para n=k:
d  
[ ] [ ] [ ]
k −1 k
k −1 d k −1 k −1 d k d
L t . f (t ) = L t.t
k
f (t ) = − L t f (t ) = − (−1) . k −1 F ( s ) = (−1) . k F ( s )
ds ds  ds  ds
Proposición 2.11 (Propiedad de transformación al dividir por la variable):

∞
 f (t ) 
[ ]
Si es L f (t ) = F ( s ) entonces L   = ∫ F (u ).du
 t s
En efecto:
d
Si llamamos g (t ) =
f (t ) ⇒ f (t ) = t.g (t ) ⇒ L[ f (t )] = L[t.g (t )] = − L[g (t )]
t ds
s
[ ]
Por lo cual: dL g (t ) = − F ( s ).ds ⇒ L g (t ) [ ] ∞ = − ∫ F (u ).du ⇒
t
∞
∞ ∞
 f (t )   f (∞ )   f (t ) 
⇒ L  − L  = ∫ F (u ).du ⇒L   − 0 = ∫ F (u ).du
 t   ∞  s  t  s
Proposición 2.12 (Propiedad del valor inicial):
Si existen los límites que se indican, entonces se verifica que
lim f (t ) = lim s.F ( s )

t→0 s→∞
En efecto:
∞
L[ f ' (t )] = ∫ e − st f ' (t ).dt = s.F ( s ) − f (0) . Si f’(t) es continua a trozos y de orden
0
∫e
− st
exponencial, se tiene que es lim f ' (t ).dt = 0 . Por tanto:
s→∞ 0

lim L[ f ' (t )] = lim s.F ( s ) − f (0) = 0 → lim s.F ( s ) − lim f (t ) = 0

s→∞ s→∞ s→∞ t →0
o bien:

t →0 s→∞
Proposición 2.13. (Propiedad del valor final):
Si existen los límites que se indican, entonces se verifica que

x→∞ s→0
En efecto:
∞ ∞
L[ f ' (t )] = ∫ e − st f ' (t ).dt = s.F ( s ) − f (0) ⇒ lim ∫e
− st
f ' (t ).dt = lim s.F ( s ) − f (0) ⇒
0
s→0 0
s→0
∞ t
∫ f ' (t ).dt = lim ∫ f ' (u ).du = lim s.F ( s ) − f (0) ⇒ lim f (t ) − f (0) = lim s.F ( s ) − f (0)
0
t→∞ 0
s→0 t→∞ s→0
y en definitiva: lim f (t ) = lim s.F ( s )

t →∞ s→0

3. Convolución y transformada inversa:
Definición 3.1:
Se denomina convolución de las funciones f(x) y g(x) y se representa por f(x)*g(x),

a la expresión
x
f ( x) ∗ g ( x) = ∫ f (u ).g ( x − u ).du
0
Proposición 3.1:
Se verifica la propiedad de conmutación f ( x ) ∗ g ( x ) = g ( x ) ∗ f ( x )
En efecto:
t 0 t
f (t ) ∗ g (t ) = ∫ f (u ).g (t − u ).du = − ∫ f (t − v).g (v).dv = ∫ f (t − v).g (v).dv = g (t ) ∗ f (t )
0 t 0
Definición 3.2:
[ ]
Si L f (t ) = F ( s ) entonces f(t) se llama transformada inversa de Laplace de F(s), y
se expresa por f (t ) = L
−1
[F ( s)] donde L-1 se llama operador transformada inversa
de Laplace.
Proposición 3.2 (Teorema de convolución):
Si es L
−1
[F ( s)] = f (t ) y L−1 [G ( s )] = g (t ) , entonces se verifica que
t
L−1[F ( s ).G ( s )] = ∫ f (u ).g (t − u ).du = f (t ) ∗ g (t )
0
En efecto:
Probaremos, equivalentemente, que L f ∗ g = F ( s ).G ( s ) :[ ]

∞
t  ∞ t
L[ f ∗ g ] = ∫ e − st  ∫ f (u ).g (t − u ).du .dt = ∫ ∫ e − st f (u ).g (t − u ).du.dt =
0 0  0 0
D t D u +v
∫ ∫ e f (u ).g (t − u ).du.dt = ∫ ∫e
− st − s (u +v )
= lim lim f (u ).g (v).du.dv =
D→∞ 0 0
D→∞ 0 0

∞∞
 ∞ − su  ∞ − sv 
∫0 ∫0 ∫
  ∫ e f (v).dv  = F ( s ).G ( s )
− s (u + v )
= e f (u ). g ( v ).du.dv = e f (u ).du  
0  0 
Proposición 3.3. (Fórmula de inversión):
Sea c un número positivo de modo que para cada s = x + i. y , siendo x>c, converge
absolutamente la integral
∞
F ( s ) = ∫ e − st . f (t ).dt
0
Y sea t un punto que satisface alguna de las siguientes condiciones locales:
c) f es de variación acotada en un entorno de t [t − δ , t + δ ] .

d) Existen los dos límites f(t+) y f(t-) y las dos integrales impropias
δ δ
f (t + u ) − f (t + ) f (t − u ) − f (t −)
∫
0+
u
.du ∫
0+
u
.du
son absolutamente convergentes.
Entonces, para cada a>c se cumple que

T
f (t + ) + f (t −) 1 ( a + iv ).T )
2
=
2π
lim ∫e .F (a + iv).dv
T → ∞ −T
La integral del segundo miembro puede expresarse como una integral de contorno
tomada a lo largo de un segmento rectilíneo que une a-iT con a+iT en cuyo caso
escribimos
a + iT
f (t + ) + f (t −) 1
= lim ∫ e sT .F ( s ).ds
2 2πi
T → ∞ a −iT
a + ∞i a + iT
En ocasiones se utiliza el símbolo ∫ como abreviación de lim ∫
a − ∞i
T → ∞ a − iT
Demostración:
e − at f (t ) t ≥ 0
Consideremos la función g (t ) =  . Aplicando el Teorema de la
 0 t<0
Integral de Fourier, se tiene:
g (t + ) + g (t −) 1 ∞ T

= lim ∫  ∫ g (u ).e −iv (t −u )  dv
2 2π
T → ∞ −T  − ∞ 

expresando esta relación en función de f(t):
f (t + ) + f (t −) 1
T
∞  1
T
∫e  ∫ f (u ).e lim ∫ e ( a + iv ) t F (a + iv).dv

( a + iv ).t ( a + iv ) u
= lim .du  dv =
2 2π −T 0  2π
T →∞ T → ∞ −T

4. Ejemplos:
4.1. Ejemplos de transformadas directas:
1
a) L {1} =
s
n!
b) L {t n } = ,.n = 1,2,3,...
s n +1
1
c) L {e at } =
s−a
1
d) L{e − at } =
s+a
k
e) L {senkt} = 2
s + k2
s
f) L {cos kt} = 2
s + k2
k
g) L {senhkt} = 2
s − k2
s
h) L {cosh kt} = 2
s − k2
4.2. Algunas transformadas inversas:
1
a) 1 = L- 1  
s
 n! 
b) t n = L- 1  n +1 ,.n = 1,2,3,...
s 
 1 
c) e at = L- 1  
s − a
 k 
d) senkt = L- 1  2 2 
s + k 
 s 
e) cos kt = L- 1  2 2 
s + k 
 k 
f) senhkt = L- 1  2 2 
s − k 
 s 
g) cosh kt = L- 1  2 2 
s − k 

4.3. Transformadas de otras funciones:
a) Logaritmo natural:
ln(s ) + γ
L[ln(t )] = −
s
b) Raíz n-sima:
[ ]
n +1
−  1
L t =s
n n
Γ1 + 
 t
c) Función de Bessel de primera especie:
L[J (t )] =
n
(s + 1+ s2 )
−n
1+ s2
d) Función modificada de Bessel de primera especie:
L[I (t )] =
n
(s + −1+ s2 ) −n
−1+ s2
e) Función error:
s2
e 4
erfc( s / 2)
L[erf (t )] =
s

5. Aplicaciones:
5.1. Enumeración de algunas de las muchas aplicaciones de la transformación:
1. Solución de ecuaciones diferenciales con coeficientes constantes.

2. Tratamiento de la Teoría de Vibraciones.
3. Circuitos electrónicos.
4. Resistencia de materiales.
5. Solución de sistemas de ecuaciones diferenciales lineales.
6. Solución de ecuaciones integrales especiales.
7. Solución de ecuaciones diferenciales lineales con coeficientes variables.
8. Solución de ecuaciones en derivadas parciales.
9. Solución de ecuaciones en diferencias finitas.
10. Solución de ecuaciones integro-diferenciales.
11. Solución de ecuaciones diferenciales en diferencias.
12. Conductividad del calor.
13. Ecuación de onda.
14. Líneas de transmisión.
15. Solución de problemas del tipo de valor de frontera.
5.2. Un ejemplo concreto de aplicación:
Consideremos la ecuación diferencial
an y ( n ) + an −1 y ( n −1) + ... + a1 y '+ a0 = f (t )
con un conjunto de condiciones de frontera:
y (0) = A1 , y ' (0) = A2 , ..., y ( n −1) (0) = An
Si aplicamos la transformación de Laplace a ambos miembros de la ecuación

diferencial, se tiene:
[ ] [ ]
a n L y ( n ) + a n −1 L y ( n −1) + ... + a1 L[ y ] + a0 = L[ f (t )]
[ ] [ ]
y siendo L y (t ) = Y ( s ), L f (t ) = F ( s ) , se tiene, teniendo en cuenta las
condiciones de frontera y la transformación de la derivada de cualquier orden
(proposición 2.8):
G ( s ).Y ( s ) = F ( s )
donde es G(s) un polinomio en s.

Entonces, escribimos Y ( s) = F ( s) , por lo que, finalmente, para hallar la

G ( s)
solución de la ecuación diferencial dada bastará hallar la transformada inversa de
Laplace de Y(s):
 F (s) 
y (t ) = L−1  
 G ( s) 

6. Bibliografía.
SPIEGEL, M.R. Transformada de Laplace. Mcgraw-Hill.

E. BOYCE Y R. C. DI PRIMA. Ecuaciones Diferenciales y Problemas con valores en la
Frontera, Limusa. México. 1998.
COURANT, R. y HILBERT, D., Methods of Mathematical Physics, Vols. 1 y 2; Limusa
Wiley.
SMITH, M. G., Laplace Transform Theory; Van Nostrand
SNEDDON, I. N., Fourier Transforms; Mc-Graw-Hill
MURRAY, R. y SPIEGEL, Transformadas de Laplace; Mc-Graw-Hill (Colección
Schaum).
Carlos S. CHINEA
casanchi@teleline.es

Transformada de Laplace

Cargado por

Copyright:

Formatos disponibles

Transformada de Laplace

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Transformada de Laplace

Cargado por

Copyright:

Formatos disponibles

LA TRANSFORMADA DE LAPLACE CARLOS S.

Es la más conocida y utilizada de las transformadas integrales. Se ha mostrado de

La idea básica del llamado Cálculo Operativo consiste en establecer una

Pueden ser ideadas, obviamente, múltiples reglas de transformación. En particular

En todas las transformadas integrales es el núcleo de la transformación, K ( s, x ) , y,

Son ejemplos de transformadas integrales las siguientes:

a. Transformada de Fourier por senos:

MARCHENA (SEVILLA), SEPTIEMBRE 2005 1

b. Transformada de Fourier por cosenos:

c. Transformada de Fourier compleja:

MARCHENA (SEVILLA), SEPTIEMBRE 2005 2

1. La transformada integral de Laplace:

La variable s es un número complejo, s=a+i.b, y la transformada F(s) está definida

Si llamamos φ a (t ) = e − at . f (t ) , entonces la transformada de Laplace de f(x) coincide

∫ e . f (t ).dt = ∫ e f (t ).dt = ∫ e −ibt .e − at . f (t ).dt = ∫ e −ibt .φ a (t ).dt

Para que exista la transformada de Laplace de una función f(x) es condición

a) f ( x ) ∈ R , en todo intervalo finito.

Descompongamos la integral que define la transformación:

∫e f (t ).dt = ∫ e f (t ).dt + ∫ e − st f (t ).dt

En cuanto a la segunda integral, se tiene que para x>a:

e − st f (t ) = e − xt f (t ) ≤ e − xt .Me at = M .e − ( x − a ).t , ∀t ≥ t0 , por tanto:

MARCHENA (SEVILLA), SEPTIEMBRE 2005 3

∫ e f (t ).dt ≤ ∫ e f (t ) .dt = ∫ e f (t ) .dt = ∫ e f (t ) .dt ≤ ∫ M .e

es convergente en s = s 0 = x 0 + i. y 0 , entonces, si para cualquiera que sea el

MARCHENA (SEVILLA), SEPTIEMBRE 2005 4

∫e f (t ).dt < ε , ∀ε > 0

válida para todo número complejo s=x+iy que tenga x ≥ 0 .

Obviamente, es β ( x ) → 0 si x → ∞ , esto es, para valores de x suficientemente

∫ e f (t ).dt = ∫ e 0 .dβ (t ) < ε , ∀ε > 0 , para todo s∈s(k)

para ello resolvemos por partes la segunda integral:

β (t ) − ∫ β (t ).[− ( s − s0 )].e − ( s − s ).t .dt =

y teniendo en cuenta que cuando s∈s(k) es x>x0 , se tiene que:

e − ( s − s0 ).t = e −[( x − x0 ) + ( y − y 0 ) i ] = e − ( x − x0 ).t ≤ 1

por lo cual, utilizando esta desigualdad, se puede escribir que

MARCHENA (SEVILLA), SEPTIEMBRE 2005 5

∫ e f (t ).dt = ∫ e 0 .dβ (t ) < ε , ∀ε > 0

por lo que la integral indicada converge uniformemente en el sector s(k).

converge para s = s0 = x0 + i.y0 también converge para cada s = x + i. y en el

El ínfimo del conjunto de todos los x0 tales que

converge para s = s0 = x0 + i.y0 se llama abcisa de convergencia de la integral y se

El semiplano x > σ (t ) se llama semiplano de convergencia de la integral.

Sea σ (t ) la abcisa de convergencia de la integral

integral que converge uniformemente en todo sector s(k) interior al semiplano

MARCHENA (SEVILLA), SEPTIEMBRE 2005 6

Veremos la demostración en dos partes. En la primera probaremos la convergencia

en el semiplano de convergencia x > σ (t ) , y en la segunda parte probaremos la

Puesto que α(t) está acotada, α (t ) ≤ M , si es s=x+iy y x>x0, siempre se puede

e − ( s − s0 ) t .t.α (t ) ≤ M .t.e − ( s − s0 ) t ≤ M .t.e − ( x − x0 ) t = M .t.e − h.t

∫e .t.dα (t ) está acotado por M .t.e − ht , que tiene

y, finalmente, puesto que x0 solamente está sujeto a la condición de que x0 > σ (t ) ,

MARCHENA (SEVILLA), SEPTIEMBRE 2005 7

b) Existencia de la derivada F’(s):

de lo que se deduce que se cumplen las ecuaciones de Cauchy-Riemann:

Por tanto, sustituyendo las expresiones integrales [1.4.a]:

por tanto, la derivada de la transformada de Laplace existe y es, precisamente, la

MARCHENA (SEVILLA), SEPTIEMBRE 2005 8

Proposición 2.1 (Propiedad de linealidad):

Proposición 2.2 (Primera propiedad de traslación):

Proposición 2.3. (Segunda propiedad de traslación):

MARCHENA (SEVILLA), SEPTIEMBRE 2005 9