B Fasc2

Fascculo 2
Cursos y
seminarios de
matemtica
Serie B
Noem Wolanski
Introduccin a los problemas
de frontera libre
Departamento de Matemtica
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires
2007
ISSN 1851-149X
Cursos y Seminarios de Matemtica Serie B

Fascculo 2

Comit Editorial:

Carlos Cabrelli (Director). Departamento de Matemtica, FCEyN, Universidad de
Buenos Aires. E-mail: cabrelli@dm.uba.ar

Claudia Lederman. Departamento de Matemtica, FCEyN, Universidad de Buenos
Aires. E-mail: clederma@dm.uba.ar

Gabriel Minian. Departamento de Matemtica, FCEyN, Universidad de Buenos Aires.
E-mail: gminian@dm.uba.ar

ISSN 1851-149X

Derechos reservados
2007 Departamento de Matemtica, Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires.

Departamento de Matemtica
Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires
Ciudad Universitaria- Pabelln I
(1428) Ciudad de Buenos Aires
Argentina.
http://www.dm.uba.ar
e-mail. secre@dm.uba.ar
tel/fax: (+54-11)-4576-3335
Noem Wolanski
Introduccion a los problemas de frontera
libre
Buenos Aires, 2007
Prefacio
Estas notas nacieron a partir del curso optativo Problemas de frontera libre dictado
en el Departamento de Matem atica de la Facultad de Ciencias Exactas y Naturales de la
Universidad de Buenos Aires en el 1er. cuatrimestre del a no 2006.
El curso estuvo dirigido a alumnos avanzados de la Licenciatura y alumnos del Doctorado
en Matem atica, con buenos conocimientos de Teora de la Medida y un conocimiento b asico
de Ecuaciones Diferenciales Parciales, especialmente el laplaciano y la ecuaci on del calor.
Se trata de un curso introductorio a este tipo de problemas, por lo que se comienza
con una descripcion de algunos ejemplos concretos de problemas que pueden ser planteados
matematicamente como problemas de frontera libre. Esto se realiza en la Introduccion. Este
captulo introductorio se puede utilizar tambien para el dictado de un minicurso de unas 3 o
4 horas sobre este tema. (Se sugiere agregar al minicurso el Teorema de existencia y unicidad
de solucion a una inecuaci on variacional del Apendice 1). Si se agregan los par agrafos 2.1,
2.2 y 2.3 del Captulo 2 se obtiene material para un buen minicurso de unas 6 horas. En este
captulo seguimos en gran medida parte del libro [5].
A continuacion se desarrollan en mayor profundidad dos problemas clasicos: El Problema
del Obst aculo (Captulo 2) y El Problema de los Jets (Captulo 3). En ambos captulos se
prueba existencia de solucion y se prueba la regularidad de la misma. En el Captulo 2 se
estudia, ademas el Problema del Dique Poroso que est a relacionado con el del Obst aculo como
se ve en la Introduccion.
Con respecto a la frontera libre, se prueba la regularidad en un sentido debil el sentido de
la medida que es un primer paso hacia la demostracion de la regularidad C
1,
de la misma.
Para el Problema del Obst aculo seguimos las notas de un curso dictado por el Profesor Luis
Caarelli (ver [2]). Para el Problema de los Jets utilizamos el libro [3]. En estas fuentes se
puede encontrar desarrollado en su totalidad el estudio de la regularidad de la frontera libre.
Quisiera agradecer a los alumnos del curso Juan Lucas Bali, Carolina Capatto, Leandro
del Pezzo, Fernando L opez Garca, Carolina Mosquera y Mariana Prieto por su ayuda en la
redaccion y tipeado de estas notas.
IV
Indice general
1. Introducci on 3
1.1. Problema de Stefan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Problema del Obst aculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. Problema del Dique Poroso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4. Problema de Jets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5. Problema de Combustion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6. Ecuaci on de Medios Porosos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2. Problema del Obstaculo 25
2.1. Introduccion y normalizaci on al caso de obstaculo = 0 . . . . . . . . . . . . . 25
2.2. Propiedades de la solucion del Problema del obstaculo . . . . . . . . . . . . . . 30
2.3. Estudio de la frontera libre para el problema del dique poroso . . . . . . . . . . 31
2.4. Problema del obstaculo. Regularidad . . . . . . . . . . . . . . . . . . . . . . . . 35
3. Problema de los jets 47
3.1. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2. El problema regularizado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.3. Regularidad de la frontera libre en sentido de la medida . . . . . . . . . . . . . 75
3.4. Blow ups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.5. La condicion de frontera libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
A2.1.Estimaciones para soluciones de u = f . . . . . . . . . . . . . . . . . . . . . . 121
A2.2.Funciones superarmonicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
A2.3.Continuacion Analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
A3.1. Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
A3.2. Extensi on a C
0
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
A3.3. Caracterizacion de
_
C
0
()
_
. . . . . . . . . . . . . . . . . . . . . . . . . 132
INDICE GENERAL 1
A3.4. Otras deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
2

INDICE GENERAL
Captulo 1
Introduccion
Muchos problemas de la fsica, fsico-qumica, ingeniera, biologa, economa, etc, vienen
planteados por medio de ecuaciones diferenciales, o mas generalmente, sistemas de ecuaciones
diferenciales. Lo mas com un es que la / las funciones inc ognita dependan de varias variables
(una o mas variables espaciales y eventualmente el tiempo, por ejemplo). Se trata, por lo
tanto, de ecuaciones en derivadas parciales. Estas ecuaciones deben satisfacerse para todo x
en un cierto recinto de R
n
(o para todo (x, t) en (0, T)).
Por ejemplo, si la posicion de equilibrio de una menbrana elastica puede describirse como
el graco de una funci on u(x, y) con (x, y) , se puede ver que u debe satisfacer
u = f en ,
donde f es la fuerza (transversal) aplicada a la membrana.
Claramente, la posicion que adopte la membrana depende de como se sujete en el borde.
Por lo tanto, el problema estar a bien planteado solo si se agrega ademas una condici on de
contorno, por ejemplo,
u = g en .
En muchos problemas, sin embargo, el dominio donde debe satisfacerse la ecuaci on es
desconocido a priori, y su determinacion es parte del problema. Este dominio puede, efectiva-
mente, determinarse porque el problema agrega un dato de contorno extra en este borde. De
modo que se elegimos arbitrariamente, lo mas probable sera que habra incompatibilidades
entre los datos. Veremos enseguida ejemplos.
En muchos problemas, el dominio es conocido pero no hay una unica ecuaci on que se
satisface en todo sino que hay una supercie (frontera libre) que divide a en dos partes
(podra ser mas)
1
y
2
y una ecuaci on para cada parte del dominio (podra ser la misma);
y sobre deben satisfacerse condiciones de transmicion que relacionan a los valores de u a
cada lado de . En problemas de evoluci on, depende del tiempo y la denotaremos
t
.
En esta primera parte de las notas vamos a describir brevemente algunos problemas que
4 Introducci on
pueden describirse matematicamente como Problemas de frontera libre y, en algunos casos,
haremos una primera aproximacion a los mismos.
1.1. Problema de Stefan
Este es uno de los ejemplo mas conocidos dentro de los problemas de frontera libre el cual
modela como se funde una barra de hielo, por ejemplo.
Sea u(x, t) la funci on que mide la temperatura del agua en el tiempo t en el lugar x de
un recinto . Como 0 es la temperatura de fusi on del hielo, la region u > 0 representa la
porcion de ocupada por agua y u 0
la ocupada por el hielo. Por ser este un problema

de evoluci on, nuestro dominio es de la forma (0, T). As, u debe satisfacer la ecuaci on del
calor
u
t
= u en u > 0 u 0
.
En cada instante t, el recinto est a divido en dos partes (hielo-agua) por una supercie
t
.
Por lo tanto, tambien queda dividido nuestro dominio por :=
t>0

t
. Vamos a llamar a
esta supercie la frontera libre. Sobre se tiene u = 0.
x
0
Por otro lado, el problema de fusi on del hielo da una condicion extra sobre la supercie
de cambio de fase. En efecto, se sabe que para que el agua pase del estado solido al lquido
se le debe entregar una cantidad de energa (calor), generando as un salto del ujo de calor
en el momento de la fusi on (sobre la frontera libre). Esta energa produce en desplazamiento
de la frontera libre con direcci on al hielo con una velocidad proporcional al salto del ujo de
calor. Resultando as que
L s(x) = (u
+
(x) u
(x)).(x), x
t
,
1.1 Problema de Stefan 5
donde (x) es la normal exterior (la que apunta en direcci on al agua), L es el calor latente
de fusi on del hielo (constante en la proporcion), s es la velocidad de avance del hielo sobre el
agua y u
+
(x) y u
(x) son el ujo de temperatura en el agua y en el hielo respectivamente.

