O PROBLEt1A DE DIRICHLET N-DI11ENSIONAL

PARA A EQUAO DE SUPERFCIE MNIMA

El1 DOtlNIOS PSEUDO-CONVEXOS COM

FRONTEIRA LIPSCIHTZIANA

OLIVIO AUGUSTO 'dEBER

Dissertao apreBentada

ao Instituto de Ho.temtica, EStatfstica e Cincia ela Computao

da Universidade r::stadual de CaT:'!pinas

como requisito parcial para obten.o do ttulo de

t-!estre en Hu.temtica

Orientador: Prof. Dr. Rodney Co.rlos i3tJssanezi

Campinas
1977

UNICAMP
BIBLIOTECA CENTI!.AL
 AGRADECIMENTO:

Apresentamos os nos-so~ agradecimentos a

todas as pessoas que contriburam, de alguma forma, para a

realizao deste trabalho, em especial ao Prof. Dr. Rodney

Carlos Bassanezi, nosso orientador, pela sua valiosa cola-

borao.

't . ,F
A :ninha famlia
 NDICE

INTRODUO- . , j

CAPTULO I- Noes gerais sobre teoria da medida ... 3

CAPTULO II- Conjunto de Permetro localmente finito .. 13

CAPTULO III - r-fedida do erfico de uma funo , , 3.>?,

CAPTULO IV - Princpio do Hximo Forte ... , . 4j

BIBLIOGRAFIA - , , , , 54
 1
INTRODUO

O problema clssico de Dirichlet para a equaao das su-

perfcies mnimas consiste em:

" Dado um aberto n c Rn e uma funo g contlnua

<
sobre
a fronteira an de n ~ encontrar uma funo u = u(x) satisfazendo

n ' 2
b) Lu = L [Cl +I Du I ) hk em Q
h,k=l
c) u{x) = g(x), V x an

Du = grad u = (~
ax ' .... '
l

I Dul 2 = D12 u 2
+ D2 u + . + D~u e

0
a2 u
= dxhxk
hk

Para n = 2, a soluo do problema de Dirichlet para a

equao das superfcies mnimas foi obtida em 1930, por Rad ,

que demonstrou que o problema e>5ti bem po,5to, isto ~, tem solu
0
o nica para toda g C (d.!) desde que Q seja convexo.

A generalizao da situao bidimensional .foi obtida

por Jenkins e Serrin, em 1968. Contrariamente ao que se cogitava,

concluram que a convexidadc do domnio no o ponto fundamental,

mas sim a curvatura mdia; mais especificamente: 11 Se n um do-

mnio limitado de Rn e an c2 , ento o problema de Dirichlet pa-

ra a equao das superfcies mnimas bem posto para dados g na

classe C2( an ) se, e somente se, a curvatura medla

- de an e- nao
- ne-

gatV2. para todo X an 11

O problema de Dirichlet para a equaao das superfcies

mnimas ganhou novo enfoque em 1971, quando M. Miranda introduziu

a Teoria dos Permetros na sua soluo. Esta nova tcnica de solu

o do problema permitiu a Hiranda enfraquo2;cer a hiptese da reg~

laridade sobre an, mostrando que o problema tem soluo nica com

an lipschitziana e n localmente pseudo-convexo. Esta hiptese -

e

uma generalizao da curvatura mdia no negativa, no caso em

que a fronteira apenas lipschitziana.

O objetivo desse nosso trabalho foi fazer uma formula-

ao da Teoria dos Perimetros e apresentar uma aplicao na solu-

o do problema de Dirichlet para a equao das superfcies mfni-

rnas l conforme o tr'abalho de M. !1iranda. (c f [s] )

 3
CAPTULO I

NOOES GERAIS SOBRE TEORIA DA MEDIDA

Neste capftulo introdutrio apresentamos os conceitos e

resultados da Teoria da Medida que usaremos com mais frequncia

Um destaque especial dado para a medida exterior gerada por uma

funo positiva. Um exemplo de medida exterior, particularmente

importante) que provm de uma medida exterior gerada, a medida

Geomtrica de Hausdorff.

Definio lol - Seja 1 uma famlia de subconjuntos de

um fixado conjunto E, tal que 0 8 ~ . Uma funo

a:f -+ [o , +w]
se diz numeJtave.-tmen.te. .ubacf.i:U.va UJSA) se:

a) o(0) ; o
b) para todo F e1 e toda sequncia {F h} C :f , com
00 he N
F C h~/h vale

a(F) ~ L a(fh)
h;l
Proposio 1..1 - 11
Seja ct NSA sobre :f , ento se f',
f 11 1 e F' C F", temos que a(f') ~ a(F'')."

Demonstrao: Basta tomar r = F" e fh= 0 para h ?- 2

1
00

Ento F'C U Fh e como a NSA, segue-se que

h;l
 a(F') <;L a(Fh) = a(F")
h=l

Definio 1. 2- Seja 'j uma famlia de subconjuntos de

um fixado conjunto E. A funo

[o , +oo]

-
e c.omple.:tame.nte. adLtJ..va .obne. :; se
"
-
e NSA sobre :f e vale a

seguinte propriedade
00

Se F 1
h
, U Fh'1 , F. li F.= 0 para
l
l t j ento
h=l J

Definio 1. 3- Dado uffi conjunto E, diz-se que a e uma -

medida e.x.:te.JtJ..oJt .obJte. E, se a for numeravelmente subaditiva so-

bre ~ = P(E), onde P(E) a famlia das partes de E.

Definio 1.4- Sejam J CP(E) e a: ::f-+ [o , +=]

Um conjunto G C E a-me.n..6u.Jtve.l {ou me.n.,~uJtve.l J..e.gu.ndo CaJtathe.o

doity) se para todo F 1 com (F fl G) :f e (I"-G) 1, vale a

relao

a(F) = a(F fl G) +n(F-G)

.
Evidentemente, E e 0 so a-mensuraveJ.s. -
Proposio 1.2- '' Seja {o.} uma famlia qualquer
J . EJ
de funes NSA sobre:} Para todo F e.J definimos

n(F) = supa.(Fl
j J
Ento, a tambm e NSA sobre

Demonstrao: claro que a(0) = Q.

Suponhamos agora, que exista f ~ e uma sequncia

{Fh) C :f tal que

h8N

00

a (F) > L a(Fh) ) ou seja

h=l

00

sup "j (F) > I sul? "j(Fh),

j h=l J

Ento existiria> pelo menos um ndice ] , tal que

0

, o que e absurdo, pols e

NSA.

Teorema L3 - "Seja a: :f C P(E) -o- [o , +w] tal que

a(0) = O. Para todo F e P(E) seJa:

(1.3.1) B
a
{f) = inf{ L a(F.)
l
r.l e:F U f.
l
=:) f } se existe,
i=l

pelo menos uma sucesso {F.}

l
tal que F.
1
e :f, U F . :::)
l
F

B (f) = +oo , en caso contrrio.

