Está en la página 1de 32

Matemtica D y D1

MATEMTICA D y D1
Mdulo II: Transformada de Laplace

Mag. Mara Ins Baragatti
Transformada de Laplace

Sea f(t) una funcin de variable real definida para 0 t < .


La transformada de Laplace de f(t), que se indica indistintamente por F(s) o L[f(t)], est dada
por la frmula

F(s) = L[f(t)]= e st f (t ) dt
0

donde s es un parmetro real o complejo.

Dado que la transformada de Laplace se define por medio de una integral impropia, es necesario
encontrar condiciones sobre f(t) y sobre s para que dicha integral converja.
Los valores de s para los cuales la integral converge constituyen lo que se denomina regin de
convergencia o dominio de la transformada de Laplace.

 Ejemplos
f(t)
1- Calcular la transformada de Laplace (TL) de f(t) = 1 para t 0 , 1

Suponiendo que s es real , su transformada de Laplace, es: t

A

st
A
st e st e sA 1 1 s si s > 0
L[f(t)] =
0
e 1 dt = lm e
A 0
dt = lm
A s

= lm
0 A s
=
si s 0

Como la integral que define la TL slo converge si s > 0 , decimos que la regin de
convergencia de la transformada de Laplace de esta funcin es el intervalo (0, ) , anotamos
1
L[1] = para s > 0 ( si s es una variable real)
s

Si s es complejo, es decir s = s1 + i s2 , entonces el ltimo lmite toma la forma

1
Mdulo II
Matemtica D y D1

e ( s1 + is 2 ) A 1 e s1A cos(s 2 A ) + i e s1A sen(s 2 A ) 1 1 s si s 1 > 0


lm = lm =
A s A s no existe si s 1 0

Por lo tanto si s es complejo, la transformada de Laplace slo existe si s2


Re(s) > 0 , es decir la regin de convergencia es en este caso es un
semiplano y se obtiene la misma transformada que si s es real .
Anotamos: s1
1
L[1] = para Re(s) > 0 ( s es una variable compleja)
s

2- Dada f(t) = eat para t 0 , su transformada de Laplace, suponiendo que a y s son reales, es:

A e A ( s a ) 1 1 (s a ) si s > a
L[f(t)] = e st e at dt = lm e t ( s a ) dt = lm =
A (s a ) si s a
0 A 0

Por lo tanto :
1
L[eat] = para s > a , ( s es una variable real)
sa

Actividad 1:
1
Si a es una constante compleja y s es complejo, justificar que L[eat] = para
sa
Re (s) > Re (a)

t si 0 t 2 f(t)
3- Dada f (t ) = , hallar su transformada de Laplace
0 si t > 2 2

2 t

En este caso la funcin tiene un salto en t = 2 y por lo tanto no es continua en t = 2, por ello
para calcular su transformada de Laplace debemos integrar en cada tramo donde es continua y
buscar la primitiva usando el mtodo de integracin por partes como se muestra a
continuacin:

2
2 te st e st 2e 2s e 2s 1

st
L[f(t)] = e f(t) dt = e st
t dt + e 0 dt =
st
2 = 2 + 2
0 0
12
4243 s s 0 s s s
0
Es importante observar que en este ejemplo existe L[f(t)] para todo s , sea real o complejo.

2
Mdulo II
Matemtica D y D1

En lo sigue del mdulo intentaremos encontrar propiedades que nos permitan encontrar la
transformada de Laplace de una funcin sin tener que calcular la integral impropia que la define.
Uno de esos resultados es el siguiente:

Teorema de linealidad

Sean f(t) y g(t) dos funciones reales tal que L[f(t)] = F(s) para s D1 y L[g(t)] = G(s) para
s D2 entonces:
a) L[ f(t) + g(t) ] = L[f(t)] + L[ g(t)] para s D1 D2
b) L[k f(t)] = k L[f(t)] para s D1 , donde k es una constante real o compleja

Actividad 2:
Justificar usando la definicin de TL, la propiedad de linealidad enunciada en el paso anterior.

 Ejemplos
1- Si queremos hallar la TL de la funcin f(t) = 3 e4t - 5 e-2t + 1/2 , usamos la propiedad de
linealidad como se muestra a continuacin:
L[3 e4t - 5 e-2t + 1/2] = L[3 e4t] + L [- 5 e-2t ] + L[1/2] = 3L[e4t] -5 L[e-2t ] + 1/2 L[1] =
3 5 1/ 2
=
s4 s+2 s
y la regin de convergencia se obtiene haciendo la interseccin de las regiones de convergencia
de cada una de ellas, que son Re(s) > 4 , Re(s) > -2 y Re(s) >0 respectivamente, por lo tanto
dicha TL existe para los s que verifican Re(s) > 4

 Ejercicios
1- Hallar L[f(t)] usando la definicin

t si 0 t 2
a) f(t) = t b)f(t) = t e2t c) f(t) =
2 si t > 2

2- Si s es complejo y Re(s) > 0 ( si s es real y s >0) , demostrar usando la definicin de


transformada de Laplace que :
1 1
a) L[t] = L[1] y concluir que L[t] =
s s2
2 2
b) L[t2] = L[t ] y concluir que L[t2] =
s s3

3
Mdulo II
Matemtica D y D1

n n!
c) L[tn] = L[t n1 ] y concluir que L[tn] = n +1
s s

3- Justificar usando la linealidad de la transformada de Laplace que

e at e at a
a) L[sh(at)] = L = 2 e indicar el dominio
s a
2
2
e at + e at s
b) L[ch(at)] = L = 2 e indicar el dominio
s a
2
2
e iat e iat a
c) L[sen(at)] = L = 2 e indicar el dominio
s +a
2
2i
e iat + e iat s
d) L[cos(at)] = L = 2 e indicar el dominio
s +a
2
2

Transformada inversa

Si F(s) es la transformada de Laplace en algn dominio de una funcin f(t) , indistintamente


podemos indicar que:

L[f(t)] = F(s) f(t) = L-1[F(s)]

As como la primera expresin se lee "transformada de Laplace de la funcin f(t)" , la segunda


expresin se suele leer "transformada inversa de F(s)" " antitransformada de Laplace de
la funcin F(s)"

Observacin
Si consideramos las funciones :

e t si t 2 e t si t 2 , t 7
f1(t) = et f 2 (t ) = f 3 (t ) =
1 si t = 2 1 si t = 2 , t = 7

(observar que: f1(t) = f2(t) salvo en t = 2 ; f1(t) = f3(t) salvo en t = 2 y t = 7 f2(t)= f3(t) salvo en t = 7)

y calculamos, usando la definicin, sus transformadas de Laplace encontramos que:


1
L[f1(t)] = L[f2(t)] = L[f3(t)] =
s 1

1
Qu respondemos si nos piden que encontremos L1 ?
s 1

4
Mdulo II
Matemtica D y D1

Evidentemente cualquiera de las tres funciones mencionadas es correcta pero existen infinitas
ms que coincidirn con et , salvo en un nmero finito de puntos aislados, por ello tomamos la
siguiente convencin: en caso de exista una funcin continua f(t) cuya transformada de Laplace
es F(s) , diremos que L-1[F(s)] es esa funcin continua f(t) .

Con referencia a las funciones mencionadas y segn la convencin mencionada, diremos que
1 t
L1 =e
s 1

