Captulo 14 Transformada de Laplace para resolver EDP

14.1. Funcin de error

Definicin 14.1 La funcin de error erf y funcin complementaria de error erfc aparecen con frecuencia en las soluciones de las EDP que modelan problemas de las ciencias bsicas e ingenieras. Pertenecen a la categora de funciones no elementales.

La funcin de error se define

erf (t ) =

e
0 t

u2

du

para

La funcin complementaria de error

erfc(t ) =

u e du

para

A continuacin se demuestra que

e
0

u 2

du =

, desde donde se desprende que

u e du = 1

y de aqu el

siguiente resultado.

Teorema 14.1 Demostracin

erf (t ) + erfc(t ) = 1

Vamos a considerar el producto de dos integrales simples que se puede escribir como una integral doble.

Sea

I = e u du
0

2 2 2 2 2 2 I 2 = e u du e u du = e x dx e y dy = e x + y dydx 0 0 0 0 00

Aplica transformacin a coordenadas polares

x = r cos y = r sin

, cuyo determinante Jacobiano es

x ( x, y ) r = (r, ) x

y r = r y

sobre el primer cuadrante del sistema de coordenadas rectangulares y obtiene:

627

628

Transformada de Laplace para resolver EDP

2 2 2 2 I 2 = e r rdr d = d e r rdr = 1 e r = 4 2 2 0 0 0 00
2

I= 2

2
0 u e du + 0 t
2

u e du = 1 t u2

du = 1

erf (t ) + erfc(t ) = 1 erf erfc .

El siguiente teorema enuncia resultados inmediatos de las definiciones de

Teorema 14.2

erf (0) = 0 ,
erfc (0) = 1 ,
t

lim erf (t ) = 1 ,

lim erfc (t ) = 0 ,

erf ( t ) = erf (t ) , erfc( t ) = 1 + erf (t )

d (erf (t )) 2 t 2 = e dt
,

erf (t )dt = t erf (t ) +

erf (t ) =
2

et + C , C

constante

( 1)n t 2 e n = 0(2n + 1)n!

Demostracin. Se deja de ejercicio

La siguiente figura muestra un bosquejo del trazo de la grfica de la funcin de error y su complementaria para crear tablas de la funcin error utilizando una hoja de clculo electrnica.

t 0 . Puede

Transformada de Laplace para resolver EDP

629

14.2.

Extensin de la Tabla de la Transformada de Laplace

El siguiente teorema extiende la tabla de la transformada de Laplace de funciones bsicas a otras funciones, algunas que involucran las funciones

erf

erfc .

Teorema 14.3.

Para

a , b f (t )
Transformada de Laplace de

Funcin T1

f (t )

erf ( t ) erfc( t )
1
a2 4t

1 s s +1 1 1 1 s s +1
ea s s

T2

T3

t
T4

2 t 3
T5

a2 e 4t

ea s

a erfc 2 t

ea s s

T6

t 4t a a erfc 2 e 2 t
2 a e ab e b t erfc b t + 2 t 2 a a e ab e b t erfc b t + + erfc 2 t 2 t

a2

ea s s s

T7

ea s s ( s + b) be a s s( s + b)

T8

Demostracin

630

Transformada de Laplace para resolver EDP

T1

La funcin

erf

se define

erf ( t ) =
1 2

e u du

toma el cambio de variable

u = du =

1 2

erf ( t )

et

e
0 t

(t ) e
0

2 d

1 e t et t 2 1 et t 2

Y aplica la transformada de Laplace, obtiene:

L (erf ( t ))

= =

L et

1 t 1 L e t 2 s +1

1 1 L et L t 2 = s +1

( )

1 1 1 2 s 1 1 s2

( )

s +1

, donde

1 =

(2 )

1 , as queda demostrado T1. s s +1

Ejercicios

1. 2.

Utilice T1 para demostrar T2 Utilice T5 y T7 para demostrar T8

14.3.

Trasformada de Laplace y Ecuaciones diferenciales parciales (EDP)

La transformada de Laplace

L ( f (t )) = e st f (t )dt

de una funcin

