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. Ejemplo 6.3.1 Mostrar que no existe la TL de la funcin f .t/ D e t para ningn valor de s.
2

L et 2 D

0

em M at
1

at
1

1. Primero veremos que la integral siguiente diverge:

ww

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

w.

1 1

e v dv
1

ic
e v dv:
2

2. Si s > 0,
1

L et 2 D

0 1

e e
0

st t 2 s 2

a1
e
1

st t 2

e dt:

e v dv D 1:

.c om
1

Por la denicin de la TL, se tiene:

e dt D
0 2

et dt D

st

dt D
0 1

et
2

st C

s2 4

s2 4

dt D

s2 4

1
s2 e4 0

s 2

dt:

Si usamos v D t

s=2, 1
s2 1 s=2 1 0

L et 2 D

e v dv D e
2

1
s2 4 1
2

1 s=2

e v dv C
1

e v dv
1 1

e4 1
s2 e4

e v dv C
1

e v dv

1
s2 e4

e v dv

1
s2 e4 1

e v dv D 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 innito. La funcin e t 2 st domina a e st para cualquier valor de s, de modo que e t ser positiva y creciente cuando t ! 1. Por Z ello la integral
1 1

et

st

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

2

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 nito.

Ejemplo 6.3.2 Mostrar que la funcin f .t/ D

Usando la denicin de la TL:

1

at em

at
B st st

ic
Lf f .t/g D
0 B

a1
2

ke t ; 10M ;

si t < B si t B

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

e e

f .t/ dt D

ke t dt C
B R

.c om
e
st

st

.10M / dt D

Dk Dk

st Ct 2

dt C 10M

ww

w.

R!1

et

st

dt C 10M lm 1 se sR C
s2 4 0 s2 4 0

R!1 sB

lm e

dt D sR e sB D C s s
B B

D 10M lm 10M e D s 10M e D s

R!1 sB

s
B

Ck
0

et

st

s2 4

s2 4

dt D

C ke
sB

e
B

s2 t 2 st C 4 t s 2 2

dt D

C ke

dt:

El valor obtenido as ser nito y bien denido, 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

dt
0

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

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

Ejemplo 6.3.3 Mostrar que la funcin f .t/ D

tan t; 0;

si 0 t < si t e 2
st

no tiene TL.

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

0t 2 1 st 2 0 st

D mn

1; e

e
0

f .t/ dt D

tan t dt
0

m.s/ tan t dt D
R

D m.s/
0

tan t dt D m.s/ lm
R! 2 0

tan t dt D

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

ln.sec 0/ D C1: .

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

Teorema 6.1 Condiciones sucientes para la existencia de la transformada de Laplace Sea f una funcin que cumple las siguientes condiciones:

2. Es de orden exponencial para t

M , es decir,

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

at e

1. Es seccionalmente continua sobre el intervalo t A para cualquier A > 0, esto es, posee a lo ms un nmero nito de discontinuidades de salto en dicho intervalo.

at ic

M dondeK; a & M son constantes.

a1 .c

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.

om

(6.1)

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 grca ilustra las dos condiciones anteriores.
f .t / Ke at

ww w.

j f .t / j Ke at ,

Ke at f .t / Ke at

Ke at

Unicidad de la TL
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
1

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

e
0

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:

f .t/

! F .s/

at ic
& g.t/

Teorema 6.2 de Lerch sobre Unicidad Sean f & g dos funciones seccionalmente continuas de orden exponencial con ! G.s/: g.t/ es una funcin nula,

a 0

at

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 f .t/ g.t/ dt D 0 para todo a > 0I

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 nita 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; t; 0; si t 0I si t D 0I si t no es entero; si t D 0; 1; 2; 3; 1 . s2

3. f3 .t/ D

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

ww

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

w.

em

a1

.c

om

Las grcas de estas funciones se presentan a continuacin

y y y

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

b. g.t/ D .t/ D c. h.t/ D cot t. t csc t; d. .t/ D e t 1 ; e. f. .t/ D te; 2 et ;

1 t 1 e u du. 0 u

si t > si t 1I si t > 1:

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

.t /
)0 (

ww w.

at

em

si 0 t

at

ic a

a. f .t/ D e 2t cos 3t.

1.c

1. Cules de las siguientes funciones cumplen las condiciones sucientes para la existencia de la TL?

1 1
 

2. Suponga que dos funciones f & g cumplen que f .t/ F .s/ D e

s

! F .s/ & g.t/ e

s

s2 C 4

; con s > 0I

G.s/ D

Qu se puede concluir acerca de f & g?

$%

"

om

! G.s/, donde:

s2 C 4

; con s > 2:

&'





y D f1 .t /


y D f2 .t /


y D f3 .t /

 

Ejercicios 6.3.1 Existencia de la TL. Pgina 5

at e

1.

a. b. c. d.

S; no; no; s;

ic a1

.c om

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

ww

w.

at