You are on page 1of 112

Captulo 5

PROBLEMAS DE
STURM-LIOUVILLE
5.1 Introduo
Sabemos que um sistema formado por uma e.d.o. de ordem n e n condies com-
plementares, que determinam, em um mesmo valor da varivel independente, o
valor da funo incgnita e de suas derivadas, chamado de problema de valor
inicial (PVI). As condies complementares so chamadas condies iniciais. Isto
, dada uma edo de segunda ordem, o sistema:

+ p(x) y

+ q(x) y = r(x)
y(x
0
) = y
0
y

(x
0
) = y
1
(5.1)
tem uma nica soluo se as funes p, q, r : (x
0
, x
0
+ ) R so contnuas
( > 0). Veja, ([NP]) na bibliograa.
Agora, nosso interesse, estudar a possibilidade de determinar a soluo da edo
de (5.1), savendo que a funo passa de um ponto a outro, dizer, se o sistema:

+ p(x) y

+ q(x) y = r(x)
y(x
0
) = y
0
y

(x
1
) = y
1
tem soluo?
5.2 Problemas de Contorno
Denio 5.1. Uma condio de contorno ou bordo de uma e.d.o. so condies comple-
mentares que determinam, em dois ou mais valores da varivel independente, os valores
167
168 CAPTULO 5. PROBLEMAS DE STURM-LIOUVILLE
da funo incgnita e de suas derivadas.
A e.d.o. junto com as condies de bordo ou de contorno chamado problema
com valores de contorno (PVC).
Como no caso dos PVI, o nmero de condies impostas igual ordem da e.d.o.
Uma diferena essencial entre os PVI e os problemas que envolvem condies de
contorno que estes podem ter uma, nenhuma ou innitas solues. Condies
de bordo tpicas para edos de segunda ordem so:
a
11
y(x
1
) + a
12
y

(x
1
) = , tal que a
2
11
+ a
2
12
= 0
a
21
y(x
2
) + a
22
y

(x
2
) = , tal que a
2
21
+ a
2
22
= 0
Exemplo 5.1.
[1] O problema clssico de determinar a forma que toma um cabo exvel, sus-
penso em dois pontos e sujeito a seu peso um PVC. Este problema foi proposto
por Leonardo da Vinci e resolvido aps anos por Leibniz e J. Bernoulli; foi Leibniz
que deu o nome de catenria curva soluo do problema. Para mais detalhes
veja ([NP]).
[2] O exemplo seguinte de um PVC:

+ y = 0, 0 < x <
y(0) = 0
y() = 2.
5.3 Problema de Sturm-Liouvuille
Nosso interesse uma classe especial de PVC, que passaremos a estudar.
Denio 5.2. O PVC:

(s y

q y + p y = 0, l < x < r

1
y(l) +
2
y

(l) = 0

1
y(r) +
2
y

(r) = 0,
(5.2)
onde s = s(x), q = q(x), p = p(x) so denidas em (l, r) e R, chamado de problema
de Sturm-Liouville (PSL). Os possveis valores de tal que (5.2) possui solues no
triviais so chamados autovalores e as solues correspondentes autofunes.
O PSL sempre tem soluo y = 0. Ns estamos interessados num tipo especial de
PSL.
5.3. PROBLEMA DE STURM-LIOUVUILLE 169
Exemplo 5.2.
[1] O seguinte um PSL:

+ y = 0, 0 < x <
y(0) = 0
y() = 2.
[2] O seguinte um PSL:

x
2
y

+ xy

+ y = 0, 1 < x < e
y(1) = 0
y(e) = 0.
de fato, x
2
y

+ xy

+ y = (xy

+
1
x
y = 0.
Denio 5.3. O PVC (5.2) dito de Sturm-Liouville regular se:
1. s = s(x), s

= s

(x), q = q(x) e p = p(x) so contnuas em [r, l].


2. s(x) > 0 e p(x) > 0 para todo x [r, l].
3.
2
1
+
2
2
> 0 e
2
1
+
2
2
> 0.
Caso contrrio, dito singular.
Exemplo 5.3.
[1] O seguinte um PSL regular:

+ y = 0, 0 < x <
y(0) = 0
y() = 2.
[2] O seguinte um PSL singular:

x
2
y

+ xy

+ y = 0, 0 < x < e
y(0) = 0
y(e) = 0.
de fato, s(x) = x e s(0) = 0.
[3] A edo de Bessel x
2
y

+ xy

+ (x
2

2
) y = 0 pose ser escrita como um PSL
regular, em qualquer intervalo [a, b], onde 0 < a < b. De fato
170 CAPTULO 5. PROBLEMAS DE STURM-LIOUVILLE
x
2
y

+ xy

+ (x
2

2
) y = (xy


2
x
y + xy = 0, x [a, b].
Logo, podemos escrever:

(xy


2
x
y + xy = 0, a < x < b
y(a) = 0
y(b) = 0.
Teorema 5.1. Todo PSL regular possui uma sequncia de autofunes

nN
com a
correspondente sequncia de autovalores

nN
tal que:
1.
1
<
2
<
3
< . . . .
2. Se i = j, ento as autofunes satisfazem:

r
l
p(x)
i
(x)
j
(x) dx = 0.
3. lim
n+

n
= .
4. Se q(x) 0 e
1
,
2
,
1
,
2
0, ento
j
0, para todo j.
5. Se p(x) > 0, os autovalores so reias.
As autofunes de um PSL so nicas, salvo constantes. Todo mltiplo de uma
autofuno uma autofuno.
Ns estamos particularmente interessados nos seguintes tipos de PSL regulares:

+
2
y = 0, l < x < r

1
y(l) +
2
y

(l) = 0

1
y(r) +
2
y

(r) = 0.
(5.3)
Nestes tipos de PSL temos que as autofunes so ortogonais, em relao ao pro-
duto interno denido no captulo de Sries de Fourier:
< f, g >=

r
l
f(x) g(x) dx
De fato, sejam y
i
e y
j
autofunes de (5.3) com autovalores correspondentes
i
e

j
; ento:

i
+
2
i
y
i
= 0 (1)
y

j
+
2
j
y
j
= 0 (2)
5.3. PROBLEMA DE STURM-LIOUVUILLE 171
logo, multiplicando (1) por y
j
e (2) por y
i
e subtraindo, obtemos:
y

i
y
j
y

j
y
i
= (
2
j

2
i
) y
i
y
j
= 0.
Consideremos a integral I =

r
l

i
y
j
y

j
y
i

dx, i = j; integrando por partes I:


I =

i
(x) y
j
(x) y

j
(x) y
i
(x)

r
l

r
l

i
y

j
y

j
y

dx
=

i
(x) y
j
(x) y

j
(x) y
i
(x)

r
l
,
logo:
(
2
j

2
i
)

r
l
y
i
y
j
dx =

i
(x) y
j
(x) y

j
(x) y
i
(x)

r
l
.
As condies de contorno do PSL, em x = r so satisfeitas pelas autofunes:

1
y
j
(r) +
2
y

j
(r) = 0 (1)

1
y
i
(r) +
2
y

i
(r) = 0. (2)
Suponha que
2
= 0; multipliquemos (1) por y
i
(r) e (2) por y
j
(r); subtraindo
obtemos:

i
(r) y
j
(r) y

j
(r) y
i
(r)

= 0.
Analogamente, vericamos que se
1
= 0, ento
1

i
(l) y
j
(l) y

j
(l) y
i
(l)

= 0,
isto :

i
(x) y
j
(x) y

j
(x) y
i
(x)

r
l
= 0;
ento:

r
l
y
i
(x) y
j
(x) dx = 0, i = j.
Logo, as autofunes so ortogonais.
Exemplo 5.4.
[1] Considere o PSL regular:

y = 0, 0 < x < l
y(0) = 0
y(l) = 0.
A soluo geral da e.d.o. depende do sinal de :
172 CAPTULO 5. PROBLEMAS DE STURM-LIOUVILLE
Se = 0, a soluo :
y(x) = Ax + B.
Utilizando as condies de contorno, temos que A = B = 0; logo a soluo do
PSL nula.
Se > 0, a soluo :
y(x) = Aexp(

x) + B exp(

x).
Utilizando as condies de contorno, temos que: 0 = y(0) = A + B; logo:

0 = y(0) = A + B, logo A = B, e:
0 = y(l) = A

exp(

l) exp(

l)

= 2 Asenh(

l),
ento, A = 0 e a soluo do PSL nula.
Se < 0, mudamos por
2
na equao; logo, a soluo :
y(x) = Acos( x) + B sen( x).
Utilizando as condies de contorno, temos que:
0 = y(0) = A
0 = y(l) = Bsen( l);
se B = 0, novamente temos solues nulas; se B = 0, ento sen( l) = 0, isto :
=
n
l
;
logo os autovalores dependem de n:

n
=
n
l
, n Z.
Os autovalores e as autofunes so:
y
n
(x) = sen(
n
x).
Como sen() = sen(), ento:

n
=
n
l
y
n
(x) = sen(
n
x), n N.
Note que :

l
0
sen(
n
x) sen(
m
x) dx = 0,
5.3. PROBLEMA DE STURM-LIOUVUILLE 173
para todo n = m.
0.2 0.4 0.6 0.8 1.0
1.0
0.5
0.5
1.0
Figura 5.1: Algumas autofunes do exemplo [1].
[2] Considere o PSL regular:
x
2
y

+ xy

+ y = 0, 1 < x < e
y(1) = 0
y(e) = 0.
O PVC um PSL regular. De fato, no intervalo (1, e):
x
2
y

+ xy

+ y = (xy

+
1
x
y = 0.
Se 0, temos a soluo nula.
Se > 0, soluo geral da e.d.o. (Euler) :
y(x) = Acos

ln(x)

+ B sen

ln(x)

.
Como 0 = y(1) = A, da segunda condio 0 = y(e) = B sen(

), sendo B = 0;
ento, os autovalores e as autofunes so:

n
= n
2

2
y
n
(x) = sen

n ln(x)

.
1.5 2.0 2.5
1.0
0.5
0.5
1.0
Figura 5.2: Algumas autofunes do exemplo [2].
174 CAPTULO 5. PROBLEMAS DE STURM-LIOUVILLE
[3] Considere o PSL regular:

y = 0, 0 < x < l
y(0) = 0
y

(l) = 0.
A soluo geral da e.d.o. depende do sinal de :
Se = 0, a soluo constante.
Se > 0, a soluo nula.
Se < 0, mudamos por
2
na equao; logo, a soluo :
y(x) = Acos( x) + B sen( x).
Utilizando as condies de contorno, temos que:
0 = y

(0) = B
0 = y

(l) = A sen( l);


se A = 0, novamente temos solues nulas; se A = 0, ento sen( l) = 0, isto ,
=
n
l
; logo os autovalores dependem de n:

n
=
n
l
, n Z.
As autofunes so:
y
n
(x) = cos(
n
x).
Logo:

n
=
n
l
y
n
(x) = cos(
n
x), n N.
Note que :

l
0
cos(
n
x) cos(
m
x) dx = 0,
para todo n = m.
5.3. PROBLEMA DE STURM-LIOUVUILLE 175
0.2 0.4 0.6 0.8 1.0
1.0
0.5
0.5
1.0
Figura 5.3: Algumas autofunes do exemplo [3].
[4] A edo de Hermite pode ser reescrita da forma:
d
dx

e
x
2
y

+ 2 e
x
2
y = 0, x R.
Se adicionamos a condio de
n
= n N{0}, temos umPSL tal que o conjuntos
dos autovalores e autofunes correspondentes, so:
{n/ n N} {0},
{H
n
(x) / n N {0}, x R}.
[5] A edo de Legendre pode ser reescrita da forma:
d
dx

(x
2
1) y

+ y = 0, x (1, 1).
Se adicionamos que
n
= n(n +1), n N e a condio de contorno: y(1) limi-
tada, temos um PSL singular tal que o conjuntos dos autovalores e autofunes
correspondentes, so:
{n(n + 1) / n N},
{P
n
(x) / n N, x (1, 1)}.
[6] Considere o PSL singular:

t
2
y

+ t y

+ t
2
y = 0, 0 < x < 1
y

(1) = 0.
Se adicionamos a condio de contorno: y(0) limitada. Fazendo a mudana
x =

t, ( > 0); obtemos a edo de Bessel de ordem zero:


x
2
y

+ xy

+ x
2
y = 0,
176 CAPTULO 5. PROBLEMAS DE STURM-LIOUVILLE
que tem soluo y(x) = c
1
J
0
(x) + c
2
Y
0
(x). A condio de contorno de y(0)
limitada, implica c
2
= 0. Da outra condio, temos:
J
0
(

) = 0,
logo, os autovalores so os
1
<
2
< . . ., os (innitos) zeros de J
0
, que so
conhecidos:

n
(n +
1
2
).
As autofunes so:
{J
0
(

n
t) / n N}.
2 4 6 8 10
0.4
0.2
0.2
0.4
0.6
0.8
1.0
Figura 5.4: Grcos de J
0
(

2
t) e J
0
(

10
t).
Em geral, se consideramos a edo de Bessel de ordem n N, temos que as auto-
funes so:
{J
n
(

n
t) / n N}.
2 4 6 8 10
0.2
0.2
0.4
Figura 5.5: Grcos de J
2
(

2
t) e J
5
(

9
t).
Um PSL regular com condies peridicas, do tipo:
5.3. PROBLEMA DE STURM-LIOUVUILLE 177

y(l) = y(r)
y

(l) = y

(r)
chamado PSL peridico.
Exemplo 5.5.
Considere:

y = 0, l < x < l
y(l) = y(l)
y

(l) = y

(l).
O PVC um PSL peridico.
Se = 0, a soluo y(x) = Ax + B. Utilizando as condies de contorno temos
A = 0; logo:
y(x) = 1.
Se > 0, as condies de contorno no so satisfeitas.
Se < 0, mudamos por
2
na equao; logo, a soluo :
y(x) = Acos

x) + B sen

x);
utilizando as condies de contorno, obtemos:

Acos

l) + Bsen

l)

Acos

l) Bsen

l)

= 0

A sen

l) + B cos

l)

A sen

l) + B cos

l)

= 0;
logo:

2 Bsen

= 0
2 Asen

= 0;
ento sen

= 0 para A e B arbitrrios. Obtemos:

n
=
n
l
.
Como sen

= 0 satisfeita para A e B arbitrrios, obtemos as autofunes


sen(
n
x) e cos(
n
x). Logo o conjuntos dos autovalores e autofunes correspon-
dentes, so:
178 CAPTULO 5. PROBLEMAS DE STURM-LIOUVILLE
{
n
l
/ n N {0}},
{1, cos(
n
x), sen(
n
x) / n N}.
0.2 0.4 0.6 0.8 1.0
1.0
0.5
0.5
1.0
Figura 5.6: Algumas autofunes do exemplo.
Captulo 6
EQUAES DIFERENCIAIS
PARCIAIS
A diferena entre as equaes diferenciais ordinrias e as equaes diferenci-
ais parciais no apenas a quantidade de variveis independentes envolvidas.
Muitos conceitos relativos s equaes diferenciais ordinrias no tem extenses
para equaes diferenciais parciais. Por exemplo, no existe uma teoria geral das
equaes diferenciais parciais; o que existe so teorias gerais para "tipos"de equa-
es diferenciais parciais. Neste pargrafo estudaremos alguns tipos especiais
de equaes diferenciais parciais, a saber, as de segunda ordem e de coecientes
constantes. No pretendemos fazer um estudo profundo das equaes diferen-
ciais parciais de segunda ordem. Em geral, muitos conceitos importantes, como
por exemplo, as curvas caractersticas associadas a uma equao diferencial par-
cial, no sero abordados. Para este pargrafo recomendamos ([IV]) e ([FD]) na
bibliograa.
6.1 Equaes Diferenciais Parciais Lineares de Segun-
da Ordem
Todo o captulo ser destinado ao estudo das equaes do calor, da onda e de
Laplace, respectivamente, que so lineares de segunda ordem e de coecientes
constantes. Estas equaes so representantes tpicos de uma classicao geral
das equaes diferenciais parciais de segunda ordem lineares.
Uma caracterstica comum das equaes diferenciais parciais e das edos que as
equaes diferenciais parciais tambm podem ser classicadas pela ordem e pela
linearidade. A ordem de uma equao diferencial parcial a ordem da maior
derivada parcial presente na equao.
179
180 CAPTULO 6. EQUAES DIFERENCIAIS PARCIAIS
Notaes
1. Sejam R
n
um conjunto aberto e (x
1
, x
2
, . . . x
n
) .
2. Seja u : R uma funo tal que admita, pelo menos, as derivadas
parciais at a segunda ordem.
3. u
x
i
=
u
x
i
, u
x
i
x
i
=