a
Ento,
a) Ba uma medida exterior ( denominada me_dida e.xte.-

ll..io/1.. ge.11..ada. po!t a

b) Se a -
e NSA sobre
 6
Demonstrao: a) Pela definio

a0 : P(E) + [O , +ooj
claro que aa (0) = o.
Seja F P(E) e U F.
l
:J F

Suponhamos que S (f.)< +w para todo i, pois, caso con

a l

trrio, a assero seria bvia, Portanto, para todo i e todo

E > O, existe uma sucessao {Fij} tal que F. . 7 e

lJ
00

u F .. :::> F.
l] - 1.
e
j=l
00

(1.3.2) ta(F .. )< aa <r.l l +

j =1 lJ
Temos U F .. :J F ; portanto, por (1.3.1) e (1.3.2)
i,j=l lJ

resulta que
00

B (f)
a
~ I c;(F . ) =I Ian .. l <
i,j=l l] i=l j=l lJ

00 00
-i
I [ 6 (F. ) +
a l
c.2 l = Is<F.J
. 1 a1.
+ E
i=l l=
00

6
a
(F) ~ Is<F.J.
i=l a l

Logo, a. e- uma medida exterior sobre E '

b) Suponhamos a NSA sobre 'f . Ento para todo F e :f

e toda sucessao {F.} C - f tal que F C U F.
l l

o(F) ~ r a(F.)
l

o(F) _,; inf { L a(F.) l

 t
r.-
Por outro lado, se F ::f =>

S (F) ~ a(F)
a
Basta tomar F = r e F. = 0 para i~ 2.
1 ~

Logo: S (F) = a(F) para todo F e '.f ~

"
B !:1= a
a

Veremos a seguir a medida de Hausdorff, gerada por

a.: 1 + [o ' +-]

k
e a(FJ = (diam f) , k>D, k e R.
Para todo r >O , indiquemos com

:ir = { r- :f: diam F< r }

B = medida exterior sobre Rn gerada por ar. Assim-

ar

B (f) = inf F l
"r
Pela proposio 1.2 Hn = sup B -
tambm c uma medi
k
r> O "r
da exterior.

Corno, para r 1 e r 2 com O< rl < r2 vale B a > B

rl
a
r2
'
podemos escrever

sup B (F)= lim B (F) para todo F CRn.

"r r+ O "r
r> O

Observao 1
 Demonstrao: Basta provar que todo
L > O, onde

CL ={ x e Rn: lxil <L i = 1 , .... ~n }

IPn+o (c L ) -- sup ( in f { L
(diam Fh )n+r.:: Fh J'r ,u Fh :) CL}
r> O h=l
~

= lirn (inf { (diarn Fh)n+e;L r h e :Fr , u Fh :J CLJ

r tO h=l

~ lim (in f { I (diam Fh)n+e: u Fh 2 CL

N+~ h=l

diam Fh ~ --- ---

2Lin
N
}

~lim =o
N-+oo

Olbservao 2 : Se X C Rn e O < H~(X) < +co, ento

H~+e (X) = O e H~- e (X) = + "" , V e ::> O

Demonstrao:

H~+c(X) = lirn in f { I (diam Fh)k+c: u Fh 2 X, diam Fh< r}

r+O h=l
~ ~

F )k+E: .( , ento
Como L (diam
h L (diam Fh)k. r"
h=l h=l

in f < L (diam r } ~
h=l
00

< L (diam r } ~
h=l
e portanto

lim
r~ o
n
Para provar que Hk-e (X) = +~ , fazemos o mesmo tipo
de raciocnio e encontramos

H~_E(X) ~

A d.i.tne..n-6o de. Ha.u-6donb de um conjunto XC Rn o nme-

ro real definido por:

dim X = irif k = sup k

H
(H~(X) lO) CH~(X)I + 00
)

Observao 3: Se k =O, definimos H~(X) = numero - de

pontos de X. E se k < O , definimos H~(-X) = +"" , paPa todo Xf. 0

Logo as H~ sao significativas para O~ k ~ n.

Observao ~: Para todo k <

1

Definio 1. 5: Para todo X C Rn e todo k > O, de fi-

m .. mos a me:.d-i_da de. Ha.L~-6doJt66, lz-dirne.nt,,[onat de X, por

onde Wk a medida da esfera unitria em Rk , isto

(r(!c))k
) = 2 '
I'( E:.
2
l)

de modo que para todo conjunto X mensurvel de Rk se tenha

 JO

A seguir, veremos algumas consideraes sobre a medida

exterior num espao mtrico M.

Definio 1.6: Uma famlia de conjuntos , 3 C P(M),

uma 6am2L.La de Bol!.ei, se e somente se, 0 8'6 e valem as condi-

oes:

a) V A, A '6 =? M-A 3
b) V A., A.
~
3 ="> U A. '6
l i I l

c) V A., A. "1) ~n A. "()

l l l
iI

Para toda famlia S C P (H) existe uma famlia de Borel

mnima) cOntendo S, denominada fiam2.Li.a. de BoJte.i ge.Jtada po!t S e

que denotaremos por ~(S).

Se X um espao topolgico, denotaremos por 'fO(X) a

famlia de Borel gerada pelos abertos de X. Os elementos de l)(X)

sero denominados conjuntos de Borel ou boJte.lJ..ano-& de X

Definio 1, 7: Seja H um espao mtrico dotado de uma

distncia d. Para E, F PC!-;) definimos

dist(E,F) = inf { d(x,y): xE , yEF}

Gl
Teorema 1. ~~: 11
Seja cc. NSA sobre '.J C. P(N) com

:f =::) 'S(H). Suponhanos que:

B )l(H), F 1 - (ll (I f) :/ e (F-B) 8 :f.

(l) c:f (Jj - 7eor"O;na 2.3, p. lOl

 f{

e que a seja aditiva sobre os conjuntos de distncia positiva,

isto ,

) dist(F,G) > O =>

oiF U G) = o(F) + o(G)

Ento, os conjuntos de Borel de H sao a-mensuraveis e a restrio

de a a )3(H), completamente aditiva.

Observao: Toda medida de Hausdorff aditiva sobre to

dos os conjuntos com distncia positiva. Logo, conclumos o teo-

rema 1.4 que:

"Todo Boreliano e mensurvel segundo Hausdor-ff e

aditiva".

