Você está na página 1de 15

4 1.

M O TIVAO: A EQUAO DO CALOR

@M
Mas a densidade denida como (x; t) = @x (x; t), portanto
2
@ @ M @ ( v (x) + v (x0 )) @v
= = =
@t @x @t @x @x
Esta equao simplesmente a lei de conservao de massa. Se agora utilizarmos a Lei de Fick, obtemos a
seguinte equao para
@ @2
(x; t) = K 2 (x; t)
@t @x
De fato, a equao diferencial acima foi estabelecida para a conduo de calor em meios homogneos por J.
Fourier antes da sua interpretao como um processo de difuso explicitada acima (a analogia entre os processos de
transporte de calor e transporte de matria que foi estabelecida por A. Fick, em 1855).

1.2. Exerccios
1) Adivinhe uma soluo da equao do calor
ut = c:uxx para x 2 (0; L) e t > 0
u (0; t)= u (L; t) = 0 para todo t > 0
x
u (x; 0) = 5 sin para x 2 [0; L]
L
2
c t=L2 x
Resposta: u (x; t) = 5e sin L .

2) Adivinhe uma soluo da equao do calor


ut = uxx para x 2 (0; ) e t > 0
u (0; t) = u ( ; t) = 0 para todo t > 0
u (x; 0) = 4 sin3 x para x 2 [0; ]
Dica: relembre as identidades sin2 x = 1 cos2
2x
, e sin A cos B = 1
2 (sin (A + B) + sin (A B)).
t 9t
Resposta: u (x; t) = 3e sin x e sin 3x

3) Adivinhe uma soluo para


ut = Cuxx para x 2 (0; L) e t > 0
u (0; t) = u (L; t) = 0 para todo t > 0
N
X m x
u (x; 0) = cm sin para x 2 (0; L)
m=1
L
PN Cm2 2
t m x
Resposta: u (x; t) = m=1 cm exp L2 sin L

4) Adivinhe uma soluo da equao da onda


utt = 9uxx para x 2 (0; ) e t > 0
u (0; t) = u ( ; t) = 0 para todo t > 0
u (x; 0) = 7 sin x para x 2 [0; ]
Resposta: u (x; t) = 7 cos 3t sin x.
2.3. EXERCCIOS 9

2.3. Exerccios
1) Em R3 verique que ~v1 = (3; 1; 1) e ~v2 = ( 1; 1; 2) so ortogonais. Seja ~u = (0; 3; 2)
hu;v i
a) Calcule os coecientes aj = hvj ;vjj i , j = 1; 2 da projeo ortogonal de ~u sobre o plano gerado por ~v1 e ~v2 .
b) Faa um esboo que contenha ~v1 , ~v2 , ~u, a1~v1 , a2~v2 e p~ = a1~v1 + a2~v2 .
c) Calcule o vetor ~r = ~u p~ e marque-o em seu esboo. Conra explicitamente que h~r; p~i = 0. O que isto signica
no esboo?
1
Resposta parcial: a1 = 11 e a2 = 16 .

2) Repita o problema trocando ~u respectivamente por:


I) ~u2 = (1; 3; 5)
II) ~u3 = (a; b; c).
Resposta parcial: este problema e o anterior ilustram o que j sabamos:
Se ~u puder ser escrito como combinao linear de ~v1 e ~v2 , o item (1a) calcula coecientes a1 e a2 tais que
~u = a1~v1 + a2~v2 , como em (I);
Se ~u no puder ser escrito como combinao linear de ~v1 e ~v2 , ainda assim o processo til o vetor p~ = a1~v1 +a2~v2
no ser ~u, mas ser a projeo ortogonal de ~u no plano gerado por ~v1 e ~v2 (e, portanto, a diferena entre ~u e p~
ser a menor possvel dentre os vetores p~ daquele plano).

3) Em R3 verique que ~v1 = (3; 1; 1), ~v2 = ( 1; 1; 2) e ~v3 = ( 1; 7; 4) so ortogonais dois a dois. Qual a
maneira mais rpida de decompor um vetor ~u = (x; y; z) na base f~v1 ; ~v2 ; ~v3 g? [Obs: usar matrizes de passagem no
a maneira mais rpida!]
Resposta: ~u = 3x+y
11
z
~v1 + x+y
6
2z
~v2 + x+7y+4z
66 ~v3 .

4) Mostre que os seguintes pares de funes so ortogonais em [ 1; 1]:


a) 1 e x;
b) x e x4 ;
c) sin x e cos x;
d) f (x) e g (x) onde f uma funo par e g uma funo mpar;
e) sin x e sin 3 x;

