MAT 521218:

Introduccin a las Ecuaciones Diferenciales Ordianrias

Transformada de Laplace y EDO de coecientes constantes

L(f )(s) = F (s) = f (t)estdt 0

4 de junio de 2003

Existencia de la Transformada de Laplace Espacios funcionales:

Espacio de funciones continuas por tramos. La funcin:
f : Dom(f ) [0, [ R

pertenece a SC([0, [) si y slo si,

dom(f ) = [x1 , x2 [[x2 , x3 [ [xn1 , xn [ f|[xi ,xi+1 [ continuas i = 1, ..., n 1 i = 0, ..., n 1

l + f (t), l f (t) existen m m

txi txi+1

Espacio de funciones continuas por tramos de orden exponencial

E([0, [) = {f SC(R) : > 0, l et f (t) = 0} m
t+

Teorema Fundamental:
Si f E([0, [) entonces L(f )(s) = F (s) existe para todo s > . 2

La Transformada de Laplace en Accin

L

Plano t

Plano s

f (t)

F (s) F (s) + G(s) s F (s) f (0+) (s + ) F (s) f (0+)

f (t) + g(t) f (t)

f (t) + f (t) f (t)

t a f (u)du

s2 F (s) sf (0+) f (0+)

1 s a F (s) 0 f (u)du 1 s F (a) a

f (at) tf (t)

F (s)

Nota: Todas estas propiedades son una simple aplicacin del teorema de integracin por partes y de cambio de variable del Clculo Integral, en el espacio de funciones E([0, [), si no involucramos derivadas de
f , y en E([0, [) C([0, [), si involucramos a f (n) , etc.

Ventajas
Transforma PVI en un Problema Algebraico

(D 2 + 2)y = h(t) t0 y(0) = y0 y (0) = y1

(s2 + 2)Y (s) = H(s) + sy0 + y1

El trmino h(t) no requiere ser continuo, puede ser un Delta de Dirac o en general una funcin de Heaviside. Estas, permiten modelar la fuerza externa o perturbacin de un fenmeno fsico, la cual corresponde a un cambio repentino e instantneo, como un golpe seco de un martillo a la masa de un sistema masa resorte, o el cortocircuito en red elctrica , o bien, la presencia de fuerzas que actan en intervalos nitos de tiempo

Proceso de inversin de L
El proceso de inversin de la Transformada de Laplace, requiere:

Conocer tcnicas de localizacin de races de polinomios;

Desarrollar la descomposicin de funciones racionales en fracciones parciales Recordar pares de trasformadas: (f (t), F (s)), pues la transformada de Laplace no es inyectiva: Si f, g E([0, [):
L[f ](s) = L[g](s), s > s0
t 0

f (u)du =

t 0

g(u)du

Consecuencia:

Como el operador diferencial es de coecientes constante, esto implica conocer previamente las transformadas de:
cos(x), sen(x), ex , ex cos(x), ....

Clculo de la Transformada de Laplace: Teoremas de Traslacin Teorema 1 Sea R y f E([0, [), entonces:
L[etf (t)](s) = L[f (t)](s ) = F (s ) et L1[F (s)](t) et f (t)

L1[F (s )](t) = =
Podemos decir:

Un factor exponencial en el tiempo signica una traslacin en el plano s

Funcin Escaln Unitario

ua(t) =

1 0

si t a si t < a

Otra notacin: ua(t) = u(t a), donde u = u0.

Teorema 2 Sea a R y f E([0, [), entonces:

L[ua(t)f (t a)](s) = = L1[easF (s)](t)
Podemos decir:

eas L[f (t)](s) easF (s)

= ua(t) L1[F (s)](t a) = ua(t) f (t a)

Una traslacin y truncamiento en el tiempo signica un factor exponencial en el plano s

Clculo de la Transformada de Laplace: Teorema de Convolucin Producto de Convolucin

t f, g E([0, [) : f g(t) = 0 f (u)g(t u)du

Propiedades:
t 0 : f g(t) = 0

f g C([0, [)
f g(t) = g f (t) = f (u)g(t u)du

Si f es derivable, entonces:
f (g + h) = f g + f h

d dt (f

g) = f g

Si f, g E([0, [) entonces:
L[f g](s) existe L[f g](s) = F (s) G(s)

Sucesiones de Dirac Sea {fn(t)}nN una sucesin de funciones denidas sobre un mismo dominio D, es una sucesin de Dirac si satisface: Para cualquier > 0:
a l m fn(t)dt = 0, n l m a fn(t)dt = 0 n

uniformemente para a [, [;
l m fn(t)dt = 1 n a | fn(t)dt| es acotada independientemente de a R y n N.

Teorema 3 Si {fn(t)}nN es una sucesin de Dirac y g es continua en la vecindad de t0, entonces

l m g(t)fn(t n R t0)dt = g(t0)
8

Ejemplo:

2 n fn(t) = e(nt)

f9(x)
4

fn(x)

f1(x)

0 2

1.5

0.5

0 X

0.5

1.5

Ejemplo:
4.5

fn(t) = n [1,1](nt) 2

f9(x)
4

3.5

2.5
fn(x)

1.5

f1(x)

0.5

0 2

1.5

0.5

0 X

0.5

1.5

Ejemplo:

fn(t) = sin(nt) t

fg(t)

2.5

1.5

fn(t)

f1(t)

0.5

0.5

10

Ejemplo:

n fn(t) = ((nt)2+1)

5.5 5 4.5 4 3.5 3 2.5 2 1.5 1 0.5 0 2

fg(t)

fn(t)

f1(t)

1.5

0.5

0.5

1.5

11

La accin de una sucesin de Dirac sobre una funcin, puede ser denida utilizando la funcin generalizada (distribucin) de Dirac denominada tambin Delta de Dirac:

(t t0) = 0, t = t0
(t t0)g(t)dt = g(t0) para toda funcin g continua en la vecindad de t0.

En particular,
L[(t t0)](s) = et0s L1[et0s](t) = (t t0).

Nota:La utilizacin de

la distribucin Delta de Dirac da origen

a lo que se denomina Clculo Simblico, el cual es fundamentado utilizando una sucesin de Dirac, arbitraria. Es evidente que el Delta de Dirac no es una funcin, en realidad ella es una aplicacin lineal, actuando de SC([0, [) en R, en el sentido del teorema 3. 12

Clculo de la Transformada de Laplace: Ejemplos (I)

E1 Si
L[cos(t)](s) =
s s2 +1

. Calcular
(c)L[et cos(wt)](s)

(a)L[cos(t)](s)

(b)L[sin(wt)](s)

Solucin:
1. Aplicamos la Propiedad de escalamiento de la T. de L.:
L[cos(t)](s) = (1/)L[cos(t)](s/),
es decir,

L[cos(t)](s) = (1/)

(s/) (s/)2 + 1
t

s s2 + 2

2. Observamos que sin(t) = 1/) 0 cos(u)du, luego

L[sin(t)](s) = 1 s (1/)L[cos(t)](s) = s2 + 2 .

3. Como la funcin temporal tiene un factor exponencial su transformada de Laplace es afectada por una traslacin:

L[et cos(wt)](s) = L[cos(t)](s) =

s (s )2 + 2

13

E2 Considere las funciones:

g(t) =
t 0

xe

5x

sin( 3x)dx,

F (s) =

(s 1)(s2 2s+4) (s2 2s + 2)2

denidas para t 0 y s > 0, respectivamente. Determinar G(s) = L[g(t)](s), s > 0 y f (t) = L1[F (s)](t), t 0.

Solucin:
G(s) = = = = = (s L1

s ds 1 d L[sin( 3t)](s 5) s ds 1 d 3 s ds (s 5)2 + 3 6(s 5) . s((s 5)2 + 3)2

(t)

s 1

L[te5t sin( 3t)](s) d

L[e5t sin( 3t)](s)

f (t)

= = = = = =

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

2s + 2(s 1) (s 1) (t) L1 (t) L1 2 +1 2 + 1)2 (s 1) ((s 1) s d 1 (t) et L1 2 (t) + L1 s +1 ds (s 1)2 + 1 1 (t) et cos(t) + tL1 (s 1)2 + 1 1 et cos(t) + tet L1 2 (t) s +1 et (cos(t) + t sin(t)) .

14

Ejemplos (II)
E3 Determinar la nica solucin del P.V.I.:
x + 3x + 4x = 0 4(t 1)

si t < 1 si t 1

x(0) = 0 x(0) = 1 (1)

Solucin: Primero observamos que:

h(t) es un truncamiento de la traslacin t 4(t 1), por tanto: h(t) = 4u1 (t) (t 1), cuya Transformada de Laplace es: H(s) = = = L[ 4u1 (t) (t 1) ](s) 4est L[ t ](s) = 4est L[ t 1 ](s) 1 d 4est { (1/s)} = 4est 2 ds s

L[ x + 3x + x ](s) = L[ x ](s) + 3L[ x ](s) + 4L[ x ](s) = H(s)

Enseguida, aplicamos el Teorema de Derivacin:

H(s) = = {s2 X(s) s 0 1} + 3{sX(s) 0} + 4X(s) (s2 + 3s + 4)X(s) 1.

En consecuencia, X(s) = L[x(t)](s) es denida por:

X(s) = 4est 1 s2 (s2 + 3s + 4) + 1 s2 + 3s + 4 = 4est X1 (s) + X2 (s)

luego
x(t) = = = L1 [4est X1 (s)](t) + L1 [X2 (s)](t) 4u1 (t)L1 [X1 (s)](t 1) + x2 (t) 4u1 (t)x1 (t 1) + x2 (t)

(2)

falta determinar x1(t) y x2(t). 15

Clculo de x1(t) = L1

1 s2 (s2 +3s+4)

(t)

x2 (t) = L1

1 s2 +3s+4

(t).

Primero abordamos el caso simple. Para ello observamos

x2 (t) = = = (2 7/7)L1

7/2

(s + 3/2)2 + ( 7/2)2 7/2 (t) (2 7/7)e3t/2 L1 2 s + ( 7/2)2 (2 7/7)e3t/2 sin( 7t/2)

(t)

Para x1(t) realizamos la descomposicin (conveniente):

1 s2 (s2 + 3s + 4) = As + B s2 + As + C s2 + 3s + 4

luego obtenemos 1 = As(3s + 4) + B(s2 + 3s + 4) + Cs2, expresin que evaluamos en s = 0, en tal caso, B = 1/4. Reemplazando B en dicha expresin y simplicando por s obtenemos la nueva identidad: 0 = A(3s + 4) + 1/4(s + 3) + Cs, la cual evaluamos en s = 0 para obtener que A = 3/16 y nalmente, reemplazando el valor de A en esta ltima identidad y simplicando por s, obtenemos: 0 = (3/16)3 + (1/4)1 + C, es decir, C = 5/16. As:
1 s2 (s2 + 3s + 4) = (3/16) s + (1/4) s2 + (1/16) 3s + 5 s2 + 3s + 4

y
3s + 5

Luego

s2 + 3s + 4 x1 (t) = +

3(s + 3/2) (1/2) + 2 . s + 3s + 4 (s + 3/2)2 + ( 7/2)2

(3/16) + (1/4)t e3t/2 /16 3 cos( 7t/2) + 7/7 sin( 7t/2)

Finalmente debemos reemplazar x1(t) y x2(t) en (2). 16

E4 Resolver el problema de evolucin:

z(t) = 3u(t 2)
t 0

sinh(t x)z(x)dx

(3)

Solucin: Primero observamos que:

z(t) = 3u2 (t) (zg)(t),

donde g(t) = sinh(t)

1 s

Luego, Z(s) = L[ z(t) ](s) satisface:

Z(s) = 3e2s 1 s Z(s)G(s) (1 + G(s)) Z(s) = 3e2s

Enseguida determinamos G(s), para ello recordamos que

g (t) = g(t) g(0) = 0 g (0) = 1

luego aplicamos el Teorema de Derivacin, para deducir:

s2 G(s) s 0 1 = G(s) G(s) = 1 s2 1 , s>1

Luego la transformada de Laplace de la solucin de (3) es denida por:

Z(s) = 3e
2s

s2 1 s3

En consecuencia
z(t) = = = =

3L1 [e2s (s2 1)/s3 ](t) 3u2 (t)L1 [(s2 1)s3 ](t 2) 3u2 (t) L1 [ 1/s ](t 2) (1/2)L1 [ 2/s3 ](t 2) 3u2 (t) 1 (1/2)(t 2)2 .

es la solucin de la ecuacin de evolucin (3).

17