Solucion Matematica

Gustavo Adolfo Munoz Gaona

September 23, 2017

La transformada de Laplace se define:

Z
L[f(x) ] = est f(t) dt = U(s) (1)
0

Si definimos una funcion de dos funciones independientes: u(x,t)

La transformada de Laplace resulta:

Z
L[u(x,t) ] = est u(x,t) dt = U(x,s) (2)
0

Derivando parcialmente con respecto a x, la transformada de Laplace sera:

Z
u(x,t)
L u(x,t) = est dt (3)
[ x ]
0 x
Z

L u(x,t) = est u(x,t) dt
[ x ] x 0

U(x,s)
L u(x,t) = (4)
[ x ] x
Derivando parcialmente con respecto a t, la transformada de Laplace sera:
Z
u(x,t)
L u(x,t) = est dt (5)
[ t ]
0 t
Se reconoce:
u
= ut
t
Reemplazando: Z
L u(x,t) = est ut dt
[ ]
t 0
du
Luego se convierte a derivada ordinaria: ut = dt
Reemplazando: Z
L u(x,t) = est du
[ ]
t 0
Integracion por partes:
Z
L u(x,t) = est u(x,t) |
0 +s est dt
[ ]
t 0
Z
st
L u(x,t) = lim (e u(x,t) ) u(x,0) + s est dt
[ ] t
t 0

L u(x,t) = sU(x,s) U(x,0) (6)

[ t ]

1
 De la misma manera que en la ecuacion (4), se obtiene la transformada de Laplace para la segunda derivada
parcial de u(x,t) con respecto a x
2 U(x,s)
L 2 u(x,t) = (7)
[ x2 ] x2
Luego de realizar las demostraciones pertinentes para obtener las propiedades a utilizar, se pasa a resolver
la Ecuacion de difusividad:

2 p 1 p Ct p
2
+ = (8)
r r r k t
Para facilitar las operaciones, se utiliza la ecuacion adimensional:

2 pD 1 pD pD
2 + = (9)
rD rD rD tD
Siendo pD una funcion de variables rD y tD , se lleva la ecuacion (9) al espacio de Laplace:
1
L 2 pD + L pD = L[ pD ] (10)
[
r 2
D
] rD [ rD ] tD

Usando las propiedades (4), (6) y (7); la ecuacion (10)

2 U(rD ,s) 1 U(rD ,s)

2 + = sU(rD ,s) U(rD ,0) (11)
rD rD rD
Condiciones iniciales:

pD (rD , 0) = 0 U(rD ,0) = 0 (12)

pD (1, tD ) = 1 (13)
pD
|r =r = 0 (14)
rD D eD

La ecuacion anterior queda usando la condicion (12):

2 U(rD ,s) 1 U(rD ,s)

2 + = sU(rD ,s) (15)
rD rD rD
Usando la condicion inicial (13), se determina usando la definicion de Laplace de la ecuacion (1):
Z
L[p(1,tD ) ] = est p(1,tD ) dt = U(1,s)
Z0
L[p(1,tD ) ] = est dt
0
L[p(1,tD ) ] = [est ]
0

1
L[p(1,tD ) ] = U(1,s) = (16)
s
La solucion para la ecuacion (15) en el espacio de Laplace es la siguiente combinacion lineal1 :

U(rD ,s) = A0 I0 (rD s) + B0 K0 (rD s) (17)

De acuerdo a la condicion de interior de la frontera, igualamos las expresiones (16) y (17)

1
A0 I0 (rD s) + B0 K0 (rD s) = (18)
s
De acuerdo a la condicion de frontera externa, igualamos las expresiones (12) y (17)2 :

A0 I1 (reD s) + B0 K1 (reD s) = 0 (19)

1 A y B :Coeficientes; I : Funcion modificada de Bessel de primera especie y orden cero; K : Funcion de Bessel de segunda
0 0 0 0
especie y de orden cero
2 I : Funcion modificada de Bessel de primera especie y de primer orden; K : Funcion de Bessel de segunda especie y de primer
1 1
orden

2
 Los coeficientes luego de despejar las ecuaciones (18) y (19) son:

K1 (reD s)
A0 = (20)
s[I0 ( s)K1 (reD s) + K0 ( s)I1 (reD s)]

I1 (reD s)
B0 = (21)
s[I0 ( s)K1 (reD s) + K0 ( s)I1 (reD s)]

Se define qD :  
pD
qD = rD (22)
rD rD =1
Definiendo la transformada de Laplace de qD :
 
U(rD ,s)
L[qD (rD ,t) ] = M(rD ,s) = (23)
rD rD =1

L[qD (rD ,t) ] = M(rD ,s) = [A0 I1 ( s) + B0 K1 ( s)] (24)

Sustituyendo los coeficientes de las relaciones (20) y (21)3 :

bessel k(1, s) bessel k(1,red
s) bessel i(1, s)

1 bessel i(0, s) bessel i(1,red s) bessel i(0, s)
M(rD ,s) = (25)
s bessel k(0, s) bessel k(1,red s)

bessel i(0, s)
+
bessel i(1,red s)

Se hara uso del algoritmo de Stehfest para obtener la inversa de Laplace: L1

[qD (rD ,t) ]
Para lo cual se usara N = 8 debido a la mejor aproximacion a la respuesta y evitar el ruido en la solucion.

2 )
min(i, N N
N
+i
X k 2 (2k)!
V (i) = (1) 2
N

(26)
2 k !k! (k 1)! (i k)! (2k i)!
k=floor( i+1
2 )

Los resultados de V (i) resultan:

V (1) V (2) V (3) V (4) V (5) V (6) V (7) V (8)
-0.333333 48.333333 -906.0 5464.666667 -14376.666667 18730.0 11946.666667 2986.666667
La solucion general aplicando el algoritmo de Stehfest es:
N
ln 2 X
f(t) = V(i) f(s) (27)
t i=1
Donde:
ln 2
s=i (28)
t

Para este caso en la ecuacion (27):

f(s) = M(rD ,s)

3 Las ecuaciones estan escritas de acuerdo al codigo de programacion usado en wxM axima

3
4
Figure 1: qD(1) y qD(2) en escala cartesiana