Faber Krahn No Local en Poligonos

Universidad de Concepcin
Direccin de Postgrado
Facultad de Ciencias Fsicas y Matemticas - Programa Magster en Matemtica
La desigualdad de Faber-Krahn en Polgonos

para el p-Laplaciano fraccionario-Dirichlet.
The Faber-Krahn inequality for the

fractional Dirichlet p-Laplacian
for polygons.
FRANCO ANDRS OLIVARES CONTADOR

CONCEPCIN-CHILE
2016
Profesor Gua: Rajesh Mahadevan

Dpto. de Matemtica, Facultad de Ciencias Fsicas y Matemticas
Direccin de Postgrado
Facultad de Ciencias Fsicas y Matemticas - Programa Magster en Matemtica
La desigualdad de Faber-Krahn en Polgonos

para el p-Laplaciano fraccionario-Dirichlet.
The Faber-Krahn inequality for the fractional

Dirichlet p-Laplacian for polygons.
FRANCO ANDRS OLIVARES CONTADOR

CONCEPCIN-CHILE
2016
Comisin evaluadora: Prof. Rafael Benguria

Prof. Gyula Csat
Prof. Fethi Mahmoudi
Prof. Rajesh Mahadevan
Dpto. de Matemtica, Facultad de Ciencias Fsicas y Matemticas
ndice general
3
ndice de figuras
4
Agradecimientos
Agradezco a CONICYT por otorgarme la beca para estudios de Magster nacional

CONICYT-PCHA/Magster Nacional/2013-22131441 y por el apoyo de FONDECYT Regular
1130595. Agradezco a todos los que han colaborado en la realizacin de esta tesis, en espe-
cial, a Rajesh Mahadevan, por su invaluable apoyo en el desarrollo de sta, por fortalecer
mis conocimientos matemticos y profundizar mis valores cientficos, o por que no decirlo,
humanos. A Rafael Benguria, por estimar que el tema abordado en esta tesis, se poda
desarrollar en un tiempo razonable, adems, de corregir el manuscrito e enriquecerlos con sus
valiosos comentarios. A Mark Ashbaugh que nos brindo una apreciable ayuda en el caso del
cuadriltero, en el que estbamos detenidos durante varias semanas. A Gyula Csat por leer
el borrador y motivarme a darle un sentido ms concreto a objetos abstractos, que son objeto
de concretizar. A Erika Torres y Jos Aguayo, por orientarme en el trato con la burocracia
con la que interacte durante mis estudios de Magster. A Carlos Martnez por responder de
manera tan clara y precisa mis dudas. A Fethi Mahmoudi por su dispocin y celeridad para
evaluar este texto.
5
Introduccin
El problema isoperimtrico clsico 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 isoperimtricos [?].
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 ms simtrico para un volumen dado, Plya y Szeg con-
jeturaron que entre todos los polgonos de n-lados de rea dada en R2 , el polgono regular
minimiza el primer valor propio del Laplaciano Dirichlet.
A pesar de que la conjetura es fcil de intuir, slo se ha demostrado para los casos n = 3
y n = 4. Para n 5, est an abierta.
Hace un tiempo se ha generado inters 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 [?] [?].
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 [?]. Motivados por este resultado y la conjetura de Plya y Szeg en esta tesis
nos dedicaremos a demostrar el resultado para el caso del polgono para n=3 y n=4 para
p-Laplaciano Fraccionario con condiciones de Dirichlet sobre la frontera, es decir, queremos
demostrar la desigualdad de Faber-Krahn restringida a tringulos y cuadrilteros de una
misma rea. La demostracin se basar en el uso de simetrizacin de Steiner de conjuntos y
funciones.
6
NDICE DE FIGURAS
Como el operador p-Laplaciano fraccionario es no local, los espacios naturales para estudiarlo
son los espacios de Sobolev fraccionario, por eso iniciaremos el primer captulo con un breve
estudio de dichos espacios. Daremos su definicin, y versiones no locales de la desigualdad
Poincar, teorema de Rellich-Kondrachov y desigualdad de Sobolev.
En el segundo captulo , revisamos la definicin y principales propiedades de rearreglo simtrico
decreciente (rearreglo de Schwarz) y simetrizacin de Steiner de conjuntos y funciones. Tambin
daremos algunos rudimentos de geometra de cuerpos convexos, convergencia respecto a la
distancia Hausdorff, adicin y sustraccin de Minkowski de conjuntos. Los anteriores conceptos
nos van a permitir usar sucesiones que converjan a nuestros conjuntos minimizantes, el
cuadrado y tringulo equiltero. Adems en este mismo captulo se estudiar la demostracin
de una desigualdad general de rearreglos, actualmente llamada desigualdad de Brascamp-Lieb-
Luttinger (BLL) [?],[?], de la cual la desigualdad de rearreglo de Riesz es un caso particular.
Una herramienta importante para la demostracin de la desigualdad BBL es la desigualdad de
Prkopa-Leindler, a la que presentaremos una demostracin argumentada en la desigualdad
de Brunn-Minkowski para el caso unidimensional e induccin sobre la dimensin del espacio .
Para finalizar este captulo , se dar el caso de igualdad para la desigualdad de rearreglo de
Riesz para simetrizacin de Steiner con la funcin intermedia fija, el que resulta esencial para
demostrar la unicidad de nuestro problema. Para finalizar este captulo de herramientas se
dar la definicin de distancia Hausdorff para conjuntos compactos y tambin para conjuntos
abiertos acotados.
En el tercer captulo se presentarn las propiedades bsicas del primer valor propio del
p-Laplaciano fraccionario-Dirichlet, tales como monotona, la invariancia bajo traslaciones y
transformaciones ortogonales, adems de su regla de homotecia. Con las anteriores propiedades
junto a herramientas de anlisis convexo , demostraremos la continuidad del primer valor
propio del p-Laplaciano fraccionario-Dirichlet para el caso convexo.
En el ltimo captulo se dar la demostracin del principio (desigualdad) de Plya y Szeg
no local bajo la simetrizacin de Steiner [?] [?] con su respectivo caso de igualdad, dicha
desigualdad la ocuparemos para dar la demostracin de la desigualdad de Faber-Krahn
fraccionaria para tringulos y cuadrilteros, con su respectivo caso de igualdad.
7
NDICE DE FIGURAS
Franco Olivares Contador, Junio 2016.
8
Captulo 1
Preliminares
1.1. Espacio de Sobolev Fraccionario

Para esta seccin nos basaremos en Di Nezza [?], Brasco y otros [?] y F. Demengel y
otros [?]. Al ser el p-Laplaciano fraccionario un operador no local, los espacios naturales para
estudiarlo son los espacios de Sobolev fraccionario, por esto en este captulo los estudiaremos;
daremos su definicin y la demostracin de una serie de desigualdades que lo involucran. En
la literatura los espacios Sobolev fraccionarios tambin son llamados espacios de Aronszajn,
Gagliardo o Slobodeckij, en honor a los matemticos que lo introdujeron entre 1955 a 1958.
Definicin 1.1.1. Dado un conjunto abierto arbitrario en Rn , p (1, ) y s (0, 1),

definimos el espacio Sobolev fraccionario W s,p () como sigue
W s,p () = {u Lp () : [u]W s,p () < }
donde a
!1
Z Z
|u(x) u(y)|p p
[u]W s,p () := dxdy
|x y|n+ps
se le llama seminorma de Gagliardo de u.
En W s,p () definimos la norma

!1
p
kukW s,p () := kukpLp () + [u]pW s,p () . (1.1)
9
Ejemplo 1.1.2. funcin que no pertenezca a W 1,2 (1, 1) pero si a un espacio Sobolev
fraccionario adecuado.
Sea h la funcin Heaviside restringida a (1, 1). Recordemos que h L2 (1, 1) pero su
derivada dbil es la funcin delta centrada en 0, la que no pertenece a L2 (1, 1). Luego
h 6 W 1,2 (1, 1) (espacio Sobolev usual). Estudiemos la integral que define la seminorma de
Gagliardo para h
Z 1 Z 1
|h(x) h(y)|p Z 1 Z 0
|h(x) h(y)|p Z 1 Z 1
|h(x) h(y)|p
dxdy = dxdy + dxdy
1 1 |x y|1+ps 1 1 |x y|1+ps 1 0 |x y|1+ps
Z 1Z 0
1 Z 0 Z 1
1
= dxdy + dxdy
0 1 |x y| 1+ps 1 0 |x y|1+ps
Z 0 Z 1
1
= 2 dxdy < sp < 1.
1 0 |x y|1+ps
As, h W s,p (1, 1) sp < 1. En particular, h W 1/2,2 (1, 1) para cualquier 0 < 1/2
pero h 6 W 1/2,2 (1, 1).
Proposicin 1.1.3. El espacio W s,p () dotado con la norma (??) es un espacio Banach.
Demostracin: Sea {un }

n=1 una sucesin de Cauchy en W
s,p
() dotado con la norma (??),
es decir,
!1
p
lm kun um kW s,p () = lm kun um kpLp () + [un um ]pW s,p () = 0.
n,m n,m
Esto implica que {un } p

n=1 es una sucesin de Cauchy en L (), y por la completitud de
este espacio, existe u Lp () tal que lmn un = u. Tambin por lo anterior, la sucesin
{vn }
n=1 de funciones
un (x) un (y)
vn (x, y) = n
|x y|s+ p
es una sucesin de Cauchy en Lp ( ), luego, tenemos que {vn }

n=1 es convergente a un
elemento de Lp ( ). Extrayendo una subsucesin {unk }

k=1 de {un }n=1 que converge en
casi todas partes a u, podemos observar que {vnk (x, y)}

k=1 converge para casi todo par (x, y)
10
u(x) u(y)
v(x, y) = n .
|x y|s+ p
Aplicando el lema de Fatou, obtenemos que
Z Z
|u(x) u(y)|p Z Z
|unk (x) unk (y)|p
dxdy lim dxdy < .
|x y|n+ps n |x y|n+ps
As, u W s,p (). Observamos que ,
kun um kW s,p () = kun um kpLp () + kvn vm kLp () .
haciendo m en la ltima expresin se concluye lmn kun ukW s,p () = 0.
Proposicin 1.1.4. Para 1 < p < el espacio W s,p () dotado con la norma (??) es un
espacio reflexivo.
Demostracin: definimos
u(x) u(y)
T : W s,p () Lp () Lp ( ) por T (u) = (u, n ),
|x y|s+ p
donde W s,p () es equipado con la norma (??) y Lp () Lp ( ) es equipado con la norma
k(u, v)k = kukLp () + kvkLp () . Observe que
kT (u)k = kukLp () + [u]W s,p () ,
es decir, T es un isometra. Dado que W s,p () es un espacio Banach, T (W s,p ()) es un espacio
Banach, as es cerrado en el espacio reflexivo (Lp () Lp ( ), kk), luego, T (W s,p ()) es
reflexivo. Por lo tanto W s,p () es reflexivo.
Desde ahora nos enfocaremos en el siguiente espacio
W s,p (Rn ) = {u Lp (Rn ) : [u]W s,p (Rn ) < },
al que lo dotaremos con la norma
kukW s,p (Rn ) := [u]W s,p (Rn ) + kukLp (Rn ) . (1.2)
11
Si se hace = Rn en la Proposicin ?? y Proposicin ?? sus demostraciones siguen siendo

vlidas, as W s,p (Rn ) es Banach y Reflexivo.
Notemos que [u]W s,p (Rn ) < , para toda u C0 ().
Ahora definiremos el espacio de Sobolev fraccionario con el que trabajaremos posteriormente.
f s,p () esta definido como la clausura de C () sobre W s,p (Rn )

Definicin 1.1.5. El espacio W 0 0
con respecto a la norma (??).
f s,p () es un subespacio cerrado de W s,p (Rn ), luego es un espacio Banach y

Como W 0
reflexivo.
La semi norma de Gagliardo cumple la siguiente desigualdad del tipo Poincar.
Proposicin 1.1.6. (Desigualdad de Poincar para seminorma de Gagliardo). Sea 1 p <

y s (0, 1), Rn ,un conjunto abierto y acotado, entonces,
kukpLp () In,s,p ()[u]pW s,p (Rn ) para u C0 (),
donde la cantidad geomtrica In,s,p () est definida por
diam( B)n+sp
In,s,p () = nf{ : B Rn \ es una bola }.
|B|
Demostracin: sean u C0 () y BR Rn \ una bola de radio R contenida en el

complemento de . Para x e y BR , tenemos,
|u(x)u(y)|p
|u(x)|p = |xy|n+ps
|x y|n+ps .
Integrando la expresin anterior sobre BR con respecto a y, se deduce,
p n+ps
Z
|u(x) u(y)|p
|BR ||u(x)| supx,yBR |x y| dy
BR |x y|n+ps
Integrando sobre con respecto x obtenemos

Z
p diam( BR )n+sp Z Z |u(x) u(y)|p
|u(x)| dx dxdy.
|BR | BR |x y|n+ps
Como BR fue seleccionada arbitrariamente, la demostracin queda concluida.
12
Observacin 1.1.7. El resultado anterior muestra que para un conjunto abierto y acotado
f s,p () puede ser equivalentemente definido como la clausura de C ()
Rn el espacio W 0 0
sobre W s,p (Rn ) con respecto a la seminorma [.]W s,p (Rn ) .
Daremos una demostracin de una desigualdad del tipo Sobolev para espacios Sobolev
fraccionario siguiendo a Di Nezza [?], se realizar va algunas estimaciones algebraicas, no
haciendo uso de tcnicas de interpolacin o espacios de Besov.
Lema 1.1.8. Fijando x Rn . Sean p [1, ) y s (0, 1), Rn ,un conjunto medible con
medida finita. Entonces,
Z
dy nsp/n sp/n
n1 ||
Rn \ |x y|n+sp sp
1
|| n
Demostracin: Sea := n
, as
|(Rn \) B(x, )| = |B(x, )\( B(x, ))|
= |B(x, )| | B(x, )|
= || | B(x, )|
= | (Rn \B(x, ))|.
Considerando la identidad anterior y usando coordenadas polares centradas en x, tenemos

Z
dy Z
dy Z
dy
n+sp
= n+sp
+
Rn \ |x y| (R \)B(x,) |x y|
n (R \)(R \B(x,)) |x y|n+sp
n n
Z
dy Z
dy
n+sp
+
(R \)B(x,)
n (R \)(R \B(x,)) |x y|n+sp
n n
|(Rn \) B(x, )| Z
dy
= n+ps
+
(R \)(R \B(x,)) |x y|n+sp
n n
| (Rn \B(x, ))| Z

dy
= n+ps
+
(R \)(R \B(x,)) |x y|n+sp
n n
Z
dy Z
dy
n+sp
+
(R \B(x,)) |x y|
n (R \)(R \B(x,)) |x y|n+sp
n n
Z
dy
=
R \B(x,) |x y|n+sp
n
Z
= n1 rsp1 dr

nsp/n
= n1 ||sp/n .
sp
13
Lema 1.1.9. Sean p [1, ) y s (0, 1) tal que sp < n. Fijo T > 1. Sea N Z y {xk }kZ
una sucesin decreciente no negativa y acotada con xk = 0 para cualquier k N . Entonces,
X (nsp)/n n sp/n
Tk Tk
X
x k T nsp xk+1 xk
kZ kZ
xk 6=0
.
Demostracin: Por hiptesis claramente tenemos que