f : [0, [ ,

se ampla a funciones de dos

variables

u : [0, [ [0, [

como

L (u ( x, t )) = e st u ( x, t )dt = U ( x, s ) , esta es funcin de x

0

s.

Transformada de Laplace para resolver EDP

631

Dada esta ampliacin se pueden resolver ecuaciones diferenciales parciales lineales con coeficientes constantes (EDP), sin embargo, la complejidad de las integrales involucradas hacen que el mtodo con Transformada de Laplace, resulte menos eficientes que los mtodos que involucran series de Fourier. A continuacin la Transformada de trminos que aparecen frecuentemente en las EDP: (1)

u ( x, t ) t

= sL (u ( x, t )) u ( x,0) = sU ( x, s ) u ( x,0)

(2)

2 u ( x, t ) L t 2

= s 2L (u ( x, t )) su( x,0)

u ( x,0) t

= s 2U ( x, s ) su( x,0)
u ( x, t ) L x = e st
0

u ( x,0) t

(3)

u ( x, t ) dt x

e st u ( x, t ) dt x
0

d st e u ( x, t )dt = dx

=
2 u( x, t ) L x 2 =

dU ( x, s ) dx

(4)

2 st u ( x, t ) e dt 2

e st u ( x, t ) x 2

) dt

d 2 st e u ( x, t )dt = dx 2 0

d 2U ( x, s ) dx 2

Las condiciones iniciales que se dan en cada problema se utilizan en (1) y (2). Mientras las condiciones de frontera dadas, se utilizan poco despus de iniciar el proceso de solucin de la ecuacin diferencial. A continuacin se indica como transformar las posibles condiciones de frontera. (5) (6)

u (0, t ) = f (t )

L (u (0, t )) = L ( f (t ))

U (0, s ) = F ( s )

u ( L, t ) = g (t )

L (u ( L, t )) = L ( g (t ))

U ( L, s ) = G ( s )

632

Transformada de Laplace para resolver EDP

(7)

x
xL

lim u( x, t ) = h(t )

L lim u ( x, t ) = H ( s ) lim L (u ( x, t )) = H ( s ) lim U ( x, s ) = H ( s ) x x x

(8)

lim u ( x, t ) = i (t )

L lim u ( x, t ) = I ( s ) xL
L u (0, t ) = J (s ) x

lim L (u ( x, t )) = I ( s ) lim U ( x, s ) = I ( s )
xL xL

(9)

u (0, t ) = j (t ) x u ( L, t ) = k (t ) x
2u (0, t ) x 2 = l (t )

dL (u (0, t )) = J (s ) dx dL (u ( L, t )) = K (s ) dx d 2L (u (0, t )) dx 2
= L( s )

dU (0, s ) = J (s ) dx dU ( L, s ) = K (s ) dx d 2U (0, s ) dx 2
= L( s )

(10)

u ( L, t ) L = K (s ) x
2 u (0, t ) L x 2 = L( s )

(11)

(12)

2 u ( L, t ) x 2

= m(t )

2u ( L, t ) L x 2 = M ( s )

d 2L (u ( L, t )) dx 2

= M (s )

d 2U ( L, s ) dx 2

= L( s )

14.4.

Ejemplos de EDP con condiciones de contorno

Hallar la solucin de los siguientes problemas con condiciones de contorno.

Ejemplo 1

Ecuacin de calor

2 u ( x, t ) x 2

u ( x, t ) , dadas las condiciones de contorno = t

u (0, t ) = 0 u ( L, t ) = 0 u ( x,0) = f ( x )

Aplica la Transformada de Laplace a la EDP para obtener:

2 2 u ( x, t ) u ( x, t ) =L L K 2 t x
Por (1) y (4)

K2

d 2U ( x, s ) dx 2 d 2U ( x, s ) dx 2

= sU ( x, s ) u (20) 1x, 3
f (x)

K2

sU ( x, s ) = f ( x )

es una ED ordinaria lineal con coeficientes constantes .................... (13)

Por (5) y (6) las condiciones de frontera

u (0, t ) = 0 u ( L, t ) = 0

se transforman en

U (0, s ) = 0 U ( L, s ) = 0

.................... (14)

Para resolver la ED lineal no homognea (13) empieza con su ED complementaria:

2 2 d U ( x, s ) K sU ( x, s ) = 0 2

dx

Transformada de Laplace para resolver EDP

633

Tiene coeficientes constantes entonces considera su ecuacin caracterstica

K 2r 2 s = 0

con soluciones

r=

s K

s s x x K + Be K entonces la solucin general de la ecuacin homognea es: U c ( x , s ) = Ae

El siguiente paso consiste en determinar una solucin particular

.................... (15)

U p ( x, s )

de la EDO no homognea (13):

K2

d 2U ( x, s ) dx 2

sU ( x, s ) = f ( x )

Si la funcin externa anteriores), puede

f ( x ) es C.i (polinomio, ex , cos(x ), sin(x ) , o multiplicacin de esas o combinacin lineal de las obtener U p ( x , s ) por el mtodo de los coeficientes indeterminados, caso contrario se debe utilizar el U p ( x, s )
de (13) tiene la forma:

mtodo de variacin de parmetros que describimos a continuacin e involucra integrales bastante complicadas de calcular. Supone que la solucin particular

x x s s U p ( x, s ) = 1 ( x )e K + 2 ( x )e K
Donde

1 , 2

son funciones de

dadas por las siguientes frmulas de Green:

1 ( x ) = K

x s eK x s K s e

e e s K

x s K x s e K

0 f (x) K
2

s K

x s K x s e K
x s K x s e K

= 2K s

x s K e

f (x)

1 ( x ) = 2K s

x s K e

f (x)

dx

( x ) = K 2

x s eK x s K s e

e s K

x s K e x s K s e

= 2K s

x s K

f (x)

2 ( x ) = 2K s

x s K

f (x)

dx

0 f (x) K2

Entonces la solucin general es:

x x s s x x x x s e K s s s eK dx dx + 2K s e K U ( x, s ) = 144 + Be 44 2K s e K Ae K 4 4 K 3 2 f (x) 3 f (444 4444444444 x) U c ( x, s ) 14444444 2 U p ( x, s )

634

Transformada de Laplace para resolver EDP

Sea que aplique coeficientes indeterminados o variacin de los parmetros, el ltimo paso es aplicar la inversa de la transformada de Laplace. Para el caso variacin de parmetros que utilizamos arriba, al aplicar inversa resulta:

x x s s x x s e K s eK 2KL 1 s e K dx dx s e K u ( x, t ) = ( Ax Bx ) f (x) f (x) 2 K t 3

2 e 4tK

x2

El resto depende de la funcin

y por lo general para calcular la Transformada inversa se debe recurrir al teorema de

convolucin, a la funcin gamma o a las funciones de error y complementaria del error. Pero no todo es negativo, algunas EDP con condiciones de frontera no homogneas se podran resolver ms fcilmente con la Transformada de Laplace (ver ejemplo 3)

Ejemplo 2

Ecuacin de calor

2u

u = x 2 t

con condiciones de contorno

t 0 u (0, t ) = 0 t 0 u ( , t ) = 0 u ( x,0) = sin x x [ 0, [

Este problema es un caso particular del ejemplo 1, con

K = 1 , L = y f ( x ) = sin x

La ED (13) queda

d 2U ( x, s ) dx 2

sU ( x, s ) = sin x
se escriben

Las condiciones de frontera

u (0, t ) = 0 u ( , t ) = 0

U (0, s ) = 0 U ( , s ) = 0

La ED homognea

d 2U ( x, s ) dx 2

sU ( x, s ) = 0

es de coeficientes constantes, entonces considera su ecuacin auxiliar:

r2 s = 0

cuyas soluciones son

r = s . Y la ED homognea tiene solucin:

U c ( x, s ) = A cosh( s x ) + B sinh ( s x )
A continuacin se busca una solucin particular

U p ( x, s )

de la ED no homognea:

d 2U ( x, s ) dx 2
La funcin externa

sU ( x, s ) = sin x
es anulable, supone (segn el mtodo de coeficientes indeterminados) que:

f ( x ) = sin x

U p ( x, s ) = a cos x + b sin x

dU p ( x, s ) dx

= a sin x + b cos x
= a cos x b sin x d 2U ( x, s ) dx 2 sU ( x, s ) = sin x

d 2U p ( x, s ) dx 2

Y sustituya en la ED

para obtener:

Transformada de Laplace para resolver EDP

635

( a cos x b sin x ) s (a cos x + b sin x ) = sin x

a (1 + s ) cos x b(1 + s ) sin x = sin x a (1 + s ) = 0 b(1 + s ) = 1

a = 0 b = 1 s +1

Entonces una solucin particular es

U p ( x, s ) =

1 sin x . Y la solucin general de la EDO es: s +1

1 sin x U ( x, s ) = A cosh (x s ) + B sinh (x s ) + s +4 3 1444444 2444441 4 4

U c +U p

Para determinar

aplica las condiciones de frontera

U (0, s ) = 0 U ( , s ) = 0

y obtiene:

U (0, s ) = A = 0

U ( , s ) = A cosh( s ) + B sinh( s ) = 0 B = 0
Sustituya estos valores en la solucin general y obtiene:

U ( x, s ) =
Aplica transformada inversa y resulta:

1 sin x s +1

u ( x, t ) = e t sin x

Ejemplo 3

Ecuacin de calor

2u

u = x 2 t

con condiciones de contorno

u (0, t ) = 10 t 0 u (1, t ) = 0 t 0 u ( x,0) = 0 x [ 0, [

Empecemos por aplicar la Transformada de Laplace a la EDP y a las condiciones de frontera: EDP

2 u ( x, t ) x 2

d 2U ( x, s ) d 2U ( x, s ) u ( x, t ) = sU ( x, s ) u ( x,0) sU ( x, s ) = 0 t dx 2 dx 2

Condiciones de frontera

u (0, t ) = 10 u (1, t ) = 0

se escriben

U (0, s ) = 10 s U (1, s ) = 0
r2 s = 0
cuyas soluciones

La EDO

d 2U ( x, s ) dx
2

sU ( x, s ) = 0

es de coeficientes constantes y tiene ecuacin auxiliar:

son

r = s . Entonces tiene solucin general:

U ( x, s ) = Ae x s + Be x s
Observe que la ED es homognea por tanto no se busca solucin particular.

636

Transformada de Laplace para resolver EDP

Para determinar

aplica las condiciones de frontera

U (0, s ) = 10 s U (1, s ) = 0

y obtiene:

U (0, s ) = A + B = A = B
10 10 B= U (1, s ) = Ae s + Be s = s s e s + e s
Sustituya estos valores en la solucin general y obtiene:

U ( x, s ) = 10

cosh( s x ) 15 10 cosh( s ) + sinh ( s x ) s s sinh ( s )

Antes de aplicar transformada inversa acomodamos la solucin anterior para aplicar la tabla de transformadas:

15 e x s e x s 5 e s + e s e x s e x s e x s + e x s U ( x, s ) = 5 + s s e x s e x s
Aplica transformada inversa y resulta:

u ( x, t ) = e t sin x