2
u
x
2
i
, u
x
i
x
j
=

2
u
x
i
y
j
, etc.
Denio 6.1. Uma equao diferencial parcial (edp) de segunda ordem nas variveis
independentes
x
1
, x
2
, . . . x
n
uma equao da forma:
F

x
1
, x
2
, . . . x
n
, u, u
x
1
, . . . , u
xn
, u
x
1
x
1
, . . . , u
x
i
x
j
. . . u
xnxn

= 0, (6.1)
onde U R
(n+1)
2
aberto e F : U R contnua.
Denio 6.2. Uma edplinear de segunda ordemnas variveis independentes x
1
, x
2
,
. . . x
n
da forma:
n

i,j=1
A
ij
(x) u
x
i
x
j
+
n

i=1
B
i
(x) u
x
i
+ D(x) u = H(x), (6.2)
onde x = (x
1
, x
2
, . . . x
n
) , A
ij
, B
j
, D e H so funes contnuas denidas em e as
funes A
ij
no so todas nulas.
A funo u = u(x
1
, x
2
, . . . x
n
) a incognita da equao (8.1). Se H = 0, a edp (8.1)
dita homognea.
Denotamos e denimos o Laplaciano de u como:
u(x) = u
x
1
x
1
+ u
x
2
x
2
+ . . . . . . + u
xnxn
,
onde x . Note que u(x) = div

u(x)

, isto o divergente do gradiente de u.


6.2 Exemplos de Edps Lineares de Segunda Ordem
Edp do calor ou de difuso
Seja (x
1
, x
2
, . . . , x
n
, t) R
n
[0, +):

2
u(x) + h = u
t
,
6.2. EXEMPLOS DE EDPS LINEARES DE SEGUNDA ORDEM 181
onde x = (x
1
, x
2
, . . . , x
n
), h = h(x) e uma constante positiva, chamada difu-
sividade trmica. Esta edp est associada a fenmenos de difuso; por exemplo,
descreve a evoluo do calor em slidos. Em particular, se u = u(x, t) e h = 0,
temos:
u
t
=
2
u
xx
.
Edp da onda
Seja (x
1
, x
2
, . . . , x
n
, t) R
n
[0, +):
c
2
u(x) + h = u
tt
,
onde x = (x
1
, x
2
, . . . , x
n
), h = h(x) e c uma constante positiva, chamada a
velocidade de propagao da onda. Esta edp aparece em fenmenos diversos
como:
i) das ondas elsticas emslidos, incluindo cordas vibrantes, barras e membranas;
ii) em acstica
iii) em ondas eletromagnticas.
Em particular, se u = u(x, t) e h = 0, temos a edp unidimensional da onda:
u
tt
= c
2
u
xx
.
Edp de Poisson
Seja x = (x
1
, x
2
, . . . , x
n
) R
n
:
u(x) = h(x),
onde h = h(x). A edp de Poisson est associada a fenmenos estacionrios, isto
, que no dependem do tempo, como os potenciais eletrostticos gerados por
distribuies xas de cargas.
No caso em que h = 0:
u(x) = u
xx
+ u
yy
= 0.
Esta edp conhecida como de Laplace, e apareceu, pela primeira vez, associada
hidrodinmica, num trabalho de Euler. Posteriormente foi exaustivamente es-
tudada por Laplace, associada atrao gravitacional entre corpos no espao. A
energia potencial de uma partcula onde agem foras gravitacionais soluo da
edp de Laplace; por isso, algumas vezes tambm chamada edp do potencial. A
edp de Laplace aparece no estudo de:
182 CAPTULO 6. EQUAES DIFERENCIAIS PARCIAIS
i) fenomnos eletromagnticos, incluindo eletrostticos, dieltricos, correntes es-
tacionrias e magnetoscopia;
ii) hidrodinmica (uxo irrotacional de lquidos perfeitos e superfcies de ondas),
iii) uxo do calor
iv) gravitao.
Edp de Schrdinger
Seja x = (x, y, z, t) R
3
(0, +):
i
t
=

2 m
+ V ,
onde i =

1, = (x) e V = V (x, y, z) uma funo diferencivel, m > 0 e


a constante de Plank. Esta edp descreve a iterao de uma partcula quntica de
massa m com um potencial V .
6.3 Edps Lineares de Segunda Ordem emR
2
O conceito de soluo de uma edp muito delicado. Na verdade, o estudo deste
conceito impulsionou notavelmente a teoria geral das edp. Para estas notas utili-
zaremos a seguinte denio de soluo para edps em duas variveis indepen-
dentes:
Denio 6.3. Seja um conjunto aberto em R
2
. Uma funo : R uma
soluo clssica de (6.1) em , se:
1. C
2

.
2. Para todo (x, y) , o vetor

x, y, ,
x
,
y
,
xy
,
yx
,
xx
,
yy

pertence ao domnio da funo F.


3. Para todo (x, y) , a funo (x) satisfaz identicamente a edp (6.1), isto :
F

x, y, ,
x
,
y
,
xy
,
yx
,
xx
,
yy

= 0.
Como u C
2

a edp linear de segunda ordem nas variveis independentes x


e y da forma:
A(x, y) u
xx
+ B(x, y) u
xy
+ C(x, y) u
yy
= f

x, y, u, u
x
, u
y

, (6.3)
onde A, B, C : R so funes contnuas, no simultaneamente nulas e f
uma funo linear.
6.3. EDPS LINEARES DE SEGUNDA ORDEM EMR
2
183
6.3.1 Classicao das Edps Lineares de Segunda Ordem emR
2
Existe uma classicao para as edp lineares de segunda ordem que inspirada
na classicao da equao geral de segundo grau em Geometria Analtica. Esta
classicao baseada na possibilidade da edp (6.3), atravs de uma mudana de
coordenadas adequada, poder ser transformada numa das formas cannicas.
Denamos o discriminante de (6.3):
: R,
tal que (x, y) = B
2
(x, y) A(x, y) C(x, y).
Denio 6.4. Seja o discriminante de (6.3):
1. Se (x, y) > 0, ento dizemos que a edp (6.3) hiperblica no ponto (x, y) .
2. Se (x, y) = 0, ento dizemos que a edp (6.3) parablica no ponto (x, y) .
3. Se (x, y) < 0, ento dizemos que a edp (6.3) eltica no ponto (x, y) .
Quando a edp hiperblica em todos os pontos de , dita hiperblica em .
Analogamante, para parablica e eltica.
A natureza da edp (6.3) no muda por mudanas de coordenadas. De fato, sejam
= (x, y) e = (x, y) uma mudana de coordenadas de classe C
2
numa vizi-
nhana do ponto (x
0
, y
0
) ; como o determinante Jacobiano J no nulo nesta
vizinhana, no difcil vericar que:
(, ) = (x, y) J
2
(x, y);
logo, o sinal de no muda, na vizinhana do ponto (x
0
, y
0
).
Exemplo 6.1.
[1] A edp de Tricomi:
y u
xx
+ u
yy
= 0.
Note que (x, y) = y; logo, a edp hiperblica no semi-plano y < 0, eltica no
semi-plano y > 0 e parablica no eixo dos x.
[2] A edp do calor parablica emR
2
.
[3] A edp da onda hiperblica emR
2
.
[4] A edp de Poisson eltica emR
2
.
possvel mostrar que para as edps lineares de segunda ordem existe uma mu-
dana de varivel tal que permite escrev-las nas seguintes formas:
184 CAPTULO 6. EQUAES DIFERENCIAIS PARCIAIS
1. Se a edp eltica:
u = f(x, y, u, u
x
, u
y
).
2. Se a edp parablica:
u
yy
= f(x, y, u, u
x
, u
y
).
3. Se a edp hiperblica:
u
xy
= f(x, y, u, u
x
, u
y
) ou
u
xx
u
yy
= f(x, y, u, u
x
, u
y
).
Esta formas so chamadas cannicas.
6.4 lgebra Linear
Denamos por L : C
2

C
0

, o seguinte operador linear:


L[u] =
n

i,j=1
A
ij
(x) u
x
i
x
j
+
n

i=1
B
i
(x) u
x
i
+ D(x) u.
Podemos escrever a edp homognea associada a (6.3) como:
L[u] = 0.
Logo, se u
1
, u
2
, . . . u
m
so solues da edp homognea e
i
R, ento
u =
m

i=1

i
u
i
,
soluo da edp homognea. Portanto, as solues da edp homognea formam
um subespao vetorial de C
2

.
Sabemos que as edos lineares de segunda ordemhomogneas formamumsubes-
pao vetorial de dimenso nita (dois). Isto mostra outra diferena entre edps
e edos. Em muitas edps simples temos que o subespao das solues da edp
homognea L[u] = 0 pode ser de dimenso innita. Isto nos conduz novamente
aos problemas de convergncias de sries de funes, que a soluo da edp.
6.5. CONDIES DE FRONTEIRA E INICIAIS PARA EDPS 185
Exemplo 6.2.
Considere a edp:
u
xy
= 0, (x, y) R
2
.
Como:
u
xy
=

y

u
x

= 0,
u
x
no depende de y, isto :
u
x
= F(x),
onde F C
1

R
2

. Integrando em relao a x:
u(x, y) = f(x) + g(y),
onde f C
2

R
2

uma primitiva de F, arbitrria e g C


2

R
2

tambm arbi-
trria. Logo, o conjunto das solues clssicas da edp innito.
Sabemos do captulo sobre convergncia uniforme das sries de funes que no
trivial armar que uma combinao linear innita de solues clssicas de uma
edp seja uma soluo clssica da edp. Isto nos leva seguinte propriedade, co-
nhecida como Princpio de Superposio:
Proposio 6.1. Princpio de Superposio
Seja a sequncia

u
i

iN
de funes tais que L[u
i
] = 0, onde u
i
C
k

, e

iN
uma sequncia numrica tal que:

i=1

i
u
i
(x),
converge para a funo u e k vezes diferencivel termo a termo em ; ento,
L[u] = 0.
6.5 Condies de Fronteira e Iniciais para Edps
Outra diferena entre edos e edps a informao adicional que precisamos para
obter unicidade das solues. Tanto nos PVI para edos como nos problemas
de Sturm-Liouville, as condies adicionais so impostas em intervalos nitos
e nos extremos destes intervalos. Como nas edps as variveis independentes
pertencem a um conjunto aberto R
n
, natural considerar (a fronteira de
).
186 CAPTULO 6. EQUAES DIFERENCIAIS PARCIAIS
Denio 6.5. Quando impomos condies sobre o valor da soluo e de suas derivadas
em numa edp, temos o chamado problema de valores de fronteira.
A maioria das condies de fronteira das edps que estudaremos nestas notas
aparecem de forma natural na descrio de fenmenos fsicos estacionrios. Por
exemplo:
u(x, y) +
u
n
(x, y) = f(x, y), (x, y) , (6.4)
onde , R, f : R e
u
n
a derivada direcional de u na direo normal
a .
Observaes 6.1.
1. Se = 0, ento (6.4) chamada de Dirichlet.
2. Se = 0, ento (6.4) chamada de Neumann.
No caso das condies iniciais, como nas edps temos mais de uma varivel inde-
pendente, podemos xar uma das variveis, (por exemplo, y = 0), e impor o valor
da soluo e das derivadas parciais em relao varivel xada como funo das
outras variavis, (por exemplo, u
y
(x, 0) = k(x)).
Agora generalizaremos o conceito de condio inicial para n = 2, da seguinte
maneira: impomos o valor da soluo e de suas derivadas direcionais ao longo
de uma curva. O problema correspondente um problema de Cauchy, o de va-
lor inicial. As edps junto com s condies de fronteira e de valor inicial, so
chamadas problemas mistos.
Exemplo 6.3.
[1] Seja (x, t) = (0, l) (0, +) e:
u
t
=
2
u
xx
, se (x, t)
u(0, t) = u(l, t) = 0, t 0
u(x, 0) = f(x), se x [0, l].
um problema misto. Observe que:
= [0, l] [0, +) e
= {(0, t) / t 0} {(l, t) / t 0} {(x, 0), x [0, l]}.
6.5. CONDIES DE FRONTEIRA E INICIAIS PARA EDPS 187
x
t
0 l

Figura 6.1: em azul


A condio u(0, t) = u(l, t) = 0, (x, t) uma condio de contorno e a
condio u(x, 0) = f(x), (x, 0) uma condio inicial. A funo f dada e
uma constante positiva.
A soluo que procuramos deve satisfazer u C
0

C
2

), isto , contnua
em e de classe C
2
em , f C

[0, l]

e tal que f(0) = f(l) = 0.


[2] Seja (x, t) = (0, l) (0, +) e:
u
tt
= c
2
u
xx
, se (x, t)
u(0, t) = u(l, t) = 0, t 0
u(x, 0) = f(x), se x [0, l]
u
t
(x, 0) = g(x), se x [0, l].
um problema misto. Observe que:
= [0, l] [0, +) e
= {(0, t) / t 0} {(l, t) / t 0} {(x, 0), x [0, l]}.
A condio u(0, t) = u(l, t) = 0, (x, t) uma condio de contorno e as
condies u(x, 0) = f(x) e u
t
(x, 0) = g(x), (x, 0) so condies iniciais. A
funo f dada e c > 0. A soluo que procuramos deve satisfazer u C
0

C
2

), isto , contnua em e de classe C


2
em . Por outro lado, devemos ter
f C
2

[0, l]

tal que f(0) = f(l) = f

(0) = f

(l) = 0 e g C
1

[0, l]

tal que
g(0) = g(l) = 0.
[3] Seja R
2
um retngulo ou um disco:
u = 0, em
u

= f.
188 CAPTULO 6. EQUAES DIFERENCIAIS PARCIAIS
um problema de Dirichlet.
[4] Seja R
2
um retngulo ou um disco:
u = 0, em
u
n
= f, em .
um problema de Neumann.
Dada uma edp juntamente com as condies de fronteira e/ou iniciais, existem
trs questes fundamentais:
1. Quando existem solues?
2. Se existem, so nicas?
3. Que tipo de dependncia existe entre a soluo e as condies de fronteira
e/ou iniciais?
Algumas respostas destas questes cam fora do contexto destas notas. Ns fa-
remos apenas alguns comentrios. Para mais detalhes veja ([IV]).
Quando se discute a existncia das solues, alm de especicar a classe de dife-
renciabilidade da soluo se deve precisar o sentido das condies de fronteira
e/ou iniciais que so satisfeitas. Como nos dois primeiros exemplos.
natural perguntar se pequenas variaes das condies de fronteira e/ou inici-
ais acarretam variaes nas solues. No caso armativo, dizemos que a soluo
depende continuamante dos dados de fronteira e/ou iniciais.
O problema onde valem a existncia, unicidade e dependncia contnua dos da-
dos de fronteira e/ou iniciais, dito problema bem posto (no sentido de Hada-
mard).
6.6 Mtodo de Separao das Variveis
O mtodo tambm conhecido como de Fourier e o mais clssico dos mtodos
para determinar solues particulares de edps lineares. Basicamente permite re-
duzir o problema da procura de solues de certos tipos de edps a problemas de
resoluo de edos. Na verdade o mais bsico dos mtodos de desenvolvimento
em autofunes. O mtodo utilizado para edps lineares homogneas com con-
dies de contorno homogneas e regies do tipo = I J, onde I, J R so
intervalos abertos.
A estratgia para aplicar o mtodo nestas notas, a seguinte:
6.6. MTODO DE SEPARAO DAS VARIVEIS 189
1. Se = (a, b) (c, d) e (x, y) , ento procuraremos solues clssicas u =
u(x, y), no nulas do tipo:
u(x, y) = X(x) Y (y).
tal que X : (a, b) R e Y : (c, d) R so funes com a mesma classe de
diferenciabilidade que a edp requer.
2. A seguir faremos uma srie de raciocnios sem tentar justicar rigorosamente
cada passo. Estaremos somente procupados em determinar as funes X e Y .
3. Aps determinar as funes X e Y , justicaremos, comas hipteses necessrias
para obter uma soluo clssica para a edp.
4. O mtodo pode ser aplicado independente do nmero de variveis indepen-
dentes envolvidas.
190 CAPTULO 6. EQUAES DIFERENCIAIS PARCIAIS
Captulo 7
EQUAO DO CALOR
7.1 Introduo
Sejam:
= (0, l) (0, +), = [0, l] [0, +) e
= {(0, t) / t 0} {(l, t) / t 0} {(x, 0), x [0, l]}.
A edp do calor (unidimensional) homognea, :
u
t
=
2
u
xx
, (x, t) ,
onde a varivel x representa a posio e t a varivel temporal. A deduo desta
edp no difcil e pode ser vista em ([FD]).
Esta edp um modelo da evoluo da temperatura devido ao fenmeno da con-
duo do calor ao longo de uma barra, tal que a distribuio da temperatura seja
essencialmente unidimensional, isto , quando possvel desprezar a variao da
temperatura em todas as direes menos em uma.
No difcil ver que a funo u : R (0, +) R, denida por:
u(x, t) =
exp(x
2
/4 t)