Esta condicion se conoce como la condici on de frontera libre.
Veamos como podemos escribir la velocidad de avance s en funci on de la frontera libre.
Supongamos que la supercie de cambio de fase est a descripta como la curva de nivel cero de
una funci on regular C
1
( (0, T)),
= (x, t)/ (x, t) = 0.
Supongamos que > 0 describe el agua. Entonces, si x est a en
t
,
(x) =
(x, t)
[(x, t)[
,
donde es tomado sobre la variable espacial.
Sea x
0

t
, entonces si (t) tiene borde suave, existe para un > 0 una funci on suave
: B

t
R
N
con (0) = x
0
y
y1
(0), ,
yN
(0) generadores del plano tangente a
t
en x
0
, tal que si es la normal exterior a
t
en x
0
, la funci on F : B
(, ) R
N
denida por
F(y
, s) := (y
) +s
es suave y con Jacobiano no nulo en (0, 0). Ademas, F(0, 0) = x
0
con lo cual, por el Teorema de
la funci on inversa, cualquier punto x en un entorno de x
0
puede escribirse de forma unica como
x = x+s con x
t
. Ademas F satisface que si es sucientemente chico, x B
(x
0
)(t)
si y solo si x = F(y
, s) con s < 0 y x B
(x
0
) (t) si y solo si x = F(y
, s) con s > 0.
Sea x(t
0
+ t) en
t0+t
convergiendo a x
0
a medida que el incremento t tiende a cero.
Entonces,
x(t
0
+t) = x(t
0
+t) +s(t
0
+t),
y en consecuencia,
x(t
0
) = lm
t0
x(t
0
+t) x
0
t
= lm
t0
x(t
0
+t) x
0
t
+
_
lm
t0
s(t
0
+t) s(t
0
)
t
_
=

x(t
0
) + s(t
0
)
Con lo cual,
x(t
0
) =

x(t
0
) + s(t
0
)[[
2
= s(t
0
).
Por otro lado, utilizando que (x(t), t) = 0 y derivando se puede observar que
0 = (x
0
, t
0
) x(t
0
) +
t
(x
0
, t
0
) = [(x
0
, t
0
)[ s(t
0
) +
t
(x
0
, t
0
).
As,
s(t
0
) =

t
(x
0
, t
0
)
[(x
0
, t
0
)[
.
6 Introducci on
De este modo, el problema queda planteado de la siguiente forma:
_
_
u
t
= u en u > 0 u 0
u = g en (
0) ( (0, T))
L
t
= (u
+
u
) en ,
donde g describe la temperatura inicial y como se mantiene la temperatura en el borde del
recinto a medida que transcurre el tiempo.
El caso en que el hielo est a a temperatura constante cero (que esto pueda ser as o no,
depende de la temperatura inicial y de c omo se mantenga la temperatura en a lo largo
del tiempo) es llamado el Problema de Stefan a una fase y el caso general que acabamos de
describir a dos fases.
En el caso del problema de Stefan a una fase podemos tomar como a una extensi on
suave de u[
{u>0}
a todo (0, T). Resultanto la siguiente reduccion,
_
_
u = g en 0 ( (0, T)
u
t
= u en u > 0
Lu
t
= [u[
2
en .
para una funci on u no negativa en (0, T).
1.2. Problema del Obstaculo
Se busca determinar la posicion que adopta una membrana perfectamente elastica, la cual
puede ser descripta como el graco de una funci on u(x) en un dominio , condicionada en
la frontera por una funci on g(x), con x en , y sujeta a la accion de una fuerza tranversal
f(x), con x en . Esta posicion es aquella que minimiza la enega potencial. Veamos entonces
c omo podemos describir esto.
Ademas de la relacionada con la fuerza transversal, hay otra componente de la energa
potencial de la membrana que es el trabajo que costo estirarla. Como consideramos una
membrana perfectamente elastica este trabajo es proporcional a la diferencia de area entre
la supercie estirada y aquella sin deformar. La constante de proporcionalidad es la tensi on
supercial que tomaremos igual a 1. De modo que la energa potencial de la membrana es
E =
_
_
1 +[u(x)[
2
1 dx +
_
f(x)u(x) dx.
Ahora, si suponemos que [u(x)[ es chico y dado que
1 +s = 1 +
1
2
s + ..., una buena
aproximacion es
_
1 +[u(x)[
2
1 +
1
2
[u(x)[
2
.
1.2 Problema del Obstaculo 7
As, reemplazando en la energa potencial obtenemos
E =
1
2
_
[u(x)[
2
dx +
_
f(x)u(x) dx.
Para que todo esto tenga sentido tenemos que poder hablar de u pero no es necesario que
u sea C
1
para que E este denida. Con lo cual, vamos buscar un minimizante de la energa
potencial en el espacio de Sobolev H
1
() y luego analizar su regularidad.
Ahora, si la membrana debe estar sobre un obstaculo denido como el graco de una
funci on C
2
(), el problema se reduce a minimizar el funcional
J(v) =
1
2
_
[v[
2
+
_
fv,
con v en / := v H
1
() [ v g H
1
0
(), v en . Llamaremos a estas funciones
admisibles. Supondremos que g > en para que / sea no vaco.
A continuacion, vamos a hacer dos reduciones equivalentes del problema de minimizaci on
que utilizaremos posteriormente para garantizar la existencia de solucion.
Para la primer reduccion, supongamos que existe un minimizante u para el funcional
antes mencionado. Entonces, dada C
0
() no negativa y > 0, la funci on v := u + es
admisible y, en consecuencia, satisface
J(u) J(u +).
As,
0 J(u +) J(u)
=
1
2
_
[u +[
2
+
_
f(u +)
_
[u[
2
fu
=

2
2
_
[[
2
+
_
u +
_
f.
Con lo cual, si dividimos por y hacemos tender este a 0
+
obtenemos que
0
_
u +
_
f,
para toda C
0
() no negativa. Decimos entonces que una solucion al problema del
obstaculo satisface que
u f, en sentido debil en . (1.2.1)
Notar que si pudieramos tomar valores de negativos que garanticen que la funci on u+
este sobre el obstaculo obtendramos, haciendo el mismo razonamiento, que u = f en . Si
8 Introducci on
bien no podemos garantizar esto sobre todo s lo vamos a poder hacer sobre un dominio
mas chico.
Para que tenga sentido lo que deseamos hacer a continuacion, vamos a necesitar que
el minimizante sea semicontinuo inferiormente (ie. el conjunto u > c abierto para toda
constante c), as, el conjunto x / u > resulta abierto.
Ahora, sea C
0
() con soporte en el dominio u > y sea M := ||
. Dado que el
soporte de es compacto, existe > 0 tal que
sop() u > .
As, si 0 < <

M
, resulta que u est a sobre el obstaculo, entonces
0 J(u ) J(u)
=
1
2
_
[u [
2
+
_
f(u )
_
[u[
2
fu
=

2
2
_
[[
2
u
_
f.
Dividiendo por y haciendo tender este a 0
+
obtenemos
u f, en sentido debil en u > . (1.2.2)
Con lo cual, un planteo en un sentido debil del problema del obstaculo es el siguiente:
_
_
u f en sentido debil en ,
u = f en u > ,
u en ,
(1.2.3)
con u g en H
1
0
().
Supongamos que tenemos una solucion del problema planteado anteriormente en el caso
unidimensional con f = 0 y analicemos su regularidad y que comportamiento esperamos que
tenga en la frontera libre.
El minimizante u resulta lineal en u > y coincide con en el resto de , la cual es
una funci on C
2
. As, si dejamos la demostracion de la continuidad para m as tarde (propiedad
que debemos suponer si queremos que esto tenga sentido), solo tenemos que ver que u se pega
suavemente con en u > para concluir que u C
1
().
Sea x
0
en u > . Supongamos que u > a la izquierda de x
0
.
As, sucientemente cerca de x
0
, podemos suponer que
u
(x) =
_
u
(x
0
) si x < x
0
(x) si x > x
0
.
1.2 Problema del Obstaculo 9
0
Supongamos que u no se pega suavemente a en x
0
. Entonces, dado que u
(x
0
)
(x
0
)
por ser u y u(x
0
) = (x
0
), se tiene L :=
(x
0
) u
(x
0
) > 0 y, en un entorno de x
0
,
u
(x) = u
(x
0
) +L
(xx0)
(x) +(x),
donde
(x) =
_
0 si x < x
0
(x)
(x
0
) si x x
0
.
As, dado que u
0 en sentido debil y es continua, si C
0
() con soporte en
B
(x
0
) tal que 0 1 y (x
0
) = 1, resulta que
0
_
u
= L
_
x0+
x0
= L(x
0
)
_

0
+
L > 0,
lo que es un absurdo.
Por lo tanto, u se pega suavemente a en la frontera libre y u C
1
().
Es mas, dado que u
, se ve que u C
1,1
(). Por otro lado, esta es la maxima
regularidad que vamos a poder garantizar, dado que para tener segunda derivada continua es
necesario que la funci on obstaculo tenga segunda derivada cero en la frontera libre, condicion
que no podemos garantizar, (es mas, vamos a pedir que
< 0 en ).
As, es razonable esperar que la condicion de frontera libre en el caso N dimensional sea:
u = y u = en u > .
Hagamos ahora la segunda y ultima reduccion del problema.
Pensemos el funcional J como la suma de una forma bilineal simetrica y una lineal,
J(v) =
1
2
a(v, v) l(v),
10 Introducci on
donde a(w, v) :=
_
wv y l(v) :=
_
fv.
As, dado que / es un conjunto convexo, si u es un minimizante del funcional tenemos
J(u) J((1 )u +w),
para todo (0, 1) y w /.
De aqu que,
0 J((1 )u +w) J(u) = J(u +(w u)) J(u)
=
1
2
a(u +(w u), u +(w u)) l(u +(w u))
1
2
a(u, u) +l(u)
=

2
2
a(w u, w u) +a(u, (w u)) l(w u).
Por lo tanto, si dividimos por y hacemos tender a este a 0
+
obtenemos que el minimizante
u / debe satisfacer la siguiente inecuaci on variacional
0 a(u, w u) l(w u), (1.2.4)
para todo w /. Esta inecuaci on variacional resulta equivalente al primer planteo que hicimos
del problema.
1.3. Problema del Dique Poroso
El problema que estudiaremos a continuacion es, en principio, muy distinto de los vistos
anteriormente. Aunque, mediante un adecuado planteo, vamos a poder reducirlo al problema
del obstaculo.
El problema consiste en determinar la posicion de equilibrio que va a adoptar la zona
mojada de un dique poroso. Por las dimensiones del dique solo nos interesa analizar una
secci on transversal de este, como se puede ver en la siguiente gura.
Supongamos que el dique tiene un espesor a y una altura H y que la zona mojada en la
posicion de equilibrio puede describirse de la siguiente forma,
D := (x, y)/ 0 x a, 0 y (x).
As, queda denida sobre el Dique R := (0, a) (0, H) la funci on que mide la altura
piezometrica del uido de la siguiente forma:
u(x, y) = y +p(x, y),
1.3 Problema del Dique Poroso 11
Agua
Zona
Mojada
Agua
Zona
Seca
Dique
Suelo
impermeable
donde p es la presi on (la accion de la gravedad ha sido normalizada a 1).
Por otro lado, se sabe que la ecuaci on que describe el ujo estacionario de un lquido es
div q = 0.
Y, por la ley de Darcy para el ujo en un medio poroso, la velocidad q satisface
q = Ku.
Por lo tanto obtenemos que la altura piezometrica (o presi on hidrostatica) debe satisfacer
u = 0 en D.
Analicemos ahora las condiciones de borde que se deben vericar.
Supongamos que el piso de los reservorios es impermeable, con lo cual, la componente
vertical de la velocidad q del uido es cero en y = 0. Por lo tanto,
u
y
= 0 en y = 0.
Por otro lado, como la presi on hidrostatica en los reservorios satisface que
p(x, y) +y = constante,
y la presi on en aquellos puntos en los que se est a en contacto con el aire es 0 resulta que
p(x, y) +y = H con (x, y) en el reservorio de la izquierda
p(x, y) +y = h con (x, y) en el reservorio de la derecha.
12 Introducci on
Con lo cual, por la continuidad de la presi on,
u(0, y) = H en 0 < y < H
u(a, y) = h en 0 < y < h.
Usando nuevamente que la presi on atmoferica es 0, obtenemos que
u(a, y) = y con h < y < H.
Observemos que si y = (x) es la posicion de equilibrio que va a adoptar el borde de la
zona mojada la velocidad del uido sera tangente a esta curva. Por lo tanto la derivada de u
en la direcci on normal sera cero. As obtenemos las condiciones de frontera libre
_
u(x, (x)) = (x) con 0 < x < a
u
(x, (x)) = 0 con 0 < x < a.

De este modo, podemos decir de la altura piezometrica lo siguiente:
_
_
u = 0 en D,
u
y
(x, 0) = 0 con 0 < x < a,
u(x, (x)) = (x) con 0 < x < a,
u
(x, (x)) = 0 con 0 < x < a,

u(0, y) = H con 0 < y < H,
u(a, y) = h con 0 < y < h,
u(a, y) = y con h < y < H.
A continuacion vamos a hacer un cambio de la funci on inc ognita para reducir este problema
a otro donde no aparezca la frontera libre en forma explcita en la formulaci on, sino que
aparezca, por ejemplo, como el borde del conjunto de positividad de una solucion debil. Esta
reduccion, que conduce a una inecuaci on variacional, fue propuesta por Baiocchi en los 70.
Para esto, vamos a suponer que u es sucientemente regular.
As, denimos en R = (0, a) (0, H) la funci on:
w(x, y) :=
_
_
(x)
y
u(x, t) t dt en y < (x)
0 en (x) < y < H,
Recordemos que u(x, y) y = p(x, y) es la presi on.
Veamos que condiciones debe satisfacer una funci on w construida de esta manera utilizando
lo que sabemos de la altura piezometrica u. Para esto, analicemos el comportamiento de la
1.3 Problema del Dique Poroso 13
presi on:
_
_
p = 0 en D (por ser resta de dos funciones armonicas),
p
y
(x, 0) = 1 con 0 < x < a,
p(x, (x)) = 0 con 0 < x < a,
p(0, y) = H y 0 con 0 < y < H,
p(a, y) = h y 0 con 0 < y < h,
p(a, y) = 0 con h < y < H
Observar que de la primera condicion se desprende que p es lineal en y = 0 y, dado que
p(0, 0) = H y p(a, 0) = h, p resulta positiva en y = 0. De este modo, por el Principio del
M aximo, p resulta positiva en D. As, D coincide con el conjunto de positividad de w, como
est abamos buscando.
Estudiando el comportamiento de las derivadas de w notamos que:
w
y
(x, y) =
_
y u(x, y) en D
0 en (x) < y < H,
y, dado que p(x, (x)) = 0,
w
x
(x, y) =
(x)
_
u(x, (x)) (x)
_
+
_
(x)
y
u
x
(x, t) dt =
_
(x)
y
u
x
(x, t) dt.
As, utilizando que u es armonica en D y tiene derivada normal cero sobre la frontera
libre, si (x, y) est a en D,
w
xx
(x, y) =
(x)u
x
_
x, (x)
_
+
_
(x)
y
u
xx
(x, t) dt
=
(x)u
x
_
x, (x)
_
_
(x)
y
u
yy
(x, t) dt
=
(x)u
x
_
x, (x)
_
+u
y
(x, y) u
y
_
x, (x)
_
= (
(x), 1) u
_
x, (x)
_
+u
y
(x, y) = u
y
(x, y).
Con lo cual, sobre el conjunto de positividad de w, tenemos que
w := w
xx
+ w
yy
= u
y
u
y
+ 1 = 1.
Observar que podemos recuperar u a partir de w de la siguiente forma:
u(x, y) = y w
y
(x, y).
14 Introducci on
Por otro lado, es facil deducir condiciones de contorno sobre w. Analicemos el caso y = 0,
el lado mas complicado de la frontera de R. Dado que
w
xx
(x, 0) = u
y
(x, 0) = 0,
podemos armar que w es lineal en y = 0. As, como w(0, 0) =
H
2
2
y w(a, 0) =
h
2
2
, resulta que
w(x, 0) =
H
2
2
+
x
a
_
h
2
2

H
2
2
_
.
Con este tipo de razonamientos podemos determinar las condiciones de contorno de w.
Por otro lado, queremos que w C
1
para que u resulte continua. Como w = 0 1 en
w = 0
, w = 1 en w > 0, si w C
1
resulta que w 1 en sentido debil en R. De este
modo, w debe ser solucion del siguiente problema,
_
_
w 1 en sentido debil en R
w = 1 en w > 0
w 0 en R,
con w g en H
1
0
(R), donde g es una funci on de H
1
(R) que se comporta en el borde como
debera hacerlo w. De esta forma se reduce el problema del dique poroso al problema del
obstaculo.
1.4. Problema de Jets
A continuacion daremos la idea del Problema de Jets en dimensi on dos.
Observamos un udo que sale de una manguera o ca no con velocidad

v , el cual es
irrotacional (i.e., existe : R
2
R tal que

v = ) e incomprensible (i.e., div
v = 0).
Entonces : R
2
R es tal que

v = y = div
v = 0. Sea : R
2
R la
conjugada armonica de , i.e., +i es holomorfa. Por las condiciones de Cauchy-Riemann
_
x
=
y
y
=
x
1.4 Problema de Jets 15
tenemos que = 0 y

v = = (
y
,
x
) es perpendicular a . O sea que la velocidad
del uido es perpendicular a . Luego las curvas de nivel de son las lneas de ujo.

v
=cte
La funci on se denomina la funci on de corriente.
Si suponemos que tenemos simetra radial, la frontera libre es = c para alguna constante
c y ademas tomando

= c podemos suponer que = 0 en la frontera libre, o sea que,
La frontera libre es : > 0,
= 0 en > 0.
La Ley de Bernoulli nos dice que
1
2
[
v [
2
+P = cte en el uido
donde P es la presi on, que se toma de manera tal que en el aire es cero.
En nuestro problema P = 0 en la frontera libre, puesto que el uido se encuentra en
contacto con el aire, entonces la Ley de Bernoulli nos dice que [
v [ es constante en la frontera
libre. Luego por las condiciones de Cauchy-Riemann, tenemos que
[[ = c en > 0.
As arribamos al siguiente problema de frontera libre
_
_
= 0 en > 0
= 0 en > 0
[[ = c en > 0.
Observar que la condicion [[ = c en > 0 nos dice que no podemos esperar que
sea C
1
() ya que = 0 en = 0
. Por lo tanto esperamos una solucion a lo sumo

Lipschitz.
16 Introducci on
=0
=0
>0
=cte
Para encontrar una solucion de este problema minimizaremos el funcional
J(v) =
1
2
_
[v(x)[
2
dx +
_
{v>0}
(x) dx
donde es tal que c =
2.
M as adelante retomaremos este problema. Ahora veamos c omo puede aparecer un prob-
lema de frontera libre como este a partir de un problema de propagacion de llamas (caso en
que la velocidad del uido es cero).
1.5. Problema de Combustion
En este caso tenemos un reactante con fracci on de masa Y. Suponiendo conocida la ve-
locidad de la mezcla, y en ciertas situaciones particulares, como en el caso de ondas de
deagracion, las ecuaciones de conservaci on de masa y energa se desacoplan y obtenemos el
siguiente sistema (ver [1]),
T
t
KT +V T = Y f(T) (1.5.5)
Y
t
DY +V Y = Y f(T), (1.5.6)
donde K es la difuson termica, D es la difusi on de masa y V la velocidad de la mezcla.
Observar que Y f(T) nos da la cantidad de masa que se pierde y Y f(T) resulta la cantidad
de calor liberado en la combustion. Ademas f(T) est a dada por una ley emprica, es una
funci on de la forma
donde T
0
es una cierta temperatura debajo de la cual no hay reaccion qumica.
Estudiaremos el caso particular en el que K = D y V = 0. Va un cambio de variables
podemos asumir que K = D = 1.
Sea w = Y +T, sumando (1.5.5) y (1.5.6) tenenemos
w
t
w = 0.
1.5 Problema de Combustion 17
0 T
0
Observar que w = w(x, t) es conocida a partir de los datos.
Tomemos u = Y entonces T = w u y (1.5.6) se convierte en
u
t
u = uf(w(x, t) u).
Si w(x, t) = 1 tenemos
u
t
u = uf(1 u).
Denimos (s) = sf(1 s) para s > 0 y la extendemos como 0 a los negativos. resulta una
funci on como en la gura 1.1
0
1T
0

s
(s)

Figura 1.1: La funci on
Tenemos que
u
t
u = (u).
Notar que estamos eligiendo T
0
lo sucientemente chico para que
0
= 1 T
0
> 0, y que
si u >
0
entonces u
t
u = 0 y por lo tanto solo tengo difusi on del calor, en esta zona no
hay combustion. Observar que la zona de reaccion tiene volumen.
En la funci on de reaccion f interviene una variable llamada energa de activaci on. Cuando
la energa de activaci on es muy grande hay un par ametro en la funci on f muy chico que
llamamos . El valor de la temperatura de activaci on
0
se vuelve muy chica (la normalizamos
a ), y la zona de reaccion se vuelve una banda 0 < u < . Si normalizamos la velocidad
18 Introducci on
de reaccion de modo que la reaccion no desaparezca al hacer tender a cero, esperamos un
problema de frontera libre en el lmite.
Esto lo podemos modelar de la siguiente manera: Sea
: R R tal que sop(
) [0, ]
y
_
R
(s) ds = M, o sea una funci on de la forma
(s)
0
s
Consideremos el problema
u
t
u
(u
). (1.5.7)
Nos interesa u = lmu
( 0).
Un caso particular de este problema es el caso estacionario. En este caso u
no depende
de t y por lo tanto (1.5.7) se convierte en
u
(u
).
El proximo lema nos muestra c omo obtener u
minimizando un funcional.
Lema 1.5.1. Sean B
una primitiva de
y u un minimizante de
J
(v) =
1
2
_
[v[
2
dx +
_
(v) dx (1.5.8)
en v H
1
() : v = g en . Entonces u es una soluci on debil de
_
u
(u
) en
u
= g en .
Demostraci on. Para la demostracion, ver la Proposicion A1.1.1 en el Apendice 1.
Dado que B
(s) es una primitiva de
, i.e., B
(s) =
_
s
0

() d, resulta una funci on de

la forma
1.6 Ecuacion de Medios Porosos 19
0
B
M
Por lo tanto,
lm
0
+
B
(s) = M
R>0
(s),
con lo que arribamos al siguiente lmite formal para u ja,
lm
0
+
J
(u) =
_
1
2
[u[
2
dx +M
_
u>0
(x) dx =: J
0
(u).
M as adelante veremos que si u
son minimizantes de J
existiran una subsucesion u

j
y
una funcion u
0
H
1
() tal que u
j
u
0
cuando j y u
0
resulta un minimizante local
de J
0
. Ademas mostraremos que cualquier minimizante de J
0
es solucion debil de
_
_
u = 0 en u > 0
u = 0 en u > 0
[u[ =
2M en u > 0.
1.6. Ecuacion de Medios Porosos
En lo que sigue estudiaremos el ujo de un gas en un medio poroso. Sean u la densidad
del gas,

v a la velocidad del uido y P la presi on. Las siguientes leyes nos dan relaciones
entre u,

v y P,
Ley de Darcy:
v = KP.
Ley de Estado:
P = P
0
u
donde P
0
> 0 y > 0 son constantes que dependen del gas.
Ley de Conservacion de Masa:
u
t
+ div(u
v ) = 0.
20 Introducci on
La Ley de Darcy combinada con la Ley de Estado nos dice que
u
v = KP
0
uu
entonces
u
v = KP
0
u
u = KP
0
+ 1
u
+1
.
Tomando m = + 1 > 1 tenemos
u
v = KP
0
m1
m
u
m
.
Luego
div(u
v ) = KP
0
m1
m
u
m
y por la Ley de Conservaci on de Masa,
u
t
KP
0
m1
m
u
m
= 0.
Va un cambio de variables llegamos a la ecuaci on de medios porosos
u
t
= u
m
. (1.6.9)
Notar que si el problema es estacionario (i.e., no depende del tiempo) la solucion es trivial.
Por lo tanto consideraremos el problema no estacionario. Vamos a pensar a (1.6.9) como sigue
u
t
= div(a(x, t)u) (1.6.10)
donde a(x, t) = mu
m1
es la difusividad.
Resultados clasicos de regularidad de las soluciones de este tipo de ecuaciones y un metodo
recursivo (a mayor regularidad de a, mayor regularidad de u y viceversa dan que u C
(u >
0) (ver [7] y [9]) .
Observemos que en este problema, como u es la densidad del gas, se tiene u 0; pero,
como m > 1, el coeciente de difusividad a(x, t) tiende a 0 cuando nos acercamos a u > 0.
Cuando m = 1 se tiene que u(x, t) > 0 para todo x R
N
si t > 0. Cuando m > 1 esto
cambia: Si u(, 0) se anula fuera de un compacto, lo mismo sucede para u(, t) para
todo t > 0. Es decir, hay velocidad nita de propagacion; mientras que en la ecuaci on del
calor la velocidad de propagacion es innita.
De este modo, en el problema de difusi on de un gas en un medio poroso se presenta una
frontera libre u > 0 que no era parte del problema inicial. Aparece por la degeneracion de
la ecuaci on. Veremos que efectivamente esto sucede y que la solucion u no es lo sucientemente
regular a traves de la frontera libre como para que la ecuaci on (1.6.9) se satisfaga a traves
de ella (al menos no en sentido clasico). Deberemos por lo tanto trabajar con soluciones
debiles.
Definici on: u es solucion debil de la ecuaci on de medios porosos con dato inicial u
0
(x)
L
1
loc
(R
N
) si u L
1
loc
(R
N
[0, T)), u
m
L
1
loc
(R
N
[0, T)) y para toda funci on suciente-
mente regular con soporte compacto en el espacio y tal que, para alg un > 0, (, t) = 0 para
t > T se tiene,
_
T
0
_
R
N
_
u
t
+u
m
dxdt +
_
R
N
u
0
(x)(x, 0) dx = 0.
Cuando hablemos de solucion clasica del (1.6.9) vamos a pensar en una solucion clasica
de un problema de frontera libre. En este caso sera:
1. u C(R
N
[0, T])
2. u > 0 es una supercie C
1
3. u C
(u > 0), u
m1
C
1
(u > 0)
que es lo maximo que puedo esperar ya que u no resultara ni siquiera C
1
a traves de la frontera
libre.
Estudiaremos ahora la velocidad con la que avanza la frontera libre. Esta es la condicion
de frontera libre que no est a dada en forma explcita en este problema.
Por la Ley de Estado, la relaci on entre la presi on y la densidad es
P =
m
m1
u
m1
(se encuentra normalizada).
Entonces,
P = mu
m2
u y P
t
= mu
m2
u
t
por (1.6.9)
P
t
= mu
m2
(u
m
)
= mu
m2
div(mu
m1
u)
= mu
m2
div(uP)
= mu
m2
uP +mu
m1
P.
As llegamos a la ecuaci on de la presi on
P
t
= (m1)PP +[P[
2
. (1.6.11)
Ademas P > 0 = u > 0 y por lo tanto P > 0 = u > 0. Entonces, formalmente, en
P > 0, por ser P = 0, (1.6.11) queda de la siguiente forma
P
t
= [P[
2
en P > 0. (1.6.12)
22 Introducci on
Como ya vimos, la normal exterior a la frontera libre est a dada por
=
P
[P[
,
y la velocidad de avance de la frontera libre en la direcci on de la normal exterior es
s =
P
t
[P[
,
usando (1.6.12) tenemos que la forma en que avanza la frontera libre es
s = [P[
que es compatible con la Ley de Darcy.
Un resultado esencial es la comparaci on de soluciones debiles si se comparan sus datos
iniciales. En efecto,
Proposici on 1.6.1. Sean u y v soluciones debiles de la ecuaci on de medios porosos con
u(x, 0) = u
0
(x) v
0
(x) = v(x, 0). Entonces, u(x, t) v(x, t).
En particular, como las constantes son soluciones debiles se tiene que si u
0
> 0
entonces, u(x, t) en R
N
(0, T).
Cuando u
0
> 0 se tiene que u es solucion de la ecuaci on de medios porosos si y solo
si es solucion de
u
t
=
(u)
donde
(R) con
(s) =
_
s
m
si s ,
estrictamente creciente y mayor o igual que

2
si 0 s .
Por lo tanto, la existencia de solucion en este caso se debe a resultados clasicos.
En el caso general, se reemplaza u
0
por u
0
+ y, si llamamos u
a la solucion con este dato

inicial, se tiene que la sucesion u
es mon otona y acotada (como consecuencia del resultado

de comparaci on) y por lo tanto existe
u(x, t) = lm
0
u
(x, t).
Por la monotona de la convergencia se puede pasar al lmite en la formulaci on debil del
problema y as se tiene que u es solucion de medios porosos con dato inicial u
0
.
La unicidad de solucion debil se obtiene del resultado de comparaci on.
Por otro lado, la velocidad nita de propagacion tambien se prueba a partir del resultado
de comparaci on. Es decir, se tiene,
Proposici on 1.6.2. Sea u una soluci on debil de la ecuaci on de medios porosos con u(x, 0) =
u
0
(x) L
de soporte compacto. Entonces, u(, t) tiene soporte compacto para todo t > 0.
El resultado se demuestra poniendo por encima de u una solucion explcita que se anula
fuera de un compacto para todo t > 0.
Se tiene una familia a un par ametro de soluciones explcitas las soluciones de Baren-
blatt que se utilizan para probar muchas propiedades de las soluciones y que dan el compor-
tamiento asint otico con t de todas las soluciones de soporte compacto.
Las soluciones de Barenblatt se denen as:
Para cada constante C > 0 llamamos
U
C
(x, t) = t
_
C k
[x[
2
t
2
_ 1
m1
+
donde [s]
+
= maxs, 0, =
N
N(m1)+2
, =

N
, k =
(m1)
2mN
.
Entonces, U
C
es solucion clasica de la ecuaci on de medios porosos para t > 0 (el dato
inicial es M para una constante M relacionada con C).
Observar que no solo U
C
, C
1
(R
N
(0, T)) sino que [U
C
[ cuando nos aproximamos
a la frontera libre U
C
> 0. Por otro lado, U
m1
C
C
1
(U
C
> 0), y se cumple que la
velocidad a la que avanza la frontera libre en la direcci on normal (la direcci on radial en este
caso) es
m
m1
[U
m1
C
[.
Demostraci on de la Proposici on 1.6.2: Sea u
0
L
de soporte compacto. Sea M |u

0
|
y R > 0 tal que u

0
(x) = 0 si [x[ > R.
Existen C > 0 y t
0
> 0 tales que
u
0
(x) t
0
_
C k
[x[
2
t
2
0
_ 1
m1
+
_
= U
C
(x, t
0
)
_
En efecto, esto es as si
_
C
k
t
0
> R y t
0
_
C k
R
2
t
2
0
_ 1
m1
> M.
24 Introducci on
R
|x|=C
1/2
k
1/2
t
0
u
0
(x)
M
U
c
(R,t
0
)
Entonces,
u(x, t) U
C
(x, t +t
0
) = 0 si [x[ >
_
C
k
(t +t
0
)
.
La proposicion est a demostrada.
Para un estudio detallado de la ecuaci on de medios porosos ver [9].
Captulo 2
Problema del Obstaculo
2.1. Introduccion y normalizacion al caso de obstaculo
= 0
En este captulo estudiaremos el Problema del Obst aculo. Como vimos en la Introduccion,
el mismo se puede plantear como una inecuaci on variacional a saber: Hallar u / tal que
1
2
_
u(v u)
_
f(v u) para toda v /,

donde / = v g +H
1
0
() / v en .
Podemos por lo tanto aplicar el resultado de existencia y unicidad de solucion para in-
ecuaciones variacionales (Teorema A1.1.1) y obtener la existencia y unicidad de solucion para
el Problema del Obst aculo (ver el Corolario A1.1.1 en el Apendice 1).
Como vimos en la Introduccion, para saber que la ecuaci on u = f se satisface en u >
basta ver que u es semicontinua inferiormente. Para probar esta ultima armaci on podemos
suponer, sin perdida de generalidad que f = 0. En efecto, sea v(x) = c
N
_
f(y)
|xy|
N2
dy y sea
u = u v. Entonces, u es solucion del problema del obstaculo con g reemplazada por g v,
por v y f por 0. Como v C(R
N
) basta probar que u es semicontinua inferiormente
para que u lo sea.
La semicontinuidad se deduce del hecho de que u es superarmonica (ver la Proposicion
A2.2.2 en el Apendice 2). De aqu que u = f en u > .
Si bien deduciremos despues, no solo la continuidad de u sino el hecho de que es C
1
,
probaremos a continuacion un teorema que puede ser de interes en otras aplicaciones del cual
se deduce esta continuidad. Por otro lado, observemos que la continuidad de u se obtiene
aqu bajo las siguientes hipotesis debiles: f L
() y C().
26 Problema del Obstaculo
Teorema 2.1.1. Sea u superarm onica continua cuando se la restringe a sop(u). Entonces
u es continua.
Demostraci on. Primero veamos que se entiende por sop(u).
Dado un abierto A decimos que u
A
= 0 si para toda C
0
(A) se tiene que
_
u = 0.
El sop (u) es el complemento del abierto mas grande en el que se anula u.
Para probar el teorema, razonemos por el absurdo. Supongamos que existe
x
k
x
0
tal que u(x
k
) ,u(x
0
).
1. Se tiene que x
0
sop (u) ya que si no es as, u = 0 en un entorno de x
0
y u sera
continua en ese entorno. En particular, [u(x
0
)[ < . Sea b = u(x
0
). Podemos suponer
que b = 0 ya que de no ser as cambiamos u por u b.
2. Tomando una subsucesion, podemos suponer que, para todo k, x
k
, sop (u) ya que u
es continua en sop (u).
Sea a = lminf
k
u(x
k
). Tomando una subsucesion podemos asumir que a = lm
k
u(x
k
).
Por la semicontinuidad inferior de u debe ser a > u(x
0
) = 0.
Consideremos ahora y
k
sop (u) tal que
k
:= dist (x
k
, sop (u)) = [x
k
y
k
[. Como
x
0
sop(u), tenemos que dist (x
k
, sop (u)) [x
k
x
0
[ 0, y como
[y
k
x
k
[ 0 y [x
k
x
0
[ 0 se tiene [y
k
x
0
[ 0.
Entonces,
u(y
k
) u(x
0
) = 0.
Veamos que esto conduce a una contradiccion. En efecto, consideremos las bolas B
k
(x
k
)
y B
2
k
(y
k
).
y
k

x
k

2
k

k

sop u
2.1 Introducci on y normalizaci on al caso de obstaculo = 0 27
Por la denicion de
k
, observamos que u = 0 en B
k
(x
k
). Por otro lado,
u(y
k
)
_
B2
k
(y
k
)
u
=
1
2
N

_
B
k
(x
k
)
u +
1
[B
2
k
(0)[
_
B2
k
(y
k
)\B
k
(x
k
)
u
= I
1
+I
2
.
Como u = 0 en B
k
(x
k
), I
1
=
u(x
k
)
2
N
.
Dado > 0, sea tal que
u(x) > u(x
0
) = en B
(x
0
).
Sea k
0
tal que si k k
0
, B
2
k
(y
k
) B
(x
0
). Entonces
I
2

[B
2
k
(y
k
) B
k
(x
k
)[
B
k
(x
k
)
2
N
.
Juntando ambas desigualdades,
u(y
k
) I
1
+I
2
>
u(x
k
)
2
N
2
N

a
2
N
2
N
.
Como a > 0, existe > 0 tal que
a
2
N
2
N
> 0; pero, por otro lado, tenamos que u(y
k
) 0,
Como corolario tenemos,
Corolario 2.1.1. La soluci on del Problema del Obst aculo con continua es continua.
Con el objeto de probar la regularidad optima de la solucion y estudiar su frontera libre,
haremos algunas suposiciones sobre los datos f y . A saber, f C(), C
2
() y < f
en .
Sea w = u . Entonces,
w f en T
(),
w = f en w > 0,
w 0 en .
Observar que f > 0 en . Como el estudio de la regularidad de w y de la frontera
libre w > 0 es de car acter local (es decir, basta probarlas en un entorno de cada punto)
y la funci on f es continua, vamos a suponer por simplicidad que el segundo miembro
es la funci on identicamente 1.
De esta manera la situaci on normalizada con la que trabajaremos es la siguiente: w
H
1
() y
_
w = 1 en w > 0
w 1 en T
(),
donde por estar w en H
1
() se tiene que w 1 en T
() si
wdx
_
dx
para toda C
0
(), 0.
Llamaremos a este problema El Problema del Obst aculo Normalizado. Se tiene el siguiente
resultado,
Lema 2.1.1. Si w es una soluci on debil del problema del obst aculo normalizado entonces
w
{w>0}
0
en el sentido de H
1
(), i.e.,
wdx
_
{w>0}
dx
para toda C
0
(), 0.
Demostraci on. Sean C
0
(), 0. y h : R R, h(s) = maxmn(2s, 1), 0. Denimos
para todo k N,
k
: R como
k
(x) = (x)1 h(kw(x)).
h(s)
s
1
1 2
2.1 Introducci on y normalizaci on al caso de obstaculo = 0 29
Entonces
k
H
1
() y
k
0
k
= 0 si w <
1
k
k
= si w >
2
k
.
Como w es solucion debil del problema del obstaculo y sop
k
w > 0 tenemos que
_
k
dx =
_
w
k
dx
=
_
w(1 h(kw)) dx
=
_
w1 h(kw) dx +k
_
[w[
2
h
(kw) dx
Como [w[
2
0 y h
(kw) 0 resulta que

_
k
dx
_
w1 h(kw) dx (2.1.1)
Ademas de la denicion de h tenemos que 0 1 h(kw) 1 y 1 h(kw)
{w>0}
cuando k . Por lo tanto, 0
k
y
k

{w>0}
cuando k . Entonces, por el
Teorema de Convergencia Mayorada,
_
k
dx
_
{w>0}
dx.
Por otro lado, como C
0
(),
w1 h(kw) dx
_
wdx
cuando k . Entonces, pasando al lmite, cuando k en (2.1.1),
wdx
_
{w>0}
dx.
Por lo tanto, como la eleccion de fue arbitraria, w
{w>0}
0. Con lo cual queda
demostrado el lema.
2.2. Propiedades de la solucion del Problema del ob-
staculo
Con el objeto de probar la regularidad de w probaremos que satisface una ecuaci on a
traves de la frontera libre. Sabemos que w 0 en D
(). Existira entonces una medida

de Radon en , , tal que w = (ver Apendice 3). Ademas, a partir del hecho de que
0 w = 1 se tiene que C
0
(), 0,
0
_
d =
_
wdx
_
dx.
Entonces,
Proposici on 2.2.1. La medida es absolutamente continua con respecto a la medida de
Lebesgue.
Aplicando el Teorema de Radon-Nikodym tenemos que la medida est a dada por una
funci on L
1
loc
. Es decir, f L
1
loc
() tal que d = f(x)dx. (Esta f no tiene relacion con la del
planteo original).
Entonces, w = f en D
(), y si C
0
(), 0,
0
_
f(x)(x)dx
_
(x)dx.
Si consideramos (x) =
(xx
0
), x
0
, sucesion de n ucleos regularizantes, y tomamos
lmite con tendiendo a cero, obtenemos que, en casi todo punto, 0 f(x) 1.
Como f es acotada, est a en L
2
, y como tenemos w = f, se deduce que w est a en H
2
loc
().
M as a un, si f L
p
() con 1 < p < , entonces w W
2,p
loc
() (ver [6]). En nuestro caso
f L
(). Por lo tanto w W

2,p
loc
() para todo 1 < p < , pero sus derivadas segundas
podran no estar localmente acotadas.
Denicion 2.2.1. Decimos que f C
() si C > 0 tal que [[f[[
C y [f(x) f(y)[
C[x y[
x, y .
Denimos una norma en este espacio:
[[f[[
C
()
= [[f[[
+sup
x,y
[f(x) f(y)[
[x y[
.
Al segundo sumando lo llamamos [f]
C
()
y resultara ser una seminorma.
Analogamente, decimos que f C
() si f C
) para todo
.
2.3 Estudio de la frontera libre para el problema del dique poroso 31
Proposici on 2.2.2. Para p > N, hay una inclusi on continua de W
1,p
() en C
() si
= 1
N
p
.
Volviendo a nuestro problema, tenemos que w W
2,p
loc
() 1 < p < . Entonces, si 0 <
< 1, existira un p mayor que N (la dimensi on) tal que = 1
N
p
. El gradiente de w estar a en
W
1,p
loc
(), luego por el resultado anterior podemos armar que w C
() 0 < < 1.
Por lo tanto, vamos a tener en este caso que w C
1,
() 0 < < 1.
M as adelante vamos a ver que las soluciones tienen derivadas Lipschitz, o sea que w C
1,1
,
cosa que no se tiene hasta el momento.
Ahora vamos a volver al caso particular del Problema del Dique Poroso.
2.3. Estudio de la frontera libre para el problema del
dique poroso
La idea sera probar que la frontera libre resulta ser el graco de una funci on. O sea, que
tal que w > 0 = (x, (x)), 0 x a, con estrictamente decreciente y continua.
Notacin 2.3.1. Llamaremos R = (0, a) (0, H) y = w > 0.
Sabemos que w C
1
(R), en particular w C
1
(R w > 0).
Lema 2.3.1. w
x
0, w
y
0 en .
Demostraci on. Tenemos que w = 1 en en el sentido de H
1
(). Entonces (w
1
2N
[x[
2
) =
0 en sentido debil. Esto implica que w
1
2N
[x[
2
C
(), luego w C
().
Podemos entonces obtener, derivando la ecuaci on y permutando derivadas, que tanto w
x
como w
y
son armonicas en sentido clasico.
Sea (x
0
, y
0
) donde w
x
(resp. w
y
) alcanza un maximo. Se tiene entonces que
wx
e
(resp.
wy
e
) 0.
Pero si la funci on es armonica, por el Lema de Hopf (ver [6]), no podra alcanzar un maximo
con derivada normal 0 en un punto regular (donde admite una bola tangente interior). Luego,
en realidad lo que tendremos es que
wx
e
> 0.
Probaremos a continuacion que en todo punto de o bien w
x
0 o bien
wx
e
0.
Pero en este ultimo punto tambien sabemos que no se puede alcanzar un maximo. Luego, el
maximo de w
x
sera necesariamente en la region donde w
x
es 0, implicando que w
x
0.
Un razonamiento similar se aplicar a para probar que w
y
0. Empezamos primero con
w
x
.
Estudiemos la region y = 0. Ah, disponemos una formula explcita de w, a partir de la
cual deducimos que w
x
=
H
2
2a
+
h
2
2a
0.
En la region x = 0, 0 < y < H tenemos que w = 1, de donde deducimos que
w
xx
= 1 w
yy
. Por la forma de la frontera (recta vertical) vemos entonces que derivar con
respecto a la normal exterior es equivalente a derivar con respecto a x pero inviritiendo el
signo. Luego,
wx
e
= w
xx
.
Pero ademas, w =
(Hy)
2
2
en x = 0, con lo que obtenemos que w
yy
= 1. Entonces,
wx
e
=
w
xx
= w
yy
1 = 0.
En x = a, 0 < y < h se procede analogamente para inferir que
wx
e
= 0.
En x = a, h y H, w alcanza un mnimo puesto que viene de una region donde es
0 hasta 0. Por lo tanto w
x
0.
En y = H sabemos que w es identicamente nula. Entonces, w
x
(x, H) = 0.
Procedemos ahora a probar lo mismo pero con w
y
. Primero, en y = 0, 0 < x < a se
usa que 1 w
xx
= w
yy
=
wy
e
, pero w
xx
= 0 pues w es lineal en dicho borde. Entonces
obtenemos que 1 =
wy
e
, luego
wy
e
< 0.
En el borde y = H, 0 < x < a, tenemos que w es constantemente cero. Como w 0
su derivada parcial con respecto a y es menor o igual que 0. Como w = 0 en x = a,
h < y < H, tambien se tiene que w
y
= 0 ah.
Para el borde x = 0, 0 y H disponemos de una formula explcita que es w =
(H y)
2
/2. Luego, si derivamos con respecto a y obtenemos w
y
= (H y) 0, incluyendo
esto tambien la esquina superior. El mismo procedimiento tambien se puede aplicar para el
borde x = a, 0 y h puesto que ah tambien disponemos de una formula explcita
para w.
Proposici on 2.3.1. La frontera libre es el gr aco de una funci on de x.
Demostraci on. Se usara que w
y
0. Sea 0 < x < a. Miramos ahora a w, con ese valor de x
jo. En alg un momento w se har a 0, eventualmente en el techo. Si en alg un momento alcanza
el 0, como w
y
0 y w 0, necesariamente debera seguir valiendo 0. Ese valor en donde se
alcanza el cero por primera vez es unico y denimos entonces (x) como el primer valor y
en donde w(x, y) se hace 0.
Proposici on 2.3.2. es decreciente en x.
Demostraci on. Se usara que w
x
0. Fijemos x
1
< x
2
dos valores para x. w sera positiva
debajo de (x
2
), pues por denicion (x
2
) es el primer valor en y donde w se anula con
x = x
2
jo. Pero como w
x
0, sera tambien positivo para valores de x menores que x
2
si
y < (x
2
). Pero entonces, para todo y menor que (x
2
) resultara que tambien w(x
1
, y) es
positiva. Luego necesariamente (x
1
) (x
2
). Tenemos as lo armado.
La idea sera ahora probar que la funci on es continua. Se usara el resultado de contin-
uacion analtica para funciones armonicas en dominios conexos (ver el Apendice 2).
2.3 Estudio de la frontera libre para el problema del dique poroso 33
Proposici on 2.3.3. es continua.
Demostraci on. Si fuese discontinua en x
0
(0, a), tendramos que (x
+
0
) < (x
0
).
x
0

w>0
(x
0
)
(x
0
+
)
0
a
H
h
S
Tendramos un rectangulo C = (0, x
0
) ((x
+
0
), (x
0
)) contenido en w > 0. Llamamos
S al segmento vertical derecho del rectangulo C. En el rectangulo C se tiene w = 1. Si
llamamos
w = w
1
2
(x x
0
)
2
,
se tiene que w es armonica en C. Ademas, se tiene que w vale 0 en S. Pero ademas, por
continuidad de w
x
se tiene w
x
= 0 en S. O sea que la derivada normal de w en S es 0.
Por continuacion analtica (ver Apendice 2) concluimos que w = 0 en C. Esto implica que
w =
1
2
(x x
0
)
2
en C. Pero entonces, en el borde izquierdo de este rectangulo valdra que
w =
1
2
x
2
0
= cte. Absurdo pues sabemos que w(0, y) =
(Hy)
2
2
.
Entonces, es una funci on continua.
Probaremos ahora que es estrictamente decreciente.
Lema 2.3.2. Sean 0 < x
1
< x
2
< a con (x
1
) < H. Entonces, (x
1
) > (x
2
).
Demostraci on. Razonemos por el absurdo. Supongamos que no, entonces se tendra que
(x) y
0
para x
1
x x
2
. Dado que (x
1
) < H resulta y
0
< H y ademas w = 1
en w > 0. Entonces,
_
w
1
2
(y y
0
)
2
_
= 0 en C = (x
1
, x
2
) (0, y
0
).
x
1
x
2

H
h
w>0
w=0
y
0

Si llamamos w(y) = w
1
2
(y y
0
)
2
, resulta
w = 0 en C
w
y=y0
= 0 en x
1
< x < x
2
w
y
y=y0
= 0 en x
1
< x < x
2
.
Luego, por continuacion analtica, w 0 en C. As,
w(x, 0) = w(x, 0) +
1
2
y
2
0
=
1
2
y
2
0
en x
1
< x < x
2
.
Pero tenamos que
w(x, 0) =
H
2
2
+
x
a
_
h
2
2

H
2
2
_
.
Esto lleva a un absurdo. Por lo tanto se tiene que (x
1
) > (x
2
) que era lo que queramos
demostrar.
S olo nos queda probar,
Lema 2.3.3. Sea x > 0 entonces (x) < H.
Demostraci on. Supongamos que existe un x
0
> 0 tal que (x
0
) = H. Entonces, como es
mon otona decreciente y ademas (x) H, tenemos que (x) = H para 0 x x
0
. Si
llamamos C = (0, x
0
) (0, H) tenemos que w > 0 y w = 1 en C.
Sea ahora w(x, y) = w(x, y)
1
2
(y H)
2
. Resulta que w = 0 en C. Ademas,
w(x, H) = 0 en 0 < x < x
0
.
Si vemos que w
y
(x, H) = 0 para 0 < x < x
0
, tendremos w 0 en C. Por otro lado,
tenemos
w(x, 0) = w(x, 0) +
1
2
H
2
=
1
2
H
2
en 0 < x < x
0
.
2.4 Problema del obstaculo. Regularidad 35
Esto es un absurdo pues w(x, 0) es una funci on lineal no constante.

Entonces, basta ver que w
y
(x, H) = 0 para 0 < x < x
0
. Para ello tomemos la funci on que
a cada valor de x le asigna el valor w
y
(x, H).

Esta resulta mon otona creciente. En efecto, sean
x
1
< x
2
, entonces
w
y
(x
1
, H) w
y
(x
2
, H) = lm
0
+
1
_
w(x
1
, H) w(x
1
, H ) w(x
2
, H) +w(x
2
, H )
_
= lm
0
+
1
_
w(x
2
, H ) w(x
1
, H )
_
0
pues w
x
0. Como,
w
y
(0, H) = (H y)
y=H
= 0
w
y
(a, H) = 0
tenemos que w
y
(x, H) = 0 para 0 < x < a, lo que nos da el resultado buscado.
Observacion 2.3.1 (Conclusi on). Se tiene que la frontera libre para el problema del dique
poroso es el gr aco de una funci on continua y estrictamente decreciente de la variable x para
0 x a.
2.4. Problema del obstaculo. Regularidad optima de la
solucion y dimension de Hausdor de la frontera
libre
Volvemos al problema del obstaculo normalizado. Probaremos ahora el crecimiento cuadratico
de w.
Lema 2.4.1. Existe C
N
0 tal que si w C(B
2r
(x
0
)), w 1, w 0 en B
2r
(x
0
), w = 1
en B
2r
(x
0
) w > 0 y w(x
0
) = 0 entonces
sup
Br(x0)
w C
N
r
2
Demostraci on. Sea v(x) = w(x)
|xx0|
2
2N
+
2r
2
N
. Entonces,
v(x) w(x) 0 en B
2r
(x
0
),
v = w 1 = 0 en B
2r
(x
0
) w > 0.
Claramente, para probar el lema, basta ver que sup
Br(x0)
v C
N
r
2
.
Sea v
1
C
2
(B
2r
(x
0
)) C(B
2r
(x
0
)) la solucion de:
_
v
1
= 0 en B
2r
(x
0
),
v
1
= v en B
2r
(x
0
).
Por el principio del mnimo, como v
1
[
B2r(x0)
= v 0, se tiene v
1
0. Aplicando la
desigualdad de Harnack se deduce,
v
1
(x) 2
N
v
1
(x
0
) en B
r
(x
0
).
1. Si v
1
= v entonces, usando que v(x
0
) =
2r
2
N
, tenemos
v(x) = v
1
(x)
2
N+1
r
2
N
en B
r
(x
0
)
2. Si v
1
,= v, sea v
2
= v v
1
. Teniendo en cuenta que v
1
= 0 en B
2r
(x
0
) se tiene
_
v
2
= v v
1
= v en B
2r
(x
0
),
v
2
= 0 en B
2r
(x
0
).
Como v = w1 0, se tiene que v
2
es s uper armonica. Como v
2
no es identicamente
nula, alcanza un maximo positivo en x B
2r
(x
0
).
Si x / sop (v
2
) = sop(v), por el principio fuerte del maximo se tiene que v
2
es constante
igual a max
B2r(x0)
v
2
en la componente conexa de v = 0 que contiene a x. Sea y
0
en el
borde de esta componente. Entonces v
2
alcanza su maximo en y
0
e y
0
sop(v). Observemos
que y
0
B
2r
(x
0
) ya que v
2
= 0 en B
2r
(x
0
).
Si x sop(v) tomo y
0
= x. (Ver gura 2.1)
x
y
0
v = 0
Figura 2.1: Componente conexa de v = 0
Como v = w1 = 0 en w > 0 resulta que sop(v) w = 0. Es decir, el maximo
se alcanza en un punto donde w = 0:
w(y
0
) = 0 y v
2
(y
0
) v
2
(x), x B
2r
(x
0
)
Tenemos v = v
1
+v
2
con v
1
0 y v
2
0. De aqu se deduce que 0 v
1
v y 0 v
2
v.
Entonces,
v
2
(x) v
2
(y
0
) v(y
0
) = w(y
0
)
[y
0
x
0
[
2
2N
+
2r
2
N

2r
2
N
, x B
2r
(x
0
).
Luego, x B
r
(x
0
) vale que:
v(x) = v
1
(x) +v
2
(x)
2
N+1
N
r
2
+
2
N
r
2
= C
N
r
2
.
Finalmente, como w(x) v(x), tenemos que sup
Br(x0)
w C
N
r
2
.
Proposici on 2.4.1. Sea
y sea w 0 w C() con w 1 en , w = 1 en

w > 0. Entonces existe C = C(N, ,
, [[w[[
L
()
) tal que:
[D
2
w[ C a.e.
.
Demostraci on. Como w = 0 en w = 0 resulta que D
2
w = 0 a. e.w = 0.
Por lo tanto, basta probar la cota en puntos x
0
con w(x
0
) > 0.
Caso I: dist (x
0
, w > 0)
1
5
dist (x
0
, )
Sea x w > 0 tal que dist (x
0
, x) = dist (x
0
, w > 0) = .
2
x
x
0
w > 0
w > 0
Figura 2.2: Caso I
Entonces B
(x
0
) w > 0 y por lo tanto, w = 1 all. (Ver gura 2.2)
Como w( x) = 0 y B
4
( x) B
5
(x
0
) , estoy en las condiciones del Lema 2.4.1. Por lo
tanto,
w C
N
(2)
2
= C
N
4
2
en B
2
( x).
Por las estimaciones de las derivadas (tomando f 1, ver la Proposicion A2.1.5 del
Apendice 2), tenemos,
[D
2
w(x
0
)[
C
2
([[w[[
L
(B
(x0))
+
2
)
C
2
(4C
N
2
+
2
) = C
N
.
Caso II: Caso general. Sea r
0
= dist (
, ).
En x
[ dist (x, w > 0) r

0
/5 vale que [D
2
w[ C
0
ya que
r0
5

1
5
dist (x, ),
x
.
Sea x
0

, tal que dist (x

0
, w > 0) r
0
/5 . Entonces, B
r0/5
(x
0
) w > 0, y por
lo tanto w = 1 en B
r0/5
(x
0
).
Por las estimaciones de derivadas con f 1,
[D
2
w(x
0
)[
C
(r
0
/5)
2
_
[[w[[
L
(B
r
0
/5
)
+
_
r
0
5
_
2
[[f[[
_
C(1 +[[w[[
L
()
)
donde C = C(N, r
0
).
Observacion 2.4.1. En el caso I, vimos que C = C(N) tal que si dist (x, w > 0) <
1/5 dist (x, ) vale que [D
2
w(x)[ < C, es decir, la constante es universal (no depende de
[[w[[
)
Observacion 2.4.2. No se puede esperar m as regularidad. Es decir, no se puede tener
derivadas segundas continuas, pues w = 1 en w > 0 y w = 0 en w = 0
Por lo tanto, hemos probado la regularidad optima de w. Pasaremos a estudiar la regular-
idad de la frontera libre. Lo que probaremos es que la medida de Hausdor N1 dimensional
de la frontera libre es localmente nita.
Haremos un cambio de escala para llevar el problema del estudio de la regularidad de la
frontera libre en un entorno de un punto x
0
w > 0 a una situaci on universal. En efecto,
supongamos que tenemos,
w C(B
r
(x
0
)),
w 0 y w 1 en B
r
(x
0
),
w = 1 en B
r
(x
0
) w > 0,
x
0
w > 0.
Busco el cambio adecuado para tener, para una constante universal C,
W C(B
1
),
W 0 y W 1 en B
1
,
W = 1 en B
1
W > 0,
0 W > 0,
W, W, [D
2
W[ C.
Para tal n, sea W(x) =
R
2
r
2
w(x
0
+
r
R
x) denida en [x[ < R. Entonces, D
2
W(x) =
D
2
w(x
0
+
r
R
x). Ademas,
W C(B
R
),
W 0 y W 1 en B
R
,
W = 1 en B
R
W > 0.
Veamos que 0 W > 0. En efecto, W(0) =
R
2
r
2
w(x
0
) = 0. Sea y
k
w > 0 tal que
y
k
x
0
y sea x
k
tal que y
k
= x
0
+
r
R
x
k
, es decir, x
k
= (y
k
x
0
)
R
r
.
Entonces, x
k
0 y
W(x
k
) =
R
2
r
2
w
_
x
0
+
r
R
(y
k
x
0
)
R
r
_
= w(y
k
) > 0.
Por el Lema 2.4.1, W C
0
R
2
en B
R/2
. Por la Proposicion 2.4.1, [D
2
W[ C(N, R) en
B
R/4
.
Si x B
R/8
y = dist (x, W > 0), se tiene que R/8. Por lo tanto, [D
2
W[
C(N, R) en B
(x). Con el n de acotar [W(x)[, sea x W > 0 con [x x[ =

dist (x, W > 0).
x
x
0
w > 0
w > 0
Figura 2.3: Reescale del problema
Haciendo el desarrollo de Taylor tenemos,
W
xi
(x) = W
xi
( x) +
N
j=1
W
xixj
()(x
j
x
j
)
con en el segmento de extremos x y x. Por lo tanto,
[W
xi
(x)[ C
0
[x x[ C
0
R
8
.
Todos los resultados, se obtuvieron para la bola de radio R/8. Luego, elegimos R = 8 en
el reescale y tenemos,
W C(B
1
),
W 1, W 0 en B
1
,
W, [W[, [D
2
W[ acotadas universalmente en B
1
,
0 W > 0,
W = 1 en B
1
W > 0.
(2.4.1)
De ahora en mas supondremos que w satisface (2.4.1).
Lema 2.4.2. Existe una constante C universal, tal que [w[ Cw
1/2
en B
1/2
.
Demostraci on. Solo hay que probarlo en x
0
w > 0 B
1/2
.
Sea h = w(x
0
) > 0. Veamos que existe C
1
constante universal tal que w > 0 en B
(C1h)
1/2(x
0
).
En efecto, supongamos que existe x B
(C1h)
1/2(x
0
) con w( x) = 0. Entonces,
B
(C1h)
1/2(x
0
) w > 0 ,= . Sea y
0
B
(C1h)
1/2(x
0
) w > 0 tal que [x
0
y
0
[ =
dist (x
0
, w > 0) := .
Entonces, w > 0 en B
(x
0
). En particular, w C
(B
(x
0
)). Como w(y
0
) = 0, haciendo
el desarrollo de Taylor alrededor de y
0
tenemos,
h = w(x
0
) =
i,j
w
xixj
()
2
(x
0
y
0
)
i
(x
0
y
0
)
j
C
0
[x
0
y
0
[
2
C
0
C
1
h.
Entonces, si C
1
< C
1
0
, llego a un absurdo. Luego, si elijo C
1
< C
1
0
se tiene que w = 1
en B
(C1h)
1/2(x
0
). Entonces, por las estimaciones de las derivadas en B
(C
1
h)
1/2
2
(x
0
) (ver la
Proposicion A2.1.5) tenemos,
[w(x
0
)[ C
2
(C
1
h)
1/2
_
sup
BC
h
(x0)
w +
C
1
h
4
_
donde C
h
= 2
1
(C
1
h)
1/2
.
Por la desigualdad de Harnack (ver Apendice 2) sabemos que:
sup
BC
h
(x0)
w C
_
w(x
0
) +
C
1
h
4
_
= Ch.
Luego,
[w(x
0
)[
2C
(C
1
h)
1/2
[Ch +Ch] = Ch
1/2
= Cw(x
0
)
1/2
.
Veamos ahora la no degeneracion de w.
Proposici on 2.4.2. Existe C
N
> 0 tal que si x
0
B
1
w > 0 entonces
sup
Br(x0)
w C
N
r
2
, r tal que B
r
(x
0
) B
1
.
Demostraci on.
Caso I: x
0
w > 0
Sea v(x) = w(x)
|xx0|
2
2N
, entonces
v = 0 en B
r
(x
0
) w > 0,
v(x
0
) = w(x
0
) > 0.
Por lo tanto, existe y
0
(B
r
(x
0
) w > 0) tal que v(y
0
) > 0.
Por otro lado, y
0
/ w > 0 pues all vale v(y) =
|yx0|
2
2N
0. Como y
0
B
r
(x
0
) se
tiene,
w(y
0
) = v(y
0
) +
[y
0
x
0
[
2
2N
>
[y
0
x
0
[
2
2N
=
r
2
2N
,
y tenemos que
sup
Br(x0)
w w(y
0
) >
r
2
2N
.
Caso II: Sea x
0
w > 0.
Sea x
n
x
0
, x
n
w > 0, entonces:
sup
Br(xn)
w
r
2
2N
Luego, haciendo n concluimos que
sup
Br(x0)
w
r
2
2N
.
Empezaremos ahora a estudiar propiedades de la frontera libre en el sentido de la teora
geometrica de la medida.
Lema 2.4.3. Sea S
h
= 0 < w < h
2
. Entonces [S
h
B
r
[ Chr
N1
.
Demostraci on. Primero lo hacemos para r = 1.
Para [e[ = 1 sea w
e
= D
e
w la derivada direccional de w en la direcci on de e.
Paso I. Veamos que dado c
1
existe C tal que
_
{0<we<c1h}B1
[w
e
[
2
Ch.
En efecto, sea w
e
= mn
_
(w
e
)
+
, c
1
h
_
. Entonces, w
e
> 0 w > 0. Entonces, se
tiene que w
e
= 0 en w
e
> 0 y por lo tanto,
_
B1
w
e
w
e
=
_
B1
w
e
w
e
+
_
B1
w
e
w
e
dS C
0
c
1
h
N1
= Ch.
De modo que,
_
{<we<c1h}B1
[w
e
[
2
=
_
B1
w
e
w
e
Ch.
Haciendo 0 se tiene el resultado buscado en este paso.
Paso II. (a un con r = 1) Se tiene,
[S
h
B
1
[ =
_
S
h
B1
w =
n
i=1
_
S
h
B1
w
eiei

n
i=1
__
S
h
B1
(w
eiei
)
2
_
1/2
[S
h
B
1
[
1/2
.
De donde,
[S
h
B
1
[
1/2
i=1
_
_
S
h
B1
(w
eiei
)
2
_
1/2
.
Ademas, usando que [w
eiei
[ [w
ei
[ y que, por el Lema 2.4.2, S
h

_
[w[ < C
0
h
_
lo que implica que S
h
0 w
ei
< C
0
h 0 w
ei
< C
0
h y dado que [w
e
[ = 0
a.e. w
e
= 0 [e[ = 1, se tiene,
_
S
h
B1
w
2
eiei
_
S
h
B1
[w
ei
[
2
_
{o<we
i
<C0h}B1
[w
ei
[
2
+
_
{0<we
i
<C0h}B1
[w
ei
[
2
2Ch.
Por lo tanto, [S
h
B
1
[
1/2
N(2Ch)
1/2
, lo que implica que
[S
h
B
1
[ Ch.
Ahora veamos que esta desigualdad escala bien.
Sea 0 < r < 1, reemplacemos w por w
r
(y) =
1
r
2
w(ry). Entonces w
r
satisface (2.4.1) y por
lo tanto,
[0 < w
r
< h
2
B
1
[

Ch.
Queremos acotar
0 < w < h
2
B
r
. Sea x 0 < w < h

2
B
r
. Entonces, x = ry con
y B
1
, 0 < w
r
(y) < (
h
r
)
2
. Por lo tanto,
[0 < w < h
2
B
r
[ = r
N
_
0 < w
r
<
_
h
r
_
2
_
B
1
r
N

C
h
r
=

Chr
N1
.
El lema ha sido demostrado.
Corolario 2.4.1. Sea ^
= x B
1
: dist (x, w > 0) < . Entonces,
1. [^
B
r
[ Cr
N1
.
2. H
N1
(B
r
w > 0) Cr
N1
.
Demostraci on. Queremos acotar [^
B
r
[, para lo cual vamos a acotar primero la medida de
la region que se interseca con w > 0.
Denamos ^
+
= ^
w > 0 y veamos que ^

+
0 < w < (C)

2
para una constante
C > 0 universal.
Sea x ^
+
entonces, existe x
0
en w > 0 tal que [xx
0
[ < . Como w satisface (2.4.1)
se tiene que
sup
B
(x0)
w C
0
2
.
En particular, w(x) C
0
2
= (
C
0
)
2
. As, tenemos que para todo x en ^
+
se cumple
que
0 < w(x) (C)
2
con C =
C
0
. Luego, por el Lema 2.4.3, resulta que
[^
+
B
r
[ [0 < w (C)
2
B
r
[ Cr
N1
.
Entonces, si nosotros pudieramos ver que [^
B
r
[ es comparable con [^
+
B
r
[, es decir,
que C > 0 tal que [^
B
r
[ C[^
+
B
r
[ tendramos probado lo que queremos. Observemos
que en realidad basta ver que [^
B
r2
[ es comparable con [^
+
B
r
[ ya que
[^
B
r
[ = [^
B
r2
[ +[^
(B
r
B
r2
)[ [^
B
r2
[ +[B
r
B
r2
[
y, como [B
r
B
r2
[ Cr
N1
, obtendramos la desigualdad deseada.
Ahora,
^
B
r2

_
x{w>0}B
r
B
(x).
Observemos que todas las bolas B
(x) del segundo miembro est an contenidas en B

r
.
Veamos que [B
(x)[ con x w > 0 B

r
es comparable con [B
(x) w > 0[. Es

decir, veamos que existe > 0 tal que para todo x
0
B
r
w > 0 se tiene que
[B
(x
0
)[ [B
(x
0
) w > 0[.
Para ver esto vamos a probar que existe
0
> 0 independiente de x
0
y r y existe x
1
B
(x
0
)
con [B
0
(x
1
)[ comparable con [B
(x
0
)[, tal que B
0
(x
1
) B
(x
0
) w > 0.
0
1
0
Recordemos que si x
0
est a en B
1
w > 0, entonces
sup
B(x0)
w C
N
2
para todo > 0 tal que B
(x
0
) B
1
(Proposicion 2.4.2). Entonces, tomando en particular
=

4
, existe x
1
B
4
(x
0
) tal que w(x
1
)
1
16
C
N
2
> 0.
Ahora, veamos que [w(x)[

C para todo x B
2
(x
0
) con x
0
w > 0 B
r
.
En efecto, basta probar la acotacion en w > 0 B
2
(x
0
) ya que w(x) = 0 para todo
x w = 0. Sean x w > 0 B
2
(x
0
) y d = dist (x, w > 0). Notemos que d

2
y, como B
d
(x) w > 0, w = 1 en B
d
(x). Por las estimaciones de las derivadas (ver
Apendice 2), tenemos la siguiente acotacion
[w(x)[
C
d
_
sup
B
d
(x)
w +d
2
_
.
Sea x en w > 0 tal que [x x[ = d. Entonces, tenemos que
sup
B
d
(x)
w sup
B
2d
( x)
w C
N
(2d)
2
.
Luego, resulta que
[w(x)[
C
d
(C
N
4d
2
+d
2
) = Cd

C.
Ahora, encontremos 0 < < 1/4 (la segunda desigualdad es para asegurar que B
(x
1
)
B
2
(x
0
)) tal que B
(x
1
) w > 0 B
(x
0
). Con tal n, tomemos x B
(x
1
). Entonces,
w(x) w(x
1
)

C[x x
1
[.
Como w(x
1
)
1
16
C
N
2
y [x x
1
[ , tenemos que
w(x)
1
16
C
N

C =
2
_
1
16
C
N

C
_
> 0
si <
CN
16
e
C
. Tomemos entonces < mn
_
CN
16
e
C
,
1
4
_
. As, resulta que
[B
(x
0
) w > 0[ [B
(x
1
)[ =
N
[B
(x
0
)[.
Luego, tomando =
N
tenemos lo que queramos.
Finalmente, estamos en condiciones de probar que existe C > 0 tal que
[^
B
r2
[ C [^
+
B
r
[.
Como vimos antes,
^
B
r2

_
x{w>0}B
r
B
(x).
Tomemos un subcubrimiento B
j
jN
donde las bolas B
j
se intersequen a lo sumo n
0
=
n
0
(N) veces. As, tenemos que
jN
Bj
n
0
Bj
y
jN
Bj{w>0}
n
0
Bj{w>0}
con lo cual obtenemos que
jN
[B
j
w > 0[ n
0
_
jN
B
j
w > 0
,
y podemos concluir que,
[^
B
r2
[
_
jN
B
j
jN
[B
j
[
jN
[B
j
w > 0[
n
0
_
jN
B
j
w > 0
n
0
[^
+
B
r
[ = C[^
+
B
r
[.
Ahora probemos 2.
Recordemos que dado A R
N
y > 0,
H
N1
2
(A) :=nf
_
(N 1)
jN
_
diam C
j
2
_
N1
: A
_
jN
C
j
y diamC
j
2
_
.
Ahora, consideremos B
r
w > 0 y acotemos H
N1
2
(B
r
w > 0) con 0 < <

.
Tomemos B
j
jN
un cubrimiento de B
r
w > 0 como antes con bolas de radio .

Entonces,
H
N1
2
(B
r
w > 0) (N 1)
jN
_
diam B
j
2
_
N1
=
=
(N 1)
(N)
jN
[B
j
[
(N 1)
(N)
n
0
[N
B
r
[
(N 1)
(N)
n
0
Cr
N1
.
Es decir,
H
N1
2
(B
r
w > 0) C r
N1
.
Haciendo 0
+
resulta que,
H
N1
(B
r
w > 0) Cr
N1
.
Ahora, haciendo

0
+
,
B
r
w > 0 B
r
w > 0.
Por lo tanto,
H
N1
(B
r
w > 0) Cr
N1
.
Captulo 3
Problema de los jets
3.1. Preliminares
Como vimos en la introduccion del problema de los jets, queremos minimizar el funcional
J denido por
J(v) :=
1
2
_
[v(x)[
2
dx +M[v > 0[
en K = v H
1
() [ v g H
1
0
(), donde es un dominio acotado con borde suave y
g H
1
() L
().
La existencia de solucion se prueba facilmente por el metodo directo del c alculo de varia-
ciones. Tenemos
Teorema 3.1.1. Existe u K que minimiza J(v) en K.
Demostraci on. Como J est a acotado inferiormente en K existe u
n
K tales que J(u
n
)
:=nf
vK
J(v). Se tiene,
_
[u
n
[
2
dx 2J(u
n
) C.
Por otro lado,
_
[u
n
g[
2
dx C
[u
n
g[
2
dx C
_
1 +
_
[g[
2
dx
_
C.
Por lo tanto,
_
[u
n
[
2
dx C.
48 Problema de los jets
Existe entonces una subsucesion que seguiremos llamando u
n
y una funci on u g + H
1
0
()
tales que
u
n
u en L
2
(),
u
n
u a. e. en ,
u
n
u debilmente en L
2
().
Por lo tanto,
_
[u[
2
dx lminf
_
[u
n
[
2
dx,
[u > 0[ lminf [u
n
> 0[.
De aqu deducimos que J(u) lminf J(u
n
) = . Es decir, u es un minimizante de J en
K.
Nos interesa estudiar el comportamiento de un minimizante en los puntos de la frontera
libre. Utilizaremos ciertos rescales que, como veremos a continuacion, preservan el problema.
Proposici on 3.1.1. Si u es un minimizante de J en K y x
0
u > 0 , entonces
u
(x) =
1
u(x
0
+x) con > 0 minimiza
J
1
(v) =
1
2
_
B1
[v(x)[
2
dx +M[v > 0 B
1
[
entre las funciones v H
1
(B
1
) tal que v = u
en B
1
.
Demostraci on. Sea v en H
1
(B
1
) tal que v = u
en B
1
. Denamos la siguiente funci on v en
:
v(y) =
_
v(
yx0
) si y B
(x
0
)
u(y) si y B
(x
0
)
Notemos que v es continua en B
(x
0
) ya que si y est a en B
(x
0
), entonces
yx0
est a en
B
1
y como v = u
en B
1
, tenemos que v(
yx0
) = u
(
yx0
) = u(y).
Luego, v u H
1
0
(), por lo que v resulta admisible. Entonces, como u es un minimizante
y v(y) = u(y) en B
(x
0
) resulta que,
1
2
_
B
(x0)
[u(y)[
2
dy +M
_
B
(x0)
{u>0}
(y) dy
1
2
_
B
(x0)
[ v(y)[
2
dy +M
_
B
(x0)
{ v>0}
(y) dy.
3.1 Preliminares 49
Ahora,
J
1
(u
) =
1
2
_
B1
[u
(x)[
2
dx +M
_
B1
{u
>0}
(x) dx
=
1
2
_
B1
[u(x
0
+x)[
2
dx +M
_
B1
{u>0}
(x
0
+x) dx
=
N
_
1
2
_
B
(x0)
[u(y)[
2
dy +M
_
B
(x0)
{u>0}
(y) dy
_
.
As, nos queda que
J
1
(u
)
N
1
2
_
B
(x0)
[ v(y)[
2
dy +M
_
B
(x0)
{ v>0}
(y) dy
=
1
2
_
B
(x0)
[v
_
y x
0
_
[
2
dy +M
_
B
(x0)
{v>0}
_
y x
0
_
dy
=

N
2
_
B1
[v(x)[
2
dx +M
N
_
B1
{v>0}
(x) dx =
N
J
1
(v).
Luego, J
1
(u
) J
1
(v).
Veamos que condiciones debe satisfacer u en la frontera libre:
Sea x
0
en u > 0 y supongamos que u > 0 es diferenciable en x
0
. M as a un, supong-
amos que localmente es el graco de una funci on en las ultimas N1 variables y que la normal
a la frontera libre en x
0
es e
1
. Es decir, si pensamos a los puntos de R
N
como x = (x
1
, x
)
con x
en R
N1
, entonces
u > 0 B
0
(x
0
) = x R
n
: (x x
0
)
1
> f(x
0
) B
0
(x
0
)
donde
0
> 0 y f : U R
N1
R con f diferenciable en 0 y
x
f(0) = 0, f(0) = 0.
Ahora, sea <
0
y x en B
1
, entonces
u
(x) > 0 x
0
+x u > 0 x
1
> f(x
) x
1
>
f(x
.
Por otro lado en B
1
,
f(x
=
o([x
[)

0
+
0.
Entonces, dado > 0 existe
0
> 0 tal que si x est a en B
1
con x
1
> y <
0
se tiene
que u
(x) > 0. En particular, si x est a en B

1
con x
1
> 0, existe
0
> 0 tal que u
(x) > 0 si
<
0
.
Con un razonamiento analogo se puede ver que si x B
1
con x
1
< y <
0
entonces
u
(x) = 0.
Por otro lado, si u es diferenciable en u > 0, tenemos para x u > 0,
u(x) = u(x
0
) +u(x
0
), x x
0
) +o([x x
0
[) = u(x
0
), y x
0
) +o([y x
0
[).
Supongamos que u
+
(x
0
) =
0
con [
0
[ = 1 y = [u(x
0
)[ , = 0. Entonces, u(x) =
0
, x x
0
) +o([x x
0
[) y
u
(x) =
0
, x) +
o([x[)
.
Como el segundo termino converge uniformemente a 0 en B
1
, resulta que
u
(x)
0
+
0
, x).
As, por lo visto anteriormente, dado x en B
1
con x
1
> 0 resulta que
0 < u
(x)
0
+
0
, x).
Entonces,
0
, x) 0 para todo x en B
1
con x
1
> 0. Por lo tanto, podemos concluir que
0
= e
1
.
Por otro lado, tenemos que si x
1
< 0, u
(x) = 0 para sucientemente chico. Por lo tanto,

u
(x) x
+
1
.
Veamos en el caso unidimensional que =
2M:
Sea u
0
(x) = x
+
en [1, 1] y supongamos que u
0
es un minimizante local de J
1
.
-1
1
0
J
1
(u
0
) =
1
2
_
1
1
[u
0
(x)[
2
dx +M[u
0
> 0 [1, 1][.
3.1 Preliminares 51
Notemos que [u
0
(x)[ =
{x>0}
entonces,
J
1
(u
0
) =
1
2
_
1
1
{x>0}
dx +M[u
0
> 0 [1, 1][ =
1
2
_
1
0
2
dx +M[ [0, 1][ =

2
2
+M.
Como u
0
es un minimizante de J
1
, tenemos que J
1
(u
0
) J
1
(v) para todo v en H
1
([1, 1])
con v = u
0
en [1, 1], es decir, con v(1) = 0 y v(1) = .
Consideremos la siguiente funci on admisible
v
1
(x) =

1
(x )
+
con 0 < < 1.
-1 1
0
1
J
1
(v
1
) =
1
2
_
1
_

1
_
2
dx + M[ [, 1][ =

2
2 (1 )
2
(1)+M(1) =

2
2(1 )
+M(1).
Entonces,
2
2
+M

2
2(1 )
+M(1 )
para todo 0 < < 1, con lo cual
M

2
2(1 )
para todo 0 < < 1. Haciendo 0
+
, resulta que
2M .
Para ver la otra desigualdad basta considerar la siguiente funci on admisible v
2
v
2
(x) =

1 +
(x +)
+
con 0 < < 1 y hacer un razonamiento analogo
Veamos que ecuaci on debe satisfacer u, minimizante de J en K. Para eso, supongamos
que u es continua en .
-1 1
0
2
Proposici on 3.1.2. Supongamos que u es un minimizante continuo. Entonces, u = 0 en
u > 0
Demostraci on. Sea x
0
en u > 0. Como u es continua, existe > 0 tal que u(x) >
u(x0)
2
> 0
si x B
(x
0
). Sea C
0
(B
(x
0
)) y v(x) = u(x) +(x) denida en .
Ahora, u > 0 = v > 0 si <
0
para alg un
0
> 0 ya que v = u en B
(x
0
) y en
B
(x
0
) tenemos que
v(x) >
u(x
0
)
2
+(x)
u(x
0
)
2
||
.
Entonces, tomando
0
=
u(x0)
2
, v resulta positiva en B
(x
0
) para todo 0 < <
0
al igual
que u.
Ahora, como v es admisible y u es un minimizante de J en K, tenemos que J(u) J(v)
y como u > 0 = v > 0, resulta que:
_
[u[
2
[v[
2
=
_
[u +[
2
=
_
[u[
2
+
2
_
[[
2
+ 2
_
u.
Entonces,
0
2
_
[[
2
+ 2
_
u
y dividiendo por > 0 y haciendo 0
+
concluimos que,
0
_
u.
Considerando v(x) = u(x) (x) y haciendo un razonamiento analogo, obtenemos la
otra desigualdad
_
u 0.
Luego,
_
u = 0 C
0
(B
(x
0
)).
Entonces, podemos armar que u = 0 en B
(x
0
). Por lo tanto, u = 0 en u > 0.
3.1 Preliminares 53
Si denimos H : R R como
H(x) =
_
0 si x 0
M si x > 0,
una solucion al problema de los Jets debe minimizar el funcional
J(v) :=
1
2
_
[v(x)[
2
dx +
_
H(u(x)) dx
sobre las funciones de g +H
1
0
() con g H
1
().
A continuacion miraremos un funcional de la forma de J pero con H suave.
Teorema 3.1.1. Si G C(R) L
(R) y R
N
es un dominio acotado, entonces, el
funcional
J(v) :=
1
2
_
[v(x)[
2
dx +
_
G(v(x)) dx,
alcanza un mnimo en g +H
1
0
().
Observacion 3.1.1. Para poder garantizar unicidad del mnimo es necesario alg un tipo de
monotona de la G.
Demostraci on. La demostracion se hace de manera analoga a la del Teorema 3.1.1.
Veamos algunas propiedades que satisfacen los minimizantes de estos funcionales.
Teorema 3.1.2. Sea u minimizante del funcional
J(v) :=
1
2
_
[v(x)[
2
dx +
_
G(v(x)) dx,
sobre el conjunto de funciones admisibles g + H
1
0
() para g H
1
(), donde G C
1
(R) con
derivada acotada. Entonces, u es soluci on de la ecuaci on diferencial
u = G
(u) en ,
en sentido debil.
Demostraci on. Sean C
0
() una funci on de prueba y > 0, entonces, v := u+ resulta
admisible.
Con lo cual,
0

J(u +)

J(u)
=
1
2
_
[u +[
2
dx +
_
G(u +) dx
1
2
_
[u[
2
dx
_
G(u) dx
=

2
2
_
[[
2
dx +
_
udx +
_
_
G(u +) G(u)
_
dx
=

2
2
_
[[
2
dx +
_
udx +
_
_
1
0
G
(u +t) dt dx.
(3.1.1)
Dado que G tiene derivada continua y acotada se tiene,
_
1
0
G
(u(x) +t(x)) dt
0
+
_
1
0
G
(u(x)) dt = G
(u(x)).
Por otro lado, como
[(x)[
_
1
0
G
(u(x) +t(x)) dt
C[(x)[ L
1
(),
resulta que,
_
(x)
_
1
0
G
(u(x) +t(x)) dt dx
0
+
_
(u(x))(x) dx.
As, si dividimos por la ultima desigualdad de (3.1.1) y hacemos tender a cero, obten-
emos:
0 lm
0
+
_
2
_
[(x)[
2
dx +
_
u(x)(x) dx
+
_
(x)
_
1
0
G
(u(x) +t(x)) dt dx
_
=
_
u(x)(x) dx +
_
(u(x))(x) dx.
Haciendo el mismo razonamiento con < 0 obtenemos la desigualdad opuesta y en conse-
cuencia
_
u(x)(x) dx +
_
(u(x))(x) dx = 0 C
0
(),
como habamos armado.
Observacion 3.1.2. Si u es un minimizante de

J como en el Teorema anterior y G
(R), entonces u C
2,
(), para todo 0 < < 1.
3.2 El problema regularizado 55
La observaci on anterior se debe a que toda solucion debil del problema u = f, con f
acotada, est a en C
1,
() W
2,p
() para todo 0 < < 1, 1 < p < . Entonces, dado que
G
(u) es Lipschitz, u
xi
es solucion debil del problema
u
xi
=

x
i
G
(u),
entonces, u
xi
C
1,
(). As, u C
2,
().
Vamos a denir a continuacion una serie de funciones suaves que aproximan a H con el
objetivo de estudiar el comportamiento en el lmite de los funcionales que denen y su relacion
con J.
3.2. El problema regularizado
Sea B una funci on en C
1,1
(R) y creciente tal que
B(s) =
_
0 si s < 0
M si s > 1.
Dado > 0, denimos las funciones B
(s) := B(
s
), las que est an en C

1,1
(R), son crecientes
y
B
(s)
0
+
H(s).
Notaremos
(resp. ) a la derivada primera de B
(resp. B).
Sea J
el funcional denido en g +H
1
0
(), con g H
1
(), como
J
(v) :=
1
2
_
[v(x)[
2
dx +
_
(v(x)) dx.
Nos referiremos con u
a un minimizante de J
en g + H
1
0
() con g H
1
() el cual,
recordemos, est a en C
2,
() y satisface que
u
(u
).
Veamos a continuacion c omo podemos estudiar en forma local las propiedades de los
minimizantes de estos funcionales y veamos algunos rescales invariantes para esta familia de
funcionales.
Denicion 3.2.1. Decimos que una funci on u H
1
() es un minimizante local en del
funcional J
si para todo subdominio
y toda v u +H
1
0
(
) resulta que
1
2
_
[u(x)[
2
dx +
_
(u(x)) dx
1
2
_
[v(x)[
2
dx +
_
(v(x)) dx.
Observacion 3.2.1. Claramente, un minimizante de J
en g + H
1
0
() es un minimizante
local de J
.
Proposici on 3.2.1. Sea u
un minimizante local de J
en y B
(x
0
) , con > 0.
Entonces, u
(x) :=
1
(x
0
+x) es un minimizante local de J
en B
1
.
Demostraci on. Para x B
(x
0
) se tiene u
(x) = u
(
xx0
). Si v u
+ H
1
0
(B
1
), se tiene
que v(x) = v
_
xx0
_
satisface
( v u)(x) = (v u
)
_
x x
0
_
H
1
0
(B
(x
0
)).
Entonces,
J
(v) =
1
2
_
B1
[v(x)[
2
dx +
_
B1
B
(v(x)) dx
=
1
2
_
B1
[ v[
2
(x
0
+x) dx +
_
B1
B
( v(x
0
+x)) dx
=
N
_
1
2
_
B
(x0)
[ v(y)[
2
dy +
_
B
(x0)
B
( v(y)) dy
_

N
_
1
2
_
B
(x0)
[u(y)[
2
dy +
_
B
(x0)
B
(u(y)) dy
_
=
1
2
_
B1
[u[
2
(x
0
+x) dx +
_
B1
B
(u(x
0
+x)) dx
=
1
2
_
B1
[u
(x)[
2
dx +
_
B1
B
(u
(x)) dx = J
(u
).
Concluyendo que J
(u
) J
(v), para toda v u
+H
1
0
(B
1
).
Veamos que podemos garantizar la positividad y controlar la norma innito de los mini-
mizantes de los funcionales J
en terminos de g.
un minimizante de J
en g +H
1
0
().
1. Si g 0, entonces, u
0.
2. Si g L
(), entonces, u
|g|
.
Demostraci on. Por comodidad, a lo largo de la demostracion, vamos a notar u
al minimizante
u
.
1. Es suciente demostrar que u
(x) := mnu
(x), 0 0.
Dado que g 0 y u
= g en , la funci on u
+
(x) := maxu
(x), 0 es admisible. As,

1
2
_
[u
(x)[
2
dx +
_
(u
(x)) dx
1
2
_
[u
+
(x)[
2
dx +
_
(u
+
(x)) dx.
Ahora, como B
(s) = 0 si s < 0, resulta que B
(u) = B
(u
+
). Y, dado que en casi todo

punto [u
[
2
= [u
+
[
2
+ [u
[
2
, podemos concluir que
1
2
_
[u
(x)[
2
dx 0.
Entonces, u
es constante, y, como u
H
1
0
(), resulta que u
0.
2. Dado que v(x) := mnu
(x), |g|
H
1
() es admisible podemos concluir que
1
2
_
[u
(x)[
2
dx +
_
(u
(x)) dx
1
2
_
[v(x)[
2
dx +
_
(v(x)) dx
=
1
2
_
{ug}
[u
(x)[
2
dx +
_
{ug}
B
(u
(x)) dx +
_
{u>g}
B
(|g|
) dx.
As,
1
2
_
{u>g}
[u
(x)[
2
dx
_
{u>g}
_
B
(|g|
) B
(u
(x))
_
dx 0.
Entonces,
0 =
_
{u>g}
[u
(x)[
2
dx =
_
[(u
(x) |g|
)
+
[
2
dx,
con lo cual, dado que (u
|g|
)
+
H
1
0
(), podemos asegurar que (u
|g|
)
+
0.
Entonces, u
|g|
en .
A continuacion hallaremos cotas del gradiente de los minimizantes de los funcionales J
.
Necesitaremos un par de lemas.
Lema 3.2.1. Sea u C
2
(B
1
) no negativa tal que [u[ C
0
en B
1
y u(0) 2. Entonces,
existe C = C(N, C
0
) tal que [u[ C en B1
4
.
Demostraci on. Por la Desigualdad de Harnack, existe una constante universal C
1
(N) tal que
sup
B
1/2
u C
1
(u(0) +C
0
) C
1
(2 +C
0
).
Por otro lado, por estimaciones de las derivadas, existe una constante C
2
(N) tal que, para
todo x B1
4
, se satisface
[u(x)[ C
2
_
|u|
L
1
(B
1/2
(x))
+C
0
C
2
_
[B
1/4
[ sup
B
1/2
u +C
0
.
As,
[u(x)[ C(N, C
0
),
para todo x B
1/4
.
Lema 3.2.2. Sea D B
r
, con r > 0, un dominio tal que 0 D.
Sea 0 v C
1
(B
r
) tal que v = 0 en D. Supongamos, adem as, que v = 0 y [v[ L en
B
r
D. Entonces, existe una constante C = C(N) tal que
1. v(x) C Ldist (x, B
r
D) si x B
r/2
D.
2. |v|
L
(B
r/4
D)
C L
Demostraci on. Trabajaremos primero el caso r = 1 y luego de este, el caso general.
Sean x B1
2
D y h := dist(x, B
1
D), entonces, dado que h [x[ <
1
2
, es facil ver que
B
h
(x) B
1
.
Mediante un rescale conveniente denimos en B
1
w(y) :=
1
h
v(x +hy).
Entonces,
w 0 en B
1
w = 0 en B
1
.
Si x B
1
D es el que realiza la distancia de x a D, resulta que
v( x) = 0 y [v( x)[ L.
As, si y B
1
es aquel tal que x = x +h y, podemos asegurar que
w( y) = 0 y [w( y)[ = [v( x)[ L.
Por otro lado, por la desigualdad de Harnack, existe una constante C
1
(N), tal que
w(y) C
1
(N)w(0) =
C
1
(N)
h
v(x)
para todo y B1
2
. Por lo tanto,
:=
1
C
1
nfw(y) / y B1
2

1
h
v(x). (3.2.1)
En el caso N > 2 (de forma similar se trabaja los caso N = 1 y N = 2) y con la intensi on
de compararla con w, denimos la funci on
z(y) :=
C
1
2
N2
1
_
[y[
2N
1
_
la que satisface
z = 0 en B
1
B1
2
z = 0 en B
1
z = C
1
en B1
2
.
As, por el Principio de comparaci on, z w en B
1
B1
2
. Por lo tanto, ya que z( y) = w( y),
podemos armar que
[z( y)[ [w( y)[ L.
Ahora, evaluando el gradiente de z en y obtenemos que

_
2
N2
1
C
1
(N 2)
_
L,
entonces, por (3.2.1),
v(x) h h
_
2
N2
1
C
1
(N 2)
_
L = hC(N)L,
concluyendo la demostracion de 1. en el caso r = 1.
Probemos 2. en el caso r = 1. Sea x
0
B
1/4
D. Entonces, si h := dist (x
0
, D) se tiene
que h 1/4. Por lo tanto, B
h
(x
0
) B
1/2
y si x B
h
(x
0
) se tiene que d(x, B
1
D) 2h.
Por el punto 1. para x B
1/2
se tiene
v(x) C Ld(x, B
1
D).
De aqu que,
sup
B
h
(x0)
v(x) 2 C Lh.
Utilizando las estimaciones de las derivadas de funciones armonicas, existe una constante
C
2
tal que,
[v(x
0
)[
C
2
h
sup
B
h
(x0)
v C
2
2 C L,
nalizando de este modo la demostracion para el caso r = 1.
Ahora, para el caso general, sea v :=
1
r
v(rx) en B
1
y

D :=
1
r
D B
1
. Se tiene que v y

D
satisfacen las condiciones del caso unitario. Entonces, si y B
r
2
D y x B
1/2

D es tal
que y = rx se tiene,
1
r
v(y) =
1
r
v(rx) = v(x) C Ldist(x, B
1

D)
= C Lr
1
dist (y, B
r
D),
quedando demostrado 1. en el caso general.
Para la segunda armaci on,
|v|
L
(B
r/4
D)
= sup
B
1/4
D
[v(rx)[ = sup
B
1/4
D
[ v(x)[ = | v|
L
(B1
4
D)
C L.
Lema 3.2.3. Sea u
C
2
(B
1
) una soluci on no negativa de u =
(u) en B
1
. Existe
C = C(N, ||
) tal que si <

1
4
y 0 u
> entonces
|u
|
L
(B1
8
)
C.
Demostraci on. Dado que
|u
|
L
(B1
8
)
|u
|
L
(B1
8
{u
2})
+ |u
|
L
(B1
8
{u
>})
= (1) + (2),
es suciente acotar (1) y (2).
Veamos la acotacion de (1). Sea x
0
B3
4
u
2 y w(y) :=
1
(x
0
+y) con y en B
1
.
Entonces,
w 0 y w(0) =
1
(x
0
) 2.
Por otro lado, como <
1
4
, entonces, B
(x
0
) B
1
, con lo cual,
w(y) = u
(x
0
+y) =
(u
(x
0
+ y)) = (w(y)) en B
1
.
As, por el Lema 3.2.1, existe C
1
(N, ||
) tal que
[w[ C
1
en B1
4
.
En particular,
[u
(x
0
)[ = [w(0)[ C
1
.
Entonces, utilizando que la constante no depende de x
0
,
(1) |u
|
L
(B
3/4
{u
2})
C
1
(N, ||
).
Veamos como adaptar la situaci on para, utilizando el Lema 3.2.2, acotar (2). De la ultima
desigualdad se desprende que
[u
[ C
1
en B3
4
u
> .
As, si denimos v := u
en B3
4
y D := u
> , obtenemos
_
_
v = u
(u
) = 0 en D
v 0 en D
v = 0 en B3
4
D
[v[ = [u
[ C
1
en B3
4
D
0 D.
Por lo tanto, por el Lema 3.2.2, existe una constante C
2
= C
2
(N, C
1
) tal que
(2) |u
|
L
(B
3/16
{u
>})
= |v|
L
(B
3/16
D)
C
2
,
quedando de este modo demostrado el lema.
Teorema 3.2.1. Sean R
N
abierto y acotado y
. Si
_
_
u
0 en
u
(u
) en
|u
|
L
()
c.
Existe L = L(N, ||
, c, dist(
, )) tal que
|u
|
L
)
L.
Demostraci on. Sea r
0
=
1
6
dist (
, ). Si x
0

se tiene que B
6r0
(x
0
) .
Caso I. r
0
. En este caso, por las estimaciones de las derivadas,
[u
(x
0
)[
C
N
r
0
_
|u
|
L
()
+|
|
L
(R)
_
.
Como
|
|
L
(R)

1
||
L
(R)

1
r
0
||
L
(R)
se tiene la acotacion buscada.
Caso II. < r
0
.
Si u
> en B
r0/2
(x
0
) se tiene que u
= 0 ah, y por lo tanto,

[u
(x
0
)[
2
r
0
C
N
sup
B
r
0
/2
(x0)
u
2
r
0
C
N
|u
|
L
()
.
Supongamos, entonces que existe x B
r0/2
(x
0
) con u
(x) . Se tiene una de dos:

1. u
en B
r0/2
(x
0
).
2. Existe z B
r0/2
(x
0
) u
> .
Caso 1. En este caso aplicamos directamente el Lema 3.2.1 a w(y) :=
1
(x
0
+y) en B
r0/2
.
En efecto,
w 0,
[w[ = [(w)[ ||
L
(R)
en B
r0/2
,
w(0) 1.
Por lo tanto, [w(y)[ L(N, ||
L
(R)
) en B
r0/8
. De modo que, en particular, [u
(x
0
)[
L.
Caso 2. Sea v(y) =
1
5r0
u
(z +5r
0
y) con y B
1
. Observar que como [x
0
z[ < r
0
se tiene que
B
5r0
(z) .
> u
0
0
r
r
x
z
Sea =

5r0
. Entonces < 1/5 y se tiene
v =
(v) en B
1
,
0 v > .
Aplicando el Lema 3.2.3 se tiene que |v|
L
(B
1/8
)
L con L = L(N, ||
L
(R)
). En partic-
ular, si y
0
=
x0z
5r0
, se tiene que [y
0
[
r0/2
5r0
=
1
10
<
1
8
y por lo tanto,
[u
(x
0
)[ = [v(y
0
)[ L.
Observacion 3.2.1. Si dist (x
0
, u
> ) <
1
12
dist (x
0
, ) estamos en el Caso 2, es
decir existe x B
r0/2
(x
0
) u
> . Por lo tanto, se tiene que [u
(x
0
)[ L con L =
L(N, ||
L
(R)
).
Nuestro proximo objetivo es ver que tenemos un crecimiento lineal desde la frontera libre
(en el problema del obstaculo tenamos un crecimiento cuadratico). Para tener este resultado
debemos volver al caso en que u
son minimizantes.
Teorema 3.2.1. Para todo c
1
1 existe C
1
tal que si u
0 es un minimizante local de J
en B
1
(0) con <
1
4
y si x
0
B1
2
(0) u
c
1
y dist (x
0
, u
> ) <
1
2
se sigue que
u
(x
0
) C
1
dist (x
0
, u
> ).
Demostraci on. Sea d
0
= dist (x
0
, u
> ),
0
B
1/2
B
1
(0) (0)
{u > }
x
0
d
0
Rescalemos y llamemos w a la funci on,

w(y) =
1
d
0
u
(x
0
+d
0
y) para y B
1
(0).
Entonces,
_
w 0 en B
1
(0)
w = 0 en B
1
(0).
Sea a = w(0) =
u
(x0)
d0
. Queremos ver que existe C
1
> 0 tal que a C
1
.
Como u
0 es un minimizante local de J
en B
1
(0) resulta que w es minimizante local
de J

d
0
. En particular, si v w +H
1
0
(B
1
(0)) se tiene que
1
2
_
B1(0)
[w[
2
dx +
_
B1(0)
B

d
0
(w) dx
1
2
_
B1(0)
[v[
2
dx +
_
B1(0)
B

d
0
(v) dx. (3.2.2)
Dado que w es armonica no negativa en B
1
(0), todos los valores en B1
2
(0) son equivalentes.
O sea, por la desigualdad de Harnack, existen C, C > 0 tales que
Ca w Ca en B1
2
(0).
Vamos a construir una funci on test v w + H
1
0
(B
1
(0)) que nos va a permitir llegar a la
existencia de C
1
. Sea C
(R
N
) tal que
0 en B1
4
(0)
1 en R
N
B1
2
(0).
Denimos v como sigue
v(x) =
_
w(x) en B
1
(0) B1
2
(0)
mnw(x), Ca(x) en B1
2
(0).
Recordemos que el mnimo de funciones de H
1
() est a en H
1
(). Luego, v H
1
(B
1
(0))
si w(x) = mnw(x), Ca(x) para todo x B1
2
(0). Y esto vale ya que
1 en B1
2
(0) y w Ca en B1
2
(0).
Por lo tanto, v H
1
(B
1
(0)). Ademas vw H
1
0
(B
1
(0)), i.e., v w+H
1
0
(B
1
(0)). Entonces
v satisface (3.2.2). M as a un, de la denicion de v, se tiene para = B1
2
(0) w > Ca,
1
2
_
[w[
2
dx +
_
B

d
0
(w) dx
1
2
_
[v[
2
dx +
_
B

d
0
(v) dx.
Entonces,
_
_
B

d
0
(w) B

d
0
(Ca)
_
dx
1
2
_
_
[Ca[
2
[w[
2
_
dx
(Ca)
2
2
_
[[
2
dx
Como B es mon otona creciente resulta que
0 B

d
0
(w) B

d
0
(Ca) en ,
ademas 0 en B1
4
(0) y w > 0 en B
1
(0). Entonces,
Ca < w en B1
4
(0)
B

d
0
(Ca) = 0 en B1
4
(0).
Esto nos dice que B1

4
(0) y
_
B1
4
(0)
B

d
0
(w) dx =
_
B1
4
(0)
_
B

d
0
(w) B

d
0
(Ca)
_
dx
_
B

d
0
(w) B

d
0
(Ca)
_
dx
(Ca)
2
2
_
[[
2
dx.
Usando que w Ca en B1
2
(0) y nuevamente la monotona de B resulta que
B

d
0
(w) B

d
0
(Ca) = B
_
Cad
0
_
en B
1/4
.
Recordemos que ad
0
= u
(x
0
) c
1
. Entonces, usando la monotona de B tenemos que,
B
_
Cad
0
_
B(Cc
1
) > 0.
Por lo tanto,
(Ca)
2
2
_
[[
2
dx
_
B1
4
(0)
B

d
0
(w) dx
B(Cc
1
)[B1
4
(0)[.
Luego tenemos que a C
1
> 0, que era lo que queramos ver.
Lo que nos gustara tener es la no degeneracion. Recordemos que en el problema del
obstaculo pudimos probar que
sup
Br(x0)
u C
N
r
2
si x
0
u > 0.
Esto nos permiti o probar la densidad positiva del conjunto de positividad, i.e.,
[B
r
(x
0
) u > 0[
[B
r
(x
0
)[
c > 0
que resulto importante para estimar la medida y dimensi on de Hausdor de la frontera.
Buscamos un resultado similar para el problema que estamos estudiando. En este caso,
como el crecimiento es lineal esperamos para u = lmu
,
sup
Br(x0)
u C
0
r si x
0
u > 0.
En ese sentido tenemos para u
el siguiente resultado.
Teorema 3.2.2. Dados c
1
> 1 y C
1
, L > 0, existe c
0
> 0 tal que si < 1/4 y 0 u
C(B
1
)
satisface
1. u
= 0 en u
> ,
2. |u
|
L
(B
1/2
)
L,
3. u
(x) C
1
dist (x, u
> ) si x B
1/2
u
c
1
y dist (x, u
> ) <
1
2
,
se tiene para todo x
0
B
1/4
u
c
1
tal que dist (x
0
, u
> ) <
1
4
,
sup
Br(x0)
u
c
0
r si 0 < r < 1/4.
Observacion 3.2.2. Notar que si 0 u
> se tiene que dist (x

0
, u
> ) <
1
4
si
x
0
B
1/4
.
Demostraci on del Teorema 3.2.2. Sean d
0
= dist (x
0
, u
> ) y r (0,
1
4
). Dado que
d
0
< 1/4, por la hipotesis 3. se tiene que
u
(x
0
) C
1
d
0
.
Si d
0

r
8
,
u
(x
0
)
C
1
8
r.
Supongamos, entonces, que d
0
<
r
8
.
Haremos un proceso inductivo que conducira a un x B
r
(x
0
) tal que u
( x) c
0
r.
Observemos que B
r
(x
0
) B1
2
(0), entonces si
x B
r
(x
0
) u
c
1
y dist (x, u
> ) <
1
2
,
por la hipotesis 3. sabemos que
u
(x) C
1
dist (x, u
> ).
Sea y
0
B
d0
(x
0
) u
> . Dado que d

0
<
r
8
<
1
32
, tenemos que B
2d0
(y
0
) B
1/2
(0).
Como u
es continua, u
(y
0
) = .
Dado (0, 1) a jar, se tiene en B
d0
(y
0
),
u
(x) u
(y
0
) +Ld
0
= +Ld
0
donde L es una cota uniforme de la constante de Lipschitz de u
en B
1/2
(0) dada en la
hipotesis 2.
Por hipotesis u
(x
0
) c
1
y u
(x
0
) C
1
d
0
. Entonces,
u
(x)
_
1
c
1
+
L
C
1
_
u
(x
0
) en B
d0
(y
0
).
O sea,
u
(x)
1 +
c
1
u
(x
0
) en B
d0
(y
0
)
donde =
Lc1
C1
.
Elegimos de manera que
1+
c1
< 1. Debido a que u
= 0 en B
d0
(x
0
),
u
(x
0
) =
_
B
d
0
(x0)
u
dH
N1
.
Podemos escribir B
d0
(x
0
) =
1

2
con interiores disjuntos, con
1
B
d0
(y
0
) y
H
N1
(
1
) = H
N1
(B
d0
) con 0 < < 1 dependiendo solo de N y (ver gura).
d
0

d
0

x
0

y
0

{u
>}
=2 sen /2
Observemos que
u
(x)
1 +
c
1
u
(x
0
) en
1
y ademas existe x
1

2
tal que
u
(x) sup
B
d
0
(x0)
u
= u
(x
1
) en
2
.
Como
u
(x
0
) =
_
B
d
0
(x0)
u
dH
N1
=
_
1
u
dH
N1
+
_
2
u
dH
N1
H
N1
(B
d0
(x
0
))
resulta que
u
(x
0
)
1 +
c
1
u
(x
0
)
H
N1
(
1
)
H
N1
(B
d0
(x
0
))
+u
(x
1
)
H
N1
(
2
)
H
N1
(B
d0
(x
0
))
. (3.2.3)
Como,
H
N1
(
1
)
H
N1
(B
d0
(x
0
))
=
y
H
N1
(
2
)
H
N1
(B
d0
(x
0
))
= 1 ,
reemplazando en (3.2.3) tenemos que
u
(x
0
)
1 +
c
1
u
(x
0
) + (1 )u
(x
1
)
y por lo tanto
(1 +
0
)u
(x
0
) u
(x
1
),
donde 1 +
0
=
1
1+
c1
1
> 1.
En denitiva vimos que existe x
1
B
d0
(x
0
) tal que
u
(x
1
) (1 +
0
)u
(x
0
).
con
0
> 0 dependiendo solo de L, c
1
, C
1
y N.
Repetimos el procedimiento para x
1
. Observemos que u
(x
1
) > u
(x
0
) c
1
. Sea d
1
=
dist(x
1
, u
> ) y sea y
1
u
> que realiza esta distancia.

x
0

x
1

d
0

d
1

y
1

y
0

u
>
Dado que y
0
u
> resulta que

d
1
[x
1
y
0
[ [x
1
x
0
[ +[x
0
y
0
[ = 2d
0
, .
Como estamos en el caso en que d
0
<
r
8
, tenemos que 2d
0
<
r
4
y por lo tanto d
1
<
r
4
.
Ademas dado x B
d1
(x
1
),
[x x
0
[ [x x
1
[ +[x
1
x
0
[ d
1
+d
0
<
r
4
+
r
8
< r,
O sea que B
d1
(x
1
) B
r
(x
0
) B
1/2
(0). Procedemos como antes y encontramos x
2

B
d1
(x
1
) tal que
u
(x
2
) (1 +
0
)u
(x
1
).
Entonces,
u
(x
2
) (1 +
0
)
2
u
(x
0
).
Si se tiene que
d
1
+d
0
= [x
2
x
1
[ +[x
1
x
0
[ <
r
8
se deduce que
d
2
= dist (x
2
, u
> ) [x
2
y
1
[ [x
2
x
1
[ +[x
1
y
1
[ = 2d
1
<
r
4
.
Por lo tanto, si x B
d2
(x
2
)
[x x
0
[ [x x
2
[ +[x
2
x
1
[ +[x
1
x
0
[ < d
2
+
r
8
< r.
Luego, B
d2
(x
2
) B
r
(x
0
). Por lo tanto, existe x
3
B
d2
(x
2
) tal que
u
(x
3
) (1 +)u
(x
2
)
y entonces
u
(x
3
) (1 +)
3
u
(x
0
).
De esta manera obtenemos x
1
, . . . , x
k
tales que
u
(x
i+1
) (1 +
0
)u
(x
i
) (1 +
0
)
i+1
u
(x
0
) para todo 0 i k 1.
Si
k1
i=0
[x
i+1
x
i
[ <
r
8
, podemos seguir con el proceso y encontrar un x
k+1
ya que
d
k1
= dist (x
k1
, u
> ) = [x
k
x
k1
[ <
r
8
y por lo tanto,
d
k
[x
k
y
k1
[ [x
k
x
k1
[ +[x
k1
y
k1
[ = 2d
k1
<
r
4
.
Luego, si x B
d
k
(x
k
),
[x x
0
[ [x x
k
[ +
k1
i=0
[x
i+1
x
i
[ < d
k
+
r
8
<
r
4
+
r
8
< r
y por lo tanto B
d
k
(x
k
) B
r
(x
0
).
Supongamos que el proceso se repite innitas veces, i.e., existe x
k
kN
tal que
u
(x
k
) (1 +
0
)u
(x
k1
) (1 +
0
)
k
u
(x
0
).
Dado que (1 +
0
) > 1 y u
(x
0
) c
1
resulta que
(1 +
0
)
k
u
(x
0
) cuando k
y por lo tanto
u
(x
k
) cuando k .
Por otro lado, como u
es Lipschitz, con constante L en B

1/2
(0), tenemos que
u
(x
k
) L[x
k
y
k1
[ +u
(y
k1
) < 2Ld
k1
+ < L
r
4
+ 1.
O sea que u
(x
k
)
kN
es una sucesion acotada, con lo cual arribamos a una contradiccion,
la que provino de suponer que el proceso se poda repetir innitamente. Luego el proceso solo
se puede repetir una cantidad nita de veces. Por lo tanto, existe k
0
tal que
k01
i=0
[x
i+1
x
i
[ <
r
8
y
k0
i=0
[x
i+1
x
i
[
r
8
.
Ademas, para todo i = 0, . . . , k
0
,
[x
i+1
x
i
[ = d
i
= dist (x
i
, u
> )
1
C
1
u
(x
i
).
Luego,
r
8

k0
i=0
[x
i+1
x
i
[
1
C
1
k0
i=0
u
(x
i
).
Por otro lado tenemos que para todo i = 0, . . . , k
0
1,
u
(x
i+1
) (1 +
0
)u
(x
i
).
Entonces, para todo i = 0, . . . , k
0
1,
u
(x
i
)
1
(1 +
0
)
k0i
u
(x
k0
).
Concluimos que
r
8

1
C
1
k0
i=0
u
(x
i
)
u
(x
k0
)
C
1
k0
i=0
1
(1 +
0
)
k0i

1 +
0
0
u
(x
k0
)
C
1
.
De modo que
u
(x
k0
)
C
1
0
8(1 +
0
)
r.
Como x
k0
B
r
(x
0
) resulta, tomando c
0
= mn
_
C1
8
,
C10
8(1+0)
_
, que
sup
Br(x0)
u
c
0
r
que es lo que queramos demostrar.
Se tiene el siguiente corolario inmediato de los Teoremas 3.2.1 y 3.2.2.
Corolario 3.2.1. Dados c
1
> 1 y C
0
> 0 existe c
0
> 0 tal que si < 1/4, u
es un
minimizante local no negativo de J
en B
1
(0) con |u
|
L
(B1)
C
0
, x
0
B1
4
(0) u
c
1
y dist (x
0
, u
> ) <
1
4
se tiene
sup
Br(x0)
u
c
0
r si r (0, 1/4).
Con esto tenemos el siguiente resultado.
Corolario 3.2.2. Sea
. Para toda constante c

1
> 1 existen c
0
y r
0
> 0 tales que si
u
es un minimizante local no negativo de J
en , x
0

c
1
y dist (x
0
, u
>
) < r
0
, se tiene para <
1
8
dist(
, ),
sup
Br(x0)
u
c
0
r si r (0, r
0
).
Demostraci on. Propongamos r
0
=
1
8
dist(
, ) y tomemos
0
=
1
2
dist(
, ). Sean x
0

c
1
y x u
> tal que [x

0
x[ = dist(x
0
, u
> ) < r
0
. Observemos que
B
0
( x) B
20
(x
0
) y consideremos
w(y) =
1
0
u
( x +
0
y) para y B
1
(0).
Sabemos que w es minimizante local de J

0
en B
1
(0) y w 0. Sea y
0
tal que x
0
= x+
0
y
0
,
i.e., y
0
=
x0 x
0
. Como [x
0
x[ < r
0
=
0
4
, resulta que [y
0
[ <
1
4
. Ademas w(y
0
) =
1
0
u
(x
0
),
entonces y
0
B1
4
(0) w c
1
0
. Luego, como

0
< 1/4, podemos aplicar el Corolario 3.2.1
y deducir que existe c
0
> 0 tal que
sup
B(y0)
w c
0
si (0, 1/4).
Para terminar la demostracion veamos que si x = x +
0
y entonces, x B
r
(x
0
) s y solo
s y B
r
0
(y
0
). Para esto basta observar que
[y y
0
[ =
x x
x
0
x
=
[x x
0
[
0
.
Entonces si r (0, r
0
) resulta que
r
0
<
1
4
y por lo tanto,
sup
Br(x0)
u
=
0
sup
B r
0
(y0)
w
0
c
0
r
0
= c
0
r.
Que era lo que queramos demostrar.
De aqu se deduce que la proporcion de los conjuntos u
> en bolas B
(x
0
) centradas
en puntos x
0
u
> est a acotada inferiormente en forma independiente de si c

1
con c
1
> 1 y c
2
para una constante c
2
> 0 independiente de . De aqu se va a deducir
la densidad positiva uniforme de u > 0 en puntos de la frontera libre para u = lmu
.
Corolario 3.2.3. Dados C
0
> 0, c
1
> 1 existen constantes c
2
, c
3
> 0 tales que si < 1/4, u
es un minimizante local no negativo de J
en B
1
con |u
|
L
(B1)
C
0
, y si x
0
B
1/4
u
>
con c
1
y dist (x
0
, u
> ) < 1/4 entonces,
(x
0
) u
>
c
3
(x
0
)
si c
2

1
4
.
Demostraci on. Por el Corolario 3.2.1 existe y B
/4
(x
0
) tal que u
(y) = sup
B
/4
(x0)
u
c
0
.
Sea 0 < < 1/4. Si x B
(y) se tiene [x x
0
[ + /4 /2. Por lo tanto,
B
(y) B
1/2
y si llamamos L a una cota de [u
[ en B
1/2
, se tiene
u
(x) u
(y) L (c
0
L) si x B
(y).
Tomemos, entonces, 0 < < 1/4 tal que c
0
L > 0. Si ahora c
2
> 0 es tal que
c
2
(c
0
L) > 1 se tiene, para c
2
,
u
(x) c
2
(c
0
L) > en B
(y).
Entonces, B
(y) u
> B
(x
0
). De aqu que
(x
0
) u
>

N
[B
[,
y se tiene el resultado con c
3
=
N
.
Notemos con
= u
> . El objetivo ahora es probar que para c

2
se tiene que
) B
R
[ c
3
R
N1
. Esta estimaci on permitira acotar la medida de Hausdor de la
frontera libre de u = lmu
.
Teorema 3.2.3. Dados c
1
> 1, C
0
> 0 existen c
2
, c
3
> 0 tales que si u
es un minimizante
local no negativo de J
en B
1
con |u
|
L
(B1)
C
0
, c
1
y c
2
1/8 entonces, para
R < 1/4 se tiene
) B
R
[ c
3
R
N1
.
La demostracion se basar a en dos lemas. Observemos, primero que debido a la acotacion
Lipschitz uniforme de las u
y la acotacion de en terminos de se tiene ^

+
(
) <
u
< C para una constante universal C. En efecto, si x ^
), existe y
tal que
[x y[ < . Entonces,
u
(x) +L < (c
1
2
+L).
Comenzaremos con el siguiente lema
Lema 3.2.4. En las condiciones del Teorema 3.2.3, para C
1
> 0 se tiene que existe c > 0 tal
que
_
{<u
<C1}BR
[u
[
2
dx cR
N1
.
Demostraci on. Sea w = mn(u
)
+
, C
1
. Entonces w H
1
(B
R
) y
_
{<u
<C1}BR
[u
[
2
dx =
_
BR
u
w =
_
BR
wu
+
_
BR
w
u
dH
N1
=
_
BR
w
u
dH
N1
c(N)LC
1
R
N1
.
Aqu hemos usado que > con lo cual u
= 0 en el soporte de w y que w C
1
.
El teorema estar a demostrado cuando hayamos relacionado la medida del delta entorno
de
con la integral que acabamos de estimar. Tenemos

Lema 3.2.5. Dado c
1
> 1 existen C
1
, C
2
, c
2
> 0 tales que si c
1
y c
2
< 1/8 se
tiene para R < 1/4,
) B
R2
C
2
_
{<u
<C1}BR
[u
[
2
dx.
Demostraci on. Cubrimos ^
) B
R2
con bolas B
j
= B
(x
j
) con centros x
j

B
R
que se superponen a lo sumo de a n
0
(con n
0
= n
0
(N)).
Armo: En cada una de estas bolas hay subbolas B
1
j
y B
2
j
con radios r
j
= C con C
independiente de j tales que si u = (u
)
+
se tiene
u
c
0
8
en B
1
j
, u
c
0
16
en B
2
j
donde c
0
es la constante de la no degeneracion para bolas centradas en u
> B
1/4
con
radios a lo sumo 1/8. En efecto, tomo B
2
j
= B
rj
(x
j
) con r
j
=
c
0
16L
donde L |u
|
L
(B
1/2
)
.
Observemos que u(x
j
) = 0. Por lo tanto, si x B
2
j
se tiene u(x) Lr
j
=
c
0
16
.
Sea ahora y
j
B
/4
(x
j
) tal que u
(y
j
) c
0
4
. Sea B
1
j
= B
rj
(y
j
). Entonces, si x B
1
j
se
tiene,
u
(x) u
(y
j
) Lr
j
c
0
4
Lr
j
.
Por lo tanto,
u(x) =
_
u
(x)
_
+
c
0
4
Lr
j
>
_
c
0
4

c
0
16
c
1
2
_

c
0
8
si c
1
2

c
0
16
.
3.3 Regularidad de la frontera libre en sentido de la medida 75
Sea m
j
=
_
Bj
u. Armo que existe c > 0 universal tal que en una de las dos bolas B
1
j
o
B
2
j
se debe tener [u(x) m
j
[ c para todo x. En efecto, si no fuera as existiran x
1
B
1
j
y x
2
B
2
j
tales que [u(x
1
) m
j
[ < c y [u(x
2
) m
j
[ < c. Entonces,
c
0
8

c
0
16
u(x
1
) u(x
2
) < 2c
lo que es un absurdo si c
c0
32
.
De aqu que en una de las dos bolas se debe tener [u(x) m
j
[
c0
32
para todo x. Sea
tal que [B
1
j
[ = [B
2
j
[ = [B
j
[. Entonces, por la desigualdad de Poincare (existe C > 0 tal que
_
Br
u = 0 implica que
_
Br
u
2
Cr
2
_
Br
[u[
2
) se tiene,
_
c
0
32
_
2
2

_
Bj
[u m
j
[
2
dx C
2
Bj
[u[
2
dx.
Con lo que concluimos que existe c > 0 tal que para todo j se tiene
_
Bj
[u[
2
dx c[B
j
[.
De aqu que como ^
) B
R

B
j
,
) B
R
[B
j
[
1
c
_
Bj
[u[
2
dx
n
0
c
_
S
Bj
[u[
2
dx =
n
0
c
_
S
Bj{u
>}
[u
[
2
dx
_
{<u
<C1}BR
[u
[
2
dx.
Aqu hemos usado que
Bj
n
0
Bj
, que u
(x) < + L < (c

1
2
+ L) = C
1
para
x B
j
y que B
j
B
R
.
Demostraci on del Teorema 3.2.3. Aplicando los dos lemas tenemos
) B
R
B
R
B
R2
) B
R2
C
N
R
N1
+C
0
_
{<u
<C1}BR
[u
[
2
dx (C +C
0
c) R
N1
.
3.3. Regularidad de la frontera libre en sentido de la
medida
En la secci on anterior hemos probado varias estimaciones independientes de para las
soluciones de P
y sus conjuntos de nivel. Esto nos permitira pasar al lmite bajo subsucesiones
y probar que cada funci on lmite u es armonica en el conjunto de positividad y globalmente
Lipschitz.
De este modo, el gran trabajo que resta sera probar la regularidad de la frontera libre
u > 0. Si supieramos que esta es una supercie C
1,
, resultados clasicos de regularidad
de soluciones del Problema de Dirichlet daran que la funci on lmite es C
1
hasta la frontera
libre.
En este curso no llegaremos a probar este resultado. Pero haremos la primera parte del
camino que consiste en probar la regularidad en un sentido debil, en el sentido de la medida.
Por otro lado, probaremos que cada funci on lmite es solucion debil (distribucional) del
problema de frontera libre:
_
u = 0 en u > 0,
u = 0, [u[ =
2M en u > 0.
(3.3.1)
De este modo, una vez probado que la frontera libre es C
1,
, tendramos que u es solucion
clasica del problema de frontera libre (3.3.1).
Los resultados de regularidad de u y su frontera libre son de car acter local. Es decir, basta
probarlos en un entorno de cada punto de la frontera libre. Como el problema P
es invariante
bajo rescales del tipo u
(x) =
1
(x
0
+ x), en el sentido de que u
(x) es solucion de P
/
en B
1
si u
es solucion de P
en B
(x
0
), vamos a suponer que estamos en la bola unitaria.
jn
nN
con
jn
0 soluciones de P
jn
en B
1
tales que u
jn
u
0
en B
1
. Entonces,
(a) u
0
> 0B
1/4
es lmite en distancia de Hausdor de u
jn
> c
1
jn
B
1/4
con c
1
> 1.
Es decir, para > 0 sucientemente chico existe n
0
N tal que si n n
0
,
B1
4
u
jn
> c
1
jn
^
(u
0
> 0) y B1
4
u
0
> 0 ^
(u
jn
> c
1
jn
).
(b) u
0
es localmente Lipschitz en B
1
, arm onica en u
0
> 0 y uniformemente no degenerada
en B1
8
u
0
> 0.

Esto ultimo quiere decir que existen c
0
y
0
constantes positivas
tales que si x
0
B1
8
u
0
> 0,
sup
B(x0)
u
0
c
0
si 0 < <
0
.
(c) Existe C > 0 tal que si es chico y R <
1
8
,
[^
(u
0
> 0) B
R
[ CR
N1
y H
N1
(u
0
> 0 B
R
) CR
N1
.
Demostraci on. Notaremos
u
n
= u
jn
n
=
jn

n
= u
n
> c
1
n

0
= u
0
> 0.
Probemos (a).
Veamos que para todo > 0 existe n
0
N tal que si n n
0
,
B1
4

0
^
(
n
) y (3.3.2)
B1
4

n
^
(
0
). (3.3.3)
Para demostrar (3.3.2) razonemos por el absurdo. Si suponemos que no, existira una
subsucesion x
n
k
que notaremos x
n

0
B
1/4
tal que x
n
/ ^
(
n
). Entonces
B
(x
n
) u
n
c
1
n
.
Como x
n
B1
4
, podemos suponer que x
n
x
0
.
Ahora, si x B
(x
0
), como x
n
x
0
, existe n
0
N tal que x B
(x
n
) si n n
0
. Como
B
(x
n
) u
n
c
1
n
, resulta u
n
(x) c
1
n
si n n
0
y, usando que
n
0 cuando n
y que u
n
u
0
, pasando al lmite tenemos que u
0
(x) = 0. As,
u
0
0 en B
(x
0
).
Por otro lado, como x
n
x
0
y x
n

0
para todo n N,
x
0

0
= u
0
> 0
pero u
0
0 en B
(x
0
), lo que nos lleva a un absurdo. Luego,
B1
4

0
^
(
n
).
Veamos ahora (3.3.3).
Si suponemos que no vale existira una sucesion x
n

n
B
1/4
tal que x
n
/ ^
(
0
),
es decir,
u
0
(x) 0 en B
(x
n
) para todo n N.
Como antes, podemos suponer que x
n
x
0
. Entonces para n sucientemente grande tenemos
que B
2
(x
0
) B
(x
n
), de lo que resulta
u
0
0 en B
2
(x
0
).
Por otro lado, usando que x
n

n
para todo n N, consideramos y
n
B
4
(x
n
) tal que
u
n
(y
n
) c
0
4
para todo n N.
Podemos suponer que y
n
y
0
con u
0
(y
0
) c
0
4
> 0 pero y
0
B
4
(x
0
) B
2
(x
0
) y u
0
0
en B
2
(x
0
), lo que nos lleva a un absurdo.
Luego,
B1
4

n
^
(
0
).
Ahora probemos (b).
Como u
n
u
0
sobre compactos, se sigue que si K u
0
> 0, se tiene que K u
n
>
n
si n es sucientemente grande. Por lo tanto, u
n
= 0 y [u
n
[ L en K. De aqu que
u
0
= 0 y [u
0
[ L en K.
Veamos que u
0
es uniformemente no degenerada. En efecto, sea x
0
B
1/8
u
0
> 0.
Sean < 1/8 e y
0
B
1/8
u
0
> 0 con [x
0
y
0
[ < . Por el punto (a) existe n
0
N tal que
si n n
0
, y
0
^
(
n
) y por lo tanto existe y
n

n
con [y
0
y
n
[ < . Como [y
0
[ < 1/8 y
< 1/8, se sigue que y
n
B
1/4
y, aplicando el Corolario 3.2.1 tenemos que
sup
B(yn)
u
n
c
0
si 0 < <
0
.
De aqu que, si 0 < <
0
, existe x
n
B
(y
n
) con u
n
(x
n
) c
0
. Podemos suponer,
tomando una subsucesion, que x
n
x con u
0
( x) c
0
.
Ahora bien,
[x
0
x[ 2 + +[x
n
x[.
Por lo tanto, [x
0
x[ 2 + y, como es arbitrario se sigue que x B
(x
0
). Concluimos
que
sup
B(x0)
u
0
c
0
.
Para terminar, veamos (c).
Queremos ver que
[^
(
0
) B
R
[ CR
N1
si < 1/8 y R < 1/8.
Para esto antes veamos que existe un n
0
= n
0
() N tal que
0
B
1/8
^
2
(
n
)
si n n
0
. En efecto, sea x
0
B
1/8
y sea y B
(x)
0
. Usando (a) sabemos que
B
1/4

0
^
(
n
). Si y
n

n
es tal que [y
n
y[ < , tenemos que
[y
n
x[ [y
n
y[ +[y x[ < + = 2.
Como x
0
B
1/8
, tomamos z R
N

0
tal que [x z[ < . Tenemos, entonces, que
existe n
2
N tal que si n n
2
, z /
n
. En efecto, existe
1
> 0 tal que u
0
0 en B
1
(z).
Usando la parte (2) del tem (a), si suponemos que z
n
, tenemos que z ^
1
(
0
) si
n n
1
, lo que nos lleva a un absurdo.
Entonces tenemos que existe un n
2
N tal que si n n
2
, z /
n
.
En el segmento de extremos y
n
y z hay un punto que llamaremos r
n
B
2
(x). Por
lo tanto, existe un n
0
N tal que
B
1/8

0
^
2
(
n
) si n n
0
.
Luego,
[^
(
0
) B
R
[ [^
3
(
n
) B
R
[ si n n
0
y R <
1
8
.
x
y
r
z
n
2
Por el Teorema 3.2.3 resulta que
[^
3
(
n
) B
R
[ 3CR
N1
,
de lo que tenemos que
[^
(
0
) B
R
[ CR
N1
si <
1
8
y R <
1
8
.
Falta ver que
[H
N1
(
0
B
R
)[ CR
N1
si R <
1
8
.
Sea B
j
jN
un cubrimiento de
0
B
R
con bolas de radio centradas en
0
B
R
tal
que se intersecan a lo sumo de a n
0
(N). Es decir,
j=1
Bj
n
0
.
Como
H
N1
2
(
0
B
R
) =nf
_
(N1)
j=1
_
diam(C
j
)
2
_
N1
: (
0
B
R
)
_
C
j
, diam(C
j
) 2
_
,
resulta que
H
N1
2
(
0
B
R
) (N 1)
j=1
_
diam(B
j
)
2
_
N1
(N 1)
j=1
_
diam(B
j
)
2
_
N
=
(N 1)
(N)
j=1
[B
j
[
(N 1)
(N)
n
0
[^
(
0
) B
R+
[.
Como [^
(
0
) B
R+
[ C(R +)
N1
, llegamos a que
H
N1
2
(
0
B
R
)
(N 1)
(N)
n
0
C(R +)
N1
.
Haciendo tender a cero,
H
N1
(
0
B
R
) lm
0
(N 1)
(N)
n
0
C(R +)
N1
=
(N 1)
(N)
n
0
CR
N1
= CR
N1
,
que era lo que nos restaba probar.
Proposici on 3.3.2. u
0
es minimizante local en B
1/8
de
J(v) =
1
2
_
[v[
2
dx +M
_

{v>0}
dx.
Demostraci on. Para x
0
jo notaremos
J
r,n
(v) =
1
2
_
Br(x0)
[v[
2
+
_
Br(x0)
B
n
(v) donde B
n
= B
n
y
J
r,0
(v) =
1
2
_
Br(x0)
[v[
2
+M
_
Br(x0)
{v>0}
.
Sean x
o
B
1/8
y r > 0 tales que B
r
(x
0
) B
1/8
, y sea v u
0
+H
1
0
(B
r
(x
0
)).
Para conseguir una funci on admisible para el problema n, consideremos h > 0 tal que
B
r+h
(x
0
) B
1/8
; y extendamos v a B
r+h
(x
0
) de la siguiente forma:
v
h,n
(x) =
_
v(x) si x B
r
(x
0
)
u
0
(x) + (
|xx0|r
h
)(u
n
(x) u
0
(x)) si x B
r+h
(x
0
) B
r
(x
0
).
As tenemos que v
h,n
u
n
+H
1
0
(B
r+h
(x
0
)).
Entonces,
J
r+h,n
(v
h,n
) J
r+h,n
(u
n
) J
r,n
(u
n
).
Ahora bien,
J
r+h,n
(v
h,n
) = J
r,0
(v) +
_
Br(x0)
_
B
n
(v) M
{v>0}
+
1
2
_
B
r+h
(x0)\Br(x0)
u
0
+
[x x
0
[ r
h
(u
n
u
0
) +
_
x x
0
h[x x
0
[
(u
n
(x) u
0
(x)
_
2
+
_
B
r+h
(x0)\Br(x0)
B
n
(v
h,n
) = J
r,0
(v) +I +II +III.
Notemos con B
r+h
B
r
a B
r+h
(x
0
) B
r
(x
0
).
Con el n de estimar I, observemos que
_
B
n
(v) M
{v>0}
0 a.e. B
R
.
En efecto, si v(x) > 0, existe un n
0
N tal que v(x)
n
si n n
0
. As, B
n
(v(x)) = M
si n n
0
; y si v(x) = 0, B
n
(v(x)) = 0 para todo n N.
Ademas, como
[B
n
(v) M
{v>0}
[ 2M,
tenemos que I 0 cuando n .
Por otro lado,
[II[
_
B
r+h
\Br
u
0
+
[x x
0
[ r
h
(u
n
u
0
)
2
+
1
h
2
_
B
r+h
\Br
[u
n
(x) u
0
(x)[
2
.
Usando que u
n
est a acotada uniformemente, tenemos que
u
0
+
[x x
0
[ r
h
(u
n
u
0
)
2
L.
As, para el primer sumando tenemos que
_
B
r+h
\Br
u
0
+
[x x
0
r[
h
(u
n
u
0
)
2
L[B
r+h
B
r
[ chr
N1
.
Como u
n
u
0
sobre compactos se tiene,
[II[ chr
N1
+
1
h
2
_
B
r+h
\Br
[u
n
u
0
[
2
chr
N1
cuando n .
Finalmente,
[III[ M[B
r+h
B
r
[ chr
N1
.
Entonces,
lmsup
n
J
r+h,n
(v
h,n
) J
r,0
(v) +chr
N1
.
Por otro lado habamos observado que
J
r+h,n
(v
h,n
) J
r+h,n
(u
n
) J
r,n
(u
n
).
Veamos que lminf
n
J
r,n
(u
n
) J
r,0
(u
0
). En efecto,
J
r,n
(u
n
) =
1
2
_
Br(x0)
[u
n
[
2
+
_
Br(x0)
B
n
(u
n
).
Como sabemos que u
n
u
0
en L
2
(B
1
), usando el Lema de Fatou, tenemos que
_
Br(x0)
[u
0
[
2
lminf
n
_
Br(x0)
[u
n
[
2
.
Faltara ver que
lminf
n
_
Br(x0)
B
n
(u
n
) M
_
Br(x0)
{u0>0}
= M
_
Br(x0)
0
.
Observemos que
_
Br(x0)
B
n
(u
n
)
_
(Br(x0)0)\N
(0)
B
n
(u
n
).
Por otro lado, por la no degeneracion de u
0
se tiene que existe una constante C > 0 tal
que
u
0
C > 0 en (B
r
(x
0
)
0
) ^
(
0
)
y como u
n
u
0
, existe un n
0
= n
0
() N tal que
u
n

n
en (B
r
(x
0
)
0
) ^
(
0
) si n n
0
.
Entonces,
B
n
(u
n
) = M en (B
r
(x
0
)
0
) ^
(
0
).
As,
_
Br(x0)
B
n
(u
n
)
_
(Br(x0)0)\N
(0)
B
n
(u
n
)
= M[(B
r
(x
0
)
0
) ^
(
0
)[
= M[B
r
(x
0
)
0
[ M[B
r
(x
0
) ^
+
(
0
)[.
Usando que
[B
r
(x
0
) ^
+
(
0
)[ [B
r
(x
0
) ^
(
0
)[ cr
N1
tenemos que,
_
Br(x0)
B
n
(u
n
) M
_
Br(x0)
0
cr
N1
.
Entonces,
lminf
n
_
Br(x0)
B
n
(u
n
) M
_
Br(x0)
0
cr
N1
.
Como es arbitrario, resulta
lminf
n
_
Br(x0)
B
n
(u
n
) M
_
Br(x0)
0
.
Entonces,
J
r,0
(u
0
) lminf
n
J
r,n
(u
n
) lmsup
n
J
r,n
(u
n
) lmsup
n
J
r+h,n
(v
h,n
)
J
r,0
(v) +chr
N1
.
Si tomamos lmite cuando h 0, obtenemos que
J
r,0
(u
0
) J
r,0
(v),
que era lo que queramos demostrar.
Luego, u
0
es minimizante local de
J(v) =
1
2
_
[v[
2
dx +M
_

{v>0}
dx en B
1/8
.
Antes de proseguir con el estudio de la regularidad de la frontera libre veamos algunas
formas equivalentes de decir que una funci on no degenera uniformemente.
Proposici on 3.3.3. Sea u Lip
loc
(), u 0 y u 0 en sentido debil en . Sea
.
Si x
0

_
u > 0
_
y B
r0
(x
0
) , son equivalentes:
1. Existen C
0
, r
0
> 0 tales que sup
Br(x0)
u C
0
r, 0 < r r
0
.
2. Existen C
0
, r
0
> 0 tales que sup
Br(x0)
u C
0
r, 0 < r r
0
.
3. Existen C
0
, r
0
> 0 tales que
_
Br(x0)
u C
0
r, 0 < r r
0
.
4. Existen C
0
, r
0
> 0 tales que
_
Br(x0)
u C
0
r, 0 < r r
0
.
C
0
y r
0
no son necesariamente los mismos en cada ocurrencia.
Demostraci on. (1) (2)
Como u 0 en sentido debil en , u satisface el principio del maximo. Por lo tanto,
sup
Br(x0)
u = sup
Br(x0)
u C
0
r, 0 < r r
0
.
(2) (3)
Sabemos que
sup
Br(x0)
u C
0
r, 0 < r r
0
.
Supongamos que no vale (3), entonces existe una sucesion r
n
0 tal que
Brn
(x0)
u
1
n
r
n
.
Consideremos
u
n
(x) =
1
r
n
u(x
0
+r
n
x), para x B
1
.
En la desigualdad
_
Brn
(x0)
u
1
n
r
n
, dividamos por r
n
. Entonces,
1
n

1
[B
rn
[
_
Brn
(x0)
u(x)
r
n
.
Cambiando variables tenemos,
1
[B
rn
[
_
Brn
(x0)
u(x)
r
n
dx =
1
[B
1
[
_
B1
u
n
(y) dy
1
n
.
Como u
n
y [u
n
[ est an acotadas en [[ [[
L
(B1)
, podemos suponer (tomando una
subsucesion) que existe u
Lip(B
1
) tal que u
n
u
en B
1
. Entonces,
B1
u
n

_
B1
u
con lo cual
B1
u
= 0
y como
u
0
se tiene
u
0 en B
1
.
Por (2) tenamos que para todo n N existe x
n
B
rn
(x
0
) tal que u(x
n
) C
0
r
n
.
Consideremos
x
n
=
x
n
x
0
r
n
B
1
.
Entonces
u
n
( x
n
) =
1
r
n
u
_
x
0
+r
n
x
n
x
0
r
n
_
=
1
r
n
u(x
n
) C
0
.
Para una subsucesion resulta x
n
x con u
( x) C
0
> 0, lo que nos lleva a un absurdo.
Luego, existen C
1
> 0, r
1
> 0 tales que
Br(x0)
u C
1
r, 0 < r r
1
.
(3) (4)
Sabemos que
_
Br(x0)
u C
0
r si 0 < r r
0
. Supongamos que no vale (4), entonces existe
una sucesion (r
n
)
nN
tal que
r
n
0 y
_
Brn
(x0)
u
1
n
r
n
.
Para cada n N, consideremos
u
n
(x) =
1
r
n
u(x
0
+r
n
x) para x B
1
.
Entonces tenemos que
Brn
(x0)
u(x)
1
n
r
n
,
y dividiendo a ambos lados por 0 < r
n
,
Brn
(x0)
u(x)
r
n
1
n
.
Haciendo un cambio de variables, tenemos
1
H
N1
_
B
rn
_
_
Brn
(x0)
u(x)
r
n
=
_
B1
u
n
(y)
y tomando lmite, resulta
1
n

_
B1
u
n
(y)
_
B1
u
(x).
Como u
0 en B
1
y u
C(B
1
) se tiene,
u
0 en B
1
.
Pero u
0 en sentido debil en B
1
entonces, por el Principio del maximo,
u
0 en B
1
.
Usando (3),
Brn
(x0)
u(x) dx C
0
r
n
para todo n N.
Entonces,
C
0

_
B1
u
n
(y) dy
_
B1
u
(x) dx,
de lo que tenemos que
0 < C
0

_
B1
u
(x) dx y u
0 en B
1
,
(4) (1)
Supongamos que no vale (1); entonces existe una sucesion (r
n
)
nN
tal que
r
n
0 y sup
Brn
(x0)
u
1
n
r
n
.
Consideremos, como antes, para cada n N,
u
n
(x) =
1
r
n
u(x
0
+r
n
x) para x B
1
.
Ya habamos visto que u
n
n1
era una familia equiacotada y equicontinua y por lo tanto
exista u
C(B
1
) tal que
u
n
u
en B
1
.
Como u
n
0 en B
1
y u
n
1
resulta que u
0 en B
1
y
u
1
.
Tenemos que
sup
Brn
(x0)
u
1
n
r
n
,
con lo cual,
sup
B1
u
n

1
n
.
Por lo tanto,
sup
B1
u
0.
Como u
0 en B
1
tenemos que u
0 en B
1
. M as a un, dado que u
C(B
1
), resulta
que
u
0 en B
1
lo que implica que
B1
u
= 0.
Usando (4) tenemos que
Brn
(x0)
u C
0
r
n
;
y, mediante un cambio de variables,
C
0

_
B1
u
n

_
B1
u
.
As,
B1
u
C
0
> 0 pero u
0 en B
1
,
lo que nos lleva a un absurdo.
Probemos ahora que tanto u
0
> 0 como u
0
= 0 tienen densidad positiva en todo
punto de u
0
> 0. A saber,
Proposici on 3.3.4. Dado R < 1/8, existen r
0
> 0 y 0 < C < 1 tales que si x
0
B
R

u
0
> 0 y 0 < r < r
0
, entonces
C
[B
r
(x
0
) u
0
> 0[
[B
R
[
1 C.
Demostraci on. La primera desigualdad sale de la no degeneracion. En efecto, sea
0
la con-
stante de la Proposicion 3.3.1 (b). Sea 0 < r
0
. Entonces,
sup
B
r/2
u
0
c
0
r.
Sean y
0
B
r
2
(x
0
) con u
0
(y
0
) c
0
r y sea x B
r
(y
0
). Entonces,
u
0
(x) u
0
(y
0
) Lr c
0
r Lr > 0 si <
c
0
L
.
Entonces,
[B
r
(x
0
)
_
u
0
> 0
_
[ [B
r
(y
0
)[ =
N
[B
r
[,
es decir,
[B
r
(x
0
)
_
u
0
> 0
_
[
[B
r
[

N
.
Para la otra desigualdad, usaremos que u
0
minimiza un funcional de energa. Para esto,
sea v la solucion de
_
v = 0 en B
r
(x
0
)
v = u
0
en B
r
(x
0
).
Armamos que v > 0 en B
r
(x
0
). En efecto, o bien se tiene eso, o bien v 0 en B
r
(x
0
). Como
u
0
no es identicamente nula en B
r
(x
0
) y es subarmonica y por lo tanto no identicamente nula
en B
r
(x
0
) deducimos que
v > 0 en B
r
(x
0
).
Por otro lado, sabemos que J
r,0
(v) J
r,0
(u
0
). Pero,
J
r,0
(v) =
1
2
_
Br(x0)
[v[
2
+M
_
Br(x0)
{v>0}
=
1
2
_
Br(x0)
[v[
2
+M[B
r
(x
0
)[
y
J
r,0
(u
0
) =
1
2
_
Br(x0)
[u
0
[
2
+M
_
Br(x0)
{u0>0}
=
1
2
_
Br(x0)
[u
0
[
2
+M[B
r
(x
0
)
0
[.
Entonces,
1
2
_
Br(x0)
[v[
2
+M[B
r
[
1
2
_
Br(x0)
[u
0
[
2
+M[B
r
(x
0
)
0
[.
Es decir,
M([B
r
[ [B
r
(x
0
)
0
[)
1
2
_
Br(x0)
[[u
0
[
2
[v[
2
].
Como ([B
r
[ [B
r
(x
0
)
0
[) = [B
r
u
0
= 0[, dividiendo por [B
r
[ en ambos miembros,
resulta:
M
[B
r
u
0
= 0[
[B
r
(x
0
)[

1
2

_
Br(x0)
[[u
0
[
2
[v[
2
].
Tenemos que
_
Br(x0)
[(u
0
v)[
2
=
_
Br(x0)
[u
0
[
2
+
_
Br(x0)
[v[
2
2
_
Br(x0)
u
0
v.
Pero
_
Br(x0)
u
0
v =
_
Br(x0)
[v[
2
pues, como v = 0 en B
r
(x
0
),
0 =
_
Br(x0)
v para toda H
1
0
(B
r
(x
0
)).
Tomando = u
0
v, resulta
0 =
_
Br(x0)
v(u
0
v) =
_
Br(x0)
vu
0
_
Br(x0)
[v[
2
.
Entonces,
1
2

_
Br(x0)
[[u
0
[
2
[v[
2
] =
1
2

_
Br(x0)
[(u
0
v)[
2
.
De lo que resulta que
M
[B
r
_
u
0
= 0
_
[
[B
r
[

1
2

_
Br(x0)
[(u
0
v)[
2
C
r
2

_
Br(x0)
(u
0
v)
2
,
usando en la ultima acotacion la Desigualdad de Poincare.
Veamos ahora que v u
0
C
0
r en B
r
(x
0
) con y C
0
independientes de r y x
0
.
En efecto, como u
0
(x
0
) = 0 se tiene que u
0
Lr en B
r
(x
0
).
Por otro lado, como v = 0 en B
r
(x
0
) y v = u
0
en B
r
(x
0
), y u
0
es uniformemente no
degenerada,
v(x
0
) =
_
Br(x0)
u
0
C
0
r.
Ademas,
|v|
L
(Br
2
(x0))
C sup
Br(x0)
v = C sup
Br(x0)
v = C sup
Br(x0)
u
0
K,
donde K es una constante que existe debido a que u
0
es acotada.
Entonces, para x B
r
(x
0
), 0 < <
1
2
,
v(x) v(x
0
) Kr C
0
r Kr.
As,
(v u
0
)(x) C
0
r Kr Lr
C
0
r
2
si
0
.
Luego,
M
[B
r
_
u
0
= 0
_
[
[B
r
[

C
r
2
[B
r
[
_
Br(x0)
[v u
0
[
2
C
_
C
0
2
_
2
[B
r
(x
0
)[
[B
r
[
= C
_
C
0
2
_
2
N
.
Entonces resulta que
[B
r
(x
0
)
_
u
0
> 0
_
[
[B
r
[
1
C
M
_
C
0
2
_
2
N
.
Supongamos por un momento que u
0
C
1
a traves de u
0
> 0. Entonces si x
0

u
0
> 0 se tiene para un [[ = 1 que u
0
(x
0
) = [u
0
(x
0
)[.
Haciendo el desarrollo de Taylor de u
0
alrededor de x
0
, como u
0
(x
0
) = 0, tenemos:
u
0
(x) = u
0
(x
0
), x x
0
) +o([x x
0
[).
Por lo tanto,
u
0
(x) = [u
0
(x
0
)[ < x x
0
, > +o([x x
0
[).
En nuestro caso, no se tendra esta regularidad, pero este desarrollo se puede hacer si
u
0
> 0 C
1
y u
0
C
1
(u
0
> 0). En efecto, extendemos u
0
a un entorno de u
0
> 0
como funci on C
1
, hacemos el desarrollo de Taylor y deducimos que
u
0
(x) = [u
0
(x
0
)[ < x x
0
, >
+
+o([x x
0
[)
pues del lado exterior, u
0
0.
Por otro lado, si x
0
u
0
> 0 y existe > 0 tal que
u
0
(x) = < x x
0
, >
+
+o([x x
0
[),
se tiene que = [u
0
(x
0
)[. De modo que este desarrollo asint otico es una forma debil de decir
que [u
0
(x
0
)[ = en estos puntos donde hay una normal a u
0
> 0 en alg un sentido
razonable. Comenzamos entonces con la siguiente denicion,
Denicion 3.3.1. Sea un conjunto de permetro nito y x
0
. Decimos que x
0

(la frontera en medida) si verica:

lmsup
r0
[B
r
(x
0
) [
[B
r
[
> 0 y lmsup
r0
[B
r
(x
0
)
c
[
[B
r
[
> 0
Para H
N1
-a. e. x
0

, la normal interior , con [[ = 1 en el sentido de la medida,

determinada por la siguiente condicion:
lm
r0
[B
r
(x
0
) x x
0
, ) < 0[
[B
r
[
= 0,
y
lm
r0
[B
r
(x
0
)
c
x x
0
, ) > 0[
[B
r
[
= 0.
A este subconjunto de la frontera en medida se lo denomina frontera reducida y se lo
denota
u > 0 o
red
u > 0. Se tiene
H
N1
(
) = 0.
Como probamos que u
0
> 0 =
u
0
> 0, se tiene
H
N1
(u
0
> 0
u
0
> 0) = 0.
Se tiene el siguiente resultado Teorema de la divergencia (ver [4]): Si
0
es un conjunto
de permetro nito y

F C
1
(
0
),
_
0
div
F dx =
_
0
F . dH
N1
A continuacion daremos una posible formulaci on debil del problema de frontera libre. A
saber,
Denicion 3.3.2. Decimos que u
0
es soluci on debil de
_
u = 0 en u > 0,
u = 0, [u[ =
2M en u > 0,
(3.3.4)
si
_
u
0
=
_
red
{u0>0}
2M dH
N1
, C
0
().
Para ver que esta es una buena denicion supongamos que
u
0
> 0 C
1
, u
0
C
1
(u
0
> 0), u
0
es solucion clasica de (3.3.4)
y sea C
0
(B). Entonces,
0 =
_
{u0>0}
u
0
=
_
{u0>0}
u
0
+
_
({u0>0})
u
0
e
dH
N1
=
=
_
{u0>0}
u
0
_
{u0>0}B
2M dH
N1
donde
e
es la normal exterior.
Ahora bien, c omo podemos obtener esta formulaci on integral para u
0
?
Consideremos
_
u
0
como una aplicacion lineal sobre C
0
(). Es decir,
C
0
()
T
_
u
0
.
Entonces T = u
0
es la distribuci on denida por
u
0
, ) =
_
u
0
=
_
u
0
La distribuci on est a bien denida, por ser u

0
localmente integrable. La ultima igualdad
vale pues u
0
H
1
.
Para deducir la formulaci on integral, veamos que u
0
dene una medida de Radon (es
decir, una medida boreliana localmente nita). En efecto, u
0
= lmu
, donde u
es solucion de
u
(u
) 0. Luego, u
0
, ) 0 si 0 por ser lmite de distribuciones no negativas.
Por el Corolario A3.4.1 existe una medida de Radon no negativa tal que u
0
=
Por denicion,
_
d =
_
u
0
Como en u
0
> 0 se tiene que u
0
= 0, si C
0
(u
0
> 0) resulta que la ultima
integral es nula. De la misma manera, en u
0
= 0
, u
0
= 0, de donde se deduce que si
C
0
(u
0
= 0
), la ultima integral tambien es nula. Por lo tanto, sop u

0
> 0.
Para probar la formulaci on integral, bastara ver que = u
0
y
2MH
N1
u
0
> 0
son la misma medida.
Ambas tienen soporte en el mismo conjunto. La idea es ver que es absolutamente con-
tinua respecto de H
N1
u
0
> 0, y por lo tanto, por el teorema de Radon-Nikodym, existe
q(x) boreliana tal que = q(x)H
N1
u
0
> 0. Demostrando que q(x)
2M tenemos el
resultado buscado.
El primer resultado en este sentido es la siguiente proposicion.
Proposici on 3.3.5. Existen c, C > 0, r
0
> 0 tal que si x
0
u
0
> 0 se tiene
cr
N1
_
Br(x0)
d Cr
N1
, 0 < r < r
0
Demostraci on. Sea C
0
(B
2r
(x
0
)), 0, 1 en B
r
(x
0
), [[
c
r
, entonces
_
Br(x0)
d
_
B2r(x0)
d =
_
B2r(x0)
u
0
L
c
r
c
N
(2r)
N
= Lc c
N
2
N
r
N1
= Cr
N1
Para la otra desigualdad, sea G(x, y) la funci on de Green de en B
1
, es decir, si u es
solucion de:
_
u = f en B
1
u = 0 en B
1
entonces u tiene la siguiente representacion:
u(x) =
_
B1
f(y)G(x, y) dy.
Sea G
x0,r
(x, y) la funci on de Green de en B
r
(x
0
). Entonces se verica:
G
x0,r
(x, y) =
1
r
N2
G
_
x x
0
r
,
y x
0
r
_
En efecto, sea u solucion de:
_
u = f en B
r
(x
0
)
u = 0 en B
r
(x
0
)
Deno u(x) = u(x
0
+rx), para x B
1
. Luego,
u(x) = r
2
u(x
0
+rx) = r
2
f(x
0
+rx) en B
1
u(x) = 0 en B
1
Entonces, u se representa:
u(x) =
_
B1
r
2
f(x
0
+ rx)G(x, y)d y
Haciendo el cambio de variables z = x
0
+ry, dz = r
N
dy, se tiene,
u(x) = u(x
0
+rx) =
_
Br(x0)
f(z)G
_
x,
z x
0
r
_
d z
r
N2
Reemplazando x
0
+rx por x y z por y tenemos:
u(x) =
_
Br(x0)
f(y)G
_
x x
0
r
,
y x
0
r
_
dy
r
N2
. (3.3.5)
Es decir, G
x0,r
(x, y) =
1
r
N2
G
_
xx0
r
,
yx0
r
_
como queramos ver.
Esta formula sigue siendo validad si en lugar de f(y) dy tenemos una medida de Radon
d.
Recordemos que G es una funci on simetrica y que 0 G(x, y)
C
|xy|
N2
.
Sea w la solucion de:
_
w = 0 en B
r
(x
0
)
w = u
0
en B
r
(x
0
)
y consideremos la funci on w u
0
, que verica:
(w u
0
) = w + u
0
= u
0
= en B
r
(x
0
)
w u
0
= 0 en B
r
(x
0
)
Entonces si y B
r
(x
0
),
w(y) u
0
(y) =
_
Br(x0)
G
x0,r
(x, y) d
x
G
x0,r
(x, y) es no acotada para x = y. Si u
0
> 0 en B
t
(y) B
r
(x
0
) (donde t es proporcional
a r), ah es 0 y la integral se calcula sobre B
r
(x
0
) B
t
(y).
Por la no degeneracion de u
0
, puedo elegir y B
hr
(x
0
) con 0 < h < 1, tal que:
u
0
(y) c
0
hr
En B
hr
(y),
u
0
(x) u
0
(y) Lhr c
0
hr Lhr = hr(c
0
L)
donde L es la constante de Lipschitz de u
0
. Luego, u
0
(x) > 0 si tomamos < c
0
/L.
Como = 0 en u
0
> 0 B
hr
(y) tenemos:
w(y) u
0
(y) =
_
Br(x0)\B
hr
(y)
G
x0,r
(x, y) d
x
Teniendo en cuenta que G
x0,r
(x, y) =
1
r
N2
G(
xx0
r
,
yx0
r
) y la estimaci on
[
x x
0
r

y x
0
r
[ =
[x y[
r

hr
r
= h
se tiene que en B
r
(x
0
) B
hr
(y), G
x0,r
(x, y)
C(h)
r
N2
.
Luego,
w(y) u
0
(y)
C(h)
r
N2
_
Br(x0)
d (3.3.6)
Por otro lado, como w = 0 u
0
en B
r
(x
0
) y w = u
0
en B
r
(x
0
), por el principio de
comparaci on resulta que w u
0
, y se tiene:
w(x
0
) =
_
B
r/2
(x0)
w
_
B
r/2
(x0)
u
0
c
0
r
2
donde la ultima desigualdad, vale por la no degeneracion de u
0
.
Por Harnack, si 0 < h < 1/2,
w(y) c
N
w(x
0
) cr.
Ademas se tiene
u
0
(y) L[y x
0
[ Lhr.
Por lo tanto,
w(y) u
0
(y) cr Lhr = (c Lh)r
c
2
r, si elijo h <
c
2L
. (3.3.7)
De (3.3.6) y (3.3.7) tenemos,
cr
2
w(y) u
0
(y)
C(h)
r
N2
_
Br(x0)
d
y por lo tanto
_
Br(x0)
d Cr
N1
.
Corolario 3.3.1. es absolutamente continua con respecto a H
N1
u
0
> 0 y existe q(x)
boreliana denida en u
0
> 0 y c, C > 0 tales que c q(x) C y
= q(x)H
N1
u
0
> 0.
Demostraci on. Sea u
0
> 0 con H
N1
() = 0. Queremos ver que () = 0.
Como H
N1
() = 0, dado > 0, y un cubrimiento C
j
de con diamC
j
y
_
diamCj
2
_
N1
< .
Sea x
j
C
j
y
j
= diamC
j
C
j
B
j
(x
j
).
Entonces,
_
_
Cj
d
_
B
j
(xj)
d c
N1
j
c2
N1
.
Como es arbitrario se tiene que () = 0.
Por lo tanto, es absolutamente continua con respecto a H
N1
u
0
> 0. Por el teorema
de Radon-Nikodym, existe q(x) tal que = q(x)H
N1
u
0
> 0.
Veamos ahora que 0 < c q(x
0
) C < para H
N1
a.e. x
0
u > 0. En efecto,
para H
N1
ae x
0
u > 0 tenemos:
q(x
0
) = lm
r0
Br(x0){u0>0}
q(x)dH
N1
= lm
r0
_
Br(x0){u0>0}
q(x)dH
N1
H
N1
(B
r
(x
0
) u
0
> 0)
=
=
_
Br(x0)
d
r
N1
r
N1
H
N1
(B
r
(x
0
) u
0
> 0)
Ambos factores de la ultima igualdad, ya fueron acotados por arriba y por abajo por
constantes positivas. Por lo tanto, se tienen las cotas superior e inferior de q(x).
En este punto tenemos que para toda C
0
(B
1/8
),
_
{u0>0}
u
0
=
_
red
{u0>0}
q(x)(x) dH
N1
.
Con el n de probar que q(x) =
2M para H
N1
a.e. x
0
u
0
> 0 probaremos el
siguiente desarrollo asint otico.
Proposici on 3.3.6. Si x
0

red
u
0
> 0, entonces
u
0
(x) =
2Mx x
0
, (x
0
))
+
+o([x x
0
[)
donde (x
0
) es la normal unitaria interior a u
0
> 0 en x
0
, en el sentido de la medida.
Idea de la demostracion.
Sin perdida de generalidad, podemos suponer que (x
0
) = e
1
y x
0
= 0.
Por lo tanto, queremos probar que u
0
(x) = x
+
1
+o([x[), con =
2M.
Sea x = y, con [y[ R y 0, y sea u
(y) =
1
u
0
(y).
Si u
0
satisface el desarrollo anterior, tenemos que:
u
(y) =
1
y
+
1
+o([y[) = y
+
1
+
1
o([y[)
Entonces u
y
+
1
uniformemente sobre compactos de R
N
, pues,
1
o([y[) =
o(|y|)
|y|
[y[ con-
verge a 0, uniformemente sobre compactos, y viceversa. En efecto, considerando la igualdad,
(x = y con = [x[ y [y[ = 1)
u(x) x
+
1
[x[
=
u
(y) y
+
1
[y[
=
u
(y) y
+
1
[y[
= u
(y) y
+
1
.
Como se tiene que u
y
+
1
N
, entonces u(x) =
x
+
1
+o([x[).
Para poder probar entonces el desarrollo asint otico deberemos estudiar la familia u
con
mas detenimiento.
3.4. Blow ups
Lema 3.4.1. Sea x
j
u
0
> 0, x
j
x
0
,
j
0, y u
j
(x) =
1
j
u
0
(x
j
+
j
x). Entonces:
1. u
j
C(R
j
), [u
j
[ L en R
j
y u
j
= 0 en R
j
u
j
> 0 donde R
j
es tal que
K R
N
, j
0
tal que j j
0
K R
j
.
2. 0 u
j
> 0.
3. Existe una constante c
0
> 0 tal que K R
N
,
0
> 0, j
0
tal que si j j
0
, 0 < <
0
y x u
j
> 0 K, entonces
sup
B( x)
u
j
c
0
3.4 Blow ups 97

Demostraci on.
1. Sea r
0
tal que B
r0
(x
j
) B
1/8
. Sea y R
j
= B
r0/j
, entonces x
j
+
j
y B
r0
(x
j
).
Como u
0
es continua en B
r0
(x
j
), resulta que u
j
C(R
j
).
Por otro lado,
[u
j
(y)[ = [u
0
(x
j
+
j
y)[ L.
Finalmente, como para y R
j
se tiene u
j
(y) =
j
u(x
j
+
j
y) e y u
j
> 0 si y
solo si x
j
+
j
y u
0
> 0, se tiene que u
j
(y) = 0 para y R
j
u
j
> 0.
2. y u
j
> 0 x
j
+
j
y u
0
> 0. Por lo tanto, 0 u
j
> 0 pues x
j
u
0
> 0
3. Sea K R
N
y j
0
tal que R
j
K si j j
0
. Dado y u
j
> 0 K consideramos
x
j
= x
j
+
j
y. Entonces,
u
0
( x
j
) = u
0
(x
j
+
j
y) =
j
u
j
( y) > 0
Sea j
1
tal que dist( x
j
, u
0
> 0) < 1/8 para j j
1
. Entonces,
sup
Br( xj)
u
0
c
0
r, si r r
0
Luego si 0 <
0
,
sup
B( y)
u
j
= sup
yB( y)
u
0
(x
j
+
j
y)
j
= sup
B
( xj)
u
0
(x)
c
0
j
= c
0
,
donde la ultima desigualdad vale j j
2
tal que
j
0
r
0
si j j
2
.
Lema 3.4.2. Sea u
j
una familia con las propiedades (1), (2) y (3) del lema anterior.
Entonces, existe una subsucesi on u
jn
y una funci on u
C(R
N
) con [u
[ L en R
N
tal que:
1. u
jn
u
, uniformemente sobre compactos.

2. u
jn
> 0 u
> 0 y u
jn
> 0 u
> 0 localmente en distancia de

Hausdor.
3. u
es localmente uniformemente no degenerada sobre u
> 0
4.
{ujn
>0}

{u>0}
a. e.
5. u
jn
u
a. e.
Demostraci on.
1. Sea K un compacto de R
N
. Por la propiedad (1) del Lema 3.4.1, j
0
tal que j j
0
,
K R
j
y tenemos:
u
j
C(K)
[u
j
[ L en K
Desarrollando u
j
alrededor de 0, y usando que [u
j
[ L tenemos:
[u
j
(x)[ L[x[ x K.
Luego, por Arzela-Ascoli, existe una subsucesion u
j
k
k
que converge uniformemente en
K. Por un metodo diagonal standard (tomando sucesivamente K = B
n
se tiene una funci on
u
C(R
N
) con [u
[ L en R
N
tal que u
jn
u
uniformemente sobre compactos de

R
N
.
2. Sea K R
N
. Veamos que > 0, n
0
tal que si n n
0
vale:
i) K u
jn
> 0 ^
(u
> 0)
ii) K u
> 0 ^
(u
jn
> 0)
Probemos i).
Si no valiera i), existira una subsucesion que seguiremos llamando j
n
, y puntos
x
jn
K u
jn
> 0 tales que:
o bien B
(x
jn
) u
> 0, o bien B
(x
jn
) u
= 0.
Tomando subsucesiones, podemos suponer que solo ocurre una de las dos opciones n.
Supongamos que B
(x
jn
) u
> 0, n. Podemos suponer que x

jn
x con B
( x)
u
> 0. Como u
jn
u
en K, resulta que u
jn
(x
jn
) u
( x). Pero u
jn
(x
jn
) = 0 lo que
implica que u
( x) = 0, lo que es una contradiccion.

Supongamos ahora que B
(x
jn
) u
= 0, n. Como antes, podemos suponer que

x
jn
x con B
( x) u
= 0. Sea y
jn
B
/2
(x
jn
) tal que u
jn
(y
jn
) c
0
/2. Podemos
suponer que y
jn
y B
( x). Pero entonces, c

0
/2 u
jn
(y
jn
) u
( y) = 0, lo que es una
contradiccion.
Para probar ii) volvemos a razonar por el absurdo. Si ii) no fuera cierto existira una
subsucesion que sigo llamando j
n
y puntos x
jn
K u
> 0 tales que

o bien B
(x
jn
) u
jn
> 0, o bien B
(x
jn
) u
jn
= 0.
Como antes, podemos suponer que x
jn
x u
> 0, y que una de las dos opciones

es valida para todo n.
3.4 Blow ups 99
Si B
(x
jn
) u
jn
> 0 para todo n, se tiene que u
jn
= 0 en B
(x
jn
) n. Como
u
jn
u
, se tiene que u
= 0 en B
/2
( x). Por lo tanto, u
0 o u
> 0 en B
/2
( x) lo
que contradice el hecho de que x u
> 0.
Supongamos, por el contrario, que B
(x
jn
) u
jn
= 0 n. Entonces u
jn
(x) = 0 en
B
(x
jn
). Como x
jn
K u
> 0, podemos suponer que x

jn
x u
> 0.
Como u
jn
u
en K, se sigue que u
0 en B
( x), lo que contradice el hecho de que

x u
> 0.
La demostracion de la convergencia de los conjuntos de positividad se realiza en forma
analoga.
3. Queremos ver que u
es localmente uniformemente no degenerada, es decir, que dado

K R
N
existen C
0
> 0 y r
0
> 0 tal que si x
0
est a en K u
> 0 se cumple que,

sup
Br(x0)
u
C
0
r 0 < r r
0
.
Sean K R
N
y x
0
en K u
> 0. Como vimos en 2., u

jn
> 0 u
> 0
localmente en distancia de Hausdor. Entonces, existe una sucesion x
jn
nN
con x
jn
en
u
jn
> 0 y x
jn
x
0
.
Por hipotesis, sabemos que dado
0
> 0 existen C
0
> 0 y n
0
= n
0
(K,
0
) tal que si n n
0
y x K u
jn
> 0 tenemos que,
sup
B( x)
u
jn
C
0
0 <
0
.
Ahora, como x
jn
est a en K u
jn
> 0 tenemos que si n n
0
,
sup
B(xjn
)
u
jn
C
0
0 <
0
.
Sea con 0 <
0
. Como u
jn
es continua en K, existe y
jn
en B
(x
jn
) con u
jn
(y
jn
) C
0
.
Podemos suponer, va subsucesion, que y
jn
y
0
. Por lo tanto, como u
jn
nN
converge a
u
uniformemente sobre compactos tenemos que,

u
(y
0
) C
0
.
Luego, como y
0
est a en B
(x
0
), tomando C
0
= C
0
y r
0
=
0
tenemos que,
sup
B(x0)
u
C
0
r 0 < r r
0
.
4. Primero veamos que [u
> 0[ = 0, lo que implica que basta demostrar la convergencia

de
{ujn
>0}
a
{u>0}
en casi todo punto de u
> 0 u
= 0
.
Como
{u>0}
es localmente integrable, por el teorema de diferenciacion de Lebesgue,
sabemos que para casi todo x R
N
se tiene,
1
[B
r
( x)[
_
Br( x)
{u>0}
(x)dx
r0
+
{u>0}
( x).
Sea x en u
> 0 y supongamos que x es uno de los puntos donde se tiene esta

convergencia, es decir
1
[B
r
( x)[
_
Br( x)
{u>0}
(x)dx
r0
+
0.
Por otro lado,
1
[B
r
( x)[
_
Br( x)
{u>0}
(x)dx =
[B
r
( x) u
> 0[
[B
r
( x)[
.
Ahora bien, razonando como en la demostracion de la Proposicion 3.3.4, la no degene-
racion de u
y el hecho de que sea uniformemente Lipschitz implican que existen C > 0 y

r
0
> 0 tales que si 0 < r r
0
,
C[B
r
( x)[ [B
r
( x) u
> 0[.
Por lo tanto,
1
[B
r
( x)[
_
Br( x)
{u>0}
(x)dx C > 0,
lo que es una contradiccion. Luego, [u
> 0[ = 0.
Pasemos a probar ahora la convergencia de las caractersticas en casi todo punto de u
>
0.
Sea x en u
> 0. Por la continuidad de u
, existe > 0 y C > 0 tal que u
C
en B
(x). Entonces, como u

jn
converge uniformemente a u
en K, podemos concluir que

u
jn

C
2
en B
(x) si n n
0
. Es decir, existe > 0 para el cual se cumple que,
B
(x) u
> 0 y B
(x) u
jn
> 0 si n n
0
.
As, tenemos que,
{ujn
>0}
(x) = 1 si n n
0
y
{u>0}
(x) = 1.
Luego,
{ujn
>0}
(x)
n+
{u>0}
(x).
Probemos ahora la convergencia en casi todo punto de u
= 0
.
Sea x u
= 0
y > 0 tal que B

2
(x) u
= 0. Veamos que B
(x) u
jn
= 0
si n n
0
. En efecto, sabemos que,
K u
jn
> 0 ^
(u
> 0) si n n
0
.
Entonces,
K ^
(u
jn
> 0) ^
2
(u
> 0) si n n
0
.
3.4 Blow ups 101
Supongamos que B
(x) u
jn
= 0 para alg un n n
0
. Entonces, como existe y en B
(x)
tal que u
jn
(y) > 0, tenemos que x est a en ^
(u
jn
> 0) y, por lo tanto, en ^
2
(u
> 0).
Luego, podemos concluir que,
B
2
(x) u
> 0 ,= ,
lo que es una contradiccion.
As, como B
(x) u
jn
= 0 si n n
0
, tenemos que,
{ujn
>0}
(x) = 0 si n n
0
y
{u>0}
(x) = 0.
Luego,
{ujn
>0}
(x)
n+
{u>0}
(x).
5. Como [u
> 0[ = 0, basta probar la convergencia de u

jn
a u
en u
> 0 y en
u
= 0
.
Sea entonces x en u
= 0
y > 0 tal que B

2
(x) u
= 0. Claramente, u
(x) =
0.
Por otro lado, como vimos en 4., existe n
0
N tal que u
jn
= 0 en B
(x) para todo n n

0
.
Entonces, u
jn
(x) = 0 para todo n n
0
.
Luego, tenemos que,
u
jn
(x)
n+
u
(x).
Sea ahora x en u
> 0, como vimos en 4., existen > 0 y n

0
N tal que B
(x)
u
jn
> 0 si n n
0
; y ademas, B
(x) u
> 0. Como u
jn
u
es armonica en B
(x),
por las estimaciones de derivadas tenemos que,
[u
jn
(x) u
(x)[ = [(u
jn
u
)(x)[
C
N
| u
jn
u
|
L
(B
(x))
.
Ahora, como | u
jn
u
|
L
(B
(x))

n+
0 concluimos que,
u
jn
(x)
n+
u
(x).
Ahora estamos en condiciones de probar el siguiente teorema.
Teorema 3.4.1. Sean x
0
u
0
> 0, u
j
(x) =
1
j
u
0
(x
0
+
j
x) con
j
0 tales que
u
j
u

N
. Entonces,
1. u
es un minimizante local de J en R
N
.
2. Si, adem as, x
0

red
u
0
> 0, se tiene que u
(x) = x, (x
0
))
+
donde (x
0
) es la
normal unitaria interior a u
0
> 0 en x
0
en el sentido de la medida.
Demostraci on.
1. Sea R
N
con borde Lipschitz y v u
+ H
1
0
(). Queremos ver que J
(u
)
J
(v).
Consideremos
h
= x : d(x, ) > h y
h
en C
(R
N
) tal que
h
= 0 en
2h
,
h
= 1 en R
N

h
y 0
h
1.
Sea v
j
= v+
h
(u
j
u
). Claramente, v
j
u
j
+H
1
0
(). Entonces, como u
j
es minimizante
tenemos que,
J
(u
j
) J
(v
j
).
Ahora,
J
(u
j
) =
1
2
_
[u
j
[
2
dx +M
_
{uj>0}
dx.
Como u
j
u
a.e. en R
n
y [u
j
[ L para todo j 1, tenemos que
_
[u
j
[
2
dx
j+
_
[u
[
2
dx.
Ademas, como
{uj>0}

{u>0}
en L
1
loc
(R
N
), resulta que
_
{uj>0}
dx
j+
_
{u>0}
dx.
Luego, tenemos que J
(u
j
)
j+
J
(u
).
Por otro lado,
J
(v
j
) =
1
2
_
[v +
h
(u
j
u
) +
h
(u
j
u
)[
2
dx +M
_
{vj>0}
.
Ademas,
[v +
h
(u
j
u
) +
h
(u
j
u
)[
2
[v[
2
a.e. R
N
.
Luego, como [v
j
[ C para todo j, tenemos que
_
[v +
h
(u
j
u
) +
h
(u
j
u
)[
2
dx
j+
_
[v[
2
dx.
3.4 Blow ups 103
Ademas,
_
{vj>0}
dx =
_
2h
{vj>0}
dx +
_
\
2h
{vj>0}
dx
=
_
2h
{v>0}
dx +
_
\
2h
{vj>0}
dx
{v>0}
dx +[
2h
[.
Ahora, como tiene borde Lipschitz, se tiene que [
2h
[ Ah. As, resulta que
_
{vj>0}
dx
_
{v>0}
dx +Ah.
Luego,
J
(u
) lmsup
j+
J
(v
j
) J
(v) + Ah
y, haciendo h 0
+
, concluimos que
J
(u
) J
(v).
2. Sin perdida de generalidad, podemos suponer que x
0
= 0 y (x
0
) = e
1
. Va una
subsucesion, podemos suponer tambien que u
j
jN
satisface 1. 5. del Lema 3.4.2.
Veamos que u
= 0 en x
1
< 0. Supongamos que no, entonces existe x en x
1
< 0 tal
que u
( x) > 0. Por continuidad de u
y por la convergencia uniforme de u

j
jN
, existe
> 0 tal que B
( x) x
1
< 0 u
j
> 0 para todo j j
0
. As, tomando R de manera que
B
( x) B
R
, tenemos que si j j
0
,
[B
( x)[ [B
R
u
j
> 0 x
1
< 0[. (3.4.1)
Por otro lado, sabemos que, como e
1
es la normal interior a u
0
> 0 en el sentido de la
medida, para todo R > 0 tenemos que,
[B
Rj
u
0
> 0 x
1
< 0[
[B
Rj
[

j+
0
Ahora,
[B
R
u
j
> 0 x
1
< 0[ =
_
BR{x1<0}
{uj>0}
(x) dx
=
_
BR{x1<0}
{u0>0}
(
j
x) dx
=
N
j
_
B
j
R
{y1<0}
{u0>0}
(y) dy
=
N
j
[B
jR
y
1
< 0 u
0
> 0[.
Entonces,
[B
R
u
j
> 0 x
1
< 0[
[B
R
[
=
N
j
[B
j R
x
1
< 0 u
0
> 0[
[B
R
[
=
[B
j R
x
1
< 0 u
0
> 0[
[B
j R
[
.
As, tenemos que
[B
R
u
j
> 0 x
1
< 0[
[B
R
[

j+
0
lo que contradice (3.4.1).
Veamos ahora que u
> 0 en x
1
> 0. Por el absurdo, supongamos que existe x en
x
1
> 0 tal que u
( x) = 0. Podemos suponer que x est a en u
= 0
. En efecto, si
x u
> 0, como u
es minimizante local, existe C > 0 tal que,

[u
= 0 B
r
( x)[
[B
r
( x)[
C r > 0.
Tomemos r sucientemente chico de manera que B
r
( x) x
1
> 0. Como [u
> 0[ =
0, existe y u
= 0
B
r
( x).
Lo que vimos es que si x est a en u
> 0, existe y en u
= 0
x
1
> 0.
Entonces, supongamos que x est a en u
= 0
. Como vimos en la demostracion del

Lema 3.4.2 item 4., existen > 0 y j
0
N tales que B
( x) u
j
= 0 para todo j j
0
.
Tomando chico tenemos que B
( x) x
1
< 0. Entonces, si j j
0
tenemos que,
[B
( x)[ [B
R
u
j
= 0 x
1
> 0[. (3.4.2)
Por otro lado, como sabemos que para todo R > 0 tenemos que,
[B
Rj
u
0
= 0 x
1
> 0[
[B
Rj
[

j+
0
y,
[B
R
u
j
= 0 x
1
> 0[
[B
R
[
=
[B
j R
u
0
= 0 x
1
> 0[
[B
jR
[
,
deducimos que,
[B
R
u
j
= 0 x
1
> 0[
j+
0,
lo que contradice (3.4.2).
Entonces, u
> 0 en x
1
> 0 y u
= 0 en x
1
< 0. Ahora, como [u
[ L y u
= 0
en x
1
= 0 resulta que,
u
(x) Lx
1
en x
1
> 0.
3.5 La condici on de frontera libre 105
Extendamos u
en forma impar. Sea

u
(x) =
_
u
(x) si x
1
0
u
(x
1
, x
) si x
1
< 0.
Como u
= 0 en x
1
> 0 se tiene que u
= 0 y [ u
(x)[ L[x
1
[ en R
N
. Entonces,
por el Teorema de Liouville, u
(x) = x, ) + para ciertas constantes , R y R

N
con [[ = 1. Por otro lado, como u
= 0 en x
1
= 0, es inmediato ver que = 0. Como
u
, 0, se tiene > 0. Tomando x = (0,
) donde
R
N1
es tal que = (
1
,
) se ve
que
= 0 y por lo tanto = e
1
. As tenemos que u
(x) = x
1
. Luego,
u
(x) = x
+
1
3.5. La condicion de frontera libre
Veamos que =
2M:
Denamos v(x) := u
((x)) con (x) = (x

1
(x), x
) para x en B
1
. Aqu, en
C
0
(B
1
) con 0 y > 0 en un entorno del origen. Queremos calcular
J(v) =
1
2
_
B1
[v[
2
dx +M
_
B1
{v>0}
dx.
Como v > 0 =
1
(B
+
1
), mediante el cambio de variables y = (x) con [J(x)[ = 1
x1
(x),
tenemos que
_
B1
{v>0}
(x) dx =
_
B
+
1
[J
1
(y)[ dy =
_
B
+
1
_
1
x1
(
1
(y))
_
1
dy.
Como (1
x1
(
1
(y)))
1
= 1 +
x1
(
1
(y)) +O(
2
), nos queda que
_
B1
{v>0}
(x) dx = [B
+
1
[ +
_
B
+
1
x1
(
1
(y)) dy +O(
2
).
Por otro lado,
v
x1
(x) = u
x
1
((x))(1
x1
(x)) y
x
v(x) =
x
u
((x)) u
x
1
((x))
x
(x).
Como
x
u
((x)) = 0 y u
x1
((x)) =
{y1>0}
((x)), resulta que
[v[
2
=
2
{y1>0}
((x))
_
(1
x1
(x))
2
+
2
[
x
(x)[
2
_
=
2
{y1>0}
((x))
_
1 2
x1
(x) +
2
[(x)[
2
_
=
2
{y1>0}
((x))
_
1 2
x1
(x)
_
+O(
2
).
Entonces,
_
B1
[v(x)[
2
dx =
2
_
B1
{y1>0}
((x))
_
1 2
x1
(x)
_
+O(
2
) dx
=
2
_
B1
{y1>0}
((x))
_
1 2
x1
(x)
_
dx +O(
2
)
=
2
_
B
+
1
_
1 2
x1
(
1
(y))
__
1
x1
(
1
(y))
_
1
dy +O(
2
)
=
2
_
B
+
1
_
1 2
x1
(
1
(y))
__
1 +
x1
(
1
(y))
_
dy +O(
2
)
=
2
_
B
+
1
_
1
x1
(
1
(y))
_
dy +O(
2
).
As, nos queda que
J(v) =
_
2
2
+M
_
[B
+
1
[ +
_
M

2
2
_
_
B
+
1
x1
(
1
(y))dy +O(
2
).
Por otro lado,
J(u
) =
1
2
_
B1
{x1>0}
(x) dx +M
_
B1
{u>0}
(x) dx =
_
2
2
+M
_
[B
+
1
[.
Luego, como v = u
en B
1
y u
es minimizante local, tenemos que

0 J(v) J(u
) =
_
M

2
2
_
_
B
+
1
x1
(
1
(y))dy +O(
2
).
Entonces,
_
M

2
2
_
_
B
+
1
x1
(
1
(y)) dy +O() 0.
Ahora,
_
B
+
1
x1
(
1
(y)) dy =
_
1
(B
+
1
)
x1
(x)
_
1
x1
(x)
_
dx =
_
1
(B
+
1
)
x1
(x)dx +O()
=
_
{x1>0}
x1
(x)dx
_
{0<x1<(x)}
x1
(x) dx +O()
=
_
{x1>0}
x1
(x) dx +O() =
_
B
1
(0, x
) dx
+O().
Haciendo tender a 0 tenemos,
_
2
2
M
_
_
B
1
(0, x
)dx
0.
Reemplanzado por en la perturbacion tenemos que,
_
2
2
M
_
_
B
1
(0, x
)dx
0.
Luego,
_
2
2
M
_
_
B
1
(0, x
)dx
= 0,
y, como 0 y > 0 en un entorno del origen, concluimos que
2
2
= M.
Finalmente, probamos que u
0
es solucion del problema de frontera libre en el sentido de
las distribuciones. Esto se deduce inmediatamente del siguiente teorema.
Teorema 3.5.1. Sea x
0

red
u
0
> 0 un punto de Lebesgue para q(x) con la siguiente
propiedad:
lm
r0
+
H
N1
(u
0
> 0 B
r
(x
0
))
H
N1
(B
r
)
= 1 (3.5.1)
donde B
r
es la bola de radio r en R
N1
. Entonces q(x
0
) =
2M.
Observacion 3.5.1. La condici on (3.5.1) es v alida en H
N1
a.e. en
red
u
0
> 0 (ver [4]).
Demostraci on del Teorema 3.5.1. Supongamos, sin perdida de generalidad, que x
0
= 0 y
(x
0
) = e
1
.
Recordemos la caracterizacion que tenemos sobre el Laplaciano de u
0
en sentido debil.
Dada en C
0
(B
1
)
_
B1
u
0
dx =
_
B1{u0>0}
q(x)(x) dH
N1
.
Notar en la igualdad anterior que es indistinto integrar sobre B
1
o cualquier otra bola que
contenga al soporte de .
Veamos mediante el cambio de variable y =
x
j
que informacion obtenemos del Laplaciano
de u
j
.
Dada C
0
(B
R
) deniendo
(x) :=
j
(
x
j
)
obtenemos para valores de
j
sucientemente chicos,
_
BR
u
j
(y)(y) dy =
_
BR
u
0
(
j
y)(y) dy
=
N
j
_
B
j
R
u
0
(x)(
x
j
) dx
=
1N
j
_
B
j
R
{u0>0}
q(x)(
x
j
) dH
N1
=
_
BR{u
j
>0}
q(
j
y)(y) dH
N1
.
(3.5.2)
Ahora, dado que
u
j

2M
{x1>0}
e
1
,
pasando al lmite y posteriormente integrando por partes tenemos que
lm
j
_
BR
u
j
dy =
2M
_
B
+
R
x
1
dy
=
2M
_
B
R
(0, y
) dy
.
Por lo tanto,
2M
_
B
R
(0, y
) dy
= lm
j
_
BR{u
j
>0}
q(
j
y)(y) dH
N1
. (3.5.3)
Por otro lado,
_
BR{u
j
>0}
q(
j
y)(y) dH
N1
= q(0)
_
BR{u
j
>0}
(y) dH
N1
+A
j
(3.5.4)
donde
[A
j
[ C
H
N1
_
B
Rj
u
0
> 0
_
H
N1
(B
Rj
)

_
B
R
j
{u0>0}
[q(x) q(0)[ dH
N1
<
0
(3.5.5)
si j j
0
(
0
).
Tomemos ahora (y) =
s
(y) con
s
(0, y) =
s
(y
) en B
R
[y
1
[ para un > 0 si s
es sucientemente chico. Por la convergencia de B
R
u
j
> 0 a B
R
y
1
= 0 en distancia
de Hausdor, se tiene que
s
(y) =
s
(y
) en B
R
u
j
> 0 para s es sucientemente chico.
De aqu, usando (A1.1.3), (3.5.4), (3.5.5) se tiene para j j
0
,
2M q(0)
_
B
s
(y
) dy
q(0) lmsup
j
_
B
s
(y
) dy
_
BR{u
j
>0}
s
(y
) dH
N1

Por otro lado, si
s
(y
) = 1 en B
Rs
, 0
s
1,
_
B
s
(y
) dy
_
BR{u
j
>0}
s
(y
) dH
N1
_
B
s
(y
) dy
[B
R
[
[B
R
[ H
N1
(B
R
u
j
> 0)
_
BR{u
j
>0}
s
(y
) dH
N1
H
N1
(B
R
u
j
> 0)
= i) +ii) +iii).
Ahora,
i) [B
R
B
Rs
[ CR
N1
s.
y
ii) = [B
R
[
1
H
N1
(B
R
u
j
> 0)
[B
R
[
= [B
R
[
1
H
N1
(B
j R
u
0
> 0)
[B
j R
[
<
si j j
0
independiente de s.
Por otro lado,
iii) H
N1
_
(B
R
B
Rs
) u
j
> 0)
= [B
R
[
H
N1
(B
j R
u
0
> 0)
[B
j R
[
[B
Rs
[
H
N1
(B
j(Rs)
u
0
> 0)
[B
j(Rs)
[
.
De modo que,
iii) [B
R
B
Rs
[ + 2 CR
N2
s + 2
si j j
0
independiente de s.
De aqu que,
lmsup
j
_
B
s
(y
) dy
_
BR{u
j
>0}
s
(y
) dH
N1
C
R
s
y resulta,
2M q(0)
_
B
s
(y
) dy
C
R
s.
Haciendo ahora s tender a 0 tenemos,
2M q(0)
[B
R
[ = 0.
De donde,
q(0) =
2M.
Hemos probado,
Corolario 3.5.6. u
0
es soluci on del problema de frontera libre en el sentido de las distribu-
ciones. Es decir, para toda C
0
(B
1
) se tiene
_
u
0
dx =
2M
_
red
{u0>0}
(x) dH
N1
.
Apendice 1. Problemas
Variacionales
Presentamos aqu algunos problemas variacionales relacionados con los problemas de fron-
tera libre estudiados en estas notas. No pretendemos un tratamiento exhaustivo ni con las
condiciones mas generales posibles.
Teorema A1.1.1. Sean H un espacio de Hilbert, K H, convexo, cerrado y no vaco y
a : H H R una forma bilineal, continua y coerciva, i.e, existen C > 0 y > 0 tal que
1. [a(u, v)[ C|u|
H
|v|
H
para todo (u, v) H H
2. [a(u, v)[ |u|
2
H
para todo u H.
Entonces dado L H
existe un unico u K tal que

a(u, v u) L(v u) (A1.1.1)
para todo v K. Adem as existe c > 0 tal que |u|
H
c |L|
H
.
Si a(u, v) es simetrica, u es un minimizante de
J(u) =
1
2
a(u, u) L(u)
en K si y s olo si u es soluci on de la inecuaci on variacional (A1.1.1).
Demostraci on. Primero supongamos que a(u, v) = u, v) = el producto interno en H.
Como L H
, por el Teorema de Riesz existe h H tal que L(v) = h, v) para toda

v H. Entonces, en este caso, buscamos u K tal que
u, v u) h, v u) para toda v K
lo que es equivalente a
h u, v u) 0 para toda v K.
Veamos que para u K,
|h u|
H
|h v|
H
para toda v K h u, v u) 0 para toda v K.
Es decir, la u buscada es la proyeccion de h sobre el convexo K. En efecto, si
|h u|
H
|h v|
H
para toda v K
se tiene,
|h v|
2
H
= |h u (v u)|
2
H
= |h u|
2
H
+|v u|
2
H
2h u, v u)
|h v|
2
H
+|v u|
2
H
2h u, v u)
para todo v K y por lo tanto,
0 |v u|
2
H
2h u, v u) para toda v K.
Sea w K y v = u+(wu) con 0 1. Por ser K convexo se tiene v K. Entonces,
0 |v u|
2
H
2h u, v u) =
2
|w u|
2
H
2h u, w u)
y por lo tanto,
0 |w u|
2
H
2h u, w u).
Haciendo tender a a 0 obtenemos
h u, w u) 0,
y esto vale para todo w K.
Veamos ahora el recproco. Supondremos que
h u, v u) 0 para toda v K.
Dado v K
|h v|
2
H
= |h u|
2
H
+|v u|
2
H
2h u, v u).
Como
|v u|
2
H
2h u, v u) 0
resulta que
|h v|
2
H
|h u|
2
H
.
Para terminar la demostracion de la existencia en el caso en que a(u, v) = u, v) basta
demostrar el siguiente lema
Lema A1.1.1. Sean H un Hilbert, K H convexo, cerrado y no vaco. Dado h H existe
u K tal que
|h u|
H
|h v|
H
para todo v K.
Demostraci on. Sea =nf
vK
|h v|
H
entonces existe v
n
K tal que
= lm
n
|h v
n
|
H
.
Veamos que v
n
es convergente, para eso, vemos que es una sucesion de Cauchy. Usaremos
la Ley del Paralelogramo, es decir
|a|
2
+|b|
2
=
1
2
_
|a +b|
2
+|a b|
2
.
Tomando a = h v
n
y b = h v
m
resulta que
|h v
n
|
2
H
+|h v
m
|
2
H
=
1
2
_
_
2h (v
n
+v
m
)
_
_
2
H
+
1
2
|v
n
v
m
|
2
H
= 2
_
_
_h
v
n
+v
m
2
_
_
_
2
H
+
1
2
|v
n
v
m
|
2
H
.
Como K es convexo,
vn+vm
2
K, resulta que
|h v
n
|
2
H
+|h v
m
|
2
H
2
2
+
1
2
|v
n
v
m
|
2
H
.
Dado que
|h v
n
|
2
H
+|h v
m
|
2
H
2
2
cuando n, m
tenemos que
|v
n
v
m
|
H
0 cuando n, m
y por lo tanto v
n
es de Cauchy.
Entonces, como K es cerrado existe u K tal que v
n
u cuando n . Luego
= |h u|
H
y por lo tanto
|h u|
H
|h v|
H
para todo v H.
Continuacion de la demostracion del Teorema A1.1.1
Hemos probado la existencia. Veamos ahora la unicidad. La demostracion se har a para el
caso general. Es decir, no usaremos ni siquiera la simetra de a.
Sean u
1
y u
2
soluciones correspondientes a L
1
y L
2
respectivamente. Entonces,
a(u
1
, u
2
u
1
) L
1
(u
2
u
1
) (A1.1.2)
a(u
2
, u
1
u
2
) L
2
(u
1
u
2
) (A1.1.3)
La desigualdad (A1.1.3) equivale a
a(u
2
, u
2
u
1
) L
2
(u
2
u
1
) (A1.1.4)
Restando (A1.1.4) de (A1.1.2) y multiplicando por 1 tenemos,
a(u
1
u
2
, u
1
u
2
) (L
1
L
2
)(u
1
u
2
)
Como a es coerciva con constante ,
|u
1
u
2
|
2
H
a(u
1
u
2
, u
1
u
2
) |L
1
L
2
|
H
|u
1
u
2
|
H
De aqu que
|u
1
u
2
|
H

1
|L
1
L
2
|
H
(A1.1.5)
En particular, si L
1
= L
2
se sigue que u
1
= u
2
. Ademas, si L
2
= 0 se tiene u
2
= 0. Por lo
tanto,
|u|
H

1
|L|
H
Con esto terminamos la demostracion del Teorema A1.1.1 en el caso en que a(u, v) es el
producto interno de H.
Si a(u, v) es simetrica, dene un producto interno en H que es equivalente al usual (por
continuidad y coercividad). De modo que H con el producto escalar a(u, v) resulta un espacio
de Hilbert y L : H R resulta continua para la norma dada por ese producto escalar.
Aplicando el caso anterior, resulta que existe una unica u K tal que
a(u, v u) L(v u) v K.
Ademas, u resulta ser la proyeccion sobre K de h donde h H est a determinado por
L(v) = a(h, v) v K.
Entonces tenemos,
a(h u, h u) a(h v, h v) v K.
De aqu,
2a(h, u) +a(u, u) 2a(h, v) +a(v, v) v K.
Recordando la denicion de h tenemos
J(u) =
1
2
a(u, u) L(u)
1
2
a(v, v) L(v) = J(v) v K.
Es decir, u es un minimizante de J en K.
Facilmente se ve la recproca. Es decir, si u K minimiza J en K se sigue que u es la
solucion de la inequacion variacional (A1.1.1).
S olo nos queda estudiar el caso en el que a(u, v) no es simetrica. Con ese n denimos
a
t
(u, v) = s(u, v) +t(v, v) para todo t R.
donde
s(u, v) =
a(u, v) +a(v, u)
2
y (u, v) =
a(u, v) a(v, u)
2
son la parte simetrica y antisimetrica de a(u, v) respectivamente.
Observar que a
0
(u, v) = s(u, v) y a
1
(u, v) = a(u, v).
Luego, basta ver que existe > 0 tal que si existe una unica solucion para todo L H
cuando t = entonces existe una unica solucion para todo L H
cuando t [, +].
En efectro, dado L H
y t resulta que
a
t
(u, v u) L(v u) v K a
(u, v u) L(v u) (t )(u, v u) v K.

Para w K denimos L
w
: H R como
L
w
(v) = L(v) (t )(w, v).
Observar que L
w
H
para todo w K. Entonces para todo w K existe un unico

u K tal que
a
(u, v u) L
w
(v u) = L(v u) (t )(w, v u) v K.
De esta manera tengo denida una funci on de A : K K, Aw = u.
Entonces, lo que buscamos es un punto jo de A. Como K es completo basta ver que A
es una contraccion si t est a sucientemente cerca de .
Como a
(u, v) es coerciva con constante se tiene de (A1.1.5),

|Aw
1
Aw
2
|
H
= |u
1
u
2
|
H

1
|L
w1
L
w2
|
H
.
Estimemos |L
w1
L
w2
|
H
. Para v K
[(L
w1
L
w2
)(v)[ = [t [[(w
1
w
2
, v)[ C[t [|w
1
w
2
|
H
|v|
H
,
donde C es la constante de continuidad de a(u, v). Entonces,
|L
w1
L
w2
|
H
C[t [|w
1
w
2
|
H
,
de donde,
|Aw
1
Aw
2
|
H

C
[t [|w
1
w
2
|
H
.
Tomando [t [ =

2C
resulta que
|Aw
1
Aw
2
|
H

1
2
|w
1
w
2
|
H
.
Luego A es contractiva y por lo tanto tiene un unico punto jo, como queramos ver.
De esta manera queda demostrado el Teorema A1.1.1.
Como coralario tenemos la existencia de solucion para el Problema del Obst aculo.
Corolario A1.1.1. Sean R
N
abierto y acotado, g H
1
() y L
2
(). Dada f L
2
()
existe una unica u K = v H
1
() : v g H
1
0
() y v en tal que
_
u(v u) dx
_
f(v u) dx v K. (A1.1.6)
Adem as, existe C > 0 tal que
|u|
H
1
()
C
_
|f|
L
2
()
+|g|
H
1
()
_
.
Demostraci on. Denimos a : H
1
() H
1
() R
a(u, v) =
_
uv dx
y L : H
1
() R
L(u) =
_
fu dx.
Observar que L (H
1
0
())
= H
1
() y que a(u, v) es una forma bilineal simetrica y coerciva
en H
1
0
() (por la desigualdad de Poincare). Entonces vamos a plantear nuestro problema en
H
1
0
() y usar el Teorema A1.1.1.
Supongamos que u es solucion de (A1.1.6). Tomemos u = ug y denamos K = Kg
H
1
0
(). Dado v K existe v K tal que v = v g. As,
a( u, v u) = a(u g, v u)
= a(u, v u) a(g, v u)
L(v u) a(g, v u)
= L( v u) a(g, v u).
Luego, si denimos L
g
( v) = L( v) a(g, v), resulta que L
g
H
1
() y u es solucion de
a( u, v u) L
g
( v u) v K. (A1.1.7)
Veamos que si u es solucion de (A1.1.7) entonces u = u + g es solucion de (A1.1.6). En
efecto, dado v K sea v = v g K. Entonces,
a( u, v u) L
g
( v u)
lo que es equivalente a
a(u, v u) L(v u)
y como v es arbitrario, u es solucion de (A1.1.6).
Entonces probamos que encontrar una solucion de (A1.1.6) es equivalente a encontrar una
solucion de (A1.1.7).
Usando el Teorema A1.1.1 resulta que existe una unica solucion del problema (A1.1.7).
Como
| u|
H
1 C|L
g
|
H
1 , |L
g
|
H
1 |L|
H
1 +

C|g|
H
1
donde

C es la constante de la continuidad de a(u, v), se sigue que
|u|
H
1 | u|
H
1 +|g|
H
1 C
_
|L|
H
1 +|g|
H
1
_
.
Con lo cual queda demostrado el Corolario.
Finalmente probaremos una proposicion sobre problemas de minimizaci on asociados a
ecuaciones no lineales. Hay resultados mucho mas generales, pero aqu solo trataremos el caso
que nos interesa en estas notas.
Proposici on A1.1.1. Sea B C
1
(R) tal que existen constantes C
1
, C
2
0 tales que = B
satisface
[(s)[ C
1
+C
2
[s[
2
para todo s R.
Sea u un minimizante del funcional,
J(v) =
1
2
_
[v[
2
dx +
_
B(v) dx (A1.1.8)
en v H
1
() : v = g en . Entonces, u es una soluci on debil de
_
u = (u) en
u = g en .
(A1.1.9)
Demostraci on. Como u es un minimizante de J() tenemos que u H
1
() y u = g en ,
entonces dada C
0
() si denimos v = u+ con > 0 resulta que v H
1
(), v = g en
y ademas
J(u) J(v) = J(u +).
Entonces,
lminf
0
+
J(u +) J(u)
0.
Se tiene,
lminf
0
+
J(u +) J(u)
= lminf
0
+
_
1
2
_
_
[u +[
2
[u[
2
_
dx +
1
_
B(u +) B(u)
_
dx
_
.
Por un lado, facilmente se ve que,
lm
0
+
1
2
_
_
[u +[
2
[u[
2
_
dx =
_
udx.
Entonces, solo falta calcular
lminf
0
+
1
_
B(u +) B(u)
_
dx.
Como B C
1
(R),
B(u +) B(u)
=
_
1
0
(u +t) dt.
Por lo tanto,
B(u +) B(u)
||
_
1
0
_
C
1
+C
2
[u +t[
2
_
dt K
1
+K
2
[u[
2
L
1
(),
y
lm
0
B(u +) B(u)
= (u).
Luego, usando el Teorema de Convergencia Mayorada resulta que,
lm
0
+
1
_
B(u +) B(u)
_
dx =
_
(u)dx.
Por lo tanto,
0 lm
0
+
J(u +) J(u)
=
_
udx +
_
(u)dx.
Si reemplazamos por tenemos,
0
_
udx +
_
(u)dx.
Concluimos que
_
udx +
_
(u)dx = 0
para toda C
0
(), o lo que es lo mismo, u es solcion debil de (A1.1.9).
Apendice 2. Funciones
superarmonicas
En este apendice presentamos resultados para soluciones de u = f con f L
y para
funciones superarmonicas.
A2.1. Estimaciones para soluciones de u = f
Recordemos el siguiente resultado.
Proposici on A2.1.1 (Desigualdad de Harnack). Sea R
N
abierto conexo. Entonces si
u 0 y u = 0 en , dado
existe una constante c que depende de
tal que
u(x) cu(y)
para todo x, y
. En el caso particular en que = B

2r
(x
0
) se tiene,
u(x) 2
N
u(x
0
)
para todo x B
r
(x
0
).
Como corolario se obtiene,
Proposici on A2.1.2. Si f L
(B
2
(0)), u = f en B
2
(0) y u 0, se tiene
u(x) C
N
u(0) +|f|
L
(B2(0))
para todo x B
1
(0), donde C
N
es una constante que depende s olo de la dimensi on.
Y, si f L
(B
2r
(x
0
)), u = f en B
2r
(x
0
) y u 0 se tiene
u(x) C
N
u(x
0
) +r
2
|f|
L
(B4r(x0))
para x B
r
(x
0
). (A2.1.1)
Demostraci on. Sean
f(x) =
_
f(x) si x B
2
(0)
0 si x R
N
B
2
(0)
y
v(x) =
_
R
N
f(y)
C
N
[x y[
N2
dy
_
=
_
B2(0)
f(y)
C
N
[x y[
N2
dy
_
.
Entonces,
v =

f en R
N
,
por lo cual tenemos que
v = f en B
2
(0).
Usando el hecho de que f L
(B
2
(0)) resulta para x B
2
(0),
[v(x)[ |f|
L
(B2(0))
C
N
_
B2(x)
1
[y[
N2
dy
= |f|
L
(B2(0))
C
N
_
B4(0)
1
[y[
N2
dy
= C
N
|f|
L
(B2(0))
.
Consideremos ahora w = u v. Entonces
w = u v = f f = 0 en B
2
(0).
Ademas, usando que u 0 y que [v[ C
N
|f|
L
(B2(0))
en B
2
(0) resulta,
w v C
N
|f|
L
(B2(0))
= K en B
2
(0)
donde K es una constante. As tenemos que,
(w +K) = 0 en B
2
(0) y w +K 0 en B
2
(0).
Aplicando la Desigualdad de Harnack a w +K en B
2
(0) tenemos,
w(x) +K 2
N
w(0) +K en B
1
(0).
O sea,
w(x) 2
N
w(0) + (2
N
1)K en B
1
(0).
Luego si x B
1
(0),
u(x) = w(x) +v(x)
2
N
w(0) + (2
N
1)K +C
N
|f|
L
(B2(0))
= 2
N
w(0) + 2
N
K
= 2
N
u(0) 2
N
v(0) + 2
N
K.
Usando que [v(0)[ K tenemos que
u(x) 2
N
u(0) + 2
N+1
K C
N
u(0) +|f|
L
(B2(0))
A2.1 Estimaciones para soluciones de u = f 123

para todo x B
1
(0).
Ahora, si u 0 y u = f en B
2r
(x
0
) considerando la funci on u(x) = u(x
0
+ rx) para
x B
2
(0), tenemos
u(x) = r
2
u(x
0
+rx) = r
2
f(x
0
+rx) en B
2
(0).
Como f L
(B
2r
(x
0
)), resulta que
u(x) =

f(x) L
(B
2
(0)).
Como u 0 en B
2r
(x
0
), para x B
2
(0) tenemos que u(x) 0. Entonces, usando lo
probado anteriormente, existe una constante C
N
tal que
u(x) C
N
u(0) +|
f|
L
(B2(0))
para todo x B
1
(0).
Si x B
r
(x
0
), podemos escribir x = x
0
+ry para alg un y B
1
(0). Entonces,
u(x) = u(y)
C
N
u(0) +|
f|
L
(B2(0))
= C
N
u(x
0
) +r
2
|f|
L
(B2r(x0))
.
Recordemos el siguiente resultado sobre acotacion de derivadas de funciones armonicas:
Proposici on A2.1.3. Para todo k N existe C
k
> 0 tal que para toda u arm onica en B
1
(0)
(i.e., u = 0 en B
1
(0)),
[D
u(0)[ C
k
|u|
L
1
(B1(0))
para todo = (
1
, . . . ,
N
) con
i
N
0
y [[ =
1
+ +
N
= k.
De aqu se deduce,
k
> 0 tal que si f C
k1
(B
1
(0)) y u es tal
que u = f en B
1
(0), entonces
[D
u(0)[ C
k
_
|u|
L
1
(B1(0))
+|f|
C
k1
(B1(0))
_
.
para todo = (
1
, . . . ,
N
) con
i
N
0
y [[ =
1
+ +
N
= k.
Demostraci on. Sea

f C
k1
(R
N
) tal que

f = f en B
1
(0),

f = 0 fuera de B
2
(0) y
|
f|
C
k1
(R
N
)
C|f|
C
k1
(B1(0))
.
Consideremos
v(x) =
_
f
N
_
(x) =
_
B2(0)
f(y)
C
N
[x y[
N2
dy.
Como v =

f en B
2
(0) tenemos que,
v = f en B
1
(0).
Escribiendo = +e
i
para [[ = k, tenemos que
D
v = D

f

N
x
i
y
N
x
i
C
[x y[
N1
de donde resulta que
[D
v(x)[ =
_
D

f

N
x
i
_
(x)
C
N
|D

f|
L
(B2(0))
.
Consideremos ahora w = u v. Entonces, w = 0 en B
1
(0). Por la Proposicion A2.1.3,
sabemos que existe una constante C
k
> 0 tal que si [[ = k,
[D
w(0)[ C
k
|w|
L
1
(B1(0))
.
Como D
u = D
w +D
v se tiene
[D
u(0)[ [D
w(0)[ +[D
v(0)[ C
k
|w|
L
1
(B1(0))
+C|f|
C
k1
(B1(0))
C
k
|u|
L
1
(B1(0))
+C
k
|v|
L
1
(B1(0))
+C|f|
C
k1
(B1(0))
.
Finalmente, como |v|
L
1
(B1(0))
C|f|
L
(B1(0))
se tiene,
[D
u(0)[ C
k
|u|
L
1
(B1(0))
+|f|
C
k1
(B1(0))
.
Como corolario obtenemos,
k
> 0 tal que si f C
k1
(B
r
(x
0
)) y u
satisface u = f en B
r
(x
0
), entonces
[D
u(x
0
)[
C
k
r
k
_
|u|
L
1
(Br(x0))
r
N
+r
2
k1
j=0
||=j
r
j
|D
f|
L
(Br(x0))
_
A2.2 Funciones superarmonicas 125
Demostraci on. Consideremos, para x B
1
(0) la funci on u(x) = u(x
0
+rx). Entonces
u(x) = r
2
u(x
0
+rx) = r
2
f(x
0
+rx).
Si llamamos

f(x) = r
2
f(x
0
+ rx) se tiene que

f C
k1
(B
1
(0)). Usando la proposicion
anterior, tenemos que, para todo con [[ = k,
[D
u(0)[ C
k
(| u|
L
1
(B1(0))
+|
f|
C
k1
(B1(0))
).
Se tiene D
u(0) = r
k
D
u(x
0
) y
| u|
L
1
(B1(0))
=
_
|x|<1
[u(x
0
+rx)[ dx = r
N
_
Br(x0)
[u(y)[ dy =
|u|
L
1
(Br(x0))
r
N
.
Como para [[ = j se tiene D

f(x) = r
2
r
j
D
f(x
0
+rx) resulta que,
|
f|
C
k1
(B1(0))
r
2
k1
j=0
||=j
r
j
|D
f|
L
(Br(x0))
.
Luego,
[D
u(x
0
)[
C
k
r
k
_
|u|
L
1
(Br(x0)
r
N
+r
2
k1
j=0
||=j
r
j
|D
f|
L
(Br(x0))
_
.
A2.2. Funciones superarmonicas
Denicion A2.2.1. Decimos que u L
1
loc
() es superarmonica si para toda C
0
()
y 0, se tiene
_
u 0.
Proposici on A2.2.1. Sea u superarm onica y sea
r
(x) =
_
Br(x)
u(y) dy. Entonces para cada
x ,
r
(x) es una funci on decreciente de r.
Demostraci on. Sean 0 < R < S,
V (x) =
1
[x[
N2
y P
R
(x) = a
R
[x[
2
+b
R
,
Se tiene que V (x) es armonica fuera del origen y P
R
(x) es un paraboloide.
0 R R
V(x)
P(x)
R
Elegimos los coecientes a
R
y b
R
de modo tal que
_
V (R) = P
R
(R)
V
(R) = P
R
(R),
es decir,
_
1
R
N2
= a
R
R
2
+b
R
(N2)
R
N1
= 2a
R
R.
Entonces resultan a
R
=
N2
2R
N
y b
R
=
1
R
N2
+R
2
a
R
=
N
2R
N2
.
Considerando
V
R
(x) =
_
V (x) P
R
(x) si [x[ < R
0 si [x[ R
tenemos que V
R
C
1,1
loc
(R
N
0).
0 R
A2.2 Funciones superarmonicas 127
Sea ahora = V
S
V
R
C
1,1
0
(R
N
), entonces
= P
R
P
S
> 0 en B
R
(0)
= V
S
= V P
S
> 0 en B
S
(0) B
R
(0)
= 0 en R
N
B
S
(0)
lo que implica que 0 en R
N
y C
1,1
0
(R
N
).
Dado que u es superarmonica,
0
_
u.
Pero, como
= (P
R
P
S
)
BR
P
S

BS\BR
= P
R
BR
P
S

BS
= 2Na
R
BR
+ 2Na
S

BS
=
(N 2)N
R
N

BR
+
N(N 2)
S
N

BS
,
se tiene,
0
_
u = N(N 2)[B
1
[
_
BS
u
_
BR
u
_
.
Por lo que,
BS
u
_
BR
u,
de lo que resulta
S

R
. De modo que
r
(x) es una funci on decreciente de r.
Como u L
1
loc
(), para casi todo x se tiene
r
(x) =
_
Br(x)
u(y) dy u(x) cuando r 0.
Por otro lado, como
r
(x) crece cuando r decrece, existe lm
r0
r
(x) para todo x
(pudiendo ser innito en un subconjunto de medida nula).
De modo que podemos suponer que u est a denido para todo x, tomando como valor de
u(x) a
u(x) = lm
r0
Br(x)
u(y) dy = lm
r0
r
(x).
Se tiene,
Proposici on A2.2.2. Si u L
1
loc
() es superarm onica se tiene que u > es abierto para
todo R.
Demostraci on. El resultado es consecuencia del hecho de que u es lmite de una sucesion
creciente de funciones continuas. En efecto, sea x
0
u > . Si u(x
0
) = +, entonces como
lm
r0
r
(x
0
) = u(x
0
), se tiene para > 0,
r
(x
0
) > si 0 < r r
0
.
Ahora bien, como
r0
es continua,
u(x)
r0
(x)
r0
(x
0
) > si [x x
0
[ < .
Si u(x
0
) < +, como
r
(x
0
) u(x
0
) cuando r 0, dado > 0, existe r
0
tal que si
0 < r r
0
u(x
0
)

2
<
r
(x
0
).
Finalmente, sea > 0 tal que u(x
0
) > y sea > 0 tal que
r0
(x) >
r0
(x
0
)

2
si [x x
0
[ < .
Entonces, si [x x
0
[ < ,
u(x) >
r0
(x) >
r0
(x
0
)

2
> u(x
0
) > .
Por lo tanto, u > es abierto.
A2.3. Continuacion Analtica
Proposici on A2.3.1. Sea u arm onica en abierto conexo. Sea una porci on C
1
del borde
tal que para alguna bola B centrada en se tenga que B y en alg un sistema de
coordenadas B sea el gr aco de una funci on f de las variables (x
1
, , x
N1
) y B
sean los puntos con x
N
> f(x
1
, , x
N1
). Supongamos que u C
1
( ) y tanto u como
u
valen 0 en . Entonces, u = 0 en todo .

Demostraci on. Tomamos la bola B del enunciado. Una parte de esa bola estar a dentro del
dominio y otra parte no. Denimos una extensi on u en dicha bola. Fuera del dominio, vale 0
y dentro del dominio coincide con el valor de u. Puesto que u y su derivada normal se anulan
en el borde, esta extensi on seguira siendo C
1
, pero no neesariamente C
2
.
Tenemos entonces que u C
1
(B) y u = 0 en B . Probaremos que u es armonica en
sentido debil en B. Sea C
0
(B). Entonces,
_
B
u =
_
B
u
A2.3 Continuacion Analtica 129
puesto que fuera de u vale 0. Pero dentro de u coincide con u. Luego, integrando por
partes,
_
B
u =
_
B
u =
_
B
u +
_
(B)
u =
_
(B)
u ,
ya que u es armonica en .
Por otro lado, (B ) =
_
B
_
_
B
_
. Como u = 0 en B y = 0 en
B se tiene
_
B
u = 0.
Por lo tanto, tenemos que u es armonica en sentido debil, luego sera armonica en sentido
clasico. Como vale 0 en la parte de la bola fuera de , por ser analtica se deduce que u vale
cero en toda la bola. Pero entonces, eso implica a su vez que u vale cero en la porcion de la
bola contenida en . Nuevamente, por analiticidad inferimos que u es identicamente cero en
todo .
Como corolario, tenemos que dos funciones con el mismo laplaciano en una region, el mismo
dato y la misma derivada en una porcion del borde son iguales. A diferencia del resultado
clasico de unicidad, esto no requiere que se tenga una coincidencia completa en todo el borde
pero por contrapartida requiere ademas igualdad de derivadas.
Apendice 3. Distribuciones
En este apendice enunciaremos unos pocos resultados sobre distribuciones que usamos en
distintos puntos en estas notas.
A3.1. Deniciones
Sea u L
1
loc
(). A partir de u se dene un funcional
T
u
: C
0
() R de la siguiente forma:
T
u
, ) :=
_
u .
As denido obtenemos un funcional lineal. Como solo se tiene integrabilidad local, no
sera cierto en general que
n
C
0
(),
n
entonces
_
u
n

_
u .
Ahora bien, si todas las funciones
n
tienen soporte contenido en un compacto K, entonces
se tiene,
_
u
n
=
_
K
u
n

_
K
u =
_
u .
En el compacto K la funci on u es integrable y entonces es valido el paso al lmite. Esto
motiva la siguiente denicion:
Denicion A3.1.1. Diremos que
n
en C
0
() si K compacto tal que
sop(
n
) K n y D
n
D
N
N
0
.
Es posible, aunque no lo trataremos aqu, denir una topologa en C
0
() en donde se
obtenga esta nocion de convergencia.
Con esta nueva denicion de convergencia podemos aplicar el paso al lmite antes comen-
tado y tenemos as que T
u
es continua. O sea, T
u
es un funcional lineal y continuo en C
0
().
Por lo tanto, est a en (C
0
())
.
Notacin A3.1.1. T() = C
0
(). Luego, T
() = (C
0
())
.
T
() es llamado el Espacio de Distribuciones en .

Para funciones de C
k
0
() tenemos,
Denicion A3.1.2. Diremos que
n
en C
k
0
() si K compacto tal que sop(
n
)
K n y D
n
D
N
N
0
, [[ k.
Como antes, es posible denir una topologa en C
k
0
() que induzca esta nocion de conver-
gencia.
A3.2. Extension a C
0
()
En realidad T
u
est a denida y es continua en C
0
(). Por lo tanto T
u

_
C
0
()
_
.
Diremos que una distribuci on T es de orden k si para cada compacto K existe una
constante C
K
tal que si C
0
() y sop() K se tiene
[T, )[ C
K
||k
|D
|
L
()
.
Si T es una distribuci on de orden k se puede extender a C
k
0
() por densidad y resulta en
_
C
k
0
()
_
.
A3.3. Caracterizacion de
_
C
0
()
_
Ya sabemos que si u L
1
Loc
() entonces T
u
(C
0
())
. Sin embargo, dentro de este

conjunto es posible encontrar mas elementos. De hecho, se pueden denir operadores T
donde ahora es una medida boreliana y localmente nita (medida de Radon). A saber,
T
, ) :=
_
d.
En caso de tener u L
1
Loc
(), se puede pensar que d = u(x) dx, con dx representando
la medida de Lebesgue. Esta nueva medida resultara Boreliana y localmente nita.
Ademas, T
y T
u
denir an el mismo funcional, en base a c omo se denieron.
El siguiente resultado arma que en (C
0
())
no hay mas cosas que las medidas de Radon

(que eventualmente pueden provenir de funciones localmente integrables).
Teorema A3.3.1 (Teorema de Riesz, ver [4]). (C
0
())
es el conjunto de las medidas de

Radon en .
A2.3 Continuacion Analtica 133
A3.4. Otras deniciones
Denicion A3.4.1 (Derivada Distribucional). Dada T D
() y N
N
0
, se dene D
T
D
() de la siguiente forma, para C
0
(),
D
T, ) := (1)
||
T, D
).
De esta forma, si T = T
u
con u C
k
() se tiene para [[ k,
D
T
u
= T
D
u
.
Denicion A3.4.2. Dadas T
1
, T
2
D
, decimos que T
1
T
2
si C
0
, 0, se tiene
que T
1
, ) T
2
.).
Proposici on A3.4.1. Si T D
, T 0, entonces T es de orden 0.
Demostraci on. Queremos ver que K compacto, C
K
> 0 tal que si C
0
(), sop
K, entonces [T, )[ C
K
[[[[
L
()
.
Sea C
0
(), 1 en K, 0 1. Entonces, tenemos que [[ [[[[
L
()
, lo que
implica que [[[[
L
()
0 y que [[[[
L
()
+ 0.
Como T 0,
T, [[[[
L
()
) 0 y T, [[[[
L
()
+) 0.
Usando la linealidad de T obtenemos que
T, )[[[[
L
()
T, ) 0.
Llamamos C
K
a T, ) y as obtenemos
[T, )[ C
K
[[[[
L
()
.
Corolario A3.4.1. Si T D
, T 0, medida de Radon tal que C
0
, T, ) =
_
d.
Demostraci on. Como T 0, por el resultado anterior deducimos que T es de orden 0. Luego,
T se puede extender a
_
C
0
()
_
, y usando el Teorema de Riesz sabemos que este conjunto se

identica con el conjunto de medidas de Radon en
En realidad, el 0 no es un valor distinguido. Basta con tener una cota a un lado y se
deducira el mismo resultado.
Observacion A3.4.1. Si T C (o sea, T + C 0) (resp. T C (o sea, C T 0)
entonces T es una medida de Radon. En efecto, T = (T + C) C (resp. T = C (C T))
es diferencia de dos medidas de Radon y por lo tanto tambien T es una medida de Radon.
Para mas informacion sobre la teora de distribuciones se puede consultar el libro [8].
Bibliografa
[1] J. D. Buckmaster, An introduction to combustion theory, in The mathematics of com-
bustion, J. D. Buckmaster ed., SIAM, 1985.
[2] L. A. Caarelli, The obstacle problem revisited, Journal of Fourier Analysis and Appli-
cations vol. 4 (45), 1998, 383402.
[3] L. A. Caarelli y S. Salsa, A Geometric Approach to Free Boundary Problems, Grad-
uate Studies in Mathematics Vol. 68, Amer. Math. Soc., 2005.
[4] L. C. Evans y R. F. Gariepy, Measure Theory and Fine Properties of Functions, Studies
in Advanced Mathematics, CRC Press, 1992.
[5] A.Friedman, Variational principles and free-boundary problems, John Wiley and sons,
New York, 1982
[6] D. Gilbarg y N. S. Trudinger, Elliptic Partial Dierential Equations of Second Order,
2da. edici on, Springer, 1983.
[7] G. M. Lieberman, Second Order Parabolic Dierential Equations, World Scientic,
1996.
[8] L. Schwartz, Theorie des distributions (French). Publications de lInstitut de Mathema-
tique de lUniversite de Strasbourg, No. IX-X. Nouvelle edition, entierement corrigee,
refondue et augmentee. Hermann, Paris 1966.
[9] J. L. V azquez, The Porous Medium Equation. Mathematical Theory. Oxford Mathe-
matical Monographs. The Clarendon Press, Oxford University Press, Oxford, 2007.

B Fasc2

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

B Fasc2

Cargado por

Copyright:

Formatos disponibles

Fascculo 2

la ocupada por el hielo. Por ser este un problema

(x) son el ujo de temperatura en el agua y en el hielo respectivamente.

0 en sentido debil y es continua, si C

(x, (x)) = 0 con 0 < x < a.

(x, (x)) = 0 con 0 < x < a,

. Por lo tanto esperamos una solucion a lo sumo

: R R tal que sop(

(s) ds = M, o sea una funci on de la forma

(s) es una primitiva de

() d, resulta una funci on de

existiran una subsucesion u

a la solucion con este dato

es mon otona y acotada (como consecuencia del resultado

de soporte compacto. Sea M |u

y R > 0 tal que u

f(v u) para toda v /,

(kw) 0 resulta que

(). Existira entonces una medida

(). Por lo tanto w W

() si C > 0 tal que [[f[[

Esto es un absurdo pues w(x, 0) es una funci on lineal no constante.

y sea w 0 w C() con w 1 en , w = 1 en

[ dist (x, w > 0) r

, tal que dist (x

(x). Con el n de acotar [W(x)[, sea x W > 0 con [x x[ =

. Sea x 0 < w < h

w > 0 y veamos que ^

0 < w < (C)

(x) del segundo miembro est an contenidas en B

(x)[ con x w > 0 B

(x) w > 0[. Es

w > 0) con 0 < <

w > 0 como antes con bolas de radio .

(x) > 0. En particular, si x est a en B

(x) = 0 para sucientemente chico. Por lo tanto,

), las que est an en C

(resp. ) a la derivada primera de B

si para todo subdominio

(v), para toda v u

(x), 0 es admisible. As,

(s) = 0 si s < 0, resulta que B

). Y, dado que en casi todo

) tal que si <

= 0 ah, y por lo tanto,

(x) . Se tiene una de dos:

> . Por lo tanto, se tiene que [u

Rescalemos y llamemos w a la funci on,

Esto nos dice que B1

> se tiene que dist (x

> . Dado que d

> que realiza esta distancia.

> resulta que

es Lipschitz, con constante L en B

. Para toda constante c

es un minimizante local no negativo de J

> tal que [x

> est a acotada inferiormente en forma independiente de si c

es un minimizante local no negativo de J

> ) < 1/4 entonces,

> . El objetivo ahora es probar que para c

y la acotacion de en terminos de se tiene ^

< C para una constante universal C. En efecto, si x ^