TEMA I: LA TRANSFORMADA DE LAPLACE

1.

Introducci
on

En el desarrollo del tema seguiremos la siguiente estrategia: en primer lugar definiremos la Transformada de Laplace y trabajaremos con ella como una herramienta para resolver ciertos problemas, sin
preocuparnos en exceso del rigor matematico de las demostraciones que se presentan, donde de hecho
se trabajara a nivel formal, suponiendo siempre que se esta en las condicones ideales para efectuar
las manipulaciones matematicas presentadas. A continuaci
on se ejercitara el uso de las propiedades
introducidas, en la resolucion de problemas: calculo de integrales, ecuaciones diferenciales y sistemas
de ecuaciones diferenciales.
Como parte final del tema se presentar
a, como apendice del mismo, un estudio riguroso de la
transformada de Laplace, comenzando por la convergencia (abscisa y semiplano de convergencia) y
pasando por las demostraciones rigurosas de las propiedades estudiadas en las secciones anteriores. En
esta seccion se incluiran una serie de problemas semiteoricos que enriqueceran los conceptos aprendidos.
Por u
ltimo y debido a que la asignatura se encuadra, dentro del Plan de Estudios, en el primer
cuatrimestre del tercer a
no y que por tanto los alumnos no han estudiado a
un variable compleja;
en la primera parte del tema trabajaremos sobre valores reales del parametro s, introduciendo en el
apendice su variacion en los complejos.

2.

Definici
on y resultados b
asicos

Definici
on: Sea F (t) una funcion definida para t > 0. La transformada de Laplace de F (t), denotada
por L{F (t)}(s), se define como
L{F (t)}(s) = f (s) =

Z
0

est F (t)dt

cuando la integral converge para alg

un valor de s. Por ahora supondremos que s es real, aunque
tambien puede considerarse complejo.
1

Ejemplos:
L{1}(s) =

est dt = lim

Z b

b+ 0

1
1
est dt = lim { esb + }
b+
s
s

Luego
L{1}(s) =

L{t}(s)

est t dt = lim

Z b

b+ 0

est t dt =

1
s

(s > 0)

u = t du = dt

dv = est dt v = est

1
1 sb
e
+ 2}
2
s
s
Luego
L{t}(s) =
L{eat }(s) =

Z
0

est eat dt = lim

Z b

b+ 0

1
s2

