Documente Academic
Documente Profesional
Documente Cultură
UNIVERSIDAD COMPLUTENSE
Aproximacin Numrica
de un Problema
con Frontera Libre
A mi padre
Quiero expresar mi ms profundo agradecimiento al profesor Jos
Carrillo, director de esta tesis, por toda la ayuda que me ha prestado.
Gracias por su dedicacin, sus enseanzas y su paciencia.
3 El algoritmo 81
3.1 Descripcin del algoritmo . . Si
3.1.1 Gradiente con proyeccin 82
3.1.2 Gradiente conjugado . 84
3.2 Pruebas numricas 88
III
2
2
2
Frontera semipermeable: Si existe una discontinuidad de presin dentro y fuera del
dique porque una zona de la frontera es semipermeable, entonces el flujo a traves
de esa regin es funcin del salto de presin.
2
En la mayor parte de los trabajos realizados sobre el terna se han tenido en cuenta
uncamente los dos primeros tipos (le condiciones de contorno. En esta memoria se
2
estudia el modelo completo, lo que incorpora una no linealidad ms al problema la
correspondiente al flujo en la zona semipermeable.
Los primeros estudios matemticos rigurosos sobre el tema son de comienzos de los
aos 70 y se deben a C. Baiocchi. En un primer artculo (ver [4]) demuestra la existencia
y unicidad de solucin para el problema estacionario bidirnensional en el caso particular
de un dique rectangular: mediante un cambio de variable del tipo w~2 = p transforma el
2
2
por lo que tiene fuertes limitaciones sobre la geometra del dominio. Bsicamente ha de
ser un dique rectangular.
Posteriormente, utilizando la formulacin introducida por H. Brezis, D. Kinderleherer
y O. Stampacchia ([10)) y por H. Alt ([2]) ste ltimo presenta ([3]) un mtodo numerico
de dominio fijo, aplicable a geometras mucho ms generales. Sin embargo, este mtodo
es bastante restrictivo en cuanto a la triangulacin que puede tomarse y, como conse-
cuencia de ello, requiere un tratamiento muy especial del borde del dominio. P. Pietra
([35]) resuelve estas dificultades utilizando un operador de tipo up-wind para la dis-
cretizacin del trmino de transporte. De este modo, la nica limitacin que se impone
a la triangulacin es que sea de tipo dbilmente agudo.
En [15] J. Carrillo propone un esquema discreto para aproximar la solucin del prob-
lema de evolucin con condiciones de tipo Dirichlet. Siguiendo la idea de P. Pietra utiliza
un operador up-wind. Nosotros presentamos un mtodo numerico para resolver ese
mismo problema con condiciones de contorno no lineales que es, en cierto modo, una
generalizacin del que se propone en [15].
El trabajo est dividido en tres captulos:
Captulo 1
p =0 c.t.p. (x,t) e Q
p = O en pD
jy(VP+~e]RJQ(Y+aPkt =
y
a
2
2
En la segunda seccion se demuestran algunas propiedades de regularidad de la
solucin anlogas
concreto se demuestra:
a las que se tienen en el caso de condiciones de tipo Dirichlet. En 2
Proposicin: Sea (p,y) solucin de (P2) entonces 2
Y si &P<~ E Loo(o) t ~P EpCLoo(Q).
C([0,T];L
2(Q)
2
Tambin en esta seccion se demuestra un resultado que establece que las condi-
ciones de contorno de tipo Dirichlet clsicas son un caso lmite de las condiciones
semipermeables que aqu se consideran.
2
Proposicin: Sea (pc,yc) solucin del problema (Pp~) siendo ~, la funcin dr
permeabilidad ~~(s) = sfr; entonces la sucesin de pares {(pe,ge)}>o converge d-
4
bilmente en el espacio L2(O, T; H1(Q)) >c L~(Q) hacia la solucin del problema con
condiciones de contorno de tipo Dirichel en l2~ u pD
Teorema 1: Sea ~ montona, continua, tal que fi(O) = 0 y que existen dos cons- 4
tantes positivas a, b de manera que Ifi(~)~ =as + b Vs E R; entonces existe una
solucin del problema (Pa) 4
En la demostracin se utilizan las acotaciones obtenidas anteriormente y resultados
de compacidad para pasar al lmite en el problema semidiscreto. Estos argumentos 4
vi
2
4
dan convergencia dbil de la solucin semidiscreta lo que no es suficiente para pasar
al lmite en el trmino no lineal. Esta dificultad se resuelve utilizando la monotona
de fi para demostrar que de hecho la solucin semidiscreta converge fuertemente en
L2(0, 21; fJ1(Q)) hacia una solucin del problema continuo.
Captulo 2
(ph,o,yh,o) =
siendo est una aproximacin dcl dato inicial continuo, y para cada n = 1,. ..
(p.,n,g~,n) E H~ x Lh
PKn = O en
1 9hfl 1 +
j~ fi(T~(q5,.
+ yh,~Dn(&))+
cYRh (Phn Phnl)] Rd~h) =
(Ph)
1 =
1.
Vh E II,. tal que ~
ph,~))Th(~h)
= O Vi E /?
(*) { ~
1
L(lYhn>JJhIsh>+
V,, E II,. tal que ~ =0s1p~ =0
Rh(~h)] >0
vn
4
1
s
4
es un operador de derivacin discreta de tipo up-wind, R,, es un operador de
interpolacin entre 11,, y Lh, y Th es un operador de traza. 4
Teorema 2: Suponyamos que tenemos una descomposicin en N-simplices de 9h
de tipo dbilmente agudo y que i- =Ch para cierta constante O que depende de la
& [xhDh~h +
2
*
J~h L -~- J
Teorema 3:Es posible elegir una familia de elementos finitos de modo que la
sucesin {(yk,p~)1h,r>o de soluciones del correspondiente problema discreto (P0,r,h
4
converja hacia una solucin (p,g) del problema continuo en el siyuiente sentido: 1
u
La demostracin es constructiva: se elige una familia de elementos finitos para la que
mediante argumentos de compacidad y de monotonia se demuestra la convergencia
de las soluciones discretas hacia una solucin del problema continuo.
Captulo 3
En el apndice final se incluyen los programas fuente con los que se realizaron las
pruebas numricas.
El algoritmo diseado por P. Pietra para resolver el problema estacionario con condi-
ciones de contorno de tipo Dirichlet, est incorporado como un mdulo, de nombre
DAMIAN, en la biblioteca de elementos finitos MOI)ULEF, donde tambin existe otro
mdulo (PIGRA) de L. Marini y P. Pietra que transforma cualquier triangulacion en
una de tipo dbilmente agudo. El esquema numrico que se estudia en esta memoria,
tambin ha sido programado siguiendo las normas de la biblioteca MODULEF. Utiliza el
mdulo PIGRA para la obtencin de un mallado regular y parte del mdulo DAMIAN
para el clculo de los coeficientes correspondientes al operador de up-wind (para la
documentacin de estos mdulos ver [32]).
ix
x
Captulo 1
poroso
1.1 Planteamiento del problema
Sea O un subconjunto abierto conexo de JflN (N =2) de frontera lipscbitciana E O
representa un medio poroso a travs del cual se filtra un fluido. En su frontera distin-
guimos tres zonas: una parte impermeable E, una parte semipermeable 1 y una parte
totalmente permeable, que est en contacto con el aire pD~
Suponemos que:
pD ~
PDUFWUPIP
Llamaremos Q = O x (0,T).
Desde el punto de vista fsico, cada componente conexa de i?w representa la frontera
que separa el medio poroso de un embalse. Cuando E es no vaco, un dato importante
en este problema es el nivel del fluido en los embalses que, en general, vara con el
tiempo. Sea ~ E 001(9), ~ = O la funcin que representa la presin del fluido en el
exterior del dique. Supondremos la presin atmosfrica normalizada a cero, de manera
que P~ fl {#Vt) = 01 es una zona de la frontera que en ese instante est en contacto
con el aire. Si suponemos, por ejemplo, que el numero de componentes conexas de
1
a
si
ji
fl {#(t~) > 0} coincide en todo instante t con el nmero de embalses N5, la manera
si
pW
= 17
Ex (O,T)
x (0,T)
2
>0w
=
=
pV >< (0,1)
Fw x (O,T)
si
2
D
r
>1 w 2
~
si
j~
*r~~ . ~.~~.44.*~< ~
+ :&:..:Z ~#.ys.
4U*~@ :.c.>.#~ & tt
~1
2
.. 4j.~S .0t~%~M
2- 44% ~.*.d*4.:t~.*~
t* >7 :~t4.** ~ ~ ..
4.
si
Figura 1.1: 2
El fluido se filtra a travs (le dique, mojando en cada instante t un subconjunto )V(t) si
deO. SeaVV={(x,t)EQIxEVV(t)}.
La ley fundamental que gobierna el movimiento del fluido en VV es la ley de Darcy.
Sea q la descarga especfica, esto es, el volumen de agua que fluye por unidad de tiempo
2
a travs de una superficie unidad, normal a la direccin del flujo. Sean p la presin y
~1
2
2
si
4 la altura piezomtrica. La ley de Darcy, establece que la descarga especfica
= p + fl~\r
est dada por
q = KV(p + XN) =
O(ap
_____ = div(pq).
at
Se define el coeficiente de compresibilidad <le fluido como
i Op
O(ap) Op O~> Op _ 04
~ =ay~j =apfi-j~ apfi
Siguiendo a Bear ([7]), se supone que qVp ~ es decir, se supone que las variaciones
en espacio de p son mucho ms pequeas que las variaciones en tiempo. Podemos escribir
la ley de conservacin de la masa del siguiente modo:
04
aPfi-ff = pdivq.
Haciendo uso de la ley de Darcy y llamando a = afi obtenemos que la altura piezomtrica
verifica en VV la ecuacin
04 =
al
Se trata ahora de obtener una ecuacion vlida en todo Q, ya que a priori no se conoce
VV. Seguiremos el argumento de E. DiBenedeto y A. Friedman en [24].
La frontera libre 2 es la regin O({p > 0)) 11 Q; es una parte de OVV y en ella se
verifica que
p = 0,
u (q, i) = 0,
)
a
2
ti
siendo u E
ella
IRNl el vector normal exterior, unitario. Por la propia definicin de >0 en
(Vp, pt)
si
= (vx~,vxN,vt).
u
1/ =
2 +pfl1~2
_______________
(Vp~
Segn esto y la ley de Darcy, se verifica que
Op
OxN Ot
O en>0.
2
De aqu se deduce formalmente una ecuacin en V(Q):
v~4aj p=
a a
< H(p)
Ot
H(p),~>
OXN
Llamemos g a la saturacin, tenemos entonces:
a
si
g E H(p) en (1.1) 2
a a
OxJ~T y en D(Q). (1.2)
si
{
11 es el grafo maximal montono de Heaviside:
11(s) = [0,1] si
si s > O
5 = O
a
si 8 < O
4
a
Condiciones de contorno y dato inicial
>0~ es la regin de la frontera impermeable, por tanto no hay flujo a traves de ella,
es decir
q u =.0 en
si
4 es
que escrito en funcin de
O en>D.
(i.3)
1
4
si
ti
si
>0V es una region de la frontera que siempre est en contacto con el aire y que
es permeable. Tenemos por tanto condiciones de tipo Dirichlet. Como la presin
atmosfrica est normalizada a cero ha de ser
En ningn momento hay flujo hacia el interior en esta regin, pero es posible que
el fluido salga del medio poroso a traves de ella. Se tiene de este modo la siguiente
condicin sobre el flujo:
9 en>0V. (1.5)
~(z + XN) =O
>0W es una frontera semipermeable. Si p es la presin en el dominio considerado y
~ la presin exterior, en >0W se supone que el flujo es funcin de la diferencia entre
ambas.
a + xiv) = fi(d p) en ~w (1.6)
fi es una funcin real de variable real, continua, montona creciente y tal que
fi (O) = 0. En el modelo ms simple, fi(s) = sic donde c es la resistencia de la capa
semipermeable.
Formulacin dbil
Definicin 1.1 Sea p0 E L2(O), p0 =O y seat E H(p0); se dice que un par defunczones
(p, y) es solucin dcl problema (P~,~o~~pc) si y slo si verifica
5
u
4
a
(1.10)
p = O en >0V
(1.11) J
g E H(p) c.t.p. (sc)) E Q
a
V ~E H(Q)
J (X7pge)S7j(g+crpY~t =
(y0 + ap0),O)
O y ~ =O en 1 (1.12)
4
1.2 Primeros resultados
1.2.1 Regularidad si
Llamaremos V al espacio
V = {C E fi1(O) 4 = O en pD}
ti
y y a su dual topolgico.
~1
Observacin 1.2 Sea (p,g) una solucin de (P). Supongamos que existen dos constan-
tes a, b tales que fi(s)~ =a~s~ + b para todo s E IR; entonces la aplicacion
L2(O,T;V)
4 JQ(P + ye)S7~ fi(~ si
es un elemento de [L2(O, T; y)] = 9(0, T; y).
V(0, T; V) tenemos:
Adems si tomamos la funcin ~ en
ti
L (Vp + ge)V~
/~ fi(#P=j(ycvpRt= u
= < (y+cxp) t >,
u
(y+cxp) E C0([O,T);V) a
(Ver [26]). #
si
a
6
si
A la vista de esta observacin se tiene que si un par (p,g) es solucin de (P2,~o+~~o)
entonces 0+ap0
g(.,O)+ap(,O) =g
como elementos de V.
El primer resultado que veremos es un lema tcnico relativo a cmo manejar funciones
test ms generales que las que se indican en la formulacin dbil del problema. Nos
interesa en concreto tomar funciones test de la forma F(p). Este primer lema, como
las dos proposiciones que se demuestran a continuacin, es vlido para pares (p, y) que
verifiquen las ecuaciones (1.1) y (1.2), independientemente de la condicin de contorno
que se tenga en >0t Por eso consideramos el siguiente problema (PA):
Definicin 1.3 Sea fi E L2(>0w); diremos que un par de funciones (p, y) es una solucin
de (P$) si verifica (1.8), (1.9), (1.10), (1.11) y
Jvp + ge)S7
V ~ E H1(Q) tal que t(x, O)
+ ~p)& =
= ~(x, T) =
/k
O c.t.p. sc E O (113)
y ~ =0 en >0V
Lerna 1.4 Sea (p,g) solucin de (P,j), sea q E H(Q) y sea F E Wj~o(R2), tal que:
j
- F(p, q) E L2(O, T; 111(0))
- F(O,q) E H(Q).
- F(s 2.
1,s2) =O c.t.p. (81,82) E iR
OF
- os~(s1~s2) =O c.t.p. (51,52) E R2 (o bien =0).
OF
~(s~, 2) = F(s 2
1, s2) c.t.p. (si, 82) E iR
y supongamos que
OF
- (r,q)q E L2(Q), Vr E L2(O,T;H(O));
082
7
a
ti
entonces:
a
J(Vp + ge)V(F(p, q~) fiF(p, q)~ ti
1 {~(rn~)~t~ +F(~~~)~t} =
fo fiF(O, qk
(1.14)
ej
j(Vp + ge)V(F(0, q)t)
a] p~j(F(O, q)C)
ti
a
V~ E V(Q x (O,T)).
En particular, si F(O, q)~ = O en >0V entonces
u
+ ye)N7(F(p, qg)
0, q)~)
OF
ti
0= J(P + ye)(x, i)S74(x, 1 <dx di
ti
u (Vp + ge)(x, t)V C(x,tr)dxdi++ (f(g+cvp)(x,)c(x,tw)dxd)
8
a
a
J
Esta igualdad se verifica tambin para cualquier funcin 4 E L2(0,T; 1) tal que 4 = O
c.p.t. (x,t) E O x ((O,r~) U (T ro,T))
Sea E V(IRN x (r
0,T a)), 4 =O y tomemos 4 = F(p,q)4
F(0,q)4 (que
Llamemos O a la funcion
= (9 + ap)(x,1)F(O,q(x,l r))4(x,l
r)dxdl
1(ro, o) y se verifica
es una funcin
la igualdad de Ct(~ro, a), por lo tanto 0(r) es un funcin de C
9
E
s
-I
s
03(r) = a J[p(x, t)F(p(x, it), q(x, i))t(x, t) .F(p(x, it), q(x, t))~(x, t))dx dt. u
04(r) L y(x,t + r)F(O,q(x,t))~(x,t)+ 4
+ aJ F(p(x, it + w), q(x, it))t(x, it)dx di. u
1(ro, r
La funcin (0~ + 02)(r) E C 0) tiene en r = O un extremo y por tanto (O +
02)(0) = O. En efecto, 01 + 02 = 0 0~ 04 E C1(~ro, w0), distinguimos dos casos:
si
0=01(r) =y(x,t+r)[F(p(x,t),q(x,t))F(0,q(x,t))] = u
=F(p(x,t),q(x,it)) F(0,q(x,t)) =
= g(x, t)[F(p(x, it), q(x, 1)) F(0, q(x, it))] = 0~(O)
y por tanto
O(r) =0~(O), Vr E (ro,ro) ti
Adems la funcin s1 F(sl,s2) es una funcin convexa y por tanto para casi todo
si
*
E C([O,T];LNO)).
ye)Vp] = aT =
of tlIPIL2(I2) d
jjILPHL2~o
2
=
ia < >V(0,T)xP(0,T),
es decir
a d 2
ji ~[Jrw~~
(Vp + ye)Vp] 2
11
si
a
u
y por tanto = JrwAP
(Vp + ye)S7p
ti
en sentido de D(O, T). Ahora bin, la funcion
Ii
it ji fip Vp + ye)Vp
ti
1 4 jILPIn2(Q si
W1(O,T) c
es una funcin de C([O, T]). Se tiene entonces que
apC C([O,TI;L2(O)). #
ti
Observacin 1.6 En el caso incompresible (a = O) no es cierto en general que p sea
continua (ver [19]).
u
La siguiente proposcion es otro resultado de regularidad de p.
si
Proposicin 1.7 Sean (p,y) solucin de (P 0 E (O) enitonces p E
0~2o~~~o); si ap II
Loo(Q). En particular en el caso incompresible (a = 0) se tiene p E Loo(Q).
para todo xiv E IR tal que (x,xN) E O para algn sc E Rt4. Llamemos q a la funcin
q(x) = O x~ y sea F(p, q) = (p q)~. Sea ,s la funcin
si
1
0 si 0<1<6
~1 5
si t<it<23
5
1 si 2~5<t<T2& u
1 (T3)t
O
&
12
J~ fi(~ p)F(p, q)&
a
ej
J
cj~jjJRP~~) ji J0FQ>q)) = o
$p, q) 2
__________ = 2 qfl
[F(p,
2
Como ya vimos que ap E C([O,T]; L2(O)) al pasar al lmite cuando 5 tiende a cero
tenemos + e)VF(p, q) J(~ fi(4 p)F(p, q)
\/n\112 1 uuni~irr~i2N
CV it 7>, >IUjlI,2~fl~ IIrIv.oII1IIIr2,n~I = O
K2 ~ 2
y como fiGk p)(p q)~ <O tenemos
Irq + e)VF(p, q) = O
por lo tanto
es decir
u V(p q)VF(p, q) a GIFdP~ q)(O)11j2(Q) q)(T)11L2(o)) =o
~F(p,
7(p q)~H~2(Q) +
531 ii(p
q)~(T)It2(g) =O
ya que j(p
II~
q)~(O)IL2(g) = O.
Puesto que (p q)~ = O en >0V se deduce que (p q)~ = O c.p.t.(x,i) E 9, por lo
cual p =q c.p.t.(x,it) E 9. #
13
s
Proposicin 1.9 Sea {c} una sucesin de nmeros reales positivos que tiende a cero y
~1
sean (pe,ge) solucin de (Pj~,,p,go+~po), con fis(s) = s/e; enitonces la sucesin {(pc,yc)}c=o
converge dbilmente en L2(O,T;H(O)) x L2(Q) haca una solucin de (Poo~go+apo).
Demostracin.- Comenzamos estableciendo distintas acotaciones a priori de Z~e y y~
que nos permitirn, mediante argumentos de compacidad, pasar al lmite cuando e tiende
a cero.
Sea F(si, 82) = si y ~ = como en la proposicin anterior. Por el lema 1.4 sabemos
que se verifica:
JQ(PC + g~e)Vp~~ Y
2JPfl = O.
Pasando al lmite cuando & tiende a cero se obtiene
L(vPe 9~e)v~&J2~ ~ ~
de donde haciendo tender ~5a cero se tiene, puesto que Ye + cvpe E C
0([O, 1); y)
=0 J
JQ(PY)#JW
(gO + ap% O) +
+ apc)(T)#T) = O. 1 (1.19)
(Vpc + g~e)V(p~ /~
e
Pc #) +
JQ(YC + ap~)sb~ =
IVPCVL2(c))N +
2 )~2(Q) =
14
s
JQ\PJJQ ye JQCJ
OxN
+ (yo + ap0)q$(O) =
IPHL2(Q) =CIVPH(L2(Q)>N
donde O es una constante independiente de e y de este modo obtenemos
es decir
a + cvc)1L2(or;nI(rn) < 0. (1.21)
Sea
0
= ~ E L2(O, T; L2(O)), ~ e L2(O, T; H1(O))}.
Las acotaciones (1.20) y (1.21) nos proporcionan una cota uniforme de Ye + &Pe en W.
Este espacio W est contenido en L2(O, T; H~ (O)) con inyeccin compacta, de modo que
existe una subsucesin de {Yc + cvpc}c>o fuertemente convergente en L2(O,T; H(ffl).
De la acotacin (1.20) y la desigualdad de Poincar obtenemos una acotacin uniforme
de la norma de lic en L2(0,T;H1(O)) y por tanto es posible extraer una subsucesin
dbilmente convergente en L2(0,T;H(O)) hacia un lmite. Por otra parte, al ser
YcHL4Q) =1 existe tambin una subsucesin de {Ye}c>o dbilmente convergente en
L2(Q) hacia ~j.
15
MI
ti
En definitiva podemos extraer una subsucesin de
mando {(Ye,Pe)le) que verifica
{(y~,~~)l~>O (que seguiremos lla-
MI
en L2(0, T; 111(0)),
Pc
Yc
13
4
en sE
en L2(O,T;H(O)).
Ye + CVPc 4+ a
ti
4
de modo que
u (1gjp~=O Vc>O,
4
a
(1 (4+cEli134.
u (14)13=0.
ParaSea
cada
MI
+ g~e)V4 Ye + apc)4t = 4 (y0 + crp0)4(O).
16
ti
a
ti
Pasando al lmite cuando e tiende a cero:
Por ltimo
u (V13+4e)S7t
+ (y
0 + cxp)#0))
4
Todo el trmino entre parntesis a la derecha, est uniformemente acotado en e de modo
que
hm ~ liciL2(~W) = O.
Puesto que la traza en >0W es un operador lineal y continuo de L2(O, T; 111(0)) en L2(>0W)
es deblmente continuo, de manera que
13 = q$ en
pc~13 enL2(Q)
pues
lic~P enL2(Q)
y
4 &13~j.2(Q)
17
u
MI
Iii
yVn=1,...,M
Yo + &po = y
<t;2t~4; 4 ~ en (126) MI
Tenemos en cada paso una inecuacion varacional elptica de la forma MI
4 [(g,~+ apnY~ + (Vp~ + y~e)V] =<1 f~i + 4 fi(#t~) u
V E 111(0) tal que ~ > O en pV, donde fni = Yn1 + &Pn...1 es una funcin conocida
que est en el espacio L2(O) y es no negativa.
Para resolver en cada paso este problema elptico seguimos el argumento de [18]. Sea
u
IL la aproximacin del grafo de Heaviside definida si
0/ si s <O
Hc(s){ si0<s<c
7/6 516<5
_ a
Consideremos el siguiente problema regularizado (Pre)
MI
Hallar q~ E V tal que
~ (Hc(qc) + aq~)~ + ~q~
= 4~ 4 + f3(t,~)
+ H~(q~)e)W =
q~
} u
u
18
u
~
V~ E 111(0) tal que ~ = O en
Proposicin 1.11 Sea fi continua, montona crecienite, que verfica fi(O) = O y para dos
consitantes a y b
fi(s) =as + b Vs E iR;
Entonces para todo e > O, existe una itaica solucin ~ del problema (P~~). Adems
q~ =O c.t.p. sc E O.
Demostracin.- Definimos el operador T : L2(O) L2(O) del siguiente modo: a
*
4 ~ fi(t,~) p)t~ =
j 114q)(4= +
para todo E V.
= 4~ 8(q5(it~)
19
u
a
u
- Sm 8(#i~) &)(oil = B(I~) o)(a)I =O c.t.p. a E ]7W a
sup ji
Por el lema de Fatou u
B(t~) o) =lirinfjiw B(#i~) k). MI
Hemos visto entonces que J es convexa y semicontinua inferiormente. Adems J es
coercitiva ya que al ser 13(s) =O para todo s resulta 2
Por tanto existe p E y tal que
J() = ClI~1(o) + c211IIHI (fi) Ii
Hm i[j(
A
+ >4) i(~i] =
ji~ fi(t~) )4. 2
Si llamamos J a la derivada Cateaux de J se tiene, para toda funcin 4 EV a
O < J(p),4 >VxV jli4+jvlivc.
20
u
MI
~jfn~4+j1:Jc(q) (~+
Esto prueba que el problema (P,,t,q) tiene solucin, pero adems la solucin es unca.
En efecto, si hubiera dos soluciones p, p E V se verificara para todo 4 E V
li)]4 = O.
w[fi(itn) p) fi(~~)
Si tomamos 4 = p p como es montona
de i~nodo que
HI~
1~
li IIL2(fl> + IV(p li)I~Lcn)> < O
y por tanto p = p.
T es continua:
Dadas q,q E L2(O) sean p = T(q), p = T(q)
Ip liMvg~) + V(p li)I~L2(o))N =
7
=~[fiU$
4) p) fi(sb(t.) p)](p
~jIsI~(q) 11~(q)iL(cz~
(}~ li11L2(fl) + flS7(p
CV 1 1
+IPIL2(o) + HVli~IU2(o))N = flfnI 1L2(fl)HPHL2(fl) + 1 fi(t~)
r r JrW
+1011/2 (liL(rn +
21
Por la monotona de fi y por ser ~4) =O
fi(t~) p)p = fi(#t~) ~)~) ~ fi(M p)(#t.) p)
~ IIPLILQ(Q) + iVPfl(L2
0n)N =0.
2(O)) es un acotado de V y la inyeccin de Ven L2(O)) es compacta,
Puesto T(L efectivamente T(L2(O)) es un subconjunto precompacto de L2(O).
que que
deducimos
Se deduce, por el teorema de punto fijo de Schauder, que T tiene un punto fijo, qe que
sera solucion del problema (P
7~)
Para ver la unicidad seguiremos el argumento empleado por 14. Brezis, D. l<inderlehrer
y O. Stampacchia en [10]. Consideremos la funcin
O sisc<0
Si q y q son dos soluciones del problema (F7~), tomemos como funcin test gs(q qQ
/1 9
= ] (14(q) H~(q)) I~jY(q qQ + ~Ys(~ )+
V(q q)Vy5(q q) =
12 (H~q) H~(q))
0
ys(q q). (1.27)
2
Osc N
Teniendo en cuenta la lipschitcianidad de H~
14(q) H~(q) =lq qi;
e
22
-fl
por otra parte llamando Q = q
o
o 0Qt
siQ=O
Ox N Ys(Qfr{ siQ>0
osciv Q2
Puesto que
jifi V
x5/ =
( I~QIN2 101
H ln (i + ~ 5)+) HL2w =O
donde O es una constante que no depende de 5. Haciendo tender 5 a cero se deduce que
Q =O c.t.p. sc E O. Puesto que el razonamiento puede repetirse tomando qq se deduce
que Q = O c.t.p. sc E O.
Por ltimo, para ver que qe es mayor que cero tomemos como funcin test = qJ =
min{O, qj
=
7
ji f,ti(q;-) + ~ fiekt~) <O
es decir
llq~HL2(o> + HVq~H(L(Q)>N =O
fi(#it~) 04 e Ll(FW)
- SiN > 2 entonces H1/2(W) C L~(I) para todo y que verifique 2 < r < (N 1)2
N2
23
)
si
u
- Si N = 2 entonces H1/2(fW) c Lr(L~W) para todo r que verifique 2 < r < oc. 1
Para tener fi(~~))4 E Ll(FIV)essuficientepedirfi(tn)~4) E con
1
+
1
= 1 (r =
s
u
r/(r 1)). Si tenemos para fi(s) una acotacin de la forma Ifi(~) =as~ + bentonces
4 E L~ =~> fi(t~) s) E C U
y
si r < es decir e < r 1.
e
De modo que para demostrar la existencia de solucin de (P~,~) es suficiente pedir
fi(s) =as~ + b
con 4
N
N2 siN>2 4
e < oc si N = 2.
1
Haciendo tender e a cero se obtiene la existencia de solucin del problema (P7).
Proposicin 1.13 Sea fi continua, montona creciente, que verifica fi(o) = O y para dos MI
constantes a y b
Ifi(s) =as + b Vs E iR; 1
Enitonces el problema (P7) tiene solucin.
Tambin iJ~(q~) est uniformemente acotada, de modo que por argumentos clsicos de
compacidad podenios obtener una subsucesin (a la que seguiremos llamando {q~1~>o)
4
tal que: q~ p,, en ~
lin en
4
__
* p,. en
hJ~(q~) ~ g,, en 13(0) 4
24
4
Puesto que los conjuntos
{q E V 1 q(sc) =O c.t.p. sc E 01
{g E L~(O) 1 0 =g =1 c.t.p. sc E 14
son cerrados y convexos, son dbilmente cerrados de modo que tambin se verifica pn(sc) =
O y O =y~ =1 c.t.p. sc E O
Como
(1 He(qe))(qc c)~ = O
ji
para todo e y p,, =O al pasar al lmite se tiene
jiQ(i g~)p,. = O.
Slo nos queda demostrar que (p,2,y,.) verifica la inecuacin (1.26). Sea E 111(0),
=O en >0V; consideremos la funcin 4,~ = min{, q~/5} E V, 5 > O. Tomndola como
funcin test en el problema (P1,~) se obtiene:
1 0
; j (I4(q~) + aqc)~,s +
412 fn-i&,&
qt,e
He(qt)0&,s
= o. 1~ (1.28)
12 qc&,s 44 q.
Tambin se tiene que
0
fi Hc(qc)&,s + =t~
= ji ji
~ 12 5H6(q,j + =
12 IJc(qc) ON
El trmino f~ f,~~&,s lo descomponemos del siguiente modo:
25
~~1
a
1
4 Jn1C + ji = 12~~ a
y de manera anloga
Vq~V +
S7q~
5 ji \7q~V> 4 Vq~V.
~ fi(t,~) q~)&,s =
ji
fi(#it~) qc)&,s + ji 4 ~ fi(it,2) q~t.
De todo esto se deduce que al pasar al lmite cuando 5 tiende a cero en (1.28) se
obtiene
1
ji (Ho + CEqc) + [Vq~v+ ~
a
~ L CINJ
1
0]
j(yn + ap~) + 12 ~ +Yny-]
26
2
Asociadas a cada itt, definimos las funciones:
4~(it) = ( it
Proposicin 1.14 Sea fi continua, montona creciente, que verifica fi(o) = O y para dos
constantes a y b
fi(s) =as + b Vs C iR;
T, g u
sea ~ solucin del problema (P7) y sean
en (1.29). Entonces existe una constante O tal que p 4r las funciones definidas
PIL2(O,T.HI(fl)) < O
(1.30)
I2(> =O
0
+ &liT)IL2(o,T;H~1(fl>) O (1.31)
(1.32)
PflL2(Q)=CVn=O,...,M. (1.33)
0 E Loo(O), entonces
Adems, si ap
(1.34)
7
+ 1s7liflrL20-O)N =
a
a
< ClS7pflI(L2(n>)N + jlini L(Q)lIpn!L2(C=)+ c= 1
mi
+
1
={LS7Pn~L2(rn>N
Multiplicando por w y sumando en n resulta
+ WPU1Y2(Q) rPnIIi~2n + 0.
a
Al
1
= 7>3 Vpnl?L2(n),N =&POJ)(fl) + TO mi
O=Yri=i Vn=1,...,M. 1
Para demostrar la desigualdad (1.32) observamos primero que
bit Vr
Yn1 Pm~Pm-
7- ~ (ffi&)
a
Dada E Hg(O) se verifica para cada n = 1, ,Al que:
(
...
0
Y,
7 + ~~lin~Pni -12 (vlinv a
OXJN / 1
=(IVli,,l(L2(o))N + O1/2)v(L2(fl))N.
Ahora si tomamos EL 2(O, T; H (O)) se tiene para casi todo it E (t,,a, it,,)
mi
0
12
~j(YT+ apT)(it, sc)(t, sc)dx =
si
QJ Y,ti
](~ Pm
r
li,ii
) (x)Q,sc)dsc =
1
= (Vp~ (L2(QDN + Oi/2) (it)HI (fl)~
Llamemos L(t) a la funcion mi
L(t)
M
= >3(11S7p,,II(L20N +
si
n1
con esta notacin, al hacer el producto de dualidad de (g + apX) con una funcin
a
Ot
E L2(O, T; H(O)) se obtiene:
a
si
(y + alifl&, sc)(it, <dx =
ji~ bit 1
mi
28
,>
< LHL2(0,T)L2(o,T;HI(Q)).
+ IIVlinhI<L
2(O))N ~
Gij Vpfl~~~~ + TIPn1IL2(flIlin
1L2(Q> + O.
1j (1.35)
Por tanto
HlinL1.,2(o) =HPn~~1L2(O)IlinIL (~2) + O.
Si a ~ O
20
IPriL2(n) =liui L2(Q) + ~2O < PoL2(fl) + T
a
lo que demuestra 1.33 . Si a = O de (1.35) se deduce
hS7lin(Lov =o
y de aqu por la desigualdad de Poincar/e
PrtL2(Q) =O
de modo que tambin en este caso se demuestra 1.33.
Supongamos ahora que ap0 E L~. Sea 1< una constante positiva tal que:
1< sc,, > O para todo sc,, E IR tal que (sc, scN) E 1 para algn sc E j~N-4~
1< sc,, =~ en Q.
Si a ~ O pidamos adems que:
1< sc,, =IIPOIILo(Q) para todo sc E O.
Llamemos tv a la funcin tu = 1< sciv. Distinguimos dos casos segn sea a positivo
o cero.
Si a ~ O segn estas hiptesis, (PO w)+ = O c.t.p. sc E O y podemos razonar por
12vw+e>~=O VE111(O)
29
7
y (p,, w)~
O c.t.p. sc E {p,, = O}, tomando = (p,, u,)~ como funcin test en (i.26) 1
tenemos
w)~]~L2(fl))N =0 2
y por tanto
Teorema 1.15 Sea fi continua, montona creciente, que verifica fi(O) = O y para dos
consitanites a y b
fi(s) =as + b Vs E iR;
entonces existe un par (p,y) que es solucin del problema (P).
30
2
1
Demostracin.- Sea {(p,,,y,,)}~L0 solucin del problema (Pr) y sean Y y las fun-
ciones definidas en (1.29). De las acotaciones a priori (1.30) y (1.31) obtenidas en la
proposicion anterior se deduce que existen subsucesiones (que seguiremos designando
{Y}o y {?lr>o ) tales que
2(O,T;1I(O)),
Y ~p en L
~~r enL2(Q).
Veamos que el par (p, y) as obtenido es solucin de (P)
Paso 1: p y g verifican
u (1 y)p = O. (1.36)
gr +
proposicin 1.9: de las acotaciones (1.30) y (1.31) se deduce una acotacion uniforme de
Sea
CVpIL2(q)
= e L2(Q) y ~ E L2(O,T;H(O))}.
it
Puesto que W c L2(0, T; H(O)) con inyeccin compacta, la acotacin (1.32) nos dice
que existe un subsucesin de {g + ap1r>o fuertemente convergente en L2(O, T; 111(O))
(g + apr))pr 14 (1
y por tanto
ji( (y + ap))p4.
V e 79(0).
Veamos dos resultados intermedios que necesitamos para completar la demostracin:
t +0
4 0.
En efecto
L y)k L =
31
si
MI
= VPn(L2(Q))N ~(u~v~~ 12 PnPni) 12 ~Dli,, mi~1
+ fi(~~) p,,)q$(t,,)
MI
= Ol ~~~lkQ)r+ ~(Ili 1IL2(fl) IlinWv(o>) + 0. 1
mi
Multiplicando por w y sumando en n
G~12d Yn)Pn) =
1
=CV~L2(Q))N + +Ipo _
a
2 L2(O) + TC <
por tanto
(1 yr)pr <rO.
jiQ ~1
r*0 \JQ
Tenemos
jiliJ3e =
jo~ +
Al 1j 1
(jr +p~)k
~ Pni)lin~ = mi
siendo
pr = >3pn~~
M
1yn(it).
-u
n=1 ~1
Ahora bien mi
Y + p 2li 2(Q),
en 19
por lo tanto si
=liminf jiQ (Y +r)k
4jiQ
32
a
si
MI
De los dos resultados anteriores se obtiene que para toda funcin ~ E 79(0), ~ =O
li2~
(1- (y + ap))p = hm
Lp)
=a 2
de donde se deduce que
g)li < O.
<2(1 g)p = O
} (1.37)
1
5r
<+atv
+ +
kS?kw~r+r9 (1.38)
(go apo>~Qi) + (gAl CVliM)itM+1) = 12~
siendo fi$ = Z~L
1 fi(it,,, sc) p4(sc))y,,(it) = fi(~ .-.. Y)
De la hiptesis de crecimiento en el infinito de fi y de las acotaciones a priori (1.30)
y (i.31) se deduce una acotacin de IfiIIL2(rw). En electo
Al M
fi~ V = Tz jfi(it,,) lifl)L2(Fw) = linL2(rw) + 02) =
4=0 4=0
33
a
a
III
=Cw~
ri=0
jit,,) linI~h(fl) + T02 =C~. 4
Por tanto existe fi E Ll2(>0W) y existe una subsucesin de ~ Y tales que a
fiV Y) fi en Ll2(>0w).
Y g en L2(Q) a
y (1 g)p = O. si
Adems, de la acotacin (1.33) deducimos que exiten x E Loo(o) y q c L2(O) tales que,
al menos para una subsucesion a
+ CVPAl x + ctq en L2(O). 4
Pasando al lmite en (1.38) y por la densidad de 79(o) en 111(Q) obtenemos
ji (vlivt+~ ~)
+ cxPo)~(O) + 4 (~+
2 cxp)&
(x + cizq)4(T) = k~
MI4
Vt E H1(Q) tal que ~ =O en >0V, y adems
+ aq = y(T) + ap(T) u
en sentido de las trazas. 4
Paso 3: fi = fi(sbp).
Si tomamos p como funcin test en la ecuacin (1.37), haciendo uso del lema 1.4 se
obtiene
u
+ ji ft + ~(li(T)~(n) li(O)t2(rn) = L~ ~ (1 39) 4
Por otra parte, tomando p,, como funcin test en (1.26) tenemos u
+ 12 ~ + HlinL2w, = 4
34.
u
a
= ~
(1 gn1)lin + ~ fi(~) PrOli_ <
=~-( +
~It~~ Ilin.-1IL2(Q)) + Iv
\7~3r2 + 2 ~:;
+ %IliAl~
2(Q> =li0ML2(Q) +
fi~Y
(1.40)
1<-
2W firr + Ivfr-rL2(2))N + ~PML(Q)) =
<Hm (<~ ON
+yIlpo IL2(Q))) =
+ ~IP0lL2(Q)=
2W fip + Vlil~L(2))N +
De la convergencia
2(O)
M + CrPM g(T) + a4T) en L
se deduce que hm mf li
1V1 L2(Q) =li(T)L2(n) (1.41)
y como 2 =IS7li~L2(Q))N
hm mf 1FS7r1 (1.42)
se tiene que
hm sup (ji fiTp) = ji~
fili.
(1.43)
De aqu se deduce que
SW(P(~~ ~t) 11
. =o V (1.44)
4~ E
Efectivamente
0= j;~o~k ~) fi(d7 )](~
pasando al lmite
35
4
MI
Como el operador 4
J92 (>0W) -4 12 (>0W)
y fiek4)
es maximal montono de la deisgualdad 1.44 se deduce que si
fi=fi(dp) 3
En particular
0< J(fiV Y) fi)(3T
si
de modo que
Y) fi)(Y li))
= hm mf ( f~ fi(dt)r) +jA~
si
C5 (lecir
hm sup(jifi~)
4
Por tanto
fw filyr))
Esto quiere decir que de hecho es
=~
Iim(V~L2<2,)N + ~IPML2(Q>) +
a
i
pero a la vista de (1.41) y (1.42) mi
hm sup Vp ~L2(2))N =
4
= hm sup +2 IPML
2
2(Q) i
= Vp~L2(2 + ~1p(T)L2(Q) + hm sup (~iliM~2(Q)) =
= vp?L2(2))N + ~p(T)~,
2(Q) liminf.~IIpMIi2<o) <
-MI
1
=Vli~<~r =hm mf VY I~L2(2))N. 2(O,T;H1(Q)) se deduce
Por tanto Vli(L2(2))N = limVY(L2(2N. Como Y pen L
convergencia fuerte
7 p
en L2 (O, T; 1! (0)) #
>
MI
36
si
4
si
Corolario 1.16 Sea fi continua, montona creciente, que verifica fi(O) = O y supon-
gamos que op0 E Loo(o). Entonces existe un par (p,y) que es solucin del problema
(.P).
37
38
Captulo 2
4,,(t) = ( It
Discretizacin en espacio
Sea O,, una aproximacin poligonal de O y sea {TK}h una familia de descomposiciones
en N-smplices de 0h, que depende de un parmetro h > O. Si iv = 2 se trata de una
descomposicin en tringulos, si N = 3 son tetraedros.
39
MI
~1
wi
MI
Para cada descomposicin Th {14fL1
y para cada elemento T~ E 73, llamaremos
h(T~) al dimetro del elemento T~ y p(T1) al supremo de los dimetros de las bolas con-
tenidas en T1. El parmetro h se toma del siguiente modo:
si
it = max{h(T~) T~ E Th}. MI
Supondremos que la descomposicin es regular y de tipo dbilmente agudo: 4
Definicin 2.1 La descomposicin en N-smplices 23, es regular si existe una constante
> 1, independiente de h ital que si
h(T) =cp(T) VT E 13
Es de tipo dbilmente ayudo si para todo elemento T perteneciente a 23, y para cada sc,
, N, vrtice de T la proyeccin de sc~ sobre el hiperpano soporte de la cara
= O,. . .
D=
N
fl{scscET,.,4(sc)=Ai(x)} 4
.2
y A? = A~, >4,... ,>j son las coordenadas baricntricas respecto de los vrtices dc 74,
0
sc~ = x~
1
00h
=
40
miE
-Imi
x
x 2
Sean J,. = {i E 4 x~
que se corresponden con las tres regiones distintas de la frontera de O.
E F,.}, .1/ = {i E 1,. sc~ E Eh} y anlogamente definidos, 4,
ji3
Pedimos la siguiente hiptesis de aproximacin del dominio:
Hiptesis 2.1 Existe una sucesin ~ ~4
o ital que
Hh = { c 00(rKK) ~T EF
1 VTEI3,} (2.1)
siendo I~1 el espacio de polinomios de 11h
grado
tal uno.
que
Sea { wi}iEIh una base del espacio
w~(scg) = ~ Vi,] E 13,.
1<,. = = >3 Q~ 1 Q
.1,
E IR Vi E <14.
41
1
mi
MI
MI
si
a
Vector o
MI
Figura 2.2: Elemento up-wind si
Para la discretizacin del trmino vamos a utilizar un operador de tipo up-wind MI
(ver [39])
Dx iv
MI
Definicin 2.2 Un elemento U E 73, se dice que es elemento up-wind asociado al nodo
sc~ st:
1. xi es un vrtice de U
Operador de interpolacin en
C0(~?) * L,. MI
R4E) = >3 ~(x,)x,(sc)
tE h
Operador de traza
73, : C0(K~?) * 1=1,. si
= >3 ~(sc.)r.(x)
ig V
42
MI
1
mi
Operador de derivacin discreto
= >3 D~(~)y4sc)
16 h
donde
si existe U1
Planteamiento
tal que
p~(sc1) =O Vi E 1,., p~(xi) = O Vi E
0(sc)=l ViEt
O<y
y
(1 g0)cxR,.(p0) = O
Llamemos &~(sc) = x,it,,), n = 1,..., M y definimos la funcin
Al
V,. = {~ E H, = O Vi E i~}.
13
s
ti
j
mi
=Iv
Ji
fi(T,.(~,, ph,fl))T,.(&) MI
V& E .11,. tal que 0 =0 Vi E
4
V~, E .FL, tal que 0=0 si p~ =0 J
mi
En lo sucesivo no escribiremos explcitamente la dependencia en h de las funciones 1
discreta para simplificar la notacin.
Proposicin 2.4 Sea ~k= {i E 1,. /4 esit bien definido}; sea e la constante
= max ~
MI
~U1
44
siendo
a(t,4) = 12 (SkS74 + =iRG~)Rh(4)) Vt4EH,.
y
b(x,~) = 12k. CxD~ + xRh(~)) V~ E Lh yV~ E .11,..
Si adems h
7<
3c
entonces se verifica tambin que
>3 bQy,,w~) >0 Vi E 1,.. (2.10)
j6 Ib
si j = i
=c>3U] f 0w e
~<J~ Ti
~
< +Sop(w)I
h =
3~Dd.
Como
1
>3 bQ<5,w~) = ;IDi + ~ 12,, xsD,.(w~)
se tiene
>3 b(x1,w~) = 32I). + Ql
1 >0
.26 1h h
s r < h/(3c).
45
ti
si
Observacin 2.5 Una primera consecuencia de este resultado es que la matriz B de
coeficientes B = (b1,5)~,561,. ~ = 4,,
+
7-
es una M-matriz, segn la siguiente definicin de J.M. Ortega y W.C. Rheinboldt (ver
[34]):
1 =0, y
Definicin
b 2.6 Una matriz B E L(RY) es una M-matriz si es inversible, B
1~ =0 para todo i,j = 1,...,n; i #J
Las condiciones (2.9) y (2.8) nos permiten deducir que B es una M-matriz en vittud
del siguiente resulta(lo:
u
Proposicin 2.7 Sea B E L(iR~)
queb~,5 =O si i # j, y que
fr, > O
estrictamente diagonalmente dominante y supongamos
para i 1,..., n. Entonces B es una VI-matriz.
=
J
Demostracin.- Ver [34]. j
Teorema 2.8 Supongamos que T,. es de tipo dbilmente agudo y que r < + con ___
Comenzamos por demostrar que este problema tiene solucin. Del mismo modo que 4
se hizo para resolver el problema semidiscreto, llamemos a
8:IR+IB
46
Ud
a la funcin definida
B(s) = ji
Como fi es continua, montona, creciente y fi(O) = O, tenemos que 8 es derivable, convexa
y Y(s) =O XIs E /R. Definimos la aplicacin
j:1f,. * [O,oc)
j(~) = 8(T,.(d,,
y el funcional
}
= ~
<1 : JI,.* IB es continua, extrictamente convexa y verifica que para toda sucesion
{&} G 11,. tal que ~k +oc cuando k tiende a cero entonces ~J(&) +oo. Como Vh~
* ~
Una vez resuelto el problema 1, sea w su solucin. Sea s = VJ(w), es decir, para
cada i E L~
= ~ b
fi(T,.(d,, w))T,.(w~)
[12(vwvw1+$R~ w)xi) +
+ 12~ ~
4~-~ + CYRK(Pn4)XII
y sea
min{0,s~}
47
mi
mi
Puesto que B es una M-matriz, es inversible y el problema 2 tiene para cada F una
unica solucin.
La solucin del problema (P7,,.) se construye por iteracin, utilizando estos dos prob-
lemas auxiliares. Se comienza con Po = y go = y2, que son los datos iniciales del
problema discreto. Una vez calculados pn Y Yni se toma: p,, = tu siendo sta la
solucin del correspondiente problema 1, y y,, = 1 + u siendo U la solucin del problema
u
2 y = 2161,, uixi E Li,.
La demostracin del teorema se concluye viendo que la familia {(p,,,g,,)}~L0 as cons-
truida verifica (2.5), (2.6) y (2.7). 1 > O yE
Sea g. = (gX)6,,, y~ = 1 + u1 Vi E fi, Puesto que B 1 =O Vi E Ji, se tiene
queu1=O ViEJ,.yportantoy_ <1
Para ver que O = yn de nuevo por la monotona de B es suficiente demostrar que
todas las componentes del vector Bg,, son no negativas. Vi E Ji,, b(y,,,w1) =0. Por
construccion
>3 b,,3g~ >3 b1,5 + F1
=
.261h 56I~.
si ~ j, entonces
56b
12~ (v~V S 7w
o;
7
+ =0.
Para ver que se tiene (2.7) no hay ms que observar que
r 1 1
7 J = >3 b,,1u,
56 b
y en particular si u~
= O ya vimos que F = O.
Por ltimo se verifica (2.6) ya que Vi E Ji,
g,,R,.(w
4(y,,D,.
(w~) + 7
1
}IZ.~t,)kUr.i~
56 b
fi(T,.( st,,
-12k (s7p. Vw +
~12b + ~R,.(p,,))x1.
(gn1
12,, (van
a
7
N
+ {4 y,,1 +
M
4 = >3p~(xb,,(t) (2.11)
n=0
Al
= >3 y,,(sc)4(it). (2.12)
49
MI
MI
MI
Vamos a utilizar un argumento anlogo al que se emple para pasar al lmite en
el problema semidiscreto: demostraremos distintas acotaciones a priori de la solucion
discreta que nos permitirn, mediante argumentos de compacidad, demostrar la convei
4
gencia de al menos una subsucesin de (p~,g~) hacia un par (p,y), solucin del problema
continuo.
Para obtener acotaciones uniformes en It y en r de la solucin discreta comenzamos
4
por demostrar algunas propiedades de los espacios y operadores discretos con los que
trabajamos.
si
Lema 2.9 Supongamos que la familia de descomposiciones {73,}>~>o es regular y de tipo
dbilmente agudo; entonces esciste una constante O tal que Vh > O y V~ E 11,. si
ID,.(01L2 (fi,,) =CIS7~I(L2(o,,nn. (2 13)
Demostracin .-La demostracin de que se verifica (2.13) puede encontrarse en [35] ti
De todas formas es interesante incluirla aqu:
V~ E ~ D,.(0lL2<~,., = 12~ ~~ = 4
1~kDscN
b 2 = 2 Dl (1 1
kU11 ~ D~
2
= vi
y por tanto
___
sciv
2
L2(Q,,)
4
ID,.(01L
2<0,,> =CV~L2(nbnN V~ c 11,. # 4
Lema 2.10 Supongamos que u, es regular y de tipo dbilmente agudo. Sean ~jk y H~ los
MI
operadores definidos
flk(~) = >3 x~)w~(sc)
161,,
si
= >3 (sc~)x~(sc)
16 1,
MI
para toda E 00(W). Se verifica que:
50
si
si
- 50 tal que Vh >0 yV4 E 112(0,.) flC0(~I)
HkWH~(a,,) =Chk
2,a (2.14)
donde V2,QJi = N bk
>3 L2(Ob)
Observacin 2.11 Consecuencia inmediata del lema anterior es que existe una con-
stante O tal que Vb > O y V4 E 11,.
Lema 2.12 Supongamos que se verifican las hiptesis Li y 2.2; entonces dada una
sucesin de funciones 4,. E V,. tal
5.
MI
d
MI
Consideremos las funciones
= 4& E ~(O,.
fl B(sc,fl)
y
tu = 44 E 111(Ofl B(x,c)). si
Podemos prolongar tui, del siguiente modo
s
tu,. enO,.
s
O enB(sc,s)\O,..
Esta funcin as definida est en el espacio H(B(x,c)); adems la sucesin Wh est aco-
tada uniformemente en ese espacio de manera que existe una subsucesin, que seguiremos 1
llamando W,., tal que
* u dbilmente en H(B(x,c)). 4
Sea ~ E 79(B(sc,)) tal que ij = O en O; se tiene que ~
~=OenFV. # MI
Por ltimo necesitamos tener en el caso discreto, una desigualdad aiiloga a la de
Poincar. Puesto que
Vi, C {~ E 111(0,.) = O en ij}
ti
para cada It > O existe una constante O tal que para toda ~,. E 11,., 4
&L2(Q,.) =CV&(L2(flb))N 1
En la siguiente hiptesis se pide que esa constante O no dependa cte It.
Hiptesis 2.3 Existe una constante O tal que VIt > O y V~ E Vi, 4
52
si
si
Al final de este captulo damos una condicin suficiente para que se verifique esta
hiptesis.
Una vez demostrados los lemas anteriores podemos establecer las siguientes acota-
ciones a priori de la solucin discreta.
Proposicin 2.13 Sea {(p,,,gn)}~Lo solucin del problema discreto; supongamos que 13,
es regular y de itipo dbilmente agudo, que se verifica la Itiptesis 2.1, y que &jPOII1(QJi>
est uniformemente acotada en It. Entonces existe una constante 1< tal que
M
7>3 \7p,,?L2(Q,,))N <1< (2.16)
Al
n=1
Demostracin.- Para cada u = 1,. , M podernos tomar p,, como funcin test en (2.6)
..
1
+ D,.(p,,) + (1 g,,j)R,.(p,,) + MR,.(p,. p,,.1)R,.(p,,)] =
7
fi(T,.(#,, li,,))T,.(P,,).
12b g,,.1)R,.(p,,) =O
y entonces
S7linI~L2(QJi)>N + ~j1?,.(p~)
IL2(Q,.) <
7
=4, 2Ri,(p,,)Rh(p,,
[D,.(p,,)
+ 1)] + ~, fi(~(l~% p,,))T,jp~) =
CV
=o,.1/2 D,.(p,,)L(Q,,) + Ri,(Ptt)L2(Qb)Ri,(Pfl~1)iL2(Q,,)+
53
si
1
J
a
a
Como fi es montona y st es positiva se verifica que
[Iv
fi(T,.(st,, p,,))T,.(p,.) =
u
Ji
fi(T,.(=b,, p4))Th(st,,)
a
= fi(Ti,(st,, p~))T,.(st,,) =jy fi(T,.())Tdst,,) =o 2
puesto que ~ E 001(0).
Haciendo uso del lema 2.9 y teniendo en cuenta que st =O se tiene la siguiente a
desigualdad:
S7lin~L2(Qb)>N + CV
A?
+ %lVlinI(L2(n,,N+
a
2
+ Rh(p,,l)~2(Q,,)) + ti
y por tanto
In,.(p,,)22(Q )
IS7Pn~L2(g,.>)N +
} (2.19) u
a
Al
7>3
n=1
IVlin~i2(QJi))N =TE + aRh(po)~2(Q,,) + 2T0 =
a
Utilizando la hiptesis 2.3 y la observacin 2.11 tenemos:
IVli,,hI~t2(flb>N =10+ 20
por tanto
IIR,.(p,,)11t2(Q,.> =R,.(p,,) liIt(%.) IPUIIL2(a,,) =
+
=(Ch+C)VpflhI~L(fl,.))N =(OIt + C)(Jx + 20) =1<
Lema 2.14 Esctste una constante O tal que para todo It > O y para todo ~ E H(O,.)
existe una funcin & E {4 E 1-1,. 4 = O Fh} tal que en
4 Rh(&)11L2(aJi) =0ItIItIIw<~b~ (2.20)
55
vi
MI
= 12 ~,. ~)V(4 Flk(4)) + 12,, (& ~0Y4H;1(4)) =
1
mi
< k~ ~IHi(Q,,)I4
Flk(4)nI(Q,,) =Ikh
&IRI(Qb)CIt412,Qb =
=0Ite1p (fi,.) IstIIL2(fl,,) fi
Se deduce de aqu y de la observacin 2.11 que
-t
mi
y por tanto efectivamente se verifica (2.20). #
Proposicin 2.15 Seanp yy~ las funciones definidas en (2.11) y (2.12,). Supongamos
si
que se verifican las hiptesis de la proposicin 2.13 y que existe una constante positiva O
tal que It < Gr. Entonces esciste una constante 1<, independiente de It y de r tal que
a
+ CVRh(4))IL2(o,T;H1(nb)> =A. a
D
Demostracin.- Comenzamos por escribir (g~ + cvR,.(p~)) de forma ms explcita.
bit
Al
D
>3(g,,(sc) + cxR,,(p,,)(sc))4,(t)
+ cvR,.(p)) = =
si
Al -.1
>3 (g,, + ~ 7 si
1 1
(yo
7
+ cvl?,.(po))(x)-y1(t) + (y~
7
+ CVRi,(pM))(x>yM(t) =
si
1j(YnYn~ 1 + &Ri,(
)] si
4,. [y
47Y,,t
P u ~P,,l ~
si
~f,. [Yfl lin)] Rh(h)+
p li--ii
7 J
a
+
56
7- J
si
a
a
Usando la inecuacin (2.6), el lema 2.9 y la observacin 2.11
ji
~ Yni +crJ~k(~~__lin1)]
4 _
fi,. 1 ~ TJ
= + g,,D,.(E,3]+
1/2D,.(4h)L(n,.)+
=VPn(L2(a,,))NV4h(L2(Qb>)N + IOi,
+(O,.1/2 + aR,.(p,, pn1)v(nb)) 4 R,.(4,jL2(a,,) =
=0~ Vli,t(L(o,.))N~4ih1(aJi) +
1
+(O~ + ~y~R,.(p,,
Z[(0VpnIn2Q,.nN + O,./20 + (0
1 + aR,.(p,,
7 li,,1)c2(a,,))CIt]ydit)
9j(Y~
+ crR,.(p~)) con una funcin 4 E L2(0, T; fJ(O,.))
Al hacer el producto de dualidad de ~
se obtiene
57
MI
si
La demostracin se concluye viendo que LL2(o,T) est acotada independientemente 1
de It y 2~ mi
a
a
Condiciones de contorno
Lema 2.16 Supongamos que se verifican las hiptesis 2.1 y 2.2. Sea {~}h,r>o c L2(O, T; V,.)fl
JI,.,,- tal que
~ dbil en
Hiptesis 2.4 Existe una constante independiente de It tal que para toda funcin ~ E Hh
VL2(Pb) =OtH1(a,,)
Al final de este captulo damos una condicin suficiente para que se verifque esta
hiptesis.
Lema 2.17 Existe una constante O > O tal que para todo It > O y para toda funcin
~ E JI,.
59
si
1
J
si1
Demostracin.- Haremos la demostracin para el caso N = 3 pero la misma es vlida
para cualquier dimensin N > 2. vi
Dada ~ E 11,.
16J,, EL
Las caras de O,. son uniones de tringulos. En cada uno de estos tringulos hay nicamente
t6J,.
a
tres funciones w~ no nulas. Llamemos wI<1 1 = 1,2,3 a las tres funciones no nulas en el ~1
tringulo 1< y llamemos &i<, a la restriccin a 1< de esas funciones. Tomemos un tringulo mi
de referencia T, por ejemplo el tringulo de vertices (0, 0), (1,0), (0, 1). Para cada 1<
existe una aplicacin aUn sc = Asc + b que transforma Ten 1<. Sean Pt(sc, y) = 1sc y,
P2(sc,y) = sc, P3(x,y) = y
a
2 2
= ZtWK,,1
,/-2\2I/n2
1
~yP2Pi
Ii
jJ~l2r
flN 2 pp si
3) + (~)j(P3 ~ 4jP3P2)] =
1 ~ r a
siendo x(B~) la funcin caracterstica del dominio baricntrico correspondiente al nodo si
en el tringulo de referencia. Es decir, se verifica
1&i<,~
2
>3 ~k,
2
a
2 1< >3
163,, E
y por tanto
~6.1,,
si
60
a
a
a
Deeste modo
(y
Hiptesis 2.5 ~r es una interpolacin lineal a trozos de pW y los puntos de <12 son
los puntos en los que se initerpola.
Definimos una familia de funciones auxiliares del siguiente modo: a cada i E <12 le
asociamos un subconjunto de F abierto y conexo M1 c F de modo que
- sc1 E AL.
- fW = U16 j,w AL.
- M1 u = Q~ si i .
max 1
1 M1 1 O.
-
16ir\ L1
) *
Proposicin 2.18 Sea fi continua, montona creciente, que verifica fi(o) = O y para dos
constantes a y b verzfica
fi(s) =as+b VsE iR.
Existe ~ E L2(>0W) tal que para todo ~ E H(Q) y para toda sucesin ,~ tal que
2(>0w)
~ 41zIv en L
se verifica que
iIfi(S,-(T,.(st
t 4)))1t2(
2w) = >3 ji17Iv fi(Ti,(stn p,,))
2 =
61
MI
mi
ji
2+ 1
<TEw(aT,.(stup,,+b)2 =w>3 [el Md
pn)
FW(
Como la funcin st
est acotada podemos mayorar
fi(Sr(Ti,(st lik)))t2(rw> 7 ~1 u
Puesto que IVL
>3 (fl2 >3 (~i)2
64V
1=
16 ~Z a
haciendo uso del lema 2.17 se deduce que
Al
lfi(STi,(# PA)))i2(~w) =Te
>3 Csp,, IIMQ
3+r =1<.
fi(Sr(Ti,V L)))S#T,.4L))
Ew fi(S#Tdst
T a
tiende a cero cuando It y r tienden a cero
Sea P,. : FW II? la funcin definida
+
a
P,.(sc) = M
1 si sc E M1. 1
Entonces
Iv fi(T~(stnN))T~n)]=
si
>3 Iv fi(Tdst,, p,.))T).%)(Pi, 1) =
a
Pi, lILOO(f)7 >3
Al
Iv fi(Ti,(st,, P,,))T,.(&1) O a
dado que Fi, 1 uniformemente.
a
~
62
a
a
Dato inicial
Lema 2.19 Para toda funcin fc L2(O) tal que f >0 existe una sucesin defunczones
f,. E Li,, fi, =O tal que
f en L2(O).
En el siguiente lema se demuestra que podemos aproximar las funciones test por funciones
del espacio de dimensin finita H,, en el que trabajamos.
63
MI
u
Lema 2.21 Para toda funcin 4 E {4 E H(Q) 14 =O en >0VI existe una sucesin 1
tal que u
~d) 4 en L2, (2.22)
4
1
Dx N
en 13 (2.25)
a
en L2(>0W). (2.26)
MI
y otra sucesion 47 E Ooo((0,T) x RN), tal que 4; = O en >0V, 4; =O y 4 en ~
M J
>3 >3 4,~j w~,,.(sc)4,,,dt)
donde
=
n0 161,, MI
4~p~,r)(sc, t) = 4j,,,-)(sc, it) + 44,->(sc, t)
a
y = 4w,,,-)(sci, t,,), (It, y) o cuando It, r tienden a cero.
-.-*
a
O = f
J2,. 4~ = 1
64
MI
a
= ~ >Z, V (D~(,.~)) D 7 0 ~
~ i61~ DxivSC(hX)} + Jo >3\
61,, 1~
A kDscNW)
El segundo sumando tiende a cero cuando It y r tienden a cero; respecto del primer
sumando
~ ji (D~~(tS(h~~)) ~&(h~r)) =
61k V,
flt N2
10 ~ ( (a,t) b&h,~) (it)
l6IJi JD,
JSe(h<r)
Dxiv Dxiv )
= ~ (a, it) ~ 2 (a1 ~x)2
Id,,
est acotado. Adems, la sucesin c(h, r) puede tomarse de manera que la norma L~ de
este cociente sea menor o igual que 1/It. 1-lacindolo de este modo
Dxpj
cuando It y r tienden a cero.
65
a
u
1
Elijamos r de modo que i- <
3c siendo e una constante tal que e> max
1 161k U1 ~ It <Gr
D11) _
k
para certa constante positiva 0. Entonces dados los pares (p,gk) definidos como en
(2.11) y (2.12), existe una subsucesin tal que
en L
2(iRNl), u
x(QS<(pK) ~ x(Qto
x(Q,.)SVpL) *
en (L2(iRiv+l))iv,
a
dbil en L2(iRivl),
X(Q,OSr(YD
siendo (p,g) una solucin de (Pjp2o+0po).
* x(Q)g
si
Demostracin.- Sea E H1(Q) tal que =O en >0D y T) = O; sea M
>3 E II,.,,-
= n=O ~r.(sc)4r.(it)
a
una sucesion que converge a como en la hiptesis 2.21. Para cada n = 1,. . . , Al se ver-
ifica
MI
12,, [VV& + g,,Di,(4,,
)] + 12,. ~ -g,, + aB,. (Pu Pnt)] R,.(~,,) _
si
Multiplicando por w y sumando en n tenemos
M-1
u
M
r>3
n= 1
4,, + g,,D,.(~,,)]
[Vp,,\7~,, 7 ,,=~
(gr. + aR,.(p,,))R,.
(jr.+i. ir.)
Llamemos Al a
fi~ = 7>3 fi(T,.(st,, pr.))(xYr,,(t).
1
cQ,, + S,-(y~)S~(D,.(~L))]
7(Vp~)S1(V~)
Ely fiLS,-(T,.~D)
66
ti
donde
M
= >3c+i(x)4n(it)
n=0
* p dbil en 13,
Sr(Vpfl * ~p dbil en (L2)iv.
LA
Pasando al limite en (2.27) vemos que el par (p, Y) verifica la inecuacion
~j7PVC+Y2L]
Dxiv
JI1(OI))}
VV = ~ E L2(O,T;L2(O)) y E L2(O,T;
Para It suficientemente pequeo O c O,.. Por las proposiciones 2.13 y 2.15 existe una
constante 1< tal que
IYT + CVRi,(pX)L2(oTqy1(Q)) =1<.
67
si
ti
u
Puesto que 13(0) est contenido en H1(Oo) con inyeccin compacta, tambin el espacio
Vv est contenido en L2(O,T; 111(01)) con inyeccin compacta, de modo que la acotacion a
anterior es suficiente para asegurar la existencia (le una subsucesin fuertemente convex
gente en L2(0,T;H1(O)).
Sea ~ E y(O1), ~ =O. Para It suficientemente pequeo O c O,. y por tanto ~ E
a
H~ (O,.).
Paso 1
g~flS,-(p) ~ o.
Descomponemos a
= ~ (1 Li gflS,-(p~)~ =
gflS
t(p~ R,.(pk))C +
Por el lema 2.14 podemos acotar el primer sumando del siguiente modo:
si
Ls g~)S,-(p~ R,.(pL))tI =27>1 I1L2(flOIPn R,.(p,,)1L2 (fi,,) =
Al h<r*O MI
=2rICL2(g~)0aIt>3 PnH(fl,,) 4 0.
= rj(i y,,)Dh(p,,) = MI
+
68
MI
a
:
Multiplicando por r y sumando en n
Al Al
Tomando tambin pr. como funcin test, pero ahora en (2.6), tenemos
1 1
t12,.
g,,1)Rh( pr.) =
1 (Y4 gr.R,.(p4) + (1 g,,)R,.(pr.) =
~12,,
I Vp,, (J3(fl,.))N $ 12~ R~(P~1)R~(pui))
g,,)R,.(p,,) =
12,, g,,D,.(p,,)+ fi(ThcPr.))TA(Pr.)+12(1
}G n12iYn~mRhPr.h) =
Al
<T + 0w>? S7Pn~L(n,.))N + a <0,
es decir, tambin
Al
(1 g,,1)R,.(p,,) =wO
7?;4 12,.
Se tiene por tanto que
(1 y~)S7(Ri,(pfl)L(2,,) =rO
de modo que para toda funcin .~ E 271(0)
i,{r-.0
Paso 2
2
hm sup RdpX)Sr(P~)C)
69
si
ti
MI
Del mismo modo que se hizo para demostrar el primer paso descomponemos
MI
L =
a
LRh(Pk)Sr(R~(P~))4 ~L
Nuevamente por el lema 2.14 Mi
L R,.(p)S,-(pL R,.(pfl)4 = II
M
>3 =
4=1
lW(Pr.)c2(aho4LC<IaoIPn
44
R,.(p4L2(a,.)
a
=r~j~jc~o~ >3
Por otra parte
41
R,.(p,,)i,.2(a,.)CaItpr.L2(a,,) h r*0
4 0.
u
L =
a
-LC Rh(Pn)Yn(t)) ~ =
u
4 tn
12 [R~(pr.)(
it4 it it4 t1 R~pr.)~
1
4=1
jit4.~~
A,
7
)+R,.(pr.1)
7J a
1~ + pr.i)R~pr.)~ =
u
siendo ~ L[~~ + $fl)]k a
Al
Ahora bien
= >3pniyn.
u
por lo tanto
Sr(Rh(pL + p3) ~ 2p dbil en
a
[S4R,.(p~
+ ))]2
y entonces < liminfL a
LP2~
iminfL
70
a
ej
a
lo que termina la demostracin del paso dos puesto que
hm sup ( = <y hm mf
ji2
R,.(p~)S,-(p~)4.
Paso 3: Conclusin
= hj~O Li ~ (~ + o;R,.(p~)))S,-(p)t =
(1 g)p& =0 V~ c y(Ot) ~ =
O.
L
p
Ahora bien, sabemos adems que O =g =1 y que > O de modo que ha de ser (lg)p = O
c.t.p. en (O, T) >< O. Como este razonamiento es vlido para cualquier abierto O tal que
O rs O deducimos que
(1 g)p
= O c.t.p. en Q
o,, + Sr(D,.(p~))] +
[Sr(s7p;)~ ~i [HRh(PAI)t2(fl,,) IRh(PO)IL
2(fl~)] =
=jiyLr fi(S,-(T,.(st
71
mi
wfi(Th(str.P
4))Th(P).
Ji
Y,, R,.(p,,)=Oy
Puesto que
7
1
12,, i + R,.(p,,.q )Ii(o,,)]
tenemos que
S7Pr.L2(a) + 12~ Di,(p,,) + 27Rh(Pr.)L2(Q,,) =
r>3 [Is7Pr.1512(flb)
+ 12,, Dh(Pn)] +
=~Rh(Po)Ii,2(g~)+ 7 ~~Al
fi(T~r. p,,))Th(p,,)
mi
1
O sitE(O,ro)
it 70 si it E (r~,2r~)
si it E (2wo, T 2r~)
C~ =~10(t) 12~o
a
T si it E (T 2ro, T 70)
o
O siitE(Two,T)
72
mi~
p
LIv PpCT0 = aL 2 dt
1 pTro
cvFl ji
2L7-O o
Puesto que ap E C([O, T]; 13(0)), pasando al limite cuando To tiende a cero tenemos
Dp 1
L [v~2 + bsciv] ~ = ~Ip(sc,O)t
2(g) ~p(x, T) L2(O).
____ y
Como ji S,-(D,.(pT)) 4
tenemos
2b L Dxiv
=L ~ +
Dp
Consideremos la funcin ~bscl~Dxw.<t3xAl
Op
Op
+g,(gap)).Esta funcin est
en el conjunto
L~V(Q) = {C E L2(Q) divC E L2(Q)}.
IPIL2(O) = 12
( G(go
73
j
a
ap(O)) 2
por tanto
ji O~ LV LV
2
sYp2+&
2
hm sup( j
Por una parte, como S~(Vpfl Vp dbilmente en L2 se tiene que:
y
~G((~
+ cxp)(T)
a
De la proposicin 2.13 se deduce que existe una subsucesin de gAl + aR,. (PM) dbilmente
convergente en 13 hacia un lmite x + aq. Usando el teorema de la divergencia para la
J
funcin (V~p, 0~ + y, (y
+ ap)) se demuestra que x + aq
es de hecho (g + ap)(T). De
esta convergencia dbil obtenemos mi
G((g + crp)(T)) IL2(g) <hm mf ~ O(=tv+ aR,.(pk) LL2(fl)
CV LV
=
a
=bm mf
74
a
1
)
De las desigualdades (2.28) y (2.29), y del paso 3 se deduce que efectivamente
2W fi(SdTdst~
flYiSd1d~2)
Paso 5: Conclusin
para cualquier 4 E L2(>0w). Calculando el lmite superior de este producto se tiene que
0= ji
2~(fiYb4)
Para concluir la demostracin (le teorema veamos que efectivamente se tiene conver-
gencia fuerte de S,-(pfl y S4Vp9.
Puesto que
0= (fi(sth,r 4) fi(stt,yr 4))(4
75
ti
a
ti
+IvfiP -LIv~
a
es decir
liminf (/W fi (5,-(Ti, (st7 = -1> a
Puesto que
EW fi(S,-(T,.(str P;)))S#Th(PT))
jifi(S
7(T~QI7
a
MI
tiende a cero cuando It y r tienden a cero se tiene
liminf
fi(S,-(T,.(st 4)))Sr(Th(P)))
a
y como ya vimos que ti
hm sup ( ~ st,-
a
es de hecho
EW A~ = hm (.~ Ely
fi(ST,.(st
7 P1)))Sr(Th(Pr)))
si
De este modo
+ vp2 + ~1p(T)L2(fl) ti
A la vista de las desigualdades (2.28) y (2.29) ha de ser
= hm S,-(Vp~) I(L2(2b>)N
a
y puesto que a
x(Q~)S,-YpT.)
se deduce la convergencia fuerte.
~
en (L
2(IBiv+l))N
a
Condicin suficiente para que se verifiquen las hiptesis sobre la desigualdad
a
de Poincar y la continuidad de la traza
Las hiptesis 2.3 y 2.4 dependen esencialmente de la posibilidad de prolongar las funciones
a
de 11,, a funciones de JI1(IBN).
76
a
a
ti
Lema 2.23 Sean O un dominio de RN (iv =2), localmente lipschitciano y {Oi,}h>o una
familia de abiertos polidricos que aproxima a O. Para cada It tomemos 73,, descom-
posicin en N-simplices de O,. de modo que todos los vrtices de DO,. estn en DO. Para
cada It > O sea 11,. el espacio de funcional
= {~ E C~(O,.) ~T E P~ VT E Tij;
de modo que
IPh(&)Inx(RN) =CkhIlll(%.)
para todo It > O con O independiente de It.
Demost racin.- Por ser O un dominio de IRN localmente lipschitciano existe un familia
para cierta funcin g lipschitciana y para cierto sistema de referencia (que no tiene por
qu ser aqul en el que estamos trabajando)
Supongamos que todos los nodos de Fi, estn en F.
Para It suficientemente pequeo
77
si
MI
MI
Dada $, E 11,. escribimos
Md
Para cada i = O,... ,I construiremos la prolongacin Pi,(a1~,.) y ser 4
=
1
>3P,.(cx,.)
1=0
MI
En primer lugar tomaremos
lPh(~.)L2(mN) =c~,.j~2(fl,) a
y
IIVPh(~h)(L2(RN))n =cIV&(L(a,,))n a
donde la constante e depende nicamente de las funciones ~l y g~,. Ahora bien, cada
es una interpolacin lineal a trozos de y y sta es lipschitciana, de modo que en cada
uno de los trozos T donde y~j, es lineal podemos acotar
a
g1(x) g1,i,(x) = g(x) g,,.(x~~) + gji,(x%
g,,.(x) = .
a
a
(sc y distancia euclidea) y
O
Dx,. (g(sc) g,t}sc)) ~ D
D
(y(sc) gi,h(scT))~
O
+ ~(g,h(xr) yl,i,(x)) =
Dx,.
b D
= (gl(x) g(x%) +
g,h(x)) < 2L
0~~~h(x+)
Dx,.
es decir y yl,hLoo y V~}g g,h)(L~)NJ estn acotados
1~~uniformemente
de cada ~ y en It.por
Esto
lo
nos permite acotar independientemente de h la norma en W
tanto, es posible obtener una constante e independiente de It. #
CIL2(r,,) =0kInnb
Demostracin.- Dada ~ E JI,. constuimos ~ = (ct.) o <>1, entonces
por tanto
Ahora bien,
son normas equivalentes y podemos obtener, por la construccin de las Y1h constantes de
equivalencia independientes de It. #
79
a
MI
a
Lema 2.25 Sean O un dominio de iRiv (N = 2), localmente lipscItitciano y {O,.},.>o 1
una familia de abiertos polidricos que aproxima a O. Para cada It tomemos Ti,, de- u
scomposiein en N-simplices de 0h de modo que todos los vrtices de DO,. estn en DO.
Entonces existe una constante O tal que XI It > O y V E Vi, MI
Hl (O,.) =CVC(L2(o,,>)N
Demostracin.- Supongamos que no fuera cierto; en ese caso, para todo nmero na
tural Kl existe It > O y existe i, E Vi, tal que
a
lhIHW,,) > JUVh(L2(n))N MI
Adems podemos tomar It de manera que la sucesin formada por ellas tienda a cero.
Sea
Ch
MI
= lChIH~(fl,.) MI
Esta sucesin tiene una subsucesin a la que seguiremos llamando {,j,.},.>o tal que
Consideremos
Se verifica que ahora un abierto 9 que contenga a todos los O, y la sucesin a
P,.(rp~)L
2fffl)N
=P,.(ip~)L2()RN) =C1/hL2(n,,) =13
2(~)
=VPh(qh)(L2(flN>)N =CIVllh(L2(g))N 4 O
a
IVPId~M) (L
por lo tanto P,.(i~,.)~ converge fuertemente en L2 a una constante y esa constante debe
ser cero. Sin embargo por otra parte MI
=PhOlh)L(Ob> = hv.L2(flb) -~ 1 1
u
lo que nos lleva a una contradiccin. #
MI
80
.i6
a
a
Captulo 3
El algoritmo
>3 8(=/4x~)c~
siendo e la constante
= b k(a)da
Dado gr. + LVp,, E IRIb sea L,, el vector IR de coordenadas
81
si
u
a
El algoritmo para resolver (P,.,,-) es el siguiente: 1
u
Algoritmo base
Paso inicial.- si
Yo + opo y;,
= + crp5
Pasos sucesivos.- 4
Conocidos los vectores pr. y g,, calcular L,, E IR~
Hallar p,,+i E 1< tal que J,,(p,,+i) = minJr.(sc) siendo 4
Jr.(x) =
1
~xTAx + (BU L,.)Tsc +j(x) a
P.3.- Calcular el vector E,, E Jflb de coordenadas
.F,~= min{O,VJ,,(p,,~i)} a
P.4.- Resolver el sistema
= E,, a
P.5.- Calcular Yn+i = ~ + U es decir a
= u~~1 + 1
~
La resolucin del sistema lineal del paso 4 no tienen dificultad ya que es posible Md
ordenar los nodos de manera que la matriz B sea triangular. El paso ms delicado es la
mnmizacion del funcional Jr.. Hemos probado dos algoritmos distintos: el gradiente con
proyeccin y el gradiente conjugado.
a
3.1.1 Gradiente con proyeccin a
Este mtodo es una generalizacin directa del mtodo del gradiente: en cada paso se
proyecta el nuevo valor obtenido sobre el conjunto en el que se est minimizando. Sea MI
1< el conjunto sobre el que se desea minimizar un funcional <1. Sea FN el operado de
p
proyeccon sobre 1< y sea una constante positiva suficientemente pequea; el algoritmo 1
resulta:
a
Algoritmo GP
Ud
82
a
a
Paso inicial.-
sc0 E 1< arbitrario
Pasos sucesivos.-
xk+1 = PK(xk pVJ(xk))
converja al mnimo.
En nuestro caso concreto
05
w~~t(sc) = fi(st~ x9e si i E 2
por tanto la lipschitcianidad de 71,. depende de que fi sea o no lipschitciana. En las
pruebas realizadas hemos tomado fi lipschitciana y hemos elegido
83
si
a
si
3.1.2 Gradiente conjugado
-I
El mtodo del gradiente con proyeccin tiene el inconveniente de que converge lentamente. fi
Si la funcin <1es suficientemente regular, mtodos como el gradiente conjugado convergen
y son mucho ms rpidos.
Recordemos primero cual es el algoritmo del gradieiite conjugado en el caso ms simple si
de un funcional cudrtico de la forma F(z) = e + bTz + ~zTAz que se desea minimizar
en todo RiN (CC)
Algoritmo GC
a
Paso inicial.- lomar sc fi
0 arbitrario y calcular
1
= r0 = F(zo) = b Az0 Ud
P. 3.- si
P. 4.-
a
= r, + lAdi,
4
En general la funcin <1,, no es una funcin cuadrtica definida positiva, pero supon-
gamos que fi es 01, entonces dado un punto sc0 E 1< podemos aproximar
a
<1r.(sc) = Jr.(sco
2 \7
+ (sc sco)) ~
1
2
F,.(xo, sc) = <1,.(xo) + (sc sco) 11r.(sco) + (sc
2
xo)TH<1r.(sco)(sc sco)
donde u
HJ,.(sco) = A + 115(x0)
84
a
si
u
y 115(xo) es la matriz diagonal de componentes
bsc5x5 O ~ i~ k
525
=0 siiI,~7
b4
825
54 = fi(st~ sc)c si i E i~
Puesto que fi es montona creciente HJr.(sco) es una matriz simtrica definida positiva,
de hecho es una M-matriz, como A.
Ahora utilizamos el mtodo del gradiente conjugado para minimizar la funcin F,,(sco,.)
en 1<. Una vez calculado este mnimo, al que llamaremos sc1, es posible desarrollar de
nuevo <1,.(x), pero ahora a partir de sc1 y calcular el mnimo de F(x,) en 1<. El proceso
se repite hasta obtener una aproximacion suficientemente buena del mnimo de 1,, en 1<.
El algoritmo para minimizar una funcin no cuadrtica usando el gradiente conjugado
(GCNC) resulta:
Algoritmo GCNC
Paso inicial.-
sc0 E 1< arbitrario
Pasos sucesivos.-
El conj tinto sobre e que queremos minimizar <1 rio es todo IR. El gradiente conjugado
puede adaptarse para hallar el punto donde alcanza el mnimo una funcin cuadrtica en
un conjunto de la forma
A = {sc E IR sc =O Vi E frs JI
Esta es la situacin en La que nos encontramos al dar el paso 2 del algoritmo GCNC, ya
que la condicin sI = O Vi E ij~ nos permite reducir el problema a minimizar un funcional
85
a
t
u
a
~1
sobre un subconjunto de IR~\2: el conjunto de puntos con todas sus coordenadas no
negativas (1 = 1).
Se sabe adems que para una funcin cuadrtica F(z) = e + bz + ~zTAz con A u
definida positiva el gradiente conjugado calcula el mnimo en A en un numero finito de
pasos (ver [30]).
El algoritmo del gradiente conjugado cuando las coordenadas han de ser no negativas
a
(GCCNN) es el siguiente
Algoritmo GCNNC
a
Paso 1.- Tomar z
0 E A arbitrario y calcular a
= F(zo) = b Az
a
Si 4
4 = Oy 4 < O
= O para todos los ndices i que no estn en 1 entonces sc0 es el punto donde
a
E alcanza el mnimo en 1< y el algoritmo termina
P. 4.2.- a
sci,44 = sck + titi,di,, ri,1= ni, ai,si,.
Si sci,1no est en A ir al paso 5. a
Si sck+1 est en A entonces: si 4+~
O para todo i 1, hacer sc0 = sck+i,
=
calcular r0 = rkf1 = b Ax0 e ir al paso 2; si ri,~i ~ O para algn i
calcular Ti,+i y 4+i del siguiente modo:
1 a
P. 4.3.- ~1
P. 4.4.-
=~k+i +fii,di,, fi,. =
.7,.
si
Sustituir k por k + 1 e ir al paso 4.1
86
a
a
a
Paso 5.- Sea 4,.. , i~ el conjunto de indices i tales que 4+~ < O. Sea ~,. el minmo
.
de las cantidades
dj
1-Jacer sc0 = xk
+ akdi,, r0 = ni, &i,5i, = b Asc0. Redefinir 1 como el conjunto
de indices tales que 4 = O.
Si 4 = O para todo i 1 ir al paso 2 (donde vuelve a definirse 1).
Si 4 ~ O para algn i ~ 1 ir al paso 3.
= b Asco
Pasos sucesivos.-
7k
LV~ = T ~ = dTAd,., ~i,=
E 3.-
1
fik rT1M ri,+i
9k
87
mi
88
~1
PRIMBETA(s) Una primitiva de BETA.
Para contrastar los rsultados obtenidos con el mtodo presentado en esta memoria
hemos utilizado los test que aparecen en [321.En ese articulo se explican los algoritmos
utilizados en el mdulo DAMIAN para resolver el problema estacionario del dique con
condiciones de contorno de tipo Dirichlet. Las figuras 3.1-3.5 corresponden a la solucin
obtenida para fi(s) = lOs y a = 0.0, una vez que el problema de evolucin llega a una
solucin estacionaria. Reproducen la geometra del dique y los niveles de fluido en los
embalses, de algunos de los test de [32]. Los resultados son comparables a los que se
tienen all pues la permeabilidad fi(s) = lOs es suficientemente alta. En la figura 3.1
el fondo es completamente impermeable y las paredes horizontales permeables. En la
figura 3.2 el fondo y los dos tercios superiores del lateral izquierdo son impermeables. El
lateral derecho y la parte baja del izquierdo son permeables. El agua en el lado izquierdo
llega hasta lo alto del dique de modo que el agua entra en el dique por ese lado con mucha
presin. En las figuras 3.3-3.5 la parte central del fondo del dique es permeable. Segn
sea esa franja central permeable los dos frentes de entrada del agua se unen o no.
89
si
Mi
a
2
al
si
a
Mi
a
a
III
si
al
si
al
2
si
II
u
7
256 PONTS
256 e~
450 EWMTS
450 TWIISS
20 IS*0VALEU~
FInIR O
5jI~aMtt 2
n Pfl~MflTt 3
RJ~tAID4IO
256 SM
6
VALE,, ~7SFNa 2
cw,SMT.t.MIO 6 9
256 POIMTS
256 Sfl
Sc FIfltNtS
450 IRIAE3
20 IWflLE~
FINIR
tUflWlu O
vot ~jIuIMTr 2
,a16wn 3
RM..IolI. 4
2566v 50
2Ifl6 A
VALIS 7170*1
arr ~-r-w 6
90
II
II O
u 744 aDMTS
744 tRIA~-E3
u
u
u
20 I~VA.EI
u FINIR
voL 251 V<T
fl
zar
PW(EINVTI
AAFRAIOIIR
:I
2
3
4
SS
2flM 6
VALIS ,OFIAZ
u CWY3WT4lA~ 6 4
0W
SA,
II 001015
00
744 TRIA~.E3
20 I~4&LI
FINIR O
VIL 2515101Y 2
~aIrNIf 3
AFNAIbuIU 4
hM. SM
van,
~.w 56T.S 7SFI*Z
69
91
u
u
u
u
u
u
u
u
u
o -
5
a,
MA
u
u nws.
56 12551L10S
6
asyImn .0
u
vNt 5J1vAM~ 2
nr Pna~lto 3
R*flAIOIR 4
256A~ ION
2566
V&LIS 7SFWAZ
~V ~TMAflI 6 9
u 92
u
u 25
254
001613
u
4~ UWMII
4~ TRIASES
3
u
u
u
u
u
E
u
u
u
u 29 1250JSfl
rIlan
arto-o .
. e
nr SflValY . 2
nr PUWSTT
zn
fl000
zfl.
VALEIS
wy wT-4
4
3
.56
u
7SP6~Z
6 6
u 93
1
u
u
no
no
406
000613
a13
u
405 256ES
u
u 20 I25%ALfl~
FINIR 16
1
arIosto vi
VI. ,jI,vM,t 2
VIt ~MSflI 3
5RMOOIR 4
2h16. vON
3 5
VALIS .ISFU&
arr r-425v 6 0
E nono
415
001615
e
0013
415 InflES
u
u
u
E F0~6IR
26 I~V*LI.
.6
arnais .0
61 251VIt
. ~w
yang
R.wu.*1061R
20>0v
2566
~t WT.4
4
2
3
.56
,,FR*
6 6
94
u
u
En las figuras 3.6-3.10 se pueden comparar los resultados obtenidos manteniendo fija
la geometra del dique, los niveles de los embalses y las condiciones iiciales, pero variando
la permeabilidad y la compresibilidad del fluido. Puede observarse como al disminuir la
permeabilidad y al aumentar la compresibilidad el fluido entra en el dique ms lentamente.
En particular, cuando la permeabilidad del borde es muy pequea, la zona del dique no
saturada (O < y < 1) es ms grande.
95
u
u
u 416
o. e
nl
0013?!
asan
vafl
u
nl nl
3
u
u ____________
20 ISOV6LELS~
0610
U,6TIUKR 1
1 0
0
nr 511*4*15 2
E
nr P6rEE15601: 3
6MRAIOVIR 4
2t06. 56
lIna 6
vvLI* ______
7sF 6*2
~Y 20T4561 6 9
u
u
u 40v
vsi e
032
001*03
IflCfl
nz nonos
u
E
E 20
FINIR
~iTIML6
w56Lt~
VA 2509*615
VI. P6OaOMTS.
Rv,NAIO.0ft .
0
O
2
3
4
u
2. Oid
20>6 &
vLflJ6 TFtvZ
ar. fl,v1100 0 6
u 96
u
u
404 F02fl
464 t,a
m asar,
lfl TUIC
20 tS!VALII
~T2Mtfi 22
SjIYASTT 2
~~MTT 3
fiMAAIOt!R
2&M 5
zan
aM-ns 7 SF041
~y ~T O O
404 mann
404
ZU asaTs
7n nani~
20 I~VALflS
PIOJO O
~nMn 1
~K savIn!! 2
fl ~ 3
hInfliOjiO
252644 530
zI~- 5
0I&E ?SFNSZ
dPV T430 OO
97
404 OISTS
404 OII~
3m abon
3m
20 OmvMSLn
FINES
c-I~ a
~0Lsjtv~TT2
4X ~~MWTT,3
ftA$RA1001R
4
5
z~,q- :4
24(13 73FN42
TAI O O
404 pdn
732 abon
132 flhIflhZ
20 2aflS
n.y. . O
5 OJIVIMT 2
flE P~tf- 3
MfllOOlfi 4
23K04 6
VEnA 30F04 2
w.t rT-wa SS
98
u
E
u 404 PCIPTS
444 0
732 anaTa
732 TSIfl
1 ____________
20 Ifl&tfl
FINIR
~.IsK.
4K OSI4AMTT y 2
4K ~U1WMTTy 3
RMUAIOIIM
~n.
4
O
5.
u
20 6
VALfVM 7 IFIAZ
12W1 ~T-4US O 9
1
E
u
E
u ___________
20 1320L1S
FI.y.
~n4KS E
E
0JIV~TT 2
45 PUNMTV 3
RMUIORI. y 4
21004 54
00 -,
Van. .7 0,0,0
r ~T-4ufl a q
99
1
u
.015:
rJ~,43
CI
..wII
404 POlla
404 4KLt
732 LOEMr3
3m TCflflt(0
E
u
rl lSOs..jitS
404 p02.rs
3m ms
3m tSfl
u
E
u 20 13250LEU10
FINIR
tOIr
O
E
4K nry 3
~nh1o0hR 4
Irne, SN
20 O
VaNOS 7 SFNAZ
wr nt-04 89
100
u
E
En la figuras 3.12-3.17 tenemos varios problemas distintos que evolucionan hacia un
mismo problema estacionario. Se ha tomado a = O y en todos ellos el nivel (tel fluido
comienza descendiendo con el tiempo y a partir cte un cierto instante se estabiliza. El
estado inicial y la velocidad con la que desciende el nivel del agua vara (le un ejemplo
a otro. En las figuras 3.19 y 3.20 el dique est inicialmente lleno cte agua hasta el nivel
que en ese instante tienen los embalses. En la figura 3.21 el 4ique est inicialmente vacio.
El agua desciende a la misma velocidad que en la figura 3.19 y no llega a saturarse la
zona A del dique. En las figutas- 3.22-3.24 el nivel en el embalse desciende lentamente
y da tiempo a que el agua llegue a mojar la zona A. De este modo obtenemos varias
soluciones para un mismo problema estacionario, todas ellas correctas fisicamente.
101
u
u
u 2R 1#df1S
u
NOS yP
WNTTSO y
U 1012004V? 2
U ~~lry 2
20 -SN
~a.ts 72rIAt
W n24 N la
E
u
u
E
u
20 Ifla-VO
F~Nft .N
~724Kla
~qf 101101? 2
U ffMSIE O
NAIMIONIR 4
20 ySfl
20 yB
y 7SFDAZ
E
W14SS a la
u 102
E
u
E
u
flaca
~,mo
: a
54.4 5120341! 2
U P~flfl. 5
SMSMONIU . 4
20~ .5
00 aB
wEb, . ~IP0Z
WV ,4Sm N 6
E
u
E PONIS
0T15
U KIlOIr
U ~1?a
N34u*WQN
a
II
a 2
a 4
la
u
~ SN
10.. :6
54.113 ItIFOAZ
~tyr-0y 60
E 103
E
u
u
u
E
u
u UnA.
20 1KIV&EtC
FIaIyN O
1
E
~ III Van 2
U p~i1mMl. a
5410UR 4
20 SN
2d3N 6
TaFIA
u
~.T-*a~ u q
u a
a
SS
poyAn
4K
fl~
6~ N~AflL3
u
20 IWVaaIVS
(ININ O
~nn O
U KVyVSaT 2
5~f ~ 3
twnyoVlN 4
ma. SN
t 6
Onzas -loFa.
~v r-a 6
104
E
u
E
u 20 ImPMLV
PINtO
TIUO
Kl &21Vy1
6
1
2
41 ~~tMVt- 3
~~toNIp 4
zlnN IN
ma &
V~yV3 7301*2
WV r-V N la
u
a pol on
a Ola
00 fl~flEWV3
500 247San
20 IKIV-fl
FINOR -N
OSTI41R 5
or 2125*5V? - 2
Kl F.EVIMWII a
SMRAIOIIN 4
ma S~
ZI*04
Vial, . ISFIAZ
WV 31V-OlaS N la
I 05
u
E
u
u
FGyMTs
01
u
800 F1D&Mfl
08 tMO~fl
u
u
20 l~ALLtS
FINIR :
WflMfl :0
OSE bJIOAMt , 2
OSE p,qycrSENTry 3
RMOAIIVIO
ma. 580
;oy04 8
VM-El
8 54
pozAl!
e
GIS 01-01<002
tan
20 lmVM.nOIa
r1N36 8
olaf mInO!! 2
Kl Pfl~fll 3
RDWAIOIIR 4
ma. SN
ma .8
23r1*Z
or r-.s N O
106
Finalmente las figuras 3.18 y 3.19 corresponde a la solucin explcita indicada en [19]
para mostrar que la funcin p no. es necesariamente continua cuando es o = 0.0. En este
caso tres lados del dique son impermeables y el cuarto, el superior, est en contacto con
el aire. El dato inicial es tina banda de ancho d = 0.3, situada a una altura h = 1.0
de la base del dique, en la que es g = 1.0. Mientras es 1 < h la presin es cero y la
zona saturada (g = 1.0) va descendiendo con velocidad constante 1. Cuando t = h la
zona saturada llega al fondo. En ese instante la presin se hace positiva en la franja
o <
1V =0.3 e igual a p(x,XN) = (0.3 y)+. Aunqueel resultado final es ptimo, en
los pasos intermedios aparece tina difusin numrica debida al operador up-wind.
107
1
u
u NON
ROO
a~
601013
SKI
010022
E
14 TNIMSS
u
u
u 20 l2!VAI0
flNyR : O
00R1T1616 : y
OSK ~JlVMNff : 2
OSE 00tC1y(NUI a
VMaNaiCfflA : 4
20 :SM
ma :6
SALOl -73V0A 2
~t:2-0NIO!: O la
E NIS
604
4V
pd2N22
DM013
14 TUI flfl
u FINIR
20 1320*AEVS
E
Onmn 1
Kl 1012000!? 2
Kl ~UMMlY a
RanIOIIN 4
ma Su
ma .6
Vial 1 Sf042
OF T40W 86
E
Figura 3.18: Saturacin t = .0 y t = 0.38
108
u
u
u
u RIO
el.
POER13
a
1
140! fl.OT3
140! fizan
u
E
u FINIR
yOIflPBfV
Kl 24!VAMTT
Kl pRE~EM!E:
R346*IOVIR
ma.
ma
VSA-El
t
y
t
y
3
4
VA
6
2
C~~IM1-4a.IS 0 54
u
y
2410511
u
CCI 601613
SIC 4KV
14*2 05DbTS
14V tAC
E
E
u
20 IKIVALDS
FIRIR y O
=41160 :1
Kl SIIVAMF : 2
Ef ~~fl: 3
&WROIO01R 4
u
ma SN
ma s
VSA-El ISPIAZ
OF 312-3460 N la
U 109
E
E
u
u
u todas las pruebas numercas se han realizado en una mquina SPARCstation IPX de
SUN.
E
u
u
u
u
u
u
u
u
u
u
E
u 110
Apndice A
El mdulo DAMEV
1: Zona semipermeable.
2: Zona permeable.
3: Zona impermeable.
.1 l~i
u
112
PROGRAN PRINCIPAL
o
o RESOLUCION DE PROBLEMA DE EVOLUCION RELATIVO A LA FILTRACION
o DE UN FLUIDO ATRAVES DE UN MEDID POROSO
o
o M: TABLERO DE TRABAJO DE LONGITUD LM DONDE ESTN CONTENIDOS
o TODOS LOS VECTORES
O
O DATOS QUE PIDE EL PROGRAMA
C
O ALPHA: COEFICIENTE DE COMPRESIBILIDAD DEL FLUIDO
o EPS: PARMETRO DE PERMEABILIDAD DE LA FRONTERA
O MALLADO: FICHERO QUE CONTIENE EL MALLADO (S.D. NOPO)
o MMIN: METODO DE MINIMIZACION ELEGIDO
o i GRADIENTE CON PROYECCION (PASO FIJO)
o 2 GRADIENTE CONJUGADO
o 3 GRADIENTE CONJUGADO PRECONDICIONADO
O
O EL PROGRAMA PIDE TAMBIEN EL NUMERO DE PASOS EN LA VARIABLE TIEMPO
o
O EL RESULTADO ES:
O UN FICHERO SALIDA CON LA ESTRUCTURA DE DATOS TIPO NOPO MODIFICADA
O UNA FAMILIA DE ESTRUCTURAS DE DATOS TIPO E QUE CONTIENEN LA
o PRESION Y LA SATURACION EN DISTINTOS TIEMPOS.
C ** * * ** * ** * *** * *** ***** * **** * ** ** ** * **** **** **** **** *** *** **** *** ** *
PARAMETER(LM 1000000)
COMMON M(LM)
DOUBLE PRECISION DM
EQUIVALENCE(M(1) ,DM)
CHARACTER*6 MALLADO
INTEGER MMIN, NTAU, FRE
REAL EPS, ALPHA, TAU
CALL INIfl(M,LM,0,0)
CALL TRUNIT(NFNOPE)
CAEL OUVRIS(NFNOPE,MALLADO, >OLD,UNFORMArrED ,0)
CALL TRUNIT(NFNOPS)
CALL OUVRIS(NFNOPS, SALIDA UNFORMATTED 00)
CALL PIGRA(M>NFNOPE,1ONFNOPS,1)
CLOSE(NFNOPE)
ti 3
a
u
a
O FALSA LLAMADA PARA QUE DAMEV DEVUELVA TAU MAXIMO
TAU = O.
a
O
CALL DAMEV(M, LM, NFNOPS, 1, ALPHA, EPS, MMIN, TAU, NTAUR PRE)
OALL DAMEV(MO LM, NPNOPS, 1, ALPHA, EPS, MMIN, TAU, NTAUR PEE)
CLOSE(7)
STOP 4
a
END
o * * ** * * * * * *** * **** ***** *** **** **** **** * **** ****** *** * ** ** * **** ** * ** *
O DATO DE CONTORNO
u
ELSE
FPHI=AMAXI(O. ,1.5REAL(Y))
END IP
RETUEN
END
a
a
O FUNCION DE PERMEABILIDAD
O
END
LA DERIVADA DE BETA a
114
a
l
E
RETURN
END
O DATO INICIAL
u REAL ALPHA,TOL
TOL 1.E6
RETURN
END
E
E
E
E
E
E
E
E
E
E [15
E
a
u
a
O
C
O
SUBROUTINE DAMEV(M,LM,NFNOPO,NINOPO,ALPHA,EPS,MMIN,TAURNTAU,PRE)
l
REAL T
COMMON/ALNOPO/NENOPOO
lis
+ NOPO,IANOPO,LENOPO, NOPI ,IANOP1 ,LENOP1,
+ NOP2,IANOP2,LENOP2, NOP3 , IANOP3 ,LENOP3,
+ NOP4, IANOP4, LENOP4, NOPS IANOPS ,LENOPS
COMMON/ALB/NEB,
+
+
+
NBO,IBO,LBO, NE , IAB ,LBI,
NB2,IAB2,LB2, NB3,IAB3,LB3,
NB4,IAB4,LB4
l
DIMENSION NZNOPO(19) ,NZB(16)
EQUIVALENCE(NENOPO,NZNOPO(1)) , (NEB,NZB(1))
l
a
SAT ST>
PREPRE>
l
O SI TAU <= O, SOLO SE QUIERE CALCULAR EL VALOR MNIMO DE TAU
IP (TAULEO.) THEN
INCLUDE damev.ini Inicializacion de la matriz de trabajo
CALL OALCULAB(NE,M(IANOPS) ,M(IANOP4) ,NBAND,NOE,M(IAIUW),
M(IASUP) ,M(IAINDB) ,M(IABB) ,M(IAPRB) ,TAU) l
a
RETURN
116
u
ELSE
CALL CALCULAB(NE,M(IANOPS) ,M(IANOP4) ,NBAND,NOERM(IAIUW),
+ M(IASUP) ,M(IAINDB) ,M(IABB) RM(IAPRB) OTAU)
END IP
C CLCULO DE LA MATRIZ A
CLL TRUNIT(NFB)
NOMBREST
CALL OUVRIS(NFBONOMBRE, >NEW,UNFORMATTED .0)
DO I=1,NOE
M(IAB4+I1)=M(IAG+I1)
END DO
CALL SDSUV(MOCHR4(NOMSD) ,NFB,NIB,NZB,LZPNCB,NOPT,NMOT)
WRITE(NFB)LB4. (M(1AB4+I1) ,I=I,LB4)
CLOSE(NPB)
IP (ALPHA.GT.1.D6) THEN
CALL TRUNIT(NFB)
NOMBREPRE
CALL OUVRIS(NFB ,NOMBRE, NEW,UNFORMTTED ,o)
DO 11,NOE
M(IAB4+I1)=M(IAP+I1)
END DO
CALL SDSAUV(M,CHAR4(NOMSD) RNPBPNIBONZB,LZ,NCBONOPTONMOT>
WRITE(NFB)LB4, (M(IAB4+II) ,I=1 ,LB4)
CLOSE(NPB)
END IP
O
O BUCLE PRINCIPAL (EN TIEMPO)
O
DO N=1,NTAU
PRINT*,***** NT=,N, *****
WRITE(7O*) NT>,n
TTAU*N
117
a
u
u
O ACTUALIZO LA PRESION EN EL FONDO DE LOS EMBALSES
O Y EL TERMINO LINEAL l
+
OALL DTO(M(IANOP4),M(IATL),M(IAP),M(IAG),M(IASUP),NOE,M(IAPH),
T,LPHAOTAU) u
O ELIJO EL METODO DE RESOLUCION
IF (MMIN.EQ.1) THEN
CALL GRPCONS(M(IAP)OM(IAGP)RM(INP)ONBANDONOE,M(IA),
l
+
ELSE
M(IARIM)RM(IPH)RM(IATNL)OM(IATL)OM(IAPRB),RO)
+
M(IAKIM),M(IAPH),M(IATNL),M(IATL)RM(IAPRB).
M(IDV>,M(IASS),M(IAR),M(IAD)R
M(IAAA)RM(IABBB),M(IAIND).MMIN)
4
END IP
O OALOULO LA SATURACION G u
+
+
OALL OLCULG(M(IP),M(IAG)RNBANDONOE,M(IAA),M(IKIM)O
M(IABB),M(IINDBflM(IPH),
M(IATNL),M(IATL),M(IAPRB),M(IAS),M(IAIN),N)
l
O
O
SALVO LOS RESULTADOS (PRESION Y SATURACION) EN PICHEROS
LOS FICHEROS
XXXI CORRESPONDE
SE LLAMAN
AL NUMERO
PREIIXX y ~SATXXXX
DE ITERACION CORRIENTE
DONDE N a
IP (MOD(N,FREYEQ.O) THEN
CALL INT2OHA(N,OUENTA) Convierte N en cadena
4
NOMBRE=SAT//CUENTA
OALL TRUNIT(NFB)
Saturacion
OLOSE(NFB>
II
NOMBREPRE//CUENTA
OALL TRUNIT(NFB)
Presion
END M(IAB4+I1WM(IAP+I1)
DO a
OALL SDSAUV(M,CHAR4(NOMSD) ,NFB,NIBONZB,LZ,NCB,NOPTONMOT)
WRITE(NPB)LB4, (M(1AB4+I1) ,11,LB4)
CLOSE(NPB)
END IP
a
118 u
a
E
E
E
END DO Bucle en tiempo
RETUEN
u END
u
E
u
E
E
E
u
E
E
E
E 119
a
C FICHERO damev.ini
O ************************************************************ .S
O INICIALIZACION DE LA MATRIZ DE TRABAJO
O ************************************************************ -n
IDALL SDREST(M, NOPO RNPNOPOONINOPO,NZNOPO,19,NCNOPOOICNOPO)
NEM(INOP2+4)
NOEM(IANOP2+14)
NNP=ICHAR4( IFRO)
LNPNOE+1
CALL TROUVE(NTTOCHAR4(NNF) OIANPOLNP,NUMO,M)
NBANDM(IANF)+1
DO I=1,NOE a
M(INP+I1)=M(IANF+I)
END DO ~1
LA=NBAND*NOE
NTY=1
NKIMICHAR4(> :KIM>)
IAKIMO
CALL READRE(NTYOCHAR4(NKIM) ,IKIMPLA,MRNN)
NINDB=ICHAR4( : lEV)
IAINDB~O
CALL READRE(NTYRCHAR4(NINDB) ,IAINDBRLAOMONN>
NIN=ICHAR4( : IIN)
IAINO
CALL READRE(NTYOCHAR4(NIN),IAIN,LA,M,NN)
NINDICHAR4( : lID)
IAINDO
CALL READRE(NTYRCHAR4(NIND) OIAINDOLA,M,NN)
NIUW=ICHAR4( : lUid)
IAIUWZO
CALL READRE(NTY,OHAR4(NIUW) ,IAIUWRLA.M,NN)
NTY2
NOMRIOHR4( R>)
IRO
CALL READRE(NTYRCHAR4(NOMR) ,IAR,NOERMONN)
NGP~ICHAR4(: GP)
IAGP=O
OALL READRE(NTY,OHAR4(NGP) ,IAGPONOE,M,NN)
NDDICHAR4(: D>)
IADO
CALL READRE(NTYROHAR4(NDD),IADRNOEPMRNN)
NDVICHAR4(: DV)
IADVO
OALL REDRE(NTYROHAR4(NDV) ,IADV,NOERMRNN)
NOMPICHAR4(: P)
IAPO
CALL READRE(NTYOCHAR4(NOMP) RIAP,NOEOM,NN)
NOMGICHAR4( : O)
IAGO
CALL READRE(NTY,CHR4(NOMG) ,IGRNOE,MONN)
NPHI=ICHAR4( : PEI O
120
IAPH=O
CALL READRE(NTYOCHR4(NPHI) ,IAPHRNOE,M,NN)
NTLICHAR4(: TL)
IATLO
CALL READRE(NTY,OHAR4(NTL) ,IATLONOEOM,NN)
NOMSICHAR4(: 5>)
IASO
CALL READRE(NTY,CHAR4(NOMS) ,IAS,NOERMONN)
NSS=ICHAR4(: SS)
IASSO
OLL READRE(NTY,OHAR4(NSS) ,IASS,NOE,M,NN)
NTYS
LL2*NOE
NSUPICHAR4( :SUP)
IASUPO
CALL READRE(NTY,CHAR4(NSUP) OISUP,LL,M,NN)
NTNLICHR4( :TNL>
ITNLO
CALL READRE(NTYPOHAR4(NTNL) ,IATNL,LL,M,NN)
NPRBICHAR4( :PRB)
IAPREO
CALL READRE(NTY,CHAR4(NPRB) ,IAPRB,LLOM,NN)
LLA2*LA
NOMAICHAR4( A)
IAAO
CALL READRE(NTYRCHAR4(NOMA) RIAA,LLA,M,NN)
NOAAICIIAR4(: AA)
IAAAO
CALL READRE(NTY,CHAR4(NOAA) PIAAA,LLA,MRNN)
NBBB=!CHAR4( :BBB)
IABBBO
CALL READRE(NTY,CHAR4(NBBB) OIABBB,LL,M,NN)
NOMB=ICHAR4( BB)
IABBO
OALL READRE(NTY,CHAR4(NOMB) ,IABB,LLAOM,NN)
NOMSD = ICHAR4(B )
CALL INIOSD(M,CHAR4(NOMSD),NIB,NZBR16,NOB,ICB)
LBO=32
NTYI
CALL READRE(NTY,CBAR4(NBO),IABO,LBORM,NN)
NTASD=O
CALL INTABO(OHAR4(NOMSD) RNIB,NTASD,M(IABO))
LB2 11
NTY1
OALL READRE(NTY,CHAR4(NB2) RIAH2,LB2,MONN)
LB3=2
NTY1
CALL READRE(NTY,OHAR4(N83) ,IAB3,LB3RMONN)
LB4NOE
NTY2
CALL READRE(NTY,CHAR4(NB4) RIAB4RLB4,M,NN)
121
a
l
u
M(IB2)=2
M(IAB2+1)=2
M(IAB2+2)=1
l
M(IAB2f3)=LB4
M(1AB24-4)=1 ej
M(IAB2+S)=I
M(IAB2+6)=NOE
M(IAB2+7)=1
M(IAB2+8)=1
-i
M(IAB2+9)4B4
M(1AB2+1O2
M(IAB3)0
M(IB3+1)=LB4
4
LZ=16
NOPT=O l
ej
4
ml
l
ej
ej
ej
u
a
a
122 ml
u
SUBROUTINE INPA1(ALPHAO MALLADO, MMINR EPS)
o
O ENTRADA DE PARAMETROS
o
REAL ALPHA
CHARACTER*6 MALLADO
INTEGER MMIN
REAL EPS
WRITE(*, 100>
READ (*,iOi) ALPHA
WRITE(YR 100)
WRITE(7,102) ALPHA
WRITE(*,200)
READ (*,201) MALLADO
WRITE(7,200)
WRITE(7 ,201) MALLADO
WRITE(*,300)
WRITE(*,301)
WRITE(*,302)
WRITE(*,303>
WRITE(* >304>
READ (*,305) MMIN
WRITE(7,300)
WRITE(7,301)
WRITE(7,302)
WRITE(7,303)
WRITE(7,304)
WRITE(7,305) MMIN
IP (MMIN.EQ.I) THEN
WRITE(* .400>
READ (*,401) EPS
WRITE(7 ,400)
WRITEI27,402) EPS
END IP
123
a
4
301 FORMAT (>MMINl Gradiente con proyeccion, paso constante)
302
303
PORMAT
PORMAT
(MMIN2 Gradiente conjugado)
(MMIN=3 Gradiente conjugado precondicionado)
4
304 FORMAT (MMIN:)
305
400
FORMAT
FORMT
(Ii)
(Permeabilidad del borde:)
ej
401 PORMT (FS.6)
402 FORMAT (EPS=,F8.6)
900 FORMAT (Error al elegir el metodo de minimizacion igual a ,I1)
RETURN
END 4
ej
ml
4
ml
ej
4
ej
ej
ej
4
u
124 EJ
ej
SUBROUTINE INPA2(TAU, NTAU, ERE)
O
O ENTRADA DE PARMETROS
O
REAL TAU
INTEGER NTAU
INTEGER ERE
CHRACTER*2 MODIE
o CONTRATACION DE TAU
WRITE(*,100) TAU
WRITE(*,110)
RED (*,120) MODIE
WRITE(7,100) TAU
WRITE(7O 110)
IIRITE(7,120) MODIF
IP (MODIF.EQ.si) TEEN
WRITE(*,200)
RED (*,210) TAU
WRITE(7 ,200)
WRITE(7,210) TAU
END IP
WRITE(*,300)
READ (*,310) NTAU
WRITE(7,300)
WRITE(7,310) NTAU
WRITE(*,320)
READ (*,330) FRE
WRITE(7 R 320)
IJRTTE(7,330) PRE
100 PORMAT (La longitud maxima del paso de tiempo es TAU ,FY.4)
110 PORMAT (Modificarla?)
120 FORMAT (A2)
200 FORMT (Nuevo TAU: )
210 FORMAT (F7.4)
300 FORMAT (Numero de pasos de tiempo: )
310 FORMAT (12)
320 FORMAT (Oada cuantos pasos salvar los resultados: )
330 FORMAT (14)
RETURN
END
125
u
u
SUBROUTINE CALCULAB(NE,NOPSROOORRNBAND,NPRIUW,SUPP,INDER
O
+ E,PRB,TAU)
ej
O CALOULO DE LOS COEFICIENTES DE LA MATRIZ B PARA EL MODULO DAMEV
O
C
CADA ELEMENTO TIENE DOS CONTRIBUCIONES:
- UNA RELATIVA A LA DERIVADA ESPACIAL (SOLO EN LA COORDINADA Y) EJ
C QUE CALCUL LA RUTINA BELEM
C OTRA RELATIVA A LA DERIVADA EN TIEMPO QUE ES LA PARTE UPWIND
O
DIMENSION NOPS(*),E(NP,*),INDE(NP,lO,PRB(*),
+ X(3),Y(3),IAFF(3),COOR(*),DY(3),
+ IUW(*),SUPP(*)
DOUBLE PRECISION A3,DY,X,Y,AMAXRTOLODIFFRXUWRPRB>
+ SUPP,E,EE,TAA
TOL=1 .D8
DO I=1,NP
u
SUPP(I)=O.DO
IUW(I0
DO L=1,NBAND
u
INDE(I,LO 1
END DO s
INDE(I,1)=I
END DO
IA=0
DO 2 IE=1,NE
EJ
&MAE=NOPS(IA+2)
DO fti,3
IFF(J)NOPS(1A4-4+J)
u
1 IFF ( J)
X(J)=DBLE(OOOR(2*I1))
Y(J)=DBLE(OOOR(2*I))
END DO
EJ
IA=IA+7+NMAE
CAEL BELEM(X,Y,A3,DY)
DO 3=1,3
1 IAFF (3)
C
SUPP(I)SUPP(I)+AA3
END DO u
COLOCA LOS NODOS DE MAYOR A MENOR ALTURA
u
O
O
IMAX1
Ji =2
J23
AMAXY(1)
DIPPY(2)-AMAX
IF(DIFF.LE.TOL) GO TO 17
AMAXY(2) u
IMAX=2
126
EJ
-j
a
J11
J23
17 DIFF=Y(3)AMAX
IF(DIFF.LE.TOL) GO TO 18
AMAX=Y(3>
IMX=3
J1=1
J2=2
o
O MIRA SI EL ELEMENTO EL ES TRIANGULO UPWIND DE IMAX
C
18 XUIJ=(X(J2)X(IMAX))*(X(J1)X(IMAX))
IP(XUW.GT.TOL) GO TU 2 lE no es triangulo upwind de IMAI
IIFF(IMAX)
IF(IUbJ(I).NE.0) GO TU 2
IUW(IIE El triangulo upwind del nodo 1
es el elemento TE
E(I , 1DY(IMAX)
JJIAPP(J1)
JK=IAFP(J2)
DO 21 L=2,NBAND
K=INDE(JJ ,L)
IP(K.NE.0) GO TU 21 Habia dos posibles triangulos upwind
y ya sea escogido uno
INDE(JJ ,L)=I
E(JJ,LWDY(J1)
GO TU 22
21 CONTINUE
22 CONTINUE
DO 23 L=2,NBAND
KINDE(JK ,L)
IF(K.NE.0) GO TU 23
INDE(JK,L)=I
E(JK,L)=DY(J2)
GO TO 2
23 CONTINUE
2 CONTINUE
DO 24 L=1,NBND
DO 25 I~=1,NP
JINDE(I ,L>
25 IP (J.NE.0) E(I,L)E(I,L)*SUPP(J)
24 CONTINUE
IP (TAU.LE.0.) THEN
TAUI .DO
DO 11,NP
EEO.DO
DO J1,NBAND
EE=EE+E(IRJ)
END DO
IP (BS(EE).LT.1.D6) EE=O.DO
127
a
a
u
IF (EE.NE.0.DO) TEEN
TUDMIN1 (TUOTA)
ej
END IP
END IF
END DO
ej
DO 11,NP
E(I , 1)=E(I 1)+SUPP(I)/TAU
PRB(I)0.DO
DO J=1,NBAND
a
END PRB(I)=PRB(I)+E(I,J)
DO st
END DO
RETURN
ej
END
ml
ej
a
u
ej
ej
ml
a
ml
ej
128 ml
l
SUBROUTINE BELEM(X ,Y,AA3 ,DY)
O
O CALCUL LA MATRIZ ELEMENTAL PARA LA MATRIZ B
O
DIMENSION X(*),Y(*LDY(*)
DOUBLE PRECISION X, Y, AA3C DV
DOUBLE PRECISION X12,X23,Y23,X31,DET
X12X(2)X(1)
X23X(3)X(2)
Y23Y(3)Y(2)
X31=X(1)X(3)
DET = 131 * (Y(2)Y(1>) 112 * (Y(i)Y(3)>
DY(1)X23/DET
DY(2X31/DET
DY(3)=X12/DET
129
ej
ml
SUBROUTINE OALCULA(NE,NOPS,COOR,A,IND,NBANDRNP,ALPHA,TAU) 4
O ********************************hlC*************************************
DIMENSION NOP5(*),OOOR(*),A(NP,*),IND(NP,*)
EJ
DOUBLE PRECISION X,Y,AE,AA3,PRAM 1
DIMENSION X(3),Y(3),AE(3,3),IAPP(3)
PARAMALPEA/TU
DO 11,NP
A(I.1j=O.DO
IND(I,1=I
EJ
DO L=2,NBAND
IND(I ,L)=0
END DO
EJ
END DO
1A0
DO 1E1,NE
EJ
DO J1,3
IAFF(J)NOPS(IA+4+J)
I=IAPP(J)
u
X(J)=DBLE(COOR(2*I1))
Y(J)=DBLE(COOR(2*I))
END DO
EJ
IA=IA+7+NOPS (IA+2)
CALL AELEM(XRY,E,A3)
CALL INDICE(INDRIAFF,NBAND,NP)
CALL ENSAMA(E,ACIND,IAFF,NBAND,NP,AA3,PARAM)
EJ
END DO
RETURN
END
Ej
EJ
EJ
130 EJ
4
u
SUHROUTINE ELEM(IOY,AE,A3)
O
O CALCULA LA MATRIZ ELEMENTAL PARA LA MATRIZ A
O
DIMENSION X(*),Y(*),E(3,3)
DOUBLE PRECISION 1, Y, AE, AA3
DOUBLE PRECISION 112,Y12,123,Y23,131,Y31,DET,AA4
AA3 = DET 1 6.
DO 1 = 1,3
DO 3 = 1,3
IF ( DABS(AE(I,J)) LE. 1.D6 ) TREN
AE(I,I) = AE(I,I) + AE(I,J)
AE(I,J) = ODO
END IF
END DO
END DO
RETURN
END
131
l
4
mi
ej
SUBRUUTINE INDICE(IND, IAFF,NBANDONP)
O
O
O
CALOULA EL VECTOR IND
IND SIRVE PARA HACER LA CORRESPONDENCIA ENTRE LOS ELEMENTOS
l
O DE LA MATRIZ A Y LOS PARES DE FUNCIONES DE LA BASE
O
DIMENSION IND(NP,*) ,IAFF(*)
4-
DO K11,3
I=IAPF(K1)
DO K2M,3
J=IAPP(K2)
IP L=2
(J.NE.I) THEN j
MA RO = O
DO WHILE (<L.LE.NBAND).AND.(MARC.EQ.0))
K=IND(I ,L)
a
IP (K.EQ.O) THEN
IND(I ,L)=J
MARO1
ELSE
IP (K.EQ.J) MARC=1
END IP
LL+1
.1
END DO
u
END IF
END DO
END DO
RETURN
END a
EJ
4
4
4
.1
l
132 ej
EJ
SUBROUTINE ENSAMA(AECA,INDCIAFFCNBAND,NPRAA3,PARAM)
O
O ENSAMBLA LA MATRIX A
C
DOUBLE PRECISION AE,,AA3,PARAM
DIMENSION AE(3C*),A(NPR*)RIND(NP,*)CIAEF(*)
DOUBLE PRECISION COE
OOEAA3*PARAM
DO K11,3
I=IAFF(K1)
DO K21,3
JIAFF(K2)
IP (J.EQ.I) TREN
A(I1) = A(I.1) + AE(K1,K2) + COE
ELSE
DO L2RNBAND
IP (IND(I,L).EQ.J) A(ICL) = A(I,L) + AE(K1,K2)
END DO
END IF
END DO
END DO
RETURN
END
33
l
ej
l
SUBROUTINE NOLINEAL(CQORCINDONBND,NP,IPROOTNL)
O
O
O
CALCUL LOS COEFICIENTES DE LA PARTE NO LINEAL
PARA EL MODULO DAMEV
ml
O
DIMENSION IND(NP,*) ,COOR(*) ,IPRO(*) ,TNL(*) Iii
DOUBLE PRECISION TNLCXICYICX,Y
DO 11,NP
TNL(I)=0.
4
IP (IPRO(I).EQ.1) TREN
Xl = DBLE(COOR(2*Il))
Y1 = DBLE(COOR(2*I))
DO J1,NBAND
.2
L=IND(I,J)
IP (L.NE.0) THEN
IP (IFRD(L).EQ.1) TREN
ej
1 = Xl DBLE(COOR(2*L1))
Y = Y1 DBLE(COOR(2*L))
TNL(I)=TNL(I)+SQRT(X*X + Y*Y)/2.
EJ
END IP
END IF
END DO
END IP
ml
EJ
ENE DO
RETIJRN
ENE
SUBROUTINE DATO(COOR,TL,PRGOSUPP,NPRPHIRT,LPH,TA) Mi
C
O
O
O
OTUALIZA LA PRESION EN EL FONDO DE LOS EMBALSES
Y EL TERMINO LINEAL u
DIMENSION COOR(*),TL(*)RPHI(*)RP(*),G(*),SUPP(*)
DOUBLE PRECISION X1RY1RSUPP
DO I=l,NP
4
Il=DBLE(COOR(2*Il))
Yl=DBLE(COOR(2*I))
PHI(I)=PPHI(XI RYI ,T)
TL(I)=(G(I)-I-ALPH*P(Ifl*REAL(SUPP(I))/TA
ml
ENO DO
RETURN
ENO
ej
.2
ml
134 l
l
SUBROUTINE CALCINI(COORCNP,P,G>IPROOALPHCPHI)
O
O CALCULO DE LAS OONDICIONES INICIALES PARA EL MODULO DAMEV
O
DIMENSION COOR(*).P(*)CG(*),IFRO(*),PHI(*)
REAL ALPHA
INTEGER IFRO
DOUBLE PRECISION X1CY1
135
ml
ml
SUBROUTINE CRO(A ,NB&D ,NP,RO,EPS)
a
o
o CALCULA EL PARMETRO RO UTILIZADO POR EL METODO 1
ml
o
DIMENSION A(NP,*)
DOUBLE PRECISION A
REAL R,R1,RO>EPS
ej
RAO.
DO I=1,NP
ej
RA1O.
DO L1,NBAND
RA1=RA1+BS(REAL((I,L)))
ej
END DO
EJ
IF(RA1.GE.RA) RARA1
END DO
R02 . /(RA+EPS)
PRINT*, R0 R RO
RETURN
END ml
EJ
ml
ej
ej
ej
ml
ml
l
u
136 ml
l
SUBROUTINE CGRD(V,GV.NBAND.NP>ARINDAOPHI,TNLOTLOPRB)
O
O CALOULA EL GRADIENTE DEL PUNCIONAL J QUE SE ESTA MINIMIZANDO
O EST RUTINA VIENE LLAMADA EN CADA ITERACION DEL METODO ITERATIVO
O
DIMENSION V(*),GV(*),A(NP,*),INDA(NP,*>,
+ PHI(*)CTNL(*),TL(*),PRB(*)
DOUBLE PRECISION ACPRB,TNL
REAL V,GV,PHI,PRA
DO 11,NP
PRA = O.
DO L = 1,NBAND
FRA = FRA + REAL(A(I,L)) * V(INDA(I,L>)
END DO
IP (TNL(IYGT.1.De) TREN
GV(I> = PRA + REAL(PRB(I)> TL(I)
BETA(PHI(I)V(I)) * REAL(TNL(I))
ELSE
GV(I) = PRA + REAL(PRB(I)) TL(I)
END IP
END DO
RETURN
END
SUBROUTINE CJ(V,JV,NBAND,NP.AOINDAOPRB,PHI,TNL,TL)
C
C CALCULA EL VALOR DEL FUNCIONAL J QUE SE ESTA MINIMIZANDO
O SU VALOR NO ES NECESARIO PARA EL ALGORITMO DE SOLUCION
O SOLO SIRVE PARA INFORMACION
o
DIMENSION V(*)CA(NP,*),IND(NP,*),PRB(*),
+ PHI(*LTNL(*LTL(*>
DOUBLE PRECISION A,PRB,TNL
REAL V,PHI,PRA,JV
3V = O.
DO 1 = 1,NP
PRA = 0.
DO L = 1,NBAND
FRA = PR + REL(A(I,L)) * V(INDA(I,L))
ENE DO
3V = JV + (PRA/2. TL(I) + REAL(PRB(I))) * V(I) +
+ REAL(TNL(I)) * PRIMBETA(PHI(I)V(I))
END DO
RETURN
END
137
u
mi
u
SUBROUTINE GRPCONS(PRGP,IFRORNBAND,NP,CINDACPHIRTNL,TLRPRBORO)
O
O ALGORITMO DE RESOLUCION u
C GRADIENTE CON PROYECCION Y PASO CONSTANTE
O
+
DIMENSION P(*),GP(*flIFRO(*),A(NPR*),INDA(NPR*)CPHI(*),TNL(*),
TL(*),PRB(*)
u
DOUBLE PRECISION ,PRB,TNL
REAL TOL>RO,JV>PP
INTEGER ITER, ITMAX
EJ
LOGICAL SIGUE
TOL=t E6 EJ
ITER=0
ITMAX=1000
EJ
SIGUE= .TRUE.
DO WHILE ((ITER.LT.ITMX) .AND.SIGUE)
SIGUE.FALSE.
ITERITER+1
u
CALL CGRAD(P,GP>NBANDRNP,AOINDAOPHI,TNLOTL,PRB)
DO I=1,NP 1
IF (IPRO(I).EQ.2) TREN Ej
P()=o.
ELSE
PPP(I)
P(I)=AMAX1(O. ,P(I)RO*GP(I))
u
IP (P(I).LT.TOL) P(I)=0.
IP (ABS(PP-P(I)) .GT.TOL) SIGUE=.TRUE.
END IP
EJ
END DO
END DO EJ
RETURN
END u
mi
1
u
u
138 u
u
SUBROUTINE GROONJ(PRGP,IFRORNBAND,NP,A,INDA,PEI,TNL,TL,PRB,
+ DVRS,RRDOARBBB.INDOMMIN>
o
O ALGORITMO DE RESOLUCION GRADIENTE CONJUGADO
C
DIMENSION P(*),GP(*)CIFRO(*),A(NP,*),INDA(NP,*)RPHI(*)RTNL<*),
+ TL(*),PRB(*>,DV(*),S(*),R(*>,D(*),AA(NP,*>RBBB(*).
+ IND(*)
DOUBLE PRECISION A,PRB,TNL
REAL TOL>DIFP,JV>PP
INTEGER ITER,ITMAX,IND
LOGICAL SIGUE
ITMAX=1000
TOL1 . E6
ITER=O
SIGUE~ . TRUE.
CALL CGRAD(P,GP,NBND,NPRA,INDA.PHI.TNLCTL,PRB)
DO 11,NP
IP (IFRO(I).EQ.I) TREN
DV(I)DBET(PHI(I)P(I))*REAL(TNL(I))
ELSE
DV(I)=O.
END IP
END DO
DO I=I,NP
IP (IFRO(I).EQ.2) TREN
DO J=1,NBAND
A(I,J)0.
END DO
ELSE
AA(I ,1)=REAL(A(I, 1fl+DV(I)
DO J=2,NBAND
IP (IFRO(INDA(I,J)).EQ.2) TREN
AA(I R
ELSE
AA(I,J)REAL(A(I,3))
END IP
END DO
END IP
END DO
DO N1,NP
IP (IPRO(I).EQ.2) TREN
BBB(I)=O.
ELSE
pP=0.
139
a
DO J1,NBND
PPPP+A(I ,J)*P(INDA(I,J))
END DO
BBB(I)=GP(I)PP
END IP
END DO
IF (MMIN.EQ.2) THEN
OALL BILINEAL(AA,BBB,PRNBANDRNP>INDARDRRRSRIFROOIND)
ELSE
CALL PRECOND(AARBBBRP,NBANDRNPOINDA,DOR,SRIFRORIND)
END IF
II
DIPFO.
RETURN
ENE
140
SUBROUTINE BILINEAL(A,B,Z,NBAND,NP,INDA,DRR,S,IPROCIND)
O
C METODO DE RESOLUCION GRADIENTE CONJUGADO
C
DIMENSION A(NP,*),B(*>,Z(*>,D(*),IND(NP,*),R(*),S(*),
+ IPRO(*),IND(*)
REAL AOB.Z,D.RRS
INTEGER IND ,IND ,ITER, ITMAX, IFRO
LOGICAL VOLVER,NOK,LLEGO ,OTROI
TOL=1 E6
ITMAX=1000
ITERO
o
o Inicializo R
O
100 CONTINUE
DO I=1,NP
PP=0.
DO J=1,NBAND
PPPP+A(I , J)*Z(INDA(I .3))
END DO
R(I)B(I)PP
END DO
C
O Miro donde minimizar
O
VOLVER=.TRUE.
DO I=1,NP
IF ((ABS(Z(I)).LT.TOL).AND.(R(I).LT.TOL)) TEEN
IND(I1
ELSE
IND(I)=0
IF (ABS(R(I)) .GT.TOL> VOLVER.PALSE.
END IP
IF (IFRO(ILEQ.2) IND(I)=1
END 00
IP (VOLVER) GO TO 500
o
O Inicializo el gradiente conjugado
C
200 CONTINUE
DO I=1,NP
IF (IND(I).EQ.1) THEN
D(I)=O.
ELSE
D(IWR(I)
END IF
END DO
C
O Comienza el gradiente conjugado
ill 1
EJ
-t
O
a
300 CONTINUE i
ITER=ITER+ 1
IP (ITER.GT.ITMAX) GO TO 500
ZCO.
ZDO.
DO N1,NP
ji
l
S(I)=0.
DO J=1CNBAND
S(I)=S(I)+A(I,J)*D(INDA(I,J>)
END DO
ZCZO+D(I)*R(I)
ZDZD+D(I)*S(I) III
END DO
Z=ZO/ZD
NOK=.PALSE.
LLEGO .TRUE.
Sigo en K
He llegado al minimo
Mi
DO fll,NP
Z(I)=z(I)+zA*D(I)
IF (Z(I).LT.TOL) NOI@.TRUE. .2
R(IR(I)ZA*S(I)
lE ((IND(I).EQ.o).AND.(ABS(R(I)).GT.TOL)) LLEGO=.PLSE.
END DO
IF (NOK) GO TU 400 Proyectar
4
IF (LLEGO) GO TO 100 Actualizo el conjunto donde minimizo
ZE=O.
DO 11,NP
EJ
IF (IND(I).EQ.1) R(I0.
ZEZE+R(I)*R(I)
END DO
ZGZE/ZO
ej
DO 11,NP
lE (IFRO(I).EQ.2) TREN
D(I)0.
EJ
ELSE
D(I)R(I)+ZG*D(I)
END IF u
END DO
400
GO TU 300
CONTINUE
ZP10000.
Termina el gradiente
ej
DO 11,NP
IP (z<I).LT.TOL) ZP=AMIN1(ZF\ZZ(I)/D(I))
1
ENO DO
DO I=1,NP Ej
IND(I)=0
Z(I)=Z(I)+(ZFZA)*D(I)
IF (ABS(Z(I)).LT.TOL) IND(I)=1
u
END DO
DO I=1,NP
u
142 EJ
Mi
PP=0.
DO J1,NBAND
PPPP+A(I RJ)*Z(INDA(IR J>)
END DO
R(I)B(I)PP
END DO
OTROI=.TRUE.
DO I=1>NP
IP ((IND<I).EQ.0).AND.(ABS(R(IYLGT.TOL)) OTROI.PLSE.
END DO
IP (OTROI) THEN
GO TO 100 Actualizo el conjunto donde minimizo
ELSE
GO TO 200 Reinicializo el gradiente conjugado
END IP
500 CONTINUE
RETURN
END
143
EJ
Ej
u
SUBROUTINE PRECOND(A,BRZ,NBAND,NP,INDA,D,R,S,IFRORIND) s1
O ALGORITMO DE MINIMIZACION
o
O
O
METODO DEL GRADIENTE CONJUGADO PRECONDICIONADO
MATRIZ DE PRECONDICIONAMIENTO: INVERSA DE LA DIAGONAL ji
DIMENSION A(NP,*),B(*),Z(*),INDA(NP,*),D(*),R(*),S(*),
+ IPRO(*flIND(*)
REAL A,BRZ,DRRCS
INTEGER INDA,IFRO,IND
INTEGER ITERRITMAX ji
LOGICAL VOLVER,NOK,LLEGO
TOL1 .56
ITMAX 1000
Mi
ITER=0
Inicializo a ji
O
100 CONTINUE
DO 11,NP
R(I) = B(I) mi
DO J1,NBAND
R(I) = R(I)
END DO
A(I,J)*Z(INDA(I,J))
ji
END DO
Miro donde minimizar 4
O
VOLVER . TRUS.
+
DO I=1,NP
IP ( (IPRO(I).EQ.2) .OR.
((BS(Z(I)).LT.TOL) .AND. (R(I).LT.TOL)) ) TREN
ji
1 ND (1) = 1
ELSE
IND(I)=0
u
IP (ABS(R(I)7LGT.TOL) VOLVER.FALSE.
END IP
END DO
IP (VOLVER) GO TO 500
EJ
o
O
Inicializo el gradiente conjugado Mi
200 OONTINUE
DO li1,NP
IP ((IND(I) .EQ.1).OR.(A(I,1).EQ.O)) TEEN a
D(I)=O.
ELSE
D(I)=R(I)/A(IR1)
Mi
ENO IP
144 Mi
l
END DO
O
O Comienza el gradiente conjugado
O
300 OONTINUE
ITERITER+ 1
IP (ITER.GT.ITMAX) GO TO 500
ZC=0.
ZD=0.
DO Th1,NP
S(I)=0.
DO J=1>NBAND
S(I)=S(I)+A(I,J>*D(INDA(I>3))
END DO
ZC=ZC+D(I)*R(I)
ZD=ZD+D(I>*S(I)
END DO
ZZC/ZD
ZE0.
DO I=1>NP
lE (IND(I).EQ.1) THEN
R(I)=O.
ELSE
IP (A(I,i+NE.0.) ZEZE+R(I)*R(I)/A(I,1)
END IP
END DO
ZGZE/ZC
DO 11,NP
lE ((IFRO(I).EQ.2).OR.(A(I>1).EQ.0)) THEN
D(I>0.
ELSE
D(I)R(I)/A(I ,1)+ZG*D(I>
END IP
END DO
GO TO 300 Termina el gradiente
400 OONTINUE
ZF10000.
145
DO I=1,NP
IF (Z(IYLT.TOL) ZF=AMINI<ZP,ZAZ(I)/D(I))
END DO
DO I=I,NP
Z(IWZ(I)+(ZPZA)*D(I)
lE (ABS(Z(I)).LT.TOL) THEN
IND (1) = 1
ELSE
IND(I~0
END IF
END DO
DO I1CNP
R(I) = 5(I)
2
DO J1,NBAND
R(I) = R(I) A(I,J)*Z(INDA(I,J)) ej
a
END DO
ENO DO
DO 11,NP
IF ((IND(I).EQ.0).ND.(ABS(R(I>).GT.TOL))
-GOTO 200 Reinicializo el gradiente conjugado
END DO
GO TO 100 Actualizo el conjunto donde minimizo
500 CONTINUE
RETURN
END
146
SUBROUTINE CALCULG(PRG,NBANDONP,OINDAOB,INDB,PHI,TNL,TL,PRBR
+ S.IN.N)
O
O CALCULA LA SATURCION G
O SE RESUELVE EL PROBLEMA B G = 5 DONDE
C B: MATRIZ TRIANGULAR (A MENOS DE REORDENACION)
C G: SATURACION INCOGNITA
o St MNIMO ENTRE CERO Y EL GRADIENTE DEL FUNCIONAL 3
O * * * **** **I* * *** ** * * **** * *** * * **** * * *** * *** ***** *********** ***** *** ** **
DIMENSION P(*),G(*),A(NP,*),INDA(NP,*),B(NP.*),INDB(NP,*),
+ PHI(*).TNL(*LTL(*),PRB(*tS(*),IN(NP,*>
DOUBLE PRECISION A,PRB,TNLCB
REAL SS
INTEGER OONT
DO Th1,NP
SS=0.
DO L=1,NBND
SS = SS REL(A(I,L))*P(IND(I,L))
IN(I,L)=INDB(I RL)
END DO
SS = SS REAL(PRB(I)) + TL(I) + BETA(PHI(I)P(Ifl*REAL(TNL(I))
IP (ABS(SS).LT.1.E6) SS=0.
S(I)= AMIN1(O. SSS)
G(I)=O.
END DO
OONTO
DO WHILE (CONT.LT.NP)
DO 11,NP
L0
DO 3=2,NBAND
IF (B(I,J).EQ.O.) IN(I,JWO
L=L+IN(I,J)
END DO
IP ((L.EQ.OYAND. (IN(I,1).EQ.I)) TEEN
IN(I,I)0
CONTCONT+1
G(IS(I)/REAL(B(I Cl))
DO 111,NP
DO JJ2,NBAND
IP (IN(II,JJ).EQ.I) THEN
IN(IICJJ0
S(II)=S(II)REAL(B(II ,JJ) )*G(I)
END IF
END DO
END DO
END IP
ENE DO
END DO
147
u
~1
ml
DO I=1,NP
G(I)=G(I)+1.
EJ
IP (ABS(G(IYLLE.1.E6) G(I)0.
END DO
RETURN
END
ji
O
SUBROUTINE INT2CHA(INT,CHA) EJ
O
C
C
CONVIERTE UN ENTERO DE CUATRO DGITOS
EN LA CADENA DE CARCTERES CORRESPONDIENTE ji
INTEGER INT
OHARACTER*4 CHA
INTEGER A, B, O, D
INTEGER 0FF, TEN
EJ
0FP48
TEMINT
u
A=TEM/1000
TEM=TEMA* 1000
BTEM/ 100
EJ
EJ
TEM=TEMB* 100
C=TEM/1O
TEM=TEMC*10
D=TEN
CHA=CHAR(A+OEE) //CHAR(B+OPP)//CHAR(04-OPF)//CHAR(D+OPF) u
RETURN
ENE u
u
EJ
EJ
ej
Mi
148 u
a
Bibliografa
[21H.W. Alt. Str6mungen durch inhornogene porse Medien mit freiem Rand. J. Reine
Angew. Math., 305 (1979), 89-115
[3] H.W. Alt. Numerical solution of steady-state flow free boundary problems. Numer.
Math., 36 (1980), 73-98.
[4] C. Baiocchi. Su un problema afro ntera libera connesso a questioni di idraulica. Ann.
Mat. Pura Appl., 92 (1972), 107-127.
[11] L. Caffarelli The smoothness of Ihefree surface in afiltration problem. Arch. Rational
Mech. Anal., 63 (1976), 77-86.
[13] .1. Carrillo. An evolution free boundary problem: flltrations of a compressible fluid
in a porous medium. Researcli Notes in Mathematics, 89 (1982), 97-110, Pitman,
Londres.
149
~l4] J. Carrillo. Qn llie uniqueness of the solution of ihe evolution dam pro blem. Non linear
Analysis. Por aparecer.
[15] J. Carrillo. A Numerical Meihod for (he nonsteady fi-ce boundary problem related (o
(he fltration of a fluid through a poroas mcdium. Por aparecer
[17] J. Carrillo, Nl. Chipot. Qn 1/te dam probcm. Journ. of Diff. Eqn., 45 (1982), 234-271.
[18] .1. Carrillo, lvi. Clii pot. Tite dam problem wjth leaky boundary condions. Appl. Math.
and Optimization. Por aparecer.
[21] P.C. Ciarlet The finite elernent method for elliptic problems. North-Holland
(1978).
[22] P.C. Ciarlet, PA. Raviart. Maximum prnciple and uniform conoergence for (he
finite clcment meihod. Comput. Methods. Appl. Engrg., 2 (1973), 17-31.
[23] C.W. Cryer. Qn (he approxiinate solution of free bourtdary problerns using finte
differcnces it Assoc. Comput. Mach., 17 (1970), 397-411.
[24] E. Di Benedetto, A. Eriedman. Peri odic behaviourfor (he evolutionary dam problem
and related boundary problems. Cornm. in P.D.E.. 11(1986), 1297-1377.
[25] It. Clowinski, J.L. Lions, R. Tremolires. Numerical analysis of variational in-
equalities. North-1-Iollaud (981).
[26] 0. Gilardi. A new approach (o evolution free boundary problems. Comrn. in P.D.E.,
4 (1979), 1099-1122.
[29] M.S. Hanna, K.T. Smith. Sorne rcmarks oit (he Dirichlet floblem in Pieceinise
Sntooth Domains. Comin. iii Pure and Appl. Math. XX (1967), 575-593.
150
E
E
E
[30] lvi. Hestenes. Conjugate direction methods in optimization. Springer-Verlag
E (1980).
[31] J.L. Lions. Quelques mthodes de rsolution des problmes aux limites non
E linaires. Dunod Cauthier-Villars (1969) Pars.
[32] L.D. Marini, P. Pietra. Solution of filtration problems througlt porous medza. The
E programs PICU?A,DAM!AN,PLQTDAM. Rept. IAN-CNR. No.395, (1984) Pavia.
[33] LI). Marini, P. Pietra. Fixed-poin algorithms for stationary floto in porous media.
Comput. Meths. Appl. tvLech. Engr., 56 (1986), 17-45.
[35] P. Pietra. An up-wind method for a fltration roblem. RAIRO Anal. Numr.. 16
(1982), 463-481.
E [37] J.F. Rodrigues. Qn thc dam problern with boundary leaky cottdition. Portugaliae
Mathernatica, 39 (1980), 399-411.
3 [41] A. Torell.
(jera. Ann. Su un Pura
Mat. problema non
Appl., 112lineare con91-106.
(1977), una condizione de evoluzione sulla fron-
u [42] A. Torelli. Qn a free boundary value problem connected with a non steady filtration
plienornenon. Aun. Sc. Norm. Sup. Pisa, 4 (1977), 33-59.
E
u
3
E 151