Existencia de la transformada de Laplace


Como la transformada de Laplace es una integral impropia, nos preguntamos que condiciones
debe cumplir f(t) para que exista su transformada. Para responder es necesario dar las
definiciones siguientes

Se dice que f(t) es seccionalmente continua en un intervalo finito [a,b], si este intervalo
puede ser subdividido en un nmero finito de subintervalos en los cuales f(t) es continua y
tiene lmites finitos cuando t se aproxima a los extremos de cada subintervalo

Se dice que f(t) es una funcin de orden exponencial para t , si existen constantes
positivas M y T tal que
|f(t)| < M et para todo t > T

 Ejemplos

1- En el grfico siguiente se observa una funcin seccionalmente continua en [a,b] , pues es


continua en los intervalos (a,t1), (t1, t2) y (t2 , b) existen y son finitos los lmites lm+ f (t ) ,
t a

lm f (t ) , lm+ f (t ) , lm f (t ) , lm+ f (t ) y lm f (t )
t t 1 t t 1 t t 2 t t 2 t b

b
a t1 t2
t

2- Observar que lo que se exige a las funciones de orden exponencial para t es que estn
acotadas por un mltiplo constante de la exponencial et , por ejemplo la funcin f(t) = t3 , que
sabemos que no est acotada cuando t tiende a infinito, pero est acotada por una exponencial
como se muestra a continuacin:

t3 3t 2 6t 6 6 6
lm = lm = lm 2 t = lm 3 t < lm 3 = 3
t e t t e t t e t e t
5
Mdulo II
Matemtica D y D1

1
donde se ha utilizado la regla de LHospital y se ha tomado > 0 para poder usar que <1
e t
pues naturalmente t > 0
6 t
Por lo tanto para t > 0 suficientemente grande podemos decir que t3 < e y entonces la
3
funcin t3 es de orden exponencial > 0

Con estos dos conceptos entendidos podemos atacar el siguiente teorema que da condiciones
suficientes para la existencia de la TL.

En todos los desarrollos siguientes supondremos que el parmetro s es complejo, es decir de la


forma s = s1 + i s2 , si quiere trabajar con s , parmetro real, reemplazar s2 por 0 y usar que en
ese caso Re(s) = s

Teorema de existencia

Si f(t) es seccionalmente continua en cada intervalo finito con t > 0 y es de orden exponencial
para t , entonces existe L[f(t)] para Re(s) >

Demostracin

Para entender la demostracin es importante recordar que:



 Si
0
f (t ) dt converge entonces 0
f ( t ) dt converge.

 Criterio de comparacin: Si |g(t)| <|h(t)| y 0
h(t ) dt converge entonces
0
g(t ) dt converge

Demostracin


Tenemos que demostrar que la integral f(t)e ts dt es convergente para algunos valores de s.
0

Como f(t) es de orden exponencial , sabemos que existen dos constantes positivas M y T que
nos permiten afirmar que:
|f(t)| < M et para todo t > T

La desigualdad anterior nos induce a escribir la integral del siguiente modo:


T
f(t)e ts dt = f(t)e ts dt + f(t)e ts dt (#)
0 0 T
1 4
4244 3 1 4
4244 3
I II

donde podemos afirmar que la integral I existe pues el integrando es seccionalmente continuo y
la regin de integracin es un intervalo finito y tratemos de demostrar que la integral II , que es
impropia, es convergente.
Si t > T sabemos que |f(t)| < M et , y multiplicando ambos miembros por |e-st| obtenemos :
|f(t)| |e-st| < M et |e-st| para todo t > T (*)
6
Mdulo II
Matemtica D y D1


Si podemos demostrar que la integral M et | e st | dt es convergente, aplicando el criterio de
T

comparacin podremos afirmar que la integral | f(t) e st | dt tambin es convergente, para
T

ello teniendo en cuenta que s = s1 + i s2 y que | e -st |= e s1t , calculamos: el ltimo


lmite slo
A e A ( s 1 ) e T( s 1 ) Me T( s 1 ) existe si
M et | e st | dt = lm Me t ( s 1 ) dt = lm M = s1 >
T A T A (s 1 ) s1


por lo tanto M et | e st | dt es convergente si Re(s) > y por comparacin podemos afirmar
T

que | f(t) e st | dt es tambin convergente en el mismo dominio.
T

Como la integral de los mdulos converge si Re(s) > , entonces la integral sin los mdulos, es
decir la integral II, tambin es convergente si Re(s) >


Por lo tanto f(t)e ts dt es convergente si Re(s) > , por ser suma de dos integrales
0
convergentes y el teorema queda demostrado.

Actividad 3:
Si f(t) satisface las hiptesis del teorema de existencia, demostrar que lm F(s ) = 0
s

T
Ayuda: tener en cuenta que F(s) = f(t)e ts dt = f(t)e ts dt + f(t)e ts dt (#)
0 0 T
1 4
4244 3 1 4
4244 3
I II

y demostrar que lm I = 0 y lm II = 0 , para ello tener en cuenta :


s s
a) como f(t) es seccionalmente continua en el intervalo [0,T] entonces est acotada, es decir
existe una constante N tal que |f(t)|< N para t [0,T] , usar esto para demostrar que
sT
1e
0 I N y concluir a partir de esta desigualdad que lm I = 0
s s


b) tener en cuenta que 0 | II | f(t) e ts dt y usar la siguiente desigualdad obtenida en la
T

Me T ( s1 ) M
demostracin del teorema 0 | II | Me t ( s1 ) dt = , y concluir a partir
T s1 s1
de esta desigualdad que lm II = 0
s

7
Mdulo II
Matemtica D y D1

Observaciones

1- El teorema de existencia da condiciones suficientes para la existencia de la TL, pero no


necesarias, por ejemplo la funcin f (t ) = 1 t , no es seccionalmente continua pues en t = 0
tiende a y sin embargo existe su TL y se propone , con las ayudas que se indican,
demostrar que L 1 t = s [ ]
2- Como en la actividad 3 se ha demostrado que lm F(s ) = 0 , esta propiedad limita las posibles
s
funciones que son TL de funciones seccionalmente continuas y de orden exponencial, por
ejemplo si la funcin es un cociente de polinomios en variable s, necesariamente el grado del
denominador debe superar en al menos una unidad al grado del polinomio numerador pues de
no ser as el lmite mencionado no tendera a 0 .

Transformada de Laplace de una derivada primera

Si f(t) es continua para t 0 y de orden exponencial para t tendiendo a infinito y f(t) es


seccionalmente continua para t 0 entonces para Re(s) > vale que

L[f(t)]=s F(s) f(0) , donde F(s) = L[f(t)]


