Presentanaranja R

Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
La desigualdad de Faber-Krahn para polgonos

para el p-Laplaciano fraccionario-Dirichlet
Franco Olivares Contador
Profesor Gua: Rajesh Mahadevan
28 de Julio 2016
Agradesco a CONICYT-PCHA/Magster Nacional/2013-22131441

Agradesco a FONDECYT Regular 1130595.
Contenido
1 Introduccion
2 Planteamiento del Problema
3 Principales herramientas
4 Demostracion
5 Resultados auxiliares
6 Referencias
Bibliografa
Introducion
El problema isoperimetrico clasico dice lo siguiente:
entre todos los conjuntos de un volumen dado el que tiene la

menor superficie es la bola.
Siguiendo la lnea de este problema, se han estudiado diversos

problemas isoperimetricos. Por ejemplo, la desigualdad de
Faber-Krahn:
entre todos los conjuntos de un mismo volumen el que minimiza

el primer valor propio Laplaciano Dirichlet es la bola.
Dado que la bola es el conjunto mas simetrico para un volumen

dado, Polya y Szego conjeturaron que entre todos los polgonos de
n-lados de area dada en R2 , el polgono regular minimiza el primer
valor propio del Laplaciano Dirichlet.
Introduccion
A pesar de que la conjetura es facil de intuir, solo se ha

demostrado para los casos n = 3 y n = 4. Para n 5, esta aun
abierta. Hace un tiempo se ha generado interes por el estudio de la
desigualdad de Faber-Krahn para variantes del Laplaciano. En este
contexto, los resultados anteriores han sido generalizados para el
p-Laplaciano (T. Bhattacharya [1] y F. Toledo[18]).
Recientemente se ha estudiado fuertemente versiones no locales del
Laplaciano. En este contexto, se ha demostrado la desigualdad de
Faber-Krahn para p-Laplaciano Fraccionario-Dirichlet (L. Brasco,
E. Lindgren y E. Parini [3]).
Planteamiento del Problema
Consideremos el siguiente funcional:

Para n 1, p (1, ), s (0, 1) y Rn subconjunto abierto y
acotado definimos
|u(x) u(y )|p
Z Z

n+ps
dxdy

|x y |

s Rn n
R Z s,p
1,p () = inf : u W0 () ,
f
|u(x)|p dx

Rn
donde Wfs,p () es un espacio de Sobolev fraccionario adecuado. A

0
este se le llama el primer valor propio del p-Laplaciano
fraccionario-Dirichlet.
Propiedades de s1,p ()
fs,p (), la que es

Este nfimo es alcanzado por una funcion u W 0
no negativa (o no positiva). Se ha demostrado que si esta u es no
negativa entonces u > 0 en , a esta la llamaremos funcion propia
(L. Brasco y Parini [4]).
Propiedades de s1,p ()
Propiedades
Sean Rn conjuntos abiertos y acotados.

1 (Ley de homotecia) s1,p (t) = t sp s1,p () para t > 0.
2 (Invariancia bajo traslacion ) s1,p () = s1,p ( + x) para todo
x Rn .
3 (Invariancia bajo transformacion ortonormal)
s1,p () = s1,p (T ()) para toda transformacion ortonormalT .
4 (Monotonia del dominio) Si A B son abiertos y acotados,
entonces s1,p (B) s1,p (A).
Pregunta y respuesta
Pregunta
Cual es el triangulo (cuadrilatero) que minimiza a s1,p (.), entre
todos los triangulos (cuadrilateros) de area dada?
Respuesta
Demostramos que el unico mnimo de s1,p (.) es un triangulo
equilatero.
Demostramos que el unico mnimo de s1,p (.) es un cuadrado.
Principales herramientas.
Simetrizacion de Steiner .
Desigualdad de Polya-Szego no local.
Continuidad de s1,p respecto la distancia de Hausdorff, en
conjuntos convexo.
Simetrizacion de Steiner de conjuntos