X (nsp)/n sp/n
Tk Tk
X
x k y xk+1 xk son series convergentes.
kZ kZ
xk 6=0
Usando una sustitucin para trasladar indices y la desigualdad de Hlder para los exponentes
conjugados = n/sp y = n/(n sp), se consigue que
1 X (nsp)/n k X (nsp)/n
xk T = xk+1 Tk
T kZ kZ
(nsp)/n
Tk
X
= xk+1
kZ
xk 6=0
sp/n 1/ sp/n
T k/ )(xk+1 xk T k/ )
X
= (xk
kZ
xk 6=0
!1 !1

X sp/n k/ X 1/ sp/n k/
(xk T ) (xk+1 xk T )
kZ kZ
xk 6=0
!sp/n !(nsp)/n
X (nsp)/n
k
X sp/n k
x k T xk+1 xk T .
kZ kZ
xk 6=0
De esta desigualdad tenemos que

!1sp/n !(nsp)/n
X (nsp)/n sp/n k
Tk
X
x k T xk+1 xk T .
kZ kZ
Desde la ltima desigualdad el lema queda demostrado.
En la siguiente proposicin y posterior teorema se usar una constante genrica C(n, p, s), la
que no representando necesariamente la misma constante.
14
Lema 1.1.10. Sean p [1, ) y s (0, 1) tal que sp < n.
Sea f L (Rn ) con soporte compacto. (1.3)
Para cualquier k Z, definimos

xk := |{|f | > 2k }|. (1.4)
Luego,
Z Z
|f (x) f (y)|p X sp/n pk
n+ps
dxdy C xk+1 xk 2 (1.5)
Rn Rn |x y| kZ,xk 6=0
para una constante C = C(n, p, s) > 0.
Demostracin: Sabemos que ||f (x)| |f (y)|| |f (x) f (y)| para todo x, y Rn . Debido
a esto podemos considerar que f 0, remplazando f por |f | si es necesario. Definimos
Xk := {|f | > 2k } = |f |1 (2k , ). (1.6)
Claramente observamos que Xk+1 Xk , luego
xk+1 xk . (1.7)
Definimos
Dk := Xk \Xk+1 = {2k < f 2k+1 } y dk := |Dk |. (1.8)
Debido a sus definiciones y (??), se deduce que:
dk y xk son acotados y se hacen cero cuando k es suficientemente grande. (1.9)
Desde la definicin de los conjuntos Dn , se observan los siguientes hechos:
Dn Dm = si m 6= n (1.10)
Dl = Rn \Xk+1
[ [
y Dl = Xk (1.11)
lZ lZ
lk lk
15
Por simetra
Z Z
|f (x) f (y)|p X Z |f (x) f (y)|p
dxdy = dxdy
Rn Rn |x y|n+ps i,jZ Di Dj |x y|n+ps
X Z |f (x) f (y)|p
= 2 dxdy
i,jZ Di Dj |x y|n+ps
ji
X X Z |f (x) f (y)|p
2 dxdy
iZ jZ Di Dj |x y|n+ps
xi1 6=0 ji2
(1.12)
Ahora, fijemos i Z y x Di , entonces, para cualquier j Z con j i 2 y cualquier

y Dj tenemos que
|f (x) f (y)| |f (x)| |f (y)| 2i 2j+1 2i 2i1 = 2i1 (1.13)
Por (??), (??) y el Lema ??, se consigue

X Z |f (x) f (y)|p p(i1)
X Z dy
dy 2
jZ Dj |x y|n+ps jZ Dj |x y|n+ps
ji2 ji2
Z
dy
= 2p(i1)
Rn \Xi1 |x y|n+ps
sp
C0 2pi xi1 , n
(1.14)
donde C0 es una constante adecuada (independiente de i).

Integrando sobre Di en (??) y considerando que Di Dj son disjuntos obtenemos
X Z |f (x) f (y)|p sp/n
dydx C0 2pi xi1 di . (1.15)
jZ Di Dj |x y|n+ps
ji2
Sumando sobre i Z y xi1 6= 0 en (??)

X Z |f (x) f (y)|p sp/n
2pi xi1 di .
X X
n+ps
dydx C 0 (1.16)
iZ jZ Di Dj |x y| iZ
xi1 6=0 ji2 xi1 6=0
16
Por (??) y teorema de Fubini para series dobles se obtiene que

sp/n sp/n
2pi xi1 dl = 2pi xi1 dl
X X X X
iZ lZ lZ iZ
xi1 6=0 li+1 xl1 6=0 il1
X sp/n 2pl
xl1 dl
lZ 2p 1
xl1 6=0
sp/n
xl1 2pl dl .
X
(1.17)
lZ
xl1 6=0
Por (??), definicin (??) y posteriormente usando (??) se consigue que

X Z |f (x) f (y)|p sp/n sp/n
2pi xi1 xi C0 2pi xi1 dl
X X X X
n+ps
dydx C0
iZ jZ Di Dj |x y| iZ iZ lZ
xi1 6=0 ji2 xi1 6=0 xi1 6=0 li+1
sp/n sp/n
2pi xi1 xi C0 xl1 2pl dl
X X
C0
iZ lZ
xi1 6=0 xl1 6=0
(1.18)
Desde (??) y (??) tenemos que

X Z |f (x) f (y)|p C0 sp/n
2pi xi1 xi
X X
n+ps
dydx
iZ jZ Di Dj |x y| 1 + C0 iZ
xi1 6=0 ji2 xi1 6=0
(1.19)
Usando (??) y (??) el lema queda demostrado.
Usando los lemas anteriores demostraremos la desigualdad del tipo Sobolev fraccionaria.
Teorema 1.1.11. 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 funcin medible f : Rn R con soporte
compacto, tenemos
Z Z
|f (x) f (y)|p
kf kpLp (Rn ) C dxdy = C[f ]W s,p (Rn ) (1.20)
Rn Rn |x y|n+sp
np
donde p = p (n, s) es llamado exponente fraccionario crtico y es igual a nsp
. Conse-
cuentemente, el espacio W s,p (Rn ) esta continuamente incluido en Lq (Rn ) para cualquier
q [p, p ].
17
Demostracin: Si suponemos que [f ]W s,p (Rn ) es infinito, el teorema en este caso queda
demostrado. Ahora supongamos que f cumple [f ]W s,p (Rn ) < . Para N N definimos las
funciones fN como
fN (x) := max{mn{f (x), N }, N } para todo x Rn , (1.21)
segn esta definicin se obtiene
|fN | = |f |N y |fN (x) fN (y)| |f (x) f (y)|. (1.22)
Adems
lm |fN (x) fN (y)| = |f (x) f (y)| (1.23)

N
Por el teorema de convergencia montona se observa claramente que
lm kfN kpLq (Rn ) = kf kpLq (Rn ) . (1.24)

N +
Por el teorema de convergencia dominada de Lebesgue tenemos que

Z Z
|fN (x) fN (y)|p Z Z
|f (x) f (y)|p
lm dxdy = dxdy. (1.25)
N Rn Rn |x y|n+sp Rn Rn |x y|n+sp
Por (??) y (??) el teorema quedar demostrado si se establece para f acotada.

Sean xk y Xk definidos como en (??) y (??), respectivamente.
Entonces,
XZ
kf kpLp (Rn ) = |f (x)|p dx
kZ Xk \Xk+1
XZ
(2k+1 )p dx
kZ Xk \Xk+1
(k+1)
|Xk \Xk+1 |2p
X
=
kZ
(k+1)
2p
X
xk . (1.26)
kZ
Elevando a p/p la desigualdad (??), se consigue

!p/p
p k
kf kpLp (Rn ) 2p
X
2 xk . (1.27)
kZ
18
Por definicin de p , tenemos que p/p = (n sp)/n < 1, por esto y la subaditividad de la
funcin x 7 |x|r con r < 1, obtenemos que
(nsp)/n
kf kpLp (Rn ) 2p 2pk xk
X
. (1.28)
kZ
Ocupando el Lema ?? con T = 2p , y luego usando el Lema ?? en (??) obtenemos que

sp
kf kpLp (Rn ) C(n, p, s) 2pk xk+1 xk n .
X
kZ
ak 6=0
Z Z
|f (x) f (y)|p
C(n, p, s) dxdy, (1.29)
Rn Rn |x y|n+sp
abusando de notacin para C(n, p, s) si es necesario.

Ahora demostraremos la conclusin final del teorema. Si q = p caemos en el caso de la
desigualdad de Poincar para seminorma de Gagliardo, as nos falta demostrar solamente
para q (p, p ). Definimos = (p, p , q) (0, 1) tal que 1/q = /p + (1 )/p . Usando la
desigualdad de Hlder para p/(q) y p /((1 )q) se consigue que
Z Z
q
|f | dx = |f |q |f |(1)q dx

! q Z ! (1)q

Z p p
p
|f |p dx |f | dx . (1.30)

Luego,
kf kLq () kf kLp () kf k1
Lp ()
(1.31)
De la desigualdad de Poincar ( Proposicin ??) y (??) el teorema queda demostrado.
La demostracin del siguiente lema la seguimos en Brasco [?].
f s,p (), luego se cumple que

Lema 1.1.12. Sean p [1, ) y s (0, 1), para toda u W0
Z
|u(x + h) u(x)|p
sup dx C[u]W s,p (Rn )
|h|>0 Rn |h|sp
para una constante C = C(n, p) > 0.
19
Demostracin: Sea C0 (Rn ) una funcin positiva radialmente simtrica con soporte en
la regin
B(0, 1)\B(0, 1/2) = {x Rn : 1/2 <| x |< 1} y con = 1. Para h Rn \{0} y tomando
R
Rn
> 0 tal que |h|/2 < < |h| definimos,

1 x
(x) = ( .
n
Usando esta definicin y la conmutatividad de la convolucin, podemos escribir
Z Z

|u(x + h) u(x)| = u(y) (x + h y)dy + [u(x + h) u(x + h y)] (y)dy

Z Z

u(y) (x y)dy [u(x) u(x y)] (y)dy

Z

u(y)[ (x + h y) (x y)]dy

Z Z
+ |u(x + h) u(x + h y)| (y)dy + |u(x) u(x y)| (y)dy.
(1.32)
El segundo y tercer trmino de la expresin final de (??) se puede estimar como sigue
Z Z
|u(x + h) u(x + h y)| (y)dy + |u(x) u(x y)| (y)dy
" #
kk Z Z
n |u(x + h) u(x + h y)|dy + |u(x) u(x y)|dy .
B(0,)\B(0, 2 ) B(0,)\B(0, 2 )
(1.33)
Debido a que tiene soporte compacto, por el teorema de la divergencia se observa que
= 0, usando este hecho podemos estimar el primer trmino de la expresin final de
R
Rn
(??), de la siguiente manera

Z Z Z
1
u(y)[ (x + h y) (x y)]dy = u(y)h (x y + sh), hidyds

0
Z Z
1
=

[u(y) u(x + sh)]h (x y + sh), hidyds
0
kk |h|
Z 1Z
|u(y) u(x + sh)|dyds
n+1 0 B(x+sh,)\B(x+sh, 2 )
kk |h| Z 1Z
= |u(x + z + sh) u(x + sh)|dzds,
n+1 0 B(0,)\B(0, 2 )
(1.34)
20
donde en la tercera igualdad se ha usado que es radialmente simtrica.

Usando (??) y (??) en (??) y la convexidad de t 7 tp se obtiene que
!p
kkp |h|p Z 1 Z
(
p p1
|u(x + h) u(x)| 3 |u(x + y + sh) u(x + sh)|dyds
p(n+1) 0 B(0,)\B(0, 2 )
!p
kkp Z
+ |u(x + h) u(x + h y)|dy
pn B(0,)\B(0, 2 )
!p )
kkp Z
+ |u(x) u(x y)|dy .
pn B(0,)\B(0, 2 )
(1.35)
Aplicando la desigualdad de Jensen a cada una de las tres integrales de (??) se consigue que
kkp |h|p Z 1 Z
(
p
|u(x + h) u(x)| C(n, p) |u(x + y + sh) u(x + sh)|p dyds
n+p 0 B(0,)\B(0, 2 )
kkp Z
+ |u(x + h) u(x + h y)|p dy
n B(0,)\B(0, 2 )
kkp Z
)
+ |u(x) u(x y)|p dy (1.36)
n B(0,)\B(0, 2 )
donde
n !p1
3 2
C(n, p) = .
( n2 + 1)
Integrando las funciones que componen (??) sobre Rn y redifiniendo C := C(n, p) adecuada-
mente podemos conseguir que
kkp |h|p |u(x + y + sh)u(x + sh)|p |y|ps+n
Z Z 1Z Z
p
|u(x + h) u(x)| dx C dydxds
Rn n+p 0 Rn B(0,)\B(0, 2 ) |(x + y + sh) (x + sh)|
ps+n
kkp |u(x + h) u(x + h y)|p |y|ps+n

Z Z
+ dydx
n Rn B(0,)\B(0, 2 ) |(x + h) (x + h y)|ps+h
kkp |u(x) u(x y)|p |y|ps+n
Z Z
+ dydx . (1.37)
n Rn B(0,)\B(0, 2 ) |x (x y)|ps+h
|h|
Como |y| < y 2
< < |h|, entonces |y| < < |h| usando esto se observa
!n
|y|ps+n |y|
n
= |y|ps |y|ps < |h|ps (1.38)

21
Usando (??) en (??) obtenemos que

|u(x + y + sh)u(x + sh)|p
Z Z 1Z Z
|u(x + h) u(x)| dx C kkp 2p |h|ps
p
ps+n
dydxds
Rn 0 Rn B(0,)\B(0, 2 )|(x + y + sh) (x + sh)|
|u(x + h) u(x + h y)|p
Z Z
+ |h|ps kkp dydx
Rn B(0,)\B(0, 2 ) |(x + h) (x + h y)|ps+h
|u(x) u(x y)|p
Z Z
ps
+ |h| kkp dydx
Rn B(0,)\B(0, 2 ) |x (x y)|ps+h
C|h|ps [u]pW s,p (Rn ) . (1.39)
Por (??) el lema queda demostrado.
Para la demostracin del siguiente teorema, necesitamos recordar el criterio de compacidad

de Kolmogorov.
Teorema 1.1.13. (Kolmogorov-M.Riesz-Frchet) Sea K un subconjunto acotado de Lp (Rn ),

1 p < +, asuma que
Z
lm |f (x + h) f (x)|p = 0
|h|0 Rn
uniformemente para f K. Entonces la clausura de K| es compacto para cualquier Rn

con medida finita. (Donde K| denota la restriccin a de las funciones de K).
Demostracin: Ver [?] Captulo 4, pgina 111.
Teorema 1.1.14. ( Teorema de Rellich-Kondrachov Fraccionario). Sean p [1, ) y s

f s,p () una sucesion acotada, es
(0, 1), Rn un conjunto abierto y acotado. Sea {un }nN W 0
decir, sup{kun kW
e s,p () : n N} < . Entonces existe una subsucesin {unk }kN que converge
0
f s,p ().
fuertemente en Lp () a una funcin u. Adems, si p > 1 entonces u W 0
Demostracin: Por desigualdad Poincair se tiene que kun kpLp () In,s,p ()kun kpW
e s,p () y 0
de una de las hiptesis sigue que {un }nN es acotada en Lp (). Extendiendo las funciones
un por cero a todo Rn , se tiene que la sucesin {un }nN esta acotada en Lp (Rn ). Por el lema
22
anterior obtenemos que

Z
|un (x + h) un (x)|p
Z
|un (x + h) un (x)|p dx = |h|sp dx
Rn Rn |h|sp
C|h|sp [un ]pW s,p (Rn )
C|h|sp sup{kum kpW

e s,p () : m N} para cada n N.
0
Entonces,
Z
sup |un (x + h) un (x)|dx C|h|sp sup{kum kpW
e s,p () : m N}.
nN Rn 0
Tomando |h| 0 en la expresin anterior, obtenemos que

Z
lm sup |un (x + h) un (x)|dx = 0.
|h|0 nN Rn
Por Teorema ?? tenemos que {un }nN es un conjunto relativamente compacto en Lp (), as
existe una subsucesin {unk }kN que converge fuertemente en Lp () a una funcin u. Luego
f s,p () es un espacio Banach y reflexivo, por
{unk }kN converge dbilmente a u. Para p > 1, W 0
teorema de BanachAlaoglu existe una subsucesin de {unkj }kN que converge dbilmente a v
f s,p (). Por desigualdad Poincair se puede ver que el dual de Lp () est incluido
con v W0
f s,p (), entonces {u }
en el dual de W p
0 nkj jN converge dbilmente a v en L (). Por unicidad de
f s,p ().
limites dbiles tenemos que v = u. Por lo tanto, u W0
Corolario 1.1.15. Sean p [1, ) y s (0, 1) tal que sp < n. Sea Rn un conjunto
f s,p () admite una sucesin convergente
abierto y acotado. Toda sucesin acotada {un } W0
en Lq () a una funcin u, para todo q 1 tal que q < p .
Demostracin: Sea 1 q < p, usando la desigualdad de Hlder se puede demostrar que

1 1
kukLq () || q p kukLp () . (1.40)
Por (??) y Teorema ?? el teorema queda demostrado en este caso. Sea p < q; definimos
p p
(p, p , q) (0, 1) tal que 1
q
=
p
+ 1
p
. Usando la desigualdad de Hlder para q
y (1)q
se
obtiene que
kukLq () kukLp () kukL1

p () . (1.41)
23
Usando los Teorema ??, Teorema ?? y (??) se demuestra el segundo caso y esto finaliza la
demostracin del teorema.
24
Captulo 2
Herramientas
2.1. Desigualdad de Prkopa-Leindler

El propsito central de esta seccin es demostrar la desigualdad de Prkopa-Leindler, la
que tiene como aplicacin notable, la desigualdad isoperimtrica clsica (realmente usando
una de sus consecuencias, el teorema de Brunn-Minkowski). En esta tesis, se ocupar una
consecuencia de la desigualdad de Prkopa-Leindler para demostrar una desigualdad general
de rearreglos de funciones, de la cual la desigualdad de rearreglo de Riesz es un caso particular.
Para dicho propsito nos inspiramos principalmente por las notas de R. J. Gardner [?].
Proposicin 2.1.1. (Representacin capa de pastel) Sea una medida en los conjuntos de
Borel de R+ tal que (t) := ([0, t)) es finito para todo t > 0. Sea (, , m) un espacio de
medida y f una funcin medible no negativa en . Luego,
Z Z
(f (x))m(dx) = m({x : f (x) > t})(dt). (2.1)
0
En particular, si m es la medida de Dirac de algn punto x Rn y (dt) = dt, luego ?? toma

la forma
Z
(x) = {y:f (y)>t}(x) dt. (2.2)
0
Demostracin: Primero observamos que

Z
m({x : f (x) > t}) = {f >t} (x)m(dx) (2.3)

25
y luego usando el teorema de Fubini tenemos que

Z Z Z
m({x : f (x) > t})(dt) = {f >t} (x)m(dx)(dt)
0 0
Z Z
= {f >t} (x)(dt)m(dx)
0
Z Z f (x)
= {f >t} (x)d(t)m(dx)
Z 0
= ([0, f (x)))m(dx)
Z
= (f (x))m(dx).

Corolario 2.1.2. Sea f una funcin medible no negativa en Rn y t 0, entonces

Z Z
f (x)dx = |{f t}|dt.
Rn 0
Demostracin: Usar Proposicin ?? con m igual a la medida de Lebesgue.
Ahora daremos unas definiciones que ocuparemos en esta seccin.
Definicin 2.1.3. La suma de Minkowski de dos conjuntos A, B Rn se define como
A B := {z Rn : z = x + y, x A, y B}.
Definicin 2.1.4. Sea A Rn y R se define el conjunto producto como
A = {z Rn : z = x, x A}.
Teorema 2.1.5. (Desigualdad de Brunn-Minkowski en R) Sea 0 < < 1. Sean A y B dos

conjuntos no vacos medibles acotados en R tal que (1 )A B es tambin medible. Luego
|(1 )A B| |(1 )A| + |B| (2.4)
Demostracin: Supongamos que A e B son conjuntos compactos. Como la operacin es

continua, AB es compacta. Traslademos a A y B en u, v R de modo que (A+u)(B +v) =
{0}, A + u {x : x 0} y B + v {x : x 0}. Luego, (A + u) (B + v) (A + u) (B + v),
26
esto junto a la invariancia de la medida de Lebesgue bajo traslacin, nos permite justificar la
siguiente estimacin
|A B| = |(A + u) (B + v)|
|(A + u) (B + v)|
= |[(A + u)\(B + v)] [(B + v)\(A + u)] {0}|
= |(A + u)\(B + v)| + |(B + v)\(A + u)| + |{0}|
= |A + u| + |B + v|
= |A| + |B|.
Si remplazamos A y B por (1 )A y B, respectivamente; obtenemos (??) para conjuntos

compactos. Finalmente la demostracin del teorema se obtiene para los conjuntos A y B de la
hiptesis, mediante una aproximacin por la regularidad interior de la medida de Lebesgue.
Teorema 2.1.6. (Desigualdad de Prkopa-Leindler en Rn ) Sea 0 < < 1. Sean f , g y h

funciones no negativas integrables en Rn que satisface
h((1 )x + y) f (x)1 g(y) para todo x, y Rn .
Entonces,
1
Z Z Z
h(x)dx f (x)dx g(x)dx .
Rn Rn Rn
Demostracin: Esta demostracin se realizar mediante induccin. Primero demostraremos el

caso n = 1. Si t 0, f (x) t y g(y) t, entonces por hiptesis tenemos que
h((1 )x + y) f (x)1 g(y) t1 t = t.
Luego
(1 ){f t} {g t} {h t}.
27
Por el Teorema ?? se deduce que
(1 )|{f t}| + |{g t}| |{h t}|. (2.5)
Por (??), Corolario ?? y desigualdad de las medias aritmtica y geomtrica se obtiene que
Z Z
h(x)dx = |{h t}|dt
R 0
Z Z
(1 ) |{f t}|dt + |{g t}|
Z0 Z 0
= (1 ) f (x)dx + g(x)dx
R R
Z !1 Z !
f (x)dx g(x)dx .
R R
Supongamos que es cierto para n 1, con n N.

Para un c R fijo, definimos hc : Rn1 [0, ) por hc (z) = h(c, z), similarmente definimos
fc y gc . Sean x, y Rn1 , y c0 , c1 R tales que c = (1 )c0 + c1 . Entonces,
hc ((1 )x + y) = h((1 )c0 + c1 , (1 )x + y)
= h((1 )(c0 , x) + (c1 , y))
f (c0 , x)1 g(c1 , y)
= fc0 (x)1 gc1 (y) .
Por lo tanto, por la hiptesis inductiva tenemos que

1
Z Z Z
hc (x)dx fc0 (x)dx gc1 (x)dx .
Rn1 Rn1 Rn1
Por el Teorema de Fubini y desigualdad Prkopa-Leindler para n = 1 se consigue que

Z Z Z
h(x)dx = hc (z)dzdc
Rn R Rn1
1
Z Z Z Z
fc0 (z)dzdc0 gc1 (z)dzdc1
R Rn1 R Rn1
1
Z Z
= f (x)dx g(x)dx .
Rn Rn
28
Ahora demostraremos la versin multiplicativa de la desigualdad de Brunn-Minkowski para

Rn .
Teorema 2.1.7. Sea 0 1. Sean A y B dos conjuntos no vacos medibles acotados en

Rn tal que (1 )A B es tambin medible. Luego
|(1 )A B| |A|1 |B|
Demostracin: Sean f = A , g = B y h = (1)A+B . Sea x, y Rn . Si x Rn \A

o y Rn \B, entonces h((1 )x + y) = 0 = f (x)1 g(y) . Si x A e y B, entonces
h((1 )x + y) = 1 = f (x)1 g(y) . En ambos casos se cumple las hiptesis del Teorema
??, usando dicho teorema se obtiene que
Z
|(1 )A B| = (1)A+B (x)dx
Rn
1
Z Z
A (x)dx B (x)dx
Rn Rn
= |A|1 |B| ,
Teorema 2.1.8. (Desigualdad de Brunn-Minkowski en Rn ) Sea 0 1. Sean A y B dos

conjuntos no vacos medibles acotados en Rn tal que (1 )A B es tambin medible. Luego
1 1 1
|(1 )A B| n (1 )|A| n + |B| n (2.6)
Demostracin: Sean A y B dos conjuntos no vacos medibles acotados en Rn . Definamos

1 1
|B| n 1 1 |A| n

0 = 1
0 0 0
1 , A = |A| n A y B = |B| n B. Entonces, 1 = 1 1 . Por otra parte,
|A| n +|B| n |A| n +|B| n
usando la homogeneidad de la medida de Lebesgue, se tiene que |A | = 1 y |B 0 | = 1. 0
Por Teorema ?? tenemos que

1 0 0
|(1 0 )A0 0 B 0 | n |A0 |1 |B 0 | = 1, (2.7)
pero
|A B|
|(1 0 )A0 0 B 0 | = 1 1 1.
(|A| n + |B| n )n
29
Entonces,
1 1 1
|A B| n |A| n + |B| n . (2.8)
Remplazando A por (1 )A y B por B en (??) el teorema queda demostrado
Recordemos la definicin de un conjunto convexo y funcin convexa.
Definicin 2.1.9. Sea C Rn . C es un conjunto convexo si para cualquier par de puntos

x, y C, y cualquier [0, 1], se tiene x + (1 )y C.
Definicin 2.1.10. Una funcin f : C R, donde C es un cojunto convexo, es convexa si

f (x + (1 )y) f (x) + (1 )f (y) para cada x, y C, y [0, 1].
Definicin 2.1.11. Dado un conjunto S Rn no vaco, definimos la cpsula convexa de S,

a la cual denotaremos como co(S), como la interseccin de todos los conjuntos convexos que
contienen a S. La cpsula convexa de un conjunto finito es llamado politopo convexo.
Corolario 2.1.12. Sea C un conjunto convexo en Rn . Sea t R y definimos

C(t) = {z Rn1 : (z, t) C}, entonces
|C(t + (1 )s)| |C(t)| |C(s)|1 para t, s R y [0, 1].
Demostracin: Sea [0, 1] y definimos C(t+(1)s) la funcin caracterstica de

C(t + (1 )s), debido a la convexidad de C tenemos la siguiente desigualdad
C(t+(1)s) ((1 )x + y) (C(t) (x)) (C(s) (y))1 para x, y Rn1 .
Tomando h(x) = C(t+(1)s) (x), f (x) = C(t) (x) y g(x) = C(1) (x) en la desigualdad de
Prkopa-Leindler en Rn1 se tiene que
1
Z Z Z
h(x)dx f (x)dx g(x)dx . (2.9)
Rn 1 Rn1 Rn1
Se observa que
Z Z Z
h(x)dx = |C(t + (1 )s)|, f (x)dx = |C(t)| y g(x)dx = |C(s)|.
Rn 1 Rn 1 Rn 1
30
2.2. Rearreglo simtrico decreciente de conjuntos y funciones
Con esto en mente y (??) se consigue
|C(t + (1 )s)| |C(t)| |C(s)|1 .
2.2. Rearreglo simtrico decreciente de conjuntos y fun-

ciones
Para esta seccin usaremos Lieb y Loss [?] junto con Kesavan [?].
Un rearreglo mapea una funcin dada u en una nueva funcin u ms simtrica. Esto se
realiz mediante un rearreglo de los conjunto de nivel de u. Por esto, los rearreglos se definen
para los conjuntos y luego se extiende a funciones.
Definicin 2.2.1. Si A Rn es un conjunto de Borel de medida de Lebesgue finita, definimos

A ,el rearreglo simtrico decreciente (simetrizacin de Schwarz) del conjunto A, como la bola
abierta centrada en el origen cuyo volumen es el de A.
Las funciones adecuadas para aplicarle rearreglos son las funciones Borel medibles que
cumple la siguiente definicin.
Definicin 2.2.2. Sea f : Rn R una funcin Borel medible, se dir que f se desvanece en
el infinito si |{x : |f (x)| > t}| es finito para todo t > 0.
Observacin 2.2.3. Sea f : Rn R una funcin Borel medible que se desvanece en el

infinito, entonces {x : |f (x)| > t} {: |f (x)| > s} para cualquier t > s.
Luego, {x : |f (x)| > t} {: |f (x)| > s} para cualquier t > s. Ahora, observemos que
{x : |f (x)| > t} decrece a cero cuando t . En particular, los radios rt de las bolas
{x : |f (x)| > t} decrece a cero cuando t . En vista de esto, para todo x Rn existe un
/ {|f | > t} para todo t T .
T > 0 tal que x
Definicin 2.2.4. Sea f : Rn R una funcin Borel medible que se desvanece en el infinito,
definiremos el rearreglo simtrico decreciente f de f por,
Z
f (x) := {|f |>t} (x)dt.
0
31
donde la integral es en el sentido Riemann.
Observamos directamente de la definicin que f es no negativa.
Observacin 2.2.5. Sea x = sup{t R : x {|f | > t} }. Entonces, para cada t < x ,
{|f |>t} (x) = 1 y para cada t > x , {|f |>t} (x) = 0 . Luego,
Z Z x Z
f (x) = {|f |>t} (x)dt = {|f |>t} (x)dt + {|f |>t} (x)dt = x . (2.10)
0 0 x
As, f se puede redefinir, como
f (x) = sup{t : x {|f | > t} }.
Proposicin 2.2.6. Si E Rn es un conjunto de Borel de medida de Lebesgue finita,

entonces
(E ) = E .
Demostracin: Por definicin, tenemos que

1 si x E

E (x) =
si x (E )C .

0

Por otra parte,

si t 1

{E > t} = E si 0 t < 1

Rn si t < 0.

As,

si t 1

{E > t} = E
si 0 t < 1

Rn si t < 0.

Con esto ltimo, podemos escribir

1 si x E

(E ) (x) = sup{t : x {E > t} } =
si x (E )C .

0

32
Proposicin 2.2.7. f es radialmente simtrico y decreciente como funcin de |x|, es decir,
f (x) = f (y) si |x| = |y| y f (x) f (y) si |x| |y|.
Demostracin: Dado que el integrando de la definicin de f es en trmino de la funcin

caracterstica de bolas, claramente f es radialmente simtrica y no decreciente como funcin
de |x|.
Proposicin 2.2.8. Los conjuntos de nivel de f son los rearreglos de los conjuntos de nivel
de |f |, es decir, {x : f (x) > t} = {x : |f (x)| > t} para todo t R. Luego, f es Borel
medible y |{x : f (x) > t}| = |{x : |f (x)| > t}| para todo t R, o sea, f y f son equimedibles.
Demostracin: Sea x {y : f (y) > t}. Supongamos que x

/ {y : |f (y)| > t} . Para todo
r > t, se tiene que
{y : |f (y)| > r} {y : |f (y)| > t}.
Aplicando rearreglo en la ltima inclusin se consigue que
{y : |f (y)| > r} {y : |f (y)| > t} ,
/ {y : |f (y)| > r} .
de esto se desprende que , x
Luego,
Z
f (x) = {|f |>t} (x)dt
0
Z t Z
= {|f |>t} (x)dt + {|f |>t} (x)dt
0 t
Z t
1dt + 0 = t,
0
esto es una contradiccin. Por lo tanto, x {y : |f (y)| > t} .

Recprocamente, si x {y : |f (y)| > t} , entonces t no es supremo de |f |, esto garantiza que
se pueda encontrar un m > t tal que x {y : |f (y)| > m} (esta es una bola centrada en el
33
origen ms pequea que {y : |f (y)| > t} ). Ahora, si r < m, entonces x {y : |f (y)| > r} .
En virtud de lo anterior tenemos que
Z

f (x) = {|f |>r} (x)dr
0
Z m Z
= {|f |>r} (x)dr + {|f |>r} (x)dr
0 m
Z m Z
= 1dr + {|f |>r} (x)dr m > t.
0 m
Por lo tanto,
{x : f (x) > t} = {x : |f (x)| > t} .
En particular, {x : f (x) > t} es una bola abierta para todo t. Esto significa que f es una
funcin Borel medible y de hecho es semi-continua inferior.
De la identidad anterior se deduce que
|{x : f (x) > t}| = |{x : |f (x)| > t} | = |{x : |f (x)| > t}|.
Corolario 2.2.9. Sea f una funcin no negativa medible. Entonces, (f + ) = f +
Demostracin: Usando Proposicin ?? y un cambio de variable pertinente se justifica las

siguientes igualdades
f (x) + = sup{v : x {y : f (y) > v }}
= sup{v : x {y : f (y) + > v} }
= (f (x) + ) .
Corolario 2.2.10. Sean f : Rn R una funcin medible Borel que se desvanece en el

infinito y : R+ R+ continua y montona creciente con (0) = 0. Entonces,
Z Z
(|f (x)|)dx = (f (x) )dx.
Rn Rn
34
Demostracin: Por las hiptesis de se puede garantizar la existencia de una medida ,

tal que (t) = ([0, t)). Por el Teorema ?? tenemos que
Z Z
(|f (x)|)dx = |{x : |f (x)| > t})|(dt)
Rn 0
y
Z Z

(f (x) )dx = |{x : f (x) > t}|(dt).
Rn 0
Por la Proposicin ?? sabemos que |{x : |f (x)| > t})| = |{x : f (x) > t}|, as
Z Z
(|f (x)|)dx = (f (x) )dx.
Rn Rn
El corolario anterior es cierto para toda : R+ R+ funcin medible Borel.
Corolario 2.2.11. Si f : Rn R es una funcin medible Borel, entonces, kf kp = kf kp .
Demostracin: La demostracin de este corolario sigue de la aplicacin del corolario anterior

a la funcin x 7 |x|p .
Proposicin 2.2.12. Si : R+ R+ es montona creciente, entonces ( |f |) = f .
Demostracin: Con el fin de demostrar esta proposicin, primero se probar que,
{x : ( |f |)(x) > } = {x : |f (x)| > ( )}
donde
( ) = nf{ : () > }.
Considerando w {x : |f (x)| > ( )}, y usando la monotona creciente de , tenemos
(|f (x)|) > ( ( )) .
Debido a esto, w {x : ( |f |)(x) > }.

Ahora consideremos w {x : ( |f |)(x) > }, entonces ( |f |)(w) > . As, tenemos
|f (w)| > ( ). Usando Teorema ?? la proposicin queda demostrada.
35
2.3. Simetrizacin de Steiner de conjuntos y funciones
En esta tesis no se va usar el rearreglo simtrico decreciente en toda su generalidad sino que
su definicin y propiedades en una dimensin.

Para esta seccin usaremos Gruber[?].
Definicin 2.3.1. Sea un conjunto abierto y acotado o un conjunto compacto de Rn y H

un hiperplano que pasa por el origen.
La simetrizacin de Steiner ? de con respecto a H se define como sigue: para cada recta
L ortogonal a H tal que L 6= , el segmento L se mueve hasta que su punto medio
este en H. La unin de todos los segmentos as obtenidos es ? . (ver una figura explicativa
ms abajo).
Figura 2.1: Simetrizacin de Steiner
Se observa claramente de esta ltima definicin que ? es simtrica respecto a H.
Definicin 2.3.2. Se dir que un subconjunto K de Rn es un cuerpo convexo si es compacto

y convexo. Se dir que es un cuerpo convexo propio si su interior es no vacio, en otro caso,
36
impropio. El inradio r(K) y el circunradio R(K) son, respectivamente, el mximo radio de

las bolas contenidas en K y el mnimo radio de las bolas que contienen a K.
Definicin 2.3.3. La rea o contenido de Minkowski S(M ) de un subconjunto adecuado M

en Rn es
V (M B(0, 1)) V (M )
S(M ) = lm+
0
donde V (M ) es el volumen de M .
En el caso de un politopo convexo o un conjunto convexo, existe este lmite y el rea de

superficie en el sentido de Minkowski coincide con un significado habitual de superficie, para
ver detalles de esto consultar [?].
Antes de ver una serie de propiedades de simetrizacin de Steiner de cuerpos convexos,
necesitamos un lema previo.
Lema 2.3.4. Sean K un cuerpo convexo, x K y L una recta con K (L+x) 6= . Entonces,
para cualquier sucesin {xn }nN K tal que K (L + xn ) 6= para cada n N y xn x
se tiene que
lim |K (L + xn )| |K (L + x)|.
n
Demostracin: Sea v el vector director de L. Tenemos que
K (L + xn ) = [xn + an v, xn + bn v] con an bn .
De esta forma, |K (L + xn )| = bn an . Debido a que
sup |K (L + xn )| < ,
nN
podemos econtrar una subsucesin tal que
lim |K (L + xn )| = lm |K (L + xn )|
n n
(en esta expresin hemos abusado de la notacin).

Debido a la compacidad de K, las sucesiones {an } y {bn } son acotadas, y podemos encontrar
37
una subsucesin de los naturales que vamos a notar nuevamente por n, tal que lmn an = a
y lmn bn = b. Luego, x + av = lmn (xn + an v) pertenece a K, de la misma forma
x + bv K.
Luego, por la convexidad de K
|K (L + x)| |[x + av, x + bv]| = b a = lm (bn an ) = lm |K (L + xn )|.

n n
Proposicin 2.3.5. Sean K y V cuerpos convexos de Rn y H un hiperplano. Tenemos las

siguientes propiedades:
(a) Si K V , entonces K ? V ? .
(b) (K)? = K ? (salvo traslacin) para 0.
(c) Si K es un cuerpo convexo, entonces K ? es un cuerpo convexo.
(d) K ? + V ? (K + V )? (salvo traslacin).
(e) Si K es un cuerpo convexo, entonces |K| = |K |.
(f) Si K es un cuerpo convexo, entonces S(K ? ) S(K).
(g) Si K es un cuerpo convexo propio, entonces r(K) r(K ? ).
(h) Si K es un cuerpo convexo, entonces R(K ? ) R(K).
Demostracin: Sin perdida de generalidad supongamos que 0 H. Sea L una recta ortogonal
a H que pasa por el origen.
(a) Si x K ? , luego x = h + l con h H y l L tal que
1 1
|l| |K (L + x)| |V (L + x)|,
2 2
con lo cual x V ? .
(b) Si x K ? , esto equivale a que x = y con y = h + l donde h H y l L tal que
1
|l| |K (L + y)|.
2
38
Debido a que L es un subespacio vectorial, la ltima desigualdad equivale a
1
|l| |K (L + y)|.
2
Lo que concluye que x = y (K)? . Esto demuestra que K ? (K)? . Ahora, usando la
inclusin anterior se tiene que 1 (K)? ( 1 K)? = K ? . Esto da la otra inclusin (K)?
K ? .
c) Sea H : Rn H la proyeccin ortogonal sobre H. Primero demostraremos que la
convexidad se mantiene bajo aplicacin de simetrizacin de Steiner.
Sea x, y K ? y [0, 1]. Por lo anterior, la linealidad de H y desigualdad de Brunn
Minkowski se tiene que
|x + (1 )y H (x + (1 )y)| = |(x H (x)) + (1 )(y H (y))|
|x H (x)| + (1 )|y H (y)|

1
((1 )|K (L + y)| + |K (L + x)|)
2
1
|(1 )(K (L + y)) (K (L + x))|
2
1
|K (L + (x + (1 )y))|.
2
Esta ltima desigualdad muestra que x + (1 )y K ? .

Ahora demostraremos que la compacidad se mantiene bajo aplicacin de simetrizacin de
Steiner.
Como K es compacto, K es acotado, es decir, existe h H y R > 0 tal que K B(h, R).
Por (a) se desprende que K ? B(h, R)? = B(h, R), luego K ? tambin es acotado.
Ahora demostraremos que K ? es cerrado, en efecto, sea {xn }nN K ? con xn x cuando
n . Por la continuidad de H se tiene H (xn ) H (x). Usando el Lema ?? se consigue
que
1 1
|x H (x)| = n
lm |xn H (xn )| lim |K (L + xn )| |K (L + x)|.
2 n 2
Con lo cual se deduce que x K ? y de esta forma K ? es compacto.

d) Sean x K ? e y V ? , equivalentemente x = h + l e y = k + m donde h, k H y l, m L
39
son tal que
|l + m| |l| + |m|
1
(|K (L + x)| + |D (L + y)|)
2
1
|K (L + x) + D (L + y)|
2
1
= |(K + D) (L + x + y)|,
2
donde en la tercera desigualdad se a ocupando la desigualdad Brunn-Minkowski. As, x + y

