Você está na página 1de 26

Captulo 10

Equacoes de Laplace
e Poisson
Separacao de variaveis,
funcoes harm onicas,
transformacoes conformes
propriedade de valor medio,
e princpio de maximo
10.1 Introducao
A equa cao de Laplace num conjunto aberto D R
n
(ou D C) e
u(x, y) = 0, onde u =
2
u/x
2
+
2
u/y
2
e conhecido por laplaciano
de u, tambem designado por lap u.
`
As funcoes que satisfazem a equacao
de Laplace em D chama-se func oes harmonicas em D. A import ancia
das funcoes harmonicas para aplica coes, nomeadamente no ambito da fsica,
qumica, biologia e engenharia, vem destas funcoes corresponderem a po-
tenciais de campos vectoriais conservativos com divergencia nula. Por esta
raz ao, o estudo de funcoes harmonicas tambem e conhecido por Teoria do
Potencial. Em muitas situa coes de aplica cao, as solu coes de equilbrio s ao
funcoes harmonicas.

E o caso do campo gravitacional num conjunto sem
massas, do campo electrico num conjunto sem cargas electricas, do campo
de velocidades de um uido incompressvel, estacion ario e irrotacional, da
densidade em processos de difus ao de natureza variada (em fsica, qumica,
biologia).
276 Equac oes de Laplace e Poisson Fun c oes harmonicas

E claro que a equacao de Laplace num conjunto D e uma equacao linear


homogenea no espa co das funcoes C
2
em D, pelo que o conjunto das fun coes
harmonicas em D e um espa co linear.
As funcoes harmonicas mais simples em R
2
s ao as fun coes ans
(x, y) ax+by +c, com a, b, c R constantes. Em coordenadas polares
(r, ) o laplaciano toma a forma (r/r)(ru/r)+
2
u/
2
, pelo que pode
ser directamente observado que ln r e uma funcao harmonica no comple-
mentar da origem em todo o plano, e que qualquer funcao harmonica numa
regi ao sem a origem e que depende apenas de r e necessariamente da forma
a ln r+b, com a, bR constantes. Tambem e imediato vericar que qualquer
funcao contnua denida num subconjunto aberto de R
2
de modo a dar o
argumento do ponto em que e calculada e harmonica.
A equacao linear n ao homogenea associada `a equacao de Laplace escreve-
se u(x, y) = e e conhecida por Equacao de Poisson. Por exemplo,
esta equacao e um modelo para o campo gravitacional num conjunto com
densidade de massa , e para o campo electrico num conjunto com densidade
de carga electrica .
10.2 Separa cao de variaveis na equa cao de Laplace
Considera-se a equacao de Laplace num rect angulo [0, A][0, B] com condi-
coes de Dirichlet na fronteira

2
u
x
2
+

2
u
y
2
= 0
u(x, 0)=f
1
(x), u(0, y)=f
2
(y), u(x, B)=f
3
(x), u(A, y)=f
4
(y) ,
(10.1)
para x[0, A], y [0, B].
Problemas deste tipo ocorrem como modelos em variadas aplica coes,
por exemplo para: o potencial electroest atico num condutor oco de sec cao
rectangular, as posi coes de equilbrio de membranas el asticas com posi cao
xa na fronteira de um rect angulo, o escoamento de um uido irrotacional
incompressvel num tubo de sec cao rectangular, a temperatura numa chapa
rectangular em equilbrio. Neste ultimo caso, note-se que a equacao do
calor num rect angulo e u/tk
_

2
u/x
2
+
2
u/y
2
_
=0 e as solu coes de
equilbrio desta equacao satisfazem u/t = 0, pelo que em situa coes de
equilbrio com os lados do rect angulo forcados a ter uma certa distribui cao
de temperatura, a temperatura no interior do rect angulo satisfaz a equacao
de Laplace com valores na fronteira (10.1).
Ao contr ario das equacoes do calor e das ondas estudadas nos captu-
los anteriores, que denem problemas de evolu cao, a equacao de Laplace
10.2 Separacao de variaveis na equa cao de Laplace 277
corresponde geralmente a problemas de equilbrio como os que foram men-
cionados.
Consideramos solucao do problema (10.1) em [0, A] [0, B] qualquer
funcao contnua u: [0, A] [0, B] R que satisfaz as condi coes na fronteira
e a condi cao inicial dadas e e C
2
e verica a equacao diferencial no interior
do domnio.
`
As funcoes que satisfazem a equacao de Laplace num conjunto
aberto D chama-se func oes harmonicas em D.
Como a equacao de Laplace e linear e, portanto, e valido o Princpio da
Sobreposi cao, quando as condi coes na fronteira s ao nulas nos vertices do rec-
tangulo, as solu coes do problema considerado podem ser obtidas adicionando
solu coes de cada um dos quatro problemas que se obtem com condi coes na
fronteira nulas excepto num dos lados do rect angulo. Como estes problemas
s ao identicos, considera-se aqui apenas um deles, especicamente

2
u
x
2
+

2
u
y
2
= 0
u(x, 0)=f
1
(x), u(0, y)=u(x, B)=u(A, y)=0 ,
(10.2)
para x[0, A], y [0, B].
O metodo de separacao de vari aveis consiste em procurar solu coes do
problema da forma u(x, y)=X(x) Y (y). Substituindo na equacao diferencial
obtem-se X

(x) Y (y)+X(x) Y

(y)=0. Assim, para u(x, y)=X(x) Y (y) ser
solu cao do problema tem de existir uma constante tal que
X

(x) X(x)=0, Y

(y)+ Y (y)=0
X(x) Y (0)=f
1
(x), X(0) Y (y)=X(x) Y (B)=X(A) Y (y) = 0 ,
para (x, y) [0, A] [0, B]. Para que a solu cao n ao seja nula, tem de ser
X(x), Y (y) ,= 0 para alguns x, y e, portanto, X(0) = X(A) = Y (B) = 0.
Se ,=n
2

2
/A
2
para todo n N a unica solu cao da equacao diferencial
obtida para X que se anula nos pontos x =0 e x =A e a solu cao nula. Se
=n
2

2
/A
2
com nN as solu coes das equacoes diferenciais acima obtidas
por separacao de vari aveis com as condi coes referidas d ao solu coes da forma
u
n
(x, y) = sin
nx
A
sinh
n(By)
A
, nN ,
que satisfazem o problema (10.2) para os casos particulares em que
f
1
(x) = u
n
(x, 0). Devido ao Princpio da Sobreposi cao, quando f
1
e uma
combina cao linear de funcoes deste tipo, obtem-se uma solu cao do problema
que e a combina cao linear das funcoes u
n
com os mesmo coecientes. Se f
1
n ao e uma combina cao linear das funcoes u
n
, avaliadas em t =0, e natural
tentar obter solu coes com representacao em serie
(10.3) u(x, y) =

n=1
k
n
sin
nx
A
sinh
n(By)
A
278 Equac oes de Laplace e Poisson Fun c oes harmonicas
e, portanto, considerar a representacao de f
1
por uma serie de Fourier de
senos
(10.4) f
1
(x) =

n=1
b
n
sin
nx
A
,
com b
n
= k
n
sinh(nB/A). Qualquer funcao contnua f
1
: [0, A] R com
valor zero nos extremos do intervalo [0, A] pode ser estendida ao intervalo
[A, A] de forma a ser mpar, pelo que tem uma serie de Fourier de senos. Do
teorema (??) sabe-se que uma condi cao suciente para esta serie de Fourier
convergir uniformemente para a funcao f
1
no intervalo [0, A] e que esta
funcao seja contnua e tenha derivada integr avel `a Riemann neste intervalo.
Resta conrmar que a funcao dada pela formula (10.3) e solu cao do pro-
blema (10.2). Para majorar os termos da serie nesta formula e das suas
derivadas termo a termo convem come car por majorar as funcoes seno hi-
perb olico que aparecem na serie.