Demostracin
A
Sabemos que L[f ' (t )] = e st f ' (t ) dt = lm e st f ' (t ) dt
0 A 0

recordando la frmula de integracin por partes

u(t) v' (t) dt = [u(t) v(t)]a -


b b

b
v(t) u' (t) dt
a a

y sabiendo que si el integrando es seccionalmente continuo puede aplicarse sin dificultad,


podemos calcular la ltima integral llamando u = e-st , v = f(t) obteniendo

0
A
[ ]
A A A
e st f ' (t ) dt = e st f (t ) 0 f(t) (-s e st ) dt = e sA f ( A ) f (0) + s f(t) e st dt
0 0

Por lo tanto

L[f ' (t )] = e st f ' (t ) dt = lm e st f ' (t ) dt = lm e sA f ( A ) f (0) s e st f (t ) dt =
A A

0 A 0
A 0

A
[ ]
= lm e sA f ( A ) f (0) + s e st f (t ) dt = f (0) + sL[f (t )] siempre que Re(s) > (*)
0

14 4244 3
0

[ ]
En el paso anterior afirmamos que lm e sA f ( A ) = 0 , siempre que Re(s) > , para justificar
A
esta afirmacin razonamos como se muestra a continuacin:
8
Mdulo II
Matemtica D y D1

Por hiptesis sabemos que f(t) es de orden exponencial entonces: |f(t)| < M et , si t > T
si tomamos A > T entonces : |f(A)| < M eA

y multiplicando ambos miembros por |e-sA | , que sabemos es positivo, obtenemos:

|f(A)| |e-sA | < M eA e s1A

Teniendo presente que |f(A)| e s1A es positivo podemos escribir:

0 < |f(A)| e-sA < M eA e s1A

y tomando lmite en cada miembro de la desigualdad anterior obtenemos :

lm 0 lm |f(A)| e s1A lm Me ( s1 ) A ,
A A A

y si pedimos que Re(s) = s1 > , entonces el ltimo lmite es igual a 0 y por el teorema del
[ ]
sandwich podemos afirmar que lm e sA f ( A ) = 0 siempre que Re(s) >
A

Por lo tanto la expresin obtenida en (*) es correcta y vale que L[f(t)]=s L[f(t)] - f(0) que es lo
que se quera demostrar.

 Ejemplos
1- Hallar la solucin de la ecuacin diferencial f '(t) + 2 f(t) = 2t , con la condicin f(0) = 1

Si aplicamos TL a ambos miembros, usando la linealidad obtenemos:


L [f '(t)] + 2 L [f(t)]= 2L [t]

reemplazamos L[f '(t)] por la expresin equivalente obtenida en el teorema anterior, encontramos

s L [f (t)] - f(0) + 2 L [f(t)]= 2L [t]


o su equivalente :
s F(s) - 1 + 2 F(s)= 2/s2
sacando factor comn F(s) obtenemos:
2
(s + 2)F(s ) = 2 + 1
s
despejando y operando obtenemos
2 + s2
F (s ) = 2
s (s + 2 )
por lo tanto
2 + s2
f(t) = L-1[F(s)]= L1 2
s (s + 2)

9
Mdulo II
Matemtica D y D1

Como no conocemos ninguna funcin elemental cuya transformada sea el cociente anterior,
tratamos de expresar el cociente anterior usando el mtodo de fracciones parciales (utilizado para
hallar primitivas de funciones que son cociente de polinomios) En este caso
2 + s2 A B C As(s + 2) + B(s + 2) + Cs 2 ( A + C)s 2 + ( 2 A + B )s + 2B
= + + = =
s 2 (s + 2 ) s s 2 s + 2 s 2 (s + 2 ) s 2 (s + 2)

Como los numeradores deben ser iguales, necesariamente debe verificarse que:
A + C = 1 (coeficientes de s2)
2A + B = 0 (coeficientes de s )
2B = 2 (trminos independientes)
y resolviendo este sistema se obtiene B = 1 , A = - 1/2 , C = 3/2

2 + s2 1 1 / 2 1 3/2 1 3
Por lo tanto f(t) = L1 2 =L + 2 + = + t + e 2t
s (s + 2 ) s s s + 2 2 2

2- Es interesante observar que si f(t) = t eat entonces su derivada es f '(t) = eat + a t eat , que
podemos escribir como f '(t) = eat + a f(t) y aplicando TL a ambos miembros tenemos:

L[f '(t)] = L[eat ] + a L[f(t)]


o su equivalente
1
sF(s ) f{
( 0) = + aF(s )
0
sa
1
de donde despejando F(s) obtenemos : F(s ) = , por lo tanto podemos afirmar que:
(s a)2
[ ]
L te at =
1
(s a)2
Transformada de Laplace de derivadas sucesivas

Actividad 4:
Si F(s) = L[f(t)] , demostrar que :
a) Si f(t) y f '(t) son continuas para t 0 y de orden exponencial para t tendiendo a infinito
y f ''(t) es seccionalmente continua para t 0 entonces para Re(s) > vale que:
L[f''(t)]=s2 F(s) s f(0) - f '(0)
Ayuda: tener en cuenta que f''(t) = [f'(t)]' , aplicar la TL a ambos miembros y usar la TL de la
derivada primera.
b) Si f(t), f'(t), f(2)(t), .... y f(n-1)(t) son continuas para t 0 y de orden exponencial para t
tendiendo a infinito y f(n)(t) es seccionalmente continua para t 0 entonces para Re(s) >
vale que:
L[f(n)(t)]=sn F(s) sn-1 f(0) - sn-2 f '(0) - sn-3 f''(0) -......- s f(n-2)(0) - f(n-1)(0)

10
Mdulo II
Matemtica D y D1

 Ejercicios
4- Calcular la transformada de Laplace de las siguientes funciones usando el teorema de la
derivada y siguiendo las sugerencias que se dan en algunos casos

a) f(t) = eat [sugerencia : f(t) = a f(t)]


b) f(t) = sen(at) [sugerencia : f(t) = -a2 f(t) y f(0) = 0]
c) f(t) = cos2(at) [sugerencia : f(t) = -a sen(2at)]
d) f(t) = cos (at)
e) f(t) = t sen(at)

5- Si f(t) es continua para t 0 y de orden exponencial para t tendiendo a infinito y


t
L[f(t)]= F(s) para Re(s) > , demostrar que g(t) = f () d es de orden exponencial
0
y
F (s )
que L f ( ) d =
t

0 s

6- Usando el resultado del ejercicio anterior calcular

2 s+1 1
a) L1 b) L1 2 c) L1 2 2
s( s + 2 ) s (s + 4 ) s (s 9)

7- Resolver las siguientes ecuaciones diferenciales con condiciones iniciales

a) y(t) y(t) = 1 , y(0) = 0


b) y(t) + 5 y(t) + 4 y(t) = 0 , y(0) = 1 , y(0) = 0
c) y + y = et , y(0) = y(0) = 0
d) y(4) y = 0 , y(0) = y(0)= y(3)(0 = 0 , y(0) = -1

8- a) Hallar la solucin general de las ecuaciones diferenciales siguientes


f(t) +3 f(t) = sh t g(t) + g(t) -6 g(t) = 4
b) Hallar las soluciones particulares de la ecuaciones indicadas que verifiquen las condiciones
de contorno que se indican a continuacin
f (1) = -2 para la primera y g(0) = 1 , g(2) = 4

Teorema de sustitucin
Si L[f(t)] = F(s) para Re(s) > Re(b) entonces L[f(t) eat] = F(s-a) , para Re(s) > Re(a + b)

11
Mdulo II
Matemtica D y D1

Demostracin

Sabemos que:

L[f(t)] = F(s) y F(s ) = f (t ) e -st dt (*) , para Re(s) > Re(b)
0

y queremos calcular L[eat f(t)] , para ello usamos la definicin