(K + D)? .
e) Sea H la proyeccin sobre H. Supongamos sin perdida de generalidad que H es el
hiperplano xn = 0. Usando el teorema de Fubini, obtenemos que
Z Z !
|K| = dxn dx1 . . . dxn1
(x1 ,...,xn1 )H (K) xn K(L+(x1 ,...,xn1 ,0))
Z
= |K (L + (x1 , . . . , xn1 , 0))|dx1 . . . dxn1
(x1 ,...,xn1 )H (K)
Z
= |K ? (L + (x1 , . . . , xn1 , 0))|dx1 . . . dxn1
(x1 ,...,xn1 )H (K)
Z Z !
= dxn dx1 . . . dxn1
(x1 ,...,xn1 )H (K) xn K ? (L+(x1 ,...,xn1 ,0))
?
= |K |.
f) Por parte (b) y (d), tenemos que
(K + B(0, ))? K ? + (B(0, 1))? = K ? + B(0, 1)? = K ? + B(0, 1) (2.11)
Si > 0, entonces
|K ? + B(0, 1)| |K ? | |(K + B(0, 1))? | |K ? |

|K + B(0, 1)| |K|
= .

La primera desigualdad se justifica por (??) y la ltima igualdad por la parte (e). El resultado
sigue tomando 0+ en la desigualdad anterior y de la Definicin ??.
g) Como K es un cuerpo convexo propio, existe un k Rn y > 0 tal que B(k, ) K.
Entonces, B(d, ) = (B(k, ))? K ? , para algn d adecuado. Por definicin de mximo y de
40
inradio, se tiene r(K) r(K ? ).