5) Quando vetores ortogonais tm norma 1, dizemos que so ortonormais. Mostre que o seguinte conjunto de
vetores ortonormal em [ L; L]:
1 n x 1 n x
:= p sin ; p cos (n = 1; 2; 3; :::)
L L L L

6) Encontre a projeo ortogonal da funo f (x) = x no subespao gerado pelas funes ~s1 (x) = sin x, ~c0 (x) = 1
e ~c1 (x) = cos x (use o intervalo [ ; ]).
Resposta: p~ = 2 sin x. Note: enquanto comum usar a aproximao sin x x para x pequeno (Taylor), aqui
obtivemos a aproximao x 2 sin x para x 2 [ ; ], no apenas perto de x = 0. Esta a melhor aproximao
possvel usando ~s1 , ~c0 e ~c1 , no sentido do nosso produto interno!

7) Seja p~ a projeo ortogonal de ~v sobre w.


~
a) Mostre que ~e = ~v p~ ortogonal a w.~ Em outras palavras pode-se decompor
~v = p~ + ~e
onde p~ paralelo a w,
~ e ~e ortogonal a w,
~ justicando a nomenclatura "projeo ortogonal".
b) Encontre a projeo ortogonal da funo f (x) = x sobre cada uma das funes gn (x) = cos nx (n = 0; 1; 2; ::: use
o intervalo [ ; ]).
c) Encontre a projeo ortogonal da funo f (x) = x sobre cada uma das funes hn (x) = sin nx (n = 1; 2; :::; use
[ ; ]).
n+1 2
Resposta: b) Cada uma delas d 0; c) pn (x) = ( 1) n sin (nx).

8) No texto, dissemos "de todos os vetores de E, a projeo ortogonal o que melhor aproxima ~v ". Neste
exerccio, voc vai demonstrar este fato, pelo menos no caso em que E gerado por 2 vetores (sejam eles vetores do
Rn , ou funes!). Assim, so dados trs vetores ~v , w
~1 e w
~ 2 num espao vetorial real, onde w
~1 e w
~ 2 so ortogonais e
no-nulos. Desejamos aproximar ~v por uma combinao linear w ~1 + w~ 2 de maneira a minimizar o erro quadrtico
2
erro ( ; ) = k~v ( w
~1 + w
~ 2 )k = h~v ( w
~1 + w
~ 2 ) ; ~v ( w
~1 + w
~ 2 )i
Encontre (em funo de ~v , w
~1 e w
~ 2 e seus produtos internos) os valores de e que minimizam este erro.
10 2. ORTOG ONALIDADE DE FUN ES

Dica: abra tudo para car com uma funo quadrtica de e . Qual o mtodo padro que voc conhece para
minimizar uma funo de 2 variveis?

9) Mostre que a equao 2 no texto satisfaz, de fato, os axiomas de produto interno.

10) A frmula da projeo ortogonal de ~v sobre o subespao S de base fw


~ i gi=1;2;:::;N
XN
h~v ; w~ ii
p~ = w
~i
i=1
hw~ i w
; ~ ii
exige que os vetores w~ i sejam ortogonais. Se a base no for ortogonal, ela tem que ser ortogonalizada primeiro, o
que pode ser feito pelo processo de ortogonalizao de Gram-Schmidt: a partir da base fw
~ i gi=1;2;:::;N de S, aplicamos
o seguinte algoritmo
~
1 = w ~1
D E
~ 2; ~ 1
w
~ ~2 D E~1
2 = w
~ ;~
1 1
D E D E
~ 3; ~ 1
w w~ 3; ~ 2
~ ~3 D E~1 D E~2
3 = w
~ ;~ ~ ;~
1 1 2 2
:::
Mostre que o conjunto f i gi=1;2;:::;N uma base ortogonal do mesmo subespao S. Assim, a projeo ortogonal de
~v sobre o subespao S seria D E
XN ~v ; ~ i
p~ = D E ~ i.
i=1
~ ; ~
i i

Dica: suponha que j > i, e suponha que voc j mostrou que i ortogonal a 1; 2 ; ::: j 1 . Agora escreva j em
termos de 1 ; 2 ; :::; j 1 e mostre que i ortogonal a j .
12 3. FUN ES PERIDICAS

Mas ento 2L um perodo comum a todas as funes do lado direito de 5 (incluindo a constante fora do
somatrio).
Concluso: se h alguma esperana de que f (x) possa ser escrita como uma soma do tipo 5, ela
ter de ser peridica de perodo 2L!

