Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
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
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
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.
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
=
_
D
(gf +gf),
2
a
F ormula de Green:
_
D
(gf
fg
)=
_
D
(gf fg),
onde f
, g
, 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
=
_
D
|f|
2
e ff
=
_
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
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
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
em B, pelo que u e C
_
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 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).