h) Como K es acotado, existe un k Rn y > 0 tal que K B(k, ). Entonces, K ?
B(k, )? = B(d, ), para algn d adecuado. Por definicin de mnimo y de circunradio, se tiene
R(K ? ) R(K).
A continuacin corresponde dar la definicin de la simetrizacin de Steiner de una funcin.
Definicin 2.3.6. Sea f una funcin no negativa Lipschitz con soporte compacto en un
conjunto abierto . La simetrizacin de Steiner de f es la funcin f ? definida en ? por
f ? (x) = sup{c : x {y : f (y) > c}? }
Una definicin de funcin de Steiner equivalente es la siguiente:
Definicin 2.3.7. Sea f una funcin no negativa medible definida en Rn , y sea V un

hiperplano n1 dimensional que pasa por el origen de Rn . Seleccionando un sistema coordenado
ortogonal en Rn , tal que la xn -direccin sea perpendicular a V . Una funcin negativa medible
f ? en Rn es llamada una simetrizacin de Steiner con respecto a V de la funcin f , si
f ? (x1 , x2 , . . . , xn ) es un rearreglo simtrico decreciente con respecto a xn de f (x1 , x2 , . . . , xn )
para cada x1 , x2 , . . . , xn1 fijo.
Ahora daremos una serie de propiedades de la simetrizacin de Steiner de funciones.
Proposicin 2.3.8. Si A Rn es un conjunto de Borel de medida de Lebesgue finita,entonces
(A )? = A? .
Demostracin: la demostracin es completamente anloga a la Proposicin ??.
Proposicin 2.3.9. Sea f una funcin no negativa medible. Entonces,

{x : f ? (x) > t} = {x : f (x) > t}? para todo t R+ . Con esto se deduce que
|{x : f ? (x) > t}| = |{x : f (x) > t}| para todo t R+ , o sea, f y f ? son equimedibles.
41
2.4. Desigualdad de Brascamp-Lieb-Luttinger
Demostracin: De la definicin de simetrizacin de Steiner de funciones se deduce que
1
f ? (x0 , xn ) > t, xn R y t R+ |xn | < |{xn R : f (x0 , xn ) > t}|,
2
y de esta equivalencia es inmediato notar que {x : f ? (x) > t} = {x : f (x) > t}? para todo
t R+ .
Proposicin 2.3.10. Sea : R+ R+ una funcin creciente, luego
( |f |)? = f ? .
Demostracin: la demostracin es completamente anloga al Corolario ??.
Proposicin 2.3.11. Sean f : Rn R una funcin medible Borel que se desvanece en el

infinito y : R+ R+ continua y montona creciente con (0) = 0. Entonces,
Z Z
(|f (x)|)dx = (f (x)? )dx.
Rn Rn
Demostracin: Se demuestra de la misma forma que el Corolario ?? usando Proposicin ??.

El propsito central de esta seccin es demostrar una desigualdad general de rearreglos
[?], de la cual la desigualdad de rearreglo de Riesz es un caso particular, para tal fin usaremos
[?], [?], [?].
42
Teorema 2.4.1. Sea fj , 1 j k, funciones no negativa medible en R que se desvanecen

en el infinito, y sea ajm , 1 j k, 1 m n, nmeros reales. Sea
Z k
Y n
X
I(f1 , . . . , fk ) := dx1 . . . dxn fj ( ajm xm ).
Rn j=1 m=1
Entonces,
I(f1 , . . . , fk ) I(f1 , . . . , fk )
Demostracin: Si k < n, claramente ambas integrales divergen. Si k = n y det | ajm |= 0,

ambas integrales divergen. Si k = n y det | ajm |6= 0, la igualdad se cumple (cambiando
Z Z
fj ).
Pn
variable a yj = m=1 ajm xm y usando que fj =
As nos falta demostrar el caso n < k. Usando la Proposicin ?? y Teorema de Fubini podemos
escribir que
Z k
Y n
X
I(f1 , . . . , fk ) := dx1 . . . dxn fj ( ajm xm )
Rn j=1 m=1
Z Z Z k
Y n
X
= ... {fj >tj } ( ajm xm )dx1 . . . dxn dt1 . . . dtk
0 0 Rn j=1 m=1
y el mismo argumento sirve para escribir que

Z Z Z k
Y n
X
I(f1 , . . . , fk ) = ... {fj >tj } ( ajm xm )dx1 . . . dxn dt1 . . . dtk .
0 0 Rn j=1 m=1
Teniendo en mente las anteriores identidades, como fj son funciones que se desvanecen en
el infinito, sus respectivos conjuntos de niveles tienen medida finita, de esta forma, para
demostrar el teorema, bastar probarlo para funciones caractersticas de conjuntos de medidas
Lebesgue finita.
Sean O1 ,. . . , Ok conjuntos de medida finita. Por regularidad exterior de la medida de Lebesgue,
para cada j {1, . . . , k} existe una sucesin de conjuntos abiertos {Ojr }rN tal que Oj Ojr

Ojr1 para todo r N y lmr |Ojr | = |Oj |, eso tambin significa que lmr |Ojr | = |Oj | .
De la inclusin anterior se determina que cada Ojr tiene medida finita y de la ltima igualdad
tenemos Ojr converge en medida a Oj , y similarmente se puede justificar que Ojr converge
43
en medida a Oj . Por el teorema de convergencia dominada para convergencia en medida

tenemos que
lm I(O1r , . . . , Okr ) = I(O1 , . . . , Ok ) y lm I(O1r , . . . , Okr ) = I(O1 , . . . , Ok ).