3.1. Exerccios
1) Mostre que 2 , de fato, o perodo fundamental de sin x.
Dica: suponha que T um perodo positivo de sin x; ento sin (x + T ) = sin x para todo x; substitua x = 0 para
mostrar que T mltiplo de ; agora, mostre que T = no perodo.

2) Encontre um perodo da funo f (x) = 4 sin x7 2 cos x5 .


Resposta: basta tomar um mltiplo comum a 14 e 10 por exemplo, 70 serve.

3) Mostre que, se f (x) peridica de perodo T , ento


Z C+T
f (x) dx
C
no depende de C: Isto , a integral de f num intervalo de comprimento T no depende do ponto inicial deste
intervalo.
Dica: pense na expresso como uma funo F (C). Qual a maneira mais rpida de mostrar que F no depende
de C?

4) a) Mostre que, se f (x) peridica de perodo T e diferencivel, ento f 0 (x) tambm peridica de perodo
T. Rx
b) Se f (x) peridica, pode-se dizer que F (x) = 0 f (t) dt peridica?
Rx
c) Mostre que, se f (x) peridica de perodo T e seu valor mdio em [0; T ] M , ento F (x) = 0 f (t) dt Mx
peridica.
Resposta: b) No (experimente f (x) = 1 + sin x, ou mesmo f (x) = 1).

5) a) Mostre que, se ab racional (isto , ab = m


n com m e n inteiros), ento f (x) = sin ax + cos bx peridica.
Dica: observe que T = 2a m = 2b n ser um perodo comum a ambas as funes trigonomtricas.
b) Mostre que, se f (x) = sin ax + cos bx peridica, ento ab racional (ou b = 0).
Dica: se f (x) peridica de perodo T , devemos ter f ( T ) = f (0) = f (T ).
4.1. EXERCCIOS 17

4.1. Exerccios
1) Obtenha a srie de Fourier de f (x) = 2 sin 3x + 4 cos 5x.
Resposta: trivial. Se voc no percebeu isso e fez milhares de contas, gastou tempo, mas aprendeu algo interes-
sante!

2) Calcule as sries de Fourier de f (x) = sin2 (x) e g(x) = cos5 (x).


Dica: d para fazer sem integrar lembra da questo 2 do captulo 1?
Resposta: f (x) = 12 12 cos 2x e g (x) = 58 cos x + 165 1
cos 3x + 16 cos 5x.

3) (Sinal dente-de-serra) Calcule a srie de Fourier da funo f (x) peridica de perodo 2 tal que f (x) = x
para <x . P
1 m+1 sin mx
Resposta: x 2 m=1 ( 1) m = 2 sin x sin22x + sin33x sin44x + :::

4) Calcule as srie de Fourier das seguintes funes:


sin(x) se sin(x) 0
a) f1 (x) =
0 se sin(x) < 0
ex se x<
b) f2 (x) =
peridica de perodo 2
c) f3 (x) = j sin(wx)j
Resposta:
1
X
1 1 2
f1 + sin x + cos (2kx)
2 (4k 2 1)
k=1
1
!
2 sinh 1 X ( 1)
m
( 1) m
m+1
f2 + 2
cos mx + 2
sin mx
2 m=1 m + 1 m +1
1
!
4 1 X 1
f3 cos 2kwx
2 4k 2 1
k=1

5) a) Escreva a srie de Fourier da funo f (x) peridica de perodo 2 tal que f (x) = 2x para <x .
b) Escreva a srie de Fourier da funo g (x) peridica de perodo 2 tal que g(x) = 2x para 0 < x 2 .
Resposta:
X1
m+1 sin mx
f 4 ( 1)
m=1
m
X1
4
g 2 sin mx
m=1
m

6) a) Qual a relao entre os coecientes de Fourier das funes f (x) e g(x) e os coecientes da srie de Fourier
de f + g (com e constantes)?
b) Como se relacionam os coecientes de Fourier de f (x) e de g (x) = f (x) + , com constante?
c) Como se relacionam os coecientes de Fourier de f (x), funo peridica de perodo 2L, e de g(x) = f (x + ),
com constante?
d) Como se relacionam os coecientes de Fourier de f (x), funo peridica de perodo 2L, e de g(x) = f (kx),
com k constante?
Respostas: Sendo am e bm os coecientes da srie de f e Am e Bm os da srie de g :
a) Os novos coecientes sero am + Am e bm + Bm respectivamente;
b) A20 = a20 + 2; os outros no mudam;
c) A0 = a0 ; Am = am cos mL + bm sin mL ; Bm = am sin mL + bm cos mL ;
L
d) Os coecientes so exatamente os mesmos! O que muda o valor do perodo, pois Lg = kf !