Sin perdida de generalidad, fijemos el hiperplano de simetra xn = 0.
Sea n 2 y Rn un conjunto medible. Denotamos por 0 la
proyeccion de en Rn1 :
0 := {x 0 Rn1 : xn con (x 0 , xn ) },
y, para x 0 Rn1 , denotemos por (x 0 ) la seccion de en x 0 :
(x 0 ) := {xn R : (x 0 , xn ) }, x 0 0
Definicion
Sea Rn un conjunto medible. El conjunto
1 1
? := {x = (x 0 , xn ) : |(x 0 )| < xn < |(x 0 )|, x 0 0 }.
2 2
es la simetrizacion de Steiner de con respecto al hiperplano xn = 0.
Simetrizacion de Steiner de conjuntos
Figure: Simetrizacion de Steiner

Desigualdad de Polya-Szego no local.
Proposicion (Desigualdad de Polya-Szego no local)

.
Sean n 1, 0 < s < 1, 1 p < ns y u W fs,p (). Luego,
0
|u ? (x) u ? (y )|p |u(x) u(y )|p

Z Z Z Z
dxdy dxdy ,
Rn Rn |x y |n+ps Rn Rn |x y |n+ps
donde u ? es la simetrizacion de Steiner de u con respecto a un

hiperplano dado. Si p > 1, entonces la igualdad se cumple si y solo
si u es proporcional a un traslado de una funcion que es simetrica
con respecto al hiperplano.
Distancia de Hausdorff
Definicion
Sea K1 y K2 conjuntos no vacos compactos de Rn . Definimos
(K1 , K2 ) := sup{d(x, K2 ) : x K1 }.
Sea C n la familia de subconjunto compactos de Rn . C n es un

espacio metrico con la distancia de Hausdorff
d H (K1 , K2 ) := max((K1 , K2 ), (K2 , K1 )).
Observacion
d H (Kn , K ) 0 cuando n si y solo si cualquier > 0 existe
n tal que Kn K B(0, ) y K Kn B(0, ) para todo n n .
Distancia de Hausdorff entre dos conjuntos compactos
Figure: Distancia de Hausdorff entre dos conjuntos compactos

Distancia de Hausdorff entre conjuntos abiertos
Para conjuntos abiertos en un conjunto compacto, definimos la

distancia mediante su complemento.
Definicion
Sean O1 , O2 dos conjuntos abiertos del conjunto compacto
B Rn . Su distancia de Hausdorff se define por
dH (O1 , O2 ) = d H (B\O1 , B\O2 ).

Continuidad de s1,p respecto la distancia de Hausdorff, en

convexos
Proposicion
Sea B un conjunto compacto en Rn y n una familia de

subconjuntos abiertos y convexos de B que converge, para la
distancia de Hausdorff, a un conjunto . Ademas, asuma que
existe un r > 0 tal que B(0, r ) n y B(0, r ) . Entonces,
s1,p () = limn s1,p (n ).
Demostracion del caso del triangulo
Sea M un triangulo arbitrario. Definimos M1 =M y sucesivamente,

Mn+1 como la simetrizacion de Steiner de Mn con respecto a la
mediatriz (recta perpendicular a un segmento que se traza en su
punto medio) a uno de sus lados (al lado con respecto al que no
existe simetra). La sucesion {Mn } converge a un triangulo
equilatero con respecto a la distancia Hausdorff.
Figure: sucesion triangulos

Sea un una funcion propia normalizada para el primer valor propio

p-Laplaciano Dirichle fraccionario sobre Tn . Luego, por
desigualdad de Polya-Szego no local tenemos que
|un (x) un (y )|p

Z Z
s
1,p (Tn ) = dxdy
Rn Rn |x y |n+ps
|un? (x) un? (y )|p
Z Z
n+ps
dxdy s1,p (Tn+1 )
R n R n |x y |
para cada n N esto se justifica debido a que la norma Lp se

conserva bajo simetrizacion de Steiner.
Debido a que el inradio crece y el circunradio decrece bajo

simetrizacion de Steiner, podemos probar que existe una bola fija
contenida en todos los triangulos Tn y que todos los triangulos Tn
estan contenido en una bola fija. Por la continuidad de s1,p en el
caso convexo respecto la distancia Hausdorff tenemos que
s1,p (T ) = lim s1,p (Tn ) s1,p (T1 ) .

n
Demostracion del caso del cuadrilatero
Dado un cuadrilatero se puede construir una sucesion que converge