r r
As, para demostrar el teorema basta realizarlo para conjuntos abiertos de medida finita
G1 , . . . , Gk .
Es un hecho bien conocido que todo abierto Gi en la topologa usual de la recta real es la
unin numerable de intervalos abiertos disjuntos. Denotemos aquellos intervalos por Ii1 , Ii2 , . . .
donde la numeracin es seleccionada de tal forma que |Iin+1 | |Iin |. Si definimos,
m
[
Fim = Iij con i {1, . . . , k} (2.12)
j=1
tenemos que
P
lmm |Fim | = k=1 |Iik | = |Gi | para cada i {1, . . . , k}.
Por el teorema de la convergencia montona obtenemos que
lm I(F1m , . . . , Fkm ) = I(G1 , . . . , Gk ) y lm I(F1m , . . . , Fkm ) = I(G1 , . . . , Gk ).

m m
De esta manera, basta demostrar el teorema para funciones caractersticas de unin finita de
intervalos abiertos disjuntos.
Para esto, primero demostremos el teorema para funciones caractersticas de un intervalo
abierto. Sea Aj un intervalo definido por
Aj = (j j , j + j ).
Sea J(t) la integral definida por

Z k
Y n
X
J(t) = dx1 . . . dxn Aj (t) ( ajm xm ) (2.13)
Rn j=1 m=1
donde
Aj (t) = (j t j , j t + j ) t [1, 1].
44
Sea C el conjunto,
n
X
C = {(x1 , x2 , . . . , xn , t) : j t j ajm xm j t + j , j = 1, . . . , k}.
m=1
C es convexo pues es la interseccin de semi-espacios (los que son convexos) y es balanceado,

es decir, (x1 , x2 , . . . , xn , t) C, entonces (x1 , x2 , . . . , xn , t) C. Para t fijo, definimos
C(t) = {(x1 , x2 , . . . , xn ) : (x1 , x2 , . . . , xn , t) C}. Como C es balanceado, C = C y esto
1
da, C(t) = C(t). Tambin se observa que J(t) = |C(t)|. Tomando = 2
en el Corolario ??
conseguimos
1 1
J(0) J(1) 2 J(1) 2 .
Dado que C(t) = C(t), tenemos que J(t) = J(t), as
J(0) J(1). (2.14)
La desigualdad (??) demuestra el teorema para el caso de intervalo abierto.

Podemos probar ms que lo anterior. Nuevamente por Corolario ?? tenemos que
J(t) J(s) J(s)1 = J(s) dados 0 t s 1 (2.15)
t+s
donde 0 = 2s
, es decir, J es decreciente.
Ahora demostraremos el teorema para funciones caractersticas de unin finita de intervalos
disjuntos. Sea Aj (x) la funcin caracterstica del conjunto
nj
[
Aj = {x R : jp jp x jp + jp }
p=1
con jp + jp < jp+1 jp+1 , 1 p nj 1 y 1 j k.

La prueba se realizar por induccin sobre N = (n1 , n2 , . . . , nk ).
Se entender por M < N cuando mj nj para 1 j k y mi < ni para algn i.
La demostracin para el caso del intervalo nos da la prueba para el caso N = {1, . . . , 1}.
Asumamos que el teorema es verdadero para M < N .
Definimos Aj (t) (x) como la funcin caracterstica del conjunto
nj
[
Aj (t) = {x R : jp t jp x jp t + jp }
p=1
45
para 0 < t, donde

jp + jp+1
= max{ } > 0.
j,p jp+1 jp
Para cada < t 1 los intervalos de cada funcin Aj (t) permanecen disjuntos, en t = al
menos dos intervalos se intersectan. Dado que cada funcin Aj (t) es una suma de funciones
caracterstica de intervalos, aplicando (??) intervalo por intervalo encontramos que
Z k
Y n
X Z k
Y n
X
J(1) = dx Aj ( ajm xm ) dx Aj ( ) ( ajm xm ) = J( )
Rn j=1 m=1 Rn j=1 m=1
En t = , la familia de funciones {Aj (t) } satisface la hiptesis de este teorema, pero se ha

reducido a algn M < N , debido a esto, podemos ocupar la hiptesis inductiva, y concluir
que
Z k
Y n
X Z k
Y n
X
dx Aj ( ) ( ajm xm ) dx Aj ( ) ( ajm xm ).
Rn j=1 m=1 Rn j=1 m=1
Observando que Aj ( )(.) = Aj (.) el teorema ha quedado demostrado.
Corolario 2.4.2. Sean fj , 1 j k, funciones medibles no negativas en Rp , sean ajm ,

1 j k, 1 m n, nmeros reales, y sea V cualquier plano que pasa por el origen de Rp .
Luego,
Z k n Z k n
fj? (
Y X Y X
dx1 . . . dxn fj ( ajm xm ) dx1 . . . dxn ajm xm )
Rnp j=1 m=1 Rnp j=1 m=1
donde x = (x1 , . . . , xn ) Rnp con xi Rp para i {1, . . . , n} y fj? es la simetrizacin de

Steiner de fj respecto a V .
Demostracin: Sea (x1 , . . . , xp ) un sistema coordenado para Rp tal que, el eje xp es ortogonal
a V . Manteniendo fijas las coordenadas xqm , 1 m n, 1 q p 1 y aplicando el teorema
anterior sobre (xp1 , xp2 , . . . , xpn ) tenemos que
Z k n Z k n
dxp1 . . . dxpn dxp1 . . . dxpn . . . fj? (
Y X Y X
fj ( ajm xm ) ajm xm ).
Rn j=1 m=1 Rn j=1 m=1
La demostracin del corolario sigue integrando con respecto a xqm , 1 m n, 1 q p 1.
46
Corolario 2.4.3. (La desigualdad de Riesz para simetrizacin de Steiner) Sean f, g y h

funciones no negativas medibles en Rn . Sea
Z Z
I(f, g, h) = f (x)g(x y)h(y)dxdy.
Rn Rn
Entonces,
I(f, g, h) I(f ? , g ? , h? ), (2.16)
donde f ? , g ? y h? son las simetrizaciones de Steiner de f, g y h respectivamente, respecto a

un hiperplano arbitrario V .
Demostracin:
La demostracin
queda establecida haciendo k = 3, n = 2 y
1 1 0
(ajm ) = en el Corolario ??.

0 1 1
Intuitivamente se ve que el rearreglo decreciente simtrico puede ser obtenido como el limite-
L1 (Rp ) de una sucesin de simetrizacin de Steiner respecto a diferentes plano (esto se
demuestra en el apndice del artculo [?] ). Usando este hecho junto al corolario ??, se
consigue una versin anloga de este corolario, pero para rearreglo decreciente simtrico.
Definicin 2.4.4. Diremos que un punto x es un punto de Lebesgue de un conjunto medible

A en Rn , si
|A B(x, )|
lm+ = 1.
0 |B(x, )|
Denotaremos el conjunto de puntos de Lebesgue de A como DA . Claramente desde su
definicin, el interior de un conjunto A esta contenido en DA y DA esta contenido en la
clausura de A. Tambin se observa, que si x es punto de Lebesgue de A, entonces x+y es
punto de Lebesgue de A + y y x es un punto de Lebesgue de A. Finalmente, es cierto que
x es un punto de Lebesgue de C D si x es un punto de Lebesgue de C y x es un punto de
Lebesgue de D.
47
Teorema 2.4.5. (Teorema densidad de Lebesgue) Sea A R tal que m(A) > 0. Casi todo
punto de A es un punto de Lebesgue de A.
Demostraccin: Ver apndice D de [?].
Lema 2.4.6. Sean A y B conjuntos medibles en R, A y B sus funciones caractersticas.

Entonces,
DA DB sop(A B ) := {x Rn : (A B )(x) > 0}
donde
Z
(A B )(x) = A (y + x)B (y)dy
R
Demostraccin: Desde la definicin de A B se obtiene que
(A B )(x) = |(A x) B|.
Si x DA DB , entonces x = a b con a DA y b DB . De esto se deduce que b = a x

es un punto de Lebesgue de B (A x). Luego, |(A x) B| > 0, o sea, x sop(A B ).
Lema 2.4.7. Sea A R tal que |A| > 0. Si A = A + x para algn x R {0} , entonces
|A| = .
Demostracin: Como |A| > 0, existe un n N tal que |B| > 0 con B := A [n, n + 1].
Entonces, B + x A + x = A, as B + mx A para todo m N. Por definicin de B,
n b n + 1 para cada b B. Por propiedad arquimediana existe M N tal que M x > 1,
de esta forma M sx + n + 1 < M (s + 1)x + n para todo s N {0}. Entonces los intervalos
[n + sM x, n + 1 + sM x] para todo s N {0} son disjuntos. Consecuentemente, A contiene
a los conjuntos disjuntos B + sM x con s N {0}. Debido a que |B + sM x| = |B| > 0 , se
tiene que A contiene infinitos conjunto de medida |B|. As, queda establecido que |A| = .
48
Lema 2.4.8. Sean A y B conjuntos medibles de medida finita en R y sea JA y JB los

intervalos ms pequeos tal que
|A JA | = |A| y |B JB | = |B|, (2.17)
respectivamente. Entonces, el intervalo ms pequeo que contiene el soporte de

A B := {x : (A B )(x) > 0} tiene longitud |JA |+|JB |.
Demostracin: Sean JA = (a, b) y JB = (c, d) con las caractersticas descritas en la

hiptesis, entonces JA JB = (a d, b c). Se puede ver que sop(A B ) JA JB . Ahora,
supongamos que existe un intervalo M = (r, s) tal que M JA JB y sop(A B ) M .
Sin perdida de generalidad podemos suponer que s = b c, ahora podemos encontrar a < a0
y d0 < d tales que a0 d0 = r. Como JA y JB son los intervalos mnimos que cumplen (??) se
obtiene que
0 < |A| |A (a0 , b)| = |A (a, a0 )| y 0 < |B| |B (c, d0 )| = |B (d0 , d)|. (2.18)
Por Teorema de Lebesgue y (??) tenemos que
A (a, a0 ) B (d0 , d) DA DB y |(A (a, a0 ) B (d0 , d)) (R\M )| > 0.
Por la contencin anterior y Lema ?? se tiene A (a, a0 ) B (d0 , d) sop(A B ) M .

Esto es una contradiccin.
Lema 2.4.9. Sean A y B conjuntos de medida finita en Rn . Entonces A B es una funcin

continua en Rn .
Demostracin: Sigue de la aplicacin del teorema de la convergencia dominada.
49
Teorema 2.4.10. Suponga que g es una funcin positiva esfricamente simtrica decreciente
en Rn y g es estrictamente decreciente ( es decir, |x| < |y| g(x) > g(y) > 0). Sean f y h
funciones no negativas en Rn con f Lp (Rn ) y h Lq (Rn ). Entonces, existe igualdad en
(??) si y solamente si f (x) = f ? (x y) y h(x) = h? (x y) c.t.p. para algn y Rn , donde
f ? y h? son las simetrizaciones de Steiner de f y h, respectivamente, respecto a un hiperplano
arbitrario V .
Demostracin: Desde las hiptesis de las funciones f, g y h se puede suponer sin perdida
de generalidad que f, h, g y sus respectivos rearreglos van a cero en el infinito. Adems se
puede suponer que ni f ni h son las funciones nulas. Primero demostraremos el teorema para
funciones f, h y g unidimensionales. Debido a que g es estrictamente decreciente existe una
medida positiva tal que
Z
g(x) = gr (x)d(r),
donde gr es la funcin caracterstica del intervalo (r/2, r/2). Por Teorema ??, el teorema de
Fubini y esta ltima representacin, tenemos
Z Z
I(f, g, h) = f (x)g(x y)h(y)dxdy
R R
Z Z Z Z Z
= {f >s} (x)gr (x y){h>t} (y)dsd(r)dtdxdy
0 0
ZR RZ Z
= I({f >s} , gr , {h>t} )dsd(r)dt. (2.19)
0 0
De la misma forma
Z Z Z

I(f , g, h ) = I({f >s} , gr , {h >t} )dsddt, (2.20)
0 0
tomando en cuenta que g = g . 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. (2.21)
Las hipotesis de g implican que ((a, b)) > 0, as la medida es absolutamente continua con
respecto a la medida de Lebesgue . Entonces para demostrar (??) basta probar
I({f >s} , gr , {h>t} ) = I({f >s} , gr , {h >t} ) c.t.p r, s, t. (2.22)
50
Sea As = {f > s} y Bt = {h > t}, as As = {f > s} y Bt = {h > t}. Para r |As | + |Bt |
tenemos que, x y [r/2, r/2] para todo x As e y Bt . Luego, para tales r, s y t tenemos
que
Z Z
I({f >s} , gr , {h >t} ) = {f >s} (x)gr (x y){h >t} (y)dxdy
R R
= |As ||Bt |
= |As ||Bt |.
Afirmacin: 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 concntricos.
Demostracin: Paso 1: Como As , Bt son conjuntos de medida finito, {(r, s, t) : r > |As | + |Bt |}
es un conjunto de medida no negativa. Consideremos un (s0 , t0 ) R R en la proyeccin de
este ltimo conjunto. Para casi todo r > |As0 | + |Bt0 | tenemos que
0 = I({f >s0 } , gr , {h >t0 } ) I({f >s0 } , gr , {h>t0 } )

Z Z
= |As0 ||Bt0 | {f >s0 } (y + z)gr (z){h>t0 } (y)dydz
Z R
Z R Z Z
= |As0 ||Bt0 | {f >s0 } (y + z){h>t0 } (y)dydz + {f >s0 } (y + z){h>t0 } (y)dydz
R R ( r2 , r2 )C R
Z Z
= {f >s0 } (y + z){h>t0 } (y)dydz,
( r2 , r2 )C R
la tercera igualdad se justifica por gr (z) = 1 ( r2 , r2 )C (z).

Como
z 7
R
R {f >s0 } (y + z){h>t0 } (y)dy es una funcin no negativa y continua, se tiene que
Z
r r
{z R : {f >s0 } (y + z){h>t0 } (y)dy > 0} ( , ) para casi todo r > |As0 |+|Bt0 |(2.23)
R 2 2
Paso 2: Sea Js0 el intervalo ms pequeo tal que |As0 Js0 | = |As0 | y Jt0 el intervalo ms
pequeo tal que |Bt0 Jt0 | = |Bt0 | . El Lema ?? asegura que el intervalo ms pequeo que
contiene a {z R : {f >s0 } (y + z){h>t0 } (y)dy > 0} tiene longitud igual a |Js0 |+|Jt0 |.
R
R
Entonces por (??), se tiene que, |Js0 |+|Jt0 | r para casi todo r > |As0 | + |Bt0 |. Esto da,
|As0 | + |Bt0 | |Js0 |+|Jt0 |. Esto justifica la siguiente desigualdad
|Js0 |+|Jt0 | |As0 | + |Bt0 | = |As0 Js0 | + |Bt0 Jt0 | |Js0 |+|Jt0 |,
51
o bien, |As0 | + |Bt0 | = |Js0 | + |Jt0 |. De esto podemos concluir que,
|Js0 As0 |= |Js0 |= |As0 | y |Jt0 Bt0 |= |Jt0 |= |Bt0 |,
en otras palabras, As0 es casi todo el intervalo Js0 y Bt0 es casi todo el intervalo Jt0 . Adems,
por Lema ?? se obtiene la inclusin,
r r
DAs0 DBt0 ( , ).
2 2
La ltima inclusin y el hecho que casi todo punto de As0 Bt0 pertenece a DAs0 DBt0 , nos
permite concluir que casi todo punto de Js0 Jt0 pertenece a ( 2r , 2r ) para casi todo
r > |As0 | + |Bt0 |. Esto da, que casi todo punto de Js0 Jt0 pertenece a
( 12 (|Js0 | + |Jt0 |), 12 (|Js0 | + |Jt0 |)) y esto es posible slo cuando Js0 y Jt0 son intervalos
concntricos, as la afirmacin ha quedada demostrada.
Ahora volvamos a la demostracin del teorema del caso unidimensional. Fijando t0 en la
proyeccin de {(r, s, t) : r > |As | + |Bt0 |}, por la conclusin del paso anterior, para casi todo
s en la proyeccin {s : r tal que r > |As | + |Bt0 |}, As y Bt0 son intervalos concntricos.
Entonces, casi todo los intervalos {f > s} tienen el mismo centro (el centro de {h > t0 }).
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 traslacin.
De la misma forma, fijando s y variando t se concluye como antes que h = h salvo por una
traslacin.
Ahora, consideremos f, g y h como funciones sobre Rn . Si I(f, g, h) = I(f ? , g, h? ), esto se
puede expresar como
Z Z
f (x0 , xn )g(x0 y 0 , xn yn )h(y 0 , yn )dxn dyn dx0 dy 0
Rn1 Rn1 RR
Z Z
= f ? (x0 , xn )g(x0 y 0 , xn yn )h? (y 0 , yn )dxn dyn dx0 dy 0 ,
Rn1 Rn1 RR
con x0 , y 0 Rn1 Rn1 .

Usando la desigualdad de Riesz a la identidad anterior se tiene la siguiente expresin en
sentido x0 , y 0 c.t.p.
Z
f (x0 , xn )g(x0 y 0 , xn yn )h(y 0 , yn )dxn dyn
RR
Z
= f ? (x0 , xn )g(x0 y 0 , xn yn )h? (y 0 , yn )dxn dyn .
RR
52
2.5. Adicin y Sustraccin de Minkowski
Aplicando el resultado unidimensional a la identidad anterior obtenemos que
f (x0 , xn ) = f ? (x0 , xn k 0 ) y h(y 0 , yn ) = h? (y 0 , yn k 0 ) x0 , y 0 c.t.p..
Necesitamos demostrar que k 0 no depende de la seccin. Basta restringirse a secciones de f y

h que son no nulas (es decir, no son ceros c.t.p.).
Sean
S = {(x0 , y 0 ) : (f (x0 , .) = 0 c.t.p.) y (h(y 0 , .) = 0 c.t.p.)} y
N = {(x0 , y 0 ) : (f (x0 , xn k 0 ) = f (x0 , xn k 0 ) c.t.p.) o (h(y 0 , yn ) = h (y 0 , yn k 0 ) c.t.p.)},
(la medida de Lesbesgue de N es cero).

Fijemos, ahora (x0 , y 0 ) y (x00 , y 0 ) en S N C . Tenemos que,
f (x0 , xn ) = f ? (x0 , xn kx0 ,y0 ) y h(y 0 , yn ) = h? (y 0 , yn kx0 ,y0 ) x0 , y 0 c.t.p.
f (x00 , xn ) = f ? (x00 , xn kx00 ,y0 ) y h(y 0 , yn ) = h? (y 0 , yn kx00 ,y0 ) x00 , y 0 c.t.p..
De lo anterior se desprende que
h(y 0 , yn ) = h(y 0 , yn + kx00 ,y0 kx0 ,y0 ) yn c.t.p. (2.24)
Debido a que (x0 , y 0 ) S se tiene que h(y 0 , .) es no trivial, esto justifica que existe un t > 0
tal que |A| > 0 con A = {yn : h(y 0 , yn ) > t}. Como h(y 0 , .) se desvanece en el infinito, se tiene
que |A| < . Por (??), obtenemos A = A + kx00 ,y0 kx0 ,y0 . Finalmente usando el Lema ??
tenemos que kx00 ,y0 = kx0 ,y0 . Esto es vlido para todas las secciones x0 , x00 para la cual f (x0 , .) y
f (x00 , .) son no triviales (fijando un y 0 ). Esto demuestra que f es simtrica en cada seccin con
respecto a un mismo centro. De la misma forma, fijando x0 y considerando secciones y 0 , y 00
arbitrarias de la funcin h, podemos concluir que h es simtrica en cada seccin con respecto
a un mismo centro ( el mismo centro de f ).

Para desarrollar esta seccin ocupamos Schneider [?].
53
Definicin 2.5.1. La adiccin de Minkowski de dos conjuntos A, B Rn se define como
A B := {a + b : a A, b B}.
La definicin anterior se puede reescribir como
A B :=
S
bB (A + b).
Se asumir que A {0} = A y A = .

La adicin de Minkowski satisface las propiedades conmutativa y asociativa .
Proposicin 2.5.2.
1) A B = B A.
2) (A B) C = A (B C).
Demostracin: aplicar definicin de adicin de Minkowski y la conmutativa y asociativa de la

suma usual de vectores en Rn .
Definicin 2.5.3. La sustraccin de Minkowski de dos conjuntos A, B Rn se define como
A B := b).
T
bB (A
Claramente la definicin anterior se puede reescribir como
A B := {x Rn : B + x A}.
Por convencin se tiene que A = Rn .

Si B = B, entonces
A B :=
T
bB (A + b).
Proposicin 2.5.4. Si A, B, C Rn tal que B = B y A C y B C. Entonces
A B = C\((C\A) B)
54
Demostracin: Por hiptesis tenemos, A B :=

T
bB (A + b).
Por otra parte,
!
(C\A) B =
S T
bB ((C\A) + b) = C\ bB (A + b) .
Entonces,
C\((C\A) B) = + b) = A B.
T
bB (A
Definicin 2.5.5. Sea A un subconjunto de Rn . Sea r el inradio de A. Si 0 r, el

conjunto paralelo interno de A a distancia , que vamos a denotar A , es el subconjunto de
A definido por
A = A B(0, ).
Observar que A es cerrado si A es cerrado. Si A = entonces A = .
= A.
Teorema 2.5.6. Sea A un conjunto convexo de Rn . Entonces, A
Demostracin: Ver Teorema 2.28 pgina 102 de [?] .
Proposicin 2.5.7. Sea A un conjunto abierto convexo de Rn . Entonces

A B(0, ) = A B(0, ).
Demostracin: claramente A B(0, ) A B(0, ). Si x A B(0, ), entonces B(x, ) A.

= A = A, o bien x A B(0, ).
Usando el Teorma ?? se obtiene, B(x, ) A
Definicin 2.5.8. Sea A un subconjunto de Rn . Se dir que H es el hiperplano soporte de A

si cumple:
i) A esta contenida en uno de los semiespacios determinado por H, y
55
ii) A H 6= .
En palabras simples, H es un hiperplano que toca a A, de tal forma que A esta completamente
en uno de los lados de H.
Teorema 2.5.9. (Separacin) Sea A un cerrado convexo de Rn . Sea x0 6 A. Entonces:
(1) Existe un nico punto x1 A tal que d(x0 , x1 ) = d(x0 , A). Aqu d(., .) : Rn Rn R+
representa la funcin distancia euclidiana . La funcin distancia de un punto x a un
conjunto A se define como d(x, A) := nf{d(y, x) : y A}.
(2) Sea x1 el punto definido en la parte 1. Luego el hiperplano H que pasa por x1 y es
ortogonal a x0 x1 es un hiperplano soporte de A.
x0 x1
(3) Si u = kx0 x1 k
se tiene que h(A, u) < hx0 , ui, donde h se define a continuacin de la
demostracin de este teorema.
Demostracin: 1) Sea = nf{d(x0 , x) : x A}. Debido a que d(x0 , x) es no negativa,