E facil ver que
sinh
n(By)
A
sinh
nB
A
=
e
n(By)/A
e
n(By)/A
e
nB/A
e
nB/A
= e
ny
1e
2n(By)/A
1e
2nB/A
e
ny
1
1e
2B/A
.
Em consequencia, a serie cujos termos s ao os valores absolutos dos termos da
serie em (10.3), assim como as series correspondentes obtidas derivando esta
serie termo a termo uma e duas vezes em rela cao a x e a y s ao dominadas
em valor absoluto por um m ultiplo da serie

n
2
e
ny
, pelo que s ao unifor-
memente convergentes em [0, A][y
0
, B], com 0<y
0
B. Conclui-se que a
funcao u e C
2
, satisfaz a equacao diferencial do problema em ]0, A[ ]y
0
, B[
e e continua em [0, A] ]y
0
, B]. Prosseguindo com deriva coes sucessivas da
serie na formula (10.3) termo a termo ate ordem k e tomando os valores
absolutos dos termos calculados obtem-se series dominadas por m ultiplos de

n
k
e
ny
, pelo que a solu cao dada por essa formula e C

em ]0, A[ ]0, B[,


mesmo que a condi cao na fronteira u(x, 0)=f
1
(x) n ao tenha derivadas para
alem da primeira.
Como os termos da serie em (10.3) se anulam em todos os lados do
rect angulo com excepcao de [0, A]0, conclui-se que as condi coes na fron-
teira s ao todas satisfeitas no complementar deste conjunto na fronteira do
rect angulo. Resta vericar que u e contnua nos pontos de [0, A]0, o que
pode ser feito de forma semelhante ao que se fez no captulo anterior para
o problema semelhante para a equacao do calor com base no Princpio do
Maximo para a equacao de Laplace que se obtem numa outra sec cao deste
captulo, segundo o qual o m aximo e o mnimo de solu coes n ao constantes
da equacao de Laplace num conjunto conexo s o podem ocorrer na fronteira
do conjunto.
10.2 Separacao de variaveis na equa cao de Laplace 279
Na verdade, como a serie de Fourier de f
1
em (10.4) converge unifor-
memente para f
1
em [0, A], para todo > 0 existe N N tal que a su-
cess ao de somas parciais da serie S
n
(x, f
1
) cuja soma e f
1
(x) satisfaz
[S
m
(x, f
1
) f
1
(x)[ < para x [0, A], m N e, portanto, [S
m
(x, f
1
)
S
n
(x, f
1
)[ < 2 em [0, A], m, n N. Por outro lado, a sucessao de so-
mas parciais S
n
(x, y, u) da serie que dene u(x, y) em (10.3) e tal que a
funcao (x, y) S
m
(x, y, u) S
n
(x, y, u) satisfaz a equacao de Laplace em
]0, A[ ]0, B[ e tem valor zero na fronteira deste conjunto excepto no seg-
mento [0, A] 0, onde o seu valor absoluto e majorado por 2. Do Prin-
cpio do Maximo que se obtem mais `a frente neste captulo conclui-se que
[S
m
(x, y, u)S
n
(x, y, u)[ 2 para (x, y) [0, A] [0, B], m, n N e, por-
tanto, a sucessao S
n
(x, y, u) converge uniformemente para uma fun cao
contnua em [0, A][0, B], pelo que u(x, y)f
1
(x
0
) quando (x, y)(x
0
, 0).
O Princpio do Maximo tambem permite provar. de forma an aloga `a
do captulo anterior para a equac ao do calor, que o problema de valores na
fronteira considerado e bem posto no sentido de Hadamard. Na verdade, o
mesmo problema mas com a condi cao na fronteira denida por uma fun cao
f
1
em vez de f
1
, tem solu cao u tal que uu satisfaz o problema mas com a
condi cao na fronteira denida por f
1
f
1
em vez de f
1
, pelo que o Princpio
do Maximo implica max [uu[ max [f
1
f
1
[
Em resumo, ca estabelecido o resultado seguinte.
(10.5) Teorema: Se as func oes f
k
, k=1, 2, 3, 4, tem desenvolvimentos
em series de Fourier de senos uniformemente convergentes no respec-
tivo domnio, entao o problema com valores na fronteira para a equa c ao
de Laplace (10.1) tem soluc ao unica u. Esta soluc ao e a soma das qua-
tro solu c oes que se obtem considerando os valores na fronteira nulos,
excepto os que s ao especicados por uma das func oes f
k
, k =1, 2, 3, 4.
Cada uma destas soluc oes e dada, para (x, y)[0, A][0, B], por uma se-
rie do tipo de (10.3), a qual corresponde ao caso em que f
2
=f
3
= f
4
= 0,
sendo a serie uniformemente convergente nos subconjuntos compactos
de ]0, A[ ]0, B[. O problema (10.1) e bem posto no sentido de Ha-
damard, isto e, se u e solu c ao do problema e u e soluc ao do mesmo
problema com dados f
k
em vez de f
k
, entao uu uniformemente em
[0, A][0, B], quando f
k
f
k
uniformemente em [0, A], para k=1, 2, 3, 4.
Alem disso, a soluc ao e C

em ]0, A[ ]0, B[.


A Figura 10.1 ilustra gracamente a solu cao do problema com valores
na fronteira para a equacao de Laplace (10.1) com o metodo acima descrito.
Interessa considerar outros tipos de condi coes na fronteira para a equa-
280 Equac oes de Laplace e Poisson Fun c oes harmonicas
Figura 10.1: Solu cao do problema (10.1) com condi coes
na fronteira indicadas no topo e A= 1, B = 2 e valor
da solu cao sobre o segmento de recta com x=1/4
cao de Laplace bem como a sua resolucao noutros domnios. O metodo de
separacao de vari aveis e series de Fourier pode tambem ser usado para re-
solver o problema de Dirichlet para a equacao de Laplace num crculo, com
uma mudanca para coordenadas polares. Em coordenadas polares a equacao
de Laplace escreve-se
r
2

2
u
r
2
+r
u
r
+

2
u

2
= 0 .
O problema de Dirichlet num crculo de raio R>0 corresponde a exigir a
verica cao desta equacao no interior do crculo e a condi cao na fronteira
u(R, )=f() , [0, 2] ,
10.2 Separacao de variaveis na equa cao de Laplace 281
com f(0) =f(2). A solu cao u(r, ) tem de ser peri odica com perodo 2
em . Para resolver este problema por separacao de vari aveis e series de
Fourier procuram-se solu coes da forma u(r, ) =(r) T(). Substituindo na
equacao diferencial obtem-se [r
2

(r)+r

(r)] T()+(r) T

() =0. Assim,
para u(r, )=(r) T() ser solu cao do problema tem de existir uma constante
tal que
r
2

(r)+r

(r)(r)=0 , T

()+ T()=0 , (R)=1 , T()=f() ,


para (r, ) [0, R] [0, 2]. A equacao diferencial para T s o tem solu coes
diferentes de zero peri odicas de perodo 2 se =n
2
com nN0 e neste
caso essas solu coes s ao a
n
sin(n) +b
n
cos(n) com a
n
, b
n
R constantes
arbitrarias se n N, e a
0
/2 com a
0
R uma constante arbitraria se n = 0.
Para =n
2
a funcao (r)=r
n
satisfaz a equacao diferencial para . Obtem-
se assim solu coes da forma
u
n
(r, ) =
_
r
R
_
n
(a
n
cos n +b
n
sin n) , nN ,
que satisfazem o problema, mas com u
n
(R, )=a
n
cos n +b
n
sin n. Assim,
e natural tentar obter solu coes com representacao em serie
(10.6) u(r, ) =
a
0
2
+

n=1
_
r
R
_
n
(a
n
cos n +b
n
sin n)
e, portanto, considerar a representacao de f por uma serie de Fourier
f() =
a
0
2
+

n=1
(a
n
cos n +b
n
sin n) .
Qualquer funcao contnua f : [0, 2] R com derivada integr avel `a Riemann
neste intervalo e f(0)=f(2) tem uma serie de Fourier do tipo indicado que
converge uniformemente para a funcao f no intervalo [0, 2].
Resta conrmar que a funcao u denida pela formula (10.6) e solu cao
do problema. A serie cujos termos s ao os valores absolutos dos termos da
serie nessa formula, assim como as series correspondentes obtidas derivando
esta serie termo a termo uma e duas vezes em rela cao a r e a s ao domi-
nadas em valor absoluto por um m ultiplo da serie

n
2
(r/R)
n2
, pelo que
s ao uniformemente convergentes em [0, R
0
] [0, 2], para todo 0 <R
0
<R.
Conclui-se que a funcao u e C
2
, satisfaz a equacao diferencial do problema em
[0, R[ [0, 2] e e continua em [0, R[ [0, 2]. Prosseguindo com deriva coes
sucessivas termo a termo da serie na formula para u ate ordem k e tomando
os valores absolutos dos termos calculados obtem-se series dominadas por
m ultiplos de

n
k
(r/R)
nk
, pelo que a solu cao dada por essa formula e
C

em ]0, R[ [0, 2], mesmo que a condi cao na fronteira u(R, ) = f()
282 Equac oes de Laplace e Poisson Fun c oes harmonicas
n ao tenha derivadas para alem da primeira. Falta apenas vericar que u e
contnua nos pontos de R[0, 2] da fronteira do crculo, o que pode ser
feito tal como no caso anterior, com base no Princpio do Maximo para a
equacao de Laplace.
Vamos agora obter de (10.6) uma formula integral para a solu cao u
directamente a partir da funcao f. Os coecientes da serie de Fourier de f
s ao
a
0
=
1

_
2
0
f() d, a
n
=
1

_
2
0
f() cos nd, b
n
=
1

_
2
0
f() sin nd.
A serie cujos termos s ao os valores absolutos da serie

n=1
_
r
R
_
n
f() cos n( ) .
e dominada por 2 max
[0,2]
[f[

n=1
(R
0
/R))
n
para (r, ) [0, R
0
] [0, 2],
com R
0
]0, R[. Como esta serie e uma serie geometrica com raz ao menor do
que um, a serie considerada e uniformemente convergente em [0, R
0
][0, 2].
Logo, pode ser integrada termo a termo o que d a
_
2
0

n=1
_
r
R
_
n
[f() cos n cos n +f() sin n sinn] d
=

n=1
_
r
R
_
n
___
2
0
f() cos nd
_
cos n +
__
2
0
f() sin nd
_
sin n
_
=

n=1
_
r
R
_
n
(a
n
cos n +b
n
sin n) .
Portanto, a solu cao u denida pela formula (10.6) pode ser escrita na forma
u(r, ) =
1

_
2
0
f()
_
1
2
+

n=1
_
r
R
_
n
cos n()
_
d .
Com z = r e
i
e w = Re
i
, o termo entre parenteses rectos nesta formula
pode-se escrever
1
2
+

n=1
Re
_
z
w
_
n
=
1
2
+ Re

n=1
_
z
w
_
n
=
1
2
+ Re
_
1+
z/w
1
z
w
_
=
1
2
Re
_
w+z
wz
_
,
pelo que a formula acima para u pode ser escrita na forma
(10.7) u(r, ) =
1
2
_
2
0
Re
_
Re
i
+r e
i
Re
i
r e
i
_
f() d .
10.3 Fun c oes harmonicas e transformac oes conformes 283
Como
(w+z)(wz)
(wz)(wz)
=
[w[
2
[z[
2
[w[
2
2 Re(wz)+[z[
2
=
R
2
r
2
R
2
2 Rr cos()+r
2
,
a formula para u pode-se escrever (Figura 10.2)
(10.8) u(r, ) =
1
2
_
2
0
R
2
r
2
R
2
2Rr cos()+r
2
f() d .
A qualquer das formulas (10.7) e (10.8) obtidas para a solu cao do problema
de Dirichlet no crculo de raio R e centro na origem chama-se F ormula de
Poisson. Estas formulas foram obtidas por separacao de vari aveis e series
de Fourier sob a hip otese da func ao f ser contnua e ter derivada integr avel
`a Riemann em [0, 2], mas para a formula estar bem denida basta que f
seja contnua. Pode-se provar que apenas com a hip otese de continuidade
de f e f(0) = f(2) a Formula de Poisson anterior ainda d a uma solu cao
da equacao de Laplace no crculo de raio R e centro na origem, estando a
diculdade da prova na verica cao que a funcao denida pela Formula de
Poisson e contnua na fronteira desse crculo. Nao vamos prosseguir esta
questao aqui porque numa sec cao seguinte obtem-se resultados mais gerais.
Figura 10.2: Solu cao do problema de Dirichlet para a
equacao de Laplace no crculo de raio 1, com valores
na fronteira representados na gura da esquerda
10.3 Funcoes harm onicas e transformacoes
conformes
Na sec cao anterior considerou-se a resolucao da equacao de Laplace em rec-
tangulos e em crculos com separacao de vari aveis e series de Fourier. Para
284 Equac oes de Laplace e Poisson Fun c oes harmonicas
resolver a equacao em regi oes diferentes do plano e util explorar metodos de
Analise Complexa
1
. De facto, as funcoes harmonicas em conjunto abertos
de R
2
e as funcoes holomorfas em conjunto abertos de C est ao intimamente
relacionadas, como mostra o resultado seguinte.
(10.9) Teorema: Seja D R
2
aberto e W =x+iy : (x, y) D C.
Entao:
1. Uma func ao de valores complexos em W e harmonica em W se e
s o se as suas partes real e imaginaria s ao harmonicas em D.
2. As func oes holomorfas em W s ao harmonicas em W.
3. Se u : D R e harmonica e C
2
, entao g(x+iy)=u/xi u/y
e holomorfa em W.
4. Se u : D R e harmonica, entao e localmente a parte real de
uma func ao harmonica, isto e, em cada crculo em W existe uma
func ao h holomorfa em W com parte real igual a u nesse crculo.
Dem.
1.

E imediata.
2. Recorda-se que se u, v: DR s ao C
2
, entao f(x+iy)=u(x, y)+i v(x, y)
e holomorfa em W se e s o se s ao satisfeitas as condi coes de Cauchy-
Riemann u/x = v/y, u/y = v/x, e que as partes real e
imagin aria de funcoes holomorfas s ao C

. Assim, se f e holomorfa
as condi coes de Cauchy-Riemann e a igualdade de derivadas mistas de
segunda ordem implicam

2
u
x
2
+

2
u
y
2
=

2
v
xy


2
v
y x
= 0 ,

2
v
x
2
+

2
v
y
2
=

2
u
xy


2
u
y x
= 0 .
3. As funcoes U =u/x e V =u/y s ao C
1
e satisfazem as condi coes
de Cauchy-Riemann
U
x

V
y
=

2
u
x
2
+

2
u
y
2
= 0 ,
U
y
+
V
x
=

2
u
y x


2
u
xy
= 0 ,
logo g(x +iy)=U(x, y)+i V (x, y) e holomorfa.
4. Basta provar o resultado num crculo fechado arbitrario contido em
D. Sem perda de generalidade pode-se supor o crculo centrado na
origem com um raio R > 0 (caso contr ario faz-se uma translacao de
1
Para uma exposicao simplicada dos aspectos de An alise Complexa aqui referidos
ver, por exemplo, o texto do autor Analise Complexa de Uma Variavel e Aplicacoes,
Departamento de Matem atica, IST, 2005.
10.3 Fun c oes harmonicas e transformac oes conformes 285
coordenadas). Considera-se a funcao U que e solu cao da equacao de
Laplace no crculo e satisfaz a condi cao na fronteira especicada em
coordenadas polares (r, ) por f() =u(Rcos , Rsin) e que e dada
pela Formula de Poisson (10.7). Esta formula tambem d a U como
funcao da vari avel complexa z =r e
i
na forma
u(z) =
1
2
Re
_
2
0
_
Re
i
+z
Re
i
z
_
f() d .
A funcao integranda e holomorfa no interior do crculo [z[ <R, logo U
e a parte real de uma funcao holomorfa. Em consequencia do Princ-
pio do Maximo que se obtem numa sec cao seguinte deste captulo, as
solu coes da equacao de Laplace num conjunto limitado com os mes-
mos valores na fronteira, quando existem, s ao unicas. Conclui-se que
u=U, o que termina a demonstracao.
Q.E.D.

E tambem util o resultado seguinte.


(10.10) Proposi cao: A composi c ao de uma func ao harmonica com uma
func ao holomorfa e harmonica.
Dem. Suponhamos que T =u+iv e holomorfa num conjunto aberto WC,
onde u e v tem valores reais, e f e harmonica em T(W). Da regra de
derivacao da funcao composta obtem-se

x
(f T) =
_
f
u
T
_
u
x
+
_
f
v
T
_
v
x
,

2
x
2
(f T) =
_

2
f
u
2
T
__
u
x
_
2
+
_

2
f
v u
T
__
v
x
__
u
x
_
+
_
f
u
T
_

2
u
x
2
+
_

2
f
v
2
T
__
v
x
_
2
+
_

2
f
uv
T
__
u
x
__
v
x
_
+
_
f
v
T
_

2
v
x
2
,
e formulas identicas trocando x com y. Adicionando a ultima formula com
a correspondente com derivadas em ordem a y e aplicando as equacoes de
Cauchy-Riemann, u/x=v/y, u/y =v/x, obtem-se
(f T) =(f T)
_
_
u
x
_
2
+
_
v
x
_
2
_
+
_
f
u
T
_
u
x
u +
_
f
u
T
_
v
x
v .
Como T e holomorfa, resulta do teorema anterior que u e v s ao harmonicas.
Portanto f =0, u=0, v =0, logo (f T) =0. Conclui-se que f T e
harmonica em W. Q.E.D.
286 Equac oes de Laplace e Poisson Fun c oes harmonicas
Figura 10.3: Transformacao conforme de uma semicoroa
circular num rect angulo do plano complexo, T(z)=log z
Em consequencia do resultado anterior, uma funcao complexa T holo-
morfa num conjunto W com inversa holomorfa transforma fun coes harmo-
nicas no conjunto D = (x, y) R
2
: x+iy W em fun coes harmonicas
no conjunto D

= (u, v) R
2
: u+iv T(W) e vice-versa. Assim, para
resolver a equacao de Laplace num subconjunto D de R
2
pode ser util trans-
formar vari aveis por uma funcao holomorfa injectiva, que necessariamente
tem derivada diferente de zero em todos os pontos. Estas fun coes denem
transformac oes conformes que preservam angulos entre curvas e raz oes
de expans ao e contrac cao de comprimentos localmente em torno de cada
ponto. Portanto, as transformacoes conformes s ao particularmente uteis na
resolucao da equacao de Laplace em subconjuntos do plano e foram um ins-
trumento determinante no desenvolvimento de areas de aplica cao como me-
canica de uidos, aerodin amica, elasticidade de s olidos e electromagnetismo,
pela facilidade com que permitiram obter solu coes da equacao de Laplace
em subconjuntos do plano por simples transformacoes de coordenadas.
O Teorema de Transformacao de Riemann da Analise Complexa estabe-
lece que qualquer subconjunto aberto simplesmente conexo do plano com-
plexo diferente de todo o plano pode ser transformado por uma transforma-
cao conforme no crculo aberto de raio 1 e centro na origem. Alem disso,
se a fronteira do conjunto simplesmente conexo e uma curva seccionalmente
regular, entao a transformacao conforme referida pode ser estendida ao fe-
cho do conjunto por uma funcao contnua bijectiva com inversa contnua.
Como se estabelece a existencia e a unicidade de solu cao de problemas de
valores na fronteira para a equacao de Laplace no crculo em que os valores
na fronteira s ao dados por uma funcao contnua, ca-se, portanto, com um
resultado muito geral de existencia e unicidade de solu c ao para problemas
de valores na fronteira para a equacao de Laplace em subconjuntos abertos
simplesmente conexos do plano que n ao sejam todo o plano, com os valo-
res na fronteira especicados por uma funcao contnua. Como aplica coes
consideram-se os exemplos seguintes.
10.3 Fun c oes harmonicas e transformac oes conformes 287
Figura 10.4: Transformacao conforme T(z) =z
2
do sector do 1
o
quadrante
limitado pelo semieixo real positivo e pela bissectriz do quadrante sobre
todo o 1
o
quadrante, e linhas de nvel da solu cao u(x, y)=2cxy da equacao
de Laplace nesse sector com condi coes homogeneas de Dirichlet no semieixo
horizontal e de Neumann na bissectriz do quadrante
(10.11) Exemplos:
1. Pretende-se resolver a equacao de Laplace numa semicoroa circular
limitada por semicircunferencias de raios 1 e R > 1, com condi coes
de Neumann nulas nas semicircunferencias e condi coes de Dirichlet na
parte da fronteira que consiste de segmentos de recta, com valor 1
num dos segmentos e 0 no outro. A solu cao deste problema descreve,
entre outras situa coes, a distribuicao da temperatura no equilbrio de
uma placa com a conguracao de semicoroa circular, isolada termica-
mente no seu contorno curvo e com os extremos rectilneos mantidos
a temperaturas xas diferentes.
A transformacao T(z) =log z =log r e
i
=log r+i, com 1 r log R,
0 em que log designa o logaritmo principal, transforma a
semicoroa circular, que no plano complexo consiste nos pontos r e
i
,
no rect angulo dos pontos x+iy, x[0, log R], y [0, ] (Figura 10.3).
O problema ca transformado na resolucao da equacao de Laplace
para uma funcao U no rect angulo [0, log R] [0, ] com condi coes na
fronteira U/x = 0 nos lados em que x = 0 ou x = log R, U = 0 no
lado em que y = 0 e U = 1 no lado em que y = .

E claro que este
problema tem a solu cao U(x, y) = (y)/. Assim, como x = log r
e y = , a solu cao da equacao de Laplace na semicoroa circular com
as condi coes de fronteira inicialmente consideradas e em coordenadas
polares u(r, )=()/.
2. As solu coes da equacao de Laplace no sector do plano xy no 1
o
qua-
288 Equac oes de Laplace e Poisson Fun c oes harmonicas
Figura 10.5: Linhas de nvel da solu cao u(x, y)=2cxy da equacao de
Laplace no 1
o
quadrante com condi coes de Dirichlet na fronteira
drante limitado pelo eixo dos xx e pela bissectriz do quadrante, com
condi cao de Dirichlet nula no eixo do x e condi cao de Neumann nula
na bissectriz, podem ser facilmente obtidas notando que a fun cao
T(z)=z
2
=(x+iy)
2
=x
2
y
2
+i2xy dene uma transformacao conforme
do sector considerado no plano complexo sobre o 1
o
quadrante (Figura
10.4). Na verdade, solu coes da equacao de Laplace no 1
o
quadrante
com condi cao de Dirichlet nula no eixo horizontal do X e condi cao
de Neumann nula no eixo vertical do Y s ao U(X, Y ) = cY , com c
constante, pelo que u(x, y) = 2cxy e solu cao do problema de valor
na fronteira para a equacao de Laplace considerado inicialmente. Em
electroest atica, as linhas de nvel de u (Figura 10.5) d ao equipotenciais
na vizinhan ca de um canto de 45

formado por um condutor perfeito


plano com um isolador perfeito tambem plano, sem cargas no sector
denido entre planos e considerando nulo o potencial do condutor.
A mesma transformacao conforme pode ser usada para obter as solu-
coes da equacao de Laplace no 1
o
quadrante com condi cao de Dirichlet
nula em toda a fronteira, obtendo-se tal como anteriormente a solu-
cao u(x, y) = 2cxy. Entre outras possibilidades, as linhas de nvel
desta funcao (Figura 10.4) podem corresponder `as linhas de uxo de
um uido incompressvel irrotacional na vizinhan ca de um canto com
paredes impenetr aveis.
3. Pretende-se obter a solu cao limitada da equacao de Laplace no com-
plementar do crculo de raio 1 e centro na origem em R
2
que satisfaz
a condi cao u(x, y) = x+1 na circunferencia de raio 1. Neste caso a
regi ao onde se quer resolver a equacao de Laplace e ilimitada. A fun-
cao T(z) = 1/z = 1/(x+iy) = (xiy)/(x
2
+y
2
) transforma o exterior
do crculo de raio 1 do plano complexo no interior do mesmo crculo
e e holomorfa nesse conjunto (Figura 10.6). Assim, o problema ca
transformado em determinar a solu cao U(a, b) da equacao de Laplace
no crculo de raio 1 que satisfaz U(a, b)=a+1 para a
2
+b
2
=1.

E facil
ver que a solu cao deste problema e U(a, b)=a+1 para a
2
+b
2
1. Por-
tanto, a solu cao da equacao de Laplace do problema inicial no exterior
do crculo e u(x, y)=x/(x
2
+y
2
)+1 (Figura 10.6).
10.4 Teorema de Valor Medio e Princpio do Maximo 289
f
Figura 10.6: Solu cao da equacao de Laplace no exterior do crculo de raio 1
e centro na origem com transformacao conforme sobre esse crculo
10.4 Teorema de Valor Medio e Princpio do
Maximo para fun coes harm onicas
As solu coes das equacoes de Laplace (ver Figuras 10.1 a 10.6) satisfazem a
propriedade importante de em cada ponto interior ao domnio terem valores
iguais `a sua media em bolas centradas nesse ponto e tambem iguais `a sua me-
dia nas fronteiras dessas bolas. Esta propriedade das solu coes das equacoes
de Laplace pode ser estabelecida com base nas F ormulas de Green que
resultam do Teorema da Divergencia. Dado que as situa coes em dimensao
superior a dois n ao envolvem diculdades adicionais, o resultado seguinte
estabelece-as para qualquer dimensao nita.
(10.12) Proposi cao (F ormulas de Green): Se DR
n
e um domnio
regular e f, g s ao func oes com valores reais C
2
em D, entao:
290 Equac oes de Laplace e Poisson Fun c oes harmonicas
1
a
F ormula de Green:
_
D
gf

=
_
D
(gf +gf),
2
a
F ormula de Green:
_
D
(gf

fg

)=
_
D
(gf fg),
onde f

, g

designam as derivadas direccionais, respectivamente de f e


g, na direc c ao da normal exterior unitaria a D denida em D.
Dem. Verica-se div(gf)=gf+gf. O Teorema da Divergencia para
a funcao gf no domnio regular D d a a 1
a
formula. Subtraindo a esta a
formula an aloga com f e g trocadas, obtem-se a 2
a
formula. Q.E.D.
Uma aplica cao imediata da 1
a
Formula de Green permite obter um re-
sultado de unicidade de solu cao de problemas de Dirichlet, problemas de
Neumann e ate problemas mistos para a equacao de Poisson.
(10.13) Teorema de unicidade de solucao para a equa cao de
Poisson: Sejam u e v func oes contnuas no fecho de um domnio re-
gular com cantos conexo DR
n
que s ao C
2
e satisfazem a equa c ao de
Poisson u= no interior de D, e sejam u

, v

as derivadas direccio-
nais, respectivamente de u e v, na direcc ao da normal exterior unitaria
a D denida em D excepto nos cantos. Se u=v em SD e u

=v

em DS, entao uv e constante em D; se S,=, entao u=v em D.


Dem. Com f = uv, a 1
a
Formula de Green com g = f d a
2
_
D
ff

=
_
D
|f|
2
e ff

= 0 em D, pelo que os integrais acima s ao iguais a zero.


Como |f| e contnua em D, obtem-se f =0 em D. Segue-se que uv=f
e constante no conjunto conexo D. Se S,=, f =0 em pelo menos um ponto
pelo que a constante e zero, logo uv=f =0. Q.E.D.
A 1
a
Formula de Green tambem permite obter a Propriedade de Valor
Medio para funcoes harmonicas.
(10.14) Propriedade de Valor Medio para Fun c oes Harmonicas:
Se u e uma func ao C
2
num conjunto aberto D R
n
e u = 0, entao
para toda a bola B=B
R
(y)D e
u(y) =
1
vol
n1
(B)
_
B
u , u(y) =
1
vol
n
(B)
_
B
u ,
onde vol
n1
(B)=
_
B
1 e vol
n
(B)=
_
B
1 .
2
Em aplicacoes a mec anica, hidrodin amica, aerodin amica e electromagnetismo o lado
direito desta formula e frequentemente m ultiplo de uma energia.
10.4 Teorema de Valor Medio e Princpio do Maximo 291
Dem. A 1
a
Formula de Green com f =u, g =1 no domnio regular B
R
(y),
r ]0, R[ d a
_
Br
u

=
_
Br
u=0. Mudando de vari aveis de integra cao com
=|xy| e t=(xy)/r, obtem-se
_
Br
u

= r
n1
_
t=1
u

(y+rt) dt
= r
n1

r
_
t=1
u(y+rt) dt = r
n1

r
_
r
1n
_
Br
u
_
.
Portanto, com F(r) = r
1n
_
Br
u e F

(r) = 0, logo F(r) = R


1n
_
B
R
u,
para r ]0, R]. Dado que u e contnua em B
R
(y) verica-se a formula
u(y) =lim
r0
(
_
Br
u)/vol
n1
(B
r
). Como vol
n1
(B
r
) =r
n1
vol
n1
(B
1
),
o limite quando r 0 d a a 1
a
formula no enunciado. Uma vez que vol
n1
(B
1
)=
nvol
n
(B
1
) a formula pode ser escrita para r Rna forma nvol
n
(B
1
) r
n1
u(y)=
_
Br
u. Integrando em r ]0, R[ e usando o Teorema de Fubini obtem-se
vol
n
(B
1
) R
n
u(y) =
_
R
0
__
Br
u
_
dr =
_
B
R
u ,
de onde resulta a 2
a
formula, pois vol
n
(B
R
)=R
n
vol
n
(B
1
). Q.E.D.
A Propriedade de Valor Medio anterior tem como consequencia imediata
o seguinte Princpio do Maximo.
(10.15) Princpio do Maximo para Fun c oes com a Propriedade
de Valor Medio: Seja u uma func ao contnua num conjunto aberto
conexo DR
n
que satisfaz em cada bola B(y) R
n
com fecho contido
em D a Propriedade de Valor Medio u(y)=
__
B
u
_
/vol
n
(B).
1. Se u tem maximo ou mnimo em D, entao e constante em D.
2. Se D e limitado e u e contnua em D, entao o maximo e o mnimo
de u em D s ao assumidos necessariamente na fronteira D.
3. Se u e solu c ao C
2
da equa c ao de Laplace em D, entao n ao tem ma-
ximo nem mnimo neste conjunto. Se D e limitado e u e contnua
em D, entao o maximo e o mnimo de u em D s ao necessaria-
mente assumidos na fronteira D.
Dem. Se u tem um m aximo M em D, entao existe yD tal que u(y) =M
e u
1
(M) ,=. Como u e contnua em D o conjunto u
1
(M) e fechado
relativamente a D. Se zu
1
(M) e B=B
r
(z) e uma bola includa em D,
292 Equac oes de Laplace e Poisson Fun c oes harmonicas
e 0 =u(z)M =
_
B
(uM)/vol
n
(B) 0, pelo que u =M em B
r
(z). Por-
tanto, u
1
(M) tambem e um conjunto aberto relativamente a D. Como
os unicos subconjuntos simultaneamente abertos e fechados relativamente
a um conjunto conexo s ao este conjunto e o conjunto vazio, conclui-se que
u
1
(M)=D. Para um mnimo aplica-se o resultado anterior a u. A ar-
ma cao 2. e consequencia imediata da 1. e do Teorema de Weierstrass que
garante que uma funcao contnua num conjunto compacto tem necessaria-
mente um m aximo e um mnimo. As conclusoes sobre solu coes da equacao
de Laplace resultam de 1. e 2. e de (10.14) implicar que estas solu coes
satisfazem a Propriedade de Valor Medio no enunciado. Q.E.D.
Como corol ario imediato deste teorema pode-se obter a unicidade de
solu cao do problema de Dirichlet para as equacoes de Poisson e Laplace
num conjunto aberto e limitado D R
n
.
(10.16) Corolario (unicidade de soluc oes das equa c oes de Pois-
son e Laplace com condic oes de Dirichlet na fronteira): Se
D R
n
e um conjunto limitado e aberto e u, v s ao soluc oes de um
problema de Dirichlet para a equa c ao de Poisson ou de Laplace em D,
entao u=v em D.
Dem. A funcao uv satisfaz a equacao de Laplace em D, pelo que o teorema
anterior implica que os seus valores m aximo e mnimo em cada componente
conexa de D s ao assumidos na fronteira dessa componente. Como a fun cao
uv e nula em D, segue-se que e identicamente zero em cada componente
conexa de D e, portanto, em todo D. Q.E.D.
10.5 Existencia de solu coes das equa coes de
Laplace e Poisson em bolas de R
n

E facil determinar solu c oes da equacao de Laplace emR


n
com simetria radial:
r
2n
para n ,= 2 e log r para n = 2, onde r e a dist ancia a um ponto xo de
R
n
. Para cada y R
n
xo dene-se a solucao fundamental
3
normalizada
da equacao de Laplace em R
n
y por (Figuras 10.7)
3
Para campos de for cas inversamente proporcionais ao quadrado da distancia a partcu-
las em R
3
, como no caso do campo gravtico e do campo electrico, a solu cao fundamental
e o potencial de uma partcula unit aria na origem. O gradiante deste potencial e o campo
de for cas devido `a partcula.
10.5 Existencia de soluc oes de equa c oes de Laplace e Poisson 293
(xy) = (|xy|) =
_
_
_
1
n(2n) voln(B
1
)
|xy|
2n
, n ,= 2
1
2
log |xy| , n = 2 ,
onde B
1
e a bola unit aria em R
n
. Verica-se
D
j
(xy) =
1
nvol
n
(B
1
)
(x
j
y
j
) |x y|
n
,
D
jk
(xy) =
1
nvol
n
(B
1
)
_

jk
|xy|
2
n(x
j
y
j
)(x
k
y
k
)
_
|xy|
n2
,
onde
jk
=1 se j =k e
jk
=1 se j ,=k, pelo que se obtem as desigualdades
[D
j
(xy)[
1
nvol
n
(B
1
)
|xy|
1n
,
[D
jk
(xy)[
1
nvol
n
(B
1
)
|xy|
n
.
A 2
a
Formula de Green na proposi cao (10.12), aplicada com f =u e g =
no conjunto DB
r
onde D e um domnio regular que contem B
r
, d a
_
D\Br
u =
_
D
(u

) +
_
Br
(u

) .
Como (r) nvol
n
(B
1
) r
n1
e igual a r/(2n) para n ,= 2 e a r log r para
n=2, quando r 0 verica-se

_
Br
u

(r)
_
Br
u

[(r)[ nvol
n
(B
1
) r
n1
sup
Br
|u| 0
_
Br
u

(r)
_
Br
u =
1
nvol
n
(B
1
) r
n1
_
Br
u u(y) .
Substituindo na express ao obtida com a 2
a
Formula de Green obtem-se a
seguinte representa cao de Green para funcoes uC
2
(D) C
1
(D)
u(y) =
_
D
[ u(x)

(xy) (xy) u

(x) ] dx +
_
D
(xy) u(x) dx .
Como e C

, uma das consequencias da representacao de Green e que as


solu coes da equacao de Laplace u=0 em D s ao C

neste conjunto.
Se DR
n
e um domnio regular e vC
2
(D) C
0
(D) satisfaz a equacao
de Laplace v = 0 em D, com g = u, f = v na 2
a
Formula de Green da
proposi cao (10.12) obtem-se
_
D
(uv

v u

) +
_
D
vu =
_
D
uv = 0 .
294 Equac oes de Laplace e Poisson Fun c oes harmonicas
1
1
Figura 10.7: Solu cao fundamental da equa-
cao de Laplace em R
n
, para n=1, 2, 3
Adicionando `a representacao de Green, com G(x, y)=(xy)+v(x) d a
u(y) =
_
D
[ u(x) G

(x, y)G(x, y) u

(x) ] dx +
_
D
G(x, y) u(x) dx .
Se G(x, y) = 0 para x D obtem-se a seguinte formula de representa cao
para funcoes uC
2
(D) C
0
(D)
u(y) =
_
D
u(x) G

(x, y) dx +
_
D
G(x, y) u(x) dx .
A funcao G : (x, y) : y D, x Dy R com estas propriedades e
conhecida por Fun cao de Green (do problema de Dirichlet) para D, ou
por Fun cao de Green de 1
a
especie para D. Sabe-se do corol ario (10.16)
que se a funcao de Green existe e unica em C
2
(D) C
0
(D).
10.5 Existencia de soluc oes de equa c oes de Laplace e Poisson 295
A ultima formula anterior d a uma representacao de solu coes em
C
2
(D) C
1
(D) para as equacoes de Poisson u = e de Laplace (com
=0) num domnio regular D, para funcoes limitadas e integr aveis em D
expressa em termos da pr opria funcao , de uma funcao de Green para D e
dos valores que a solu cao satisfaz na fronteira D.
Nao consideramos aqui a existencia de funcoes de Green na situa cao mais
geral, mas apenas o caso em que D e uma bola em R
n
.

E facil vericar que
a funcao de Green G para B
r
(0) satisfaz para x, xB
r
(0)
G(x, y) =
_

_
(|xy|)
__
_
_
y
r
x
r
y
y
_
_
_
_
, y ,= 0
(|x|) (r) , y = 0 ,
G(x, y) =
_
_
|x|
2
2xy+|y|
2
_

_
_

|x|
2
|y|
2
r
2
2xy+r
2
_
_
,
G

=
G
|x|
=
r
2
|y|
2
nvol
n
(B
1
) r
|xy|
n
0 ,
pelo que a unica candidata uC
2
(B
r
(0))C
0
(B
r
(0)) a solu cao da equacao
de Laplace em B
r
(0) e dada em termos dos seus valores na fronteira pela
F ormula de Poisson seguinte que generaliza a formula (10.8) que tinha
sido obtida para o caso particular de n=2
u(y) =
1
nvol
n
(B
1
) r
_
Br
r
2
|y|
2
|xy|
n
u(x) dx .
Note-se que fazendo y =0 recupera-se a Propriedade de Valor Medio para
solu coes da equacao de Laplace em (10.14). Para estabelecer a existencia
de solu cao em C
2
(B
r
(0))C
0
(B
r
(0)) para o problema de Dirichlet na bola
B
r
(0) basta vericar que a funcao denida na ultima formula e solu cao do
problema.
Chama-se n ucleo de Poisson `a funcao
(10.17) K(x, y) =
1
nvol
n
(B
1
) r
r
2
|y|
2
|xy|
n
.
O resultado seguinte d a as propriedades principais do n ucleo de Poisson.
(10.18) Proposi cao: O n ucleo de Poisson K satisfaz K(x, y) 0 para
xB, yB e
_
B
K(x, y) dx=1 para yB.
296 Equac oes de Laplace e Poisson Fun c oes harmonicas
Dem. A 1
a
armacao e obvia da formula que dene o n ucleo de Poisson. A
2
a
armacao resulta de aplicar a Formula de Poisson a u=1 Q.E.D.
Com o n ucleo de Poisson obtem-se o resultado seguinte.
(10.19) Teorema de existencia de solucao da equa cao de Laplace
numa bola de R
n
: Seja B=B
r
(0)R
n
e f uma func ao contnua em
B
r
. Entao o problema de Dirichlet para a equa c ao de Laplace
u = 0 em B
u = f em B
tem solu c ao unica em C
2
(B) C
0
(B), dada pela Formula de Poisson
u(y) =
_
1
nvoln(B
1
) r
_
Br
r
2
y
2
xy
n u(x) dx , y B
f(y) , y B .
A solu c ao u e C

em B.
Dem. Pode-se concluir que u e harmonica em B sabendo que a fun cao de
Green G, e portanto tambem G

, s ao harmonicas em B ou, em alternativa,


calculando directamente o laplaciano de u. Do corol ario (10.16) sabe-se que
a solu cao e unica.

E claro que a formula de Poisson d a u como produto
de duas funcoes C

em B, pelo que u e C

em B. Resta provar que u e


contnua em B. Seja K o n ucleo de Poisson, >0 arbitrario e y
0
B.
Como f e contnua em B, existe >0 tal que [f(y)f(y
0
)[ < para yB
com |yy
0
|<. Como f e contnua no conjunto compacto B, o seu valor
absoluto tem um m aximo M0 nesse conjunto. Portanto, se |yy
0
|<,
com </2, e
[u(y)u(y
0
)[ =

_
B
K(x, y) [u(x)u(y
0
)] dx

_
BB

(y
0
)
K(x, y) [u(x)u(y
0
)[ dx
+
_
B\B

(y
0
)
K(x, y) [u(x)u(y
0
)[ dx
+
2Mr
n2
(r+|y|) (r|y|)
(/2)
n
+
2Mr
n2
2r
(/2)
n
.
Para >0 sucientemente pequeno, e [u(y)u(y
0
)[ <2. Conclui-se que u
e contnua em y
0
. Em consequencia, u e contnua em B. Q.E.D.

E possvel provar a existencia de solu cao de problemas de Dirichlet para a


equacao de Laplace em subconjuntos abertos limitados conexos de R
n
cujas
10.5 Existencia de soluc oes de equa c oes de Laplace e Poisson 297
fronteiras satisfazem certas condi coes gerais, como por exemplo a condicao
da esfera exterior: para cada ponto da fronteira existe uma bola que con-
tem esse ponto na sua fronteira e tem fecho contido no exterior do conjunto
com excepcao do ponto referido. No caso de n=2 uma condi cao mais fraca
que assegura o resultado e que nenhuma componente conexa do comple-
mentar do conjunto seja simplesmente um ponto. Uma forma elementar de
provar estes resultados
4
e com o Metodo de Perron
5
.
A representacao de Green permite obter o seguinte resultado simples de
existencia de solu cao do problema de Dirichlet para a equacao de Poisson.
(10.20) Teorema de existencia de solucao da equa cao de Pois-
son: Se DR
n
e um conjunto limitado e aberto tal que o problema de
Dirichlet para a equa c ao de Laplace (=0) correspondente ao problema
de Dirichlet para a equa c ao de Poisson
u = em B
u = f em B
tem solu c ao em C
2
(D) C
0
(D) qualquer que seja a func ao f contnua
em D, entao o problema de Dirichlet para a equa c ao de Poisson com
C
1
(D) C
0
(D) e condi c ao na fronteira D igual a zero tem soluc ao
unica em C
2
(D) C
0
(D), dada por u(y) = v(y) +
_
D
G(x, y) (x) dx,
para yD, onde v e a solu c ao do correspondente problema de Dirichlet
para a equa c ao de Laplace e G e a 1
a
func ao de Green para D.
Dem. Sabe-se do corol ario (10.16) que se a solu cao existe ent ao e unica. Da
representacao de Green, a unica candidata a solu cao e dada pela formula
no enunciado. Como G(x, y) =0 para xD verica-se u=v em D, pelo
que u satisfaz a condi cao na fronteira. Como G(x, y)=(xy)+(x), onde
e a solu cao fundamental normalizada da equacao de Laplace em R
n
y
e C
2
(D) C
0
(D) satisfaz a equacao de Laplace em D, basta observar
que o Potencial Newtoniano
_
D
(xy) (x) dx de em D pertence a
C
2
(D) C
0
(D). Q.E.D.
4
Para uma exposicao simplicada do Metodo de Perron no plano complexo ver por
exemplo o texto do autor Analise Complexa de Uma Variavel e Aplicacoes, Departamento
de Matem atica, IST, 2005. O metodo a descrito para o plano complexo pode ser genera-
lizado para R
n
sem diculdades. Uma exposicao clara do Metodo de Perron directamente
emR
n
encontra-se no livro Gilbarg, D., Trudinger, N.S., Elliptic Partial Dierential Equa-
tions of Second Order, Springer-Verlag, 1977, que e uma boa referencia para o estudo de
equa coes diferenciais elpticas gerais.
5
Perron, Oskar (1880-1975).
298 Equac oes de Laplace e Poisson Fun c oes harmonicas
10.6 Caracteriza cao das fun coes harm onicas pela
Propriedade de Valor Medio
Provou-se no teorema (10.14) que uma solu cao C
2
da equacao de Laplace
num conjunto aberto satisfaz a Propriedade de Valor Medio. Usando a For-
mula de Poisson pode mesmo estabelecer-se que esta propriedade e uma
caracteriza cao das solu coes da equacao de Laplace no conjunto. Mais pre-
cisamente, que uma funcao contnua e solu cao da equa cao de Laplace num
conjunto aberto se e s o se satisfaz a Propriedade de Valor Medio. Esta
propriedade e particularmente informativa sobre a natureza das solu coes da
equacao de Laplace e ajuda a entender a associacao desta equacao a situa-
coes de equilbrio de processos de difus ao, como por exemplo para a equacao
do calor, pois e de esperar que tais processos facam evoluir fun coes de forma
a equilibrar os seus valores de modo a n ao terem desvios em rela cao a medias
de valores pr oximos.
O resultado seguinte estabelece a equivalencia entre uma fun cao ser har-
m onica num conjunto aberto, e ser contnua e satisfazer a Propriedade de
Valor Medio nesse conjunto. Assim, poderamos denir uma fun cao har-
m onica num conjunto aberto como sendo uma funcao contnua com a pro-
priedade de valor medio e tal bastaria para se poder provar que a fun cao
tem de ser indenidamente diferenci avel e satisfazer a equacao de Laplace
no conjunto considerado.
(10.21) Teorema: Seja u uma func ao com valores reais contnua num
conjunto aberto D R
n
. A func ao u e harmonica em D se e s o se
satisfaz a Propriedade de Valor Medio em D.
Dem. O teorema (10.14) garante que as funcoes harmonicas em D satisfazem
a Propriedade de Valor Medio neste conjunto. Resta provar a recproca. Se
B e uma bola aberta tal que B D, o teorema (10.14) garante que existe
uma funcao h harmonica em B e contnua em B tal que u = h em D. Como
tanto u como h satisfazem a Propriedade de Valor Medio em B, tambem
uh satisfaz esta propriedade em B. Do Princpio do Maximo (10.15) resulta
uh=0 em B, pelo que u=h e harmonica em D. Q.E.D.
10.7 Notas hist oricas
A equacao de Laplace apareceu pela primeira vez publicada em 1752 num
trabalho de L. Euler sobre os princpios do movimento de uidos. Apareceu
depois na obra de P.S. Laplace Mecanique Celeste, publicada em varios
volumes entre 1799 e 1825.
10.7 Notas historicas 299
S.D. Poisson contribuiu de decisivamente para o estudo das fun coes har-
m onicas em 1811 e 1812 e obteve em 1820 a Formula de Poisson para um
crculo. Inspirado nos trabalhos de Laplace em mec anica celeste G. Green,
nas suas pr oprias palavras considerando quanto desejavel era que um po-
der de accao universal, como a electricidade, fosse, tanto quanto possvel,
submetido `a possibilidade de ser calculado, iniciou uma teoria matem atica
do electromagnetismo em 1928 com o trabalho Essay on the Application
of Mathematical Analysis to Theories of Electricity and Magnetism, onde
tambem contribuiu para o estudo das funcoes harmonicas.
Em 1839 e 1840 C. Gauss iniciou a Teoria do Potencial como area es-
pecca de estudo, com uma publicacao sobre forcas centrais inversamente
proporcionais ao quadrado da dist ancia (como e o caso do campo gravitacio-
nal e do campo electrico). Nesta altura Gauss desconhecia o trabalho de G.
Green ja referido, o qual s o cou conhecido ap os W. Thomson
6
promover a
sua reimpress ao em 1846. Por esta raz ao, vericam-se no trabalho de Gauss
sobreposi coes com o trabalho de Green que vao ao ponto de, tal como Green,
ter utilizado o termo potencial para designar a funcao harmonica cujo gra-
diante e o campo de forcas. Uma das importantes contribuicoes de Gauss
neste ambito foi a Propriedade de Valor Medio para funcoes harmonicas.
O Problema de Dirichlet foi considerado desde cedo e veio a ser conhecido
por este nome na sequencia dos trabalhos de Riemann de 1851 mencionados
mais `a frente. Com base em consideracoes fsicas havia a conviccao de que
o problema tinha de ter solu cao unica, pois correspondia a situa coes que
se podiam concretizar sicamente, no ambito das areas de aplica cao acima
mencionadas, pela xacao de valores na fronteira de um domnio limitado
que deviam dar origem a uma solu cao. Contudo, a existencia de solu cao do
Problema de Dirichlet s o foi provada em 1872, e apenas para o caso parti-
cular em que a regi ao e um crculo, por H.A. Schwarz, apesar da Formula
de Poisson que d a uma funcao harmonica por um integral que envolve os
valores xados na fronteira do crculo estar disponvel desde 1820, como se
referiu acima. A diculdade, que s o foi ultrapassada em 1872, era em pro-
var que a funcao denida pela Formula de Poisson no interior do crculo e
contnua na fronteira sempre que a funcao que dene os valores na fronteira
e contnua. Era, tambem, necessario provar que n ao havia mais solu coes do
problema, mas a questao da unicidade de solu cao, no caso de existencia, ja
se encontrava na altura resolvida com base na Propriedade de Valor Medio.

E de referir que P.G. Dirichlet considerou uma modica cao das ideias
de Gauss para funda cao da Teoria do Potencial e propos a determinacao
de funcoes harmonicas como funcoes que minimizam o integral do quadrado
da norma do gradiante de funcoes denidas na regi ao considerada. Nos
casos concretos de aplica cao referidos este problema do C alculo de Varia coes
corresponde a minimizar a energia e, de um ponto de vista fsico, e natural
6
Thomson, William (Lord Kelvin) (1824-1907).
300 Equac oes de Laplace e Poisson Fun c oes harmonicas
esperar que as solu coes de equilbrio minimizem a energia do sistema. B.
Riemann veio a chamar a esta ideia, do ambito do C alculo de Varia coes,
Princpio de Dirichlet e utilizou-a, em 1851, para obter propriedades de
funcoes harmonicas.
A validade do Princpio de Dirichlet s o foi estabelecida rigorosamente por
volta de 1910, por varios matem aticos que incluram D. Hilbert
7
, H. Weyl
8
e
R. Courant
9
, com metodos que exigiram novas importantes contribuic oes do
ambito da Analise Funcional para ultrapassar serias diculdades encontradas
no problema de minimizacao considerado. Este resultado veio a constituir
a base dos chamados Metodos Variacionais em Equa coes Diferenciais.
O Metodo de Perron para estabelecer a existencia de solu coes da equacao
de Laplace em regi oes gerais foi desenvolvido por Oskar Perron em 1923.
O Princpio do Maximo para equacoes diferenciais parciais elpticas foi
estabelecido por E. Hopf
10
em 1927, embora tenha havido contribuicoes
anteriores de outros matem aticos para casos particulares.
7
Hilbert, David (1862-1943).
8
Weyl, Hermann (1885-1955).
9
Courant, Richard (1888-1972).
10
Hopf, Eberhard (1902-1983).