4 t
uma soluo da edp do calor, em particular, u = u(x, t) uma soluo em .
191
192 CAPTULO 7. EQUAO DO CALOR
2 1 1 2
0.2
0.4
0.6
0.8
Figura 7.1: Grco de u = u(x, t), para diversos t.
Considere uma barra feita de material homogneo, de comprimento l, de seco
reta uniforme e com constante de difusividade termica
2
que depende apenas
do material. A funo u = u(x, t) representa a temperatura da barra no ponto x
no instante t.
0 l
x
Figura 7.2:
Condio Inicial:
No instante inicial existe uma distribuio de temperatura que varia ao longo da
posio:
u(x, 0) = f(x), x [0, l].
Condies de Fronteira:
1. Condio de Dirichlet: (ou de temperatura prescrita):

u(0, t) = T
1
(t), t 0
u(l, t) = T
2
(t), t 0.
2. Condio de Neumann: (ou de uxo do calor prescrita):
7.2. PROBLEMA DE DIRICHLET HOMOGNEO 193

u
x
(0, t) = H
1
(t), t 0
u
x
(l, t) = H
2
(t), t 0.
3. Condio de Robin:

u
x
(0, t) = k
2
(u(0, t) c), t 0
u
x
(l, t) = k
2
(u(l, t) c), t 0.
7.2 Problema de Dirichlet Homogneo
Considere:

u
t
=
2
u
xx
, se (x, t)
u(0, t) = u(l, t) = 0, t 0
u(x, 0) = f(x), se x [0, l].
(7.1)
O sistema (7.1) um problema de Dirichlet-Cauchy para a edp do calor, ao con-
siderar a evoluo da temperatura u ao longo de uma barra feita de material
homogneo, de comprimento l e de seco reta uniforme, isolada, exceto nos ex-
tremos que se mantem a uma temperatura constante igual a zero. Note que
possui uma parte que corresponde aos extremos da barra em x = 0 e x = l, sobre
os quais se tem xado a condio u = 0 e na parte em que t = 0 prescrevemos a
condio inicial u(x, 0) = f(x), que a distribuio inicial de temperatura.
0
u(x,0)=f(x)
0 l
0
Figura 7.3: Problema de Dirichlet Homogneo
A soluo que procuramos deve satisfazer: u C
0

C
2

), isto , deve ser


contnua em e de classe C
2
em ; f C

[0, l]

e tal que f(0) = f(l) = 0.


A exigncia da continuidade de u no instante t = 0 uma forma de vincular a
condio inicial ao comportamento posterior da soluo.
7.2.1 Separao das Variveis
Procuramos solues no nulas do tipo:
u(x, t) = X(x) T(t).
194 CAPTULO 7. EQUAO DO CALOR
A seguir, nos clculos, omitiremos a variavl independente das funes.
1. Primeiramente observamos que X, T = 0.
2. Como u deve ser soluo do problema:
u
t
= X T

,
u
xx
= X

T.
3. A edp do calor pode ser reescrita como:
X

T =
1

2
X T

X
=
1

2
T

T
= p, p R.
Por que?
4. Do tem anterior obtemos:

p X = 0, 0 < x < l
T

p
2
T = 0, t > 0.
5. Por outro lado:
0 = u(0, t) = X(0) T(t), para todo t > 0 X(0) = 0
0 = u(l, t) = X(l) T(t), para todo t > 0 X(l) = 0.
6. Dos tens anteriores obtemos um PSL regular:

p X = 0, 0 < x < l
X(0) = X(l) = 0,
e a edo:
T

p
2
T = 0.
7. O PSL possui somente solues (autofunes) no nulas se p =
2
, onde
= 0,ento:
X
n
(x) = A
n
sen

n
x),
onde
n
=
n
l
, n N.
7.3. ANLISE DA SOLUO 195
8. A edo T

2
n

2
T = 0 tem soluo para cada n N:
T
n
(t) = B
n
exp

2
n
t

.
9. Logo, obtemos para cada n N:
u
n
(x, t) = X
n
(x) T
n
(t) = b
n
sen

n
x

exp

2
n
t

.
10. imediato que u
n
= u
n
(x, t) so de classe C
2
e so solues da edp do calor
em para cada n N. De fato:
(u
n
)
t
=
2

2
n
b
n
sen

n
x

exp

2
n
t

(u
n
)
x
=
n
b
n
cos

n
x

exp

2
n
t

(u
n
)
xx
=
2
n
b
n
sen

n
x

exp

2
n
t

Pelo princpio de superposio das solues, a soluo formal do problema :


u(x, t) =

n=1
u
n
(x, t),
isto :
u(x, t) =

n=1
b
n
sen

n x
l

exp

n
l

2
t

. (7.2)
Consideramos como soluo formal quando ainda no temos hipteses claras
para determinar se (7.2) realmente uma soluo clssica do problema.
7.3 Anlise da Soluo
A candidata soluo do problema (7.1) :
u(x, t) =

n=1
b
n
sen

n
x

exp

2
n
t

,
onde
n
=
n
l
.
As condies de contorno so satisfeitas, isto , u(0, t) = u(l, t) = 0 para todo
t [0, +). Por outro lado, observemos que:
196 CAPTULO 7. EQUAO DO CALOR
f(x) = u(x, 0) =

n=1
b
n
sen

n
x

, x [0, l], (7.3)


isto , f deve possuir srie de senos; se a srie anterior converge em [0, l], ento
converge em todo R para a extenso mpar, peridica de perodo 2 l de f; ento:
b
n
=
2
l

l
0
f(x) sen

n
x

dx, n N.
Logo, se f C([0, l]) e diferencivel por partes, f est nas condies de conver-
gncia das sries de Fourier. Pelo teorema de Weierstrass, devemos limitar:

b
n
sen

n
x

exp

n
t

|b
n
| exp

n
t

para (7.2) convergir.


Proposio 7.1. As seguintes sries:

n=1
b
n
sen

k nx

exp

n
2
k
2
t

n=1
nb
n
sen

k nx

exp

n
2
k
2
t

n=1
n
2
b
n
sen

k nx

exp

n
2
k
2
t

onde k > 0, convergem uniformemente em qualquer sub-retngulo de .


De fato:

b
n
sen

k nx

exp

n
2
k
2
t

|b
n
| exp

n
2
k
2
t

C exp

n
2
k
2
t
0

,
t t
0
. Por outro lado, as sries numricas (teste 3):

n=1
exp

n
2
k
2
t
0

n=1
n exp

n
2
k
2
t
0

n=1
n
2
exp

n
2
k
2
t
0

7.3. ANLISE DA SOLUO 197


so convergentes. Ento, pelo teste Mde Weierstrass, (7.2), converge uniformente
em:
[0, l] [t
0
, +),
para todo t
0
. De forma anloga, as outras sries tambm convergem uniforme-
mente.
Da convergncia uniforme da primeira srie da propiedade anterior, temos que
(7.2) dene uma funo contnua en [0, l] [t
0
, +), t
0
> 0. Por outro lado,
derivando (7.2):
u
t
= k
2

n=1
n
2
b
n
sen

k nx

exp

2
n
2
k
2
t

,
u
x
= k

n=1
nb
n
cos

k nx

exp

2
n
2
k
2
t

,
u
xx
= k
2

n=1
n
2
b
n
sen

k nx

exp

2
n
2
k
2
t

,
onde k =

l
. Note que:

n
2
b
n
sen

k nx

exp

2
n
2
k
2
t

C n
2
exp

2
n
2
k
2
t
0

nb
n
cos

k nx

exp

2
n
2
k
2
t

C n exp

2
n
2
k
2
t
0

, t t
0
.
Ento, pelo teste M de Weierstrass u
t
e u
xx
convergem uniformente em [0, l]
[t
0
, +); logo (7.2) uma soluo clssica do problema do calor em :
[0, l] [t
0
, +).
Somente falta vericar que (7.2) dene uma funo contnua se t 0. Integremos
por partes o coeciente de Fourier de f:
b
n
=
2
l

l
0
f(x) sen(
n
x) dx
=
2
n
f(x) cos(
n
x)

l
0
+
2
n

l
0
f

(x) cos(
n
x) dx
=
l
n
d
n
,
onde d
n
so os coecientes de Fourier da extenso par peridica de perodo 2 l de
f

; utilizando que:
198 CAPTULO 7. EQUAO DO CALOR

l
n
d
n

2
0,
isto :
l
n

1
2

l
2

2
1
n
2
+ d
2
n

,
temos:

n=1
|b
n
|
l
2
2
2

n=1
1
n
2
+
1
2

n=1
d
2
n
< ,
pela desiguladade de Bessel; logo, para t = 0, a srie (7.2) converge uniforme-
mente. Logo, vericamos o seguinte teorema:
Teorema 7.1. Seja f C([0, l]) diferencivel por partes em [0, l] e tal que f(0) = f(l) =
0. Ento (7.2) converge uniformemente em para a funo u C() C() que a
soluo de (7.1).
Na verdade, o problema (7.1) bem posto. (Veja o prximo pargrafo). Nas
hipteses do teorema, o problema de Dirichlet-Cauchy:

u
t
=
2
u
xx
, se (x, t)
u(0, t) = u(l, t) = 0, t 0
u(x, 0) = f(x), se x [0, l],
tem uma nica soluo:
u(x, t) =

n=1
b
n
sen

n x
l

exp

n
l

2
t

tal que:
b
n
=
2
l

l
0
f(x) sen

n x
l

dx, n N.
Note que:
lim
t+
u(x, t) = 0,
o que coincide coma intuio, pois aps umtempo longo, a barra tende a resfriar-
se. A soluo converge rapidamente, exceto para t muito pequeno. Se t grande,
ento:
u(x, t)

= u
1
(x, t).
7.3. ANLISE DA SOLUO 199
Reescrevendo a soluo:
u(x, t) =

n=1
b
n
sen

n
x

exp

2
n
t

n=1

2
l