7) Seja f (x) uma funo peridica de perodo 2 tal que f (x) = x2 + 1 para 0 < x 2. Se SF (x) a srie de
Fourier de f , calcule SF (0) e SF (3).
Resposta: SF (0) = f (0+)+f 2
(0 )
= 1+5
2 = 3 e SF (3) = SF (1) = f (1) = 2.
22 5. SRIES EM SENOS E EM COSSENO S

Se voc quer uma srie de Fourier s com senos, estenda a sua funo de forma que ela seja mpar;
Se voc quer uma srie de Fourier s com cossenos, estenda a sua funo de forma que ela seja par;
Se voc quer apenas os temos de ordem mpar, estenda a sua funo de forma que f (x + L) = f (x);
Se voc quer apenas os termos de ordem par, estenda a sua funo de forma que f (x + L) = f (x) (e use o
perodo 2L).
Enm, nada impede que voc misture as idias acima para obter uma srie apenas com senos de ordem mpar,
etc.

5.1. Exerccios
1) A seguir esto descritas 5 funes e 4 sries de Fourier. Para cada funo, qual opo (a)-(d) melhor representa
a sua srie de Fourier (se alguma)?
I) f1 (x) = x3 se x 2 ( 2; 2]; peridica de perodo 4
II) f2 (x) = x3 se x 2 (0; 4]; peridica de perodo 4
III) f3 (x) = ex se x 2 ( ; ]; peridica de perodo 2
IV ) f4 (x) = x2 + 3x4 se x 2 ( 1; 1]; peridica de perodo 2
V ) f5 (x) = jsin (x)j

a0 n x
a) Sa = 1
2 + n=1 an cos( 2 ) + bn sin( n2 x ) c) Sc = 0
2 + 1
n=1 n cos(nx)
1 n x 1
b) Sb = n=1 n sin( 2 ) d) Sd = 2 +
0
n=1 n cos(nx) + n sin(nx)

2) Considere cada uma das funes fi (x) com cada uma das sries de Fourier S F~j (x) abaixo (so 30 pares!).
Para cada um dos 30 pares, esboce o grco de uma extenso peridica de fi (x) cuja srie de Fourier tenha o formato
S F~j (x) (se tal extenso no existir, simplesmente responda tanto).
i) f (x) = jxj; x 2 [ 1; 1]
2 se x 2 (0; 1] 2x + 1 se x 2 (0; 1]
ii) f (x) = x2 + 1; 0 < x < 2 iv) f (x) = v) f (x) =
0 se x 2 [ 1; 0] x2 se x 2 [ 1; 0]
iii) f (x) = sin(x); x 2 [0; ]
a) S F~1 (x) = 0 1
2 + n=1 n cos
n x
L + n sin
n x
L d) S F~4 (x) = 1
2 + n=1 n cos
0 2n x
L
(2n+1) x
b) S F~2 (x) = 1
n=1 n sin
n x
L e) S F~5 (x) = 1
n=0 n sin L
c) S F~3 (x) = 1
n=1 n cos
n x
L f ) S F~6 (x) = 2
0
+ 1
n=1 n cos n x
5

3) Considere a funo f (x) : [0; ] ! R dada por f (x) = 2x 1. Seja SF1 (x) sua srie em senos, e SF2 (x) sua
srie em cossenos. Esboce nos mesmos eixos os grcos de SF1 (x) e SF2 (x), para x 2 [ 2 ; 2 ].
Dica: voc no precisa calcular as sries!
6.1. EXERCCIOS 27

6.1. Exerccios
1, se 0 < x < 1
1) Seja f (x) uma funo peridica de perodo 2 tal que f (x) = (uma onda retangular).
1, se 1<x<0
a) Mostre que
1
4 X sin (m x)
f (x)
m=1:2
m

y
1.0

0.8

0.6

0.4

0.2

-2.0 -1.5 -1.0 -0.5 0.5 1.0 1.5 2.0


-0.2 x
-0.4

-0.6

-0.8

-1.0

-1.2

A vigsima soma parcial da srie de f (x)


b) Derivando os dois lados desta equao, temos
1
X
f 0 (x) = 0 4 cos (m x)
m=1:2
No entanto, o somatrio do lado direito no a srie de Fourier da funo nula. O que est errado?

