Universidad Complutense de Madrid 4s~qI4

Departamento de Matemtica Aplicada

UNIVERSIDAD COMPLUTENSE

Aproximacin Numrica
de un Problema
con Frontera Libre

Memoria para optar al grado de doctor

en CC. Matemticas que presenta
Ana Mara Alonso Rodrguez
Madrid, Mayo 1993

u
u

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.
Tambin quiero mostrar mi agradecimiento a Juan Antonio Infante
por sus valiosos consejos y por estar siempre dispuesto a escucharme,
ayudarme y animarme.
Gracias por ltimo, a los compaeros del departamento de Matemtica Aplicada que, con su apoyo, han contribuido a llevar a trmino
este trabajo.

Contenidos
1

Filtracin de un fluido en un medio poroso

1.1 Planteamiento del problema
1.2 Primeros resultados
1.2.1 Regularidad
1.2.2 Condiciones de contorno de tipo Dirichlet como caso lmite
1.3 Existencia de solucin

1
1
6
6

3
18

Resolucin numrica del problema

2.1 El problema discreto
2.1.1 Planteamiento del problema
2.1.2 Existencia de solucin del problema discreto
2.2 Acotaciones de la solucin discreta
2.3 Estudio de la convergencia

39
39
39

El algoritmo
3.1 Descripcin del algoritmo
3.1.1
Gradiente con proyeccin
3.1.2
Gradiente conjugado
3.2 Pruebas numricas

81
Si
82
84
88

A El mdulo DAMEV

44
49

58

119

11

Introduccin
En esta memoria se estudia el problema de la filtracin de un fluido a travs de un medio
poroso con unas condiciones de contorno distintas de las habituales en la literatura. Surgen de una modelizacin ms realista del problema que lleva a substituir las condiciones
de contorno de tipo Dirichlet de una parte de la frontera, por condiciones no lineales en
las que el flujo normal en el borde es funcin del salto de presion.
El agua que est empapando la tierra tiene una gran importancia en la evaluacin y
la gestin de los recursos hidrolgicos. Esta agua est en constante movimiento y dada
la gran extensin qtie suelen tener los acuiferos, el volumen total de agua desplazada es
muy grande; de ah el interes existente por el estudio de este tema.
Desde el punto de vista fsico, se trata de un problema de filtracin de un fluido en
un dominio O c iR3 o iR2, ocupado por un medio poroso. Las leyes fundamentales que
gobiernan este movimiento son la ley de Darcy y la ley de conservacion de la masa.
Llamemos p a la presin del fluido y y a la saturacin. Si se supone que el dique es
homogneo e istropo, este problema puede formularse matemticamente de la siguiente
manera:

enO <O,oo)
}(P)

y E 11(p)
donde 11(s) es el grafo maximal montono asociado a la funcin de Heaviside y a el
coeficiente de compresiblidad.
La formulacin del problema se completa con un estado inicial para y + ap y con
apropiadas condiciones de contorno. Se dan tres tipos distintos de condiciones de contorno:
Frontera impermeable: En las zonas impermeables el flujo es nulo; se tienen condiciones de tipo Neumann homogneas.
Frontera permeable: La presin es continua a traves de las zonas permeables de la
frontera; en esta regin, la presin es un dato y se tienen, por tanto, condiciones de
tipo Dirichlet,
III

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.
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
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
problema en una inecuacion variacional. Posteriormente 1-1.Brezis, D. Kinderleherer y G
Stampacchia [10],y FI.W. Alt [2] dieron una nueva formulacin del problema estacionaiio
que permite un tratamiento ms general, especialmente en lo que se refiere a la geometna
del dominio. El problema de la unicidad de solucin fue resuelto por J. Carrillo y M
Chipot (ver [16, i7]). Otro aspecto importante de este problema es la regularidad de
la frontera libre. L. Caffarelli demuestra en [11] que la frontera libre es analtica y
posteriormente, en un artculo con G. Gilardi [121demuestran que en el caso bidimensional
es montona.
A. Torelli da los primeros2 resultados
a la ecuacin
[41, 42].
Estudia slo
rectangularrelativos
pues utiliza
la misma(P)
tcnica
que introduce
C.
el
caso
de
un
dominio
de
iR
Baiocchi para resolver el correspondiente problema estacionario. La existencia de una
solucin dbil para cualquier subconj unto de iRN con N > 2 abierto, conexo, (le frontera
lipschitziana fue demostrada para el caso incompresible (a = 0) por O. Gilardi [26] y
para el caso compresible (a > 0) por J. Carrillo [13]. Posteriormente E. DiBenedetto y
A. Friedman ([24]) dan una nueva demostracin de la existencia de solucin dbil que
incluye los dos casos. A diferencia de lo que ocurre en el caso estacionario la solucin de
este problema es nica como demuestra J.Carrillo en [14].
Los primeros resultados acerca del problema estacionario con condiciones de contorno
semipermeables en una parte de la frontera son de J.F. Rodrigues [37]. Son J. Carrillo
y M. Chipot en [18] quienes demuestran la existencia de solucin y queda abierto el
problema de la unicidad.
Tambin son muchos los trabajos numricos realizados sobre este tema, debido al
interes prctico del estudio de la filtracin de un fluido en un medio poroso. En su
mayora se refieren al caso estacionario.
Los primeros trabajos son anteriores a la formulacin matemtica rigurosa del piob
lema. Utilizan un mtodo iterativo para determinar la regin del dique que est mojada
por el fluido (ver [23]). C. Baiocchi, y. Comincioli, E. Magenes y O. Volpi [6] presentan
por primera vez un mtodo de dominio fijo; est basado en la formulacin de C. Baiocch

2
2
2
2
2

2
2
4
j

2
2
2
2
fi

iv

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 consecuencia 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 discretizacin 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 problema 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
Est dedicado al estudio del problema continuo. Se divide en tres secciones
En la primera seccion se presenta el problema: se deducen las ecuaciones y se
introducen las condiciones de contorno. Se da la formulacin del problema con
la que trabajaremos en lo sucesivo: sea Q = (0,T) x O y sean pD, pW E tres
subconjuntos disjuntos de la frontera de O correspondientes a la region permeable,
semipermeable e impermeable respectivamente. Sea ~ la funcin de permeabilidad
en
y ~ la presin exterior:

Hallar un par (p, y) tal que

(p,g) E L2(0,T;H1 (O)) x Lcn(Q)
p =0 c.t.p. (x,t) e Q
p

O en

pD

y C 11(p) c.t.p. (sc,t) E Q

jy(VP+~e]RJQ(Y+aPkt

V~ e H1(Q) tal que ~(~T)

y

O en O y ~ =O en

 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

Proposicin: Sea (p,y) solucin de (P2) entonces

si

&P<~ E

Loo(o)

2(Q)
~P EpCLoo(Q).
C([0,T];L

Tambin en esta seccion se demuestra un resultado que establece que las condiciones de contorno de tipo Dirichlet clsicas son un caso lmite de las condiciones
semipermeables que aqu se consideran.
Proposicin: Sea (pc,yc) solucin del problema (Pp~) siendo ~, la funcin dr
permeabilidad ~~(s) = sfr; entonces la sucesin de pares {(pe,ge)}>o converge dbilmente 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
En la tercera seccin se demuestra el resultado ms importante de este captulo que
es la existencia de solucin del problema (1~). Todos los resultados de la seccion
estn encaminados a demostrar el teorema de existencia. Se utiliza un argumento
de semidiscretizacin: se divide el intervalo de tiempo en [0, T] en NI subintervalos
de longitud r = T/M y se resuelve en cada instante t,, = nr un problema elptico
Para demostrar la existencia de solucin del problema semidiscreto se regulariza la
funcin de Heaviside 11(s). En la primera proposicin de esta seccin, mediante
una tcnica de punto fijo y argumentos de monotona se demuestra la existencia
de solucin del problema semidiscreto regularizado. En la segunda proposicin,
pasando al lmite en el problema regularizado, se obtiene la existencia de solucin del
problema semidiscreto. La siguiente proposicin establece una serie de acotaciones
de la solucin semidiscreta.
La seccin concluye con el teorema de existencia.
Teorema 1: Sea ~ montona, continua, tal que fi(O) = 0 y que existen dos constantes positivas a, b de manera que Ifi(~)~ =as + b Vs E R; entonces existe una
solucin del problema (Pa)
En la demostracin se utilizan las acotaciones obtenidas anteriormente y resultados
de compacidad para pasar al lmite en el problema semidiscreto. Estos argumentos

a
2
2
2
2
2
2
4
2

4
2
4
4
4
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
En este captulo se estudia un mtodo numrico de aproximacin del problema. Se
hace una discretizacin espacial del problema semidiscreto presentado en el captulo antenor, con un tratamiento especial del trmino de transporte

tJXN

en concreto se utiliza

un operador de tipo up-wind para discretizar ese trmino. Consta este captulo de tres
secciones:
En la primera seccin se plantea el problema discreto. Sea Q~, una aproximacion
poligonal de O; se construyen los espacios Hh y Lh, subespacios de dimensin finita
de 11(Oh) y Loo(Qh) respectivamente. La formulacin del problema es:
Hallar una familia

{(ph,n,yh,n)}~LO

tal que

(ph,o,yh,o) =

siendo est una aproximacin dcl dato inicial continuo, y para cada n
(p.,n,g~,n)

E H~ x Lh

0= glin =1 c.t.p. (sc)) E

PKn

Qh

O en

+ yh,~Dn(&))+
9hfl 1

cYRh (Phn

j~ fi(T~(q5,.

Phnl)]

Vh E II,. tal que ~

L(lYhn>JJhIsh>+

~
1

(Ph)

Rd~h)

ph,~))Th(~h)

1.

(*)

1,.

=0 c.t.p. (x,t) E Qh

Ph,n

1
1

O Vi E

/?

Rh(~h)]

V,, E II,. tal que ~ =0s1p~ =0

vn

>0

..

4
1
s

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.
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
descomposicin; entonces existe al menos una solucin del problema (P0,r,h).
La demostracin de la existencia es constructiva en el sentido de que da un mtodo
para calcular la solucin del problema (FQ,~,h). La inecuacin (*) es una condicin
de ortogonalidad entre la presin y la saturacin que nos permite descomponer la
resolucin del problema en dos pasos: En cada instante de tiempo t~. se calcula
primero la presin, minimizando un funcional ele energa y despues la saturacin,
resolviendo un sistema algebraico lineal relacionado con la condicin de ortogona
lidad. Para demostrar que estos dos problema intermedios tienen solucin y que
la solucin que se obtiene es solucin del problema discreto, es fundamental la
aplicacin que hace corresponder a cada Xh E Lfi el elemento del dual de lA

&

[xhDh~h

J~h L

+
-~-

tenga inversa montona. Aqu es donde interviene el haber discretizado el trmino

de transporte con un operador up-wind que nos permite elegir al discretizar la
direccin que nos da el signos de los coeficientes deseado.
La segunda seccin est dedicada a probar distintas acotaciones de la solucin
discreta, necesarias para demostrar la convergencia.

4
4
4
u
4
4
2
4
4

En la tercera seccin de este captulo se desmuestra la convergencia de la solucin

discreta hacia una solucin del problema continuo. El resultado de convergencia
que se tiene es el siguiente
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
converja hacia una solucin (p,g) del problema continuo en el siyuiente sentido:

x(Qhtok

x(Qh)Vp~

x(QyL

~(Q)p

x(Q)Vp

en L2(RN+)
en (L2(RN+l))N

~(Q)ydbilmente

en L2(RN+l)

4
1

u
1

viii

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
Se estudia en este captulo el algoritmo de resolucin del problema discreto.
En la primera seccin se detalla e algoritmo. En cada paso de tiempo hay que
resolver un problema de minimizacin y un sistema lineal. Se trata de un sistema
triangular de modo que su resolucin no tiene dificultad. El problema de minimzacion es mas delicado ya que el funcional que tenemos no es cuadrtico y se
busca el mnimo sobre un subconjunto del espacio de trabajo iRl.. Se proponen
dos mtodos clsicos de minmzacion: uno de tipo gradiente con proyeccin y otro
de tipo gradiente conjugado. El primero es vlido para una clase muy amplia de
funciones fi, pero es lento; el segundo necesita ms regularidad sobre fi, pero es ms
rpido.
En la segunda seccin se da una rpida descripcin del programa utilizado para
hacer las pruebas numricas. El resto de la seccion est dedicado a mostrar y
comentar los resultados obtenidos para distintos problemas test en los que se ven
algunas de las propiedades cualitativas de la solucin obtenidas tericamente.

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 condiciones 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

Captulo 1
Filtracin de un fluido en un medio
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 distinguimos 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 ~

pV pW y E son disjuntos dos a dos.

PDUFWUPIP
pW tiene un nmero finito de componentes conexas

F1

=i =Ng.

pD es un subconjunto abierto de E.
Vamos a estudiar el problema en un intervalo de tiempo (0,T), TE IR, O < T <
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
~.

a
pW

fl {#(t~) > 0} coincide en todo instante t con el nmero de embalses N5, la manera

definir ~ en FWes la siguiente:

x,t) =

(h~(t)

xN)~ en

Fr

=~=N~.

donde 1i1(t) es una funcin lipscbitziana que representa el nivel del fluido en el embalse
correspondiente.
Sean
Q = Ox (0,T)
E
>0
>0w

Ex (O,T)

x (0,T)
pV >< (0,1)

Fw x (O,T)

= 17

>1

w
j~

~1

*r~~
+

2-

44%

.
~.~~.44.*~<
:&:..:Z ~#.ys.
4U*~@
:.c.>.#~
.. 4j.~S
.0t~%~M
~.*.d*4.:t~.*~
t*
>7
:~t4.**
~ ..
~

si
ji
si
4
si
2
si
2

~
&

tt

4.

Figura 1.1:

El fluido se filtra a travs (le dique, mojando en cada instante t un subconjunto )V(t)
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
a travs de una superficie unidad, normal a la direccin del flujo. Sean p la presin y

2
si
2
si
2
si
2

~1

2
si

la altura piezomtrica. La ley de Darcy, establece que la descarga especfica

est dada por
= p + fl~\r

q = KV(p +

XN) =

donde A es un coeficiente de proporcionalidad llamado conductividad hidrulica. Si se

trata de un medio homogneo e istropo, 1< es una constante escalar que depende de las
propiedades del fluido y del medio poroso (viscosidad, porosidad, ...). En lo sucesivo
supondremos 1< normalizado: 1< = 1.
La otra ley fundamental en el movimiento de un fluido es la ley de conservacin de
la masa. Sea a la porosidad del medio (Volumen vaco/ Volumen total), y p la densidad
del fluido. Segn la ley de conservacin de la masa:
O(ap
_____

at

div(pq).

Se define el coeficiente de compresibilidad <le fluido como

Op

de modo que podemos escribir

O(ap)

Op O~>

Op

=ay~j

04

=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
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,
VV.

u (q, i) = 0,
3

a
siendo u E
ella

IRNl

el vector normal exterior, unitario. Por la propia definicin de >0 en

(Vp, pt)
1/ =

= (vx~,vxN,vt).

2 +pfl1~2

_______________

(Vp~

Segn esto y la ley de Darcy, se verifica que

Op

Ot

OxN

O en>0.

De aqu se deduce formalmente una ecuacin en V(Q):

<Ap,~

p,A~

>=<

V(Q)

>= J{p>O} p(LS~) =

2
ti
si
u
2

VpS7~ =

si

Vp

(IV*

J{p>o}

v~4aj

< H(p)
H(p),~>
Ot
OXN
Llamemos g a la saturacin, tenemos entonces:

+pfl

/2

p=
a

E H(p) en

(1.1)

OxJ~T y

/{p>O} Ap~~ =

en D(Q).

(1.2)

11 es el grafo maximal montono de Heaviside:

11(s) =

si s > O
5 = O
si 8 < O

[0,1] si

Condiciones de contorno y dato inicial

Tenemos distintas condiciones de contorno en cada una de las regiones de E:
>0~ es la regin de la frontera impermeable, por tanto no hay flujo a traves de ella,
es decir
q u =.0 en
que escrito en funcin de

4 es
O

en>D.

si
2
si

(i.3)

si
1
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

p=O

(1.4)

en>0D.

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:

>0W

9
~(z +

en>0V.

XN) =O

(1.5)

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.

+ 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.
La formulacin del problema se completa dando un dato inicial y0+ctp0. Formalmente
y(O) + ap(O) = y0 + ap~ en 0.

(1.7)

De todo esto concluimos que en el problema de filtracin de un fluido en un medio

poroso las incgnitas son dos: la presin p y la saturacin y, que formalmente han de
verificar (1.1), (1.2), (1.3), (1.4), (1.5), (1.6) y (1.7).
Formulacin dbil
Trabajaremos en lo sucesivo con soluciones dbiles de este problema. La definicin es la
siguiente:
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
(ng) E L2(O,T;H1(O))
p

=O

c.t.p. (sc,t) E
5

L~(Q)

(1.8)

(1.9)

u
4

a
O en

p =
g

(1.10)

>0V

c.t.p. (sc)) E

H(p)

(1.11)

J (X7pge)S7j(g+crpY~t =
(y0 + ap0),O)

V ~E

H(Q)

tal que ~(x,T)

4w

O c.t.p.

fi(~

y ~

=O

en

(1.12)

Si no hay confusin, llamaremos a este problema simplemente (P).

1.2

Primeros resultados

1.2.1

Regularidad

Llamaremos V al espacio

V
y

{C E fi1(O) 4

O en

pD}

a
1

4
si
ti

~1

a su dual topolgico.

Observacin 1.2 Sea (p,g) una solucin de (P). Supongamos que existen dos constantes a, b tales que fi(s)~ =a~s~ + b para todo s E IR; entonces la aplicacion
L2(O,T;V)
JQ(P + ye)S7~

es un elemento de [L2(O, T; y)] = 9(0, T; y).

V(0, T; V) tenemos:

(Vp +

ge)V~
=

/~

fi(~

Adems si tomamos la funcin ~ en

fi(#P=j(ycvpRt=

< (y+cxp) t >,

por lo tanto se verifica que

(q+ap) E L2(O,T;V).
it.
Como

{~

E L2(O, 1; y) y ~ E L2(O, T; V)} c C0([0, 2]; y) se deduce que

(y+cxp) E C0([O,T);V)

(Ver [26]).

#
6

si
ti
u
u
si

si

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

+ ~p)& =
/k
O c.t.p. sc E O

V ~ E H1(Q) tal que t(x, O)

(113)

= ~(x, T) =

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:
-

F(p, q) E L2(O, T; 111(0))

F(O,q) E H(Q).

F(s
1,s2)

=O

2.

c.t.p. (81,82) E iR

OF
-

os~(s1~s2)

=O

c.t.p.

(51,52)

E R2 (o bien =0).

Adems, sea Y tal que

OF
~(s~,

2) =

F(s

2
1, s2) c.t.p. (si, 82) E iR

y supongamos que

OF
-

082

(r,q)q E L2(Q), Vr E L2(O,T;H(O));

a
ti

a
entonces:
J(Vp + ge)V(F(p, q~)

+F(~~~)~t} =

{~(rn~)~t~

fo

j(Vp + ge)V(F(0,

a]

fiF(p, q)~

q)t)

(1.14)

fiF(O, qk

p~j(F(O, q)C)

V~ E V(Q x (O,T)).
En particular, si F(O, q)~ = O en

entonces

>0V

+ ye)N7(F(p, qg)
0, q)~)

/3F(p,q)~

OF

+ a0 (p, q)qt~ + aY(p,

=0

(115)

Demostracin.- Es una adaptacin directa de la demostracin del lema 2.1 de [14].

Sea 4 una funcin regular tal que 4 = O en >0D y Sop(4) G JflN x (ro,? lo) para
~o> 0; entonces para todo E (ro, wo)

0=

J(P

+ ye)(x, i)S74(x, 1 <dx di

74(rc , t
=

/3(x, i)4(x, t

(g + ap)(x, t)4(x, t

<dx di

<dx di

r)dadi =

(Vp + ge)(x, t)V C(x,tr)dxdi++ (f(g+cvp)(x,)c(x,tw)dxd)

Wx,t)C(x,t <do di,

Jjvp

+ ye)(x,I + r) VCx,t)dx dt +

(y + ap)(z,t + r)4(x,t)dxdt

71w ~(x,i + r)4(x,i)da di.

ti
II

si

y por lo tanto, para todo r E (ro, lo) tenemos

o =

Ii

<dx di + (y + ap)(x, t)4

1(x, 1

ti
2
ti
si

<da di =

Lv~ + ge)(x, i)S

Jfi(x,i)C(x,t

ti
ej
ti

a
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
efectivamente verifica 4 = O en >0V)

J(S7p + ye)(x, 1 + r)S74(x, i)dx di

Jfi(x,l

+ r)4(x,l)dadl =

o r

(1.16)

J(y + ap)(x,i + r)F(p(x,l),q(x,l))4(x,i)dxdl+

Of
+~ ](y + ap)(x,t + r)F(0,q(x,1))4(x,1)dx di.
Llamemos O a la funcion
0(r) =

j(g + ap)(x, 1 + r)F(p(sc, 1), q(x, l))4(x, l)dx dt.

Todos los miembros del primer trmino de la ecuacin (1.16) son funciones continuas de
r parar E (ro,o). Tambin

L(g + cvp)(x, 1 + r)F(O, q(x, t))4(x, l)dx dt

r)dxdl
1(ro, o) y se verifica
es
una
funcin
de
Ct(~ro,
a),
por
lo
tanto
0(r)
es
un
funcin
de
C
la igualdad
=

(9 +

ap)(x,1)F(O,q(x,l

r))4(x,l

di
J(Vp + ge)(x, l)V(F(p, q)4)(x, i)dx
00

I
/3(x,t)(F(p,q))(x,l)da di + (O)
J;W
Or

}Q(P + ge)(x, i)WF(O, q))(x, l)dx di

(1.17)

fi(x, i)(F(0, q)4)(x, l)dcr di

f(g + cvp)(x,t)(F(O q)4)(x,t)dx di.

ot

90
Calculemos (O); para ello descomponemos 0(r) = Oi(r) + 02(7) + 0~(r) + 04(7)
br
siendo
0~(r) = Jy(x,t + r)[F(p(x,t),q(x,l))
9

F(O,q(x,l))~(x,l)dxdt.

-I

s
02(w)

pQr, t)]F(p(x, it), q(x, i))x, t)dx dt

crJ [p(x, it + r)

c~/[F(p(x,i),q(x,t))F(p(x,t+r),q(x,itn(x,t)dxdt.

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.

L y(x,t + r)F(O,q(x,t))~(x,t)+

04(r)
+

aJ F(p(x, it + w), q(x, it))t(x, it)dx di.

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:

En el caso OF > O para casi todo (x,t) E

051
___

Qy

para todo r e (rojo) se tiene

0=01(r) =y(x,t+r)[F(p(x,t),q(x,t))F(0,q(x,t))]
=F(p(x,t),q(x,it))
=

g(x, t)[F(p(x, it), q(x, 1))

F(0,q(x,t)) =

F(0, q(x, it))]

O(r) =0~(O), Vr E (ro,ro)

(sc)) E

Qy

F(sl,s2) es una funcin convexa y por tanto para casi todo

para todo r E (ro,ro) tenemos:

02(r) = (p(x,t +r) p(x,t))F(p(x,t),q(x,t))+
+F(p(x,t),q(x,t))Y(p(x,i+r),q(x,t))

en r = 0.
En cualquier caso 0~ + 02 tiene en r = O un extremo y por tanto

02)(O

u
ti
s

Claramente 03 es una funcin constante en r de modo que

___

ti
si
u

=0 = 02(0)

por tanto tambin la funcin 02 tiene en r = O un maxmo.

En el caso OF =0,se demuestra de la misma manera que 01 + 02 tiene un minimo

0(0k07+

si
u

= 0~(O)

y por tanto
Adems la funcin s1

u
4
u

O.

br

J
O

ti

Finalmente

004
br (O) =

1 y(x, it)[P(O, q(x, it))e(x, it)]

0it~

~(x,it)

aj

00

Substituyendo en (1.17) -~~(O) por el valor calculado se obtiene

JQ(P + ge)V(F(p, q)~)

F(O,q)4)j +
-JQ{y(

=JQrp + ye)V(F(0, q)4)

j~

de donde simplificando se obtiene (1.14).

Si F(0,q)4 = O en >0V podemos tomar

fi(F(p, q))

(p,q)q + aY(~~~)~}

fl(F(o, q)~)

F(p,q~ y obtenemos (1.15)

Utilizamos este lema para obtener varios resultados de regularidad de la solucin de

(P).

Proposicin 1.5 Sean (p,y) solucin de (P$) entonces

E C([O,T];LNO)).
Demostracin.- Tambin en [14] puede verse la demostracin de este resultado en
el caso de tener condiciones de contorno de tipo Dirichlet en >0W. La demostracin que
hacemos aqu es la misma, pero resulta ms corta al no tener el dato de contorno Diricblet.
Apliquemos el lema anterior con F(si, s2) = ~i y E V(O, T), ~ = O
2
r

kw ~

p
=

J~[(v~ + ye)Vp~

Como ~ no depende de sc podemos escribir

ye)Vp] =

of tlIPIL2(I2)

d
=

ia <

aT

jjILPHL2~o

es decir

ji

~[Jrw~~

a
2

(Vp + ye)Vp]
11

>V(0,T)xP(0,T),

si

a
y por tanto

JrwAP

(Vp + ye)S7p

Ii

en sentido de D(O, T). Ahora bin, la funcion

ji

it

fip

Vp + ye)Vp

es un funcin de L1(O,T) de modo que la funcin

1
es una funcin de

W1(O,T) c

jILPIn2(Q

C([O, T]). Se tiene entonces que

apC C([O,TI;L2(O)).

Observacin 1.6 En el caso incompresible (a = O) no es cierto en general que p sea

continua (ver [19]).
La siguiente proposcion es otro resultado de regularidad de p.
Proposicin 1.7 Sean (p,y) solucin de (P
0 E
(O) enitonces p E
0~2o~~~o);
si
ap
Loo(Q). En particular en el caso incompresible (a = 0) se tiene p E Loo(Q).
Demostracin.- Sea O > O una constante real tal que
O

scN =max(J1p0ILco(n),

ikIL~1Q)),

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

1
1

0
~1 5

u
ti
ti
si
ti
u
si
II

ti
.1
si

si

0<1<6

si

t<it<23

si

2~5<t<T2&

si

T23<t<T&

si

Tbt<T

ti

5
1
(T3)t
&
O

Aplicando el lema 1.4 obtenemos que se verifica

+ e)VF(p, qs

12

J~ fi(~

ej

p)F(p, q)&

a
ej

cj~jjJRP~~)

$p, q)

ji

J0FQ>q))

__________

2 qfl
[F(p,

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)
fi(4 p)F(p, q)

J(~

\/n\112

CV

y como fiGk

p)(p

7>,

it

>IUjlI,2~fl~

K2 ~
q)~ <O tenemos

Jvp+ e)VF(p,q)

1
2

uuni~irr~i2N

IIrIv.oII1IIIr2,n~I

a (~F(P,q)(O)I~
2(Q)

~jF(p,q)(T)~2(n))
=0.

Por otra parte q verifica

Irq + e)VF(p, q)