l
0
f(y) sen(
n
y

dy

sen(
n
x

exp

2
n
t

l
0
f(y)

2
l

n=1
sen

n
y

sen

n
x

exp

2
n
t

dy
=

l
0
f(y) k(x, y, t) dy,
onde
k(x, y, t) =
2
l

n=1
sen

n y
l

sen

n x
l

exp

n
l

2
t

.
k = k(x, y, t) chamado ncleo do calor para (7.1) e converge uniformemente em
R R (0, +) e satisfaz edp do calor, isto :
k
t
=
2
k
xx
.
Observao 7.1.
Aexigncia de que f seja contnua e de que f(0) = f(l) = 0, umpouco restritiva,
pois existemsituaes fsicas emque isto no ocorre; por exemplo, uma barra que
inicialmente tem temperatura constante f(x) = 200
o
C. Para tratar estes tipos de
problemas, observamos que no podemos ter a igualdade (7.3). Mesmo assim
podemos calcular os coecientes b
n
utilizando ortogonalidade das autofunes
do PSL. De fato, fazendo o produto escalar com
m
xado, arbitrrio:

l
0
f(x) sen

m
x

dx = b
m

l
0
sen
2

n
x

dx =
l b
m
2
.
Como m arbitrrio, mudamos m por n:
b
n
=
2
l

l
0
f(x) sen

m
x

dx.
Exemplo 7.1.
[1] Ache a soluo do problema:

u
t
= u
xx
, se (x, t)
u(0, t) = u(1, t) = 0, t 0
u(x, 0) = x(1 x), se x [0, 1].
200 CAPTULO 7. EQUAO DO CALOR
f(x) = x(1 x) est nas condies do teorema; ento:
b
n
= 2

1
0
x(1 x) sen

n x

dx =
4

1 (1)
n

3
n
3
,
logo:

b
2n
= 0, n N
b
2n1
=
8

3
(2 n 1)
3
, n N.
e a soluo :
u(x, t) =
8

n=1
1
(2 n 1)
3
sen

(2 n 1) x

exp

(2 n 1)
2

2
t

.
1
0.25
Figura 7.4: Grco de f e de u, para diferentes t
[2] Considere que uma barra de 50 cm de comprimento imersa em vapor at
atingir 100
o
C. No instante t = 0 suas superfcies laterais so isoladas e suas duas
extremidades mergulhadas em gelo a 0
o
C. Determine a temperatura no ponto
mdio da barra aps 30 min, se a barra feita de:
1. prata:
2
= 1.7,
2. ferro:
2
= 0.25,
3. cimento:
2
= 0.005.
Devemos resolver o sistema:

u
t
=
2
u
xx
, se (x, t)
u(0, t) = u(50, t) = 0, t 0
u(x, 0) = 100, se x [0, 50].
7.3. ANLISE DA SOLUO 201
A soluo :
u(x, t) =

n=1
b
n
sen

n x
50

exp

n
50

2
t

tal que:
b
n
=
1
25

50
0
100 sen

n x
50

dx =
200

1 (1)
n

n
logo:;
logo:

b
2n
= 0, n N
b
2n1
=
400
(2 n 1)
, n N.
Logo:
u(x, t) =

n=1
400
(2 n 1)
sen

(2 n 1) x
50

exp

(2 n 1)
50

2
t

Mas como t = 1800 seg (grande), utilizamos:


u(x, t)

= u
1
(x, t) =
400

sen

x
50

exp

2
2500
t

.
0 10 20 30 40 50
20
40
60
80
100
Figura 7.5: Grco de f e de u
1
, para diferentes t (
2
= 1.7)
Logo:
u(25, 1800) =
4

exp

18
2

2
25

.
1. Se
2
= 1.7, ento:
u(25, 1800)

= 1.5344 10
9
.
202 CAPTULO 7. EQUAO DO CALOR
2. Se
2
= 0.25, ento:
u(25, 1800)

= 0.8166.
3. Se
2
= 0.005, ento:
u(25, 1800)

= 1.27301.
7.4 Princpio do Mximo do Calor
Seja T > 0 arbitrrio e denotemos por
T
= (0, l) (0, T) e por
T
, onde:

T
=
T

T
.
Teorema 7.2. (Princpio do mximo) Se u :
T
R contnua e satisfaz edo do
calor em
T
, ento u atinge seu valor mximo e seu valor mnimo em
T
. Isto , existem
(x
1
, y
1
), (x
2
, y
2
)
T
tal que:
u(x
1
, y
1
) u(x, y) u(x
2
, y
2
),
para todo (x, y)
T
.
Note que
T
e
T
so fechados e limitados. Suponha que u atinge o valor mnimo
no ponto (x
0
, t
0
)
T
. Denotemos por m = u(x
0
, t
0
) e por M o valor mnimo de
u em
T
, tal que M > m. Denamos v :
T
R, tal que :
v(x, t) = u(x, t) +
M m
2 T
(t t
0
),
tal que t t
0
T. Se (x, t)
T
, ento u(x, t) M; logo:
v(x, t) M
M m
2
=
M + m
2
> m.
Por outro lado v(x
0
, t
0
) = u(x
0
, t
0
) = m. Portanto, v atinge seu valor mnimo
em algum ponto (x
1
, t
1
)
T
, logo v
xx
(x
1
, t
1
) 0 e v
t
(x
1
, t
1
) 0 (se t
1
< T,
v
t
(x
1
, t
1
) = 0 e negativo se t
1
= T). Note que em
T
:
v
t

2
v
xx
= u
t

2
u
xx
+
M m
2 T
=
M m
2 T
> 0,
o que uma contradio, logo u atinge seu valor mnimo em
T
. Considerando
u vericamos que u atinge seu valor mximo em
T
.
Corolrio 7.3. O problema (7.1) tem uma nica soluo.
7.5. PROBLEMA DE DIRICHLET NO HOMOGNEO 203
Suponha que u
1
e u
2
so solues de (7.1), com correspondentes distribuies
iniciais de temperatura f e g, respectivamente; ento, u = u
1
u
2
soluo de
(7.1), com distribuio inicial de temperatura f g. Ento, u(x, 0) = 0; como
u(0, t) = u(l, t) = 0, pelo princpio do mximo, temos u = 0, para todo (x, t) ,
pois T arbitrrio.
O problema bem posto.
7.5 Problema de Dirichlet No Homogneo
Considere:

u
t
=
2
u
xx
, se (x, t)
u(0, t) = T
0
, t 0
u(l, t) = T
1
, t 0
u(x, 0) = f(x), se x [0, l],
(7.4)
onde T
0
, T
1
constantes e f(0) = T
0
e f(l) = T
1
. O problema consiste em estudar
a evoluo do calor de uma barra nas mesmas condies do problema de Diri-
chlet Homogneo, salvo que os extremos da barra esto em uma temperatura
constante, no necessariamente zero graus.
u=T
0
0
u=T
1
l
u(x,0) = f(x)
Figura 7.6: Problema de Dirichlet no Homogneo
No possvel aplicar o mtodo de separao das variveis pois as condies de
contorno no so homogneas. Para contornar este problema, estudaremos as
solues de equilbrio do sistema.
7.6 Soluo de Equilbrio
Fisicamente, a experincia nos indica que aps um tempo longo, sob as mesmas
condies, a variao da temperatura ca estacionria, isto no depende do
tempo.
Se u = u(x, t) representa a temperatura da barra, ento:
204 CAPTULO 7. EQUAO DO CALOR

lim
t+
u(x, t) = U(x)
lim
t+
u
t
= 0.
A funo U = U(x) chamada soluo de equilibrio do sistema. Como uma
soluo do problema, deve satisfazer o PSL:

= 0, x (0, l)
U(0) = T
0
U(l) = T
1
;
logo, U(x) = Ax + B. Utilizando as condies de contorno, obtemos:
U(x) = T
0
+

T
1
T
0

x
l
.
0 l
T
1
T
0
Figura 7.7: Grco de U = U(x)
7.7 Determinao da Soluo
Seja U = U(x) a soluo de equilibrio de (7.4) e consideremos a seguinte mu-
dana:
w(x, t) = u(x, y) U(x).
1. A funo w satisfaz a edp do calor, isto , w
t
=
2
w
xx
, e:
w(0, t) = u(0, t) U(0) = T
0
T
0
= 0, t > 0
w(l, t) = u(l, t) U(l) = T
1
T
1
= 0, t > 0
w(x, 0) = u(x, 0) U(x) = g(x), x [0, l]
7.7. DETERMINAO DA SOLUO 205
2. Logo, obtemos um problema do tipo (7.1) para w = w(x, t):

w
t
=
2
w
xx
, se (x, t)
w(0, t) = u(l, t) = 0, t 0
w(x, 0) = g(x), se x [0, l],
o qual tem soluo:
w(x, t) =

n=1
b
n
sen

n x
l

exp

n
l

2
t

, (x, t) ,
tal que:
b
n
=
2
l

l
0
g(x) sen

n x
l

dx, n N.
Logo, o problema (7.4):

u
t
=
2
u
xx
, se (x, t)
u(0, t) = T
0
, t 0
u(l, t) = T
1
, t 0
u(x, 0) = f(x), se x [0, l],
tem soluo: u(x, t) = U(x) + w(x, t); isto :
u(x, t) = T
0
+

T
1
T
0

x
l
+

n=1
b
n
sen

n x
l

exp

n
l

2
t

,
(x, t) e tal que:
b
n
=
2
l

l
0

f(x) U(x)

sen

n x
l

dx, n N.
Com as mesmas hipteses da do problema de Dirichlet Homogneo, segue que
u C
0

C
2

) soluo clssica do problema (7.4). Em resumo:


Corolrio 7.4. Com as mesmas hipteses da edp do problema de Dirichlet Homogneo, o
problema:

u
t
=
2
u
xx
, se (x, t)
u(0, t) = T
0
, t 0
u(l, t) = T
1
, t 0
u(x, 0) = f(x), se x [0, l],
tem uma nica soluo clssica:
206 CAPTULO 7. EQUAO DO CALOR
u(x, t) = T
0
+

T
1
T
0

x
l
+

n=1
b
n
sen

n x
l

exp

n
l

2
t

,
(x, t) e tal que:
b
n
=
2
l

l
0

f(x) U(x)

sen

n x
l

dx, n N.
Exemplo 7.2.
[1] Ache a soluo de

u
t
= u
xx
, se (x, t)
u(0, t) = 100, t 0
u(1, t) = 170, t 0
u(x, 0) = 250 x
2
180 x + 100, se x [0, 1],
Primeiramente, a soluo de equilbrio U(x) = 70 x + 100. Por outro lado:
b
n
= 500

1
0
[x
2
x] sen(n x) dx =
1000 (1 (1)
n
)

3
n
3
;
logo:

b
2n
= 0, n N
b
2n1
=
2000
(2 n 1)
3

3
, n N.
e a soluo :
u(x, t) = 100 + 70 x

n=1
2000
(2 n 1)
3

3
, sen

(2 n 1) x

exp

(2 n 1)
2

2
t

.
7.7. DETERMINAO DA SOLUO 207
0.0 0.2 0.4 0.6 0.8 1.0
50
100
150
200
Figura 7.8: u = u(x, t) para diferentes t
[2] Ache a soluo de

u
t
= u
xx
, se (x, t)
u(0, t) = 4, t 0
u(1, t) = 1, t 0
u(x, 0) = 8 x
3
+ 5 x + 4, se x [0, 1],
Primeiramente, a soluo de equilbrio U(x) = 4 3 x. Por outro lado:
b
n
= 2

1
0

8 x 8 x
3

sen(n x) dx =
96 (1)
n

3
n
3
;
logo, a soluo :
u(x, t) = 4 3 x

n=1
96 (1)
n

3
n
3
sen(n x) exp(n
2

2
t).
208 CAPTULO 7. EQUAO DO CALOR
0.2 0.4 0.6 0.8 1.0
1
2
3
4
5
Figura 7.9: u = u(x, t) para diferentes t
7.8 Problema de Neumann
Considere:

u
t
=
2
u
xx
, se (x, t)
u
x
(0, t) = u
x
(l, t) = 0, t 0
u(x, 0) = f(x), se x [0, l].
(7.5)
Este problema para estudar a evoluo do calor de uma barra nas mesmas con-
dies da edp do problema de Dirichlet Homogneo, mas de modo que no existe
passagem de calor, isto , na ausncia do uxo do calor.
l
u(x,0) = f(x)
0
Figura 7.10: Problema de Neumann
7.8.1 Separao das Variveis
Procuramos solues no nulas do tipo:
u(x, t) = X(x) T(t).
Como antes, omitiremos a varivel independente das funes.
7.8. PROBLEMA DE NEUMANN 209
1. Como u deve ser soluo do problema:
u
t
= X T

,
u
xx
= X

T.
2. A edp do calor pode ser reescrita como:
X

T =
1

2
X T

X
=
1

2
T

T
= p, p R.
3. Do tem anterior obtemos:

p X = 0, 0 < x < l
T

p
2
T = 0, t > 0.
4. Por outro lado:
0 = u
x
(0, t) = X

(0) T(t), para todo t > 0 X

(0) = 0
0 = u
x
(l, t) = X

(l) T(t), para todo t > 0 X

(l) = 0.
5. Dos tens anteriores obtemos um PSL regular:

p X = 0, 0 < x < l
X

(0) = X

(l) = 0,
e a edo:
T

p
2
T = 0.
6. O PSL possui solues no nulas e:
Se = 0, ento obtemos X(x) = 1.
Se > 0, ento obtemos solues triviais.
Se < 0, ento, considerando
2
, obtemos:
X(x) = Acos

+ B sen

.
Por outro lado:
210 CAPTULO 7. EQUAO DO CALOR
X

(x) = A sen

+ B sen

0 = X

(0) = B B = 0
0 = X

(l) = B sen

l = n.
Ento
n
=
n
l
, n N e:
X
n
(x) = A
n
cos

.
7. A edo T

2
T = 0 tem soluo, para cada n N:
T
n
(t) = B
n
exp

n
t

.
8. Para p = 0, X e T so constantes; denotemos esta soluo por:
u
0
(x, t) =
a
0
2
.
9. Logo, obtemos para cada n N:
u
n
(x, t) =
a
0
2
+ X
n
(x) T
n
(t) =
a
0
2
+ a
n
cos

n
x

exp

2
n
t

.
10. As funes u
n
= u
n
(x, t) so de classe C
2
e so solues da edp do calor em
para cada n N.
Analogamente ao feito na edp do problema de Dirichlet Homogneo e com as
mesmas hipteses, temos que a soluo clssica de (7.5) :
u(x, t) =
a
0
2
+

n=1
b
n
cos

n x
l

exp

n
l

2
t

.
Primeiramente note que u
x
(0, t) = u
x
(l, t) = 0 para todo t (0, +). Por outro
lado, observemos que:
f(x) = u(x, 0) =
a
0
2
+

n=1
a
n
cos

n x
l

, x [0, l].
Ento:
a
n
=
2
l

l
0
f(x) cos

n x
l

dx, n 0.
Note que:
7.8. PROBLEMA DE NEUMANN 211
lim
t+
u(x, t) =
a
2
2
=
1
l

l
0
f(x) dx.
O fato de que a temperatura seja constante quando t grande totalmente coe-
rente com a experincia, pois o processo da difuso do calor ir gradualmente
uniformizando a distribuio inicial da temperatura na barra, desde que no
exista uxo de calor para o exterior. Logo, o termo constante a mdia da distri-
buio inicial da temperatura.
De forma totalmente anloga ao desenvolvimento estudado para a edp do calor
Homogneo possvel vericar que u C
2

.
Corolrio 7.5. O problema:

u
t
=
2
u
xx
, se (x, t)
u
x
(0, t) = u
x
(l, t) = 0, t 0
u(x, 0) = f(x), se x [0, l],
tem a nica soluo clssica:
u(x, t) =
a
0
2
+

n=1
b
n
cos

n x
l

exp

n
l

2
t

,
onde:
a
n
=
2
l

l
0
f(x) cos

n x
l

dx, n 0.
Exemplo 7.3.
Ache a soluo de:

u
t
= u
xx
, se (x, t)
u
x
(0, t) = u
x
(1, t) = 0, t 0
u(x, 0) = cos
2
(5 x), se x [0, 1],
Como cos
2
(5 x) =
1
2

1 + cos(10 x)

, temos:
a
n
= 2

1
0
cos
2
(5 x) cos(n x) dx = 0, n = 10,
a
0
= 1 e a
10
=
1
2
; logo:
u(x, t) =
1
2
+
1
2
cos(10 x) exp

100
2
t).
212 CAPTULO 7. EQUAO DO CALOR
0.2 0.4 0.6 0.8 1.0
0.2
0.4
0.6
0.8
1.0
Figura 7.11: u = u(x, t) para diferentes t.
7.9 Problema de Robin
Considere:

u
t
=
2
u
xx
, se (x, t)
u(0, t) = 0, t 0
u
x
(l, t) = 0, t 0
u(x, 0) = f(x), se x [0, l].
(7.6)
Este problema misto para estudar a evoluo do calor de uma barra nas mesmas
condies da edp do problema de Dirichlet Homogneo, de modo que a tempe-
ratura numa extremidade zero graus e no existe passagem de calor na outra
extremidade. Note que f(0) = f

(l) = 0.
l
0
u(x,0)=f(x)
0
0
Figura 7.12: Problema de Robin
7.9.1 Separao das Variveis
De forma totalmente anloga s anteriores, procuramos solues no nulas do
tipo:
u(x, t) = X(x) T(t).
Obtendo (os detalhes cam como exerccio):
7.9. PROBLEMA DE ROBIN 213

n
=
(2 n 1)
2 l
, X
n
(x) = A
n
sen(
n
x) e T
n
(t) = B
n
exp(
2
n
c
2
t)
Logo, a soluo que obtemos :
u(x, t) =

n=1
b
n
sen

n
x

exp

2
n
c
2
t

.
Por outro lado:
f(x) = u(x, 0) =

n=1
b
n
sen

n
x

.
Como
n
/ Z, ento o membro direita no a srie dos senos de f em (0, l). No-
vamente no podemos aplicar diretamente os argumentos da edp do problema
de Dirichlet Homogneo.
7.9.2 Determinao de b
n
1. Estendemos f ao intervalo [0, 2 l] da seguinte forma:

f(x) =

f(x) se x [0, l]
f(2 l x) se l < x < 2 l.
2.

f contnua e

f

contnua por partes. Portanto, se u = u(x, t) a soluo


do problema:

u
t
=
2
u
xx
, se (x, t) (0, 2 l) (0, +)
u(0, t) = 0, t 0
u(2 l, t) = 0, t 0
u(x, 0) =

f(x), se x [0, 2 l].
(7.7)
Ento, esta soluo satisfaz u
x
(l, t) = 0 para todo t 0, pois no existe
uxo atravs da seo estendida em x = l. Logo, a soluo do problema
original. Por outro lado, sabemos que a soluo de (7.7) :
u(x, t) =

n=1
b
n
sen

n x
2 l

exp

n
2 l

2
t

tal que:
b
n
=
2
2 l

2l
0

f(x) sen

n x
2 l

dx.
214 CAPTULO 7. EQUAO DO CALOR
3. Denotando

n
=
n
2 l
, temos:
b
n
=
1
l

2l
0

f(x) sen

n
x

dx
=
1
l

l
0
f(x) sen

n
x

dx +
1
l

2l
l
f(2 l x) sen

n
x

dx
=
1
l

l
0
f(x) sen

n
x

dx
1
l

0
l
f(s) sen

n
(2 l s)

ds
=
1
l

l
0
f(x) sen

n
x

dx +
1
l

l
0
(1)
n+1
f(s) sen

n
s

ds.
Logo:
b
n
=

0 se n = 2 k
1
l

l
0
f(x) sen

n
x

dx se n = 2 k 1.
4. A soluo do problema (7.7) :
u(x, t) =

n=1
b
2n1
sen

n
x

exp

2
n
t

tal que
n
=
(2 n 1)
2 l
e:
b
2n1
=
2
l

l
0
f(x) sen

n
x

dx.
5. Fica como exerccio vericar que esta soluo a clssica.
Em resumo:
Corolrio 7.6. O problema:

u
t
=
2
u
xx
, se (x, t)
u(0, t) = 0, t 0
u
x
(l, t) = 0, t 0
u(x, 0) = f(x), se x [0, l].
tem a nica soluo clssica:
7.9. PROBLEMA DE ROBIN 215
u(x, t) =

n=1
b
2n1
sen

n
x

exp

2
n
t

tal que
n
=
(2 n 1)
2 l
e:
b
2n1
=
2
l

l
0
f(x) sen

n
x

dx.
Exemplo 7.4.
Considere:

u
t
= u
xx
, se (x, t)
u(0, t) = 0, t 0
u
x
(1, t) = 0, t 0
u(x, 0) = 1 cos( x), se x [0, 1].
(7.8)
A soluo do problema (7.7) :
u(x, t) =

n=1
b
2n1
sen

n
x

exp

2
n
t

tal que
n
=
(2 n 1)
2
e:
b
2n1
= 2

1
0
(1 cos( x)) sen

(2 n 1) x
2

dx
=

1
0

2 sen

(2 n 1) x
2

sen

(2 n 1) x
2

sen

(2 n + 3) x
2

dx
=
16
(2 n 3) (2 n + 1) (2 n 1)
.
Logo:
u(x, t) =

n=1
16 sen

n
x

exp

2
n
t

(2 n 3) (2 n + 1) (2 n 1)
,
onde
n
=
(2 n 1)
2
.
216 CAPTULO 7. EQUAO DO CALOR
0.2 0.4 0.6 0.8 1.0
0.5
1.0
1.5
2.0
Figura 7.13: Grcos da soluo para diferentes t
7.10 Calor num Anel
Considere = (l, l) (0, +) e:

u
t
=
2
u
xx
, se (x, t)
u(l, t) = u(l, t), t 0
u
x
(l, t) = u
x
(l, t), t 0
u(x, 0) = f(x), se x [l, l],
(7.9)
tal que f(l) = f(l). Este problema misto para estudar a evoluo do calor
num anel formado de um arame de comprimento 2 l, nas mesmas condies do
problema de Dirichlet Homogneo, salvo que nos extremos. Note que o raio do
anel l/.
Figura 7.14: Arame em forma de anel
7.10.1 Separao das Variveis
Procuramos solues no nulas do tipo:
7.10. CALOR NUM ANEL 217
u(x, t) = X(x) T(t).
Como antes, omitiremos a varivel independente das funes.
1. Como u deve ser soluo do problema:
u
t
= X T

,
u
xx
= X

T.
2. A edp do calor pode ser reescrita como:
X

T =
1

2
X T

X
=
1

2
T

T
= p, p R.
3. Do tem anterior obtemos:

p X = 0, l < x < l
T

p
2
T = 0, t > 0.
4. Obtemos um PSL regular peridico:

p X = 0, l < x < l
X(l) = X(l)
X

(l) = X

(l),
e a edo:
T

p
2
T = 0.
5. O PSL possui solues no nulas se: = 0, ento obtemos X(x) = 1 e se
< 0, ento, considerando
2
, obtemos:
X
n
(x) = A
n
cos

n
x

+ B
n
sen

n
x

,
onde
n
=
n
l
, n N.
6. A edo T

2
T = 0 tem soluo, para cada n N:
T
n
(t) = B
n
exp

n
t

.
218 CAPTULO 7. EQUAO DO CALOR
7. Para = 0, X e T so constantes; denotemos esta soluo por:
u
0
(x, t) =
a
0
2
.
8. Logo, obtemos para cada n N:
u
n
(x, t) =
a
0
2
+X
n
(x) T
n
(t) =
a
0
2
+

a
n
cos

n
x

+b
n
sen(
n
x)

exp

2
n
t

.
9. As funes u
n
= u
n
(x, t) so de classe C
2
e so solues da edp do calor em
para cada n N.
Analogamente ao feito nos outros problemas do calor, temos que a soluo cls-
sica de (7.9), :
u(x, t) =
a
0
2
+

n=1

a
n
cos

n x
l

+ b
n
sen

n x
l

exp

n
l

2
t

.
Por outro lado, observemos que:
f(x) = u(x, 0) =
a
0
2
+ a
n
cos

n x
l

+ b
n
sen

n x
l

, x [l, l].
Ento:
a
0
=
1
l

l
l
f(x) dx
a
n
=
1
l

l
l
f(x) cos

n x
l

dx, n 1
b
n
=
1
l

l
l
f(x) sen

n x
l

dx, n 1.
Exemplo 7.5.
Seja

u
t
=
2
u
xx
, se < x < , t > o
u(, t) = u(, t), t 0
u
x
(, t) = u
x
(, t), t 0
u(x, 0) = sen(2 x), se x [, ].
7.10. CALOR NUM ANEL 219
Ento, a
0
= a
n
= 0, para todo n N e b
n
= 0, para todo n = 2 e b
2
= 1. Logo, a
soluo :
u(x, t) = sen(2 x) exp(4 t).
3 2 1 1 2 3
1.0
0.5
0.5
1.0
Figura 7.15: Grcos da soluo para diferentes t
220 CAPTULO 7. EQUAO DO CALOR
7.11 Exerccios
1. Considere = 1 na edp do calor e ache a soluo formal dos seguintes proble-
mas:
a)

u(0, t) = u(1, t) = 0, t 0
u(x, 0) = 3 sen

5 sen

4 x

, x [0, 1]
b)

u(0, t) = u(, t) = 0, t 0
u(x, 0) =

x 0 x < /2
x /2 x <
c)

u(0, t) = 1, t 0
u(1, t) = 0, t 0
u(x, 0) = 1 x, x [0, 1]
d)

u(0, t) = 1, t 0
u(1, t) = 4, t 0
u(x, 0) = (x 1)
2
, x [0, 1]
e)

u(0, t) = u(1, t) = T
0
, t 0
u(x, 0) = T
0
+ x(x 1), x [0, 1]
f)

u(0, t) = T
0
, t 0
u(l, t) = T
1
, t 0
u(x, 0) = T
0
+

T
1
T
0

x
l
, x [0, l]
2. Considere o problema do calor numa barra de 100 cm de comprimento tal que
oos extremos so mantidos a zero graus. Determine a evoluo da temperatura
na barra, se a barra feita de prata (
2
= 1.7), de aluminio (
2
= 0.85) e:
a)
u(x, 0) =

x 0 x < 50
100 50 x 100
b)
u(x, 0) = x(100 x), 0 x 100
7.11. EXERCCIOS 221
3. No tem anterior, determine a temperatura da barra aps 1 hora. (Utilize a
aproximao de u para t grande).
4. Ache a soluo do seguinte problema do calor. Suponha uma barra nas hip-
teses do problema de Dirichlet Homogneo:

u
t
=
2
u
xx
, (x, t)
u(0, t) = 0, t 0
u
x
(l, t) = 0, t 0
u(x, 0) = f(x), x [0, l]
5. Ache a soluo do seguinte problema do calor. Suponha uma barra nas hip-
teses do problema de Dirichlet Homogneo:

u
t
=
2
u
xx
, (x, t)
u
x
(0, t) = 0, t 0
u(l, t) = 0, t 0
u(x, 0) = f(x), x [0, l]
222 CAPTULO 7. EQUAO DO CALOR
Captulo 8
EQUAO DA ONDA
Sejam:
= (0, l) (0, +), = [0, l] [0, +) e
= {(0, t) / t 0} {(l, t) / t 0} {(x, 0), x [0, l]}.
A edp da onda (unidimensional) :
u
tt
= c
2
u
xx
, (x, t) ,
onde a varivel x representa a posio e a varivel t, tempo. Adeduo desta edp
no difcil e pode ser vista em ([FD]).
No difcil ver que a funo u : R R R, denida por:
u(x, t) = sen(x + c t) + sen(x c t)
uma soluo da edp da onda, em particular, u = u(x, t) uma soluo em .
Figura 8.1: Grco de u = u(x, t).
223
224 CAPTULO 8. EQUAO DA ONDA
Considere uma corda feita de material homogneo, com densidade e compri-
mento l; a corda se desloca apenas no plano vertical e a amplitude da vibrao
sucientemente pequena de modo que podemos supor que um ponto da corda
somente se desloca na vertical e a tenso na corda no varia apreciavelmente; a
constante de propagao dada por c =

/.
Seja:

u
tt
= c
2
u
xx
, se (x, t)
u(0, t) = u(l, t) = 0, t 0
u(x, 0) = f(x), se x [0, l]
u
t
(x, 0) = g(x), se x [0, l].
(8.1)
Osistema descreve o deslocamento vertical de uma corda de comprimento l e que
vibra com extremos xos (u(0, t) = u(l, t) = 0, t 0), com congurao inicial f e
velocidade inicial g.
Figura 8.2: Congurao inicial (t = 0)
ar A soluo deve satisfazer condio u C
0

C
2

), isto , deve ser cont-


nua em e de classe C
2
em , f C
2

[0, l]

e tal que:
f(0) = f(l) = f

(0) = f

(l) = 0
e g C
1

[0, l

tal que g(0) = g(l) = 0.


8.1 Separao das Variveis
Procuramos solues no nulas do tipo:
u(x, t) = X(x) T(t).
Como antes omitiremos a varivel independente das funes.
1. Como u deve ser soluo do problema:
8.1. SEPARAO DAS VARIVEIS 225
u
tt
= X T

,
u
xx
= X

T.
2. A edp da onda pode ser reescrita como:
c
2
X

T = X T

X
=
1
c
2
T

T
.
3. Logo:
X

X
=
1
c
2
T

T
= p, p R.
4. Do tem anterior obtemos:

p X = 0, 0 < x < l
T

p c
2
T = 0, t > 0.
5. Por outro lado:
0 = u(0, t) = X(0) T(t), para todo t > 0 X(0) = 0
0 = u(l, t) = X(l) T(t), para todo t > 0 X(l) = 0.
6. Dos tens anteriores obtemos um PSL regular:

p X = 0, 0 < x < l
X(0) = X(l) = 0,
e a edo T

p c
2
T = 0.
7. O PSL possui somente solues no nulas se p =
2
, = 0,ento:
X
n
(x) = sen

n
x

,
onde
n
=
n
l
, para cada n N.
8. A edo T

2
n
c
2
T = 0, para cada n N, tem soluo:
T
n
(t) = A
n
cos(c
n
t) + B
n
sen(c
n
t),
226 CAPTULO 8. EQUAO DA ONDA
9. Logo, obtemos para cada n N:
u
n
(x, y) = X
n
(x) T
n
(t) =

a
n
cos

c
n
t

+ b
n
sen

c
n
t

sen

n
x

.
10. imediato que as funes u
n
= u
n
(x, t) so de classe C
2
e so solues da
edp da onda em para cada n N. De fato:
(u
n
)
tt
= c
2

2
n

a
n
cos

c
n
t

+ b
n
sen

c
n
t

sen

n
x

(u
n
)
xx
=
2
n

a
n
cos

c
n
t

+ b
n
sen

c
n
t

sen

n
x

.
Pelo princpio de superposio das solues, a soluo formal do problema :
u(x, t) =

n=1
u
n
(x, t),
isto :
u(x, t) =

n=1

a
n
cos

c n t
l

+ b
n
sen

c n t
l

sen

n x
l

. (8.2)
8.2 Anlise da Soluo
O anlise da candidata soluo clssica do problema (8.2) anloga feita para
a edp do Calor I.
Teorema 8.1. Se f, g, f

, f

, g

[0, l]

tais que g(0) = g(l) = 0, f(0) = f(l) = 0,


f

(0) = f

(l) = 0, f
(3)
e g

contnuas por partes, ento (8.2) dene uma soluo clssica


de (8.1).
Consideremos a soluo formal (8.2):
u(x, t) =

n=1

a
n
cos

c n t
l

+ b
n
sen

c n t
l

sen

n x
l

.
Primeiramente note que u(0, t) = u(l, t) = 0 para todo t (0, +). Por outro
lado, como f, g C

[0, l]

, ento:
f(x) = u(x, 0) =

n=1
a
n
sen

n x
l

, x [0, l],
isto , f deve possuir srie dos senos; se a srie anterior converge em [0, l], ento
converge emR para a extenso peridica de perodo 2l mpar de f; logo:
8.2. ANLISE DA SOLUO 227
a
n
=
2
l

l
0
f(x) sen

n x
l

dx, n N.
Determinemos b
n
; como f, g C
1

[0, l]

, derivemos formalmente u = u(x, t):


u
t
(x, t) =

n=1

a
n

n
c sen

c
n
t

+ b
n

n
c cos

c
n
t

sen

n
x

u
t
(x, 0) =

n=1
b
n

n
c sen

n
x

.
Como u
t
(x, 0) = g(x), x [0, l], temos:
b
n
=
2
n c

l
0
g(x) sen(
n x
l
) dx.
Por outro lado:

a
n
cos

c n t
l

+ b
n
sen

c n t
l

sen

n x
l

< |a
n
| +|b
n
|,
Logo, basta mostrar que a srie

n=1
|a
n
| +|b
n
| converge.
Considerando que f(0) = f(l) = f

(0) = f

(l) = 0, e, como antes, integrando por


partes sucessivamente, temos:
a
n
=
2 l
2
n
3

l
0
f
(3)
(x) cos(
n
x) dx
n c
l
b
n
=
2 l
n
2

l
0
g

(x) sen(
n
x) dx
Logo, existem constantes C
1
e C
2
tais que:
|a
n
|
C
1
n
3
e |b
n
|
C
2
n
3
,
Por outro lado, se c
n
e d
n
so os coecientes de Fourier de f
(3)
e g

, respectiva-
mente, como na edp do calor, podemos vericar que:
|a
n
|
k
1
n
3
|c
n
| e |b
n
|
k
2
n
3
|d
n
|,
k
1
, k
2
> 0; ento:
228 CAPTULO 8. EQUAO DA ONDA
n
2
|a
n
|
k
1
2

1
n
2
+|c
n
|
2

n
2
|b
n
|
k
2
2

1
n
2
+|d
n
|
2

,
donde:

n=1

n
2
|a
n
| + n
2
|b
n
|

n=1
1
n
2
+|c
n
|
2
+|d
n
|
2

< ,
pela desigualdade de Bessel; logo, u C
0

C
2

).
8.3 Validade da Soluo
Considere a soluo de (8.1):
u(x, t) =

n=1

a
n
cos

c n t
l

+ b
n
sen

n t
l

sen

n x
l

,
tal que:
a
n
=
2
l

l
0
f(x) sen(
n x
l
) dx
b
n
=
2
n c

l
0
g(x) sen(
n x
l
) dx.
Por outro lado, pela linearidade, podemos considerar u = u
1
+ u
2
tal que:
u
1
(x, t) =

n=1
a
n
cos

c n t
l

sen

n x
l

u
2
(x, t) =

n=1
b
n
sen

c n t
l

sen

n x
l

.
8.4 Primeiro Caso
No difcil ver que u = u
1
soluo de:
8.4. PRIMEIRO CASO 229

u
tt
= c
2
u
xx
, se (x, t)
u(0, t) = u(l, t) = 0, t 0
u(x, 0) = f(x), se x [0, l]
u
t
(x, 0) = 0, se x [0, l].
Este problema descreve uma corda que vibra livremente e tem soluo:
u
1
(x, t) =

n=1
a
n
cos

c n t
l

sen

n x
l

. (8.3)
Utilizando a identidade sen(a) cos(b) =
1
2

sen(a + b) + sen(a b)

, podemos
reescrever (8.3) como:
u
1
(x, t) =
1
2

F(x + c t) + F(x c t)

,
onde:
F(x) =

n=1
a
n
sen

n x
l

.
Proposio 8.1. F a extenso mpar, peridica de perodo 2 l de f.
De fato, como f C
1

[0, l]

e f(0) = f(l) = 0; ento:


1. u
1
(x, 0) =
1
2

F(x) + F(x)

= F(x) = f(x) se x [0, l].


2. De fato, 0 = u
1
(0, t) =
1
2

F(c t) + F(c t)

, para todo t 0; logo


F(y) = F(y), para todo y R.
3. Por outro lado 0 = u
1
(l, t) =
1
2

F(l + c t) +F(l c t)

, para todo t 0; logo


F(l y) = F(l y), para todo y R.
4. Se y R, temos F(y + 2 l) = F(l + (y + l)) = F(l (y + l)) = F(y) e:
F(y + 2 l) = F(y), para todo y R.
230 CAPTULO 8. EQUAO DA ONDA
5. Se f C
1

[0, l]

, ento F C
1

; logo:
u
1
t
=
c
2

(x + c t) F

(x c t)

u
1
t

t=0
= 0.
6. Logo, (8.3) uma soluo do problema.
Exemplo 8.1.
Ache a soluo de

u
tt
= u
xx
, se (x, t)
u(0, t) = u(2, t) = 0, t 0
u(x, 0) = sen( x), se x [0, 2]
u
t
(x, 0) = 0, se x [0, 2].
Como c = 1 e f(x) = sen( x), claramente a extenso mpar, peridica de perodo
2 F(x) = sen( x), ento:
u(x, t) =
1
2

sen( (x + t)) + sen( (x t))

= sen( x) cos( t).


0.5 1.0 1.5 2.0
1
1
Figura 8.3: Grco de u(x, t) para diferentes t
8.5. SEGUNDO CASO 231
0.0
0.5
1.0
1.5
2.0
0.0
0.5
1.0
1.5
2.0
1.0
0.5
0.0
0.5
1.0
Figura 8.4: Grco de u(x, t)
8.5 Segundo Caso
No difcil ver que u = u
2
soluo de:

u
tt
= c
2
u
xx
, se (x, t)
u(0, t) = u(l, t) = 0, t 0
u(x, 0) = 0, se x [0, l]
u
t
(x, 0) = g(x), se x [0, l].
Este problema tem soluo:
u
2
(x, t) =

n=1
b
n
sen

c n t
l

sen

n x
l

.
Fazendo c
n
=
n c b
n
l
, ento:
u
2
(x, t) =
l
c

n=1
c
n
n
sen

c n t
l

sen

n x
l

.
1. Derivemos u
2
em relao a t:
232 CAPTULO 8. EQUAO DA ONDA
u
2
t
=

n=1
c
n
cos

c n t
l

sen

n x
l

=
1
2

n=1
c
n

sen

n
l

x + c t)

+ sen

n
l