L[f(t) eat] = f (t ) e at e -st dt = f (t ) e -(s-a)t dt (**)
0 0

si evaluamos la integral (*) en (s -a) obtenemos:



F(s a) = f (t ) e -(s-a)t dt , para Re(s -a) > Re(b)
0

y esta expresin es justamente la integral (**) , por lo tanto


L[eat f(t)] = F(s-a) , para Re(s ) > Re(b) +Re(a) = Re(a+b) ,
que es lo que queramos demostrar.

Observacin

A partir del teorema anterior observamos que si L[f(t)] = F(s) entonces:

L-1[F(s -a )] = eat f(t) = eat L-1[F(s)]

 Ejemplos

s (s + 2)
1- Como sabemos que L[cos(4t)] = entonces L[ e-2t cos(4t)] =
s + 16
2
(s + 2) 2 + 16

1
2- Calcular L1 , como la expresin que queremos antitransformar slo depende
(s 3) 2
2

de (s - 3), la llamamos F(s-3), por lo tanto con esta denominacin y usando el teorema
1
anterior podemos decir que L-1[F(s-3)] = e3t L-1 [F(s)] , donde F(s) = 2 y
s 2
Recordar que
1
L-1[F(s)]= L1 2

= L1
2

(
=
1 1
L
)
2
=
1
(sh 2 t
) ( ) L[sh(at)]=
a
s 2
2 2
2 s 2 2 s 2 2 s2 a2


Por lo tanto L1
1
=e
3t 1
sh 2 t ( )
(s 3) 2
2
2
12
Mdulo II
Matemtica D y D1

Funcin salto unidad

0 si t < a 1
La funcin ua(t) = se denomina funcin salto unidad
1 si t > a a t

y muchas veces se indica u(t-a) por ser la trasladada de la funcin unidad u(t) = 1 para t > 0

Observacin
Dada una funcin f(t) , podemos generar tres funciones interesantes a partir de ella, ellas son:
0 si t < a
ua(t) f(t) = , f(t-a) , que es la f(t) trasladada a unidades a la derecha y
f(t) si t > a
0 si t < a
ua(t) f(t-a) = , cuyas grficas se observan a continuacin
f(t - a) si t > a

a t a t a t a t

f(t) ua(t) f(t) f(t-a) ua(t) f(t-a)

Teorema de traslacin
Si L[f(t)] = F(s) para Re(s) > Re(b) entonces L[ua(t) f(t -a)] = e-as F(s) , para Re(s) > Re(b)

Demostracin

Usamos la definicin de TL

L[ua(t) f(t -a)] = u a (t ) f(t - a) e -st dt = f (t a ) e -st dt = A pues ua(t) = 0 si t < a
0 a

Haciendo en la ltima integral la sustitucin u = t -a , dt = du , y teniendo en cuenta que


si t = a u = 0 y si t = u = , entonces


A= f(u) e -s(u+ a) du = e sa f (u) e -su du = e-st F(s) si Re(s) > Re(b)
0 0

pues la ltima integral no es otra cosa que la TL de la funcin f, que se sabe que existe si
Re(s) > Re(b)

13
Mdulo II
Matemtica D y D1

Observacin

A partir del teorema anterior observamos que si L-1[F(s)] = f(t) entonces


L-1[e-as F(s)] = ua(t) f(t -a)

 Ejemplos
1- Aplicando el teorema anterior podemos calcular la TL de la funcin salto unidad pues
e st
L[ua(t)] = L[ua(t).1] = e-as L[1] =
s

2- Dadas las funciones f(t) = t , g(t) = u2(t) (t 2) y h(t) = u2(t) t , cuyos grficos se
muestran a continuacin , hallar sus TL

2 t 2 t 2 t
f(t) = t g(t) = u2(t) (t 2) h(t) = u2(t)t

1
Ya sabemos que L[f(t)] = ,
s2

e 2 s
para calcular L[g(t)] aplicamos el teorema anterior y concluimos que L[g(t)] = ,
s2
para calcular L[h(t)] debemos llevarla a la forma u2(t) f(t -2) y en este caso consideramos que
h(t) = u2(t) t = u2(t) [(t -2) + 2] = u2(t) (t-2) + 2 u2(t) y entonces ahora podemos aplicar el
teorema anterior y concluir que:
e 2s 2e s
L[h(t )] = L[u 2 (t )(t 2)] + 2 L[u 2 (t )] = 2 +
s s

 Ejercicios
9- Calcular

a) L[t e4t] b) L[sen(8t) e-2t] c) L[(t - 7) sh(3t) ]

3 1 s+2
d) L1 4
e) L1 2 f) L1
(s 2) s 6s + 10 (s 3) + 4
2

14
Mdulo II
Matemtica D y D1

10- Calcular las TL o las antitransformadas que se piden a continuacin y graficar todas las
funciones de t que intervienen en este ejercicio

a) L[cos(t - 2) u2(t)] b) L[sen t u(t)] c) L[t2 u3(t) - u1(t) ]

e 2 s e s s e s
d) L1 4
e) L1 2 f) L1
(s 2) s 6s (s 1) + 4
2

Funciones definidas por tramos


Sean a y b dos nmeros reales positivos y a < b . Observando los grficos siguientes

1 1 1

a t a b t a b t

ua(t) ub(t) ua(t) - ub(t)

1 si a < t < b
podemos concluir fcilmente que ua(t) - ub(t) =
0 si t < a t > b

Esta observacin permite expresar funciones definidas por tramos como se muestra a
continuacin

 Ejemplos

t 2 si 1 < t < 3
1- Expresar la siguiente funcin g(t)= en trminos de la funcin salto y
0 si t < 1 t > 3
calcular su TL

1 si 1 < t < 3
Teniendo en cuenta que u 1 (t ) u 3 (t ) =
0 si t < 1 t > 3
podemos afirmar que la funcin dada puede escribirse como:

g(t) = [u1(t) - u3(t)] t2 = u1(t) t2 - u3(t) t2


por lo tanto
L[g(t)] = L[u1(t) t2 ] - L[u3(t) t2]
y para poder usar el teorema de traslacin, expresamos la funcin t2 en trminos de (t - 1) y
t -3 , esto se logra recordando que si f(t) es un polinomio de grado n entonces puede

15
Mdulo II
Matemtica D y D1

escribirse alrededor de un punto t0 de la manera que se indica a continuacin y que recibe el


nombre de polinomio de Taylor:

(n )
f (t ) = f (t 0 ) +
f ' (t 0 )
(t t 0 ) + f ' ' (t 0 ) (t t 0 )2 + .... + f (t 0 ) (t t 0 )n .
1! 2! n!

en el caso que nos interesa dichos desarrollos resultan ser:

t2 = (t - 1)2 + 2 (t - 1) +1 t2 = (t - 3)2 + 6 (t - 3) +9
por lo tanto

L[g(t)] = L[u1(t) { (t - 1)2 + 2 (t - 1) +1}] - L[u3(t) {(t - 3)2 + 6 (t - 3) +9}] =

= e-s L[t2 + 2t +1}] - e-3s L[t2 + 6t +9}] =


2 2 1 2 6 9
= e s 3 + 2 + e 3 s 3 + 2 +
s s s s s s

 Ejercicios