por lo tanto

es decir

V(p

q)VF(p, q)

7(p
II~
q)~(O)IL2(g) =

ya que j(p
Puesto que (p
cual p =q c.p.t.(x,it) E

q)~

GIFdP~ q)(O)11j2(Q)

531 ii(p

~F(p,
q)(T)11L2(o)) =o

q)~H~2(Q) +
q)~(T)It2(g) =O
O.
= O en >0V se deduce que (p
q)~ = O c.p.t.(x,i) E

9.

9,

por lo

Observacin 1.8 En la proposicin anterior se ha encontrado una cota para IIPILo~(Q>

que depende de CVHP0HLOO(O>, de ~ y del dominio O pero que no depende de fi
1.2.2

Condiciones de contorno de tipo Dirichlet como caso

lmite

Llamemos (P~,p,go~
0po) al problema de la filtracin de un fluido en un medio poroso con
condiciones de contorno de tipo Dirichlet en >0W U >0D. Demostraremos que este problema
puede entenderse como el lmite <le problema con condiciones de contorno sobre el flujo
si hacemos tender a infinito la funcin fi, que representa la permeabilidad de la frontera

13

Proposicin 1.9 Sea {c} una sucesin de nmeros reales positivos que tiende a cero y
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).

~1

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:
g~e)Vp~~

JQ(PC

2JPfl

O.

Pasando al lmite cuando & tiende a cero se obtiene

7p~

Pc

+ y~e)S

~tIre(O) IL2(fl)

jp~(T)

1
n
(Q)] =

(1.18)

Por otra parte, al ser (pe,gc) solucin de (P~~~,go+~po), verifica para cualquier funcin
E H(Q) tal que (x,O) = ~(sc,T) = O c.t.p. sc E O y ~ = O en >07>

Pe~j(g+ap)40

j(S7p~+yce)SkJ
En particular puesto que ~ = O en

>0D

podemos tomar ~ =

L(vPe 9~e)v~&J2~ ~ ~

=0

0([O, 1); y)

de donde haciendo tender ~5a cero se tiene, puesto que Ye + cvpe E C

=b~Pc#(y~+ap~)w

JQ(PY)#JW

(gO

+ ap% O) +

+ apc)(T)#T)

Haciendo la diferencia entre (1.18) y (1.19) obtenemos

(Vpc + g~e)V(p~
=

tV[iOI2

Teniendo en cuenta que

/~

Pc

#)

iPc(T)II~.

2(g)] + (go + cvp0)qS(O)

(p
6

JQ(YC
ftge

~) =O obtenemos

IVPCVL2(c))N +

)~2(Q)

O.

(1.19)

+ ap~)sb~ =
+ ap~)(T)=b(T).

la siguiente acotacion:

14

JQ\PJJQ

ye

JQCJ

OxN

+ (yo + ap0)q$(O) =
=CIIVpCH(L2(Q))N + CVC2IIpCIL(q) + 03.
Puesto que Pc se anula en

>0V,

la desigualdad de Poincar nos permite acotar

IPHL2(Q)

=CIVPH(L2(Q)>N

donde O es una constante independiente de e y de este modo obtenemos

IVPCH(L(Q))N =0.

(1.20)

Si tomamos ~ E L2(O,T; H(O)) corno funcin test en (P~~,go+~po) tenemos

(yc+aPe,

>=

JQ(PY)

de donde, usando (1.20)

< (y~ +

cip~)t > 1 =II VpcI(L(rn)NIV~I(L2(q))N + C V~l(L2(Q))N =

es decir

+ cvc)1L2(or;nI(rn) < 0.

Sea
=

~ E L2(O, T; L2(O)),

(1.21)

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

Pc

13

Yc

Ye + CVPc

4+ a

{(y~,~~)l~>O

(que seguiremos lla-

en L2(0, T; 111(0)),
en
en L2(O,T;H(O)).

sE

Hemos de demostrar ahora que este par (13,4) es solucin de (P~~go~apo).

Como los conjuntos {4 E 2(0, T; 111(0))
4 > O c.t.p. (sc, 1) E Ql y {4 E
L2(Q) O = 4 =1 c.t.p. (sc,t) E Q} son cerrados y convexos, son dbilmente cerrados en los espacios correspondientes y por tanto se verifica tambin (14)13>0.

De la convergencia fuerte en L2(O, T; U1) de Y~ + &Pc se obtiene que para toda

E D(O), 4 =O

((Y

MI

zflp4 fS~4JQjl (4+cv))134.

Adems, por ser (ye, lis) solucin de (~

ti
4
g1

ti
ti

2,~,110+0~0)

(1gjp~=O Vc>O,

de modo que

(1 (4+cEli134.
2(O, T; 11) se obtiene que
Por otra parte, de la convergencia dbil de p~ en L

4
MI
ti

=e~.*

0JQ ~4

y por tanto

-cVJQ 1324= aIim

de donde V4 E D(O),

c*0

4)134

(14)134 = O, es decir

a
-fi

(14)13=0.

1(Q) tal que 4(x,T) = O c.t.p. sc E 0,4 = O c.t.p. en

4 Ee 11se verifica
ParaSea
cada

+ g~e)V4

Ye + apc)4t =

16

>0W y

(y0 + crp0)4(O).

4 =O

en >0V.

MI
ti
a

ti

Pasando al lmite cuando e tiende a cero:

Por ltimo
y

(V13+4e)S7t

para ver que

(1.20).
j

jiQ (4+c~p)~t =4 (g0 + cxp0)~(0).

coincide con

(S7p~ + y~e)V(~

jiyc + arn)4t

en >0W hagamos la diferencia entre (1.21)

lic)

0[pO2

Pc)2

+ cxp)(T)cP(T).

+ cvp0)#O) +

jj~

(~

Es decir

.kwep
ji~ (Ye

(L(~~ + y~e)V(~

pc)2 = ~

Pc)

+ ap~)qSj +
2LliL2(Q>

+ go + ap0)o)

li~(T) 1L2(O>]+

J(Y+c=li)(T)T))=

<e (jrzpc + g~e)V(k

lic)

ji/ye + &ps)~t+

0 + cxp)#0))
(y
+
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

Observacin 1.10 Si a ~ O se verifica adems que

pc~13 enL2(Q)
pues

lic~P enL2(Q)
y
4

17

&13~j.2(Q)

u
MI
Iii

1.3

Existencia de solucin

Para demostrar que existe al menos una solucin del problema (P), vamos a utilizar un
mtodo de semidiscretizacin: fijemos un numero natural M y sean r = TM, t, = nr
Planteamos el siguiente problema semidiscreto, al que llamaremos (Pr):
Hallar una familia de funciones {(p~,g~)}f~L0 tal que

cxp0

0+
Yo + &po = y

(1.22)

yVn=1,...,M

(p~,g~) E V x L~(O)

(1.23)

it =0

(124)

ji
ji

(gn

alin

y,~)p~

(Vp~. + y~e)Vt <

(1.25)

<t;2t~4; 4 ~
en

(126)

Tenemos en cada paso una inecuacion varacional elptica de la forma

[(g,~+ apnY~ + (Vp~ + y~e)V]

V E 111(0) tal que ~ > O en pV, donde

=<1

fni

f~i +

fi(#t~)

+ &Pn...1 es una funcin conocida

Yn1

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
IL la aproximacin del grafo de Heaviside definida
0/
Hc(s){

7/6

Hallar q~ E V tal que

~ (Hc(qc) + aq~)~ + ~q~

MI
u
u
si

516<5

Consideremos el siguiente problema regularizado (Pre)

4~ 4

MI

si s <O
si0<s<c
_

u
u
u
u

+ H~(q~)e)W =

f3(t,~)

q~

MI
u
u

18

u
~

V~ E 111(0) tal que ~ = O en

El primer resultado que probaremos es la existencia de solucin para este problema
regularizado.
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.
L2(O) del siguiente modo: a
Demostracin.- Definimos el operador T : L2(O)
cada q E L2(O) le hace corresponder T(q) = li solucin del problema (P.r,e,q)
*

4 ~
(4=

para todo

j 114q)

fi(t,~)

p)t~

V.

Paso 1.- La aplicacin T est bien definida:

Sea 8 la funcin definida
8(s) =
y sea J : V

IR el funcional definido
J()

donde

~ fi(a) da

f(4) +j()

v12)

fn~i+jHe(~)(h+

4~ 8(q5(it~)

OXN)

Claramente 1 es convexa y continua. Tambien j es convexa porque 8 lo es; veamos

que es semcontinua inferiormente.
De la hiptesis de crecimiento sobre fi se deduce que

0 <8(s) <

~2

+ bs,

de modo que dada E L2(FIv), 8() E L1(P).

Sea & una sucesion de funciones de V que convergen en norma hacia o; en ese caso
klpw
&oyw en L2(P)y por lo tanto, en casi todo punto. Se tiene entonces que
~

19

a
u

Sm 8(#i~)

&)(oil

B(I~)

sup
Por el lema de Fatou

B(t~)

o)

o)(a)I =O c.t.p. a

]7W

ji
=lirinfjiw

B(#i~)

u
MI

k).

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

Por tanto existe p E y tal que

J()

+ c211IIHI (fi)

ClI~1(o)

Ii

J(p) =J() V EV.

Veamos ahora que J es diferenciable Gateaux (en realidad solo hay que ver que j lo
es).
Dadas dos funciones , 4 E V
Hm .~[j( + >4) J()) = Hm
.

Hm

ji

8(t~)

fi(t~)

>4)
>4

8(t,)

pAA4)(4)

donde O < PA < 1.

Se verifica que
-

fi(#t~)

fiY/d~~)

pA>4)(4)

~2 fi(d4it~)

p\4)(4)j

=[aj44t~)

=[a(t~)

)(4)

c.t.p. en

PA>4 + b]l4

a
2
MI

jW

ii

<.

j + 4I) + b]I4t E Ll(FW)

por lo tanto, en virtud del teorema de la convergencia dominada de Lebesgue

Hm

i[j(
A

>4) i(~i] =

ji~

fi(t~)

)4.

Si llamamos J a la derivada Cateaux de J se tiene, para toda funcin

< J(p),4 >VxV

EV

2
a

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

w[fi(itn)

Si tomamos

= p

p como

p)

fi(~~)

li)]4 =

es montona

[fi(#(t~)

p)

fi(it~)

~W~ lii =O

de i~nodo que

HI~
1~

li IIL2(fl> + IV(p

li)I~Lcn)> < O

y por tanto p = p.

Paso 2.- La aplicacin T tiene un punto fijo.

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

=~[fiU$

4)

~jIsI~(q) 11~(q)iL(cz~

p)

(}~

qMt~i> (ili

fi(sb(t.)

li11L2(fl) + flS7(p

p)](p

7(p

flL2ff>

1) II (L2

(fl))N).

+ r

T(L2(O)) es un subconjunto precompacto de L2(O):

Veamos primero que T(L2(O)) es un subconjunto acotado de V
1
1
+IPIL2(o) + HVli~IU2(o))N = flfnI 1L2(fl)HPHL2(fl) + 1
CV

+1011/2

JrW

(liL(rn

21

fi(t~)

O.

Por la monotona de

fi(t~)

fi

p)p

=O

y por ser ~4)

fi(#t~)

~)~)

~ fi(M p)(#t.)

p)

lo que nos permite acotar

~ IIPLILQ(Q) +

iVPfl(L2

0n)N

=0.

2(O)) es un acotado de V y la inyeccin de Ven L2(O)) es compacta,

Puesto
que que
T(L efectivamente T(L2(O)) es un subconjunto precompacto de L2(O).
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~)
Paso 3.- El problema (P,~) tiene una nica solucin
Para ver la unicidad seguiremos el argumento empleado por 14. Brezis, D. l<inderlehrer
y O. Stampacchia en [10]. Consideremos la funcin

sisc<0

Si q y q son dos soluciones del problema (F7~), tomemos como funcin test gs(q

4
=

V(q

q)Vys(q

qQ +

/1

(14(q)

H~(q)) I~jY(q

(fi(it~) q)

V(q

q)Vy5(q

q) =

q)YsYi

12

fi

q)

qQ

)+

qQ.

de la anterior igualdad se deduce que

(H~q)

Teniendo en cuenta la lipschitcianidad de H~

14(q)
H~(q)