x c t)

,
srie que converge uniformemente.
2. Seja:
G(x) =

n=1
c
n
sen

n x
l

.
3. G a extenso peridica de perodo 2 l, mpar de g.
4. Logo:
u
2
t
=
1
2

G(x + c t) + G(x c t)

.
5. Do tem anterior, integrando:
u
2
(x, t) =
1
2

t
0
G(x + c ) d +

t
0
G(x c ) d

=
1
2 c

x+ct
xct
G() d.
Ento,
u
2
(x, t) =
1
2 c

x+ct
xct
G() d. (8.4)
6. Logo, u
2
(x, 0) = 0, e:
u
2
t
(x, 0) = G(x) = g(x), x [0, l].
7. As condies de contorno so:
8.5. SEGUNDO CASO 233
u
2
(0, t) =
1
2

t
0
G(c ) d +

t
0
G(c ) d

=
1
2

t
0
G(c ) d

t
0
G(c ) d

= 0.
u
2
(l, t) =
1
2

t
0
G(l + c ) d +

t
0
G(l c ) d

=
1
2

t
0
G(l + c ) d

t
0
G(l + c ) d

= 0
8. (8.4) uma soluo do problema.
Teorema 8.2. Existe uma nica soluo u C
2

tal que:
u(x, t) =
1
2

F(x + c t) + F(x c t)

+
1
2 c

x+ct
xct
G() d, (8.5)
(x, t) ; onde F, G : R R so extenses peridicas de perodo 2 l, mpares de f e g
respectivamente tais que f(0) = f(l) = g(0) = g(l) = f

(0) = f

(l) = 0. Ento, (8.5)


soluo do problema (8.1).
Esta soluo chamada de Bernoulli.
Exemplo 8.2.
[1] Ache a soluo de:

u
tt
= u
xx
, se (x, t)
u(0, t) = u(l, t) = 0, t 0
u(x, 0) = sen(x), se x [0, ]
u
t
(x, 0) = sen(x) cos(x), se x [0, ].
Como f(x) = sen(x), ento
1
2

f(x +t) +f(x t)

= sen(x) cos(t); por outro lado


g() = sen() cos(), ento:
1
2

x+t
xt
g() =
1
4
sen(2 x) sen(2 t).
234 CAPTULO 8. EQUAO DA ONDA
Logo, a soluo do problema :
u(x, t) = sen(x) cos(t) +
1
4
sen(2 x) sen(2 t).
1
Figura 8.5: u(x, t) para diversos t
Figura 8.6: Grco de u(x, t)
Como na edp do calor, muitas aplicaes no tem a regularidade requerida pelos
teoremas. possvel introduzir hipteses mais fracas para a obteno de solues
para a edp da ondas.
[2] A corda dedilhada: Considere o problema:

u
tt
= c
2
u
xx
, se (x, t)
u(0, t) = u(1, t) = 0, t 0
u(x, 0) = f(x), se x [0, 1]
u
t
(x, 0) = 0, se x [0, 1],
8.6. HARMNICOS E NODOS 235
onde:
f(x) =

a x, se 0 x
1
2
a (1 x) se
1
2
x 1.
1
a/2
1/2
Figura 8.7:
A funo f no derivvel em
l
2
; ento u no derivvel em
l
2
. Para estes tipos
de problemas, calculamos u = u(x, t) utilizando (8.2):
a
n
= 2 a

1/2
0
xsen(n x) dx +

1
1/2
(1 x) sen(n x) dx

=
4 a
n
2

2
sen

n
2

=
4 a (1)
3n1
n
2

2
.
A soluo :
u(x, t) =

n=1
4 a (1)
3n1
n
2

2
cos(nc t) sen(n x).
8.6 Harmnicos e Nodos
A soluo:
u(x, t) =

n=1

a
n
cos

c
n
t

+ b
n
sen

c
n
t

sen

n
x

,
onde
n
=
n
l
, representa o movimento da corda como superposio de um
nmero innito de vibraes com frequncias diferentes. As funes:
236 CAPTULO 8. EQUAO DA ONDA
u
n
(x, y) =

a
n
cos

c
n
t

+ b
n
sen

c
n
t

sen

n
x

,
representam vibraes com frequncias:

n
=
c
n
2
=
n
2 l

.
As solues u
n
= u
n
(x, t) tambm so ditas ondas estacionrias ou n-simo har-
mnico ou n-sima tnica; a primeira tnica chamada fundamental e tem fre-
quncia
1
que, em geral, a que predomina no som. Note que a frequncia
fundamental no depende das condies iniciais; uma propriedade intrnseca
da corda.
Por outro, lado se x
0
=
k l
n
, k = 0, 1, 2, . . ., ento sen

n
x
0

= 0 e consequente-
mente u
n
= 0. Estes pontos so os nicos pontos que permanecem xos na corda,
enquanto ela vibra, e so chamados nodos da onda estacionria, dependendo
apenas de n.
, , ,
Figura 8.8:
O dobro da distncia entre dois nodos consecutivos o comprimento de onda da
onda estacionria; isto ,
2 l
n
.
Fazendo a mudana
n
=

a
2
n
+ b
2
n
e
n
= arctg

a
n
b
n

, temos que:
u
n
(x, t) =
n
sen

n
c t +
n

sen(
n
x);

n
chamada fase da onda. Para os t, tais que
n
c t+
n
= k , k = 0, 1, . . ., a corda
passa pela posio de equilbrio; nesse momento a derivada (u
n
)
t
mxima.
8.7 Soluo de dAlembert
A edp da onda uma das poucas edps que possuem uma soluo geral:
Proposio 8.2. Se u uma soluo da edp da onda, ento existem F, G : R R de
classe C
2

tais que
u(x, t) = F(x + c t) + G(x c t).
8.7. SOLUO DE DALEMBERT 237
Considere a seguinte mudana de variveis:

= x + c t
= x c t.
Fazendo v(, ) = u(x, t), temos:
u
x
= v

+ v

,
u
t
= c v

c v

u
tt
= c
2

2 v

+ v

e
u
xx
= v

2 v

+ v

.
Logo, a edp da onda ca:
v

= 0.
Isto , no depende de , logo: v

= g(). Integrando diretamente obtemos


v(, ) = F() + G(); voltando s variveis originais:
u(x, t) = F(x + c t) + G(x c t).
Esta soluo dita de dAlembert.
Claramente a recproca verdadeira. De fato, se u(x, t) = F(x + c t) + G(x c t),
ento u
xx
= F

(x + c t) + G

(x c t), temos que


u
tt
= c
2

(x + c t) + G

(x c t)

= c
2
u
xx
.
O grco da funo F(x + c t) descreve uma onda movendo-se para a esquerda
com velocidade c. Note que x + c t uma translao do sistema de coordenadas
esquerda com velocidade c t. Analogamente, o grco da funo G(x c t)
descreve uma onda movendo-se para a direita com velocidade c; logo a soluo
u descreve a superposio de duas ondas movendo-se com velocidade c.
Por exemplo, seja u(x, t) = sen(x+t)+sen(xt), sen(x+t) (vermelho) e sen(xt)
(verde):
238 CAPTULO 8. EQUAO DA ONDA
-1 1
-1
1
Figura 8.9:
A soluo de dAlembert implica em que a soluo da edp da onda depende
apenas dos pontos do intervalo [x c t, x + c t].
8.8 A Onda Innita
Vamos estudar a vibrao de uma corda de comprimento innito. Neste caso,
no existem condies de fronteira.
Sejam:
= R (0, +);
= R [0, +).

u
tt
= c
2
u
xx
, se (x, t)
u(x, 0) = f(x), se x R
u
t
(x, 0) = g(x), se x R.
(8.6)
O sistema descreve o movimento de uma corda nas mesmas hipteses anteriores,
salvo, que o comprimento innito. Note que as funes envolvidas no so
necessriamente peridicas. Por tanto, para os casos no peridicos no podemos
utilizar Fourier.
8.8. A ONDA INFINITA 239
Figura 8.10:
Pelo teorema, sabemos que u(x, t) = F(x + c t) + G(x c t). Por outro lado:
1. f(x) = u(x, 0) = F(x) + G(x),
2. u
t
(x, t) = c F

(x +c t) c G

(x c t); logo, g(x) = u


t
(x, 0) = c F

(x) c G

(x).
Obtemos:

(1) F(x) + G(x) = f(x)


(2) F

(x) G

(x) =
1
c
g(x),
integrando (2), temos:
F(x) G(x) =
1
c

x
0
g(s) ds,
logo:

(1) F(x) + G(x) = f(x)


(2

) F(x) G(x) =
1
c

x
0
g(s) ds,
somando (1) + (2

), temos:
F(x) =
1
2

f(x) +
1
c

x
0
g(s) ds

.
Por outro lado, substraindo (1) (2

), temos:
G(x) =
1
2

f(x)
1
c

x
0
g(s) ds

.
Ento:
u(x, t) =
1
2

f(x + c t) + f(x c t)

+
1
2 c

x+ct
xct
g(s) ds. (8.7)
240 CAPTULO 8. EQUAO DA ONDA
Compare este resultado com (8.5).
Exemplo 8.3.
[1] Considere o problema:

u
tt
= u
xx
, se (x, t)
u(x, 0) = exp(x
2
), se x R
u
t
(x, 0) = 0, se x R.
.
A soluo de dAlembert :
u(x, t) =
1
2

f(x + t) + f(x t)

=
1
2

exp((x + t)
2
) + exp((x t)
2
)

= exp((x
2
+ t
2
))
1
2

exp(2 xt) + exp(2 xt)

= exp((x
2
+ t
2
)) cosh(2 xt).
A seguir o comportamento da onda, para diferentes t:
1 1
Figura 8.11:
1 1
Figura 8.12:
8.8. A ONDA INFINITA 241
1 1
Figura 8.13:
1
,
Figura 8.14:
[2] Considere o problema:

u
tt
= u
xx
, se (x, t)
u(x, 0) = exp(x
2
), se x R
u
t
(x, 0) = x, se x R.
.
A soluo de dAlembert :
u(x, t) =
1
2

f(x + t) + f(x t)

+
1
2

x+t
xt
s ds
= exp((x
2
+ t
2
)) cosh(2 xt) xt.
A seguir o comportamento da onda, para diferentes t:
242 CAPTULO 8. EQUAO DA ONDA
1
1
Figura 8.15:
1 1
Figura 8.16:
1
1
Figura 8.17:
8.8. A ONDA INFINITA 243
1
,
Figura 8.18:
Como antes, novamente insistimos em que possvel introduzir condies mais
fracas para obter solues para a edp da onda.
[3] Considere o problema da onda innita tal que c = 1, g = 0 e:
f(x) =

0 se |x| > 1
2 |x| + 2 se |x| 1.
f no de classe C
2
e a funo u = u(x, t) denida em (8.5) contnua:
u(x, t) = 2 |x t| |x + t|.
Mas as derivadas tem descontinuidades ao longo das retas x t = 1, x t = 1,
x + t = 0 e x + t = 1. A seguir o comportamento da onda, para diferentes t:
-4 -2 2 4
0.5
1
1.5
2
-4 -2 2 4
0.2
0.4
0.6
0.8
1
Figura 8.19:
244 CAPTULO 8. EQUAO DA ONDA
-4 -2 2 4
0.2
0.4
0.6
0.8
1
-4 -2 2 4
0.2
0.4
0.6
0.8
1
Figura 8.20:
-4 -2 2 4
0.2
0.4
0.6
0.8
1
-4 -2 2 4
0.2
0.4
0.6
0.8
1
Figura 8.21:
-4 -2 2 4
0.2
0.4
0.6
0.8
1
-4 -2 2 4
0.2
0.4
0.6
0.8
1
Figura 8.22:
8.8.1 Reversibilidade da edp da onda
A soluo (8.7) tambm vlida para todo (x, t) R R. O conhecimento da
congurao inicial da corda tambm determina sua congurao em tempos
8.8. A ONDA INFINITA 245
anteriores. Logo, o estado da corda no tempo t = 0 pode ser obtido deixando
evoluir a corda a partir de condies iniciais adequadas. Por exemplo, xando
condies u(x, 1) e u
t
(x, 1) e deixando evoluir a corda a partir desta condio,
vericaremos que aps uma unidade de tempo, a corda alcana o estado u(x, 0)
com velocidade u
t
(x, 0).
Aedp da onda invariante por mudanas do tipo t t, que invertem o sentido
do tempo e mudam o "passado"pelo "futuro"da corda.
246 CAPTULO 8. EQUAO DA ONDA
8.9 Exerccios
1. Considere c = 1 na edp de onda e ache a soluo formal dos seguintes proble-
mas:
a)

u(0, t) = u(1, t) = 0, t 0
u(x, 0) = 0, x [0, 1]
u
t
(x, 0) = c
0
, x [0, 1]
b)

u(0, t) = u(1, t) = 0, t 0
u(x, 0) = x(x 1), x [0, 1]
u
t
(x, 0) = 0, x [0, 1]
c)

u(0, t) = u(, t) = 0, t 0
u(x, 0) = 3 sen(x), x [0, ]
u
t
(x, 0) = 0, x [0, ]
d)

u(0, t) = u(, t) = 0, t 0
u(x, 0) = 0, x [0, ]
u
t
(x, 0) = 8 sen
2
(x), x [0, ]
e)

u(0, t) = u(, t) = 0, t 0
u(x, 0) = 0, x [0, ]
u
t
(x, 0) = xsen(x), x [0, ]
f)

u(0, t) = u(, t) = 0, t 0
u(x, 0) = sen(x), x [0, ]
u
t
(x, 0) = x
2
x, x [0, ]
g)

u(0, t) = u(3, t) = 0, t 0
u(x, 0) =
sen(x)
4
, x [0, 3]
u
t
(x, 0) = 10 sen(2 x), x [0, 3]
2. Ache a soluo formal dos seguintes problemas de onda:
8.9. EXERCCIOS 247
a)

u
tt
= c
2
u
xx
, (x, t)
u(0, t) = 0, t 0
u
x
(, t) = 0, t 0
u(x, 0) = x + cos(x), x [0, ]
u
t
(x, 0) = 1 sen(x/2), x [0, ]
b)

u
tt
= c
2
u
xx
, (x, t)
u(0, t) = 0, t 0
u
x
(, t) = 0, t 0
u(x, 0) = cos(x), x [0, ]
u
t
(x, 0) = 0, x [0, ]
c)

u
tt
= c
2
u
xx
, (x, t)
u(0, t) = u(l, t) = 0, t 0
u(x, 0) = f(x), x [0, l]
u
t
(x, 0) = 0, x [0, l], e o grco de f
l
a
h
3. Determine a soluo de dLembert para o problema da corda de comprimento
innito:
a)

u(x, 0) = 0, x R
u
t
(x, 0) = c
0
, x R
b)

u(x, 0) = sen(x), x R
u
t
(x, 0) = x
2
, x R
c)

u(x, 0) = cos(x), x R
u
t
(x, 0) = e
1
, x R
248 CAPTULO 8. EQUAO DA ONDA
d)

u(x, 0) = ln(1 + x
2
), x R
u
t
(x, 0) = 2, x R
e)

u(x, 0) = x, x R
u
t
(x, 0) = sen(x), x R
f)

u(x, 0) = sen(x), x R
u
t
(x, 0) = sen(x), x R
Captulo 9
EQUAO DE LAPLACE
9.1 Funes Harmnicas e Princpio do Mximo
Consideremos a edp de Laplace:
u = 0, em
Uma funo contnua em que soluo da edp de Laplace dita harmnica.
Exemplo 9.1.
Claramente as funes:
u(x, y) = a x + b y + c; a, b, c R,
u(x, y) = x
2
y
2
,
u(x, y) =

a cos(k x) + b sen(k x)

exp(k y), k R
so harmnicas emR
2
.
Figura 9.1: Curvas de nveis de u(x, y) = x
2
y
2
e u(x, y) = 3 exp(0.5 y) sen(x),
respectivamente.
249
250 CAPTULO 9. EQUAO DE LAPLACE
Teorema 9.1. (Princpio do Mximo) Seja um aberto limitado em R
2
. Se u :
R contnua e harmnica em , ento u alcana seu mximo e seu mnimo em . Isto
, existem (x
1
, y
1
), (x
2
, y
2
) tais que:
u(x
1
, y
1
) u(x, y) u(x
2
, y
2
),
para todo (x, y) .
De fato, como e so fechados e limitados, ento u atinge o valor mximo M
em e o valor mximo m em . Suponhamos que m < M. Seja d o diamtro de
um disco que contenha e denamos v : R por:
v(x, y) = u(x, y) +
M m
2 d
2

