CAPTULO

6
La transformada de Laplace

6.3 Existencia de TL
Los resultados encontrados en las secciones anteriores nos podran hacer pensar que bastar cuidar el rango
de la variable s para asegurar la existencia de la TL de una funcin; sin embargo, para algunas funciones
ste no es el caso. Consideremos el siguiente ejemplo para ilustrar esa posibilidad.
2

Ejemplo 6.3.1 Mostrar que no existe la TL de la funcin f .t/ D e t para ningn valor de s.
H

Por la definicin de la TL, se tiene:

1

L et 2 D

st t 2

e dt:

1. Primero veremos que la integral siguiente diverge:

1

e v dv:
1
2

En efecto, puesto que e v > e v en .1; 1/, entonces:

1

e v dv

e v dv D 1:

2. Si s > 0,
1

L et 2 D

st t 2

1
st

dt D

0
1

et

e dt D

s
2

s2
4

et

st C

dt D

1. canek.azc.uam.mx: 24/ 9/ 2010

1
s2
e4

e
0

s
2

dt:

s2
4

s2
4

dt D

Ecuaciones diferenciales
Si usamos v D t

s=2,
1

L et 2 D

1
s=2

e4
1
s2
e4

e v dv D

s2

4
1

1
1

e v dv C

e v dv

s=2

e v dv C

s2

e v dv

s2
e4

e v dv

s2
e4

e v dv D 1:
1

El ejemplo anterior muestra que la TL de f .t/ D e t no existe por el gran crecimiento que tiene esta funcin
2
cuando t ! 1, comparado con el decrecimiento de e st en la misma situacin al infinito. La funcin e t
2
domina a e st para
cualquier valor de s, de modo que e t st ser positiva y creciente cuando t ! 1. Por
Z
ello la integral

et

st

dt diverge. Es importante recalcar que el gran crecimiento de e t cuando t ! 1

es la causa de la divergencia y no la funcin en un intervalo limitado. El siguiente ejemplo muestra que e t

puede tener TL, si se restringe a un intervalo finito.

ke t ;
10M ;

Ejemplo 6.3.2 Mostrar que la funcin f .t/ D

si t < B
si t B

s tiene TL, donde k, M & B son constantes.

Usando la definicin de la TL:

1

Lf f .t/g D

B
st

f .t/ dt D

st

ke t dt C

0
B

st Ct 2

st

.10M / dt D

B
R

lm
e st dt D
R!1 B
0

B
2
e sB
e sR
Dk
e t st dt C 10M lm
D
C
R!1
0
s
s

B
s2
2
e sB
1
D 10M lm
Ck
e t st e 4 e
C
R!1 se sR
s
0

Dk

10M e
D
s
M
10 e
D
s

dt C 10M

sB

C ke

s2
t 2 st C 4

s2
4

s2
4

dt D

dt D

0
sB

C ke

s2
4

s
2

dt:

El valor obtenido as ser finito y bien definido, sin importar cun grandes puedan ser M , B o k, para
cualquier s > 0. La ltima integral, si bien no puede calcularse mediante funciones elementales, se puede
s 2
acotar: si m.s/ D mx t
para 0 t B, entonces:
2
B

e
0

s
2

e m.s/ dt D e m.s/ B:

dt
0

De este modo, la TL de esta funcin existe para cualquier s > 0.

6.3 Existencia de TL

Ejemplo 6.3.3 Mostrar que la funcin f .t/ D

tan t;

si 0 t <
si t

0;

Hagamos una estimacin de la TL. Sea m.s/ D mn

no tiene TL.

2
e

st

D mn

1; e

0t 2
1

st

f .t/ dt D

st

tan t dt

m.s/ tan t dt D

0
2

D m.s/

tan t dt D m.s/ lm

R!

D m.s/ lm ln.sec R/
R!

tan t dt D
0

ln.sec 0/ D C1:

Recuerde que la funcin tan t tiene una asntota vertical en t D

Los ejemplos anteriores nos llevan al cuestionamiento de las condiciones que podran garantizar la existencia de la TL de una funcin. Un resultado en este sentido es el que se enuncia en el siguiente teorema cuya
demostracin omitimos.
Teorema 6.1 Condiciones suficientes para la existencia de la transformada de Laplace
Sea f una funcin que cumple las siguientes condiciones:
1. Es seccionalmente continua sobre el intervalo t A para cualquier A > 0, esto es, posee a lo ms un nmero
finito de discontinuidades de salto en dicho intervalo.
2. Es de orden exponencial para t

