Académique Documents
Professionnel Documents
Culture Documents
28 de Julio 2016
Contenido
1 Introduccion
3 Principales herramientas
4 Demostracion
5 Resultados auxiliares
6 Referencias
Bibliografa
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
Introducion
Introduccion
Propiedades de s1,p ()
Propiedades de s1,p ()
Propiedades
Pregunta y respuesta
Pregunta
Cual es el triangulo (cuadrilatero) que minimiza a s1,p (.), entre
todos los triangulos (cuadrilateros) de area dada?
Respuesta
Demostramos que el unico mnimo de s1,p (.) es un triangulo
equilatero.
Demostramos que el unico mnimo de s1,p (.) es un cuadrado.
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
Principales herramientas.
Simetrizacion de Steiner .
Desigualdad de Polya-Szego no local.
Continuidad de s1,p respecto la distancia de Hausdorff, en
conjuntos convexo.
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
0 := {x 0 Rn1 : xn con (x 0 , xn ) },
(x 0 ) := {xn R : (x 0 , xn ) }, x 0 0
Definicion
Sea Rn un conjunto medible. El conjunto
1 1
? := {x = (x 0 , xn ) : |(x 0 )| < xn < |(x 0 )|, x 0 0 }.
2 2
es la simetrizacion de Steiner de con respecto al hiperplano xn = 0.
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
Distancia de Hausdorff
Definicion
Sea K1 y K2 conjuntos no vacos compactos de Rn . Definimos
(K1 , K2 ) := sup{d(x, K2 ) : x K1 }.
Observacion
d H (Kn , K ) 0 cuando n si y solo si cualquier > 0 existe
n tal que Kn K B(0, ) y K Kn B(0, ) para todo n n .
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
Proposicion
Demostracion de la unicidad
|u ? (x) u ? (y )|p
Z Z
s ?
1,p (T ) dxdy
n n |x y |n+ps
ZR ZR
|u(x) u(y )|p
n+ps
dxdy = s1,p (T ) .
Rn Rn |x y |
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
Demostracion de la unicidad
Definicion
Sea p (1, ) y s (0, 1), definimos el espacio Sobolev
fraccionario W s,p () como sigue
donde a
1
|u(x) u(y )|p
Z Z p
[u]W s,p (Rn ) := dxdy
Rn Rn |x y |n+ps
diam( B)n+sp
In,s,p () = inf{ : B Rn \ es una bola }.
|B|
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
Observacion
El resultado anterior muestra que para un conjunto abierto y
acotado Rn el espacio W fs,p () puede ser equivalentemente
0
definido como la clausura de C0 () sobre W s,p (Rn ) con respecto
a la seminorma [.]W s,p (Rn ) .
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
|f (x) f (y )|p
Z Z
p
kf kLp (Rn ) C n+sp
dxdy = C [f ]pW s,p (Rn )
Rn Rn |x y |
Observacion
Por la desigualdad de Poincaire para la seminorma de Gagliardo,
tenemos que s1,p () es acotado inferiormente.
Observacion
Por Teorema de Rellich-Kondrachov Fraccionario, se puede
demostrar que el nfimo de la definicion de s1,p es un mnimo y por
homogeneidad se puede escribir como
Ecuacion de Euler-Lagrange
Definicion
Se dira que un subconjunto K de Rn es un cuerpo convexo si es
compacto y convexo. Se dira que es un cuerpo convexo propio si
su interior es no vaco, en otro caso, impropio. El inradio r (K ) y el
circunradio R(K ) son, respectivamente, el maximo radio de las
bolas contenidas en K y el mnimo radio de las bolas que
contienen a K .
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
( f )? = f ? .
I (f , g , h) I (f ? , g ? , h? ).
De la misma forma
Z Z Z
I (f , g , h ) = I ({f >s} , gr , {h >t} )dsddt,
0 0
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
f (x 0 , xn ) = f ? (x 0 , xn k 0 ) y h(y 0 , yn ) = h? (y 0 , yn k 0 ) x 0 , y 0 c.t.p..
Lema
E [u] E [u ? ],
Definicion
La adicion de Minkowski de dos conjuntos A, B Rn se define
como
A B := {a + b : a A, b B}.
Definicion
La sustraccion de Minkowski de dos conjuntos A, B Rn se define
como
T
A B := bB (A b).
A B := {x Rn : B + x A}.
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
Si B = B, entonces
T
A B := bB (A + b).
Propiedades
A B C \((C \A) B)
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
Definicion
Sea K un subconjunto de Rn . Sea r el inradio de K . Si 0 r ,
el conjunto paralelo interno de K a distancia , que vamos a
denotar K , es el subconjunto de K definido por
K = K B(0, ).
Lema
Sea A Rn un cuerpo convexo con interior no vaco, tal que
r2
B(0, r ) A B(0, R). Si 0 < < 4R , entonces
(1 4 R
r2
)A A A
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
R sp s
14 2 1,p (n ) s1,p (). (5.4)
r
Introduccion Planteamiento del Problema Principales herramientas Demostracion Resultados auxiliares Referencias
R sp
14 2 lim s (n ) s1,p ().
r n 1,p