a un cuadrado, respecto a la distancia Hausdorff, dicha sucesion se
construye, alternando una simetrizacion respecto a la mediatriz de
un lado y posteriormente respecto a una mediatriz de una diagonal,
Demostracion del resultado del caso del cuadrilatero
Figure: sucesion de cuadrilateros

Demostracion del caso del cuadrilatero
Este hecho junto con un razonamiento similar al caso del triangulo

conduce a la desigualdad Faber-Krahn para cuadrilateros.
Demostracion de la unicidad
Ahora trataremos el tema de la unicidad. Suponga que T es

cualquier triangulo en que el mnimo es alcanzado en la
desigualdad de Faber-Krahn. Sea T un triangulo no equilatero.
As, T no es simetrico respecto a una mediatriz L de alguno de sus
lados l. Sea T ? la simetrizacion de Steiner de T respecto a L. Sea
u la funcion propia normalizada de s1,p (T ). Aplicando la
Desigualdad de Polya-Szego no local y la invariancia de norma Lp
bajo simetrizacion de Steiner, obtenemos que
|u ? (x) u ? (y )|p
Z Z
s ?
1,p (T ) dxdy
n n |x y |n+ps
ZR ZR
|u(x) u(y )|p
n+ps
dxdy = s1,p (T ) .
Rn Rn |x y |
Demostracion de la unicidad
Esto significa que existe igualdad en la desigualdad de

Polya-Szego no local y as, obtenemos que u es un translado de u ? .
La primera funcion propia u cumple u > 0 en T , as
T = {x : u(x) > 0} = {x : u ? (x y ) > 0}

= {x : u(x y ) > 0}? = T ? + y .
T ? es simetrico respecto a la mediatriz L, pero como T y T ? son

traslados uno del otro, entonces, T necesariamente debe ser
simetrico con respecto a L. Esto da una contradiccion. As, el
unico mnimo es el triangulo equilatero.
La unicidad en el caso del cuadrilatero es completamente analogo
al caso de los triangulos.
Espacios de Sobolev fraccionario
Definicion
Sea p (1, ) y s (0, 1), definimos el espacio Sobolev
fraccionario W s,p () como sigue
W s,p (Rn ) = {u Lp (Rn ) : [u]W s,p (Rn ) < }
donde a
1
|u(x) u(y )|p
Z Z p
[u]W s,p (Rn ) := dxdy
Rn Rn |x y |n+ps
se le llama seminorma de Gagliardo de u.

El espacio W s,p (Rn ) con la norma
kukW s,p (Rn ) := [u]W s,p (Rn ) + kukLp (Rn ) (5.1)
es Banach y Reflexivo. Ahora definiremos el espacio de Sobolev

fraccionario con el que trabajaremos posteriormente.
Definicion
El espacio Wfs,p () esta definido como la clausura de C ()
0 0
sobre W s,p (Rn ) con respecto a la norma (5.1).
Como W fs,p () es un subespacio cerrado de W s,p (Rn ), luego es un

0
espacio Banach y reflexivo.
Proposicion (Desigualdad de Poincare para la seminorma de

Gagliardo.)
Sea 1 p < y s (0, 1), Rn , un conjunto abierto y
acotado, entonces,
kukpp In,s,p ()[u]pW s,p (Rn ) para u C0 (),
donde la cantidad geometrica In,s,p () esta definida por
diam( B)n+sp
In,s,p () = inf{ : B Rn \ es una bola }.
|B|
Observacion
El resultado anterior muestra que para un conjunto abierto y
acotado Rn el espacio W fs,p () puede ser equivalentemente
0
definido como la clausura de C0 () sobre W s,p (Rn ) con respecto
a la seminorma [.]W s,p (Rn ) .
Theorem (Desigualdad del Tipo Sobolev fraccionario)

Sea 0 < s < 1 y p [1, ) tal que sp < n. Entonces existe una
constante positiva C = C (n, s, p) tal que, para cualquier funcion
medible f : Rn R con soporte compacto, tenemos
|f (x) f (y )|p
Z Z
p
kf kLp (Rn ) C n+sp
dxdy = C [f ]pW s,p (Rn )
Rn Rn |x y |
donde p = p (n, s) es llamado exponente fraccionario crtico y es

