Академический Документы
Профессиональный Документы
Культура Документы
CENTRO DE CINCIAS
DEPARTAMENTO DE MATEMTICA
CURSO DE PS-GRADUAO EM MATEMTICA
.
Fortaleza
2011
Joo Vtor da Silva
Fortaleza
2011
Silva, Joo Vtor da
193f.
2011.
CDD 515
Dedicatria
4
Tarde te amei, beleza to antiga e to nova!
Tarde demais eu te amei!
Eis que habitavas dentro de mim e eu te procurava do lado de fora!
Eu, disforme, lanava-me sobre as belas formas das tuas criaturas.
Estavas comigo, mas eu no estava contigo.
Retinham-me longe de ti as tuas criaturas, que no existiriam se
em ti no existissem.
Tu me chamaste, e teu grito rompeu a minha surdez.
Fulguraste e brilhaste e tua luz afugentou a minha cegueira.
Espargiste tua fragrncia e, respirando-a, suspirei por ti.
Tu me tocaste, e agora estou ardendo no desejo de tua paz...
Santo Agostinho
5
Agradecimentos
Aos meus pais: Maria Socorro Mendona Silva e Joo Vgnio da Silva pela criao,
amor, carinho, confiana e oportunidade de me oferecerem uma educao dgna e o carter
o qual possuo hoje. Aos meus quatro irmo: Antnio Ednaldo da Silva, Eliana Mendona
da Silva Lemos, Juliana Virgnia da Silva e Ccero Leond Mendona da Silva por sempre
estarem do meu lado me apoiando em todos os momentos.
Aos amigos de graduao que estaro sempre em meu corao: Fabiano Luiz da Silva,
Antnio Emiliano Ribeiro, Ccera Ferreira dos Santos e Rosilda Bencio de Sousa. Aos
professores do ensino Fundamental e Mdio que contribuiram de maneira significativa para
minha formao: Ivone, Lurdes, Ins, Solange, Carlos Srgio, Joana Anglica, Valdnia,
Raimundo Porflio, Vanda Caciano e Rosa Maria. Aos professores da graduao na
Universidade Regional do Cariri e no IFCE os quais me estimularam a dar continuidade em
meus estudos: Evandro Carlos Ferreira dos Santos, Carlos Humberto Soares Jnior, Mrio
de Assis Oliveira, Zelber Gondim Guimares, Carlos Alberto Soares de Almeida, Pedro
Ferreira de Lima, Fernando Luis e Juscelino Pereira Silva. Aqueles meus companheiros os
quais estiveram mais presentes em meu mestrado: Ccero Tiarlos Nogueira Cruz, Francisco
Pereira Chaves, Priscila Rodrigues de Alcntara, Maria de Ftima Cruz Tavares, Jnio
Moreira de Alencar, Francisco de Assis Benjamim Filho, Maria Wanderlndia Coriolano de
Lavor, Jos Loester S Carneiro, Antonio Wilson Rodrigues da Cunha, Filipe Mendona
de Lima, Francisco Calvi da Cruz Jnior, Joo Francisco da Silva Filho, Antonio Edinardo
de Oliveira, Jos Deibsom da Silva, Jos Ederson Melo Braga, Leon Denis da Silva,
Raimundo de Arajo Bastos Jnior, Rondinelle Marcolino Batista, Tiago Mendona
Lucena de Veras, Valria Gernimo Pedrosa, Ana Shirley Monteiro da Silva, Disson,
Adriano e aqueles os quais no tive a oportunidade de ser colega de turma, mas me
tornara amigo: do doutorado: Flvio Frana Cruz, Jos Nazareno Vieira Gomes, Kelton
Silva Bezerra, Marco Antonio Lzaro Velsquez ,e, do mestrado: Rachel Costa da Silva,
Elaine Sampaio, Robrio Alexandre Coelho, Andr, Renato e Leonardo.
A todos os meus companheiros de disciplina Seminrio II: Damio Jnio Gonalves de
Arajo, Michel Pinho Rebolas, Isaas Pereira de Jesus, Raimundo Alves Leito Jnior
e Marcelo Drio dos Santos Amaral, que foram incentivadores e contribuiram de vrias
formas para o sucesso, concluso e aperfeioamento deste trabalho.
Aos funcionrios do departamento de matemtica, principalmente a secretria da
Ps-Graduao Andrea Costa Dantas pela sua ateno e eficiente trabalho, e, aos
funcionrios da biblioteca: Seu Erivan, Dona Fernanda e dona Rosilda, todos estes pelo
auxlio prestado durante todo o curso de mestrado.
A meu orientador Eduardo Vasconcelos Oliveira Teixeira pelo incentivo e confiana na
concluso deste trabalho.
Aos professores do curso de mestrado em matemtica: Luqusio Petrola de Melo
Jorge, Silvano Dias Bezerra de Menezes, Cleon da Silva Barroso, Antnio Caminha
Muniz Neto, Jorge Herbert Soares de Lira, Jos Othon Dantas Lopes, Aldir Chaves
Brasil Jnior, Marcos Ferreira de Melo, Joo Lucas Marques Barbosa, Jos Fbio Bezerra
Montenegro, Diego Ribeiro Moreira e Eduardo Vasconcelos Oliveira Teixeira, pela mpar
e incomensurvel contribuio, experincia e exemplo que todos esses me forneceram.
minha querida Maria Selene Bezerra de Carvalho pelo amor, dedicao, incentivo e
compreenso nas horas mais necessrias e difceis as quais esteve sempre do meu lado.
FUNCAP pelo suporte financeiro.
Aos membros da banca.
A nossa Me do Cu, Nossa Senhora, a quem devo agradecer por sua constante
vigilncia e interseo por mim perante seu amadssimo filho, Nosso Senhor Jesus Cristo.
E acima de Tudo a Deus, o Pai e criador; Jesus Cristo, o Filho Salvador e o Esprito
Santo, santificador e luz do mundo. A Este(s) no enumero os motivos pela simples razo
de no ser possvel caberem todos estes em nenhum livro.
7
Resumo
i. Definir o que uma superfcie, em geral de modo a ter-se um conceito mais amplo
que variedades, mas com alguma Geometria Diferencial;
ii. Mostrar que existem superfcies mnimas que minimizam rea via um Teorema de
Compacidade;
Enfim, os resultados deste trabalho em sua maioria sero baseados na obra: Minimal
Surface and Function of Bounded Variation do autor Enrico Giusti, o qual resume bem
as tcnicas de Teoria Geomtrica da Medida referentes aos trabalhos de Ennio De Girogi
sobre teoria de regularidade de superfcios mnimas.
Esta obra tratar do problema de Plateau, que encontrar uma hipersuperfcie de rea
mnima que abrange determinado limite. Foi somente em 1930-1931 que uma soluo deste
problema foi encontrada por Douglas e Rad para superfcies em R3 , e levou mais 30 anos
i
at que o caso em dimenses superioriores pudesse ser atacado por meio de mtodos da
teoria da medida. Pioneiros destes novos mtodos foram De Giorgi, Reifenberg, Almgren,
Fleming, e Federer.
Este trabalho dedicado representao e abordagem de Ennio De Giorgi ao estudo
de superfcies mnimas paramtricas. De Giorgi definiu hipersuperfcies admissveis para
o problema de Plateau como limite de sequncias de conjuntos de Caccioppoli. Estes
ltimos so conjuntos de Borel E em Rn com a propriedade que a derivada distribucional
DE , ou seja, no sentido das distribuies, da funo caracterstica E uma medida de
Radon de variao total localmente limitada. O permetro de um conjunto de Caccioppoli
E em um aberto limitado Rn definido como a variao total de DE em :
Z Z
Per(E; ) = |DE | = sup divg(x)dx; g C10 (; Rn ), |g|L () 1
ii
vrtice. Se o primeira e a segundo variaes de rea de F satisfazerem A = 0 e 2 A
0, ento F um hiperplano para n 7. n = 7 a dimenso tima (Bombieri, De
Giorgi, Giusti). Portanto, para n 7 a fronteira de todo conjunto mnimal E em
Rn analtica. Este resultado completado por outro teorema (Federer): A medida
s-dimensional de Hausdorff do conjunto singular nula para qualquer s > n 8.
A leitura deste trabalho exige um conhecimento razoavelmente bom em teoria da
medida e alguma familiaridade com a teoria das equaes diferenciais parciais elpticas.
Em sua totalidade, o trabalho , em sua grande maioria uma obra de representao e
exposio de Teoria Geomtrica da Medida a qual um novo ramo da Anlise altamente
no trivial.
Palavras-Chaves: Funes de vario limitada, conjuntos de Permetro finito
(conjuntos de Caccioppoli), conjuntos minimais, Superfcies Mnimas, Regularidade
de Superfcies Mnimas, Problema de Plateau, Problema de Bernstein, Teoria de De
Giorgi-Nash-Moser.
iii
Abstract
T his master thesis aims to study some of the work of mathematician Italian Ennio
De Giorgi, which refer to the existence and regularity of minimal surfaces, but these
do not fully contextualized within the Differential Geometry, but focused on a field of
mathematics within a few decades implemented which is the Geometric Measure Theory.
According to the definitions of Ennio De Giorgi will study surfaces, which gave to the same
as maples certain sets, which are denoted Caccioppoli sets , its have many interesting
geometric properties, such as tangent adimetem canonical almost everywhere, and have
finite "perimeter". The above results found that up to size 7 all the solutions to the
problem of Plateau are regular and in general their class of regularity is C1, Our efforts
will focus on:
ii. Show that there are minimal surfaces which minimize area via a compactness
theorem;
iii. Prove the regularity of the surface, ie, the surface is a smooth manifold.
Finally the results of this study are mostly based on the work: Minimal Surface
and Function of Bounded Variation of the author Enrico Giusti, which summarizes
the techniques of Geometric Measure Theory relating to the work of Ennio De Girogi on
a regularity theory of minimal surfaces.
This work will address the problem of Plateau, which is to find a hypersurface of least
area that covers certain threshold. It was only in 1930-1931 that a solution to this problem
was found by Douglas and Rad for surfaces in R3 , and it took another 30 years until the
case could be in higher-dimensions attacked by methods of measure- theorteic. Pioneers
of these new methods were De Giorgi, Reifenberg, Almgren, Fleming, and Federer.
This work is dedicated to representation and Ennio De Giorgi approach to the study of
minimal surfaces parameteric. De Giorgi defined hypersurfaces admissible for the problem
iv
of Plateau as the limit of sequences of sets of Caccioppoli. These latter are timo Borel
sets E en Rn with the property that the distributional derivative DE , i.e., in the sense of
distributions, the characteristic function E is a Radon measure of locally bounded total
variation. The perimeter of a Caccioppoli set E in a limited open Rn is defined as the
total variation of DE in :
Z Z
Per(E; ) = |DE | = sup divg(x)dx; g C10 (; Rn ), |g|L () 1
With this weakened notion of surface the Plateau problem is easily solved in the
following sense: Theorem (existence of a weak solution): Let open and bounded and
L on a set of Caccioppoli Rn . Then the class of sets Caccioppoli {E, E = L } is
a set of minimal perimeter in , which denote the minimal set in . The proof of the
regularity almost everywhere, however, requires a very difficult job. Therefore, the notion
of reduced boundary E of a set E is introduced as the set of points x Rn for which
there exists a generalized unit normal vector (x) as the limit when 0 of the vectors
Z
DE
B(x,)
(x) = Z .
|DE |
B(x,)
Theorem (partial regularity): For any minimal set E in the reduced boundary E
is an analytic hypersurface and the singular set (E E) has (n 1)dimensional
Hausdorff measure 0.
Tools for the proof of these results are provided from Chapter 5. In chapters 2-3 will
address some properties of functions of bounded variation: compactness, semicontinuity of
the total variation, approximation by smooth functions and trace. The proof of regularity
found in Chapter 8. We will try a few sessions to the investigation of the singular set.
For every point x0 E there exists a tangent cone C as the limit at Ll oc1 for proper
sequence of sets of expansion Et = {x Rn : x0 + t(x x0 ) E} when t 0. The tangent
cone is minimal if E is minimal in a neighborhood of x0 and x0 belongs to the reduced
boundary if and only if C is a hyperplane.
Theorem (Almgren, Simons): Let F be a cone in Rn whose boundary is smooth outside
the vertex. If the first and second variations of area of F satisfy A = 0 and 2 A 0,
then F is a hyperplane for n 7. n = 7 is optimal (Bombieri, De Giorgi, Giusti).
Therefore, for n 7 the boundary E of every minimal set E in Rn is analytic.
This result is completed by another theorem (Federer): The sdimensional Hausdorff
measure of the singular set vanishes for any s > n 8.
v
Reading this work requires a knowledge fairly good in measure theory and some
familiarity with the theory of elliptic partial differential equations. In their totality, the
work is mostly a work of representation and exhibition of Geometric Measure Theory
which a new branch of highly nontrivial analysis.
Key Words: Functions of Bounded variation, sets of finite perimeter (Caccioppoli
sets), minimal sets, Minimal Surfaces, Regularity of Minimal Surfaces, Problems Plateau,
Bernsteins Problem, Theory of De Giorgi-Nash-Moser.
vi
Contedo
1 Introduo 1
1.1 Um pouco de Histria e alguns comentrios . . . . . . . . . . . . . . . . . 1
1.2 As Grandes Personalidades e o Legado destas . . . . . . . . . . . . . . . . 4
2 Preliminares 5
2.1 Algumas noes de Teoria da Medida . . . . . . . . . . . . . . . . . . . . . 6
2.2 Medida de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3 Funes de variao limitada e conjuntos de Caccioppoli . . . . . . . . . . 19
2.3.1 Propriedades dos conjuntos de Caccioppoli . . . . . . . . . . . . . . 25
2.3.2 A frmula de Gauss-Green e o Teorema Estrutural . . . . . . . . . 27
2.4 Regularizantes Simtricos (Mollifiers) . . . . . . . . . . . . . . . . . . . . . 32
2.4.1 Propriedades dos Regularizantes Simtricos (Mollifiers) . . . . . . . 33
2.5 Aproximao de Funes BV . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.6 Existncia de Superfcies Mnimas . . . . . . . . . . . . . . . . . . . . . . . 38
2.6.1 Teoremas de compacidade . . . . . . . . . . . . . . . . . . . . . . . 38
2.7 Aproximao de conjuntos de Caccioppoli por funes C . . . . . . . . . 42
2.8 Desigualdade de Sobolev e consequncias . . . . . . . . . . . . . . . . . . . 46
4 A Fronteira Reduzida 63
4.1 Fronteira Reduzida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.1.1 O Lema de Gauss-Green . . . . . . . . . . . . . . . . . . . . . . . . 66
vii
4.1.2 Densidade no sentido da medida terica . . . . . . . . . . . . . . . 67
4.2 Blow-up da Fronteira Reduzida . . . . . . . . . . . . . . . . . . . . . . . . 72
4.3 Semi-Espao Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
viii
ix
12 Apndice 195
Captulo 1
Introduo
Contedo
1.1 Um pouco de Histria e alguns comentrios . . . . . . . . . . . . . . . . . . . 1
1.2 As Grandes Personalidades e o Legado destas . . . . . . . . . . . . . . . . . . 4
Podendo-se mostrar que se, para algum x E e algum > 0 , o vetor (x) tem
comprimento sufientemente prximo de 1, ento a diferena 1 r (x) converge a zero
quando r 0. Est caracteriza-se como a parte mais difcil da prova, com isso se
concretiza algo relativamente fcil mostrar que E regular (analtica) na vizinhana de
x. Tal mtodo se torna muito eficaz para o estudo regularidade em quase todo ponto.
Uma vez estabelecida a regularidade em quase todo ponto, natural se pensar quando
o conjunto singular pode existir. Dessa forma, podemos nos dirigir ao estudo do
comportamento de E nas proximidades de um ponto, digamos a origem, e este em
geral feito atravs de tcnicas de Blow-up, isto , por considerar os conjuntos
x
Ek = {x Rn ; E} k = 1, 2, ...
k
cone mnimo singular em R8 . Tal resultado fora demonstrado por Enrico Bombieri3 ,
Ennio De Giorgi e Enrico Giusti [43].
Por final, baseado nos trabalhos de Simons , Herbert Federer [4] provou que a dimenso
de Hausdorff do conjunto singular no excede n 8, e esta estimativa tima.
3
Enrico Bombieri foi premiado, assim como outros matemticos citados neste trabalho, com a medalha
Fields em 1974 por essa e outras diversas contribuies
Captulo 2
Preliminares
Contedo
i. , X F;
ii. Se A F ento X A F; e
[
iii. Se Ak F, k = 1, ..., ento Ak F. Alm disso, uma lgebra de Borel do
k1
Rn a menor lgebra contendo os subconjuntos abertos do Rn .
i. () = 0; e
X [
ii. (A) (Ak ) sempre que A Ak .
k1 k1
ii. Uma medida sobre Rn chamada Borel se todo conjunto de Borel mensurvel.
iii. Uma medida sobre o Rn Borel regular se Borel e para cada A Rn , existe
um conjunto de Borel B tal que A B e (A) = (B).
CAPTULO 2. PRELIMINARES 7
Definio 2.5. Uma medida sobre Rn uma medida de Radon se uma medida de
Borel regular e (K) < para todo conjunto compacto K Rn .
Definio 2.6. Seja uma medida sobre X, e Y um espao topolgico. Uma funo
f : X Y mensurvel se f1 (U) mensurvel para cada conjunto aberto U Y.
i. (A B) <
ii. fk g uniformemente em B.
i. (A K) < e
Definio 2.7. i. Dizemos que uma medida com sinal sobre Rn , e denotaremos
por M(Rn ) se existe uma medida de Radon sobre o Rn e uma funo f
L1loc (Rn ; ) tal que = f
CAPTULO 2. PRELIMINARES 8
Teorema de Fubini
Definio 2.8. Seja uma medida sobre um conjunto X e uma medida sobre um
conjunto Y. Para cada M X Y definimos
X
( )(M) := inf (Ak )(Bk ) ,
k1
Teorema 2.1.4. (Fubini) Seja uma medida sobre um conjunto X e seja uma medida
sobre um conjunto Y.
para todo A R.
Ln := Ln1 L1 = L1 ... L1 ,
ou equivalentemente,
Ln := Lnk Lk
para qualquer k {1, ..., n 1}. s vezes usaremos a notao |E|, alguns autores se
utilizam da notao meas E para a medida de Lebesgue de um conjunto genrico E
de Rn .
ii. Seja uma medida de Radon sobre Rn , 1 p < e f Lploc (Rn ; ). Ento
Z
1
lim |f f(x)|p d = 0 (2.1)
r0 (B(x, r)) B(x,r)
para cada conjunto compacto K Rn . Ento existe uma nica medida de Radon
vetorial = |||| M(Rn ; Rm ) tal que
Z Z
L() = .d = .d|||| (2.2)
Rn Rn
ii. Seja L : C0 (Rn ) R um funcional linear tal que L() 0 para toda
C0 (Rn ), 0. Ento existe uma medida de Radon em Rn tal que
Z
L() = .d
Rn
Definio 2.13. Diremos que uma medida de variao se para cada conjunto aberto
V Rn ,
(V) = sup {L() : C0 (Rn , Rm ), || 1, spt() V} ,
Convergncia Fraca
i. k em M(U);
ii. lim sup k (C) (C) para cada compacto C U e (O) lim inf k (O) para cada
aberto O U;
iii. lim k (B) = (B) para cada B Rn conjunto Boreliano limitado com (B) = 0.
k
para toda C
0 (U)
Definio 2.16. Sejam f, fk L (U), k = 1, .... Diremos que fk converge fraco estrela
em L (U) para f, e escreveremos f
f em L (U), se
k
Z Z
fk dx fdx
U U
Z
s/2
onde (s) = s e (s) = ex xs1 dx a funo Gama de Euler.
( 2 + 1) 0
Observao 2.1. Para > tem-se Hs (A) 6 Hs (A). Portanto Hs (.) uma funo
montona no-crescente de [0, ).
Para A e s como acima, faz sentido definirmos o limite
Claramente 0 6 Hs (A) 6 .
Assim, denotaremos Hs a s-dimensional Medida de Hausdorff em Rn . Por Hs (.)
ser uma funo montona no-crescente de [0, ) temos em particular para qualquer
CAPTULO 2. PRELIMINARES 13
subconjunto A Rn , > 0 e s 0
Hs (A) Hs (A) H
s
(A)
Figura 2.1: A medida de Hausdorff (rea) de um pedao da superfcie sendo aproximada pela
interseo de pequenas bolas as quais a recobrem.
Observao 2.2. Hs no uma medida de Radon se 0 s < n, uma vez que a mesma
no -finita
iii. Hs = 0 em Rn se s>n;
onde
|f(x) f(y)|
Lip(f) := sup ; x, y Rn , x 6= y
|x y|
Proof.: Evans-Gariepy [6], pag. 63. para (i)-(v) e pag. 75 para (vi).
CAPTULO 2. PRELIMINARES 15
= sup{s; Hs (A) = } n.
Observao 2.3. A dimenso de Hausdorff de um conjunto E Rn coincide com a
dimenso topolgica do mesmo, quando este for uma variedade topolligica mergulhada,
ou seja, uma subvariedade.
E0 = [0, 1],
E1 = [0 13 ] [ 23 , 1],
E2 = [0, 19 ] [ 29 , 13 ] [ 89 , 1],
k
Ek = [0, 31k ] [ 32k , 3k1
1
] [ 3 31
k , 1].
\
Ento o conjunto E = Ek conhecido como conjunto de Cantor (Veja figura
k0
abaixo.)
Observe que
ii. A curva de Von Koch tem a mesma propriedade (ii) acima do conjunto de Cantor;
CAPTULO 2. PRELIMINARES 17
4 k
iii. Um clculo direto indica que o comprimento de Fk 3
, assim o comprimento
de F infinito. Porm a rea de F no plano 2dimensional zero. Portanto
o comprimento e a rea de F no so objetos matemticos covenientes a fim
de descrever a forma de F efetivamente. De qualquer forma podemos tambm
log 3
averiguar que Hdim (F) =
log 4
Mais self-similar fractals.
m
De fato a expresso do lado direito 2 |J|tm . Portanto 2 = tm . Iniciemos com
H0 = [0, 1],
CAPTULO 2. PRELIMINARES 18
Hj = {(J); J Hj1 }
Para mais informaes sobre conjuntos fractais e dimenso de Hausdorff consulte Rataj
[13], Albertini [19] e Waiezscker [20].
Teorema 2.2.3. Hn = Ln em Rn .
Proof Veja Evans-Gariepy [6] pag. 70 ou Fanghua-Xiaoping [8] pag. 11
Figura 2.6: A medida de Hausdorff Hn1 da esfera coincide com a medida de Lebesgue da
mesma, ou seja, sua rea.
Alm disso, temos tambm conforme os resultados acima expostos que Hs (Sn1 ) = 0
se s > n e Hs (Sn1 ) = se s < n. Analogamente para o ntoro, Hs (Tn ) = 0, se s > n
e Hs (Tn ) = se s < n.
CAPTULO 2. PRELIMINARES 19
Figura 2.7: Sendo o 2toro uma subvariedade topolgia, sua medida de Hausdorff Hn1
coincide com a medida de Lebesgue, ist , sua rea.
ii. Diremos que f uma funo de variao limitada local, e denotamos f BVloc (),
se f BV(V) para todo conjunto aberto V U.
Em outras palavras, f BV() se, e somente, existe Df M(; Rn ) finita tal que
para i = 1, ..., n, Z Z
fxi = d(Di f),
Z
Se munirmos BV() com a norma kfkBV() = kfkL1 () + |Df| ento este se tornar um
Z
com V
No exemplo a seguir, observaremos que para toda funo f W 1,1 () tem variao
total finita. Em particular, veremos que toda funo de Sobolev tem localmente variao
limitada.
Exemplo 2.4. Seja f uma funo de Sobolev, isto , f W 1,1 (), ento temos a seguinte
igualdade Z Z
|Df| = |f|dx.
Mediante a definio de variao total de uma funo f L1loc (), note que a variao
da mesma pode ser infinita. Neste caso, veremos atravs do Teorema (2.3.1), que pode
ser encontrado em Ambrosio-Fusco-Pallara [10], que esta no ser uma funo de variao
limitada.
Z
Teorema 2.3.1. Seja f L (). Ento f BV() se, e somente se,
1
|Df| < . Alm
Z
Z
Uma vez que || 1, segue segundo a definio que |Df| ||f||() < .
Reciprocamente, definamos um funcional linear L : C10 (; Rn ) R por
Z
L() := fdivdx,
para toda C10 (; Rn ). Observemos que |L()| V(f; )||||L . Agora fixemos um
conjunto compacto K , e seja V um conjunto aberto tal que K V . Para cada
C0 (; Rn ) com spt() K, existe uma sequncia k C10 (V; Rn ), k = 1, ..., tal que
k uniformente em V. Definimos L() b := lim L(k ), para todo C0 (; Rn ).
k
b est bem-definido, contnuo e,
Pela desigualdade |L()| V(f; )||||L , vemos que L
alm disso, devido ao Teorema de Hahn-Banach (Veja Apndice) vemos que o mesmo
CAPTULO 2. PRELIMINARES 22
b : C0 (; Rn ) R tal que
pode ser estendido a um operador linear L
b
sup L() : C0 (; Rn ), || 1, spt() K < .
Portanto, f uma funo de variao limitada, isto , f BV(). Ainda, para cada
b
C1 (; Rn ), || 1, tem-se |L()| V(f; ), logo ||f||() V(f; ), e isto finaliza
0
a demonstrao do Teorema.
Exemplo 2.5. Suponhamos que f W 1,1 (), ento pelo Exemplo (2.4) e o Teorema
anterior (2.3.1), f BV(), logo W 1,1 () BV(), e analogamente, Wloc
1,1
()
1,p
BVloc (). Em particular, Wloc () BVloc () para 1 p . Consequentemente,
toda funo de Sobolev tem variao localmente limitada.
Vejamos: Do fato de E ter fronteira C2 , (x) ser uma funo de classe C1 com
|(x)| = 1 . Dessa forma invocando o Teorema de Tietze diferencivel, ou Teorema
da Extenso de Whitney ou mesmo o Teorema para Aproximao de funes Lipschitz
por funes C1 (Veja Apndice), existe uma funo N, definida em todo o Rn , tal que
N C1 (Rn ; Rn ) e |N(x)| 1 para todo x. Se escolhermos C
0 () com || 1 e se
puzermos g = N teremos via o Teorema de Gauss-Green,
Z Z
divg(x)dx = dHn1
E E
CAPTULO 2. PRELIMINARES 23
Observao 2.4. Pelo Exemplo (2.5) acima tem-se W 1,1 () BV(). Entertanto no
se ter BV() = W 1,1 (), vejamos: Suponha que E Rn tenha fronteira C2 e seja E a
funo caracterstica de E. Adimitindo que E seja limitado ento teremos
Z
E dx = Ln (E )
Nota 2.2. A definio acima pode ser extendida a qualquer conjunto Boreliano B Rn
ao tomarmos
Per(E; B) = inf {Per(E; ) : B , Aberto}
ii. Se f BVloc () L1 , ento f BV() se, e somente se, |Df|() < neste caso
podemos definir
||f||BV() = ||f||L1 () + |Df|().
CAPTULO 2. PRELIMINARES 24
Z
|DE |(V) = sup divdx; C10 (V; Rn ), || 1
E
para cada V .
Nota 2.3. Originalmente, conjuntos de permetro finito foram definidos como conjuntos
que podem ser aproximados por domnios poliedrais , E P, o qual definido como
qualquer conjunto E Rn no qual o fecho de um conjunto aberto cuja fronteira
topolgica, E, est contida em uma unio finita de hiperplanos do Rn . Essa definio
similar a definio de Lebesgue da rea de uma superficie. Mais geralmente, o permetro
de qualquer conjunto, no necessariamente mensurvel, foi definido como
Per(E; Rn ) := inf lim inf Hn1 (Eh ); Eh P, |(E Eh ) (Eh E)| 0
h0
Para uma demonstrao de tais propriedades consulte Pacheco [12], pag. 39. e Ennio
de Giorgi Selected Papers. [29] pag. 221.
Figura 2.8: A partio {Eh } do retngulo (0, x1 ) (0, y1 ) uma partio de Caccioppoli se e
X
somente se (xh + yh ) < .
CAPTULO 2. PRELIMINARES 26
Lema 2.2. O suporte (no sentido das distribuies) da medida de Radon (vetorial) DE
um subconjunto da fronteira de E, ou seja, spt(DE ) E.
ento x
/ spt(DE ).
Em contrapartida, se A int(E), ento E (x) = 1 em A. Assim
Z Z
hg, DE (x)i = divg(x)dx = 0 g C10 (A; Rn ).
A
CAPTULO 2. PRELIMINARES 27
ou seja, temos uma verso mais geral da frmula de Gauss-Green para conjuntos de
Caccioppoli E. De fato pela Observao (2.6) acima tais conjuntos so caracterizados por
esta propriedade.
sup L(); C10 (V; Rn ), || 1 C(V) <
b
L() lim L(k );
k
de acordo com (2.5) este limite existe e o mesmo independente da escolha da sequncia
{k }k1 convergente a . Assim pelo Teorema de Hanh-Banach (Veja Apndice) L se
estende unicamente a um funcional linear
b : C0 (; Rn ) R
L
CAPTULO 2. PRELIMINARES 28
e
b
sup L(); C0 (; Rn ), || 1, spt() K <
para cada conjunto compacto K . Pelo Teorema de Riesz-Markov existe uma medida
de Radon em Rn e uma funo mensurvel : Rn Rm tal que
necessariamente devemos ter |E| = , o que nos fornece que Hn1 (E) = .
k
[
Em contrapartida, se definirmos Ek = Bi ento Ek E ou como preferir Ek E
i=1
k
[ k
X
n1 n1
Per(Ek ) = H (Ek ) H ( Bi ) = nn1 in1 .
i=0 i=0
O exemplo a seguir mostra que um conjunto com permetro finito pode ter um carter
muito patolgico.
Exemplo 2.10. Sejam Q = (x, y) R2 , |x|, |y| 12 e {rj }jN os pontos de coordenadas
[
racionais de Q. Tome > 0 e defina E = Bi , onde Bj = B(rj , 2j ). Da Propriedade (iii)
i>1
dos conjuntos de Caccioppoli e da Semicontinuidade Inferior facilmente computado que
X
Per(E; R2 ) Per(Bj ; R2 ) = 2,
j
enquanto que
2
|E|
3
O conjunto E aberto, assim E = E E e a medida de Lebesgue de E ser
2
|E E| |Q| |E| 1
3
o qual positivo para > 0 pequeno. Este exemplo mostra a existncia de conjuntos
abertos com permetro arbitrariamente pequeno, mas cuja fronteira tem medida de
Lebesgue positiva. Tal fato se explica pois ao passarmos da dimenso 1 para dimenses
maiores se E BV() ento o suporte da mesma deixar de ter interior vazio.
CAPTULO 2. PRELIMINARES 30
= lim |Dfj |
j A
Z Z
lim sup |Dfj | + lim inf |Dfj |
j ZA Z j B
lim sup |Dfj | + |Df|
j A B
Nota 2.5. Seja M(U) o conjunto das medidas de Radon com sinal em U Rn aberto.
Z {k } M(U) dita convergir fracamente a M(U),
Diremos queZ uma sequncia
k , se fdk
k fd para cada f C0 (U).
U U
i. k em M(U);
ii. lim sup k (C) (C) para cada compacto C U e (O) lim inf k (O) para cada
aberto O U;
iii. lim k (B) = (B) para cada B Rn conjunto Boreliano limitado com (B) = 0.
k
CAPTULO 2. PRELIMINARES 32
iv. (x) 0;
1 1
ii. O Ncleo de Poisson Py (x) = x2 +y2
definido no semi-plano superior e o
Z Z y Z
n xz n n
f (x) = f(z)dz = (1) f(xy)dy = (w)f(x+w)dw
Rn Rn Rn
iv. Se f C1 (Rn ) ento f
xi
= f
xi
;
Para a demostrao de tais propriedades consulte Evans-Gariepy [6] pag. 123 ou Evans
[2] pag. 630.
Proposio
Z 2.2. Suponha que f BV() e se tenha A conjunto aberto tal que
|Df| = 0. Ento se f uma famlia regularizante simtrica (onde f extendida a 0
A Z Z
fora de se necessrio), |Df| = lim |Df |dx
A 0 A
Proof: Pela Propriedade (i) dos Regularizantes Simtricos segue do fato de
f BV(), ou seja, f L1 (), que f f em L1 (Rn ). Pela Semicontinuidade Inferior
(2.3.3) tem-se que Z Z
|Df| lim inf |Df |dx.
A 0 A
Tomemos agora g C10 (A; Rn ) com |g|L () 1. Ento pelas Propriedades (iii) e (iv)
dos regularizantes simtricos temos as identidades
Z Z Z
f divgdx = f(divg) dx = fdiv(g )dx
Z Ao tomarmos
Z o supremo sobre todas as funes g com as propriedades acima teremos
|Df | |Df|. Dessa forma tomando o limsup na ltima sentena acima teremos
A A
Z Z Z Z Z Z Z
lim sup |Df |dx lim sup |Df| = lim |Df| = |Df| = |Df| + |Df| = |Df|
0 A 0 A 0 A A A A A
CAPTULO 2. PRELIMINARES 34
Z Z Z Z
Portanto, lim sup |Df |dx |Df| lim inf |Df |dx lim sup |Df |dx.
0 A A 0 A 0 A
Z Z
E dessa forma |Df| = lim |Df |dx.
A 0 A
Z
Em particular se f = E ento Per(E) = lim |(DE ) |dx = lim Per(E )
0 Rn 0
ento Z
|Df| < .
0
Para tanto basta tomar m suficientemente grande. Nosso objetivo agora ser
construir uma partio da unidade, para tanto definamos os conjuntos Ai , i = 1, 2, ...,
construtivamente por A1 = 2 e para i = 2, 3, ... faamos Ai = i+1 i1 . Dessa forma
podemos tomar i uma partio diferencivel da unidade subordinada a cobertura {Ai }
CAPTULO 2. PRELIMINARES 35
Lembremo-nos que dada uma variedade topolgica M e uma cobertura arbitrria por
meio de abertos A = {Ai } de M,uma Partio da Unidade Subordinada a A uma coleo
de aplicaes contnuas {i : M R}iN , com as seguintes propriedades:
i. 0 i (x) 1 i N e x M;
ii. spt(i ) Ai ;
v. i C
0 (Ai ).
Vejamos:
(i) A sentena (a) acima nos fornece que a soma definindo f localmente finita, segue
portanto da diferenciabilidade dos regularizantes simtricos e da partio da unidade que
f C ();
(ii)
Z Z X X
XZ X
|f f|dx = i (fi ) fi dx |i (fi )fi |dx < 2i =
i i i i1
CAPTULO 2. PRELIMINARES 36
Portanto f
0 f em L ()
1
= fi div(i g)
XZ Z
i
= I1 + I2
e tendo em vista o fato que a interseo de uma quantidade maior que 3 conjuntos Ai
vazia segue que
XZ XZ Z
fdiv(i i g)dx = |Df| 3 |Df| < 3
i2 i2 Ai 0
Z XZ Z
Assim, =I1 fdiv(1 i g)dx + fdiv(i i g)dx |Df| + 3 e
i2
Z XZ X
|I2 | |f(Di i g)|dx = |g(i (fDi ) fDi )|dx) 2i = .
i i1
X
Vale ressaltar que usamos acima o fato que Di = 0. Portanto
i
Z Z
f divgdx |Df| + 4.
Z Z
Segue da definio de Vario Total que |Df | |Df| + 4. Dessa forma usando
a Semicontinuidade Inferior (2.3.3)e a definio de liminf temos
Z Z Z Z
|Df | |Df| + 4 lim inf |Df |dx + 4 |Df | + 4.
0
Agora basta fazer 0 para enfim obter o resultado.
Teorema 2.5.2. (Aproximao fraca da Derivada) Para cada funo fk como nas
hipteses do Teorema anterior (2.5.1), defina a medida de Radon (a valores vetoriais)
Z
k (B) = Dfk dx
B
CAPTULO 2. PRELIMINARES 37
Z
para cada conjunto de Borel B R . Defina tambm (B) = n
d(|Df|)dx, ento
B
k fracamente no sentido das medidas de Radon (a valores vetoriais) no Rn .
Proof: Fixe C10 (Rn ; Rn ) e > 0. Definamos como no Teorema precedente (2.5.1)
em 1 as seguintes funes de corte satisfazendo
1 em 1 , spt() e 0 1.
Ento,
Z Z Z Z
dk = .Dfk dx = .Dfk dx + (1 ).Dfk dx =
Rn Z Z
||||L |Df|( 1 ) C .
||||L |Dfk |( 1 ) C .
Z Z
Portanto dk d C para todo k suficientemente grande.
Rn Rn
X
1
f (x) f(x) = [k (fk ) fk ], onde k0 = m2
kk0
CAPTULO 2. PRELIMINARES 38
j k
e 1 denota o maior inteiro que no supera 1 . Ento de (b) conforme o Teorema de
Z
Aproximao (2.5.1) segue que |f (x) f(x)|dx C2k0 e usando a relao entre
B(x0 ,)
k0 e conseguimos o desejado.
Nota 2.8. Diremos mediante o Teorema de Compacidade (2.6.2) acima que BV() est
compactamente imerso em L1 (), e escreveremos BV() L1 ().
Proof: Sendo Rn limitado, podemos escolher r R+ tal que B(0; r). Assim,
dado qualque conjunto L coincidindo com F fora de tem-se que
Z Z Z
|DL | = |DL | + |DF |
B(0;r) Rn B(0;r)
Esclio: Como Ej f, temos f = E q.t.p para algum E (Para mais detalhes consulte
Folland [40] Exerccio 2.36) . Pela Semicontinuidade Inferior do Permetro temos que E
minimizante.
i. Per(E, ) <
ii. Per(E, ) Per(F, ), qualquer que seja o conjunto de Caccioppoli F1 tal que (F
E) (E F) relativamente compacto em com E = F ,
Nota 2.9. Em Teoria Geomtrica da Medida muitas vezes se concebe a seguite definio:
Sejam A Rn aberto A a funo caracterstica de A. Diremos que a fronteira, A, de A
uma hipersuperfcie orientada em , sendo um conjunto aberto, se as derivadas
Di A so medidas em , isto , se A BVloc ().
onde em geral H(x) (veja por exemplo Massari-Miranda [26], Massari [57],
Tamanini [65], [66], Massari [68],Gonzalez-Massari [70], Pepe-Massari [75] e
Partial Differential Equations [77]) denota a curvatura mdia generalizada (ou
curvatura mdia variacional) da superfcia E.
No tarefa difcil constatar (pelo clculo da primeira variao do funcional FH (E))
que se E tem curvatura mdia variacional H, se H contnua em x E, e E
1
Tal classe de conjuntos conhecida como classe de Caccioppoli {F; E = F }
CAPTULO 2. PRELIMINARES 42
O fato que todo conjunto de permetro finito em Rn tem uma curvatura mdia
variacional foi observado pela primeira vez em Barozzi-Gonzalez-Tamanini [108].
Z Z Z Z Z Z
fdivgdx = dt (1 Ft (x))divgdt = dt divgdx Ft divgdx
0 0
Z
Mas, por hiptese temos g C10 (; Rn ), logo divgdx = 0. Segue disso que
Z Z Z Z Z
fdivgdx = dt divgdx dt |DFt |.
0 Ft 0
Z0
Agora se tivermos f(x) 0, poderemos como acima observar que Ft (x)dt e obter
semelhantemente ao caso anterior
Z Z0 Z
fdivgdx dt |DFt |.
CAPTULO 2. PRELIMINARES 43
onde Fjt = {x , fj (x) < t}, da qual podemos garantir a existncia de uma subsequncia,
ainda denotada por {fj }, de sorte que Ftj Ft em L1 () para quase todo t. Portanto,
segue do Lema de Fatou e do Teorema de Semicontinuidade Inferior (2.3.3) que
Z Z Z Z Z Z
|Df| = lim |Dfj | = lim dt |DFjt | dt |DFt |
j j
Dessa forma nos resta somente mostrar (2.8) para f C (). De fato basta
repetirmos exatamente o raciocnio acima, porm agora fazendo uma aproximao de
f C () por funes lineares fj pontualmente contnuas. Com efeito mostraremos
agora que (2.8) se verifica para funes lineares pontualmente contnuas.
[N
Suponha que = i e f(x) = hci , xi + bi se x i , onde ci Rn e bi R. Dessa
i=1
forma f W 1,1 () e
Z N
X
|Df| = |ci |.|i |.
i=1
Alm disso,
Z
|DFt | = Hn1 ({x i ; f(x) = t}) = Hn1 ({x i ; hci , xi + bi = t}).
i
(2.8), teremos
Z Z Z
dt |DFt | = |ci |Hn1 ({x i ; x1 = t})dt = |ci |.|i |.
i
Z Z N
X Z
Portanto, dt |DFt | = |ci |.|i | = |Df|
i i=1
de modo que
Z Z Z
|fj E |dx |fj E |dx + |fj E |dx
Ej E EEj
t|Ej E| + (1 t)|E Ej |
Z
min{t, 1 t} |Ej E |dx
Teorema 2.7.2. Todo conjunto de Caccioppoli limitado E pode ser aproximado por uma
sequncia de conjuntos Ej , C , tal que
Z Z Z
|Ej E |dx 0 e |DEj | |DE |
CAPTULO 2. PRELIMINARES 45
ii. Fj E em L1 (Rn );
Z Z
iii. lim inf |DFj | = |DE |
j
CAPTULO 2. PRELIMINARES 46
Ento Z n1
n
Z
n
|f f | n1 dx c2 (n) |Df| (2.12)
B B
Proof: As desigualdades (2.11) e (2.12) j possuem suas verses para funes nos
0 (R ) e C (B ), para tanto consulte Adams [1]. Provemos ento (2.11):
espaos C n
Z Z
fj f em L (R ) e 1 n
|Dfj |dx |Df|.
Tendo em vista que (2.11) vlida para as funes fj , esta nos fornece que as fj
n
so uniformemente limitadas na norma L n1 (Rn ), e dessa forma pela reflexividade
n
do espao L n1 (Rn ) o Teorema de Pettis assegura que a mesma admite uma
n
subsequncia fracamente convergente a alguma funo f0 L n1 (Rn ). Como fj f
n
em L1 (Rn ), segue da unicidade do limite fraco que f0 = f e fj f em L n1 (Rn ) e
assim via convergncia fraca (consideraes de Anlise Funcional) seque que
Z n1
n
Z n1
n
Z Z
n n
|f| n1 dx lim inf |fj | n1 dx c1 (n) lim |Dfj | = c1 (n) |Df|
j j
Z
n1
n
n
|f f | n1 dx
B
n1 1 n n n1
min {|E B |, |(Rn E) B |} n |E B | n1 + |(Rn E) B | n1 n
|B|
n1
min {|E B |, |(Rn E) B |} n .
Contedo
3.1 Trao de funes em W 1,p . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2 Trao de Funes de Variao Limitada . . . . . . . . . . . . . . . . . . . . . 51
3.2.1 O Teorema de Lebesgue-Besicovitch e o Lema de Recobrimento de Vitali 51
3.2.2 O Teorema do Trao e a Frmula de Gauss-Green para C+
R . . . . . . . 54
i. Tu = u| se u W 1,p () C() e
Tu chamado o TRAO de u em .
Proof: Veja Evans [2] pag. 258.
Como tem medida nula o Teorema acima no nos permite definir de forma
inequvoca os valores de f em , pois pela Observao 3.1 em geral f L1 () no possui
Trao sobre . Ento o que nos falta de fato em codies mnimas para garantir que
podemos definir o Trao em ? A resposta est intrinsecamente ligada a existncia da
derivada. Veremos que se for Lipschtz contnuo ento um poderosssimo Teorema de
Teoria Geomtrica da Medida, Teorema de Rademacher [Veja Apndice], garante que em
tais circunstncias adimite vetor gradiente Ln - quase sempre, onde Ln aqui denota
a medida n-dimensional de Lebesgue. Mais geralmente podemos definir o Trao em
hipersuperfcies fechadas S para funes BV().
[
A B(xi , 3(xi )) (3.3)
i1
CAPTULO 3. TEORIA DO TRAO PARA FUNES DE VARIAO LIMITADA52
Proof: Sejam
Ak = {x A; 2k (x) 21k }, k N e L
Ordenando tais conjuntos por incluso e utilizando o Lema de Zorn (Veja Apndice)
garantimos a existncia de um subconjunto L1 maximal. Se M Rn um conjunto
compacto, ento L1 M necessariamente finito (via maximalidade de L1 e compacidade
de M), e, assim o prprio L1 enumervel.
Analogamente, seja L2 subconjunto maximal de A2 , tal que
Lema 3.2. Sejam Rn+ = {x Rn ; xn > 0} e uma medida de Radon positiva em Rn+ com
(Rn+ ) < . Para > 0 e y Rn+ , seja
CAPTULO 3. TEORIA DO TRAO PARA FUNES DE VARIAO LIMITADA53
C+ n
(y) = {x R ; x = (z, t), |y z| < , 0 < t < } = B (y, ) (0, ).
lim 1n (C+
(y)) = 0 (3.4)
0+
1n + 1
Proof: Seja Ak = y R ; lim sup (C (y)) >
n1
.
0 k
[
suficiente mostramos que Hn1 (Ak ) = 0 para cada k, pois como A = Ak isso
k1
X
n1 n1
implica que H (A) H (Ak ) = 0.
k1
Dado y Ak e > 0, existe pela definio de limsup, y < tal que
1 n1
(C+
y (y)) > y (3.5)
2k
X X
Hn1 (Ak ) wn1 (3yi )n1 2kwn1 3n1 (C+
y (yi ))
i
i1 i1
C+ n
y (yi ) L = {x R ; 0 < xn < }
i
e portanto
X
Hn1 (Ak ) < 2kwn1 3n1 (C+
y (yi )) < (L ) > 0,
i
i1
CAPTULO 3. TEORIA DO TRAO PARA FUNES DE VARIAO LIMITADA54
Mais ainda, se CR = BR (0, R), ento para todo g C10 (CR ; Rn )
Z Z Z
fdivgdx = hg, Dfi + f+ gn dHn1 (3.7)
C+
R C+
R BR
Z Z
|f f |dH n1
|Dn f|dx (3.9)
BR Q
,
Conclumos assim que f uma sequncia de Cauchy em L1 (BR ). Segue portanto que
a mesma converge a uma funo f+ L1 (BR )
Tome agora g C10 (CR ; Rn ). Usando integrao por partes vem que
Z Z Z
fdivgdx = hg, Dfi + f+ gn dHn1
QR, QR, BR
Como |Df| uma medida de Radon Positiva segue do Lema anterior (3.2) que para
y BR Hn1 -quase sempre
Z
lim 1n
|Df| = 0 (3.13)
0 C+
(y)
Para finalizar a prova basta usarmos (3.11) e assim obteremos o resultado desejado.
Observao 3.2. A funo f+ chamada o TRAO de f em BR e
Z
+ 1
f (y) = lim + f(z)dz
0 |C (y)| C+
(y)
A funo f+ nica a menos de um conjunto de medida Hn1 BR nula.
Interpretaremos f+ como o valor de fronteira de f sobre BR
Ento lim fj + = f+ em L1 (B R )
j
Proof: Usando (3.9) e a frmula da coarea temos para 0 < < R e Q = QR, ,
Z Z Z
1 +
dt |f (y) f(y, t)|dt |Df|
0
BR Q
CAPTULO 3. TEORIA DO TRAO PARA FUNES DE VARIAO LIMITADA56
Z
1
Se f (t) = f(y, t)dt, ento
0
Z Z
+
|f (y) f (y)|dy |Df| (3.14)
BR Q
para quase todos os . Agora basta tomar 0 e obteremos enfim o resultado desejado.
f1 em C+
R
f(x) =
f2 em C
R
Ento f BV(CR ) e Z Z
+
|f f |dH n1
= |Df| (3.16)
B R B R
Z Z
de modo que hg, Dfi = (f+ f )gn dHn1 para g C10 (CR : Rn )
BR BR
Ao aplicarmos a definio de Variao total as duas sentenas acima seguir o
resultado.
SR = { = (, w()); BR }
como
() = f+ (, w()) = g+ ().
onde
a normal unitria exterior a .
h
max |(y xn )| ,
|x y | 4
Portanto,
Z
n
|f(z) Tf(x)|dy
Z (x)
B Z
C n1 C
|Tf Tf(x)|dH |Tf(y , (y ))|dy
+ n
n1 B (x)Z B(x,)
C
o(1) + n1 |Df| = o(1) quando 0
C(r)
e os traos f+
j = f para todo j em .
+
CAPTULO 3. TEORIA DO TRAO PARA FUNES DE VARIAO LIMITADA60
Z
n
lim |f(z) f|
A (x)|dz para x A H
n1
quase sempre
0 Br ho(x)A
Z
n
lim |f(z) f|+
A (x)|dz para x A H
n1
quase sempre
0 Br ho(x)A
Df = (f|+
A f|A )dH
n1
Ento F| +
A = f|A e F|A = 0 e por (3.19)
Z Z Z
|Df| = |Df| + |(f|
A )|dH
n1
A A
Per(E B , BR ) = Per(E, BR (E B ), BR )
= Per(E, BR B ) + Hn1 (B E)
Z Z
|f|dz ||dHn1 (3.23)
C+
R BR
Z Z
|Df|dz (1 + ) ||dHn1 (3.24)
C+
R BR
Proof: Seja {k } C (BR ) tais
que k em L (BR ). Assuma que 0 = 0 e
1
X
kk k 2kk e kk k+1 k 1 + kk, onde k . k denota a norma em L1 (BR ).
k0
2
Seja {tk } uma sequncia decrescente de nmeros reais convergindo a zero. Para z =
(x, t) ponha
0 se t > t0
f(z) = f(x, t) = t tk+1 tk t
k (x) + k+1 (x) se tk1 < t < tk
tk tk+1 tk tk+1
Com A = A().
Captulo 4
A Fronteira Reduzida
Contedo
4.1 Fronteira Reduzida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.1.1 O Lema de Gauss-Green . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.1.2 Densidade no sentido da medida terica . . . . . . . . . . . . . . . . . 67
4.2 Blow-up da Fronteira Reduzida . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.3 Semi-Espao Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
0 < |E e >0
e B(x, )| < wn n 1 x E (4.1)
e
E1 = {x Rn ; > 0 com |E B(x, )| = |B(x, )| = wn n }
Seja x E0 , ento existe > 0 tal que |E B(x, )| = 0. Seja agora y B(x, ),
tomando 0 = |x y| > 0 tem-se B(y, 0 ) B(x, ) e |B(y, 0 ) E| = 0. Assim
B(x, ) E0 e segue que E0 aberto. De modo anlogo se verifica que E1 aberto.
Afirmao: |E0 E| = 0 e |E1 E| = 0.
Vejamos: Para cada x E0 escolha > 0 tal que |E B(x, )| = 0. Ento
{B(x, ); x E0 }
forma uma cobertura por meio de abertos de E0 e assim existe uma sequncia {xi } em E0
tal que
[
E0 B(xi , i )| e |E B(x, i )| = 0
i1
e portanto
[
|E0 E| | B(xi , i ) E| = 0
i1
Observao 4.1. Tendo em vista a Proposio (4.1) poderemos assumir que um conjunto
de permetro finito um representante dessa classe; logo satisfaz a desigualdade (4.1).
Assim no haver ambiguidade em falarmos em fronteira topolgica E de um conjunto
de permetro finito E; tendo em vista nossas consideraes sobre conjuntos mensurveis
modificaes em conjuntos de medida nula no tero influncia.
1 e tem densidade uniformente positiva
De fato como veremos mais adiante o conjunto E
CAPTULO 4. A FRONTEIRA REDUZIDA 65
Agora nos introduziremos um conceito devido a Ennio De Giorge2 a qual faz referncia
a um subconjunto particular da fronteira de um conjunto de Caccioppoli, est ser
conhecida como fronteira reduzida e ser denotada por E. A importncia deste est
intrinsecamente ligada em teoria dos permetros, ou estudo de conjuntos de Caccioppoli, ao
estudo da regularidade da fronteira de conjuntos minimizantes , conjuntos minimais. Para
os prximos captulos nosso objetivo se concentrar em mostrar que para um conjunto
minimizante E, a fronteira reduzida E uma variedade (n 1)dimensional, analtica,
de classe C1, . Ao final daremos uma estimativa para o tamanho do conjunto singular
E E, ou seja, segundo o nosso contexto, sua dimenso de Hausdorff.
|E (x)| = 1 (4.4)
DE = |DE |
B(x,r)
v(E)
E
Observao
Z 4.2. De acordo com o Teorema da diferenciao de Lebesgue-Besicovitch
temos |DE | = 0 (Veja por um instante Wheeden- Zygmund [86])
Rn E
para r > 0 L1 quase sempre, aqui denota o vetor normal unitrio exterior Br (x)
Proof: Assuma que h : Rn R diferencivel, ento
Z Z Z
div(h)dy = hdivdy + Dh.dy
E E E
onde
1 se 0 s r
g (s) = rs+
, se r s r +
0, se s r +
CAPTULO 4. A FRONTEIRA REDUZIDA 67
E dessa forma
0 se |y x| < r ou |y x| > r +
Dh (y) =
yx , se r < |y x| < r + .
|yx|
Hm (B(x, ))
m (A, x) = lim
0 wm m
Figura 4.2: O cone {x2 + y2 = z2 } tem densidade 1 em quase todo ponto exceto no vrtice, o
qual tem densidade 2.
h (h2 +2)
Figura 4.3: O grfico da funo u, a qual assume valores 2h no intervalo (2h , 2 h2 +1
), e 0
nos demais pontos. Sua densidade na origem zero.
CAPTULO 4. A FRONTEIRA REDUZIDA 69
DE = dHn1 em E
onde a normal unitria interior E. Alm disso pelo Lema (2.2) segue que
spt(DE ) E e dessa forma
Z Z
DE = dHn1
B(x,) B(x,)E
e dessa forma Z
dHn1
B(x,)E
(x) =
H (B(x, )
n1 E)
Z
DE
B
|(0)| = Z q>0
|DE |
B
Z
0 < C3 (n, q) 1n
|DE | C4 (n, q), (4.8)
B
Z Z Z
0= EB = DE +
E dHn1
D B B
Por outro lado, para todo < , pela hiptese segue que
Z Z
1
|DE | DE
B q B
Portanto, Z
1 n1
|DE | H (E B ) C4 n1
B q
para quase todo < e pelo Teorema de Semicontinuidade Inferior (2.3.3) a mesma
se dar para todo < . Isto prova a segunda parte de (4.8). Por (3.20) se puzermos
E = E B ter-se- para todo
Z
Per(E ) = Per(E, B ) + E dHn1
B
e assim g() absolutamente contnua, uma vez que possui uma primitiva segundo o
CAPTULO 4. A FRONTEIRA REDUZIDA 72
Ento segue disto juntamente com o fato que g() > 0 se > 0 que
1 1
g () g()1 n , <
C6
e assim n
g()
nC6
provando (4.6).
A prova de (4.7) similar bastando para tanto notar que Rn E = 1 E . Agora
somente nos resta provar a desigualdade do lado esquerdo de (4.8). Mas, esta segue do
que j fora provado, ou seja, (4.6), (4.7) e da Desigualdade Isoperimtrica (2.1).
Note que em particular, se 0 E o nmero do Lema acima existe.
Observao 4.7. A interpretao do Lema acima consiste em dizer que sendo (0), 0
E, respectivamente (x), x E no degenerado, ento os pontos de E tem densidade
positiva, alm disso, as sentenas (4.6) e (4.7) do uma estimativa do percentual dessa
densidade no interior e no exterior do conjunto E B . A ltima sentena denota o
Permetro de E normalizado em B , e, este pelo resultado acima limitado.
T (z) = {x Rn ; h(z), x zi = 0}
e os conjuntos
T + (z) = {x Rn ; h(z), x zi > 0}
Ento quando t 0+ o conjunto Et converge para T + (0) e mais ainda, para todo
conjunto A tal que Hn1 (A T (0)) = 0
Z Z
lim |DEt | = |DT + | = Hn1 (A T (0)) (4.9)
t0 A A
Proof: Pelo mesmo raciocnio empregado no Lema anterior (4.2) podemos supor sem
perda de generalidade que
e assim
T + = T + (0) = {x Rn ; x1 < 0}.
suficiente agora mostrarmos que para toda sequncia {tj } 0 possui uma
subsequncia {sj } tal que Esj T + , e se denotarmos Ej = Esj , ento
Z Z
|DEj | = |DT + |
A A
Z Z
|DEt | = t 1n
|DE |, (4.11)
B Bt
CAPTULO 4. A FRONTEIRA REDUZIDA 74
Z
Di E t
B
lim Z = 0 i = 2, 3, . . . , n. (4.13)
t0
|DEt |
B
|DC | + D1 C = 0
e dessa forma Di C = 0 i = 2, . . . , n.
Portanto C s depende de x1 e alm disso a mesma uma funo no-decrescente
nesta varivel. Isto nos fornece a existncia de um R tal que C = {x Rn ; x1 < }
CAPTULO 4. A FRONTEIRA REDUZIDA 75
a qual contradiz (4.6). De modo anlogo se > 0, isso levar a uma contradio com
(4.74.6). Assim, = 0, C = T + e dessa forma
Z Z
|DT + | = lim |DEj | (4.17)
B j B
Escolha tal que A B no qual (4.17) seja verificado; ento pela Proposio
(Semicontinuidade Superior) (2.1) nos obtemos a equao (4.9).
Nota 4.1. Ns descreveremos esse resultado por dizer que: o Blow up de E em 0 produz
o semi-espao {x; xn > 0}, cuja fronteira ortogonal ao vetor (0) = (0, ..., 0, 1). Neste
sentido diremos que o plano {x; xn = 0} tangente a E em 0.
CAPTULO 4. A FRONTEIRA REDUZIDA 76
Ento:
Z
lim 1n
|DE | = wn1 , (4.18)
0+ S,
lim n |E B T | = 0, (4.19)
0+
wn
lim+ n |B E T + | = , (4.21)
0 2
onde wn1 a medida da bola unitria em Rn1
Proof: De (4.11) segue que
Z Z
1n
|DE | = |DE |
B B1
e similarmente Z Z
1n
|DE | = |DE |
S, S1,
n |E B T | = |E B1 T |
CAPTULO 4. A FRONTEIRA REDUZIDA 77
lim |E B1 T | = |T + B1 T | = 0.
0
|B E| |B(x, ) e T + (x)| 1
lim inf lim+ = .
0+ |B | 0 |B(x)| 2
|B E| 1
Similarmente, lim inf e consequentemente,
0+ |B | 2
|B E| |B E| 1
lim+ = lim+ =
0 |B | 0 |B | 2
v(E,x)
T+(x)
x
T(x)
E
T(x)
Figura 4.7: O conjunto H1 rectificvel na figura tem dendidade 1 na origem, e sua linha
tangente o eixo dos x.
CAPTULO 4. A FRONTEIRA REDUZIDA 78
Observao 4.8. Um vetor unitrio E (x) para o qual (4.19) e (4.20) se verifivam (com
T (x) como definido acima) denotado medida terica da normal exterior a E em
x.
|(E T ) B |
lim = 0.
0 |B |
Z
Dado que E suave, |DE | = Hn1 (E S, ) e tambm Hn1 (T (0) B ) =
S,
n1 wn1 . Dessa forma (4.18) nos fornece que ao tomarmos suficientemente pequeno
poderemos assegurar que a maior parte de E encontra-se na faixa S, e quase corresponde
ao hiperplano T (0).
Finalmente (4.21) implica que a densidade n (E, x) em um ponto x E igual
a 12 , ou seja, feito o procedimento de blow-up nos pontos de E, em bolas suficientemente
pequenas, E quase flat, isto , o semi-plano T + na bola fatia (divide) o conjunto
E em duas partes exatamente iguais,e , E quase no se distingue de T + nessa bola
suficientemente pequena.
Captulo 5
Regularidade da Fronteira Reduzida
Contedo
5.1 Resultados preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5.1.1 A classe n1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.2 O Teorema Estrutural . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
5.2.1 Conjuntos contavelmente rectificveis e puramente no-rectificveis . . . 86
5.4 A medida Terica da fronteira e o Teorema de Gauss-Green . . . . . . . . . . . 97
5.4.1 Medida Terica da Fronteira . . . . . . . . . . . . . . . . . . . . . . . 97
5.4.2 Teorema de Gauss-Green generalizado . . . . . . . . . . . . . . . . . . 98
5.3 Regularidade C1 da Fronteira Reduzida . . . . . . . . . . . . . . . . . . . . . 90
5.3.1 Representao localmente Lipschitz de E . . . . . . . . . . . . . . . . 93
5.4.3 Comentrios sobre Densidade-Rectificabilidade de conjuntos . . . . . . . 100
O objetivo deste captulo ser estabelecer uma das mais relevantes propriedades
da fronteira reduzida E: a mesma pode ser escrita , salvo um conjunto de
medida |DE |nula , como uma reunio enumervel de subconjuntos compactos de
hipersuperfcies C1 (Teorema Estrutural para conjuntos de Caccioppoli) tal resultado
devido Ennio De Giorgi. Como tambm nesse mesmo resultado mostraremos que E
denso em E e que
Z
|DE | = Hn1 ( E ) (5.1)
para tanto comearemos por estabelecer a razo enter esses dois termos em (5.2).
Alm disso c(n) pode ser efetivamente calculada, ou seja, segundo a nossa construo
c(n) = 2.3n1
Proof: Sejam , > 0. Sendo |DE | uma medida de Radon, existe um conjunto aberto
A tal que B A e Z Z
|DE | |DE | + .
A B
Do Teorema (4.3.1), equao (4.18), para cada x B existe um nmero = (x) > 0
tal que B(x, ) A, < e
Z
1
|DE | wn1 n1 .
B(x,) 2
Pelo Lema de Recobrimento de Vitali (3.1), podemos tomar uma sequncia {xi } B
tal que, se i = (xi ),
[
B B(xi , 3i ) e B(xi , i ) B(xj , j ) = para i 6= j.
i1
Se usarmos que B(xi , i ) A e tais bolas so duas a duas disjuntas, vem que
X Z Z Z
n1 2.3n1 X 2.3n1 2.3n1
(3i ) |DE | |DE | { |DE | + }
i1
wn1 i1 B(xi ,i ) wn1 A wn1 B
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 81
Observao 5.1. Acabamos de mostrar no Lema (5.1) acima que Hn1 uma medida
absolutamente contnua com respeito a medida de Radon |DE |. Ao final do Teorema
Estrutural (5.2.1) estar demonstrado a recproca dessa afirmativa.
5.1.1 A classe n1
Definio 5.1. n1 a classe de todos os conjuntos H Rn tal que existe um conjunto
aberto A contendo H e uma funo C1 f : A R tal que
f(x) = 0 e Df(x) = v 6= 0 em H.
ii. Seja H agora qualquer curva sobre a esfera Sn1 = {x Rn ; |x| = 1}. Definamos
a funo f : Rn R dada por f(x) = |x|2 1. Logo f C1 (Rn ) e a mesma satisfaz
f(x) = 0 e Df(x) = 2x 6= 0 em H
H
1
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 82
Estes exemplos vem esclarecer que a classe de conjuntos n1 deve conter conjuntos
de dimenso topolgica no mximo n 1, pois do contrrio a obteno de tais funes f
satisfazendo as hipteses acima seriam improvveis. Por essa razo se adotara a notao
sugestiva n1 .
O prximo teorema dar uma maneira eficaz de determinar quando um conjunto est
em n1
Teorema 5.1.1. (De Giorgi) Seja C um conjunto compacto e suponha que existe uma
funo contnua a valores vetoriais : C R tal que 6= 0 e
[
E = Ci N (5.4)
i1
Z
onde N um conjunto |DE |-negligencivel, ou seja, |DE | = 0 e cada Ci n1
N
compacto; De fato cada Ci Si , onde Si ser uma subvariedade (n 1)dimensional, ou
seja, uma hipersuperfcie, com |Si normal e contnuo.
Alm disso, para todo conjunto B E
Z
|DE | = Hn1 (B). (5.5)
B
Z
Per(E, ) = |DE | = Hn1 ( E ), (5.6)
E = E (5.7)
se verificam aps uma translao adequada. Pelo teorema de Egoroff, podemos escolher
conjuntos |DE | mensurveis {Fi }i1 tais que
[
|D|(
E Fi ) = 0, |D|(Fi ) <
i1
ocorre convergencia em (5.8) uniforme para x Fi (i = 1, ...)
Alm disso pelo Teorema de Lusin, para cada i podemos escolher conjuntos compactos
{Eji }j1 tais que
[ j
|D|(Fi Ei ) = 0 e
j1
tem se j continua.
|E i
Por uma simples re-indexao, podemos dizer que {Eji } = {Ck }. Ento
[
E = Ck N, |D|(N) = 0,
k1
(5.9)
ocorre convergencia em (5.8) uniforme em Ck , e
tem se
|Ck continua para (k = 1, ...).
Tal construo demonstra a primeira parte de (5.4) e somente nos resta mostrar que
Ci n1 e que existem {Si }iN tais que Ci Si com |Si normal Si .
Defina para > 0
|h(x), y xi|
k () sup ; 0 < |x y| , x, y Ck
|y x|
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 84
n
|E B(z, ) T (z)| < n+2 wn n e
2 n (5.10)
+ wn n wn n n 1 n
|E B(z, ) T (z)| > = wn .
2 2n+2 2 2n+2
h(x), x yi |x y|.
logo B((x), |y x|) T (x) como claramente B((x), |y x|) B(x, 2|x y|) segue
tal incluso.
Em contrapartida, dado que |x y| < , (5.10) com z = x implica que
n n wn
|E B(x, 2|x y|) T + (x)| < w n (2|x y|) n
= |x y|n , (5.12)
2n+2 4
(5.8) encontraremos uma estimativa (desigualdade) contraditria com (5.9) e (5.10), pois
obtemos que
n wn |x y|n
|E B(x, 2|x y|) T (x)| < < |E B(y, |x y|)|,
4
h(x), x yi > |x y|
De um modo similar podemos provar tambm que h(x), x yi < |x y| e assim fica
demonstrado nossa afirmao. Pelo Teorema anterior C1 n1 .
Usando as mesmas tcnicas empregadas no raciocnio acima podemos provar que Ci
n1 para i = 2, 3, ...
Agora pelo Teorema da Extenso de Whitney (Veja Apndice) aplicado f = 0 e d =
em Ck existem funes de classe C1 , fk : Rn R tais que
fk = 0 em Ck
Dfk = em Ck .
Seja Sk = x Rn ; fk = 0, |Dfk | > 12 (k = 1, ...)
Pelo Teorema da Funo Implcita Sk uma subvariedade (n 1)dimensional de
classe C1 . Claramente se tem Ck Sk , e, isto finaliza a prova de (5.4).
Para a demonstrao de (5.5) comece observando que pelo Lema (5.1)
2.3n1
Hn1 (B Ci ) 2.3n1 |DE |(B Ci ) <
i
(B(x, ))
lim Z = 1 para cada x B.
0
|DE |
B(x,)
n
X n
X
f(y) := yi ei + ( yi ei ) , f : Rk
i=1 i=1
portanto x1 = x2 implicando que x1 = x2 . Isto prova que para qualquer y (S) existe
um nico z tal que y + z S; Ao tomarmos z = (y) obteremos que a constante de
Lipschitz de no excede M. A implicao recproca trivial.
Nota 5.1. Saliente que existe uma dicotomia entre conjuntos rectificveis e puramente
no-rectificveis. Precisamente falendo, para qualquer subconjunto A Rn
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 89
A = B C, B C = ,
e finalmente
E = E (5.17)
ou seja, E denso E
1
O Princpio de maximalidade ou maximal de Hausdorff uma consequncia do axioma da Escolha,
o mesmo fora publicado pela primeira vez em um artigo em alemo de 1909, o qual no causou grande
comoo em seu primeiro momento, seno at 1935 quando Max Zorn o publicou novamente:
Se em um conjunto parcialmente ordenado toda cadeia limitada superiormente, o conjunto tem um
elemento maximal.
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 90
Observao 5.3. A interpretao do Lema acima nos diz que possvel ter uma
representao integral mais fraca da Frmala da Corea desde que B(z + t, )
estritamente, para todo 0 < t < , para algum > 0 inicialmete obtido. Tal
representao classicamente conhecida para variedades C ou mesmo para conjuntos 1
para x |DE |quase sempre. Suponha que z E e k > 0 tal que o segmento
[z, z + k] . Ento z + k interior a E.
Proof: Suponha por contradio que exista um z E e um k > 0 tal que [z, z +
k] , mas [z, z + k] no interior a E. Mostraremos primeiro que [z, z + k] E.
Suponha existir um ponto z+t E; ento escolha > 0 tal que B(z+, ) E.
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 92
Z
O Lema (4.2) asseguram que |D E | > C3 n1 para cada 0 < t < k e cada
B(z+t,)
0 < 0 . Agora de (5.18), (5.19) e da sentena acima temos
Zk Z
|E B(z + k, )| |E B(z, )| = dt D E kpC3 n1 .
0 B(z+t,)
kpC3
wn
Observao 5.4. Se a hiptese do lema verificada para k < 0 em vez de k > 0, ento
o mesmo argumento mostra que z + k est no interior de Rn E.
O Lema acima nos diz que se existir um vetor Rn que faz um ngulo positivo com
o normal exterior (no sentido geomtrico da medida) e um ponto z E e k > 0 de
sorte que o segmento [z, z + k] ento possvel se deslocar na direo de sem sair
do conjunto E, ou seja, teremos nessas circunstncias z + k int(E), e, analogamente
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 93
para alguma constante fixada q e x |DE |quase sempre. Ento existe um conjunto
aberto A Rn1 e uma funo f : A R tal que
Alm disso,
p
|f(x) f(y)| q1 1 q2 |x y| x, y A. (5.21)
n1
X p
D E = n Dn E + i Di E (n q (1 n 2 )(1 q2 ))|DE |.
i=1
p
Segue portanto que se n > (1 q2 ) poderemos concluir pelo Lema (5.3) anterior
que, para todo z E , pontos em da forma z + t com t > 0 pertencem ao interior
de E , e, aqueles da forma z t pertencem ao interior de Rn E. Em resumo, para todo
z E , a interseo de com o cone
" n1 # 12
p X
C= x Rn ; (xn zn ) > q1 (1 q2 ) (xi zi )2
i=1
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 94
n (x) 1
2 2 1
para x B |D|quase sempre, onde = < , 0 < 2 < 1 e suponha que
1 2
E B 6= . Ento, se f e A so como no Teorema (5.3.1) anterior,
A B(1) (5.22)
e
|f(y)| , |Df(y)| y B(1) (5.23)
2
2
Geometricamente uma funo f Lipschitz contnua quando possivel em cada ponto f(x) de seu
grfico colocarmos um cone de vrtice nesse ponto de sorte que o grfico da funo no visita o epigrafo
do cone, em outras palavras, o grfico da funo se encontra totalmente no exterior do cone.
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 95
Proof: Temos
p p 2
1
q (1 q2 ) = (1 )1 2 2 =
1 2
|f(y)| |f()| + |f(y) f()| < + (|y| + ||) < + ( + ) = + +
2 2 2 2
Porm, = 2, de modo que
|f(y)| ( + 2)
dado que ( 2) 0 pela escolha de .
Dessa forma somente nos resta demonstrar (5.22). Naturamente, pela condio sobre
, + < 1 < (1), e assim B B(1) . Se um ponto em A determinado
como acima, ento AB logo AB(1) 6= . Agora para finalizar a demonstrao
de (5.22) basta mostrar que A B(1) = . Suponha que y A; ento naturalmente
por (5.20) e (5.21) necessariamente temos (y, f(y)) B e segue que |y| + |f(y)| .
Porm pela estimativa acima
|f(y)| ( + 2)
e dessa forma
|y| (1 + 2 ) > (1 )
ento se E aberto
E = {(y, t); y A, t > f(y)}.
Alm disso, como f uma funo Lipschitz contnua, a mesma diferencivel quase
sempre em A pelo Teorema de Rademacher (Veja Apndice) e assim semelhantemente ao
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 96
exemplo (4.3) (i), (x) ser normal superfcie em quase todos os pontos e
Di f(y) 1
i (x) = p i = 1, ..., n 1 n (x) = p
1 + |Df(y)|2 1 + |Df(y)|2
i (x)
Di f(y) = ,
n (x)
onde x = (y, f(y)). Portanto a derivada de f coincidir em quase todos os pontos com
uma funo contnua e assim f ser necessariamente uma funo de classe C1 .
i. Supondo tambm que (Br (x)) rn1 para algum > 0 e para x spt(). Ento
u Lipschitz no interior de B1 ;
ii. Se rn1 (Br (x)) rn1 para , > 0 e x spt(). Ento o conjunto
{x B1 ; u(x) > 0} tem permetro localmente finito no interior de B1 , ou seja, o
mesmo um conjunto de Caccioppoli.
iii. Pode-se dar uma estimativa aproximada de Hn1 ( {u > 0} B 1 ) do item anterior,
2
Lema 5.4. i. E E
ii. Hn1 ( E E) = 0
Proof:
|Brj (x) E|
= .
wn rnj
|Br (x) E|
Imediatamente, temos lim = 1 . Dessa forma
r0 wn r n
Z
Uma vez que j sabemos que |DE | = 0, um argumento usual de recobrimento
Rn E
fornece que
Hn1 ( E E) = 0
ii. Alm disso, para x E Hn1 quase sempre,existe uma nica medida terica da
normal exterior E (x) tal que
Z Z
divdx = .E dHn1 (5.24)
E E
Z
Contudo sabemos que |DE | = 0, segue do Teorema Estrutural (|DE | = Hn1 E)
Rn E
e do Lema anterior (Hn1 ( E E) = 0) que |DE | = Hn1 E. Como |DE | uma
medida de Radon segue portanto em particular que Hn1 ( EK) < para cada compacto
K Rn , e isso demonstra a assero (i).
Para finalizarmos basta notar que (5.24) segue do Lema anterior, dado que E E
e a medida terica da fronteira de E tem medida total Hn1 em E.
CAPTULO 5. REGULARIDADE DA FRONTEIRA REDUZIDA 99
Hn1 (K E) <
1
Em particular, E tem densidade 0 ou 2
ou 1 em x Hn1 quase sempre e x E
Hn1 quase sempre pertence a E.
Proof: Veja Ziemer [11] pag. 158.
Nota 5.5. Segue do Teorema de Federer acima (5.4.3) que para conjuntos de permetro
1
finito, ambos E e E 2 podem ser usadas no lugar de E na frmula de Gauss-Green, e,
teremos:
1
Per(E; ) = Hn1 ( E) = Hn1 ( E 2 )
Teorema 5.4.7. (Besicovitch - Marstrand -Mattila) Seja E B(Rn ) com Hk (E) <
. Ento, E Hk rectificvel se e somente se k (E, x) = 1 para x E Hk quase
sempre.
Proof: Veja Ziemer [11] pag. 83.
Captulo 6
Algumas Desigualdades
Contedo
6.1 Alguns Lemas Tcnicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
6.1.1 O Desvio de Minimalidade . . . . . . . . . . . . . . . . . . . . . . . . 102
Z
(f, ) = |Df| (f, )
CAPTULO 6. ALGUMAS DESIGUALDADES 103
Portanto, Z
(f, ) = |Df| (f, ) = 0
Definio 6.2. Diremos que um conjunto E, com permetro finito em um conjunto aberto
Rn , (K, )minimal em se
A definio acima nos informa que conjuntos (K, )minimais em so queles cujo
desvio de minimalidade controlado superiormente em qualquer bola, por um mltiplo
do raio da mesma (uma constante adequada), tal desvio no-decrescente e o mesmo
infinitesimal em 0.
Obviamente os conjuntos de fronteiras mnimas, conjuntos minimais, so
(K, )minimais para todo K 0 e 0 dado que os mesmos como argumentamos
acima satisfazem (E, ) = 0
Mais geralmente, se a fronteira de E tem curvatura mdia HE Lp () com p > n,
ento E
n
||H|| Lp () ,1 p
-minimal
Para mais detalhes e informaes sobre fronteiras mnimas com curvatura mdia prescrita
consulte Massari-Miranda [26] ou Massari [57].
Observe que utilizamos na ltima igualdade a definio da funo (x). Agora, ao nos
restringirmos a funo h a fim de que a mesma Z obedea |h(x)| 1 teremos dessa forma
que |(x)| 1, ento mediante a definio de |hg, Dfi| teremos
A
Z Z
+ n1
h(x)[f (rx) f (x)]dH |hg, Dfi|
B1 Br B
assim
Z Z
h(x)[f (rx) f (x)]dH n1
|hg, Dfi| (6.2)
B1 Br B
para quaase todo < r. Logo ao tomarmos qualquer < r, poderemos escolher uma
sequncia {j } tal que j , dessa forma a sentena (6.2) se verifica para cada j
e f (j x) f (x) convergindo em L1 (B1 ). Ao tomarmos o limite quando j
obteremos a sentena (6.2) para todo < r. Agora para finalizarmos o Lema basta
tomarmos o supremo sobre todas as funes h tais que |h| 1 e enfim obteremos o
resultado desejado.
CAPTULO 6. ALGUMAS DESIGUALDADES 105
Lema 6.2. Sejam f BV(BR ), < R e {j } uma sequncia tal que j e j ento
lim (f, j ) = (f, )
j
(6.3)
lim (f, j ) = (f, )
j
Logo Z Z Z Z
|Dgj | = |Dgj | |Df| (f, ) |Df|
Bj B B Bj B Bj
e dessa forma
lim inf (f, j ) (f, )
j
Portanto, (f, ) lim sup (f, j ) lim inf (f, j ) (f, ), e assim segue que
j j
mostrando que uma funo de conjunto contnua. Da mesma forma, dado que
CAPTULO 6. ALGUMAS DESIGUALDADES 106
Z
(f, ) = |Df| (f, )
Z
e de conhecimento que |Df| uma funo de conjunto contnua, segue juntamente do
mostrado acima que
lim (f, j ) = (f, ),
j
Proof: Uma vez que a sentena (6.4) simtrica com respeito as funes f e g
suficiente mostrarmos que
Z
(f, ) (g, ) |f g |dHn1
B
Z Z Z Z
(g, ) |Dgj | = |D| + |Dg| + |f g|dHn1
B
ZBj Z B Bj Z Bj
|D| + |Dg| + |f g|dHn1
B B Bj Bj
Z Z
(f, ) + + |Dg| + |f g|dHn1
B Bj Bj
Lema 6.4. (De Giorgi) Sejam f BV(BR ) e 0 < < r < R. Ento
Z
2 Z
x
, Df 1n
|x| |Df|
n
Br BZ |x| Z Br B Zr
(6.6)
1n 1n n
r |Df| |Df| + (n 1) t (f, t)dt
BR B
Z Z
12
t hx, Dfi2
|Dft |dx = |Df| 1 2 dHn1
Bt n1 Bt |x| |Df|2
e portanto
Z Z
(f, t) = |Df| (f, t) |Dft |
Z Bt Bt Z
t n1 t hx, Dfi2
|Df|dH dHn1 .
n 1 Bt 2(n 1) Bt |x|2 |Df|2
CAPTULO 6. ALGUMAS DESIGUALDADES 108
e
Z Z
1 1n hx, Dfi2
t dHn1 t1n |Df|dHn1
2 Bt |x|Z2 |Df| Bt
n
(n 1)t |Df|dx + (n 1)tn (f, t) =
Z Bt
d
= t 1n
|Df|dx + (n 1)tn (f, t).
dt Bt
Z Z Z Zr
1 hx, Dfi2
dx r1n |Df|dx 1n
|Df|dx + (n 1) tn (f, t)dt
2 Br B |x|n+1 |Df| BR B
Ao escrevermos a sentena (6.6) para as funes fk e observando que, pelo Lema (6.3),
(fk , t) (f, t), v-se que a sentena (6.6) se verifica para f BV(BR ) e quase todo
, r. A fim de verificar a validade da sentena (6.6) para todo e r basta utilizar um
argumento de aproximao via sequncias no-decrescentes {j } e {rj } r, e, isso
finaliza nossa demosntrao.
Observao 6.5. Da sentena (6.6) segue que para todo < r tem-se,
Z Z Zr
1n
|Df| r 1n
|Df| + (n 1) tn (f, t)dt (6.7)
B BR
CAPTULO 6. ALGUMAS DESIGUALDADES 109
Z
1n
Portanto |Df| uma funo no-decrescente na varivel
B
Z
onde (t) = |Df|dx. Ao integramos por partes e estimando a mesma obteremos
Bt
Zr Z Zr Z
1n 1n n
t (t)dt r |Df|dx + (n 1) t |Df|dx dt
Br Bt
Zr Z Z Zr Z
n r 1n dt r n
t dt |Df|dx r log |Df|dx + (n 1) s (f, s)ds =
Bt Z B t Zr t t
r s
1n
r log |Df|dx + (n 1) sn log (f, s)ds.
Br
do qual a sentena (6.9) segue diretamente ao juntarmos estas duas ltimas desigualdades.
CAPTULO 6. ALGUMAS DESIGUALDADES 110
Proposio 6.1. (De Giorgi) Sejam f BV(BR ) e 0 < < r < R, ento
Z Z 2 Z
1n r
r Df 1n
Df 2r 1n
1 + (n 1)log |Df|+
Br Zr B
Br
s
+2(n 1)2 sn log (f, s)ds (6.10)
Z Z Zs
1n 1n n
r |Df| |Df| + (n 1) s (f, s)ds
Br B
Proof: A sentena (6.10) uma consequncia imediata das sentenas (6.1), (6.6) e
(6.9), bastando para tanto notar que da Observao (3.6) temos,
Z Z Z
x
Df = f (x) dHn1 = t1n f (tx)xdHn1
Bt Bt |x| B1
e portanto
Z Z Z
1n
r Df 1n
Df |f (rx) f (x)|dHn1
Br B B1
Alm disso,
Z Z 2
1n
r DE 1n
DE
Br B
Z Z Z
(6.13)
r 1n 1n 1n
2 1 + (n 1)log r |DE | r |DE | |DE |
Br Br B
e
Per(E Bs , Br ) = Per(E, Br Bs ) + Hn1 (Bs (Rn E))
para quase todo s. Agora se escolhermos uma sequncia {sj } tal que a desigualdade acima
se verifica e sj s quando j , obteremos
Z
1
|DE | = (E, r) nrn1 wn . (6.14)
Br 2
Proposio 6.2. Suponha que (E, ) = 0 e tome x0 E. Ento para todo r <
dist(x0 , E) teremos:
rn
|E B(x0 , r)| (6.17)
2nc1 (n)
onde c1 (n) a constante isoperimtrica do Corolrio (2.1).
CAPTULO 6. ALGUMAS DESIGUALDADES 112
e dessa forma Z Z
|DE | E dHn1
B
d 1 n1
|E | |E | n
d 2c1 (n)
Captulo 7
Aproximao de conjuntos minimais
Contedo
7.1 O Lema de decaimento de De Giorgi . . . . . . . . . . . . . . . . . . . . . . . 114
7.1.1 O Desvio de Planridade (Flatness) - O excesso de rea . . . . . . . . . . 114
7.1.2 A Filosofia do Lema de Decaimento de De Giorgi . . . . . . . . . . . . 120
7.2 Superfcies Mnimas e Harmnicas . . . . . . . . . . . . . . . . . . . . . . . . 121
7.2.1 Comentrios sobre Espaos de Campanato . . . . . . . . . . . . . . . . 121
7.2.2 O lema de decaimento de De Giorgi para superfcies harmnicas . . . . . 122
7.3 Aproximao de conjuntos de Caccioppoli . . . . . . . . . . . . . . . . . . . . 131
ento Z Z Z Z
(CDG) |DE | DE < n
|DE | DE
B B B B
Esclarecemos que a demonstrao deste somente ser exposta no captulo 8 que trata
de Regularidade de Superfcies Mnimas.
isso nos mostra que o valor (E, ) a medida de quanto o vetor normal varia e por
conseguinte o Lema de De Giorgi nos informa sobre tal variao, com efeito a Condio
de De Giorge (CDG) exige que tal variao, (E, ), seja menor do que uma constante
suficientemente pequena (n, ). Tais resultados sobre vetores normais j nos foram teis,
como por exemplo no Teorema de Regularidade de Hipersuperfcies (Teorema (5.3.1)).
Justamente como (f, ) era um ndice de minimalidade, asssim (E, ) um ndice
de planaridade (ser suave localmente - flatness): claramente se E plano na vizinhana
de qualquer um de
Z seus pontos
Z (assim poderemos assumir que BT = {x BT ; xn = 0}),
ento (E, ) = |DE | Dn E = 0
BT BT
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 115
Figura 7.1:
BT = {x BT ; xn = 0}.
Figura 7.2:
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 116
ii. Para o Cone de Simons C = {x21 + ... + x24 < x25 + ... + x28 } R8 temos
(C, 0, ) = 0
(C, 0, ) = const. > 0
A prxima proposio mostrar que alguns dos aspectos exibidos pelos exemplos
precedentes so na realidade de carter geral, mais precisamente
Alm disso,
(E, x, ) = o(1) x E. (7.2)
de onde se obtem
Z Z Z Z Z Z
|DE | DE = |DE | DF |DE | |DF |
B B B B B B
1
O epigrafo de o conjunto
|E (x)| = 1 (7.5)
Figura 7.4:
Ento 0 E, e
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 118
Z Z r() r
1
|DE | = 2 r(1 + )dr
ZB Z 0 Z4r
|D1 E | = |D2 E | = 0, |D3 E | = r2 ().
B B B
p
com r() = 12 { 1 + 42 1}. Uma checagem imediata fornece que
Z r() r
1
(E, 0, ) = 2 2 r(1 + )dr r2 () 0 quando 0, (7.8)
0 4r
e que existe Z
DE
B
E (0) = lim+ Z (7.9)
0
|DE |
B
Z Z
r
DE DE
B(x,s) B(x,) 12 n1
Z Z 2c (E, x, ) (7.12)
1
s
|DE |
|DE |
B(x,s) B(x,)
: (0, T ) B1 Rn satisfaz
r
|(s) ()| .g() s, ; 0 < s < < T, (7.13)
s
com g() = o(1). Note que (7.12) um caso especial de (7.13).
A condio (7.13) implica a existncia daquele limite, desde que tenhamos uma
hiptese quantitativa razovel, observada segundo a convergncia de g() a 0. Este
o caso, por um instante quando g() c , > 0.
Deduzimos das consideraes precedentes que quando o conjunto E, o ponto x E,
e os raios T > 0 so tais que:
Z
i. |DE | c1 n1 (0, T ), com c1 > 0, e
B(x,)
ento x E.
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 120
Z Z Z
2
|u uA | dx = 2
(|u| |uA | )dx 2
|u |2 dx R. (7.14)
A A A
ento,
Z Z Z
hDu, Dvidy = |Dv| dy 2
|Du|2 dy (7.16)
B B B
Z Z
|Du Dv| dy = 2
(|Du|2 |Dv|2 )dy (7.17)
B B
Z
(n+2)
r |Dv {Dv}x,r |2 dy (7.19)
Bx,r
aij wxi xj = 0
satisfaz Z s n+2 Z
2
|w {w}s | c1 |w {w}t |2
Bs t Bt
p hp p i (a2 b2 )2
2 2
a b 2 1+b .
2 2 2
1+a 1+b + (7.20)
4
p hp p i
a2 b2 2 1 + b2 . 1 + a2 1 + b2 (7.21)
Z
1
q= Dudx.
|B | B
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 123
X m
dVk
= |x|1 xi Di Vk = |x|1 kVk ,
d|x| i=1
e, a jhomogeneidade de Vj fornece
X m
dVj
= |x|1 xi Di Vj = |x|1 kVj ,
d|x| i=1
Portanto,
Z Z Z
1 m1 1
hDVj , DVk idx = k Vj Vk dH = j Vj Vk dHm1 .
B B B
Z
hDVj , DVk idx = 0
B
Mas,
XZ Z
2
|DVj | dx = (|Du|2 |q|2 )dx
j2 B B
ento Z Z
2 2 m+2
(|Du| |q| )dx (|Du|2 |q|2 )dx
B B
O prximo passo agora ser mostrar que se possuirmos uma sequncia de funes de
classe C1 cujos gradientes tendem a zero e as quais no diferem muito da funo harmnica
que lhe correspondente (no sentido que as reas das superfcies definidas so prximas)
ento poderemos provar uma deseigualdade similar a (7.22).
Lema 7.3. (De Giorgi) Sejam {wj } uma sequncia em C1 (B ), e {j } uma sequncia de
nmeros reais positivos. Para j N seja uj a funo harmnica em B tal que uj = wj
em B , e, para qualquer funo f C(B ) e qualquer r , seja
Z
1
{f}r = fdx
|Br | Br
Proof: Da expanso em Srie de Taylor de 1 + x sobre B2 temos
p p (A2 B2 ) (A2 B2 )2
1 + A2 1 + B2 = 3
2 1 + B2 8(1 + 2 ) 2
p p (A2 B2 )
1 + A2 1 + B2 (7.27)
2 1 + B2
e, se B2 < 1 tem-se
p p (A2 B2 ) (A2 B2 )2
1 + A2 1 + B2 (7.28)
2 1 + B2 2 1 + B2
Z q q
Z
1
1 + |Dwj |2 1 + |{Dwj } | dx q
2 [|Dwj |2 |(Dwj ) |2 ]dx
B 2
2 1 + |{Dwj } | B
(7.29)
Utilizando a definio dos {Dwj } segue que
Z Z Z
2 2 2
[|Dwj | |{Dwj } | ]dx = |Dwj {Dwj } | dx |Dwj {Dwj } |2 dx
B B B
e assim Z q q
lim sup 1
j 1 + |Dwj |2 1 + |{Dwj }|2 dx
j B Z (7.30)
1
lim sup 1
j |Dwj |{Dwj } |2 dx.
2 j B
2 1
|A B| 1+ |A C|2 + (1 + )|B C|2 > 0.
Portanto, para > 0 segue ao utilizarmos a desigualda acima que,
Z Z Z
2 1 2
|Dwj |{Dwj } | dx 1+ |Dwj Duj | dx + (1 + ) |Duj {Dwj } |2 dx
B B B
(7.31)
Pela propriedade das funes harmnicas
Alm disso,
Z Z Z
2 1 2
|Duj {Dwj } | dx (1 + ) |Dwj {Dwj } | dx + 1 + |Dwj Duj |2 dx
B B B
Z Z Z
2 m+2 2 2
|Dwj {Dwj } | dx (1 + ) |Dwj {Dwj } | dx + Q |Dwj Duj |2 dx
B B B
(7.32)
onde Q = Q(, , m)
Utilizaremos agora as sentenas (7.23), (7.24) e (7.25) para estimar o segundo termo
no lado direito da sentena (7.32). Assim, de (7.28) segue que
Z q q
1 + |Dwj | 1 + |{Dwj } | dx
2 2
B Z Z
1 2 2 2 2 2
p (|Dwj | |{Dwj } | )dx (|Dwj | |{Dwj } | ) dx
2 1 + |{Dwj } |2 B B
Mas,
(|Dwj |2 |{Dwj } |2 )2 |Dwj {Dwj } |2 (sup |Dwj | + |{Dwj } |)2 = mj |Dwj {Dwj } |2
B
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 127
e dessa forma
Z q q
Z
1 mj
1 + |Dwj | 1 + |{Dwj } | dx p
2 2 (|Dwj |2 |{Dwj } |2 )dx
2 1 + |{Dw } | 2
B j B
(7.33)
Das sentenas (7.33), (7.23) e (7.24) deduzimos que
Z
1
lim sup (|Dwj |2 |{Dwj } |2 )dx 2 (7.34)
j B
Z q Z q q
2 2
(|{Dwj } | |Duj | |)dx 2 1 + |{Dwj } | 2 1 + |{Dwj } |2 2
1 + |Duj | dx
B B
Z q Z q q
2
|Dwj Duj | dx 2 1 + |{Dwj } |2 1 + |Dwj |2 1 + |Duj |2 dx+
B Z q q B
mj 2 2
+ ( 1 + |Dwj | 1 + |{Dwj } | )dx
1 mj B
Portanto,
Z
lim |Dwj Duj |2 dx = 0
j B
Tal fato juntamente com as sentenas (7.34), (7.32) e (7.30) nos fornece que
Z q q
1
lim sup 1 + |Dwj | 1 + |{Dwj } | dx (1 + )2 m+2
2 2
j B
Se B Rm e w C(B ), definimos
Lema 7.4. (De Giorgi) Sejam {wj } uma sequncia em C1 (B ) e {j } uma sequncia de
nmeros reais positivos tais que
Z q q
1 + |Dwj | 1 + |(Dwj ) | dx ,
2 2 (7.35)
B
lim 1
j (Wj , Qj ) = 0. (7.37)
j
Veremos agora outro resultado similar aos anteriores, todavia o mesmo agora se refirir
a conjuntos de Caccioppoli, imporemos as condies apropriadas sobre tal resultados e
nos utilizaremos do lema precedente com m = n 1.
Lema 7.5. (De Giorgi) Sejam {Lj } uma sequncia de conjuntos de Caccioppoli em Rn ,
{j } uma sequncia de nmeros reais positivos e > 0 tais que
Z Z
|DLj | DLj j , (7.39)
B B
lim 1
j (Lj , ) = 0. (7.41)
j
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 129
Proof: Suponha que existam uma sequncia {Lj } e R para os quais as sentenas
(7.39), (7.40) e (7.41) se verificam, porm
Z Z
lim 1
j |DLj | DLj > n+1 . (7.43)
j B B
1
Podemos supor que jn (x) 2
x Lj B e j. Pelos Teoremas (5.3.1) e (5.3.2)
conclumos que existem conjuntos abertos Aj Rn1 e funes de classe C1 wj : Aj R
tais que
Lj B = {(y, t) Rn ; y Aj , t = wj (y)}
Alm disso, dado que sup |wj | , podemos assumir (via argumento de subsequncia,
Aj
se necessrio) que
Dessa forma mediante uma mudana de varivel e nos utilizando da Observao (5.6)
para j > j que,
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 130
Z Z
Di L j = Di wj dy i = 1, 2, ..., n 1,
(B R)B B
Z
Dn Lj = |B |,
(B R)B
Z Z q
|DLj | = 1 + |Dwj |2 dy.
(B R)B B
Portanto,
q Z
1
1 + |{Dwj } |2 = |DLj |
|B | (B R)B
Z q q Z Z
1 + |Dwj |2 dy 1 + |{Dwj } |2 dy |DLj | DLj j .
B B B
Z q q
1
lim sup 1 + |Dwj |2 1 + |{Dwj }() | dy n+1
2
(7.47)
j B()
Z Z Z q q
|DLj | DLj 1 + |Dwj |2 2
1 + |{Dwj }(+) | dy
B B B(+)
+
Em contrapartida se tomarmos = (para suficientemente pequeno) na
sentena (7.47) obteremos
Z Z
n+1
+
lim sup 1
|DLj |
DLj
j B B
para todo suficientemente pequeno. Se fizermos 0 teremos uma contradio com a
sentena (7.43).
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 131
implica
dist(x, E) (1 )
Proof: Uma vez que uma funo Lipschitz contnua e spt( ) B , segue
imediatamente que uma funo Lipschitz contnua e dessa forma medianete o
Teorema de RademacherZ (Veja Apndice) a mesma diferencivel em quase todo ponto.
Alm disso, D (x) = D E (x z)dz e dessa forma
Z
|D (x1 ) D (x2 )| C |E (x1 z) E (x2 z)|dz
|z|<
(x) 1 (1 )n (1 + n) 1 (1 n)(1 + n) = n2
Z Z Z
|Df | |Df| |Df| (7.49)
B B B+ B
Z Z Z1
|f (x) f(x)| (z)|f(x z) f(x)|dz |z| (z)dz |Df(x tz)|
B B 0
e dessa forma
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 133
Z Z Z Z1
|f f|dx (z)dt |Df(x tz)|dt dx
B BZ B Z 1 Z0 Z
(z)dz dt |Df(y)|dy = |Df|dx.
B 0 B+ B+
Nota 7.1. Mostrar-se- no prximo teorema que se tivermos uma conjunto minimal cuja
funo caracterstica tem derivadas distribucionais as quais esto muito prximas de uma
direo, no sentido que Z
(|DE | Dn E ) ,
B
ento as funes regularizantes dos dois Lemas precedentes tem derivadas as quais obdecem
as mesmas propriedades acima referidas, ou seja, esto muito prximas de alguma direo.
(E, 1) = 0, (7.50)
Z
(|DE | Dn E ) . (7.51)
B1
Ento para cada inteiro p existe uma constante = (), convergindo a 0 quando
converge a 0, tal que, se = p e
Z
(x) = (x y)E (y)dy = (E ) ,
ento
Dn (x) 1
inf ; |x| < 1 2 2(n1) e n2 2 < (x) < 1 n2 2 > 1 (). (7.52)
|D(x)|
1
Proof: Seja = 2(n1) e suponha que |x| < 1 2. Mediante o fato que o conjunto
o qual estamos tomando o nfimo no-vazio, se n2 2 > 12 , poderemos ento assumir que
< 1 e consequentemente = p < . Assim,
Z
Dn (x) = (x y)Dn E (y)
Z
|D(x)| (x y)|DE (y)|
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 134
Nosso objetivo agora ser estimar |D(x)| Dn (x) em termos de |D(x)| a fim de
obter (), mas, para tanto estimaremos
Z
(x y)(|DE (y)| Dn E (y))
B(x,)
Z
em termos de (x y)|DE (y)|.
B(x,)
Para maior facilidade da notao usaremos Br = B(x, r), sem de fato esquecermos
a dependncia desta de x. A demonstrao se resume essencialmente em utilizarmos
as tcnicas empregadas nos dois Lemas precedentes e tambm de algumas desigualdades
(estas provenientes do captulo 6 deste trabalho).
Seja (0, 12 ) umaZ constante a se determinar posteriormente. O procedimento agora
consistir em estimar (x y)(|DE (y)| Dn E (y)) em duas partes: na primeira
B(x,)
a estimativa ser feita na bola B(12) e ento posteriormente no restante de B
Por uma pequena alterao do Lema de Recobrimento de Vitali (3.1)(devemos observar
que nesse caso permanece constante), podemos mostrar que existe um nmero finito de
pontos 1 , ..., N E B(12) tal que
B(i , ) B(j , ) = i 6= j
N
[
E B(12) B(i , 2)
i=1
Z N Z
X
Ento, (x y)|DE (y)| (x y)|DE (y)| e
B i=1 B(i ,)
Z N Z
X
(x y)(|DE (y)| Dn E (y)) (x y)(|DE (y)| Dn E (y))
B(12) i=1 B(i ,2)
Z
Assim para cada i estimaremos (x y)(|DE (y)| Dn E (y)) em termos de
Z B(i ,2)
(x y)|DE (y)|
B(i ,)
Veja que na bola B(i , ) a funo (x y) tem
n + 1 n |x i |
. 1 >0
wn
Portanto,
Z
n + 1 n1 1 |x i |
(x y)|DE (y)| wn1 1 (7.53)
B(i ,) wn
Z Z
n1
1n
(|DE (y)| Dn E (y)) (2) (|DE (y)| Dn E (y))+
B(i ,2)Z Z
i ,)
B(
Z Z
1n 1n
|DE (y)| (2) |DE (y)| =
B(
Z i ,) Z B(i ,2) Z
= 1n (|DE (y)| Dn E (y)) + 1n
Dn E (y) (2) 1n
|DE (y)|
B(i ,) B(i ,) B(i ,2)
e i E implica que Z
1n
(2) |DE (y)| wn1 ,
B(i ,2)
|xi |
1 + 2 3 3
|xi |
=1+ |xi |
1+ =4
1 1
teremos
Z
(x y)(|DE (y) Dn E (y))
B(i ,2)
r
Z
2 n+1
4
4
+ nwn 1 + (n 1)log (x y)|DE (y)|
wn1 2 B(i ,)
Z
(x y)(|DE (y)| Dn E (y))
B(12)
n+1
r
Z (7.54)
2
4
4 + nwn 1 + (n 1)log (x y)|DE (y)|
wn1 2 B
Z Z
(x y)(|DE (y)| Dn E (y)) 2 (x y)|DE (y)|
C C Z
n + 1 n
4 |DE (y)| (7.55)
wn B
B(, ) B(x, (1 ))
2 2
n + 1 n
, e, consequentemente (x y) tem como cota inferior no conjunto B(,
2
).
wn 2
Segue que
Z Z
n + 1 wn1 n1 1
(x y)|DE (y)| (x y)|DE (y)|
B B(,
2
) wn 2 n
Z Z
n+1 nwn 1n
(x y)(|DE (y)| Dn E (y)) 2 (x y)|DE (y)|
B wn1 B
com
r
n+1 nwn 1n 2n+1
() = 2 + 4
4 + nwn 1 + (n 1)log
wn1 wn1 2
Observao 7.1. A ltima integral em (7.56) naturalmente positiva para |x| < 1 2
e n2 2 (x) 1 n2 2 , e, portanto para tal x tem-se:
Z Z
Dn (x) = (x y)Dn E (y) (1 ()) (x y)|DE (y)| > 0
B B
CAPTULO 7. APROXIMAO DE CONJUNTOS MINIMAIS 138
Os prximos passos nesse trabalho sero provar um Lema do tipo De Giorge para
sequncias de conjuntos de Caccioppoli. Para tanto procederemos por aproximao por
conjuntos de classe C1 e ento estaremos aptos a nos utilizar dos resultados do captulo
6 deste trabalho. Doravante necessrio mostrar que nossas sequncias de aproximao
satisfazem as hipteses do captulo 6. De fato, j nos encontramos em posio que realizar
tal tarefa mediante os lemas precedentes, assim estaremos em curso de provar o resultado
requerido.
Lema 7.8. (De Giorgi) Seja {Ej } uma sequncia de conjuntos de Caccioppoli tais que
(Ej , 1) = 0, (7.57)
Z Z
|DEj | Dn E j j , (7.58)
B1 B1
X
j < (7.59)
j1
Ento para quase todo t (0, 1) existe uma sequncia de conjuntos {Lj } tal que
Z Z
lim 1
j |DLj | |DEj | = 0, (7.61)
j Bt Bt
Z Z
lim 1 DL DEj = 0, (7.62)
j
j j
Bt Bt
Teorema 7.3.2. (De Giorgi) Seja {Ej } uma sequncia de conjuntos de Caccioppoli tais
que
(Ej , 1) = 0,
Z Z
|DEj | Dn E j j ,
B1 B1
X
j <
j1
Proof: Seja {Lj } a sequncia de conjuntos determinados pelo Lema anterior (7.8) e
suponhamos que a desigualdade deste mesmo Lema (7.8) seja verdade para t < 1. Tome
s < t positivo. Ento a sequncia {Lj } satisfaz as hipteses do Lema (6.5) com = s e
j
com sequncia j tal que lim = 1. Do Lema (6.5), e das sentenas (7.61) e (7.64)
j j
segue imediatamente que
Z Z
n+1
lim sup1
j |DEj | DEj
j B B s
Captulo 8
Regularidade de Superfcies Mnimas
Contedo
8.1 Teoria de Regularidade Bsica (Analiticidade) . . . . . . . . . . . . . . . . . . 142
8.1.1 Hlder continuidade da fronteira reduzida . . . . . . . . . . . . . . . . 147
8.2 O Teorema de Regularidade C0, . . . . . . . . . . . . . . . . . . . . . . . . . 150
8.2 Pontos Singulares e Cones Mnimos . . . . . . . . . . . . . . . . . . . . . . . 157
8.3.1 O Teorema de Simon e a regularidade em dimenses baixas (n 7) . . . 158
8.4 Estimativa de Federer da dimenso do conjunto singular . . . . . . . . . . . . . 159
8.5 Regularidade C1, para hipersuperfcies Minimas . . . . . . . . . . . . . . . . . 160
8.5.1 O Teorema de De Giorgi-Federer-Massari-Miranda . . . . . . . . . . . . 160
8.5.2 Os casos p < n e p = n na anlise dos teoremas de regularidade . . . . . 162
8.5.3 Comentrios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
ento
Z Z
Z Z
|DE |
DE n
|DE | DE . (8.3)
B(x,) B(x,) B(x,) B(x,)
Proof: Suponha por contradio que o Teorema no seja verdadeiro. Ento devero
existir n 2, 0 < < 1, uma sequncia {Fj } Rn de conjuntos de Cacciopploli e
sequncias {xj } Rn e {j }, {j } R tais que
(Fj , B(xj , j )) = 0,
Z Z
|DFj | DFj = j jn1 ,
B(xj ,j ) B(xj ,j )
X
j <
j
e Z Z
|DFj | DFj n j jn1 .
B(xj ,j ) B(xj ,j )
Para cada j, aplicaremos uma translao aos ZFj a qual leva os xj na origem,
posteriormente uma rotao a qual leva os vetores DFj sobre o eixo-xn e para
B(0,j )
finalizar uma dilatao de razo j . Se denotarmos por Ej os conjuntos resultantes ento
teremos
(Ej , 1) = 0,
Z Z
|DEj | D n E j = j ,
B1 B1
Z Z
|DEj | Dn Ej > n j .
B1 B1
A sequncia {Ej } assim definida contradiz o Teorema (7.3.2). Conclumos dessa forma
que o Teorema verdadeiro.
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 143
s
(2 ) (n, )
onde (, n) =
(1 ) wn1 n
Proof: Se fizermos as devidas transformaes (translaes, rotaes e dilataes se
necessrio) poderemos supor sem perda de generalidade que x = 0 e = 1
Primeiramente, suponhamos o caso em que t = j , s = j para algum j e < 1
Sejam Z
DE
Bj
uj = j = Z
|DE |
Bj
Z Z
vj = j , mj = |DE | e j = |DE |
Bj Bj
p
Dado que |uj | 1 e |vj | 1 teremos |uj vj | 2 1 (uj , vj )
Agora
Z
(1 (uj , vj ))j = (|DE | huj , DE i)
j
s
(n, ) j+1
j wn1 (j )n1 wn1 (j+1)(n1) e assim |uj vj | 2
wn1 n
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 144
Agora vejamos o caso geral para s e t, ou seja, com 0 < s < t < 1. Sejam j e k dois
inteiros tais que
j+1 < i j e j+k s < j+k1
Assim,
Xk2
|t s | |t uj | + |uj+i uj+i+1 | + |uj+k1 s |
s i=0
(n, ) X
2. j+1 + j+i+1 =
wn1 n i0
s
(n, ) j+1 X
= 1+ i =
wn1 n i0
s
(2 ) (n, ) j+1
=
(1 ) wn1n
s
(2 ) (n, )
t=
(1 ) wn1 n
= (, n) t
como desejvamos.
Corolrio 8.1. (De Giorgi) Suponha que x satisfaz as hipteses do Teorema anterior
(8.1.2). Ento x E e r
t
|(x) t (x)| (, n)
Proof: O Teorema (8.1.2) nos informa que t (x) uma sequncia de Cauchy em
Rn . Alm do mais como x satisfaz a (CDG), vale o Lema de decaimento de Diorgi. Ao
aplicarmos o mesmo j vezes teremos |j | 1 quando j . Portanto x E.
A estimativa obtida na desigualdade segue mutatis mutandis a desigualdade do Teorema
anterior (8.1.2), via a homogeneidade das propriedades de translao e rotao. Portanto
segue que r
t
|(x) t (x)| (, n)
(E, B(x, )) = 0,
Z Z
|DE | DE (n, )n1
B(x,) B(x,)
n
Ento E B(x, r) uma hipersuperfcie analtica para r = ( n1 ).
n
Proof: Sejam z E B(x, r) e R = n1 . Como B(z, R) B(x, ) dado que ,
n
n1 , teremos
Z Z Z Z
|DE | DE |DE | DE (n, )n n1
B(z,R) B(z,R) B(x,) B(x,)
A sentena (8.5) se verifica para todo z B(x, r)E. Via um argumento de integrao
na sentena (8.5) podemos obter
Zt Z
ds DE r
t
0 B(z,s)
(z) Z t Z (, n) (8.6)
R
ds |DE |
0 B(z,s)
Zt Z
ds DE
0 B(z,s)
Se analizarmos a funo
e(t, z) = Zt Z , concluiremos que a mesma
ds |DE |
0 B(z,s)
contnua nas variveis t e z, e, segue da sentena (8.6) que
B(xj , j ) B(xi , i ) = se i 6= j
[
B(xj , 3j ) K
j1
Agora temos,
XZ Z
|DE | |DE | <
j1 B(xj ,j ) A
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 147
Lema 8.1. (Lema de decaimento de De Giorgi verso geral) Sejam K > 0, >
0, (0, 1); ento existe uma constante positiva = (K, , ) tal que, para todo
conjunto de Caccioppoli E (K, )minimal, x , (0, ], 0 < < dist(x, ),
< 2 temos
(E, B (x)) n1 (E, B (x)) 2 ()n1 (8.8)
h
(E, Bh (x)) 2 (h )n1 (8.9)
(E, B (x)) n1
Ento x E .
Proof: Faremos uso Z da seguinte desigualdade : Sejam A B subconjuntos
mensurveis de tal que |DE | < ; ento
A
Z Z
Z 1 d(|DE |)(x) Z
1
d(|DE |)(x)
|DE | AE |DE | BE
v
A
Z Z
B
u
u 1
uZ |DE | d(|DE |)(x)
t
|DE | B BE
A
j (x) = (x, j )
Z
j n1 (n 1)K j wn1 j n1
|DE | ( ) wn1 ( ) ( ) = c3 n1 j(n1)
Bj (x) 2
(8.10)
para todo j j0 (K, , , ). De (8.9) inferimos que para j j0 e m N
m1
X
|j+m (x) j (x)| |j+h (x) j+h+1 (x)|
s h=0
r
m1
X n1 (j+h)(n1+ 2 ) m1
j X
2 =2 4
h
4 (8.11)
n1
c3 (j+h+1)(n1) c3 n1
r
h=0 h=0
1 j
2
4
c3 n1 1 4
Dessa forma, podemos definir (x) = lim j (x). Note agora que
j
(E, Bj (x)) n1 j(n1+ 2 )
1 |j (x)| = Z
c3 n1 j(n1)
|DE |
Bj (x)
|(y) (z)| c2 |y z| 4 y, z Br (x) E (8.13)
(E, B (x)) n1
k
Sejam k N tal que 2
> n 1 e r = k (1 ). Ento para y Br (x) E tem-se
e portanto
k k
(Bk+1 (y)) (Bk (x)) 2 (k )n1 = 2 (n1) (k+1 )n1 (k+1 )n1
(8.14)
Da sentena (8.14) conclui-se que o Teorema (8.1.5) aplicado a 1 = k+1 ao invs
de fornece que y E
Vejamos agora a sentena (8.13): Sejam y, z Br (x) E e h, m N. da sentena
(8.11) obtemos as seguintes desigualdades
h
|(y) h (y)| c4 4
(h+m)
|(z) h+m (z)| c4 4
|(y) (z)| |(y) h (y)| + |h (y) h+m (z)| + |h+m (z) (z)|,
desde que tenhamos uma estimativa adequada para |h (y)h+m (z)|. Isto feito tomando
|y z| h 1 (1 m ) como Bh+m 1 (z) Bh 1 (y) e notando que neste caso
h
! 12 12
2 h(n1) h
|h (y) h+m (z)| 2 =2 4
c3 (h+m)(n1) c3 m(n1)
B = {x Rn ; |x| < }, B = {x , |x < |}
e
Q = {x Rn ; x = (x , xn ), |x |, |xn | < } = B (, )
Suponha que nos fora dada u C1, (A , R), com A aberto em Rn1 e 0 A , tal
que u(0) = 0 e Du(0) = 0. Tais hipteses so sempre possveis, basta aplicar uma
transformao ortogonal em u a fim da mesma satisfazer tais suposies.
Ao tomarmos E = {x Rn ; x A , xn > u(x )} obtemos que (para pequeno de sorte
que |v| < ):
Z Z
p
p
(E; B ) (E; Q ) = 1+ |Du|2 dx inf 1 + |Dv|2 dx ; spt(u v) B
BZ B
1 2 n1+2
|Du| dx c
2 B
Z Z Z
2 2
|Du {Du} | |Du Dv| + 2 |Dv {Dv} |2
BR (x ) ZBR (x ) BR (x )
n+1 Z
2 2
(|Du| |Dv| ) + 2 . |Dv {Dv}R |2 .
BR (x ) R
BR (x )
p p (A2 B2 ) (A2 B2 )2
1 + A2 1 + B 2
2 1 + B2
vem que
Z p Z
2 41 + |{Du}R |2 p p
|Du {Du} | . ( 1 + |Du|2 1 + |{Du}R |2 )
Z 1 mR
BR (x ) BR (x )
n+1 Z
2 2
+2 (|{Du}R | |Dv| ) + 2 . |Dv {Dv}R |2 .
BR (x ) R
BR (x )
onde !2
mR = sup |Du| + |{Du}R | . (8.15)
BR (x )
p
Introduzindo 1 + |Dv|2 na primeira integral do lado direito e se utilizando da
desigualdade:
p p (A2 B2 )
1 + A2 1 + B2
2 1 + B2
e ao rearranjarmos os termos obteremos
Z Z
2 2mR
|Du {Du} | 6(E; B2R (x , u(x ))) + . (|Dv|2 |{Du}R |2 )
BR (x )
Z 1 mR
BR (x )
+2( )n+1 . 2
(|Dv| |{Dv}R | ) 2
R BR (x
) Z
n1+2 n+1 2mR
c1 R +2 ( ) + . |Du {Du}R |2 .
R 1 mR
BR (x )
teremos:
n+1 2mR
() c1 R + 2 ( ) +
.(R) (8.16)
R 1 mR
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 153
para x BR e para todo , R tais que 0 < < R 2r.Agora, veja Campanato [80], seo
6, fixados e tais que
< < n + 1, 4n+1 <
n+1
Podemos assumir que inicialmente o raio r era to pequeno que sup |Du| de modo
B3r 8
mR
que (veja (8.15)): 1mR
n+1 , ento
(R) c1 R + .(R), x Br e 0 < R 2r.
do qual, dado que : 0 < < R 2r existe k 0 tal que k+1 < k R, usando da
monotonicidade de e escolhendo R = 2r, obtemos finalmente:
Z
|Du {Du} |2 c2 n1+2 ,
BR (x )
para todo x Br e todo (0, 2r), com c2 independente de x e de . Em vista da
caracterizao de funes Hlder contnuas mediantes os resultados de Campanato [69],
isto implica que Du C0, (Br ). Portanto u C1, (Br ) como desejvamos.
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 154
Z
Z Z
inf |DE |; FE B (x) min |DEB (x) |, |DEB (x) | =
Z B (x) Z Z B (x) (x)
B
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 155
(Eh , Bt ) = 1n 2 n1+2
h (E, Bh t ) ch t
wn1 n
|E B (x)| x , (o, R) (8.24)
2n
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 156
com R = R(, c, n)
Proof: De (8.20), primeira desigualdade, (8.18) e (8.21) obtemos facilmente para
quase todo (0, R) :
Z Z
2 n1
[wn1 c3 ] |DE | E dHn1 + cn1+2
B (x) B (x)
isto :
Z
tn1
E dHn1 [wn1 (c + c3 )t2 ].tn1 wn1 (8.25)
B (x) 2
2
1
wn1
para quase todo t (0, R) tal que t < = R.
c(n 1 + 2)
O resultado segue ento por integrao de (8.25) entre 0 e .
Para finalizarmos enunciaremos o teorema de regularidade , o qual pode ser
demonstrado usando os Lemas precedentes juntamente com o auxlio do mtodo de De
Giorgi (Lema de decaimento de De Giorgi).
Teorema 8.2.2. (Teorema de Regularidade C1, ) Sejam Rn , n 2 um conjunto
aberto e E Rn um conjunto de Caccioppoli satisfazendo para (0, 1):
Hs (( E E) ) = 0
xk Xk , xk x x X
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 157
Lema 8.6. Seja E um conjunto minimal em B1 tal que 0 E. Para t > 0 defimamos
Et = {x Rn ; tx E}. ento dada tj 0 sequncia de nmeros reais existe uma
subsequncia sj tal que Esj converge localmente em Rn a um cone mnimo C.
Proof: Veja Giusti [3] pag. 106.
Teorema 8.3.1. Suponha que no existam cones mnimos singulares em Rn . Ento, para
qualquer E Rn mnimal em B , E B hipersuperfcie analtica.
Proof: suficiente provarmos que todo ponto de EB regular. Como Ek converge
localmente a C, cone mnimo, pelo Lema (8.6), e, por hiptese, no existem cones mnimos
x xk Xk , xk x.
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 158
x
singulares, 0 ponto regular de C. Pelo Lema (8.7), se j suficientemente grande, xj =
j
x
regular em Ej . Como a transformao x preserva regularidade, x ponto regular
j
de E.
Para encerrar esta seo, o seguinte resultado d exemplos onde o Teorema acima
falha em dimenses altas. Vejamos:
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 159
Observao 8.2. Sob as hipteses do Lema acima, caso E seja um cone, ento o conjunto
singular tem no mximo um ponto. De fato, se tivesse mais de um ponto ento, como
E cone, toda semi-reta ligando estes dois pontos seria formada por pontos singulares,
contrariando assim a concluso do Lema.
Lema 8.9. Suponha que E seja um conjunto mnimal em tal que Hk () > 0. Ento
existe C, cone mnimo em Rn , tal que Hk (C C) > 0.
Proof: Veja Giusti [3] pag. 132.
Lema 8.10. Se C cone mnimo com Hk (C C) > 0 ento existe x0 6= 0 tal que
fazendo o blow-up de C em x0 obtemos um cilindro mnimo Q = A R com Hk (Q
Q) > 0. Mais ainda, A um cone mnimo.
Proof: Veja Giusti [3] pag. 133.
para todo x e todo (0, R), com c e R constantes positivas. Ento existe 0
tal que
iii. Assumindo que (8.27) se verifica uniformente para qualquer Eh , com {Eh } localmente
convergente em para algum conjunto limite E , temos que se xh Eh para todo
h, com {xh } convergindo para algum ponto x ; enquanto se x E , ento
existe um h tal que xh Eh para todo h h e o vetor normal unitrio exterior a
Eh em xh converge para o vetor normal unitrio exterior a E em x .
iii. Assumindo que (8.27) se verifica uniformente para qualquer Eh , com {Eh } localmente
convergente em para algum conjunto limite E , temos que se xh Eh para todo
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 162
4 13
com um simples clculo mostra-se que 8 (F; 0) = 375
+ 12 arctan 2 =
0, 748971736....
ii. (Teorema de Regularidade Forte) Seja p > n; neste caso a fronteira reduzida E
pn
uma variedade (n 1)dimensional de classe C1, , 4p
e
Hs ((E E) ) = 0, se s > n 8
1 31
2
< 1 HE Lp (E) se e somente se p > 21
;
+1
> 1 HE L (E) se e somente se p <
.
Exemplo 8.4. Para o conjunto E Rn construdo no exemplo (8.3) mas agora com a
1
funo e x2 no lugar de x se v mediante um clculo simples que HE
/ Lp (E) p > 1
CAPTULO 8. REGULARIDADE DE SUPERFCIES MNIMAS 163
Exemplo 8.5. Seja {ak } uma sequncia de nmeros positivos decrescentes a zero e
considere a funo dente de serra f : [a1 , a1 ] R definida por f(0) = 0, f(x) = f(x)
e
x ak+1 na primeira metade do intervalo [ak+1 , ak ]
f(x) =
ak x na segunda metade
Portanto
Z ! "p
X 2 X 2p
|HE (x, y)|p dxdy 2 |Tk Bk | = constante. hk .
E k
hk k
1
Ao escolhermos a sequncia {ak } de tal sorte que hk = k(log k)2
para k 2, concluiremos
que HE
/ Lp (E) p > 1.
Este exemplo mostra que mesmo para um conjunto com boas propriedades de
regularidade (observe que E Lipschitz contnua) possvel HE
/ Lp (E) p > 1.
(t) = e
(t), || (t)|| = t t (0, 1) e lim (t) = (1, 0), lim (t) = (0, 0).
t1 t0
Contedo
9.1 De Giorgi e o 19o problema de Hilbert . . . . . . . . . . . . . . . . . . . . . . 166
9.1.1 Subsolues so limitadas . . . . . . . . . . . . . . . . . . . . . . . . 168
9.1.2 O Lema de Oscilao de De Giorgi . . . . . . . . . . . . . . . . . . . . 171
9.2 A equivalncia entre as Teorias de De Giorgi e Nash-Moser . . . . . . . . . . . 175
9.2.1 A Desigualdade de Harnack e o Teorema de De Giorgi-Nash-Moser . . . 175
9.3 Uma aplicao geomtrica do Teorema de De Giorgi-Nash-Moser . . . . . . . . 176
9.4 Regularidade bsica das solues de divA(x, Du) = 0 em . . . . . . . . . . . 177
166
CAPTULO 9. TEORIA DE DE GIORGI-NASH-MOSER 167
Analizemos agora o 19o problema de Hilbert a luz de tcnicas de EDPs. Uma vez
encontrado um mnimo, u para (9.1), dado qualquer funo suave com suporte em
e qualquer t R, a funo ut := u + t compete com u no problema de minimizao
(9.1). Assim, a funo de varivel real e(t) := E(u + t) tem t = 0 como ponto de
mnimo. Se diferenciarmos e com respeito a t, obteremos a seguinte relao:
Z
DFj (Du)dx = 0
a primeira derivada de u satisfaz uma equao elptica com coeficientes a princpio somente
mensurveis e limitados.
Ennio De Giorgi produzira uma esplndida demonstrao para o 19o problema
de Hilbert baseado em um Teorema que atualmente conhecido como Teorema de
regularidade de De Giorgi, o qual nos fornece Hlder continuidade de solues de EDPs
elpticas de segunda ordem da forma divergente, diferentemente a Teoria de Shauder, sem
se assumir como hiptese a suavidade dos coeficientes. Nosso objetivo ser estabelecer
CAPTULO 9. TEORIA DE DE GIORGI-NASH-MOSER 168
Teorema 9.1.1. (De Giorgi) Seja aij uma matriz uniformente elptica, isto , existem
constantes 0 < < tais que I aij (X) I, e u uma soluo no sentido das
distribuies de
div(aij (X)Du) = 0 em B1 (9.5)
ento, existe um expoente universal 0 < < 1 tal que u Hlder contnua em B 1 .Alm
2
disso,
|u|C (B 1 ) C|u|L2 (B1 ) ,
2
div(aij (X)Du) 0
por exemplo Evans [2]) e uma estimativa de energia para subsolues. Recorde por um
instante que a desigualdade de Sobolev assegura que dada f H10 (B1 ) ento
2n
com p = > 2.
n2
Lema 9.2. (Estimativa de Energia para subsolues). Seja v 0 uma subsoluo
de (9.5), isto , v satisfaz
div(aij (x)Dv) 0 em B1 ,
Z Z
2
|D(v)| dx C sup || 2
(v)2 dx. (9.6)
B1 B1
que Z
(2 v)div(aij (x)Dv)dx 0.
B1
uk = (u [1 2k ])+ ,
Z Z p2
C 2
|D(k uk ) |dx |k uk | dx p
(9.11)
B1 B1
Z Z p2
2
|k uk | dx |{k uk > 0}| p
|k uk | dx , (9.12)
B1 B1
A ideia geomtrica da prova ser a seguinte: seja u uma soluo de (9.5) entre,
digamos 1 e 1. Devido ao Lema de energia, u+ tem norma H1 controlada universalmente.
Cortamos o grfico de u ao nvel 12 , isto , definimos v1 := min{u+ ; 12 }. Como a norma H1
mensura em termos integrais a magnitude do gradiente de uma funo, esperado que u+
requera espao para ir do conjunto onde ele se anula para o conjunto {u+ = 12 } = {v1 = 0}.
Assim Ln (v1 = 0) uma proporo fixa maior do que Ln (u+ = 0). Olhamos agora para
a parte de cima do truncamento, ou seja, v2 = max{ 12 , u+}. Renormalizamos a figura
para a bola unitria e aplicamos novamente o argumento acima. Repetimos o processo
indutivamente. Como a cada passo ganhamos uma proporo fixa no volume onde a
funo se anula, em um nmero finito de passos a sequncia de funes contrudas ter
CAPTULO 9. TEORIA DE DE GIORGI-NASH-MOSER 172
norma L2 to pequena quanto desejarmos. O Lema (9.1) garante ento que para algum k0
universal, uk0 1 1
2
em B 1 , o que, em termos da funo original, implica u+ 1 2k0 ,
2
Lema 9.3. (Lema de oscilao de De Giorgi). Seja u uma soluo fraca de (9.5)
em B1 . Assuma que oscB1 u = 2. Ento
oscB 1 2,
2
para algum < 1 que depende exclusivamente da dimenso e das constantes de elipticidade
de aij .
Proof: A demostrao deste Lema bastante geomtrica e intuitiva. Inicialmente
adicionando uma constante se necessrio, podemos assumir que
1 u(x) 1 em B1 .
Seja como no Lema (9.1). Observe primeiramente que se u+ quando restrito digamos
B 3 for pequeno, ou seja, se
4
||u+ ||L2 (B 3 ) < ,
4 2
1
ento o Lema (9.1) nos garanteria que u+ < 2
em B 1 e assim
2
3
oscB 1 ,
2 2
e a prova do Lema estaria completa. Nossa estratgia ser produzir esta exata situao
via um nmero finito (e sob controle universal) de escalonamentos e normalizaes como
previsto inicialmente. Comeamos com uma observao: em B 3 , ou u est pelo menos
4
abaixo de zero. Sem perda de generalidade, vamos assumir que u+ = 0 em pelo menos
metade de B 3 .
4
1 n1
[Ln (D)] 2 cn Ln (A).[Ln (C)] n ,
Z Z hyx0 ,i Z Z
n1 |u(y)(y x0 )| |u(y)|
H (U) Dr u(x0 + r)drd dy dy.
U 0 D |y x0 |n1 D |y x0 |n1
(9.18)
Consideraes geomtricas elementares comparando o volume do cone que contem
A e a rea da casca esfrica delimitada por ele, U, mostra que existe uma constante
dimensional cn > 0, tal que
radial e decrescente. Portanto, dentre todos os conjuntos com volume, Ln (C), sua
1
integral ser maximizada quando C for a bola centrada em x0 e raio r0 = [w1
n L (C)] .
n n
cn 1 1
Ln (C).Ln (A) 1 [Ln (D)] 2 [Ln (C)] 2
wn n
1
Ln ({u0 = 0} B 3 ) =: Ln (A0 ) Ln (B 3 ).
4 2 4
+
Definimos ento u1 := 2 u0 12 , A1 := {u1 = 0} = u0 12 e indutivamente
k k + 1
uk := 2 (u0 (1 2 )) , Ak := {uk = 0} = u0 1 k
2
Observamos que cada funo uk uma subsoluo da equao (9.5) e que uk (x) 1.
A estimativa da energia, Lema (9.2), fornece controle universal norma H1 de uk em B 3 .
4
1 1 n1
[Ln (Ak+1 )] 2 cn Ln (Ak ).Ln ({uk }) n (9.21)
2
Para efeito de simplificao de notao, denotaremos
1 n1
cn Ln ({uk }) n =: k
2
k
[Ln (Ak+1 )] ekk [Ln (A0 )]2 ,
1
Ln (A0 [Ln (B 3 )],
2 4
1
uk0 +1 u0 1 2k0 , em B 1
2 2
Di (aij Dl u) = 0 (9.22)
Ento para todo < 1 existe uma constante c dependendo de , mas no de u, tal que:
Teorema 9.2.2. (De Giorgi-Nash-Moser) Seja u uma soluo da equao (9.22) com
condies (9.23). Ento u Hlder contnua em .
Proof: Sejam x0 e BR (x0 ) . Para r < R tomemos:
As funes v(x) = u(x) m(r) w(x) = M(r) u(x) so solues positivas de (9.22)
1
em BR (x0 ). De (9.24) com = 2
teremos dessa forma
r r h i r r i
M m(r) c m( ) m(r) M(r) m c[M(r) M )
2 2 2 2
e consequentemente r c1
w w(r)
2 c+1
c1
. Ao tomarmos = teremos via induo que w(2k R) k w(R) e segue por w ser
c+1
uma funo no-decrescente que
r log
log2
1
w(r) w(R)
R
log
Tal desigualdade implica que u C0, , com =
log2
Z
Ai (x, Du)Di dx = 0. (9.27)
n
X Ai
2
|| i j ||2 Rn (9.29)
i,j=1
pi
CAPTULO 9. TEORIA DE DE GIORGI-NASH-MOSER 178
p
A(p) = T (p) = 1 .
(1 + |p|2 ) 2
Ento u Wloc
2,2
e toda derivada w = Ds u satisfaz a equao
Z
{aij (x)Dj w + bi (x)}Di dx = 0, C
0 (). (9.31)
Ai Ai
onde aij (x) = (x, Du(x)) e bi (x) = (x, Du(x)).
pj xs
Proof : Veja Giusti [3] pag. 227.
aij fi m,2
bi = Dj u Wloc ().
xs xs
m+1,2 m+2,2
Portanto podemos concluir que w Wloc e dessa forma u Wloc () finalizando
assim a prova por induo.
CAPTULO 9. TEORIA DE DE GIORGI-NASH-MOSER 179
Observao 9.2. Uma demonstrao diferenciada, com um mtodo o qual tem sido
bastante utilizado em vrias circunstncias, o devido a Campanato [80] e pode ser
encontrado em Giusti [81]. Em particular, se os coeficientes e as fi s so infinitamente
diferenciveis, a soluo u ser de classe C
com
Ai
aij (x) = (Du(x)).
pj
Pelo Teorema de De Giorgi-Nash-Moser (9.2.2), w Hlder contnua com algum
expoente e portanto u C1, . Agora, seja m = 1, ento temos aij C0, para algum >
0, e pelo teorema (9.4.3) u C2, (). Mas, agora aij C0, e novamente pelo Teorema
(9.4.3), u C2, e o Teorema fica demonstrado para o caso m = 1. A demonstrao ser
via induo. Suponha agora que o resultaso seja vlido para o caso geral, ou seja, m, e
seja Ai (p) Cm+1, . A hiptese de induo nos fornece que u Cm+1, () e dessa forma
aij Cm, (). Uma aplicao adicional do Teorema (9.4.3) fornece que w Cm+1, e
portanto u Cm+2, ()
Captulo 10
Aplicao Teoria de Variedades
Mnimas
Contedo
10.1 Teorema de Regularidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
10.2 Cones Mnimos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
10.3 Problema de Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184
i. Per(E, ) <
ii. Per(E, ) Per(F, ), qualquer que seja o conjunto mensurvel F tal que (F E)
(E F) relativamente compacto em
181
CAPTULO 10. APLICAO TEORIA DE VARIEDADES MNIMAS 182
i. M A = E A
Hs (E E) = 0, s > n 8
isto , o fato que as fronteiras mnimas de dimenso menor ou igual a 6 no tem pontos
singulares.
CAPTULO 10. APLICAO TEORIA DE VARIEDADES MNIMAS 183
Ento,
Per(E B1 (x)) nwn , < dist(x, E)
e em L1 (B1 ).
Eh E, loc
tem fronteira mnima. Outros resultados sobre a existncia de cones mnimos singulares
foram obtidos por P. Simes [106] e B. Lawson [107].
CAPTULO 10. APLICAO TEORIA DE VARIEDADES MNIMAS 184
Este teorema sugeriu o seguinte problema: Existem solues inteiras da equao (10.1)
em Rn ? Esse problema ficou conhecido como o Problema de Bernstein. Com os trabalhos
de Fleming [48], Almgren [49], De Giorgi [50],[51], [52], [53] e Simons [54] o Problema de
Bernstein foi parcialmente resolvido com o seguinte Teorema
Ennio De Giorgi provou que nas hipteses de W.H. Fleming existem cones mnimos
singulares em Rn . As observaes de De Giorgi e Fleming juntas com o resultado de
CAPTULO 10. APLICAO TEORIA DE VARIEDADES MNIMAS 185
Contedo
11.1 Problemas de Fronteira Livre . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
11.1.1 Motivao: Problema de obstculo . . . . . . . . . . . . . . . . . . . . 187
11.1.2 Existncia e unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . 187
11.1.3 Regularidade C1, da fronteira livre . . . . . . . . . . . . . . . . . . . 189
11.2 Melhoramentos dos resultados de regularidade . . . . . . . . . . . . . . . . . . 191
11.2.1 Solues Q-fracas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
11.2.2 A Classe de Planaridade . . . . . . . . . . . . . . . . . . . . . . . . . 192
11.2.3 Regularidade da Fronteira Livre . . . . . . . . . . . . . . . . . . . . . 193
i. w 0 em B1 ;
iv. 0 (w)
| Br (x0 )|
,
rn
N = {x B1 ; dist(x, ) }.
Ento para qualquer bola Br (x0 ), centrada num ponto x0 da fronteira livre tem-se
|N Br (x0 )| C.rn1 .
Lema 11.4. Seja w uma soluo global, 0 (w) = {w = 0}. Assuma que existe
uma bola B = B (en ) (w) = {w = 0}, para algum 0 < < 12 . Ento para qualquer
vetor unitrio , com n > 0 e | | 8 ,
D w 0
nvel {w = }, prximas a origem, so grficos, xn = f(x , ), de uma funo Lipschitz f,
com ||f||Lip C .
Proof: Veja Teixeira [45] pag. 73.
D w(x) C()dist(x, ),
para qualquer vetor unitrio satisfazendo n > 0 e | | 16
.
Proof: Veja Teixeira [45] pag. 74.
Teorema 11.1.3. Seja D = {(x , xn ); |x | 1, f(x ) < xn < 2L}, para alguma funo
Lipschitz f com ||f||Lip L. Sejam v1 e v2 duas solues no-negativas de div(A(x)Df) =
0, para alguma matriz elptica mensurvel limitada A(x) em D. Assuma que v1 e v2
anulam-se continuamente em {xn = f(x )}. Ento. em D 1 = {(x1 , xn ); |x | 12 , f(x ) <
2
v1 ( L2 en )
||u||L (D 1 ) , ||u||C (D 1 ) C. ,
2 2 v2 ( L2 en )
xn < 1}. Agora seja qualquer vetor unitrio com n > 0. Ao aplicarmos o Lema (11.5)
" 2
e = a1 16
ao vetor unitrio + en , onde a = 1 + ( 16 ) + 2( 16 )n , obteremos
1
0 < () De w = w + W en .
a 16
w
Isto, finalmente implica que D f = uniformemente Hlder contnua em C.
wen
CAPTULO 11. APLICAES PROBLEMAS DE FRONTEIRA LIVRE 191
para qualquer bola centrada nos pontos da fronteira livre x {u > 0};
para qualquer C
0 ().
Proof: Isto uma consequncia do fato que para quase todos os pontos x0 {u >
0} {u > 0} temos
|D{u>0} |(Br (x0 )) = o(rn1 )
Z Z
u0 dx = uk dx + O(1)
Rn Z
Rn
1 x x0
= n1 Q(x)d|D{u>0} | + O(1)
rk rk
1
C. n1 |D{u>0} |(Brk (x0 )) + O(1)
rk
0.
ii. 0 {u > 0} e
u(x) = 0 para xn +
Teorema 11.2.2. Seja u uma soluo Qfraca. Ento a fronteira livre reduzida, {u >
0}, localmente uma superfcie C1, em . Alm disso, o possvel conjunto singular um
conjunto fechado Hn1 negligencivel.
CAPTULO 11. APLICAES PROBLEMAS DE FRONTEIRA LIVRE 194
Para finalizarmos, com a teoria exposta podemos enfim estudar de maneira mais
paupvel o seguinte exemplo:
i. Supondo tambm que (Br (x)) rn1 para algum > 0 e para x spt(). Ento
u Lipschitz no interior de B1 ;
ii. Se rn1 (Br (x)) rn1 para , > 0 e x spt(). Ento o conjunto
{x B1 ; u(x) > 0} tem permetro localmente finito no interior de B1 , ou seja, o
mesmo um conjunto de Caccioppoli.
iii. Pode-se dar uma estimativa aproximada de Hn1 ( {u > 0} B 1 ) do item anterior,
2
g(x) p(x), x G
195
CAPTULO 12. APNDICE 196
f(y) f(x) d(x).(y x)
i. R(y, x) = (x, y C, x 6= y)
|x y|
ii. K C compacto, pomos K () = sup{|R(y, x)|; 0 < |x y| , x, y K}
i. f C1
ii. f = f, Df = d em C
e
(K) = inf{F(f); f C0 (X), f K } para todo compacto K X (12.2)
m
H+ k (f({x A; rankDf(x) })) = 0
CAPTULO 12. APNDICE 197
Note que a verso usual deste resultado, pode ser recuperada, tendo Y = Rn , =
n 1, k m n + 1. A mais recente melhoria foi fornecida por Bates.
Proof: Veja Morgan [7] pag. 113.
(Rn ) M k. (12.3)
Ento existe uma medida de Radon e uma subsequncia {j } = {kj } tal que, para todo
g C00 (Rn )
(g) = lim j (g) (12.4)
j
Alm disso, para todo conjunto Boreliano limitado E tal que (E) = 0 tem-se
2 (B (x))
D1 2 (x) = lim
0 1 (B (x))
CAPTULO 12. APNDICE 198
existe 1 quase sempre e 1 mensurvel. Alm disso para qualquer conjunto Boreliano
A Z
2 (A) = D1 2 d1 + 2 (A),
A
CAPTULO 12. APNDICE 199
i. fb = f em
b
ii. Lip(f) mLip(f)
|f(x) f(y)|
onde Lip(f) = sup ; x, y , x 6= y
|x y|
Proof: Veja Evans-Gariepy [6] pag. 80.
i. f absolutamente contnua;
ii. f tem uma derivada f em quase todo ponto, a derivada integravl Lebesgue,e
Zx
f(x) = f(a) + f (t)dt
a
Se essas condies so satisfeitas ento necessariamente g = f em quase todos os pontos.
A equivalncia entre (i) e (ii) conhecido como Teorema Fundamental do Clculo da
integral de Lebesgue, devido Lebesgue.
Proof: Veja Wheeden-Zygmund [86].
Referncias Bibliogrficas
[1] ADAMS, Robert A. Sobolev spaces. 2a .ed. New York : Academic Press, 1975. (Pure
and Applied Mathematics, 65).
[3] GIUSTI, Enrico. Minimal surface and functions of bounded variation. Boston:
Birkhuser, 1984. (Monographs in mathematics, 80)
[5] MIRANDA, Mario. Medida geomtrica e algumas aplicaes. (12o Colquio Brasileiro
de Matemtica). Rio de Janeiro: IMPA, 1979.
[6] EVANS, Lawrence C; GARIEPY, Ronald F. Measure theory and fine properties of
functions. (Studies in Advanced Mathematics). Boca Raton: CRC Press. 1992..
[7] MORGAN, Frank. Geometric measure theory: a beginnerrs guide. San Diego:
Academic Press, 1988.
[8] LIN, Fanghua; YANG, Xiaong. Geometric measure theory: an introduction. Beijin:
Science Press and International Press, 2002.
[9] SIMON, Leon. Lectures on geometric measure theory. Canberra: Centre for
Mathematical Analysis, Australian National University, 1983.
[11] ZIEMER, William P. Weakly differentiable functions Sobolev spaces and functions
of bounded variation. New York: Springer - Verlag,1989. (Graduate texts in
mathematics, 120).
201
REFERNCIAS BIBLIOGRFICAS 202
[13] RATAJ, Jan. Three lectures on geometric measure theory. Sandbjerg Estate,
SNDERBORG, DENMARK, 2007.
[14] NONNENMACHER, Dirk Jens F. Sets of finite perimeter and the Gauss-Green
theorem with singularities. J. London Math. Soc. (2), v. 52, p. 335-344, 1995.
[15] AMBROSIO, Luigi. On some recent developments of the theory of sets of finite
perimeter. Rend. Mat. Acc. Lincei s. 9, v. 14, p. 179-187, 2003.
[16] LANG, Urs. Introduction to geometric measure theory. Spring school Geometric
Measure Theory: Old and New. Les Diablerets, Switzerland, 2005.
[17] MORGAN, Simon. Introduction to geometric measure theory. Notes Spring, 2005.
[18] GR, Metin Alper. Introduction to geometric measure theory and area minimizing
surfaces. Ko University, 2010.
[20] WAEIZSCKER, Heinrich von. Fractal sets and preparation to geometric measure
theory. Notes by Johannes Geiler. Universitt Kaiserslautern, 2006.
[23] FEDERER, Herbert. Colloquium lectures on geometric measure theory. Bull. Amer.
Math. Soc. v. 84, n. 03, p. 291-338, 1978.
[24] MIRANDA, Mario. Caccioppoli sets. Rend. Mat. Acc. Lincei s. 9, v. 14, p. 173-177,
2003.
[25] HAN, Qing. A basic introduction of geometric measure theory. Notes. Peking
University, June 2006.
REFERNCIAS BIBLIOGRFICAS 203
[28] Geometric measure theory and the calculus of variations. Proceedings of Symposia
in Pure Mathematics. American Mathematical Society. Volume 44.
[30] FEDERER, Herbert; FLEMING, Welden H. Normal and integral currents. Ann. of
Math. v. 72, p. 458-520, 1960.
[31] MEDEIROS, Luis Adauto da Justa; MIRANDA, Manuel Antolino Milla Espaos
de Sobolev: Iniciao aos problemas plticos no nomogneos. Rio de Janeiro:
Universidade Federal do Rio de Janeiro, Instituto de Matemtica, 2000.
[32] LEE, John M. Introduction to smooth manifolds. New York: Spring, 2003. (Graduate
texts in mathematics; 218).
[34] AMBROSIO, Luigi; MIRANDA JR., Michele; PALLARA, Diego. Special functions of
bounded variation in doubling metric measure spaces. Series edited by Dipartimento di
Matematica Seconda Universita di Napoli. National project Calculus of Variations.
[35] MIRANDA, Mrio. Gradient estimates and Harnack inequalities for solutions to the
minimal surface equation. Rend. Mat. Acc. Lincei s. 9, v. 11, p. 27-30, 2000.
[37] BREZIS, Ham. Analyse Fonctionnelle: thorie et applications. Paris: Masson, 1983.
(Collection Mathmatiques appliques pour la matrise)
[38] BONA, Jerry e ARBOGAST, Todd. Methods of applied mathematics. Lectures Notes.
University of Texas at Austin. 2005.
[40] FOLLAND, Gerald B. Real Analysis: Modern thechniques and their applications
2a . ed. New York: John Wiley, 1999. (Pure and applied mathematics: A Wiley
Interscience Series of Texts, Monographs and Tracts)
[41] BREZIS, Haim. Functional analysis, Sobolev spaces and partial differential equations.
New York: Springer, 2010.
[42] LIMA, Elon Lages. Variedades diferenciveis. Rio de Janeiro: IMPA. 2007.
(Publicaes Matemticas).
[43] BOMBIERI, Enrico, DE GIORGI, Ennio; GIUSTI, Enrico. Minimal cones and the
Bernstein problem. Inventiones Math, v. 7 p. 243-268, 1969.
[45] TEIXEIRA, Eduardo Vasconcelos Oliveira. Elliptic regularity and free boundary
problems: an introduction. Rio de Janeiro: IMPA , 2007. (Publicaes Matemticas).
[46] ALMGREN, F.J. Q-valued functions minimizing Dirichlets integral and the
regularity of area minimizing rectifiable currents up to codimension 2. Princeton
University , 1984.
[48] FLEMING, W. On the oriented Plateau problem. Rend. Circ. Mat. Palermo (2), v.
11 , p. 69-90, 1962.
[49] ALMGREN, F. J. The theory of varifolds: a variational calculus in the large for the
k-dimensional area integrand. Princeton, 1965. (Mimeographed notes).
[50] DE GIORGI , Ennio. Su una teoria generale della misura (r 1)-dimensionali de uno
spazio ad dimensioni. Ann. Mat. Pura Appl. (4) v. 36, p. 191-213, 1954.
[51] DE GIORGI , Ennio. Nuovi teoremi relativi alle misure (r 1)-dimensionali de uno
spazio ad r dimensioni. Ricerche Mat., v. 4, p. 95-113, 1955.
[53] DE GIORGI , Ennio. Frontiere orientate di misura minima. Sem. Mat. Scuola Norm.
Sup. Pisa, 1960-61. Editrice Tecnico Scientifica, Pisa, 1961.
[54] SIMONS, J. Minimal varieties in riemannian manifolds. Ann. of Math. (2) v. 88, p.
62-105, 1968.
[58] DOUGLAS, Jesse. Solution of the problem of Plateau. Trans.Math. Soc. v. 33, p.
263-321, 1931.
[59] RAD, Tibor. The problem of least area and the problem of Plateau. Math. Z. v.
32, p. 763-796, 1930.
[61] REIFENBERG, E.R. Solution of the Plateau problem for mdimensional surfaces
of varying topological type. Acta. Math. v. 104, p. 1-92, 1960.
[63] FEDERER, Herbert. Some properties of distributions whose partial derivatives are
representable by integration. Bull. Amer. Math. Soc. v. 74, p. 183-186, 1968.
[65] TAMANINI, Italo. Boundaries of Caccioppoli sets with Hlder continuous normal
vector. J. Reine Angew. Math., v.334, p. 27-39, 1982.
[66] TAMANINI, Italo. Regularity results for almost minimal oriented hypersurfaces in
Rn . Quaderni del Dipartimento di Matematica dell Universit del Lecce, 1, 1984.
REFERNCIAS BIBLIOGRFICAS 206
[70] GONZALEZ, E.H.A.; MASSARI, Umberto. Variational mean curvatures. Rend. Sem.
Mat. Univ. Pol. Torino. v. 52, p. 1-28, 1994.
[71] LEONARDI, Gian Paolo. Blow-up oriented boundaries. Rend. Sem. Mat. Univ.
Padova, v. 103, p. 211-232, 2000.
[72] MIRANDA, Mario. Superficie minime illimitate. Ann. scuola Norm. Sup. Pisa, v. 4
no 2, p. 311-322, 1977.
[74] MIRANDA, Mario. Sul minimo dellintegrale del gradiente di una funzione. Ann.
scuola Norm. Sup. Pisa, v. 19 no 4, p. 627-665, 1965.
[76] TRISCARI, Dionisio. Sulle singolarit delle fronteire orientate di misura minima.
Ann. scuola Norm. Sup. Pisa, v. 17 no 4, p. 349-371, 1963.
[78] PONCE, Augusto. Topics on calculus of variations . Lecture notes presented in the
School on Nonlinear Differential Equations. Trieste: Italy, 2006.
[79] BESSA, Gregrio Pacceli Feitosa, JORGE, Luqusio Petrola de Melo. Sobre o
problema de Bernstein. XI Escola de Geometria Diferencial.
[80] CAMPANATO, Sergio. Equazioni ellittiche del II ordine e spazio L2, . Ann. Mat.
Pura . Appl. v. 69. p. 321-382, 1965.
[81] GIUSTI, Enrico. Equazioni ellittiche del seconde ordine. Bologna: Pitagora, 1978.
(Quaderni U.M.I 6)
REFERNCIAS BIBLIOGRFICAS 207
[85] STEIN, Elias M.; SHAKARCHI, Rami. Real analysis: measure theory, integration
and Hilbert space. Princeton, N. J: Princeton Univercity Press, 2005. (Princeton
Lectures in Analysis III).
[86] WHEEDEN, Richard L., ZYGMUND, Antoni. Measure and integral: an introduction
a real analysis. New York: M. Dekker, 1977. (Monographs and textbooks in pure and
apllied mathematics, 43).
[87] CAFFARELLI, Luis A., SALSA. S. A geometric approach to free boundary problems.
Providence, R.I.: American Mathematical Society, 2005. (Graduate Studies in
Mathematics, 68).
[88] CAFFARELLI, Luis A. The regularity of free boundaries in higher dimensions. Acta
Math. v 139. n. 3-4, p. 155-184, 1977.
[89] CHEEGER, J.; COLDING, T. On the structure of spaces with Ricci curvature
bounded below. J. Differ. Geometry, v. 45, p. 406-480, 1997.
[91] SIMON, L. The singular set of minimal submanifolds and harmonic maps. Progress
in PDEs Cal. of Var. Appl.(Pitman Res. Notes Math. Sere 267), p. 99-108, 1992.
[92] LIN, Fanghua. Gradient estimates and blow-up analysis for stationary harmonic
maps. Ann. of Math. v. 149 n. 2, p. 785-829, 1999. .
[96] TAUBES, C.V. Seiberg- Witten invariants and pseudo-holomorphic subvarieties for
self-dual, harmonic 2form. Geom. & Topol. v. 3, p. 167-210, 1999.
[97] TAUBES, C.V. The Seiberg- Witten invariants and 4manifolds with essential tori.
Geom. & Topol. v. 5, p. 441-519, 2001.
[99] LIN, Fanghua; WANG, C.Y. Harmonic and quasi-harmonic spheres. Comm. Anal.
Geom. v. 7, n. 2 , p. 397-429, 1999.
[100] ALMGREN, F.J. Existence and regularity almost everywhere of solutions to elliptic
variational problem with constraints. Mem. Amer. Math. Soc. v. 4 no 165, 1976
[101] BOMBIERI, E. Regularity theory for almost minimal currents. Arch. Rational
Mech. Anal. v. 78, p. 99-130, 1982.
[102] SHOEN, R.; SIMON, L. A new proof of the regularity theorem for rectifiable currents
which minimize parametric elliptic functionals. Indiana Univ. Math. J., v. 31, p.
415-434, 1982.
[103] JOST, Jrgen. Partial differential equations. New York: Springer-Verlag, 2000.
(Graduate texts in mathematics; 214).
[104] HARDT, R., SIMON. L. Boundary regularity and embedded solutions for the
oriented Plateau problem. Ann. of Math. v. 110, p. 439-486, 1979.
[107] LAWSON Jr., H. B. The Equivariante Plateau problem and interior regularity.
Trans. A.M.S., 1972..
[108] BAROZZI, E.; GONZALEZ, E.A.H.; TAMANINI, I. The mean curvature of a set
of finite perimeter. Proc. A.M.S. v. 99, p. 313-316, 1987.
REFERNCIAS BIBLIOGRFICAS 209
[109] CAFFARELLI, Luis A. The Obstacle problem. Pisa: Accademia Nazionale Dei
Lincei. Scuola Normale Superiore, 1998.
[110] GONZALE. E.A.H.; MASSARI, U.; TAMANINI, I., Boundaries of prescribed mean
curvature. Rend. Mat. Acc. Lincei, s. 9, v. 4, p. 197-206, 1993.