(x x
0
)
2
+ (y y
0
)
2

,
onde (x
0
, y
0
) tal que M = u(x
0
, y
0
).
1. Para todo (x, y) :
v(x, y) m +
M m
2 d
2
d
2
=
M + m
2
< M,
2. Note que v(x
0
, y
0
) = u(x
0
, y
0
) = M. Logo, v deve atingir seu valor mximo em
e no em ; ento v
xx
0 e v
yy
0, no ponto onde atinge o mximo.
3. Por outro lado, em :
v = u +
M m
d
2
=
M m
d
2
> 0, para todos (x, y) ,
o que uma contradio. Logo o mximo deve ser atingido em . Para o valor
mnimo consideramos u(x, y).
Considere o problema de Dirichlet:

u = 0, em
u = f, em .
Corolrio 9.2. (Unicidade) O problema de Dirichlet, possui uma nica soluo.
Se u
1
e u
2
so solues do problema de Dirichlet, ento u = u
1
u
2
harmnica
em , e u(x, y) = 0, para todo (x, y) . Pelo princpio do mximo u(x, y) = 0,
para todo (x, y) ; logo u
1
= u
2
.
No difcil vericar que, em coordenadas polares, a edp de Laplace ca:
r
2
v
rr
+ r v
r
+ v

= 0,
onde v(r, ) = u(x, y). De fato, seja (r, ) = (0, +) (0, 2 ):
9.2. PROBLEMA DE DIRICHLET EM RETNGULOS 251

x = r cos()
y = r sen(),
ento:
r
xx
=
sen
2
()
r
, r
yy
=
cos
2
()
r
,

xx
=
2 sen() cos()
r
2
e
yy
=
2 sen() cos()
r
2
,
logo:
u
xx
= r
2
x
v
rr
+ r
xx
v
r
+ 2 r
x

x
v
r
+
2
x
v

+
xx
v

u
yy
= r
2
y
v
rr
+ r
yy
v
r
+ 2 r
y

y
v
r
+
2
y
v

+
yy
v

e:
u
xx
+ u
yy
= 0 r
1
2
v
rr
+ r v
r
+ v

= 0.
Esta edp tem coecientes variveis que se anulam em r = 0. No caso em que
v(r, ) = h(r), isto , v s depende de r, a edp de Laplace ca:
r
2
h

+ r h

= 0, r (0, ),
a qual tem solues l.i. h
1
(r) = 1 e h
2
(r) = ln(r); logo, v(r, ) = ln(r) harmnica
emR{(0, 0)}. Esta soluo dita soluo fundamental da edp de Laplace, pois
utilizada para construir outras funes harmnicas.
9.2 Problema de Dirichlet em Retngulos
A soluo deste problema para arbitrrio muito difcil. Consideraremos ape-
nas o problema quando um retngulo.
Sejam:
= (0, a) (0, b); a, b > 0, = [0, a] [0, b] e
=
1

2

3

4
,
onde:
252 CAPTULO 9. EQUAO DE LAPLACE

1
= {(0, y) / 0 y b}

2
= {(a, y) / 0 y b}

3
= {(x, 0), 0 x a}

4
= {(x, b), 0 x a}.
u=0
b

0
a
f
g
f
g
2
2
1
1
Figura 9.2:
O problema de Dirichlet em :

u
xx
+ u
yy
= 0, se (x, y)
u(x, 0) = f
1
(x), se x [0, a]
u(x, b) = f
2
(x), se x [0, a]
u(0, y) = g
1
(y), se y [0, b]
u(a, y) = g
2
(y), se y [0, b],
(9.1)
tal que g
1
(0) = f
1
(0), f
1
(a) = g
2
(0), f
2
(a) = g
2
(a) e f
2
(0) = g
1
(b).
Pela linearidade, a idia inicial para achar a soluo de (9.1) separ-lo em dois
problemas de Dirichlet; cada um deles obtido fazendo dois das funes na fron-
teira iguais a zero. Obtendo as solues u
1
e u
2
de cada um destes problemas,
consideramos a soluo de (9.1):
u(x, y) = u
1
(x, y) + u
2
(x, y).
f
2
u = 0
f
1
0 0
u = 0 1
0
g
0
g
2
Figura 9.3:
9.2. PROBLEMA DE DIRICHLET EM RETNGULOS 253
Ns resolveremos o seguinte problema:

u
xx
+ u
yy
= 0, se (x, y)
u(x, 0) = f
1
(x), se x [0, a]
u(x, b) = f
2
(x), se x [0, a]
u(0, y) = 0, se y [0, b]
u(a, y) = 0, se y [0, b].
(9.2)
f
2
u = 0
f
1
0 0
Figura 9.4:
9.2.1 Separao das Variveis
Procuramos solues no nulas do tipo:
u(x, y) = X(x) Y (y).
1. Primeiramente observamos que X, Y = 0.
2. Como u deve ser soluo do problema:
u
xx
= X

Y,
u
yy
= X Y

.
3. A edp de Laplace pode ser reescrita como:
X

Y + X Y

X
=
Y

Y
.
4. Logo:
X

X
=
Y

Y
= p, p R.
254 CAPTULO 9. EQUAO DE LAPLACE
5. Do tem anterior obtemos:

p X = 0, 0 < x < a
Y

+ p Y = 0, 0 < y < b.
6. Por outro lado:
0 = u(0, y) = X(0) Y (y), para todo y > 0 X(0) = 0
0 = u(a, y) = X(a) Y (y), para todo y > 0 X(a) = 0.
7. Dos tens anteriores obtemos o PSL regular:
(1)

p X = 0, 0 < x < a
X(0) = X(a) = 0,
,
E a edo:
(2) Y

+ p Y = 0, 0 < y < b
8. O PSL (1) possui somente solues no nulas se p =
2
, = 0,ento:
X
n
(x) = A
n
sen

n
x

,
onde
n
=
n
a
, para cada n N.
9. A edo (2) s tem solues do tipo:
Y
n
(y) = B
n
cosh(
n
y) + C
n
senh(
n
y),
10. Para cada n N, temos:
u
n
(x, y) =

a
n
cosh(
n
y) + c
n
senh(
n
y)

sen

n
x

.
u
n
= u
n
(x, y) harmnica.
11. Pelo princpio de superposio, a candidata soluo clssica do problema
de Dirichlet :
u(x, y) =

n=1

a
n
cosh

n
a
y

+ c
n
senh

n
a
y

sen

n
a
x

. (9.3)
9.2. PROBLEMA DE DIRICHLET EM RETNGULOS 255
12. Utilizando as condies iniciais:
f
1
(x) = u(x, 0) =

n=1
a
n
sen

n
a
x

,
e como antes:
a
n
=
2
a

a
0
f
1
(x) sen

n
a
x

dx.
Por outro lado:
f
2
(x) = u(x, b) =

n=1

a
n
cosh

n
a
b

+ c
n
senh

n
a
b

sen

n
a
x

.
Denotemos por
n
=
n
a
e por:
b
n
=
2
a

a
0
f
2
(x) sen(
n
x) dx
ento:
a
n
cosh(
n
b) + c
n
senh(
n
b) = b
n
, n N;
logo:
c
n
=
b
n
a
n
cosh(
n
b)
senh(
n
b)
, n N
13. Finalmente, utilizando algumas identidades hiperblicas:
u(x, y) =

n=1
1
senh(
n
b)

a
n
senh(
n
(b y)) + b
n
senh(
n
y)

sen(
n
x).
14. Como a funo y = senh(x) estritamente crescente:
0
senh

n
y

senh

n
b
1, para todo n N, y [0, b].
15. Logo, (9.3) converge uniformemente se a srie de Fourier de f converge.
16. A srie (9.3) pode ser derivada termo a termo, mas a convergncia da srie
das derivadas muito mais delicada e vamos omit-la.
256 CAPTULO 9. EQUAO DE LAPLACE
Teorema 9.3. Se f C

[0, b]

diferencivel por partes em (0, b), f

contnua por
partes em (0, b) e f(0) = f(b) = 0, ento:

u
xx
+ u
yy
= 0, se (x, y)
u(x, 0) = f
1
(x), se x [0, a]
u(x, b) = f
2
(x), se x [0, a]
u(0, y) = 0, se y [0, b]
u(a, y) = 0, se y [0, b]
tem uma nica soluo clssica:
u(x, y) =

n=1
1
senh(
n
b)

a
n
senh(
n
(b y)) + b
n
senh(
n
y)

sen(
n
x),
onde
n
=
n
a
e tal que:
a
n
=
2
a

a
0
f
1
(x) sen

n
a
x

dx
b
n
=
2
a

a
0
f
2
(x) sen

n
a
x

dx.
De forma anloga o problema:

u
xx
+ u
yy
= 0, se (x, y)
u(x, 0) = 0, se x [0, a]
u(x, b) = 0, se x [0, a]
u(0, y) = g
1
(y) se y [0, b]
u(a, y) = g
2
(y), se y [0, b].
(9.4)
u = 0 1
0
g
0
g
2
Figura 9.5:
Tem uma nica soluo clssica:
9.2. PROBLEMA DE DIRICHLET EM RETNGULOS 257
u(x, y) =

n=1
1
senh(
n
a)

a
n
senh(
n
x) + b
n
senh(
n
(a x))

sen(
n
y),
onde
n
=
n
b
e tal que:
a
n
=
2
b

b
0
g
2
(y) sen(
n
y)) dy
b
n
=
2
b

b
0
g
1
(y) sen(
n
y)) dy.
Exemplo 9.2.
[1] Considere o problema:

u
xx
+ u
yy
= 0, se (x, y) (0, 1) (0, 1)
u(x, 0) = 0, se x [0, 1]
u(x, 1) = sen( x), se x [0, 1]
u(0, y) = 0, se y [0, 1]
u(1, y) = 0, se y [0, 1].
Pelo teorema, a soluo :
u(x, y) =

n=1
a
n
senh

n y

sen

n x

,
tal que:
a
n
=
2
senh

1
0
sen( x) sen

n x

dx =

0 n = 1
1
senh()
n = 1.
Logo,
u(x, y) =
1
senh()
senh( y) sen( x).
258 CAPTULO 9. EQUAO DE LAPLACE
Figura 9.6: Curvas de nvel de u = u(x, y)
[2] Considere o problema:

u
xx
+ u
yy
= 0, se (x, y) (0, 1) (0, 1)
u(x, 0) = sen(2 x), se x [0, 1]
u(x, 1) = sen( x), se x [0, 1]
u(0, y) = 0, se y [0, 1]
u(1, y) = 0, se y [0, 1].
Pelo teorema, a soluo :
u(x, y) =

n=1
1
senh(n)

a
n
senh(n (1 y)) + b
n
senh(n y)

sen(n x),
tal que:
a
n
= 2

1
0
sen( x) sen

n x

dx =

0 n = 2
1 n = 2
e
b
n
= 2

1
0
sen( x) sen

n x

dx =

0 n = 1
1 n = 1.
Logo,
u(x, y) =
1
senh()
senh( y) sen( x) +
1
senh(2 )
senh(2 (1 y)) sen(2 x).
9.2. PROBLEMA DE DIRICHLET EM RETNGULOS 259
Figura 9.7: Curvas de nvel de u = u(x, y)
[3] Considere o problema:

u
xx
+ u
yy
= 0, se (x, y) (0, 1) (0, 1)
u(x, 0) = 0, se x [0, 1]
u(x, 1) = 0, se x [0, 1]
u(0, y) = y (1 y), se y [0, 1]
u(1, y) = y (1 y), se y [0, 1].
Pelo teorema, a soluo :
u(x, y) =

n=1
1
senh(n)

a
n
senh(n x) + b
n
senh(n (1 x))

sen(n y),
tal que:
a
n
= b
n
= 2

1
0
x(1 x) sen

n x

dy =
4 (1 (1)
n
)
n
3

3
;
Logo, a
2n
= b
2n
= 0 e a
2n1
= b
2n1
=
8
(2 n 1)
3

3
, para todo n N. Finalmente:
u(x, y) =

n=1
8

senh((2 n 1) x) + senh((2 n 1) (1 x))

sen((2 n 1) y)
(2 n 1)
3

3
senh((2 n 1) )
.
260 CAPTULO 9. EQUAO DE LAPLACE
Figura 9.8: Curvas de nvel de u = u(x, y)
9.3 Problema de Dirichlet em Discos
Se um disco, ento no podemos utilizar diretamente o mtodo de separao
das variveis, pois = I J. Para poder descrever como produto cartesiano de
dois intervalos, utilizaremos coordenadas polares. Veja ([VC2]) na bibliograa.
Em coordenadas polares a edp de Laplace ca:
r
2
v
rr
+ r v
r
+ v

= 0,
onde v(r, ) = u(x, y).
9.4 Problema Interno a um Disco
Seja:
= {(x, y) R/ x
2
+ y
2
<
2
}
= {(x, y) R/ x
2
+ y
2
=
2
}.
9.4. PROBLEMA INTERNO A UM DISCO 261

Figura 9.9: em azul


Utilizando coordenadas polares:
= (0, ) (0, 2 )
= {(, ) / 0 2 }.
O problema de Dirichlet ca:

r
2
v
rr
+ r v
r
+ v

= 0, (r, )
v(, ) = f(), [0, 2],
Como v = v(r, ) deve ser peridica de perodo 2 , ento, v(r, ) = v(r, + 2 ) e
deve ser limitada se r 0
+
. Logo o problema ca:

r
2
v
rr
+ r v
r
+ v

= 0, (r, )
v(, ) = f(), [0, 2]
v(r, ) = v(r, + 2 ), (r, ) .
(9.5)
9.4.1 Separao das Variveis
Procuramos solues no nulas do tipo:
u(r, ) = R(r) ().
1. Primeiramente observamos que R, = 0.
2. Como v deve ser soluo do problema, devemos ter:
v
r
= R

u
rr
= R

= R

.
262 CAPTULO 9. EQUAO DE LAPLACE
3. A edp de Laplace pode ser reescrita como:
r
2
R

+ r R

= 0 r
2
R

R
+ r
R

R
=

.
4. Logo:
r
2
R

R
+ r
R

R
=

= p, p R.
5. Do tem anterior obtemos:

(1) r
2
R

+ r R

p R = 0, 0 < r <
(2)

+ p = 0, 0 < < 2 .
6. Se p = 0, de (2) temos que

= 0, logo () = A + B. Como deve ser


peridica, ento A = 0. Por outro lado, de (1) temos:
r
2
R

+ r R

= 0, que equivalente a
r

r R

= 0, logo:

r R

= 0, ento r R

= C, e R

=
C
r
;
ento R(r) = C ln(r) +D; como v deve ser limitada, ento C = 0 e obtemos
a soluo:
u
0
(r, ) = a
0
.
7. Se p < 0 as solues so nulas.
8. Se p > 0, consideremos p =
2
; logo, em (2) temos um PSL peridico:

+ p = 0, 0 < < 2
() = ( + 2 );
ento,
n
= n e a soluo :

n
() = a
n
cos(n) + b
n
sen(n).
9.4. PROBLEMA INTERNO A UM DISCO 263
9. De (1), obtemos:
r
2
R

+ r R

n
2
R = 0
uma edo de Euler com soluo R(r) = c
n
r
n
+ d
n
r
n
; como v deve ser limi-
tada, ento d
n
= 0, para todo n N, e:
R
n
(r) = c
n
r
n
.
10. Logo, obtemos para cada n N:
v
n
(r, ) = r
n

a
n
cos(n) + b
n
sen(n)

.
11. imediato que v
n
= v
n
(r, ) so de classe C
2
e so solues da edp de
Laplace em para cada n N.
12. Pelo princpio de superposio, a soluo formal do problema :
v(r, ) = a
0
+

n=1
r
n

a
n
cos(n) + b
n
sen(n)

. (9.6)
13. Por outro lado,
f() = v(, ) =
a
0
2
+

n=1

a
n
cos(n) + b
n
sen(n)

.
14. Se, por exemplo, f for diferencivel por partes, teremos convergncia uni-
forme da soluo (9.6). possvel provar, com hipteses mais fracas, a con-
vergncia da soluo (9.6).
15. Nestes casos, teremos que ter:
a
0
=
1
2

2
0
f() d,
a
n
=
1

2
0
f() cos(n) d,
b
n
=
1

