Professional Documents
Culture Documents
Introducci on
Materiales y metodos
Solucion analtica
Resultados
Universidad Cat
olica de Temuco
6 de agosto de 2015
Objetivos
0
2t
y Carlos Alejandro Torres ulloa PROYECTO DE TESIS - Magster Matem
aticas Aplicadas
Objetivos
Introducci on
Materiales y metodos
Solucion analtica
Resultados
dx P
= n (1)
dt s
Donde, x = (x , y ), n = (cos(), sin()) y P = y
dx y
= cos() (2)
dt s
dy y
= sin() (3)
dt s
Para la evoluci
on de la trayectoria s se tiene que,
ds y
= (4)
dt s
Trayectorias de
puntos de origen
entre 0 y 1
Figura : Descripci
on de las trayectorias que siguien los puntos que son injectados en el
frente y los puntos originales y [01]
Carlos Alejandro Torres ulloa PROYECTO DE TESIS - Magster Matem
aticas Aplicadas
Objetivos
Introducci on
Materiales y metodos
Solucion analtica
Resultados
t + H(x ) = 0, x Rd (7)
4 4
+
3 3
2 >0
2
1
1
y
0
0
<0
1
1
2
2
3
3
5 =0
5 4
0
0
5 5 4 2 0 2 4
y x x
(a) (b)
p
2 2
Figura : Evolucion de la ecuaci
pon de Hamilton Jacobi t + x + y + 1 = 0, con
condici 2 2
on inicial (x, y , 0) = x + y 1, sobre el dominio x [5, 5] e y [5, 5].
0 t t + t x
1
s
s + s
<0
>0
=0 U
0
t + H(s, ) = 0 (12)
st + G (y , s, s, ) = 0 (13)
x Ci ,j
y
0 1 X
Figura : Dominio x [0, 1] e y [0, 1]. Particiones de los respectivos intervalos, los
cuales forman los volumenes a desarrollar. El valor del centro de cada volumen Ci ,j se
asumen como constante para todo el volumen que en este caso posee un area de 0,1x0,1
Ecuaci
on de flujo numerico, para se tiene,
d
j,k (t)
dt
+ + + +
aj,k bj,k H(+ + + +
x , y ) aj,k bj,k H(x , y ) aj,k bj,k H(x , y ) aj,k bj,k H(x ,
= + +
(aj,k aj,k )(bj,k bj,k )
+ +
aj,k aj,k
+
bj,k bj,k +
+ x x + y y
aj,k aj,k bj,k bj,k
Y para s una expresi
on similar,
d
sj,k (t)
dt
+ + + +
aj,k bj,k G (sx+ , sy+ ) aj,k bj,k G (sx+ , sy ) aj,k bj,k G (sx , sy+ ) aj,k bj,k G (sx , sy
= + +
(aj,k aj,k )(bj,k bj,k )
+ +
aj,k aj,k +
bj,k bj,k +
+ sx sx + sy sy
aj,k aj,k bj,k bj,k
Carlos Alejandro Torres ulloa PROYECTO DE TESIS - Magster Matem
aticas Aplicadas
Objetivos
Introducci on
Modelo Matem
atico
Materiales y metodos
Esquema num
erico
Solucion analtica
Resultados
+
:= max Hu (
:= mn Hu (
aj,k x , y ) + aj,k x , y ) (14)
+
:= max Hv (
:= mn Hv (
bj,k
x , y ) + bj,k
x , y ) (15)
Donde ()+ := max(, 0) y () := mn(, 0). Para las ecuaciones (12) y (13)
tenemos que,
! !
y x y y
Hu = q Hv = q (16)
s 2 + 2 s 2 + 2
x y x y
1
()j+ 1 = minmod ()nj+ 3 ()nj+ 1 , ()nj+ 3 ()nj 1
,
2 2 2 2 2
2
()nj+ 1 ()nj 1 ,
2 2
()nj+ 1 := nj nj+ 1
2 2
()nj 1 ()j 1
x =
2
2
(18)
x 2(x)2
Y para cualquier x fijo tenemos que,
()nk 1 ()k 1
y = 2
2
(19)
y 2(y )2
Para la discretizacion temporal de y de s utilizamos el metodo de Euler,
d n+1 n
j,k j,k
= (20)
dt t
n+1 n
d sj,k sj,k
s= (21)
dt t
En los metodos de level set comunmente la funcion de level set ((x, y , t))
desarrolla irregularidades durante su evoluci on debido a errores numericos y
eventualmente se destruye la estabilidad. Para corregir esto, se introduce una
solucion numerica conocida como reinicializacion, la cual restaurar la regularidad
de y mantiene estable su evoluci on en el tiempo. La reinicializacion se hace
deteniendo periodicamente la evoluci on y convirtiendo la funcion degradada a
una funcion de distancia [5]. Un metodo para realizar la reinicializacion es resolver
on obtenida de [6],
la ecuacion de evoluci t = sign()(1 ||), donde Sign()
es una funcion signo que toma el valor de 1 en + , -1 en y 0 en la interfase
. Este metodo funciona siempre que se mantenga relativamente suave, pero
no siempre lo es ya que la interfase puede moverse incorrectamente. En el
desarrollo de este trabajo se utiliza la funcion sugerida por Peng, Merriman,
Osher, Zhao, and Kang [7], que corresponde a Sign() = 2 2 2
. Al
+|| (x)
usar esta ecuacion, el valor de Sign se debe actualizar constantemente conforme
evoluciona la funcion .
Una vez obtenidos todos los puntos xi , yi que forman el frente el angulo se
aproxima a = atan( xyii x
yi+1 ), donde i [1, Ny ]. Ny corresponde al n
i+1
umero de
particiones que se realizan en el intervalo y .
X
Pi (xi , yi )
y
n
Pi +1 (xi +1 , yi +1 ) x
Y
Una vez calculado el angulo para cada punto del frente, la curvatura se puede
estimar como k = i +1Si , donde S es la suma de las distancias euclidiana de
todos los puntos hasta llegar al punto Pi (xi , yi ). En este caso i [1, Ny 1]. Una
segunda forma de obtener la curvatura es calcularla en terminos de , mediante la
yy 2 2x y xy +xx 2
x y
funcion k = (2x +2y )(3/2)
, esta formula es obtenida de [6]
Tanto como k se calculan numericamente para distintos mallados y los
resultados son mostrados en la seccion (5).
t 5t 2
y (t) 1 + (23)
2 48
Asumiendo que el angulo vara en los puntos cerca del tope superior a segun la
siguiente formula de interpolacion para el angulo,
t tinj
, tinj [0, t] (24)
2t
Se tiene lo siguiente,
1 t
y =1 t tinj tinj log (25)
2 tinj
v
u 3 1
8tinj
2
t2 2
3tinj
5t 2 t
u
x 2t + 2tinj t + tinj t log( )+ (26)
t
6 3 tinj 2
Una expresi
on de orden de error 3, para lo posisicon y de los puntos injectados es,
t
!
2
(tinj t 2 ) tinj log( tinj )
dy 1 1 t
1 1 (t tinj tinj log( ))
dt 2t 8t 4 2 tinj
3
!
1 t
1 1
tinj
2 t
4tinj 2 tinj log( t ) 2
3tinj
" t 4tinj t 5t
2
t 2 + t log( tinj ) + 3tinj 1+ 24 2 + 6 4
inj
8t
t
2t log( tinj )
1 1
3 #
t
1 t 4tinj t 2 + t log( tinj ) + 3tinj
2
t
(27)
2 2t log( tinj )
0.9
1 0.8
0.7
0.5
<0
0.6
0 y 0.5
0.5
0.4
=0
0.3 +
1
1
1
0.2
>0
0.5 0.1
0.5
0
0 0 0 0.2 0.4 0.6 0.8 1
y x
x
(a) (b)
Figura : Evolucion de la ecuaci
on de Hamilton Jacobi del modelo Euleriano, dado por las
ecuaciones (12) y (13), para la representacion del frente espuma-petr oleo, para un
tiempo de evoluci on t = 0,5 sobre el dominio x [0, 1] e y [0, 1]. (a) Muestra como la
superficie esta siendo intersectada por el plano xy , este plano marca donde = 0. (b) Se
observa como esta intersecci on corresponde a una representaci on explcita de la linea de
nivel cero, ademas se muestras los valores que toma sobre el dominio
1 1
t=1 t=1
t=2 t=2
t=2.1 t=2.1
0.8 t=2.2 0.8 t=2.2
t=2.3 t=2.3
t=2.5 t=2.5
t=3 t=3
0.6 t=4 0.6 t=4
y
y
0.4 0.4
0.2 0.2
0 0
0 0.5 1 1.5 2 2.5 0 0.5 1 1.5 2 2.5
x x
(a) (b)
Figura : Dominio [0, 2,99] [0, 1]. Posici on del frente en tiempo
t {1, 2, 2,1, 2,2, 2,3, 2,5, 3, 4}. (a) Modelo Pressure-driven growth , (b) Modelo
Euleriano .
v
u 3 1
2 2
u
5t 2 8tinj t2 t 3tinj
2t + 2tinj t + tinj t log( )+ (28)
t
x
6 3 tinj 2
1 t
y =1 t tinj tinj log (29)
2 tinj
0.82
0.95
y 0.81
0.8
0.9 0.79
y 0.78
0.9 0.92 0.94
0.85 x
0.8
0.75
0.88 0.9 0.92 0.94 0.96 0.98 1
x
Figura : Se grafica sobre el dominio x [0,9, 0,94] e y [0,78, 0,83] las soluciones
analiticas de orden 1 y orden 2 versus resultados numericos
1.6
1.4 0.56
0.54
1.2 0.52
0.5
1 0.48
0.46
0.76 0.78 0.8
0.8
y
0.6
0.4
0.2
0
0 0.2 0.4 0.6 0.8 1
y
Figura : Angulo para t = 0,5, sobre el dominio del frente espuma-petr
oleo x [0, 1] e
y [0, 1]. Con .se muesta el gr
afico con una malla de 100x100, con una malla de
200x200, con x una malla de 400x400 y por u ltimo con una malla de 800x800
1.4
1.2
0.8
0.6
0.4
0.2
0
0 0.2 0.4 0.6 0.8 1
y
Figura : Angulo para t {0,125, 0,250, 0,375, 0,500}, mallado de 400x400. Con .se
angulo a t = 0,5, con x.a t = 0,375, con +.a t = 0,25 y con .a t = 0,125
grafica el
1.6
1.4 0.56
0.54
1.2 0.52
0.5
1 0.48
0.46
0.8 0.75 0.8
y
0.6
0.4
0.2
0
0 0.2 0.4 0.6 0.8 1
y
Figura : Angulo de la solucion numerica del modelo Euleriano versus soluci on analtica.
Antes del salto se utiliza la expresi
on de la ecuacion (22) para determinar el valor del
angulo y despues del salto se utilizan los datos obtenidos de la integraci
on numerica de
(??), esto se realiza para t = 0,5 con [x, y ] [0, 1]X [0, 1]. La lnea represent los
datos obtenidos de la ecuaci on (22), la linea continua representa los datos numericos y
despues del salto se representa con una linea m as gruesa los resultados de la integraci on
numerica de la ecuacion (??).
0.15
no de paso/sqrt(t)
0.1
0.05
Tama
0
0 0.1 0.2 0.3 0.4 0.5 0.6
t
Figura : Tama
no del salto divido en t para t {0,125, 0,250, 0,375, 0,500}
N=100 N=200
10 10
5 5
k
k
0 0
5 5
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
y y
N=400 N=800
10 10
5 5
k
k
0 0
5 5
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
y y
Figura : Curvatura del frente en t = 0,5 para distintos niveles de refinamineto de la malla
Nx = Ny [100, 200, 400, 800]
t=0.125 t=0.250
10 10
5 5
k
k
0 0
5 5
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
y y
t=0.375 t=0.500
10 10
5 5
k
k
0 0
5 5
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
y y
Figura : Curvatura del frente en t [0,125, 0,250, 0,375, 0,500], con una malla de
400x400, sobre el dominio x [0, 1] e y [0, 1]
2.5
1.5
0.5
0
0 0.2 0.4 0.6 0.8 1
y
(a) (b)
Figura : Domino x [0, 1] e y [0, 1], tiempo de evolucion del frente t = 8. En (a) se
muestran los resultdos obtenidos del modelo Presure driven growth, tanto para el
angulo como para la curvatura, este gr
afico fue extraido del trabajo desarrollado en [1].
En (b) se muestran los resultados numericos del angulo del modelo Euleriano.
Bibliografa
Grassia, P., Mas-Hernandez, E., Shokri, N., Cox, S. J., Mishuris, G., & Rossen, W.
R. (2014). Analysis of a model for foam improved oil recovery. Journal of Fluid
Mechanics, 751, 346-405.
Kurganov, A., Noelle, S., & Petrova, G. (2001). Semidiscrete central-upwind
schemes for hyperbolic conservation laws and Hamilton-Jacobi equations. SIAM
Journal on Scientific Computing, 23(3), 707-740.
Levy, D., & Nayak, S. (2004). Semi-discrete Schemes for Hamilton-Jacobi
Equations on Unstructured Grids. In Numerical Mathematics and Advanced
Applications (pp. 623-630). Springer Berlin Heidelberg.
T.F. Chan and L.A. Vese. Active contours without edges. Image Processing, IEEE
Transactions on image processing, 10(2):266-277, 2001.
Bibliografa
Chunming Li, Chenyang Xu, Changfeng Gui, and M.D. Fox. Distance regularized
level set evolution and its application to image segmentation. Image Processing,
IEEE Transactions on, 19(12):3243-3254, 2010.
Osher, S., & Fedkiw, R. (2006). Level set methods and dynamic implicit surfaces
(Vol. 153). Springer Science & Business Media.
Peng, D., Merriman, B., Osher, S., Zhao, H.-K., and Kang, M., A PDE- Based
Fast Local Level Set Method, J. Comput. Phys. 155, 410-438 (1999)
Zill, D. G., Wright, W. S., & Abalo, M. A. (2011). Calculo: trascendentes
tempranas. McGraw-Hill.
Bibliografa
Bibliografa