np
igual a nsp . Consecuentemente, el espacio W s,p (Rn ) esta
continuamente incluido en Lq (Rn ) para cualquier q [p, p ].
Theorem (Teorema de Rellich-Kondrachov Fraccionario)

Sean p [1, ) y s (0, 1), Rn un conjunto abierto y
acotado. Sea {un } W fs,p () una sucesion acotada, es decir,
0
sup{kun kWfs,p () : n N} < .
0
Entonces existe una subsucesion {unk }kN que converge
fuertemente en Lp () a una funcion u. Ademas, si p > 1 entonces
uW fs,p ().
0
Propiedades adicionales de s1,p
Observacion
Por la desigualdad de Poincaire para la seminorma de Gagliardo,
tenemos que s1,p () es acotado inferiormente.
Observacion
Por Teorema de Rellich-Kondrachov Fraccionario, se puede
demostrar que el nfimo de la definicion de s1,p es un mnimo y por
homogeneidad se puede escribir como
s1,p () = inf{[u]pW s,p () : u W

fs,p (), kukLp () = 1}.
0
Ecuacion de Euler-Lagrange
Existe una funcion u Wfs,p (), u 6= 0 y u = 0 en Rn \ que

0
minimiza (1). Ademas satisface la ecuacion de Euler-Lagrange
R R |u(x)u(y )|p2 (u(x)u(y ))((x)(y ))
Rn Rn |xy |n+ps dxdy =
p2
R
1 Rn |u(x)| u(x)(x)dx,
fs,p (), que es justamente la forma variacional de

para cada W 0
(p ) u = |u|p2 u, donde
s
|u(x)u(y )|p2 (u(x)u(y ))

(p )s u(x) := 2 lim0+
R
{y Rn :|xy |} |xy |n+ps dy .
p-Laplaciano fraccionario-Dirichlet es no local
El operador (p )s u es claramente no local, ya que para conocer

su valor en x se requiere el conocimiento de u fuera de una
vecindad de x. Lo llamaremos p-Laplaciano fraccionario-Dirichlet.
Definicion de cuerpo convexo
Definicion
Se dira que un subconjunto K de Rn es un cuerpo convexo si es
compacto y convexo. Se dira que es un cuerpo convexo propio si
su interior es no vaco, en otro caso, impropio. El inradio r (K ) y el
circunradio R(K ) son, respectivamente, el maximo radio de las
bolas contenidas en K y el mnimo radio de las bolas que
contienen a K .
La simetrizacion de Steiner de conjuntos y sus propiedades
La simetrizacion de Steiner de conjuntos tiene las siguientes

propiedades
Propiedades
1 Si K V , entonces K ? V ? .
2 Si K es un cuerpo convexo, entonces |K | = |K |.
3 Si K es un cuerpo convexo propio, entonces r (K ) r (K ? ).
4 Si K es un cuerpo convexo, entonces R(K ? ) R(K ).
La simetrizacion de Steiner de funciones y sus propiedades

La simetrizacion de Steiner de funciones tiene las siguientes
propiedades .
Propiedades
1
A? = (A )? and {x : f (x) t}? = {x : f ? (x) t}.

2 Sea : R+ R+ una funcion creciente. Entonces,
( f )? = f ? .
3 Sea f una funcion funciones medibles no negativa definida en

que se desvanece en . Sea F : R+ R+ una funcion
medible. Entonces,
Z Z
F (f (x))dx = F (f ? (x))dx.
?
Desigualdad de Riesz y su caso de igualdad para funcion

central fija
Para f una funcion real medible en Rn , se puede demostrar que
Z
f (x) = {y :f (y )>t}(x) dt.
0
(representacion de capa de pastel).
Propiedades
Sea f , g y h Zfunciones
Z medibles no negativas en Rn . Entonces, con
I (f , g , h) = f (x)g (x y )h(y ) dxdy , tenemos
Rn Rn
I (f , g , h) I (f ? , g ? , h? ).
Ademas, si g es estrictamente simetricamente decreciente,