b
= lim { esb

b+
s

(s > 0)

e(sa)t dt = lim {
b+

1
1 (sa)b
e
+
}
sa
sa

Luego
L{eat }(s) =

1
sa

(s > a)

Definici
on: Si existen constantes reales M > 0 y tales que t > N
|et F (t)| < M o |F (t)| < M et
se dice que F (t) es una funcion de orden exponencial cuando t , o simplemente que es de orden
exponencial.
Teorema 2.1: Si F (t) es continua a trozos en cada intervalo finito 0 t N y de orden exponencial
para t > N , entonces existe la transformada de Laplace f (s) para todo s > .
Demostraci
on
Z
0

Partiendo del hecho de que |F (t)| < M et para todo t > N hemos de comprobar que la integral
est F (t)dt es convergente. Esta claro que

que la integral

Z
N

Z N
0

est F (t)dt existe, por lo que bastara con demostrar

est F (t)dt converge.

Z b
Z b
b

i
M h (s)b

st
st
e
e(s)N
e F (t)dt
|e F (t)|dt M
e(s)t dt =

s
N
N

Por u
ltimo, es sencillo ver que

i
M h (s)b
M (s)N
e
e(s)N tiende a
e
cuando b +,
s
s

siempre que s > .

Propiedades y reglas operacionales
2

1. Linealidad
L{c1 F1 (t) + c2 F2 (t)}(s) = c1 L{F1 (t)}(s) + c2 L{F2 (t)}(s)
Se deduce facilmente del hecho de que la integral es un operador lineal.
Ejemplos:

eat + eat
1
1
1
s
L{cosh(at)}(s) = L{
}(s) =
+
= 2
2
2 sa s+a
s a2

(s > |a|)

eat eat
1
1
1
a
L{senh(at)}(s) = L{
}(s) =

= 2
2
2 sa s+a
s a2

(s > |a|)

2. Primera propiedad de traslacion

Si L{F (t)}(s) = f (s), entonces L{eat F (t)}(s) = f (s a)
at

Demostraci
on L{e F (t)}(s) =

Z
0

st at

e F (t) dt =

Z
0

e(sa)t F (t) dt = L{F (t)}(s a)

Ejemplos:
L{teat }(s) = L{t}(s a) =

1
(s a)2

L{ebt cosh(at)}(s) = L{cosh(at)}(s b) =

sb
(s b)2 a2

3. Segunda propiedad de traslacion

(

Si L{F (t)}(s) = f (s) y G(t) =

Demostraci
on
eas L{F (t)}(s)

Z
0

est G(t) dt =

Ejemplo:

G(t) =

Z
a

F (t a) t a
, entonces L{G(t)}(s) = eas f (s)
0
0t<a
est F (t a) dt = {x = t a} =

Z
0

0t<2

senh[a(t 2)]

L{G(t)}(s) = e2s

t2

s2

es(x+a) F (x) dx =

a
a2

4. Propiedad de cambio de escala

Si L{F (t)}(s) = f (s), entonces L{F (at)}(s) =
Demostraci
on

Z
0

est F (at) dt = {x = at} =

Z
0

e a x F (x)

1 s
f ( ) (a > 0)
a a

dx
1
s
= L{F (t)}( )
a
a
a

Ejemplo:
L{t et }(s) =

s
1
1
1

L{tet }( ) =
=
s
2

( 1)
(s )2
3

5. Transformada de Laplace de las derivadas

Si L{F (t)}(s) = f (s), entonces L{F 0 (t)}(s) = sf (s) F (0)
esta formula puede ser generalizada a la derivada de orden n
L{F (n) (t)}(s) = sn f (s) sn1 F (0) sn2 F 0 (0) ..... sF (n2) (0) F (n1) (0)
Demostraci
on Trabajaremos formalmente (ya lo demostraremos rigurosamente en el apendice
del tema). Hemos de suponer que existe F 0 (t) y que es transformable Laplace. Entonces
L{F 0 (t)}(s) =
Z b
0

est F 0 (t) dt =

Z
0

est F 0 (t) dt = lim

Z b

b+ 0

st du = sest

u=e

est F 0 (t) dt

= F (t)est

dv = F 0 (t)dt v = F (t)

ib
0

+s

Z b
0

est F (t) dt =

= F (b)esb F (0) + sL{F (t)}(s)

Esta u
ltima cantidad tiende a sL{F (t)}(s) F (0), cuando b + bajo ciertas condiciones.
A partir de aqu podemos demostrar la formula generalizada usando el metodo de induccion
matematica.
Ejemplo:
L{[cosh(at)]0 }(s) = sL{cosh(at)} cosh(0) = s

s
a2

1
=
= L{a senh(at)}(s)
s2 a2
s2 a2

6. Transformada de Laplace de la integral

Z t

Si L{F (t)}(s) = f (s), entonces L{

F (u) du}(s) =

Demostraci
on Nuevamente trabajaremos formalmente.

f (s)
s

Sea G(t) =

Z t
0

F (u) du, entonces

G0 (t) = F (t) y por tanto L{G0 (t)}(s) = L{F (t)}(s), pero por otro lado sabemos que L{G0 (t)}(s) =
sL{G(t)}(s) G(0). Teniendo en cuenta que G(0) = 0 y despejando se obtiene el resultado deseado.
Ejemplo:
Z t

L{

cosh(au) du}(s) =

L{cosh(at)}(s)
=
s
4

s
s2 a2

s2

1
senh(at)
= L{
}(s)
2
a
a

7. Multiplicacion por tn
Si L{F (t)}(s) = f (s), entonces L{tn F (t)}(s) = (1)n

dn
f (s) = (1)n f (n) (s)
dsn

Demostraci
on Operando de manera formal, derivaremos bajo el signo de la integral aplicando
la regla de Leibnitz
d
f (s) =
ds
0

Z
0

st

F (t) dt =

Z
0

est (t)F (t) dt = L{tF (t)}(s)

Ejemplo:

1
L{t e }(s) = [L{e }(s)] =
sa
at

at

1
(s a)2

8. Division por t
Si L{F (t)}(s) = f (s), entonces L{

F (t)
}(s) =
t

Z
s

f (u) du

F (t)
.
t0 t

siempre que exista lim

Demostraci
on f (s) =
Z
s

f (u) du =

Z
0

Z Z
s

est F (t) dt, integrando a ambos lados entre s e obtenemos

e

ut

F (t) dt du =

Ejemplo:
sen t
L{
}(s) =
t

Z Z
0

u2

ut

du F (t) dt =

Z
0

est

F (t)
dt
t

du = arctg s
+1
2

9. Si L{F (t)}(s) = f (s), entonces: lim f (s) = 0

s

Una demostracion poco rigurosa puede obtenerse intercambiando el lmite y la integral.

Ejemplo:

lim

s+

arctg s = 0
2

10. Teorema del valor inicial

lim F (t) = lim sf (s)
s

t0

siempre que existan ambos lmites

Demostraci
on Supongamos que F 0 (t) es transformable, entonces L{F 0 (t)}(s) = sf (s) F (0)
y como debe ser lim L{F 0 (t)}(s) = 0, el teorema queda demostrado.
s

Ejemplo:

sen t
lim s
arctg s = 1 = lim
s+
t0
2
t
Una generalizacion: Si F (t) G(t) para t 0, entonces f (s) g(s) para s .
11. Teorema del valor final
lim F (t) = lim sf (s)

s0

siempre que existan ambos lmites

Demostraci
on Supongamos nuevamente que F 0 (t) es transformable, entonces L{F 0 (t)}(s) =
R st 0
F (t) dt = sf (s) F (0) trabajando sobre el lado izquierdo de la igualdad
0 e

lim

s0 0

est F 0 (t) dt =

Z
0

F 0 (t) dt = lim

Z b

b 0

F 0 (t) dt = lim [F (b) F (0)]

b

si lo hacemos ahora sobre el lado derecho

lim [sf (s) F (0)] = lim [F (t) F (0)]
t

s0

lo que finaliza la demostracion.

Ejemplo:

sen t
lim s
arctg s = 0 = lim
t+
s0
2
t
Una generalizacion: Si F (t) G(t) para t , entonces f (s) g(s) para s 0.
12. La convolucion: Si L{F (t)}(s) = f (s) y L{G(t)}(s) = g(s), entonces
L{
la operacion (F G)(t) =

Z t
0

Z t
0

F (u)G(t u)du}(s) = f (s).g(s)

F (u)G(t u)du se denomina producto de convoluci

on o simplemente

convolucion.
Demostraci
on
L{

Z t
0

F (u)G(t u)du}(s) =
Z
0

F (u)

Z
u

Z
0

est

Z t
0

F (u)G(t u)du dt =

st

G(t u)dt du = (C
)

si en la integral de dentro efectuamos el cambio t u = z obtenemos

(C
) =

Z
0

F (u)

Z
0

es(z+u) G(z)dz du =
6

Z
0

esu F (u)

Z
0

esz G(z)dz du = f (s).g(s)

Nota: Es muy facil comprobar que el producto de convoluci

on es conmutativo.
Z t

Ejemplo: Para calcular la siguiente integral

un (t u)m du, aplicaremos la transformada de

Laplace. En primer lugar tengase en cuenta que L{tk }(s) =

k!
sk+1

, Aplicando ahora la transfor-

mada de Laplace a la integral obtenemos

L{

Z t
0

un (t u)m du}(s) = L{tn }(s).L{tm }(s) =

y es facil comprobar que

Luego

n!m!
sn+m+2

n!m!
(m + n + 1)!
.
(m + n + 1)!
sn+m+2

n!m!
tm+n+1 es la funcion cuya transformada es la obtenida.
(m + n + 1)!
Z t
0

un (t u)m du =

n!m!
tm+n+1
(m + n + 1)!

Se invita al lector a obtener el resultado de la integral por otra va.

3.

Aplicaciones

Evaluaci
on de integrales
Si L{F (t)}(s) = f (s), entonces

Z
0

est F (t)dt = f (s). Tomando lmite cuando s 0

Z
0

F (t) dt = f (0)

Ejemplos:

Z t
e sen t
0

dt =

ya que:
L{sen t}(s) =

lo que implica que

L{

sen t
}(s) =
t

Z
s

s2

1
,
+1

du = arctg s
u2 + 1
2

y por u
ltimo
L{et

sen t
}(s) = arctg (s + 1) = f (s).
t
2

= .
2
4
4
Por otro lado tambien podramos haber obtenido el valor de la integral a partir del hecho de que
Por lo tanto f (0) =

sen t
L{
}(s) =
t
por lo que

Z
0

et

Z
0

est

sen t

dt = arctg s = f (s),
t
2

sen t

dt = f (1) = arctg 1 =
t
2
4
7

Z
0

t3 et sen t dt = 0

dado que:
L{sen t}(s) =

lo que nos lleva a

L{t3 sen t}(s) = (1)3
luego
L{et t3 sen t}(s) =

s2

1
,
+1

1
24 s(s2 1)
d3
=
,
ds3 s2 + 1
(1 + s2 )4

24 (s + 1)[(s + 1)2 1]
= f (s).
(1 + (s + 1)2 )4

Entonces, f (0) = 0.
Al igual que en el ejemplo anterior, podramos hebernos quedado en
L{t3 sen t}(s) = (1)3

d3
1
24 s(s2 1)
=
= f (s)
ds3 s2 + 1
(1 + s2 )4

y haber calculado f (1).

Resoluci
on de ecuaciones diferenciales
Mediante la utilizacion de la transformada de Laplace podemos resolver ecuaciones diferenciales
lineales de coeficientes constantes, transformandolas en ecuaciones algebraicas.
Ejemplos:

000
t

y (t) y(t) = e

Resolver el siguiente problema de valores iniciales

y(0) = y 0 (0) = y 00 (0) = 0

Supongamos que la funcion incognita y(t) es transformable Laplace y denotemos por Y (s) a
su transformada. Entonces, aplicando la transformada de Laplace a la ecuacion diferencial, y
teniendo en cuenta las condiciones iniciales, esta se transforma en:
s3 Y (s) Y (s) =

1
s1

con lo que una vez despejada Y (s) obtenemos

Y (s) =

1
1
A
B
Cs + D
=
=
+
+ 2
3
2
2
2
(s 1)(s 1)
(s 1) (s + s + 1)
s 1 (s 1)
s +s+1

1
1
de donde obtenemos los siguientes valores A = ; B = C = D = . Por lo tanto
3
3
Y (s) =

1
1
1 s+1
1 1
+
+
3 s1
3 (s 1)2
3 s2 + s + 1
8

analicemos a continuacion cada uno de los sumandos.

1 1
es la transformada de la funcion
3 s1

1 t
1
1
d 1
1
e . Dado que
= [
], el segundo sumando es la transformada de la
3
3 (s 1)2
ds 3 (s 1)
1
funcion t et . Por u
ltimo, el tercer sumando requiere de una peque
na manipulacion para que
3
se vea claramente de que funcion proviene.

s+1
1 s+1
1
=
3 s2 + s + 1
3 (s + 12 )2 +

3
4

1
s + 12
1
1
2
q
q
+
3 (s + 1 )2 + [ 3 ]2 3 (s + 1 )2 + [ 3 ]2
2
4
2
4

1 t
3
es facil comprobar que esta expresion es la de la transformada de la funcion e 2 cos[
t] +
3
2

t
2
3
e 2 sen[
t]. Ya para finalizar y teniendo en cuenta la linealidad de la Transformada de
2
3 3
Laplace, podemos asegurar que la solucion del problema original es la funcion

3
1 t
3
1 t 1 t 1 t
t] + e 2 sen[
t]
y(t) = e + t e + e 2 cos[
3
3
3
2
2
3 3

00

y (t) + 9y(t) = 18t

Resolver el siguiente problema de valores en la frontera

y(0) = 0, y( ) = 0
2

Procedemos de forma analoga al ejemplo anterior L{y(t)}(s) = Y (s). Transformando la ecuacion

s2 Y (s) y 0 (0) + 9Y (s) =
despejando Y (s)
Y (s) =

18
s2

18 + y 0 (0)s2
A B
Cs + D
= + 2+ 2
2
2
s (s + 9)
s
s
s +9

resolviendo obtenemos A = C = 0; B = 2; D = y 0 (0) 2, con lo que

2
y 0 (0) 2
+
s2
s2 + 9

Y (s) =

de lo que se deduce que la solucion original sera

y 0 (0) 2
sen(3t)
3

por u
ltimo aplicando la condicion de que y( ) = 0 llegamos a que
2
y(t) = 2t +

y(t) = 2t + sen(3t)
Tambien podremos resolver ciertas ecuaciones diferenciales lineales con coeficientes variables.


00
0

y + ty y = 0

Ejemplo:

y(0) = 0, y 0 (0) = 1

En este caso debemos tener en cuenta que si L{y(t)}(s) = Y (s), entonces

L{ty 0 (t)}(s) =

d
d
d
L{y 0 (t)}(s) = {sY (s) y(0)} = {sY (s)} = Y (s) sY 0 (s)
ds
ds
ds

por lo que transformando la ecuacion obtenemos

s2 Y (s) 1 Y (s) sY 0 (s) Y (s) = 0
y tras la correspondientes operaciones nos queda la ecuacion diferencial lineal de primer orden
2
1
Y 0 (s) (s )Y =
s
s
cuya solucion viene dada por la expresion
R

Y (s) = e

(s 2s ) ds

(s 2s ) ds 1

ds =

1
s2

luego la solucion buscada sera

y(t) = t
Resoluci
on de sistemas ecuaciones diferenciales
De forma analoga al caso de las ecuaciones diferenciales lineales, podemos aplicar la transformada
de Laplace en la resolucion de ciertos sistemas de ecuaciones diferenciales
Ejemplos:

0
0

y + 2z = t

Resolver el siguinete sistema de ecuacuiones diferenciales

y 00 z = et

y(0) = 3, y 0 (0) = 2, z(0) = 0

Si denotamos L{y(t)}(s) = Y (s) y L{z(t)}(s) = Z(s), el sistema se transforma en

sY (s) 3 + 2[sZ(s) 0] = 1

sY (s) + 2sZ(s) = 2 + 3

s2
s
es decir

2
s2 Y (s) Z(s) = 1 + 3s 2
s Y (s) 3s + 2 Z(s) =
s+1
s+1
utilizando el metodo de Cramer
Y (s) =

2s2 + 2s + 1
6s5 + 2s4 + s3 + 3s2 + s + 1
;
Z(s)
=
s3 (2s2 + 1)(s + 1)
s(s + 1)(2s2 + 1)

descomponiendo en fracciones simples

Y (s) =

C
D
Es + F
A B
+ 2+ 3+
+ 2
s
s
s
s+1
2s + 1
10

obteniendose A = C = 1, B = 0, D = 32 , E =
y(t) = 1 +

8
3

y F = 83 , de lo que se deduce que

t2 2 t 4
t
t
+ e + [cos( ) 2 sen( )]
2
3
3
2
2

por otro lado si

A
B
Cs + D
+
+ 2
s
s+1
2s + 1
4
4
1
se llega A = 1, B = 3 , C = 3 y D = 3 . Por lo que

1
2
t
t
z(t) = 1 et [cos( ) 2 sen( )]
3
3
2
2
Z(s) =

00
00
t

3y + 3z = te 3cos t

Idem con

ty 00 z 0 = sen t

y(0) = 1 , y 0 (0) = 2 , z(0) = 4 , z 0 (0) = 0

aplicando
la transformada de Laplace al sistema obtenemos

s
1

3 2
3s2 Y (s) 3s + 6 + 3s2 Z(s) 12s =

(s + 1)2
s +1

1
d

[s2 Y (s) + s 2] sZ(s) + 4 =

2
s +1
ds
s
1

2
2

+ 15s 6
3 2
3s Y (s) + 3s Z(s) =

(s + 1)
s +1

, es decir

2sY (s) s2 Y 0 (s) sZ(s) =

3
2
s +1

Despejando Z(s) en la primera ecuacion

Z(s) =

5
2
1
1
+ Y (s) + 2

3s2 (s + 1)2 s(s2 + 1)

s s

y llevando este resultado a la segunda

3
2
1
2
Y 0 (s) + Y (s) = 2 3
+ s3
2
s
s
3s (s + 1)
resolviendo la ecuacion diferencial
1
2
1 1
+
Y (s) = +
s 3 s3 (s + 1) s2
de lo que se deduce, despues de la correspondiente descomposicion en fracciones simples, que
2 5
1
1
y(t) = + t + t2 et
3 3
6
3
Llevando ahora el valor de Y (s) a la exprsion que nos daba Z(s) tenemos
Z(s) =

1
1
13 1 1 1
1 1
1 1

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

3s2 (s

que nos conduce a

z(t) =

8 1 2 1 t 1 t
+ t + e + te + cos t
3 6
3
3
11

4.

Problemas
1. Calcular.

5s

e
6s4
(a)L1 { (s2)
(b)L1 { s2 4s+20
} (c)L1 { s24s+12
}
4}
+8s+16
2

5s 15s11
s +2s+3
(d)L1 { s3 (s12 +1) } (e)L1 { (s+1)(s2)
(f )L1 { (s2 +2s+2)(s
3}
2 +2s+5) }

2. Resolver las siguientes ecuaciones diferenciales.

y 00 + y = t; y(0) = 1, y 0 (0) = 2.

y 00 3y 0 + 2y = 4e2t ; y(0) = 3, y 0 (0) = 5.

y 00 + 2y 0 + 5y = et sen t; y(0) = 0, y 0 (0) = 1.

y 000 3y 00 + 3y 0 y = t2 et ; y(0) = 1, y 0 (0) = 0, y 00 (0) = 2

y 00 + 9y = cos 2t; y(0) = 1, y( 2 ) = 1.

ty 00 + (1 2t)y 0 2y = 0 y(0) = 1, y 0 (0) = 2.

y 00 + y = sen t; y(0) = 0, y 0 (0) = 0.

y 00 4y 0 + 5y = 125t2 ; y(0) = 0, y 0 (0) = 0.

y 00 4y 0 + 3y = F (t) y(0) = 1, y 0 (0) = 0.

12

3. Resolver los siguientes sistemas de ecuaciones diferenciales

x = 2x 3y

x(0) = 8, y(0) = 3

y 0 = y 2x

00
0
t

x + y + 3x = 15e

y 00 4x0 + 3y = 15sen 2t

x(0) = 35, x0 (0) = 48, y(0) = 27, y 0 (0) = 55

0
0

y z 2y + 2z = sen t

y 00 + 2z 0 + y = 0

y(0) = 0, y 0 (0) = 0, z(0) = 0

4. Calcular el valor de las siguientes integrales:

(a)
(b)
(c)

Z
0

Z
0
Z
0

te2t cos tdt.

x4 ex dx.
et e3t
dt.
t

5. Si F (t) = L1 {f (s)}, demostrar que

(a) L1 {sf 0 (s)} = tF 0 (t) F (t).
(b) L1 {sf 00 (s)} = t2 F 0 (t) + 2tF (t).
(c) L1 {s2 f 00 (s)} = t2 F 00 (t) + 4tF 0 (t) + 2F (t).
6. Resolver la ecuacion integral
Z t

x(t) = 7 3 sen( 3t) + 4

cos 2(t u)x(u)du
0

7. Resolver la ecuacion integro-diferencial

Z t
0

8. La funcion H(t) =

0
1

y 0 (u)y(t u)du = 24t3 , y(0) = 0.

t<0
, se denomina funcion salto de Heaviside. Se pide
t>0

(a) Calcular la transformada de Laplace de H(t t0 ), t0 > 0.

(b) Calcular la transformada de Laplace de H(t t0 )F (t), t0 > 0, siendo f (s) la transformada
de F (t).
13

(c) Expresar la funcion G(t) =

F (t) t < t0
en terminos de F (t) y H(t).
0 t > t0

9. Calcular la transformada de Laplace de la funcion F (t) = ta , a > 1.

14


APENDICE
5.

introducci
on

En este apartado comenzaremos estudiando el comportamiento de la exponencial compleja dependiente de un parametro, cuando dicho parametro tiende a . Para ello recordemos las siguientes
cuestiones:
z = x + iy C, Re(z) = x R ; Im(z) = y R.
ex+iy = ex eiy = ex [cos y + i sen y].
para todo R se tiene que |ei | = 1.
|ex+iy | = ex .
|z w| = |z| |w|;

z, w C

Pasemos ahora a estudiar el comportamiento de esb para s C y b +

esb = e[Re(s)+iIm(s)]b = eRe(s)b eiIm(s)b
El factor eRe(s)b es una exponencial real y se verifica que

lim eRe(s)b =

b+

Re(s) < 0

Re(s) = 0

Re(s) > 0

Por otro lado el factor eiIm(s)b representa para todo b un n

umero complejo de modulo 1, por
lo que cuando b va aumentando nos iremos moviendo siempre sobre la circunferencia unidad. No
alcazaremos lmite alguno pero sabemos que no saldremos de esa curva.
Con lo visto hasta ahora, podemos afirmar que lim esb converger
a a cero cuando Re(s) > 0
b+

y esta convergencia se producira siguiendo un movimiento sobre una espiral, la cual se recorrera en
sentido contrario, es decir hacia el infinito complejo, cuando Re(s) < 0. Por u
ltimo, cuando Re(s) = 0
el lmite no existira.

15

Introducimos ahora el concepto de funcion derivable y funcion Holomorfa o analtica en variable

compleja.
Definici
on: Dada una funcion de variable compleja f (z), diremos que es derivable en un punto z0 de
su dominio si existe el lmite siguiente
f (z0 + z) f (z0 )
z0
z

f 0 (z0 ) = lim
Ejemplos:
f (z) = z 2 ;

(z + z)2 z 2
= lim (2z + z) = 2z.
z0
z0
z

f 0 (z) = lim
f (z) = |z|2 ;

|z + z|2 |z|2
(z + z)(z + z) zz
= lim
=
z0
z0
z
z

f 0 (z) = lim

"

zz + zz + zz + zz zz
z
= lim z + z
+ z ,
=
z0
z
z
por lo que si z = 0 es claro que f 0 (0) = 0. Sin embargo, si z 6= 0 podemos comprobar la no
z
no existe:
derivabilidad de f , dado que el lmite del cociente
z

z = x :

z
=
z

z
= 1,
z

z = iy :

z
= 1.
z

Definici
on: Una funcion de variable compleja f (z) se dice Holomorfa o analtica en un punto z0 de
su dominio, si existe un n
umero r > 0 tal que f (z) es derivable en todos los puntos del disco D(z0 ; r).

6.

El semiplano de convergencia

En esta seccion demostraremos que cuando una funcion F (t) posee transformada de Laplace
f (s) con s C, esta tiene sentido en un semiplano derecho.
Teorema 6.1
Si la integral de Laplace de un funcion converge absolutamente en un punto s0 , entonces converge
absolutamente en Re(s) Re(s0 ).
16

Demostraci
on Usaremos el criterio de convergencia de Cauchy, es decir
Z
0

g(t) dt < > 0 b > 0 : ( b2 > b1 > b) |

Z b2
b1

g(t) dt| <

Sea s C y Re(s) Re(s0 ):

Z b2
b1

st

|e

F (t)|dt =

Z b2
b1

|e

(ss0 )t s0 t

Pero por hipotesis sabemos que

F (t)|dt =

Z
0

Z b2
b1

demostracion.
Z

Si la integral f (s) =

|e

s0 t

F (t)|dt

Z b2
b1

|es0 t F (t)|dt

|es0 t F (t)|dt converge, con lo que para todo > 0 existe

un b > 0 tal que para todo b2 > b1 > b se verifica que

Teorema 6.2

Re(ss0 )t

Z b2
b1

|es0 t F (t)|dt < , lo que concluye nuestra

est F (t)dt converge absolutamente en s0 C, entonces f (s) esta

acotada en el semiplano derecho Re(s) Re(s0 ).

Demostraci
on Sea s : Re(s) Re(s0 )
|f (s)| = |

Z
0

st

Z
0

F (t)dt|

Z
0

|e

st

eRe(s0 )t |F (t)|dt =

F (t)|dt =

Z
0

Z
0

eRe(s)t |F (t)|dt

|es0 t F (t)|dt C

Teorema 6.3
El dominio donde la integral de Laplace de un funcion es absolutamente convergente es en un
semiplano derecho abierto (Re(s) > ) o bien un semiplano derecho cerrado (Re(s) ), donde
puede tomar los valores .
Demostraci
on Estudiaremos los tres casos posibles
1. La integral es absolutamente convergente para todo s C. En este caso la convergencia se
verifica para Re(s) > = .
2. La integral no converge en ning
un s C, entonces podemos escribir que se da la convergencia
para Re(s) > + = .
3. La integral converge absolutamente en unos valores y diverge absolutamente en otros. Denotaremos por K1 y K2 a los conjuntos compuestos por los puntos de convergencia y divergencia respectivamente. Es claro que se verifican las siguientes cuestiones: K1 K2 = C,
K1 K2 = y

K1 6= 6= K2 . Ademas podemos afirmar que s1 K1 y s2 K2 se da

17

que Re(s2 ) < Re(s1 ). En caso contrario, es decir, que existiesen s1 K1 y s2 K2 tales que
Re(s2 ) Re(s1 ), aplicando el teorma 6.1 concluiramos que s2 K1 lo cual es absurdo. Por
tanto, R : s1 K1 , s2 K2 : Re(s2 ) < < Re(s1 )

(corte de Dedekin). De hecho

es el supremo del conjunto compuesto por las partes reales de los elementos de K2 y el nfimo
del conjunto compuesto por las partes reales de los elementos de K1 .
Se tiene entonces que el dominio de convergencia absoluta de la integral de Laplace es Re(s) >
o Re(s) .
(a) s : Re(s) > la integral converge absolutamente:
Re(s) > s1 K1 : < Re(s1 ) < Re(s)
y aplicamos el teorema 6.1.
(b) s : Re(s) < la integral diverge absolutamente:
Re(s) < s2 K2 : > Re(s2 ) > Re(s)
si convergiera absolutamente en Re(s) aplicaramos el teorema 6.1 y concluiramos la convergencia en s2 lo que constituira un absurdo.
(c) Para Re(s) = puede ocurrir cualquiera de las dos cosas y habra que comprobarlo en cada
caso.
Ejemplos Est
udiese la integral de Laplace de las funciones F (t) =
(

F (t) =

1
0

1
2
, F (t) = 1, F (t) = et y
1 + t2

0t1
t>1

Al n
umero se le denomina abscisa de convergencia absoluta de la integral de
Laplace y al semiplano Re(s) >
o Re(s) semiplano de convergencia absoluta.
Teorema 6.4(Teorema fundamental)
Si la integral de Laplace

Z
0

est F (t) dt converge para s = s0 , entonces converge para todo s

en el semiplano abierto Re(s) > Re(s0 ). Ademas se tiene que

Z
0

donde G(t) =

Z t
0

est F (t) dt = (s s0 )

es0 y F (y) dy
18

Z
0

e(ss0 )t G(t) dt,

Demostraci
on Por definicion de integral impropia tenemos,
Z
0

st

F (t) dt = lim

Z b

b 0

est F (t) dt

calcularemos primero la integral propia para luego estudiar su lmite

Z b
0

est F (t) dt =

Z b
0

e(ss0 )t es0 t F (t) dt = ()

usando el metodo de integracion por partes, donde

u = e(ss0 )t

du = (s s0 )e(ss0 )t dt

dv = es0 t F (t) dt

v=

Z t
0

es0 y F (y) dy = G(t)

obetenemos
() = [e(ss0 )t G(t)]b0 + (s s0 )

Z b
0

e(ss0 )t G(t) dt = e(ss0 )b G(b) + (s s0 )

Z b
0

e(ss0 )t G(t) dt

analicemos por separado el lmite de cada sumando

veamos que lim e(ss0 )b G(b) = 0, siempre que (Re(s) > Re(s0 )).
b

G(b) =

Z b
0

s0 y

F (y) dy ;

lim G(b) =

Z
0

es0 y F (y) dy = f0

aqu f0 representa el valor de la integral de Laplace de F (t) en s = s0 .

De lo anterior se deduce que G(t) es una funcion acotada en [0, ), ya que:

t > T , |G(t) f0 | < |G(t)| < |f0 | + , t > T

t [0, T ] , G(t) es continua |G(t)| C , t [0, T ]

|G(t)| M

Luego
|e(ss0 )b G(b)| M e(Re(s)Re(s0 ))b 0 (b ) (Re(s) > Re(s0 ))
lo que demuestra nuestro objetivo.
Comprobemos ahora que
lim

Z b

b 0

(ss0 )t

G(t) dt =

Z
0

e(ss0 )t G(t) dt

existe y es absolutamente convergente para Re(s) > Re(s0 ).

Z
0

|e(ss0 )t G(t)| dt M

Z
0

e[Re(s)Re(s0 )]t dt =

19

M
Re(s) Re(s0 )

Por tanto,

Z
0

st

F (t) dt = (s s0 )

Z
0

e(ss0 )t G(t) dt,

donde la integral del segundo miembro convege absolutamente.

Notas:
a) En este caso no podemos asegurar nada acerca de la convergencia en la lnea Re(s) = Re(s0 ).
b) Observando la demostracion vemos que no es necesario que exista
que la funcion G(t) =

Z t
0

Z
0

es0 t F (t) dt, bastara con

es0 y F (y) dy estuviese acotada.

Teorema 6.5
El dominio de convergencia simple (absoluta o condicional) de la integral de Laplace es el
semiplano derecho Re(s) > . donde puede ser , y ademas puede ocurrir cualquier cosa respecto
a la convergencia en los puntos de la lnea Re(s) = , es decir, puede converger en todos, algunos o
ning
un punto de esta.
Demostraci
on Analoga a la del teorema 6.3.
Ejemplo: Estudiemos la transformada de Laplace de la funcion F (t) = ta , (a > 1)
f (s) =

Z
0

est ta dt =

Z 1

est ta dt +

Z
1

est ta dt

analicemos las dos u

ltimas integrales por separado

Z 1

Z 1

st a

e t dt
eRe(s)t ta dt

esta integral existe independientemente de s para todo a 0 ya que la funcion integrando es

continua.
Para 1 < a < 0 y dado que

eRe(s)t ta
=1
t0
ta
lim

podemos garantizar que el caracter de nuestra integral es el mismo que el de la siguiente

Z 1
0

t dt =

ta+1
a+1

!1

=
0

1
a+1

por lo que tenemos asegurada la convergencia absoluta, y por tanto la convergencia, para todo
s siempre que a > 1.
20

st a

e t dt
eRe(s)t ta dt

teniendo en cuenta que

eRe(s)t ta
=0
t
t2
lim

para cualquier a siempre que Re(s) > 0, y dado que

Z
1

t2 dt converge, podemos concluir que

nuestra integral converge. En este caso cabe preguntarse que ocurre con la integral sobre la lnea
Re(s) = 0.
s=0

Z
1

ta+1
a+1

t dt =

<

si a + 1 0

pero en este caso la integral entre 0 y 1 diverge, con lo que nos llevara la divergencia de la
integral inicial.
s = iy, y 6= 0, y R
Z
1

eiyt ta dt =

Z
1

cos(yt)ta dt i

Z
1

sen(yt)ta dt

1. Si 1 < a < 0, aplicamos el ctiterio de Abel para integrales impropias:

Sean f (x) y g(x) dos funciones integrables en cualquier intervalo [a, t) [a, ) y sea
g(x) una funcion monotona. Entonces, para que la integral

Z
a

f (x)g(x)dx converja

es suficiente que se cumpla cualquiera de los dos siguientes pares de condiciones:

(a)
(b)

Z
Zat
a

f (x)dx converja y g(x) acotada en [a, ).

f (x)dx este acotada para todo t [a, ) y g(x) converja a cero cuando x .

En nuestro caso g(t) = ta , que es monotona decreciente y verifica que lim g(t) = 0, y
t

f (t) = cos(yt), para la que

Z

sen(yb)
sen(yt) b
sen y 2

cos(ty)dt =

y 1 y
y y

Luego

Z
1

cos(yt)ta dt es convergente. De forma analoga se demuestra para la otra

integral.
2. Si a 0:

sen(yt) = 0 yt = n
Z
1

sen(yt) ta dt =

sen(yt) ta dt +

Z
X
n=1

21

(n+1)
y
n
y

sen(yt) ta dt

Veamos que la serie diverge, con lo que quedara demostrada la divergencia de la integral.
Z

(n+1)
y
n
y

sen(yt) t dt =
=

llamando an =

Z
0

x = yt n
dx = y dt
1

y a+1

(1)n

Z
0

Z
0

sen(x + n) (x + n)a

sen x(x + n)a dx

sen x (x + n)a dx, comprobemos que la serie

(1)n an no con-

n=1

verge.
lim an = lim

dx
=
y a+1

n 0

sen x (x + n)a dx lim

n 0

sen x (n)a dx =

= lim (n)a [cos x]0 = lim 2(n)a =

n

Por lo tanto lim an = , es decir lim (1) an no existe, lo que garantiza que la serie
n

no converge.
Resumiendo: L{ta }(s) converge en {Re(s) > 0} cuando a 0 y converge en
{Re(s) > 0} {s = iy, y 6= 0, y R} cuando 1 < a < 0.
Por u
ltimo comentar que es facil demostrar, usando propiedades de la funcion gamma de Euler,
(a + 1)
que L{ta }(s) =
.
sa+1

7.

Propiedades de la transformaci
on de Laplace

En realidad repetiremos propiedades ya establecidas, pero las enunciaremos con todo rigor incluyendo
informacion sobre el semiplano de convergencia en cada caso.
1. Linealidad: Si L{F1 (t)}(s) = f1 (s),

(Re(s) > 1 ) y L{F2 (t)}(s) = f2 (s),

(Re(s) > 2 ),

entonces
L{c1 F1 (t) + c2 F2 (t)}(s) = c1 f1 (s) + c2 f2 (s),

(Re(s) > = max{1 , 2 })

2. Primera propiedad de traslaci

on: Si L{F (t)}(s) = f (s), (Res(s) > ), entonces
L{eat F (t)}(s) = f (s a), (Re(s) > Re(a) + )
on:
3. Segunda propiedad de traslaci
(

Si L{F (t)}(s) = f (s), (Re(s) > ) y G(t) =

entonces L{G(t)}(s) = eas f (s), (Re(s) > )
22

F (t a) t a
0
0 t < a, (a > 0)

4. Propiedad de cambio de escala: Si L{F (t)}(s) = f (s), (Re(s) > ) entonces

L{F (at)}(s) = a1 f ( as ) (a > 0), (Re(s) > a)

8.

La transformaci
on de Laplace como funci
on analtica

En esta seccion se presenta un teorema que pone de manifiesto que cuando una funcion es transformable
Laplace, su transformada es una funcion analtica, es decir admite derivadas de cualquier orden, lo
que permite aplicar a esta toda la teora de las funciones complejas.
Teorema
Si L{F (t)}(s) = f (s),

(Re(s) > ), entonces f (s) admite derivadas de cualquier orden y

ademas:
f

(n)

(s) = (1)

Z
0

est tn F (t) dt = (1)n L{tn F (t)}(s), (Re(s) > )

Demostraci
on: En primer lugar, lo demostraremos para n = 1, para luego aplicar el metodo de
induccion. Veamos entonces que
0

f (s) =

Z
0

est tF (t) dt

Sea s C : Re(s) > . Por el teorema 6.4, sabemos que

f (s) = (s s0 )

Z
0

e(ss0 )t G(t) dt;

G(t) =

Z t
0

es0 x F (x) dx

donde s0 es un n
umero complejo tal que existe f (s0 ).
Ademas, tenamos que |G(t)| M, t > 0 y que la nueva integral que define a f (s) es absolutamente convergente.
Elegimos s0 de la siguiente forma: como Re(s) > , podemos encontrar un de forma que
Re(s) = 3 y tomamos s0 = + Re(s) s0 = 2. En caso de que = , sustituimos
por cualquier n
umero real menor que Re(s).
Por la definicion de derivada tenemos que
f (s + h) f (s)
h0
h

f 0 (s) = lim

si derivamos formalmente bajo el signo de la u

ltima integral que define a f (s) se obtiene
(s) =

Z
0

e(ss0 )t G(t) dt (s s0 )

Z
0

e(ss0 )t tG(t) dt

comprobemos ahora que

f (s + h) f (s)
= (s)
h0
h
lim

23

Tomamos |h| < , lo cual es posible ya que trabajamos con h 0, y nos aseguramos el que
Re(s + h) > .
D(h) =

1
=
(s + h s0 )
h

Z
0

(s+hs0 )t

(ss0 )t

f (s + h) f (s)
(s) =
h
G(t) dt (s s0 )

G(t) dt + (s s0 )

e(ss0 )t [eht 1]G(t) dt + (s s0 )

Z
0

Z
0

(ss0 )t

G(t) dt

e(ss0 )t tG(t) dt =
e(ss0 )t [

eht 1
+ t]G(t) dt
h

Acotemos ahora |D(h)|.

|D(h)|

Z
0

|e

ht

1||e

(ss0 )t

Z ht

1
e

G(t)| dt + |s s0 |
+ t |e(ss0 )t G(t)| dt

h
0

teniendo en cuenta el desarrollo de la funcion exponencial

ez =

X
zn
n=0

n!

podemos escribir
!

|e

ht

|h|t |h|2 t2 |h|3 t3

+
+
+
1| |h|t 1 +
1!
2!
3!

eht 1
|h|t |h|2 t2 |h|3 t3
|
+ t| |h|t2 1 +
+
+
+
h
1!
2!
3!
Por tanto,
|D(h)|

Z
0

= M |h|

|h|te e

Z
0

t 2t

M dt + |s s0 |

Z
0

tet dt + M |h||s s0 |

= |h|te|h|t |h|tet
!

= |h|t2 e|h|t |h|t2 et

|h|t2 et e2t M dt =

t2 et dt = C|h|

donde C es una constante que depende . Luego,

lim D(h) = 0 f 0 (s) = (s)

h0

Podemos entonces escribir

f 0 (s) =
=

Z
0

Z
0

e(ss0 )t G(t) dt (s s0 )

(ss0 )t

G(t) dt +

Z
0

24

Z
0

e(ss0 )t tG(t) dt =

(s s0 )e(ss0 )t tG(t) dt

resolvamos la integral del segundo sumando usando el metodo de integraci

on por partes.

notese que tG(t) =

u = tG(t)

du = [G(t) + tes0 t F (t)] dt

dv = (s s0 )e(ss0 )t

v = e(ss0 )t

Z t
d
0

dx

[xG(x)] dx =

Z t
0

[G(x) + xG0 (x)] dx y que G(x) =

Z x
0

es0 u F (u) du.

Con esto
Z
0

(s s0 )e

(ss0 )t

tG(t) dt = tG(t)e
=

(ss0 )t

ya que lim tG(t)e

t

f 0 (s) =

(ss0 )t

Z
0

i
0

Z
0

[e(ss0 )t G(t) + test F (t)] dt =

[e(ss0 )t G(t) + test F (t)] dt

= 0. Por tanto,

Z
0

e(ss0 )t G(t) dt
=

Z
0

[e(ss0 )t G(t) + est tF (t)] dt =

est tF (t) dt = L{tF (t)}(s)

Una vez establecido el resultado para n = 1, procedemos por induccion aceptando que la derivada
de orden n 1 de f (s) existe y que vale f (n1) (s) = L{(1)n1 tn1 F (t)}(s). Veamos el resultado
para n
f (n) (s) = [f (n1) (s)]0 = [L{(1)n1 tn1 F (t)}(s)]0 = L{t(1)n1 tn1 F (t)}(s) = (1)n L{tn F (t)}(s)

9.

Transformada de Laplace de la integraci

on y las derivadas

Teorema 9.1 (Teorema de integraci

on)
Si L{F (t)}(s) = f (s) converge para alg
un s = x0 > 0 (x0 R), entonces
L{H(t)}(s) = L
y se tiene
L{H(t)}(s) = L

Z t
0

Z t
0

F (u) du (s) converge para s = x0

F (u) du (s) =

L{F (t)}(s)
,
s

s = x0 y Re(s) > x0

Ademas, H(t) = o ex0 t cuando t , es decir,

H(t)
=0
t ex0 t
lim

y por tanto L{H(t)}(s) converge absolutamente para Re(s) > x0 .

Demostraci
on: Veamos primero que L{H(t)}(s) converge para s = x0 y que
f (x0 )
. Para ello utilizaremos la regla de LHopital:
L{H(t)}(s) =
x0
25

1. Sean , funciones diferenciables para x > A (para cierto A).

2. Supongamos ademas que es una funcion real tal que:
lim (x) = + y 0 (x) 6= 0

Entonces,
Si

0 (x)
=a
x 0 (x)

(x)
=a
x (x)

lim

lim

admitiendose incluso los casos a = cuando sea una funcion real.

Si queremos aplicar LHopital y dado que

Z
0

x0 t

H(t) dt = lim

Z x

x 0

ex0 t H(t) dt = lim G(x),

x

tomamos:
(x) = ex0 x G(x)

(x) = ex0 x

y son diferenciables (para x > 0): H(t) continua G(t) derivable.

lim (x) = + pues (x0 > 0), 0 (x) = x0 ex0 x 6= 0 (x0 6= 0).
x

0 (x)
x0 ex0 x G(x) + ex0 x ex0 x H(x)
=
lim
=
x+ 0 (x)
x+
x0 ex0 x
lim

1
x0
x+ x0

= lim

Z x
0

ex0 t H(t) dt + ex0 x H(x)

y aplicando el metodo de integraci

on por partes a la integral obtenemos
0 (x)
1
lim
= lim
x+ 0 (x)
x+ x0

Z x
0

x0 t

F (t) dt =

f (x0 )
x0

Por la regla de LHopital:

f (x0 )
(x)
=
, es decir,
x+ (x)
x0
lim

y entonces,
L{H(t)}(x0 ) =

Z
0

lim G(x) =

x+

ex0 t H(t) dt =

f (x0 )
x0

f (x0 )
x0

Tenemos entonces que L{H(t)}(s) converge para Re(s) > x0 (Teorema 6.4); veamos que en ese
caso,
h(s) = L{H(t)}(s) =

26

f (s)
s

1. Si s R y s > x0 razonamos, para cada s fijo, de igual manera; por tanto

h(x) = L{H(t)}(x) =

f (x)
,
x

x > x0

f (s)
es analtica en Re(s) > x0 y por otro lado h(x) =
s
f (x)
f (s)
, x R, x > x0 . Entonces, h(s) =
, Re(s) > x0 .
x
s

2. h(s) es analtica en Re(s) > x0 ,

Nota: Hemos utilizado un resultado de variable compleja que nos dice: Si una funcion analtica
en un dominio D, se anula en una sucesion de puntos distintos {zn } D, y tal que la sucesion
tiene lmite z0 , entonces se anula en todo D. En nuestro caso (z) = h(z)

f (z)
z

y la sucesion

es cualquier sucesion convergente extraida de la semirecta x > x0 .

Por tanto:
L

Z t
0

F (x) dx (s) =

f (s)
,
s

s = x0 y Re(s) > x0

Comprobemos ahora que H(t) = o(ex0 t ) cuando t .

lim

por otro lado

H(t)
= lim ex0 t H(t) = lim G0 (t)
t
t
ex0 t

(t)
0 (t)
1
= lim 0
= lim
[x0 G(t) + G0 (t)]
t (t)
t (t)
t x0

lim G(t) = lim

de lo que se deduce que

lim G(t) = lim G(t) +

1
lim G0 (t)
x0 t

lo que implica que lim G0 (t) = 0, ya que lim G(t) = h(x0 ) existe.
t

Para finalizar comentar que lo anteriormente visto, demuestra que H(t) es de orden exponencial
con lo que queda garantizada la convergencia absoluta de L{H(t)}(s) para Re(s) > x0 .
Corolario
Supongamos que L{F (t)}(s) converge en s = s0 C: Re(s0 ) 0, entonces L{H(t)}(s)
f (s)
converge y es igual a
para Re(s) > Re(s0 ).
s
Demostraci
on Sea s C : Re(s) > Re(s0 ). Sabemos que L{F (t)}(s) converge para s = s0 C :
Re(s0 ) 0, entonces x0 > 0 : Re(s0 ) < x0 < Re(s) y L{F (t)}(s) converge en x0 > 0 y aplicando
el teorema anterior se obtiene el resultado buscado.

27

Teorema 9.2 (Teorema de derivaci

on)
Sea F (t) una funcion derivable para t > 0 tal que L{F 0 (t)}(s) converge para alg
un real x0 > 0.
Entonces existe F (0+ ) y L{F (t)}(s) converge para s = x0 . Ademas se tiene la relacion:
L{F 0 (t)}(s) = sL{F (t)}(s) F (0+ ),

s = x0 y Re(s) > x0

Mas aun, F (t) = o(ex0 t ) cuando t y por tanto L{F (t)}(s) converge absolutamente para
Re(s) > x0 .
Demostraci
on Si L{F 0 (t)}(s) converge para x0 > 0, entonces por el teorema 9.1:
L

Z t

Z t
0

Z t
0

F (x) dx (s) =

F 0 (x) dx = o ex0 t

L{F 0 (t)}(s)
, Re(s) > x0 y s = x0 .
s

cuando t .

F 0 (x) dx converge absolutamente para Re(s) > x0 .

Por tanto, ya que

Z t
0

F 0 (x) dx = F (t) F (0+ ), tenemos:

L{F (t) F (0+ )}(s) =

L{F 0 (t)}(s)
F (0+ )
L{F 0 (t)}(s)
L{F (t)}(s)
=

s
s
s

L{F 0 (t)}(s) = sL{F (t)}(s) F (0+ ),

s = x0 , Re(s) > x0 > 0

F (t) F (0+ ) = o(ex0 t ) (t ) lim [F (t) F (0+ )]ex0 t = 0

t

lim F (t)ex0 t = lim F (0+ )ex0 t = 0

t

L{F (t)}(s) converge absolutamente para Re(s) > x0 (teorema 2.1).

Notas:
1. Si L{F 0 (t)}(s) converge para x0 > 0, estamos asegurando entonces la existencia de F (0+ ),
pues para que exista L{F 0 (t)}(s) ha de exigirse que F 0 (t) sea absolutamente integrable en cada
intervalo finito de la forma 0 t T . Entonces:
Z 1
0

F 0 (t) dt = A < F (1) lim F () = A F (0+ ) = F (1) A <

0+

28

2. Exigimos solo que F sea derivable para t > 0. No importa que ocurre con la derivada en t = 0.
As trataremos con funciones como:

F (t) =

t=0
;

F (t) = 2 t, t 0

t>0

que no son derivables en t = 0.

El teorema 9.2 puede ser generalizado de la siguiente manera:
Teorema 9.3
Si F (t) es derivable n veces para t > 0 y L{F (n) (t)}(s) converge para alg
un x0 > 0 entonces,
Existen los lmites F (0+ ), F 0 (0+ ), ..... ,F (n1) (0+ ).
L{F (t)}(s) existe para s = x0 .
Se tiene la relacion:
L{F (n) (t)}(s) = sn L{F (t)}(s)sn1 F (0+ )sn2 F 0 (0+ ) F (n1) (0+ ), s = x0 y Re(s) > x0
F (t) = o(ex0 t ), , F (n1) (t) = o(ex0 t ) cunado t y por tanto L{F (t)}(s), , L{F (n1) (t)}(s)
convergen absolutamente para Re(s) > x0 .
Notas:
1. Si F (0+ ) = F (0), F 0 (0+ ) = F 0 (0), ..... ,F (n1) (0+ ) = F (n1) (0), entonces F , F 0 , ...., F (n1)
son continuas para t 0 y obtendramos:
L{F (n) (t)}(s) = sn L{F (t)}(s) sn1 F (0) sn2 F 0 (0) F (n1) (0) =
(
n

=s

F (0) F 0 (0)
F (n1) (0)
f (s)

s
s2
sn

F (n1) (0) n1
F 0 (0)
t + +
t
= s L F (t) F (0) +
1!
(n 1)!

!)

Notese que entre parentesis aparecen los n primeros terminos del desarrollo de Taylor de F en
t = 0.
2. Las condiciones para F del teorema 9.2 son, a la hora de la practica, muy restrictivas . De hecho
encontramos funciones que verifican el teorema y no verifican todas las condiciones.
29

Teorema 9.4
Si tenemos
a) F continua para t > 0 y tal que F (0+ ) exista.
b) F 0 es continua a trozos o casi continua a trozos.
c) F de orden exponencial 0 .
Entonces, L{F (t)}(s) existe y L{F 0 (t)}(s) = sf (s) F (0+ ),