Definio l. 8: {.led-Lda de R.adon sobre um espao mtri

co N e uma funo

+ [O,+oo] aditiva, onde

B (f!)
o
={ BC ll B de Borel, IT compacto }

(j)
Proposio 1. S: " Se a uma medida de Radon sobre
!1 ento vale

a(B) = inf a(A) = sup o(C)

BC A E B (t1) C D
- o
C compacto
para todo B B (M).
o

(2) cf (3J - pp. 1011 - lOS

 12

O conhecimento dos valores de uma medida de Radom sobre

os abertos relativamente compactos~ determina o valor da mesma so

bre os borelianos relativamente compactos. Este fato partcula~

mente interessante em Rn, onde todo aberto pode ser escrito como

unio enumervel de cubos do tipo:

m. + 1
l
n
{ x e R : x. < ) onde k 8 N
l
'
e rn. 6 Z , i
l
= 1, . , , ,n
 /3

CAPTULO II

CONJUNTO DE PERHETRO LOCALHENTE fiNITO

<
Introduziremos, nesta seao, os conceitos de perlmetro

de um conjunto e conjunto de perlrnetro localmente finito. Apresen-
tamos alguns resultados clssicos da Teoria dos Permetros, como

a equivalncia entre perimetro de um conjunto e variao total de

de uma determinada medida vetorial, duas desigualdades bsicas ,

o teorema da compacidade e o teorema da semicontinuidade.

Consideraes gerais:

-Indicaremos com A~ B a diferena simtrica entre

dois conjuntos A e B, isto ;

A ~ B = (A - B) U (B -A)
-
- B e relativamente compacto em A, se BC A, B e aber-to -
em Rn e B compacto com dist(B, dA) > O, onde dA a fronteira

topolgica de A. Denotaremos por BC C A.

- Se {Bh} urna sequncia de conjuntos mensurveis, di

1
remos que {Bh} converge a um conjunto Bem L CA), e escreveremos

Bh + B em L1 CA) se

lim med [<Bh ~ B) (1 A] = O, ou seja, se

h+oo

lim J I~B (x) O , onde o/B e a funo carac

h+oo h
terstica do conJunto B

- ( Bh) converge a B em Lll (A) se para todo l<C CA ,

oc
 1
B em L ( K).

- se lim ~P.h (x) = $ 8 (x), indicaremos simplesmente por

h

- O suporte de uma funo real f em Rk, que denotaremos

k
por supp f, e a aderncia do conjunto de todos os pontos x R

nos quais f(x) 1 O.

-Por c o1 (A) indicaremos o conjunto das funes cont.-

nuas com derivadas primeiras continuas sobre- A, cujo suporte -

e
um compacto contido em A.

- Por g [c 01 (A) ] n en t en d eremos que g e- uma f unao

-

vetorial com n componentes, onde cada componente e contlnua, com - .

derivadas primeiras continuas em A e com suporte compacto em A.

Seja A um conjunto de Rn, com fronteira bastante regu-

lar para que valha o teorema de Green.

n
(1) f div g(x)dx = J g.v(x)dfln_
1
]
A 3A
onde v(x) e o vetor normal exterior, e g.v(x) g na direo

da normal exterior.

Observemos que, se tomarmos g 8 jg(xl\~ 1

v x, ento teremos:

Hn_ OAl
1
= sup { J g(x). v(x)dHn_ 1
3A

Logo, usando a (1), podemos escrever

 )5

n
Hn_
1
<aA) = sup{ J div g(x)dx gE[c~ (AJ] , igi~ 1 )
A

que sugere a seguinte definio.

Definio 2.1: Se E C Rn um conjunto mensurvel, ento

o penZmetno de E o valor (talvez +~ ) dado por

P(E) = sup { f div g(x)dx

E

Proposio 2. 1: (De Giorgi) 11

Se P (E) < +"" , ento existe
, n
um conjunto de Borel a:';E C aE- e para todo x a*E existe v(x)R

com l"<xll =1 tal que

div g(x)dx =
f
E
lg(x)"(x)dHn-1 ,V
;E . .
g

e portanto

H (I*El = P(E) .
n-1

Observao: O conjunto ()':E e chamado- 6ttonte.i..Jta Jte.du.zi..da.

de E.
Da proposio (2.1) conclumos que

Logo: se Hn-l (dE) < +oo ~ P(E) < +m

A recfproca, no entanto no vale, pols, se {B (x(i))}

pi
- - .
e uma sequencla de bolas com centros em {x (i)) , densa em Rn e
 00

com "l. p n-1

< +ro ' ento o con]'unto E =.U tem as se-
i=l ~ l=l

guintes propriedades:

a) P(E) "' nW n E p n-l

onde
l
i=l

= H l
n-
{x e Rn lxl = l }

b) H (aE) = + ro
n

-
isto e , P(E)< += nao implica que

N
V e 6a.to: Se u ento
i=l

N
\ n-1
= "nW p. para todo inteiro N
i=l n l

Por outro lado, para toda

temos que

J div g(x)dx = lim

N+=
g(x)dx ~ lim
N+oo
E

Loe;o: P(E){

Agora) como Rn = E U dE e

I! (E)< 01 < +00 e

n n
 e portanto H
11
_
1
(dE) = +oo

Definio 2.2: Seja A um aberto de Rn e B um boreliano

pe.ltZ.me..tJto de.. B em Jtef.aiio a A e definido por: -

P(B,A) = sup ( J oB(x)divg(x)dx ; g e
g
11
I g (X) I ~ J. 'v X A }

Se A = Rn ) esta definio coincide com a definio 2.1.

Se P(B,A) < +co , dizemos que B tem pe.Jtlme..ttr.o 6ini.to Jte..ta

.t-tvame.n.te. a. A

Definio 2.3: Se P(E,K) < +oo , para todo KCCA,

dizemos que B tem pe.Jrlme..tJtc foc.alme.n.te. 1)-i.n.Lto e..rn A.

Observ.:to: Um conjunto pode no ter permetro finito em

-
A, mas ter perlmetro localmente finito em A, onde med(A) < +co

2
Exemplo: Seja A= {(x,y) 8 R O< x < l e IYI< x}

l
E= ((x,y) R2 , -x < y < x.sen --l
X
y /
/ .
/ y=x

yI
' '
/I

\
I '
'
'

Temos: P(E,A) = +co

P(E,K) < +<, 'rf KCcA

 /ll

Definio 2.4: Seja a= (a, a , . , a ) uma medida

1 2 n

vetorial. Ento a variao total de a , a funo de conjunto la~

definida por

la I (B) = sup <I = 0

h=l

se k =i , V B C Rn } .

~bservao: A funo lal -

e uma medida.

Teorema 2,2: " Se B um boreliano de Rn e A um

aberto em Rn , ento a condio P(B,A) < + 00 equivale existncia