M , es decir,

j f .t/ j Ke at para t

M dondeK; a & M son constantes.

(6.1)

Entonces Lf f .t/g D F .s/ existe para s > a.

Funciones f .t/ que satisfacen a las condiciones del teorema anterior se denominan funciones seccionalmente
continuas de orden exponencial.
El orden exponencial que se exige a la funcin slo se requiere a partir de t M ; puede suceder que en el
intervalo t < M no se cumpla la desigualdad (6.1) para algunas t < M , sin embargo, esto no es importante
pues no afecta la existencia de Lf f .t/g.
La siguiente grfica ilustra las dos condiciones anteriores.
f .t /
Ke at

Ke at
j f .t / j Ke at ,

Ke at f .t / Ke at

Ecuaciones diferenciales

Unicidad de la TL
1

Hemos escrito anteriormente f .t/ ! F .s/ para indicar que Lf f .t/g D F .s/ y tambin L f F .s/g D f .t/.
Esta prctica se apoya en la presuncin de que la TL de funciones distintas debe dar como resultado funciones tambin diferentes.
Si dos funciones f .t/ y g.t/ tienen la misma TL, es decir, cumplen

Lf f .t/g D Lf g.t/g;
tenemos, por la linealidad de la TL, que:

Lf f .t/ g.t/g D 0:
Es decir, para que las funciones f .t/ y g.t/ tengan la misma TL se debe cumplir:
1

st

f .t/

g.t/ dt D 0:

Dado que la funcin exponencial siempre es positiva, esta integral nos indica que f .t/ y g.t/ son esencialmente iguales. Un anlisis ms preciso de este concepto nos lleva al siguiente resultado:

Teorema 6.2 de Lerch sobre Unicidad

Sean f & g dos funciones seccionalmente continuas de orden exponencial con
f .t/

! F .s/

&

g.t/

! G.s/:

Supngase que existe s0 2 R tal que las F .s/ D G.s/ para todo s > s0 . Entonces, f .t/
en el sentido de que

g.t/ es una funcin nula,

f .t/

g.t/ dt D 0

para todo a > 0I

en particular en los puntos de continuidad de ambas funciones se tiene f .t/ D g.t/.

La conclusin del teorema sobre la igualdad de f & g se enuncia a menudo diciendo que f & g son iguales
para casi todo t; esto es, para todo t, excepto posiblemente en los puntos de discontinuidad, que son una
cantidad finita o numerable. El teorema de Lerch asegura que dos funciones que tengan la misma TL son
1
esencialmente iguales. De esta forma, tiene sentido hablar de la transformada inversa L de una funcin,
teniendo en cuenta que hay una unicidad esencial.
Ejemplo 6.3.4 Observe que las funciones
1. f1 .t/ D t;
2. f2 .t/ D

t;
1;

si t 0I
si t D 0I

3. f3 .t/ D

t;
0;

si t no es entero;
si t D 0; 1; 2; 3;

tienen todas la misma TL, a saber F .s/ D

1
.
s2

6.3 Existencia de TL
H

Las grficas de estas funciones se presentan a continuacin

y

y D f1 .t /

y D f2 .t /

y D f3 .t /

Ejercicios 6.3.1 Existencia de la TL. Soluciones en la pgina 6

1. Cules de las siguientes funciones cumplen las condiciones suficientes para la existencia de la TL?
a. f .t/ D e 2t cos 3t.
b. g.t/ D .t/ D
c. h.t/ D cot t.

t csc t;
d. .t/ D
e t 1 ;
te;
2
et ;

1 t 1
e u du.
0 u

si 0 t
si t >

si t 1I
si t > 1:

e.

.t/ D

f.

.t/ D btc. Mximo entero menor o igual a t.

.t /

e
s2

! F .s/ & g.t/

C4

; con s > 0I

Qu se puede concluir acerca de f & g?

2. Suponga que dos funciones f & g cumplen que f .t/

F .s/ D

G.s/ D

e
s2

! G.s/, donde:

C4

; con s > 2:

Ecuaciones diferenciales

Ejercicios 6.3.1 Existencia de la TL. Pgina 5

1.

a.
b.
c.
d.

S;
no;
no;
s;

e. no;
f. s.
2. f .t / y g.t / son iguales casi dondequiera.