Re(s) > 0 .

Tambien podemos encontrarnos con funciones que no son continuas en t > 0 y presentan discontinuidades de salto finito, es decir, funciones continuas a trozo. En estos casos actuaremos como
sigue: sea F continua a trozos para t 0 y sean Tk ,

k = 0, 1, 2, 3, con T0 = 0 los puntos de

discontinuidad. Si entendemos F 0 como la funcion que no esta definida en los puntos Tk y que en el
resto es igual a la derivada de F , podemos definir la funcion F0 (t) como
F0 (t) =

Z t
0

F 0 (x) dx

Esta nueva funcion es continua en todos los puntos y la diferencia Dk = F (t) F0 (t), Tk < t < Tk+1
es constante y nos mide los saltos de F en los puntos de discontinuidad Tk . Construyamos entonces
la funcion escalonada
D(t) = F (t) F0 (t) =

Bk H(t Tk ),

B0 = D0 , , Bk = Dk Dk1 , k 1

k=0

se obtiene entonces
Teorema 9.5
Si F es una funcion continua a trozos, de tipo exponencial y tal que F0 (t) es tambien de tipo
exponencial, y sea la funcion discontinua:
D(t) = F (t)

Z t
0

F 0 (x) dx =

Bk H(t Tk )

k=0

de orden exponencial 0 , (se entiende F 0 no definida en los puntos de discontinuidad). Entonces,