existe una sucesin minimizante {xn }nN tal que d(x0 , xn ) cuando n . Por la
ley del paralelgramo se puede probar que, {xn }nN es una sucesin de Cauchy en Rn y,
por lo tanto, converge a x1 = lm xn A (pues A es cerrado). Esto significa que existe un
punto x1 A tal que d(x0 , x1 ) = d(x0 , A). Usando convexidad de A y el hecho que d(x0 , .) es
estrictamente convexa, se puede demostrar que ese x1 es nico.
2) Sea H el hiperplano de ecuacin
{x Rn : hx x1 , x0 x1 i = 0}
y H el semiespacio de ecuacin
{x Rn : hx x1 , x0 x1 i 0}. (2.25)
Demostremos que A H . Si x A y x 6 H , entonces tenemos
hx x1 , x0 x1 i = > 0.
56
Por otra parte, la distancia al cuadrado de un punto del segmento x1 x (por convexidad este
segmento pertence a A) a x0 esta dada por
k((1 )x1 + x) x0 k2 = kx1 x0 + (x x1 )k2
= hx1 x0 + (x x1 ), x1 x0 + (x x1 )i
= kx1 x0 k2 2hx x1 , x0 x1 i + 2 kx x0 k2
= kx1 x0 k2 2 + 2 kx x1 k2 .
2
Si 0 < < kxx1 k2
, entonces 2 + 2 kx x1 k2 < 0. De esta forma
k(1 )x1 x x0 k < kx1 x0 k.
Esto contradice que x1 es el punto de A ms cercano a x0 . Por lo tanto, A H .

3) Por (??),
1 x0 x1
h(A, u) = supha, x0 x1 i = hx1 , i < hx0 , ui.
kx0 x1 k aA kx0 x1 k

Definicin 2.5.10. Sea A un conjunto de Rn . La funcin soporte de A es una funcin

asociada con A, definida para todo x Rn , como
h(A, x) := supha, xi, x Rn .

aA
Si A es compacto en Rn , el valor mximo de ha, xi, para a A se alcanza en algn punto

a0 A, debido a que ha, xi es una funcin continua de a.
En este caso, la funcin soporte h(A, u) de A tiene una interpretacin geomtrica para un
vector unitario u. Sea a0 un punto de A que maximiza h., ui restringida al conjunto A, as
h(A, u) = supha, ui = ha0 , ui.

aA
De esta manera, h(A, u) es la distancia (signada) desde 0 al hiperplano de A con vector

normal exterior u.
A continuacin probaremos unas tiles propiedades para la funcin soporte de un cuerpo
convexo.
57
Proposicin 2.5.11. Sea A un convexo cerrado de Rn y x, y Rn . Entonces,
1) h(A, x) = h(A, x), si > 0.
2) h(A, x + y) h(A, x) + h(A, y).
Demostracin: 1) Si > 0, entonces
h(A, x) = supha, xi = sup ha, xi = supha, xi = h(A, x).

aA aA aA
2)
h(A, x + y) = supha, x + yi = sup(ha, xi + ha, yi)

aA aA
supha, xi + supha, yi = h(A, x) + h(A, y).
aA aA
Sea H el hiperplano con ecuacin
hx, ui = h(A, u) = ha0 , ui.
Consideremos el semiespacio H (A, u) := {x Rn : hx, ui ha0 , ui}. Claramente A

H (A, u) y H (A, u) A = {a0 }. Por lo tanto, H (A, u) es un hiperplano soporte de A.
Proposicin 2.5.12. Sea A un cuerpo convexo, entonces la funcin h(A, .) es continua.
Demostracin: A es un conjunto acotado, as, existe M > 0 tal que |a| < M para todo
a A. Sea a0 A tal que h(A, x) = ha0 , xi. Por desigualdad de Cauchy-Schwarz tenemos
|h(A, x)| = |ha0 , xi| ka0 kkxk M kxk.
Aplicando la parte 2 de la Proposicin ?? se consigue
h(A, x) h(A, x0 ) h(A, x x0 ) M kx x0 k,
y tambin una desigualdad anloga a la anterior pero con roles intercambiados de x y x0 .

Luego,
|h(A, x) h(A, x0 )| M kx x0 k,
lo que demuestra que h(A, .) es continua Lipschitz.
58
H (A, u) = co(A). Si A es convexo y cerrado, entonces hx, ui

T
Teorema 2.5.13. uSn1
h(A, u) para cada vector unitario u, luego x A.
Demostracin: Debido a que H (A, u) es convexo que contiene a A para cada u Sn1 , se
tiene que co(A) H (A, u) para cada u Sn1 . Por otra parte, si x 6 co(A), por parte 3 del
Teorema ??, existe u tal que h(A, u) h(co(A), u) < hx, ui, entonces x 6 H (A, u).
Corolario 2.5.14. Sean A1 Rn y A2 cerrado convexo en Rn . As, A1 A2 si y solamente

si h(A1 , u) h(A2 , u) para cada vector unitario u.
Demostracin: Si h(A1 , u) h(A2 , u) para cada vector unitario u, entonces hx, ui h(A2 , u)
para cada vector unitario u y x A1 , usando el Teorema ??, obtenemos que x A2 . La otra
implicancia es directa desde la definicin de funcin soporte.
El siguiente teorema da una nueva caracterizacin de conjunto paralelo interno.
Proposicin 2.5.15. Sea A un convexo cerrado de Rn con 0 A e inradio r > 0. Si

0 < < r, entonces
[H (A, u) u].
\
A =
uSn1
Demostracin:
h i
H (A, u) u
\
x
uS n1
hx + u, ui h (A, u) u S n1
hx + su, ui h (A, u) 0 < s < , u S n1
hx + sv, ui h (A, u) 0 < s < , u, v S n1
(como hu, vi 1 y sup hu, vi = 1)

vS n1
59
h (B(x, ), u) h (A, u)
B(x, ) A
x A
Lema 2.5.16. Sea A Rn un cuerpo convexo con interior no vacio, tal que
r2
B(0, r) A B(0, R). Si 0 < < 4R
, entonces
(1 4 R
r2
)A A A
Demostracin: La contencin A A sigue de la Definicin ??. Ahora demostraremos la otra

contencin. Por la convexidad de A y que 0 A, basta probar que (1 4 R
r2
)F r(A) A .
Afirmacin: Sea x F r(A ), entonces, existe un u1 Sn1 tal que
h(A, u1 ) = hu1 , u1 i + hx, u1 i. (2.26)
Demostremos esta afirmacin. Para todo u Sn1 , debido a que x + u A tenemos que
hu, ui + hx, ui h(A, u) (es decir, h(A , u) h(A, u) ). Suponga ahora que, hx, ui +
hu, ui < h(A, u) para cada u Sn1 . Sea f (u) = h(A, u) (hx, ui + ). El nfimo de la funcin
f es alcanzada en algn u1 Sn1 (pues esta es continua), entonces f (u1 ) = nf f (u) > 0.
Sea 0 = + f (u1 ). Afirmo, que B(x, 0 ) A. En efecto, si z B(x, 0 ), as z = x + sv con
v Sn1 , 0 < s < 0 = + f (u1 ). Estimando conseguimos que
hz, ui = hx + sv, ui hx + su, ui = hx, ui + s < hx, ui + + f (u1 ) < h(A, u), (2.27)
entonces z A. Lo anterior prueba (??).

Por proposicin ??, la funcin h(A x, .) es continua, y Sn1 es compacto, as esta alcanza
un mnimo, digamos en u.
Observamos que no puede ocurrir que h(A x, u) > 0, pues esto contradice (??) y que u
es mnimo de h(A x, .). Luego, h(A x, u) , o bien hx, ui = h(A, u) . Por desigualdad
de Cauchy-Schwarz tenemos que
1 1
kxk = kxkkuk hx, ui = h(A, u) r r r > r (2.28)
4 2
60
, la penltima desigualdad se tiene debido a que r < R implica < 4r .

Sea el ngulo que forma los vectores u y x, por (??) se tiene que
1
hx, ui = cos kxk > r. (2.29)
2
1 1
Debido a que R
< kxk
y (??) se consigue que
r
cos . (2.30)
2R
Sea z = x con > 0 y z F r(A). Claramente,
hz x, ui = kz xk cos (2.31)
Usando (??), (??) y (??) en (??) obtenemos que
kz xk 2 2R 2 R
=4 2.
kxk cos r r r r
Esto implica que,

kzk kz xk R
1 <4 2,
kxk kxk r
o bien,
kzk R
<1+4 2.
kxk r
Observamos que 4 R
r2
< 1, entonces
kzk 1
< .
kxk 1 4 R
r2
Luego, (1 4 R
r2
)z A .
Ahora para cualquier y F r(A) el segmento [0, y] intersecta F r(A ) en un punto x y el
punto z en F r(A) asociado a x en la discusin anterior es evidentemente y mismo. Entonces,
(1 4 R
r2
)y A . Por lo tanto (1 4 R
r2
)F r(A) A .
61
2.6. Distancia Hausdorff

Definicin 2.6.1. 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 mtrico con la

distancia Hausdorff
dH (K1 , K2 ) := max((K1 , K2 ), (K2 , K1 )). (2.32)
Observacin 2.6.2. dH (Kn , K) 0 cuando n si y slo si cualquier > 0 existe n

tal que Kn K B(0, ) y K Kn B(0, ) para todo n n .
Para conjuntos abiertos en un conjunto compacto, definimos la distancia mediante su

complemento.
Definicin 2.6.3. Sean O1 , O2 dos conjuntos abiertos del conjunto compacto B Rn . Su

distancia Hausdorff se define por
dH (O1 , O2 ) = dH (B\O1 , B\O2 ). (2.33)
Enunciaremos una til propiedad de la compacidad de la distancia Hausdorff.
Teorema 2.6.4. Sea B un compacto fijo en Rn y {n } una sucesin de conjuntos abiertos

de B. Entonces, existen un conjunto abierto B y una subsucesin {nk } de {n } que
converge respecto a la distancia Hausdorff a .
Demostracin: Ver Corolario 2.2.24 en pgina 40 de [?].
Observacin 2.6.5. Sea {Pk } una sucesin de polgonos de n lados, que se encuentra al
interior de una bola cerrrada B, entonces por Teorema ?? tenemos que existe un abierto
P tal que una subsucesin de {Pk } converge respecto a la distancia Hausdorff a P . Como
los vertices de todos los polgonos Pk estan contenidos en B, podemos usar el Teorema de
Heine-Borel para concluir que las sucesiones formado por los vertices de cada polgono tienen
una subsucesiones que converge a lgun punto de B. Desde la definicin de convergencia
Hausdorff, y la unicidad de limite se ve que P es un polgono de m lados con m n.
62
Proposicin 2.6.6. Sea B un conjunto compacto en Rn y n una familia de subconjuntos

abiertos y convexos de B que converge, para la distancia Hausdorff, a un conjunto . Adems,
asuma que existe un r > 0 tal que B(0, r) n y B(0, r) . Entonces, ?n converge a ? ,
respecto a la distancia Hausdorff, donde ? y ?n son las simetrizaciones de Steiner de y
n , respectivamente, para un hiperplano H.
Demostracin: Por hiptesis, para cada > 0 existe N N tal que
B\n B\ B(0, ) y B\ B\n B(0, ) para cada n N .
Estas contenciones equivalen a que, para cada > 0 existe N N tal que
B(0, ) n y n B(0, ) para cada n N .
Por Lema ?? tenemos que
4R 4R

1 2 B(0, ) n y 1 2 n n B(0, ) ,
r r
para cada n N .
Desde las ltimas contenciones se obtiene que
4R 4R

1 2 ? ?n y 1 2 ?n ? para cada n N ,
r r
as
4R 4R

B\?n B\ 1 2 ? y B\ B\ 1 2 ?n
?
para cada n N .
r r
Para cada convexo abierto A B se puede demostrar que
4R 8R2

B\ 1 2 A B\A B(0, 2 ).
r r
Segn esto ltimo, para cada > 0 existe N N tal que
8R2 8R2
B\?n B\?n B(0, ) y B\?n B\? B(0, ) para cada n N .
r2 r2
63
Proposicin 2.6.7. Sea M un tringulo arbitrario. Definimos M1 =M y sucesivamente, Mn+1

como la simetrizacin 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 sucesin {Mn } converge a un tringulo equiltero con respecto a la
distancia Hausdorff.
Figura 2.2: sucesin tringulos
Demostracin: Sea M (a) la mediatriz al lado de longitud a. Sea un triangulo M arbitrario

cuyos lados tiene longitudes a1 , b1 y c1 , sin perdida de generalidad supongamos que a1 b1 c1 ,
simetrizando a M1 :=M respecto a M (a1 ) obtenemos el tringulo issceles M2 de lados cuyas
longitudes son a2 , b2 y c2 . Ahora simetrizando a M2 con respecto a M (b2 ) se obtiene un M3 de
lados de longitudes a3 , b3 y c3 . En general la sucesin se genera simetrizando con respecto a
l(an ), luego con l(bn+1 ) y continuando con l(an+2 ).
Debido a que el primer valor propio del p-Laplaciano fraccionario-Dirichlet (que se define en
el siguiente captulo) es invariante bajo traslacin, podemos asumir que todos los Mn estn
contenidos en una bola fija B. Por Observacin ??, tenemos que existe un tringulo T y una
subsucesin {Mnk } que converge a T respecto a la distancia Hausdorff. Si en cualquier etapa,
Mn es un tringulo equiltero entonces Mn+1 tambin lo es, y as en este caso el teorema queda
64
demostrado.
Supongamos que ningn miembro de {Mn } es un triangulo equiltero. Sea Ln y ln las longitudes
de los lados mayores y menores de Mn , respectivamente. Simetrizando a Mn con respecto a
M (Ln ) se consigue Ln = Ln+1 y ln < ln+1 . Si simetrizamos con respecto a M (ln ), entonces
Ln > Ln+1 y ln = ln+1 . Entonces {Ln ln } es una sucesin montona decreciente. As
lmn (Ln ln ) existe. Supongamos que lmn (Ln ln ) = > 0, y sea M un tringulo
tal que dH (Mnjk , M) 0 para alguna subsucesin de {Mnk }. Sea M? el conjunto que se
obtiene aplicando continuamente dos simetrizaciones (como las descritas anteriormente) a
M? . La diferencia entre la longitudes de los lados mayores y menores para M? es L? l? < .
Para n suficientemente grande se tiene que Mn es arbitrariamente cercano a M en el sentido
de la distancia Hausdorff, por Teorema ?? se tiene que M?n+2 es arbitrariamente cercano
a M? . Entonces, Ln+2 ln+2 < , lo que es una contradiccin. As, lmn (Ln ln ) = 0.
Consecuentemente, existe una subsucesin de Mn que converge a un tringulo equiltero.
Proposicin 2.6.8. La sucesin infinita construida a partir de un cuadriltero arbitrario C,

alternando una simetrizacin de Steiner respecto a una mediatriz de una diagonal y luego
respecto a una mediatriz de un lado, converge a un cuadrado respecto a la distancia Hausdorff.
Demostracin: Simetrizando un cuadriltero no convexo respecto a la perpendicular a su

diagonal exterior, se obtiene un cuadriltero convexo. As, supondremos C que e un cuadriltero
convexo arbitrario cuyas diagonales tienen longitudes M y n con M > n. En primer lugar
simetrizando C con respecto a una recta perpendicular a cualquiera de sus diagonales. Al
cuadriltero C 0 (volantn) lo simetrizamos respecto la mediatriz a una de sus diagonales.
El cuadriltero obtenido C1 es un rombo, simetrizando este respecto a la mediatriz de
uno de sus lados obtenemos un cuadriltero C2 que es un rectngulo. Simetrizando C2
respecto a una mediatriz respecto una diagonal obtenmos un rombo C3 . Si continuamos de
esta manera conseguimos una sucesin {Cn } en que Cn es un rombo para un n impar y
un rectngulo para un n par. Si en cualquier etapa Cn es un cuadrado, luego Cn+1 es un
cuadrado. Supongamos que ningn miembro de {Cn } es un cuadrado. Sea CN cualquier rombo,
65
para este tenemos MN > MN +2 > mN +2 > mN +2 (estas desigualdades se puede justificar
bsicamente por Teorema de Pitagoras, la invariancia del rea bajo simetrizacin de Steiner
y que el rea de un rombo es el semi producto de la longitud de sus diagonales). Entonces,
MN mN > MN +2 mN +2 > MN +4 mN +4 > . . .. De lo que se deduce que, {M2k1 m2k1 }
es una sucesin de nmeros no negativos monotona creciente. Siguiendo argumentos anlogos
al caso del tringulo se puede demostrar que esta sucesin converge a un cuadrado ( Un
cuadrado es tanto un rectngulo como un rombo).
Figura 2.3: sucesin de cuadrilteros
66
Captulo 3
Primer valor propio del p-Laplaciano

fraccionario-Dirichlet
3.1. Propiedades del primer valor propio del p-Laplaciano

fraccionario-Dirichlet
Definicin 3.1.1. Sea p (1, ) y s (0, 1). Dado un conjunto abierto y acotado Rn
definimos
|u(x) u(y)|p
Z Z

dxdy

|x y|n+ps

Rn Rn

s1,p () = nf f s,p () ,
:uW (3.1)
0
Z
p
|u(x)| dx