9
qQ + ~Ys(~

fi(~~) qQ) gs(q

Por la definicin de y~ y la monotona de

j(q

H~(q))

ys(q

q).

(1.27)

Osc N

=lq

qi;

e
22

-fl

por otra parte llamando

= q

Ox N Ys(Qfr{

o
0Qt

siQ=O

osciv Q2

siQ>0

de modo que, de la desigualdad (1.27) se deduce

Ql2

ji

<~ji

I\7Q 2

( I~QIN2

Puesto que

jifi

(ji

011/2
e

____

x5/

1/2

101

por la desigualdad de Poincar/e se obtiene que

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

es decir

y por tanto q

llq~HL2(o>
=0 c.t.p. sc E O.

ji

~ fiekt~)

f,ti(q;-) +

+ HVq~H(L(Q)>N

=O

Observacin 1.12 Es posible debilitar la hiptesis sobre el crecimiento de

ciente que se verifique que dadas dos funciones y 4 en V se tenga

fi(#it~)

Si

E 111(0) entonces

<O

fjt/2(FW)

04

fi.

Es sufi-

e Ll(FW)

y segn las inclusiones de Sobolev

SiN > 2 entonces H1/2(W) C L~(I) para todo

23

que verifique 2 < r < (N

1)2

N2

si
u
-

Si N

2 entonces

Para tener
r/(r

c Lr(L~W) para todo r que verifique 2 < r < oc.

H1/2(fW)

fi(~~))4

E Ll(FIV)essuficientepedirfi(tn)~4) E

con

1 (r =

1)). Si tenemos para fi(s) una acotacin de la forma Ifi(~) =as~ + bentonces

L~

=~>

fi(t~)

s) E

1
s

C U

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

4
4

con
N
N2

siN>2

e < oc si N = 2.

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
constantes a y b
Ifi(s) =as + b Vs E iR;

MI
1

Enitonces el problema (P7) tiene solucin.

Demostracin.- Razonamos por induccin. Supongamos calculado el par (pni,yni);
para calcular (p,~, g,~) resolvemos primero el correspondiente problema regularizado, obte
nendo as una sucesin de funciones
G y de la que adems sabemos que verfica

MI

{qc}c>o

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)
tal que:
q~
p,, en

__

hJ~(q~)

lin en

p,. en
~

g,, en 13(0)

4
4

24

Puesto que los conjuntos

q(sc) =O c.t.p. sc E 01

{q E V

{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:

(I4(q~) + aqc)~,s +

412

fn-i&,&

12 Vq~V~s +

fi(q$(it,~)

0
He(qt)0&,s

qt,e

o.

1~

(1.28)

Al hacer tender 5 a cero se tiene que ~,s

c.t.p. sc E {q, > O} y por tanto
It(q~) y qej,s
q c.t.p. sc E O, de donde usando el teorema de
Lebesgue se deduce que
>

He(qt)e,s

12

=4

y que

12 qc&,s 44

q.

Tambin se tiene que

0
fi

ji

Hc(qc)&,s +

~ 12 5H6(q,j +
El trmino

f~

=t~

ji
=

12 IJc(qc) ON

f,~~&,s lo descomponemos del siguiente modo:

ji

fni&,s

ji

<0>

f~i 8 +

25

ji{0=t}

fn-i &,~

=4

~~1

1
4

Jn1C

12~~

+ ji

y de manera anloga

7~,s + ji

jiQ S7q~S7~,8
=

S7q~

5 ji

Por ltimo, teniendo en cuenta que fi(t)

~
Wfl{qc>O}

fi(it~)

=Wfl{q~>0}

q~)&,s

Como fi(t~)
Lebesgue se tiene:

ji

fi(#it~)

fi(t,~)

qc)&,s +

fi(#t~)

fi(ddit~)

ji{e=qc/6}

Vq~V +

Vq~V4~,

VqeS

Vq~V.

=O

q~)&,s

Wn{

q6)&,s +

~)

\7q~V>

jirWfl{q~=0}

c.t.p. sc E pW fl {q~ > O} por el teorema de

qc)&,s + ji

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
ji (Ho + CEqc) +
[Vq~v+

12f~-i~

CINJ

~ fi(M

qjf =O

Finalmente haciendo tender e a cero resulta

j(yn
j(

12 ~

+ ap~) +
+ ~lin.4
)~

como queramos demostrar.

0]
+Yny-]
fi(it4)

pn)t

=O

1
1

7,y9 y
A
partir
de
la
solucin
del
problema
(E7)
construimos
un
par
de
funciones
(p
demostraremos que al hacer tender r a cero la sucesin {(p7,g7)}x>o tiende hacia un par
(p,y), soludin de (P).
26
s

Asociadas a cada itt, definimos las funciones:

4~(it)

= (

it

siendo x(A) la funcin caracterstica del conjunto A.

Sean
=

M
E
p~(sc)4~(t),

r>3

n0
gr =

(1.29)

n=1

E
g~(sc)4~(t),
n0

>3 y~(sc)y4(t).
n=1

El siguiente resultado es una serie de acotaciones a priori que necesitaremos para la

convergencia de la sucesin {(pr,gr)lr>o.
Proposicin 1.14 Sea
constantes a y b

fi

continua, montona creciente, que verifica fi(o) = O

fi(s) =as + b Vs C iR;

T, g
sea
~
solucin
del
problema
(P7)
y
sean
p
en (1.29). Entonces existe una constante O tal que
PIL2(O,T.HI(fl)) <

I2(>

y para dos

u
4r las funciones definidas

(1.30)

=O

&liT)IL2(o,T;H~1(fl>)

(1.31)
(1.32)
(1.33)

PflL2(Q)=CVn=O,...,M.
0 E Loo(O), entonces

Adems, si ap

(1.34)
Demositracin.- Para la demostracin de (1.30) tomamos p,. como funcin test en
(1.26). As se obtiene:

--12

fi(t,~)

1s7liflrL20-O)N =

p~)(qS(t~)

gn)lin

p,,) +
27

~ /pnt Pn~

fi(t~)

p~)ddt~)

,>

a
a
a
< ClS7pflI(L2(n>)N + jlini L(Q)lIpn!L2(C=)+
1

={LS7Pn~L2(rn>N

WPU1Y2(Q)

Multiplicando por w y sumando en n resulta

c=

rPnIIi~2n + 0.

Al
=

7>3

Vpnl?L2(n),N

=&POJ)(fl)

1
mi

a
1
mi

+ TO

de donde se deduce, gracias a la desigualdad de Poincar/e, la acotacin (1.30).

La acotacin (1.31) se deduce inmediatamente del hecho de que

O=Yri=i Vn=1,...,M.
Para demostrar la desigualdad (1.32) observamos primero que

Pm~Pm-

Yn1

Dada

E Hg(O) se verifica para cada

1,

Ahora si tomamos

-12 (vlinv

+ ~~lin~Pni

a
OXJN

=(IVli,,l(L2(o))N + O1/2)v(L2(fl))N.
2(O,
T; H (O)) se tiene para casi todo it E (t,,a, it,,)
EL
0
~j(YT+ apT)(it, sc)(t, sc)dx =

12

QJ Y,ti

](~

(Vp~

Pm

(L2(QDN

li,ii

(x)Q,sc)dsc =

1
mi

si
1

+ Oi/2) (it)HI (fl)~

mi

Llamemos L(t) a la funcion

si

L(t)

,Al que:

...

Y,

~ (ffi&)

7-

Vr

bit

= >3(11S7p,,II(L20N +
n1

con esta notacin, al hacer el producto de dualidad de (g + apX) con una funcin

Ot

E L2(O, T; H(O)) se obtiene:

a
(y
+ alifl&, sc)(it, <dx =
ji~ bit
28

si
1
mi

<

LHL2(0,T)L2(o,T;HI(Q)).

Ahora bien, de la acotacin (1.30) obtenemos

M

L(it)lL~2(o,T)

1/2)2

>3(Vli,,(fl(fl)>N
1

,t=

+ O

=o

con lo que se tiene la desigualdad deseada.

Demostremos ahora (1.33). Tomando p,, como funcin test en (1.26) hemos obtenido
+ IIVlinhI<L

2(O))N ~
1L2(Q> + O.
Gij Vpfl~~~~ + TIPn1IL2(flIlin

1j

(1.35)

Por tanto

HlinL1.,2(o) =HPn~~1L2(O)IlinIL (~2) + O.

Si a ~ O
IPriL2(n)

lo que demuestra 1.33

=liui

Si a

20
L2(Q)

+ ~2O < PoL2(fl) + T

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

1<

sc,, =~ en

j~N-4~

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
induccin. Supongamos demostrado (li~.1
w)+ O c.t.p. sc E O. Puesto que

12vw+e>~=O
29

VE111(O)

7
y (p,, w)~
tenemos

12 V(p,.

O c.t.p. sc E {p,,

w)V =

O}, tomando

j(~ni

1k +

= (p,,

j(lini

u,)~ como funcin test en (i.26)

lin) +

fi(qS (it,,)

Por la hiptesis de induccion

j(Pni

p,,)(p,,

fi

y por la eleccin de w y la monotona de

w)~ =O

tambin

Tenemos por tanto que

w)~] 12(rn)N

=O

de donde se deduce
(p,,
como queramos demostrar.
Si a = O tomando = (p,,
que

12 V(p,.

w)~

=0

w)+ como funcin test en (1.26) se obtiene en este caso

w)V

j(gn-i

1) +

fi(#~~)

de donde se deduce del mismo modo que

w)~]~L2(fl))N

=0

y por tanto

A la vista de estas acotaciones es posible obtener subsucesiones de {1,->o y {rlr>o

dbilmente convergentes cuando e tiende a cero hacia un par (p, y) que es solucin del
problema (P).
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 funciones 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

(1

y)p = O.

(1.36)

Vamos a utilizar un argumento anlogo al que se utiliz en la demostracin de la

proposicin 1.9: de las acotaciones (1.30) y (1.31) se deduce una acotacion uniforme de
gr

CVpIL2(q)

Sea

e L2(Q) y

it

L2(O,T;H(O))}.

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))
y por tanto

ji(
V

(g + apr))pr 14 (1

(y + ap))p4.

79(0).

Veamos dos resultados intermedios que necesitamos para completar la demostracin:

t

+0

0.

En efecto

L y)k L
~ 12 (
=

gn +Yn-i)

~ 12~ g,,~

Tomando p,, corno funcin test en (1.26) resulta

;12(i

9ni)Pn

31

1j(yn

yn1)lin =

si
MI
=

VPn(L2(Q))N

fi(~~)

~(u~v~~ 12

p,,)q$(t,,)

Ol ~~~lkQ)r+

PnPni)

12 ~Dli,,

mi~1
MI

~(Ili

1IL2(fl)

IlinWv(o>) + 0.

mi

Multiplicando por w y sumando en n

G~12d
=CV~L2(Q))N

Yn)Pn) =

+Ipo
2

+ TC <

L2(O)

por tanto

(1

yr)pr <rO.

~1

jiQ

hm sup
r*0

(ef ~r

=-cvjiQ~k

\JQ

Tenemos

jiliJ3e

it

tn

n1

jitn1
Al

12

vt E

79(0)

>0.

<~

Pn4~4it))

siendo

si

PnYn (it)) ~ =

it it
n 1~ ) +Pni
(~n(

jo~ +

1j
Pni)lin~ =

(jr

+p~)k

1
mi

1yn(it).

2li

+ p

2(Q),
en 19

por lo tanto

4jiQ

=liminf jiQ (Y +r)k

32

-u

~1
mi

n=1

1
mi

;it)

pr = >3pn~~

Ahora bien

si

a
si
MI

De los dos resultados anteriores se obtiene que para toda funcin ~ E 79(0), ~ =O
(1- (y + ap))p

Lp)
=a

hm

li2~

de donde se deduce que

g)li < O.

Como el conjunto {x E Loo(Q) O =~ =1 c.t.p. sc E Ql es cerrado y convexo, es

dbilmente cerrado y por tanto tambien g verifica O =y =1. Por una razon anloga se
tiene que p =O y por tanto ha de ser

<2(1

fi

Paso 2: Existe una funcin

varacional

E L2(>0w) de modo que p, y verifican la inecuacion

fyo+aliowo)
V~ E H(Q) tal que ~ =O en

v(~), t =O

g)p = O

ji~

Sea ~ E

(y + ap)~t

+12(x + aq)4(T) =L

>0V.

en >0V; definimos
M

r =

con &itM+1,x) = ~(tM,sc).

Al

>3~(t,,,sc)rnit)

>3t(tn+i,scYVnQ)

Estas funciones verifican la siguiente ecuacion:

5r

(1.37)

<+atv

kS?kw~r+r9
(go apo>~Qi) + (gAl

siendo fi$ = Z~L

1 fi(it,,, sc)

p4(sc))y,,(it)

CVliM)itM+1)

fi(~

.-..

12~

(1.38)

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

fi~ V

Al

= Tz

jfi(it,,)

lifl)L2(Fw)

4=0

4=0

33

linL2(rw)

+ 02) =

a
III

=Cw~

jit,,)

linI~h(fl) + T02 =C~.

ri=0

Por tanto existe

fi

E Ll2(>0W) y existe una subsucesin de

fiV

tales que

fi en Ll2(>0w).

Y)

Segn hemos visto en el paso anterior, podemos obtener subsucesiones de {k}r>o y

1},->o tales que
Y p en L2(O,T;H1 (O)),
{

Y
y

(1

en L2(Q)

g)p

O.

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

x + ctq en L2(O).

CVPAl

4
a
4
a
si

Pasando al lmite en (1.38) y por la densidad de 79(o) en 111(Q) obtenemos

ji

(vlivt+~ ~)
+ cxPo)~(O) +

2
(~+
cxp)&

MI4

k~

(x + cizq)4(T) =

Vt E H1(Q) tal que ~ =O en >0V, y adems

+ aq

= y(T)

+ ap(T)

en sentido de las trazas.

Paso 3: fi = fi(sbp).
Si tomamos p como funcin test en la ecuacin (1.37), haciendo uso del lema 1.4 se
obtiene

ji

ft

+ ~(li(T)~(n)

li(O)t2(rn)

L~

Por otra parte, tomando p,, como funcin test en (1.26) tenemos
+

12

HlinL2w,

(1 39)

u
4
u
4
u
4

34.

(1

+
+ 2 ~:;
+

=~-(

~It~~

gn1)lin

Ilin.-1IL2(Q)) +

fi(~)

PrOli_ <

Iv

Multiplicando por r y sumando en u se tiene

%IliAl~

\7~3r2

Comparando las

=li0ML2(Q) +

2(Q>

ecuaciones (1.39)

fi~Y

y (1.40) se obtiene:

1<2W

firr + Ivfr-rL2(2))N + ~PML(Q))

(<~

<Hm

+yIlpo IL2(Q)))

2W

fip +

se deduce que

2(O)

g(T) + a4T) en L

hm mf li
1V1 L2(Q)

=li(T)L2(n)

y como
hm mf

Vlil~L(2))N

De la convergencia
+ CrPM

ON

~IP0lL2(Q)=

(1.40)

(1.41)

=IS7li~L2(Q))N

1FS7r1

(1.42)

se tiene que
hm sup

(ji

fiTp)

= ji~

fili.
(1.43)

De aqu se deduce que

Efectivamente

SW(P(~~

~t) 11

0=

j;~o~k

. =o

(1.44)

4~ E

~) fi(d7 )](~

pasando al lmite

fi(d

~)p +

=
35

+ lin7 sup

( 2w

fiW)

MI
4

Como el operador
J92 (>0W)

12 (>0W)

-4

fiek4)

si

es maximal montono de la deisgualdad 1.44 se deduce que

fi=fi(dp)

En particular

J(fiV Y)

0<

de modo que

Y)
=

C5

fi)(3T

fi)(Y

( f~ fi(dt)r)

hm mf

si
si

li))

+jA~

(lecir
hm sup(jifi~)

Por tanto

fw

filyr))

Esto quiere decir que de hecho es

Iim(V~L2<2,)N + ~IPML2(Q>)
=~

i
mi

pero a la vista de (1.41) y (1.42)

hm sup Vp
=

~L2(2))N

+2

hm sup

IPML

2(Q)

Vp~L2(2 + ~1p(T)L2(Q) + hm sup

=

(~iliM~2(Q))

-MI

+ ~p(T)~,

vp?L2(2))N

2(Q) liminf.~IIpMIi2<o) <

Por
tanto Vli(L2(2))N
convergencia
fuerte

=Vli~<~r =hm mf VY I~L2(2))N. 2(O,T;H1(Q)) se

= limVY(L2(2N. Como Y
pen L
en L2 (O, T; 1! (0)) #

>

36

1
deduce

MI
si
4
si

Corolario 1.16 Sea fi continua, montona creciente, que verifica fi(O) = O y supongamos que op0 E Loo(o). Entonces existe un par (p,y) que es solucin del problema

(.P).

Demostracin.- Si 0li0 E Loo(o) no es necesaria la hiptesis de crecimiento en el

infinito sobre fi ya que en ese caso sabemos que p E L~(Q) y es posible truncar fi. En
efecto, para la norma de p en Loo(Q) tenemos una cota 1< que depende de O, de ~ y de
y que no depende de
la funcin definida

fi.

Sea RE lB tal que

fin(s) =

{R
Sustituyendo

fi

fi(~

K)(sc,it) =R c.t.p. en Q y sea fi~q

si fi(s) > E
si R=fi(s)=R
si fi(s) < R

por fin tenemos un nuevo problema (Pp~~,

2o+0~o) del que sabemos que

tiene una solucin (pn,yn),
ya
que
fin
verifica
la
hiptesis
crecimiento=
en
0 E Loo(o) entonces p~ E Loo(Q) de
y IPRILOO(2)
K, eldeinfinito
modo
con
a
=
O
y
b
=
1?.
Si
op
que fin(fip) = fi(~p) c.t.p. en 9 y por tanto (pn,g~) es solucin de (P~go+apo). #

Resumiendo: la existencia de solucin de (Pg,~,~c~~po) con fi montona creciente continua y tal que fi(O) = O, y con p0 E L2(O), g0 E 11(p0) est demostrada si op0 E Loo(o)
o s fi verifica la hiptesis fi(s) =as + b.

37

38

Captulo 2
Resolucin numrica del problema
Para. aproximar la solucin del problema de filtracin en un medio poroso estudiado en
el captulo anterior, vamos a utilizar un mtodo de elementos finitos.

2.1

2.1.1

El problema discreto

Planteamiento del problema

Discretizacin en tiempo
Usamos la misma notacin que se us en el argumento de semidiscretizacion. Tomemos
M E 1V destinado a tender a infinito, ya que es el nmero de subintervalos en el que
se divide [O,T]. Sea r = T/M y para cada n E 1V sea it,, = nr. Asociadas a cada it,,
definimos las funciones:

4,,(t)

>y,4t)

It

xWni, it,,)) n

1,.. , M
.

siendo x(A) la funcin caracterstica del conjunto A.

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 contenidas en T1. El parmetro h se toma del siguiente modo:

it = max{h(T~)

T~

E Th}.

Supondremos que la descomposicin es regular y de tipo dbilmente agudo:

Definicin 2.1 La descomposicin en N-smplices 23, es regular si existe una constante
> 1, independiente de h ital que

h(T)

=cp(T)

si

VT E 13

Es de tipo dbilmente ayudo si para todo elemento T perteneciente a 23, y para cada sc,
= O,.
, N, vrtice de T la proyeccin de sc~ sobre el hiperpano soporte de la cara
opuesta pertenece a la clausura de dicha cara.
.

si
MI
4

En el caso N = 2 una triangulacin es dbilmente aguda si

ir

0<
para todos los ngulos O de todos los tringulos de 73,.
Sea {t}tCIh el conjunto de nodos de la descomposcion.
Haremos tambin una descomposicin dual del dominio O,.:

iC lj,

siendo D~ es el dominio baricntrico asociado a sc~, es decir

D1

= J{D~

Tk E

23,

si
4
MI

y sc~ es un vrtice de 241,

donde
N

D=

fl{scscET,.,4(sc)=Ai(x)}

.2

y A? = A~,
0

sc~ = x~

>4,... ,>j

son las coordenadas baricntricas respecto de los vrtices dc 74,

,sc~,...,.< (ver figura 2.1).

Llamamos

Ph

a la frontera de O,.
00h
=

40

ti
MI
4

miE
-Imi

Figura 2.1: Dominio baricntrico

~t,

En E,. distinguimos tres subconjuntos disjuntos

Fr, F~, tales que su unin es E,.,
que se corresponden con las tres regiones distintas de la frontera de O.
Sean J,. = {i E 4
E F,.}, .1/ = {i E 1,. sc~ E Eh} y anlogamente definidos,

x~

ji3

4,

Pedimos la siguiente hiptesis de aproximacin del dominio:

Hiptesis 2.1 Existe

una sucesin

~4
o ital

que

O,. c B(O,c,.) yO c B(O,.,c,.)

Consideremos el siguiente espacio funcional de dimensin finita:
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,.

Para cada i E 1,. sea Xi la funcin caracterstica del conjunto D

1 y sea L,. el espacio

vectorial de dimensin finita engendrado por esta familia de funciones:

L,. =

>3 QXi V E II?

Vi E Id.

iE h

Para cada i E J,. llamaremos L~ = D1 uf, y llamaremos c~ a la funcin caracterstica

del conjunto L~. Sea 1<,. el espacio vectorial engendrado por las funciones K

1<,.

>3 Q~ 1 Q
.1,

41

E IR Vi E <14.

1
mi

MI
MI
si
a

MI
Vector o

si

Figura 2.2: Elemento up-wind

Para la discretizacin del trmino

Dx iv

vamos a utilizar un operador de tipo up-wind

(ver [39])
Definicin 2.2 Un elemento U E 73,

se

MI
MI

dice que es elemento up-wind asociado al nodo

sc~ st:
1. xi es un vrtice de U
2. Si sc~ =

(xl,sc~,iv)

enitonces U u {(sc, z)

E (oc, sc,yq)}

Si existe ms de un elemento up-wind para un nodo xi, llamaremos /4 a uno de

ellos elegido arbitrariamente y diremos que /4 es el elemento up-wind asociado al nodo
x~. De este modo cada nodo tiene a lo sumo un elemento up-wind asociado, aunque
hay nodos que no tienen elemento up-wind.

4
4

si

Definimos los siguientes operadores:

Operador de interpolacin en

C0(~?)
R4E)

>3

L,.

MI

~(x,)x,(sc)

tE h

Operador de traza

73,

: C0(K~?)
=

1=1,.

si

>3 ~(sc.)r.(x)
ig

42

MI
1
mi

 Operador de derivacin discreto

>3 D~(~)y4sc)
16 h

donde
si existe

U1

s no existe elemento up-wind asociado al nodo sc~

Observacin 2.3 La definicin de D,. no depende de la eleccin que se haya hecho de U1
en aquellos nodos donde hubiera ms de un elemento up-wind. Al ser funciones lineales
en cada N-smplice y continuas el valor de

~2~es una constante en cada N-smplice y

Dx N

coincide si dos N-smplices son elemento upwind del mismo nodo.

Planteamiento

El problema se discretiza en tiempo mediante el mtodo de Euler implcito, y en espacio

utilizando los espacios de dimensin finita y los operadores discretos que hemos definido
anteriormente.
Como dato inicial del problema discreto tomamos un par

tal que

p~(sc1) =O Vi E 1,.,

p~(xi)

O Vi E

0(sc)=l ViEt

O<y
y
(1

g0)cxR,.(p0)

Llamemos &~(sc) = x,it,,), n = 1,..., M y definimos la funcin

Al
=

>3 &~(sc)y,, (it).

,t=1

Llamemos V,, al siguiente subespacio de 11,.

V,.

{~ E

H,

13

O Vi E i~}.

ti
j

mi

mi