11- Resolver y graficar la solucin de las siguientes ecuaciones diferenciales

0 si 0 t < 1
a) y + y = f(t) , donde f (t ) = , y(0) = 0
5 si t > 1
t si 0 t < 2
b) y + 2y = f(t) , donde f (t ) = , y(0) = 0
0 si t > 2
c) y + y = sen t . u(t - 2) , y(0) = 1 , y(0) = 0
d) y 4y + 3y = 1 u(t 2) u(t 4) + u(t 6) , y(0) = y(0) = 0

Transformada de Laplace de funciones peridicas


Si queremos calcular la TL de la funcin diente de sierra
cuya grfica se muestra a la derecha, comenzamos 2
observando que: f(t) = t si 0 < t < 2
f(t) = t - 2 si 2 < t < 4 t
0 2 4 6
f(t) = t - 4 si 4 < t < 6
y en general f(t) = t 2n si 2n < t < 2n + 2

Como la funcin es seccionalmente continua en todo intervalo finito y, por mantenerse acotada,
es de orden exponencial, su TL debe existir. Para hallarla planteamos su calculo usando la
definicin y detallamos los pasos

16
Mdulo II
Matemtica D y D1

2 4 2n + 2
L[f(t)] = e st f (t )dt = e st t dt + e st (t 2)dt + .... + e st (t 2n )dt + ...... =
0 0 2 2n
2n + 2
= e st (t 2n )dt = (hacemos la sustitucin w = t 2n , du = dt y tenemos en
2n
n=0

cuenta que si t = 2n w = 0 , si t = 2n + 2 w = 2 )

=
2
e s( w + 2n ) w dw = (como e-s2n no depende de w , sale fuera de la integral)
0
n=0

= e s 2n e sw w dw = ( como la integral no depende de n, sale fuera de la sumatoria)
2

0
n=0

= e sw w dw e s 2n = (esta serie es geomtrica de razn r = e-2s , y si exigimos que
2

0 n =0
Re(s) > 0 , entonces r < 1 y por lo tanto la serie converge)
2
sw

= e
2
sw
w dw
1
=
e
0
w dw
0 1 e 2s 1 e 2s

integrando por partes la ultima integral se obtiene que

1 e 2s ( 2s + 1)
L[f(t)] = , si Re(s) > 0
s 2 (1 e 2s )

Actividad 5:
Si f(t) es una funcin seccionalmente continua en el intervalo (0,P) y es peridica de
P
e su f (u ) du
0
perodo P, demostrar que L[f (t)] = para Re(s) > 0 , tener en cuenta el
1 e Ps
grfico siguiente y los pasos seguidos en el ejemplo anterior

y=g(t) Si f(t) = g(t) para 0 < t < P,


entonces
f(t) = g(t - P) para P < t < 2P,
f(t) = g(t - 2P) para 2P < t < 3P,
P 2P 3P .........
f(t) = g(t - nP) para nP < t < (n+1)P

 Ejercicios
12- Hallar la TL de las siguientes funciones peridicas y graficarlas

17
Mdulo II
Matemtica D y D1

a) f(t) = 1- t . 0 < t < 2 , f(t + 2 ) = f(t)

0 si 0<t <1
b) f(t) = , f(t + 4 ) = f(t)
3 si 1< t < 4

Convolucin
Dadas dos funciones reales f(t) y g(t) definidas en toda la recta, se denomina convolucin de f y
g y se la indica f(t) g(t) , a la siguiente integral :


h(t) = f(t) g(t) = f( )g(t - ) d
-

Actividad 6

a) Demostrar que la convolucin es conmutativa: f(t) g(t) = g(t) f(t) (hacer el


cambio de variable w = t -
b) Si f(t) y g(t) son iguales a cero para t < 0 demostrar que
t
f(t) g(t) = f( )g(t - ) d
0

Teorema de convolucin
Si L[f(t)] = F(s) y L[g(t)] = G(s) para Re s > k entonces:

L[f (t ) g(t )] = L f( )g(t - ) d = L[f (t )].L[g(t )] = F(s ).G(s ) para Re s > k


t

Demostracin

Para demostrarlo usamos la definicin de TL



L f( )g(t - ) d = e st f( )g(t - ) d dt =
t t
e st f ( )g(t ) d dt = (1)
0 0 0

R
t=

observar que en el ltimo paso se ha reemplazado la integral iterada sobre la
regin de la derecha por una integral doble sobre la regin R

Si hacemos el cambio de variable


t
u = t regin R
(t y variables viejas, u y v variables nuevas)
v =

18
Mdulo II
Matemtica D y D1

= v
cuya inversa es (variables viejas en funcin de las variables nuevas)
t = u + v

y recordando que cuando se hace un cambio de variable en una integral doble hay que:

 hallar el jacobiano, que es el mdulo del determinante de la matriz

u v 0 1
=
t u t u 1 1

que en este caso vale |-1| = 1 (observar que en el jacobiano intervienen las derivadas de las
variables viejas respecto de las nuevas)

 hallar el nuevo recinto de integracin, al que denominamos R*, para ello buscamos la imagen
de sus fronteras:
como t entonces v u + v , de donde u 0 ,
como 0 , entonces v 0

t=
v

t u
regin R regin R*

Por lo tanto

e -s(u+ v) f( v ) g(u ) 1 du dv = (observar que el 1 es el jacobiano)
(1) = 0 0

e -su e -sv f( v ) g(u ) 1 du dv = (e-sv f(v) no dependen de u , salen fuera de la integral)
= 0 0

= e sv f ( v ) e -su g(u ) du dv = ( el corchete no depende de v, sale fuera de la integral de u)
0 0

= e -su g(u ) du e sv f ( v ) dv = (resulta ser el producto de las TL de g y f , que sabemos
0 0

existen para Re (s) > k )

= L[g(u)] .L[f(v)] = G(s) . F(s) , que es lo que queramos demostrar.

19
Mdulo II
Matemtica D y D1

Observacin

A partir del teorema anterior observamos que si f(t) = L-1[F(s)] y g(t) = L-1[G(s)] entonces

f()g(t - ) d = f (t ) g(t ) = L [F(s)] L [G(s)] , por lo tanto


t
1 1
L-1[F(s).G(s)] =
0

L-1[F(s).G(s)] = L1 [F(s )] L1 [G(s )]

Actividad 7

F( s )
Si L[f(t)]= F(s) para Re(s) > k , demostrar que L f( )d =
t

0 s

 Ejemplos

1- Calcular la TL de L sen e - t d
t

0
Observar que en este caso la integral es el producto de una funcin de por una funcin de ( - t),
y para aplicar el teorema de convolucin necesitamos tener el producto de una funcin de por
una funcin de (t- ), por ello reescribimos la integral como se muestra a continuacin y
aplicando el teorema mencionado se obtiene inmediatamente su TL

0 0
t
[

] [ ] (
L sen e - t d = L sen e ( t ) d = L sen t e t = L[sen t ].L e t = 2
t 1
)
s + 1 (s + 1)

2- Mostramos cmo se puede antitransformar un producto usando convolucin:

s s 1 1 s 1 1
L1 2 2
= L1 2 =L 2 L 2 =
(s + 4) (s + 4) (s + 4) (s + 4) (s + 4)
2