Rn
por homogeneidad se puede escribir
s1,p () = nf{[u]pW s,p () : u W

f s,p (), kuk p
0 L () = 1} (3.2)
Observacin 3.1.2. Por la desigualdad de Poincair para la seminorma de Gagliardo (Pro-

posicin (??)), tenemos que s1,p es acotado inferiormente.
f s,p (), u 6= 0 y u = 0 en Rn \ que minimiza

Teorema 3.1.3. Existe una funcin u W0
(??). Adems satisface la ecuacin de Euler Lagrange

Z Z
|u(x) u(y)|p2 (u(x) u(y))((x) (y)) Z
dxdy = 1 |u(x)|p2 u(x)(x)dx
Rn Rn |x y|n+ps Rn
67
3.1. Propiedades del primer valor propio del p-Laplaciano fraccionario-Dirichlet
f s,p (), que es justamente la formulacin variacional de ( )s u = |u|p2 u,

para cada W0 p
donde
Z
|u(x) u(y)|p2 (u(x) u(y))
(p )s u(x) := 2 lm+ dy
0 {yRn :|xy|} |x y|n+ps
Z
|u(x) u(y)|p2 (u(x) u(y))
= 2P.V. dy.
Rn |x y|n+ps
Demostracin: Se demostrar la existencia de u por medio del mtodo directo del clculo
de variaciones. Sea {un }nN una sucesin minimizante en (??). Se deduce kun kW
e s,p () < , 0
as por el Teorema de Rellich-Kondrachov Fraccionario (Teorema ??) existe una subsucesin

f s,p (). Debido a que ku k p
{unk } de {un } tal que unk u en Lp () y u W0 nk L () = 1, se
deduce que kukLp () = 1. Como {unk } es una sucesin acotada sobre el espacio Banach y
f s,p (), existe {u } {u } que converge dbilmente a u. Por la semicontinuidad
reflexivo W0 nkj nk
dbil de la seminorma de Gagliardo tenemos que
s1,p () [u]pW s,p () limn [unkj ]pW s,p () = s1,p ()
f s,p ().
esto prueba que s1,p () es alcanzado en u W0
f s,p () se tiene
Si u es la funcin minimizante en (??), para cada W0
R R |u(x)+t(x)(u(y)+t(y))|p
dxdy
!
d Rn Rn |xy|n+ps
p
|t=0 = 0.
Rn |u(x) + t(x)|
R
dt
Derivando y evaluando en t = 0 la expresin anterior tenemos que,
|u(x) (u(y))|p2 (u(x) u(y))((x) (y))

Z Z ! Z
dxdy |u(x)|p dx
Rn Rn |x y|n+ps Rn
|u(x) (u(y))|p
Z Z ! Z
p2
dxdy |u(x)| (u(x))(x)dx = 0.
Rn Rn |x y|n+ps Rn
Despejando
Z Z
|u(x) u(y)|p2 (u(x) u(y))((x) (y)) Z
dxdy = 1 |u(x)|p2 u(x)(x)dx,
Rn Rn |x y|n+ps Rn
Ahora probaremos algunas propiedades para s1,p ().
68
Proposicin 3.1.4. (Regla de homotecia) Sea Rn un conjunto abierto y acotado.

Entonces,
s1,p (t) = tsp s1,p () con t > 0.
Demostracin: Sea un conjunto abierto y acotado y t > 0. Definimos T (x) = tx.

Evidentemente T 1 (x) = 1t x. Con esto definamos una funcin auxiliar U (z) = u(T 1 (z))
f s,p (). Teniendo en mente esto, transformamos el cociente de Rayleigh
para cualquier u W0
usando el cambio de variable T (x) = w y T (y) = v,

Z Z
|u(x) u(y)|p Z Z
|U (T (x)) U (T (y))|p
dxdy dxdy
Rn Rn |x y|n+ps Rn Rn |x y|n+ps
Z = Z
|u(x)|p dx |u(x)|p dx
Rn Rn
Z Z
|U (w) U (v)|p
|detT 1 ||detT 1 |dwdv
Rn Rn |T 1 (w) T 1 (v)|n+ps
= Z
|u(T 1 (w))|p |detT 1 |dw
Rn
Z Z
|U (w) U (v)|p 1
dwdv
Rn Rn | 1t w 1t v|n+ps tn
= Z
|U (w)|p dw
Rn
Z Z
|U (w) U (v)|p
n+ps
dwdv
Rn Rn |w v|
= tps Z .
|U (w)|p dw
Rn
(3.3)
f s,p () en la ltima identidad las funciones U recorren completa-

Tomando el nfimo en u W 0
f s,p (t).
mente W 0
Proposicin 3.1.5. (invariante bajo traslacin) Sea Rn un conjunto abierto y acotado.

Entonces,
s1,p () = s1,p ( + w) para todo w Rn .
69
Demostracin: Sea un conjunto abierto y acotado y w Rn . Definimos U (x) = u(x w)

f s,p (). Segn estas expresiones y un cambio de variable z = x + w y
para cualquier u W0
v = y + w tenemos
Z Z
|u(x) u(y)|p Z Z
|U (z) U (v)|p
dxdy = dxdy
Rn Rn |x y|n+ps Rn Rn |z v|n+ps
De la ltima identidad, la demostracin de este teorema queda establecida.
Proposicin 3.1.6. (Invariante bajo transformaciones ortogonal) s1,p () = s1,p (T ()) para
toda transformacin ortogonal T .
Demostracin: Sea T una transformaciones ortogonal. Con esto definamos una funcin auxiliar
f s,p (). Con lo anterior y el hecho que |detT 1 | = 1,
U (z) = u(T 1 (z)) para cualquier u W 0
transformamos el cociente de Rayleigh usando el cambio de variable T (x) = w y T (y) = v,

Z Z
|u(x) u(y)|p Z Z
|U (T (x)) U (T (y))|p
dxdy = dxdy
Z Z
|U (w) U (v)|p
= |detT 1 ||detT 1 |dwdv
Rn Rn |T 1 (w) T 1 (v)|n+ps
Z Z
|U (w) U (v)|p
= dwdv. (3.4)
Rn Rn |w v|n+ps
f s,p () en la ltima identidad las funciones U recorren completa-
Tomando el nfimo en u W 0
f s,p (T ()), as la demostracin de este teorema queda establecida.
mente W 0
Proposicin 3.1.7. Si A B, entonces s1,p (B) s1,p (A).
f s,p (A) es definido como

Demostracin: Si A B, entonces C0 (A) C0 (B). Por otra parte W0
f s,p (A) W
la clausura de C0 (A) en W s,p (Rn ) con respecto a la norma (??), as W f s,p (B),
0 0
luego
s1,p (B) = mn{kukpW f s,p

e 0s,p () : u W0 (B), kukL (B) = 1}
p
mn{kukpW f s,p
e 0s,p (A) : u W0 (A), kukL (A) = 1}
p
= s1,p (A)
70
Proposicin 3.1.8. Sea B un conjunto compacto en Rn y n una familia de subconjuntos

abiertos y convexos de B que converge, para la distancia Hausdorff, a un conjunto . Adems,
asuma que existe un r > 0 tal que B(0, r) n y B(0, r) . Entonces, s1,p () =
lmn s1,p (n ).
Demostracin: Por hiptesis {n }

n=1 converge, para la distancia Hausdorff, a . Entonces
para cualquier > 0 existe n tal que
B\n (B\) B(0, ) para todo n n (3.5)
B\ (B\n ) B(0, ) para todo n n . (3.6)
Por Proposicin ??, tenemos que
B(0, ) = B \ ((B \ ) B(0, )). (3.7)
Por Proposicin ??, se tiene que
B(0, ) = B(0, ). (3.8)
Usando (??) (y posteriormente tomando complemento), (??) y (??) obtenemos que
B(0, ) = B \ ((B \ ) B(0, )) n . (3.9)
Usando Lema ?? y (??) obtenemos que

R R

14 2 14 2 B(0, ) n . (3.10)
r r
Entonces aplicando las Proposiciones ?? y ?? se consigue que
sp
R

14 s1,p (n ) s1,p (). (3.11)
r2
Tomando el limite superior en (??) se tiene que
sp
R

14 2 lim s1,p (n ) s1,p (). (3.12)
r n
71
Haciendo tender a 0 en (??) obtenemos que
lim s1,p (n ) s1,p () (3.13)

n
Similarmente, aplicando (??) y (??) en (??), por el mismo argumento anterior, obtenemos
que
s1,p () lim s1,p (n ). (3.14)

n
El resultado sigue inmediatamente de (??) y (??).
72
Captulo 4
Minimizacin del primer valor propio

p-Laplaciano fraccionario-Dirichlet
4.1. Desigualdad de Plya-Szeg no local

Para una funcin no negativa convexa J sobre R con J(0) = 0 y k una funcin no negativa
sobre Rn , definimos
J(u(x) u(y))k(x y)dxdy.

R R
E[u] := Rn Rn
Siguiendo la mismas ideas dadas en [?] pero para simetrizacin Steiner en vez de rearreglo
decreciente simtrica, obtenemos el siguiente lema.
Lema 4.1.1. Sea J una funcin no negativa, convexa en R con J(0) = 0 y k L1 (Rn )
una funcin simtrica y decreciente. Entonces para toda funcin medible no negativa u con
E[u] < y |{u > }| < para todo > 0 uno tiene
E[u] E[u? ],
donde u? es la simetrizacin de Steiner de u con respecto a un hiperplano. Si, en adicin, J

es estrictamente convexa y k es estrictamente decreciente, entonces la igualdad se cumple si y
solo si u es un traslado de una funcin que es simtrico con respecto al hiperplano.
73
Demostracin: Primero escribamos J = J+ + J con

J(y) si y > 0

J+ (y) =

0 si y 0,

y J (t) = J+ (t). Con esto definimos

Z Z
E+ [u] := J+ (u(x) u(y))k(x y)dxdy (4.1)
Rn Rn
y similarmente se define E . Con el acuerdo anterior, podemos escribir E[u] = E+ [u] + E [u].
Basta demostrar el teorema para E+ , debido a que la afirmacin para E (y de este modo
para la E original) sigue de que, J (u(x) u(y)) = J+ (u(y) u(x)) y k es simetrica respecto
a x e y.
Paso 1: Primero demostraremos el lema para el caso particular en que u es acotada. Como J
es convexa tambin lo es J+ . Esto ltimo nos garantiza que la derivada derecha J+0 de J+ es
Z t
una funcin no negativa y creciente. Adems, dado que J+ (t) = J+0 ( )d se puede estimar
0
que
Z Z u(x)
J+0 (u(x) ){z:u(z) } (y)d = J+0 (u(x) ){z:u(z) } (y)d
0 u(y)
Z u(x)
= J+0 (u(x) )d
u(y)
Z 0
= J+0 (w)dw
u(x)u(y)
= J+ (u(x) u(y)). (4.2)
Sea
Z Z
e+
[u] := J+0 (u(x) )k(x y){z:u(z) } (y)dxdy.
Rn Rn
Usando el teorema de Tonelli para funciones no negativa y (??) tenemos que

Z Z Z Z
e+
[u]d = J+0 (u(x) )k(x y){z:u(z) } (y)dxdyd
0 0 Rn Rn
Z Z Z
= k(x y) J+0 (u(x) ){z:u(z) } (y)d dxdy
n n 0
ZR ZR
= J+ (u(x) u(y))k(x y)dxdy
Rn Rn
= E+ [u]. (4.3)
74
J+0 (u(x) )dx < para todo R+ arbitrario. En efecto, sea R+

R
Se afirma que Rn
fijo. Debido a que u es acotada existe M R+ tal que u(x) M para todo x Rn . Lo
anterior, junto a los hechos que J+0 es creciente y que u se desvanece en el infinito, nos permite
deducir que
Z Z
J+0 (u(x) )dx = J+0 (u(x) )dx
Rn {z:u(z) }
Z
J+0 (M ) dx < .
{z:u(z) }
Escribiendo {u } = 1 {u> } y usando que la integral de Lebesgue es invariante bajo

traslacin se obtiene que
Z Z
e+
[u] = J+0 (u(x) )k(x y){u } (y)dxdy
n n
ZR ZR
= J+0 (u(x) )k(x y)(1 {u> } )(y)dxdy
Rn Rn
Z Z Z
= kkk1 J+0 (u(x) )dx J+0 (u(x) )k(x y){u> } dxdy. (4.4)
Rn Rn Rn
Por Proposicin ?? tenemos que

Z Z
J+0 (u(x) )dx = J+0 (u? (x) )dx (4.5)
Rn Rn
Usando la Proposicin ?? y Corolario ?? la integral doble en la parte derecha de (??) crece

bajo rearreglo. Este hecho, junto con (??) y (??) implica que
?
e+ +
[u ] e [u].
Por (??) y lo anterior tenemos que
E+ [u? ] E + [u].
Paso 2: Afirmamos que E+ [u] E+ [u? ] para cualquier funcin no negativa u con E+ [u] <
y |{u > }| < para todo R+ . Sea uM :=mn{u, M }.
Z Z
E+ [uM ] = J+ (min{u(x), M } min{u(y), M })k(x y)dxdy. (4.6)
Rn Rn
Observamos que J+ es una funcin creciente (ya que J+ es una funcin convexa no negativa
con J+ (0) = 0). Con este hecho en mente se puede analizar todos los posibles casos, y se
75
obtiene la siguiente desigualdad
J+ (min{u(x), M } min{u(y), M }) J+ (u(x) u(y)). (4.7)
Por (??), (??) y monotona de la integral tenemos que
E+ [uM ] E+ [u] (4.8)
La funcin uM satisface la hiptesis del paso 1, esto junto a (??) permite obtener que
E+ [(uM )? ] E+ [uM ] E+ [u]. (4.9)
Observaremos que (w) := min{w, M } es creciente, por esto podemos usar la Proposicin ??
y conseguimos que
(uM )? = (u? )M (4.10)
Por (??) y (??) tenemos que
E+ [(u? )M ] E+ [u] para todo M N (4.11)
Sean x, y Rn fijos. Analizando todos los posibles casos tenemos que
J+ ((u? )M (x) (u? )M (y))k(x y) J+ ((u? )M +1 (x) (u? )M +1 (y))k(x y).
Debido a la definicin de uM se tiene que (u? )M (x) u (x) cuando M para cada
x Rn , de esto ltimo se desprende que
lm J+ ((u? )M (x) (u? )M (y))k(x y)) = J+ (u? (x) u? (y))k(x y)).

n
(4.12)
Por el teorema de convergencia montona de Lebesgue se deduce que
lm E+ [(u? )M ] = E+ [u? ] (4.13)

N
Desde (??) y (??) obtenemos que
E+ [u? ] E+ [u].
76
Paso 3: Ahora demostraremos el caso de la igualdad, sean k estrictamente decreciente y J

estrictamente convexa, primero asumamos que E+ [u? ] = E+ [u] para funciones u acotadas.
?
Por (??) se tiene que e+ +
[u ] = e [u] para > 0 c.t.p. y por el Teorema ?? se tiene que para
> 0 c.t.p. existe a Rn tal que
{u < }(x0 , xn ) = {u? < }(x0 , xn a ) y J0 (u(x0 , xn ) ) = J0 (u? (x0 , xn a ) )
(4.14)
para toda (x0 , xn )-c.t.p.. Por hiptesis J+ es estrictamente convexa en R+ pues J lo es, luego
J+0 es estrictamente creciente en R+ , as es inyectiva, esto junto con (??) nos permite deducir
que (u(x0 , xn ) )+ = (u? (x0 , xn a ) )+ para y x0 -c.t.p. (x0 Rn1 ). Sean 1 , 2 > 0
tal que u? (x0 , xn ) = u(x0 , xn + a1 ) = u(x0 , xn + a2 ) x0 - c.t.p., de lo que se desprende que
u(x0 , xn ) = u(x0 , xn + a1 a2 ) x0 -c.t.p.. Seleccionando x0 tal que u(x0 , xn ) 6= 0 xn -c.t.p.,
luego existe un t > 0 tal que {(x0 , xn ) Rn : u(x0 , xn ) > 0} = {(x0 , xn ) Rn : u(x0 , xn ) >
0} + a1 a2 y
|{(x0 , xn ) Rn : u(x0 , xn ) > 0}| > 0. Luego usando el Lema ?? y que u se desvanece en
infinito tenemos que a1 a2 = 0, as a es independiente de . Notemos a por a luego
u(x0 , xn ) = u? (x0 , xn a) (x0 , xn )-c.t.p.
Paso 4: Ahora, caracterizamos el caso de la igualdad E+ [u? ] = E+ [u] para funciones u generales
que cumplan las hiptesis del teorema. Para cualquier M > 0 descomponemos u de la siguiente
manera u = uM + vM con uM := mn{u, M }, con esto en mente, mediante clculos directos,
pero engorrosos se puede encontrar
Z Z
E+ [u] = E+ [uM ] + E+ [vM ] + FM (vM (x), uM (y))k(x y)dxdy, (4.15)
Rn Rn
con
FM (v, u) = J+ (v + M u) J+ (v) J+ (M u).
Debido a que E+ [u] < entonces entonces los tres trminos del lado derecho de (??) son
finitos, adems, por la definicin de E+ se tiene que E+ [uM ] y E+ [vM ] son no negativas .
Debido a que J+ es estrictamente convexo con J+ (0) = 0, uno tiene que J+ es superaditiva. Si
77
0 u M y v 0, por la superaditividad se tiene que J+ (v + M u) J+ (v) + J+ (M u),