El problema discreto (que en lo sucesivo llamaremos (P,-j3) es el siguiente:

Hallar una familia de funciones {(ph,,.,yh,4}ZLo tal que

(p&o,g,.,o)

(2.2)

= (p~g~)

yVn=1,...,M

(ibm

(p1,,,,g,,,) E Vh x L,.

(23)

4=0 Vi E.!,.

(2.4)

0= g~ <1 Vi El,.

(25)

12h(VPhnv~h
g,.,,D,.(&))+
a,
1 +aR,.+(PKn

(2.6)

=Iv

fi(T,.(~,,

MI

ph,fl))T,.(&)

Ji

V& E .11,. tal que

0 =0 Vi E

V~, E .FL, tal que 0=0 si p~ =0

En lo sucesivo no escribiremos explcitamente la dependencia en

discreta para simplificar la notacin.

2.1.2

mi
h

de las funciones

Existencia de solucin del problema discreto

Comenzamos por ver que las funciones base {WI}i6h, {XiliEIh verifican el siguiente resultado que utilizaremos para la demostracin de la existencia de solucin del problema
discreto (P7,,.)
Proposicin 2.4 Sea

~k=

{i

mi4
4

MI

E 1,. /4 esit bien definido}; sea e la constante

=

MI
MI

max ~
~U1

Si 1,. es de itipo dbilmente ayudo entonces se verifica que

j
>0 Vi Eh;
b(x~,w~) >0 Vi E Ji,;

a(w1,w1)

=0 Vi,] Ef,. i # j
b(x1,w) =0 Vi,] Ef,. i ~ j
a(w5,w1)

44

(2.8)
(2.9)

mi

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

Demostracin.- A la vista de la definicin de a(w1,w5) se verifica trivialmente que

a(w,w) >0. Por otra parte, si i ~ j, a(w1,w5) = fab Vw1Vw5 y en ese caso la desigualdad
deseada es un resultado clsico de PA. Raviart y P.C. Ciarlet (ver [22]).
Respecto de (2.9) en [35] puede verse la demostracin de que
si

Puesto que
fbxsDw{
se tiene
Para efectivamente
demostrar (2.10)
(2.9).
se observa que

b(xs,w)

>3

xsD,.(w~)

>~

= i

siji#~i

12 xsD~w + 1xsjk(w)
7

Lb D,.(w)

=c>3U]

~<J~

>3
0w

Ti
~

e
h

< +Sop(w)I

3~Dd.

Como

>3 bQ<5,w~)

1
=

;IDi

12,, xsD,.(w~)

se tiene
1
>3 b(x1,w~) = 32I). + Ql
>0
.26

1h

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

Definicin
2.6 Una matriz B E L(RY) es una M-matriz si es inversible, B
b
1~ =0 para todo i,j = 1,...,n; i #J

=0,

u
J

Las condiciones (2.9) y (2.8) nos permiten deducir que B es una M-matriz en vittud
del siguiente resulta(lo:

estrictamente diagonalmente dominante y supongamos

para i 1,..., n. Entonces B es una VI-matriz.

Proposicin 2.7 Sea B E L(iR~)

b~,5 =O si i # j, y
fr, > O

que

que

Demostracin.- Ver [34].

Demostramos ahora la existencia de solucin del problema discreto:
Teorema 2.8 Supongamos que T,. es de tipo dbilmente agudo y que r <

+ con

___

entonces el problema (Pr,i,) tiene solucin.

Demostracin.- Vamos a plantear dos problemas auxiliares. Supuestos conocidos
gni,

p,,t

el primer problema auxiliar es el siguiente:

{~ E V,,

Problema 1.- Hallar W E Vh~ =

Lb

=0}

tal que

(vw ~~(C W) + MR,.(W)R,.(~

~12(&~

<4j~n-

~,

W)) +

W) + Rh(~w)

+ aR,.(p,,1))R,.(.~

fi(T,.(k,,

ti

W))T,.(~

W)>
VV)

ti
MI

para toda funcin ~ E V,.~.

Comenzamos por demostrar que este problema tiene solucin. Del mismo modo que
se hizo para resolver el problema semidiscreto, llamemos

8:IR+IB
46
Ud

a la funcin definida

B(s)

ji

Como fi es continua, montona, creciente y fi(O)

y Y(s) =O XIs E /R. Definimos la aplicacin

j:1f,.
j(~) =

O, tenemos que 8 es derivable, convexa

[O,oc)

8(T,.(d,,

y el funcional

L~ (v2
~12
(~m 7
-12,.(g,,i + aR,.(p,>a))R,.(~) +j(.~).
1

<1

consta de una parte cuadrtica

fl

=71,,

una parte lineal

L(~)

12,. (D~ui) + 71

y una parte no lineal

=

(y~ +
8(T,.(d,,

aR,.(p,,iR,d~)

<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~
es un subconjunto cerrado y convexo de 11,. existe un unco w E Vhque minimiza 3 en
*

VS.

Una vez resuelto el problema 1, sea w su solucin. Sea s

cada i E L~
=

~
+ 12~

fi(T,.(d,,

w))T,.(w~)

[12(vwvw1+$R~

VJ(w), es decir, para

w)xi) +

4~-~

y sea

min{0,s~}
47

CYRK(Pn4)XII

mi
Construimos as el vector

(F~)161,,. El segundo problema auxiliar es:

Problema 2.- Hallar il E IR~ tal que

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 problemas 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
2 y = 2161,, uixi E Li,.
La demostracin del teorema se concluye viendo que la familia {(p,,,g,,)}~L0 as construida 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

=

56I~.

.261h

Si w1 > 0 podemos tomar como funciones test en el problema 1

wi
1=w+w~

wi

y ~2=ww1

obteniendo as que F1

O y por tanto

>3 b,,,g~ >3 b1,5 > O

=

j6I~

Si w1

O por ser ~ =O,

12

si

fi(T,.(~,,

561,,

w))T,.(w1) =O, y por ser

<~j Vw~ + $xx)

=O

~ j, entonces

12,. (vwvw + MRidw)xi)=O;

48

de modo que

>3 b~,5g~

(w~)

(D~

min{j

+ xi)

Iv
h

56b

7w

12~ (v~V S

fi(T,.(q$,,

o;
7

=0.

Para ver que se tiene (2.7) no hay ms que observar que

J =

>3 b,,1u,
56

u~

y en particular si
= O ya vimos que F = O.
Por ltimo se verifica (2.6) ya que Vi E Ji,

4(y,,D,.

(w~)

-12k
Adems si i E J)

g,,R,.(w
1
7

(s7p. Vw

\ 2

y se tiene de hecho una igualdad, es decir

2.2

(gn1

Lb (YnD~ (w1) + 1

12,, (van

fi(T,.( st,,

~12b + ~R,.(p,,))x1.

entonces E1

=F1+j(D~

}IZ.~t,)kUr.i~

56 b

hk.i)

>3 b1,5(u~ + 1)

56 1>

(o) + 71

+ {4
0)

fi(T,.Qk,,

y,,1 +

Acotaciones de la solucin discreta

A partir de la solucin del problema discreto {(p,,,g,,)}~L0 construimos las funciones

M

>3p~(xb,,(t)

(2.11)

n=0

Al

>3 y,,(sc)4(it).
49

(2.12)

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
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
por demostrar algunas propiedades de los espacios y operadores discretos con los que
trabajamos.
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
ID,.(01L2 (fi,,) =
CIS7~I(L2(o,,nn.

y V~ E 11,.
(2 13)

Demostracin
La demostracin de que se verifica (2.13) puede encontrarse en [35]
De todas formas es interesante incluirla aqu:
.-

V~ E

D,.(0lL2<~,.,
1~kDscN
b

2 =

___

y por tanto

12~ ~~

sciv

ID,.(01L

Dl

(1 1

kU11 ~

2
D~

L2(Q,,)

V~

11,.

resultado clsico de aproximacin:

Con la eleccin que hemos hecho de las bases {w1}161,, y {x~be,, se tiene el siguiente
Lema 2.10 Supongamos que u, es regular y de tipo dbilmente agudo. Sean ~jk y H~ los

operadores definidos
flk(~)

>3 x~)w~(sc)
161,,

para toda E 00(W).

Se verifica que:

>3 (sc~)x~(sc)
16 1,

ti
4
vi

2<0,,> =CV~L2(nbnN

4
4
si
si

MI

si
MI

50

si
si

50 tal que Vh >0 yV4 E 112(0,.) flC0(~I)

HkWH~(a,,)

donde V2,QJi

2,a

(2.14)

bk

>3

=Chk

L2(Ob)

50 tal que Vh>O yV~ E 111(0,.) flCo(ST,.)

4
Demostracin.- Ver [38].

H~(t)L(Q,,)

=Ch74(L2(ab))N

(2.15)

Observacin 2.11 Consecuencia inmediata del lema anterior es que existe una constante O tal que Vb > O y V4 E 11,.

IR,.(4)

411L2(a,,) =ChIV4j(L(Qb>y

ya que R,. es la restriccin a 11,. de H~.

En el siguiente lema se demuestra que el espacio V,. aproxima al espacio V.
Hiptesis 2.2 zisite un sucesin

UY U F~ c

ni,

~4
O tal que

B(J~W U F,n(h)) y E UF c B(14Y u Ff,e(h))

Lema 2.12 Supongamos que se verifican las hiptesis Li y 2.2; entonces dada una
sucesin de funciones 4,. E V,. tal
~

x(O)4 dbil en Ll2(iRN)

2(iRiv))N

entonces 4 E V

x(O,.)V4,.

x(O)V4 dbil en (L

Demost racin.- Hemos de demostrar que

O en

1D~ Sea sc E

Como pV es un
abierto de E, podemos tomar > O tal que d(B(sc, e), ([U V)) =~o para cierto ~o > 0;
entonces para It suficientemente pequeo B(x,n) u (F~ u E~) = QL Sea 4 E 79(B(x,c))
tal que 4 = 1 en B(sc,n/2).
5.

pV,

MI
d
MI
Consideremos las funciones

4&

44 E 111(Ofl

tu

Podemos prolongar

tui,

~(O,.
fl B(sc,fl)

si

B(x,c)).

del siguiente modo

tu,.

enO,.

enB(sc,s)\O,..

Esta funcin as definida est en el espacio H(B(x,c)); adems la sucesin Wh est acotada uniformemente en ese espacio de manera que existe una subsucesin, que seguiremos
llamando W,., tal que

u dbilmente en H(B(x,c)).

Sea ~ E 79(B(sc,)) tal que

ij =

B(r,c>

por lo tanto u

x(O)w y

O en O; se tiene que

e,.

tu =

~ =

12,,

,bn

>

12 ~

MI

10 E IJ(O) de modo que

O c.t.p.

(sc) E

pV

4
~

= tu =

fl B(sc,e/2).

Puesto que este razonamiento es vlido para todo e > O se deduce que efectivamente

~=OenFV.

Por ltimo necesitamos tener en el caso discreto, una desigualdad aiiloga a la de

Poincar. Puesto que

Vi, C

{~

111(0,.)

O en ij}

para cada It > O existe una constante O tal que para toda
&L2(Q,.)

~,.

E 11,.,

=CV&(L2(flb))N

MI
ti
4
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,

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 acotaciones 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

(2.16)

<1<

\7p,,?L2(Q,,))N

Al
n=1

Rh(p,,)I~2(Q,,) =1<

(2.18)

Demostracin.- Para cada u = 1,. , M podernos tomar p,, como funcin test en (2.6)
y (2.7) de (P7,,.). De (2.7) se deduce que
..

y, por lo tanto, en (2.6) tenemos

1

+ D,.(p,,) + (1 g,,j)R,.(p,,) + MR,.(p,.

Puesto que Y,,i < 1 y p,,

=O

fi(T,.(#,,

p,,.1)R,.(p,,)]

li,,))T,.(P,,).

sucede que

12b

g,,.1)R,.(p,,) =O

y entonces
S7linI~L2(QJi)>N + ~j1?,.(p~)
IL2(Q,.) <

4,

2Ri,(p,,)Rh(p,,
[D,.(p,,)
+
1)] +

=o,.1/2 D,.(p,,)L(Q,,)

~,

fi(~(l~%

p,,))T,jp~)

CV
Ri,(Ptt)L2(Qb)Ri,(Pfl~1)iL2(Q,,)+

53

si

a
a
Como

fi es

montona y

st es

positiva se verifica que

[Iv

fi(T,.(st,,

p,,))T,.(p,.)

u
a

Ji

fi(T,.(=b,,

p4))Th(st,,)

fi(Ti,(st,, p~))T,.(st,,)

=jy fi(T,.())Tdst,,) =o

puesto que ~ E 001(0).

Haciendo uso del lema 2.9 y teniendo en cuenta que
desigualdad:
S7lin~L2(Qb)>N

A?
CV

y por tanto
IS7Pn~L2(g,.>)N +

st =O

se tiene la siguiente

%lVlinI(L2(n,,N+

+ Rh(p,,l)~2(Q,,)) +
In,.(p,,)22(Q )

(2.19)

+ ~flR,.(P,,.l)~2(fl
+ 20
7-

J<

-7-

Multiplicando por r y sumando en n

2
a
a

ti
u
a

Al

7>3
n=1

IVlin~i2(QJi))N

=TE +

aRh(po)~2(Q,,) + 2T0

Utilizando la hiptesis 2.3 y la observacin 2.11 tenemos:

7~i R,. (PT) L2

Al

=w>3 (R,.(p,,)

PUL2(QJi)

li,,L2(Q,,))

Al

=r>3 [(ho+o)

Vli,,~L2(Q,,flN]

=(It0

0)21< = E.

Si a ~ O de la desigualdad 2.19 se deduce

RjP,,)j2(Q,,)

=Rh(lifl1)L2(Q,.)

1(K + 20)
+ a

1< + 20

54

aa
a

a
a

Si a

O la desigualdad 2.19 es
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<

La siguiente estimacion se refiere a la derivada en tiempo de g~ + aR,.(pfl. Vamos a acotar esa derivada en el espacio L2(O, T; 111(0,.)) y para ello necesitamos que
las funciones de H(Oi,) se puedan aproximar bien mediante funciones de los espacios
de dimensin finita con los que estamos trabajando. En concreto se tiene el siguiente
resultado:
Lema 2.14 Esctste una constante O tal que para todo It > O y
existe una funcin & E {4 E 1-1,. 4 = O
Fh} tal que

en

Rh(&)11L2(aJi)

para todo ~ E H(O,.)

=0ItIItIIw<~b~

(2.20)

I4h1H(Qh) =O4IHi(Q,,)
Demost racin.- Dada

4E

H(O,.) sea
+

para toda funcin

E JI,. tal que

khllw(a,,>

ji (V4,.~2

+ 4~)

4i,

E JI,. tal que

4~4) =

4h =

O en Fi, y verifica

12,, (S74V4 + 44)

O en E,.. Tomando
=

(2.21)

(S74S74,. +

44,.) =14Iw(QA14,.Iu(a,,>

y por tanto

k,.ni(Q,.) =I4IH(Q,,)
lo que demuestra (2.21).
Para demostrar (2.20) utilizaremos un argumento clsico de dualidad (ver por ejemplo
[40]). Dada ~ E L2(0,.) sea 4 E H(0,.) u 112(0,.) solucin de

A4+4=stenO,.

4=Oen Fi,

(Para la demostracin deque efectivamente 4 est en 112(0,.) ver [28]y [29])Segn hemos
definido 4,. y 4, y haciendo uso del lema 2.10 y de la desigualdad (2.21) ya demostrada
tenernos

4)st =12 v(4,.

55

4)S74 +

12~i

4)4 =

vi

MI
=

<

12

k~

~,. ~)V(4

Flk(4)) +

12,, (&

~IHi(Q,,)I4
Flk(4)nI(Q,,) =Ikh
=0Ite1p (fi,.) IstIIL2(fl,,)

~0Y4H;1(4)) =

&IRI(Qb)CIt412,Qb

fi

-t
mi

(2.20).

Proposicin 2.15 Seanp

yy~ las funciones definidas en (2.11) y (2.12,). Supongamos

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

mi

Se deduce de aqu y de la observacin 2.11 que

y por tanto efectivamente se verifica

CVRh(4))IL2(o,T;H1(nb)>

si
a

=A.

D
Demostracin.- Comenzamos por escribir (g~ + cvR,.(p~)) de forma ms explcita.
bit
D

Al

+ cvR,.(p))

>3(g,,(sc) + cxR,,(p,,)(sc))4,(t)

Al -.1

>3 (g,, + ~

(yo
+ cvl?,.(po))(x)-y1(t) + (y~
+ CVRi,(pM))(x>yM(t)
7
7
1j(YnYn~ 1 + &Ri,(
u= 1

2 (O, T; H (O,.)) vamos a acotar el producto

Para
estimar
la
norma
de
esta
funcin
en
L
de dualidad con funciones de L2(O, T; H(O,.)). Dada ~ E H(Oi, tomemos ,. E II,. que
verifique (2.20) y (2.21).

4,.
~f,.

)]

P u ~P,,l

[y
47Y,,t
lin)]

[Yfl

p li--ii
7-

56

si
si
si
si
si
si

Rh(h)+

si
a

Usando la inecuacin (2.6), el lema 2.9 y la observacin 2.11

ji
fi,.

Yni +crJ~k(~~__lin1)]

=
+

12 ~

+ g,,D,.(E,3]+

g,,1 + cxR,.( Pr.

=VPn(L2(a,,))NV4h(L2(Qb>)N

+(O,.1/2 + aR,.(p,,

Pn1)

1/2D,.(4h)L(n,.)+
+ IOi,

pn1)v(nb))

=0~ Vli,t(L(o,.))N~4ih1(aJi)
+(O~ +

TJ

R,.(4,jL2(a,,)

~y~R,.(p,,

Si ahora tomamos 4 E L2(O,T; fJ(O,.))

se tiene para casi todo it E

4 ~ (g~ + aR,.(pfl) (it, sc)4(t, x)dx

=

ji

[gr. Yni + aR,.(~

1
+(O + aR,.(p,,

P
41)]

=(OVpn(L2(o,.)>N

(t,,n,it,,),

(x)4(it,sc)dx =

0,. 1/20+

pn~1)L2(ab))CIt4(t)w(Q,.,.

Llamaremos L(it) a la funcin

Z[(0VpnIn2Q,.nN

+ O,./20 + (0
1
+ aR,.(p,,
7

li,,1)c2(a,,))CIt]ydit)

9j(Y~
+ crR,.(p~)) con una funcin

Al hacer el producto de dualidad de ~

se obtiene

Lb

~?j(g~ +

aR,p~)(it, sc)4(t, x)dx

57

<

E L2(0, T; fJ(O,.))

MI
si
La demostracin se concluye viendo que LL2(o,T) est acotada independientemente
de It y 2~

IL(L2(O,T)

7
44

Or>3

Vp,4~L2(Qb)r

3 [0IVpnI(L2(Q,,))N+ o,.I1/2c+

+ aR,.(p,,

vi

4=1

u
1

li1~~1)lIL2(Q,.))0It]

It
hM
+ TO + TO + Cr>3 R,.(p,,

4=1

1
mi

Por la proposicin 2.13

Al

Al

=Ah

7>3 Vli4~L2(Q,,))N

R,.(p4t2(Q,.)

7>3

4=1

=1<2

72=1

y finalmente la hiptesis

Ud

It < Gr permite acotar

u
2.3

Estudio de la convergencia

Sean H,.,~- el espacio

Al

11,..~
y

{~= 4=0
>3~,,(sc)4,,(t)

S~ el operador lineal definido del

I~,,(x) EH,.

0 Vn= 0,.. ,M}

,,=Oen E

siguiente modo: V

ZZt

0&4,,(t) E Hi,<r

Al

>3 ~wy4(it).

Para simplificar la notacin usaremos el convenio que se usa en [3]: escribiremos, por
ejemplo,

pi,

p en

en vez de
*

x(Oh

2(JBiv).
en L

~
u

~I
u

a
a
1

58

Condiciones de contorno
En >0V tenemos para el problema continuo condiciones de contorno de tipo Dirichlet
homogneas. Esto se traduce en el problema discreto en que buscamos soluciones en
L2(O,T; Vi,). Ya vimos (lema 2.12) que el lmite dbil de funciones de Vi, es una funcin
de V. El mismo argumento que se emple en ese caso sirve para demostrar el siguiente
resultado:
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
~

S7~ dbil en (Ltiv

entonces
~ E L2(0, T; y).

Demostracin.- Ver lema 2.12

Para estudiar la convergencia de las condiciones de contorno en >0VV necesitamos una
hiptesis relativa a la continuidad de la aplicacin traza.
Puesto que H~, c 111(0,.) para cada It existe una constante O tal que para toda
funcin ~,.E JI,.,
&IL2(F,.>

=OkhIw(Q,.>

En la siguiente hiptesis se pide que esta constante O no dependa de It.

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.
Supuesto que se verifica esta hiptesis se tiene el siguiente resultado de continuidad
del operador Ti,.
Lema 2.17 Existe una constante O > O tal que para todo It > O y para toda funcin
~ E JI,.

59

si

si1
Demostracin.- Haremos la demostracin para el caso N
para cualquier dimensin N > 2.
Dada ~ E 11,.

3 pero la misma es vlida

vi

Por otra parte sea {KII6L el conjunto de las caras de O,.

~1
2

IkIL2(14)

,,

>3

$Wi,~

16J,,

EL

t6J,.

Las caras de O,. son uniones de tringulos. En cada uno de estos tringulos hay nicamente
tres funciones w~ no nulas. Llamemos wI<1 1 = 1,2,3 a las tres funciones no nulas en el
tringulo 1< y llamemos &i<, a la restriccin a 1< de esas funciones. Tomemos un tringulo
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

si
a

,/-2\2I/n2

=A>jCP1

Ii

~yP2Pi

>

4=1

Ir
2
t)l2J(P1

flN

jJ~l2r

pp

3) + (~)j(P3 ~

4jP3P2)]

siendo x(B~) la funcin caracterstica del dominio baricntrico correspondiente al nodo

en el tringulo de referencia. Es decir, se verifica
2
2

2 1<

>3

ZtWK,,1

En cada tringulo 1< se tiene:

>3 ~

~1
mi

2
=

ji

1&i<,~

163,, E

>3 ~k,
~6.1,,

y por tanto

60

si
a
si
a
si
a
a

Deeste modo

(y

Imponemos la siguiente hiptesis sobre la descomposicin del dominio:

Hiptesis 2.5 ~r es una interpolacin lineal a trozos de pW y los puntos de
los puntos en los que se initerpola.

<12

Definimos una familia de funciones auxiliares del siguiente modo: a cada i E

asociamos un subconjunto de F abierto y conexo M1 c F de modo que
-

son

<12 le

sc1 E AL.

fW =

M1 u

max 1

U16 j,w AL.

=

Q~

1 M1

16ir\

L1

si i
1

.
O.

Sea k1 la funcin caracterstica de M1; tenemos as definida la familia de funciones

{Kt}163W.

Consideremos el operador 13, que a cada ~ E JIi, asocia T,.(~)

= 2161w

Proposicin 2.18 Sea fi continua, montona creciente, que verifica

constantes a y b verzfica
fi(s) =as+b VsE iR.

fi(o)

~
=

O y para dos

Existe ~ E L2(>0W) tal que para todo ~ E H(Q) y para toda sucesin ,~ tal que
2(>0w)
41zIv en

se verifica que
fi(S,-(T,,(

pfl))S,-(Ti,(~))

fr~.

hg~0 rw

Demostracin.- Consideremos la funcin fi(S

1(T,.(st
hiptesis sobre el crecimiento de

iIfi(S,-(T,.(st

pfl)). Haciendo uso de la

fi se tiene

4)))1t2(

2w)

61

>3 ji17Iv fi(Ti,(stn p,,))

MI
mi

ji
2+

<TEw(aT,.(stup,,+b)2 =w>3 [el

FW(
Como la funcin
est acotada podemos mayorar

pn)

st

fi(Sr(Ti,(st

Md

~1

lik)))t2(rw>

IVL

Puesto que

>3 (fl2

>3
1=

64V

16

(~i)2

~Z

haciendo uso del lema 2.17 se deduce que

Al

lfi(STi,(#

=Te

PA)))i2(~w)

3+r

>3 Csp,, IIMQ

=1<.

n=1

2(>0W) tal que

Por lo tanto existe una subsucesin de p y existe fi E L

fi(S(T,.(#
pr)))
en L2(>0w)
~

Si la sucesin ~ verifica

S,-(3,(4~))

en L2(>0W) entonces

12~ fi(Sr(Ti,(tK

u
a

pDS

1(T,.(tfl)

i,j-.0

para concluir la demostracin veremos que

fi(Sr(Ti,V

L)))S#T,.4L))

Ew

tiende a cero cuando It y r tienden a cero

Sea P,. : FW
II? la funcin definida

fi(S#Tdst

P,.(sc)

= M

si sc E M1.

Entonces

Iv

>3

Iv

fi(Tdst,,

fi(T~(stnN))T~n)]=

p,.))T).%)(Pi,

1) =

Al

Pi,

dado que Fi,

lILOO(f)7

>3

Iv

fi(Ti,(st,,

1 uniformemente.

62

P,,))T,.(&1)

si

a
a
a
a

Dato inicial
Veamos un resultado de aproximacin de funciones de L2(Q) por funciones de Li,.
Lema 2.19 Para toda funcin
f,. E Li,, fi, =
O tal que

fc

x(O~)f~

L2(O) tal que f >0 existe una sucesin defunczones

en L2(RN).

dbil

Demostracin.- Dada f E L2(O), f =0 sea f~ E y(O), f~ =O tal que

f
La construimos de manera que f
pequeo Sop(f~) C O,.

en L2(O).

fe1L2(a)

Fijado para It suficientemente

~.

Sea fa,,. = Ze,, .fexi.

Para cada e existe It~ tal que para

todo It < Ita, A fhIIL2(Q,,) < 1. de este modo es posible construir una sucesin de
2
funciones fi, tal que

If

f,.JIIL2<a) =If

Observacin 2.20 Si es O
Sea g0

=f =1

feIr,2<a~

+ fe

f,.r,2(Q,,)

=e

fw

tal que O =f,.~ < 1.

+ np0 el dato inicial del problema continuo. Tomemos f~ E Li, tal que

x(O,.)f2

es posible tomar

x(O)(g0 +

np0)

dbil en L2(IRN).

Si a = O entonces se toma fE de modo que sea O <fE =1 y hacemos go

del problema discreto.
Si a ~ O entonces sera:
Yo

f~ dato inicial

min{1,fE},

Aproximacin de las funciones test

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
4

Lema 2.21 Para toda funcin

{4

~d)
S,-(V4~)

14 =O

E H(Q)

tal que

b
R,.(4~)

>0VI

existe una sucesin

en L2,

4
74
1

en

(2.22)

(2.24)

en 13

(2.25)

en L2(>0W).

(2.26)

D4
___

Dx N

4 E fJi(Q) tal que 4 =O en >0V y sea una prolongacin de

E H((O, T) x IRN). Sean 4+ = max(4, 0) 4 = min(4, 0). Existe una sucesion
E Ooo((O,T) >< II?), tal que
=O y 4~ 4~ en H1((0,T) >< IR) cuando e O,
y otra sucesion 47 E Ooo((0,T) x RN), tal que 4; = O en >0V, 4; =O y 4
en
HI((0, T) x IRN) cuando
0. Construimos entonces la sucesin 4~ del siguiente modo
Demostracin.- Sea

4, 4

1
u

(2 23)

en (LN,
D
4
en L2,
bt

>

..

MI

donde

>3 >3 4,~j w~,,.(sc)4,,,dt)

n0 161,,

4~p~,r)(sc, t)

4j,,,-)(sc, it) + 44,->(sc, t)

y = 4w,,,-)(sci, t,,), (It, y)

o cuando It, r tienden a cero.
{4.,r},.r>o verifica claramente (2.22)-(2.24) y (2.26); hemos de demostrar que verifica
(2.25):
Ix(O~)S,-(D,.(4k)) x(O)~~ IL2((0,T)x JR~> =
-.-*

=Sr(Di,(4~))

+ Dh(4~(i,

Dh(4e(h,r))IL2(2b)

+Ix(Oh)~5

4~h,

4c(hx)L2(2,.>+

7))

DxN
~

x(O)~IL((o,r)xRq.

Trivialmente el ltimo sumando tiende a cero cuando It y r tienden a cero. Teniendo

en cuenta que IDh(4)I2
2(Q,,) = eIV4~L2(fl,.))N para toda funcin de H(Oh) tambin se
ve fcilmente que ID,.(S,-(4k) 4~(i,,fl)L2(2,,) tiende a cero cuando It y r tienden a cero.
Por ltimo

f
J2,.

MI
a
si

4~

a
1

64

MI
a

>Z,

(D~(,.~))

i61~

+ Jo

DxivSC(hX)}

El segundo sumando tiende a cero cuando It y

sumando

~
61k

(D~~(tS(h~~))

ji

>3\

61,, 1~

A kDscNW)

r tienden a cero; respecto del primer

~&(h~r))

V,

10 ~

N2

flt

JSe(h<r)

(a,t)

b&h,~) (it)

Dxiv

l6IJi JD,
=

Dxiv

~ (a, it) ~

(a1 ~x)2

Id,,

siendo

a un punto cualquiera de U1,

que en particular podemos tomar en U1 u D1. La

funcin Ce(h,~~> est en el espacio Ooo((O, T) x lBiv) por tanto el cociente
0tJi,r)

(a,t)

&XN

a1

Oe(br)

(sc, it)

OrN

sc

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

h~-)IL2(2,.) =cIQi,Ih >v

2

cuando It y r tienden a cero.

Haciendo uso de estos resultados de convergencia previos podemos demostrar el resultado fundamental de este captulo, que es la convergencia de la solucin discreta hacia
una solucin del problema continuo.

Teorema 2.22 Sean O un dominio de iRiv (N =2), localmente lipschitciano y {O,.},.>o

una familia de abiertos polidricos que aproxima a O. Para cada It tomemos 73,, descomposicin en N-simplices de O,. de modo que {T,.}i,>0 sea regular y de tipo dbilmente

agudo y se verifiquen las hiptesis 2.1 2.2 y 2.5. Supongamos que se verifican tambin
las hiptesis 2.3 y 2.4.
Sea fi una funcin continua, montona creciente, tal que fi(O)
constantes a, b verifica
fi(s)=as+b VsEiR.

65

O y que para dos

u
1
3c siendo e una constante tal que e> max
161k
U1 ~ It <Gr
Elijamos r de modo que i- <
D11)
para certa constante positiva 0. Entonces dados los pares (p,gk) definidos como en
(2.11) y (2.12), existe una subsucesin tal que

x(QS<(pK)

2(iRNl),

en L

x(Qto

en (L2(iRiv+l))iv,

x(Q,.)SVpL)

u
a

dbil en L2(iRivl),
X(Q,OSr(YD

si

x(Q)g

siendo (p,g) una solucin de (Pjp2o+0po).

Demostracin.- Sea E H1(Q) tal que

=O en >0D y T) =

O; sea

>3

= n=O ~r.(sc)4r.(it)
E II,.,,-

una sucesion que converge a

como en la hiptesis 2.21. Para cada n

1,.

, Al se ver-

ifica

12,, [VV&

+ g,,Di,(4,,

)] +

12,. ~

-g,,

+ aB,. (Pu Pnt)] R,.(~,,)

a
MI

si
Multiplicando por w y sumando en n tenemos
M

r>3
n= 1

4,,

M-1

[Vp,,\7~,,
+ g,,D,.(~,,)]

-12,.~o

(gr. + aR,.(p,,))R,.

(jr.+i.

ir.)

,,=~

+ cVRi,(po))Ri,(.~i) =w>3
,t=1

fi(T,.(st,,

si
a

Al

Llamemos

fi~ =

fi(T,.(st,,

7>3

pr.))(xYr,,(t).

u=1

En trminos de p~, y~ y

cQ,,

fi>~

la anterior inecuacion se escribe:

[S
7(Vp~)S1(V~)
+ S,-(y~)S~(D,.(~L))]

2,, S~(y;? + aRi,(pfl)~R,.(~)

Ely

fiLS,-(T,.~D)

66

ciR,.(po))Ri,(~~i)

Ud
(2.27)

II

ti

donde
M
=

>3c+i(x)4n(it)
n=0

con

tAl+1 = CM.

De las acotaciones de la proposicin 2.13 se deduce que existe una funcin p E L2(O, T; 111(0))
y existe una subsucesin de {p~,gfl} tal que
*

Sr(Vpfl

dbil en 13,
dbil en (L2)iv.

p
~p

Adems como {~ c L2(Q) ~ =0} es cerrado y convexo tambin se verifica ~x(Q)> O.

Por el lema 2.16 sabemos tambin que p E 13(0, T; y).
Por ser O < y~ =1, podemos tomar la subsucesin de
de modo que gk sea
dbilmente convergente en L2 hacia un lmite y y por un argumento anlogo al anterior

{(p~,g~)}

y
O =y=1 c.t.p. (sc,t) E

Q.

De la proposcion anterior se deduce la subsucesin {(pX,y~)1 puede tomarse de modo

que tambin verifique

LA
Pasando al limite en (2.27) vemos que el par (p, Y) verifica la inecuacion
~j7PVC+Y2L]

+ c<p)&

Dxiv

12go + &p0Ik(0) =

2W

E H1(Q) tal que =0 en >0D y t(T) = O.

Hemos de demostrar que el par (p,g) es solucin de (Pp~go+~po). Para ello nos falta

comprobar que verifica

L g)p

O y que

Demostracin de la igualdad 2(1

g)p

fi(~

p).

Sea O un subconjunto abierto de O tal que 11 c O. Sea

VV

~ E L2(O,T;L2(O)) y

E L2(O,T;

JI1(OI))}

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
anterior es suficiente para asegurar la existencia (le una subsucesin fuertemente convex
gente en L2(0,T;H1(O)).
Sea ~ E y(O1), ~

H~ (O,.).

=O.

Para It suficientemente pequeo O c O,. y por tanto ~ E

a
a

Paso 1
g~flS,-(p)

o.

Descomponemos

Li

(1

gflS,-(p~)~

gflS
t(p~

si

R,.(pk))C +

Por el lema 2.14 podemos acotar el primer sumando del siguiente modo:

Ls

g~)S,-(p~

R,.(pL))tI

=27>1

I1L2(flOIPn

Al

=2rICL2(g~)0aIt>3 PnH(fl,,)
Demostraremos ahora que

h<r*O
4

R,.(p,,)1L2 (fi,,)

a
si

n=1

Y~)S7(Rh(p~))L1(2,,)

MI

0.

i,
(1

0.

En efecto:

L,.(

gL)S,-(R,.(p~))
=

2~t0~

g,.)4,,(t))(~
,2=1 R1.(p,,)y,,(t))

Yfl +Y,,d )R,.(p,,)

Alfil

a
a

y acotamos por separado f~j1 y,,)R,.(p,,) y f0,,(l gni)Jk(pn).

Tomando
como funcin test en (2.7) tenemos

p,,

rj(i

y,,)Dh(p,,)

MI

+
68

MI
a

Multiplicando por r y sumando en n

Al

Al

~ 12,.~

g,,)R,.(pr.) =w(TC + 0~>3 IVP,,~L2(a,,>)N) <70.

Tomando tambin pr. como funcin test, pero ahora en (2.6), tenemos

1
t12,.

g,,1)Rh( pr.)

I Vp,, (J3(fl,.))N

1
$
(Y4

gr.R,.(p4) +

(1 g,,)R,.(pr.) =
~12,,

12~ R~(P~1)R~(pui))

12,, g,,D,.(p,,)+ fi(ThcPr.))TA(Pr.)+12(1

0VPu?L2(a,,))N

<0+

~(lRh(Pn~%2(fl,,)

g,,)R,.(p,,)

donde hemos usado la monotona de fi y la acotacin anterior. Multiplicando por r y

sumando en

Al

}G n12iYn~mRhPr.h) =
Al

<T + 0w>?

S7Pn~L(n,.))N

<0,

+ a

es decir, tambin
Al

7?;4 12,.

(1

g,,1)R,.(p,,)

=wO

Se tiene por tanto que

(1 y~)S7(Ri,(pfl)L(2,,)
de modo que para toda funcin

.~

=rO

E 271(0)

i,{r-.0

Paso 2
hm sup

RdpX)Sr(P~)C)

69

Del mismo modo que se hizo para demostrar el primer paso descomponemos

si
ti
MI
MI
a

LRh(Pk)Sr(R~(P~))4 ~L

Mi

Nuevamente por el lema 2.14

R,.(p)S,-(pL

R,.(pfl)4

II

>3

lW(Pr.)c2(aho4LC<IaoIPn

R,.(p4L2(a,.)

0.

u
a
u

4=1
44

>3

=r~j~jc~o~

h r*0
4

R,.(p,,)i,.2(a,.)CaItpr.L2(a,,)

41

Por otra parte

-LC
4

4=1

Rh(Pn)Yn(t)) ~ =

tn

jit4.~~

it4

12 [R~(pr.)(

it

it4

)+R,.(pr.1)

t1 R~pr.)~
7J

A,

1~
siendo

+ pr.i)R~pr.)~
~

L[~~

$fl)]k

u
a

Al

>3pniyn.

Ahora bien

Sr(Rh(pL + p3)

por lo tanto
y entonces

<

liminfL

2p

dbil en

))]2

[S4R,.(p~
+

LP2~

iminfL

70

a
a
a
ej

lo que termina la demostracin del paso dos puesto que

hm sup

<y

hm mf

ji2

R,.(p~)S,-(p~)4.

Paso 3: Conclusin

y~ + aR,.(p~)

En virtud del lema anterior existe una subsucesin de

convergente en L2(O,T; H1(O~)), por tanto

fuertemente

Em < 1 (g~ + aBi,(p~)), SdpL) >L2<o,T;H1(o~>)xL2(o,w;H(n~)t

i,<r.O

= hj~O

Li

=2~w~

(~

[~1

o;R,.(p~)))S,-(p)t

Rh(pflS~(pk)C

=~aLp2C.

1~

Se deduce entonces que

(1

g)p& =0 V~ c y(Ot) ~ =
O.

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
= O c.t.p. en Q

g)p

Demostracin de la igualdad fi = fi(~

p).

Paso 1: La solucin discreta verifica

o,,

[Sr(s7p;)~
+ Sr(D,.(p~))] +

~i [HRh(PAI)t2(fl,,)

IRh(PO)IL
2(fl~)]

=jiyLr

fi(S,-(T,.(st

71

mi

Para cada

n tomando p,,

como funcin test en 2.6 obtenemos

12,, [Vp,,2 + D,.(p,,) + (1 g,,1)R,.(p,,) + 51Rh(p

7

pr.i)R,.(pr.)] =

wfi(Th(str.P
4))Th(P).
Ji

Y,, R,.(p,,)=Oy
Puesto que
7

12,,

+ R,.(p,,.q )Ii(o,,)]

tenemos que
S7Pr.L2(a) +

12~ Di,(p,,) +
+

~,,

27Rh(Pr.)L2(Q,,)

3(T,.(~,, p,,))T,.(pQ.

Multiplicando por w y sumando en n

r>3 [Is7Pr.1512(flb)

12,, Dh(Pn)] +

~~
Al

=~Rh(Po)Ii,2(g~)+

con

lo

que se tiene

fi(T~r.

p,,))Th(p,,)

el resultado que buscbamos.

Paso 2: La solucin continua verzfica

[VP2

DXN

Sea ~o > O y &o la funcin definida:

C~

=~10(t)

1
1

it
T

O
12~o

mi

sitE(O,ro)

si it
si it
si it

70

o
O

E (r~,2r~)
E (2wo, T
E (T

2r~)

2ro, T

70)

siitE(Two,T)
72

mi~

Segn el lema 1.4, tomando F(si, 82)

si tenemos que:

p
LIv

PpCT0
1

aL

2 dt

=
pTro

cvFl ji
2L7-O

ap E C([O,

Puesto que

T]; 13(0)), pasando al limite cuando To tiende a cero tenemos

Dp 1

[v~2

+ bsciv]

~Ip(sc,O)t
2(g)

~p(x, T)

L2(O).

Paso 3: Se verifica la desigualdad

2+

hm

h<r*O

Ely fi(S,-(Ri,(st~

S,(Vpk)

[L~

PW)Sr(Rh(P~W]

____

Como

ji
2b

S,-(D,.(pT))

tenemos

L Dxiv

2ht [L~ S,-(VpX)2 +

SIl fi(S,-(R,.(st~

=L

Op

Dp
Op
Consideremos la funcin ~bscl~Dxw.<t3xAl

+g,(gap)).Esta funcin est

en el conjunto
L~V(Q)

{C

E L2(Q)

divC E L2(Q)}.

+ <vp0

Usando el teorema de la divergencia para esta funcin se demuestra que g0

es de
y p(O), pero si
hecho
+ ap)(O). De aqu no se deduce directamente que coincidaii
consideramos la funcin 0(z) = (z 1)+ podemos despejar, para a ~ O

(y

p0

IPIL2(O)

(
12

G(go

73

j
a
ap(O))

=12 (G(~(o)

=j(p(o))2

por tanto
ji

O~

LV

LV

2
sYp2+&

Paso 4: Se verifica que

hm sup(

Vp dbilmente en L2 se tiene que:

VpJ2 =liminfj Sr(Vpfl2.

Por una parte, como S~(Vpfl

(2.28)

Por otra parte tambin

p(T) i~2(9)
En efecto, P(T)i(g,

hm p(T

=hm mf

(2.29)
Si a ~ O, como la funcin Oque definimos

a)L2(fl).

0+

en el paso anterior es convexa, se tiene

hm p(T

)L(fl)

hm G(t/ + ap)(T

~G((~
+

LV

a)
=

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
funcin (V~p, 0~ + y,
+ ap)) se demuestra que x +
es de hecho (g + ap)(T). De
esta convergencia dbil obtenemos

(y

aq

G((g + crp)(T)) IL2(g)

CV

<hm mf ~ O(=tv+ aR,.(pk) LL2(fl)

LV

J
mi
a

=bm mf
74

a
1

De las desigualdades (2.28) y (2.29), y del paso 3 se deduce que efectivamente

hm sup

( >42

8,- (Ti,

Puesto que

2W

fi(SdTdst~

flYiSd1d~2)

tiende a cero cuando It y r tienden a cero, se tiene la desigualdad deseada

Paso 5: Conclusin
Llamemos irk

= S,~(,.(p%j),

0=

,T

w(fisti~r

ST,.W)).

4)

Por la monotona de

fi(4,

irfl)(4

fi se

verifica que

para cualquier 4 E L2(>0w). Calculando el lmite superior de este producto se tiene que
0=

2W

fi(4,

4)4+

2Iv

fi(st

~ +

2w

4~ + hm sup

<

Como

fi

$fi(st 4)

~)(4

irk)irL) =

p).

L2(U) es maximal montono

: L2(>0w) ~

0= ji
2~(fiYb4)

como queramos demostrar.

Para concluir la demostracin (le teorema veamos que efectivamente se tiene convergencia fuerte de S,-(pfl y S4Vp9.

Puesto que
0=

(fi(sth,r

4)

fi(stt,yr

para cualquier 4 E L2(>0w), tomado en particular 4

o=

Como ya vimos que fi

O < liminf

I~(st

(fi(4,,

p)

fi(st~~

4))(4

= p

tenemos

irD)(p

irfl.

p) calculando el limite inferior tenemos

fi(S~(f,.(st~

75

P9))Sr(h(Pk))) +

+IvfiP

-LIv~

es decir
liminf

-1>

fi (5,-(Ti, (st7

(/W

Puesto que

EW fi(S,-(T,.(str

tiende a cero cuando It y

P;)))S#Th(PT))

jifi(S
7(T~QI7

MI

tienden a cero se tiene

liminf

fi(S,-(T,.(st

4)))Sr(Th(P)))

hm sup

( ~

st,-

es de hecho

De este modo

a
ti

y como ya vimos que

EW

ti
a
ti
a
a
a

A~

hm

(.~

fi(ST,.(st

Ely

P1)))Sr(Th(Pr)))

vp2 + ~1p(T)L2(fl)

A la vista de las desigualdades (2.28) y (2.29) ha de ser

=

hm S,-(Vp~) I(L2(2b>)N

y puesto que

x(Q~)S,-YpT.)

2(IBiv+l))N

en (L

se deduce la convergencia fuerte.

Condicin suficiente para que se verifiquen las hiptesis sobre la desigualdad

de Poincar y la continuidad de la traza
Las hiptesis 2.3 y 2.4 dependen esencialmente de la posibilidad de prolongar las funciones
de 11,, a funciones de JI1(IBN).

76

si

ti
a
a
a
a
a
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,, descomposicin 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
=

entonces existe para cada It

{~ E C~(O,.)

>O

un

operador de prolongacin

Fi, : H~ ~

de modo

para todo

E P~ VT E Tij;

~T

continuo

H(Riv)

que
It > O

con

IPh(&)Inx(RN) =CkhIlll(%.)
O independiente de It.

Demost racin.- Por ser O un dominio de IRN localmente lipschitciano existe un familia

finita de abiertos abiertos de modo que

O OB1

sc, xiv)

XN

> g(sc)}

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
DO,. oB,

= {(sc,xN)

xiv

g1,,.(sc)}

donde y~,,. es una interpolacin lineal a trozos de y

Podemos recubrir Q por un nmero finito de abiertos {B1IO de modo que ~S rs O
para It suficientemente pequeo B0 rs O,,. Asociamos a cada i = 1,... 1 una aplicacin
inversible
~

De este modo DO,. O

~1,.(x,xiv)

(sc, xiv

~y4(sc, YN)

(sc, yiv + gj,(x))

se transforma en un subconjunto del hiperpano

XN =

O y es

posible prolongar la funcin por reflexin. Llamemos

Bt,.

p1,h(BI),

A~

Sea {a~}~L0 una particin ce la unidad subordinada al recubrimiento {B} ~ es decir

7

a1EV(B1) O=i=I; >3a.=i

=0

77

enO.

si
MI
MI
Dada

$, E 11,.

escribimos

Md
Para cada i

O,... ,I construiremos la prolongacin Pi,(a1~,.) y ser

MI

1
=

>3P,.(cx,.)
1=0

En primer lugar tomaremos

P,.(cio&)

= aoCh

prolongacin por cero;

puesto que 7W rs O,., esta primera prolongacin no depende de It. Para i

consideramos la funcin

1,..

yiv

pertenece a 1(B~,.)
4~~ = y es nula en un entorno de iY

1
> o]>
E DB~
j,.
H
Puede prolongarse por cero a IB$i obteniendo as la funcin 4~,,.. 4~i, es la prolongacion
Esta funcin

4,h

por reflexin a todo RiN de (~,..

E HI(IRN) tiene soporte compacto en B

(i,

de

4~,,. o ~

MI

1,,. de modo que <e,. o ~oj.,prolongacin

por cero fuera de B1 es una funcin de HI(lRN). Tomaremos
=

a
4

4,~ O S~,i,

De este modo tenemos un operador de prolongacin para cada espacio 11,. que verifica
lPh(~.)L2(mN)

=c~,.j~2(fl,)

y
IIVPh(~h)(L2(RN))n =cIV&(L(a,,))n
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
g1(x)

donde

g(x) g,,.(x~~) + gji,(x%

g1(sc)
y(x~) + y4,.(x~)

g1,i,(x)

g,,.(x)

a
a
a
.

es un punto de interpolacin. Si llamaos L a la constante de lipschitciandad

de g~ y puesto que g~,i, es una interpolacin lineal de ib en T tenemos

g(sc) g,,.(sc) =2Lsc
=2LcIt

Md
78

(sc

y distancia euclidea) y

Dx,. (g(sc)
=

g,t}sc)) ~ D

(gl(x)

(y(sc)

gi,h(scT))~

g(x%) +

+ ~(g,h(xr)
Dx,.

yl,i,(x)) =

g,h(x)) < 2L
Dx,.
es decir y yl,hLoo y V~}g g,h)(L~)NJ estn acotados
Esto
1~~uniformemente
de cada ~ y en It.por
lo
nos
permite
acotar
independientemente
de
h
la
norma
en
W
tanto, es posible obtener una constante e independiente de It. #

0~~~h(x+)

Consecuencia inmediata de esta construccin es que la constante de continuidad de

la aplicacin traza sobre Fi, de las funciones de 11h, no depende de It.

Lema 2.24 Sean O un dominio de RN (dV =2), localmente lipschitciano y {O,.},.>o

una familia de abiertos polidricos que aproxima a O. Para cada It tomemos 2;, descomposicin en N-simplices de O,. de modo que todos los vrtices de DO,. estn en DO.
Entonces existe una constante independiente de It tal que para toda funcin ~ E 11,.
CIL2(r,,)
Demostracin.- Dada

de las propiedades de
entes de It tales que

~1

=0kInnb

E JI,. constuimos

(ct.) o

<>1, entonces

y p,,. deducimos la existencia de constantes C~ > O independi-

por tanto
Ahora bien,
=

(,.

4(x)2 da)

y
~>

(a1h)

O ~OihL2(1RN1))

1/2

son normas equivalentes y podemos obtener, por la construccin de las Y1h constantes de
equivalencia independientes de It. #
Otra consecuencia de la construccin que hemos hecho del operador de prolongacin
es que se verfica la desigualdad de Poincar en los subespacios V,, con una constante
independiente de It.

79

a
MI

a
Lema 2.25 Sean O un dominio de iRiv (N = 2), localmente lipscItitciano y {O,.},.>o
una familia de abiertos polidricos que aproxima a O. Para cada It tomemos Ti,, descomposiein 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,
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
lhIHW,,) >

MI
a

MI

JUVh(L2(n))N

Adems podemos tomar It de manera que la sucesin formada por ellas tienda a cero.
Sea
Ch
=

1
u

MI

MI

lChIH~(fl,.)

Esta sucesin tiene una subsucesin a la que seguiremos llamando {,j,.},.>o tal que

x(Oh)uh y x(O)n
x(Oi,)V77h

y ~iE V. Adems lLShL2(o~)<

MI

dbil en L2(IRN)

x(O)V~i dbil en (L2(lRN))iv

de modo que
M

ISY?jL2(g)
y por tanto 17

O.

Consideremos
ahora un abierto 9 que contenga a todos los O, y la sucesin
Se verifica
que
P,.(rp~)L

=P,.(ip~)L2()RN) =C1/hL2(n,,) =13

=VPh(qh)(L2(flN>)N =CIVllh(L2(g))N

2(~)
2fffl)N

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

=PhOlh)L(Ob>
lo que nos lleva a una contradiccin.

= hv.L2(flb)

-~

a
a
MI
1
u

MI
80

.i6

a
a

Captulo 3
El algoritmo
3.1

Descripcin del algoritmo

Analizaremos en esta seccin el algoritmo utilizado para el clculo efectivo de la solucin

<le problema discreto.
Sean A y B las matrices de coeficientes
A

(a,5,56,,

Oi,5 =

(b1,5)1,561~

b1,5

12

4,,

(vw5vw1 + $XSXI)

(xsD~Y + ;x5x1)

Sea j : IR y IR la funcin definida

>3

8(=/4x~)c~

siendo e la constante
=

k(a)da

Dado gr. + LVp,, E IRIb sea L,, el vector IR de coordenadas

=

}(~~ + cq{) 4,, Xi

1 = 1 Vi E 1,. Por ltimo sea 1< el

Sea
U
E
111
el
vector
de
cooredenadas
1,
es
decir
U
conj unto
1< = {x E iR! sc = O XIi E
x =
O Vi E 1,. \

2,

81

4}

si
u

a
1

El algoritmo para resolver (P,.,,-) es el siguiente:

Algoritmo base
Paso inicial.Yo

+ opo y;,

+ crp5

Pasos sucesivos.Conocidos los vectores pr. y

g,, calcular L,, E IR~

Hallar p,,+i E 1< tal que J,,(p,,+i)

Jr.(x)

1
~xTAx + (BU

minJr.(sc) siendo

L,.)Tsc +j(x)

P.3.- Calcular el vector E,, E Jflb de coordenadas

.F,~= min{O,VJ,,(p,,~i)}

P.4.- Resolver el sistema

=

P.5.- Calcular Yn+i

E,,

+ U es decir
=

si
4
4

a
a
a
a

u~~1 + 1

La resolucin del sistema lineal del paso 4 no tienen dificultad ya que es posible
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.

3.1.1

Gradiente con proyeccin

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
1< el conjunto sobre el que se desea minimizar un funcional <1. Sea FN el operado de
proyeccon sobre 1< y sea una constante positiva suficientemente pequea; el algoritmo
resulta:

Md

a
MI
1

a
Algoritmo GP

Ud
82

a
a

Paso inicial.sc0 E 1< arbitrario

Pasos sucesivos.xk+1 = PK(xk

pVJ(xk))

Si <1es convexo y diferenciable, y su gradiente es lipschitciano con constante L en 1<

entonces tomado O < p < 2/L el mtodo del gradiente con proyeccin (GP) es convergente. Si 7<1 no es lipschitciano, es posible elegir una sucesin {pk beN que tiende a cero
cuando k tiende a infinito, de modo que la sucesion.
xk+l =

P<(x,.

pkVJ(xk))

converja al mnimo.
En nuestro caso concreto
VJr.(x)
y

Ax + (BU

Lr.) + 75(x)

75(x) es el vector de coordenadas

05

siiJ2
=

fi(st~

05
w~~t(sc)

x9e

si i E

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

2
siendo e la constante de lipschitcianidad de fi.
La gran ventaja del algoritmo del gradiente con proyeccin es su sencilla programacion.
En general la mayor dificultad est en el operador de proyeccin pero en este caso concreto
es muy simple pues
1<

{x E IR

1 > O Vi E 1,.
x =

O XIi E

, sc

\ fl

Adems este algoritmo es convergente para una clase muy amplia de operadores <1. Si se
elige convenientemente {pk}keN slo es necesario <1 convexa y continua pues incluso si <1
no es diferenciable puede tomarse un subgradiente de la funcin.

83

si
a

si

Gradiente conjugado

3.1.2

-I

El mtodo del gradiente con proyeccin tiene el inconveniente de que converge lentamente.
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
de un funcional cudrtico de la forma F(z) = e + bTz + ~zTAz que se desea minimizar
en todo RiN (CC)

Algoritmo GC
Paso inicial.- lomar sc

fi

si
a
fi

0 arbitrario y calcular
r0

Pasos sucesivos.- Conocidos sci,,

siguientes pasos:

F(zo)
rk

= b

y dk calcular

P. 1.LVi, =

9k
=

R2.Xk+1

xi,

df Mi,,

Ud

Az0
sck~1,

ni,44 y 4+~ segn los

~i,dk r~,
=

si
a
a

+ ai,di,,

rk+l =

ni,

si
a

P. 3.-

P. 4.=

r, + lAdi,

En general la funcin <1,, no es una funcin cuadrtica definida positiva, pero supongamos que fi es 01, entonces dado un punto sc0 E 1< podemos aproximar

<1r.(sc)
F,.(xo, sc)

<1,.(xo) + (sc

= Jr.(sco

+ (sc

2 \7

sco)

11r.(sco) +

sco)) ~

(sc
2

donde

HJ,.(sco)

= A +

84

115(x0)

xo)TH<1r.(sco)(sc

sco)

2
u
a

si
u

y 115(xo) es la matriz diagonal de componentes

bsc5x5

525

=0
b4

i~

siiI,~7

825

54

fi(st~

sc)c

si

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.P. 1.- Construir la aproximacin de Newton
F,.(sci,, z)

= J,.(sck)

+ (z

7S7<1,,(sci,) + (z
21

xi,)H<1r.(sci,)(z

sc,.)

sc,.)

P. 2.- Con z = xi, como paso inicial usar el gradiente conjugado para hallar
el punto xi,+ donde F~(x,., z) alcanza el mnimo en 1<.
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

{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

~1
sobre un subconjunto de IR~\2: el conjunto de puntos con todas sus coordenadas no

(1

negativas

= 1).

Se sabe adems que para una funcin cuadrtica F(z) = e + bz + ~zTAz con A
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
(GCCNN) es el siguiente

Algoritmo GCNNC
0 E A arbitrario y calcular
F(zo)

= b

Az

Si

Oy

< O

= O para todos los ndices i que no estn en 1 entonces sc0 es el punto donde
E alcanza el mnimo en 1< y el algoritmo termina
To, donde T
Paso 3.- Sea d0 =
0 es el vector de coordenadas

O si i E 1,

a
a

Paso 2.- Sea 1 el conjunto de ndices tales que

Paso 1.- Tomar z

Paso 4.- Subrutina GC Comenzando con k

~ si i
=

g 1

O calcular

a
a

a
1
vi

P. 4.1.=

Adi,,

&ktdkSi,,

~i,=

P. 4.2.sci,44

= sck

+ titi,di,,

Si

sci,1no est en A ir al paso 5.

Si

sck+1

4+~

ri,1= ni,

LVi,9k

ai,si,.

O para todo i 1, hacer sc0 = sck+i,

Ax0 e ir al paso 2; si ri,~i ~ O para algn i
1

est en A entonces: si

calcular r0 = rkf1 = b
calcular Ti,+i y 4+i del siguiente modo:

a
a

P. 4.3.-

~1

P. 4.4.=~k+i +fii,di,,

fi,.

.7,.
Sustituir k por k + 1 e ir al paso 4.1

86

si
a
a
a

Paso 5.- Sea 4,.. , i~ el conjunto de indices i tales que 4+~ < O. Sea ~,. el minmo
.

de las cantidades

dj

xk

1-Jacer sc0 =
+ akdi,, r0 = ni,
de indices tales que 4 = O.

4
Si 4 ~
Si

&i,5i,

= b

Asc0. Redefinir 1 como el conjunto

O para todo i 1 ir al paso 2 (donde vuelve a definirse 1).

O para algn i ~ 1 ir al paso 3.

Para acelerar la convergencia hemos programado tambin una versin precondicionada

del gradiente conjugado. La matriz A que tenemos en este problema es diagonal dominante de modo que M = D = diag(A) es una matriz de precondicionamiento muy sencilla
y que proporciona resultados suficientemente buenos.
El algoritmo del gradiente conjugado con precondicionamiento es:
Algoritmo GCPC
Paso inicial.- Tomar sc0 E A arbitrario y calcular
b

Asco

Pasos sucesivos.-

LV~ =

xk+1

7k
T

sci,

~i,=

dTAd,.,

+ et,.dk, rk+i

ni,

3.1

rT1M

fik

ri,+i

9k

P. 4.-

1r,.+ + mdi,
dkl= M

87

~,.Adi,

mi
3.2

Pruebas numricas

Para probar el algoritmo hemos escrito un programa en fortran en el que est implementado el mtodo descrito en la seccion anterior. El programa est realizado como un
mdulo de nombre DAMEV que puede incorporarse a la biblioteca MODULEE. Permite
resolver problemas planteados sobre dominios generales de IR2 con datos en el contorno
que pueden depender del tiempo.
Da la posibilidad de utilizar tres mtodos de minimizacin distintos segn la eleccin
del parmetro MMIN.
MMINtz1 Gradiente con proyeccin y paso constante.

MMIN2 Gradiente conjugado.

MMIN=3 Gradiente conjugado con precondicionamiento.
Cuando la regularidad del problema lo permite, el tercer algoritmo es el ms rpido.
El primer algoritmo converge con condiciones mnimas de regularidad del problema. El
segundo algoritmo se incluye nicamente para comparar con el tercero y poder estudiar
la influencia del precondicionamiento.
Al programa debe drsele como entrada un fichero que contenga una triangulacin
del dominio. Con la notacin de MODULEE, la nica limitacin de la triangulacin es
que todos los nodos sean vrtices ya que se utilizan elementos finitos de tipo uno. El programa modifica la triangulacin de entrada para obtener una de tipo dbilmente agudo.
Para ello utiliza el mdulo PIGRA, escrito por L.D. Marini y P. Pietra. Este mdulo
fue incorporado a la biblioteca MODULEE para obtener las triangulaciones dbilmente
agudas que utiliza el mdulo DAMIAN para resolver el problema estacionario del dique
con condiciones de contorno de tipo Dirichlet. En el modulo DAMEV hemos utilizado
algunos de los programas utilizados por DA MAN para el clculo de los coeficientes correspondientes al operador de up-wind y para el clculo de las matrices elementales.
El programa principal que se incluye en el apndice, es nicamente un ejemplo de
utilizacin del mdulo DAMEV. Adems de este programa principal, que hace la llamada
a varios mdulos de MODULEF, hay que incluir las siguientes funciones que son datos
del problema

mi

FPHI(x,y,t) Dato de contorno.

mi

FINIC(x,y,ALPHA) Dato inicial.

BETA(s) Funcin de permeabilidad de la frontera.

DBETA(s)

Derivada de la funcin BETA. (No es necesaria si se utiliza el algoritmo

MMJN=i.)
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

5jI~aMtt
2
Pfl~MflTt 3
RJ~tAID4IO
256
SM

6
VALE,,
~7SFNa
cw,SMT.t.MIO
6 9

256

POIMTS

256
Sc

Sfl

450

FIfltNtS
IRIAE3

20 IWflLE~

FINIR

tUflWlu
vot ~jIuIMTr

,a16wn
RM..IolI.
2566v
2Ifl6
VALIS

arr ~-r-w

Figura 3.1: Test 1: Presin y saturacion

90

O
2
3
4
50
A
7170*1
6

u
u
u
u
u
u

II
II

744
744

aDMTS
tRIA~-E3

20 I~VA.EI

FINIR

:I

voL 251 V<T

zar

2
3
4
SS

VALIS
CWY3WT4lA~

,OFIAZ
6 4

fl

PW(EINVTI

AAFRAIOIIR
2flM

0W

SA,

II
00

001015

744

TRIA~.E3

20

I~4&LI

FINIR

VIL 2515101Y
~aIrNIf
AFNAIbuIU
hM.

2
3
4
SM

van,
~.w 56T.S

7SFI*Z
69

Figura .3.2: Test 2: Presin y saturacion

91

u
u
u
u
u
u
u
u
u
o

a,

MA

u
u
u
u
u

56 12551L10S

nws.
asyImn

6
.0
2
Pna~lto 3
R*flAIOIR
4
256A~
ION
vNt 5J1vAM~

nr

2566

V&LIS
~V
~TMAflI

Figura 3.3: Test 3: Presin y saturacion

92

7SFWAZ
6 9


u
u
u
3
u
u
u
u
u
E
u
u
u
u

3
u
1
u

25
254
4~
4~

001613

UWMII
TRIASES

29 1250JSfl
rIlan

arto-o
.
nr SflValY .
nr PUWSTT
fl000

zfl.

zn
VALEIS
wy wT-4

Figura 3.4: Test 4: Presin y saturacion

93

2
3
4
.56

7SP6~Z
6 6

u
u
1
u

E
u
u
u
E

u
u

no

000613

no

a13

406
405

256ES

20 I25%ALfl~

FINIR
arIosto
VI. ,jI,vM,t
VIt

~MSflI

5RMOOIR
2h16.

VALIS

arr r-425v

nono
415
415

26

16
vi

3
4
vON
3 5
.ISFU&

6 0

001615

e
0013

InflES

I~V*LI.

F0~6IR

. ~w

.6
.0
2
3

20>0v

.56

arnais
61 251VIt

yang

R.wu.*1061R

2566
~t

WT.4

Figura 3.5: Test 5: Presin y saturacin

94

,,FR*
6 6

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
u

416

0013?!

o. e
nl
asan
nl

nl

vafl

u
u
E
u
u
u
u
E

E
u

____________
20 ISOV6LELS~

0610

0
2
3
4

2t06.
lIna
vvLI*
~Y 20T4561

56
6
______
7sF
6*2
6 9

40v
vsi e

001*03

032

IflCfl

nz nonos

20

w56Lt~

FINIR

~iTIML6
VA 2509*615
VI. P6OaOMTS.
Rv,NAIO.0ft
.
2.

O
2
3
4
Oid

20>6
&
vLflJ6
TFtvZ
ar. fl,v1100 0 6

Figura 3.6: fi(s)

u
u
u

1 0

U,6TIUKR
1
nr 511*4*15
nr P6rEE15601:
6MRAIOVIR

O.ls, a

0.2, t

96

0.9 Presin y saturacion

404
464
m
lfl

F02fl
t,a
asar,
TUIC

20 tS!VALII
~T2Mtfi
SjIYASTT
~~MTT
fiMAAIOt!R
2&M
zan
aM-ns
~y

22

2
3
5

7 SF041

~T

404
404

ZU
7n

O O

mann

asaTs
nani~

20 I~VALflS
PIOJO
~nMn
~K savIn!!
fl ~
hInfliOjiO
252644
zI~0I&E
dPV
T430

Figura 3.7: fi(s)

0.ls, a

0.2, t

97

O
1
2
3
530
5
?SFNSZ
OO

4.5 Presin y saturacion

404

OISTS

404

OII~

3m
3m

abon

20 OmvMSLn
FINES
c-I~
~0Lsjtv~TT
4X ~~MWTT,
ftA$RA1001R

a
2
3
4
5
z~,q:4
24(13
73FN42
TAI O O

404

pdn

732
132

abon
flhIflhZ

20 2aflS

n.y.

Figura 3.8: fi(s)

0.ls, o

0.2, t

98

5 OJIVIMT
flE P~tf-

2
3

MfllOOlfi

23K04
VEnA
w.t rT-wa

6
30F04 2
SS

63. Presin y saturacion

u
E

404

PCIPTS

444

732

anaTa
TSIfl

732

____________

20 Ifl&tfl
FINIR
~.IsK.

RMUAIOIIM

VALfVM
12W1 ~T-4US

7 IFIAZ
O 9

4K OSI4AMTT y 2
4K ~U1WMTTy 3
~n.
20

5.
6

1
E

___________
20 1320L1S
FI.y.

E
1

~n4KS

E
0JIV~TT
2
45 PUNMTV 3
RMUIORI.
21004

00
Van.
r
~T-4ufl

Figura 3.9: fi(s)

s, a

0., 1

99

y 4
54
-,

.7 0,0,0
a q

0.9 Presin y saturaeton

.015:
rJ~,43
CI
..wII
404
404
732

POlla
4KLt
LOEMr3

3m

TCflflt(0

rl lSOs..jitS

404

p02.rs

3m
3m

ms
tSfl

E
E

u
E

20 13250LEU10
FINIR

tOIr

4K
nry
~nh1o0hR

3
4

VaNOS

7 SFNAZ

Irne,
20

SN
O

wr nt-04

Figura 3.10: fi(s)

s, o

0., 1

100

18. Presin

89

saturacin

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
NOS
WNTTSO

yP
y

20

-SN

~a.ts
W n24

72rIAt

U 1012004V?
U ~~lry

2
2

N la

Figura 3.11: Mallado

u
E

u
E

u
E

20 Ifla-VO
F~Nft
~724Kla

.N

~qf 101101?
2
U
ffMSIE O
NAIMIONIR

20
20

y 7SFDAZ

W14SS

Figura 3.1
102

0.6

ySfl
yB
a la

u
E

flaca
~,mo

54.4 5120341!
U P~flfl.
SMSMONIU

20~
00
wEb,
WV

2
5
. 4
.5
aB
. ~IP0Z

,4Sm N 6

u
E

0T15

II
a 2
la
a 4
SN
:6
ItIFOAZ

U KIlOIr
U
~1?a
N34u*WQN

u
E
E
E

PONIS

10..
54.113
~tyr-0y

Figura 3.13: 1

103

6. y 1

18.

60

u
u
u
E

20 1KIV&EtC
FIaIyN

UnA.
~ III Van
U p~i1mMl.

1
2
a

5410UR

20

SN

2d3N

TaFIA
u q

~.T-*a~

a
a
SS

poyAn

6~

N~AflL3

4K

fl~

20 IWVaaIVS
(ININ

~nn

U KVyVSaT
5~f ~
twnyoVlN
ma.

t
Onzas
~v
r-a

Figura 3.14: i

104

0.6 y t

18.

O
2
3
4
SN

6
-loFa.
6

u
E

20 ImPMLV
PINtO
TIUO

6
1

~~toNIp
zlnN
ma

4
IN
&

V~yV3

7301*2

WV r-V

N la

Kl &21Vy1
41 ~~tMVt-

2
3

a
a

pol on
Ola

00
500

fl~flEWV3
247San

20 IKIV-fl
FINOR
OSTI41R

-N
5

or 2125*5V? - 2
Kl F.EVIMWII a
SMRAIOIIN
4
ma
S~
ZI*04
Vial,
. ISFIAZ
WV 31V-OlaS N la

Figura 3.15: t

I 05

3. y 1

12.

u
E

u
u
u
u
u

FGyMTs

01

800
08

F1D&Mfl
tMO~fl

20 l~ALLtS
FINIR

WflMfl
:0
OSE bJIOAMt , 2
OSE p,qycrSENTry 3
RMOAIIVIO
ma.

580

;oy04
VM-El

Figura 3.16: Detalle de la saturacin en t

8 54

12.

pozAl!
e

GIS

01-01<002

tan

20 lmVM.nOIa

r1N36

olaf mInO!!
Kl Pfl~fll

2
3

RDWAIOIIR
ma.
ma

or

Figura 3.17: 1
106

30.

r-.s

4
SN
.8
23r1*Z

N O

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

<

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

u
u

NON
ROO

a~

14

u
u
u

601013
SKI
010022
TNIMSS

20 l2!VAI0

flNyR

: O

00R1T1616
: y
OSK ~JlVMNff : 2
OSE 00tC1y(NUI a
VMaNaiCfflA
: 4
20
:SM
ma
:6
SALOl
-73V0A
~t:2-0NIO!:

O la

NIS
604
4V
14

pd2N22

DM013
TUI flfl

20 1320*AEVS
FINIR

E
E

Onmn

Kl 1012000!?
Kl ~UMMlY

RanIOIIN
ma
ma
Vial

OF

Figura 3.18: Saturacin t

108

.0 y t

0.38

1
2
a

Su
.6
1 Sf042

T40W 86

u
u
u
1

RIO
el.

POER13
a

140!
140!

fl.OT3
fizan

u
E

FINIR
yOIflPBfV

y
t
y

Kl 24!VAMTT

u
u

Kl pRE~EM!E:
R346*IOVIR
t
ma.
ma
VSA-El

3
4
VA
6

C~~IM1-4a.IS

0 54

2410511

CCI
SIC
14*2
14V

601613
4KV
05DbTS
tAC

E
E

20 IKIVALDS

u
U
E

y O
:1
: 2

FIRIR
=41160
Kl SIIVAMF

Figura 3.19: Presin y saturacin en 1

109

Ef ~~fl:

&WROIO01R
ma
ma
VSA-El
OF 312-3460

4
SN
s
ISPIAZ
N la

0.85.

u
u
u

todas las pruebas numercas se han realizado en una mquina SPARCstation IPX de

SUN.

u
u
u
u
u
u

u
u
u

110

Apndice A
El mdulo DAMEV
En este apen(llce se incluye n e e upo le utilizacion del mdulo DAMEV: el programa
principal y la funciones que lo acompaan. Tambin hemos incluido las fuentes del
mdulo DAMEV y de los subprogramas a los que llama ese mdulo que no estan en la
biblioteca MODULEF.
Para ejecutar estos programas son necesarias las bibliotecas NOP2, UTSD, UTIL,
UTIL3UN (le MODULEF.
Tambin es necesario un fichero que contenga la triangulacin con las siguientes referencas para las distintas regiones (le borde:
1: Zona semipermeable.
2: Zona permeable.
3: Zona impermeable.

.1 l~i

112

PROGRAN PRINCIPAL
o
o
o
o
o

o
O
O
C
O
o
O
o
o
o
o
O
O
o
O
O
O
o
C

RESOLUCION DE PROBLEMA DE EVOLUCION RELATIVO A LA FILTRACION

DE UN FLUIDO ATRAVES DE UN MEDID POROSO
M:

TABLERO DE TRABAJO DE LONGITUD LM DONDE ESTN CONTENIDOS

TODOS LOS VECTORES

DATOS QUE PIDE EL PROGRAMA

ALPHA:
COEFICIENTE DE COMPRESIBILIDAD DEL FLUIDO
EPS:
PARMETRO DE PERMEABILIDAD DE LA FRONTERA
MALLADO: FICHERO QUE CONTIENE EL MALLADO (S.D. NOPO)
MMIN:
METODO DE MINIMIZACION ELEGIDO
i GRADIENTE CON PROYECCION (PASO FIJO)
2 GRADIENTE CONJUGADO
3 GRADIENTE CONJUGADO PRECONDICIONADO
EL PROGRAMA PIDE TAMBIEN EL NUMERO DE PASOS EN LA VARIABLE TIEMPO
EL RESULTADO ES:

UN FICHERO SALIDA CON LA ESTRUCTURA DE DATOS TIPO NOPO MODIFICADA

UNA FAMILIA DE ESTRUCTURAS DE DATOS TIPO E QUE CONTIENEN LA

PRESION Y LA SATURACION EN DISTINTOS TIEMPOS.
** * * ** * ** * *** * *** *****

* **** * ** ** ** * ****

**** ****

****

PARAMETER(LM 1000000)
COMMON M(LM)
DOUBLE PRECISION DM
EQUIVALENCE(M(1) ,DM)
CHARACTER*6 MALLADO
INTEGER MMIN, NTAU, FRE
REAL EPS, ALPHA, TAU
o

INICIALIZO EL TABLERO DE TRABAJO

CALL INIfl(M,LM,0,0)

LEO UNOS PARAMETROS

OPEN(UNIflT, FILE datos>)
CALL INPA1(ALPHA. MALLADO, MMIN, EPS)

LEO EL MALLADO Y LO CONVIERTO EN DEBILMENTE AGUDO

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
O

a
a

FALSA LLAMADA PARA QUE DAMEV DEVUELVA TAU MAXIMO

TAU = O.
CALL DAMEV(M, LM, NFNOPS, 1, ALPHA, EPS, MMIN, TAU, NTAUR PRE)

LEO LOS DEMAS PARAMETROS

CALL INPA2(TAU, NTAU, FRE)

4
u

VERDADERA LLAMADA DE DAMEV

OALL DAMEV(MO LM, NPNOPS, 1, ALPHA, EPS, MMIN, TAU, NTAUR PEE)

CLOSE(7)
STOP
END
o

* * ** * * * * * *** * **** *****

DATO DE CONTORNO

*** ****

**** ****

* ****

a
u

a
a

FUNCION DE PERMEABILIDAD

l
1

UNA PRIMITIVA DE BETA

REAL FUNCTION PRIMBETA(S)

REAL 5
FB2 .5*S*S
RETUEN
END
O

** * ** *

REAL PUNCTION BETA(S)

REAL 5
BETA=5 *5
RETURN
END
o

*** * ** ** * ****

REAL FUNCTION FPHI(X,Y,T)

DOUBLE PRECISION X,Y
REAL T
IP (X.GT.1.5) TEEN
FPHI=AMAX1(O. ,t.REAL(Y))
ELSE
FPHI=AMAXI(O. ,1.5REAL(Y))
END IP
RETUEN
END
O

******

LA DERIVADA DE BETA

114

a
a
a
l

u
E
E
E
E
E
E
E

E
E
E
E

REAL FUNCTION DBETA(S)

REAL 5
DBETAS.
RETURN
END
O

DATO INICIAL
REAL PUNCTION FINIC(X,Y,ALPHA)
DOUBLE PRECISION X,Y
REAL ALPHA,TOL
TOL 1.E6
RETURN
END

[15

a
u

SUBROUTINE DAMEV(M,LM,NFNOPO,NINOPO,ALPHA,EPS,MMIN,TAURNTAU,PRE)
O

C
O
O
O

o
o
o
O
O

o
O

o
O
O
O

RESOLUCION DE UN PROBLEMA DE EVOLUCION RELATIVO A LA PILTRACION

DE UN FLUIDO A TRAVES DE UN MEDIO POROSO.
PARAMETROS DE ENTRADA
TABLERO DE TRABAJO DONDE ESTN CONTENIDOS
TODOS LOS VECTORES
LM:
DE LONGITUD DE M
FICHERO DONDE SE ENCUENTRA LA S.D. NOPO
NFNOPO:
NINOPO:
NIVEL DE LA S.D. NOPO
ALPHA:
COEFICIENTE DE COMPRESIBILIDAD DEL FLUIDO
EPS:
PARMETRO DE PERMEABILIDAD DE LA FRONTERA
(UTILIZADO SOLAMENTE POR EL METODO 1
MMIN:
METODO DE MINIMIZACION ELEGIDO
1 GRADIENTE CON PROYECCION (PASO FIJO)
2 GRADIENTE CONJUGADO
3 GRADIENTE CONJUGADO PRECONDICIONADO

O
DIMENSION M(*)
REAL ALPHA, EPS ,TAU
INTEGER MMIN>NTAU>FRE
CHARACTER*3
CHARACTER*4
CHARACTER*4
CHARACTER*7
REAL T

a
a
a
a
4

SAT, PRE
CHAR4
CUENTA
NOMBRE

COMMON/ALNOPO/NENOPOO
+
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
DIMENSION NZNOPO(19) ,NZB(16)
EQUIVALENCE(NENOPO,NZNOPO(1)) , (NEB,NZB(1))
SAT ST>
PREPRE>
O
O

a
a

CALCULO DE LOS COEFICIENTES DE LA MATRIZ B

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)
RETURN

116

lis

l
l

a
l
l

a
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

CALL CALCUL(NERM(INOPS) ,M(INOP4) ,M(IAA) OM(IAKIM) ,NBND,

NOEPALPHAOTAU)
CALCULO LOS COEFICIENTES DE LA PARTE NO LINEAL
CLL NOLINEAL(M(IANOP4) .M(TAKIM) ,NBAND,NOE,M(IANF),M(IATNL))

CALCULO LAS CONDICIONES INICIALES

CALL CALCINI(M(INOP4> ,NOE,M(IAP) RM(IAG)RM(IANF) OLPBAOM(IAPH))
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

CALCULO EL PARMETRO RO (UTILIZADO SOLO POR EL METODO 1)

IP (MMIN.EQ.1) CLL CRO(M(IAA),NBAND,NOE,ROOEPS)

BUCLE PRINCIPAL (EN TIEMPO)

DO N=1,NTAU
PRINT*,***** NT=,N,
WRITE(7O*) NT>,n
TTAU*N

*****

117

a
O

ACTUALIZO LA PRESION EN EL FONDO DE LOS EMBALSES

Y EL TERMINO LINEAL
OALL DTO(M(IANOP4),M(IATL),M(IAP),M(IAG),M(IASUP),NOE,M(IAPH),
T,LPHAOTAU)

ELIJO EL METODO DE RESOLUCION

IF (MMIN.EQ.1) THEN
CALL GRPCONS(M(IAP)OM(IAGP)RM(INP)ONBANDONOE,M(IA),
M(IARIM)RM(IPH)RM(IATNL)OM(IATL)OM(IAPRB),RO)
ELSE
OALL GRCONJ<M(IAP) ,M(IGP) ,M(IANF) ,NBND,NOERM(IAA),
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)

+
+
+

END IP
O

OALOULO LA SATURACION G

+
+

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)

SALVO LOS RESULTADOS (PRESION Y SATURACION) EN PICHEROS

LOS FICHEROS
XXXI
CORRESPONDE
SE LLAMAN
AL NUMERO
PREIIXX
DE ITERACION
y ~SATXXXX
CORRIENTE
DONDE N

IP (MOD(N,FREYEQ.O) THEN
CALL INT2OHA(N,OUENTA)

Convierte N en cadena

NOMBRE=SAT//CUENTA
Saturacion
OALL TRUNIT(NFB)
CALL OUVRIS(NFB,NOMnRE, NEW,UNFORNATTED ,O)
DO 11,NOE
END M(IAB4+I1)M(IAG+I1)
DO
CALL SDSAUV(M,OHAR4(NOMSD) ,NFBRNIB,NZB.LZRNCB,NOPTONMOT)
WRITE(NFB)LB4, (M(IAB4+I1) ,11,LB4)
OLOSE(NFB>
NOMBREPRE//CUENTA
Presion
OALL TRUNIT(NFB)
OALL OUVRIS(NFBRNOMBRE. NEW,UNFORMATTED ,O)
DO 11,NOE
END M(IAB4+I1WM(IAP+I1)
DO
OALL SDSAUV(M,CHAR4(NOMSD) ,NFB,NIBONZB,LZ,NCB,NOPTONMOT)
WRITE(NPB)LB4, (M(1AB4+I1) ,11,LB4)
CLOSE(NPB)
END IP

118

u
u
l
u
l

a
4
u
l

a
4
4
u
II

a
a
u

E
E
E

END DO

Bucle en tiempo

RETUEN

END

u
E

u
E
E
E

u
E
E
E
E

119

FICHERO damev.ini

************************************************************

INICIALIZACION DE LA MATRIZ DE TRABAJO

************************************************************

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
M(INP+I1)=M(IANF+I)
END DO
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

.S
-n

a
~1

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
l

M(IB2)=2
M(IAB2+1)=2
M(IAB2+2)=1
M(IAB2f3)=LB4
M(1AB24-4)=1
M(IAB2+S)=I
M(IAB2+6)=NOE
M(IAB2+7)=1
M(IAB2+8)=1
M(IAB2+9)4B4
M(1AB2+1O2
M(IAB3)0
M(IB3+1)=LB4
LZ=16
NOPT=O

ej
-i

4
l
ej

4
ml

l
ej
ej
ej

a
a

122

ml

SUBROUTINE INPA1(ALPHAO MALLADO, MMINR EPS)

o
ENTRADA DE PARAMETROS

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
IF (MMIN.LT1 .OR. MMIN.GT.3) THEN
WRITE (*,900) MMIN
STOP
END IF
IP (MMIN.EQ.I) THEN
WRITE(* .400>
READ (*,401) EPS
WRITE(7 ,400)
WRITEI27,402) EPS
END IP
100
101
102
200
201
300

PORMAT
PORMAT
FORMAT
FORMAT
FORMAT
FORMAT

(Coeficiente de compresibilidad:)
(FB.6)
(LPHA,F8.6)
(Fichero que contiene la S.D. NOPO:)
(AS)
(Metodo de minimizacion elegido:)

123

a
4
301

FORMAT (>MMINl Gradiente con proyeccion,

paso constante)

302
303
304
305

PORMAT
PORMAT
FORMAT
FORMAT

(MMIN2 Gradiente conjugado)

(MMIN=3 Gradiente conjugado precondicionado)
(MMIN:)
(Ii)

400
401
402
900

FORMT
PORMT
FORMAT
FORMAT

(Permeabilidad del borde:)

(FS.6)
(EPS=,F8.6)
(Error al elegir el metodo de minimizacion igual a ,I1)

4
ej

RETURN
END

ej

ml
4

ml
ej

4
ej

ej
ej
4
u

124

EJ

ej

SUBROUTINE INPA2(TAU, NTAU, ERE)

O
O
O

ENTRADA DE PARMETROS
REAL TAU
INTEGER NTAU
INTEGER ERE
CHRACTER*2 MODIE

CONTRATACION DE TAU
WRITE(*,100)
WRITE(*,110)
RED (*,120)
WRITE(7,100)
WRITE(7O 110)
IIRITE(7,120)

TAU
MODIE
TAU
MODIF

IP (MODIF.EQ.si) TEEN
WRITE(*,200)
RED (*,210) TAU
WRITE(7 ,200)
WRITE(7,210) TAU
END IP
WRITE(*,300)
READ (*,310)
WRITE(7,300)
WRITE(7,310)
WRITE(*,320)
READ (*,330)
WRITE(7 R 320)
IJRTTE(7,330)
100
110
120
200
210
300
310
320
330

PORMAT
PORMAT
FORMAT
FORMT
FORMAT
FORMAT
FORMAT
FORMAT
FORMAT

NTAU
NTAU
FRE
PRE

(La longitud maxima del paso de tiempo es TAU

(Modificarla?)
(A2)
(Nuevo TAU: )
(F7.4)
(Numero de pasos de tiempo: )
(12)
(Oada cuantos pasos salvar los resultados: )
(14)

RETURN
END

125

,FY.4)

u
u
+

SUBROUTINE CALCULAB(NE,NOPSROOORRNBAND,NPRIUW,SUPP,INDER
E,PRB,TAU)

CALOULO DE LOS COEFICIENTES DE LA MATRIZ B PARA EL MODULO DAMEV

CADA ELEMENTO TIENE DOS CONTRIBUCIONES:
UNA RELATIVA A LA DERIVADA ESPACIAL (SOLO EN LA COORDINADA Y)
QUE CALCUL LA RUTINA BELEM

OTRA RELATIVA A LA DERIVADA EN TIEMPO QUE ES LA PARTE UPWIND

C
C
C
O

ej
EJ

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
SUPP(I)=O.DO
IUW(I0
DO L=1,NBAND

u
1

INDE(I,LO
END DO
INDE(I,1)=I
END DO
IA=0
DO 2 IE=1,NE
&MAE=NOPS(IA+2)
DO fti,3
IFF(J)NOPS(1A4-4+J)
1 IFF ( J)
X(J)=DBLE(OOOR(2*I1))
Y(J)=DBLE(OOOR(2*I))
END DO
IA=IA+7+NMAE
CAEL BELEM(X,Y,A3,DY)
DO 3=1,3
1 IAFF (3)
SUPP(I)SUPP(I)+AA3
END DO

COLOCA LOS NODOS DE MAYOR A MENOR ALTURA

EJ
u

EJ
u

C
O

O
IMAX1
Ji =2
J23
AMAXY(1)
DIPPY(2)-AMAX
IF(DIFF.LE.TOL) GO TO 17
AMAXY(2)
IMAX=2

u
126

EJ
-j

17

J11
J23
DIFF=Y(3)AMAX
IF(DIFF.LE.TOL) GO TO 18
AMAX=Y(3>
IMX=3
J1=1
J2=2

o
O
C

MIRA SI EL ELEMENTO EL ES TRIANGULO UPWIND DE IMAX

18

21
22

23
2

25
24

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
CONTINUE
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
CONTINUE
CONTINUE
DO 24 L=1,NBND
DO 25 I~=1,NP
JINDE(I ,L>
IP (J.NE.0) E(I,L)E(I,L)*SUPP(J)
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

ej

TUDMIN1 (TUOTA)
END IP
END DO

ej

END IF

DO 11,NP
E(I , 1)=E(I 1)+SUPP(I)/TAU
PRB(I)0.DO
DO J=1,NBAND

st

END PRB(I)=PRB(I)+E(I,J)
DO
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

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
IP (DABS(DY( 1 )>.LT.1.D6) DY( 1
IP (DABS(DY( 2 )).LT.1.D6) DY( 2
IP (DABS(DY( 3 )>.LT.1.D6) DY( 3
AA3DET/6.
RETURN
END

)
)
)

=
=
=

O.DO
O.DO
O.DO

Valor para devolver

129

ej

ml
SUBROUTINE OALCULA(NE,NOPS,COOR,A,IND,NBANDRNP,ALPHA,TAU)
O

********************************hlC*************************************

OALCULO DE LA MATRIZ A PARA EL MODULO DAMEV

O
DOUBLE PRECISION A
DIMENSION NOP5(*),OOOR(*),A(NP,*),IND(NP,*)
DOUBLE PRECISION X,Y,AE,AA3,PRAM
DIMENSION X(3),Y(3),AE(3,3),IAPP(3)

EJ
1

PARAMALPEA/TU

EJ
EJ

DO 11,NP
A(I.1j=O.DO
IND(I,1=I
DO L=2,NBAND
IND(I ,L)=0
END DO
END DO
1A0
DO 1E1,NE
DO J1,3
IAFF(J)NOPS(IA+4+J)
I=IAPP(J)
X(J)=DBLE(COOR(2*I1))
Y(J)=DBLE(COOR(2*I))
END DO
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)
END DO
RETURN
END

EJ

u
EJ
EJ

Ej

EJ
EJ
130

EJ
4

SUHROUTINE ELEM(IOY,AE,A3)
O
O

CALCULA LA MATRIZ ELEMENTAL PARA LA MATRIZ A

DIMENSION X(*),Y(*),E(3,3)
DOUBLE PRECISION 1, Y, AE, AA3
DOUBLE PRECISION 112,Y12,123,Y23,131,Y31,DET,AA4
112
Y12
123
Y23
131
Y31
DET
AA4

1(2) 1(1)
Y(2) Y(1)
1(3) 1(2)
Y(3) Y(2)
1(1) 1(3)
YO) Y(3)
131 * Y12 112
DET * 2.

AA3

DET

=
=
=
=

AE(1,1)
AE(1,2)
AE(1,3)
AE(2,2)
E(2,3)
AE(3,3)
AE(2,1)
AE(3,1)
AE(3,2)

=
=
=
=
=
=
=

VM

6.

(123 * 123
(123 * 131
(112 * 123
(131 * 131
(131 * 112
(112 * 112
AE(1,2)
AE(1,3)
AE(2,3)

+
+
+
+
+
+

V23
Y23
Y12
Y31
Y31
Y12

*
*
*
*
*
*

Y23)
Y31)
Y23)
Y31)
Y12)
Y12)

AA4

1
1
1
1
1

AA4
AA4
AA4
AA4
AA4

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

O
O

CALOULA EL VECTOR IND

IND SIRVE PARA HACER LA CORRESPONDENCIA ENTRE LOS ELEMENTOS
DE LA MATRIZ A Y LOS PARES DE FUNCIONES DE LA BASE
DIMENSION IND(NP,*) ,IAFF(*)
DO K11,3
I=IAPF(K1)
DO K2M,3
J=IAPP(K2)
IP L=2
(J.NE.I) THEN
MA RO = O
DO WHILE (<L.LE.NBAND).AND.(MARC.EQ.0))
K=IND(I ,L)
IP (K.EQ.O) THEN
IND(I ,L)=J
MARO1
ELSE
IP (K.EQ.J) MARC=1
END IP

l
4j

a
.1
u

LL+1
END DO
END IF
END DO
END DO
RETURN

END

EJ
4

4
4

.1
l
132

ej

EJ

SUBROUTINE ENSAMA(AECA,INDCIAFFCNBAND,NPRAA3,PARAM)
O

O
C

ENSAMBLA LA MATRIX A
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)
END DO
END IF
END DO
END DO
RETURN
END

33

AE(K1,K2)

l
ej
SUBROUTINE NOLINEAL(CQORCINDONBND,NP,IPROOTNL)
O

O
O
O

CALCUL LOS COEFICIENTES DE LA PARTE NO LINEAL

PARA EL MODULO DAMEV
DIMENSION IND(NP,*) ,COOR(*) ,IPRO(*) ,TNL(*)
DOUBLE PRECISION TNLCXICYICX,Y

l
ml
Iii

DO 11,NP
TNL(I)=0.
IP (IPRO(I).EQ.1) TREN
Xl = DBLE(COOR(2*Il))

.2

Y1 = DBLE(COOR(2*I))
DO J1,NBAND
L=IND(I,J)
IP (L.NE.0) THEN
IP (IFRD(L).EQ.1) TREN
1 = Xl DBLE(COOR(2*L1))
Y = Y1 DBLE(COOR(2*L))
TNL(I)=TNL(I)+SQRT(X*X + Y*Y)/2.
END IP
END IF
END DO
END IP
ENE DO

ej

RETIJRN
ENE

EJ
ml
EJ

SUBROUTINE DATO(COOR,TL,PRGOSUPP,NPRPHIRT,LPH,TA)

Mi

C
O

OTUALIZA LA PRESION EN EL FONDO DE LOS EMBALSES

O
O

Y EL TERMINO LINEAL
DIMENSION COOR(*),TL(*)RPHI(*)RP(*),G(*),SUPP(*)
DOUBLE PRECISION X1RY1RSUPP
DO I=l,NP
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
ENO DO
RETURN
ENO

134

4
ml
ej
.2

ml
l
l

SUBROUTINE CALCINI(COORCNP,P,G>IPROOALPHCPHI)
O

O
O

CALCULO DE LAS OONDICIONES INICIALES PARA EL MODULO DAMEV

DIMENSION COOR(*).P(*)CG(*),IFRO(*),PHI(*)
REAL ALPHA
INTEGER IFRO
DOUBLE PRECISION X1CY1
PRINT*,***** NT~0 *****
DO 11,NP
P(I)=0.
XIDBLE(COOR(2*I1))
Y1DBLE(COOR(2*I))
PHI(IWFPHI(XI ,YI ,O)
IP (ALPHA.EQ.0.DO) THEN
G(I)FINIC(X1 RY1 ,ALPH)
ELSE
IP (IPRO(I>.EQ.2) THEN
P(I)=0.
ELSE
Q=AMAX1(O. RPINIC(XIOY1,ALPHA) 1.)
P(I)=Q/ALPHA
END IF
G(IFINIC(X1,Y1 RALPHA)Q
END IP
END DO
RETURN
END

135

ml
ml

a
SUBROUTINE CRO(A ,NB&D ,NP,RO,EPS)

o
o
o

CALCULA EL PARMETRO RO UTILIZADO POR EL METODO 1

DIMENSION A(NP,*)
DOUBLE PRECISION A
REAL R,R1,RO>EPS

ml
ej
ej

RAO.
DO I=1,NP
RA1O.
DO L1,NBAND

ej

RA1=RA1+BS(REAL((I,L)))
END DO
IF(RA1.GE.RA) RARA1

EJ

END DO
R02 . /(RA+EPS)
PRINT*, R0 R RO

ml

RETURN
END

EJ

ml
ej
ej
ej

ml
ml
l
136

u
ml
l

SUBROUTINE CGRD(V,GV.NBAND.NP>ARINDAOPHI,TNLOTLOPRB)
O
CALOULA EL GRADIENTE DEL PUNCIONAL J QUE SE ESTA MINIMIZANDO
EST RUTINA VIENE LLAMADA EN CADA ITERACION DEL METODO ITERATIVO

O
O

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
O

CALCULA EL VALOR DEL FUNCIONAL J QUE SE ESTA MINIMIZANDO

SU VALOR NO ES NECESARIO PARA EL ALGORITMO DE SOLUCION
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

SUBROUTINE GRPCONS(PRGP,IFRORNBAND,NP,CINDACPHIRTNL,TLRPRBORO)
O
O

ALGORITMO DE RESOLUCION
GRADIENTE CON PROYECCION Y PASO CONSTANTE

C
O
+

DIMENSION P(*),GP(*flIFRO(*),A(NPR*),INDA(NPR*)CPHI(*),TNL(*),
TL(*),PRB(*)
DOUBLE PRECISION ,PRB,TNL
REAL TOL>RO,JV>PP
INTEGER ITER, ITMAX
LOGICAL SIGUE
TOL=t E6
ITER=0
ITMAX=1000
SIGUE= .TRUE.
DO WHILE ((ITER.LT.ITMX) .AND.SIGUE)
SIGUE.FALSE.
ITERITER+1
CALL CGRAD(P,GP>NBANDRNP,AOINDAOPHI,TNLOTL,PRB)
DO I=1,NP
IF (IPRO(I).EQ.2) TREN
P()=o.
ELSE
PPP(I)
P(I)=AMAX1(O. ,P(I)RO*GP(I))
IP (P(I).LT.TOL) P(I)=0.
IP (ABS(PP-P(I)) .GT.TOL) SIGUE=.TRUE.
END IP
END DO
END DO

u
u
u
EJ
EJ
EJ

u
1
Ej

u
EJ

EJ
u

RETURN
END

mi
1

138

u
u
u
u

SUBROUTINE GROONJ(PRGP,IFRORNBAND,NP,A,INDA,PEI,TNL,TL,PRB,
+

DVRS,RRDOARBBB.INDOMMIN>

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.

CALCULO EL GRADIENTE DEL FUNCIONAL 3

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
O

ELIJO EL METODO DE RESOLUOION

IF (MMIN.EQ.2) THEN
OALL BILINEAL(AA,BBB,PRNBANDRNP>INDARDRRRSRIFROOIND)
ELSE
CALL PRECOND(AARBBBRP,NBANDRNPOINDA,DOR,SRIFRORIND)
END IF
DIPFO.

RETURN
ENE

140

II

SUBROUTINE BILINEAL(A,B,Z,NBAND,NP,INDA,DRR,S,IPROCIND)
O

C
C

METODO DE RESOLUCION

GRADIENTE CONJUGADO

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

Inicializo R

O
100

C
O
O

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
Miro donde minimizar
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
C

Inicializo el gradiente conjugado

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

a
O

300

400

CONTINUE
ITER=ITER+ 1
IP (ITER.GT.ITMAX) GO TO 500
ZCO.
ZDO.
DO N1,NP
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)
END DO
Z=ZO/ZD
NOK=.PALSE.
Sigo en K
He llegado al minimo
LLEGO .TRUE.
DO fll,NP
Z(I)=z(I)+zA*D(I)
IF (Z(I).LT.TOL) NOI@.TRUE.
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
IF (LLEGO) GO TO 100
Actualizo el conjunto donde minimizo
ZE=O.
DO 11,NP
IF (IND(I).EQ.1) R(I0.
ZEZE+R(I)*R(I)
END DO
ZGZE/ZO
DO 11,NP
lE (IFRO(I).EQ.2) TREN
D(I)0.
ELSE
D(I)R(I)+ZG*D(I)
END IF
END DO
GO TU 300
Termina el gradiente
CONTINUE
ZP10000.
DO 11,NP
IP (z<I).LT.TOL) ZP=AMIN1(ZF\ZZ(I)/D(I))
ENO DO
DO I=1,NP
IND(I)=0
Z(I)=Z(I)+(ZFZA)*D(I)
IF (ABS(Z(I)).LT.TOL) IND(I)=1
END DO
DO I=1,NP

142

ji

l
III

Mi
.2
4
EJ
ej

EJ
u
ej
1
Ej

u
u
EJ
Mi

500

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
CONTINUE
RETURN
END

143

EJ
Ej

u
SUBROUTINE PRECOND(A,BRZ,NBAND,NP,INDA,D,R,S,IFRORIND)
ALGORITMO DE MINIMIZACION
METODO DEL GRADIENTE CONJUGADO PRECONDICIONADO
MATRIZ DE PRECONDICIONAMIENTO: INVERSA DE LA DIAGONAL

o
O
O
+

s1

ji

DIMENSION A(NP,*),B(*),Z(*),INDA(NP,*),D(*),R(*),S(*),
IPRO(*flIND(*)
REAL A,BRZ,DRRCS
INTEGER INDA,IFRO,IND

ji

INTEGER ITERRITMAX
LOGICAL VOLVER,NOK,LLEGO

Mi
ji

TOL1 .56
ITMAX 1000
ITER=0
Inicializo a
O

100

CONTINUE
DO 11,NP
R(I) = B(I)
DO J1,NBAND
R(I) = R(I)

mi

ji
4

A(I,J)*Z(INDA(I,J))

END DO
END DO
Miro donde minimizar
O

VOLVER . TRUS.
DO I=1,NP
IP
+

( (IPRO(I).EQ.2) .OR.
((BS(Z(I)).LT.TOL) .AND.
1 ND (1) = 1

(R(I).LT.TOL))

ELSE
IND(I)=0
IP (ABS(R(I)7LGT.TOL) VOLVER.FALSE.
END IP
END DO
IP (VOLVER) GO TO 500

Inicializo el gradiente conjugado

200

OONTINUE
DO li1,NP
IP ((IND(I) .EQ.1).OR.(A(I,1).EQ.O)) TEEN

) TREN

ji
u
EJ
Mi

a
Mi

D(I)=O.
ELSE
D(I)=R(I)/A(IR1)
ENO IP

144

Mi
l

END DO
O
O
O

Comienza el gradiente conjugado

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
NOK~ FALSE.
Sigo en 1<
LLEGO.TRUE.
He llegado al minimo
DO 11,NP
Z(I)Z(I)+ZA*D(I)
lE (Z(I).LT.TOL> NOK=.TRUE.
R(I)=R(I)ZA*S(I)
Ir ((IlJD(I).EQ.0).AND.(ABS(R(I)LGT.TOL)) LLEGO.FALSE.
END DO
lE (NOK) GO TO 400
Proyectar
IF (LLEGO) GO TO 100
Actualizo el conjunto donde minimizo
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

400

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
Termina el gradiente
GO TO 300
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)
DO J1,NBAND
R(I) = R(I)
END DO
ENO DO

A(I,J)*Z(INDA(I,J))

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

2
ej

SUBROUTINE CALCULG(PRG,NBANDONP,OINDAOB,INDB,PHI,TNL,TL,PRBR
S.IN.N)

O
O
C
C
o

CALCULA LA SATURCION G
SE RESUELVE EL PROBLEMA
B G = 5
DONDE
B: MATRIZ TRIANGULAR (A MENOS DE REORDENACION)
G: SATURACION INCOGNITA
St MNIMO ENTRE CERO Y EL GRADIENTE DEL FUNCIONAL 3

* * * ****

**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

DO I=1,NP
G(I)=G(I)+1.
IP (ABS(G(IYLLE.1.E6) G(I)0.
END DO
RETURN
END
SUBROUTINE INT2CHA(INT,CHA)
O

O
C
C

CONVIERTE UN ENTERO DE CUATRO DGITOS

EN LA CADENA DE CARCTERES CORRESPONDIENTE
INTEGER INT
OHARACTER*4 CHA
INTEGER A, B, O, D
INTEGER 0FF, TEN
0FP48
TEMINT
A=TEM/1000
TEM=TEMA* 1000
BTEM/ 100
TEM=TEMB* 100
C=TEM/1O
TEM=TEMC*10
D=TEN
CHA=CHAR(A+OEE) //CHAR(B+OPP)//CHAR(04-OPF)//CHAR(D+OPF)
RETURN
ENE

148

ml
EJ
ji
EJ
ji
EJ
u
EJ
EJ
u
u
u
EJ
EJ
ej
Mi
u

Bibliografa
[1] R. Adams. Sobolev Spaces. Academic Press (1975).

[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.
Math., 36 (1980), 73-98.

Numer.

[4] C. Baiocchi. Su un problema afro ntera libera connesso a questioni di idraulica. Ann.
Mat. Pura Appl., 92 (1972), 107-127.
[5] C. Baiocchi, A. Capelo. Variatianal and quasivariational inequalities. Wiley
(1984)

[6] C.Baiocchi, V. Comincioli, L. Cuerri, O. Volpi. Free bouudary problems in Me theory

of fluid flow through porous media: a numerica approach. Calcolo, 10 (1973),1-82
[7] it

Bear.

Hydraulics of groundwater. McGraw-Hill (1979).

[8] U. Brezis. Anlisis funcional. Alianza Editorial (1984).

[9] U. Brezis. Operateurs maximaux monotones. North-Holland (1973).
[10] U. Brezis, D. i{Ynderleherer, O. Stampacchia. Sur une nouvelle formulation du
problme de lccoulement travers une digue. C. It. Acad.Sci. Pars, 287 (1978),
711-714.
[11] L. Caffarelli The smoothness of Ihefree surface in afiltration problem. Arch. Rational
Mech. Anal., 63 (1976), 77-86.
[12] L. Caffarelli, O. Cilardi. Monotonicity of Me free boundary iii thc tino-dimensional
dam problem. Ann. Scuola Norm. Sup. Pisa (4), 7 (1980), 523-537.
[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
[16] 1. Carrillo. Nl. Chipot. Sur unicit de la solution du problrne de lcoulcment
travcrs une digne. C.R. Acad. Sc. Paris, 292 (1981), 191-194.
[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.
[19] J. Carrillo, O. Gilardi. La viiesse de propagation dans le problmc de la digne. Aun.
Fac. Sc. de Toulouse, Vol. Xl, 3 (1990), 7-28.
[20} P.C. Ciarlet. Introduction
zation. Masson (1982)

~ lanalyse numrique matricielle et

1aptimi-

[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 inequalities. North-1-Iollaud (981).
[26] 0. Gilardi. A new approach (o evolution free boundary problems. Comrn. in P.D.E.,
4 (1979), 1099-1122.

{27] D. Gilbarg, NS. Trudinger. Elliptic partial differential equations of second

order. Springer-Verlag (1977).
[28] P.

Elliptie problems iii nonsmooth domains. Monographs and Studies

Mathematics, 24 Pitman (1985) Londres.
Crisvar

[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
E
E
E

[30] lvi. Hestenes. Conjugate direction methods in optimization. Springer-Verlag

(1980).
[31] J.L. Lions. Quelques mthodes de rsolution des problmes aux limites non
linaires. Dunod Cauthier-Villars (1969) Pars.
[32] L.D. Marini, P. Pietra. Solution of filtration problems througlt porous medza. The
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.

[.34]J.M. Ortega, W.C. R.heinboldt. Iterative solution of nonlinear equations in

several variables. Academic Press (1970) Nueva York.
[35] P. Pietra. An up-wind method for a fltration roblem. RAIRO Anal. Numr.. 16
(1982), 463-481.

E
3

[36] B.T. Polyak. Introduction to optimization. Optimization Software Inc. (1987).

[37] J.F. Rodrigues. Qn thc dam problern with boundary leaky cottdition. Portugaliae
Mathernatica, 39 (1980), 399-411.
[38] P.A. Raviart,J.M. Thomas. Introduction ~ Ianalyse numrique des quations
aux
partielles. Masson (1983) Paris.

[39] M. Tabata. Uniform convergence of (he up-whtd fmi/e element approximation fo

semilinear parabolie problems, J. Math. I<yoto Univ. 18 (1978), 327-351.

3
3

[40] V. Thome. Galerkin finite elernent methods for parabolic problems.

in Mathematics, 1054, Springer-Verlag (1984) Berlin.

[41] A.
Torell.
un Pura
problema
non
con91-106.
una condizione de evoluzione sulla fron(jera.
Ann. Su
Mat.
Appl.,
112lineare
(1977),
[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.

u
3
E
E

Lecture Notes

151