2
0
f() sen(n) d,
264 CAPTULO 9. EQUAO DE LAPLACE
9.5 Estudo da Soluo
1. Note que (9.6) converge uniformemente se r < , pois:
|a
n
|
c

n
e |b
n
|
c

n
e a srie geomtrica:

n=0

n
converge se r < . De fato:
|v| r
n

|a
n
| +|b
n
|

n
.
Pelo mesmo argumento, v dene uma funo contnua em , pois basta
vericar que (9.6) converge uniformemente se r r
0
e r
0
< e a srie :

n=0

r
0

n
converge se r r
0
.
2. Para ver que (9.6) dene uma funo em C
2

, devemos vericar que as


sries obtidas derivando termo a termo (9.6), convergem uniformemente
para r r
0
se r
0
< .

v
n
r

nr
n1

a
n
cos(n) + b
n
sen(n)

nr
n1

|a
n
| +|b
n
|

2 c

n1
.
e a srie correspondente converge.
3. possvel mostrar que as sries formadas pelas segundas derivadas tam-
bm convergem.
4. Claramente v = v(r, ) harmnica em .
9.5. ESTUDO DA SOLUO 265
5. Para r = 0, de (9.6), temos:
v(0, ) = a
0
=
1
2

2
0
f() d,
isto , uma funo harmnica v denida em tem o valor no centro igual
mdia de v sobre .
Teorema 9.4. Se f for contnua e tal que f(0) = f(2 ), ento (9.6) dene uma funo
harmnica no disco tal que:
lim
(r,)(,
0
)
v(r, ) = f(
0
).
Corolrio 9.5. Considere problema de Dirichlet:

r
2
v
rr
+ r v
r
+ v

= 0, (r, )
v(, ) = f(), [0, 2]
v(r, ) = v(r, + 2 ), (r, ) .
Se f for contnua em , ento:
v(r, ) = a
0
+

n=1
r
n

a
n
cos(n) + b
n
sen(n)

,
onde
a
0
=
1
2

2
0
f() d,
a
n
=
1

2
0
f() cos(n) d,
b
n
=
1

2
0
f() sen(n) d,
O valor de v no centro do disco a mdia dos valores de v no bordo. Como
isto vlido para qualquer disco centrado na origem de raio r < , temos que o
valor de uma funo harmnica numa regio U, num ponto arbitrrio, igual a
mdia dos valores da funo sobre qualquer disco centrado no ponto emquesto,
contido em U.
266 CAPTULO 9. EQUAO DE LAPLACE
Exemplo 9.3.
Ache as soluo de:

r
2
v
rr
+ r v
r
+ v

= 0, (r, )
v(2, ) = 1 + 3 sen(), [0, 2]
v(r, ) = v(r, + 2 ), (r, ) .
Temos:
a
0
=
1
2

2
0
(1 + 3 sen() d = 1,
a
n
=
1
2
n

2
0
(1 + 3 sen()) cos(n) d = 0, para todo n
b
n
=
1
2
n

2
0
(1 + 3 sen()) sen(n) d = 0, para todo n = 1
b
1
=
1
2

2
0
(1 + 3 sen()) sen() d =
3
2
.
Logo:
v(r, ) = 1 +
3 r
2
sen().
-1 -0.5 0.5 1
-1
-0.5
0.5
1
-2 -1 1 2
1
2
3
4
Figura 9.10: Grcos de v(0, ) e v(r, ) para diversos r > 0, respectivamente.
9.6 Ncleo de Poisson
Observe que:
9.6. NCLEO DE POISSON 267

n=1
r
n

a
n
cos(n) + b
n
sen(n)

n=1
r
n


2
0
f() cos(n) dcos(n) +

2
0
sen(n) d sen(n)

=
1

n=1

n

2
0
f()

cos(n) cos(n) + sen(n) sen(n)

d.
Logo:
v(r, ) =
1
2

2
0
f()

1 + 2

n=1

n
cos(n( ))

d.
possvel vericar que:
v(r, ) =
1
2

2
0

2
r
2

2
+ r
2
2 r cos( )
f() d.
Esta forma da soluo do problema dita frmula de Poisson. A funo:
P(r, ) =
1
2


2
r
2

2
+ r
2
2 r cos()

, (r, ) [0, ) [0, 2 ].


chamada ncleo de Poisson. Ento:
v(r, ) =

2
0
P(r, ) f() d.
A funo P = P(r, ) par. Se f() = 1, ento de (9.6), temos que v(r, ) = 1, se
0 < 1. Logo, do tem anterior:

2
0
P(r, ) d = 1.
f contnua em [0, 2 ]; logo atinge seu mximo e para todo > 0 existe = ()
tal que | | < implica |f() f()| < . possvel vericar que:
|u(r, ) f()| (1 + 2 M),
onde M e o valor mximo de f em [0, 2 ].
Teorema 9.6. Existe uma nica funo harmnica v = v(r, ), (r, ) tal que se f
contnua e v(, ) = f(), ento:
v(r, ) =
1
2

2
0

2
r
2

2
+ r
2
2 r cos( )
f() d
268 CAPTULO 9. EQUAO DE LAPLACE
ou:
v(r, ) = a
0
+

n=1
r
n

a
n
cos(n) + b
n
sen(n)

,
onde a
0
, a
n
e b
n
so os coecientes de Fourier de f.
9.7 Problema Externo a um Disco
Considere o problema:

u = 0, em R
2

= f.

Figura 9.11:
Neste problema, estamos estudando a edp de Laplace numa placa innita que
possui um buraco. Note que este problema e o anterior, possuem a mesma fron-
teira.
Como v(r, ) = v(r, + 2 ) e v(r, ) deve ser limitada quando r +, o pro-
blema ca:

r
2
v
rr
+ r v
r
+ v

= 0, < r, (0, 2 )
v(, ) = f(), [0, 2]
v(r, ) = v(r, + 2 ), (r, ) .
(9.7)
9.7.1 Separao das Variveis
Lembremos que quando separamos as variveis no disco, obtivemos:
9.7. PROBLEMA EXTERNO A UM DISCO 269
R
n
(r) =

A + B ln(r), se n = 0
C r
n
+ Dr
n
, se n = 1, 2, . . .

n
() =

H + E, se n = 0
F cos(n) + Gsen(n), se n = 1, 2, . . .
Como v = v(r, ) deve ser peridica, ento H = 0 e deve ser limitada quando
r +; ento B = C = 0; logo, obtemos:
v(r, ) = a
0
+

n=1
r
n

a
n
cos(n) + b
n
sen(n)

,
onde
a
0
=
1
2

2
0
f() d,
a
n
=

n

2
0
f() cos(n) d,
b
n
=

n

2
0
f() sen(n) d,
De forma anloga a do problema interno:
|a
n
| c
n
, |b
n
| c
n
|v| r
n

|a
n
| +|b
n
|

2 c

n
.
E a srie correspondente converge se < r. As solues obtidas so clssicas.
Tambm possvel mostrar que:
v(r, ) =
1
2

2
0

2
1
1 2 cos( ) +
2
f() d.
Exemplo 9.4.
Ache as soluo de:

r
2
v
rr
+ r v
r
+ v

= 0, 2 < r, (0, 2 )
v(2, ) = cos(4 ), [0, 2]
v(r, ) = v(r, + 2 ), (r, ) .
270 CAPTULO 9. EQUAO DE LAPLACE
Temos:
a
0
=
1
2

2
0
cos(4 ) d = 0,
a
n
=
2
n

2
0
cos(4 ) cos(n) d = 0, para todo n = 4
b
n
=
2
n

2
0
cos(4 ) sen(n) d = 0, para todo n
a
4
=
2
4

2
0
cos
2
(4 ) d = 16.
Logo:
v(r, ) =
16
r
4
cos(4 ).
-1 -0.5 0.5 1
-1
-0.5
0.5
1
Figura 9.12: Grcos de v(r, ) para diversos r.
9.8 Problema num Semi-disco
Seja = (0, ) (0, ) e consideremos o problema de Dirichlet:

u = 0, em
u

= f.
9.8. PROBLEMA NUM SEMI-DISCO 271


0
Figura 9.13: em azul
Este problema diferente dos anteriores, pois a fronteira unio de dois conjun-
tos:
= {(r, 0) / r [, ]} {(, ) / [0, ]}.
Considere o problema de Dirichlet:

r
2
v
rr
+ r v
r
+ v

= 0, 0 < r < , (0, )


v(, ) = f(), [0, ]
v(r, 0) = v(r, ) = 0, r [0, ].
(9.8)
Note que f(0) = f() = 0 e v(r, ) deve ser peridica e limitada se r 0
+
.
9.8.1 Separao das Variveis
Lembremos que quando separamos as variveis, obtivemos:
R
n
(r) =

A + B ln(r), se n = 0
C r
n
+ Dr
n
, se n = 1, 2, . . .

n
() =

H + E, se n = 0
F cos(n) + Gsen(n), se n = 1, 2, . . .
Como v = v(r, ) deve ser peridica, ento H = 0, deve ser limitada quando
r 0
+
e como v(r, 0) = v(r, ) = 0, ento A = B = D = E = F = 0; logo,
obtemos:
v(r, ) =

n=1
b
n
r
n
sen(n),
onde
272 CAPTULO 9. EQUAO DE LAPLACE
b
n
=
2


0
f() sen(n) d.
Analogamente aos casos anteriores, v uma soluo clssica anloga s anterio-
res.
Exemplo 9.5.
Ache as soluo de:

r
2
v
rr
+ r v
r
+ v

= 0, 0 < r < 1, (0, )


v(1, ) = sen(2 ) cos(3 ), [0, ]
v(r, 0) = v(r, ) = 0, r [0, 1].
Como sen(2 ) cos(3 ) =
1
2

sen(5 ) sen()

, temos:
b
n
= 0, para todo n = 1, 5
b
1
=
1

sen(5 ) sen()

sen() d =
1
2
b
5
=
1

sen(5 ) sen()

sen(5 ) d =
1
2
.
Logo:
v(r, ) =
1
2

r sen() r
5
sen(5 )

.
-0.1 -0.05 0.05 0.1
0.05
0.1
0.15
0.2
-0.4 -0.2 0.2 0.4
0.1
0.2
0.3
0.4
0.5
Figura 9.14: Grcos de v(0.1, ) e v(0.9, ), respectivamente.
9.9 Problema de Dirichlet para Anis
Uma extenso natural do problema de Dirichlet para discos o problema num
anel:
9.9. PROBLEMA DE DIRICHLET PARA ANIS 273

0
1 2

Figura 9.15: em azul


Sejam
= (
1
,
2
) (0, 2 )

1
= {(
1
, ), [0, 2 ]}

2
= {(
2
, ), [0, 2 ]}
=
1

2
.
Consideremos o problema de Dirichlet:

r
2
v
rr
+ r v
r
+ v

= 0, (r, )
v(
1
, ) = f(), [0, 2]
v(
2
, ) = g(), [0, 2]
v(r, ) = v(r, + 2 ), (r, ) .
9.9.1 Separao das Variveis
Lembremos que quando separamos as variveis no problema no disco, obtive-
mos:
R
n
(r) =

A + B ln(r), se n = 0
C r
n
+ Dr
n
, se n = 1, 2, . . .

n
() =

H + E, se n = 0
F cos(n) + Gsen(n), se n = 1, 2, . . .
Como v = v(r, ) deve ser peridica, ento H = 0; logo, obtemos:
u(r, ) = a
0
+ b
0
ln(r) +

n=1

a
n
r
n
+ b
n
r
n

cos(n) +

c
n
r
n
+ d
n
r
n

sen(n)

.
274 CAPTULO 9. EQUAO DE LAPLACE
Como antes, exigimos continuidade de f e g, e obtemos:
a
0
+ b
0
ln(
1
) =
1
2

2
0
f() d,
a
n

n
1
+ b
n

n
1
=
1

2
0
f() cos(n) d,
c
n

n
1
+ d
n

n
1
=
1

2
0
f() sen(n) d,
a
0
+ b
0
ln(
2
) =
1
2

2
0
g() d,
a
n

n
2
+ b
n

n
2
=
1

2
0
g() cos(n) d,
c
n

n
2
+ d
n

n
2
=
1

2
0
g() sen(n) d.
Exemplo 9.6.
Ache a soluo de:

r
2
v
rr
+ r v
r
+ v

= 0, (r, )
v(1, ) = sen
2
(), [0, 2]
v(2, ) = 0, [0, 2]
v(r, ) = v(r, + 2 ), (r, ) .
Temos:
(1) a
0
+ b
0
ln(1) =
1
2

2
0
sen
2
() d =
1
2
,
(2) a
0
+ b
0
ln(2) = 0,
(3) a
n
+ b
n
=
1

2
0
sen
2
() cos(n) d =

0 n = 2

1
2
n = 2
,
(4) a
n
2
n
+ b
n
2
n
= 0,
(5) c
n
+ d
n
=
1

2
0
sen
2
() sen(n) d = 0,
(6) c
n
2
n
+ d
n
2
n
= 0.
De (1) e (2), temos:
9.9. PROBLEMA DE DIRICHLET PARA ANIS 275
a
0
=
1
2
e
b
0
=
1
2 ln(2)
;
de (5) e (6) temos: c
n
= d
n
= 0, para todo n N e de (3) e (4):
a
n
= b
n
= 0, n = 2;
a
2
=
1
30
e
b
2
=
8
15
.
Ento, a soluo :
v(r, ) =
1
2

1
2 ln(2)
ln(r) +
1
15

r
2
2
8 r
2

cos(2 ).
Figura 9.16: Grcos de v(r, ) para diversos r
276 CAPTULO 9. EQUAO DE LAPLACE
9.10 Exerccios
1. Considere a edp de Laplace e ache a soluo formal dos seguintes problemas:
a)

u(0, y) = u(a, y) = 0, y [0, b]


u(x, 0) = f
1
(x), x [0, a]
u(x, b) = 0, x [0, a]
b)

u(0, y) = u(a, y) = 0, y [0, b]


u(x, 0) = 0, x [0, a]
u(x, b) = f
2
(x), x [0, a]
c)

u(0, y) = g
1
(y), y [0, b]
u(a, y) = 0, y [0, b]
u(x, 0) = u(x, b) = 0, x [0, a]
d)

u(0, y) = u(, y) = u(x, 0) = 0, x, y [0, ]


u(x, 0) = x
2
, x [0, ]
e)

u(0, y) = u(x, 0) = u(x, 1) = 0, x, y [0, 1]


u(1, y) = y
2
, y [0, 1]
f)

u
x
(0, y) = u
x
(1, y) = u
y
(x, 1) = 0, x, y [0, 1]
u(x, 0) = x
2
, y [0, 1]
Edp de Laplace em coordenadas polares
2. Verique que a edp de Laplace em coordenadas polares :
r
2
u
rr
+ r u
r
+ u

= 0.
3. Considere a edp de Laplace em coordenadas polares e ache a soluo formal
dos seguintes problemas:
a) Se

(r, ) (0, 1) (0, 2 )


u(1, ) =

0 se 0 <
T
0
se < 2
9.10. EXERCCIOS 277
b) Se

(r, ) (0, 1) (0, 2 )


u(1, ) = 0 < 2
c) Se

(r, ) (0, 1) (0, 2 )


u(1, ) =

1 se 0 <
1 se < 2
d)

(r, ) (0, 1) (0, 2 )


u(1, ) = sen() 0 < 2
e)

(r, ) (0, 1) (0, 2 )


u(1, ) = cos() 0 < 2
f)

(r, ) (0, 1) (0, 2 )


u(1, ) = sen
2
() 0 < 2
4.

(r, ) (0, 1) (0, 2 )


u(1, ) = cos
2
() 0 < 2
5. Ache a soluo formal do problema de Dirichlet numa placa semi-circular:

r
2
u
rr
+ r u
r
+ u

= 0, (r, ) (0, ) (0, )


u(r, 0) = u(r, ) = 0, r [0, ]
u(, ) = f(), [0, ]
6. Ache a soluo formal do problema de Dirichlet no complementar de umdisco
de raio > 0::

r
2
u
rr
+ r u
r
+ u

= 0, (r, ) (, +) (0, 2 )
u(, ) = f(), [0, 2 ]
7. Ache a soluo formal dos problemas do tem anterior para:
a) = 1 e u(1, ) =
b) = 1 e u(1, ) = sen()
c) = 1 e u(1, ) = cos().
278 CAPTULO 9. EQUAO DE LAPLACE

You might also like