ACERCA DE ALGUNAS CONSTANTES

La desigualdad:
jn
i
j
H
2
()
kn
i
k
H
2
()
C
2
() kc
i
k
H
1=2
()
((23))
tiene sentido si se cumple

i
"
2 H
1=2
(), porque entonces puede armarse que
n
i
2 H
2
(). Eso se cumple si se supone que c
i
es continua y lineal a trozos y
si la funcin -(.) es constante en un entorno de 0.
Pensando en el problema aplicado al petrleo, desde el principio habr dos
hiptesis importantes para -(.):
1- - -
min
0,
2- - =constante en 0.
En el caso de dos valores para el petrleo -
min
= 1 (aceite) y -
max
= 3 (gas).
Puede suponerse -(.) = -
min
en un entorno de 0.
La constante ` que aparece en las estimaciones como la de "coercividad",
puede calcularse como sigue:
Se sabe que:
a(n, ) =
_

-rnr d r =
_

c d r, 8 2 \,
entonces, poniendo = n se obtiene:
_

- jrnj
2
d r =
_

cn d r,
pero
_

- jrnj
2
d r -
min
knk
2
H
1
()
y si
0
: H
1
() ! 1
2
() denota el operador lineal traza, que a cada n le hace
corresponder la restriccin de n a :
_

cn d r kck
L2()
knk
L2()

kck
L2()
k
0
(n)k
L2()

kck
L2()
k
0
k knk
H
1
()
.
Por lo tanto,
-
min
knk
2
H
1
()

_

- jrnj
2
d r =
_

cn d r kck
L2()
k
0
k knk
H
1
()
,
de donde:
knk
H
1
()

_
k
0
k
-
min
_
kck
L2()
,
1
y
` =
k
0
k
-
min
.
Para el operador lineal traza
1
: H
1
() ! H
1=2
(), que a cada n le hace
corresponder la clase de todas las funciones de H
1
() que tienen igual (c.d.)
restriccin a , i.e.

1
(n) =
_
n 2 H
1
() :
0
(n) =
0
( n), c.d.
_
se le puede calcular fcilmente una cota de su norma. En efecto:
k
1
( n)k = inf
_
knk
H
1
()
:
0
(n) =
0
( n), c.d.
_
,
en particular:
k
1
( n)k k nk
H
1
()
y por tanto:
k
1
k 1.
Para el operador lineal traza
0
: H
1
() !1
2
(), denido por:

0
(n) = n j

,
tambin se le puede calcular una cota de su norma.
En efecto, para cualquier r 2 , si
dn =
0n
0r
dr +
0n
0j
dj
denota la diferencial total de n y si C[0, r] denota un camino cualquiera que une
0 con r, tendremos la igualdad:
n( r) =
_
C(0; x)
dn,
pues la integral (de lnea) no depende del camino escogido.
Escojamos como el camino C[0, r] el segmento que une 0 con r. Elevando al
cuadrado e integrando con r recorriendo la circunferencia , obtenemos:
_

n
2
( r)d r =
_

_
_
C(0; x)
dn
_
2
=
=
_

_
_
C[0; x]
_
0n
0r
dr +
0n
0j
dj
_
_
2
Usamos ahora la desigualdad de Hlder:
2
_
() + q)
_
_
() + q)
2
_
_
1
2
=
_
_
() + q)
2
,
y obtenemos:
_

_
_
C[0; x]
_
0n
0r
dr +
0n
0j
dj
_
_
2

_
C[0; x]
_
0n
0r
dr +
0n
0j
dj
_
2
y entonces:
_

n
2
( r)d r
_

_
C[0; x]
_
0n
0r
dr +
0n
0j
dj
_
2
=
_

(dn)
2
.
Supongamos ahora que es la circunferencia unitaria y hagamos en la inte-
gral de la derecha el cambio de variables:
_
r = r cos 0,
j = r sin0,
, r 2 [0, 1], 0 2 [0, 2],
con jacobiano:
J(r, 0) =

cos 0 r sin0
sin0 r cos 0

= r,
entonces, por el teorema del cambio de variables, la integral se escribe:
_

(dn)
2
=
_

_
0n
0r
dr +
0n
0j
dj
_
2
=
=
_
2
0
_
1
0
_
0n(r cos 0, r sin0)
0r
cos 0 +
0n(r cos 0, r sin0)
0j
sin0
_
2
r dr d0
pues para 0 jo,
dr = cos 0 dr,
dj = sin0 dr.
Ahora usamos la desigualdad:
() + q)
2
2()
2
+ q
2
)
con lo que se obtiene:
_
2
0
_
1
0
_
0n(r, 0)
0r
cos 0 +
0n(r, 0)
0j
sin0
_
2
r dr d0

_
2
_
2
0
_
1
0
_
_
0n(r, 0)
0r
_
2
cos
2
0 +
_
0n(r, 0)
0j
_
2
sin
2
0
_
r dr d0
_
,
3
y por tanto:
knk
2
L2()
2
_
2
0
_
1
0
_
_
0n(r, 0)
0r
_
2
+
_
0n(r, 0)
0j
_
2
_
r dr d0.
Pero est claro que:
_
2
0
_
1
0
_
_
0n(r, 0)
0r
_
2
+
_
0n(r, 0)
0j
_
2
_
r dr d0 =
_

jrnj
2
d r,
de donde se obtiene:
knk
L2()

p
2 krnk
L2()

p
2 knk
H
1
()
y por tanto:
k
0
k
p
2.
Faltan por estimar:
- C
1
() = Constante de interpolacin MEF
- C
2
() = Constante de regularidad del problema de Neumann
4