Apostila-Métodos Clássicos em Teoria Dos Potenciais

M etodos Cl assicos em Teoria do Potencial
Augusto C. Ponce
5 de dezembro de 2005
[. . .] la physique ne nous donne pas seulement loccasion de r esoudre des probl` emes; elle nous aide ` a en trouver les moyens [. . .] (Henri Poincar e)
` minha terra natal. A
Pr ologo
H a muitos anos, deparei-me com uma cita c ao de Henri Poincar e na qual este armava que o papel do educador consiste em fazer com que a crian ca passe novamente por onde estiveram seus antepassados, atravessando algumas etapas mais rapidamente, mas sem omitir nenhuma; a hist oria da Ci encia deve ser nosso guia.(1) A proposta de Poincar e e nada convencional e raramente colocada em pr atica. Nos livros de Matem atica em geral, a Hist oria e colocada a parte, quer como algo impuro, distante das coisas s ` erias, ou como se fosse sagrada e que n ao poderia ser tocada sen ao pelos especialistas. Como resultado, temos a seguinte situa c ao: de um lado est ao os comp endios em Hist oria da Matem atica, os quais, com algumas exce c oes, preocupam-se em transmitir intrigas sobre matem aticos famosos cujas obras s ao feitos inating veis e inquestion aveis, verdadeiros objetos de inspira c ao divina; do outro lado encontram-se os textos did aticos que se abst em dos fatos hist oricos (pertinentes) envolvidos. O resultado dessa cis ao e um estudante mal informado (e por que n ao dizer desmotivado?) sobre seu objeto de interesse. Neste trabalho, pretendemos apresentar v arios m etodos de resolu c ao do problema de Dirichlet para a equa c ao de Laplace u = 0 u=f seguindo a proposta de Poincar e.
(1) L educateur doit faire repasser lenfant par o` u ont pass e ses p` eres ; plus ` ce compte, lhistoire de la science doit rapidement mais sans br uler d etape. A etre notre premier guide. (H. Poincar e, [59], p.71)
em , sobre ,
(P)
vii
viii preciso deixar claro que o leitor n E ao est a diante de um trabalho em Hist oria da Matem atica, a despeito do enfoque dado. A seq u encia hist orica e utilizada somente como um palco onde e apresentada a evolu c ao temporal de determinados t opicos. O texto, contudo, n ao segue a ordem cronol ogica dos fatos. Com respeito aos m etodos apresentados, foi dada prefer encia a uma apresenta c ao mais moderna, aproveitando os recursos que a Matem atica nos proporciona atualmente. Mas em muitos casos encontram-se coment arios sobre as demonstra c oes originais e, principalmente, sobre alguns graves erros cometidos na epoca. Isso visa mostrar ao leitor um per odo de trevas at e meados do s eculo 19, numa epoca em que n ao se tinha uma id eia muito clara dos limites da Matem atica. No primeiro cap tulo, encontra-se um breve hist orico sobre a equa c ao de Laplace, bem como algumas propriedades fundamentais sobre fun c oes harm onicas que ser ao utilizadas na seq u encia. Ap os um retrospecto dos fen omenos que deram origem ` a equa c ao de Laplace, apresentamos uma compara c ao entre esta e a equa c ao de Poisson. O Cap tulo 2 se concentra no per odo anterior ao c elebre Princ pio de Dirichlet. O primeiro m etodo apresentado e o de Fourier, baseado na separa c ao de vari aveis. Em seguida, passamos ` a constru c ao e exist encia da fun c ao de Green associada a (P). O tema central do terceiro cap tulo e o Princ pio de Dirichlet, cuja formula c ao original estava incorreta, mas mesmo assim seria utilizado por Green, Dirichlet e Riemann para garantir a exist encia de solu c oes do problema de Dirichlet. A possibilidade de solu c ao de (P) auxiliaria Riemann na obten c ao do Teorema de Representa c ao Conforme em vari aveis complexas. O Cap tulo 4 apresenta alguns m etodos alternativos para a resolu ca o de (P) surgidos a partir de 1870, logo ap os o m do Princ pio de Dirichlet: o processo alternante de Schwarz e os m etodos da equa c ao integral de Fredholm, de varredura de Poincar e e o das fun c oes subharm onicas de Perron. Ou ltimo cap tulo e dedicado ao resgate do Princ pio de Dirichlet proposto por Hilbert em 1899. A id eia de Hilbert consistia em utilizar seq u encias minimizantes para obter o ponto de m nimo da integral
ix de Dirichlet I (u) :=
|u|2 dx
sobre uma classe de fun c oes admiss veis conveniente. O Cap tulo 5 inicia-se com a utiliza c ao de seq u encias minimizantes em C 1 () co n ao e bem adaptado a tais problemas C (). No entanto, esse espa de minimiza c ao. Para remediar essa situa c ao, e mais natural considerar a formula c ao fraca do problema de Dirichlet via espa cos de Sobolev. Em seguida, passamos ao m etodo de proje c ao ortogonal de Weyl. Por m, apresentamos uma compara c ao entre as formula c oes cl assica e fraca associadas a (P). Meus agradecimentos a todos os colegas que me incentivaram durante a prepara c ao do manuscrito.
Augusto C. Ponce Po cos de Caldas, julho de 2000 Po cos de Caldas, agosto de 2005
Sum ario
1 Introdu c ao 1.1 Hist orico . . . . . . . . 1.2 A equa c ao de Laplace 1.3 A equa c ao de Poisson 1.4 A f ormula da m edia . 1.5 O princ pio do m aximo 1.6 Exerc cios . . . . . . . 1 1 4 6 13 16 20 23 23 24 29 34 38 39 42 47 52 55 55 59 62 62 63 67
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
2 Os trabalhos pioneiros 2.1 O m etodo de Fourier . . . . . . . . . . . . . . 2.1.1 O problema de equil brio t ermico . . . 2.1.2 O argumento de Fourier . . . . . . . . 2.1.3 Demonstra c ao do Teorema 2.1 . . . . 2.2 A fun c ao de Green . . . . . . . . . . . . . . . 2.2.1 Constru c ao da fun ca o de Green . . . . 2.2.2 A f ormula de Poisson . . . . . . . . . 2.2.3 Sobre a exist encia da fun c ao de Green 2.3 Exerc cios . . . . . . . . . . . . . . . . . . . . 3 O Princ pio de Dirichlet 3.1 Sobre o chamado Princ pio de Dirichlet 3.2 O Teorema da Aplica c ao Conforme . . . 3.3 O m do Princ pio de Dirichlet . . . . . 3.3.1 O criticismo de Weierstrass . . . 3.3.2 O exemplo de Prym . . . . . . . 3.3.3 O exemplo de Hadamard . . . . xi
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
xii 3.4
SUMARIO
Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . .
70
4 M etodos alternativos de resolu c ao 4.1 O processo alternante de Schwarz . . . . . . . . . 4.2 O m etodo da equa c ao integral de Fredholm . . . 4.3 O m etodo de varredura de Poincar e . . . . . . . 4.4 Nova crise no problema de Dirichlet . . . . . . . 4.5 O m etodo das fun c oes sub-harm onicas de Perron 4.6 Exerc cios . . . . . . . . . . . . . . . . . . . . . . 5 A ressurrei c ao do Princ pio de Dirichlet 5.1 Os m etodos diretos do C alculo das Varia c oes 5.2 A formula c ao fraca do Princ pio de Dirichlet . 5.3 O m etodo da proje c ao ortogonal de Weyl . . 5.4 Solu c oes fracas versus solu c oes cl assicas . . . 5.5 Exerc cios . . . . . . . . . . . . . . . . . . . . Refer encias Bibliogr acas Nota c ao Indice Remissivo
. . . . . .
. . . . . .
71 . 71 . 78 . 84 . 92 . 96 . 104 107 108 116 122 126 128 131 139 141
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
Lista de Figuras
2.1 2.2 2.3 3.1 3.2 3.3 3.4 4.1 4.2 4.3 4.4 4.5 Gr aco de u(x, y ) . . . . . . . . . . . . . . . . . . . . . Somas parciais da s erie . . . . . . . . . . . . . . . . . . O dom nio do exemplo . . . . . . . . . . . . . . . . . Elementos da fam lia u . O exemplo de Prym . . . O exemplo de Hadamard . Gr aco de f . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 36 43 63 65 68 70 73 74 75 94 96
Orienta c ao de . . . . . . . . . . . . . . . Curvas 1 , 2 e em . . . . . . . . . . . As regi oes 1 e 2 . . . . . . . . . . . . . . Curvas de n vel do potencial gravitacional u Curvas de n vel de u no plano x1 x2 . . . . .
xiii
Cap tulo 1
Introdu c ao
1.1 Hist orico
A palavra potencial tem origem do latim potentialis, derivado de potens, e sua utiliza c ao no contexto da Filosoa remonta aos s eculos 15 e 16, em refer encia a algo em estado latente mas que n ao possui efeito real(1) . Dieudonn e(2) observa que seu uso em Matem atica deve ter sido inuenciado pelos l osofos naturais do s eculo 18, o que poderia explicar o fato de tanto George Green(3) (1793-1841) (recorrendo ` a express ao potential function, em ingl es) como Karl Friedrich Gauss(4) (1777-1855) (potential, em alem ao) apelarem ao mesmo termo, mas de forma totalmente independente, para se referirem ` as solu c oes da equa ca o de Laplace u = 0. Parece prov avel que tenha ocorrido tal inu encia, mas coube a
In : P. Robert, [63], v.7, pp.645646. A. Dieudonn e, [16], p.35. (3) G. Green, An Essay on the Application of Mathematical Analysis to the Theory of Electricity and Magnetism. In : Papers, pp.1-115. Apud G. D. Birkho, [4], pp.347358. (4) K. F. Gauss, Allgemeine Lehrs atze in Beziehung auf die im verkehrten Verh altnis des Quadrates der Entfernung wirkenden Anziehungs und Abstoungskr afte. In : Werke, v.5, p.200 et seq. Apud O. D. Kellogg, [40], p.52.
(2) J. (1) Potentiel.
[CAP. 1: INTRODUC AO
Daniel Bernoulli (1700-1782) a primeira refer encia ao conceito de potencial, em sua obra Hydrodynamica (1738), utilizando a id eia de vis potentialis (energia potencial), como sendo uma quantidade a partir da qual um campo de for cas poderia ser obtido. At e meados do s eculo 18, o termo potencial estava longe de se consolidar. Na Encyclop edie, a palavra francesa que mais se aproxima e puissance (pot encia) e, muito embora j a viesse sendo bastante utilizada naquela epoca, Jean le Rond dAlembert (1717-1783) reconhece que tal conceito possu a um signicado um tanto confuso(5) . A equa c ao de Laplace por sua vez viria ` a luz somente em 1752, no trabalho Princ pios do Movimento dos Fluidos de Leonhard Euler (1707-1783). O objetivo de Euler era estudar o comportamento do campo de velocidades V de um l quido incompress vel numa regi ao R3 . Nesse caso, temos rot V = 0 e, sendo simplesmente conexo, V e um campo gradiente; em outras palavras, existe uma fun c ao v (que viria a ser chamada potencial de velocidades por Hermann von Helmholtz (1821-1894), em 1868) tal que V = v . Por outro lado, sendo o l quido incompress vel, o campo de velocidades est a sujeito ` a Lei de Continuidade div V = 0, e, portanto, v = 0 em . Euler limitou-se as solu ` c oes desta equa c ao na forma polinomial, uma vez que reconhecera n ao ser capaz de determinar uma solu c ao geral para ela. Joseph Louis Lagrange (1736-1813) obteve resultados semelhantes em 1762(6) sem que zesse qualquer men c ao ao trabalho de Euler. Mas os primeiros avan cos realmente reconhecidos no campo da Teoria do Potencial est ao ligados ` a Astronomia, que recebeu grande parte dos esfor cos dos matem aticos do s eculo 18, numa busca incessante de aprimoramento dos trabalhos de Isaac Newton (1642-1727). O objetivo era de prever e descrever o movimento de corpos celestes. Segundo a Lei da Gravita c ao Universal, o campo gravitacional gerado por uma part cula de massa m no v acuo pode ser expresso
: [. . .] & plusieurs autres th eor` emes semblables qui ne sont pas toujours d emontr es dans la pratique avec toute la pr ecision possible, parce quon y donne commun ement une notion un peu confuse du mot de puissance. (J. le R. dAlembert) In : [15], v.13, pp.555556. (6) J. L. Lagrange, Misc. Taur. 2 (1760\61), publ. 1762, 196298; uvres, v.1, pp.365468. Apud M. Kline, [41], p.525.
(5) Puissance
[SEC. 1.1: HISTORICO
por F (x) =
x m |x|3
x R3 \ {0}.
No caso de uma distribui c ao de massa numa regi ao com densidade , o campo de for cas resultante e F (x) =
xy (y ) dy |x y |3
x .
Em 1773, Lagrange(7) constatou que, nessas condi c oes, temos F = v, onde v (x) =
1 (y ) dy. |x y |
Essa observa c ao foi de grande valia a Pierre Simon de Laplace (17491827), pois transformava o estudo do campo gravitacional, com tr es componentes, ` a an alise de uma u nica fun c ao escalar. Laplace vericou que v satisfazia a equa c ao v = 0 no exterior da regi ao , primeiramente em coordenadas polares(8) em 1782 e, posteriormente, em coordenadas cartesianas(9) em 1787. Tal equa c ao, conforme observou Sim eon Denis Poisson(10) (1781-1840), serviu de base para belas investiga c oes sobre a atra c ao de esfer oides. A equa c ao de Laplace tamb em se mostrou presente nos fen omenos eletrost aticos e magnetost aticos no v acuo gra cas aos trabalhos de Charles Augustin Coulomb (1736-1806) na d ecada de 1780(11) e que, por sua vez, j a haviam sido detectados experimentalmente por Daniel Bernoulli antes mesmo de 1760(12) .
(7) J. L. Lagrange, M em. des sav. etrangers 7 (1773); uvres, v.6, p.348. Apud O. D. Kellogg, loc cit. (8) P. S. Laplace, Th eorie des attractions des sph ero des et de la gure des plan` etes, M em. Acad. Sci. Paris 1782 (1785); uvres, X, pp.339419. Apud G. D. Birkho, [4], pp.336338. (9) P. S. Laplace, M emoire sur la th eorie de lanneau de Saturne, M em. Acad. Sci. Paris 1787 (1789); uvres, XI, pp.273292. Apud G. D. Birkho, loc cit. (10) S. D. Poisson, Remarques sur une equation qui se pr esente dans la th eorie de lattraction des sph ero des, Bull. Soc. Philomath. Paris 3 (1813), 388392. In : G. D. Birkho, op cit, pp.342346. (11) C. A. Coulomb, Hist. de lAcad. des Sci., Paris (1785), 569577. Apud O. D. Kellogg, op cit, p.175. (12) Cf. M. Kline, [41], p.507.
Baseado em seus estudos sobre o fen omeno de condu c ao do calor, Jean Baptiste Joseph Fourier (1768-1830) submete em 1807 ` a Academia de Ci encias de Paris um artigo intitulado Sur la Th eorie de la Chaleur, segundo o qual a evolu c ao da temperatura u de um corpo homog eneo deve satisfazer a equa c ao ut = u. (1.1)
Admitindo-se que a temperatura u de um s olido homog eneo esteja em equil brio, segue de (1.1) que u = 0, e mais uma vez obtemos a equa c ao de Laplace.
1.2
A equa c ao de Laplace
O fato de a equa c ao de Laplace aparecer na formula c ao de modelos f sicos t ao diversos e, sem d uvida alguma, intrigante. Na verdade, foi necess ario algum tempo para que os matem aticos do s eculo 19 percebessem que deveria haver um conceito comum por tr as disso. A resposta encontra-se na id eia de equil brio, i.e., que podemos associar a cada um desses fen omenos uma quantidade cujo uxo total em qualquer regi ao seja nulo. Mais explicitamente, temos: Num l quido incompress vel, a quantidade de mat eria que penetra numa regi ao dever a ser compensada pela sa da de igual volume, para evitar uma eventual mudan ca de densidade do l quido. O campo de for cas gerado por uma part cula (ou uma carga el etrica) pode ser associado por analogia aos raios luminosos produzidos por uma fonte pontual. Nesse caso, todos os raios que incidem sobre uma regi ao que n ao contenha tal ponto luminoso necessariamente ir ao sair dela, e o uxo total ser a nulo(13) . Num s olido homog eneo em equil brio t ermico, as trocas de calor entre as diversas partes do corpo devem se compensar, para que n ao ocorram varia c oes de temperatura.
(13) E plaus vel que esta analogia possa ter auxiliado Newton a formular sua Lei da Gravita c ao Universal.
DE LAPLACE [SEC. 1.2: A EQUAC AO
Em termos matem aticos, se considerarmos u como sendo uma grandeza f sica satisfazendo a condi c ao u d = 0 ,
seguir a do Teorema do Divergente (Vid Equa c ao (2.36)) que u dx =

div u dx =
u d = 0.
Sendo o aberto arbitr ario, devemos ter u = 0 em . (1.2)
Se u C 2 () satisfaz (1.2), ent ao diremos que u e uma fun c ao harm onica . Inversamente, podemos considerar tudo o que foi visto at e aqui do ponto de vista puramente matem atico e associar fen omenos f sicos generalizados para regi oes abertas Rn , com n 2. O potencial gerado por uma part cula em Rn corresponde ` as solu c oes radiais da equa ca o u = 0, e que s ao da forma (Vid Exerc cio 1.1) u(x) = a log |x| + b, se n = 2, 1 u(x) = a n2 + b, se n > 2. |x| (1.3)
Uma no c ao cl assica em Teoria do Potencial e dada pela seguinte o (Soluc o fundamental) A solu Definic a a c ao fundamental da equa c ao de Laplace e denida como 1 1 log se n = 2, 2 | x | (x) = x Rn , x = 0. (1.4) 1 1 se n > 2 , (n 2)n |x|n2 Na linguagem moderna da Teoria das Distribui c oes isso signica que = 0 , ou seja, (Vid Exerc cio 1.2)
Rn
(x y )(y ) dy = (x) x Rn ,
C0 (Rn ). (1.5)
Seja Rn um conjunto aberto qualquer. Consideremos a seguinte o Existe uma congura Questa c ao de equil brio de temperatura sobre , sabendo-se que sobre a superf cie do condutor a temperatura e dada por f ? Matematicamente, temos o seguinte problema de Dirichlet : Determinar u : R tal que u = 0 u=f em , sobre , (1.6)
onde por solu c ao consideraremos as fun c oes que satisfazem (1.6) no sentido cl assico, i.e., tais que u C 2 () C (). Caso seja limitado, segue do princ pio do m aximo que, se existir solu c ao para o problema acima, ent ao ela e necessariamente u nica (Vid Corol ario 1.8.1). Note que essa conclus ao e falsa caso seja ilimitado. Com efeito, se = Rn co superior, ent ao + for o semi-espa u1 (x) = exn cos x1 u2 (x) = exn cos x1 satisfazem a equa c ao u = 0 com a mesma condi c ao de contorno sobre Rn . +
1.3
A equa c ao de Poisson
A generaliza c ao imediata do potencial gravitacional gerado por uma distribui c ao de massa com densidade num aberto Rn ea seguinte: u(x) =
(x y )(y ) dy
x Rn .
(1.7)
Tal fun c ao u e chamada de potencial newtoniano gerado pela densidade .(14)

(14) Embora seja uma distribui c ao de massa, admitiremos que possa assumir tanto valores negativos quanto positivos.
DE POISSON [SEC. 1.3: A EQUAC AO
Uma an alise mais atenta dessa express ao nos mostra que se L (), ent ao u est a bem denida para todo x Rn ; al em disso, cio 1.3). u = 0 se x (Vid Exerc Nosso objetivo nessa se c ao ser a de demonstrar o seguinte Teorema 1.1 Seja u dada por (1.7). Se for H older-cont nua, ent ao u e de classe C 1 (Rn ) C 2 () e satisfaz a equa c ao de Poisson u = em . Observe que se for cont nua, mas n ao H older-cont nua, ent ao u n ao e necessariamente de classe C 2 (Vid Exemplo 1.1). O fato de u n ao ser harm onica em foi constatado por Poisson em 1813(15) . Poisson comenta que at e ent ao o potencial newtoniano (1.7) vinha sendo utilizado apenas na regi ao exterior a , raz ao pela qual tal fen omeno n ao havia sido constatado antes. O historiador Morris Kline, no entanto, argumenta que num artigo de Laplace de 1789 este assumira implicitamente que u seria harm onica inclusive nas regi oes contendo mat eria(16) . O Teorema 1.1 ser a demonstrado com o auxlio de tr es lemas(17) : Lema 1.2 Para todo 1 i, j n: 1 (x) C n1 , xi |x| 2 1 (x) C n . xi xj |x| (1.8) (1.9)
Demonstra c ao. As estimativas acima seguem do c alculo direto das derivadas de : 1 xi (x) = , xi n |x|n 2 1 1 xi xj (x) = n ij xi xj n |x|n |x| |x|
(15) S.
D. Poisson, loc cit. M. Kline, op cit, p.530. (17) Cf. D. Gilbarg e N. S. Trudinger, [33], pp.5456.
(16) Cf.
Lema 1.3 Se for limitada e integr avel, ent ao u C 1 (Rn ) e, para n todo x R , u (x) = (x y )(y ) dy. (1.10) xi x i Demonstra c ao. Escrevendo vi (x) :=
(x y )(y ) dy, xi
segue da estimativa (1.8) que v est a bem denida para todo x Rn . u Nosso objetivo ser a mostrar que vi = . xi Para tanto, vamos xar uma fun c ao C (R) tal que 0 1, (t) = 0 se t 1, (t) = 1 se t 2 e 0 2. Para cada > 0, denimos: u (x) :=
(x y ) (x y )(y ) dy
|xy |
x Rn ,
onde (x y ) := u (x) = xi
Pela constru c ao de , e imediato que u C 1 (Rn ) e vi (x) (x y ) 1 (x y ) xi (y ) dy.
B2 (x)
Logo, para todo x Rn , vi (x) u (x) sup || xi sup ||
B2 (0)
2 + || dz zi
C(1 + | log 2|) se n = 2, C se n > 2.
u convergem uniformemente a u e xi u v , respectivamente, em Rn . Logo, u C 1 (Rn ) e vi = . xi Fazendo 0, segue que u e 2 n ao e integr avel na vizinhan ca de x = 0. Assim, xi xj devemos ser cautelosos no c alculo das derivadas segundas de u. Para Note que
a demonstra c ao de u C 2 (), utilizaremos que e H older-cont nua em com expoente 0 < 1, ou seja,(18) |(x) (y )| C |x y | x, y .
Lema 1.4 Se for H older-cont nua com expoente 0 < 1, ent ao u C 2 () e, para todo x , 2u (x) = xi xj 2 (x y ) (y ) (x) dy + xi xj (x) (x y )j (y ) dy , (1.11) 0 xi
onde 0 e um aberto limitado com bordo regular e e estendida como identicamente nula em Rn \. Em particular, o membro da direita e independente da escolha de 0 . Demonstra c ao. Por conta da estimativa (1.9) e do fato de ser H oldercont nua, a fun c ao wij (x) :=
0
2 (x y ) (y ) (x) dy + xi xj (x) (x y )j (y ) dy 0 xi
est a bem denida para todo x . Mantendo a nota c ao do lema anterior, denimos vi (x) :=
0
(x y ) (x y )(y ) dy. xi
Dessa forma, vi C 1 () e, por aplica c ao da f ormula de integra c ao

(18) Foi com essa nalidade que Ludwig Otto H older (18591937) introduziu tal condi c ao. Cf. L. O. H older, Beitr age zur Potentialtheorie, Stuttgart, 1882 (Tese). Apud O. D. Kellogg, op cit, p.152.
10 por partes, temos vi = xj =

0
xj xj
(x y ) (x y ) (y ) dy xi (x y ) (x y ) xi (x)
0
(y ) (x) dy +
(x y ) (x y )j dy xi (y ) (x) dy +
=
0
xj
(x y ) (x y ) xi (x)
0
(x y )j (y ) dy , xi
onde na u ltima igualdade estamos supondo 2 < d(, 0 ). Assim, se x 2 := x : d(x, ) > 2 , temos wij (x) =
|xy |<2
vi (x) = xj xj (x y ) 1 (x y ) xi (y ) (x) dy
C
|z |<2
2 2 + zi zj zi
|z | dz C .
Sendo > 0,
vi converge uniformemente a wij nas partes comxj u pactas de quando 0. Como pelo lema anterior vi xj 2u uniformemente quando 0, segue que u C 2 () e = wij . xi xj A conclus ao do Lema 1.4 e falsa caso seja somente cont nua, como podemos vericar no exemplo abaixo(19) :
(19) Cf.
B. Dacorogna, [13], p.127.
11
Exemplo 1.1 Sejam = B1/2 (0) R2 e 2 2 (x1 x2 ) log |x| |x|2 (x) := 0
2
( 1 + 4 log |x|) se 0 < |x| 1 2, se x = 0,
onde 0 < < 1. Assim, C (), mas o potencial u gerado por n ao e de classe C 2 . De fato, u se escreve na forma u = v + h em (Vid Exerc cio 1.4), onde h C 2 () e harm onica e v C 2 () e dada por 2 (x2 se 0 < |x| 1 1 x2 ) log |x| 2, v (x) = 0 se x = 0.
Finalmente o resultado que quer amos: Demonstra c ao do Teorema 1.1. Dado x , vamos xar R > 0 sucientemente grande tal que BR (x). Assim, tomando 0 = BR (x), pela equa c ao (1.11) temos u(x) =
0
x (x y ) (y ) (x) dy + + 1 (x) nn Rn1

n
i i d = (x).
0 i=1
Acima, utilizamos que y x (x y ) (y ) (x) e uma fun c ao integr avel e nula exceto em y = x. O problema de Dirichlet cl assico para a equa c ao de Poisson consiste em obter uma fun c ao v C 2 () C () tal que v = v=f em , sobre . (1.12)
Como estamos supondo limitado, o princ pio do m aximo nos garante a exist encia de, no m aximo, uma solu c ao. Por outro lado, suponhamos que seja H older-cont nua. Seja w = v u, onde u e
12
o potencial newtoniano associado a , e v satisfaz (1.12). Assim, w verica w = 0 em , (1.13) w = f u| sobre . Em outras palavras, o problema de Poisson resume-se a encontrar uma solu c ao do problema de Dirichlet com condi c ao de fronteira f u| , ou seja, rio 1.4.1 Se (1.6) admitir uma solu Corola c ao para toda f C ( ) e se for H older-cont nua, ent ao o problema (1.12) tamb em possui solu c ao para toda f C ( ). A equa c ao de Poisson foi obtida originalmente por Poisson apenas sob a hip otese de continuidade de e o argumento utilizado foi o seguinte: Suponhamos homog eneo, i.e., que seja constante. Utilizando uma rela c ao demonstrada por Newton, conclui-se facilmente que o potencial gravitacional u satisfaz u = . Caso seja heterog eneo e , apenas cont nua, xamos arbitrariamente um ponto x . Para toda bola B (x) sucientemente pequena, vemos que o potencial resultante sobre x pode ser decomposto em duas partes: a e harm onica, e primeira, u1 , gerada por \B (x), que uma segunda, u2 , que e gerada por B (x). Em nosso caso, estamos interessados apenas em u2 (pois j a sabeao pequeno quanto se mos que u1 = 0). Escolhendo t queira, podemos supor, com um erro desprez vel, que valha (x) em B (x) e portanto, pelo caso anterior, temos c oes correspondentes u2 (x) = (x). Segue das equa para u1 e u2 que u(x) = (x), x . O erro de Poisson est a no forte apelo f sico utilizado, escondendo as quest oes genuinamente matem aticas envolvidas(20) ; como veremos
(20) Segundo M. Kline (op cit, p.682), Poisson reconhecera que sua demonstra c ao n ao era rigorosa; no entanto, no artigo original de Poisson n ao h a refer encias a esse fato.
[SEC. 1.4: A FORMULA DA MEDIA
13
nas pr oximas se c oes, esse tipo de argumento seria comum at e meados do s eculo 19.
1.4
A f ormula da m edia
Parece ter sido Gauss, num estudo sobre o potencial eletrost atico, o primeiro a constatar que uma fun c ao harm onica u, denida num aberto Rn , deve satisfazer a chamada f ormula da m edia(21) : rmula da me dia) Suponha que u C 2 () saTeorema 1.5 (Fo tisfaz u = 0 em . Ent ao, u(x) = e u(x) = 1 n Rn1 1 n R n u d
BR (x)
BR (x)
(1.14)
u d
BR (x)
BR (x) .
(1.15)
Demonstra c ao. Para r > 0 sucientemente pequeno podemos denir (r) := Logo, (r) = 1 n 1 = n 1 = n u(x + rz ) z dz
B1 (0)
1 n rn1
u d =
Br (x)
1 n
u(x + rz ) dz .
B1 (0)
(1.16)
B1 (0)
u (x + rz ) dz 1 n r n u dy,
Br (x)
(1.17)
u(x + rz ) dz =
B1 (0)
onde na terceira igualdade utilizamos o Teorema do Divergente com F = u. Como u = 0, devemos ter (r) constante. Por outro lado, fazendo r 0, temos (r) u(x) e, portanto, (1.14) se verica.
(21) K. F. Gauss, Allgemeine Lehrs atze in Beziehung auf die im verkehrten Verh altnisse des Quadrats der Entfernung wirkenden Anziehungs und Abstoungskr afte. In : Werke, V, pp.191242 [pp.221226]. Apud G. D. Birkho, op cit, pp.358361.
14
Pela integra c ao de n rn1 u(x) com rela c ao a r entre 0 e R, n Rn u(x) = n

R
u d dr =
0 Br (x) BR (x)
u dy,
de onde obtemos (1.15). curioso observar que (1.14) (ou (1.15)) caracteriza completaE mente as fun c oes harm onicas. Essa rec proca do Teorema de Gauss foi demonstrada em 1906 por Paul Koebe (1882-1945) e por Maxime B ocher (1867-1918) de forma totalmente independente(22) ; segue em particular que toda fun c ao harm onica e de classe C . Teorema 1.6 Se u L1 () satisfaz u(x) = 1 n Rn1 u d
BR (x)
para quase toda BR (x) , (1.18)
ent ao u C () e u = 0 em . Demonstra c ao. Seja u (x) :=

onde C0 (Rn ), 0, supp B1 (0) e Rn dx = 1. Em particular, u C (). Dado x , utilizando (1.18) teremos:
(x y )u(y ) dy
x ,
u (x) =
B (x)
(x y )u(y ) dy (r)u(z ) dz dr
0 Br (x)
= =
0
(r)n rn1 dr u(x) =

B (0)
dy u(x) = u(x).
Logo, u = u q.t.p. em . Sendo > 0 arbitr ario, ent ao u C () e (1.18) se verica para toda bola em .
(22) P. Koebe, Sitzungsber. Berliner Math. Ges. 5 (1906), 3942; M. B ocher, Proc. Amer. Acad. Arts Sc. 41 (1906). Apud O. D. Kellogg, op cit, p.226.
[SEC. 1.4: A FORMULA DA MEDIA
15
Resta demonstrarmos que u = 0 em . Caso u(x) > 0 para algum x (o caso u < 0 e tratado de forma an aloga), por (1.17) ter amos (r) > 0 para todo r sucientemente pequeno, contradizendo o fato de ser constante, onde e dada por (1.16) Vamos apresentar uma segunda demonstra c ao da rec proca ao Teorema de Gauss, que depende apenas da observa c ao de que uma fun c ao cont nua que satisfaz a f ormula do valor m edio tamb em deve satisfazer o princ pio do m aximo. Teorema 1.7 Se u L1 () satisfaz u(x) = 1 n R n u dy
BR (x)
para quase toda BR (x) ,
ent ao u C () e u = 0 em . Demonstra c ao. Segue do Teorema da Converg encia Dominada que a fun c ao x
BR (x)
u dy
e cont nua para cada R > 0. Logo, u C () e u(x) = 1 n R n u dy

BR (x)
BR (x) ,
Fixada BR (x) , seja v a u nica solu c ao do problema de Dirichlet em BR (x), com condi c ao de contorno u (a exist encia de v decorre da f ormula de Poisson, que ser a demonstrada no pr oximo cap tulo; Vid Teorema 2.5). A fun c ao w := v u satisfaz a f ormula do valor m edio em BR (x) e w 0 sobre BR (x). Seja M o m aximo de w em BR (x). Vamos mostrar que M = 0. Suponhamos por contradi c ao que M > 0. Como w = 0 sobre BR (x), ent ao existe y0 BR (x) tal que w(y0 ) = M > 0. Seja A := y BR (x) : w(y ) = M . Por hip otese, A e n ao-vazio. Al em disso, A e fechado. Observemos que A tamb em e aberto. De fato, dado z0 A e r > 0 pequeno tal
16
que Br (z0 ) BR (x), ent ao segue da f ormula da m edia satisfeita por w que 1 w dy M. M = w(z0 ) = n rn Br (z0 ) Conseq uentemente, w M sobre Br (z0 ), ou seja, Br (z0 ) A. Assim, A e um subconjunto aberto, fechado e n ao-vazio de BR (x). Por conexidade, devemos ter A = BR (x), o que contradiz a condi c ao de contorno w 0 sobre BR (x). Assim conclu mos que M = 0; em outras palavras, w 0 em BR (x). Utilizando um argumento an alogo, w 0 em BR (x). Logo, w 0 em BR (x) e u = v . O corol ario abaixo generaliza um resultado de converg encia de fun c oes harm onicas devido a Alex Harnack(23) (1851-1888): rio 1.7.1 Seja (uk )k1 uma seq u encia de fun c oes harm oCorola nicas em tal que uk u em L1 (). Logo, u C () e u e harm onica. Demonstra c ao. Dados x e BR (x) , temos uk (x) = 1 n R n uk dx.
BR (x)
(1.19)
Passando a uma subseq u encia se necess ario, podemos supor que uk (x) u(x) q.t.p.
Fazendo k em (1.19), conclu mos que u satisfaz a f ormula do valor m edio. Pelo Teorema 1.6, u C () e u e harm onica.
1.5
O princ pio do m aximo
O princ pio do m aximo e uma propriedade simples mas bastante u til no estudo do problema de Dirichlet, segundo a qual o m aximo de uma fun c ao harm onica e atingido na fronteira do dom nio; mais precisamente,
(23) A. Harnack, Grundlagen der Theorie des logarithmischen Potentials, Leipzig, 1887, p.66. Apud O. D. Kellogg, loc cit, p.248.
[SEC. 1.5: O PRINC IPIO DO MAXIMO
17
ximo fraco) Seja Rn um Teorema 1.8 (Princ pio do ma 2 onica, ent ao aberto limitado. Dada u C () C () harm m ax u = m ax u.

(1.20)
Demonstra c ao. Dado > 0, deniremos u (x) := u(x)+|x|2 , x . Nesse caso, u = u 2n < 0 em . Suponhamos por contradi c ao que o m aximo de u fosse atingido num 2 u ponto x0 . Assim, u (x0 ) = 0 e (x0 ) 0, se 1 k n, de x2 k onde segue que u (x0 ) 0, um absurdo. Conseq uentemente, m ax u = m ax u .

Fazendo 0, obtemos a identidade correspondente a u. Como primeira conseq u encia, temos o seguinte rio 1.8.1 (Unicidade) Seja Rn um aberto limitado. Corola Dada f C ( ), ent ao o problema de Dirichlet u = 0 u=f em , sobre , (1.21)
admite, no m aximo, uma solu c ao cl assica u C 2 () C (). Demonstra c ao. Sejam u1 , u2 duas solu c oes de (1.21). Aplicando o princ pio do m aximo fraco a u1 u2 e a u2 u1 , deduzimos que u1 = u2 em , de onde segue o resultado. Como veremos mais adiante, se Rn for um aberto limitado suave, ent ao o problema de Dirichlet sempre admite solu c ao; pelo corol ario acima tal solu c ao eu nica. Assim, a cada f C () existe uma u nica fun c ao harm onica u0 C 2 () C () tal que u0 = f sobre .
18
rio 1.8.2 (Continuidade) Seja Rn um aberto limiCorola tado e suave. Ent ao, o operador S0 : f C ( ) u0 C () e linear e cont nuo. Demonstra c ao. A linearidade do operador S0 e obvia. Pelo princ pio do m aximo fraco aplicado a u0 e a u0 , obtemos m n f u0 (x) m ax f

x .
Logo, u0
C ()
= f
C ( ) ,
de onde segue a continuidade de S0 . O pr oximo resultado fornece um renamento do Teorema 1.8: ximo forte) Sejam Rn um Teorema 1.9 (Princ pio do ma 2 c ao harm onica. aberto conexo limitado e u C () C () uma fun Se existir x0 tal que u(x0 ) = m ax u, ent ao u e constante em .
Demonstra c ao. Seja A := x : u(x) = M . Assim, A e n ao-vazio e fechado em . Dado x A, xemos R > 0 tal que BR (x) . Logo, M = u(x) 1 n R n u dy
BR (x)
1 M n Rn = M. n R n
Conseq uentemente, u M sobre BR (x) e BR (x) A. Dessa forma, A tamb em e aberto em e, sendo este conexo, A = , de onde segue o resultado. Motivados pelo princ pio do m aximo, vamos introduzir a seguinte o (Func o sub-harmo nica) Seja v C (). Diremos Definic a a que v e sub-harm onica se para toda bola B e para toda fun c ao harm onica h C 2 (B ) C (B ) tivermos v h sobre B = v h em B.
[SEC. 1.5: O PRINC IPIO DO MAXIMO
19
Pelo princ pio do m aximo toda fun c ao harm onica e sub-harm onica. A seguinte propriedade decorre imediatamente da deni c ao acima (Vid Exerc cio 1.7): o 1.10 Se v1 , v2 s Proposic a ao sub-harm onicas, ent ao m ax {v1 , v2 } tamb em e sub-harm onica. Na deni c ao abaixo, vamos admitir que o problema de Dirichlet sempre tenha solu c ao em bolas; isso ser a demonstrado no pr oximo cap tulo (Vid Teorema 2.5). o (Levantamento harmo nico) Dadas uma fun Definic a c ao subharm onica v C () e uma bola B , seja v a fun c ao harm onica tal que v em B = v sobre B . Denimos o levantamento harm onico de v em B como sendo a fun c ao V C () dada por V (x) := v (x) v (x) se x \B, se x B.
O nome levantamento harm onico dado a V vem do seguinte Teorema 1.11 V e uma fun c ao sub-harm onica e v V em . Demonstra c ao. Como v e sub-harm onica, v v em B ; assim, temos v V em . Vamos vericar que V e sub-harm onica. De fato, sejam uma bola e h uma fun tal que V h B c ao harm onica em B pois V = v sobre B . Caso B B = , e claro que V h em B e sub-harm onica. Suponhamos ent ao que B B = . Como em B , ent v V h sobre B ao vh . em B (1.22)
B ; pelo princ Em particular, v h sobre B pio do m aximo, v h B. em B (1.23)
Combinando (1.22) e (1.23), conclu mos que V h e portanto V e sub-harm onica.
20
o 1 De maneira an Observac a aloga, podemos denir fun c oes super-harm onicas. Propriedades similares s ao obtidas substituindo-se o prexo sub por super. A constru c ao an aloga ao levantamento harm onico para fun c oes super-harm onicas ser a chamada de rebaixamento harm onico .
1.6
Exerc cios
Exerc cio 1.1 1. Mostre que se u e uma fun c ao radial em Rn , ent ao u se escreve como n1 ur . u = urr + r 2. Mostre que as solu c oes radiais de u = 0 em Rn \{0} s ao dadas por (1.3). Exerc cio 1.2 Demonstre (1.5).
Sugest ao: Utilize a f ormula de integra c ao por partes a Z (x y )(y ) dy ;
Rn \B (x)
obtenha (1.5) notando que Z (x y ) (y ) dy 0 B (x)
Z e
B (x)
(x y ) (y ) dy (x), y
quando 0, onde e a normal exterior a Rn \ B (x).
Exerc cio 1.3 Mostre que se L (), ent ao u dada por (1.7) e cont nua em Rn . Verique ainda que u e harm onica fora de . Exerc cio 1.4 Verique o Exemplo 1.1: 1. Mostre que a fun c ao v do exemplo satisfaz v = em \{0}; v C 1 (), mas v n ao e de classe C 2 em . 2. Mostre que u e v satisfazem w dx =
dx C0 ().
Sugest ao: Cf. E. Lieb e M. Loss, [50], pp.149150.
[SEC. 1.6: EXERC ICIOS
21
3. Utilizando o Lema de Weyl (Vid Lema 5.13), conclua que a fun c ao u v e harm onica. Exerc cio 1.5 Sem fazer uso de fun c oes harm onicas, prove que as propriedades (1.14) e (1.15) s ao equivalentes. cio 1.6 Seja xado. Dada uma fun Exerc c ao harm onica u em , mostre que u
L ( )
C u
L1 () ,
onde a constante C > 0 depende apenas de e n.

Sugest ao: Utilize a f ormula da m edia.
Exerc cio 1.7 Demonstre a Proposi c ao 1.10. Exerc cio 1.8 Seja v C () tal que v (x) 1 n Rn1 v dy
BR (x)
BR (x) .
Mostre que v satisfaz o princ pio do m aximo forte; mais precisamente, se e conexo e se v atinge seu m aximo em , ent ao v e constante.
Sugest ao: Seja M o m aximo de v em . Mostre que o conjunto A := x : v (x) = M e aberto e fechado em .
Exerc cio 1.9 Seja v C (). Utilizando o Exerc cio 1.8, mostre que v e sub-harm onica se, e somente se, v (x) 1 n Rn1 v dy
BR (x)
BR (x) .
Conclua que o princ pio do m aximo forte permanece v alido para fun c oes sub-harm onicas. Qual e o resultado an alogo para fun c oes super-harm onicas? Exerc cio 1.10 Sejam v, w C ().
22
1. Mostre que se v e sub-harm onica e v 0 sobre , ent ao v 0 em . 2. Conclua que se v e sub-harm onica, w e super-harm onica e se v w sobre , ent ao v w em . Exerc cio 1.11 Seja u harm onica e positiva. Mostre que up e subharm onica se p > 1 e super-harm onica se 0 < p < 1. Exerc cio 1.12 Dada uma fun c ao v C 2 (), mostre que v e subharm onica se, e somente se, v 0 em .
Cap tulo 2
Os trabalhos pioneiros
Somente no in cio do s eculo 19 surgiriam os primeiros m etodos de resolu c ao do problema de Dirichlet. Mas os trabalhos de Fourier, Green e Poisson pecavam pela falta de rigor. O pr oprio C alculo atravessara o s eculo 18 sem uma deni c ao precisa dos diferenciais de Leibniz. Em 1807, com a publica c ao dos primeiros trabalhos de Fourier sobre a condu c ao do calor e a decomposi c ao de uma fun c ao em s eries trigonom etricas, a situa c ao se tornaria insustent avel. Essa data marcaria o nascimento da An alise.
2.1
O m etodo de Fourier
O m etodo de Fourier representa o primeiro tratamento sistem atico para a resolu c ao de equa c oes diferenciais parciais. Embora sua aplicac ao esteja restrita a regi oes com simetrias, tal m etodo teve um papel inquestion avel no desenvolvimento da Matem atica porque foi um dos motivos que levaram os matem aticos do s eculo 19 a construir toda uma base l ogica que at e ent ao praticamente n ao existia. Anal, o estudo da converg encia das s eries de Fourier traria ` a luz um grande n umero de quest oes envolvendo conceitos fundamentais que j a n ao podiam mais ser desprezadas. 23
24
[CAP. 2: OS TRABALHOS PIONEIROS
2.1.1
O problema de equil brio t ermico
Denotaremos por uma placa innita e homog enea de largura no semiplano superior de R2 , delimitada pelas retas x = 2 e , e vamos supor que a superf cie desta placa esteja termicamente x= 2 isolada, de maneira que n ao ocorram trocas de calor na superf cie. Nosso objetivo ser a determinar sua congura ca o de equil brio t er mico, sabendo que a temperatura sobre as retas x = e x = 2 2 e mantida em 0, e que, sobre o segmento 2 < x < 2 do eixo x, a temperatura e dada por uma fun c ao f que independe do tempo (nenhuma hip otese ser a feita sobre o valor de f nas extremidades desse segmento). Como foi visto na Se c ao 1.1, Fourier observou que a temperatura de equil brio u sobre a placa satisfaz a equa c ao de Laplace u = 0. Vamos supor inicialmente que u possa ser escrita como o produto de fun c oes v = v (x) e w = w(y ), i.e., u(x, y ) = v (x)w(y ). Neste caso, ap os substitui c ao dessa express ao na equa c ao de Laplace, teremos v (x) w (y ) = . v (x) w(y ) Ora, sendo o 1o membro fun c ao somente de x , e o 2o , apenas de y , ent ao ambos devem ser constantes e iguais a . Logo, v e w satisfazem as equa c oes v (x) v (x) = 0, w (y ) + w(y ) = 0.
Por outro lado, temos v ( as 2 ) = v ( 2 ) = 0, correspondente ` condi c oes de contorno e, como estamos interessados em solu c oes n aotriviais, devemos supor = 2 < 0, de onde segue que e inteiro e
w(y ) = ey , v (x) = cos x se = 1, 3, . . . , sen x se = 2, 4, . . . .
Como j a hav amos observado, trataremos apenas das solu c oes limitadas (o que, do ponto de vista f sico, e bastante plaus vel). Eli-
[SEC. 2.1: O METODO DE FOURIER
25
minando os valores negativos de , teremos u(x, y ) = ey cos x se = 1, 3, . . . , ey sen x se = 2, 4, . . . .
Pelo Princ pio de Superposi c ao, uma combina c ao nita das fun c oes acima continuar a sendo solu c ao da equa c ao de Laplace, satisfazendo as condi c oes de contorno nas laterais da placa. No entanto, a condi c ao de contorno n ao ser a atendida sobre o eixo x em geral. A id eia de Fourier foi considerar a s erie
u(x, y ) =
k=1
k e(2k1)y cos (2k 1)x + k e2ky sen 2kx
(2.1)
e tentar determinar os coecientes k e k de maneira que, para y = 0, tenhamos
f (x) =
k=1
k cos (2k 1)x + k sen 2kx ,
< x < . (2.2) 2 2
Vamos admitir, ao menos por enquanto, que uma fun c ao g denida num intervalo (a, b) e com boas propriedades sempre admita uma expans ao em s eries de Fourier da forma g (x) = a0 2j 2j + aj cos x + bj sen x 2 ba ba j =1
(2.3)
onde os coecientes s ao obtidos a partir das rela c oes de ortogonalidade entre as fun c oes trigonom etricas (Vid Equa c ao (2.35)): aj = bj = 2 ba 2 ba
b
g (x) cos
a b
2j x dx ba 2j x dx. ba
(2.4) (2.5)
g (x) sen
a
O c alculo dos coecientes de Fourier de f diretamente sobre o intervalo ao ir a nos fornecer, em geral, uma expans ao da 2 , 2 n
26
forma (2.2). Para tanto, devemos estender f convenientemente sobre tal que (, ) como uma fun c ao f se x [ f (x) 2 , 2 ], (x) = f ( x) f se x ( 2 , ), f ( x) se x (, 2 ). Com essa escolha, verica-se facilmente que a s erie de Fourier de f e da forma (2.2), com k = 2
2
f (x) cos (2k 1)x dx,

2
2
(2.6) (2.7)
2 k =
f (x) sen 2kx dx.

2
Espera-se ent ao que a solu c ao do problema posto inicialmente sobre a temperatura de equil brio da placa seja dada pela express ao (2.1), onde os coecientes k e k s ao dados por (2.6) e (2.7), respectivamente. Um leitor um pouco mais desatento poderia acreditar que o nosso problema est a encerrado, enquanto ainda mal tocamos nas quest oes matem aticas envolvidas. Com efeito, uma s erie de perguntas necessitam ser respondidas: 1. Sob quais condi c oes a s erie (2.2) converge? 2. Quando a igualdade em (2.2) ocorre, sabendo-se que a s erie converge? 3. Ser a que u dada por (2.2) e de classe C 2 e que u = 0 em ? 4. u satisfaz as condi c oes de contorno do problema?
Historicamente, o caso f 1 sobre o segmento e par2, 2 ticularmente interessante pois se trata do primeiro exemplo tratado por Fourier(1) na sua obra Th eorie Analytique de la Chaleur. Nesse caso, temos o seguinte
(1) J.
B. J. Fourier, [28], p.141 et seq.
27
Teorema 2.1 Sejam = 2 , 2 (0, +) e
u(x, y ) :=
k=1
(1)k1 (2k1)y e cos (2k 1)x 2k 1
(x, y ) . (2.8)
Ent ao, u pertence a C 2 () C \ ( 2 , 0) e satisfaz u = 0 u=1 u=0 em ,

sobre 2 , 2 {0},
(2.9)
sobre
[0, +).
A demonstra c ao do Teorema 2.1 ser a apresentada na Se c ao 2.1.3. Observe que os coecientes de Fourier associados a f 1 dados por (2.6) e (2.7) s ao k = 4 (1)k1 2k 1 e k = 0 k 1.
Em particular, (2.2) toma a forma 1= 4 cos x 1 1 1 cos 3x + cos 5x cos 7x + , 3 5 7 < x < . (2.10) 2 2
O fato de (2.10) representar uma fun c ao constante como uma s erie formada apenas por co-senos foi um grande golpe nas cren cas (sic) dos matem aticos do in cio do s eculo 19. Os ataques feitos a essa expans ao em s erie trigonom etrica foram bastante duros, principalmente porque, 3 no intervalo 2 < x < 2 , seu valor muda bruscamente para 1. Para a epoca, isso era inconceb vel! Alguns matem aticos da Academia de Ci encias de Paris, destacadamente Lagrange, n ao podiam admitir que uma soma innita de fun c oes levaria a algo que na epoca sequer era considerado uma fun c ao. Embora n ao existisse ainda uma deni c ao precisa de fun c ao at e ent ao, digamos que a mais ex vel admitia por fun c ao todas as
28
1 0.75 0.5 0.25 0 0.5 1 1.5 2 1
-1 0
Figura 2.1: Gr aco de u(x, y ) dada por (2.8)
curvas capazes de ser desenhadas no papel, sem que o l apis fosse retirado da folha. Lagrange, por sua vez, acreditava que uma fun c ao estaria completamente determinada pelos seus valores em um intervalo arbitrariamente pequeno (o que corresponderia ` as fun c oes anal ticas). Al em disso, Lagrange negava veementemente a possibilidade de que toda fun c ao pudesse ser escrita em s erie de senos e co-senos, como Fourier armara(2) . Como os cr ticos ` a utiliza c ao das s eries de Fourier n ao conseguiam precisar o problema dessa representa c ao, decidiram partir ao ataque da quest ao de converg encia global da s erie, al em da falta de rigor no trabalho de Fourier(3) . Note que Fourier acreditava que todo o problema se restringia a mostrar que a sua s erie era convergente pois, pela pr opria constru c ao dos coecientes, o limite deveria corresponder ao valor desejado(4) .
(2) Vid
nota (13).
n ao existe um consenso aqui. Segundo D. Bressoud ([6], p.219), essa falta de rigor se refere ` a maneira que Fourier utilizara para obter a equa ca o do calor; M. Kline (op cit, p.678), por sua vez, acredita que tais cr ticas eram devidas ` a falta de rigor no trabalho de Fourier em geral. De qualquer forma, ca dif cil saber o qu ao adequadas eram as manipula c oes formais adotadas por Fourier, para os padr oes pr e-Cauchy do in cio do s eculo 19. (4) A respeito da s erie (2.10), Fourier escreveu: Il serait ais e de prouver que
(3) Aparentemente,
29
Correspondem a esse per odo os primeiros trabalhos na tentativa de estabelecer os conceitos de diferencial e integral em bases mais rigorosas. Vale observar que, ao longo de todo o s eculo 18, esse objetivo foi insistentemente perseguido, mas os resultados n ao foram nada animadores. Al em disso, como a s erie (2.10) n ao e absolutamente convergente, teoremas de converg encia bastante delicados faziam-se necess arios. No tratamento dessas quest oes durante as tr es primeiras d ecadas do s eculo 19 destacaram-se, direta ou indiretamente, Augustin Louis Cauchy (1789-1857), Henrik Niels Abel (1802-1829) e Peter Gustav Lejeune Dirichlet (1805-1859), Poisson e o pr oprio Fourier. O objetivo estava em responder se as representa c oes de fun c oes por meio das s eries de Fourier estavam corretas. Somente na d ecada de 1820 surgiriam os primeiros resultados favor aveis a Fourier.
2.1.2
O argumento de Fourier
A obra de Fourier apresenta uma rara oportunidade para se compreender o processo de cria c ao em Matem atica. Embora Fourier pudesse ter iniciado pelas express oes integrais dos coecientes (2.4) e (2.5), ele preferiu expor todo o racioc nio que o levou a tais representa co es. Tal argumento nos fornece um interessante exemplo da import ancia das manipula c oes formais de s eries na epoca. Vamos tratar abaixo do segundo exemplo apresentado por Fourier no seu livro Th eorie Analytique de la Chaleur de 1822 (como j a observamos, o primeiro corresponde a (2.10)). Dada uma fun c ao mpar e suave f , nosso objetivo ser a determinar os coecientes bk de maneira que
f (x) =
k=1
bk sen kx,
0 < x < .
(2.11)
cette s erie est toujours convergente ; cest-` a-dire que, en mettant au lieu de y [x] un nombre quelconque et en poursuivant le calcul des coecients, on approche de plus en plus dune valeur xe ; en sorte que la di erence de cette valeur ` a la somme des termes calcul es devient moindre que toute grandeur assignable. Sans nous arr eter ` a cette d emonstration que le lecteur peut supplier, [. . .]. (J. B. J. Fourier, opus cit, p.156)
30
Expandindo ambos os membros da equa c ao (2.11) em s erie de pot encias em torno de x = 0, obtemos o seguinte sistema linear innito nas inc ognitas bk : f (0) = 11 b1 + 21 b2 + 31 b3 + 41 b4 + , 0 = 12 b1 + 22 b2 + 32 b3 + 42 b4 + , iii f (0) = 13 b1 + 23 b2 + 33 b3 + 43 b4 + , (2.12) 0 = 14 b1 + 24 b2 + 34 b3 + 44 b4 + , v 5 5 5 5 f (0) = 1 b1 + 2 b2 + 3 b3 + 4 b4 + , . . . . Aparentemente, ao expandir ambos os membros de (2.11) em s erie de pot encias, Fourier estava ` a procura de algo que atestasse a possibilidade de representa c ao de f na forma (2.11). Anal, Fourier n ao estava numa posi c ao muito confort avel, pois nada lhe garantia a vi poss abilidade de uma decomposi c ao de f em s erie de senos(5) . E vel que, aos olhos de Fourier, a solu c ao un voca do sistema (2.12) signicaria que n ao faltavam nem sobravam termos em (2.11). A resolu c ao de um sistema innito realmente n ao e tarefa das mais f aceis, pois al em de envolver laboriosos c alculos, leva ` a quest ao da pr opria converg encia de cada equa c ao. No entanto, a manipula c ao de somas innitas era o menor dos problemas para a epoca. A id eia de Fourier foi partir da resolu c ao de sistemas nitos(6) . Para isso, ele considera apenas as n primeiras equa c oes em (2.12), sup oe bn+1 = bn+2 = = 0, e resolve o sistema em n equa c oes a bastante razo n inc ognitas. E avel que, ao aumentar n , tais solu c oes se aproximem dos coecientes que devem satisfazer o sistema innito de partida. As express oes dos coecientes bk s ao ent ao obtidas na forma de produtos innitos e, ap os v arias p aginas de fatigantes manipula c oes
(5) Embora tanto Euler como Daniel Bernoulli j a tivessem se utilizado de expans oes em s eries trigonom etricas, e realmente dif cil saber o quanto Fourier conhecia do trabalho de seus antecessores nessa area. Num artigo de 1825, ele escreve que Lacroix o informara sobre tais trabalhos, mas n ao se refere quando isso ocorrera. Cf. M. Kline, opus cit, p.676. (6) Este recurso foi utilizado por Fredholm, na forma de determinantes innitos, para a resolu c ao de equa c oes integrais, e foi neste contexto que ele formulou a Alternativa de Fredholm. Cf. E. I. Fredholm, [29].
31
alg ebricas, obt em-se a seguinte representa c ao para os coecientes em termos de uma s erie envolvendo todas as derivadas de f em x = 0: k (1)k1 bk = 2 + + + 1 1 2 3! 4 5! 6 7! f (0) 1 f iii (0) k2 1 2 1 2 + 4 f v (0) k 3! k 1 4 1 2 1 2 + 4 6 f vii (0) k 5! k 3! k
+ . Agrupando os termos de uma mesma coluna, vemos que a j - esima coluna corresponde ` a s erie de Taylor da 2(j 1)- esima derivada de 1 f , avaliada em x = . Com base nessas observa c oes, obtek 2(j 1) mos uma express ao um pouco mais simples para bk : (1)k1 1 1 1 k bk = f ( ) 2 f ii ( ) + 4 f iv ( ) 6 f vi ( ) + , 2 k k k
de onde vem a seguinte representa ca o de f em s erie de Fourier: f (x) = 2
f ( )
k=1
1 ii f ( )+ k2 (1)k1 sen kx. (2.13) k
1 iv 1 f ( ) 6 f vi ( ) + k4 k
No caso da fun c ao f (x) = ex ex , Fourier obt em explicitamente ex ex = 2 e e (1)k1 1 sen kx. k+ k k=1
(2.14)
` primeira vista, n A ao h a nenhum problema com a express ao (2.14). A fun c ao f sendo anal tica, todas as etapas acima poderiam ser justicadas. No entanto, pelo c alculo direto do coeciente de sen x em
32
(2.13), constatamos que Fourier utiliza-se da identidade 1 1 + 1 1 + = obtida a partir da s erie geom etrica 1 t + t2 t3 + = 1 1+t (2.15) 1 , 2
calculada em t = 1. Aqui encontramos um dos mais b asicos exemplos de utiliza c ao das chamadas s eries divergentes, que se disseminaram durante o s eculo 18 e que consistia em utilizar uma identidade fora do seu intervalo de converg encia (como em (2.15) para t = 1). J a no s eculo 18, a manipula c ao formal de somas innitas h a muito ultrapassara a capacidade de justic a-la. Como observa M. Kline(7) , os matem aticos come caram a conar nos s mbolos mais do que na pr opria l ogica, sustentando-se em argumentos metaf sicos para explicar seus procedimentos. Como apenas a geometria possu a uma estrutura l ogica consistente, isso gra cas aos Elementos, de Euclides, as demais areas da Matem atica viviam num constante conito sobre o que estaria correto ou n ao, de forma que essas discuss oes deslocavam-se rapidamente para quest oes de ordem los oca ou at e mesmo religiosa(8) , mas que
M. Kline, [42], pp.151-152. interfer encia de quest oes religiosas na Matem atica constitui um cap tulo ` a parte nessa hist oria. A presen ca de Deus foi muito marcante no estabelecimento de equa c oes matem aticas que modelassem os fen omenos f sicos do universo. Na verdade, at e os s eculos 16 e 17, a exist encia de Deus j a era motivo para que um modelo matem atico simples, descrevendo um determinado fen omeno natural, estivesse correto, pois essa simplicidade reetia a perfei c ao da obra de seu Criador. Quando Newton publica sua obra Philosophiae Naturalis Principia Mathematica, os modelos matem aticos propostos foram considerados corretos ainda com base nesses princ pios teol ogicos, muito embora, logo em seguida, tenham se sustentado na comprova c ao experimental de suas conseq u encias. No caso da trajet oria dos corpos celestes, a Lei da Gravita c ao Universal garante a estabilidade do sistema formado por dois corpos. No entanto, haveria uma instabilidade no Sistema Solar devido ` a perturba c ao entre os planetas. Newton argumenta que Deus se encarregava constantemente de corrigir as orbitas, e a estabilidade estaria garantida. Aqui j a observamos como Deus e colocado num papel secund ario, de mero coadjuvante. Gottfried Wilhelm Leibniz (1646-1716) chama ent ao a obra de Newton
(8) A (7) Cf.
33
no fundo era apenas uma forma de sustentar uma opini ao pessoal sobre o assunto. Sobre as quest oes envolvendo as s eries divergentes, simplesmente n ao havia um consenso. Enquanto Euler as defendia ardorosamente contra qualquer obje c ao, dAlembert n ao as via com bons olhos(9) . De qualquer maneira, suas raz oes n ao estavam estabelecidas em qualquer princ pio l ogico mas, t ao-somente, na conveni encia. Mesmo quando se inicia o processo de rigoriza c ao do C alculo, as s eries divergentes j a estavam t ao enraizadas que Cauchy lamenta n ao conseguir estabelecer uma base l ogica para elas(10) . Esse tipo de observa c ao n ao escapa a Abel, que considera vergonhoso algu em ainda tentar formalizar o uso de tais s eries(11) . Retomando a expans ao de f dada por (2.13), devemos procurar uma forma mais trat avel para os coecientes. Para isso, denimos 1 1 1 ii f (x) + 4 f iv (x) 6 f vi (x) + k2 k k e, pela deriva ca o formal de sk , obtemos a seguinte equa c ao: sk (x) = f (x) 1 d2 sk = f. k 2 dx2 Portanto, sk pode ser escrita na forma sk +
x
(2.16)
sk (x) = a cos kx + b sen kx + k

0
f (t) sen k (x t) dt,
(2.17)
de anti-crist a, pois as equa c oes a contidas modelam de forma t ao completa os fen omenos do Universo, que a exist encia de Deus era na verdade desnecess aria. E assim, ao entrar no s eculo 18, os mesmos modelos matem aticos que haviam se sustentado na exist encia de Deus passaram a neg a-la. Esse fato teve implica c oes profundas em toda a Ci encia, que, por essa vis ao mecanicista do mundo, colocava uma Matem atica ainda d ebil do ponto de vista l ogico, como o grande Norte do s eculo 18. A Idade da Raz ao estaria apenas come cando... (9) Pour moi, javoue que tous les raisonnements et les calculs fond es sur des s eries qui ne sont pas convergentes ou quon peut supposer ne pas l etre, me para tront toujours tr` es suspects. (J. R. dAlembert, Opusc. Mathem., v.5, 1768, p.35; M emoire, p.183. Apud K. Knopp, [43], p.458.) (10) Je me suis vu forc e dadmettre plusieurs propositions qui para tront peut etre un peu dures, par exemple quune s erie divergente na pas de somme. (A. L. Cauchy, pref acio ` a Analyse Alg ebrique. Apud K. Knopp, opus cit, p.459.) (11) Les s eries divergentes sont, en g en eral, quelque chose de bien fatal, et cest une honte quon ose y fonder aucune d emonstration. (Abel em carta a Michael Berndt Holmb oe, 16 de janeiro de 1826. Apud K. Knopp, loc cit.)
34
onde a e b s ao constantes (Vid Exerc cio 2.4). Como sk (0) = 0, devemos ter a = 0. Assim, tomando x = , obtemos sk ( ) = (1)k1 k
0
f (t) sen kt dt
e, conseq uentemente, os coecientes bk da s erie de Fourier de f s ao dados por 2 f (x) sen kx dx. bk = 0 Impressiona o fato de se obter o resultado correto ap os tantos argumentos nada precisos!(12) Sobre a s erie (2.11), Fourier observa que embora tais coecientes tenham sido obtidos para fun c oes de classe C , tal representa c ao permanece v alida para fun c oes descont nuas e totalmente arbitr arias(13) . realmente dif E cil saber qual a extens ao que o coment ario de Fourier assume, mas essa pretensa generalidade n ao deixa de ser curiosa. Para Euler, por exemplo, uma fun c ao descont nua era uma curva tra cada continuamente, mas com eventuais descontinuidades na derivada. Ao que parece, Fourier tinha em mente as fun c oes seccionalmente cont nuas. Uma vez convencido (sic) da validade da expans ao (2.11), Fourier passa ao c alculo direto dos coecientes da s erie por meio das rela c oes de ortogonalidade das fun c oes trigonom etricas...
2.1.3
Demonstra c ao do Teorema 2.1
Somente em 1821, com a publica c ao das Le cons sur le calcul innit esimal por Cauchy, as bases rigorosas da An alise come cariam a ser lan cadas. Entre 1807, quando Fourier submete seu primeiro trabalho sobre a utiliza c ao de s eries trigonom etricas, e 1822, quando e publicada a
(12) Um outro exemplo surpreendente desse tipo de fen omeno est a na obten c ao original da f ormula de Stirling por Abraham de Moivre (1667-1754) e James Stirling (1692-1770), publicada em 1730. Cf. D. Bressoud, [6], pp.294303 e 122 123. (13) On peut etendre les m emes cons equences ` a des fonctions quelconques, m eme a celles qui seraient discontinues et enti` ` erement arbitraires. (J. B. J. Fourier, opus cit, p.207)
35
Th eorie Analytique de la Chaleur, n ao havia ainda muitos progressos no estudo da converg encia das s eries de Fourier, muito embora Fourier se esfor casse em divulgar a utilidade de suas s eries no estudo da condu c ao do calor. Poisson apresenta em 1820 uma demonstra c ao para a converg encia das s eries de Fourier que estaria correta, n ao fosse pelo detalhe de Poisson ter assumido em determinado ponto de seu artigo que tais s eries convergiriam! Fourier tamb em procurou apresentar uma demonstra c ao para esse resultado. Embora n ao tivesse sucesso, foi capaz de mostrar qual a dire c ao que deveria ser seguida. Em 1826, Cauchy tratou do problema de converg encia, publicando o que acreditava ser uma solu c ao. Por em havia falhas em seu tratamento. Dentre elas, ele assumiu que, dadas duas seq u encias (ak )k1 e (bk )k1 , tais que a converge e | a b | 0, ent ao k k k k k bk tamb em deveria convergir. Dirichlet, no entanto, observou que, to1)k 1)k 1)k mando ak = ( e bk = ( 1 + ( , as hip oteses s ao atendik k k das, mas k bk evidentemente n ao converge(14) . Finalmente, em 1829, Dirichlet publica uma primeira demonstrac ao satisfat oria para a converg encia das s eries de Fourier, e que teve uma vers ao mais detalhada em 1837(15) . O teorema era essencialmente o seguinte(16) : Teorema 2.2 (Dirichlet) Seja f : ( , ) R uma fun c ao limitada, seccionalmente cont nua e seccionalmente mon otona em (, ). Logo, f (x+ ) + f (x ) a0 = + 2 2
(ak cos kx + bk sen kx)

k=1
x (, ),
onde ak e bk s ao os coecientes de Fourier de f : ak = 1 1 bk =
f (x) cos kx dx,

(2.18) (2.19)
f (x) sen kx dx.
(14) P. (15) P.
G. L. Dirichlet, [17]. G. L. Dirichlet, [18]. (16) Cf. D. Bressoud, op cit, pp.220234; D. G. de Figueiredo, [24].
36
1 0.5
-3
-2
-1 -0.5 -1
Figura 2.2: Somas parciais dos n primeiros termos de (2.10), para n = 5, 15 e 60 Uma fun c ao f : (, ) R e seccionalmente cont nua se existem pontos = c0 < c1 < . . . < cj = tais que f e cont nua em cada intervalo aberto (ci , ci+1 ) e os limites laterais f (c+ i ) = lim f (x) e f (ci ) = lim f (x)
xci xci
existem para todo i; f e seccionalmente mon otona se f e crescente ou decrescente em cada intervalo (ci , ci+1 ). Demonstra c ao do Teorema 2.1. Pela aplica c ao do Teorema 2.2 a f (x) = 1 1
se x [ 2 , 2 ], se x (, 2 ) ( 2 , ),
conclu mos a validade da representa c ao 1= 4
k=1
(1)k1 cos (2k 1)x, 2k 1
<x< . 2 2
Denotando por a parte da placa acima da reta y = , segue de uma verica c ao imediata que u e todas as s eries obtidas por deriva c oes formais sucessivas de u convergem uniformemente em ; portanto, u C ( ), para todo > 0. Em particular, u = 0 em e as condi c oes de contorno laterais da placa s ao atendidas.
37
Resta vericar a continuidade de u numa vizinhan ca do segmento , ) sobre o eixo x . Para isso precisaremos do seguinte resultado ( 2 2 demonstrado por Abel em 1826 num estudo sobre a converg encia da s erie de Taylor(17) : Lema 2.3 (Abel) Sejam (ck )k1 e (vk )k1 duas seq u encias em R. Suponha que c1 c2 c3 . . . 0 e que exista uma constante M > 0 satisfazendo
n
vk M
k=1
n 1.
Logo,
n
ck vk c1 M
k=1
n 1. vk , teremos v3 = s3 s2 , ....
Demonstra c ao. Denindo sk := v1 = s1 , Portanto,

n
n k=1
v2 = s2 s1 ,
ck vk = c1 s1 + c2 (s2 s1 ) + + cn (sn sn1 )

k=1
= (c1 c2 )s1 + (c2 c3 )s2 + + (cn1 cn )sn1 + cn sn . Como cn e os termos entre par entesis s ao positivos, o resultado segue imediatamente da estimativa uniforme para |sk |. Vamos aplicar o lema acima com ck (y ) := 1 e(2k1)y 2k 1
n
vk (x) := (1)k1 cos (2k 1)x.
Como (Vid Exerc cio 2.1) vk (x) sec

k=m
(17) H.
x 2
se m n,
(2.20)
N. Abel, uvres, I, pp.219250. Apud G. D. Birkho, op cit, pp.6870.
38
tais somas permanecem uniformemente limitadas sobre o intervalo ancia de ( 2 + , 2 ). Seja os pontos da placa a uma dist suas laterais, i.e., das retas x = 2 e x = pelo Lema 2.3 temos
n 2.
Se (x, y ) , ent ao
k=m
1 (1)k1 (2k1)y e cos (2k 1)x sec 2k 1 2m 1 2
se m n. Dessa forma, a s erie em (2.8) converge uniformemente em , para todo > 0. Em particular, u(x, y ) 1 quando x x0 ( 2 , 2 ) e y 0. O leitor interessado encontrar a outros resultados sobre as s eries de Fourier na bibliograa sobre o assunto(18) .
2.2
A fun c ao de Green
Em 1828, Green publicou um pequeno livro entitulado An Essay on the Application of Mathematical Analysis to the Theory of Electricity and Magnetism, no qual apresentou suas tr es identidades, obtidas a partir do Teorema do Divergente, e construiu a fun c ao de Green para regi oes limitadas. Seu objetivo era estudar a rela c ao entre a densidade supercial de cargas sobre e o potencial eletrost atico resultante. Nesse livro, Green apresenta uma suposta demonstra c ao de exist encia de solu c oes do problema de Dirichlet para a equa c ao de Laplace. No entanto, em vista do isolamento que a Matem atica inglesa j a vinha enfrentando havia mais de um s eculo (por conta das diferentes posturas adotadas no desenvolvimento de conceitos fundamentais do C alculo(19) ), esse trabalho de Green permaneceria inc ognito ` a EuG. D. Birkho, op cit; D. G. de Figueiredo, [24]; M. Kline, op cit. na Inglaterra buscava-se construir um C alculo baseado nas id eias geom etricas e f sicas de Newton, apelando para velocidades instant aneas, na parte continental da Europa desenvolviam-se os diferenciais, i.e., as quantidades innitamente pequenas de Leibniz. Embora nenhuma dessas vertentes conseguisse estabelecer uma base l ogica para seus conceitos, o uso dos diferenciais era bem mais ex vel, levando a todo um aparato de manipula c oes alg ebricas formais que seriam largamente utilizadas no s eculo 18.
(19) Enquanto (18) Cf.
DE GREEN [SEC. 2.2: A FUNC AO
39
ropa continental por um longo tempo(20) .
2.2.1
Constru c ao da fun c ao de Green
Dado Rn aberto limitado e suave, o seguinte teorema se verica (Vid Exerc cio 2.5): Teorema 2.4 (Identidades de Green) Se u, v C 2 (), ent ao v u + v u dx =

u d, d
(2.21) (2.22)
uv v u dx =

u v u
e u(x) =
(y x)
u (y ) (y x)u(y ) dy
(y x)u(y ) dy
x . (2.23)
A segunda identidade de Green foi obtida independentemente, tamb em em 1828, pelo matem atico russo Mikhail Vassilievich Ostrogradski(21) (1801-1861). A terceira identidade de Green merece uma aten c ao especial por fornecer uma representa c ao para u em termos de integrais. Fisicamente, (2.23) signica que toda fun c ao suave u pode ser expressa como a combina c ao de tr es potenciais, a saber: u1 (x) = u (y ) dy , correspondendo ao potencial eletrost atico gerado por uma distribui c ao supercial de cargas sobre com densidade u ; (y x)
(20) E cou praticamente esquecido at e que Sir William Thompson (1824-1907), futuro Lorde Kelvin, intercedesse para que fosse publicado no Journal f ur die Reine und Angewandte Mathematik. Cf. G. Green, J. Reine Angew. Math. 39 (1850), 7379; 44 (1852), 356374; 47 (1854), 161221. Apud M. Kline, op cit, p.683. (21) M. V. Ostrogradski, M em. Akad. Sci. St. Peters. (6) 1 (1831), 3953. Apud M. Kline, loc cit.
40 u2 (x) =
(y x)u(y ) dy , o potencial de camada dupla y de densidade u sobre ;
u3 (x) =
(y x)u(y ) dy , o potencial el etrico gerado por
uma distribui c ao volum etrica de cargas, com densidade u em . A fun c ao de Green visa obter uma representa c ao integral da solu ca o do problema de Dirichlet u = 0 u=f em , sobre , (2.24)
em termos apenas de f . Antes de introduzir a fun c ao de Green, vamos apresentar a motiva ca o baseada no Teorema 2.4. Dado x , seja x seja uma fun c ao harm onica em a ser determinada. Pela segunda identidade de Green, aplicada com v := x , 0=
x (y )
u x (y ) u(y ) (y ) dy + y
x (y )u(y ) dy.
Subtraindo essa express ao de (2.23), temos u(x) =
(y x) x (y )
u (y )+ (2.25)
x (y x) (y ) u(y ) dy + y x .
(y x) x (y ) u(y ) dy
c ao inNosso interesse e de eliminar o termo u dessa representa tegral. Para isso, devemos escolher x harm onica tal que x (y ) = (y x), y . Com base nestas observa c oes, denimos:
41
o (Func o de Green) A fun Definic a a c ao de Green associada ao problema de Dirichlet para a equa c ao de Laplace em ser a dada por G(x, y ) := (y x) x (y ) x , y ,
onde e a solu c ao fundamental de em Rn e x (y ), a parte regular da fun c ao de Green, satisfaz para cada x o problema de Dirichlet y x = 0 x (y ) = (y x) em , sobre . (2.26)
o 2 Pelo princ Observac a pio do m aximo, e f acil vericar que

G(x, y ) 0. Al em disso, pode ser demonstrado utilizando a segunda identidade de Green que G e sim etrica, i.e., G(x, y ) = G(y, x), a despeito da deni c ao totalmente assim etrica da parte regular da fun c ao de Green (Vid Exerc cio 2.6).
Utilizando a fun c ao de Green, podemos reescrever (2.25) como u(x) =
G(x, y )u(y ) dy y
G(x, y )u(y ) dy
x .
Em particular, se u for harm onica em , ent ao teremos a seguinte representa c ao integral para u: u(x) =
G(x, y )u(y ) dy y
x ,
(2.27)
a qual depende apenas dos valores de u sobre . Em vista de (2.27), a resolu c ao do problema de Dirichlet reduz-se a determina ` c ao da fun c ao de Green associada a . No entanto, isso signica encontrar sua parte regular satisfazendo (2.26). A f ormula (2.27) foi obtida de maneira formal; de fato, duas quest oes b asicas precisam ser respondidas: 1. A fun c ao x existe para todo x ? 2. Qual e a regularidade da fun c ao de Green G?
42
A obten c ao expl cita da fun c ao de Green pode ser feita apenas para dom nios extremamente particulares, como por exemplo o semiespa co ou a bola em Rn . Como aplica c ao das t ecnicas ilustradas aqui, na pr oxima se c ao iremos demonstrar a exist encia de solu c oes para o problema de Dirichlet sobre BR (0). Em seguida, trataremos da exist encia da fun c ao de Green para regi oes mais gerais, como uma bela aplica c ao do Teorema de Hahn-Banach. Por outro lado, o fato de a parte regular da fun c ao de Green n ao ser necessariamente de classe C 1 passou despercebido at e o nal do s eculo 19. Em 1890, por exemplo, Poincar e ainda n ao parecia se deter muito nessa quest ao de regularidade, pois ao resolver um caso particular do problema de Dirichlet (sobre a exist encia de um potencial condutor para ), ele observa que o caso geral poderia ser obtido por meio da fun c ao de Green(22) . Tal problema somente seria resolvido por Alexander Liapouno(23) (1857-1918) em 1898, garantindo a possibilidade de extens ao cont nua das derivadas de x sobre , desde que seja sucientemente regular(24) . Note que para abertos Rn arbitr arios, a fun c ao x pode n ao pertencer a C 1 () como podemos observar no exemplo seguinte(25) : Exemplo 2.1 Consideremos a regi ao em forma de L dada por := (1, 1)2 \[0, 1)2 (Vid Figura 2.3). Parametrizando-a em coordenadas polares, segue que a fun c ao u(r, ) := r2/3 sen 23 e harm onica em disso, u| e suave. Como veremos no em e cont nua em ; al Cap tulo 4, o problema de Dirichlet sempre ir a admitir solu c ao em ; no entanto, u C 1 ().
2.2.2
A f ormula de Poisson
Nosso objetivo ser a obter uma f ormula expl cita para as solu c oes do problema de Dirichlet sobre BR (0) Rn , partindo da constru c ao
(22) Cest un cas particulier du probl` eme de Dirichlet, mais on conna t un moyen (par les fonctions de Green) de ramener le cas g en eral ` a ce cas particulier. (H. Poincar e, [56], p.29) (23) Cf. A. Liapouno, [49]. (24) Cf. G. B. Folland, [25], pp.263265. (25) Cf. W. Hackbusch, [35], pp.1314.
43
Figura 2.3: O dom nio do Exemplo 2.1 da fun c ao de Green associada a BR (0). Nesse caso particular, seremos capazes de vericar diretamente que a express ao (2.27) realmente resolve nosso problema no sentido cl assico, para toda f C BR (0) . Nessa se c ao, vamos demonstrar o seguinte rmula de Poisson) Para toda f C BR (0) , Teorema 2.5 (Fo a solu c ao do problema de Dirichlet u = 0 u=f e dada por u(x) = R2 |x|2 n R f (y ) dy |y x|n x BR (0). (2.28) em BR (0), sobre BR (0),
BR (0)
A f ormula de Poisson foi obtida por Poisson em 1820(26) . Al em de garantir a exist encia do problema de Dirichlet em BR (0) por meio de uma f ormula expl cita, essa express ao permite obter estimativas de crescimento de fun c oes harm onicas por meio da desigualdade de Harnack(27) :
D. Poisson, [61]. Harnack, Grundlagen der Theorie des logarithmischen Potentials, Leipzig, 1887, p.62. Apud O. D. Kellogg, op cit, p.262.
(27) A. (26) S.
44
o 2.6 (Desigualdade de Harnack) Seja u uma funProposic a c ao harm onica e n ao-negativa em BR (0). Logo, Rn2 R |x| R + |x|
n1 u(0)
u(x) Rn2
R + |x| R |x|
n1 u(0),
para todo x BR (0). Em particular, sup

xB R (0)
2
u(x) Cn
xB R (0)
2
nf
u(x).
Demonstra c ao. A proposi c ao segue da estimativa do n ucleo da f ormula de Poisson a partir da desigualdade triangular R |x| |y x| R + |x| x BR (0) y BR (0),
e do valor de u calculado em x = 0, utilizando a f ormula de Poisson(28) : 1 u(0) = u d. n Rn1 BR (0)
Para a obten c ao da parte regular da fun c ao de Green associada a BR (0), utilizaremos um princ pio de reex ao de cargas eletrost aticas: dada uma carga pontual numa regi ao , devemos determinar a posi c ao de outra carga, no exterior de , gerando o mesmo potencial sobre . Esse potencial ser a a fun c ao procurada. o Dado x Rn , x = 0, vamos denir a reex Definic a ao de x com respeito a BR (0) como sendo o ponto x , na dire c ao positiva de x, R2 tal que |x||x | = R2 ; matematicamente, podemos escrever x := x. |x|2 Em particular, (x ) = x. O ponto x possui uma propriedade geom etrica bastante elementar, mas que ser a de grande utilidade:
(28) Essa
e a f ormula da m edia que foi vista na Se c ao 1.4.
45
o 2.7 Se x BR (0) e x = 0, ent Proposic a ao |x| |y x| = |y x | R y BR (0).
Por outro lado, se y BR (0), ent ao |x| |y x| |y x | R |x| |y x| |y x | R x BR (0), x = 0, x BR (0).
Demonstra c ao. A demonstra c ao desses fatos e elementar e segue da express ao |y |2 2 y, x + |x|2 |y |2 2 y, x + |x|2 |x|2 |y x|2 = |y |2 . 2 4 = 2 2 R R 2 2 2 |y x | R |y | 2 |x|2 y, x + |x|2 R2 |x| 2 y, x + R Se y BR (0), ent ao obtemos a primeira identidade. As outras duas rela c oes s ao conseq u encia direta de |y |2 + |x|2 |y |2 2 |x| + R2 R2 = |y |2 R2 1 |x|2 . R2
Com base na proposi c ao acima e na depend encia radial da solu c ao fundamental , conclu mos que (y x) = |x| (y x ) R y BR (0), x BR (0), x = 0.
Al em disso, como x BR (0), se x BR (0), ent ao a parte regular da fun c ao de Green dever a ser dada por (Vid Exerc cio 2.10) |x| (y x ) se x BR (0), x = 0, R x (y ) = (2.29) (y ) se x = 0. Demonstra c ao do Teorema 2.5. Utilizando a express ao de proposi c ao anterior, obtemos R2 |x|2 1 G (x, y ) = . y n R |y x|n
xi
e a
(2.30)
46
Por verica c ao direta (ou utilizando a simetria da fun c ao de Green), conclui-se que u e harm onica em BR (0), de forma que o ponto delicado da demonstra c ao est a na constata c ao de que u assume o valor de contorno desejado, em outras palavras, resta-nos demonstrar que
xx0 xBR (0)
lim u(x) = f (x0 ) x0 BR (0).
Para isso, utilizaremos o lema seguinte, o qual e conseq u encia imediata da identidade (2.27) aplicada a u 1:
Lema 2.8 R2 |x|2 n R 1 dy = 1 |y x|n x BR (0).
BR (0)
Pela continuidade de f , dado > 0, existe > 0 tal que |y x0 | < implica |f (y ) f (x0 )| < . Com essa nota ca o e pelo Lema 2.8, podemos escrever u(x) f (x0 ) = = = R2 |x|2 n R R |x| n R +
BR (0)\B (x0 ) 2 2 BR (0)B (x0 ) BR (0)
1 f (y ) f (x0 ) dy |y x|n 1 f (y ) f (x0 ) dy + |y x|n
1 f (y ) f (x0 ) dy |y x|n
=: A + B. Seja > 0 tal que d(y, B/2 (x0 )) > y BR (0)\B (x0 ).
Logo, se x B/2 (x0 ), ent ao segue da continuidade de f e do Lema 2.8
47
que |A| < R2 |x|2 n R dy = , |y x|n
BR (0)
1 R2 |x|2 n Rn1 n 2 f L |B | < n R 2 f L Rn2 R2 |x|2 0, = n quando x x0 . Conseq uentemente,

xx0 xBR (0)
lim sup u(x) f (x0 ) < > 0,
ou seja,
xx0 xBR (0)
lim u(x) = f (x0 ) x0 BR (0)
Portanto, a fun c ao u dada por (2.28) satisfaz o problema de Dirichlet para a equa c ao de Laplace, com condi c ao de contorno f .
2.2.3
Sobre a exist encia da fun c ao de Green
O fato de a fun c ao de Green n ao ter sido explorada de forma mais sistem atica durante o s eculo 19 se deve em grande parte, como j a observamos, ao desconhecimento do trabalho de Green na Europa continental. De qualquer forma, a resolu c ao do problema particular y x = 0 x (y ) = (y x) em , sobre ,
n ao simplicava muito a quest ao original. Nesta se c ao, apresentaremos uma demonstra c ao da exist encia da fun c ao de Green para abertos limitados de Rn satisfazendo a propriedade da esfera interior e exterior: o Rn satisfaz a condi Definic a c ao da esfera interior e exterior se existir r > 0 tal que, para todo y0 , existam y1 e y2
48
Rn \ satisfazendo as seguintes condi c oes: Br (y1 ) , Br (y2 ) R \ ,

n
Br (y1 ) = {y0 }, Br (y2 ) = {y0 }.
(esfera interior) (2.31) (esfera exterior) (2.32)
o 3 Para cada y0 , como Br (y1 ) e Br (y2 ) n Observac a ao se interceptam, o plano tangente a em y0 est a bem denido; em particular, os pontos y1 e y2 est ao unicamente determinados para todo r > 0 sucientemente pequeno. Nosso objetivo e demonstrar o seguinte(29) ) Suponha que Rn satisfa Teorema 2.9 (Poincare ca a condic ao da esfera interior e exterior. Ent ao, existe a fun c ao de Green G associada a . A demonstra c ao que apresentaremos aqui utiliza o Teorema de Hahn-Banach(30) e e devida a Peter D. Lax(31) . Demonstra c ao. Seja B o subespa co vetorial de C ( ) formado pelas fun c oes f para as quais o problema de Dirichlet admite solu c ao cl assica, a qual denotaremos por uf . Pelo princ pio do m aximo, para cada x , a aplica c ao Lx : B f R uf (x)
e um operador linear cont nuo. Al em disso, Lx e mon otona crescente, i.e., f1 f2 implica Lx (f1 ) Lx (f2 ) ou, equivalentemente, f 0 implica Lx (f ) 0. Vamos dividir a demonstra c ao do Teorema 2.9 em duas etapas: 1a etapa. Existe uma extens ao linear cont nua de Lx em C ( ) que e mon otona crescente. Para isso, vamos utilizar a forma anal tica do Teorema de HahnBanach(32) :
(29) H. (30) S.
Poincar e, [56]. Banach, [3]. (31) P. D. Lax, [44]. (32) Cf. H. Brezis, [7], pp.13.
49
Teorema 2.10 (Teorema de Hahn-Banach) Sejam E um espa co vetorial normado e p : E R uma fun c ao subaditiva e homog enea positiva, ou seja, p(x1 + x2 ) p(x1 ) + p(x2 ) p(x) = p(x) x E, x1 , x2 E, > 0.
Dados F E um subespa co vetorial e T : F R um funcional linear cont nuo tal que T (x) p(x), x F , ent ao existe uma extens ao de T em E tal que T (x) p(x), x E. linear cont nua T Vamos aplicar o Teorema 2.10 a px (g ) := sup Lx (f ). Observe que
f g f B
e subaditiva e homog enea positiva; al em disso, Lx (f ) = px (f ), px x : C ( ) R f B . Pelo Teorema de Hahn-Banach, existe L linear e cont nua, que estende Lx e tal que x (g ) px (g ) g C ( ). L x x (g ) Em particular, L e mon otona crescente, pois g 0 implica L px (g ) 0. 2a etapa. Dado x , seja x (y ) y Rn \ , x (y ) := L onde y (z ) := (y z ), z Rn . Ent ao, x se extende continuamente como uma fun c ao em Rn . Dado y , a aplica c ao y : z (z y ) pertence a C ( ). ao a bem denida sobre Rn \ . Ainda, se y , ent Logo, x est y B , de onde segue que x (y ) = (y x) y . x (y ) = L (2.33)
Seja y , com h := d(y, ) < r, onde r > 0 satisfaz a condi c ao da esfera exterior e interior. Observe que existe um u nico ponto y0 que minimiza a dist ancia entre y e . De fato, Bh (y ) e Br (y1 ) devem estar no mesmo subespa co am determinado pelo plano tangente a em tangencia Bh (y ) e Br (y1 ) em y0 . Como este plano tangente tamb em y0 , e h < r, ent ao Bh (y ) Br (y1 ). Logo, Bh (y ) = {y0 }.
50
Al em disso, temos y [y0 , y1 ], i.e., y est a no segmento que liga y0 a y1 . Como y = y1 e y = y2 , podemos denir y e y , as reex oes de y com rela c ao a Br (y1 ) e Br (y2 ), respectivamente. Nosso objetivo ser a mostrar que, caso y esteja sucientemente pr oximo de , ent ao y e y n ao pertencem a . Isso ser a feito com o aux lio do seguinte Lema 2.11 Se y e d(y, ) <
2r 3 ,
ent ao y , y .
Demonstra c ao. No caso de y , n ao h a problema, pois y signica y Br (y2 ) e, portanto, y Br (y2 ). r Vamos supor y e que d(y, ) < 2 3 . Se y0 for o ponto que minimiza a dist ancia entre y e , ent ao y [y0 , y1 ]; mais precisamente, 1 < t < 1. Logo y = y1 + s(y0 y1 ), com y = y1 + t(y0 y1 ), com 3 1 < s < 3. Em particular, |y y2 | < r e y Br (y2 ). Vamos retomar a demonstra c ao do Teorema 2.9. Se z , ent ao z Br (y1 ) e z Br (y2 ). Logo, aplicando a segunda parte da Proposi c ao 2.7, com as devidas modica c oes de nota c ao, teremos r 1 1 r 1 |y y2 | |y z | |y z | |y y1 | |y z | z ,
r onde estamos supondo y e d(y, ) < 2 3 . Vamos supor n > 2; o caso n = 2 pode ser tratado de forma an aloga (Vid Exerc cio 2.12). Segue da rela c ao acima que
r |y y2 |
n2
y (z ) y (z )
r |y y1 |
n2
y (z ) z .
x Como L e um funcional linear mon otono crescente, aplicando esse operador ` a express ao acima, as desigualdades ser ao mantidas. Como y , y , segue de (2.33) que r |y y2 |
n2
(y x) x (y )
r |y y1 |
n2
(y x) x .
(2.34) Fixado y , observe que y y implica |y y1 |, |y y2 | r e, portanto, y , y y . Em vista de (2.34), teremos

y y y
lim x (y ) = ( y x) y .
51
3a etapa. x e a parte regular da fun c ao de Green de . Pela etapa precedente, sabemos que x e cont nua em Rn e x ( y ) = ( y x) x , x linear e cont Sendo L nua, teremos x (y y ) = 0 y x (y ) = L y , y .
de maneira que x e harm onica em . Em outras palavras, x ea parte regular da fun c ao de Green. Como j a observamos, Green utilizara sua fun c ao com o intuito de demonstrar a exist encia de solu c ao para o problema de Dirichlet. Mas anal, como poderia ele ter alcan cado tal objetivo se no in cio do s eculo 19 ainda mal dispunha das ferramentas necess arias? Ora, seguindo um recurso bastante empregado na epoca, confundindo o fen omeno f sico com o modelo matem atico que procura descrev e-lo, no caso o potencial eletrost atico(33) . Al em disso, j a ressaltamos que a quest ao da diferenciabilidade de G sobre estava longe ser constatada por Green, de maneira que por constru c ao u(x) :=
G(x, y )f (y ) dy y
x ,
deveria ser harm onica em . Finalmente, para vericar a condi c ao de contorno, Green observa que a forma de n ao e relevante, e o resultado segue do decaimento r apido de G(x, y ) quando x se y afasta de y , como no caso da esfera (Vid Equa c ao (2.30)).
(33) To convince ourselves that there does exist such a function as we have supposed U [G] to be, conceive the surface to be a perfect conductor put in communication with the earth, and a unit of positive electricity to be concentrated in the point p [x]; then the total potential function arising from p [x] and form the electricity it will induce upon the surface will be the required value of U [G]. (G. Green, op cit. Apud G. D. Birkho, op cit, p.356.)
52
2.3
Exerc cios
Exerc cio 2.1 Verique (2.20).

Sugest ao: Note que vk (x) e a parte real de (1)k1 ei(2k1)x e utilize a f ormula da soma de uma progress ao geom etrica.
Exerc cio 2.2 Utilizando as rela c oes de ortogonalidade 1
cos jx sen kx dx = jk ,
(2.35)
obtenha a s erie de Fourier de f (x) = ex ex em (, ); compare com (2.14). Exerc cio 2.3 Mostre que a s erie (1)k1 1 sen kx converge para todo x R, k+ k k=1 utilizando apenas o Lema de Abel. Exerc cio 2.4 Mostre que as solu c oes de (2.16) s ao dadas por (2.17). Exerc cio 2.5 Deduza o Teorema 2.4 utilizando o Teorema do Divergente: div F =

F C 1 (; Rn ).
(2.36)
Sugest ao: Para obter (2.23), utilize a segunda identidade de Green sobre o conjunto \B (x) e fa ca 0. Cf. D. Gilbarg e N. S. Trudinger, [33], pp.1718.
Exerc cio 2.6 Seja um dom nio para o qual a fun c ao de Green existe. Mostre que G(x, y ) 0 e G(x, y ) = G(y, x) (x, y ) .
Sugest ao: Cf. L. C. Evans, [20], pp.3536.
Exerc cio 2.7 Verique o Exemplo 2.1.
53
Exerc cio 2.8 Utilizando a desigualdade de Harnack, demonstre o Teorema de Liouville: Se u for harm onica e limitada em Rn , ent ao u e constante. Exerc cio 2.9 Na Se c ao 1.4, vimos que toda fun c ao harm onica e de classe C . Utilizando a f ormula de Poisson, mostre que toda fun c ao harm onica e anal tica. Exerc cio 2.10 Mostre que a fun c ao (x, y ) x (y ) em (2.29) e de classe C . Exerc cio 2.11 Calcule a fun c ao de Green do semi-espa c o Rn + . Em seguida, mostre que u(x) := 2xn nn f (y ) dy |x y |n x Rn +
Rn +
e solu c ao do problema de Dirichlet u = 0 u=f em Rn +, sobre Rn +,
para toda fun c ao cont nua e limitada f . Exerc cio 2.12 Demonstre o Teorema 2.9 em dimens ao n = 2.
Observa c ao: A exist encia da parte regular da fun c ao de Green para n = 2 pode ser obtida de forma mais simples, al em disso supondo apenas que a curva simples e fechada seja suave por partes. Cf. P. D. Lax, loc cit; A. E. Taylor, [67], pp.188190.
Cap tulo 3
O Princ pio de Dirichlet

Num artigo de 1870(1) , Karl Theodor Wilhelm Weierstrass (18151897) reproduz uma carta de Julius Wilhelm Richard Dedekind (18311916), onde este descreve uma nova abordagem do problema de Dirichlet que lhe fora apresentada por Dirichlet no ver ao de 1856. Tal m etodo j a vinha sendo utilizado por muitos outros matem aticos, destacadamente Georg Friedrich Bernhard Riemann (1826-1866), que o denominou Princ pio de Dirichlet em homenagem a seu antigo professor(2) .
3.1
Sobre o chamado Princ pio de Dirichlet
O Princ pio de Dirichlet consiste em transformar o problema de

T. W. Weierstrass, [70]. seinen Vorlesungen u ber die Kr afte, welche nach dem Newtonschen Gesetz wirken, hat sich Lejeune Dirichlet zur Begr undung eines Hauptsatze der Potentialtheorie einer eigenth umlichen Schlussweise bedient, welche sp ater auch von anderen Mathematikern, namentlich von Riemann, vielfach angewandt worden ist und den Namen Dirichletsche Princip erhalten hat. (K. T. W. Weierstrass, loc cit.)
(2) In (1) K.
55
56 Dirichlet u = 0 u=f
[CAP. 3: O PRINC IPIO DE DIRICHLET
em , sobre ,
(3.1)
no problema variacional de se determinar a fun c ao que minimiza o funcional I (u) =
|u|2 dx,
(3.2)
sobre C 1 () C (), com a restri c ao u = f sobre . De fato, sejam m o nmo de (3.2) e u0 uma fun c ao admiss vel satisfazendo a condi c ao de contorno f em e tal que I (u0 ) = m. (), e claro que u0 + t continua sendo uma fun c ao Para cada C0 admiss vel, qualquer que seja t R. Nesse caso, I (u0 + t) I (u0 ) = 2t
u0 dx + t2 I () 0.
Para que a u ltima desigualdade permane ca v alida para todo t R, devemos ter
u0 dx = 0 C0 ().
Utilizando a f ormula de integra c ao por partes, a express ao acima pode ser reescrita como
u0 dx = 0 C0 (),
ou seja, u0 = 0 em . Como u0 = f sobre , ter-se- a acima uma demonstra c ao bastante elegante sobre a solubilidade do problema de Dirichlet, desde que sejamos capazes de demonstrar que 1. m < , em outras palavras, a classe de fun c oes admiss veis e n ao-vazia; 2. Existe uma fun c ao admiss vel u0 C 1 () C (), u0 = f sobre , que minimiza a integral de Dirichlet (3.2); 3. A fun c ao que minimiza a integral de Dirichlet pertence a C 2 ().
[SEC. 3.1: SOBRE O CHAMADO PRINC IPIO DE DIRICHLET
57
Embora a necessidade de estabelecer tais fatos seja clara aos nossos olhos, o mesmo n ao pode ser dito sobre a utiliza c ao do Princ pio de Dirichlet em meados do s eculo 19. Na verdade, essas tr es condi c oes passariam despercebidas aos matem aticos daquele per odo por mais de duas d ecadas, at e 1870. Muito embora Dirichlet tenha levado os cr editos no princ pio variacional que ostenta seu nome, na mesma epoca o Princ pio de Dirichlet tamb em esteve presente em trabalhos de William Thompson (futuro Lorde Kelvin) (1824-1907) e de Riemann. O pioneirismo em tal abordagem coube a Green(3) que, j a em 1833, a utilizara para demonstrar a exist encia de solu c oes do problema de Dirichlet. No entanto, como j a observamos no cap tulo anterior, os trabalhos de Green tiveram pouca inu encia na Europa continental. Gauss, por meio de uma formula c ao um pouco mais primitiva envolvendo a energia potencial de um campo eletrost atico(4) tamb em garantiu a exist encia de solu c oes para o problema de Dirichlet(5) . No entanto, se Green e Gauss sustentaram seus trabalhos, mesmo que implicitamente, no modelo f sico de equil brio de cargas eletrost aticas(6) , estranhamente o mesmo n ao aparece ocorrer com Thompson, Dirichlet e Riemann. Com rela c ao a Thompson e Dirichlet, ambos acreditavam que a exist encia do m nimo u0 para a integral de Dirichlet era uma conseq u encia do fato de I (u) =
|u|2 dx
ser positiva para toda fun c ao admiss vel. Thompson(7) utiliza uma formula c ao um pouco mais geral para o Princ pio de Dirichlet, com o intuito de demonstrar a exist encia de
(3) G. Green, Trans. Camb. Phil. Soc. 5 (1835), 395430; Mathematical Papers, pp.187222. Apud M. Kline, [41], p.684. (4) K. F. Gauss, Allgemeine Lehrs atze in Beziehung auf die im verkehrten Verh altnisse des Quadrats der Entfernung wirkenden Anziehungs und Abstoungskr afte. In : Werke, V, pp.191242 [pp.221226]. Apud G. D. Birkho, op cit, pp.358361. Cf. D. Birkho, op cit, p.379. (5) Cf. J. A. Dieudonn e, [16], p.36. (6) Cf. O. D. Kellogg, [40], pp.7981 e 278279. (7) W. Thompson, Theorems with reference to the solution of certain partial
58
solu c oes para a equa c ao div(2 u) = em , onde e s ao fun c oes dadas, a qual se reduz ` a equa c ao de Poisson quando 1. No entanto, em nenhum momento e feita qualquer men c ao a fen omenos f sicos (muito embora a equa c ao estudada tenha origem nesse tipo de problema): seu trabalho tem um conte udo puramente matem atico. Com Dirichlet a situa c ao e ainda mais dr astica. Num livro publicado postumamente(8) , Dirichlet se prop oe a demonstrar que, dada uma fun c ao cont nua sobre , existe uma distribui c ao de massas sobre capaz de gerar um potencial gravitacional que assuma tais valores pr e-estabelecidos sobre . Dirichlet observa que tal problema se resume a mostrar a exist encia de solu c oes de u = 0 em , com condi c ao de contorno dada. Ele lamenta que a determina c ao de uma tal fun ca o n ao seja construtiva; no entanto, comenta que a resolu c ao da equa c ao de Laplace n ao oferece quaisquer diculdades (sic)(9) e utiliza o Princ pio de Dirichlet, sem se preocupar com nenhuma das quest oes levantadas acima, em particular, sobre a exist encia de um m nimo para I (u) sujeito ` as condi c oes de contorno. Tais exemplos ilustram uma certa tentativa de evitar a utiliza c ao de problemas f sicos na resolu c ao de quest oes de ordem puramente matem atica. No caso de Dirichlet, essa postura parece ser levada ao extremo quando este recorre ` a possibilidade de solu c ao do problema matem atico para tratar do problema f sico associado, como numa tentativa de justicar a si mesmo que a intui c ao havia sido deixada de lado. Isso mostra o impacto da refundi c ao l ogica pela qual passou a An alise no s eculo 19, com os trabalhos de Cauchy por volta de 1820. Mas at e as d ecadas de 1850 e 1860, esse processo ainda n ao estava consolidado: as id eias f sicas ainda permeavam os esp ritos dos matem aticos, em muitos casos de forma bastante sutil para os padr oes da epoca.
dierential equations, Cambridge Dublin Math. J. 3 (1948), 84 et seq; J. Math. 12 (1847), 496 et seq; Math. and Phys. Papers 1, 9396. In : G. D. Birkho, op cit, pp.380382. (8) P. G. L. Dirichlet, Die im umgekehrten Verh altniss des Quadrats der Entfernung wirkenden Kr afte, Leipzig, 1876. Apud G. D. Birkho, [4], p.385. (9) The latter presents no diculty. (P. G. L. Dirichlet, op cit, 32. Apud G. D. Birkho, loc cit.)
CONFORME [SEC. 3.2: O TEOREMA DA APLICAC AO
59
Uma quest ao levantada por Henri Poincar e (1854-1912) aborda essa interfer encia de fen omenos f sicos na resolu c ao de problemas matem aticos(10) . Sabemos que um modelo f sico e obtido a partir de uma s erie de considera c oes aproximativas, a partir de simplica c oes do fen omeno que se planeja estudar; em muitos caso, ainda, os argumentos matem aticos envolvidos s ao altamente question aveis. Chegamos ent ao ao seguinte dilema envolvendo o Princ pio de Dirichlet: realmente e necess aria uma demonstra c ao para a exist encia de solu c oes do problema de Dirichlet, mesmo sabendo que isso pode ser obtido por argumentos puramente f sicos? Al em disso, sendo uma demonstra c ao necess aria, tal problema deveria ser tratado com o mesmo rigor de uma quest ao de An alise Pura, mesmo que isso possa parecer um pedantismo in util? Para Poincar e, a equa c ao resultante de um modelo f sico representa um desao a ser vencido, utilizando para isso todo o rigor necess ario a uma quest ao, agora, puramente matem atica. Al em disso, nada impede que equa c oes proveniente da F sica tenham, algum dia, profundas implica c oes na Matem atica(11) . No caso espec co do Princ pio de Dirichlet em meados do s eculo 19, Riemann o utilizaria no estudo de problemas envolvendo aplica c oes conformes(12) e integrais abelianas(13) . Em 1870, Weierstrass iria apontar uma grave falha nessa abordagem.
3.2
(10) H.
O Teorema da Aplica c ao Conforme
Nesta se c ao apresentaremos uma aplica c ao do Princ pio de DiriPoincar e, [57], pp.3132. encore permis de se contenter dune demi-rigueur ? Et qui nous dit que les autres probl` emes de la Physique math ematique ne seront pas un jour, comme la d ej` a et e le plus simple dentre eux appel es ` a jouer en Analyse un r ole consid erable ? (H. Poincar e, op cit, p.32.) (12) G. F. B. Riemann, Grundlagen f ur eine allgemeine Theorie der Functionen einer ver anderlichen complexen Gr osse, G ottingen, 1851 (Tese); Werke, pp.343. Apud M. Kline, op cit, p.655. (13) G. F. B. Riemann, Theorie der Abelsche Funktionen, J. Reine Angew. Math. 54 (1857); Werke, 2a ed., pp.82142 [8896]. In : G. D. Birkho, op cit, pp.5056.
(11) Est-il
60
chlet ao problema de representa c ao conforme: Teorema 3.1 (Riemann) Dois abertos simplesmente conexos e limitados 1 , 2 R2 possuem uma bije c ao conforme h : 1 2 . Dados dois abertos 1 , 2 Rn , uma fun ca o f : 1 2 de classe C 1 e dita conforme se f preserva os angulos; mais precisamente, se dados x 1 e v1 , v2 Rn n ao-nulos, ent ao a transforma c ao linear f (x) : Rn Rn e injetiva e (f (x)v1 , f (x)v2 ) = (v1 , v2 ). Em dimens ao n = 2, podemos fazer uso das fun c oes anal ticas no estudo das transforma c oes conformes. Com efeito, se f for anal tica, v1 , v2 R2 C forem n a o-nulos, e f ( x ) = 0, teremos = arg f (x)v1 arg f (x)v2 = arg f (x) + arg v1 arg f (x) + arg v2 = arg v1 arg v2 . A rec proca tamb em e verdadeira. De fato, se f : C e conforme, ent ao f satisfaz as equa c oes de Cauchy-Riemann e, portanto, e anal tica(14) . Na demonstra c ao do Teorema 3.1, utilizaremos um resultado cl assico da teoria de fun c oes anal ticas(15) : ) Seja uma curva simples e contra Lema 3.2 (Rouche vel em R2 . Se f e g forem anal ticas em , e tais que |f (z ) g (z )| < |f (z )|, z , ent ao envolve o mesmo n umero de zeros de f e g , incluindo suas multiplicidades. Para demonstrar o Teorema 3.1, vamos admitir que o problema de Dirichlet sempre admita solu c ao nas regi oes simplesmente conexas do plano. Embora esse resultado seja verdadeiro (Vid Cap tulo 4), Riemann se utilizou do Princ pio de Dirichlet para concluir que o problema de Dirichlet teria solu c ao para todo (sic) aberto de R2 .
(14) Cf. (15) Cf.
L. V. Ahlfors, [2], pp.7374. L. V. Ahlfors, op cit, pp.153154.
CONFORME [SEC. 3.2: O TEOREMA DA APLICAC AO
61
Demonstra c ao do Teorema 3.1. Como a composi c ao de aplica c oes conformes tamb em e conforme, basta demonstrarmos o resultado quando um dos abertos e a bola unit aria B1 (0); o outro conjunto denotaremos simplesmente por . Fixado z0 , seja u := z0 a parte regular da fun c ao de Green G 1 associada a , i.e., u e harm onica e u(z ) = 21 log |z z0 | , se z (aqui fazemos uso do Princ pio de Dirichlet para garantir a exist encia da parte regular da fun c ao de Green). Como e simplesmente conexo, o complexo conjugado de u, que denotaremos por v , est a bem denido a menos de uma constante arbitr aria. Seja h(z ) := (z z0 )e2 u(z)+iv(z) . Dessa forma, h e harm onica em e h(z ) = 0 se, e somente se, z = z0 . Por outro lado, h(z ) = |z z0 |e2u(z) = e2
1 2
log |z z0 |+z0 (z )
= e2G(z,z0 ) < 1
z ,
pois G > 0 em . Em particular, h : B1 (0); al em disso, temos h(z ) 1 quando d(z, ) 0. Resta vericarmos que h e, de fato, uma bije c ao; em outras palavras, dado w B1 (0), devemos mostrar que existe um u nico z tal que h(z ) = w. Com efeito, como |w| < 1 e lim h(z ) = 1, podemos encontrar
d(z, )0
uma curva simples e contra vel em , sucientemente pr oxima de , tal que h(z ) > |w| = h(z ) h(z ) w sobre a regi ao compreendida entre e , inclusive. Pelo Lema de Rouch e, o n umero de ra zes de h(z ) e h(z ) w devem coincidir na regi ao limitada por . Como h possui um u nico zero, a equa c ao h(z ) = w dever a admitir uma u nica solu c ao no interior de e, portanto, em . Para concluir a demonstra c ao do teorema, resta mostrarmos que h = 0 em ; como j a observamos acima, isso implica que h e conforme. Suponhamos por contradi c ao que h (z1 ) = 0 para algum e um zero de h h(z1 ) de ordem suz1 . Em particular, z1 perior ou igual a 2. Logo, para todo w = h(z1 ) numa vizinhan ca de h(z1 ), a equa c ao h w admite pelo menos 2 solu c oes distintas(16) , contradizendo a injetividade de h. Conseq uentemente, h = 0 em e, portanto, h e conforme.
(16) Cf.
L. V. Ahlfors, op cit, p.131, Teorema 11.
62
3.3
3.3.1
O m do Princ pio de Dirichlet

O criticismo de Weierstrass
Por volta de 1870, a Matem atica passaria por uma onda de contestaco es, tendo por objetivo o questionamento de fatos que at e ent ao eram tratados como obvios. Esse movimento, liderado por Weierstrass, apontou in umeras patologias que n ao poderiam ser detectadas pela simples intui c ao. O Princ pio de Dirichlet, da forma com que vinha sendo utilizado, certamente n ao poderia passar despercebido: o objetivo de Weierstrass no seu artigo de 1870 era de apresentar um funcional positivo, mas que n ao possuisse um m nimo: Teorema 3.3 (Weierstrass) Dada u C 1 [1, 1], seja
1
I (u) :=
1
du (x) dx
dx.
Ent ao, nf I (u) : u C 1 [1, 1], u(1) = a e u(1) = b = 0, para todo a, b R. Em particular, o nmo e atingido se, e somente se, a = b. Demonstra c ao. Vamos denir (Vid Figura 3.1) u (x) := a + b b a arctg x + . 2 2 arctg 1
Dessa forma, u e uma fun c ao admiss vel e du ba 2 (x) = . 1 dx 2 arctg x + 2 Logo,

1
I (u )
1
x2 + 2 (b a)2 2 arctg
1 2
du (x) dx
1 1
dx
(3.3) (3.4)
x2
(b a)2 dx = 0, 2 + 2 arctg 1
[SEC. 3.3: O FIM DO PRINC IPIO DE DIRICHLET
63
0.5
-1
-0.5 -0.5
0.5
-1
Figura 3.1: Elementos da fam lia u com a = 1 e b = 1, para = 1, 1 1 1 5 , 20 , 50 quando 0. Conseq uentemente, nf I = 0. No entanto, e claro que esse nmo somente poder a ser atingido por uma fun c ao constante, a qual n ao e uma fun c ao admiss vel se a = b. Nas palavras de Weierstrass, chegamos ` a conclus ao de que o Princ pio de Dirichlet, tal como proposto em meados do s eculo 19, nos conduz a um resultado falso(17) .
3.3.2
O exemplo de Prym
Embora Weierstrass n ao tratasse exatamente da integral de Dirichlet, o exemplo que apresentamos na se c ao anterior foi suciente para aniquilar as esperan cas de que o Princ pio de Dirichlet pudesse estar correto. Provavelmente, antes mesmo de 1870 j a pairavam d uvidas sobre ele. Talvez por medo das cr ticas que poderiam sobrevir, ou mesmo pela mais pura f e de que o Princ pio de Dirichlet estivesse correto, n ao houve contesta c oes abertas. De qualquer maneira, Weierstrass rompeu a linha t enue que sustentara tal argumento por tantos anos. Em 1871, Friedrich Emil Prym (1841-1915) publicou um artigo(18) onde era levantada uma quest ao que nem Weierstrass parece ter ob(17) Die Dirichletsche Schlussweise f uhrt also in dem betrachteten Falle oenbar zu einem falschen Resultat. (K. T. W. Weierstrass, op cit, p.54) (18) F. E. Prym, [62].
64
servado: mesmo que o problema de Dirichlet tenha uma solu c ao u em , nada garante que a integral de Dirichlet calculada em u seja nita, i.e., I (u) < . Mais precisamente, Teorema 3.4 (Prym) Seja B1 R2 o disco unit ario. Existe uma fun c ao harm onica u0 em C (B1 ) C (B 1 ) tal que I (u0 ) =
B1
|u0 |2 dx = +.
Veremos na Se c ao 5.4 (Vid Exerc cio 5.19) que toda fun c ao u C 1 (B1 ) C (B 1 ) tal que u = u0 |B1 sobre B1 satisfaz |u|2 dx = +,
B1
onde u0 e a fun c ao dada pelo Teorema 3.4. Em outras palavras, n ao existem fun c oes admiss veis com condi c ao de contorno u0 |B1 . Isso mostra que o problema de Dirichlet e sua formula c ao variacional n ao s ao equivalentes. Embora esteja quase esquecido atualmente, apresentamos o exemplo original de Prym abaixo, constru do num semic rculo de raio R < 1 : 2 Demonstra c ao do Teorema 3.4. Vamos xar um ramo da fun c ao log sobre o plano complexo, do qual exclu mos os n umeros reais n aopositivos e, considerando a representa c ao de um ponto nessa regi ao em coordenadas polares como z = ei , com < < , escreveremos log z = log + i. A fun c ao anal tica u + iv := i log (R + x + iy ), com R > 0, est a bem denida exceto para os n umeros reais menores que ou iguais 1 a R. Vamos supor R < 2 e considerar a parametriza c ao do semic rculo fechado , de centro R e raio 2R, em coordenadas polares: x + R = cos , y = sen , com 0 2R e 2
2.
65
0 -1 -0.25 -0.5 -0.75 -1
-0.5 0 0.5 1
0.5
-0.5
Figura 3.2: O exemplo de Prym Como log (R + x + iy ) = log i = log2 + 2 ei arctg ( log ) , obtemos as seguintes express oes para u e v sobre : u(, ) = log2 + 2
1 4
sen
1 4
1 arctg 2 1 arctg 2
log log
v (, ) = log2 + 2
cos
Vamos nos restringir ` a fun c ao u (Vid Figura 3.2) e estudar seu comportamento em , em especial no ponto (x, y ) = (R, 0); equivalentemente, (, ) = (0, 0). Para isso, denimos as fun c oes (, ) = 1 arctg 2 log e u (, ) = 2 sen2 2
1 4
sen ;
(, ), . verica-se facilmente que u(, ) = u
66
(, ) 0 e u Observando que (, ) 0 uniformemente em quando 0 e 0, respectivamente, segue que lim u(, ) = 0 0 , . 0+ 2 2

0
Portanto, u e harm onica e pode ser estendida continuamente ao bordo do semic rculo. Por outro lado, temos 1 u = log2 + 2 2
3 4
log + log cos 1 arctg 2 log . 1 cos arctg 2 log ,
log 1 sen arctg 2

3 4
1 u = log2 + 2 2 sen 1 arctg 2
log
Dessa forma, xado > 0 sucientemente pequeno, a integral de Dirichlet I de u sobre a regi ao , onde exclu mos de a vizinhan ca de R com raio , ser a dada por:
2R
2
I (u) =
2 2R
u
2
1 2
d d (3.5)
1 = 2
d log2 + 2
e, pelo u ltimo membro de (3.5), I (u) = = 1 2 2 2

2R 2R
d log2 + 4
d log2 + 4 1 log 2R + arsenh 2 1 1 log 2 .
arsenh
67
Conseq uentemente, lim I = +, de onde segue que a integral de

0+
Dirichlet de u sobre diverge.
3.3.3
O exemplo de Hadamard
Passados mais de 30 anos, o exemplo de Prym havia ca do em esquecimento. Em 1906, Jacques Salomon Hadamard (1865-1963) construiu um novo exemplo de n ao-equival encia entre o problema de Dirichlet e o Princ pio de Dirichlet, apelando dessa vez para a representa c ao de uma fun c ao harm onica por meio de s eries de Fourier sobre o disco unit ario em R2 .(19) Lembremos que toda fun c ao em C (B1 ), onde B1 R2 e o disco de raio 1, pode ser expressa de forma equivalente como sendo uma fun c ao cont nua f : [0, 2 ] R tal que f (0) = f (2 ). Neste caso, a condi c ao de contorno sobre B1 (0) associada a essa fun c ao num ponto x = ei , [0, 2 ], vale f (). Utilizando a representa c ao do laplaciano em coordenadas polares 1 1 u = urr + ur + 2 u , r r e aplicando o m etodo de separa c ao de vari aveis, segue que o candidato a solu c ao cl assica para o problema de Dirichlet sobre B1 , com condi c ao de contorno f , e dado por a0 u(r, ) = + 2
rk ak cos k + bk sen k ,
k=1
(3.6)
onde ak e bk s ao os coecientes de Fourier de f , i.e., ak = bk = 1 1

2
f () cos k d,
0 2
f () sen k d.
0
Embora f seja somente cont nua, o que signica que f pode n ao

(19) J.
S. Hadamard, [36].
68
1 0.5 0 -0.5 -1 0.5 0 -0.5 -1 -0.5 0 0.5
Figura 3.3: O exemplo de Hadamard
coincidir com sua s erie de Fourier, (3.6) realmente dene a solu c ao desejada! De fato, e poss vel vericar (Vid Exerc cio 3.2) que (3.6) coincide com a f ormula de Poisson de f no disco unit ario, que j a sabemos ser solu c ao do problema de Dirichlet. Como as seq u encias (ak )k1 e (bk )k1 s ao limitadas, as derivadas ur e u de u podem ser obtidas por deriva c ao termo-a-termo da s erie em (3.6), e obtemos
u = r u =
krk1 ak cos k + bk sen k ,

k=1
krk ak sen k + bk cos k .

k=1
Logo, a integral de Dirichlet de u sobre B (0), com < 1, pode ser
69
escrita como
2 0 2 2 2k1 k 2 a2 dr d k + bk r 0 0 k=1 2 2k k a2 k + bk . k=1
|u|2 dx =
B (0) 0
u r
1 r2
r dr d
= =
Finalmente, fazendo 1, temos
I (u) =
B1 (0)
|u|2 dx =
k=1
2 k a2 k + bk .
(3.7)
O exemplo de Hadamard repousa sobre a identidade (3.7). Na verdade, basta escolhermos os coecientes ak e bk de forma que
f () :=
k=1
ak cos k + bk sen k
seja absolutamente convergente (e, portanto, f e cont nua), mas que a s erie em (3.7) seja divergente. Tomando por exemplo ak = 0, 0 bk = 1 2n teremos que (Vid Figura 3.4) f () := 1 sen 22n n 2 n=1
se k = 22n , se k = 22n ,
(3.8)
e cont nua, mas a solu c ao u do problema de Dirichlet com condi c ao de contorno f satisfaz
I (u) =
n=1
1 = .
70
0.75 0.5 0.25 1 -0.25 -0.5 -0.75 2 3 4 5 6
Figura 3.4: Gr aco de f dada por (3.8) Hadamard, ao contr ario de Prym, observou que a classe de fun c oes admiss veis para o Princ pio de Dirichlet nesse caso e vazia; isso ser a vericado na Se c ao 5.4 (Vid Exerc cio 5.19).
3.4
Exerc cios
Exerc cio 3.1 Mostre a rec proca do Princ pio de Dirichlet: se u for solu c ao do problema de Dirichlet, ent ao u minimiza a integral de Dirichlet (3.2). Exerc cio 3.2 Utilizando o m etodo de separa c ao de vari aveis, mostre que (3.6) e solu c ao do problema de Dirichlet no disco. Deduza a f ormula de Poisson em dimens ao n = 2 a partir de (3.6).
Observa c ao: Foi dessa maneira que Poisson obteve (2.28). Cf. S. D. Poisson, [61].
Cap tulo 4
M etodos alternativos de resolu c ao do problema de Dirichlet

O Princ pio de Dirichlet estava morto! As tentativas subseq uentes de Weierstrass e de alguns de seus alunos em resgatar a validade dessa formula c ao variacional estariam fadadas ao fracasso. Restava agora procurar novos m etodos para garantir a exist encia de solu c oes do problema de Dirichlet. Anal, os trabalhos de Riemann sobre representa c oes conformes no plano e sobre integrais abelianas precisavam ser revalidados.
4.1
O processo alternante de Schwarz
Hermann Amandus Schwarz (1843-1921) n ao estava muito satisfeito com a Teoria de Representa c ao Conforme de Riemann por ser muito abstrata. Por volta de 1864, j a teria observado que n ao conhecia nenhuma aplica c ao conforme expl cita, e n ao-trivial, que transformasse uma dada regi ao sobre o disco unit ario(1) .
(1) Cf.
G. D. Birkho, [4], pp.4748.
71
72
[CAP. 4: METODOS ALTERNATIVOS DE RESOLUC AO
Por esse motivo, Schwarz, juntamente com Karl Gottfried Neumann (1832-1925), come cou a construir explicitamente aplica c oes conformes para pol gonos convexos(2) . Por aproxima c oes, ambos foram capazes de resolver o problema de representa c oes conformes para as regi oes convexas e limitadas do plano(3) . c ao conforme (no nosso caso, uma Seja h : B1 (0) uma aplica fun c ao anal tica) de C sobre B1 (0) C, de maneira que h| : B1 (0) seja um homeomorsmo. Nesse caso, o problema de Dirichlet em sempre admite uma solu c ao. 1 e uma fun c ao De fato, dada f C ( ), ent ao g := f h| cont nua sobre B1 (0). Seja u a solu c ao do problema de Dirichlet c ao de contorno g ; a fun c ao v := u h ser a em B1 (0), com condi harm onica em (pois h e anal tica) e coincidir a com f sobre . Ciente desse fato, Schwarz construiu um engenhoso aparato sobre C envolvendo o problema de representa c oes conformes, tendo por objetivo seguir o caminho inverso de Riemann, e assim obter a solubilidade do problema de Dirichlet em abertos do plano. Como j a observamos acima, Schwarz e Neumann j a haviam resolvido tal problema nas regi oes convexas do plano e restava estender tal resultado para regi oes ainda mais gerais. Para lidar com essa quest ao, Schwarz desenvolveu um interessante m etodo, denominado processo alternante (alternierende Verfahren), segundo o qual e poss vel construir a solu c ao do problema de Dirichlet em uma regi ao = 1 2 , sabendo-se que o problema de Dirichlet admite solu c ao nos abertos 1 e 2 . Mais precisamente, Teorema 4.1 (Schwarz) Sejam 1 , 2 R2 dois abertos suaves tais que 1 e 2 n ao se tangenciam em nenhum ponto de 1 2 . Se o problema de Dirichlet sempre admitir solu c ao em 1 e 2 , ent ao o mesmo ocorre a 1 2 .
(2) Cf.
H. A. Schwarz, Gesammelte Werke, v.2, pp.108306, passim; K. G. Neumann, Vorlesungen u ber Riemanns Theorie der Abelschen Integrale, 2a ed., 1884; Uber das logarithmische und Newtonsche Potential, Leipzig : Teubner, 1877; Math. Ann. 3 (1871), 325349; 11 (1877), 558566; 13 (1878), 255300; 16 (1880), 409431. Apud A. R. Forsyth, [27], v.2, p.458. (3) Cf. R. V. Churchill, [9], p.166 et seq.
[SEC. 4.1: O PROCESSO ALTERNANTE DE SCHWARZ
73
x0
_
Figura 4.1: Orienta c ao de Antes de demonstrar o Teorema 4.1, vamos estudar a exist encia de solu c oes da equa c ao de Laplace com condi c oes de contorno seccionalmente cont nuas. No que segue, vamos supor que seja um aberto limitado e suave. c ao cont nua de angulo Dado x0 , podemos xar uma determina sobre \{x0 } com rela c ao a x0 , que denotaremos por argx0 . A fun c ao argx0 (x) e harm onica em , cont nua em \{x0 } e tal que
xx0 x
lim argx0 (x) lim argx0 (x) = .

xx0 + x
A escolha da orienta c ao nos limites acima e indicada na Figura 4.1. Feitas tais observa c oes sobre a fun c ao argx0 , vamos demonstrar o seguinte lema: Lema 4.2 Seja f : R uma fun c ao seccionalmente cont nua. Se o problema de Dirichlet sempre admitir solu c ao em com condi c ao de fronteira cont nua, ent ao existe uma fun c ao u harm onica em tal que u = f em e u e cont nua em , exceto pelos pontos de descontinuidade de f. Demonstra c ao. Sejam {x1 , . . . , xk } os pontos de descontinuidade de f . Denotaremos por i o salto da fun c ao f em xi , i.e., i := lim f (x) lim f (x).
xxi x xxi + x
74
Figura 4.2: Curvas 1 , 2 e em Denindo f (x) 0

k
g (x) :=
i
i=1
argxi (x)
x \{x1 , . . . , xk }, x {x1 , . . . , xk },
vemos que g e continua em e, por hip otese de solubilidade do problema de Dirichlet, existe uma fun c ao v satisfazendo o problema de Dirichlet em , com condi c ao de contorno g . Para concluirmos a demonstra c ao, basta observar que
k
u := v +
i=1
argxi
satisfaz as condi c oes desejadas. Fixados dois pontos p e q distintos em , seja uma curva seccionalmente diferenci avel em , com extremos p e q , e que n ao seja tangente a nestes pontos (Vid Figura 4.2). Denotaremos, ainda, por 1 e 2 os dois segmentos abertos de delimitados por tais pontos (1 liga p a q , nesta ordem). Vamos supor, ainda, que o problema de Dirichlet sempre admita solu c ao em . Pelo lema anterior, existe uma fun c ao harm onica u0 em que assume o valor 1 em 1 e 0 em 2 . Al em disso, pelo princ pio do m aximo, u0 < 1 sobre e, como n ao e tangente a em suas
75
Figura 4.3: As regi oes 1 e 2 lim u (x) < 1, o mesmo extremidades, segue da constru c ao de u0 que x p 0
x
ocorrendo em q . Logo, := sup u0 (x) < 1.

x
Com base nessa nota c ao, temos o seguinte Lema 4.3 Seja v C 2 () C () tal que v e harm onica e v 0 sobre 2 . Ent ao, m ax v (x) m ax v (x). (4.1)
x x
Demonstra c ao. Denotando por M := m ax |v |, ent ao v M u 0 e har
m onica e n ao-positiva em , onde u0 e dada acima. Pelo princ pio do m aximo, v M u0 em e, portanto, v M sobre . (4.2)
Agora estamos em condi c oes de apresentar a Demonstra c ao do Teorema 4.1. Seja f uma fun c ao cont nua sobre , onde = 1 2 . Nosso objetivo ser a construir, a partir de
76
f , seq u encias de fun c oes harm onicas (uk )k1 e (vk )k1 em 1 e 2 , respectivamente, que dever ao convergir para a solu c ao procurada. Fixada uma extens ao cont nua h1 de f sobre 2 , escolhemos v1 como sendo a solu ca o do problema de Dirichlet em 2 , com condi c ao de contorno h1 . Analogamente, denimos g1 sobre 1 como sendo a fun c ao cont nua dada por f em 1 \2 e por v1 em 2 . Tomemos u1 , a solu c ao do problema de Dirichlet em 1 com condi c ao de contorno g1 . Estando denidas as fun c oes harm onicas uj 1 em 1 e vj em 2 , seja gj (x) := f (x) vj (x) se x 1 \2 , se x 2 .
Assim, gj C ( 1 ) e existe uj correspondente ` a solu c ao do problema de Dirichlet em 1 , com condi c ao de contorno gj ; nesse caso, podemos denir f (x) se x 2 \1 , hj +1 (x) := uj (x) se x 1 , e escolhemos vj +1 como sendo a solu c ao do problema de Dirichlet em 2 , com condi c ao de contorno cont nua hj +1 . Fixado k 1 inteiro, escrevemos uk = u1 + (u2 u1 ) + + (uk uk1 ), vk = v1 + (v2 v1 ) + + (vk vk1 ). Sejam M := m ax |f | + m ax |h1 | e
2
(4.3) (4.4)
:= m ax {1 , 2 },
onde 1 , 2 < 1 s ao dados pelo Lema 4.3 com respeito a 1 e 2 , respectivamente. Pelo princ pio do m aximo, |v1 | M e |v2 | M em 2 ; logo, |v2 v1 | 2M sobre 1 . Al em disso, v2 v1 = 0 sobre 2 \1 . Segue do Lema 4.3 que |v2 v1 | 22 M 2M em 2 .
Portanto, |u2 u1 | 2M em 1 . Pelo princ pio do m aximo, |u2 u1 | 2M em 1 .
77
Da mesma forma, obtemos |v3 v2 | 22 M em 2 .
Repetindo sucessivamente o argumento acima, teremos |uj +1 uj | 22j 1 M em 1 e |vj +1 vj | 22j 2 M em 2 ,
para todo j 1. Segue das estimativas acima que |u2 u1 | + +|uk+1 uk | 2M + + 22k1 M < |v2 v1 | + +|vk+1 vk | 2M + 22 M + + 22k2 M < 2M 1 2 2M 1 2
e, portanto, as somas parciais (4.3) e (4.4) convergem uniformemente para u em 1 e v em 2 , respectivamente. Al em disso, segue do Corol ario 1.7.1 que u e v s ao harm onicas em seus respectivos dom nios. u encias Fixando nossas aten c oes em 1 2 , vemos que ambas as seq (vk uk )k1 e (vk+1 uk )k1 convergem uniformemente a v u em 1 2 . Ainda, por constru c ao, vk = uk sobre 2 e vk+1 = uk sobre 1 , k 1. Portanto, u = v em 1 2 , de onde temos u = v em 1 2 . A fun c ao w que vale u em 1 e v em 2 satisfaz o problema de Dirichlet em 1 2 com condi c ao de contorno f . O m etodo de Schwarz, embora forne ca a possibilidade de resolu c ao do problema de Dirichlet para uma classe bastante ampla de regi oes no plano, utiliza-se fortemente das fun c oes anal ticas, as quais, por sua vez, est ao intimamente ligadas ` as transforma c oes conformes no plano. O teorema abaixo mostra que a situa c ao e bem diferente em dimens ao n 3:(4) Teorema 4.4 (Liouville) Se n 3, ent ao todas as transforma c oes conformes em Rn s ao obtidas por composi c ao das seguintes opera c oes:
(4) Cf.
R. Nevanlinna, [53].
78
1. Transla c ao: x x + h, h Rn ; 2. Homotetia: x x, R; 3. Rota c ao: x Ax, A O(n); 4. Invers ao: x x . |x|2
Poincar e iria posteriormente encontrar uma maneira eciente de estender o m etodo de Schwarz em dimens ao superior (Vid Se c ao 4.3).
4.2
O m etodo da equa c ao integral de Fredholm
Embora o m etodo de Schwarz tratasse do problema de Dirichlet de forma bastante geral, permanecia o s erio inconveniente de estar restrito ` a dimens ao 2. N ao havendo uma teoria de representa c ao conforme sucientemente ampla em dimens ao superior, surgiu a id eia de transformar o problema de Dirichlet numa equa c ao integral. Como vimos no Cap tulo 1, o potencial eletrost atico gerado por uma densidade de cargas na superf cie de um condutor R3 e dado por 1 u(x) = (y ) dy x . |x y | Assim, cava a quest ao de se determinar uma densidade capaz de gerar o potencial desejado sobre . Esse trabalho foi posto em pr atica de maneira independente por Neumann(5) e Gustave Robin(6) (1855-1897) durante as d ecadas de 1870 e 1880. Suas demonstra c oes basearam-se no m etodo de aproxima c oes sucessivas; no entanto, seus resultados ainda se restringiam ao caso em que fosse convexo.
(5) K. G. Neumann, Untersuchungen u ber das logarithmische und newtonische Potential, Leipzig, 1877. Apud C. E. Picard, [55], p.257. (6) G. Robin, [64]
INTEGRAL DE FREDHOLM [SEC. 4.2: O METODO DA EQUAC AO
79
Entre 1900 e 1903, Erik Ivar Fredholm (1866-1927) tratou de equa c oes integrais mais gerais da forma(7) f (x) = (x) +
K (x, y )(y ) dy.
Para isso, Fredholm desenvolveu um interessante aparato de determinantes innitos. Tais determinantes innitos constitu am uma vers ao rigorosa das id eias imprecisas que Fourier utilizara na obten c ao dos coecientes de sua s erie. Essa t ecnica daria origem a um resultado cl assico da An alise Funcional: Teorema 4.5 (Alternativa de Fredholm) Sejam E um espa co de Banach e L : E E um operador linear cont nuo e compacto. Logo, exatamente uma das condi c oes seguintes se verica: (I + L)E = E. Existe x = 0 tal que (I + L)x = 0. Lembramos que um operador L : E E e compacto se para todo conjunto limitado A E, ent ao L(A) e relativamente compacto. O trabalho de Fredholm representou o pontap e inicial para um estudo sistem atico das equa c oes integrais, no qual se destacou Hilbert(8) durante a primeira d ecada do s eculo 20. Como forma de apresentar uma aplica c ao da Alternativa de Fredholm, vamos obter as solu c oes do problema de Dirichlet na forma de um potencial de camada dupla. Mais precisamente,(9) Teorema 4.6 Seja R2 um aberto limitado suave. Dada f C ( ), existe C ( ) tal que u(x) :=
(7) E.
(y )
log |x y | dy y
(4.5)
I. Fredholm, Kongl. Svenska Akad. For. 57 (1900), 3946; [29]. Hilbert, Grundz uge einer allgemeinen Theorie der linearen Integralgleichungen, Leipzig, 1912. Apud G. D. Birkho, op cit, p.437. (9) Cf. B. Epstein, [19], pp.179182.
(8) D.
80
e solu c ao cl assica do problema de Dirichlet u = 0 u=f em , sobre . (4.6)
Um outro ingrediente na demonstra c ao do Teorema 4.6 e o bem conhecido `) Sejam K um espa Teorema 4.7 (Ascoli-Arzela co m etrico compacto e (uk )k1 uma seq u encia de fun c oes cont nuas em K . Se (uk )k1 for eq uicont nua, ent ao existe uma subseq u encia (ukj )j 1 tal que u kj u para algum u C (K ). Uma seq u encia (uk )k1 e dita eq uicont nua se para todo > 0 existir > 0 tal que |x y | < = uk (x) uk (y ) < k 1. uniformemente em K
Demonstra c ao do Teorema 4.6. Vamos dividir a demonstra c ao em quatro etapas: 1a etapa. O problema (4.5)(4.6) e equivalente a encontrar C ( ) tal que f (x) = (x) + 1 (y )
log |x y | dy y
x .
(4.7)
Suponhamos que u C 2 () C () seja uma fun c ao harm onica em , sendo representada por um potencial de camada dupla gerado por uma densidade cont nua sobre , dada por (4.5). Vamos denir f := u| . Observamos que o segundo membro de (4.5) est a bem denido em todo R2 e dene uma fun c ao harm onica em R2 \ , mas que, em geral, n ao e cont nua sobre . De fato, e poss vel mostrar que para
81
todo x0 temos (Vid Exerc cio 4.1) f (x0 ) = xlim u(x) = (x0 )+ x
x xx0 x
0
1 1
(y )
log |x0 y | dy , (4.8) y log |x0 y | dy . (4.9) y
lim u(x) = (x0 )+
(y )
Reescrevendo a equa c ao (4.8), obtemos (4.7). Reciprocamente, se C ( ) verica (4.7), ent ao um argumento an alogo mostra que u, dada por (4.5), satisfaz o problema de Dirichlet (4.6). 2a etapa. Dada C ( ), seja (L)(x) := 1 (y )
log |x y | dy y
x .
(4.10)
Ent ao, L : C ( ) C ( ) e um operador linear cont nuo e compacto. Vamos primeiramente estudar o n ucleo do operador integral acima, que pode ser reescrito como xy log |x y | = y . y |x y |2 (4.11)
Sendo uma curva suave (portanto com curvatura cont nua), segue de um c alculo elementar que tal n ucleo dene uma fun c ao cont nua sobre (Vid Exerc cio 4.2). Em particular, se C ( ), ent ao 1 x (y ) log |x y | dy y dene uma fun c ao cont nua na vari avel x. Assim, o operador linear L : C ( ) C ( ) est a bem denido, e linear e cont nuo (pois o n ucleo e limitado). Resta vericar que u encia limitada L e compacto. Com efeito, se (k )k1 for uma seq em C ( ), ent ao (Lk )k1 e limitada e, tendo a integral um n ucleo cont nuo, e eq uicont nua. Pelo Teorema de Ascoli-Arzel` a, existe uma subseq u encia convergente de (Lk )k1 e, portanto, L e um operador compacto.
82
3a etapa. Se C ( ) satisfaz (I + L) = 0, ent ao = 0. Seja C ( ) tal que (x0 ) + 1 (y )
log |x0 y | dy = 0 x0 . y
(4.12)
Vamos denir o potencial de camada dupla em R2 resultante da distribui c ao em : u(x) := 1 (y )
log |x y | dy y
x R2 .
(4.13)
Na etapa precedente, vimos que u satisfaz (4.8) e (4.9). Al em disso, e poss vel mostrar que as derivadas normais externas e internas de u coincidem em (Vid Exerc cio 4.1): u u (x0 ) = (x0 ) x0 . i e (4.14)
Fazendo x x0 , x em (4.13), segue de (4.8) e de (4.12) que

xx0 x
lim u(x) = 0.
Dessa forma, u e uma fun c ao harm onica em , convergindo a zero na fronteira . Pelo princ pio do m aximo, u 0 em e, em particular, u u 0. Utilizando a identidade (4.14), teremos 0. i e Seja BR (0) R2 uma bola com raio R grande o suciente tal que u BR (0). Como u e harm onica em R2 \ e 0 em , ent ao e a primeira identidade de Green (2.21), aplicada ` a fun c ao u sobre a regi ao compreendida entre BR (0) e , nos fornece: |u|2 dx =
BR (0)\ BR (0)
u d.
(4.15)
Vamos mostrar que a segunda integral em (4.15) converge a zero quando R . Com efeito, segue de (4.11) que C log |x y | y |x y | e x log |x y | y C , |x y |2
83
de onde obtemos as estimativas: |u(x)| |u(x)| Conseq uentemente, u

BR (0)
C d ; BR (0) C d ; BR (0)
2
x BR (0).
R u d C d ; BR (0)
quando R . e constante Logo, por (4.15), temos u 0 em R2 \ e, portanto, u em R2 \. Ora, como u(x) 0 quando |x| , isso signica que u 0 em R2 \ . Por outro lado, (4.8) e (4.9) indicam que u sofre uma varia c ao de 2 ao atravessar a fronteira e, conseq uentemente, = 0, como quer amos mostrar. 4a etapa. Fim da demonstra c ao. Reescrevendo a equa c ao (4.7) em termos de L, temos: f = (I + L), onde f , C ( ). Pela 2a etapa, o operador L satisfaz as hip oteses da Alternativa de Fredholm. Segue da etapa precedente que dado f C ( ) existe um u nico C ( ) tal que f = (I + L) ou, equivalentemente, satisfazendo a equa c ao (4.7). Logo, a fun c ao u dada por u(x) := 1 (y )
log |x y | dy y
x ,
satisfaz o problema de Dirichlet (4.6). No caso de abertos Rn , com n 3, a extens ao natural do Teorema 4.6 consiste em procurar representa c oes de fun c oes harm onicas na forma u(x) :=
(y )
1 dy y |x y |n2
x .
84
Ao contr ario do que ocorre em dimens ao 2, a equa c ao integral resultante n ao ter a um n ucleo cont nuo, de maneira que a Alternativa de Fredholm deve ser utilizada a partir de uma convolu c ao de n ucleos, at e que seja atingida a compacidade do operador resultante(10) .
4.3
O m etodo de varredura de Poincar e
Pelos quase 20 anos que se seguiram ao exemplo de Weierstrass, v arias foram as tentativas de resolu c ao do problema de Dirichlet. No entanto, nenhuma era capaz de colocar um ponto nal ` a quest ao. Entre 1870 e 1890, alguns m etodos foram desenvolvidos com esse intuito, dentre os quais podemos destacar aqueles ligados a Schwarz, Neumann, Harnack, Robin e Murphy, al em de um sem-n umero de outros m etodos, que Poincar e denomina m etodos alternantes (m ethodes alternantes)(11) . Em 1887, Poincar e submete ` a Academia de Ci encias de Paris um artigo de apenas tr es p aginas entitulado Sur le Probl` eme de la Distri(12) bution Electrique , propondo um novo m etodo de resolu c ao para o problema de Dirichlet. Uma nova vers ao corrigida e mais detalhada seria publicada em 1890 no ent ao rec em criado American Journal of Mathematics(13) . Ilustraremos o m etodo de varredura na constru c ao do chamado potencial condutor de um aberto limitado Rn : o (Potencial condutor) Seja Rn um aberto liDefinic a mitado. Uma fun c ao u : Rn R ser a denominada um potencial condutor de se as seguintes condi c oes se vericam: u e cont nua em Rn e harm onica em Rn \; u 1 sobre ;
|x|
lim u(x) = 0.
(10) Cf. (11) Cf.
S. L. Sobolev, [66], p.256 et seq. H. Poincar e, [57], p.33. (12) H. Poincar e, [56]. (13) H. Poincar e, [57].
[SEC. 4.3: O METODO DE VARREDURA DE POINCARE
85
Pelo princ pio do m aximo, sabemos que caso uma tal fun c ao exista ela dever a ser u nica (Vid Exerc cio 4.3). Note que n ao existem potenciais condutores em dimens ao n = 2. De fato, o 4.8 Se R2 for um aberto limitado, ent Proposic a ao n ao possui um potencial condutor. Demonstra c ao. Vamos supor por simplicidade que 0 R2 , onde e um aberto limitado que admita um potencial condutor u. Se ao para cada > 0 teremos r > 0 for tal que Br (0) , ent 1 + log r < 1 = u(x) x . |x|
Al em disso, se |x| re1/ , ent ao 1 + log r 0 < u(x). |x|
Conseq uentemente, segue do princ pio do m aximo que 1 + log r < u(x) 1 |x| x R2 \. (4.16)
Fazendo 0 em (4.16), obtemos u(x) = 1 para todo x , um absurdo. Quando n 3, temos o seguinte ) Se Rn , n 3, satisfaz a condi Teorema 4.9 (Poincare c ao da esfera interior, ent ao o potencial condutor de existe. Demonstra c ao. Fixemos R > 0 sucientemente grande tal que BR (0); vamos denotar por u0 C (Rn ) o potencial condutor de BR (0), i.e., se x BR (0) 1 u0 (x) := Rn2 n2 se x BR (0). |x| Seja, ainda, B1 , B2 , B3 , . . . uma fam lia enumer avel de bolas abertas que cobrem Rn \.
86
Vamos construir uma seq u encia de fun c oes (uk )k1 , de maneira que u1 seja o rebaixamento harm onico de u0 em B1 e, para k > 1, deniremos uk como sendo o rebaixamento harm onico de uk1 em Bjk , onde Bjk e a k - esima bola da seq u encia B1 B2 B1 B2 B3 B1 B2 B3 B4 B1 B2 B3 B4 B5 B1 B2 B3 B4 B5 B6 , (4.17) e cada bola aparece um n umero innito de vezes. e super-harm onica e o rebaixamento harm onico de fun c oes Como u0 super-harm onicas preserva essa propriedade (Vid Se c ao 1.5), segue que (uk )k1 e uma seq u encia de fun c oes super-harm onicas; al em disso, tal seq u encia e n ao-crescente, em outras palavras, u0 (x) u1 (x) u2 (x) u3 (x) . . . 0 Seja u(x) := lim uk (x).
k
x Rn \.
Fixada uma bola B := Bj , vamos denotar por Nj N o conjunto das posi c oes onde B aparece na seq u encia (4.17); assim, se k Nj , ent ao e o rebaixamento harm onico de uk1 sobre B ; em particular, a uk fun c ao uk e harm onica em B , k Nj . Sendo (uk )kNj uma seq u encia de fun c oes harm onicas convergindo em B , segue do Corol ario 1.7.1 que u = lim uk e harm onica em B .
kNj
Como B e um elemento arbitr ario de nossa fam lia, ent ao u deve em disso, como u0 u 0, ent ao ser harm onica sobre Rn \. Al lim u(x) = 0.
|x|
Resta analisarmos o comportamento de u pr oximo a : Dado z , seja Br (z0 ) uma bola satisfazendo a condi c ao da esfera interior, i.e., Br (z0 ) = {z }. Utilizando o princ pio do m aximo temos rn2 x Rn \. 1 u0 (x) |x z0 |n2 Sendo x
r n2 |xz0 |n2
uma fun c ao harm onica em Rn \, devemos ter rn2 |x z0 |n2 x Rn \, k 1.
1 uk (x)
Fazendo k na express ao acima, vir a 1 u(x) rn2 |x z0 |n2 x Rn \.
87
Logo, lim u(x) = 1.

xz x
Fisicamente, o m etodo de Poincar e consiste em varrer (ou balayer, em franc es) as cargas positivas de densidade inicial u0 para a superf cie de . Como veremos a seguir, o conhecimento dos potenciais condutores em Rn permite construir a parte regular da fun c ao de Green associada ao problema de Dirichlet num dom nio Rn . De fato, utilizando o Teorema 4.9, podemos deduzir o seguinte ) Se Rn , n 3, satisfaz a condi Teorema 4.10 (Poincare c ao da esfera exterior, ent ao existe a fun c ao de Green em . Para demonstrar o Teorema 4.10 a partir do Teorema 4.9, necessitaremos de dois resultados cl assicos em Teoria do Potencial. O primeiro e o Princ pio da Singularidade Remov vel, devido a Emile Picard (1856-1941); o segundo resultado diz respeito ` a transforma c ao de Kelvin, que havia sido proposta por Thompson numa carta a Liouville quando aquele tinha apenas 21 anos(14) . o 4.11 (Princ Proposic a pio da Singularidade Remov vel) Seja u uma fun c ao harm onica e limitada em Br (x0 )\{x0 }. Logo, u ao resultante pode ser estendida continuamente a Br (x0 ), e a extens e harm onica em Br (x0 ). Demonstra c ao. Vamos supor por simplicidade que n 3 (Vid Exerc cio 4.5). Seja v a solu c ao do problema de Dirichlet em Br (x0 ), com condi c ao de contorno u|Br (x0 ) . Substituindo u por u v , podemos supor de in cio u|Br (x0 ) 0 e, nesse caso, ser a suciente mostrarmos que u 0 em Br (x0 )\{x0 }. Seja M > 0 tal que |u| M em Br (x0 ) \ {x0 }. Fixado 0 < < r, teremos M
(14) W.
n2 = M u(x) |x x0 |n2
x B (x0 )
Thompson, [68].
88 e M
n2 > 0 = u(x) |x x0 |n2

n2
x Br (x0 ).
Como a fun c ao x M |x e harm onica em Br (x0 )\B (x0 ), x0 |n2 segue do princ pio do m aximo que
|u(x)| M
n2 |x x0 |n2
x Br (x0 )\B (x0 ),
> 0.
(4.18)
A desigualdade (4.18) e claramente verdadeira em B (x0 ); logo, |u(x)| M n2 |x x0 |n2 x Br (x0 ), > 0.
Fazendo 0, teremos u(x) = 0. o 4.12 (Transformac o de Kelvin) Sejam Rn , Proposic a a n 3, um aberto limitado contendo a origem e a reex ao de \{0} com rela c ao a B1 (0)(15) . Dada uma fun c ao u harm onica em tal que lim u(y ) = 0, ent ao
|y |
v (x) :=
1 x u |x|n2 |x|2
(4.19)
dene uma fun c ao harm onica em . Demonstra c ao. Vamos mostrar inicialmente que v e harm onica em x \{0}. Denindo y := |x a |2 , se x = 0, vir 2 2v = 2 xk x2 k 1 |x|n2 +2 xk u(y )+ 1 |x|n2 2 1 u(y ) + n2 2 u(y ). (4.20) xk |x| xk
xk 1 |x|n2 xk = (n 2) |x |n ,
1 Portanto, como |x|n 2 = 0 e
v =
(15) Vid
2(n 2) 1 x x u(y ) + n2 x u(y ). n |x| |x|
(4.21)
Se c ao 2.2.2.
89
Por outro lado, u(y ) = xk

2 n
u 2 yi 2 u yi yj + u ( y ) = x2 yi yj xk xk i=1 yi x2 k k i,j =1 =2
i<j
i=1 n
u yi , yi xk
n
2 u yi yj + yi yj xk xk
l=1
2u 2 yl
yl xk
+
i=1
u 2 yi , yi x2 k
ou seja,
n
x x u(y ) =
i=1
x yi
u , yi 2u + yi yj
n
x u(y ) = 2
i<j
yi yj
|yl |2
l=1
2u 2 + y u. yl (4.22)
Mas yi ik 2xi xk = , 2 xk |x| |x|4 2 yi 4xk 2xi 8xi x2 k = + . ik 4 4 6 x2 | x | | x | | x | k Logo, xi , |x|2 ij yi yj = , |x|4 x yi = y = 2(n 2) x , |x|4
de onde temos, ap os substitui c ao das express oes acima em (4.22), x x u(y ) = 1 x u, |x|2 1 2(n 2) x u(y ) = u x u 4 |x| |x|4
90
e, conseq uentemente, segue de (4.21) que v (x) = 1 u(y ). |x|n+2
Sendo u uma fun c ao harm onica, obtemos nalmente v = 0 em \{0}. Resta demonstrar que v pode ser estendida continuamente a 0 e que a extens ao e harm onica nesse ponto. Em vista da proposi c ao anterior, basta vericar que v permanece limitada numa vizinhan ca de 0. Com efeito, seja r > 0 tal que Br (0) ; vamos mostrar que |v (x)| onde M =
y B1/r (0)
M rn2
x Br (0) \ {0},
(4.23)
m ax
|u(y )|. Note que Rn \B1/r (0) ; assim, u
est a bem denida em B1/r (0). Al em disso, dado > 0 temos |u(y )| M < M Como
|y |
(1/r)n2 + |y |n2
y B1/r (0).
lim u(y ) = 0, existe R > 1/r > 0 tal que |u(y )| < se
|y | R; portanto, |u(y )| < M (1/r)n2 + |y |n2 y BR1 (0), R1 R.
Segue do princ pio do m aximo que |u(y )| < M (1/r)n2 + |y |n2 se |y | 1 . r
Como > 0 e arbitr ario, podemos fazer 0 na express ao acima e teremos (1/r)n2 1 |u(y )| M se |y | . |y |n2 r Portanto, tomando y = nalmente |v (x)| =
x |x|2 ,
onde x Br (0) e x = 0, obtemos = |y |n2 |u(y )| M rn2
1 x u n 2 |x| |x|2
91
Utilizando o Princ pio da Singularidade Remov vel, conclu mos que v pode ser estendida continuamente a 0, e a extens ao resultante e harm onica em . A transforma c ao de Kelvin pode ser imediatamente generalizada por meio de transla c oes e homotetias. Por exemplo, dados Rn um aberto limitado e x0 , seja ao de \{x0 } com x0 a reex rela c ao a B1 (x0 ), i.e., e a imagem de \{ x0 } por meio da x0 x x0 aplica c ao y (x) := + x0 . Nesse caso, dada uma fun c ao u |x x0 |2 harm onica em x0 tal que lim u(y ) = 0, ent ao
|y |
vx0 (x) :=
x x0 1 u + x0 |x x0 |n2 |x x0 |2
x \{x0 },
(4.24)
se estende a uma fun c ao harm onica em . Demonstra c ao do Teorema 4.10. Seja Rn limitado; ent ao, para cada x0 , o conjunto x0 := Rn \ e um aberto limitado satisx0 fazendo a condi c ao da esfera interior. Pelo Teorema 4.9, existe um potencial condutor ux0 associado a x0 . A fun ca o vx0 dada por (4.24) com u = ux0 e harm onica em e, como 1 sobre , ou seja, vx0 ux0 | 1, devemos ter v ( x ) = n 2 x 0 |xx0 | x0 e a parte regular da fun c ao de Green em , a menos de um fator multiplicativo constante. poss E vel adaptar o m etodo de varredura para construir a solu c ao do problema de Dirichlet com condi c ao de contorno f C ( ): ) Se Rn , n 2, satisfaz a condi Teorema 4.13 (Poincare c ao da esfera exterior, ent ao o problema de Dirichlet u = 0 u=f em , sobre , (4.25)
admite solu c ao para toda f C ( ). Esbo co da demonstra c ao. (Vid Exerc cio 4.6) 1a etapa. Suponha que exista u0 C 2 () C () super-harm onica tal que u0 = f sobre . Ent ao, (4.25) tem uma solu c ao.
92
Partindo da fun c ao u0 , a demonstra c ao do Teorema 4.9 nos fornece uma fun c ao harm onica u em . Utilizando a mesma demonstra ca o da Proposi ca o 4.17 (Vid Se c ao 4.5 abaixo), e poss vel concluir que u e cont nua em e u = f sobre . 2a etapa. Suponha que exista u0 C 2 () tal que u0 = f sobre . Ent ao, (4.25) tem uma solu c ao. 1 Seja := m ax u0 . Aplicando a etapa precedente separa2n ao superdamente a u0 |x|2 e a |x|2 , que nesse caso s harm onicas, tamb em podemos resolver o problema para uma tal fun c ao f . 3a etapa. Fim da demonstra c ao. Dada f C ( ), utilizamos o Teorema de Tietze para estend e-la C (). Pelo Teorema de Aproxima a uma fun c ao f c ao de Weiers pode ser aproximada uniformemente por fun c oes polinomiais trass, f em x, a partir das quais podemos resolver o problema de Dirichlet em virtude da etapa precedente. Segue do princ pio do m aximo que as solu c oes associadas a tais polin omios dever ao convergir para a solu c ao do problema de Dirichlet com condi c ao de contorno f . Muito embora o m etodo de Poincar e resolva o problema de Dirichlet para uma classe sucientemente ampla de regi oes limitadas em Rn , essa t ecnica possui o inconveniente de n ao se aplicar diretamente a condi c oes de contorno f C ( ). Contudo, j a se esbo cava aqui uma certa tend encia de divis ao do problema de Dirichlet em duas partes: 1. Resolver o problema de Dirichlet no interior do dom nio ; 2. Estudar o comportamento das solu c oes pr oximo a . Tal estrat egia seria decisiva nas tentativas subseq uentes de se estender os resultados obtidos por Poincar e.
4.4
Nova crise no problema de Dirichlet
Muito embora os trabalhos de Poincar e no nal do s eculo 19 tenham dado um grande impulso ao estudo do problema de Dirichlet,
[SEC. 4.4: NOVA CRISE NO PROBLEMA DE DIRICHLET
93
este resistia bravamente ` as tentativas posteriores de resolv e-lo completamente, i.e., de se demonstrar que a equa c ao de Laplace, sujeita a condi c oes de contorno cont nuas, sempre teria solu c ao para todo aberto limitado Rn . Como observa Kellogg(16) , at e o in cio do s eculo 20 acreditava-se que esse objetivo n ao era atingido pelas limita c oes inerentes que cada demonstra c ao impunha ` a solubilidade do problema. No entanto, num artigo publicado em 1911, Stanislaw Zaremba (1863-1942) iria apresentar um exemplo bastante elementar de n ao-exist encia de solu c ao do problema de Dirichlet(17) : o 4.14 (Zaremba) Sejam = B1 (0)\{0} Rn e f : Proposic a R tal que f (x) = 0, se x B1 (0), e f (0) = 1. Ent ao, o problema de Dirichlet u = 0 u=f em , sobre ,
n ao admite uma solu c ao u C 2 () C (). Demonstra c ao. Se existisse uma tal solu c ao seguir-se- a do Princ pio da Singularidade Remov vel que u deveria ser harm onica em B1 (0), mas cujo m aximo seria atingido no interior dessa regi ao, o que e um absurdo. Em 1913, Henri L eon Lebesgue (1875-1941) iria apresentar um exemplo bem mais surpreendente de n ao-solubilidade do problema de Dirichlet em R3 :(18) Teorema 4.15 (Lebesgue) Existem um aberto R3 homeomorfo ` a bola B1 e f C ( ) para os quais o problema de Dirichlet u = 0 u=f em , sobre ,
n ao admite uma solu c ao u C 2 () C ().

(16) Cf. (17) S.
O. D. Kellogg, [40], p.285. Zaremba, [74] (18) H. L. Lebesgue, [47].
94
0.3
0.2
0.1
-0.1
-0.2
-0.3 -0.2 0 0.2 0.4 0.6 0.8 1 1.2
Figura 4.4: Curvas de n vel do potencial gravitacional gerado por L
Demonstra c ao. Consideremos uma barra L de comprimento 1 em R3 posicionada sobre o semi-eixo x positivo, com uma das extremidades na origem, e com uma densidade linear (de massa) dada por (x) = x1 . Nesse caso, o potencial gravitacional resultante ser a (Vid Figura 4.4):
1
u(x) =
0
s ds (x1 s)2 + 2
x R3 \ L,
(4.26)
onde :=
2 x2 2 + x3 . Para = 0 teremos
x1
u(x) = x1
x1 1
dt t2 + 2
x1
x1 1
t dt t 2 + 2 (4.27)
=: x1 A(x) B (x). Fazendo a mudan ca de coordenadas t = senh na integral A, vir a
[SEC. 4.4: NOVA CRISE NO PROBLEMA DE DIRICHLET x1
95
A(x) =
dt 1 x1 (1 x1 )2 + 2
t 2 + 2 x1 1 x1 + arsenh = arsenh x1 +
= log
2 (1 x1 ) + x2 1+ + log
= 2 log + + log x1 +
2 x2 1+
1 x1 +
(1 x1 )2 + 2
Por outro lado, por integra c ao direta, B (x) =

2 x2 1+
(1 x1 )2 + 2 .
Devemos estudar o comportamento do potencial u numa vizinhan ca de 0. Para tanto, observemos que
x0 xL
lim x1 log lim
x1 +
2 x2 1+
1 x1 +
(1 x1 )2 + 2
= 0,
x0 xL
2 x2 1+
(1 x1 )2 + 2
= 1.
Dessa forma, se aproximarmos de 0 ao longo das superf cies da forma = xk , segue de (4.27) que u ( x ) 1 quando x 0. No entanto, 1 2 x1 fazendo x 0 ao longo das superf cies = e , onde > 0, ent ao u(x) 1+ , ou seja, u n ao e cont nua em 0. Por outro lado, sabemos da representa c ao integral (4.26) que u e cont nua em R3 \L. Consideremos uma curva no plano x1 x2 , sim etrica com rela c ao ao eixo x1 , que tenha a mesma forma da curva fechada da Figura 4.5 de 1 maneira que, pr oxima ` a origem, seja dada pela curva x2 = e x1 . Seja R3 a regi ao contida na superf cie gerada pela rota c ao de em torno do eixo x1 . Por constru c ao, u| e harm onica e limitada, mas u n ao e cont nua em , muito embora u| dena uma fun c ao cont nua em e que, em particular,
x0 x
lim u(x) = 3.
96
Figura 4.5: Curvas de n vel de u em no plano x1 x2 Resta mostrar que o problema de Dirichlet n ao admite solu c ao em com condi c ao de contorno u| . Com efeito, suponhamos que existisse uma fun c ao v C (), harm onica em , que coincidisse com u sobre . Nesse caso, u v deve ser harm onica em e nula sobre . Segue de uma variante do Princ pio da Singularidade Remov vel (Vid Exerc cio 4.5) que u = v em . Isso e uma contradi c ao, pois u n ao est a denida continuamente em . Os exemplos que apresentamos acima modicaram consideravelmente as formas de abordagem do problema de Dirichlet: a partir de ent ao seria necess ario determinar um crit erio que permitisse garantir a solubilidade do problema, mas tamb em sua n ao-solubilidade.
4.5
O m etodo das fun c oes sub-harm onicas de Perron
A verdadeira natureza do problema de Dirichlet para a equa c ao de Laplace seria revelada na d ecada de 1920, quando vericou-se que a possibilidade ou n ao de sua resolu c ao n ao dependia do dom nio Rn considerado, mas apenas do comportamento local de cada um dos pontos de . Dentre os in umeros matem aticos que trataram desse assunto no in cio do s eculo 20, podemos destacar G. Bouligand, H. L. Lebesgue,
[SEC. 4.5: O METODO DAS FUNC OES SUB-HARMONICAS DE PERRON
97
Oskar Perron (1880-1975) e Norbert Wiener (1894-1964). O m etodo de Perron baseia-se no seguinte(19) Teorema 4.16 (Perron) Seja Rn um aberto limitado qualquer. Dada f C ( ), denimos Af := v C () : v e sub-harm onica e v f sobre . Ent ao, a fun c ao u0 (x) := sup v (x)
v Af
(4.28)
e harm onica. Como f e limitada inferiormente, a fun c ao constante em igual a m n f e um elemento de Af e, portanto, Af = . Al em disso, como
v sup f , v Af , a fun c ao u0 dada por (4.28) est a bem denida.
Observamos ainda que se o problema de Dirichlet u = 0 u=f em , sobre , (4.29)
tiver uma solu c ao u, ent ao u0 = u. De fato, observe que u Af . Pelo princ pio do m aximo, devemos ter v u, v Af (Vid Exerc cio 1.10). Logo, u0 = u em . Demonstra c ao do Teorema 4.16. Vamos dividir a demonstra c ao em duas etapas: 1a etapa. Dada BR (x0 ) , ent ao existe uma fun c ao semicont nua inferiormente (s.c.i.) U em tal que U u0 em , U e harm onica em BR (x0 ) e U (x0 ) = u0 (x0 ). Seja (uk )k1 uma seq u encia em Af tal que uk (x0 ) u0 (x0 ). Como o m aximo de fun c oes sub-harm onicas tamb em e sub-harm onico, temos m ax uj Af . Assim, sem perda de generalidade, podemos
1j k
supor que a seq u encia (uk )k1 e n ao-decrescente.

(19) O.
Perron, [54].
98
Seja Uk o levantamento harm onico de uk com respeito a BR (x0 ). A seq u encia (Uk )k1 tamb em e n ao-decrescente e denimos U (x) := lim Uk (x) = sup Uk (x) x .
k k1
A fun c ao U e s.c.i., sub-harm onica e U f sobre (Vid Exerc em disso, U (x0 ) = u0 (x0 ) cio 4.7). Por constru c ao, U u0 em . Al e, pelo Corol ario 1.7.1, U e harm onica em BR (x0 ). a 2 etapa. u0 e harm onica. Sejam BR (x0 ) e U a fun c ao dada pela etapa precedente. Como U e harm onica em BR (x0 ), e suciente mostrar que U = u0 em BR (x0 ). Suponha por contradi c ao que exista y0 BR (x0 ) tal que U (y0 ) < u0 (y0 ). Seja v Af tal que v (y0 ) > U (y0 ). Considere (Uk )k1 a seq u encia de levantamentos harm onicos utilizada na 1a etapa. Para cada k 1, vamos denotar por Wk o levantamento harm onico de m ax {Uk , v } com respeito a BR (x0 ). Seja W (x) := lim Wk (x) = sup Wk (x) x .
k k1
Assim, W tamb em e s.c.i. em , W e harm onica em BR (x0 ) e W U sobre BR (x0 ). Por outro lado, W (x0 ) = u0 (x0 ) = U (x0 ). Logo, pelo princ pio do m aximo forte, W = U em BR (x0 ). Isso contradiz a hip otese W (y0 ) v (y0 ) > U (y0 ). Conclu mos ent ao que u0 = U em BR (x0 ). Em virtude do Teorema 4.16, caso estejamos interessados em vericar a solubilidade de (4.29) numa regi ao , ent ao u0 dada por (4.28) ser a nossa candidata natural a satisfazer tal problema. Por essa raz ao, diremos que u0 : R, dada por (4.28), e uma solu c ao generalizada do problema de Dirichlet. Todo nosso trabalho se resume ent ao a vericar se u0 se estende continuamente a , onde deve coincidir com f ; ou seja, devemos vericar se
xx0 x
lim u0 (x) = f (x0 ) x0 .
Um aparato bastante u til para estudar o comportamento de u0 pr oximo a e a no c ao de barreira que, muito embora tivesse sido
99
utilizada implicitamente por Poincar e, sua import ancia seria reconhecida por Lebesgue em 1912, quem lhe conferiu esse nome(20) : o (Barreira) Uma fun Definic a c ao : R e uma barreira em x0 com respeito a se for super-harm onica, (x0 ) = 0 e (x) > 0, se x = x0 . Muito embora tal propriedade diga respeito a um comportamento global de com respeito a , Bouligand observou que a exist encia de barreiras em um ponto x0 depende unicamente do comportamento de numa vizinhan ca desse ponto. Para explicar tal propriedade, vamos introduzir a seguinte o (Barreira local) Um ponto x0 possui uma Definic a barreira local se existir uma barreira em x0 com respeito a Br (x0 ) para algum r > 0. Nesse caso, dizemos que x0 e um ponto regular de . Evidentemente, toda barreira e uma barreira local. Reciprocamente, se e uma barreira local em x0 , ent ao existe uma barreira (global) em x0 que coincide com numa vizinhan ca de x0 . Com efeito, seja uma barreira local em x0 , ou seja, e uma barreira com respeito a Br (x0 ) para algum r > 0. Denotando por A := Br (x0 )\Br/2 (x0 ) denimos : R como sendo (x) := m n (x), se x Br (x0 ), se x \Br (x0 ). (4.30) e := nf > 0,
A
(x) > 0 se x = x0 e, al em disso, e superNesse caso, (x0 ) = 0, harm onica (Vid Exerc cio 4.8). Portanto, e uma barreira em x0 com respeito a todo o conjunto . Vejamos alguns exemplos de dom nios com pontos regulares:
(20) H.
L. Lebesgue, [46].
100
Exemplo 4.1 Suponhamos n = 2 e que exista uma curva n ao-consc oes, e poss vel tante em R2 \ partindo de x0 ; nessas condi denir um ramo da fun c ao log numa vizinhan ca de x0 , da qual exclu mos . Assim, (z ) := Re 1 log r = 2 log z log r + 2
ir a denir uma barreira local em x0 e, portanto, x0 e um ponto regular de . Exemplo 4.2 Vamos considerar o caso de dimens ao n 3. Suponhamos que x0 satisfa ca a condi c ao da esfera exterior, i.e., que existam r > 0 e y0 tais que Br (y0 ) = {x0 }. Nesse caso, (x) := 1 rn2 |x y0 |n2 x
dene uma barreira em x0 . Portanto, todos os pontos que satisfazem a propriedade da esfera exterior s ao regulares. Exemplo 4.3 Se n 2 e se o problema de Dirichlet sempre admitir solu c ao em , ent ao todos os pontos de s ao regulares. De fato, dado x0 , ent ao a solu c ao do problema de Dirichlet com condi c ao de contorno f (x) := |x x0 | ser a uma barreira em x0 em virtude do princ pio do m aximo. O conhecimento dos pontos regulares de eu til por conta da seguinte o 4.17 Se x0 for um ponto regular, ent Proposic a ao
xx0
lim u0 (x) = f (x0 ),
onde f C ( ) e u0 e dada por (4.28). Demonstra c ao. Fixemos > 0. Como f e cont nua em , existe > 0 tal que tal que |x x0 | < implica f (x) f (x0 ) < ; al em
101
)f (x0 )| disso, o quociente |f (x e limitado por uma constante M > 0 |xx0 | em \B (x0 ), ou seja,
f (x) f (x0 ) M |x x0 | se |x x0 | . Se x0 for regular, ent ao existe uma barreira (global) nesse ponto. Sendo positiva no compacto \B (x0 ), existe uma constante b > 0 tal que (x) b se x \B (x0 ), |x x0 | de onde temos M f (x) f (x0 ) M |x x0 | (x) se x \B (x0 ). (4.31) b Finalmente, segue de (4.31) e da continuidade de f que f (x) f (x0 ) + Sejam M (x), b M w(x) := f (x0 ) + + (x). b v (x) := f (x0 ) Segue de (4.32) que v f w sobre . Como v e sub-harm onica, v Af ; al em disso, sendo w uma fun c ao super-harm onica, ent ao w e maior que ou igual a todo elemento de Af (Vid Exerc cio 1.10). Conseq uentemente, v (x) u0 (x) w(x) x . Fazendo x x0 , temos f (x0 ) lim inf u0 (x) lim sup u0 (x) f (x0 ) +
xx0 xx0
M (x) x . b
(4.32)
e, sendo > 0 arbitr ario, conclu mos que u0 (x) f (x0 ) quando x x0 . Pela Proposi c ao 4.17, u0 assume os valores de contorno desejados em todos os pontos regulares de . Segue ent ao do Exemplo 4.3 o seguinte
102
Teorema 4.18 O problema de Dirichlet (4.29) possui uma solu c ao para toda condi c ao de contorno cont nua se, e somente se, todos os pontos de forem regulares. Logo, a solubilidade do problema de Dirichlet depende apenas do comportamento local de cada um dos pontos de , e n ao das condi c oes de contorno dadas. Resta a quest ao de determinar a exist encia de barreiras locais em . Em 1924, Wiener publicou um artigo onde a constru c ao de barreiras era transformada num problema de estimar uma certa s erie(21) . Antes de apresentar o resultado de Wiener, precisamos introduzir a no ca o de capacidade de um conjunto(22) : o Sejam n 3 e K Rn um conjunto compacto. A Definic a capacidade de K e denida como Cap K := nf
Rn ||2 dx : C0 (Rn ) e 1 sobre K .
o 4 Se uK for o potencial condutor de K , ent Observac a ao e poss vel

mostrar que Cap K e a quantidade total de carga em K necess aria para gerar uK ; mais precisamente, Z |uK |2 dx. Cap K =
Rn \K
A observa c ao acima nos permite determinar a capacidade de uma bola em Rn : Exemplo 4.4 Conforme vimos na Se c ao 4.3, o potencial condutor e dado por de K := BR (0) n2 R uK (x) = |x|n2 1
(21) N. (22) Vid
se |x| R, se |x| < R.
(4.33)
Wiener, [72]. E. H. Lieb e M. Loss, [50], pp.253261, para outras deni c oes equivalentes de capacidade.
103
Logo, Cap K =
Rn \ B
R (0)
(n 2)
Rn2 |x|n1
dx = (n 2)n Rn2 .
Dados 0 < < 1 e x0 , seja Ak a regi ao exterior a compreendida entre Bk (x0 ) e Bk+1 (x0 ), i.e., Ak := Bk (x0 )\ Bk+1 (x0 ) . Com essa nota c ao, temos(23) : rio de Wiener) x0 Teorema 4.19 (Crite e um ponto regular se, e somente se, a s erie 1 2 3 4 + 2 + 3 + 4 + onde k := Cap Ak . Exemplo 4.5 Pelo exemplo de Lebesgue, sabemos que a c uspide formada pela rota c ao da curva y = e1/x , x 0, em torno do eixo x n ao e um ponto regular. Contudo, como observou Bouligand, caso tal c uspide seja dada pela rota c ao de y = xm , x 0, onde m 1, ent ao pelo Crit erio de Wiener e poss vel demonstrar que a origem e um ponto regular(24) . Entre 1920 e 1940, a Teoria do Potencial vivenciaria uma mudan ca de orienta c ao, aproximando-se da Teoria da Integral de Lebesgue e, a partir da d ecada de 1950, da Teoria das Distribui c oes de L. Schwartz(25) . A refer encia [5] apresenta um panorama bastante interessante do desenvolvimento da Teoria do Potencial no s eculo 20. J a por volta de 1920, atingia-se ent ao um grau bastante satisfat orio de resolu c ao do problema de Dirichlet. O Princ pio de Dirichlet tamb em voltaria a correr pelos belos campos da Matem atica: ele
(23) Cf. (24) Cf.
diverge,
(4.34)
O. D. Kellogg, op cit, pp.330334. O. D. Kellogg, op cit, p.334. (25) L. Schwartz, [65].
104
n ao havia morrido como proclamara Neumann, mas iria permanecer adormecido, aguardando apenas que fosse resgatado das trevas.
4.6
Exerc cios
Exerc cio 4.1 Demonstre (4.8), (4.9) e (4.14).

Sugest ao: Cf. G. B. Folland, [25], pp.128129.
Exerc cio 4.2 Mostre que a fun c ao em (4.11) e cont nua. Conclua que o operador L dado por (4.10) e compacto. Exerc cio 4.3 Seja Rn , n 3, um aberto limitado. 1. Mostre que se u e v s ao dois potenciais condutores de , ent ao u = v. 2. Prove que o potencial condutor de e uma fun c ao superharm onica. cio 4.4 Vimos na Se Exerc c ao 4.3 que n ao existem potenciais condutores em dimens ao n = 2. Uma maneira de contornar esse inconveniente e a seguinte: Dado um aberto B1 (0) R2 , denimos o potencial condutor de com respeito a B1 (0) como sendo uma fun c ao cont nua u em B1 (0) tal que u e harm onica em B1 (0)\ ; u 1 sobre ; u 0 sobre B1 (0). Mostre que se satisfaz a condi c ao da esfera interior, ent ao o poteneu nico. cial condutor de com respeito a B1 (0) existe e Exerc cio 4.5 1. Demonstre o Princ pio da Singularidade Remov vel em dimens ao n = 2.
105
2. Demonstre a seguinte variante do Princ pio da Singularidade Remov vel para n 2: Seja w uma fun c ao harm onica e limitada em Rn . Suponha que w seja cont nua em \ {x0 } e w = 0 em \ {x0 } para algum x0 . Ent ao, w 0 em . Exerc cio 4.6 Demonstre o Teorema 4.13. Exerc cio 4.7 Uma fun c ao w : (, ] e dita semicont nua e fechado inferiormente (s.c.i.) se o conjunto x : w(x) a para todo a R. Seja (wi )iI uma fam lia de fun c oes cont nuas em ; mostre que W (x) := sup wi (x), x , e s.c.i.
iI
Exerc cio 4.8 Mostre que a fun c ao dada por (4.30) e superharm onica em .
Cap tulo 5
A ressurrei c ao do Princ pio de Dirichlet

As cr ticas de Weierstrass sobre a falta de rigor que envolvia o Princ pio de Dirichlet at e 1870 colocaram-no como objeto de interesse apenas hist orico. A impossibilidade de se encontrar um tratamento mais rigoroso para essa formula c ao variacional nos quase 30 anos que se seguiriam parecia determinar o m de um poderoso recurso que fora aplicado de forma bel ssima a outras areas da Matem atica. Num artigo de apenas cinco p aginas escrito em 1899, David Hilbert (1862-1943) se prop oe a reviver o Princ pio de Dirichlet, apresentando um novo m etodo de abordagem de problemas variacionais, via seq u encias minimizantes, para encontrar a solu c ao desejada(1) . Hilbert ressalta que essa nova t ecnica, al em de sua simplicidade e transpar encia, tem a vantagem de envolver apenas a propriedade de minimiza c ao, sem recorrer ` a natureza do problema. No entanto, o argumento original de Hilbert e bastante impreciso e de dif cil implementa c ao, como caria evidenciado em seu artigo de 1901(2) . Diversas tentativas de simplicar a demonstra c ao de Hilbert apareceriam logo em seguida, sem muito sucesso(3) . Mas as bases esta(1) D. (2) D.
Hilbert, [37]. Hilbert, [38]. (3) Cf. B. Levi, [48]; G. Fubini, [30]; H. L. Lebesgue, [45]. No artigo citado acima,
107
108
DO PRINC [CAP. 5: A RESSURREIC AO IPIO DE DIRICHLET
vam lan cadas: assim nascia a Teoria Variacional Moderna...
5.1
Os m etodos diretos do C alculo das Varia c oes
Dado um funcional I que se deseja estudar, a id eia de Hilbert era considerar uma seq u encia (uk )k1 , denominada seq u encia minimizante, tal que I (uk ) nf I e, a partir dela, procurar construir uma nova seq u encia que fosse convergente e que seu limite correspondesse ao m nimo do funcional I . Essa tarefa n ao era f acil; al em disso, a seq u encia minimizante de partida n ao e necessariamente convergente, como podemos vericar no exemplo abaixo: Exemplo 5.1 Considere o problema de minimizar a integral de Dirichlet sobre B1 (0) Rn , n 3, I (u) =
B1 (0)
|u|2 dx,
sujeita ` a condi c ao de contorno u = 0 sobre B1 (0). Tomemos C0 (Rn ) tal que supp B1 (0) e (0) = 1. Denindo uk (x) := (kx), teremos I (uk ) =
B1/k (0)
k 2 (kx) dx =
1 k n2
| |2 dy.
B1 (0)
Dessa forma, I (uk ) 0, mas (uk )k1 n ao converge para a solu c ao cl assica, pois uk (0) = 1, muito embora uk (x) 0, se x = 0 (Vid Exerc cio 5.1). Para ilustrar o m etodo de Hilbert, apresentaremos uma demonstra ca o proposta por Richard Courant(4) (1888-1972). Ficar a muito
Beppo Levi escreveria: Ma le dicolt` a del procedimento sono ancora tuttaltro che comuni [...]. (4) Cf. R. Courant, [10], pp.143150.
[SEC. 5.1: OS METODOS DIRETOS DO CALCULO DAS VARIAC OES
109
claro ao nal desta se c ao que os espa cos de fun c oes usados classicamente para estudar tais problemas, e.g., C 1 (), n ao s ao o ambiente ideal para trabalhar com seq u encia minimizantes, pois n ao s ao completos com rela c ao a normas intr nsecas a esse tipo de problema. Vamos ent ao considerar o seguinte problema de minimiza c ao m0 = nf
|u|2 dx : u C 1 () C () e u = f sobre , (5.1)
onde f C ( ). Teorema 5.1 (Hilbert) Sejam R2 um aberto limitado suave e f C ( ). Se m0 < , ent ao o problema de minimiza c ao (5.1) admite uma ( unica) solu c ao. Demonstra c ao. Seja (uk )k1 uma seq u encia minimizante. A demonstra c ao ser a dividida em 5 etapas: 1a etapa.
i,j
lim
u i u j
L2
= 0.
(5.2)
2a etapa. Seja C0 (B1 ), 0, uma fun c ao radial com 1. Logo, para todo > 0 existe U C 1 () tal que
B1
dx =
uk U
em C 1 () quando k .
(5.3)
3a etapa. Existe U0 C 1 () tal que U (x) = U0 (x) x com d(x, ) > ; em outras palavras, U (x) independe de se d(x, ) > . 4a etapa. U0 C () e U0 = f sobre . 5a etapa. U0 e solu c ao de (5.1). Vamos come car demonstrando o seguinte (5.4)
110
Lema 5.2 Seja (uk )k1 uma seq u encia minimizante de (5.1). Ent ao, para toda fam lia de fun c oes (k )k1 em C 1 () C0 () tal que k L2 M , k 1, temos lim uk k dx = 0.
Demonstra c ao. Para todo t R, uk + tk e uma fun c ao admiss vel; portanto, u k + t k

2
dx =
|uk |2 dx+ |k |2 dx m0
+ 2t
uk k dx + t2
k 1.
Conseq uentemente, a forma quadr atica |uk |2 dx m0
+ 2t
uk k dx + t2
|k |2 dx
e n ao-negativa, de onde segue que seu discriminante e menor que ou igual a zero. Em outras palavras,
2
uk k dx
|k |2 dx
|uk |2 dx m0
M2
|uk |2 dx m0 .
Como lim dade.
|uk |2 dx = m0 , o resultado segue da u ltima desigual
Demonstra c ao da 1a etapa. Observe que (ui uj ) Por outro lado, u i u j

2 L2 L2
ui
L2
+ u j
L2
i, j 1.
ui (ui uj ) dx
uj (ui uj ) dx.
111
Aplicando o lema precedente a cada parcela da diferen ca acima, obtemos (5.2). A desigualdade de Poincar e(5) e um ingrediente fundamental na demonstra c ao das pr oximas etapas: o 5.3 (Desigualdade de Poincare ) Existe C > 0 tal Proposic a que v L2 C v L2 v C 1 () C0 (). (5.5) Demonstra c ao. Seja Q = [L, L] [L, L] um quadrado de aresta 2L contendo e vamos estender v e suas derivadas a Q como sendo zero no complementar de . Fixado x , temos v (x) =
x
v ds, x1
onde x e o segmento de reta paralelo ao eixo x1 , percorrido na dire c ao positiva do eixo x1 , ligando x at e o primeiro ponto em que intercepta . Segue da desigualdade de Schwarz que v 2 (x) 2L
x
v x1 v x1
ds
2 L
2L
L
dx1 2L
L
|v |2 dx1 .
Nesse caso, podemos integrar ambos os membros da desigualdade acima na vari avel x2 , obtendo
L
v 2 (x) dx2 2L
L Q
|v |2 dx = 2L
|v |2 dx.
Integrando uma u ltima vez ambos os membros na vari avel x1 , entre L e L, teremos a desigualdade desejada, com C = 2L.
(5) H.
Poincar e, [58], pp.7076.
112
Demonstra c ao da 2a etapa. Seja > 0 dado. Utilizando a desigualdade de Cauchy-Schwarz, temos ( ui )(x) ( uj )(x) =
(x y ) ui (y ) uj (y ) dy (x y ) ui (y ) uj (y )
2 1 /2
dy
Assim, pela desigualdade de Poincar e, obtemos ( ui )(x) ( uj )(x) C ui uj

L2 L2
C ui uj Al em disso, ( ui )(x) ( uj )(x)
(5.6)
(x y ) ui (y ) uj (y )
L2
1 /2
dy
(5.7)
C ui uj
Combinando (5.2) e (5.6)(5.7), conclu mos que ( uk )k1 e uma seq u encia de Cauchy em C 1 (). Logo, existe U C 1 () tal que uk U em C 1 () quando k .
Demonstra c ao da 3a etapa. Sejam x0 e > 0. Vamos mostrar que se d(x0 , ) > , ent ao U1 (x0 ) = U2 (x0 ) Seja v (x) := (1 2 ) (x0 x) x Rn , onde e a solu c ao fundamental do problema de Dirichlet, i.e., (y ) = 1 1 log . 2 |y | para todo 0 < 1 , 2 < . (5.8)
113
Armamos que v C0 (). Como v e uma fun c ao de classe C , e suciente mostrarmos que
v (x) = 0
x tal que |x x0 | > .
Com efeito, para um tal ponto x a fun c ao y (x0 x y ) e harm onica sobre Bi (0). Logo, utilizando uma variante da f ormula da m edia (Vid Exerc cio 5.2), temos (i )(x0 x) =
Bi (0)
i (y )(x0 x y ) dy se i = 1, 2.
(5.9)
= (x0 x)
Em outras palavras, v (x) = 0. Assim, conclu mos que v tem suporte compacto em . Por outro lado, pelo Lema 5.2,
uk v dx =
uk v dx 0
quando k .
(5.10)
Como = 0 em D (Rn ) (Vid Equa c ao (1.5)), temos v (x) = (1 2 ) (x0 x) = 1 (x0 x) 2 (x0 x) x Rn . Em outras palavras,
uk v dx = (1 uk )(x0 ) (2 uk )(x0 ).
(5.11)
Combinando (5.10) e (5.11), obtemos (5.8). Em vista de (5.8), a fun c ao U0 (x) := U (x) onde x e d(x, ) > , est a bem denida e pertence a C 1 (). Antes de apresentarmos a demonstra c ao da 4a etapa, precisaremos da seguinte vers ao local da desigualdade de Poincar e:
114
Lema 5.4 Dados x e > 0, seja ( x) := B ( x) . Logo, se > 0 for sucientemente pequeno, ent ao v
L2 ( ( x))
C v
L2 ( ( x))
v C 1 () C0 ().
(5.12)
Demonstra c ao. Fazendo uma mudan ca de vari aveis, podemos supor que ( x) e um semidisco de raio . Nesse caso, a demonstra c ao do lema e semelhante ` a da desigualdade de Poincar e (5.5) e ser a deixada para o leitor (Vid Exerc cio 5.3). |uk |2 dx 0 uniformemente em Notemos tamb em que ( x) k 1 e em x , quando 0. Mais precisamente, Lema 5.5 Seja (uk )k1 uma seq u encia minimizante de (5.1). Dado > 0, existe > 0 tal que |A| < implica
A
|uk |2 dx <
k 1,
para todo boreliano A . Demonstra c ao. Seja k0 1 tal que u i u j

L2 ()
< 1 /2
se i, j k0 .
Tomemos ainda > 0 pequeno de maneira que u k

L2 (A)
< 1 /2
se k = 1, . . . , k0 e |A| < .
Assim, se k > k0 e |A| < , ent ao u k

L2 (A)
u k u k0 <
1 /2
L2 () 1 /2
+ u k0
L2 (A)
1 /2
= 2
de onde segue o resultado. Demonstra c ao da 4a etapa. Devemos vericar que a fun c ao U0 denida na etapa precedente satisfaz as condi c oes de contorno desejadas, ou seja, U0 se estende continuamente a , onde coincide com f .
115
C 1 () C () tal que Fixemos x e > 0. Seja f = f sobre f e
|2 dx < . |f
Em vista do Lema 5.5 acima e da desigualdade triangular, existe > 0 tal que ) 2 dx < (uk f
( x) 1 Dado x /2 ( x), seja := 2 d(x, ); em particular,
k 1.
(5.13)
0 < 4 < .
(5.14)
Seja x0 tal que d(x, x0 ) = 2; em particular, B (x) 4 (x0 ). = 0 sobre , teremos Como uk f )(x) ( uk )(x) ( f
(por Cauchy-Schwarz)
2 2
=
B (x)
)(y ) dy (x y ) (uk f )2 (y ) dy (x y ) (uk f

B (x)
L 2
)2 (y ) dy (uk f
4 (x0 )
(por (5.12)) (por (5.14)) (por (5.13))
L C2 2
( x)
) 2 dx (uk f
4 (x0 )
C C.
) 2 dx (uk f
Fazendo k , segue de (5.3)(5.4) que )(x) U0 (x) ( f

2
x /2 ( x),
1 d(x, ). Conseq uentemente, da continuidade uniforme onde = 2 de f em conclu mos que
lim sup U0 (x) f ( x)

xx
C,
116
e, sendo > 0 arbitr ario, segue que lim U0 (x) = f ( x). Em outras
xx
palavras, U0 C () e U0 = f sobre . Demonstra c ao da 5a etapa. Em virtude das duas etapas precedentes, U0 e uma fun c ao admiss vel. Vamos mostrar que
|U0 |2 dx m0 .
De fato, sejam e > 0 sucientemente pequeno tal que < d( , ). Observe que (Vid Exerc cio 5.4) ( uk ) dx =
2
u k
dx
|uk |2 dx.
(5.15)
Em vista de (5.3)(5.4), fazendo k obtemos |U0 |2 dx =

|U |2 dx m0 .
Como e arbitr ario, conclu mos que |U0 |2 dx m0 .
Sendo U0 uma fun c ao admiss vel, a igualdade se verica; em outras e solu c ao do problema de minimiza c ao (5.1). Como o palavras, U0 funcional e estritamente convexo, U0 eou nico ponto de m nimo (Vid Exerc cio 5.5). Isso conclui a demonstra c ao do Teorema 5.1. O fato de termos
i,j
lim
u i u j
dx = 0,
para toda seq u encia minimizante (uk )k1 j a indicava que o espa co de fun c oes C 1 () C () utilizado classicamente n ao tinha uma boa geometria para tratar de tais problemas variacionais.
5.2
A formula c ao fraca do Princ pio de Dirichlet
As d ecadas de 1930 e 1940 assistiram ao surgimento e ` a consolidaca o da teoria dos espa cos de Sobolev tanto por Kurt Otto Friedrichs
FRACA DO PRINC [SEC. 5.2: A FORMULAC AO IPIO DE DIRICHLET
117
(1901-1982) como por Sergei Lvovich Sobolev (1908-1989), num processo de verdadeira releitura do que se entenderia por uma solu c ao de uma equa c ao diferencial. Tais trabalhos culminariam com a publicac ao dos dois volumes da obra Th eorie des Distributions de Laurent Schwartz (1915-2002) em 1950. Tudo isso, por sua vez, se sustentava no advento da An alise Funcional a partir da d ecada de 1920. Dado um aberto Rn , seja existe wi L2 () tal que 1 2 v dx = wi dx, C0 (), H () = v L () xi para todo i = 1, . . . , n As fun c oes wi , se existirem, est ao unicamente determinadas q.t.p. (Vid Exerc cio 5.6); tais fun c oes wi s ao chamadas de derivadas fracas v da fun c ao v , e ser ao denotadas por x . Observe, por exemplo, que i 1 1 se u C (), ent ao u H () (e as derivadas fracas coincidem com a deni c ao cl assica), mas a rec proca e falsa (Vid Exerc cio 5.9). O espa co H 1 (), munido da norma
n
H1
:= v
L2
+
i=1
v xi
,
L2
e um espa co de Banach (Vid Exerc cio 5.8). O seguinte resultado tem um papel central no estudo de propriedades dos elementos de H 1 ()(6) : Teorema 5.6 (Meyers-Serrin) C ()H 1 () e um subconjunto denso de H 1 (). O subespa co de H 1 () denido por
1 () H0 () := C0 H1
e particularmente importante em aplica c oes. Por exemplo, utilizando um argumento de densidade, a desigualdade de Poincar e (5.5) se ex1 tende aos elementos de H0 () (Vid Exerc cio 5.10): v
(6) N.
L2
C v
L2
1 v H0 ().
(5.16)
G. Meyers e J. Serrin, [51].
118
Tamb em e poss vel associar aos elementos de H 1 () um conceito de tra co (ou de valor na fronteira): Teorema 5.7 (Teorema do Trac o) Seja Rn um aberto limitado suave. Ent ao, existe um ( unico) operador linear cont nuo Tr : H 1 () L2 ( ) tal que Tr (v ) = v | v C () H 1 ().
O operador Tr : H 1 () L2 ( ) n ao e sobrejetivo; de fato, e poss vel construir exemplos de fun c oes em L2 ( ) (e mesmo cont nuas!) que n ao s ao o tra co de nenhum elemento de H 1 () (Vid Exerc cio 5.19). De maneira a caracterizar a imagem de Tr, vamos introduzir o seguinte espa co: H 1/2 ( ) := f L2 ( ) :

|f (x) f (y )|2 dx dy < , |x y |n+1
munido da norma f
H 1/2
:= f
L2
|f (x) f (y )|2 dx dy |x y |n+1
1 /2
O interesse em se estudar o espa co H 1/2 ( ) ca claro por conta (7) do seguinte Teorema 5.8 Suponha Rn limitado e suave. Logo, (i) Tr H 1 () = H 1/2 ( ); (ii) Tr : H 1 () H 1/2 ( ) e um operador linear cont nuo;
1 (iii) ker Tr = H0 ().
Agora temos todos os ingredientes necess arios para estabelecer a formula c ao fraca do problema de Dirichlet:
(7) Cf.
R. A. Adams, [1].
119
o Seja f H 1/2 ( ). Diremos que v Definic a e uma solu c ao fraca do problema de Dirichlet u = 0 u=f se v H 1 (), Tr (v ) = f e v dx = 0
C0 ().
em , sobre ,
(5.17)
(5.18)
Na Se c ao 5.4, mostraremos que toda solu c ao fraca e solu c ao cl assica do problema de Dirichlet quando f C ( )H 1/2 ( ); em outras palavras, v pertence a C 2 () C () e satisfaz (5.17) no sentido usual. Vamos considerar primeiro a quest ao de unicidade das solu c oes fracas: o 5.9 (Unicidade) Dada f H 1/2 ( ), ent Proposic a ao o problema de Dirichlet (5.17) possui no m aximo uma solu c ao fraca. Demonstra c ao. Sejam v1 , v2 duas solu c oes fracas de (5.17). Por densidade, essas solu c oes satisfazem
1 vi w dx = 0 w H0 (),
i = 1, 2.
c ao, Vamos aplicar tais identidades com w = v1 v2 . Por subtra obtemos (v1 v2 ) dx = 0.
2
Em outras palavras, (v1 v2 ) = 0 a.e. Logo, v1 v2 e constante em cada componente conexa de (Vid Exerc cio 5.11). Como v1 v2 1 H0 (), conclu mos que v1 v2 = 0 em . A exist encia de solu c oes fracas ser a obtida com o aux lio do Princ pio de Dirichlet:
120
ncia) Dada f H 1/2 ( ), ent Teorema 5.10 (Existe ao o problema de minimiza c ao m1 = nf
|v |2 dx : v H 1 () e Tr (v ) = f
(5.19)
admite uma u nica solu c ao v0 . Al em disso, v0 satisfaz v0 dx = 0

C0 ().
(5.20)
Demonstra c ao. Como f H 1/2 ( ), ent ao em virtude do teorema precedente a classe de fun c oes admiss veis e n ao-vazia; em outras palavras, m1 < . Seja (vk ) uma seq u encia minimizante. Procedendo como na 1a etapa da demonstra c ao do Teorema 5.1, temos
i,j
lim
vi vj
L2
= 0.
1 Como Tr (vi vj ) = 0, ent ao vi vj H0 (). Segue da desigualdade de Poincar e (5.5) que
i,j
lim
vi vj
L2
= 0.
Logo, (vk )k1 e uma seq u encia de Cauchy em H 1 () e portanto existe v0 tal que vk v0 em H 1 (). Conseq uentemente, Tr (v0 ) = f e
|v0 |2 dx = m1 .
A unicidade de v0 e (5.20) s ao de f acil verica c ao (Vid Exerc cio 5.14). Em virtude do Teorema 5.10, a cada f H 1/2 ( ) podemos associar uma u nica fun c ao v0 H 1 () tal que Tr (v0 ) = f satisfazendo (5.20): o 5.11 (Continuidade) O operador Proposic a S1 : f H 1/2 ( ) v0 H 1 () e linear e cont nuo.
121
A demonstra c ao dessa proposi ca o repousa no seguinte resultado cl assico da An alise Funcional(8) : o Aberta) Sejam E e F Teorema 5.12 (Teorema da Aplicac a dois espa cos de Banach e T : E F um operador linear cont nuo e sobrejetivo. Logo, existe > 0 tal que B (0) T B1 (0) . (5.21)
Em outras palavras, sob as hip oteses do teorema, A E aberto implica T (A) F aberto (Vid Exerc cio 5.15). Demonstra c ao da Proposi c ao 5.11. A linearidade de S1 e evidente. Pelo Teorema 5.8, o operador Tr : H 1 () H 1/2 ( ) satisfaz as hip oteses do Teorema da Aplica c ao Aberta. Logo, existe > 0 tal que f < = existe v H 1 () com v
H 1 ()
H 1/2 ( )
< 1 e Tr (v ) = f.
(5.22)
Dada f H 1/2 ( ) com f H 1/2 ( ) < , seja v uma fun c ao dada por (5.22). Pelo Princ pio de Dirichlet, S1 (f )
H 1 ()
H 1 () .
Logo, a propriedade (5.22) tamb em e satisfeita por S1 (f ). Assim, f

H 1/2 ( )
<
S1 (f )
H 1 ()
< 1.
Conseq uentemente, S1 (f )
H 1 ()
1 f
H 1/2 ( )
f H 1/2 ( ),
ou seja, S1 e cont nuo.

(8) Cf.
H. Brezis, [7].
122
5.3
O m etodo da proje c ao ortogonal de Weyl
A formula c ao moderna do Princ pio de Dirichlet tem como estrat egia decompor o problema em duas partes: 1. Demonstrar a exist encia de solu c oes fracas; 2. Estabelecer a regularidade das solu c oes fracas. A primeira etapa foi abordada na se c ao precedente. Nessa se c ao, um de nossos objetivos ser a responder a seguinte o Se u H 1 () satisfaz Questa
u dx = 0 C0 (),
ser a que u C () e u = 0? Em 1940, Hermann Weyl (1885-1955) deu uma resposta armativa a essa quest ao(9) . Trata-se de um dos primeiros resultados de regularidade no contexto do C alculo das Varia c oes: Lema 5.13 (Lema de Weyl) Sejam Rn e v L1 (). Se v dx = 0
C0 (),
(5.23)
ent ao v C () e v = 0 em .
Demonstra c ao. Sejam > 0 e C0 (B1 ), tal que 0 e B1 dx = 1. Dada C0 () com d(supp , ) > , podemos utilizar como fun c ao-teste em (5.23). Integrando por partes obtemos
( v ) dx =

( v ) dx v ( ) dx =

=
(9) H.
v ( ) dx = 0.
Weyl, [71].
ORTOGONAL DE WEYL [SEC. 5.3: O METODO DA PROJEC AO
123
Logo, ( v ) = 0 em := x : d(x, ) > ,
ou seja, v e harm onica em . Observe ainda que v v em L1 (). Utilizando o Corol ario 1.7.1, conclu mos que v C () e v = 0 em . Vamos apresentar tamb em uma demonstra c ao alternativa de exist encia de solu c oes fracas do problema de Dirichlet em dimens ao 3 sem utilizar o Princ pio de Dirichlet. Mais precisamente, Teorema 5.14 Seja R3 um aberto limitado suave. Dada f H 1/2 ( ), existe u0 H 1 () harm onica tal que Tr (u0 ) = f . Nosso objetivo inicial ser a estabelecer generaliza c oes das rela c oes div F = 0 e rot F = 0 para campos vetoriais F L2 (; R3 ). Para tanto, vamos supor por enquanto que F C (; R3 ). Dados C0 () e C0 (; R3 ), temos as seguintes identidades vetoriais: div(F ) = rot F, F, rot , div(F ) = , F + div F. Logo, pelo Teorema do Divergente, rot F, dx =

F, rot dx F, dx
C0 (; R3 ), C0 ().
(5.24) (5.25)
div F dx =
As identidades (5.24) e (5.25) nos sugerem as seguintes es Seja F L2 (; R3 ). Diremos que F Definic o e irrotacional, o que denotaremos por rot F = 0, se F, rot dx = 0
C0 (; R3 ).
(5.26)
124
Por outro lado, F ser a solenoidal, denotado por div F = 0, se F, dx = 0

C0 ().
(5.27)
Sejam R := F L2 (; R3 ) : rot F = 0 , S := F L2 (; R3 ) : div F = 0 ,

1 H := F L2 (; R3 ) : F = v, onde v H0 () .
Os conjuntos R e S , formados pelos campos vetoriais irrotacionais e solenoidais, respectivamente, s ao subespa cos vetoriais fechados de L2 (; R3 ). O subespa co H admite a seguinte caracteriza c ao
()} , H = { : C0 L2
(5.28)
onde o fecho e tomado com respeito ` a norma L2 (Vid Exerc cio 5.17). O Teorema 5.14 ser a deduzido do seguinte Teorema 5.15 (Weyl) (i) R = H (R S ); (ii) R S C (; R3 ). Em particular, se F R S , ent ao rot F = 0 e div F = 0 no sentido cl assico. Demonstra c ao. Como L2 (; R3 ) e um espa co de Hilbert, temos a decomposi c ao em subespa cos vetoriais ortogonais L2 (; R3 ) = H H . Por outro lado, segue de (5.27) e (5.28) que os elementos de H s ao exatamente os campos solenoidais, ou seja, H = S . Portanto, L2 (; R3 ) = H S . (5.29)
ORTOGONAL DE WEYL [SEC. 5.3: O METODO DA PROJEC AO
125
1 Dado F H, seja v H0 () tal que F = v . Como
F, rot dx =

v, rot dx =
v, div rot dx = 0
C0 (; R3 ),
ent ao H R. Assim, pela decomposi c ao de L2 (; R3 ) em subespa cos ortogonais dada por (5.29), temos R = H (R S ). (5.30)
Vamos demonstrar agora que (ii) se verica. Seja F RS . Observe (; R3 ), temos a identidade que, para todo C0 = (div ) rot rot . (5.31)
Aplicando as equa c oes (5.26) e (5.27) com rot e div como fun c oesteste, respectivamente, obtemos, ap os subtra c ao entre as express oes resultantes:
F, dx = 0 C0 (; R3 ).
(5.32)
Utilizando o Lema de Weyl a cada componente de F , conclu mos que F C (; R3 ) e F = 0. Em particular, rot F = 0 e div F = 0 no sentido cl assico. H 1 () tal que Tr (f ) = f . Demonstra c ao do Teorema 5.14. Seja f 1 Como H R, temos f R. Pelo Teorema 5.15, existem h H0 () e U R S tais que f = h + U . Seja u0 = f h. Logo, u0 = div u0 = div U = 0 Isso conclui a demonstra c ao. e ) = f. Tr (u0 ) = Tr (f
126
5.4
Solu c oes fracas versus solu c oes cl assicas
Seja Rn um aberto limitado suave. Nesse trabalho, vimos essencialmente duas no c oes de solu c ao do problema de Dirichlet u = 0 u=f a saber: o cla ssica: Dada f C ( ), existe uma u 1. Formulac a nica assico. fun c ao u0 C 2 () C () satisfazendo (5.33) no sentido cl Al em disso, a aplica c ao linear S0 : f C ( ) u0 C () e cont nua. o fraca: Dada f H 1/2 ( ), existe uma u 2. Formulac a nica 1 fun c ao v0 H () tal que Tr (v0 ) = f e
v0 dx = 0 C0 ().
em , sobre ,
(5.33)
Al em disso, a aplica c ao linear S1 : f H 1/2 ( ) v0 H 1 () e cont nua. Isso signica que o problema de Dirichlet e bem posto em ambas as formula c oes, ou seja, nos dois casos a solu c ao existe, e u nica e depende continuamente das condi c oes de fronteira. Vamos mostrar que as duas solu c oes u0 e v0 coincidem quando se considera (5.33) com condi c ao de contorno f em C ( ) H 1/2 ( ): Teorema 5.16 S0 = S1 sobre C ( ) H 1/2 ( ). Demonstra c ao. Vamos dividir a demonstra c ao em duas partes: 1a etapa. S0 = S1 sobre C ( ).
[SEC. 5.4: SOLUC OES FRACAS VERSUS SOLUC OES CLASSICAS
127
Sejam f C ( ) e u0 C 2 () C () a solu c ao cl assica associada a f . Pela Teoria de Regularidade El ptica(10) , sabemos que u0 C (); em particular, u0 H 1 (). Logo, u0 = v0 , em outras palavras, S0 (f ) = S1 (f ). 2a etapa. Fim da demonstra c ao. Observe que C ( ) e denso em C ( ) H 1/2 ( ) com respeito a topologia induzida pela norma (Vid Exerc ` cio 5.18) u
C H 1/2
:= u
C ( )
+ u
H 1/2 ( ) .
Como S0 = S1 sobre C ( ), deduzimos que S0 = S1 sobre C ( ) H 1/2 ( ). Para concluir, vamos mostrar que os problemas de minimiza c ao (5.1) e (5.19) s ao equivalentes: rio 5.16.1 Seja f C ( ) H 1/2 ( ). Logo, Corola m 0 = m1 < e as solu c oes dos problemas de minimiza c ao (5.1) e (5.19) coincidem. Demonstra c ao. Claramente m0 m1 . Al em disso, pelo Teorema 5.8, a classe de fun c oes admiss veis de (5.19) e n ao-vazia, ou seja, m1 < . Vamos denotar por v0 a solu c ao de (5.19). Pelo teorema acima e pelo Lema de Weyl, temos v0 C () C (); em particular, v0 tamb em e uma fun c ao admiss vel do problema de minimiza c ao (5.1). Conseq uentemente, |v0 |2 dx m0 m1 =

|v0 |2 dx,
de onde segue o resultado.

(10) Cf.
D. Gilbarg e N. S. Trudinger, [33], p.87 et seq.
128
5.5
Exerc cios
Exerc cio 5.1 Seja n 3. Dados pontos a1 , a2 , a3 , ... B1 (0), (B1 (0)) tal que mostre que existe uma seq u encia (uk )k1 em C0
k
lim
|uk |2 = 0
mas
lim uk (aj ) = 1
j 1.
Exerc cio 5.2 1. Demonstre a seguinte variante da f ormula da m edia: (Rn ) e uma fun c ao radial Seja u harm onica em . Se C0 tal que Rn dx = 1 e supp B (0), ent ao ( u)(x) = u(x) x com d(x, ) > . 2. Deduza (5.9). Exerc cio 5.3 Demonstre o Lema 5.4. cio 5.4 Verique (5.15). Exerc Exerc cio 5.5 Mostre que a solu c ao do problema (5.1) eu nica. Exerc cio 5.6 1. Demonstre o Teorema Fundamental do C alculo das Varia c oes: Se v L1 () satisfaz
v dx = 0 C0 (),
ent ao v = 0 q.t.p. 2. Conclua que se u H 1 (), ent ao as derivadas fracas de u est ao bem denidas q.t.p. Exerc cio 5.7 Seja (vk )k1 uma seq u encia em H 1 () tal que vk v em L2 () Mostre que v H 1 () e e vk wi em L2 () xi
v xi
i = 1, . . . , n.
= wi para todo i.
129
Exerc cio 5.8 Mostre que H 1 () e H 1/2 ( ) s ao espa cos de Banach. Exerc cio 5.9 Seja := B1/4 (0) Rn , n 2. 1. Dena v (x) := log log 1 |x| x .
Mostre que v H 1 (); em particular, isso implica H 1 () C (). 2. Dada uma seq u encia (aj )j 1 densa em , dena
V (x) :=
j =1
1 v (x aj ) x . 2j
Mostre que V H 1 (); no entanto, V n ao e limitada em nenhum subconjunto aberto de . Exerc cio 5.10 Verique (5.16). Exerc cio 5.11 Mostre que se v H 1 () e v = 0 q.t.p., ent ao v e constante em cada componente conexa de . Em particular, se v H 1 () e v = 0 q.t.p., ent ao v = 0 q.t.p. Exerc cio 5.12 Seja C 1 (R) tal que e uniformemente limitada em R. Demonstre a regra da cadeia para fun c oes H 1 : 1 1 Se v H (), ent ao (v ) H () e (v ) = (v )v
Sugest ao: Utilize o Teorema 5.6.
q.t.p.
Exerc cio 5.13 1. Dado v H 1 (), mostre que v = 0 q.t.p. no conjunto x : v (x) = 0 .
Sugest ao: Seja C0 (R) tal que (t) = t se |t| 1. Mostre 1 que (kv ) 0 em H () quando k . Em seguida, utilize o Exerc cio 5.12.
130
2. Conclua que se u H 1 () e u(x) Z q.t.p., ent ao u e constante. Exerc cio 5.14 Verique que a solu c ao do problema de minimiza c ao (5.19) satisfaz (5.20). Exerc cio 5.15 Mostre que se T : E F e um operador linear satisfazendo (5.21), ent ao A E aberto implica T (A) F aberto. Exerc cio 5.16 Mostre que v C () e sub-harm onica se, e somente se, v dx 0
C0 (), 0 em .
Exerc cio 5.17 1. Mostre que R, S e H s ao subespa cos vetoriais fechados de L2 (; R3 ). 2. Demonstre (5.28). Exerc cio 5.18 Mostre que C ( ) e denso em C ( ) H 1/2 ( ) com respeito ` a norma f
C H 1/2
= f
C ( )
+ f
H 1/2 ( ) .
Exerc cio 5.19 Utilizando o Corol ario 5.16.1, mostre que se v c oes de contorno dos exemplos de Prym C 1 () C () satisfaz as condi ou de Hadamard, ent ao |v |2 dx = +.
Conclua que tais condi c oes de bordo n ao podem ser o tra co de nenhum elemento de H 1 (). Em particular, isso mostra que C ( ) H 1/2 ( ).
Refer encias Bibliogr acas

[1] Adams, Robert A. Sobolev spaces. s.ed. New York : Academic Press, 1975. (Pure and Applied Mathematics, 65) [2] Ahlfors, Lars V. Complex Analysis : An Introduction to the Theory of Analytic Functions of One Complex Variable. 3a ed. New York : McGraw-Hill Book Company, 1979. [3] Banach, Stefan. Sur les fonctionnelles lin eaires II, Studia Math. 1 (1929), 223239. [4] Birkhoff, George D. (Ed.). A Source Book in Classical Analysis. s.ed. Cambridge, MA : Harvard University Press, 1973. [5] Brelot, Marcel. Historical Introduction. In : Brelot, Marcel (Ed.). Potential Theory (C.I.M.E., 1o ciclo, 1969), Roma : Cremonese, 1970, pp.121. [6] Bressoud, David. A Radical Approach to Real Analysis. 1a ed. [S.l.] : The Mathematical Association of America, 1994. (Classroom Resource Materials Series, 2) [7] Brezis, Ha m. Analyse Fonctionnelle : Th eorie et Applications. 2a ed. Paris : Dunod, 1999. [8] Brezis, Ha m e Browder, Felix E. Partial dierential equations in the 20th century, Adv. Math. 135 (1998), 76144. 131
132
REFERENCIAS BIBLIOGRAFICAS
[9] Churchill, Ruel V. Vari aveis Complexas e suas Aplica c oes, 1a ed. S ao Paulo : McGraw-Hill, 1975. [10] Courant, Richard. Calculus of Variations. s.ed. New York : Courant Institute of Mathematical Sciences, 19451946. (Revisto e ampliado por J. Moser em 1962) [11] Courant, Richard e Hilbert, David. Methods of Mathematical Physics. s.ed. New York : John Wiley & Sons, 1962. [12] Dacorogna, Bernard. Direct Methods in the Calculus of Variations. 1a ed. Berlin : Springer-Verlag, 1989. (Applied Mathematical Sciences, 78) [13] . Introduction au Calcul des Variations. 1a ed. Lausanne : Presses polytechniques et universitaires romandes, 1992. [14] DiBenedetto, Emmanuele. Partial Dierential Equations. 1a ed. Boston : Birkh auser, 1995. [15] Diderot, Denis e DAlembert, Jean le Rond (Ed.). Encyclop edie, ou Dictionnaire Raisonn e des Sciences, des Arts et des M etiers, par une soci et e de gens de lettres. 1a ed. Paris : Briasson, David, Le Breton, e Durand, 1751. (New York : Pergamon Press, 1969) , Jean A. History of Functional Analysis. 1a ed. [16] Dieudonne Amsterdam : North-Holland, 1981. (Notas de Matem atica, 77; North-Holland Mathematics Studies, 49) [17] Dirichlet, P. G. Lejeune. Sur la convergence des s eries trigonom etriques qui servent ` a repr esenter une fonction arbitraire entre des limites donn ees. J. Reine Angew. Math. 4 (1829), 157169. In : G. Lejeune Dirichlets Werke. 2a ed. New York : Chelsea Publishing Company, 1969, pp.117132. [18] Dirichlet, P. G. Lejeune. Uber die Darstellung ganz willk urlicher Functionen durch Sinus- und Cosinusreihen. In : P. G. L. Dirichlet, op cit, pp.133160. [19] Epstein, Bernard. Partial Dierential Equations. 1a ed. New York : McGraw-Hill, 1962.
133
[20] Evans, Lawrence C. Partial Dierential Equations. 1a ed. Providence, RI : American Mathematical Society, 1998. (Graduate Studies in Mathematics, 19) [21] de Figueiredo, Djairo G. Teoria Cl assica do Potencial. 1a ed. Bras lia : Ed. Universidade de Bras lia, 1963. [22] . O Problema de Dirichlet. Atas do 10 o Col oquio Brasileiro de Matem atica de 1975 (Po cos de Caldas - MG), Rio de Janeiro : Instituto de Matem atica Pura e Aplicada (1978), pp.2178. [23] . O Princ pio de Dirichlet. Matem atica Universit aria 1 (1985), 6384. [24] . An alise de Fourier e Equa c oes Diferenciais Parciais. 2a ed. Rio de Janeiro : Instituto de Matem atica Pura e Aplicada, 1987. [25] Folland, Gerald B. Introduction to Partial Dierential Equations. 2a ed. Princeton : Princeton University Press, 1995. [26] . Real analysis : Modern techniques and their applications. 2a ed. New York : John Wiley & Sons, 1999. (Pure and Applied Mathematics) [27] Forsyth, Andrew R. Theory of Functions of a Complex Variable. 3a ed. New York : Dover Publications, 1965. (Republica c ao da 3a ed., editada por Cambridge University Press em 1918) [28] Fourier, Jean Baptiste J. Th eorie Analytique de la Chaleur. 1a ed. Paris : Firmin Didot, P` ere et Fils, 1822. In : Darboux, Gaston (Ed.). uvres de Fourier. Paris : Gauthier-Villars et Fils, 1888. [29] Fredholm, Erik I. Sur une classe d equations fonctionnelles. Acta Math. 27 (1903), 365390. [30] Fubini, Guido. Il principio di minimo e i teoremi di esistenza per i problemi al contorno relativi alle equazioni alle derivate parziali di ordine pari. Rend. Circ. Mat. Palermo 23 (1907), 5884.
134
[31] Garabedian, Paul R. Partial Dierential Equations. 1a ed. New York : John Wiley & Sons, 1964. [32] Giglioli, Antonio. Equa c oes Diferenciais Parciais El pticas. 10o Col oquio Brasileiro de Matem atica (Po cos de Caldas - MG), Rio de Janeiro : Instituto de Matem atica Pura e Aplicada, 1975. [33] Gilbarg, David e Trudinger, Neil S. Elliptic partial dierential equations of second order. 2a ed. Berlin : Springer-Verlag, 1998. (Grundlehren der mathematischen Wissenschaften, 224) [34] Goursat, Edouard. Cours dAnalyse Math ematique. 5a ed. Paris : Gauthiers-Villars, 1942. [35] Hackbusch, Wolfgang. Elliptic Dierential Equations : Theory and Numerical Treatment. 1a ed. Berlin : Springer-Verlag, 1992. Tradu c ao de : Theorie und Numerik elliptischer Dierentialgleichungen, mit Genehmigung des Verlages. [36] Hadamard, Jacques. Sur le Principe de Dirichlet. Bull. Soc. Math. France 24 (1906), 135138. In : uvres de Jacques Hadamard. s.ed. Paris : Centre National de la Recherche Scientique, 1968, pp.12451248. [37] Hilbert, David. Uber das Dirichletsche Princip. Jahresber. Deutsch. Math.-Verein 8 (1900), 184188. [38] . Uber das Dirichletsche Prinzip. Math. Ann. 59 (1904), 161186. [39] Jost, J urgen. Postmodern Analysis. 1a ed. Berlin : SpringerVerlag, 1998. [40] Kellogg, Oliver D. Foundations of Potential Theory. 1a ed. Berlin : Springer-Verlag, 1967. (Reimpress ao da 1a ed. de 1929) [41] Kline, Morris. Mathematical Thought from Ancient to Modern Times. 1a ed. New York : Oxford University Press, 1972. [42] . Mathematics : The Loss of Certainty. 1a ed. New York : Oxford University Press, 1972.
135
[43] Knopp, Konrad. Theory and Application of Innite Series. 2a ed. New York : Dover, 1990. (Republica c ao da 2a ed. em ingl es, editada por Blackie & Sons em 1951) [44] Lax, Peter D. On the existence of Greens function. Proc. Amer. Math. Soc. 3 (1952), 526531. [45] Lebesgue, L eon H. Sur le probl` eme de Dirichlet. Rend. Circ. Mat. Palermo 24 (1907), 371402. [46] . Sur le probl` eme de Dirichlet. C. R. Acad. Sci. Paris 154 (1912), 335337. [47] . Sur des cas dimpossibilit e du probl` eme de Dirichlet ordinaire. Bull. Soc. Math. France 41 (1913), 17. [48] Levi, Beppo. Sul Principio di Dirichlet. Rend. Circ. Mat. Palermo 22 (1906), 293359. [49] Liapounoff, Aleksandr. Sur quelques questions qui se rattachent au probl` eme de Dirichlet. J. Math. Pures Appl. (5) 4 (1898), 241311. [50] Lieb, Elliot H. e Loss, Michael. Analysis. 1a ed. Providence, Rhode Island : American Mathematical Society, 1997. (Graduate Studies in Mathematics, 14) [51] Meyers, Norman G. e Serrin, James. H = W. Proc. Nat. Acad. Sci. USA 51 (1964), 10551056. [52] Miranda, Carlo. Sul principio di Dirichlet per le funzioni armoniche. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei 3 (1947), 5559. [53] Nevanlinna, Rolf. Analytic Functions. s.ed. Berlin : SpringerVerlag, 1970. (Traduzido da 2a ed. em alem ao) [54] Perron, Oskar. Eine neun Behandlung der Randewertaufgabe f ur u = 0. Math. Z. 18 (1923), 4254. [55] Picard, Charles E. Trait e dAnalyse. 4a ed. Paris : GauthierVillars, 1942.
136
, Henri. Sur le Probl` [56] Poincare eme de la Distribution Electrique. C. R. Acad. Sc. Paris 104 (1887), 4446. In : uvres de Henri Poincar e. s.ed. Paris : Gauthier-Villars, 19501956, v.9, pp.1517. [57] . Sur les Equations aux D eriv ees Partielles de la Physique Math ematique. Amer. J. Math. 12 (1890), 211294. In : H. Poincar e, op cit, v.9 , pp.28111. [58] . Sur les equations de la physique math ematique. Rend. Circ. Mat. Palermo 8 (1894), 57155. [59] . Science et m ethode. 1a ed. Paris : Flammarion, 1908. (Dispon vel no endere co eletr onico : www.ac-nancy-metz.fr/enseign/philo/textesph/Scienceetmethode.pdf) [60] . O valor da Sciencia. s.ed. Rio de Janeiro : Livraria Garnier, 1924. Tradu c ao de : La Valeur de la Science. [61] Poisson, Sim eon D. Sur la mani` ere dexprimer les fonctions par des s eries de quantit es p eriodiques, et sur lusage de cette transformation dans la r esolution de di erents probl` emes, J. Ecole Poly. 11 (1820), 417489. [62] Prym, Friedrich E. Zur Integration der Dierentialgleichung 2u 2u x2 + y 2 = 0. J. Reine Angew. Math. 73 (1871), 340364. [63] Robert, Paul. Le Grand Robert de la Langue Fran caise : Dictionnaire Alphab etique et Analogique de la Langue Fran caise. 2a ed. Paris : Le Robert, 1985. [64] Robin, Gustave. Sur la distribution de l electricit e` a la surface des conducteurs ferm es et des conducteurs ouverts. Ann. Sci. Ecole Norm. Sup. 22 (1886), S.3S.58. [65] Schwartz, Laurent. Th eorie des distributions. Tomes I et II. 1a ed. Paris : Hermann, 195051. (Publications de lInstitut de Math ematique de lUniversit e de Strasbourg, 910) [66] Sobolev, Sergei L. Partial Dierential Equations of Mathematical Physics. s.ed. Oxford : Pergamon Press, 1964. (Traduzido da 3a edi c ao russa por E. R. Dawson)
137
[67] Taylor, Angus E. Introduction to Functional Analysis. 1a ed. New York : John Wiley & Sons, 1958. [68] Thompson, William. Extrait dune lettre de M. William Thompson ` a M. Liouville. J. Math. Pures Appl. (1) 10 (1845), 364367. `ves, Fran [69] Tre cois. Topological Vector Spaces, Distributions and Kernels. 1a ed. New York : Academic Press, 1967. (Pure and Applied Mathematics, 25) [70] Weierstrass, Karl T. W. Uber das Sogenannte Dirichletsche Princip.. K onigl. Akademie der Wissenschaften 14 (1870). In : Mathematische Werke. s.ed. Hildesheim : Georg Olms Verlagsbuchhandlung, New York : Johnson Reprint Corporation, 1967. [71] Weyl, Hermann. The method of orthogonal projection in potential theory. Duke Math. J. 7 (1940), 411444. [72] Wiener, Norbert. The Dirichlet problem. J. Math. Phys. 3 (1924), 127147. [73] Yosida, K osaku. Functional Analysis. 5a ed. Berlin : SpringerVerlag, 1978. [74] Zaremba, Stanislaw. Sur le Principe de Dirichlet. Acta Math. 34 (1911), 293316. [75] Ziemer, William P. Weakly Dierentiable Functions : Sobolev Spaces and Functions of Bounded Variation. 1a ed. New York : Springer-Verlag, 1989.
Nota c ao
n : dimens ao do espa co n : volume da bola unit aria em Rn n : area da esfera unit aria em Rn ; n = nn BR (x) : bola de centro x e raio R : vetor normal exterior |A| : medida de Lebesgue de A q.t.p. : exceto num conjunto de medida (de Lebesgue) nula s.c.i. : semicont nua inferiormente : solu c ao fundamental da equa c ao de Laplace (Vid Equa c ao (1.4)) = x : d(x, ) > (exceto Se c ao 2.1.3) (x) = 1 x n (x) = (x) ( u)(x) =
(x y )u(y ) dy , onde u : R
u =
u u ,..., x1 xn 2u 2u + + 2 2 x1 xn F1 Fn + + , onde F : Rn Rn x1 xn 139
u =
div F =
140 rot F =
Nota c ao
F3 F2 F1 F3 F2 F1 , , , onde F : R3 R3 x2 x3 x3 x1 x1 x2
C0 () = C () : = 0 sobre
C0 () = C () : tem suporte compacto em
C (K )
= sup | (x)|
xK 1 /2
L2 ()
|f |2 dx
D () : espa co das distribui c oes em
Indice Remissivo
Abel, H. N., 29, 33, 37 Alternativa de Fredholm, 79, 83 Barreira, 99 local, 99 Bernoulli, D., 2 B ocher, M., 14 Bouligand, G., 96, 99, 103 Campo irrotacional, 123 solenoidal, 124 Capacidade, 102 Cauchy, A. L., 29, 34 Coecientes de Fourier, 2527, 35 Condi c ao da esfera exterior, 47, 91, 100 interior, 47, 85 Coulomb, C. A., 3 Courant, R., 108 Crit erio de Wiener, 103 dAlembert, J. R., 33 de Moivre, A., 34n Dedekind, J. W. R., 55 Derivada fraca, 117 Desigualdade 141 de Cauchy-Schwarz, 112 de Harnack, 43 de Poincar e, 111 Dirichlet, P. G. L., 29, 35, 57 Energia potencial, 2 Equa c ao de Laplace, 1 de Poisson, 7 Espa cos de Sobolev, 117118 Euler, L., 2, 30n, 33, 34 Exemplo de Hadamard, 6770, 130 de Lebesgue, 93 de Prym, 64, 130 de Weierstrass, 62 de Zaremba, 93 F ormula da m edia, 13, 128 de Poisson, 43, 68 F ormula de Stirling, 34n Formula c ao cl assica, 126 fraca, 126 Fourier, J. B. J., 4, 23 Fredholm, E. I., 79 Friedrichs, K. O., 116 Fun c ao
142 de Green, 4042, 48, 87 H older-cont nua, 9 harm onica, 5, 122 seccionalmente cont nua, 36 seccionalmente mon otona, 36 semicont nua inferiormente, 97, 105 sub-harm onica, 18, 97, 130 super-harm onica, 20, 86 Gauss, K. F., 1, 57 Green, G., 1 H 1 (), 117 H 1/2 ( ), 118 Hadamard, J. S., 67 Harnack, A., 16 Helmholtz, H., 2 H older, L. O., 9 Identidades de Green, 39 Lorde Kelvin, veja Thompson, W. Koebe, P., 14 Lagrange, J. L., 2, 27 Laplace, P. S., 3 Lax, P. D., 48 Lebesgue, H. L., 93, 99 Lei da Gravita c ao Universal, 2, 32 de Continuidade, 2 Leibniz, G. W., 32n Lema de Abel, 37 de Rouch e, 60
INDICE REMISSIVO
de Weyl, 122 Levantamento harm onico, 19, 98 Levi, B., 108n Liapouno, A., 42 M etodo da equa c ao integral, 78 de Fourier, 23 de Perron, 96 de Schwarz, 71 de varredura, 84 M etodos alternantes, 84 diretos, 108 Meyers, N. G., 117 Neumann, K. G., 72, 78 Newton, I., 2, 32n Operador compacto, 79 Ostrogradski, M. V., 39 Perron, O., 97 Picard, E., 87 Poincar e, H., vii, 48, 5859, 84 91 Poisson, S. D., 3, 12, 35 Ponto regular, 99102 Potencial condutor, 8485, 102 de camada dupla, 40, 79 de velocidades, 2 eletrost atico, 13, 38 gravitacional, 6, 94 newtoniano, 67 Princ pio da Singularidade Remov vel, 87, 105
INDICE REMISSIVO
143 generalizada, 98 Stirling, J., 34n Temperatura de equil brio, 4, 24 Teorema da Aplica c ao Conforme, 60 da Aplica c ao Aberta, 121 da Converg encia Dominada, 15 de Aproxima c ao de Weierstrass, 92 de Ascoli-Arzel` a, 80 de Dirichlet, 35 de Gauss, 13 de Hahn-Banach, 49 de Liouville, 53, 77 de Tietze, 92 do Divergente, 5, 38, 52 do Tra co, 118 Fundamental do C alculo das Varia c oes, 128 Teoria das Distribui c oes, 117 de Regularidade El ptica, 127 Transforma c ao conforme, 60, 72, 77 de Kelvin, 88 Weierstrass, K. T. W., 55, 62 63 Weyl, H., 122 Wiener, N., 97, 102103 Zaremba, S., 93
de Dirichlet, 55, 107 de Superposi c ao, 25 do m aximo, 1618, 41, 75, 86 forte, 18, 98 fraco, 17 Problema bem posto, 126 de Dirichlet, 6 Processo alternante, veja M etodo de Schwarz Prym, F. E., 63 Rebaixamento harm onico, 20, 86 Reex ao com respeito ` a esfera, 44, 91 Rela co es de ortogonalidade, 25, 34, 52 Riemann, G. F. B., 55, 59 Robin, G., 78 S erie de Fourier, 2538 divergente, 3233 trigonom etrica, veja S erie de Fourier Schwartz, L., 103, 117 Schwarz, H. A., 7172 Seq u encia eq uicont nua, 80 minimizante, 108, 120 Serrin, J., 117 Sobolev, S. L., 117 Solu c ao cl assica, 6 fraca, 119 fundamental, 5, 41, 112

Apostila-Métodos Clássicos em Teoria Dos Potenciais

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apostila-Métodos Clássicos em Teoria Dos Potenciais

Enviado por

Direitos autorais:

Formatos disponíveis

M etodos Cl assicos em Teoria do Potencial

` minha terra natal. A

[SEC. 1.1: HISTORICO

DE LAPLACE [SEC. 1.2: A EQUAC AO

seguir a do Teorema do Divergente (Vid Equa c ao (2.36)) que u dx =

Sendo o aberto arbitr ario, devemos ter u = 0 em . (1.2)

Tal fun c ao u e chamada de potencial newtoniano gerado pela densidade .(14)

DE POISSON [SEC. 1.3: A EQUAC AO

Pela constru c ao de , e imediato que u C 1 (Rn ) e vi (x) (x y ) 1 (x y ) xi (y ) dy.

Logo, para todo x Rn , vi (x) u (x) sup || xi sup ||

C(1 + | log 2|) se n = 2, C se n > 2.

DE POISSON [SEC. 1.3: A EQUAC AO

Dessa forma, vi C 1 () e, por aplica c ao da f ormula de integra c ao

10 por partes, temos vi = xj =

B. Dacorogna, [13], p.127.

DE POISSON [SEC. 1.3: A EQUAC AO

( 1 + 4 log |x|) se 0 < |x| 1 2, se x = 0,

x (x y ) (y ) (x) dy + + 1 (x) nn Rn1

[SEC. 1.4: A FORMULA DA MEDIA

Pela integra c ao de n rn1 u(x) com rela c ao a r entre 0 e R, n Rn u(x) = n

para quase toda BR (x) , (1.18)

ent ao u C () e u = 0 em . Demonstra c ao. Seja u (x) :=

(r)n rn1 dr u(x) =

[SEC. 1.4: A FORMULA DA MEDIA

para quase toda BR (x) ,

e cont nua para cada R > 0. Logo, u C () e u(x) = 1 n R n u dy

O princ pio do m aximo

[SEC. 1.5: O PRINC IPIO DO MAXIMO

[SEC. 1.5: O PRINC IPIO DO MAXIMO

B ; pelo princ Em particular, v h sobre B pio do m aximo, v h B. em B (1.23)

Combinando (1.22) e (1.23), conclu mos que V h e portanto V e sub-harm onica.

obtenha (1.5) notando que Z (x y ) (y ) dy 0 B (x)

quando 0, onde e a normal exterior a Rn \ B (x).

Sugest ao: Cf. E. Lieb e M. Loss, [50], pp.149150.

[SEC. 1.6: EXERC ICIOS

onde a constante C > 0 depende apenas de e n.

[CAP. 2: OS TRABALHOS PIONEIROS

O problema de equil brio t ermico

w(y ) = ey , v (x) = cos x se = 1, 3, . . . , sen x se = 2, 4, . . . .

[SEC. 2.1: O METODO DE FOURIER

minando os valores negativos de , teremos u(x, y ) = ey cos x se = 1, 3, . . . , ey sen x se = 2, 4, . . . .

k e(2k1)y cos (2k 1)x + k e2ky sen 2kx

e tentar determinar os coecientes k e k de maneira que, para y = 0, tenhamos

k cos (2k 1)x + k sen 2kx ,

< x < . (2.2) 2 2

[CAP. 2: OS TRABALHOS PIONEIROS

f (x) cos (2k 1)x dx,

f (x) sen 2kx dx.

B. J. Fourier, [28], p.141 et seq.

[SEC. 2.1: O METODO DE FOURIER

Teorema 2.1 Sejam = 2 , 2 (0, +) e

(1)k1 (2k1)y e cos (2k 1)x 2k 1

Ent ao, u pertence a C 2 () C \ ( 2 , 0) e satisfaz u = 0 u=1 u=0 em ,

[CAP. 2: OS TRABALHOS PIONEIROS

1 0.75 0.5 0.25 0 0.5 1 1.5 2 1

Figura 2.1: Gr aco de u(x, y ) dada por (2.8)

[SEC. 2.1: O METODO DE FOURIER

[CAP. 2: OS TRABALHOS PIONEIROS

[SEC. 2.1: O METODO DE FOURIER

de onde vem a seguinte representa ca o de f em s erie de Fourier: f (x) = 2

1 ii f ( )+ k2 (1)k1 sen kx. (2.13) k

[CAP. 2: OS TRABALHOS PIONEIROS

[SEC. 2.1: O METODO DE FOURIER