cos(2) sen[2(t - )] d
t
= cos(2t) 1/2 sen(2t) = 1/2 y resolviendo esta integral (hacerla!)
0
se obtiene la antitransformada pedida.

t
3- Hallar el valor de f(t) que verifica la ecuacin f( ) e 4(t- ) d + f (t ) = 2
0

Observamos que la funcin desconocida se encuentra bajo un signo integral , por ello se la
denomina ecuacin integral

Para resolverla aplicamos TL a ambos miembros y se procede como se muestra a


continuacin:

20
Mdulo II
Matemtica D y D1

L f( ) e 4(t - ) d + L[f (t )] = L[ 2]
t

0
[ ]
L[f (t )].L e 4 y + L[f (t )] =
2
s

F( s ) 2 2 (s 4) 2 8
+ F (s ) = , despejando F(s) obtenemos F(s ) = = + ,
s4 s s (s 3) s 3 s( s 3 )

por lo tanto

2 8 2 8 1 t
f(t) = L1 + = L1 + L-1 = 2e 3 t + 8 e 3 t = 2e 3t + 8 e 3 d
s 3 s( s 3 ) s 3 s (s 3) 0

2 3t 8
y resolviendo la integral se obtiene f (t ) = e + .
3 3
Se deja como ejercicio verificar que esta funcin es solucin de la ecuacin integral dada.

 Ejercicios
13- Calcular

a) L t 3 e 2(t - ) d b) L sen cos(2t - 2 ) d a) L sh( 3 ) d


t t t

0 0 0

1 1 s
d) L1 2 e) L1 4 f) L1 3
s (s + 2) s 16 (s 1) (s + 2)
2

14- Resolver las siguientes ecuaciones integrales

t t
a) f (t ) + (t ) f ( ) d = t b) f (t ) = te t + f (t ) d
0 0
t 8 t
c) f (t ) +
3 0
f ( ) d = 1 d) f (t ) = 1 + t f ( ) d
0

15- Resolver las siguientes ecuaciones integrodiferenciales , se denominan as pues la funcin


desconocida se encuentra bajo un smbolo integral pero adems aparece derivada al menos
una vez
t
a) y' (t ) = 1 sen t f ( ) d , y(0) = 0
0

b) f (t ) + [f ( z ) + 2f ' ( z )] (t z ) dz = (t 2) u 2 (t ) , f(0) = 0
t

0
t
c) 4 f ' (t) + 2 f(z) dz = 2 [1 u 2 ( t)] , f(0) = 0
0

21
Mdulo II
Matemtica D y D1

Derivada de transformadas
Ya hemos encontrado una expresin para la transformada de una derivada :
L[f(t)] = s L[f(t)] - f(0) = s F(s) - f(0)
y observamos que aparece la transformada de f(t) , es decir F(s) multiplicada por s

Nos preguntamos ahora :


Si derivamos F(s) respecto de s , ser la transformada de alguna funcin de t?

El teorema siguiente nos da la respuesta y establece que la derivada de F(s) es la transformada de


la funcin original multiplicada por -t.

Teorema de la derivada de una transformada

Si f(t) es seccionalmente continua y de orden exponenecial para t y L[f(t)] = F(s)


entonces

L[tn f(t)] = (-1)n F(n)(s) para Re(s) >

Demostracin

Aceptamos sin demostracin que


d n

ds 0 0

t f(t) e -st dt = t n f(t)
ds
[ ]
d -st
e dt para n 0

Si F(s) = 0
f(t) e -st dt entonces

F(s) =
d
ds 0
f(t) e -st
dt
0 ds
[ ]
= f(t) d e -st dt = f(t) (-t)e-st dt
0
y observando la ltima integral podemos afirmar que F(s) = L[-t f(t)]

Derivando nuevamente

F(s) =
d2
2 0
ds
f(t) e -st
dt =
0

f(t)
d 2 -st
ds 2
e dt [ ]
= 0

f(t) (-t)2 e -st dt

como la ltima integral es la TL de t2 f(t) podemos afirmar que

F(s) = L[(-t)2 f(t)] = L[t2 f(t)]

Si continuamos derivando y lo hacemos n veces se obtiene el resultado que buscamos, es decir:

F(n)(s) = L[(-t)n f(t)]

22
Mdulo II
Matemtica D y D1

Observacin

A partir del teorema anterior observamos que si f(t) = L-1[F(s)] entonces L-1[F(n)(s)] = (-t)n f(t),
por lo tanto vale la siguiente expresin
L-1[F(n)(s)] = (-t)n L-1[F(s)]

 Ejemplos
3
1- Como L[sen (3t)] = entonces
s2 + 9
d 3 6s
L[t sen(3t)] = - L[ (-t) sen (3t)] = 2 =

ds s + 9 s 2 + 9 ( )2

d 2 3 d 6s
L[t sen3t] = 2 2
2
= 2
= ...................
ds s + 9 ds s 2 + 9 ( )
(completar)

1 s 3
2 - Hallar f(t) = L ln s + 2