entonces existe igualdad en la desigualdad de Riesz si y solo si
f (x) = f ? (x y ) y h(x) = h? (x y ) c.t.p. para algun y Rn .
Demostracion del caso de igualdad para funcion central fija
Debido a las hipotesis, se puede usar el teorema de representacion

capa de pastel y teorema de Fubini para obtener que
Z Z
I (f , g , h) = f (x)g (x y )h(y )dxdy
ZR ZR Z Z Z
= {f >s} (x)gr (x y ){h>t} (y )dsd(r )dtdxdy
ZR RZ 0Z 0
= I ({f >s} , gr , {h>t} )dsd(r )dt.
0 0
De la misma forma
Z Z Z

I (f , g , h ) = I ({f >s} , gr , {h >t} )dsddt,
0 0

Ahora, la igualdad en la desigualdad de Riesz implica que
I ({f >s} , gr , {h>t} ) = I ({f >s} , gr , {h >t} ) c.t.p , s, t.
Usando los siguientes hechos:

R
1 z 7
R {f >s0 } (y + z){h>t0 } (y )dy es una funcion no
negativa y continua.
2 Sea J
s0 el intervalo mas pequeno tal que |As0 Js0 | = |As0 | y
Jt0 el intervalo mas pequeno tal que |Bt0 Jt0 | = |Bt0 |.
Entonces,R el intervalo mas pequeno que contiene a
{z R : R {f >s0 } (y + z){h>t0 } (y )dy > 0} tiene longitud
igual a |Js0 |+|Jt0 |,
se puede demostrar la siguiente afirmacion
Si I ({f >s} , gr , {h>t} ) = I ({f >s} , gr , {h >t} ) c.t.p. r , s, t.
Entonces para todo s, r se tiene que {f > s} y {h > t} son
intervalos concentricos
Dejando fijo el parametro de los conjuntos de nivel de h, variando

el de los f y usando la afirmacion anterior se deduce que, casi todo
los intervalos {f > s} tienen el mismo centro (el centro del
conjunto de nivel de h con parametro recien fijado). Luego,
{f > s} y {f > s} son traslados uno del otro por un vector
independiente del nivel s. Esto significa f = f salvo por una
traslacion.
Siguiendo un procedimiento similar se concluye que h = h salvo
por una traslacion.
Ahora, consideremos f , g y h como funciones sobre Rn .

Z Z
f (x 0 , xn )g (x 0 y 0 , xn yn )h(y 0 , yn )dxn dyn dx 0 dy 0
Rn1 Rn1
Z RR Z
= f ? (x 0 , xn )g (x 0 y 0 , xn yn )h? (y 0 , yn )dxn dyn dx 0 dy 0 ,
Rn1 Rn1 RR
Aplicando el resultado unidimensional a la identidad anterior obtenemos

que
f (x 0 , xn ) = f ? (x 0 , xn k 0 ) y h(y 0 , yn ) = h? (y 0 , yn k 0 ) x 0 , y 0 c.t.p..
Se puede demostrar que k 0 no depende de la seccion.

Lema clave para la demostracion de la desigualdad de

Polya-Szego no local.
Lema
Sea J una funcion no negativa, convexa en R con J(0) = 0 y k L1 (Rn )

una funcion simetrica y decreciente. Sea,
R R
E [u] := Rn Rn J(u(x) u(y ))k(x y )dxdy .
Entonces para toda funcion medible no negativa u con E [u] < y

|{u > }| < para todo > 0 uno tiene que
E [u] E [u ? ],
donde u ? es la simetrizacion de Steiner de u con respecto a un

hiperplano. Si, en adicion, J es estrictamente convexa y k es
estrictamente decreciente, entonces la igualdad se cumple si y solo si u es
un traslado de una funcion que es simetrico con respecto al hiperplano.
Definicion de adicion de Minkowski
Definicion
La adicion de Minkowski de dos conjuntos A, B Rn se define
como
A B := {a + b : a A, b B}.
La definicion anterior se puede reescribir como

