116 Equaes diferenciais parciais

e
! nc " nx #
(x) = bn sin .
n=1
l l

Para encontrarmos os coeficientes {an }n!1 e {bn }n!1 explicitamente, aplicamos o raci-
ocnio utilizado nas sees anteriores:

Exerccio 8.2.3. Encontre, como nas sees anteriores, a expresso para os coeficientes
{an }nN em termos da funo , e dos coeficientes {bn }nN em termos dos coeficientes de
.

Exerccio 8.2.4. Encontre a soluo para este problema quando l = , (x) = sin(3x)
e (x) = sin(6x), de tal maneira que esta soluo no esteja mais expressa em forma de
uma srie.

8.3 Identidades de Green e funes de Green

A funo de Green1 funciona como uma soluo universal para funes harmnicas
em um domnio, no sentido de que qualquer funo harmnica pode ser expressa em
termos da funo de Green. Combinada com mtodos de reflexo, a funo de Green nos
leva de uma maneira bem direta soluo para problemas de valores de contorno em
alguns domnios com geometria especiais.

8.3.1 Notaes
A principal ferramenta desta seo o Teorema da Divergncia, e assim, a notao
vetorial ser usada extensivamente. Para isso, fixaremos os conceitos (em trs dimenses)
que vamos utilizar.

Definio 8.3.1. Se u = u(x, y, z) uma funo escalar e F = (F1 , F2 , F3 ) uma funo

vetorial; isto , cada Fi uma funo escalar, temos

u = (ux , uy , uz ),

F1 F2 F3
div F = F = + + ,
x y z
u = divu = u = uxx + uyy + uzz

|u|2 = u2x + u2y + u2z .

1
George Green estava interessado nos novos fenmenos de eletricidade e magnetismo no comeo do
sculo XIX.
8.3 Identidades de Green e funes de Green 117

Se uma regio em R3 , denotamos a integral de superfcie de uma funo escalar

u sobre a fronteira por $$
u dS.

Como mencionamos acima, nossa principal ferramenta ser o Teorema da Divergncia,

que enunciamos abaixo:

Teorema 8.3.2 (Teorema da Divergncia). Se F uma funo vetorial em uma regio

limitada em de R3 e n o vetor normal unitrio que aponta para fora de , ento
$$$ $$$ $$
div Fdx = div Fdxdydz = F ndS.

8.3.2 Primeira identidade de Green

Comeamos aqui com a regra de derivao do produto

(vux )x = vx ux + vuxx ,

e o mesmo para as derivadas em y e em z. Somando estas equaes temos

(vu) = v u + vu.

Integrando em e usando o Teorema 8.3.2 no lado esquerdo, obtemos

$$ $$$ $$$
u
v dS = v udx + vudx, (8.3.1)
n

u
onde n = n u a derivada direcional de u na direo de n. Esta equao (8.3.1)
conhecida como a primeira identidade de Green, e vlida para qualquer regio
slida limitada e par de funes u, v. Por exemplo, podemos tomar v 1 para obter
$$ $$$
u
dS = udx. (8.3.2)
n

Uma aplicao imediata da primeira identidade de Green a condio de compatibilidade

para o problema de Neumann, dado por

u = f, em ,
(8.3.3)
u = h, em .
n
118 Equaes diferenciais parciais

Usando a equao (8.3.2), devemos ter que

$$ $$$
h dS = f dx.

Assim, f e h no podem ser escolhidas arbitrariamente para que tenhamos esperana

de que o problema de Neumann (8.3.3) tenha soluo. Devemos necessariamente ter que
f e h satisfaam a condio de compatibilidade dada acima. Neste sentido, o problema
de Neumann no completamente bem posto. Mas, com um pouco de trabalho possvel
mostrar que sempre que esta condio de compatibilidade satisfeita o problema tem
uma soluo, ento a situao no assim to ruim.
Quanto unicidade, fcil ver que se temos uma soluo u para o problema de
Neumann, se adicionarmos uma constante qualquer a esta funo, obteremos outra soluo
para o problema, logo nunca teremos unicidade.

8.3.3 Segunda identidade de Green

O termo do meio da equao (8.3.1) no se altera quando trocamos u por v, assim,
escrevendo esta equao com u e v, com v e u e subtraindo as duas, obtemos
$$$ $$ ( )
u v
(vu uv)dx = v u dS, (8.3.4)
n n

que a segunda identidade de Green, e como a primeira identidade, vlida para

quaisquer pares de funes u, v.
Isto nos leva a uma definio natural.

Definio 8.3.3. Dizemos que uma condio de contorno dita simtrica para o opera-
dor se o lado direito de (8.3.4) zero para qualquer par de funes u, v que satisfazem
a dada condio de fronteira.

As condies de contorno clssicas do problema u = f em so:

1. condio de Dirichlet: u = 0 em ;

u
2. condio de Neumann: n
= 0 em ;

u
3. condio de Robin: n
+ u = 0 em , onde uma constante.

Exerccio 8.3.4. Mostre que cada uma das trs condies de contorno clssicas dada
acima simtrica para .