En este ejemplo se pretende mostrar que muchas veces es ms fcil para encontrar una
antitransformada, buscar primero la antitransformada de la derivada
1 1
Si llamamos F(s) al logaritmo del cociente entonces F' (s ) =
s3 s+2
si buscamos su antitransformada obtenemos L-1[F'(s)] = e3t - e-2t
y por el teorema anterior podemos reemplazar L-1[F'(s)] por - t f(t) , por lo tanto:

e 2 t e 3 t
3t -2t
- t f(t) = e - e y despejando encontramos que f ( t ) =
t
3- El teorema permite resolver algunas ecuaciones diferenciales con coeficientes polinomiales,
para ello vamos a mostrar como encontrar la solucin de la ecuacin
f''(t) + t f'(t) - 2 f(t) = 0 , con f(0) = 1 , f'(0) = 0

Comenzamos aplicando TL a ambos miembros:

L[f''(t)] + L[t f'(t)] - 2 L[f(t)] = 0

23
Mdulo II
Matemtica D y D1

Si F(s) = L[f(t] y teniendo en cuenta que L[t f'(t)] es igual a menos la derivada de la TL de f'(t)
entonces la expresin anterior es igual a :

[s2 F(s) - s f(0) - f'(0)] - [s F(s) - f(0)]' - 2 F(s) = 0

reemplazando f(0) = 1 , f'(0) = 0 y calculando la derivada indicada se obtiene:


[s2 F(s) - s] - [F(s) + s F'(s)] - 2 F(s) = 0
agrupando los trminos semejantes: -s F'(s) + (s2 - 3) F(s) = s

3
dividiendo por -s obtendremos : F' (s ) + s F(s ) = 1
s
esta ltima es una ecuacin diferencial lineal de primer orden que se puede resolver recordando
que la solucin general de las ecuaciones que tienen la forma F'(s) + p(s) F(s) = q(s) es

p ( s ) ds p ( s )ds ds + c
F (s ) = e q ( s )e

si aplicamos a nuestro caso:


s ds
[ ]
3 3
s s ds
e s ds + c = e 3 ln s + s / 2 e 3 ln s s / 2ds + c
2 2


F (s ) = 1e


3
recordando que e 3 ln s = e ln( s )
= s 3 , se puede calcular la expresin anterior y se obtiene:

[ ]
2 2
e s / 2 2 s 2 / 2 s 2 / 2 1 2 es / 2
F (s ) = 3 s e + 2e +c = + 3 +c 3
s s s s
la constante c deber ser igual a 0 pues si s , la expresin que la acompaa
/ s3
2
es /2

1 2
por lo tanto F(s ) = + y su antitransformada es f(t) = 1 + t2 . Dejamos como ejercicio
s s3
verificar que esta funcin es solucin de la ecuacin diferencial y verifica las condiciones
iniciales dadas.

Integral de transformadas
Sabemos que la derivada de F(s) corresponde a la la TL de la multiplicacin de -t por f(t) , nos
preguntamos si la integral de F(s) ser la TL de alguna funcin, el teorema siguiente nos
responde.

24
Mdulo II
Matemtica D y D1

g Teorema de la integral de una transformada

Si f(t) es seccionalmente continua y de orden exponenecial para t y L[f(t)] = F(s) y


f (t )
lm+ es finito entonces
t 0 t
f (t )
L s F(s*) ds * para Re(s) >
=
t
Demostracin

f (t )
Si llamamos g( t ) = entonces t g(t) = f(t) (1)
t
y llamamos G(s) = L[g(t)] , entonces tomando TL a ambos miembros de (1) obtenemos

- G'(s) = F(s) para Re(s) >


Para hallar G(s) integramos entre s e infinito , donde suponemos que Re(s) > k

G' (s*)ds* = F(s*)ds *
s s

como G(s*) es la primitiva del primer miembro y sabemos que lm G (s*) = 0 , encontramos
s *

que G (s ) = s
F(s*)ds * , que es lo que queramos demostrar.

Comentario: se pide que f(t) / t tenga un lmite finito para t 0* para asegurar que dicha funcin
es seccionalmente continua.

Observacin

A partir del teorema anterior observamos que si f(t) = L-1[F(s)] entonces


f (t )
= L1 F(s*) ds * o su equivalente
t s

L1 [F(s )]
= L 1 F(s*) ds *
t s

25
Mdulo II
Matemtica D y D1

 Ejemplos
1 et 1 1
1- Para hallar L , calculamos primero L[1 - et] = y aplicamos el
t s s1
teorema anterior


1 et 1 1 s *
ds* = [Ln s * Ln(s * 1)]s = Ln

L = s - =
t s * s * -1 s * 1 s

b s s 1
= lm Ln Ln = Ln
b
b 1 s 1 s

Se deja como ejercicio verificar que el resultado obtenido es correcto usando el teorema de la
derivada de la transformada.

1
2s
L 2 2
2- Calcular
(
s 1 )
Para hallar esta transformada puede aplicarse el T. de convolucin, pero pinta que la expresin es
la derivada de una funcin, por ello se nos ocurre integrarla, es decir
2s
G (s ) =
si llamamos
(s 2
1 ) 2 ) obtenemos
entonces integrando ambos miembros en [s,

2s * 1
s
G (s*)ds* =
s
((s*) 2
1 )2
ds* =
s2 1
( hacer la sustitucin u = (s*)2 - 1 )

1
L1 G (s*)ds * = L1 2 = sh t
s
antitransformando ambos miembros obtenemos
s 1
como sabemos antitransformar la integral por el teorema anterior , obtenemos
L1 [G (s )]
= sh t , por lo tanto L-1[G(s)] = t sh t , que es lo que buscbamos.
t

 Ejercicios
16- Calcular la TL de las siguientes funciones

a) f(t) = t e2t cos(3t) b) g(t) = t e-t sen2 t

26
Mdulo II
Matemtica D y D1

17- Calcular la antitransformada de las siguientes funciones

3 1
a) F(s ) = arctg b) G(s ) = Ln 1 + 1
s + 2 s

18- Hallar la solucin de las siguientes ecuaciones diferenciales

a) t f''(t) - t f'(t) - 3 f(t) = 0 , con f(0) = 0 , f'(0) = 1


b) t f''(t) - t f'(t) + 2 f(t) = 0 , con f(0) = 0 , f'(0) = -1
c) t f''(t) - t f'(t) + 2 f(t) = 3t , con f(0) = 0 , f'(0) = -1
d) t f''(t) - (t +1)f'(t) + 2 f(t) = 2 , con f(0) = 1 , f'(0) = 0

Resolucin de sistemas de ecuaciones diferenciales

A modo de ejemplo proponemos hallar la solucin x(t) e y(t) del siguiente sistema de ecuaciones
diferenciales lineales con las condiciones iniciales indicadas

x' ' (t ) 2y (t ) = 4t
x(0) = 0 , x'(0) = 0 , y(0) = 1
x' (t ) + y' (t ) = 2 + 2t

L[x' ' (t )] 2L[y (t )] = L[ 4t ]



L[x' (t )] + L[y' (t )] = L[2 + 2t ]
aplicamos TL a ambas ecuaciones

si L[x(t)] = X(s) y L[y(t)] = Y(s) entonces el sistema puede escribirse de la siguiente manera
s 2 X(s ) sx(0) x' (0) 2Y(s ) = 4 / s 2

[sX(s ) x(0)] + [sY(s ) y (0)] = 2 / s + 2 / s
2

reemplazando los valores iniciales el sistema toma la forma

s 2 X(s ) 2Y(s ) = 4 / s 2

sX(s ) + sY(s ) 1 = 2 / s + 2 / s
2

o su equivalente
s 2 X(s ) 2Y(s ) = 4 / s 2

sX(s ) + sY(s ) = 1 + 2 / s + 2 / s
2

2 2+s
despejando la incgnitas X(s) e Y(s) obtenemos X(s ) = 3 , Y(s ) =
s s2

27
Mdulo II
Matemtica D y D1

y antitransformando estas expresiones se obtiene x(t) = t2 , y(t) = 2t + 1 que son las soluciones
del sistema propuesto como se puede verificar.

 Ejercicios
19- Resolver los siguientes sistemas

x' (t ) = 2x(t ) 5y (t )
a) , x(0) = 2 , y(0) = 3
y' (t ) = 4x(t ) 2y (t )

x' (t ) + y (t ) = 2e t
b) , x(0) = 2, y(0) = 1
y' (t ) x(t ) = 0

t
0 x( )d = y (t )
c) t
0 y ( )d = x(t ) t 1

z'' (t ) = x(t ) + y' (t )



d) 2y ( t ) = z' ( t ) + x' ( t ) x(0) =1, y(0) = 0, z(0) = 0, z'(0) = 0
x' (t ) = 2y' (t ) z' ' (t )

1
Transformada de Laplace de f (t ) =
t

Luego del teorema de existencia dijimos que existen funciones que no son seccionalmente
1
continuas y sin embargo existe su TL, y aseguramos en ese momento que la funcin f (t ) = ,
t
que no es seccionalmente continua en t = 0, admite TL, veamos ahora como puede demostrarse
dicha afirmacin.

1 1
Usamos la definicin de TL: L = e st dt = (haciendo la sustitucin t = u2 , dt = 2u du )
t 0
t
1
= e su 2u du = 2 e su du = e su du = (1) (por ser e su una funcin par)
2 2 2 2

0 u 0

La funcin e su no tiene primitiva conocida pero puede conocerse su valor razonando como se
2

muestra a continuacin:

28
Mdulo II
Matemtica D y D1