2) Mostre que
1
2 4 X 1
sin ( x) = 2
cos (2m x) para x 2 (0; 1)
m=1
4m 1
e, derivando esta, que
1
8 X m
cos ( x) = 2
sin (2m x) para x 2 (0; 1)
m=1
4m 1
Podemos continuar o processo e concluir que
1
16 X m2
sin ( x) = cos (2m x) ?
m=1
4m2 1

3) Integre 3 vezes a igualdade


X1 m+1
2 ( 1)
x= sin (mx) para <x<
m=1
m
4
x4
para obter uma expresso para x24 (no se preocupe em obter a srie de Fourier de 24 , apenas uma igualdade!). A
partir desta expresso, mostre que
X1 4 1
X m+1
1 ( 1) 7 4
= ; =
m=1
m4 90 m=1 m4 720
Enm, some estas expresses para obter
1
X 4
1
4 =
(2k 1) 96
k=1

4) Calcule a srie de Fourier da funo peridica de perodo 2 que coincide com x4 em [ ; ].


7.2. EXERCCIOS 33

pois m nen m tm a mesma paridade. Por outro lado, se m = n


Z L
1
eimw0 x ; eimw0 x = e0 dx = 1
2L L
3iw0 x 2iw0 x iw0 x
Assim, o conjunto :::; e ;e ;e ; 1; eiw0 x ; e2iw0 x ; ::: ortonormal.
Agora, seja f (x) uma funo peridica de perodo 2L e seja w0 = L . Usando o produto interno cannico em
[ L; L], a projeo ortogonal de f (x) sobre o espao gerado pelos vetores ~vk (x) = eikw0 x (k = 0; 1; 2; :::; N )
N
X
f (x) = ck eikw0 x
k= N

onde Z L
f (x) ; eikw0 x 1
ck = ikw0 x ikw0 x = f (x) e ikw0 x dx
he ;e i 2L L
Tomando N ! 1, reobtemos a forma complexa da srie de Fourier de f (x).

7.2. Exerccios
1) Use diretamente as expresses
a0
c0 =
2
am ibm
cm = para m = 1; 2; 3; :::
2
am + ibm
c m = para m = 1; 2; 3; :::
2
para mostrar que
Z L
1 ikw0 x
ck = f (x) e dx
2L L
para todo k 2 Z.

2) Obtenha a srie de Fourier complexa da funo f (x) peridica de perodo 2 tal que f (x) = ex se <x ,
e esboce seu espectro de frequncias.
Resposta:
X1
sinh k 1 + ik ikx
f (x) ( 1) 2 e
k +1
k= 1

3) Obtenha a srie de Fourier complexa de f (x) = 2 sin 3x + 4 cos 5x, e esboce seu espectro de frequncias.
Dica: voc no precisa fazer nenhuma integral!

4) Obtenha as sries de Fourier complexas de f (x) = sin2 x e g (x) = cos4 x:


Dica: se voc substituir estas funes trigonomtricas pelas suas verses exponenciais complexas, e depois abrir
tudo, nenhuma integral ser necessria!
1
M , se jxj < 2M
5) Seja M (x) uma funo peridica de perodo 2 tal que M (x) = (onde M uma
0, caso contrrio
constante positiva maior do que 1):
a) Encontre a srie de Fourier complexa de M e esboce seu espectro de frequncias.
b) O que acontece com cada coeciente ck medida que M ! 1?
Comentrio: as funes M (x) se aproximam da "funo"impulso unitrio (x) (a Delta de Dirac!). Esta
funo
R teria as seguintes propriedades no intervalo x 2 [ ; ]: i) (x) = 0 para x 6= 0; ii) (0) = +1; iii)
(x) dx = 1 (em outras palavras, aquele innito em cima do zero tem que ser do tamanho certo para que a
"rea"embaixo da funo (x) seja 1). claro que no existe uma funo real com estas propriedades, mas
possvel denir formalmente uma "funo generalizada" (x), e, por incrvel que parea, funciona e til.
P1
6) a) Suponha que possvel escrever f (x) = k= 1 f^(k)eikx . Calcule f^(k).
b) Se f (n) a nsima derivada de f e f peridica de perodo 2 , verique que:
fd
(n) (k) = (ik)n f^(k)
34 7. FORM A COM PLEXA DA SRIE DE FO URIER

R
Resposta: a) f^ (k) = ck = 21 f (x) e ikx dx. A idia a mesma do texto, com w0 = 1, usando a notao
f^ (k) ao invs de ck .
b) O Teorema de Derivao o caso n = 1, mas recomendamos ao leitor obter diretamente esta frmula usando
integrao por partes. O caso geral pode ser obtido por induo em n.