S
A B := bB (A + b).
Definicion de sustraccion de Minkowski
Definicion
La sustraccion de Minkowski de dos conjuntos A, B Rn se define
como
T
A B := bB (A b).
Claramente la definicion anterior se puede reescribir como
A B := {x Rn : B + x A}.
Propiedades de Sustraccion de Minkowski
Si B = B, entonces
T
A B := bB (A + b).
Propiedades
Si A, B, C Rn tal que B = B y A C y B C . Entonces
A B C \((C \A) B)
Conjunto paralelo interno de un conjunto
Definicion
Sea K un subconjunto de Rn . Sea r el inradio de K . Si 0 r ,
el conjunto paralelo interno de K a distancia , que vamos a
denotar K , es el subconjunto de K definido por
K = K B(0, ).
Una caracterizacion de conjunto paralelo interno de un

subconjunto convexo cerrado K es
\
K = [H (K , u) u].
uSn1

Lema
Sea A Rn un cuerpo convexo con interior no vaco, tal que
r2
B(0, r ) A B(0, R). Si 0 < < 4R , entonces
(1 4 R
r2
)A A A
Continuidad de s1,p respecto la distancia de Hausdorff en

convexos
Demostracion de Continuidad de s1,p respecto la distancia

de Hausdorff en convexos:
Por hipotesis para cualquier > 0 existe n tal que
B\n (B\) B(0, ) para todo n n (5.2)
B\ (B\n ) B(0, ) para todo n n . (5.3)


convexos
Tomando complemento en (5.2) junto a una serie de resultados
anteriores obtenemos que

R R
14 2 14 2
r r
B(0, )
= B(0, )
B \ ((B \ ) B(0, ))
n .
Por la monotona y la regla de la homotecia de s1,p se tiene que
R sp s

14 2 1,p (n ) s1,p (). (5.4)
r

convexos
Tomando el limite superior en la desigualdad anterior se tiene que
R sp

14 2 lim s (n ) s1,p ().
r n 1,p
Haciendo 0 obtenemos que
lim s1,p (n ) s1,p ()

n

convexos
Tomando complemento en (5.3) por el mismo argumento anterior,

obtenemos que
s1,p () lim s1,p (n ). (5.5)

n
T. Bhattacharya, A proof of the Faber-Krahn inequality for the

first eigenvalue of the p-Laplacian. Ann Mat Pura Appl,
177(4) (1999), pp. 225-240.
H.J. Brascamp and E.H. Lieb, J.M.Luttinger A General
Rearrangement Inequality for Multiple Integrals, Journal of
Functional Analysis 17(1974), pp.227-237.
L. Brasco, E. Lindgren and E. Parini, The fractional Cheeger
problem, Interfaces and Free Boundaries, 16(2014), pp.
419-458.
L. Brasco and E. Parini, The second eigenvalue of the
fractional p-Laplacian, Advances in Calculus of Variations
(2015).
E. Di Nezza , Hitchhikers guide to the fractional Sobolev
spaces, Bull. Sci. math., 136 (2012), No. 5, pp. 521-573.
S. Kesavan, Symmetrization and applications, Series in

Analysis, 3, World Scientific Publishing, 2006.
R.L. Frank and R. Seiringer, Non-linear ground state
representations and sharp Hardy inequalities, J. Funct. Anal.
255 (2008), pp. 3407-3430.
P. Gruber, Convex and Discrete Geometry, Berlin:
Springer-Verlag, 2007.
A. Henrot, Problems for Eigenvalues of Elliptic Operators,
Front. Birkhauser Verlag, Basel, 2006.
Idrissaly, The eigenvalues for the p-Laplacian Operator, Journal
of Inequalities in Pure and Applied Mathematics, Vol 6 (2005).
E. H. Lieb and M. Loss, Analysis. American Mathematical
Soc., 2001.
E. Lindgren and P. Lindqvist, Fractional Eigenvalues, Calc.
Var. Partial Differential Equations 49(2014), pp.795-826.
S.W. Liu and J.E. Rubio, Local convergences and optimal

shape design, SIAM Journal on Control and Optimization 30
(1)(1992), pp. 49-62.
G. Polya and G. Szego, Isoperimetric inequalities in
mathematical physics, Princeton University Press, Princeton,
NJ (1951).
Russell V. Benson, Euclidean Geometry and convexity,
McGraw-Hill, 1966.
R. Schneider, Convex Bodies The Brunn-Minkowski Theory,
Cambridge (1993).
B. Simon, Convexity An Analytic Viewpoint, Cambridge Tracts
in Mathematics, 2011
F. Toledo, Minimizacion del primer valor propio del
p-Laplaciano de Dirichlet en ciertos clases de dominios, 2012.