de n medidas de Radon a 1' "'2' '(J.n sobre A, tais que:

JA 8 <xldiv g(x)dx = I fA g.da. l l

= f gda
i=l A

n
g e[c;(Al] , lgl ~ 1

Ainda, P(B,A) = f dlal = I aI (A)

A

-
Demons t raao: ( la
- parte)

gi
Seja ".l = ( 0,0, ... '181 ' o . ' o)
,p.
l
tem suporte compacto em A e lw l I -~ l

8 (x)div ,pidx = - -
1
9s<xl ax.
'" ol
dx .::; P(B,A)
f I gl f l
A A
 !!I

P(B,A)jgj < P(B,A)<

r ag.
l
~ F(g.)
l = J <fB(x) ax. dx um funcional linear limi
l
A
tado.

<

Logo, pelo teorema de repres~ntao de RieZ, existe

uma medida de Radon a. tal que

l

g.da.
l l.
, para todo 1 = 1, .... , n

Portanto:

n n a".
i=l
r F(g.)
l
=
J i=l
r s<xl bl
ax.l dx

= ~
8 {x)div g(x)dx
J
A

n
= I
i;;l J
g.da..
l l
=
J gda
A A

( 2-"' parte) Mostraremos agora, que P(B,A) =lal (A)

a) P(B,A) ~ Jaj (A)

V ~::>O , existe urna partio de A, {Ah}, h:::l,

de conjuntos de Borel e existem pontos xh E A~"1 tal que

 A

n n
L
I g.da. <
l l I L gi(xh)ai(~) + o
i=l h=l i=l
A

= "L g(xh)a(~) + o
h=l

-" I lg<xhllla<~ll +o
h=l

~ I la(Ah) I+ o
h=l

-" laiCA)+ o

==? sup J, u<xldiv g(x)dx <lai<Al

b) P(B,A) ~ la I (A)

lJ e: > O, exis-te uma partio finita /\tf h=l, . , J.l

de A, tal que:

lai(A) < "L la(Bhll +o

hol

se

Seja
se
 Observemos que:

n n
r
i=l
~.r
~=1

n .
~ r shlo. (Bh)
. l
l~
l

Ento resulta que

11 (A) + < ~
h~l
I + <

Seja 'I (x)

l

Essa uma funo escada que verifica a relao

n
r
i~l
2
<1-(x) ~ l
l

Ento existem funes g.

l
c1o (/\), verificando a mesma
relao, e tais que

I
i=l
J <1. ( x) do.
l l
~ rJ
. l
l~
g. (X) do . + <
l l

Portanto,
 ,z:l.

I a I {A) <
i=l
n
L I ljl.
~
da.
l
+ E ~ I n
L g.da
. 1
~=
~
+ 2o

~ sup J ~ 8 (x)div g(x)dx + 2E

= la I (Al ~ P(B,A)

Logo:lai(Al = P(B,A)

Observao: Na 1.!-. parte da proposio 2.2 demonstramos

que: se P(B,A) < +<:0 ' ento existem n medidas de Radon a ' a ,., a
1 2 n
tais que

!g.
ax.l
~
dx =
I g.da.
~ ~

tambm frequente o uso da notao da. = D.$ d

l l 8 , on e
Di$B a medida derivada de $
8 no sentido de distribuio.

Poderamos ento reescrever a proposio 2.2 da segui~

te forma:

11 '
Se um conjunto de Borel B tem perlinetro finito em A

ento a funo carac-teristica p (x) admite derivada medida e se

8
tem ainda que:

P(B,Al =
J 1Do 8 1 = ID<i> I<Al
8
A

Definio 2 5 ; Uma sucesso { Th } e di ta r'egularizante

se:

al T.
n
 .:13
b) Th (x) ~o V X
'
c) Th(x) = o ,'I > h -1
I xl

d) JTh(x)dx = l
Rn

Definio 2.6: Sejam f uma funo seccionalmente con-

tnua em Rn Ento o pnoduto de eonvoiuo de f

com g que denotaremos f:tg, a funo definida em Rn por:

(f'<g)(x) = I
Rn
f(x-y)g(y)dy

Observao: Uma mudana de vari~veis mostra imediata -

mente que:

J f(x-y)g(y)dy = J f(y)g(x-y)dy '

e portanto
Rn Rn
(fOg)(x) = (gOf)(x) , V x.

Proposi~o 2.3: '' Sejam f e g

ento:

supp (f:':g) C supp f + supp g ,onde

A + B = { X + y : X A e y
B }

Pronosico 2 l~ : e de Borel em Rn ' se (<J;h}

" Se E - e -
uma sucessao limitada de funes em Cl(Rn) se t~h (x)->- $E(x) pa-
'
r a quase todo X Rn, ento

(2.4.1) P(E,A) <; lim inf J ID>'h(xlldx

h +OO
 .Z'/

{~h} - - reeularizan-
e uma sucessao

te, ento vale tambm

(2.4.2) lim supJ IDwh(x) ictx ~ P(E,A) , V ~ o

h+oo
A
-

onde A- = ( X e A ; dist (x,aA)}

n
Demonstrao:a) V 6 [C~(Rnl]
'

J
div (x)dx = ~im
h+oo
I <j~h(x)div (x)dx

E Rn
Usando integrao po~ partes, obtemos que

f th(x)div (x)dx =

Portanto:

I div (x)dx = lim

h+oo
(-J D<j~h(x)(x)dx )

E Rn

=
h+oo
lim (- I D<jlh(x)r,(x)dx ) ' se
A

supp c; A , =;>

f di v (x)dx ~ lim in f
h+-
1- I D</lh(x)(x)dx

E A
'

~ lim in f
h+oo
I ID)h(x)(x) lctx

A
 Se l<xll ~ 1 , V x , ento

f di v (x)dx ~ lim in f
h~oo f ID~h (x) I dx,
E A n
Logo: P(E,A) = sup( di v (x)dx : [c~(Rnl],
f
A

" lim in f
h~oo
f I D~h ( x) I dx
A

b) Observemos antes de tudo que:

= sup ( f {x) D~h (x)dx

, V X }

Portanto para provar (2.4.2) e suficiente estimar a

integral

f (x) D~h (x)dx

... 1 ,n
na hipotese de que [C (A_ lJ
0 6
,

l(xll " 1 ,'1 x.

Observando que t)Jh = <h :': $E temos que a integral a

estimar pode ser escrita

f {x){ fo.hcx-yldy Jdx =

E

f( f Dh (x-y) {x)dx )dy -

E
 I div ( -f th(x-y)(x)dx )dy

Se h < l_
o ~!
h.
> o . Portanto lxl>

Vemos ento que a funo

- JTh(x-y)(x)dx tem mdulo no superior a

1, e- de classe C1 e, se 1
h > 6 , tem suporte contido em A. Pode-

mos e.nto escrever que

f (x) D~h(x)dx = I. div ( f rh(x-y)(x)dx )dy

=f div ( - J Th(x-y)(x)dx )dy

< sup
g
{J
E (lA

= P(E,A) h > 1
' v o

ID~h(xll dx = sup ( (x) D~h(x)dx

f f
A_o
n
[c;cA_ 0l] '
I ( (X) I .:::; l,lf X }

,; P(E,A) v h > !o
'
 Logo: lim
h+oo

c.q.d.

Observao: Da definio de permetro segue que

P(E,A) = sup P(E,A_ )

!>O 0
Podemos agora provar a seguinte

Proposio 2.5 (Desigualdade I ) " Se E e E

1 2
sao
conjuntos de Borel de Rn e se A aberto em Rn, ento:

Der:1ons tras:o: Sejam

"h = Th
,, ~E
1

nh = Th
'1
<i> E
2 '
onde
{T
h
}
e -
uma sucesso regu~arizante.

Coloquemos

Ento: <I>E .$E (x) = $E nE (x) para quase to-

1 2 1 2

do x.

<i>l' <i>E (x) =

"l 2

.pE U E (x) para quase todo x Rn

l 2 .

Assim, pela parte a) da proposio 2.4 temos, lJ 8> O

 P(El n E2' A_) ~ lim in f ID,h(x) ldx e
h+oo J
A_ o

P(El U E2 , A_ 0 ) ~ lim in f I Dh ( x) I dx
h+oo J
A_

= P(E
1
n E2, A_) + P(El U E2 , A_) _,;

lim in f
h+oo J ID,h(x) lctx + lim inf
h+oo
J Dh (x) I dx
A_ A_

lim in f
(
h+oo J <ID,h(xll
A_

Como
'h = '~h nh =

-
Dh = D'lh + Dnh - 'Ih. Dnh -nh. Dwh

Desde que ~h e nh tem valores compreendidos entre

O e 1 ternos:

I Dr,h I + I Di;h I ~ (1 - 'Ih) I D'lh I + (l - h) I Dnh I

+ h I nh I + "h I Dh I

Portanto:

lim inf
h+oo
J CID'Ih(xll +JDnhCxll )dx
A_
 .zq
~ lim sup J( i D.;h (X) I + I Dnh ( x) I )dx
h+~

A_!

= lim sup {I I D<J;h (X) I dx + I I Dnh ( x) I dx

h+ ~

A_! A_!

lim sup I IDh(x) lctx + lim sup IIDnh ( x) Idx

" h+~

A_
h+~

A_
~ PCE , A) + P(E , A) pela parte b) da proposio 2.4
1 2

Logo:

c.q.d.

Definio 2.7: Um conjunto aberto BC Rn p.t. e u.do-

c..onve.xo em um pon-to x E: 8B, se existe um aberto A C Rn com x e A

0 0
tal que:

V E C C A vale a desigualdade

ou equivalentemente

P(B, A) C P(B U E, A)

Observao: B toealm~n-te. p}.eudo-c.onve.xo e.m A se

for pseudo-convexo em todos os. pontos de a B n A.

 ao
Proposio 2.6: (Desigualdade II) 11 Seja BC Rn local-

mente pseudo-convexo no aberto A C Rn. Ento para todo ECCA

temos

P(B () E) ~ P(E)

Demonstrao: Da proposio 2.5 aplicada aos conjuntos B

e E obtemos

(l) P(E () B, A) + P(E U B, A) ~ P(B, A) + P(E, A)

Como B localmente pseudo-convexo em A

(2) P(B, A)~ P(B U E, A) ,v EC cA.

Logo usando este resultado (2) na desigualdade (l),obte-

mos
(3) P(B(IE, A)~ P(E,A)

Como E C A e B n E C A, temos

P(B () E, A) = P(B()E) e

P(E, A) = P(E)

Logo: P(B (I E)~ P(E) c.q.d.

(j)
Teorer~2.7: (Comp~cidadc) " Seja {Bh} uma famlia

de conjuntos sa-tisfazendo

K ccn }
n
.
(]} cf [l] - 'l'eorama 2.10, p. 26
 31

Ento existe uma subfamlia {Bh.} tal que

J

Teorema 2. 8 : (Semicontinuidade) " Seja n C Rn aberto

e {Bh} uma famlia de conjuntos tal que

1
B em 1 (Q)
1o c

Ento:

11
lim inf
h+oo

(4) cf [l] ~Teorema 2.11, p. za

 CAPTULO III

t1EDIDA DO GRFICO DE UMA FUNO

Seja R ento

graf~f = {(x,y) e Rn: x e Q , y = f(x)}

n-l l
Definio 3.1: Seja f: n c R + R , f e c <n! o Chama

remos medlda do g~Jlca de f e indicaremos por lgrafnfl ao valor

da integral) isto :

lgrafnfl= I/
Q
l + JDfj
2
dx onde Df = grad f

A definio 3,1 foi generalizada por Lebesgue no caso em

0
que f e C (Q) o

Definio 3. 2: (rea de Lebesgue)

Seja f: nC Rn-l R

lgrafnfl = in f { lim in f
h+oo f /l + !Dfnl
2
dx
'

f
n e Lip(Q) e f
n
+ f "uniformemente em n }

Proposio 3.1 se f e Lip (il!

lgrafnfl =I /1 +JDfJ
2 dx
Q
 63

Demonstrao: Se f Lip (Q) , vale a relao

(l) f /1 +1Df(xll
2 dx = sup {f
n
[a 0 (x) + L a.l (x) f~x)j dx
i=l
n n
a. 8
l
C~(Q) , l= 1 , ... , n , I a I" l

Ve 6a-to: Sejam a = ( a
o' .... ' a ) [c~(nl]n-l
n

ia I .,; l e

= (1, H
axl
' ...... '
H
a~n
)

'
Ento,
f a(x)>l(xldx ~
fn laCxll /1 +\Df(xll
2
dx
n

f I1 1Df(xll 2 dx
"' n
[ . n f(
Como a(x)>l(x)dx
=f a (x) + L a. (x)~)J dx
f o i=l l xi
n
"
Temos

f la ~J !;.
n 2
o (x) + L a.
(2) (x) af(x)J dx 1Df(xl! dx
. l l ax .
l= l
n n

Df)
Reciprocamente, consideremos
=

I
(l,

1 Df 2

Ento e

(3) J I l + I Df ( x) I 2 dx = J>1 ( x) . ( l, Df ( x) ) dx
n n
 3'1

=
f [ .P (x) + n .p. (x)-
o . 1 l
H-
3 x.
l:
l= l_
J dx
n

""
sup {
a
[ a
0 f ( x) + a. (x)af(x)
1 ax.
J dx
g i=l l

a [c~<nl]n+l I a I ". 1 l
'

basta tomar uma regularizante para~.

De (2) e (3) resulta (1) .

Ento se fh + f uniformemente em n, fh 8 Lip (Q) e se

... 'an com I ai ~ 1 resulta

f[
n
+ L a. (x)af(x)
J dx =f[ a (x) -I aa. J
-~f(x) dx
ax.
n
i=l l dxi Q
0
i =1 l

a a.l
= lirn
h+oo fn [ a
0
(x)
n
. l:
l=l
h.
l
f h (X) J dx

n
a/fh(x)]
= lim
h+oo fn [ a
0
(x) + l: ax.l -
dx
i=l

Proposi_o 3. 2: 11
lerafQf I semi contnuo inferiormen

te rGspeito converncia uniforme, isto , se

+ f uniformemente, ento
 Demonstrao: Para todo h fixado existe uma sucessao

f(h) Lip (iJ) , fh uniformemente tal que

k

lim inf
k+~
Jll +fn<hlf
2
dx <
n
Por outra parte existe vh N tal que

~<hl
I rk -
f
h
I< 1
h ' e existe ~> vh tal

I lnf~hl 1
2
l
que
f
Q
' l +
kh
dx < lgrafnfhl + h

f(h) resulta
"h =
Posto
kh

l
lh
- f I ., Ih - fh I + If h - fi<
h
+ I fh - fi + o
h+oo

1
dx < l,;raf,f,
~ l1
I +
h

Definico 3. 3: f'edida do gr,~fico de uma funo f

 Sejam ~ C Rn aberto e a(x) uma funo vetorial a(x) ~ (

a (x), .... }an<xD contnua em n juntamente com suas derivads pri-

0
meiras e com suporte compacto em n.
Para f L~o c (Q) . ' definimos

lgrafnfl = sup
a
{
I
Q
[ a
0
(x) + Ll:
n

i=l
a a. (x)
l
ax.
l
l dx

a E [c~ <n l] "+ 1 la[.,;1,~ X Q ).

'

Esta definio de medida do grfico de uma funo gener~

liza as demais
-
,isto e, a definio 3.3 coincide com as defini-

oes 3.1 e 3. 2 quando f Cl(S1) ou f C0(n) respectivamente.

1 .
A medida do grfico de uma funo f L (Q) pode ser
1o c
calculada atraves do per!mctro de urn conjunto associado, rnals pr~

cisamente J temos

11
Proxosico 3. 3: Seja n C Rn um aberto e f8 Li 0 c(Q)

tal que:

E = { (x,y) Rn+l : x 851 , y < f(x) } , ento vale

I graf Kf I = II D,) E I KCCn"

KxR
Definio 3. 4: Uma funo f tem gJt6-c.o de. ~ired-da m-'t~t--

(5) c~ [3] - Teorem.1 1.8, P>' 522 - S2~

(5) cf [9] -Teorema l.ln, p. 525

 31

ma obne. n se

(n)

Proposio 3. 4-: 11
Se f e c2 ( n), f tem grfico de medi-

da mnima em n se) e somente se 3

Df ) = o
div (

Demonstrao: (:==?) Para todo t G R , seja

~(t) I D(f+tg) 12 dx , g e

Como f tem grfico de medida mnima, 1~ (t) =tem mnimo p~

ra t = O e portanto W'(O) = O

~ ' (t) = J D< r+tzlDg dx

2
Q /l+ID<f+tgl 1

' (o ) = Df . !Jg
=o
" fn /l+ I Dfl2
dx

Como f e C2(Q) e g e co1 <n l ol.ltemos) integrando por pa!:.

tes, que
3f
n dx..;
' (o ) = I 3 ( . ) dx =o ,
" f
Q
g(x)
i::l
dx.
l
fl+ I d
(-- )2
ax.l
i=l

g e e portanto ,
 58
H
n
a ox.l
Df
I -ax. ( ) = di v ( ) = o
i=l l
I 1+ I ( af
ax.l
)2 I l+ I Dfl
2

V X Q

(~) Reciprocamente) s~ponhamos que

Df
di v ( ) = o em n
11 + 1Dfl
2

claro que ~c o) = o

2
I D(f+tg) 12
~"(t) = J (1 + ) I Dgl - [DCf+tg) .Dgf
3
dx
Q
(1 + IDCf+tgll
2
)
2

2 2 2 2
(l + ID(f+tr;ll 1Dgl - IDCf+tgli .1Dgl dx
3
(1 + jD(f+tg)j 2 )"2

I
2
__ J.pc:lil----,-.- dx ~ O
= 3
o 2 2
(l + jD(f+tg)j )

Como ~ 1
(0) =O e ~''(t) ~O , ~te R (isto e, - <V -
e

estritamente convexa) ) temos que

$(0) '
= m1n <J;(t) e, em particular, temos
t

( l) - $(0) =
J
/1 + IDCf+gll
2
dx -
J
I 2
l+ jDfj ctx 7 O
o Q

~ f tem grfico de medida mnima sobre 51 c.q.d.

 Ob-5e.Jtvao: A equaao

di V ( Df ) = 0 'I X 8 Q

/1+ !Dtl 2

. denominada equao da6 6upen6Zc.ie..~ mZnima. ou e.qua..o de Eu.f.e..Jt..

Definio 3. 5: A fronteira de um conjunto aberto BCRn

e. Llp. c.hJ...tzJ..ana em um ponto x
o
B, se existe um aberto A C Rn
com X
o
A tal que lB n A grfico de uma funo Lipschitziana a

(n-1) variveis.

Ob.e.Jtva.o 1: Diz-se simplesmente que um conjunto abe~

te B c Rn possui frontei:ra Lipschitziana, se ela for Lipschitzia-

na em todos os pontos.

Ob.e.Jtva.o 2: Os conjuntos localmente pseudo-convexos

com fronteira Lipschitziana podem ser considerados uma generali-

zao dos conjuntos com curvatura mdia no-negativa.

De. &ato~
suponhamos que Sl seja pseudo-convexo em x
o
au e e xis ta um aberto B C Rn -l e uma funo lipschitziana

f: B + R

tal que o conjunto

n
graf B f = { (X, y) 8 R : X 8 B , y = f (X) } C A

(A aberto que contm x ) , onde

o

O n A = ( (x,y) . A n (BxR) , x 8 ll , y > f(x) }

Temos que

,VECCA,
 LJO
-
pols, n e pseudo-convexo em x o

Por outro lado, (cf Proposio 3.3)

II
A
Do n I = II
B
l + I Df 12 dx = I graf 8 f I

Logo, V 1/1 , ljJ ~ O e 11 suficientemente pequena" ,

temos

II
B
l + I Dfl 2 dx ~
I
B
/ l +I D( f +~ ) 1
2
cix , e portan'to

n-1 D.f.D.
1 1
' v ~ c1o Cll l '
(1)
Jl f I 1 I Dfl 2
dx ~ O

ljl ~O 11 11
e suficientemente pequena

Agora, no caco de f 8 c 2 (B) ento (1) implica que

n-1 D.f(x)
(2) I D.
l
l
> o ' v X B
'
conforme demonstra
i:::l
/1 + 1Df(xll
2

ao da proposio 3. 4.

A relao (2) exprime a no-negatividade da curvatura

mdia de an n A
 41
CAPTULO IV

PRINCPIO DO l1XIHO FORTE

Apresentaremos agora o princpio do mximo forte para

as fronteiras mnirnas 1 que pode ser visto como uma generalizao

do princpio do mximo para funes analticas. Uma das aplica -

es deste princpio se verifica na unicidade da soluo do Pro

blema de Dirichlet para Equao das Superfcies l-1nirnas.

Definio 4.1: Um conjunto E tem fronteira de medida

mnima em nxR, n aberto de Rn, se valem

a) I DoE I < +oo ' v K CCnxR

J
K

b) , lJ K C C QxR , v 11 com
J IDEI
K
" J I D9l!l
K

H' ECCK

Definio 4. 2: Uma funo f: Q + [-w , +.,] chamada

abe..!Lto n , se f for mensurvel segundo Lebesgue e o conjunto

E ={ (x,y) Rn+l X 8 [l , y < f(x) }

tiver fronteira de medida mnima em f.lxR

Observao: Os valores de uma tal funo f podem ser

modificados sobre um conjunto de medida nula sen que isto tenha

influncia na validade de a) e b) da definio '-1-.l. Portcmto, as

solues generalizadas da equao das superf{cies mnimas so con

sideradas definidas a menos de um conjunto de medida nula.

 4Z
-
Assim, graas a possibilidade de se poder redefinir f,
podemos supor que

1) Se P > O , med [BP(x,y) n E] = med BP(x,y)

(x,y) E

2) Se P > O , med [BP(x,y) n E] = O ~(x,y) 8 E ,

ou equivalentemente

I
( 2) (x,y) 8 3 E - V P >O, O< med [BP(x,yln E]

< med BP (x,y)

Em relao regularidade da fronteira de medida mni-

ma, De Giorgi demonstrou em 1960, o seguinte

(j)
Teorema L~.l: " Se E e um conjunto de fronteira de

medida mnima em um aberto A C Rn e vale- ( 2)' para E, ento exis-

te um aberto A :::_ A tal que, dE

0
n A0 localmente grfico de uma

funo analtica de (n-1) variveis, soluo da equao das super

fcies mnimas e

lin-l(A - Ao) =o

8 Rn-1
Lema 4. 2' Seja op = { X
' lxl < p }

Se f; B
p
+ (-o ,o ) e lipschitziana

Se E C Rn tem fr'onteira de mGdida mlnima em

..
A= B x(-d , 6) e verifica
p

{7) cf (~] - TC!O!'e!M 4, p, 17

 Ento: ~ a < p , dada a funo f , contnua em B , coin-
cr P
cidente com f em (B - B ) e, soluo da equao das superfcies
..
mlnlmas em B , tem-se tambem que:
cr
P cr
-
E C {x B xR ~f
cr <x , .... , xn- 1 ! l
p 1

Demonstrao: Fixado o < p , seja

L = {x B xR
cr P

Pela desigualdade I ( cf Proposio 2.5.) temos

(1) ID~E u L I<A) + ID~E(l L I<Al .( ID>EI(A) + ID>L I<Al

cr cr cr

Por
outro iado) pela propriedade de mlnlmo de E e L
cr
temos

(2) L I (A)
cr

(3) ID>L I (A).:.; IDq,E u L I (A)

cr cr

Portanto, em (1) ,(2) e (3) deve valer o sinal de igunl-

dade. A igualdade em ( 3) implica que E U L = L Logo E C L

0 0 0

Teorema 4. 3: (Principio do mximo forte)

11
Seja 11 c Rn pseudo-convexo com fronteira Lipschi tziana

em x
o
e an. Seja E um conjunto com fronteira mnima em um aberto

A 3 x e seja
o

E(1ACo(1A , X 8 dQ(i dE
o

Ento, existe um aberto A' , x 8 J\ 1 C A, tal- que

o
 aE (1 A' = an (1 A' e

dE nA' grfico de uma funo analtica de (n-1) va -

riveis, soluo da equaao das superfcies de rea mnima.

Demonstrao: R

Sem perda de generalidade, podemos supor que x = O

o
Como Q pseudo-convexo em x
o
e dQ, com ,fronteira

Lipschitziana, existe p R , p > O e uma funo

f:B
p
= { X Rn-l !xl < P } + (- , O) lioschitziana

com on[s p x(-6 ' l] = [ x B xR :

p > xn ~ f ( x l ' ' ' ' ., xn-1)}

Podemos ainda supor que p seja tal que E tenha frontei

' .
ra mlnl.ma

Fixado a < p, seja f

0
como no lema lt. 2, isto e , f- a
fun-
o contnua, coincidente com f em (BP - Il 0 ) e soluo da equaao

das suoerfcies
mnimas em Ba .

Como 11 pseudo-convexo em x
o
, devemos ter f
a
? f. Alm

disto, pelo Lema 4.2 c pela condio de O e dE, temos

,_______
lt_ _ _ _ _ _ _ _ , ,
"_
-
 41)

Pelo fato de E ter fronteira mnima em B x(-,) segue

p
do teorema 4.1 que, existe a ~ p , ..:S tal que
o o

E n IB
- {f
x(-
o
,
o
l] =
o

{ X e B
a
x(-
o
, )
o
onde
o

funo analtica, soluo da equaao

das B
a
o
Temos ainda que:

u(x) 1:- f (x) 'i x e 8

ao
Ento, pelo princpio do mximo para fune's analticas,

, u(x) = fa(x) a
o

Pela arbitrariedade de a temos que

u(x) - f(x) V c.q.d.

Assim, o principio do max_uno for-te garante que, se O .

11 11
R e E C R so tais que:

- Q pseudo-convexo com fronteira Lipschitziana em x

0

pertencente a fronteira de Q

E tem fronteira mnima em um aberto X

o

Ento,

as fronteiras de Q e de E coincidem em uma vizinhan-

a aberta A' de x , contida em A

0
 - Em A, a fronteira de n (de E) e grfico de uma funo

analtica de (n-1)

0
Teorema 4. 4: 11
Seja Q CR aberto, limitado e I e
L1 (n) tendo derivada primeira medida finita. em Q . Se o conjun-

to

E::: { x QxR: xn+l < f(x , ..... ,xn)}

1

tem fronteira de medida mnima em nxR, ento f e uma funo ana-

ltica real".

Este resultado garante a regularidade da fronteira dos

conjuntos que tem permetro mnimo. Embora seja este seja um

resultado muito importante, no fazemos a demonstrao por fugir

do objetivo deste trabalho.

Aplicaremos agora o princpio do maximo forte na reso-

luo do problema de contorno, com dado contnuo, para a equao

das superfcies mnimas sobre abertos limi-tados e localmente

pseudo-convexos com fronteira Lipschitziana.

Teorema 4.5: " Seja n c Rn aberto, limita do e local -

(B) cf[B] - Tcorc;:on 3, p. 364 '

 4'1
mente pseudo-convexo com fronteira lipschitziana e seja

g:an -+R
cont1.nua

Ento, existe uma nica u 8 C(Q) n Cw(Q) , soluo da equaao

ff'
das superf1cies ...
rn1n1mas em n e igual a g em an
"

Demonstrao: Seja B uma bola aberta, limitada de Rn

tal que n C CB.

.
Pelo teorema de extenso de Gagl1ardo, podemos de-

finir uma funo g 1~:B + R continua tal que g*/an = g e com sua

derivada primeira localmente integrvel. Ainda,

sup { Jg'"'(x)J, x Bl = sup { Jg(x)J, x an }

Seja 1- a classe das funes mensurave1s em B e tendo

derivada pr1me1ra medida finita em B e coincidentes com g:'.: e:n

B - n.
Em 3- consideremos o funcional

' .
Queremos mostrar que este funcional assume um rnlnlmo

na classe ,J

Observemos antes que:

- g'' J- e F(g'') < +oo =? ]Inf F(F)

f e :1
Seja fh uma sequncia de, funes minimizantes , ou

(9) C[ )6/ - p. 304

 LJB

seja: fh J, f h = g'' em B - Q V h e

lim fgraf 6 fh[ = inf F(f)

h+~ f 3-

-
Desde que g' e limitada sobre an, podemos supor que ca-

da fh seja limitada por

~ -
max
x e an
g~':(x) , v h

Portanto, existe uma subsequncia (fh.) que converge

J
uniformemente a u ~

Como:

!graf 8 u 1~ lim inf inf F(f)

j+oo f e :r

Segue-se que u e o '

ffilnlmo
. parao funcional F. Logo, pe-

lo teorema 4.4, u = u(x) e uma funo real analtica em~, solu-

o da equaao das superfcies mnimas e u = g 1: em B - n

o
Como g 8 C (dO), resta demonstrar que u = g em an
Para isto ob5ervemos, antes de tudo, que o conjunto

E = {(x,y) Rn+l , x B e y < u(x)}

tem fronteira mnima em !1xR, mais precisamente, temos:

UxR nxR
Agora, para cada x
o
an, consideremos uma sequncia

(~) de u de modo que

X
o
 -
Como u e limitada em 11 , existe uma subsequncia (xh. )
J
tal que

~im u(xh.> = y 0 e portanto (x,y)G'E

]+> J o o

Queremos agora mostrar que Yo = g(xo).

Suponhamos que y > g(x ) e consideremos o ponto (x ,y )
0 0 o o
e 'nxR.

Existe uma bola B (x ,y )

p o o
C Rn+l tal que nxR e- pseudo -
convexo em B (x ,y ) e
p o o

E n B (x ,y ) C QxR , com
p o o

V 11 C Rn+l , 11H C CCnxR) l B

J p

1J n (tixR) B n (iixR)
o o

Como,

- (nxR)n B (x )y ) e pseudo-conv0xo em (x 0 ,y )
0 0 0 0
- (x ,y ) ('OxR) l 'E
o o

Se mostrarmos que E tom fronteira de r:tedida mnima em

B (x ,y )
p o o
isto ,

V :1 ) 11 b. E C C B (X , Y )
p o o
 50
podemos aplicar o Princpio do ~lximo Forte (Teor. lf, 3) e afirmar'

que existe O < r < p ) tal que

aE(\ B (x ,y ) = C3nxR) (\ B (x ,y )
p o o r o 0

Logo, existe ] tal que j ~ j , ento

0 o

-absurdo, uma vez que xh.~ dn para

J

todo h ..
J

!'1ostremos ento que

V M, 11 t; E C C B (x ,y )
p o o

De. Sato:

B~ -6xR). n,n <ilxR)

"'
11 A EC Cll (\ (nxRl
. p
!l n cilxP.J
"

IJ n <ilx!n
'

Usando a) em b) 1 temos

UNICAMI"
rrrt'':rF~~ r q-;~,;
 51

' B -{ilxR)

(OilxR)OB

Por outro lado, como (DxR) () 8 -

e localmente pseudo -
p
convexo, vem

[D~nxRI v H, HC C B
f "f [D4(nxR) U M[ p

' . ''

Usando a proposlao 2.5 (Desigualdade I) segue-se

- JI D$ (OxR)() 11 i-J[D"M[+
'.

B B -(i1xJ!l <anxn fl:>

( ~~xR) il 3
'
 Substituindo (d) em (c) vem

'I H C Rn+ l , 11 ~ E C C B (x ,Y )
p o o

Para y
o
< g(x )
o
a demonstrao, por contradio, -
e

anloga. Assim, y = g(x ).

0 o

Resumindo:

(1) -Para todo x

0
an e toda sequncia (~) de B - n, com

lim = X temos que

o

= lim g''(x. )
n
= gi<(x )
o
= g(xo )
nL +oo

(2) - Para todo x0 an e toda sequncia (~) de Q, com

lim , existe uma subsequncia satisfazendo

h-+oo

lim g(x )
j-+oo o

Obser'J~ifloS que (2) tambm vale se tomarmos (xh) em d\1 ,

Com e.6e...to:

X e
o

Seja C Q, com

Ento - X
k
+ X
k
- X
o I

X,
K
I + IX,K - X
O
I + o
h,k+co
Al~m disso, tomando uma suhscqu~ncia de (xk), se nccess5rio,
temos:

Em vista dos resultados (1), (2) e (3), definimos

u(x) = g(x), V x 8 an , o que conclui a demonstrao

do teorema.

Ob. eJtva.a: Este teorema contm os resultados demonstra

dos por ll.l'c!iranda (1965) e Jenkins e Serrin (1968), os quais con-

sideravam os casos de abertos uniformemente convexo!; e localmente

2
pseudo-convexos de classe C respectivamente. Has, segundo as pa-

lavras do prprio !1. Hiranda, o interesse do teorema no se situa

tanto na generalizao obtida quanto no mtodo de demonstrao ,

-
que e completamente novo respeito a aquele de H. Miranda e Jenkins

e Serrin.

Este resultado foi generalizado (1977) por Eodney C.Bas-

sanezi (cf [z] ), que no leva em conta o fato da fronteira 3fJ

ser lipschitziana.
 BI BL I OGRAF I A

[1] Bacci, Ricardo P,pparcio- "Permetros de Medida Hinima com

- '
obstaculos sutls".

Tese de Mestrado - Campinas - 1976

[2] Bassanezi, Rodney Carlos- " Sobre o Problema de Dirichlet n-

Dimensional para equao das superfcies mnimas em

domnios com fronteira singular".

Tese de Doutoramento - Campinas - 1977.

[3] De Giorgi, E.- Colornbini, F- Piccinini, LC.- Fnon:tiene Olt.A. en

:ta:te. di !1LHur.a 1.litti.ma e Qu.e-:tJ.onJ. Cof..ega:te - Pubbl.

cl. Scienze, S. N. Sup - Pisa, 1972

[4-] De Giorgi, E.- 11 Complementi alla teoria della mlsura (n-1)

dimensionale in uno spazio n- dimensionale"

Nat. Se. Norm. Sup., Pisa 1960-1961.

- - - - " Su una teoria generale della misura (r-1) dimensio-

nale in uno spazio ad r dimensioni" , im Ann. di Pat.

f,ppl. vo1 36, serle IVl 1954-

[s] Gagliardo, E. n Caratterizzazione delle traccc sullu. frontie

ra relativc a.d alcune classi di funzione in n varia-

bili 11 , Rend. 1-!at Paclova, v.ol.27- 1957.

[7] Halmos, P. - 1\.le.a-.Sulte. Tlte.oJtU Van No~J-trand. N:Y - 19SO

[8] ~1iranda, H. - " Um Principio di tlassimo forte per le frontie

re minirnaLi. e una sua appli.cazione alla Y.isoluzione

dele superfici di area rnnima 11 , in Rcnd. Sem. Hat

Univ. Padova, 1971

 55'
[9] '! Superfici Cartesiane generalizzate ed insiemi di

Permetro finito sui Prodotti cartesiani 11

in Ann.

Se. Normal Sup. Pisa, 196~.

[Lo] " Superfici Hinime" . - Publ. IMPA - 1976

Campinas, setenbro de 19 '/7