-s(x 2 + y 2 )
Calculamos usando coordenadas polares la integral doble e
R
dx dy , con R: x2 + y2 a2

e -sr 2 r dr d = 1 e
sa 2
2 a
- s(x 2 + y 2 )
e dx dy =
0
s
0
R

Hacemos tender el radio a a infinito, es decir calculamos la integral doble sobre todo el plano:

1 e sa
2

s(x 2 + y 2 )
lm e dx dy = lm = si Re(s) > 0
a a
R s s

pero por otro lado


2
sx 2 sx 2 -sy 2 sx 2
lm e s(x 2 + y 2 )
dx dy = e sy 2
e dx dy = e dx . e dy = e dx
a
R -

como los primeros miembros de las dos expresiones anteriores son iguales, necesariamente deben

ser iguales los segundo miembros , por lo tanto e -sx dx =
2

1
y reemplazando en (1) obtenemos que L =
t s

Funcin gamma

( x) = t x 1 e t dt , con x > 0
0

Actividad

a) Justificar que (1) = 1 e integrar por partes para mostrar que (x + 1) = x (x) para x > 0 y
deducir que (2) = 1! , (3) = 2! , (4) = 3! , (5) = 4! , ....... , (n+1) = n! , por esto a la
funcin gamma se la suele denominar funcin factorial.
b) Calcular (1/2) (operar en forma similar al clculo de L[t-1/2] desarrollado en el punto anterior)
y deducir (3/2) , (5/2) ( usar la parte b))
(k + 1) (k + 1)
c) Justificar que t k e st dt = k +1
y deducir que L[tk] = para Re(s) > 0
0 s s k +1

29
Mdulo II
Matemtica D y D1

Frmula de inversin compleja



Consideremos la TL de una funcin f(t) : F(s ) = f (u) e su du y supongamos que existe para
0

Re(s) > , (la variable de integracin es muda y en este caso usamos u para comodidad en lo que sigue).
Si hacemos el cambio de variable u = 2t , du = 2 dt y si consideramos s = s1 + i s2 ,

entonces la integral anterior toma la forma: F(s ) = 2 f ( 2t ) e s1 2 t e -i s 2 2 t dt , para s1 > .
0

0 si t < 0
Si definimos g(t) = -s1 2 t
entonces F(s ) = g(t ) e -i s 2 2 t dt
2 f(2t) e si t > 0

Esta ltima integral tiene la forma de la transformada de Fourier de g(t) , como en g(t) interviene
s1 , lo tomamos como constante con la condicin que s1 > . Si suponemos que g(t) y g'(t) son
seccionalmente continuas en todo intervalo finito del eje real y g(t) es absolutamente integrable,

es decir

g(t ) dt < , entonces se cumplen las condiciones suficientes para la existencia de la

integral de Fourier, por lo tanto: g(t) = lm F(s 1 + is 2 ) e i s 2 2 t ds 2 , con s1 constante y s1>

reemplazando g(t) por la expresin que la define y tomando t > 0 , obtenemos:



2 f ( 2t )e s1 2 t = lm F(s 1 + is 2 ) e i s 2 2 t ds 2

e s1 2 t
t) multiplicando ambos miembros por
despejamos f(2 y como s1 es constante podemos
2
introducirla en la integral obteniendo:
1
F(s 1 + is 2 ) e (s1 + i s 2 )2 t ds 2
2
f ( 2t ) = lm

para poder expresar esta integral en funcin de s, debemos tener en cuenta que s = s1+ i s2 y como
s1 es constante la reemplazamos por una constante a entonces ds = d(a + i s2) = i ds2 , como
sabemos que la variable s2 vara desde - a , entonces los lmites de s son desde a -i hasta
entonces la expresin anterior puede escribirse:
a +i
1 a + i
F(s) e s2 t ds , para t > 0
2i a i
f ( 2t ) = lm

en ambos miembros obtenemos:


y cambiando t por t/2
1 a + i
2 i a i
f (t ) = lm F(s) e st ds

que se denomina integral de inversin compleja o integral de Bromwich. Observar que la


curva sobre la que se integra es una recta vertical de ecuacin Re(s) = a , con a >

30
Mdulo II
Matemtica D y D1

Antitranformada de Laplace usando teora de residuos

Si F(s) es analtica salvo en un nmero finito de polos z1 , z2 , ..., zN que z1


se encuentran a la izquierda de una recta vertical de ecuacin Re(s) = a
pretendemos calcular L-1[F(s)] = f(t) usando la integral de Bromwich. z2 a s1

Como en dicha frmula no se integra sobre una curva cerrada, en zN


principio no podemos aplicar el teorema de los residuos, sin embargo si
se considera una curva cerrada C = C1 C2 (ver grfico) con:
C
B
C1 : el segmento de extremos A = a - i y B = a + i y
C2 : el trozo de circunferencia centrada en el origen de radio s1

T= a 2 + 2 desde B hasta A D
s2 a s1
y se considera un lo suficientemente grande para que dicha curva
encierre todos los polos de F(s) entonces se puede aplicar el teorema sN
A
de los residuos E
N

F(s) e st ds = 2i Re s(F(s )e st , z k )
C
k =1

como C = C1 C2 entonces podemos escribir


N

F(s) e st ds + F(s) e st ds = 2i Re s(F(s )e st , z k )


C1 C2
k =1

i y tomando lmite para obtenemos (observar que el


dividiendo ambos miembros por 2
segundo miembro no depende de )
N
1 a + i 1
2i a i
lm F(s) e st
ds +
2i C 2
lm F(s) e st
ds = Re s(F(s )e at , z k )
1444 424444 3 144424443 k =1
lm ite I lm ite II

sabemos que el lmite I es igual a f(t), por ser la integral de Bromwich , si el lmite II fuera igual
a cero, entonces
N
f (t ) + 0 = f (t ) = Re s(F(s )e at , z k )
k =1

y entonces podemos afirmar que la antitransformada de F(s) es la suma de los residuos en los
polos de F(s) est.

El siguiente teorema asegura bajo qu condiciones el lmite II es igual a cero.

31
Mdulo II
Matemtica D y D1

Teorema:
Si F(s) es analtica salvo en un nmero finito de polos z1 , z2 , ..., zN que se encuentran a la
izquierda de una recta vertical de ecuacin Re(s) = a y se sabe que existen tres constantes
1
2i C 2
positivas M, c y b tal que |s |c |F(s)| < M para |s| b entonces lm F(s) e st ds = 0 ,
siendo C2 un trozo de circunferencia como se ha definido en la discusin anterior.

Observacin

L1 [F(s )] = f (t ) = Re s(Fe st , z k )
N
Si F(s) verifica las hiptesis del teorema anterior entonces
k =1

Actividad
1
1- Dada F(s ) = ,
s (s + 3)
2

a) Si se toma |s| 4 , justificar la siguiente desigualdad


1 1 1 4
| F(s ) |= 2 =
s (s + 3 ) 3 3 | s |3
| s |3 1 + | s |3 1
s s

b) Justificar que

L1 [F(s )] = L1 2
1
[ ] [ ]
= Re s F(s ) e ,0 + Re s F(s )e ,3 , calcular los
st st

s (s + 3 )
residuos indicados y luego verificar el resultado usando convolucin.

32
Mdulo II