Presentanaranja R

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

Presentanaranja R

Cargado por

Copyright:

Formatos disponibles

Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias

La desigualdad de Faber-Krahn para polgonos

Franco Olivares Contador

Profesor Gua: Rajesh Mahadevan

Agradesco a CONICYT-PCHA/Magster Nacional/2013-22131441

2 Planteamiento del Problema

El problema isoperimetrico clasico dice lo siguiente:

entre todos los conjuntos de un volumen dado el que tiene la

Siguiendo la lnea de este problema, se han estudiado diversos

entre todos los conjuntos de un mismo volumen el que minimiza

Dado que la bola es el conjunto mas simetrico para un volumen

A pesar de que la conjetura es facil de intuir, solo se ha

Planteamiento del Problema

Consideremos el siguiente funcional:

donde Wfs,p () es un espacio de Sobolev fraccionario adecuado. A

fs,p (), la que es

Sean Rn conjuntos abiertos y acotados.

Simetrizacion de Steiner de conjuntos

y, para x 0 Rn1 , denotemos por (x 0 ) la seccion de en x 0 :

Simetrizacion de Steiner de conjuntos

Figure: Simetrizacion de Steiner

Desigualdad de Polya-Szego no local.

Proposicion (Desigualdad de Polya-Szego no local)

|u ? (x) u ? (y )|p |u(x) u(y )|p

donde u ? es la simetrizacion de Steiner de u con respecto a un

Sea C n la familia de subconjunto compactos de Rn . C n es un

d H (K1 , K2 ) := max((K1 , K2 ), (K2 , K1 )).

Distancia de Hausdorff entre dos conjuntos compactos

Figure: Distancia de Hausdorff entre dos conjuntos compactos

Distancia de Hausdorff entre conjuntos abiertos

Para conjuntos abiertos en un conjunto compacto, definimos la

dH (O1 , O2 ) = d H (B\O1 , B\O2 ).

Continuidad de s1,p respecto la distancia de Hausdorff, en

Sea B un conjunto compacto en Rn y n una familia de

Demostracion del caso del triangulo

Sea M un triangulo arbitrario. Definimos M1 =M y sucesivamente,

Demostracion del caso del triangulo

Figure: sucesion triangulos

Demostracion del caso del triangulo

Sea un una funcion propia normalizada para el primer valor propio

|un (x) un (y )|p

para cada n N esto se justifica debido a que la norma Lp se

Demostracion del caso del triangulo

Debido a que el inradio crece y el circunradio decrece bajo

s1,p (T ) = lim s1,p (Tn ) s1,p (T1 ) .

Demostracion del caso del cuadrilatero

Dado un cuadrilatero se puede construir una sucesion que converge

Demostracion del resultado del caso del cuadrilatero

Figure: sucesion de cuadrilateros

Demostracion del caso del cuadrilatero

Este hecho junto con un razonamiento similar al caso del triangulo

Ahora trataremos el tema de la unicidad. Suponga que T es

Esto significa que existe igualdad en la desigualdad de

T = {x : u(x) > 0} = {x : u ? (x y ) > 0}

T ? es simetrico respecto a la mediatriz L, pero como T y T ? son

Espacios de Sobolev fraccionario

W s,p (Rn ) = {u Lp (Rn ) : [u]W s,p (Rn ) < }

se le llama seminorma de Gagliardo de u.

Espacios de Sobolev fraccionario

El espacio W s,p (Rn ) con la norma

kukW s,p (Rn ) := [u]W s,p (Rn ) + kukLp (Rn ) (5.1)

es Banach y Reflexivo. Ahora definiremos el espacio de Sobolev

Como W fs,p () es un subespacio cerrado de W s,p (Rn ), luego es un

B\n (B\) B(0, ) para todo n n (5.2)

B\ (B\n ) B(0, ) para todo n n . (5.3)

Haciendo 0 obtenemos que