entonces el tercer trmino del lado derecho de (??) tambin es no negativa. Por la definicin
de vM se observa que se desvanece en el infinito, as por el paso 2, se tiene que
E+ [vM ] E+ [(v ? )M ] y E+ [uM ] E+ [(u? )M ]. (4.16)
Supongamos sin demostracin, por el momento, que es cierto

Z Z
FM (vM (x), uM (y))k(x y)dxdy
Rn Rn Z Z
FM ((v ? )M )(x), (u? )M (y))k(x y)dxdy, (4.17)
Rn Rn
esto junto a (??) y la hiptesis del teorema E+ [u? ] = E+ [u], nos llevan a concluir que
E+ [(u? )M ] = E+ [uM ] para cada M > 0, y si a esta ltima identidad se le aplica el resultado
del paso 3, el teorema quedar demostrado. Por lo anterior, nuestro objetivo es demostrar
(??).
Debido a que J+ es estrictamente convexa, su derivada lateral derecha J+0 es estrictamente
creciente y continua por la derecha, de esta forma existe una medida no negativa tal que
Rt R
J+0 (t) = 0 d( ) . Por clculos simples se tiene que J+ (t) = 0 (t )+ d( ) y desde esto se
desprende que
Z
FM (v, u) = fM, (v, u)d( )
0
con
fM, (v, u) := (v + M u )+ (v )+ (M u )+ .
Analizando todos los caso para > 0, 0 u M y v 0, se observa que fM, (v, u) 0. Por
teorema de Tonelli se tiene que
Z Z Z Z Z
FM (vM (x), uM (y))k(x y)dxdy = fM, (vM (x), uM (y))k(x y)dxdyd( ),
Rn Rn 0 Rn Rn
segn lo anterior para lograr demostrar (??) bastar con probar que para cada > 0,
Z Z
fM, (vM (x), uM (y))k(x y)dxdy
Rn Rn
78
no crece bajo simetrizacin de Steiner.

(1) (2)
Descomponiendo fM, = fM, fM, , donde
(1)
fM, (v) := v (v )+
(2)
fM, (v, u) := v (v + M u )+ + (M u )+ = mn{v, (u M + )+ }.
Debido a que u se desvanece en el infinito tenemos que sop(vM ) = {x Rn : u(x) > M }

(1)
tiene medida finita. Claramente fM, es acotado por . Por lo anterior, teorema de Tonelli e
invariancia de la integral de Lebesgue se tiene que
Z Z Z
(1) (1)
fM, (vM (x))k(x y)dxdy = kkk1 fM, (vM (x))dx
Rn Rn Rn
(1)
es finita. Adems, debido a que fM, es creciente por Teorema ??, la anterior integral es
invariante bajo simetrizacin de Steiner aplicada a vM .
Por el teorema capa de pastel y el teorema de Tonelli tenemos que
Z
(2)
fM, (vM (x), uM (y))k(x y)dxdy
Rn Rn
Z Z
= {mn{vM (x),(uM (y)M )+ }>t} (x, y)k(x y)dtdxdy
Rn Rn 0
Z Z
= {(x,y):vM (x)>t,(uM (y)M )+ >t} (x, y)k(x y)dtdxdy
Rn Rn 0
Z Z
= {vM (x)>t} (x){(uM (y)M )+ >t} (y)k(x y)dxdydt (4.18)
0 Rn Rn
Usando la desigualdad de Riesz en la ltima igualdad de (??) se observa que crece bajo
simetrizacin de Steiner y con esto el lema queda demostrado.
n
Proposicin 4.1.2. (Desigualdad de Plya-Szeg no local). Sean n 1, 0 < s < 1, 1 p < s
f s,p (). Luego,
yuW 0
Z Z
|u? (x) u? (y)|p Z Z
|u(x) u(y)|p
dxdy dxdy, (4.19)
79
4.2. El caso del polgono
donde u? es la simetrizacin 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 funcin que
es simtrica con respecto al hiperplano.
Demostracin: Dado que u? (x) es no negativa y ||u(x)||u(y)|| |u(x)u(y)|, es suficiente

probar el teorema para funciones no negativa. Por definicin de funcin Gamma y un cambio
de variable obtenemos que
Z
1 n+ps
1 2 1
2 e|xy| d = (4.20)
( n+ps
2
) 0 |x y|n+ps
Usando (??) y teorema de Tonelli para integrando no negativo

Z Z
|u(x) u(y)|p Z Z Z
n+ps 2
n+ps
dxdy = C 2 1 e|xy| |u(x) u(y)|p ddxdy
Rn Rn |x y| Rn Rn 0
Z
n+ps
1
= C I [u] 2 d,
0
con
Z Z
2 1
I [u] := |u(x) u(y)|p e|xy| dxdy y C= .
Rn Rn ( n+ps
2
)
La funcin J : R R, x 7 |x|p es estrictamente convexa y no negativa con J(0) = 0.

2
La funcin k : Rn R, x 7 e|x| es una funcin simtrica estrictamente decreciente con
k L1 (Rn ). Aplicando el Lema ?? al funcional I obtenemos el resultado deseado.

Teorema 4.2.1. El tringulo equiltero tiene el menor primer valor propio p-Laplaciano
Dirichlet fraccionario entre todos los tringulos de rea dada . El cuadrado tiene el menor
primer valor propio p-Laplaciano Dirichlet fraccionario entre todos los cuadrilteros de rea
dada. Adems, el triangulo equiltero y el cuadrado son los nicos minimizantes en el problema
anterior.
80
Demostracin: Dado que s1,p es invariante bajo traslacin y rotacin, para demostrar este
teorema para tringulos, es suficiente encontrar un tringulo equiltero T 0 que cumpla
s1,p (T 0 ) s1,p (T ).
Sea T1 un tringulo arbitrario. Sea {Tn } la sucesin construida en la Proposicin ??. Sea un
una funcin propia normalizada para el primer valor propio p-Laplaciano Dirichle fraccionario
sobre Tn . Luego, por Proposicin ?? tenemos que
Z Z
|un (x) un (y)|p
s1,p (Tn ) = dxdy
Rn Rn |x y|n+ps
Z Z
|u?n (x) u?n (y)|p
dxdy
Rn Rn |x y|n+ps
y por part 5 de la Proposicin ?? tenemos kun kp = ku?n kp = 1. Por lo tanto, usando la
Definicin ??, obtenemos que
s1,p (Tn+1 ) s1,p (Tn ) para cada n . (4.21)
Ahora, recordemos que {Tn } converge a un triangulo equilatero T con respecto a la distancia
Hausdorff. Luego, usando la parte (g)de la Proposicin ??, y si es neceario una traslacin,
podemos probar que existe una bola fija contenida en todos los tringulos Tn . Usando la parte
(h) de la Proposicin ?? tambin concluimos que todos los tringulos Tn estn contenido en
una bola fija. Esto permite aplicar la Proposicin ??, y obtenemos
s1,p (T ) = n
lm s1,p (Tn ) s1,p (T1 ) .
Veamos el caso del cuadriltero. Sea {Cn } la sucesin definida en la Proposicin ??, Ahora,
recordemos que esta converge a un cuadrado C con respecto a la distancia Hausdorff. Este
hecho junto con un razonamiento similar al caso del tringulo conduce a la desigualdad
Faber-Krahn para cuadrilteros.
Ahora trataremos el tema de la unicidad. Suponga que T es cualquier tringulo en que
el mnimo es alcanzado en la desigualdad de Faber-Krahn. Podemos asumir sin perdida
de generalidad que T no es un triangulo equiltero. As, T no es simtrico respecto a una
81
mediatriz L de alguno de sus lados l. Sea T ? la simetrizacin de Steiner de T respecto a L. Sea

u la funcin propia normalizada de s1,p (T ). Aplicando Proposicin ?? y kukp = ku? kp = 1,
obtenemos
Z Z
|u? (x) u? (y)|p Z Z
|u(x) u(y)|p
s1,p (T ? ) dxdy dxdy = s1,p (T ) .
Rn Rn |x y|n+ps R n Rn |x y|n+ps
dado que , s1,p (T ) es mnimo, obtenemos que s1,p (T ? ) = s1,p (T ). Esto significa que existe
igualdad en la desigualdad de Plya-Szeg no local y as, por la parte de la igualdad de la
Proposicin ??, obtenemos que u es un translado de u? . Esto es posible slo si los tringulos
T y T ? son traslados uno del otro. Por otra parte, T ? es simtrico respecto a la mediatriz L,
pero como T y T ? son traslados uno del otro, entonces, T necesariamente debe ser simtrico
con respecto a L. Esto da una contradiccin. As, el nico mnimo es el tringulo equiltero.
La unicidad en el caso del cuadriltero es completamente anlogo al caso de los tringulos.
82
Bibliografa
[1] F.J. Almgren and E.H. Lieb, Symmetric decreasing rearrangement is sometimes conti-
nuous, Journal of the American Mathematical Society Vol. 2, No. 4 (1989), pp. 683-773.
[2] 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.
[3] 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.
[4] L. Brasco, E. Lindgren and E. Parini, The fractional Cheeger problem, Interfaces and
Free Boundaries, 16(2014), pp. 419-458.
[5] L. Brasco and E. Parini, The second eigenvalue of the fractional p-Laplacian, Advances
in Calculus of Variations (2015).
[6] H. Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations.
Springer, 2011.
[7] F. Brock, A. Mercaldo and M.R. Posterado, On isoperimetric inequalities with respect
to infinite measures, Revista Mtematica Iberoamericana, vol 29, 2013.
[8] D. Bucur and G. Buttazzo, Variational Methods in Shape Optimization Problems,

Progess in nonlinear differential equations and their aplications, Birkhuser Boston Inc.,
2005.
[9] A. Burchard, Short Course on Rearrangement Inequalities, in Notes to the Course: MAT
495, Rearrangement Inequalities, University of Toronto, 2009.
83
BIBLIOGRAFA
[10] C. Dellacherie, Ensembles Analytiques Capacits Mesures de Hausdorff, Springer-Verlag,

1972.
[11] F.Demengel, G.Demengel, Functional Spaces for the Theory of Elliptic Partial Differen-
tial Equations, Springer 2012.
[12] E. Di Nezza , Hitchhikers guide to the fractional Sobolev spaces, Bull. Sci. math., 136
(2012), No. 5, pp. 521-573.
[13] S. Kesavan, Symmetrization and applications, Series in Analysis, 3, World Scientific

Publishing, 2006.
[14] P. Felmer and C. Torres, Radial symmetry of ground states for a regional fractional,
Communications on Pure and Applied Analysis 13, No. 6 (2014), pp. 2395-2406 .
[15] R.L. Frank, E.H. Lieb and R. Seiringer, Hardy-Lieb-Thirring inequalities for fractional
Schrdinger operators, J. Amer. Math. Soc. 21 (2008),pp. 925-950.
[16] R.L. Frank and R. Seiringer, Non-linear ground state representations and sharp Hardy
inequalities, J. Funct. Anal. 255 (2008), pp. 3407-3430.
[17] R. J. Gardner, The Brunn-Minkowski inequality, Bull.AMS, 39(2002), 355-405.
[18] P. Gruber, Convex and Discrete Geometry, Berlin: Springer-Verlag, 2007.
[19] H. Hadwiger, Vorlesungen ber Inhalt, Oberflche und Isoperimetrie, Springer-Verlag,

Berlin, 1957.
[20] A. Henrot, Problems for Eigenvalues of Elliptic Operators, Front. Birkhuser Verlag,
Basel, 2006.
[21] Antoine Henrot, Michel Pierre, Variation et optimisation de formes: Une analyse
gomtrique,Springer Science and Business Media, 2005.
[22] A. C. M. van Rooij, W. H. Schikhof, A Second Course on Real Functions, Cambridge,

1982.
84
BIBLIOGRAFA
[23] Idrissaly, The eigenvalues for the p-Laplacian Operator, Journal of Inequalities in Pure
and Applied Mathematics, Vol 6 (2005).
[24] B. Kawohl, Rearrangements and Convexity of Level Sets in PDE, Springer-Verlag,

Berlin, 1985.
[25] E. H. Lieb and M. Loss, Analysis. American Mathematical Soc., 2001.
[26] E. Lindgren and P. Lindqvist, Fractional Eigenvalues, Calc. Var. Partial Differential
Equations 49(2014), pp.795-826.
[27] 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.
[28] R. Osserman, The isoperimetric inequality, Bull.AMS, 84 no 6 (1978), 1182-1238.
[29] G. Plya and G. Szeg, Isoperimetric inequalities in mathematical physics, Princeton

University Press, Princeton, NJ (1951).
[30] W. Prenowitz, James Jantosciak, Join Geometries A Theory of Convex Sets and Linear
Geometry , Springer-Verlag, New York, Heidelberg, Berlin 1979.
[31] J.W.S. Rayleigh, The Theory of Sound, 2nd. ed. revised and enlarged (in 2 vols). Dover
publications, New York, (1945).
[32] Russell V. Benson, Euclidean Geometry and convexity, McGraw-Hill, 1966.
[33] R. Schneider, Convex Bodies The Brunn-Minkowski Theory, Cambridge (1993).
[34] B. Simon, Convexity An Analytic Viewpoint, Cambridge Tracts in Mathematics, 2011
[35] F. Toledo, Minimizacin del primer valor propio del p-Laplaciano de Dirichlet en ciertos
clases de dominios, 2012.
85

Faber Krahn No Local en Poligonos

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Faber Krahn No Local en Poligonos

Uploaded by

Copyright:

Available Formats

Universidad de Concepcin

La desigualdad de Faber-Krahn en Polgonos

The Faber-Krahn inequality for the

FRANCO ANDRS OLIVARES CONTADOR

Profesor Gua: Rajesh Mahadevan

La desigualdad de Faber-Krahn en Polgonos

The Faber-Krahn inequality for the fractional

FRANCO ANDRS OLIVARES CONTADOR

Comisin evaluadora: Prof. Rafael Benguria

Agradezco a CONICYT por otorgarme la beca para estudios de Magster nacional

El problema isoperimtrico clsico dice lo siguiente:

Franco Olivares Contador, Junio 2016.

1.1. Espacio de Sobolev Fraccionario

Definicin 1.1.1. Dado un conjunto abierto arbitrario en Rn , p (1, ) y s (0, 1),

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

En W s,p () definimos la norma

Demostracin: Sea {un }

Esto implica que {un } p

es una sucesin de Cauchy en Lp ( ), luego, tenemos que {vn }

elemento de Lp ( ). Extrayendo una subsucesin {unk }

casi todas partes a u, podemos observar que {vnk (x, y)}

kun um kW s,p () = kun um kpLp () + kvn vm kLp () .

haciendo m en la ltima expresin se concluye lmn kun ukW s,p () = 0.

kT (u)k = kukLp () + [u]W s,p () ,

Desde ahora nos enfocaremos en el siguiente espacio

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

al que lo dotaremos con la norma

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

Si se hace = Rn en la Proposicin ?? y Proposicin ?? sus demostraciones siguen siendo

f s,p () esta definido como la clausura de C () sobre W s,p (Rn )

con respecto a la norma (??).

f s,p () es un subespacio cerrado de W s,p (Rn ), luego es un espacio Banach y

Proposicin 1.1.6. (Desigualdad de Poincar para seminorma de Gagliardo). Sea 1 p <

kukpLp () In,s,p ()[u]pW s,p (Rn ) para u C0 (),

donde la cantidad geomtrica In,s,p () est definida por

Demostracin: sean u C0 () y BR Rn \ una bola de radio R contenida en el

Integrando la expresin anterior sobre BR con respecto a y, se deduce,

Integrando sobre con respecto x obtenemos

Como BR fue seleccionada arbitrariamente, la demostracin queda concluida.

sobre W s,p (Rn ) con respecto a la seminorma [.]W s,p (Rn ) .

|(Rn \) B(x, )| = |B(x, )\( B(x, ))|

= | (Rn \B(x, ))|.

Considerando la identidad anterior y usando coordenadas polares centradas en x, tenemos

| (Rn \B(x, ))| Z

Demostracin: Por hiptesis claramente tenemos que

De esta desigualdad tenemos que

Desde la ltima desigualdad el lema queda demostrado.

Lema 1.1.10. Sean p [1, ) y s (0, 1) tal que sp < n.

Sea f L (Rn ) con soporte compacto. (1.3)

Para cualquier k Z, definimos

para una constante C = C(n, p, s) > 0.

Xk := {|f | > 2k } = |f |1 (2k , ). (1.6)

Claramente observamos que Xk+1 Xk , luego

Debido a sus definiciones y (??), se deduce que:

dk y xk son acotados y se hacen cero cuando k es suficientemente grande. (1.9)

Desde la definicin de los conjuntos Dn , se observan los siguientes hechos:

Ahora, fijemos i Z y x Di , entonces, para cualquier j Z con j i 2 y cualquier

|f (x) f (y)| |f (x)| |f (y)| 2i 2j+1 2i 2i1 = 2i1 (1.13)

Por (??), (??) y el Lema ??, se consigue

donde C0 es una constante adecuada (independiente de i).

Sumando sobre i Z y xi1 6= 0 en (??)

Por (??) y teorema de Fubini para series dobles se obtiene que

Por (??), definicin (??) y posteriormente usando (??) se consigue que

> 0 tal que |h|/2 < < |h| definimos,