7) Considere a E.D.O. : f 0 + af = g, onde g contnua e peridica de perodo 2 .


a) Use o exerccio anterior para vericar que: (ik) f^ (k) + af^ (k) = g^ (k).
P1 g^(k) ikx
b) Conclua que f (x) = k= 1 a+ik e . soluo da E.D.O.

8) Sejam u e v vetores de um espao vetorial complexo. Dado 2 C, mostre que


hu; vi = hu; vi
Dica: use primeiro a anti-simetria para trocar a ordem dos vetores, e depois use a linearidade no primeiro vetor.
Resposta: basta notar que
hu; vi = h v; ui = hv; ui = hv; ui = hu; vi
8.2. EXERCCIOS 37

Como a integral do lado esquerdo vale 1, temos novamente a seguinte identidade


1
X 2
1 1 1 1
2 =1+ + + + ::: =
(2k 1) 32 52 72 8
k=1

8.1. Teorema de Parseval Complexo


O Teorema de Parseval pode ser facilmente adaptado para o caso complexo:
RL 2
Teorema 72 (Parseval). Seja f (x) uma funo integrvel complexa tal que L
jf (x)j dx existe. Ento
Z L X1
1 2 2
jf (x)j dx = jcm j
2L L m= 1
1
onde fcm g 1 so os coecientes da srie de Fourier complexa de f (x) :
Idia da Prova. A idia que, por um lado
Z L Z L
1 1 2
hf (x) ; f (x)i = f (x) f (x)dx = jf (x)j dx
2L L 2L L

Por outro lado, se pudermos trocar f (x) pela sua srie de Fourier complexa:
* 1 1
+ 1
X X X
imw0 x imw0 x
cm e ; cm e = ci cj hw
~ i; w
~ji
m= 1 m= 1 i;j= 1

~ i = eimw0 x . Enm, usando que hw


onde w ~ i; w
~ j i = 0 para i 6= j e hw
~ i; w
~ j i = 1 quando i = j:
1
X 2
hf (x) ; f (x)i = jcj j
m= 1

A demonstrao acima tem dois grandes furos o primeiro que nem sempre f (x) igual a sua srie de Fourier; o
segundo que a propriedade distributiva do produto interno nem sempre vale para somatrios innitos. No entanto,
a demonstrao acima contm a idia correta, e preferimos omitir a demonstrao formal deste teorema que inclui
vrios detalhes tcnicos.

8.2. Exerccios
0, se <x 0
1) Seja f (x) uma funo peridica de perodo 2 tal que f (x) = :
1, se 0 < x
a) Calcule a srie de Fourier de f (x). P1 1
b) Utilize a identidade de Parseval e o item (a) para calcular o valor da srie k=1 (2k 1)2
.
P1 1)k
c) Use a srie do item (a) para calcular k=0 (2k+1 .
Resposta: a) e b) so o exemplo da onda retangular acima; c) 4 .

2) Seja f (x) uma funo peridica de perodo 2 tal que


x+1 se x 2 [0; 1)
f (x) =
x 1 se x 2 [ 1; 0)
a0 2 1
Se an e bn so os coecientes de Fourier de f , calcule 2 + n=1 a2n + b2n .

3) Seja f (x) uma funo peridica de perodo 2 tal que f (x) = x3 x para x 2 [ 1; 1].
a) Calcule a srie de Fourier de f (x). P1
b) Utilize a identidade de Parseval para calcular n=1 n16 .
P1 ( 1)m 12 6
Resposta: a) f (x) m=1 m3 3 sin (m x) b) =945:

4) Mostre que no existe funo f (x) de quadrado integrvel tal que


X1
sin (mx)
f (x) p
m=1
m

isto , funo peridica de perodo 2 cujos coecientes de Fourier sejam am = 0 (m = 0; 1; 2; ::: ) e bm = p1


m
(m = 1; 2; 3:::).
38 8. A IDENTIDADE DE PARSEVAL

5) Relembre a forma complexa da srie de Fourier da Onda Reatngular


1
0, se <x 0 1 i X ei(2n 1)x
g (x) =
1, se 0 < x 2 2n 1
n= 1
Use-a para re-encontrar o valor de
1
X 1
S= 2.
n=1 (2n 1)

6) Demonstre o "Teorema de Pitgoras"do texto.


11.1. EXERCCIOS 51

Para terminar, montamos uma soluo por superposio7


1
X n y n x
u (x; y) = cn sinh sin
n=1
L L

e calibramos os coecientes cn usando a ltima condio u (x; M ) = f (x). Assim, queremos:


X1 Z L
n M n x 2 n x
f (x) = cn sinh sin ) cn = n M
f (x) sin dx
n=1
L L L sinh L 0 L
Em suma, a soluo
1
X n y Z L
sinh L n x 2 n x
u (x; y) = bn n M
sin onde bn = f (x) sin dx
n=1
sinh L
L L 0 L

Por exemplo, se L = M = e f (x) = 1 para x 2 (0; ) ; sabemos que


1
4 X sin (mx)
f (x) =
m=1:2
m
Ento
1
4 X sinh (my) sin (mx)
u (x; y) =
m=1:2
sinh (m ) m
cujo grco aproximadamente

0.8

0.6 1.0
z
0.4

0.2

0.0
0 0
1
1 2
y 3
2
x
3

11.1. Exerccios
1) Encontre todas as solues no-nulas da forma u (x; y) = X (x) Y (y) para as seguintes EDPs:
a) ux 4uy = 0
b) ux + uy = 3u
c) uxx + 9uyy = 0
d) x2 uxx uyy = 0
Respostas: a) u (x; y) = e (4x+y) ; b) u (x; y) = e (x y)+3y ; c) u (x; y) = c1 e3wx + c2 e 3wx (c3 cos wy + c4 sin wy) ; u (x; y) =
(c1 cos 3wx + c2 sin 3wy) (c3 ewy + c4 e wy ) ; u (x; y) = (c1 x + c2 ) (c3 y + c4 );
p p p
1+ 1+4w2 1 1+4w2 1+ 1 4w2
d) u (x; y) = c1 x 2 + c2 x 2 c3 ewy + c4 e wy
; u (x; y) = (c1 x + c2 ) (c3 y + c4 ) ; u (x; y) = c1 x 2 + c2
p ! p !!
1=2 y y 1=2 4w2 1 4w2 1
u (x; y) = x (c1 + c2 ln x) c3 cos + c4 sin ; u (x; y) = x c1 cos ln x + c2 sin ln x (c3
2 2 2 2

7 Lembre que sinh x = ex e x


. Esta funo bastante til para simplicar as expresses encontradas.
2
52 11. M TODO DA SEPARAO DE VARIVEIS

2) So dadas uma constante > 0 e uma funo f (x) com domnio (0; L). Utilize o Mtodo da Separao de
Variveis para resolver o PVC do Calor com condies de contorno adiabticas (isto , as extremidades da barra
esto isoladas): 8
< ut = uxx para (x; t) 2 (0; L) (0; 1)
ux (0; t) = ux (L; t) = 0 para t 2 (0; 1)
:
u (x; 0) = f (x) para x 2 (0; L)
Em particular, conclua que, quando t ! 1,a temperatura da barra se aproxima de uma constante, que a temper-
atura mdia da barra quando t = 0.
P1 n2 2
RL
Resposta: u (x; t) = a20 + n=1 an exp L2 t cos
n x
L onde an = L2 0 f (x) cos nLx dx

3) Considere o problema do Calor:


8
< ut = uxx para 0 < x < e t > 0
u (0; t) = u ( ; t) = 0 para t 0
:
u (x; 0) = f (x) para 0 < x <
Encontre a soluo explicitamente por separao de variveis, nos seguintes casos:
a) f (x) = sin x.
b) f (x) = sin3 x.
c) f (x) = x ( x).
P1 8 n2 t
Respostas: a) u (x; t) = e t sin x; b) u (x; t) = 3e t sin x e 9t sin 3x =4; c) u (x; t) = n=1:2 n3 e sin nx

4) [adaptado de Boyce-de Prima] Uma barra homognea de L = 50cm de comprimento est inicialmente a uma
temperatura constante de 1000 C. A seguir, sua superfcie lateral isolada e suas extremidades so mergulhadas em
gelo (a 00 C): Encontre a temperatura em seu ponto mdio aps 30 minutos, supondo que (i) o material da barra
concreto; (ii) o material da barra ferro.
Dados: condutividade trmica destes materiais: concreto = 0:005cm2 =s; ferro = 0:15cm2 =s:
Resposta: (i) Aproximadamente 100:000 C; (ii) Aproximadamente 43:850 C.

5) Repita o exerccio (3) resolvendo agora o seguinte problema da Onda:


8
>
> utt = uxx para 0 < x < e t > 0
<
u (0; t) = u ( ; t) = 0 para t 0
>
> u (x; 0) = f (x) para 0 < x <
:
ut (x; 0) = 0 para 0 < x <
Encontre explicitamente a soluo por separao de variveis usando cada uma das condies iniciais f (x) daquele
exerccio. P1
Respostas: a) u (x; t) = cos t sin x; b) u (x; t) = (3 cos t sin x cos 3t sin 3x) =4. c) u (x; t) = n=1:2 8n3 cos nt sin nx

6) Repita o exerccio (2) trocando as condies de contorno por


u (0; t) = ux (L; t) = 0 para t 2 (0; 1)
Resposta:
1
X n2 2 n
u (x; t) = bn exp 2
t sin x
n=1:2
4L 2L
Z L
2 n
onde bn = f (x) sin x dx
L 0 2L

7) a) Utilize o Mtodo da Separao de Variveis para resolver o seguinte PVC da Equao da Onda (que
representa o movimento de uma corda com extremidades xas, largada a partir de um estado inicial f (x)):
8
>
> utt = c2 uxx para (x; t) 2 (0; ) (0; 1)
<
u (0; t) = u ( ; t) = 0 para t 2 (0; 1)
>
> u (x; 0) = f (x) para x 2 (0; )
:
ut (x; 0) = 0 para x 2 (0; )
2
Em particular, mostre que quando t = c , a corda volta ao estado inicial.
1, se 0 < x < 2
b) Determine explicitamente esta soluo no caso em que c = 1 e f (x) = .
0, se 2 < x <
P1 R
Respostas: a) u (x; t) = n=1 cn cos (cnt) sin (nx) onde cn = 2 0 f (x) sin (nx) dx: Como cos (cnt) tem perodo
2
c , temos u x; t + 2c = u (x; t), isto , a corda repete seu movimento a cada 2c unidades de tempo.
11.1. EXERCCIOS 53

P1 2 m
b) A srie em senos f (x) m=1 m 1 cos 2 sin mx est no texto do captulo. Ento:
X1
2 m
u (x; t) = 1 cos cos (mt) sin (mx) =
m=1
m 2
2 sin 3x sin 5x sin 6x sin 7x
= cos t sin x + cos 2t sin 2x + cos 3t + cos 5t + cos 6t + cos 7t + :::
3 5 3 7
cujo grco pode ser feito usando as tcnicas do captulo 14:

6
5
4
3
1.0
2 y
0.5
1
z 0.0
0 0
-0.5
1
-1.0 2
x 3

Graco de u (x; t)

8) Dada uma funo g (x) com domnio (0; ), use o mtodo da separao de variveis para resolver formalmente o
seguinte problema da Onda (agora a corda tem extremidades xas e sua posio inicial reta, mas h uma velocidade
inicial g (x)):
utt = uxx para 0 < x < et>0
u (0; t) = u ( ; t) = 0 para t 0
u (x; 0) = 0 para 0 < x <
ut (x; 0) =
g (x) para 0 < x <
P1 2
R
Resposta: u (x; t) = n=1 cn sin nt sin nx onde cn = n 0 g (x) sin (nx) dx.

9) Resolva por separao de variveis a seguinte "variante"da Equao do Calor:


ut uxx u = 0 para 0 < x < et>0
u (0; t)
= u ( ; t) = 0 para t > 0
a, se 0 < x < 2
u (x; 0) = f (x) =
a, se 2 < x <
Resposta:
1
X 1
X
8a (1 n2 )t 8a (4k+2)2 )t
u (x; t) = e sin (nx) = e(1 sin ((4k + 2) x)
n=2:4
n (4k + 2)
k=0

10) Resolva por separao de variveis o seguinte problema de Laplace


uxx + uyy = 0 para 0 < x < e 0 < y < 1
u (0; y) = u ( ; y) = u (x; 1) = 0 para 0 < x < e 0 < y < 1
u (x; 0) = 4 para 0 < x <
16
P sinh(n(1 y)) sin nx
Resposta: u (x; y) = n m par sinh n n
54 11. M TODO DA SEPARAO DE VARIVEIS

11) Resolva por separao de variveis o seguinte problema de Laplace


uxx + uyy = 0 para 0 < x < e0<y<L
u (x; 0) = u (0; y) = u ( ; y) = 0 para 0 < y < L
u (x; L) = x( x) para 0 < x <
8
P1 1 eny e ny P1 sinh ny
Resposta: u (x; y) = n=1:2 n3 enL e nL sin nx = 8 n=1:2 n13 sinh nL sin nx.

4
2
1.0 3
u 1 u 2
0.5 1.0
0 1
0 0.0 0 0.5
0 0.0
1 1
2 2
x 3 x 3

Problema 10 Problema 11