0

L{F (t)}(s) = sf (s)

Bk esTk ,

Re(s) > 0

k=0

Demostraci
on:

L F (t)

Z t
0

F (x) dx (s) = L

(
X
k=0

30

Bk H(t Tk )

f (s)

L{F 0 (t)}(s) X
esTk
=
Bk
s
s
k=1

luego

L{F 0 (t)}(s) = sf (s)

Bk esTk

k=1

10.

La convoluci
on

Definici
on
Sean F y G dos funciones definidas para t 0. Definimos la convoluci
on de F y G, y la
denotamos por F G, a la funcion dada por:
(F G)(t) =

Z t
0

F (x)G(t x) dx

si esta integral existe.

As como el producto de series de potencia convergentes tambien es convergente, no ocurre lo
1
1
mismo con la integral (F G)(t): sean las funciones F (t) = y G(t) = p
. Es facil comprobar
|1 t|
t
que se trata de funciones integrables en cualquier intervalo [0, t], sin embargo no ocurre lo mismo con
F G
(F G)(1) =

Z 1
0

x 2 (|1 (1 x)|) 2 dx =

Z 1
0

x 2 x 2 dx =

Z 1
1
0

dx =

Esto nos lleva a introducir una clase de funciones que aseguren la existencia de F G.
Definici
on
Definimos la clase L0 como aquel conjunto formado por funciones F verificando
(a) Son absolutamente integrables en [0, T ] para todo T > 0.
(b) Son acotadas en todo intervalo finito [T1 , T2 ] que no incluya al cero.
Proposici
on
Si F y G pertenecen a L0 , entonces F G existe para todo t 0.
Demostraci
on:
(F G)(t) =

Z t
0

F (x)G(t x) dx =

t
2

F (x)G(t x) dx +

analicemos las dos integrales por separado

31

Z t
t
2

F (x)G(t x) dx

 0x

t
2

t
2

t x t |G(t x)| Mt1

Z t

Z t
2

1
F (x)G(t x) dx Mt
|F (x)| dx <

En primer lugar hagamos el cambio de variable u = t x y tengamos en cuenta que

0u

t
2

t
2

t u t |F (t u)| Mt2

Z t

Z
Z t
2

t
2

F (x)G(t x) dx =
F (t u)G(u) du Mt2
|G(u)| du <

t
0

0
2

Propiedades
1. F G = G F
2. F (G + H) = (F G) + (F H)
3. F (G H) = (F G) H

Teorema
Sean F1 , F2 L0 . Si L{F1 } = f1 , L{F2 } = f2 convergen absolutamente para s = s0 , entonces
L{F1 F2 } converge absolutamente para s = s0 y ademas L{F1 F2 }(s) = f1 (s)f2 (s), Re(s) Re(s0 ).
Demostraci
on: Extenderemos los valores de Fi para t < 0 de la siguiente manera: Fi (t) = 0,
i = 1, 2, t < 0.
Veamos que ocurre en s = s0 .
f1 (s0 ) f2 (s0 ) =

es0 x F1 (x) dx

es0 u F2 (u) du =

dado que f2 (s0 ) es una constante

=

s0 x

F1 (x)

s0 u

F2 (u) du

dx =

efectuando el cambio de variable u = t x t = u + x en la integral interna

=

s0 x

F1 (x)

s0 (tx)

F2 (t x) dt

dx =

F1 (x)

s0 t

F2 (t x) dt

cambiando el orden de integracion (ya que las integrales convergen absolutamente)

=

es0 t

F1 (x)F2 (t x) dx

32

dt

dx =

sabemos que para x < 0, F1 (x) = 0, con lo que la integral interna puede escribirse con los lmites de
integracion entre 0 y , es decir para x (0, ). Por otro lado para t < 0 y x (0, ) ocurre que
t x < 0, luego F2 (t x) = 0. Por lo tanto
f1 (s0 ) f2 (s0 ) =

Z
0

es0 t

Z
0

F1 (x)F2 (t x) dx

dt

pero como t x < 0 para todo x > t, ocurre que

Z
0

F1 (x)F2 (t x) dx =

Z t
0

F1 (x)F2 (t x) dx

con lo que obtenemos

f1 (s0 ) f2 (s0 ) =

Z
0

s0 t

Z t
0

F1 (x)F2 (t x) dx

dt = L{F1 F2 }(s0 )

Para los s tales que Re(s) Re(s0 ), hay que tener en cuenta que, por el teorema 6.1, f1 (s) y
f2 (s) convergen absolutamente, y a partir de aqu actuar como en el caso anterior.
Teorema
Sean F1 , F2 L0 . Entonces (F1 F2 )(t) es continua para t > 0.
Demostraci
on: Sea t > 0, hemos de comprobar que
lim (F1 F2 )(t + h) = (F1 F2 )(t) lim [(F1 F2 )(t + h) (F1 F2 )(t)] = 0

h0

h0

denotemos
D(t, h) = (F1 F2 )(t + h) (F1 F2 )(t) =

Z t+h
0

F1 (x)F2 (t + h x) dx

Z t
0

F1 (x)F2 (t x) dx

Sean 0 < h 1 (podemos asumir que h > 0, en caso de que h < 0, la demostracion es analoga) y
0 < t0 2t .
D(t, h) =

Z t0
0

F1 (x)[F2 (t + h x) F2 (t x)] dx +
+

Z t+h
t

Z t
t0

F1 (x)[F2 (t + h x) F2 (t x)] dx+

F1 (x)F2 (t + h x) dx = I1 + I2 + I3

veamos que ocurre con I1 : estudiemos el rango de variaci

on de la variable de la funcion F2 .

t t0 t x t

0 x t0

t+ht tx+ht+h

33

t
2

t t0 ;

t
2

+ h t t0 + h

t+ht+1

Por tanto, la variable no sale del intervalo ( 2t , t + 1), en el que podemos garantizar que
|F2 (u)| Mt1 , ya que F2 L0 . Entonces
|I1 |

Z t0
0

Z t0

|F1 (x)| |F2 (t + h x) F2 (t x)| dx

2Mt1

Z t0
0

|F1 (x)| [|F2 (t + h x)| + |F2 (t x)|] dx

|F1 (x)| dx

Veamos ahora I2 : efectuemos el cambio de variable u = t x

Z t
t0

F1 (x)[F2 (t + h x) F2 (t x)] dx =
|I2 |

Z tt0
0

Z 0
tt0

F1 (t u)[F2 (u + h) F2 (u)] du

|F1 (t u)| |F2 (u + h) F2 (u)| du

analicemos el rango de la variable de F1

0 u t t0 t0 t u t

F1 L0
|I2 | Mt0

Z tt0
0

|F1 (t u)| Mt0

|F2 (u + h) F2 (u)| du

Estudiamos ahora I3 :

[t, t + h] [t, t + 1]

|F1 (x)| Mt2 , x [t, t + 1]

F1 L0
realicemos el cambio u = t + h x
I3 =

Z t+h
t

F1 (x)F2 (t + h x) dx =

Z 0
h

|I3 |

F1 (t + h u)F2 (u) du =

Mt2

Z h
0

Z h
0

F1 (t + h u)F2 (u) du

|F2 (u)| du

Por tanto,
|D(t, h)| |I1 | + |I2 | + |I3 |

2Mt1

Z t0
0

|F1 (x)| dx + Mt0

Z tt0
0

|F2 (u + h) F2 (u)| du +

no para que
dado > 0, escogemos t0 suficientemente peque
2Mt1

Z t0
0

|F1 (x)| dx <

34

Mt2

Z h
0

|F2 (u)| du

 Se sabe que si una funcion f es absolutamente integrable en [0, T ], entonces

lim

Z T

h0 0

|f (t + h) f (t)| dt = 0. Por lo que en nuestro caso podemos garantizar que

lim

Z tt0

h0 0

|F2 (u + h) F2 (u)| du = 0

lo que nos permite asegurar que h1 > 0 : 0 < h < h1 se verifica que
Mt0

Z tt0
0

|F2 (u + h) F2 (u)| du <

Por otro lado h2 > 0 : 0 < h < h2 , se tiene

Mt2

Z h
0

|F2 (u)| du <

Entonces, tomando h0 = min{1, h1 , h2 } ocurre que para todo h (0, h0 ) se cumple que
|D(t, h)| <

+ + =
3 3 3

Notas:
(a) La convolucion no tiene que ser continua en t = 0. Tomese como ejemplo las funciones
1
F1 (t) = F2 (t) = .
t
(b) En caso de que F1 , F2 L0 y una de las dos funciones este acotada en un entorno de cero,
entonces F1 F2 es continua para t 0.

11.

Transformada inversa de Laplace

El hecho de que la transformada de Laplace de una cierta funcion F este definida mediante una integral
parametrica, nos hace pensar que el proceso de inversi
on no diferencia a cierta clase de funciones. Por
ejemplo:

F (t) =

0
1

t=0
t>0

G(t) = 1, t 0

L{F (t)}(s) = L{G(t)}(s) =

1
s

por lo que
1
L1 { }(t) = F (t), G(t), .....
s
35

Esto pone de manifiesto que la transfomada de Laplace no distingue entre funciones que se diferencian
en un n
umero finito de puntos. Pero esta conclusion puede llevarse mas lejos
Definici
on
Diremos que una funcion n(t) es una funcion nula si se verifica que:
Z t
0

n(u) du = 0 ,

t 0

Teorema
Sean F1 , F2 dos funciones tales que f1 (s) = L{F1 (t)}(s) = L{F2 (t)}(s) = f2 (s),

(Re(s) > ).

Entonces existe una funcion nula n(t) tal que

F1 (t) = F2 (t) + n(t) ,

t0

Si la funcion nula es continua, entonces n(t) 0, ya que si n(t) es continua

Z t
0

n(u) du 6= 0 para

alg
un t a menos que n(t) 0.
Por tanto, si L1 {f (s)}(t) = F (t) y F (t) es continua, entonces F (t) es la u
nica inversa continua
de f (s).
Como conclusion podemos asegurar que las inversas de f (s) solo se diferencian en puntos de
discontinuidad.
Para finalizar presentaremos un teorema donde se expresa la transformada inversa de Laplace
mediante una integral en el campo complejo, aunque en la practica se utilizan metodos como los
trabajados en clase para encontrar las inversas.
Teorema
Supongamos que eat F (t) es absolutamente integrable localmente en [0, ).

Supongamos

ademas que F (t) es continua y que existen las derivadas laterales en cada t. Si
f (s) =

Z
0

est F (t) dt , (Re(s) > ), entonces

1
F (t) = lim
R 2i

Z c+iR
ciR

est f (s) ds , (t > 0)

siendo c > .
El n
umero real c se elige de forma que la lnea vertical x = c quede dentro del semiplano de
convergencia, pero salvo esta condicion, c es arbitrario.

36

12.

Problemas

1. Haciendo uso de las propiedades para la transformacion de Laplace, calcular L{F } para las
siguientes funciones:
(a) F (t) =

(b) F (t) =

1 et ,

0<t<1
e 1 t
e , 1<t
e
sen(bt), 0 t < /b

0,

/b t < (2)/b

sen(bt), (2)/b t < (3)/b

0,
(3)/b t
(

(c) F (t) =

t2 , 0 t < 2
6, 2 t

2. Evaluar las siguientes transformadas de Laplace:

(a) L{cos2 (bt)}

(c) L{t1/2 cos(at1/2 )}

(b) L{sen(at)cos(bt)}

3. Se define la funcion error

2
erf (x) =

Z x
0

et dt

y la funcionn error complementario

2
erf c(x) =

Z
x

et dt

Demostrar que, para a > 0, se tiene que

2

L{eat }(s) =

1
2

s2 /(4a) h
s i
e
1 erf ( ) .
a
2 a

4. Demostrar que:
1
Res > 0.
(i) L{erf c(t)}(s) = L{erf (t)}(s),
s
2
2
(ii) L{et /4 }(s) = es erf c(s),
Res > 0.
1 2 2
t

(iii) L{e 4 b

}(s) =

(iv) L{erf (t)}(s) =

1 s2 /b2
b e
erf c(s/b),

erf c(s/2),

2 /(4b2 )

(v) L{erf (bt)}(s) =

b > 0.

s2 /4

es

Res > 0.

erf c

2b

b > 0.
37

t o

2 2

ea s
erf c(as),
a > 0.
2a
s

r
n ea t o
a2 /(4s)
a
(vii) L
(s) =
e
1 erf ( )
s
2 s
t
(vi) L erf

(s) =

5. La funcion de Bessel J (t) de primera especie y orden admite el desarrollo en serie

J (t) =

X
(1)r (t/2)2r+
r=0

r!( + r + 1)

2 ( + 1/2)

(1 + s2 )1/2 , > 1/2 y Re s > 1.

Nota: (2p)(1/2) = 22p1 (p)(p + 1/2); (1/2) = .

n cost o

1
.
6. Comprobar que L{sen t}(s) = 3/2 e 4s y hallar L
2s
t
Establecer que L{t J (t)}(s) =

7. Evaluar L{t2 eat } usando la ecuacion diferencial de tercer orden que satisface t2 eat .
8. Calcular L{J0 (t)} haciendo uso de la ecuacion diferencial que satisface la funcion de Bessel J0 (t)
(tJ000 (t) + J00 (t) + tJ0 (t) = 0).
9. Sea F (t) una funcion periodica de periodo T > 0. Demostrar que entonces
Z T

L{F (t)}(s) =

est F (t)dt

1 esT

Aplicar este resultado a la funcion 4-periodica tal que

1,

f (t)

0t<2

1, 2 t < 4

10. Calcular L{F (t)} si F (t) = sent, 2k < t < (2k + 1), F (t) = 0, (2k + 1) t (2k + 2),
k = 0, 1, 2, ....
11. Demostrar que L{F (t)} =

s + (s 1)es
, donde
s2 + 1
(

F (t) =

12. (a) Demostrar que L{sen5 t} =

(b) Calcular tambien

L{sen3 t}

(s2

cost, 0 < t <

.
sent, t >

120
.
+ 9)(s2 + 25)

1)(s2

podras llegar a un resultado correspondiente para L{sen2n1 t},

siendo n = 1, 2, ...? Justificar.

38

13. (a) Hallar L{F (t)}, donde F (t) es la funcionn definida por
(

F =

1/, 0 t
0,
t>

(b) Demostrar que lim L{F (t)} = 1.

0

(c) Es el resultado en (b) el mismo que L lim F (t) ?

0

14. Si L{F (t)}(s) = f (s) , (Re(s) > ). Demostrar que

n
d n
d
F (t) (s) = s f (s)
dt
ds

d
d n
(b) L
t F (t) (s) = s
f (s)
dt
ds

d n
(c) L
et
F (t) (s) = (s 1) (s 2) (s n)f (s n), siempre que F (k) (0) = 0, para
dt
k = 0, 1, , n 1

(a) L

39