FourierEDP PDF

Sries de Fourier e Equaes Diferenciais Parciais
Ralph Teixeira, Helosa Medeiros, Maria Lcia Menezes
Universidade Federal Fluminense

E-mail address: ralph@mat.uff.br
URL: http://moodle.neami.uff.br
Abstract.
Contents
Prefcio v
Chapter 1. Motivao: a Equao do Calor 1

1. Exerccios 3
Chapter 2. Funes Peridicas 5

1. Exerccios 6
Chapter 3. Breve Reviso de lgebra Linear 7

1. Exerccios 10
Chapter 4. Sries de Fourier 11

1. Exerccios 14
Chapter 5. Extenses Pares e mpares 17

1. Exerccios 20
Chapter 6. A Identidade de Parseval 21

1. Exerccios 23
Chapter 7. Derivao e Integrao de Sries de Fourier 25

1. Exerccios 29
Chapter 8. Convergncia Pontual e Uniforme 31

1. Exerccios 35
Chapter 9. Forma Complexa da Srie de Fourier 37

1. Exerccios 41
Chapter 10. O Fenmeno de Gibbs 43

1. Exerccios 44
Chapter 11. Mtodo da Separao de Variveis 45

1. Exerccios 48
Chapter 12. A Equao da Onda (Primeira Ordem) 51

1. Exerccios 52
Chapter 13. A Equao da Onda (Segunda Ordem) 55

1. Solues Fracas 56
2. Exerccios 58
Chapter 14. A Regra do Paralelogramo e a Corda Finita 61

1. Exerccios 63
Chapter 15. Reduo ao Caso Homogneo 65

1. Exerccios 67
Chapter 16. A Equao de Laplace 69

1. Exerccios 72
Chapter 17. A Funo Gama e as Funes de Bessel 75

1. A Funo Gama 75
2. Funes de Bessel 76
3. Exerccios 80
iii
iv CONTENTS
Chapter 18. Sries de Fourier-Bessel 83

1. Exerccios 85
Chapter 19. Funes de Legendre 87
1. Sries de Fourier-Legendre 89
2. Exerccios 91
Prefcio
Estas so as notas de aula da disciplina Mtodos Matemticos VII. Considere esta resumo como material de
apoio, em fase de construo. Por favor, no hesite em discutir erros e exerccios no site da disciplina.
v
CHAPTER 1
Motivao: a Equao do Calor
Considere uma barra de comprimento L isolada termicamente do meio ambiente, exceto nas suas pontas, que so
mantidas a temperatura constante (digamos que elas esto mergulhadas em gua com gelo; assim, a temperatura ali
sempre 0). Sabendo uma distribuio inicial de temperatura na barra, gostaramos de calcular como a temperatura
da barra varia com o tempo.
0 x L
Faamos um modelo matemtico desta situao: seja u (x; t) a temperatura da barra no ponto x 2 [0; L] no
tempo t 2 [0; 1). A distribuio inicial de temperatura seria uma funo f (x) = u (x; 0). O fato das pontas estarem
mergulhadas em gelo se traduz pela expresso u (0; t) = u (L; t) = 0 para qualquer tempo t. Falta apenas saber qual
o processo de difuso de calor no interior da barra. Um modelo para este processo dado pela Equao Diferencial
Parcial (EDP)
ut = Kuxx
Uma deduo desta equao ser dada mais tarde no captulo sobre a equao do calor. Neste momento, no se
preocupe tanto sobre donde ela vem, mas essencial que voc entenda o que esta equao signica. Para tanto,
acompanhe o exemplo a seguir.
Fixe um tempo T e considere a temperatura da barra g (x) = u (x; T ) neste instante. Suponha que esta dis-
tribuio seja dada pelo grco abaixo
Temp
(ou seja, a barra inicialmente est em geral mais quente esquerda, mais fria direita, mas a temperatura oscila
bastante de um ponto a outro). De acordo com a EDP acima, quanto mais cncavo para cima for o grco de g (x)
(isto , quanto maior for g 00 (x) = uxx (x; T )), maior ser a velocidade com que o grco de g (x) subir (isto , maior
ser ut (x; T )). Em particular, pontos quentes cercados de pontos frios esfriam, e vice-versa, o que combina com a
nossa intuio sobre a conduo de calor. As setas acima indicam este efeito de suavizao da temperatura original,
e os grcos abaixo indicam a evoluo da temperatura para vrios valores de t:
1
2 1. M OTIVAO: A EQUAO DO CALOR
Evoluo nos tempos t = 0, t = 2, t = 4 e t = 25.
t
x
Grco de u (x; t)
Exercise 1. Tente adivinhar informalmente uma soluo da equao do calor ut = uxx com condies de
contorno u (0; t) = u (2 ; t) = 0 para as condies iniciais abaixo.
a) u (x; 0) = sin x;
b) u (x; 0) = sin 2x;
c) u (x; 0) = 3 sin x + 4 sin 5x;
d) u (x; 0) = 4 sin x + 3:1 sin 2x + 1:8 sin 7x.
Soluo: a) Note que quando u (x; 0) = sin x, tem-se uxx (x; 0) = sin x. Ou seja, inicialmente, temos ut = u.
Voc conhece alguma funo que, quando derivada com relao a t, troca de sinal? Bom, teramos e t . Um pouco
de criatividade leva ento a tentar
t
u (x; t) = e sin x
Verque que, de fato, isto uma soluo da equao do calor com as condies dadas: o " 1" que cai da derivao
com relao a t idntico ao " 1" que sai das duas derivadas do seno!
b) Derivar sin 2x com relao a x duas vezes faz a funo ser multiplicada por 4. Para que este termo tambm
aparea na derivada com relao a t, basta fazer
4t
u (x; t) = e sin 2x
Verique que esta soluo realmente satisfaz as condies dadas.
1. EXERCCIOS 3
c) Use um pouco de criatividade e note que a resposta

t 25t
u (x; t) = 3e sin x + 4e sin 5x
d) A esta altura do campeonato, esperamos que voc tenha notado que qualquer combinao linear de funes
do tipo
2
um (x; t) = e m t sin (mx)
satisfaz ut = uxx e tambm u (0; t) = u (2 ; t) = 0 para todo t. Basta agora "ajeitar" a combinao linear para que
u (x; 0) seja a funo dada. Neste caso, por exemplo, uma soluo
t 4t 49t
u (x; t) = 4e sin x + 3:1e sin 2x + 1:8e sin 7x
Para o leitor curioso, esta foi a frmula que gerou os grcos acima.
Em outras palavras, sempre que a condio inicial u (x; 0) puder ser escrita como combinao linear de senos,
fcil encontrar uma soluo da EDP do calor multiplicando cada seno (em x) pela exponencial correta em t, isto ,
2
trocando cada termo da forma sin mx pelo termo e m t sin mx.
O "esboo de teoria" acima foi feito de maneira bastante informal e levanta vrias questes importantes:
i) O que h de to especial a respeito de senos para resolver a equao do calor?
Resposta parcial: os senos so "autofunes" da Equao do Calor com condies de contorno como as do
exemplo acima. O conceito de autofunes pode ser estendido para outras Equaes que podem ento ser resolvidas
como acima, como veremos mais tarde.
ii) E se a condio inicial no estiver escrita como uma combinao linear de senos? Ser possvel escrever
qualquer funo f (x) = u (x; 0) como uma combinao linear de funes trigonomtricas? Como encontrar os
coecientes corretos?
Resposta parcial: se f (x) for peridica e contnua em seu domnio, ento ela pode ser bem aproximada por uma
combinao linear de funes trigonomtricas. Este tpico o que perseguiremos nas prximas aulas.
Ento vamos destacar desde j a questo fundamental desta parte do curso: dada uma funo f (x), possvel
escrev-la como uma soma (talvez "innita") de senos e cossenos, possivelmente mais uma constante? Ou seja, ser
que possvel escrever1
X1
a0
f (x) = + (am cos (mx) + bm sin (mx)) ?
2 m=1
e, em caso positivo, como encontrar os am e bm a partir de f (x)?
1. Exerccios
1) Adivinhe uma soluo da equao do calor
ut = c:uxx
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
u (0; t) = u ( ; t) = 0 para todo t > 0
u (x; 0) = 4 sin3 x para x 2 [0; ]
[Dica: transforme sin3 x em uma soma de senos da forma sin mx:]
Resposta: u (x; t) = 3e t sin x e 9t sin 3x
3) Em geral, encontre uma soluo para

ut = Cuxx
u (0; t) = u (L; t) = 0
N
X m x
u (x; 0) = cm sin
m=1
L
PN Cm2 2
t m x
Resposta: u (x; t) = m=1 cm exp L2 sin L
1 A constante a aparece "dividida por 2" apenas para facilitar alguns clculos que aparecero mais tarde.
0
4 1. M OTIVAO: A EQUAO DO CALOR
4) Adivinhe uma soluo da equao da onda

utt = 9uxx
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.
CHAPTER 2
Funes Peridicas
O problema fundamental desta parte do curso escrever uma funo f (x) como uma "soma" de senos e cossenos
X1
a0 m x m x
(0.1) f (x) = + am cos + bm sin
2 m=1
L L
Antes de fazer isto, queremos examinar algumas propriedades simples destas funes trigonomtricas.
Definio 1. Uma funo f (x) : R ! R dita peridica de perodo T 6= 0 se f (x + T ) = f (x) para todo
x 2 R:
Gracamente, uma funo f (x) peridica se seu grco "se repete de T em T unidades" na direo x.
x
T
Exemplo 1. As funes sin x e cos x so peridicas de perodo 2 . A funo tan x peridica de perodo . A
funo f (x) = x bxc (onde bxc a parte inteira de x) tem perodo 1.
Note que, se T perodo de uma funo, ento 2T , 3T , ..., kT ,... tambm o so (com k 2 Z ). Por exemplo, 4
tambm um perodo das funes sin x e cos x. No entanto, 2 o menor perodo positivo de sin x (e de cos x), e
portanto chamado de seu perodo fundamental.
Definio 2. O perodo fundamental de uma funo peridica f (x) o seu menor perodo positivo.
Curiosamente, a funo f (x) = K (constante) peridica com qualquer perodo T 6= 0. Portanto, ela no tem
um menor perodo positivo, e, assim, no tem perodo fundamental. Exceto por este exemplo patolgico, toda
funo peridica contnua tem um perodo fundamental.
Proposio 1. a) Se T um perodo de f (x), ento Tk um perodo de h (x) = f (kx).
b) Se T um perodo comum s funes f (x) e g (x), ento T ser tambm um perodo das funes c1 f + c2 g e f:g
(para quaisquer c1 ; c2 2 R). P1
c) Se T um perodo comum s funes f1 , f2 , ..., fm , ..., ento T ser tambm um perodo de m=1 cm fm (x) (se
esta srie convergir).
Proof. Vamos demonstrar apenas uma das armaes acima deixamos as outras como exerccio. Seja p (x) =
(c1 f + c2 g) (x). Ento:
p (x + T ) = (c1 f + c2 g) (x + T ) = c1 f (x + T ) + c2 g (x + T ) = c1 f (x) + c2 g (x) = p (x)
e, portanto, p (x) peridica.
Da propriedade acima, rapidamente vemos que
Como 2 o perodo fundamental de sin x, temos que 2L m ser o perodo fundamental de sin
m x
L . Em
particular, 2L ser um perodo de sin mL x (e de cos mL x );1
1 Talvez seja mais familiar usar w = m (que representa a freqncia das funes trigonomtricas sin (wx) e cos (wx)). Ento o
L
2
perodo fundamental T = w
.
5
6 2. FUNES PERIDICAS
Mas ento 2L um perodo comum a todas as funes do lado direito de 0.1 (incluindo a constante fora do
somatrio).
Concluso: se h alguma esperana de que f (x) possa ser escrita como uma soma do tipo 0.1, ela
ter de ser peridica de perodo 2L!
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 T Z a+T
f (x) dx = f (x) dx
0 a
isto , a integral de f (x) num intervalo de comprimento T no depende do ponto inicial deste intervalo.
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.
2 2
[Dica: observe que T = a m = b 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 ).]
CHAPTER 3
Breve Reviso de lgebra Linear
Lembremos novamente que o problema principal desta parte do curso , dada uma funo f (x), encontrar
coecientes am e bm tais que
X1
a0 m x m x
(0.1) f (x) = + am cos + bm sin
2 m=1
L L
Na lgebra Linear, um problema bem conhecido era o de decompor um vetor conhecido ~v como combinao
linear de vetores de um conjunto fw
~ 1; w
~ 2 ; :::; w
~ N g:
N
X
~v = aj w
~j
j=1
(provavelmente voc trabalhava com N = 3).

Note a semelhana entre os dois problemas se pudermos ngir que os vetores wj so as funes do tipo sin mL x
e cos mL x (bom, e talvez colocar w ~ 0 = 12 para tomar conta da primeira constante a0 ), e identicando ~v com f (x),
o problema o mesmo encontrar os coecientes de uma combinao linear1 ! Assim, precisamos rever brevemente
alguns conceitos da lgebra Linear.
Em primeiro lugar, precisamos saber se podemos de fato pensar que funes so vetores. A resposta deniti-
vamente SIM. Basicamente, quaisquer objetos que possam ser somados entre si (assim como vetores so somados
entre si) e multiplicados por constantes (assim como voc pode multiplicar um vetor por uma constante) podem ser
considerados como vetores (desde que esta soma e multiplicao tenham as propriedades "usuais"). Formalmente,
temos:
Definio 3. Um espao vetorial real um conjunto E (cujos elementos so chamados vetores) dotado de
duas operaes:
~ sua soma (denotada por ~v + w);
i) Uma que associa um par de vetores ~v ,w ~
ii) Outra que associa um vetor ~v e um nmero real a seu produto (denotado por ~v );
que tm as seguintes propriedades
Soma:
para quaisquer ~u; ~v e w
~ 2 E: ~u + ~v = ~v + ~u; (~u + ~v ) + w
~ = ~u + ~v + w
~
existe um vetor (chamado nulo, denotado ~0) tal que para todo ~u 2 E tem-se ~u + ~0 = ~u
cada vetor ~u tem um simtrico (denotado ~u) tal que ~u + ( ~u) = ~0
Multiplicao por escalar:
para quaisquer 1; 2 2 R e qualquer ~u 2 E, tem-se 1 ( 2~
u) =( 1 2) ~
u
para todo ~u 2 E tem-se 1~u = ~u
Distributividade:
para quaisquer 1; 2 2 R e qualquer ~u 2 E, tem-se ( 1 + 2) ~
u = 1~
u + 2~
u
para qualquer 2 R e quaisquer ~u; ~v 2 E tem-se (~u + ~v ) = ~u + ~v
No difcil ver que o conjunto de todas as funes reais de uma varivel real ento um espao vetorial
a soma de funes (f + g) (x) = f (x) + g (x) e a multiplicao por escalar ( f ) (x) = :f (x) satisfazem todas as
propriedades acima. Por exemplo, o vetor nulo a funo identicamente nula ~0 (x) 0. Em suma, comece a
pensar em funes como vetores!2
1 A falha mais grave nesta analogia que a soma proposta em 0.1 innita, e portanto no exatamente uma combinao linear.
Mas ainda assim, a analogia nos levar teoria correta.
2 Ento a funo f (x) = x agora um vetor. A funo g (x) = arctan (ex + cos (x)) um outro vetor. V em frente e desenhe uma
setinha para cada um no seu papel! A diagonal do paralelogramo com lados f (x) e g (x) o vetor (f + g) (x) = x+arctan (ex + cos (x)). A
7
8 3. BREVE REVISO DE LGEBRA LINEAR
Exemplo 2. Os seguintes conjuntos so espaos vetoriais usando a soma e multiplicao usuais

( 1
)
X
l2 : = seqncias ( 1 ; 2 ; ) tais que 2
i <1
i=1
( Z )
b
2 2
L [a; b] : = funes f : [a; b] ! R tais que f (x) dx converge e f integrvel
a
C [a; b] : = ffunes f : [a; b] ! R contnuasg
Agora voltemos ao seguinte problema da lgebra Linear em R3 : temos 3 vetores ortogonais w

~ 1, w
~2 e w
~ 3 (uma
base de R3 ) e desejamos escrever um novo vetor ~v como combinao linear destes 3:
~v = 1w
~1 + 2w
~2 + 3w
~3
Como encontrar os coecientes ? Se os vetores no so ortogonais, voc deve estar pensando em montar um sistema
e resolv-lo, ou escrever o problema todo como notao matricial... Mas, se os vetores so ortogonais, h uma sada
mais simples: tome, por exemplo, o produto interno da expresso acima por w ~ 1 e use as propriedades distributivas
do produto interno:
h~v ; w
~ 1i = h 1w
~1 + 2w
~2 + 3w
~ 3; w
~ 1i = 1 hw
~ 1; w
~ 1i + 2 hw
~ 1; w
~ 2i + 3 hw
~ 1; w
~ 3i = 1 hw
~ 1; w
~ 1i
onde usamos que os vetores w so ortogonais dois a dois. Assim, ca fcil encontrar o coeciente 1 sem ter que
resolver um sistema complicado:
h~v ; w
~ 1i
1 =
hw~ 1; w~ 1i
Analogamente, encontramos 2 = hh~w
~2i
v ;w h~
~ 2 i e 3 = hw
~ 2 ;w
v ;w~3i
~3i .
~ 3 ;w
Para usar este mtodo no problema original 0.1 precisamos de alguma espcie de produto interno entre funes.
O que precisamos de uma operao que tenha as seguintes propriedades.
Definio 4. Um produto interno em um espao vetorial E denido sobre R uma funo

h; i : E E ! R
u ; v 7 ! hu; vi
que satisfaz as seguintes propriedades:
Positividade:: 8v 2 E; hv; vi 0.
Simetria:: 8u; v 2 E; hu; vi = hv; ui;
Linearidade:: 8 1 ; 2 2 R; 8u; v; w 2 E h 1 u + 2 v; wi = 1 hu; wi + 2 hv; wi.
(Alguns livros tambm exigem que hv; vi = 0 ) v = ~0 mas em nosso contexto, esta condio no ser necessria.)
Exemplo 3. Em Rn , o produto interno usual (chamado cannico) fazer, dados ~v = (v1 ; v2 ; :::; vn ) e w
~ =
(w1 ; w2 ; :::; wn ),
n
X
h~v ; wi
~ = vi wi
i=1
Em outras palavras, o produto interno cannico "multiplica as coordenadas correspondentes dos dois vetores e depois
soma tudo".
Exemplo 4. As seguintes operaes denem produtos internos cannicos em seus respectivos espaos
h; i : l2 l2 ! R
P1
(u1 ; u2 ; :::) ; (v1 ; v2 ; :::) 7 ! i=1 ui vi
h; i : L2 ([a; b]) L2 ([a; b]) ! R
(0.2) Rb
f (x) ; g (x) 7 ! a f (x)g(x) dx
h; i : C ([a; b]) C ([a; b]) ! R
Rb
f (x) ; g (x) 7 ! a f (x)g(x) dx
funo 8g (x) uma seta 8 vezes maior que g (x), na mesma direo. Apenas lembre-se que as setinhas que voc desenhou so arbitrrias,
apenas para ajudar voc a pensar nas funes como vetores (em particular, a setinha no tem nada a ver com o grco da funo).
3. BREVE REVISO DE LGEBRA LINEAR 9
Note que todos os exemplos acima mantm a idia comum de "multiplicar coordenadas correspondentes e depois
somar tudo". Deixamos como exerccio para o leitor vericar que as operaes acima satisfazem, de fato, as pro-
priedades dos produtos internos3 . Vale a pena notar que estes no so os nicos produtos internos nestes espaos,
mas so os mais usuais (veja exerccios)4 .
~ em E so ditos ortogonais quando h~v ; wi
Definio 5. Dois vetores ~v e w ~ = 0.
Exemplo 5. Em C ([ ; ]) os vetores sin mx e sin nx (com m; n naturais positivos distintos) so ortogonais.
De fato
Z Z
cos ((m n) x) cos ((m + n) x)
hsin mx; sin nxi = sin mx sin nxdx = dx =
2
x=
sin ((m n) x) sin ((m + n) x)
= =0
2 (m n) 2 (m + n) x=
Proposio 2. Os vetores ~vm = sin mL x (m = 1; 2; 3; :::) e w ~ n = cos nLx (n = 0; 1; 2; :::) so ortogonais
2
dois a dois em L ([ L; L]), isto
D m x n x E
sin ; sin = 0 (para m 6= n)
D L L E
m x n x
sin ; cos = 0 (para quaisquer m e n)
D L L E
m x n x
cos ; cos = 0 (para m 6= n)
L L
Alm disso
m x 2 D m x m x E
(0.3) sin = sin ; sin = L para m = 1; 2; 3; :::
L L L
n x 2 D n x n x E
cos = cos ; cos = L para n = 1; 2; 3; :::
L L L
2
k1k = h1; 1i = 2L
Proof. So clculos que deixamos como exerccio para o leitor.
Enm, estamos prontos para sugerir uma possvel frmula para os coecientes am e bm na expresso
X1
a0 m x m x
(0.4) f (x) = + am cos + bm sin
2 m=1
L L
onde f uma funo com um perodo em [ L; L]. Usando a notao da proposio acima, o problema encontrar
os coecientes am e bm tais que
1
X
a0
f~ = w ~0 + am w
~ m + bm~vm
2 m=1
Fazendo o produto interno com w ~ 0 , (lembre que w ~ 0 a funo constante 1) usando a distributividade do produto
interno5 e o fato de w
~ 0 ser ortogonal a todos os outros vetores do lado direito
D E a Z
0 1 L
f~; w
~0 = hw
~ 0; w
~ 0 i = a0 L ) a0 = f (x) dx
2 L L
Analogamente para os outros coecientes, temos
D E
f~; w~m Z
1 L m x
am = = f (x) cos dx
hw~ m; w ~ mi L L L
D E
f~; ~vm Z
1 L m x
bm = = f (x) sin dx
h~vm ; ~vm i L L L
3 Note que possvel ter uma funo f (x) que no identicamente nula mas tal que hf (x) ; f (x)i = 0 por exemplo, tome
0, se x 6= 1
[a; b] = [0; 2] e considere f : [0; 2] ! R denida por f (x) = . Se adicionssemos a condio hf; f i = 0 ) f = 0; este
1, se x = 1
2
problema poderia ser contornado de maneira sutil: o vetor nulo de L ([a; b]) representaria no s a funo nula, como qualquer funo
R
f (x) tal que ab f 2 (x) dx = 0. Isto tem o efeito colateral de colocar quaisquer duas funes que sejam diferentes apenas em um nmero
nito de pontos no mesmo vetor, mas surpreendenemente todos os axiomas de espao vetorial e do produto interno so satisfeitos neste
novo conceito de vetores.
R
4
Muitos usam b 1 a ab f (x) g (x) dx como produto interno cannico, o que praticamente no altera a teoria a seguir.
5 H um problema aqui: a distributividade do produto interno se aplica para somas nitas, mas estamos prestes a us-la para uma
soma innita. Mais tarde justicaremos este passo propriamente.
10 3. BREVE REVISO DE LGEBRA LINEAR
Em suma, se f (x) puder ser escrita na forma 0.4, espera-se que os coecientes am e bm sejam dados
pelas frmulas acima. Na seo seguinte, estudaremos se f (x) , de fato, da forma 0.4:
1. Exerccios
3
1) Em R verique que v1 = (3; 1; 1) e v2 = ( 1; 1; 2) so ortogonais. Seja u = (0; 3; 2)
hu;v i
a) Calcule aj = hvj ;vjj i , j = 1; 2.
b) Faa um esboo que contenha v1 , v2 , u, a1 v1 , a2 v2 e w = a1 v1 + a2 v2 .
c) Calcule r = u w.
d) Faa um esboo que contenha v1 , v2 , u, w e r.
e) Calcule hr; wi. O que isto signica no esboo do item anterior?
2) Repita o problema anterior para cada um dos seguintes vetores u:

I) u2 = (0; 1; 1)
II) u3 = (1; 3; 5)
III) u4 = (a; b; c).
Resposta: este problema e o anterior ilustram os seguintes fatos:
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 ;
Se u no puder ser escrito como combinao linear de v1 e v2 , ainda assim o processo til o vetor w =
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 w ser a menor possvel dentre os vetores w daquele plano).
3) Seja := fe1 ; e2 ; ; em g um conjunto de m vetores ortonormais em Rn , m < n. Seja u 2 Rn . D uma

interpretao geomtrica para cada um dos valores a seguir:
a) aPi = hu; ei i
m
b) i=1 Phu; ei i ei
m
c) u hu; e i e
Pm i=1 2 i i
d) i=1 hu; ei i
Enm, mostre que
Xm m
X
(u pertence ao subespao gerado por ) () u = hu; ei i ei () ai 2 = kuk2 .
i=1 i=1
4) Suponha que fv1 ; v2 ; v3 ; vn g um conjunto de vetores ortogonais. Suponha que v = a1 v1 + a2 v2 + +

an vn ; ai 2 R. Calcule ai em funo dos vetores vi e do vetor v.
hv;vi i
Resposta: ai = hv i ;vi i
.
5) Mostre que as operaes 0.2 denem, de fato, produtos internos em seus respectivos espaos.
6) Mostre que o seguinte conjunto de vetores ortonormal em L2 ([ L; L]):

1 n x 1 n x
:= p sin ; p cos (n = 1; 2; 3; :::)
L L L L
2
7) Determine quais das seqncias vi abaixo esto em l2 . Para aquelas que esto em l2 , encontre kvi k = hvi ; vi i.
a) v1 = (1; 1; 1; 1; 1; 1; :::1; :::)
b) v2 = 1; 21 ; 14 ; 18 ; :::; 2k+1
1
; :::
c) v3 = (1; 7; 5; 0; 0; 0; 0; :::; 0; :::)
d) v4 = (1; 0; 1; 0; 0; 1; 0; 0; 0; 1; 0; 0; 0; 0; 1; 0; 0; 0; 0; 0; 1; :::)
2 2
Resposta: kv2 k = 34 e kv3 k = 75; os outros no esto em l2 .
8) Encontre 5 vetores ortogonais em l2 .

Resposta: no h uma resposta nica. Uma resposta criativa seria v1 = (1; 2; 0; 0; 0; 0; 0; 0; :::), v2 = (0; 0; 1; 0; 0; 0; :::),
v3 = (0; 0; 0; 1; 1; 0; 0; 0; 0; :::), v4 = (0; 0; 0; 7; 7; 0; 0; 0; :::) e v5 = 0; 0; 0; 0; 0; 0; 0; 1; 12 ; 41 ; 18 ; 16
1
; ::: .
CHAPTER 4
Sries de Fourier
Inspirados pelas sees anteriores, somos levados seguinte denio.

Definio 6. Seja f (x) uma funo peridica de perodo 2L (integrvel, absolutamente integrvel). A Srie
de Fourier de f (x)
X1
a0 m x m x
f (x) + am cos + bm sin
2 m=1
L L
onde
Z L
1 m x
am = f (x) cos dx (m = 0; 1; 2; 3; :::)
L L L
Z L
1 m x
bm = f (x) sin dx (m = 1; 2; 3; :::)
L L L
so os coecientes de Fourier de f (x).
Note que usamos o smbolo " " ao invs de "=", pois ainda no sabemos se a srie do lado direito converge para
f (x) em algum sentido.
Exemplo 6 (Onda Triangular). Seja f (x) uma funo peridica de perodo 2 tal que f (x) = jxj para x 2
[ ; ]. Temos
Z Z
1 2
a0 = jxj dx = xdx =
0
u=x dv = cos mxdx

Z Z du = dx v = sinmmx
1 2
am = jxj cos (mx) dx = x cos mx dx =
0
x= Z x=
2 sin mx 2 sin mx 2 cos mx 2 m
= dx = 0 + = (( 1) 1)
m x=0 0 m m m x=0 m2
Z
1
bm = jxj sin (mx) dx = 0 (pois jxj sin mx uma funo mpar)
Em suma
a0 =
4
am = m2 ,se m mpar
0, se m par 6= 0
bm = 0 para m = 1; 2; 3; :::
ou seja, a srie de Fourier de f (x)
1
4 X cos mx 4 cos 3x cos 5x cos 7x
f (x) = cos x + + + + :::
2 m=1
m2 2 9 25 49
m m par
No grco abaixo, exibimos a funo f (x) do exemplo acima e as somas parciais

S0 (x) =
2
4
S1 (x) = cos x
2
4 cos 3x
S3 (x) = cos x +
2 9
4 cos 3x cos 5x cos 7x
S7 (x) = cos x + + +
2 9 25 49
11
12 4. SRIES DE FOURIER
S3(x)
y
S1(x)
S0(x)
Note como as somas parciais parecem convergir para f (x). Para ilustrar melhor esta convergncia, abaixo esto os
grcos das funes en (x) = Sn (x) f (x) para n = 0; 1; 3; 7. Numericamente, pode-se calcular que je7 (x)j 0:008
para todo x, ou seja, S7 (x) aproxima f (x) = jxj corretamente j com 2 casas decimais de preciso, independente-
mente de x.
y
1
-4 -3 -2 -1 1 2 3 4
x
e1(x)
-1
e0(x)
Exemplo 7 (Onda Retangular). Tomemos agora uma funo g (x) peridica de perodo 2 tal que g (x) = 0 para
1 < x < 0 e g (x) = 1 para 0 < x < 1. Calculemos os coecientes de Fourier de g (x):
Z 1 Z 1
1
a0 = g (x) dx = g (x) dx = 1
1 1 0
Z 1 Z 1 x=1
1 sin (m x)
am = g (x) cos (m x) dx = cos (m x) dx = =0
1 1 0 m x=0
Z 1 Z 1 x=1 m+1
1 cos (m x) ( 1) +1
bm = g (x) sin (m x) dx = sin (m x) dx = =
1 1 0 m x=0 m
2
ou seja, bm = 0 se m par e bm = m se m mpar. Portanto, a srie de Fourier de g (x)
1
1 2 X sin ((2k 1) x) 1 2 sin (3 x) sin (5 x)
g (x) + = + sin ( x) + + + :::
2 2k 1 2 3 5
k=1
Abaixo esto os grcos das somas parciais da srie de Fourier de g (x)

4. SRIES DE FOURIER 13
1.2 S3(x)
y S5(x)
1.0
0.8
0.6
S0(x)
0.4
0.2 S1(x)
-2.0 -1.8 -1.6 -1.4 -1.2 -1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0
x
e das diferenas entre g (x) e tais somas
y
0.4
0.2
-2.0 -1.8 -1.6 -1.4 -1.2 -1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0
x
-0.2
-0.4
Note que, neste caso, a convergncia j no parece to boa. Em primeiro lugar, h uma grande oscilao residual no
erro; apesar de termos en (x) ! 0 para cada x onde g (x) contnua (vide Teorema a seguir), veremos mais tarde
que maxx2(0;1) (jen (x)j) no vai para 0.
Os exemplos acima parecem indicar que a srie de Fourier de f (x) converge para f (x) (pelo menos nos pontos
onde f (x) contnua). Mais tarde discutiremos as vrias maneiras pelas quais a srie de Fourier representa a funo
f (x), mas vamos desde j citar sem demonstrao um resultado importante sobre esta convergncia.
Definio 7. Uma funo f (x) seccionalmente contnua (ou contnua por partes) num intervalo
nito (a; b) quando for contnua em (a; b) exceto possivelmente em um nmero nito de pontos xn onde existem e
so nitos os seus limites laterais (denotados f (x0 +) e f (x0 )). Uma funo f (x) seccionalmente contnua
quando seccionalmente contnua em cada intervalo nito da reta real.
Exemplo 8. A funo f (x) do primeiro exemplo deste captulo contnua, ento seccionalmente contnua.
A funo g (x) do exemplo acima seccionalmente contnua (pois tem um nmero nito de descontinuidades em
cada intervalo limitado, e nestas descontinuidades os limites laterais existem). A funo tan x no seccional-
mente contnua (apesar de ter um nmero nito de descontinuidades em cada intervalo limitado, o limite lateral
limx! 2 tan x = +1 no existe.
Definio 8. Uma funo f (x) seccionalmente suave (ou suave por partes) quando ambas f (x) e sua
derivada f 0 (x) forem seccionalmente contnuas (com o entendimento de que a derivada pode no estar denida num
nmero nito de pontos, mas os seus limites laterais f 0 (x0 +) e f 0 (x0 ) devem existir nesses pontos).
Teorema 1. Se f (x) seccionalmente suave, ento para cada x0 xo a srie de Fourier de f (x) converge para
f (x0 +) + f (x0 )
2
Em particular, se f contnua em x = x0 , ento a srie de Fourier converge para f (x0 ) neste ponto.
14 4. SRIES DE FOURIER
Em termos das somas parciais

Xn
a0 m x m x
Sn (x) = + am cos + bm sin
2 m=1
L L
que estamos dizendo que, se f (x) for seccionalmente suave, ento para cada x0 real
f (x0 +) + f (x0 )
lim Sn (x0 ) =
n!1 2
at mesmo nos pontos onde f (x) no contnua.
Exemplo 9. Vimos que a srie de Fourier da funo f (x) peridica de perodo 2 com f (x) = jxj em [ ; ]
f (x) cos x + + + + :::
2 9 25 49
Como f (x) seccionalmente suave, o Teorema acima se aplica. Agora, como f (x) contnua, nem precisamos dos
limites laterais. Podemos escrever diretamente
jxj = cos x + + + + ::: para x
2 9 25 49
Em particular, tomando x = 0, obtemos uma bela identidade
1
X 2
4 1 1 1 1 1
0= 1+ + + ::: ) 2 =1+ + + ::: =
2 9 25 (2k 1) 9 25 8
k=1
Exemplo 10. Por outro lado, a srie de Fourier da onda retangular acima
1 2 sin (3 x) sin (5 x)
g (x) + sin ( x) + + + :::
2 3 5
Como g (x) seccionalmente suave, podemos ento dizer que
1 2 sin (3 x) sin (5 x)
1 = + sin ( x) + + + ::: para 0 < x < 1
2 3 5
1 2 sin (3 x) sin (5 x)
0 = + sin ( x) + + + ::: para 1<x<0
2 3 5
pois g (x) contnua em ( 1; 0) e em (0; 1). Porm no ponto 0, a srie no se aproxima de g (0), mas sim de
g (0+) + g (0 ) 1
=
2 2
1
o que pode ser facilmente conrmado substituindo x = 0 na srie de Fourier. Por outro lado, tomando x = 2,
obtemos outra bela identidade
1
X k+1
1 2 1 1 1 ( 1) 1 1 1
1= + 1 + + ::: ) =1 + + ::: =
2 3 5 7 2k 1 3 5 7 4
k=1
1. Exerccios
1) Obtenha a srie de Fourier de f (x) = 2 sin 3x + 4 cos 5x.
2) Calcule as sries de Fourier de f (x) = sin2 (x) e g(x) = cos5 (x).
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 .
4) Calcule as srie de Fourier das seguintes funes:

sin(x) se sin(x) 0
a) f (x) =
0 se sin(x) < 0
ex se x<
b) f (x) =
peridica de perodo 2
c) f (x) = j sin(wx)j
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 f (x) peridica de perodo 2 tal que f (x) = x para 0 < x 2 .
1. EXERCCIOS 15
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?
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).
CHAPTER 5
Extenses Pares e mpares
Definio 9. Uma funo f (x) par se seu domnio simtrico com relao origem e f ( x) = f (x) para
todo x 2 Domf .
Definio 10. Uma funo g (x) mpar se seu domnio simtrico com relao origem e g ( x) = g (x)
para todo x 2 Domf .
Exemplo 11. As funes do tipo cos mL x so todas pares, enquanto as funes do tipo sin m x
L so todas
mpares. A nica funo que par e mpar ao mesmo tempo a funo constante nula.
Cuidado! H funes que no so pares nem mpares! Por exemplo, f (x) = x2 + x no par nem mpar
(f ( 1) = 0 6= 2 = f (1)).
Proposio 3. Se f (x) par e g (x) mpar, ento

Z L Z L
f (x) dx = 2 f (x) dx
L 0
Z L
g (x) dx = 0
L
Proposio 4. Se f1 (x) e f2 (x) so pares e g1 (x) e g2 (x) so mpares (e c1 , c2 so nmeros reais quaisquer)
c1 f1 + c2 f2 par (isto , PAR+PAR =PAR)

c1 g1 + c2 g2 mpar (isto , MPAR+MPAR =MPAR)
f1 (x) f2 (x) par (isto , PAR.PAR =PAR)
f1 (x) g1 (x) MPAR (isto , PAR.MPAR =MPAR)
g1 (x) g2 (x) PAR (isto , MPAR.MPAR =PAR)
Em geral, uma funo par mais uma mpar d uma que no par nem mpar (a menos que uma delas seja
constante). De fato, qualquer funo h (x) com domnio simtrico pode ser escrita como a soma de uma par com uma
mpar: basta tomar f (x) + g (x) onde f (x) = h(x)+h(
2
x)
e g (x) = h(x) 2h( x) (verique que f par e g mpar!).
Proposio 5. Se f (x) par ento bm = 0 (m = 1; 2; 3; ::: ) em sua srie de Fourier, e sua srie de Fourier de
f (x) tem apenas cossenos. Se g (x) mpar ento am = 0 (m = 0; 1; 2; 3; :::) em sua srie de Fourier. Em outras
palavras, a srie de Fourier de g (x) tem apenas senos.
m x
Proof. De fato, se f (x) funo par ento f (x) sin L funo mpar e, portanto
Z L
m x
bm = f (x) sin =0
L L
anulando todos os termos em senos da srie de Fourier de f (x). A demonstrao para g (x) anloga.
Exercise 2. Seja f : [0; ] ! R dada por f (x) = x. Como escrever f (x) como uma soma (innita) que tenha
apenas cossenos?
Soluo: se f (x) for uma funo par, podemos escrev-la como uma soma de cossenos. Como a funo desejada
est denida apenas no intervalo [0; ], basta estend-la ao intervalo [ ; 0] de maneira que ela seja par, ou seja,
basta tomar f (x) = x em [ ; 0]. Agora estenda-a ao resto da reta de maneira que ela seja peridica, digamos, de
perodo 2 (veja os grcos abaixo):
17
18 5. EXTENSES PARES E M PARES
4 4
y y
3 3
2 2
1 1
-3 -2 -1 0 1 2 3 -3 -2 -1 0 1 2 3
x x
Funo f (x) original f1 (x) sua extenso par...
y3
2
-8 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 8
x
... e f2 (x) par e peridica!

Como esta ltima funo par e peridica de perodo 2 , sua srie de Fourier ter apenas cossenos. J zemos
este clculo anteriormente; a srie de Fourier desta ltima funo
f2 (x) = cos x + + + + :::
2 9 25 49
Como f2 (x) contnua, a igualdade acima est garantida. Por outro lado, como f2 (x) = f (x) no intervalo [0; ],
podemos tambm escrever
f (x) = x = cos x + + + + :::
2 9 25 49
pelo menos para x 2 [0; ].
Alis, a opo acima no a nica forma de escrever f (x) como soma de cossenos. Por exemplo, poderamos
primeiro estender f (x) = para x 2 e depois fazer a extenso par e peridica de perodo 4 ; como na gura
abaixo1
y3
2
-12 -10 -8 -6 -4 -2 0 2 4 6 8 10 12
x
Outra possvel extenso par de f (x)

Calculando a srie de Fourier desta funo de perodo 2L = 4 , obtm-se uma outra srie que converge para f (x) = x
para 0 x voc consegue calcular esta nova srie?
Em geral, dada uma funo f (x) : [0; L] ! R, sempre temos a opo de estend-la ao intervalo [ L; 0] de forma
que ela seja par (ou mpar), e da estend-la ainda mais para que ela seja peridica de perodo 2L: Com isto obtm-se
sries que representam f (x) mas que tm apenas cossenos (ou senos). No difcil encontrar frmulas que relacionam
diretamente a funo f (x) aos coecientes destas sries:
Definio 11. Dada f (x) : [0; L] ! R dene-se sua srie em senos como
X1 Z
mx 2 L m x
bm sin onde bm = f (x) sin dx
m=1
L L 0 L
1 Alis, para ser preciso, voc pode estender f (x) inventando os valores que voc quiser em [ ; A], depois estend-la de forma par e
enm peridica de perodo 2A; a srie de Fourier da extenso convergir para f (x) onde quer que a extenso seja contnua!
5. EXTENSES PARES E M PARES 19
Analogamente, sua srie em cossenos

X1 Z L
mx 2 m x
am cos onde am = f (x) cos dx
m=1
L L 0 L
Usando estas frmulas, voc nem precisa realmente trabalhar com as tais extenses pares ou mpares as frmulas
acima nos do diretamente a srie em senos ou cossenos usando apenas integrais no intervalo [0; L]. Mesmo assim,
bom lembrar que:
A srie em senos de f (x) : [0; L] ! R a srie de Fourier da extenso mpar de f (x) que tem perodo 2L.
A srie em cossenos de f (x) : [0; L] ! R a srie de Fourier da extenso par de f (x) que tem perodo 2L.
Usando outras extenses e outros perodos, possvel obter outras sries s com senos ou cossenos que
representam f (x).
Enm, o resto desta aula trata de como obter sries de senos ou cossenos onde apenas os coecientes de ordem
par (ou mpar) aparecem. Em outras palavras, observe o exemplo acima o que a funo f2 (x) tem de especial para
que a sua srie de Fourier tenha apenas os cossenos de ordem mpar2 ?
Proposio 6. Seja f (x) uma funo peridica de perodo 2L. Suponha tambm que f (x + L) = f (x) para
todo x. Se usarmos o perodo 2L para calcular a srie de Fourier de f (x), todos os termos de ordem mpar se
anulam.
Proof. De fato
Z L Z 0 Z L
m x m x m x
am = f (x) cos dx = f (x) cos dx + f (x) cos dx
L L L L 0 L
Trocando u por x na primeira integral (apenas por convenincia) mas fazendo u = x L na segunda
Z 0 Z 0
m u m u
am = f (u) cos du + f (u + L) cos + m du
L L L L
Agora que os limites so os mesmos, podemos juntar tudo numa integral s e usar que f (u + L) = f (u) para todo
u: Z 0
m u m u
am = f (u) cos + cos +m du
L L L
Porm, se m mpar, os dois cossenos se anulam, ento am = 0. A demonstrao de que bm = 0 para m mpar
totalmente anloga, trocando cos por sin.
Proposio 7. Seja f (x) uma funo peridica de perodo 2L. Suponha tambm que f (x + L) = f (x) para
todo x. Ento na srie de Fourier de f (x) todos os termos de ordem par se anulam.
Proof. A demonstrao anloga anterior e ca como um exerccio para o leitor.
Gracamente, a condio f (x + L) = f (x) signica que f tinha um perodo menor que 2L, a saber, L, mas este
no foi usado ao calcularmos a srie de Fourier. J a segunda condio f (x + L) = f (x) pode ser ilustrada pelo
grco abaixo:
L x
Em suma, para obter uma srie de Fourier, voc precisa pensar numa extenso peridica; no entanto:
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;
2 Para ser exato, a srie de f (x) tem um cosseno de ordem par, que a constante inicial . A pergunta correta ento seria: o que
2 2
a funo f2 (x) 2
tem de especial?
20 5. EXTENSES PARES E M PARES
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);
Se voc quer apenas os temos de ordem mpar, estenda a sua funo de forma que f (x + L) = f (x) :
Enm, nada impede que voc misture as idias acima para obter uma srie apenas com senos de ordem par, etc.
1. Exerccios
1) Para cada uma das funes f (x) a seguir encontre (se possvel) uma extenso peridica tal que as sries de
Fourier das extenses tm as seguintes formas em (a-e), voc pode escolher o valor de L!
a) S F~1 (x) = 0 + 1 n cos n x + n sin n x
2 n=1 L d) S F~4 (x) = 0 + 1 n cos 2n x
L 2 n=1 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) = 1
2 + n=1 n cos
0 n x
5
i)f (x) = jxj; x 2 [ 1; 1] ii)f (x) = x2 + 1; 0 < x < 2 iii)f (x) = sin(x); x 2 [0; ]
2 se x 2 (0; 1] tan(x) se x 2 (0; 1]
iv)f (x) = v)f (x) =
0 se x 2 [ 1; 0] sec(x) se x 2 [ 1; 0]
2) A seguir esto descritas 5 funes e 4 sries de Fourier. Cada uma das sries s pode corresponder a uma
nica funo e, evidentemente, uma das funes no tem sua srie representada. Faa as associaes.
x3 se x 2 ( 2; 2] x3 se x 2 (0; 4]
a) f1 (x) = b) f2 (x) =
f (x + 4) = f (x) 8 f (x + 4) = f (x)
< sin(x) se x 2 (0; ]
exp (x) se x 2 ( ; ]
c) f3 (x) = d) f4 (x) = sin(x) se x 2 [ ; 0]]
f (x + 2 ) = f (x) :
f (x + 2 ) = f (x)
x2 + 3x4 se x 2 ( 1; 1]
e) f5 (x) =
f (x + 2) = f (x)
a0 n x
Sa = 2 + 1
n=1 an cos( 2 ) + bn sin( n2 x ) Sb = 1 n x
n=1 n sin( 2 )
1 1
Sc = 2
0
+ n=1 n cos(nx) Sd = 2
0
+ n=1 n cos(nx) + n sin(nx)
CHAPTER 6
A Identidade de Parseval
Definio 12. A norma de um vetor ~v (num espao vetorial E de acordo com um produto interno previamente
denido)
p
kvk = h~v ; ~v i
Note que este nmero garantidamente real, por causa da positividade do produto interno.
Exemplo 12. Dado ~v = (x; y) 2 R2 e usando o produto interno cannico, temos
p p
k~v k = h~v ; ~v i = x2 + y 2
que o "tamanho" do vetor ~v com o qual estamos acostumados na Geometria Euclideana. Analogamente, dado
~v = (x; y; z) 2 R3 , temos
p
k~v k = x2 + y 2 + z 2
se estivermos usando o produto interno cannico.
Exemplo 13. Seja f (t) 2 L2 ([a; b]) (lembre que este o espao de todas as funes reais integrveis com domnio
[a; b] cuja integral do quadrado tambm existe). Usando o produto interno usual, temos
Z b
2
kf (t)k = hf; f i = f 2 (s) ds
a
2
Tipicamente, se f (t) um sinal, a quantidade kf (t)k a energia deste sinal. Alis, note que a existncia desta
norma est atrelada ao fato de que f 2 L2 ou seja, L2 o espao vetorial de todos os sinais de energia nita.
Qual a relao entre a norma da soma de dois vetores e a norma de cada um deles ou, na linguagem dos sinais,
qual a relao entre a energia da superposio de dois sinais e a energia de cada um deles? Temos:
Proposio 8.
2 2 2
kf + gk = kf k + kgk + 2 hf; gi
Proof. Basta usar a distribuitividade do produto interno
2 2 2
kf + gk = hf + g; f + gi = hf; f i + hf; gi + hg; f i + hg; gi = kf k + 2 hf; gi + kgk
Note que esta uma verso generalizada da Lei dos Cossenos. De fato, na Geometria Euclideana de R2 ou R3
tnhamos hf; gi = kf k kgk cos z onde z era o ngulo entre os vetores f e g. Colocando kf + gk = a, kf k = b e kgk = c,
temos a conhecida lei dos cossenos (basta notar que z = A ) cos z = cos A):
a2 = b2 + c2 2bc cos A^
g ||=a
||f+ ||=
c
||g

z
||f||=b
2 2 2
Corolrio 1. Se f e g so ortogonais, ento kf + gk = kf k + kgk .
21
22 6. A IDENTIDADE DE PARSEVAL
O leitor atento notar que esta uma generalizao do Teorema de Pitgoras. Alis, por falar em generalizao,
temos a seguinte proposio cuja demonstrao anloga da Lei dos Cossenos acima:
Proposio 9 (Teorema de Pitgoras). Se ff1 ; f2 ; :::; fn g so ortogonais e c1 , c2 , ..., cn 2 R, temos
2 2 2 2
kc1 f1 + c2 f2 + ::: + cn fn k = c21 kf1 k + c22 kf2 k + ::: + c2n kfn k
Agora, suponha que
X1
a0 m x m x
f (x) = + am cos + bm sin
2 m=1
L L
(o que ocorre, por exemplo, se f (x) for contnua e os coecientes am e bm vierem de sua srie de Fourier). Como
os vetores do conjunto cos mL x ; sin nLx onde m = 0; 1; 2; ::: e n = 1; 2; 3; ::: so ortogonais dois a dois, no
caramos surpresos1 se valesse uma igualdade semelhante ao Teorema de Pitgoras acima
X1
2 a20 2 m x 2 m x 2
kf k = k1k + a2m cos + b2m sin
4 m=1
L L
2 m x 2 m x 2
Como j vimos mais cedo (equaes 0.3 na pgina 9), k1k = 2L e cos L = sin L = L, ento
1
!
2 a20 X
kf k = L + a2m + b2m
2 m=1
Mesmo em alguns casos em que a srie de Fourier no converge exatamente para f (x), o resultado acima ainda
vale (desde que f (x) seja razoavelmente bem comportada). Para ser exato, pode-se mostrar que:
Teorema 2 (Identidade de Parseval). Seja f (x) 2 L2 ([ L; L]) (isto , f (x) uma funo integrvel e de
quadrado integrvel no intervalo [ L; L]). Ento
Z X1
1 L 2 a2
f (x) dx = 0 + a2m + b2m
L L 2 m=1
1 1
onde fam g0 e fbm g1 so os coecientes da srie de Fourier de f (x) :
Exemplo 14. Voltemos mais uma vez srie de Fourier da onda triangular
1
4 X cos ((2n 1)) x
jxj 2 para x 2 [ ; ]
2 n=1 (2n 1)
isto , os nicos coecientes no-nulos so
4
a0 = ; a2n 1 = 2
(2n 1)
onde n = 1; 2; :::. Portanto, pela identidade de Parseval, temos
Z 1
!2
1 2
2 X 4
jxj dx = + 2
2 n=1 (2n 1)
3
2
Como a integral do lado esquerdo 3 , temos mais uma bela identidade
1
X 4
1 1 1 1
4 =1+ + + + ::: =
n=1 (2n 1) 34 54 74 96
Exemplo 15. Voltemos mais uma vez srie de Fourier da onda retangular
1
1 2 X sin ((2k 1) x)
g (x) +
2 2k 1
k=1
isto , os nicos coecientes no-nulos so

2
a0 = 1; b2k 1 =
(2k 1)
1 Cuidado, este argumento no um demonstrao rigorosa do jeito que est! O "Teorema de Pitgoras" acima foi demonstrado
para somas nitas. Agora, estamos prestes a utiliz-lo para uma soma innita. Nem tudo que vale para somas nitas vale para somas
innitas!
1. EXERCCIOS 23
onde k = 1; 2; ::: . Pela identidade de Parseval:

Z 1
1 X
2
1 1 2
g (x) dx = +
1 1 2 (2k 1)
k=1
Como a integral do lado esquerdo vale 1, temos novamente a seguinte identidade
X1 2
1 1 1 1
2 = 1 + 32 + 52 + 72 + ::: = 8
(2k 1)
k=1
1. 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:::).
5) Demonstre o "Teorema de Pitgoras" do texto.

CHAPTER 7
Derivao e Integrao de Sries de Fourier

Rx
O objetivo desta aula calcular rapidamente os coecientes das sries de Fourier de f 0 (x) e de F (x) = 0 f (t) dt
a partir dos coecientes de Fourier de f (x) de maneira rpida, sempre que possvel.
Em primeiro lugar, note que a derivao termo-a-termo da srie de Fourier nem sempre nos d resultados
satisfatrios:
Exemplo 16 (Dente de Serra). Seja f (x) uma funo perdica de perodo 2 tal que f (x) = x para <x< .
No difcil calcular
X1
m+1 sin mx sin 2x sin 3x sin 4x
f (x) 2 ( 1) = 2 sin x + + :::
m=1
m 2 3 4
Ser que a srie de Fourier da derivada de f a derivada, termo-a-termo, da srie de f ? Em outras palavras, ser
que
??
X m+1
1 2 ( 1) cos (mx) = 2 (cos x cos 2x + cos 3x cos 4x + :::)
pelo menos no intervalo ( ; ) onde f derivvel? A resposta NO! De fato, a funo constante 1 a sua prpria
srie de Fourier! Alis, note que a srie do lado direito nem mesmo converge! Por exemplo, para x = 0, teramos a
srie 2 (1 1 + 1 1 + :::), que no converge (oscila entre 2 e 0)! Pior ainda pela identidade de Parseval, nenhuma
funo de quadrado integrvel pode ter uma srie de Fourier com coecientes (2; 2; 2; 2; :::) como a que est do
lado direito, pois a soma de seus quadrados no nita! Neste caso, a derivao termo a termo da srie de Fourier
foi um desastre completo!
Por outro lado, se a funo peridica f (x) for contnua em R, temos o seguinte resultado.
Teorema 3 (Derivada da Srie de Fourier). Seja f (x) uma funo peridica de perodo 2L, seccionalmente
derivvel e contnua em toda a reta real. Se a srie de Fourier de f (x)
X1
a0 m x m x
2 m=1
L L
Ento a srie de Fourier de f 0 (x)
1
X
0 m x m x
f (x) Am cos + Bm sin
m=1
L L
m m
onde A0 = 0, Am = bm e B m =
L L am . Ou seja, a srie de Fourier de f 0 (x) pode ser obtida derivando termo
a termo a srie de f (x).
Proof. De fato, como f peridica de perodo 2L, ento f 0 tambm o ser. Vamos calcular explicitamente os
coecientes da srie de Fourier de f 0 (x):
Z
1 L 0 m x
Am = f (x) cos dx
L L L
Z
1 L 0 m x
Bm = f (x) sin dx
L L L
Como f (x) contnua, podemos usar o T.F.C. para obter1 :
Z
1 L 0 f (L) f ( L)
A0 = f (x) dx = =0
L L L
1 O Teorema Fundamental do Clculo (R b g 0 (x) dx = g (b) g (a)) ainda vale se g (x) diferencivel em [a; b] exceto num nmero
a
nito de pontos desde que g (x) seja contnua. Agora, se g (x) no fosse contnua, no poderamos us-lo. Considere, por exemplo, a
R
funo g (x) = [x] : Temos g 0 (x) = 0 (exceto para valores inteiros de x). Note que neste caso ab g 0 (x) dx = 0 mas g (b) g (a) 6 0!
25
26 7. DERIVAO E INTEGRAO DE SRIES DE FOURIER
onde usamos que f (L) = f ( L) (pois f tem perodo 2L). Tambm podemos integrar por partes2 e fazer para m 1:
Z
1 m x x=L 1 L m m x
Am = f (x) : cos + f (x) sin dx =
L L x= L L L L L
m Z
( 1) m 1 L m x m
= (f (L) f ( L)) + f (x) sin dx = bm
L L L L L L
Z
1 m x x=L 1 L m m x
Bm = f (x) : sin f (x) cos dx =
L L x= L L L L L
Z
m 1 L m x m
= 0 f (x) cos dx = am
L L L L L
Exemplo 17 (Onda Triangular). Mais uma vez, a srie de Fourier da onda triangular f (x) (peridica de perodo
2 tal que f (x) = jxj para x 2 [ ; ])
f (x) cos x + + + + :::
2 9 25 49
Como f (x) contnua, podemos derivar termo a termo
4 sin 3x sin 5x sin 7x
f 0 (x) sin x + + + + :::
3 5 7
1, se x 2 (0; )
onde f 0 (x) a onda retangular de perodo 2 denida por f 0 (x) = .
1, se x 2 ( ; 0)
Exercise 3. a) Seja g (x) a funo peridica de perodo 2 tal que g (x) = x para x 2 [ ; ). Encontre a sua
srie de Fourier.
2
b) Seja G (x) a funo peridica de perodo 2 tal que G (x) = x2 para x 2 [ ; ). Encontre a sua srie de Fourier.
Soluo: a) Como g (x) mpar, sabemos que sua srie no ter cossenos. Os coecientes Bm dos senos sero
Z x=
Z
1 1 x 1 1
Bm = x sin (mx) dx = cos (mx) + cos (mx) dx =
m x= m
2 m+1
m+1 2 1 1 x= ( 1) 2
= ( 1) + (sin (mx)jx= =
m m m
Ento
X1 m+1
( 1) sin (mx)
g (x) 2
m=1
m
b) Poderamos fazer os clculos como no item acima, mas note que G (x) contnua (com G ( ) = G ( ) nos
extremos de um perodo) e G0 (x) = g (x). Assim, se
X1
a0
G (x) + (am cos (mx) + bm sin (mx))
2 m=1
O Teorema acima garante que a srie de Fourier de g (x) ser
X1
g (x) (mbm cos (mx) mam sin (mx))
m=1
Mas esta ltima conhecida do item (a)! Assim, temos:
mbm = Am = 0 ) bm = 0 para m = 1; 2; 3; :::
(o que era de se esperar pois G (x) par) e
m+1 m
( 1) 2 ( 1) 2
mam = Bm = ) am = para m = 1; 2; 3; :::
m m2
S falta mesmo calcular a0 , o que pode ser feito diretamente
Z x=
1 1 x3 2
a0 = G (x) dx = =
6 x= 3
2 A frmula de integrao por partes o T.F.C. aplicado funo uv. A nota acima garante a correo deste clculo pois tanto f
como as funes trigonomtricas so contnuas.
7. DERIVAO E INTEGRAO DE SRIES DE FOURIER 27
Assim
2 X1 m
( 1)
G (x) +2 cos (mx)
6 m=1
m2
y 3 y
4
2
3
1
2
-5 -4 -3 -2 -1 1 2 3 4 5
-1 x 1
-2
-5 -4 -3 -2 -1 0 1 2 3 4 5
-3 x
A 20a soma parcial da srie de g (x) A 20a soma parcial da srie de G (x)
A propsito, note as oscilaes na vigsima soma parcial de g (x), que so muito mais intensas do que as oscilaes
presentes na vigsima soma parcial de G (x). O mesmo fenmeno observado nas somas parciais da srie de Fourier
da onda retangular mas no aparece na onda triangular. Este fenmeno (fenmeno de Gibbs) ser analisado mais
frente.
A idia do exerccio anterior pode ser enunciada por um teorema:
Teorema 4 (Integrao da Srie de Fourier). Seja f (x) uma funo peridica seccionalmente contnua de perodo
2L com srie de Fourier dada por
X1
a0 m x m x
2 m=1
L L
Rx
Ento a funo F (x) = 0 f (t) a20 dt contnua, peridica de perodo 2L e sua srie de Fourier
1
! 1
X L X L m x L m x
F (x) = bm + bm cos + am sin
m=1
m m=1
m L m L
a0
(que exatamente a srie de f (x) 2 integrada termo a termo de 0 at x; note a igualdade nesta segunda expresso!).
Proof. O T.F.C. garante que F (x) diferencivel em todos os pontos onde f (x) contnua, com F 0 (x) =
f (x) a20 . Nos pontos onde f (x) descontnua, como existem os limites laterais de f (x), esta funo ser limitada
(no pode se aproximar de 1), e portanto F (x) ser contnua. Assim, F (x) contnua em toda a reta real.
Para mostrar que F peridica, note que
Z x+2L Z x+2L ! Z L
a0
F (x + 2L) F (x) = f (x) dx = f (x) dx a0 L = f (x) dx a0 L = 0
x 2 x L
pois f (x) peridica de perodo 2L, ento sua integral em qualquer intervalo de comprimento 2L tem sempre o
mesmo valor. Assim, F peridica de perodo 2L.
Sendo assim, podemos calcular a srie de Fourier de F (x), digamos
X1
A0 m x m x
F (x) + Am cos + Bm sin
2 m=1
L L
Como F contnua, podemos aplicar o teorema da derivao de sries de Fourier para encontrar3
m m L L
am = B m e bm = Am ) Am = bm e B m = am
L L m m
P 1
Falta apenas mostrar que A20 = m=1 mL bm . No entanto como F (x) contnua, a sua srie de Fourier converge
para F (x). Em particular, para x = 0:
X1 X1
A0 A0
F (0) = + (Am cos (0) + Bm sin (0)) = + Am
2 m=1
2 m=1
3 Note que as letras maisculas aqui fazem o papel das minsculas no enunciado daquele teorema, e vice-versa.
28 7. DERIVAO E INTEGRAO DE SRIES DE FOURIER
R0 a0
Mas por outro lado F (0) = 0
f (t) 2 dt = 0. Assim
1
X X1
A0 L
= Am = bm
2 m=1 m=1
m
Enm, F (x) igual sua srie de Fourier pois F (x) contnua.
Corolrio 2. Outra maneira de escrever o teorema acima

Z x 1
a0 x X L m x L m x
f (t) dt = + am sin + bm cos 1
0 2 m=1
m L m L
que se parece ainda mais com a integrao termo-a-termo da srie de Fourier de f (x).
Rb Rb Ra
Corolrio 3. Enm, como a f (t) dt = 0 f (t) dt 0 f (t) dt, conclumos que, se f seccionalmente contnua,
Z b Z b X1 Z b
a0 m t m t
f (t) dt = dt + am cos + bm sin dt
a a 2 m=1 a
L L
ou seja, a srie de Fourier de uma funo seccionalmente contnua pode ser integrada termo a termo num intervalo
[a; b] qualquer.
Exemplo 18. Vamos calcular a srie de Fourier da funo peridica de perodo 2 dada por h (x) = x3 para
x 2 [ ; ]. Ao invs de fazer clculos complicados, podemos integrar a srie de Fourier do exemplo anterior4
X1 m X1 m
x2 2
( 1) x3 2
x ( 1) 2
=2 cos (mx) ) = sin (mx)
2 6 m=1
m2 6 6 m=1
m3
Agora, a srie de Fourier de x (com perodo 2 ) tambm j foi calculada acima

X1 m+1
( 1) 2 sin (mx)
x
m=1
m
(note que aqui no vale a igualdade em x = ). Ento

1
X
x3 m 2 2 2
( 1) sin (mx) )
6 m=1
m3 m 6
1
X m 12 2 2 m2
) x3 ( 1) sin (mx)
m=1
m3
y 30
20
10
-5 -4 -3 -2 -1 1 2 3 4 5
x
-10
-20
-30
20a soma parcial da srie de x3 . As oscilaes esto de volta.
4 Todas as igualdades a seguir valem para x 2 [ ; ].

1. EXERCCIOS 29
1. Exerccios
1) Calcule a srie de Fourier da funo peridica de perodo 2 que coincide com x4 em [ ; ].
1, se 0 < x < 1
2) 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 ((2k 1) x)
f (x)
2k 1
k=1
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 ((2k 1) x)
k=1
No entanto, o somatrio do lado direito no a srie de Fourier da funo nula. O que est errado?
3) Integre 3 vezes a expresso

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 expresso!). A
partir desta expresso, mostre que
X1 4 1
X m+1
1 ( 1) 7 4
4
= ; 4
=
m=1
m 90 m=1 m 720
Enm, some estas expresses para obter
1
X 4
1
4 =
(2k 1) 96
k=1
4) Mostre que
1
2 4 X 1
sin ( x) = cos (2m x) para x 2 (0; 1)
m=1
4m2 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
CHAPTER 8
Convergncia Pontual e Uniforme
Sabemos que, se f (x) seccionalmente suave e contnua, a srie de Fourier de f (x) "converge" para f (x). Em
outras palavras, se analisarmos a seqncia das somas parciais fs0 (x) ; s1 (x) ; s2 (x) ; :::g onde
Xn
a0 m x m x
sn (x) = + am cos + bm sin
2 m=1
L L
esta seqncia "se aproxima" de f (x). Nesta seo, discutimos mais formalmente o que queremos dizer com "con-
verge" ou "se aproxima".
Assim, considere uma seqncia de funes fn (x) onde n = 1; 2; 3; :::. Gostarmos de discutir se elas se aproximam
em algum sentido da funo f (x). Se pensarmos que fn (x) so estimativas para f (x), natural considerar a funo
erro
en (x) = jfn (x) f (x)j .
Baseado nesta funo erro, temos duas noes de convergncia.
Definio 13 (Convergncia simples ou pontual). Diz-se que uma seqncia de funes fn : X ! R converge
pontualmente para f : X ! R se, para cada x 2 X, tem-se limn!1 en (x) = 0. Formalmente, isto signica que,
dado um "erro aceitvel" qualquer " > 0, para cada x 2 X, temos um certo N0 2 N a partir do qual tem-se en (x) < ".
Em smbolos
8" > 0, 8x 2 X, 9N0 2 N tal que jfn (x) f (x)j < " sempre que n N0
Definio 14 (Convergncia uniforme). Diz-se que uma seqncia de funes fn : X ! R converge uni-
formemente para f : X ! R se temos
lim sup en (x) =0

n!1 x2X
isto 1 , dado um "erro aceitvel" qualquer " > 0, temos um certo N0 2 N a partir do qual, para todo x 2 X, tem-se
supx2X en (x) < ". Em smbolos
8" > 0, 9N0 2 N , 8x 2 X, tal que jfn (x) f (x)j < " sempre que n N0
A diferena entre os conceitos acima que na convergncia pontual o N0 pode depender de x, mas na convergncia
uniforme (dado um " > 0) tem-se um N0 que serve para todos os x ao mesmo tempo. Vejamos alguns exemplos para
esclarecer esta diferena.
Exemplo 19. Seja fn : R ! R dada por fn (x) = nx . Para cada x xo, tem-se limn!1 nx = 0, ento a seqncia
x
n converge pontualmente para a funo nula. No entanto, dado um erro aceitvel " > 0, impossvel escolher
um n tal que jfn (x) 0j < " para todo x, isto , a convergncia no uniforme! De fato, note que para cada
n temos supx2R en (x) = +1 6! 0!
1 O supremo de uma funo a menor cota superior que ela admite (o que pode ser um mximo ou uma espcie de "mximo no
atingido"). Por exemplo, a funo x denida para 0 < x < 1 no tem mximo igual a 1 (pois ele nunca atingido), mas tem supremo
1. A funo f (x) = 6 ex no tem mximo 6 (pois ele nunca atingido), mas tem supremo 6.
31
32 8. CONVERGNCIA PONTUAL E UNIFORM E
5
5 y
y 4
4
3
3
2
2
1
1
-5 -4 -3 -2 -1 1 2 3 4 5
-5 -4 -3 -2 -1 1 2 3 4 5 -1 x
-1 x
-2
-2
-3
-3
-4
-4
-5
-5
...mas por maior que seja n, no vale en (x) < " para todo
Para cada x, tem-se fn (x) ! 0... x!
Por exemplo, se quisermos que o erro entre fn (x) e o limite f (x) = 0 seja menor que 0:005, para cada x basta
fazer
x
< 0:005 ) n > 200 jxj
n
Assim, para x = 1 precisamos passar de f200 ; para x = 2 precisamos pelo menos ir at f400 ; para x = 2000, tome
f400000 e o erro ser menor que 0:005. E assim por diante, cada x com o seu n. Mas no h como tomar um n
que faa com que o erro seja menor que 0:005 simultaneamente para todo x qualquer n que voc escolha, tome
n
x > 200 e voc ver valores de x que "escapam" ao erro "aceitvel" de 0:005.
Em suma, todos os valores de fn (x) vo "morrer" em f (x) = 0... mas no "ao mesmo tempo"!
x
Exemplo 20. Agora seja A > 0 xo e considere fn : [0; A] ! R dadas por fn (x) = n: Desta vez, a convergncia
uniforme! Anal,
A
jfn (x) 0j para todo x 2 [0; A]
n
Assim, dado um erro " > 0, basta tomar n > A" e garantiremos que jfn (x) 0j " para todo x 2 [0; A]. Ou, com a
noo de mximo/supremo, a convergncia uniforme pois
A
max en (x) = !0
x2[0;A] n
medida que n ! 1.
Exemplo 21. Tomemos agora gn (x) : [0; 1] ! R dadas por gn (x) = xn . Pontualmente, veja que
0, se 0 x < 1
lim gn (x) = g (x) =
n!1 1, se x = 1
No entanto, esta convergncia no uniforme! De fato, note que para x < 1 temos
gn (x) g (x) = xn 0 = xn
que ca arbitrariamente prximo de 1 quando x ! 1. Assim
sup en (x) = 1
x2[0;1]
isto , o erro mximo nunca ca abaixo de 1. Por este motivo a convergncia no uniforme.
8. CONVERGNCIA PONTUAL E UNIFORM E 33
1.0
y
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0.0
0.0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0
x
Para " = 0:5, sempre tem x fora da faixa de raio " em volta do limite.
Exemplo 22. Tome hn : [0; 1] ! R dada por hn (x) = xn (1 xn ). Novamente, fcil ver que
lim hn (x) = 0
n!1
para cada x. Tomando en (x) = jhn (x) 0j = xn (1 xn ), com um pouco de clculo v-se que maxx2[0;1] en (x) = 41
q
(mximo este que ocorre para x = n 12 . Assim, limn!1 maxx2[0;1] en (x) = 41 6= 0, e ento a convergncia no
uniforme.
0.3
y
0.2
0.1
0.0
0.0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0
x
Para " = 0:1, sempre tem x fora da faixa de raio " em volta do limite 0.
A convergncia uniforme tem algumas propriedades que a convergncia pontual no pode garantir, como veremos
a seguir (sem demonstraes).
Teorema 5. Suponha que fn (x) ! f (x) uniformemente. Ento:
i) Se cada fn (x) contnua em [a; b], ento f (x) contnua em [a; b].
ii) Se cada fn (x) tem integral em [a; b], ento
Z b Z b
fn (x) dx ! f (x) dx quando n ! 1
a a
Note que o Teorema acima no vlido se a convergncia no for uniforme: o exemplo 21 acima mostra que
uma seqncia de funes contnuas gn (x) pode muito bem convergir pontualmente para uma funo descontnua;
por outro lado, o exerccio (1) abaixo exibe uma seqncia hn tal que hn (x) ! 0 pontualmente sem que valha
R1 R1
0
hn (x) dx = 0 0dx = 0. Enm, note que fn (x) ! f (x) no garante que fn0 (x) ! f 0 (x) nem mesmo com
convergncia uniforme (veja exerccio (2)).
Neste momento, pedimos ao leitor que reita sobre as conseqncias destas consideraes. No primeiro exemplo
do captulo anterior, vimos que
1
X m+1 sin mx sin 2x sin 3x sin 4x
x=2 ( 1) = 2 sin x + + ::: para <x<
m=1
m 2 3 4
O que um somatrio "at innito"? Ou seja, o que realmente signica aquele "..."? A interpretao correta da
expresso acima : denindo
n
X m+1 sin mx sin 2x sin 3x sin 4x n+1 sin nx
sn (x) = 2 ( 1) = 2 sin x + + ::: + ( 1)
m=1
m 2 3 4 n
temos sn (x) ! x pontualmente ( medida que n ! 1). Em geral, uma expresso deste tipo no pode ser integrada
termo-a-termo (a menos que a convergncia seja uniforme) nem derivada termo-a-termo (nem que a convergncia
seja uniforme) 2 .
Para terminar esta seo, vamos agora re-enunciar o Teorema de Convergncia de Sries de Fourier usando esta
nova linguagem:
Teorema 6. Se f (x) (peridica de perodo 2L) e seccionalmente suave, ento as somas parciais sn (x) da sua
srie de Fourier convergem pontualmente para
f (x0 +) + f (x0 )
2
(Em particular, se f contnua em x = x0 , ento a srie de Fourier converge para f (x0 ) neste ponto).
Mais ainda, se f (x) tambm contnua em todos os pontos do intervalo fechado [a; b], ento a convergncia
uniforme no intervalo [a; b].
Exemplo 23. Voltemos mais uma vez ao exemplo da onda retangular g (x), peridica de perodo 2, tal que
0, se 1<x<0
g (x) = . A sua srie de Fourier
1, se 0 < x < 1
1
1 2 X sin ((2k 1) x) 1 2 sin (3 x) sin (5 x)
g (x) + = + sin ( x) + + + :::
2 2k 1 2 3 5
k=1
Pelo Teorema de Convergncia, j sabemos que esta srie de Fourier converge para g (x) exceto nos pontos da forma
x = k 2 Z. Nestes pontos, g descontnua, e a srie de Fourier convergir para g(k+)+g(k
2
)
= 12 .
Portanto, a srie de Fourier converge para uma funo descontnua, e, por este motivo, a convergncia no
pode ser uniforme em toda a reta real (como sin e cos so contnuas, quando a srie de Fourier convergir uniforme-
mente, o limite tem de ser contnuo). Isto dito, como g (x) contnua nos intervalos fechados da forma ["; 1 "]
(onde 0 < " < 1), dentro deles a srie de Fourier converge uniformemente para 1 (e, analogamente, a srie con-
verge uniformememente para 0 nos intervalos fechados da forma [ 1 + "; "]). Note que o Teorema no garante
convergncia uniforme no intervalo (0; 1), apesar de g (x) ser contnua ali o problema que este intervalo no
fechado, ento o Teorema no se aplica.
2 Isto dito, para sries de Fourier, estas sries podem ser derivadas e integradas termo-a-termo nas condies dos teoremas do
captulo anterior.
1. EXERCCIOS 35
y 1.2
1.0
0.8
0.6
0.4
0.2
-0.30 -0.25 -0.20 -0.15 -0.10 -0.05 0.05 0.10 0.15 0.20 0.25 0.30
x
-0.2
Zoom nas somas parciais de ordem 1, 9, 17, 31 e 101.

Para entender melhor a convergncia no-uniforme da srie de Fourier da onda quadrada, veja o grco acima3 :
o grco vermelho, mais "oscilante", tem termos de ordem at 101 da srie de Fourier, mas ainda h um pequeno
pedao dele que ca fora da faixa denida por "erro mximo de 0:1 em volta do limite g (x)". De fato, por maior
que seja N , a soma parcial sN (x) jamais estar completamente contida naquela faixa o erro mximo entre sN (x)
e g (x) ser sempre 0:5 (que ocorre logo direita do ponto x = 0).
1. Exerccios
1) Considere a seqncia de funes hn (x) = nxn (1 xn ) para x 2 [0; 1].
a) Mostre que hn (x) ! 0 pontualmente.
R1
b) Mostre que 0 hn (x) dx ! 21 medida que n ! 1.
R1 R1
c) Conclua que limn!1 0 hn (x) dx 6= 0 (limn!1 hn (x)) dx.
1.5
y
1.0
0.5
0.0
0.0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0
x
hn (x) ! 0 mas a rea sob o grco de hn se aproxima de 21 .
2) Considere a seqncia fn (x) = sin(nx)

n .
a) Mostre que fn (x) ! 0 pontualmente e uniformemente (quando n ! 1).
b) Mostre que fn0 (x) 6! 0 medida que n ! 1.
3) A srie de Fourier da funo f (x) peridica de perodo 2 dada por f (x) = x para <x
X1
m+1 sin mx sin 2x sin 3x sin 4x
f (x) 2 ( 1) = 2 sin x + + :::
m=1
m 2 3 4
3 No grco, usamos escalas distintas para x e y para destacar o intervalo x 2 [ 0; 3; 0:3].

Pergunta-se:
a) Esta srie converge para f (x) em toda a reta real? Mais especicamente, em que pontos a srie no converge
para f (x)? Para onde a srie converge nestes pontos?
b) A convergncia desta srie uniforme?
c) Falso ou verdadeiro:
XN
m+1 sin mx
lim 2 ( 1) =x
N !1
m=1
m
pontualmente para cada x 2 [5; 6].
d) Falso ou verdadeiro: dado um erro mximo aceitvel " > 0, existe N tal que
N
X m+1 sin mx
x 2 ( 1) <"
m=1
m
para todo x 2 [ ; ]. Justique.
e) Falso ou verdadeiro: dado um erro mximo aceitvel " > 0, existe N tal que
N
X m+1 sin mx
x 2 ( 1) <"
m=1
m
para todo x 2 [0; 1]. Justique.
Respostas: a) A srie no converge para f (x) nos pontos da forma x = k (onde k 2 Z). Nestes pontos, a srie
converge para f (x+)+f
2
(x )
= +(2 ) = 0.
b) No uniforme uma srie de funes contnuas no pode convergir uniformemente para uma funo de-
scontnua, como o caso aqui.
c) Falso. Lembre que f (x) = x apenas para x 2 ( ; )! No intervalo [5; 6], f (x) = x 2 (pela periodicidade),
ento
XN
m+1 sin mx
2 ( 1) !x 2
m=1
m
d) Falso. A frase equivalente a dizer que a convergncia uniforme em [ ; ] e a funo limite descontnua
em e .
e) Verdadeiro. A frase equivalente a dizer que a convergncia uniforme em [0; 1], o que garantido pelo
Teorema de Convergncia j que f (x) contnua neste intervalo (e seccionalmente suave).
CHAPTER 9
Forma Complexa da Srie de Fourier
Lembremos as seguintes relaes entre exponenciais complexas e funes trigonomtricas1 :

ei = cos + i sin
Daqui, temos
ei + e i ei e i
cos =
e sin =
2 2i
Estas relaes sugerem que a srie de Fourier em senos e cossenos pode ser substituda por uma srie de exponenciais
complexas. Isto pode ser feito diretamente (veja exerccio (1)), mas preferimos aqui re-obter esta srie a partir de
conceitos de lgebra Linear.
Definio 15. Um produto interno em um espao vetorial E denido sobre C uma funo
h; i : E E ! C
u ; v 7 ! hu; vi
que satisfaz as seguintes propriedades:
Positividade: 8v 2 E; hv; vi 0
(Anti)Simetria: 8u; v 2 E; hu; vi = hv; ui;
Linearidade: 8 1 ; 2 2 C; 8u; v; w 2 E h 1 u + 2 v; wi = 1 hu; wi + 2 hv; wi.
Em suma, um produto interno complexo tem as mesmas propriedades do produto interno real exceto que hu; vi
agora o conjugado complexo de hv; ui.
Exemplo 24. O prprio conjunto C um espao vetorial complexo. Alis, lembre-se que qualquer nmero
complexo z = x + yi (com x; y reais) pode ser re-escrito na forma
z = rei
p y
onde r = x2 + y 2 e tan = x (como em coordenadas polares). Em C, o produto interno cannico
hz1 ; z2 i = z1 :z2
que tambm pode ser escrito em coordenadas cartesianas ou polares
hx1 + y1 i; x2 + y2 ii = (x1 x2 + y1 y2 ) + (x2 y1 x1 y2 ) i
i i i i
r1 e 1
; r2 e 2
= r1 e 1
r2 e 2
= (r1 r2 ) ei( 1 2)
Com este produto interno, tem-se

p p
kzk = hz; zi = z z = jzj
1 Para o leitor interessado, uma maneira de enxergar esta relao via sries de potncias. Anal, podemos denir a funo ez da
seguinte forma
z2 z3 z4 z5 z6
ez = 1 + z + + + + + + :::
2! 3! 4! 5! 6!
que converge absolutamente para todo z complexo. Daqui,
i2 z 2 i3 z 3 i4 z 4 i5 z 5 i6 z 6
eiz = 1 + iz + + + + + + ::: )
2! 3! 4! 5! 6!
z 2 z 3 z 4 z 5 z 6
) eiz = 1 + iz i + +i + ::: )
2! 3! 4! 5! 6!
z 2 z 4 z 6 z3 z5
) eiz = 1 + + ::: + i z + :::
2! 4! 6! 3! 5!
O primeiro termo acima exatamente a srie de potncias da funo cos z ; o segundo a srie de sin z. Assim
eiz = cos z + i sin z
para qualquer z complexo. Se, em particular, z real, ento cos z a parte real e sin z a parte imaginria.
37
38 9. FORM A COM PLEXA DA SRIE DE FOURIER
ou seja, a norma do vetor z exatamente o mulo do nmero complexo z. Em outros tipos de coordenadas:
p
z = x + yi ) kzk = jzj = x2 + y 2
z = rei ) kzk = jzj = r
Definio 16. No espao vetorial de todas as funes f : [a; b] ! C, o produto interno cannico denido
por
Z b
1
hf (x) ; g (x)i = f (x) g (x)dx
b a a
Proposio 10. Considere o espao das funes f : [ L; L] ! C. Com este produto interno cannico, o
conjunto de todas as funes da forma ek (x) = eikw0 x (k 2 Z) ortonormal (onde w0 = L ).
Proof. De fato, se m e n so inteiros quaisquer, temos
Z L Z L
1 1
eimw0 x ; einw0 x = eimw0 x einw0 x dx = ei(m n)w0 x
dx
2L L 2L L
Agora, se m 6= n, a integral acima vale

x=L m n n m m n n m
1 ei(m n)w0 x ei(m n)w0 L
e i(m n)w0 L ei ei ( 1) ( 1)
= = = =0
2L i (m n) w0 x= L 2L (m n) w0 i 2L (m n) w0 i 2L (m n) w0 i
pois m nen m tm a mesma paridade. Por outro lado, se m = n
Z L
imw0 x imw0 x 1
e ;e = 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. Se for possvel decompor o vetor f (x) como uma
~ k (x) = eikw0 x (onde w0 = L ), isto ,
"combinao linear innita" dos vetores w
X
f (x) = ck eikw0 x
k2Z
ento de se esperar que

Z L
f (x) ; eikw0 x 1 ikw0 x
ck = ikw0 x ikw0 x = f (x) e dx
he ;e i 2L L
Definio 17. Seja f (x) uma funo peridica de perodo 2L. A forma complexa da srie de Fourier de
f (x)
X1
f (x) ck eikw0 x
k= 1
onde w0 = L e
Z L
1 ikw0 x
ck = f (x) e dx
2L L
Proposio 11 (Relao entre notao real e complexa). Se a srie de Fourier de f (x) (em senos e cossenos)
X1
a0
f (x) = + (am cos (mx) + bm sin (mx))
2 m=1
ento os coecientes ck da forma complexa so
a0
c0 =
2
ibk ak
ck =
para k = 1; 2; 3; :::
2
ak + ibk
c k = para k = 1; 2; 3; :::
2
Em particular, se os coecientes ak e bk so todos reais (o que ocorre sempre que f (x) uma funo real), ento
c k = ck .
9. FORM A COM PLEXA DA SRIE DE FOURIER 39
Proof. Basta notar que

Z L Z ! Z !
L L
1 1 k x 1 k x
ck = f (x) (cos kw0 x i sin kw0 x) dx = f (x) cos dx i f (x) sin dx
2L L 2L L L 2L L L
Se k = 0, o primeiro termo em parnteses a20 e o segundo nulo. Se k > 0, o primeiro termo a2k e o segundo
b2k . Enm, se k < 0 o primeiro termo ainda a2k (pois cos funo par) e o segundo troca de sinal (pois sin
mpar).
0, se <x 0
Exemplo 25 (Onda Retangular). Seja g (x), peridica de perodo 2 , tal que g (x) = .
1, se 0 < x
Temos w0 = = 1 e portanto
L Z Z
1 ikx 1 ikx
ck = g (x) e dx = e dx
2 2 0
Se k = 0, ento c0 = 12 . Caso contrrio:
ikx x= ik
1 e 1 e 1 i k
ck = = = ( 1) 1
2 ik x=0 2 ik 2 k
ou seja, juntando tudo 8 1
< 2,
se k = 0
ck = 0, se k = 2; 4; :::
: i
k , se k for mpar
e assim
1
1 i X ei(2n 1)x
g (x)
2 n= 1
2n 1
Intepretao fsica: a onda retangular g (x) composta por uma componente contnua com amplitude 12 e vrias
outras componentes, cada uma com freqncia 2n 1 e amplitude j2n 1 1j (o i apenas uma mudana de fase2 ).
O grco dos coecientes jck j uma representao do sinal no chamado espao de freqncias.
0.5
0.4
0.3
0.2
0.1
-5 -4 -3 -2 -1 0 1 2 3 4 5
w
Espectro da onda retangular
A partir da relao entre ck e fak ; bk g, fcil ver que, para k = 0; 1; 2; ::::
k x k x
ck eikw0 x + c ke
ikw0 x
= ak cos + bk sin
L L
2 Uma onda de freqncia w e amplitude A pode ser imaginada como a funo f (t) = Aeiwt = A cos wt + iA sin wt (se voc no
gosta da parte complexa, nja que apenas a parte real observvel). Multiplicar esta onda por um nmero complexo z = rei produz o
seguinte resultado:
zf (t) = Arei(wt+ ) = Ar cos (wt + ) + iAr sin (wt + )
Ou seja, o efeito foi multiplicar a amplitude por r e deslocar a fase (atrasar a onda) em unidades mas a freqncia w da onda
permanece inalterada. Por isto, multiplicar por i = e i =2 signica apenas um atraso de fase de 2 radianos, sem alterar a amplitude.
Daqui, segue imediatamente que

XN N
X
a0 m x m x
sN (x) = + am cos + bm sin = ck eikw0 x
2 m=1
L L
k= N
ou seja, a forma complexa da srie de Fourier completamente equivalente forma real! Por este motivo,
todos os Teoremas j citados para sries de Fourier se aplicam sua forma complexa, com as devidas adaptaes.
Por exemplo:
2
Teorema 7 (Convergncia). Se f (x) seccionalmente suave (e peridica de perodo 2L = w0 ), ento
N
X f (x+) + f (x )
lim ck eikw0 x =
N !1 2
k= N
Mais ainda, se alm disso f (x) contnua no intervalo [a; b], esta convergncia uniforme no intervalo [a; b].
2
Teorema 8 (Derivadas). Se f (x) peridica de perodo w0 , contnua e sua srie de Fourier complexa
1
X
f (x) = ck eikw0 x
k= 1
ento sua derivada tem srie de Fourier complexa dada por

1
X
0
f (x) (ikw0 ck ) eikw0 x
k= 1
Em linguagem de Teoria de Sinais, o processo de derivao multiplica a componente de freqncia w = kw0 pela
constante ikw0 = iw na prtica, multiplicando a amplitude por w e causando uma mudana de fase. Note que
altas freqncias so ampliadas e baixas freqncias so atenuadas neste processo de derivao.
2
Teorema 9 (Integrais). Seja f (x) uma funo peridica seccionalmente contnua de perodo w0 com srie de
Fourier complexa dada por
X1
f (x) ck eikw0 x
k= 1
Rx
Ento a funo F (x) = 0
(f (t) c0 ) dt contnua, peridica de perodo 2L e sua srie de Fourier
1
X ck ikw0 x
F (x) = e
ikw0
k= 1
Em outras palavras
Z x 1
X ck ikw0 x
f (t) dt = c0 x + e
0 ikw0
k= 1
Em linguagem de Teoria de Sinais, o processo de integrao atenua as altas freqncias e destaca as baixas
freqncias.
Exemplo 26 (Onda Triangular). Subtraindo a componente contnua da onda retangular (peridica de perodo
0, se <x 0
2 ) g (x) = , camos com
1, se 0 < x
1
1 i X ei(2n 1)x
g (x)
2 n= 1
2n 1
Integrando os dois lados, temos agora uma igualdade:
Z x 1
1 1 X ei(2n 1)x
g (x) dx = 2
0 2 n= 1 (2n 1)
x
Mas, se x 2 [ ; ] a integral do lado esquerdo a funo G (x) = 2 , se 0 <x<
= jxj
x 2 : Ento podemos
2 ; se - <x<
escrever
1
2 X ei(2n 1)x
jxj = 2 (para x 2 [ ; ]
n= 1 (2n 1)
que a srie de Fourier complexa da onda triangular de perodo 2 que coincide com jxj em [ ; ].
1. EXERCCIOS 41
0.6
0.5
0.4
0.3
0.2
0.1
-5 -4 -3 -2 -1 0 1 2 3 4 5
w
Espectro da onda triangular
Note como o espectro desta onda tem um decaimento muito mais rpido em w do que o da onda retangular.
RL 2
Teorema 10 (Parseval). Seja f (x) uma funo integrvel complexa tal que L jf (x)j dx existe. Ento
Z L 1
X
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 1
X X X X
cm eimw0 x ; cm eimw0 x = hci w
~ i ; cj w
~ji = ci cj hw
~ i; w
~ji
m= 1 m= 1 i;j= 1 i;j= 1
Enm, usando que hw

~ 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.
1. Exerccios
1) Na srie de Fourier
X1
a0 m x m x
f (x) = + am cos + bm sin
2 m=1
L L
use as substituies 2 cos = ei + e i
e 2i sin = ei e i e rearrange os termos para obter
1
X
f (x) = ck eikw0
k= 1
onde w0 = L. Verique que a relao entre ck , ak e bk a mesma obtida de outra forma no texto.
2) 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
3) Obtenha a srie de Fourier complexa de f (x) = 2 sin 3x + 4 cos 5x.
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
k, se jxj < 2k
5) Seja k (x) uma funo peridica de perodo 2 tal que k (x) = (onde k uma constante
0, caso contrrio
positiva maior do que 1):
a) Encontre a srie de Fourier complexa de k e esboce seu espectro no domnio da freqncia.
b) O que acontece com cada coeciente ck medida que k ! 1?
Comentrio: comum imaginar que as funes k (x) se aproximam da funo impulso unitrio (x). Esta
funo
R teria as seguintes propriedades no intervalo x 2 [ ; ]: i) (x) = 0 para x 6= 0; ii) (0) = +1; iii)
(x) = 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)
R
Resposta: a) f^ (k) = ck = 21 f (x) e ikx dx. A idia a mesma do texto, com w0 = 1, e usando uma outra
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.
CHAPTER 10
O Fenmeno de Gibbs
Seja f (x) uma funo peridica de perodo 2L e considere as somas parciais Sn (x) de sua srie de Fourier, isto
Xn
a0 m x m x
Sn (x) = + am cos + bm sin
2 m=1
L L
Vimos que, quando f (x) no contnua, a convergncia de Sn (x) para f (x) no pode ser uniforme. Alm disso,
em todos os exemplos que vimos at aqui, apareciam oscilaes em Sn (x), oscilaes estas que eram especialmente
ruins perto da descontinuidade. O aparecimento destas oscilaes chamado de fenmeno de Gibbs.
Mais ainda, notvel que a soma parcial Sn (x) parece amplicar a amplitude do salto perto da descontinuidade.
Vamos analisar este efeito atravs do exemplo mais simples de salto: uma onda retangular.
1 se <x<0
Exemplo 27. Seja f (x) = peridica de perodo 2 . Como f mpar, sua srie ser em
1 se 0 < x < :
senos Z x= m
2 2 cos (mx) 21 ( 1)
bm = f (x) sin (mx) dx = =
0 m x=0 m
ou seja
1
4 X sin ((2n 1) x) 4 sin 3x sin 5x
f (x) = sin x + + + :::
n=1
2n 1 3 5
Analisemos a soma parcial
N
4 X sin ((2n 1) x) 4 sin 3x sin 5x sin (2N 1) x
S2N 1 (x) = = sin x + + + ::: +
n=1
2n 1 3 5 2N 1
A seguir, mostramos os grco de S19 , S199 e S399 para valores de x bem prximos de x = 0. Alm da convergncia
no ser uniforme, a amplitude da primeira oscilao (a mais prxima de x = 0) no parece estar se aproximando
do tamanho do salto! Em outras palavras, a altura do primeiro mximo de SN (x) no parece estar se aproximando
de 1! Este o fenmeno que desejamos investigar cuidadosamente a seguir.
y 1.0
0.5
-0.20 -0.15 -0.10 -0.05 0.05 0.10 0.15 0.20

x
-0.5
-1.0
Calculemos ento as coordenadas do ponto onde ocorre este primeiro mximo. Ali, devemos ter
0 sin 2N x
SN (x) = 0 ) cos x + cos 3x + ::: + cos (2N 1) x = 0 )
= 0 ) sin (2N x) = 0
2 sin x
onde usamos a "famosa" frmula da soma dos cossenos de arcos em P.A. (veja exerccio 1). Portanto, os extremos
locais de SN ocorrem para x = 2N e seus mltiplos (exceto 0).
43
44 10. O FENM ENO DE GIBBS
Como estamos interessados apenas naquele primeiro mximo local, tomemos x = 2N . A altura deste mximo
4 1 3 1 5 1 (2N 1)
SN = sin + sin + sin + ::: + sin
2N 2N 3 2N 5 2N 2N 1 2N
(2k 1)
Como calcular o limite M desta expresso quando N ! 1? Um novo truque nos ajuda: escreva xk = 2N onde
k = 1; 2; :::; N . Ento
!
4 sin 2N 3
sin 2N 5
sin 2N sin (2N2N1)
SN = + + + ::: + =
2N 2N 3: 2N 5: 2N (2N 1) : 2N 2N
2 sin x1 sin x2 sin x3 sin xN
= + + + ::: +
x1 x2 x3 xN N
Enm, note que os pontos xk formam uma amostragem uniforme do intervalo [0; ] com x = xk+1 xk = N.
Ento
XN Z
sin xi sin x
SN = x) M = dx
2 2N i=1
xi 2 0 x
usando a denio da Integral de Riemann. Assim, a altura do primeiro mximo se aproxima de
Z
2 sin x
M= dx
0 x
Esta integral no pode ser resolvida usando funes elementares agora, usando a funo Seno Integral
Z x
sin t
Si (x) = dt
0 t
ca bem fcil escrever e calcular numericamente
2
M = Si ( ) 1:179 0
Ou seja, a altura do primeiro mximo local tende a aproximadamente 1:18. Analogamente, o primeiro mnimo local
esquerda de x = 0 tende a altura 1:18. O intervalo [ 1:18; 1:18] chamado de Intervalo de Gibbs da srie de
Fourier de f (x) no ponto x = 0. Assim, o salto, que deveria ser de 2 unidades, acaba sendo de 2:36 um erro de
18% na estimativa do tamanho do degrau, mesmo quando N ! 1!
Para terminar, mencionaremos sem demonstrao que o erro de 18% no restrito a este exemplo em qualquer
funo que seja a soma de uma funo contnua com um degrau (o que inclui todas as funes descontnuas que usare-
mos), a srie de Fourier (quando o nmero de termos grande) exagera o tamanho deste degrau em aproximadamente
18%, sendo 9% a mais no degrau mais alto e 9% a menos no degrau mais baixo.
1. Exerccios
1) Deduza a frmula da soma dos cossenos de arcos em P.A. (para a 6= 0):
sin (x + (2n + 1) a) sin (x a)
cos x + cos (x + 2a) + cos (x + 4a) + ::: + cos (x + 2na) =
2 sin a
[Dica: a mgica multiplicar a expresso esquerda por 2 sin a e depois transformar cada produto em soma.]
2) Considere a funo f (x) dente de serra peridica de perodo 2 tal que f (x) = x para x 2 ( ; ). Qual
o valor do salto desta funo em x = ? Em quanto voc estima o valor do salto correspondente na soma parcial
SN (x) para N grande perto de x = ?
3) Encontre uma frmula simples para

sin x + sin (x + 2a) + sin (x + 4a) + ::: + sin (x + 2na)
4) a) Prove que, se q 6= 1,
qn 1
a + aq + aq 2 + ::: + aq n 1
=a
q 1
b) Escreva cada termo da expresso
n
X
S= cos (x + 2ka)
k=0
como uma soma de exponenciais complexas. Agora divida a expresso resultante em dois somatrios de exponenciais
complexas, e note que cada um a soma dos termos de uma P.G. Use a frmula do item (a) e chegue a uma outra
expresso simples para S.
CHAPTER 11
Mtodo da Separao de Variveis
O Mtodo de Separao de Variveis um mtodo que permite encontrar solues de vrios Problemas de Valor
Inicial ou de Contorno com EDPs. Dado um tal problema, a idia bsica do mtodo :
Separe a parte homognea (H) do seu problema, onde vale o Princpio da Superposio (isto , se u1 e u2
so solues de (H), ento c1 u1 + c2 u2 soluo de (H) para quaisquer c1 e c2 reais);
Procure autosolues, isto , solues (no-nulas) do sistema (H); no caso do mtodo de Separao de
Variveis para duas variveis, procuramos solues do tipo u (x; t) = X (x).T (t). Se voc der "sorte",
encontrar uma famlia de solues tipicamente, u1 , u2 , u3 , ... , un , ...
PN
Pelo princpio da Superposio, qualquer funo do tipo P n=1 cn un (x; t) tambm ser soluo de (H);
1
abuse da sua sorte1 e procure uma soluo do tipo u (x; t) = n=1 cn un (x; t), calibrando2 os coecientes ci
de maneira a satisfazer as condies do Problema inicial que no estavam em (H). Espera-se assim encontrar
uma soluo do problema original.
Exemplo 28. Vamos usar o Mtodo da Separao de Variveis para mostrar que a soluo do Problema do
Calor
ut = 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; )
1
X
n2 t
u (x; t) = cn e sin (nx)
n=1
onde Z
2
cn = f (x) sin (nx) dx
0
so os coecientes da srie de Fourier em senos de f (x).
Em primeiro lugar, vamos nos concentrar na parte homognea do sistema (tipicamente, uma EDP linear e
condies de contorno nulas). Assim, inicialmente vamos trabalhar com:
ut = uxx para (x; t) 2 (0; ) (0; 1) ((H))
(0.1) u (0; t) = u ( ; t) = 0 para t 2 (0; 1)
Por separao de variveis, vamos procurar funes do tipo u (x; t) = X (x) T (t) que satisfaam a EDP acima.
Teramos
X 00 (x) T 0 (t)
X (x) T 0 (t) = X 00 (x) T (t) ) =
X (x) T (t)
Como o lado esquerdo no depende de t e o direito no depende de x, somos forados a concluir que ambos os lados
so constantes, digamos, . Assim, temos as seguintes EDOs
X 00 (x) = X (x)
T 0 (t) = T (t)
Por outro lado, as condies de contorno nos do
u (0; t) = u ( ; t) = 0 ) X (0) T (t) = X ( ) T (t) = 0
Como no estamos interessados em T (t) identicamente nula (pois a seria u (x; t) = X (x) T (t) = 0; uma soluo
nula que no nos interessa), somos forados a concluir que
X (0) = X ( ) = 0
1 claro que, em determinadas situaes, h teoremas que garantem que esta passagem ao innito funciona. Citaremos algumas
destas explicitamente, e a no precisaremos da "sorte".
2 Se os u forem funes trigonomtricas convenientes, os c sero os coecientes de uma srie de Fourier.
i i
45
46 11. M TODO DA SEPARAO DE VARIVEIS
Neste momento, vamos separar nossa anlise em 3 casos, dependendo do sinal de :

Caso 1: positivo. Ento a soluo da EDO em X
p p
x x
X (x) = Ae + Be
o que, juntando com as condies X (0) = X ( ) = 0 nos daria
A+B = 0
p p
Ae + Be = 0
Este um sistema linear possvel determinado em A e B, ento a nica soluo A = B = 0. Mas ento X (x) 0;
o que de novo no nos interessa (no queremos u (x; t) 0).
Caso 2: = 0. Neste caso, a soluo da EDO em X
X (x) = A + Bx
o que, juntando com as condies de contorno, nos d
A = 0
A+B = 0
e, novamente, A = B = 0, que no presta de novo.
p
Caso 3: negativo. Ento, colocando w = para facilitar a notao:
X (x) = A cos (wx) + B sin (wx)
e, juntando com X (0) = X ( ) = 0
A = 0
A cos (w ) + B sin (w ) = 0
O nico jeito de evitar mais uma soluo identicamente nula tomar B 6= 0 e sin (w ) = 0, isto , w = n 2 Z. Mas,
neste caso, B pode ser qualquer nmero real!
Assim, s temos solues no-nulas se = w2 = n2 onde n 2 Z tais possveis valores de so chamados
autovalores do sistema. Teramos ento
Xn (x) = B sin (nx)
e, como T 0 (t) = T (t), ento
t n2 t
Tn (t) = Ke = Ke
Juntando tudo, encontramos uma famlia de solues do sistema (H) da forma3
n2 t
un (x; t) = Xn (x) Tn (t) = cte: e sin (nx) onde n = 1; 2; 3; :::
(estas so as autofunes deste sistema). Pelo princpio da superposio, temos a esperana4 de que isto implique
na existncia de solues do tipo
1
X 2
u (x; t) = cn e n t sin (nx)
n=1
Enm, quem seriam os coecientes cn ? Tomando t = 0, temos
1
X
u (x; 0) = cn sin (nx) = f (x)
n=1
portanto, os coecientes so os que aparecem na srie de f (x) em senos. Sabemos que iso signica que
Z
2
cn = f (x) sin (nx) dx
0
O teorema abaixo (que no demonstraremos) generaliza algumas das constantes utilizadas e conrma a soluo
obtida acima5 (justicando os "somatrios innitos"):
3 Tomar n = 0 mais uma vez gera uma soluo identicamente nula; e trocar o sinal de n simplesmente troca u por u , que
n n
essencialmente a mesma soluo apenas trocando o sinal da constante multiplicativa. Assim, nada perdido ao tomar n natural positivo.
4 Mais uma vez, destacamos que isto poderia no funcionar o princpio da superposio garante que combinaes lineares nitas
de solues ainda so solues; neste caso estamos usando um somatrio innito. Por outro lado, se este somatrio innito puder ser
diferenciado termo a termo, o mtodo funciona.
5 Alm disso, mais tarde mostraremos que a soluo u (x; t) aqui apresentada a nica soluo deste sistema.
11. M TODO DA SEPARAO DE VARIVEIS 47
Teorema 11. Seja f (x) uma funo integrvel com domnio (0; L) e uma constante positiva6 . Ento a srie
1
X n2 2 t n x
u (x; t) = cn exp sin
n=1
L2 L
Z L
2 n x
onde cn = f (x) sin dx
L 0 L
converge uniformemente para uma funo innitamente diferencivel sempre que t > 0, e pode ser difer-
enciada termo-a-termo. Assim, esta srie satisfaz o seguinte Problema do Calor com condies de contorno
ut = uxx para (x; t) 2 (0; L) (0; 1)

u (0; t) = u (L; t) = 0 para t > 0
Enm, se f for seccionalmente suave,

f (x+) + f (x )
u (x; 0) = para x 2 (0; L)
2
Em particular, se f for contnua, tem-se
u (x; 0) = f (x) para x 2 (0; L)
Note uma curiosa propriedade desta soluo: mesmo que f (x) tenha saltos ou bicos, a soluo u (x; t) ser
contnua e suave para qualquer t > 0. Ou seja, a soluo u (x; t) suaviza instantaneamente a condio inicial
f (x) (para qualquer t positivo, por menor que seja), at nos extremos da barra.
Exemplo 29. Encontremos um exemplo explcito de soluo do Problema
ut = uxx para (x; t) 2 (0; ) (0; 1)

u (0; t) = u ( ; t) = 0 para t 2 (0; 1)
1, se 0 < x < 2
u (x; 0) = f (x) = para x 2 (0; )
0, se 2 < x <
Calculando a srie de Fourier em senos de f (x), aps algum trabalho, encontramos

X1
2 m
f (x) 1 cos sin (mx) =
m=1
m 2
2 sin 3x sin 5x sin 6x sin 7x sin 9x sin 10x sin 11x sin 13x
= sin x + sin 2x + + + + + + + + + :::
3 5 3 7 9 5 11 13
Ento a soluo do sistema
uxx = ut 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; )
X1
2 m m2 t
u (x; t) = 1 cos e sin (mx) =
m=1
m 2
2 t 4t 9t sin 3x 25t sin 5x 36t sin 6x 49t sin 7x 81t sin 9x
= e sin x + e sin 2x + e +e +e +e +e + :::
3 5 3 7 9
No grco abaixo7 , plotamos esta soluo para vrios valores de t (para ser exato, t = 0; 0:001; 0:01; 0:05; 0:1; 0:2; 0:5; 1
e 2) . Note a suavizao "instantnea" dos saltos da condio inicial, e a queda "instantnea" da temperatura do
bordo esquerdo para 0.
6 No caso da Equao do Calor como modelo fsico para a temperatura de uma barra homognea, a constante que aparece em
ut = uxx chamada condutividade trmica do material do qual a barra feita.
7 Veja "lmes" no site!
1.0
u(x,t)
0.8
0.6
0.4
0.2
0.0
0.0 0.2 0.4 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0 2.2 2.4 2.6 2.8 3.0
x
No nenhuma surpresa que u (x; t) ! 0 quando t ! 1. Alis, mais ainda, note que para t grande, u (x; t) '
2
e t sin x (os outros termos tem os coecientes exponenciais muito muito muito pequenos!). Em outras palavras,
para t grande, o grco de u (x; t) (em funo de x) se assemelha a uma senide cuja freqncia a freqncia
fundamental do sinal original8 .
Vale a pena notar que no citamos nada ainda sobre a unicidade da soluo mais tarde veremos que a soluo
u (x; t) aqui apresentada , em geral, a nica soluo deste sistema.
1. Exerccios
1) Encontre todas as solues da forma u (x; y) = X (x) Y (y) para as seguintes EDPs:
a) x2 uxx + uyy = 0
b) uxx 2ux + 3uyy = 0
c) uxx + uyy 2u = 0
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 nt
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
8 Alis, como o mximo do primeiro harmnico sin x est em x = , isto praticamente mostra que o ponto mais quente da barra se
2
aproximar do centro da barra medida que t ! 1.
1. EXERCCIOS 49
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 de Onda:

8
>
> utt = uxx para 0 < x < e 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 t sin x
n=1:2
4L2 2L
Z L
2 n
onde bn = f (x) sin x dx apenas para n mpar
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 (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
, temos u x; t + 2c = u (x; t), isto , a corda repete seu movimento a cada 2c unidades de tempo.
c P1 2
b) A srie em senos f (x) m=1 m 1 cos m2 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
2 y
1.0 1
z 0 0
-0.5 1
2
-1.0 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 < e t > 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 R
Resposta: u (x; t) = n=1 cn sin nt sin nx onde cn = 2n 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 < e t > 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 a seguinte Equao do Potencial

uxx + uyy = 0 para 0 < x < e 0 < y < L
u (0; y) = u ( ; y) = 0 para 0 < y < L
u (x; 0) = 0 e u (x; L) = x ( x) para 0 < x <
8
P1 1 eny e ny 8
P1 1 sinh ny
Resposta: u (x; y) = n=1:2 n3 enL e nL sin nx = n=1:2 n3 sinh nL sin nx.
CHAPTER 12
A Equao da Onda (Primeira Ordem)
Dada uma constante c e uma funo f (x), vamos tentar determinar u(x; t) que satisfaz o problema1 :
(0.1) ut + cux = 0 para x 2 R e t 0
u (x; 0) = f (x) para x 2 R
Observe que a primeira equao de 0.1 pode ser reescrita como:
ru(x; t) (c; 1) = 0
Conclumos imediatamente que o gradiente de u ortogonal ao vetor constante (c; 1) e, portanto, a derivada direcional
de u em qualquer ponto (x; t) na direo de (c; 1) vale 0. Logo, u constante nesta direo. Em outras palavras, as
curvas com vetor tangente (c; 1), so curvas de nvel de u. Observe que curvas cujo vetor tangente constante so
retas e, neste caso, retas com equao x ct = constante. Estas retas so chamadas de curvas caractersticas do
problema 0.1.
Considere, portanto, o plano x t (domnio de u) desenhado na gura. Fixe um ponto (x0 ; t0 ) e considere a reta
r := f(x; t) tais que x ct = x0 ct0 g. Isto , r a reta com direo (c; 1) contendo o ponto (x0 ; t0 ). J vimos que
u constante ao longo de r. Mas r intercepta o eixo t = 0 em x = x0 ct0 . Portanto, como u(x; t) constante ao
longo da reta r, em cada ponto (x; t) de r, u(x; t) = u(x ; 0). Mas u(x ; 0) dado na condio inicial do problema.
Assim, conclumos que u(x; t) = f (x ) = f (x ct).
t
(x0,t0)
*)
(x
e =f
ct
t, )=
x
u(
x*=x0-c.t0 x
Comentrio 1. Outra maneira de chegar ao mesmo resultado a seguinte: considere a seguinte mudana de
variveis
y = x ct
w = t
Ento, usando a Regra da Cadeia2
ux = uy yx + uw wx = uy
ut = uy yt + uw wt = cuy + uw
Jogando tudo na EDP original ut + cux = 0, vem uw = 0. Assim, u depende apenas da varivel y, isto
u (x; t) = F (y) = F (x ct)
1 A equao u + cu = 0 tambm chamada de Equao de Transporte ou Equao de Conveco. A equao da onda propriamente
t x
dita ser estudada na aula seguinte. Comeamos por este modelo pois ele contm vrios dos princpios e idias dos modelos mais complexos.
2 Tecnicamente, estamos usando a letra u para representar duas funes distintas; uma a u (x; t) da equao original; a outra seria
uma nova funo v (y; w) relacionada a u pela mudana de coordenadas u (x; t) = v (y; w), isto ,
u (x; t) = v (x ct; t) ou v (y; w) = u (y + cw; w)
Assim, para ser exato, onde esto escritas as derivadas uy e uw (que no fazem muito sentido, j que u uma funo de x e t), estamos de
fato calculando as derivadas vy e vw . Isto dito, comum representar ambas as funes pela mesma letra pois, em geral, elas representam
a mesma grandeza.
51
52 12. A EQUAO DA ONDA (PRIM EIRA ORDEM )
Enm, para descobrir quem a funo F , basta substituir t = 0 e usar a conio inicial
u (x; 0) = F (x) = f (x)
ou seja, a funo F , de fato, a funo f (x) da condio inicial. Juntando tudo, chegamos novamente soluo
u (x; t) = f (x ct)
importante notar que ambos os raciocnios acima mostram que, se houver alguma soluo de 0.1, ela da
forma u (x; t) = f (x ct). Falta vericar a volta: se u (x; t) = f (x ct), ento u satisfaz 0.1? Em outras palavras,
u (x; t) = f (x ct) de fato a soluo? Se f for diferencivel, fcil vericar que, se u (x; t) = f (x ct), ento
ux = f 0 (x ct) e ut = cf 0 (x ct) ) ut + cux = 0
u (x; 0) = f (x c:0) = f (x)
e, assim, esta soluo serve. Por outro lado, mesmo que f no seja diferencivel, a soluo encontrada acima
comumente aceita como a "melhor" soluo de 0.1 (mesmo que ux ou ut no existam em alguns pontos, onde a
equao ut + cux = 0 no faria sentido). Por este motivo, quando f no diferencivel, diz-se que u (x; t) = f (x ct)
uma soluo fraca de 0.1.
Exemplo 30. Considere
ut + 2ux = 0 para x 2 R e t > 0
8
>
<1;2 x 2
x 1
u (x; 0) = f (x) = 3 ; 2<x 4
>
:
5; x>4
Acompanhando o raciocnio para o caso geral, vemos que u constante ao longo das retas x 2t = constante. Para
o ponto (x0 ; t0 ) indicado na gura acima, vemos que u(x0 ; t0 ) = f (x0 2t0 ). Em outras palavras, a soluo
8
< 1 se x 2t 2
(x 2t)2 1
u (x; t) = se 2 < x 2t 4
: 3
5 se x 2t > 4
As guras seguintes esboam (i) as curvas caractersticas deste problema no plano xt, (ii) a soluo para vrios
valores distintos de t no plano ux e (iii) o grco da soluo u (x; t) no espao xtu. Aprenda a distinguir e entender
cuidadosamente cada um destes grcos! Em particular, note como as caractersticas determinam as "zonas de
dependncia da soluo" uma pequena perturbao na condio inicial (digamos, prxima a x = 2 quando t = 0)
viajar ao longo da curva caracterstica, e s afetar a soluo em x = 8 quando t = 8 (2 2) = 5. Em outras palavras,
as ondas viajam para a direita com velocidade c = 2.
4 5
t u
4
3
5
3
4
2
2 3 5
1 2 4
1 3
1 2
1
-5 0 5 10 -5 5 10 0
x x -4 -2 0 0 2 4 6 8 10 12 14
Caracteristicas x 2t = cte: Da esquerda para a direita: t = 0; 1; 2; 3. Graco de u (x; t)
Tambm vale a pena notar que u (x; t) no diferencivel nos pontos da reta x ct = 2 nem nos pontos da reta
x ct = 4. Ainda assim, esta a soluo tipicamente aceita ("soluo fraca") do sistema acima.
1. Exerccios
1) Resolva cada um dos problemas a seguir, esboando suas curvas caractersticas no plano xt e seus grcos no
plano xu para alguns valores positivos de t.
ut + 3ux = 0 para x 2 R e t > 0
a)
u (x; 0) = x3 + 2x para x 2 R
1. EXERCCIOS 53
ut 2ux = 0 para x 2 R e t > 0

b)
u (x; 0) = ex para x 2 R
3
Respostas parciais: a) u (x; t) = (x 3t) + 2 (x 3t). b) u (x; t) = ex+2t :
2) No primeiro problema do exerccio anterior introduziu-se uma perturbao na condio inicial em x = 0.

Uma pessoa posicionada em x = 33 demorar quanto tempo para perceber a perturbao? E se a perturbao for
introduzida no segundo problema?
Respostas: a) Demorar 11 unidades de tempo; b) A perturbao nunca chega a x = 33.
3) Esboce as curvas caractersticas do problema a seguir no plano xt e marque neste mesmo plano a localizao
da reta onde a condio de contorno est denida. Em seguida, resolva o problema.
ut + 2ux = 0 para x 2 R e t 2 R
u (s; 2s + 1) = 3s2 para s 2 R
(x 2t+2)2
Resposta: u (x; t) = 3 .
(
ut + 2ux = 0 para x 2 R e t > 0
4) Esboce no plano ux grcos da soluo fraca de jx+1j para vrios valores
u (x; 0) = x 2 para x 2 R
distintos de t.
Resposta parcial: t = 0 o da esquerda, t = 1 o da direita:
y
6
-2 0 2 4
x
CHAPTER 13
A Equao da Onda (Segunda Ordem)
Agrora estamos prontos para analisar a equao da onda propriamente dita, pelo menos no caso em que o
ambiente unidimensional1 . As equaes
8
2
>
<utt = c 4u; x 2 Rn ; t > 0
(0.1) u (x; 0) = f (x) x 2 Rn
>
:
ut (x; 0) = g (x) x 2 Rn
modelam o movimento de uma onda inicialmente com distribuio f e velocidade g (onde c a velocidade de
propagao da onda neste no meio ambiente considerado). Quando n = 3, essas equaes retratam o movimento de
uma onda do mar, ou de ondas sonoras. Para n = 1, modelam o deslocamento de uma corda vibrante. Neste curso,
s estudaremos o caso n = 1 e portanto estamos interessados em:
8
> 2
<utt = c uxx ; x 2 R; t > 0
(0.2) u (x; 0) = f (x) x 2 R
>
:
ut (x; 0) = g (x) x 2 R
Agora, a equao utt = c2 uxx , pode ser reescrita formalmente da forma
@2 @2 @ @ @ @ @ @ @ @
c2 u=0) c +c u = 0 ou +c c u=0
@t2 @x2 @t @x @t @x @t @x @t @x
@ @
Em particular, funes que satisfaam @t c @x u = 0 (isto , da forma u(x; t) = f (x ct), como vimos na aula
anterior) devem resolver esta equao. Estas consideraes sugerem a seguinte mudana de variveis
(
= x + ct
= x ct
Fazendo v( ; ) = u(x; t) e assumindo que u de classe C 2 , obtemos que v satisfaz v = 0 e portanto que v( ; ) =
F ( ) + G( ), para um par de funes F; G. Assim,
(0.3) u(x; t) = F (x + ct) + G(x ct)
um candidato a soluo de (0.2). Para que de fato seja soluo, temos que ter:
(
f (x) = u(x; 0) = F (x) + G(x)
g(x) = ut (x; 0) = F 0 (x) cG0 (x)
Portanto, (
F 0 (x) = cf 0 (x) + g(x)
G 0 (x) = cf 0 (x) g(x)
e, logo, integrando de 0 a x: (
f (x) 1
Rx
F (x) = 2 + 2c g(y) dy + C1
f (x) 1
R0x
G(x) = 2 2c 0
g(y) dy + C2
Substituindo em (0.3), temos que
Z x+ct Z x ct
f (x + ct) 1 f (x + ct) 1
u(x; t) = C1 + + g(y) dy + C2 + g(y) dy =
2 2c 0 2 2c 0
Z x+ct
f (x + ct) + f (x ct) 1
= C1 + C2 + + g(y) dy
2 2c x ct
1 Este captulo e o prximo so simplicaes para o caso em que a varivel espacial unidimensional, do material sobre problemas
hiperblicos contido no livro John, Fritz - Partial Di erential Equations.
55
56 13. A EQUAO DA ONDA (SEGUNDA ORDEM )
em particular, u(x; 0) = C1 + C2 + f (x) e portanto, usando a segunda equao de (0.2), temos que C1 + C2 = 0 e
conseqentemente,
Z x+ct
f (x + ct) + f (x ct) 1
u(x; t) = + g(y) dy
2 2c x ct
um candidato a soluo de (0.2).
Falta agora a volta: ser que esta frmula nos d uma soluo? Para tanto, temos o seguinte teorema, cuja
demonstrao simples deixada como exerccio.
Teorema 12 (Frmula de dAlembert). Se f 2 C 2 e g 2 C 1 , ento
Z x+ct
f (x + ct) + f (x ct) 1
(0.4) u(x; t) = + g(y) dy
2 2c x ct
satisfaz as equaes (0.2).
Exemplo 31. Encontre a soluo de
8
>
<utt = 9uxx ; x 2 R; t > 0
u (x; 0) = sin x x2R
>
:
ut (x; 0) = 0 x2R
Jogando tudo na frmula de dAlembert, temos diretamente (note que c = 3):
sin (x + 3t) + sin (x 3t)
u (x; t) =
2
Olhando a soluo escrita desta forma, vemos duas senides de amplitude 12 cada, uma viajando para a esquerda com
velocidade 3 e a outra para a direita com velocidade 3. No entanto, a soluo a superposio destas duas ondas.
Se reescrevermos a soluo abrindo aqueles senos
u (x; t) = sin x cos 3t
1.0
u
0.8
0.6
0.4
4
0.2 3
1.0 2
-5 -4 -3 -2 -1 1 2 3 4 5
-0.2 x 0.5 1 y
-4 z 0.0
-0.4 -2
0 0
-0.5 2
4
-0.6 x
-1.0
-0.8
-1.0
u (x; t) para t = 0; 9 ; 29 ; 3 Soluao para 5 x 5e0 t 4.
vemos que a soluo sempre uma senide em x, com amplitude cos 3t. Assim, o que "vemos" uma senide de
freqncia xa, cuja amplitude oscila rapidamente entre 1 e 1.
1. Solues Fracas
No problema da onda, muitas vezes estamos interessados em solues no clssicas (isto solues que no sejam
de classe C 2 ). Assim, dizemos que a frmula de dAlembert
Z x+ct
f (x + ct) + f (x ct) 1
u(x; t) = + g(y) dy
2 2c x ct
1. SOLUES FRACAS 57
uma soluo fraca de 8

> 2
<utt = c uxx ; x 2 R; t > 0
u(x; 0) = f (x); x 2 R
>
:
ut (x; 0) = g(x); x 2 R
mesmo quando f 62 C 2 ou g 62 C 1 .
Exemplo 32. Vamos obter uma soluo fraca de
8
>
> utt = c2 uxx ; x 2 R; t > 0
>
< u(x; 0) = 0; ( x2R
>
> 1; jxj 1
>
:ut (x; 0) = g (x) = x2R
0; jxj > 1
Usando a frmula de dAlembert, temos imediatamente a soluo
Z x+ct
1
u (x; t) = 0 + g (x) dx
2c x ct
O problema , como calcular corretamente a integral de g (x) acima? O grco de g (x) simples:
1.0
y
0.5
-3 -2 -1 0 1 2 3
x
mas os limites de integrao dependem de x e t. Para fazer a conta, precisamos abrir os seguintes casos:
CASO A: x ct x + ct 1. O intervalo de integrao est esquerda de 1, ento u (x; t) = 0.
R x+ct
CASO B: x ct 1 x + ct 1. Ento a integral 1 1dx, e u (x; t) = x+ct+1 2c .
CASO C: x ct 1 < 1 x + ct. Ento a integral toma a rea toda sob o grco de g (x), e u (x; t) = 1c .
R x+ct
CASO D: 1 x ct x + ct 1. Ento a integral x ct 1dx = 2ct e u (x; t) = t.
R1
CASO E: 1 x ct 1 x + ct. A integral x ct 1dx e u (x; t) = 1 2c x+ct
.
CASO F: Enm, se 1 x ct x + ct, ento a integral se anula, e u (x; t) = 0 de novo.
Estes casos todos podem ser ilustrados no plano xt abaixo:
t
C:u=1/c
B:u=(ct+x+1)/2c E:u=(ct-x+1)/2c
A: u=0 F: u=0
D: u=t
-1 1 x
Observe que a soluo obtida de classe C 2 exceto nas semiretas x ct = 1; t > 0 e de classe C 0 em R (0; 1).
Os grcos a seguir ilustram esta soluo para diversos valores de t.
58 13. A EQUAO DA ONDA (SEGUNDA ORDEM )
2.0
u
1.5
1.0
0.5
-4 -3 -2 -1 0 1 2 3 4
x
No plat central das solues a velocidade de subida 1, enquanto nas partes inclinadas a onda sobe com velocidade
1
2 . De certa forma, o intervalo [ 1; 1] que inicialmente subia com velocidade 1 "puxa" os seus vizinhos, que sobem
com velocidade menor; por outro lado, tais vizinhos "seguram" uma parte cada vez maior do intervalo [ 1; 1] : at
que, para t = 1c , no h mais pontos subindo com velocidade 1 e o plat central pra de subir. A partir da, tudo que
se v um movimento horizontal de duas frentes de onda, uma para cada lado.
O exemplo acima ilustra duas propriedades importantes da equao da onda:
(1) O ponto (x0 ; 0) inuencia a regio (chamada de sua regio de inuncia) f(x; t) j x0 ct x x0 +ct; t > 0g
(veja a gura abaixo).
(2) O valor de u no ponto (x0 ; t0 ) depende de seus valores no tringulo, chamado de domnio de dependncia,
f(x; t); x0 ct0 x ct; x + ct x0 + ct0 ; t 0g (veja a gura abaixo)
t t (x0,t0)
ct
x=x
0+
0-c
x=x
t
(x0,0) x (x0-c.t0,0) (x0+c.t0,0)

x
Regiao de Inuencia Dominio de Dependencia
2. Exerccios
1) Mostre que, se f 2 C (isto ,f (x) existe e contnua) e g 2 C 1 (isto , g 0 (x) existe e contnua) ento a
2 00
frmula de dAlembert Z x+ct

f (x + ct) + f (x ct) 1
u(x; t) = + g(y) dy
2 2c x ct
d uma soluo do problema da onda com condies iniciais
8
> 2
<utt = c uxx ; x 2 R; t > 0
u(x; 0) = f (x); x 2 R
>
:
ut (x; 0) = g(x); x 2 R
2) Encontre a soluo u (x; t) (e o seu valor mximo) para o problema da onda

8
> 2
<utt = c uxx ; x 2 R; t > 0
u(x; 0) = f (x) ; x 2 R
>
:
ut (x; 0) = g (x) ; x 2 R
2. EXERCCIOS 59
em cada um dos seguintes casos:

a) f (x) = sin x e g (x) = 1;
b) f (x) = sin x e g (x) = c cos x;
c) f (x) = sin x e g (x) = k sin x;
Respostas: a) u (x; t) = sin x cosp
ct + t no tem mximo; b) u (x; t) = sin (x + ct) tem valor mximo
p
1; c)
k c2 +k2 k c2 +k2
u (x; t) = sin x cos ct + c sin ct = c sin x cos (ct ) onde = arctan c tem amplitude mxima c :
3) Encontre a soluo fraca do seguinte Problema de Valor Inicial da Onda, esboce-a no plano xt e esboce-a no
plano xu para vrios valores distintos de t.
8
>
> utt = c2 uxx ; ( x 2 R; t > 0
>
< 1, se jxj L
u(x; 0) = f (x) = ; x2R
>
> 0, caso contrrio
>
:
ut (x; 0) = 0; x2R
Resposta:
1 1
u (x; t) = 2, se jx + ctj L
+ 2, se jx ctj L
0, caso contrrio 0, caso contrrio
ou seja, u (x; t) simplesmente a superposio de dois pulsos quadrados, ambos com largura 2L e altura 12 , viajando
L
em direes opostas com velocidade c. Note que, para t c , os pulsos podem ser claramente identicados (no
havendo mais a interferncia da superposio)
y y
u=0.5 u=0 u=0.5
L/c
u=0 u=0
u=1
-L L x x x
Graco em xt t = 0; 0:3 Lc ; 0:6 Lc t = 0:8 Lc ; Lc ; 1:3 Lc

CHAPTER 14
A Regra do Paralelogramo e a Corda Finita
Se u (x; t) satisfaz a EDP da onda, ento u (x; t) obedece seguinte importante propriedade:
Lema 1 (Regra do "Paralelogramo"). Seja u (x; t) uma funo que satisfaz utt = c2 uxx . Se A; B; C e D so
vrtices consecutivos do paralelogramo cujos lados pertencem s retas x ct = a; x ct = b; x + ct = c e x + ct = d,
com a 0 ento u(A) + u(C) = u(B) + u(D).
t A
x+c
t=d
t=a B
x-c
t=b
D
x-c
x+c
t=c
C
x
Proof. Lembremos que, via uma mudana de variveis, temos que utt = c2 uxx ) u (x; t) = F (x + ct) +
G (x ct) onde F e G so funes de uma varivel cada. Ento
u (A) = F (d) + G (a)

u (B) = F (d) + G (b)
u (C) = F (c) + G (b)
u (D) = F (c) + G (a)
o que demonstra o resultado1 .
Exemplo 33. Suponha que u (x; t) satisfaz utt = uxx e tambm u (0; t) = 0, u (4; t) = t: Calculemos u (a; 8) em
funo de u (a; 0). Para tanto, basta considerar o diagrama
1 Vale a pena notar que a soluo fraca dada pela frmula de DAlembert tambm satisfaz Regra do Paralelogramo (mesmo que
f (x) R
no seja diferencivel no sentido usual), j que continua valendo a expresso u = F (x + ct) + G (x ct) (onde F (x) = 2 + 0x g (y) dy
f (x) Rx
e G (x) = 2 0 g (y) dy).
61
62 14. A REGRA DO PARALELOGRAM O E A CORDA FINITA
D(a,8)
u(4,t)=t
t
E(0,8-a)
C(4,4+a)
u(0,t)=0
5
P
F(4,4-a)
B(0,a)
0
0 1 A(a,0) 2 3 4
x
onde todos os segmentos de reta desenhados so da forma x t = cte: (isto , paralelos s curvas caractersticas da
equao da onda, j que neste caso c = 1). Usando a regra do paralelogramo em ABPF e DCPF, temos
u (D) = u (C) + u (E) u (P ) = u (C) + u (E) (u (B) + u (F ) u (A)) = u (A) + u (C) + u (E) u (B) u (F ) )
) u (D) = u (a; 0) + (4 + a) + 0 0 (4 a) = u (a; 0) + 2a
Note que, usando este tipo de raciocnio, possvel calcular u (x; t + 8) em funo de u (x; t) para qualquer t real no
domnio de u.
O exemplo acima ilustra uma abordagem para resolver o problema da onda quando so dadas condies de
contorno em x = 0 e x = L. Assim, considere o seguinte problema que modela o movimento de uma corda vibrante
de comprimento L:
8
>
> utt = c2 uxx para x 2 (0; L) e t > 0
>
>
 0
u (L; t) = h2 (t) para t > 0
>
>
>
> u (x; 0) = f (x) para x 2 (0; L)
:
ut (x; 0) = g (x) para x 2 (0; L)
Use as curvas caractersticas que se propagam a partir de (0; 0) e (L; 0) para dividir a faixa 0 < x < L e t > 0 em
regies: R : ct < x < L ct, S : ct < x; L ct < x e T : x < ct; x < L ct:
t t
T S C
B D
R
x A x
Pela frmula de DAlembert, na regio R a soluo depende apenas das condies iniciais:
Z x+ct
f (x + ct) + f (x ct) 1
u (x; t) = + g (y) dy
2 2c x ct
J nas regies S = f(x; t) ; ct < x; L ct < x; t > 0g e T = f(x; t) ; x < ct; x < L ct; t > 0g uma aplicao da regra
do paralelogramo suciente para calcular u (x; t) : Por exemplo, na gura direita, podemos calcular u (C) em
funo de u (D) (que obtido pela condio de contorno u (L; tD ) = h2 (tD )), u (A) (que dado pela condio inicial
u (xA ; 0) = f (xA )) e u (B) (que pode ser calculado pela frmula de dAlembert pois B est na regio R).
Em geral, para um ponto qualquer D = (x; t), um diagrama anlogo ao do exemplo anterior permite colocar
u (D) em funo de u (A) onde A est em uma das regies R, S ou T . Assim, possvel encontrar frmulas explcitas
1. EXERCCIOS 63
para u (x; t) em toda a faixa (0; L) (0; 1).
D D
tE tE
C C
P F
P F
B B A
A
x x
Caso em que A 2 R Caso em que A 2 T
1. Exerccios
1) Uma funo u (x; t) satisfaz utt = 4uxx para quaisquer x; t reais. Sabe-se que u (0; 0) = 12, u (4; 2) = 5e
u ( 4; 2) = 3. Calcule u (0; 4).
Resposta: u (0; 4) = 14.
2) Uma funo u (x; t) satisfaz utt = uxx para todos x; t reais. Sabe-se que u (1; 0) = 0, u (0; t) = 0 e u (2; t) = t
para quaisquer x e t reais. Calcule u (1; 2), u (1; 4), u (3; 2) e u (3; 4) e mostre que u (1; 2n) = n para todo n inteiro
positivo.
Resposta: u (1; 2) = 1, u (1; 4) = 2, u (3; 2) = 3 e u (3; 4) = 6.
3) Uma funo u (x; t) satisfaz utt = uxx para todos x; t reais. Sabe-se que u (0; t) = 0 e u (2; t) = t para todo t
real. Seja x0 2 (0; 1); calcule u (2 x0 ; 2) e u (x0 ; 4) em funo de u (x0 ; 0) e x0 .
Respostas: u (2 x0 ; 2) = u (0; x0 ) + u (2; 2 x0 ) u (x0 ; 0) = 2 x0 u (x0 ; 0) e u (x0 ; 4) = u (0; 4 x0 ) +
u (2; x0 + 2) u (2 x0 ; 2) = u (x0 ; 0) + 2x0 .
4) Uma funo u (x; t) satisfaz utt = c2 uxx para todos x; t reais. Suponha que u (0; t) = u (L; t) = 0 para todo
t real. Mostre que, se x0 2 (0; L), ento u (x0 ; 0) = u L x0 ; Lc = u x0 ; 2L c em particular, u peridica de
2L
perodo c na direo t.
5) No exerccio 7 do captulo 11, voc usou o Mtodo da Separao de Variveis para mostrar que a soluo
8
>
> utt = uxx para (x; t) 2 (0; ) (0; 1)
>
>

> u (x; 0) = f (x) =
>
> 0, se 2 < x <
:
ut (x; 0) = 0 para x 2 (0; )
tem a seguinte expanso em srie de Fourier2

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
Use agora a Regra dos Paralelogramos para mostrar que esta soluo fraca , de fato, constante em cada uma das
regies esboadas a seguir (com os valores indicados). Usando este diagrama, esboce u (x; t) versus x para os seguintes
valores de t: 0; 0:1; 0:5; 1; 2 ; e 2 .
2 Vale a pena citar que cada um dos termos do somatrio a seguir chamado de uma onda estacionria (que no deve ser confundido
com o "estado estacionrio" da equao do calor).
64 14. A REGRA DO PARALELOGRAM O E A CORDA FINITA
t6 1 0
0
5 1/2
4 -1/2 0
3 0 -1
0
2 -1/2
1/2
1 0
1 0
0
0 1 2 3
x
Resposta: Os grcos para t = 0 e t = 2 so idnticos. Os outros so3 :
1.0 1.0 1.0

y y y
0.5 0.5 0.5
0.0 0.0 0.0

1 2 3 1 2 3 1 2 3
x x x
-0.5 -0.5 -0.5 t=pi/2
-1.0 -1.0 -1.0 t=pi
t = 0; 0:1 t = 0:5; 1:0 t= 2;
6) Suponha a L. Use a Regra dos Paralelogramos para determinar e esboar, no plano xt, a soluo fraca de
8
>
> utt = c2 uxx para (x; t) 2 ( L; L) (0; 1)
>
>

> u (x; 0) = f (x) =
>
> 0, se a < jxj L
:
ut (x; 0) = 0 para x 2 (0; )
Resposta: nas regies sem rtulo vale u = 0:
1
t
1/2 1/2
-1/2 -1/2
-1
-1/2 -1/2
1/2 1/2
1
-L -a a L
3 Veja o lme no site da disciplina!

CHAPTER 15
Reduo ao Caso Homogneo
Da maneira que foi apresentado, o Mtodo da Separao de Variveis s funciona para um Problema com
condies de contorno homogneas (para ser exato, uma condio no precisa ser homognea, pois os coecientes cn
eram ajustados ao nal de acordo com esta ltima condio). Se as condies de contorno no so homogneas, o
princpio da superposio deixa de valer e o mtodo no funciona. Felizmente, em muitos casos, possvel separar
o problema em questo em um problema no homogneo (simples) e um homogneo (que pode ser resolvido pelo
mtodo da separao de variveis). Vejamos alguns exemplos deste princpio em ao1 .
Exemplo 34. Dadas as constantes A e B, considere o problema do Calor a seguir

8
>
> ut = uxx para 0 < x < L e t > 0
 0
( )
>
> u (L; t) = B para t > 0
:
u (x; 0) = f (x) para 0 < x < L
Infelizmente, no podemos obter solues separadas deste sistema e superp-las dadas solues u1 e u2 das trs
primeiras equaes, uma combinao linear de u1 e u2 no necessariamente satisfaz as trs primeiras equaes:
c1 u1 (0; t) + c2 u2 (0; t) = c1 A + c2 A no necessariamente d A. Ao invs, comeamos por procurar uma soluo
particular de
8
< vt = vxx para 0 < x < L e t > 0
( ) v (0; t) = A para t > 0
:
v (L; t) = B para t > 0
Este problema indeterminado e tem vrias solues (pois no h condio inicial, em t = 0). Vejamos se podemos
encontrar uma soluo simples, digamos, que no dependa de t: v (x; t) = X (x). Se esta soluo existir, ela satisfar
X 00 (x) = 0 ) X (x) = ax + b
Como tambm queremos X (0) = A e X (L) = B; chegamos soluo particular
B A
v (x; t) = X (x) = x+A
L
Agora faamos w (x; t) = u (x; t) v (x; t). Armamos que u soluo de ( ) se, e somente se, w soluo de
8
>
> wt = wxx para 0 < x < L e t > 0
<
w (0; t) = 0 para t > 0
( )
>
> w (L; t) = 0 para t > 0
: B A
w (x; 0) = f (x) L x + A para 0 < x < L
De fato, usando que v resolve ( ):
wt wxx = 0 , (ut vt ) (uxx vxx ) = 0 , ut uxx = 0

w (0; t) = 0 , u (0; t) v (0; t) = 0 , u (0; t) = A
w (L; t) = 0 , u (L; t) v (L; t) = 0 , u (L; t) = B
B A B A
w (x; 0) = f (x) x + A () u (x; 0) v (x; 0) = f (x) x+A , u (x; 0) = f (x)
L L
1 Este princpio vem da lgebra Linear: se A uma transformao linear (em geral, uma matriz) e ~b um vetor dado, ento a soluo
do sistema no homogneo A~ x = ~b pode ser decomposta como ~
x=~ xP + ~ xH , onde ~
xP uma soluo particular de Ax ~ = ~b e ~ xH a
soluo geral de A~ ~
x = 0 (isto , ~
xH est no ncleo de A).
65
66 15. REDUO AO CASO HOM OGNEO
Assim, resolver ( ) equivalente a resolver ( ) e somar v (x; t) = B L A x + A soluo w encontrada. Como

( ) homogneo, sabemos resolv-lo por separao de variveis. Explicitamente, temos
X1 Z
n2 2 t=L2 n x 2 L B A n x
w (x; t) = cn e sin onde cn = f (x) x+A sin dx )
n=1
L L 0 L L
1
X
n2 2
t=L n x B A
) u (x; t) = cn e sin + x+A
n=1
L L
Vale a pena tambm observar o signicado fsico desta expresso medida que t ! 1, temos que w ! 0 e, portanto,
u ! v. Assim, v (x; t) dito o estado estacionrio do sistema (o estado do sistema "a longo prazo", steady-state)
enquanto w (x; t) determina o seu transiente ou estado transitrio (o estado do sistema antes de alcanar seu estado
estacionrio). Mais ainda, v (x; t) um equilbrio do sistema isto , se a distribuio inicial de temperatura
f (x) = B L A x + A, ela no se alterar, pois ento w (x; t) = 0 e u (x; t) = v (x; t) para todo t > 0.
Exemplo 35. Vamos resolver a seguinte modicao da equao da onda
8
< utt = uxx + x2 para x 2 R e t > 0
u (x; 0) = x
:
ut (x; 0) = 0
Novamente, o princpio da superposio no vale na primeira equao. Procuremos ento uma soluo particular de
vtt = vxx + x2
que no dependa de t. Tomando v (x; t) = X (x), temos
x4
X 00 (x) = x2 ) X (x) = + ax + b
12
x4
Como procuramos apenas uma soluo particular, vamos escolher a mais simples: v (x; t) = 12 . Agora, se w = u v,
temos
wtt = utt vtt = uxx + x2 vxx + x2 = uxx vxx = wxx
4
x
w (x; 0) = u (x; 0) v (x; 0) = x +
12
wt (x; 0) = ut (x; 0) vt (x; 0) = 0
Este problema em w corresponde Equao da Onda que conhecemos, ento pode ser resolvido diretamente pela
frmula de dAlembert
(x+t)4 (x t)4
12 + (x + t) + + (x
x4 + 6t2 x2 + t4
12 t)
w (x; t) = +x =
2 12
Daqui recompomos u = w + v, chegando enm soluo do problema original
t2 2 t4
u (x; t) =
x +x+
2 12
O leitor deve se convencer que esta idia funciona rapidamente sempre que tivermos uma E.D.P. do tipo utt =
uxx + f1 (x) + f2 (t) (basta tomar v = X (x) + T (t) onde X 00 = f1 e T 00 = f2 ). Teoricamente, a idia tambm
slida para E.D.P.s do tipo utt = uxx + f (x; t) ; mas neste caso encontrar a soluo particular v pode ser mais
complicado.
Exemplo 36. Em algumas situaes, outras trocas de variveis podem transformar um problema aparentemente
difcil num conhecido. Por exemplo, considere o seguinte problema de reao-difuso
8
< ut = c2 uxx + u para 0 < x < L, t > 0
u (0; t) = u (L; t) = 0 para t > 0
:
u (x; 0) = f (x) para 0 < x < L
Neste caso, no adianta encontrar uma soluo particular v tal que vt = c2 vxx + v e tomar w = u v. Teramos
2 2 2
wt = ut vt = c uxx + u c vxx + v = c wxx w
que novamente a equao inicial! Uma opo usar diretamente o mtodo de separao de variveis neste problema
(como no problema 9 do captulo 11). Outra opo interessante tomar:
u (x; t) = et v (x; t)
Pois ento
ut = c2 uxx + u () et v + et vt = c2 et vxx + et v , vt = c2 vxx
1. EXERCCIOS 67
e v satisfaz equao do calor tradicional! Mais especicamente, usando v (x; t) = e t u (x; t):
8
< vt = c2 vxx para 0 < x < L, t > 0
v (0; t) = v (L; t) = 0 para t > 0
:
v (x; 0) = f (x) para 0 < x < L
Esta equao pode ser resolvida pelo mtodo de separao de variveis. Escrevendo a soluo como uma srie de
Fourier, temos
X1 Z
2 2 2 n x 2 L n x
v (x; t) = cn e n t=L sin onde cn = f (x) sin dx
n=1
L L 0 L
e, portanto
1
X n2 2 n x
u (x; t) = cn exp 1 t sin
n=1
L2 L
Note como esta soluo amplica os harmnicos para os quais n < L (baixas freqncias) medida que t cresce,
e atenua os harmnicos para os quais n > L (se houver um harmnico em n = L , ele ser mantido intacto). Em
suma, o processo trata-se de um ltro "passa-baixa".
1. Exerccios
1) Resolva o problema 8
< utt = uxx 12x2 para x 2 R e t > 0
u (x; 0) = 2x4 para x 2 R
:
ut (x; 0) = cos x para x 2 R
Resposta: u (x; t) = 2x4 + 6x2 t2 + t4 + cos x sin t.
2) Resolva 8
< ut = uxx + e t para x 2 R e t > 0
ux (0; t) = ux ( ; t) = 0 para t > 0
:
u (x; 0) = cos 2x para x 2 R
4t
Resposta: u (x; t) = 1 + e cos 2x e t.
3) Considere o problema do calor numa barra nita

8
>
> ut = uxx para a < x 0
 0
>
> u (b; t) = 0 para t > 0
:
u (x; 0) = f (x) para a < x < b
A presena das constantes a e b ao invs de 0 e L dicultam a soluo por separao de variveis. Encontre uma
mudana de variveis que facilite a resoluo desta equao. Qual a nova condio inicial?
Resposta: uma boa opo v (x; t) = u (x + a; t). Tomando L = b a, camos com o velho problema
8
>
> vt = vxx para a < x 0
<
v (0; t) = 0 para t > 0
>
> v (L; t) = 0 para t > 0
:
v (x; 0) = f (x + a) para 0 < x < L
4) Resolva a seguinte equao do transporte modicada

ut + cux u=0
t
usando u (x; t) = e v (x; t) :
Resposta: u (x; t) = e t F (x ct) onde F uma funo qualquer.
5) a) Seja f (x) uma funo que no se anula e considere a equao

ut f (x) ux = 0
Dena uma mudana de variveis por u (x; t) = v (w; t) onde w = w (x) e descubra a nova equao em v. A partir
da, escolha w (x) de maneira a reduzir esta equao a uma equao do transporte em v com coecientes constantes.
b) Escreva explicitamente a soluo genrica de
ut = 1 + x2 ux
68 15. REDUO AO CASO HOM OGNEO
1
R 1
Resposta: a) vt = f (x) w0 vw . Tomando w0 = f (x) , isto , w = f (x) dx, temos vt = vw que a equao do
transporte com coecientes constantes (cuja soluo v (w; t) = F (w + t)). b) u (x; t) = F (arctan x + t), onde F
uma funo qualquer.
6) A seguinte E.D.P. um caso particular da equao de Black-Scholes (usada em nanas)

Pt x2 Pxx xPx + P = 0
onde x > 0. Utilize uma mudana de variveis do tipo x = ew para transform-la numa equao mais conhecida.
Resposta: Fazendo Q (w; t) = P (x; t) onde x = ew , a nova equao em Q
Qt Qww + Q = 0
t
Tomando agora Q (w; t) = e u (w; t) ; chegamos a
ut = uww
que a Equao do Calor em u. Juntando tudo, se u (w; t) uma soluo da equao do calor ut = uww , ento
P (x; t) = e t u (ln x; t) uma soluo da equao de Black-Scholes.
CHAPTER 16
A Equao de Laplace
A equao do calor em duas dimenses dada por

ut = c u = c (uxx + uyy )
onde u (x; y; t) a temperatura de uma placa bidimensional de material homogneo no ponto (x; y) no tempo t e
c uma constante que depende das propriedades do material. Tipicamente, esta equao vem acompanhada de
condies iniciais (do tipo u (x; y; 0) = f (x; y)) e de contorno (por exemplo, u (x; y; t) = 0 para x2 + y 2 = 1 e t = 0).
Ao invs de tentar resolver tal equao em duas dimenses, abordaremos aqui apenas a seguinte questo: qual
seria a distribuio de temperatura de estado estacionrio desta placa? Em outras palavras, queremos uma soluo
que no dependa do tempo, ou seja, queremos resolver
uxx + uyy = 0
Esta equao chamada de Equao de Laplace e aparece em vrios outros contextos da Engenharia e da Fsica. Se
a regio onde vale esta equao for retangular (e o valor de u no bordo da regio for determinado por condies de
contorno dadas), o mtodo da separao de variveis adequado:
Exemplo 37. Considere o seguinte problema
8
< uxx + uyy = 0 para (x; y) 2 (0; L) (0; M )
u (0; y) = u (L; y) = u (x; 0) = 0 para x 2 (0; L) e y 2 (0; M )
:
u (x; M ) = f (x) para x 2 (0; L)
cuja soluo seria a temperatura de estado estacionrio de uma placa com trs lados mergulhados em gelo e o quarto
lado y = M com distribuio de temperatura deteminada por f (x).
Usando separao de variveis, procuremos solues do tipo u (x; y) = X (x) Y (y) para as duas primeiras linhas
do problema acima. Teremos
X 00 Y 00
X 00 Y + XY 00 = 0 ) = =
X Y
As condies u (0; y) = u (L; y) = 0 implicam em X (0) = X (L) = 0 (pois no queremos solues identicamente
nulas). Estas condies so incompatveis com os casos > 0 (que d X (x) exponencial) e = 0 (que d X (x)
2 2
funo am), ento camos apenas com a hiptese < 0 (mais especicamente, com = nL2 ). Enm, usando
as condies X (0) = X (L) = Y (0) = 0, chegamos s seguintes solues separadas:
en y=L
e n y=L
n x
un (x; y) = cn sin
2 L
Para terminar, montamos uma soluo por superposio1
X1
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
Se a regio em questo tem um bordo circular, pode ser prefervel trabalhar em coordenadas polares. Para tanto,
use a expresso do Laplaciano em coordenadas polares
1 @ 1 1 1
u= (rur ) + 2 u = urr + ur + 2 u
r @r r r r
1 Lembre que sinh x = ex e x
. Esta funo bastante til para simplicar as expresses encontradas.
2
69
70 16. A EQUAO DE LAPLACE
Exemplo 38. Vamos resolver o seguinte problema de Laplace no semi-crculo unitrio:

8
< u = 0 para 1 < r < 3 e 0 < <
u (1; ) = u (r; 0) = u (r; ) = 0 para 0 e1 r 3
:
u (3; ) = sin 2 para 0
Procuremos solues separadas da forma u (r; ) = R (r) ( ) para as duas primeiras linhas. A equao u = 0 nos
d
00
1 d 1 r d
(rR0 ) : + 2 R 00 = 0 ) = (rR0 ) =
r dr r R dr
onde uma constante. Em suma, temos que resolver as seguintes EDOs
00
+ = 0
d R
(rR0 ) =
dr r
sujeitas s condies R (1) = (0) = ( ) = 0.
Caso 0: Neste caso, as solues para ( ) so exponenciais ou funes ans. Nenhuma delas serve, pois
queremos (0) = ( ) = 0.
p p
Caso > 0 : Ento ( ) = C1 cos + C2 sin : Para ter (0) = ( ) = 0, devemos ter = n2 e
C1 = 0, onde n um natural positivo. Assim, ( ) = C2 sin (n ). A equao em R nos d
0 n2 R
(rR0 ) = ) r2 R00 + rR0 n2 R = 0
r
que uma equao de Euler2 cuja soluo geral da forma
R (r) = C3 rn + C4 r n
Como queremos R (1) = 0, devemos ter C3 = C4 , isto , R (r) = C3 (rn r n

).
Juntando tudo, encontramos as seguintes solues separadas
un (r; ) = cn rn r n
sin (n )
Por superposio, espera-se que

1
X
u (r; ) = cn rn r n
sin (n )
n=1
seja a soluo so problema desejado basta agora calibrar as constantes cn para que se adaptem P
ltima condio
de contorno u (3; ) = f ( ) = sin 2 . Em geral, precisaramos abrir f ( ) em sua srie de senos bn sin (n ) para
tomar ento
bn
cn 3n 3 n = bn ) cn = n
3 3 n
Neste caso, porm, tivemos sorte f ( ) = sin 2 sua prpria srie em senos, isto , b2 = 1 e bm = 0 para m 6= 2.
Assim, a soluo desejada simplesmente c2 = 32 b23 2 = 80=9
1 9
= 80 , isto
9 2 2
u (r; ) = r r sin 2
80
ou, de volta s coordenadas cartesianas
9 x2 + y 2 + 1 x2 + y 2 1 xy
u (x; y) = 2
40 (x2 + y 2 )
2 Para relembrar a soluo da Equao de Euler
x2 y 00 + axy 0 + by = 0
veja os exerccios.
16. A EQUAO DE LAPLACE 71
1
3
2
1 3
z 0
0 0 1 2
y -2 -1
-3
-1 x
-2
Exemplo 39. Seja f ( ) uma funo peridica de perodo 2 . Mostremos que a soluo nita do seguinte
problema de Laplace no crculo de raio a
u = 0 para 0 r < a e 0 2
u (a; ) = f ( ) para 0 2
3
1
a0 X r n r n
u (r; ) = + an cos (n ) + bn sin (n )
2 n=1
a a
1
a0 X
onde f ( ) + an cos (n ) + bn sin (n )
2 n=1
De fato, usando o mtodo de separao de variveis, chegamos novamente s EDOs

00
+ = 0
2 00 0
r R + rR R = 0
Note que queremos que seja peridica de perodo 2 , j que, em coordenadas polares, = e = +2
representam o mesmo ponto e, portanto, u deve assumir o mesmo valor para = e = + 2 . Assim, o caso
< 0 no nos interessa (pois seria uma combinao de funes exponenciais).
No caso = 0 temos que uma funo am, o que s peridica se for constante. A
d
(rR0 ) = 0 ) rR0 = C1 ) R = C1 ln r + C2
rR00 + R0 = 0 )
dr
como ln r ! 1 quando r ! 0+, para que a soluo seja nita, precisamos tomar C1 = 0. Assim, a nica soluo
encontrada para = 0 u0 (x; t) = c0 = cte:
Enm, se > 0 voltamos ao caso do exemplo anterior. Temos
p p
( ) = C1 cos + C2 sin
Como queremos que seja peridica de perodo 2 , precisamos tomar = n2 . Ento, analogamente ao exemplo
anterior:
( ) = C1 cos (n ) + C2 sin (n )
R (r) = C3 rn + C4 r n
Mais uma vez, para que a soluo seja nita quando r ! 0+, precisamos tomar C4 = 0. Assim, encontramos as
seguintes solues separadas
un (r; ) = rn (An cos (n ) + Bn sin (n ))
Superpondo tudo, esperamos ter uma soluo da forma
1
X
u (r; ) = A0 + rn (An cos (n ) + Bn sin (n ))
n=1
3 Tecnicamente, a soluo a seguir satisfaz u (a; ) = f ( ) somente quando f contnua; apesar disto, esta a soluo fraca desejvel
mesmo que f seja descontnua.
Enm, tomando r = a, vem a condio

1
X
u (a; ) = f ( ) = A0 + an (An cos (n ) + Bn sin (n ))
n=1
o que indica que esta a srie de Fourier de f . Em outras palavras, temos

1
a0 an bn a0 X
A0 = ; An = n ; Bn = n onde f ( ) + an cos (n ) + bn sin (n )
2 a a 2 n=1
demonstrando a armao original.

interessante escrever esta expresso usando a forma complexa. Ficaramos ao invs com
1
X 1
X n
r n rei
u (r; ) = cn ein = cn
n= 1
a n= 1
a
ou, trocando a representao do plano xy pelo plano complexo via z = x + iy = rei :

X1 Z 2
z n 1
u (z) = cn onde cn = f ( ) e in d
n= 1
a 2 0
1. Exerccios
1) a) Mostre que
u (x; y) = C1 ln x2 + y 2 + C2
uma soluo da equao de Laplace em todo o plano, exceto na origem.
b) Mostre que
q
C1
u (x1 ; x2 ; :::; xn ) = n 2 + C2 onde r = x21 + x22 + ::: + x2n
r
uma soluo da equao de Laplace em Rn (exceto na origem), a saber4 :
u=u
_ x1 x1 + ux2 x2 + ::: + uxn xn = 0
2) Mostre que a funo y (x) = xr soluo da equao de Euler

x2 y 00 + axy 0 + by = 0
desde que r seja raiz de r2 + (a 1) r + b = 0.
2
a) Conclua que, se = (a 1) 4b > 0, as razes distintas r1 e r2 desta quadrtica levam soluo geral
r1 r2
y (x) = C1 x + C2 x .
b) Se = 0 e h apenas uma raiz dupla r, mostre que y (x) = xr (C1 + C2 ln x) soluo.
i
c) Enm, se < 0 e as razes so complexas da forma i, escreva x = e( i) ln x
= e ln x e i( ln x) para
encontrar solues do tipo y = x (C1 cos ( ln x) + C2 sin ( ln x)).
3) Encontre a soluo u (x; y) da equao de Laplace abaixo com as seguintes condies de contorno
8
< u = 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 <
P
Resposta: u (x; y) = 16 n m par sinh(n(1
sinh n
y)) sin nx
n
4) Encontre a soluo u (r; ) da equao de Laplace abaixo com as seguintes condies de contorno
8
< u = 0 para 1 < r < 2 e 0 < <
u (1; ) = u (r; 0) = u (r; ) = 0 para 1 r 2 e 0
:
u (2; ) = 4 para 0
P n n sin(n )
Resposta: u (r; ) = 16 n m par 2rn r2 n n
4 Em particular, em R3 , as solues u (x; y) = C=r so indicativas de vrios potenciais energticos que so "proporcionais ao inverso
da distncia" como a energia potencial gravitacional, por exemplo.
1. EXERCCIOS 73
3 4
u 2 3
1.0
1
0.5 u 2
2.0
0
0 0.0 1 1.5
1.0
1 3 -2
-1 0 0.5
2 0 0.0
1
x x 2
Problema 3 Problema 4
5) Mostre que a soluo do problema do potencial com condies de contorno

8
< uxx + uyy = 0 para (x; y) 2 (0; L) (0; M )
u (0; y) = u (L; y) = u (x; M ) = 0 para x 2 (0; L) e y 2 (0; M )
:
u (x; 0) = f (x) para x 2 (0; L)
Z
1
X L
sinh (n (M y) =L) n x 2 n x
u (x; y) = bn sin onde bn = f (x) sin dx
n=1
sinh (n M=L) L L 0 L
6) Resolva o problema
8
>
> uxx + uyy = 0 para (x; y) 2 (0; ) (0; )

> u (x; 0) = x ( x) para x 2 (0; )
:
u (0; y) = y para y 2 (0; )
[Dica: superponha duas solues, uma com u1 (0; y) = 0 e outra com u2 (x; 0) = 0.]
P P1 n+1
Resposta: u (x; t) = n m par 8n3 sinh(n( y))
sinh(n ) sin (nx) + n=1 2( 1)
n
sinh(n( x))
sinh(n ) sin (ny)
+ =
3 0 3 3
2 2 2
01 01 01
0 0
1 1 1
2 2 2
3 3 3
x x x
7) a) Seja R o quadrado (0; ) (0; ) no plano xy e @R o seu bordo. Por separao de variveis, mostre que a
soluo do problema de autovalor:
u = u para (x; y) 2 R
u = 0 para (x; y) 2 @R
1
X
u (x; y) = cmn sin (mx) sin (ny) onde m; n 2 N e = m2 + n2
m;n=1
b) Mostre que a funo
2 2
umn (x; y; t) = e (m +n )t sin mx sin ny
soluo do Problema do Calor bidimensional

8
< ut = uxx + uyy para (x; y) 2 R e t > 0
u (x; y; t) = 0 para (x; y) 2 @R e t > 0
:
u (x; y; 0) = sin mx sin ny para (x; y) 2 R
c) Mostre que
p
umn (x; y; t) = cos m2 + n2 t sin mx sin ny
soluo do Problema da Onda bidimensional
8
>
> utt = uxx + uyy para (x; y) 2 R e t > 0
 0
.
>
> u (x; y; 0) = sin mx sin ny para (x; y) 2 R
:
ut (x; y; 0) = 0 para (x; y) 2 R
Nota: Como cada umn peridica em t, estas funes so chamadas de ondas estacionrias5 ; elas descrevem as
freqncias fundamentais presentes na vibrao de uma membrana retangular (os grcos abaixo mostram algumas
destas ondas quando t = 0).
1.0 1.0 1.0 1.0

0.5 0.5 0.5
0.5 z 0.0 z 0.0 z 0.0
z -0.50 0 -0.50 0 -0.50 0
0.0 -1.0
1 1 -1.0
1 1 -1.0
1 1
0 0 2 2 2 2 2 2
1 1 3 3 3 3 3 3
2 2 xy xy xy
3 xy 3
m=n=1 m = 1; n = 2 m = 1; n = 3 m = 1; n = 4
1.0 1.0 1.0 1.0

0.5 0.5 0.5 0.5
0.0 z 0.0 z 0.0 z 0.0
z -0.50 0 -0.50 0 -0.50 0 -0.50 0
-1.0 -1.0
1 1 -1.0
1 1 -1.0
1 1
1 1
2 2 2 2 2 2 2 2
3 3 3 xy 3 3 xy 3 3 xy 3
xy
m=n=2 m = 2; n = 3 m = 2; n = 4 m = 3; n = 4
ei +e i
9) a) Use a identidade cos = 2 para descobrir que
1
X 1 r cos
rn cos (n ) =
n=0
1 2r cos + r2
sempre que jrj < 1.
b) Vimos que a soluo do problema
u = 0 para 0 r < a e 0 2
u (a; ) = f ( ) para 0 2
1 Z Z
a0 X r n r n 1 2
1 2
u (r; ) = + an cos (n )+bn sin (n ) onde an = f ( ) cos (n ) d e bn = f ( ) sin (n ) d :
2 n=1 a a 0 0
Substitua os valores de an e bn na expresso de u (r; ) e use o item (a) para chegar frmula
Z 2
1 a2 r2
u (r; ) = f ( )d
2 0 a2 + r2 2ar cos ( )
que a chamada Integral de Poisson que representa a soluo da equao do potencial.
5 Filmes no site!
CHAPTER 17
A Funo Gama e as Funes de Bessel
1. A Funo Gama
Definio 18. Para x > 0, denimos a funo (x) como
R1
(x) = 0 tx 1 e t dt
Proposio 12. Sempre que as integrais acima convergirem (ou seja, para p > 0), vale
(p + 1) = p (p)
Proof. Z Z
1 1
t 1
(p + 1) = tp e t dt = tp e 0
+p tp 1
e t dx = (0 0) + p (p)
0 0
Proposio 13. Para n natural positivo, vale
(n) = (n 1)!
R1
Proof. Por induo: vale para n = 1 pois (1) = 0 e t dt = 1 = 0!; e o passo de induo :
se (k) = (k 1)!, ento (k + 1) = k (k) = k ((k 1)!) = k!
Comentrio 2. Como a integral que dene (x) s converge para x > 0, usa-se a propriedade (p) =
(p + 1) =p recursivamente para denir (x) quando x < 0, isto
(x + n)
(x) =
x (x + 1) (x + 2) (x + 3) ::: (x + n 1)
onde n escolhido de forma que x + n > 0. Com esta denio, o grco de (x) ca assim
10
y
5
-5 -4 -3 -2 -1 1 2 3 4 5
x
-5
-10
Em outras palavras, a funo (x) uma generalizao da funo fatorial para x 2 R e, portanto, cresce extrema-
mente rpido para x > 2.
Proposio 14. Temos
R1 t2
p
0
e dt = 2
1 p
2 =
75
76 17. A FUNO GAM A E AS FUNES DE BESSEL
Proof. Seja I a integral imprpria acima. Ento

Z 1 Z 1 Z Z 2Z 1
2 2 2 2
r2
I2 = e x dx e y dy = e x y dA = e rdrd =
0 0 R2 0 0
Z 2 2
#1 p
e r 1
= d = 0+ = )I=
0 2 2 2 4 2
0
Portanto Z 1 Z 1 Z 1 p
1 e t 1 u2 u2
p
= p dt = e (2udu) = 2e du = 2 =
2 0 t 0 u 0 2
A proposio a seguir d algumas denies alternativas da funo Gama (sendo a primeira delas a denio
utilizada por Euler no sculo XVIII):
Proposio 15. Temos
1 x
n!nx 1 Y 1 + n1
(x) = lim =
n!1 x (x + 1) (x + 2) ::: (x + n) x n=1 1 + nx
e portanto
1
x Y
e ex=n
(x) =
x n=1
1 + nx
Pn 1
onde = limn!1 k=1 k ln n 0:57722::: a constante de Euler.
Proof. Nos exerccios abaixo, indicamos como mostrar estas igualdades para x natural. O caso geral no ser
demonstrado aqui.
Outras propriedades que citaremos sem demonstrao incluem:
Proposio 16. A funo Gama satisfaz a frmula de reexo
(x) (1 x) = para x 62 Z
sin x
e a frmula de duplicao
1 p
22x 1
(x) x+ = (2x)
2
Uma conseqncia importante da primeira frmula acima que a funo Gama no tem zeros reais (nem com-
plexos). Uma importante aproximao da funo Gama, vlida para valores altos de x, a seguinte:
Proposio 17 (Frmula de Stirling). Tem-se
(x + 1) p
lim p = 2
x!1 xx e x x
isto , neste sentido,
p x x
(x + 1) 2 x para x "grande"
e
2. Funes de Bessel
Assim como a EDO de Euler aparece ao resolver a Equao de Laplace em coordenadas polares no plano, uma
outra EDO aparece ao atacar as Equaes clssicas em coordenadas cilndricas ou esfricas. Esta EDO a Equao
de Bessel (de ordem p):
x2 y 00 + xy 0 + x2 p2 y = 0
Utilizamos o Mtodo de Frobenius para encontrar solues desta EDO. Lembre que o mtodo de Frobenius consiste
em procurar uma soluo da forma
X1 1
X
y (x) = xs an xn = an xn+s
n=0 n=0
onde a0 6= 0 e s uma constante a ser escolhida mais tarde. Ento1
X
y 0 (x) = (n + s) an xn+s 1
X
y 00 (x) = (n + s) (n + s 1) an xn+s 2
1 Nas linhas a seguir, somatrios sem ndices so de n = 0 at 1.

2. FUNES DE BESSEL 77
e, portanto,
X X X 2
x2 y 00 + xy 0 = xs (n + s) (n + s 1) an xn + xs (n + s) an xn = xs (n + s) an xn
X
p2 y = xs p2 an xn
X 1
X
x2 y = xs an xn+2 = xs an 2x
n
n=2
Substituindo tudo na EDO de Bessel (e dividindo por xs ), encontramos as seguintes equaes nos coecientes an :
Tomando n = 0: s2 p2 a0 = 0
2
Tomando n = 1: (s + 1) p2 a1 = 0
2
Outros valores de n 2: (s + n) p2 an + an 2 =0
Ou seja, da primeira equao (lembrando que a0 6= 0) temos s = p. Usemos2 s = p. Da segunda equao, vem
a1 = 0. Enm, a terceira equao d a recorrncia
an 2 an
an = ou an+2 =
n (2p + n) (n + 2) (2p + n + 2)
ou seja, os coecientes de ordem mpar sero todos nulos; os de ordem par so:
a2k 2 a2k 4
a2k = = = :::
2k (2p + 2k) 2k (2k 2) (2p + 2k) (2p + 2k 2)
k
( 1) a0
::: = )
(2k (2k 2) (2k 4) :::4:2) ((2p + 2k) (2p + 2k 2) ::: (2p + 2) 2p)
k k
( 1) ( 1) (p)
) a2k = 2k
a0 = 2k
a0
2 k! (p + k) (p + k 1) ::: (p + 1) p 2 k! (p + k + 1)
Enm, voltando frmula de y (x), camos com

1
X k
( 1)
y (x) = xp a0 (p) 2k
x2k
2 k! (p + k + 1)
k=0
1
Para facilitar as contas, comum escolher uma soluo tomando a0 = (p)2p . Com esta escolha, nalmente chegamos
a:
Definio 19. A funo de Bessel de primeira espcie de ordem p a funo denida pela seguinte srie de
potncias
1
pX n 2n
x ( 1) x
Jp (x) =
2 n=0
n! (n + p + 1) 2
Se p inteiro, esta funo est denida para todo x real3 ; se p no for inteiro, a denio s faz sentido4 para x 0.
Exemplo 40. O caso mais comum o caso em que p natural:

1
X n 2n+p
( 1) x
Jp (x) =
n=0
n! (n + p)! 2
2 No mtodo de Fobenius a primeira soluo encontrada com o maior valor de (parte real de) s possvel.
3 Desde que seja usada a conveno 1 = 0 sempre que n for inteiro negativo ou nulo.
(n)
4 Aplicando o Teste da razo srie de potncias, encontramos
cn+1 x 2 1
= !0
cn 2 (n + 1) (n + p + 1)
quando n ! 1. Assim, o raio de convergncia da srie de potncias +1. O problema com o domnio de Jp (x) no est na srie, mas
na presena do termo xp .
imediato escrever alguns exemplos

1
X n
( 1) x 2n x2 x4 x6
J0 (x) = 2 =1 + + :::
n=0 (n!) 2 4 64 2304
X1 n
( 1) x 2n+1 x x3 x5 x7
J1 (x) = = + + :::
n=0
n! (n + 1)! 2 2 16 384 18432
1
X n
( 1) x 2n+2 x2 x4 1 6 1
J2 (x) = = + x x8 + :::
n=0
n! (n + 2)! 2 8 96 3072 184320
enquanto
1
X n
( 1) x 2n 1 x x3 x5 x7
J 1 (x) = = + + :::
n=1
n! (n 1)! 2 2 16 384 18432
1
X n
( 1) x 2n 2 x2 x4 1 6 1
J 2 (x) = = + x x8 + :::
n=2
n! (n 2)! 2 8 96 3072 184320
pois os termos que apresentam ( 1)! ou ( 2)! no denominador so simplesmente descartados.
1.0
y
0.8
0.6
0.4
0.2
0.0
2 4 6 8 10 12 14 16 18 20
x
-0.2
-0.4
q
2
As funcoes de Bessel de ordem 0; 1; 2 e 3 e a funcao x
Note nos grcos que as funes de Bessel so oscilantes5 (apesar de suas razes, em geral, no estarem igualmente
espaadas) e tm decaimento semelhante a p1x . Outras curiosidades do grco (a serem demonstradas nos exerccios)
so:
Nos valores de x onde o grco de Jp corta o eixo x, as funes "adjacentes" Jp+1 e Jp 1 so simtricas.
Nos valores de x onde o grco de Jp tem um mnimo ou mximo local, os grcos das funes "adjacentes"
Jp+1 e Jp 1 se cortam.
Deixamos as seguintes propriedades como exerccios para o leitor:
Proposio 18. Se p inteiro par, ento Jp (x) uma funo par. Se p inteiro mpar, ento Jp (x) uma
funo mpar.
p
Proposio 19. Se p um inteiro positivo, ento Jp (x) = ( 1) J p (x).
q q
2 2
Proposio 20. J1=2 (x) = x sin x e J 1=2 (x) = x cos x.
5 Intuitivamente, este comportamento oscilante ocorre pois, fazendo z = pxy, a EDO de Bessel em z (x)
1 1
z 00 + z = p2 z.
x2 4
Para x grande, esta equao essencialmente z 00 + z = 0, cujas solues so sin x e cos x (e suas combinaes).
2. FUNES DE BESSEL 79
Proposio 21. Valem as seguintes relaes6

2p
Jp (x) = Jp 1 (x) + Jp+1 (x)
x
2Jp0 (x) = Jp 1 (x) Jp+1 (x)
Em particular, tomando p = 0 na segunda equao, vem
J00 (x) = J1 (x)
A proposio acima, permite calcular Jp+1 e Jp0 em funo de Jp e Jp 1 ; em particular, qualquer funo Jn (x),
assim como as suas derivadas, podem ser expressas em funo de J0 e J1 .
Por outro lado, para calcular integrais que contenham as funes de Bessel, as prximas relaes so teis:
Proposio 22. A partir das relaes acima, fcil mostrar que
d
(xp Jp ) = xp Jp 1
dx
d
x p Jp = x p Jp+1
dx
Enm, voltemos EDO de Bessel original
x2 y 00 + xy 0 + x2 p2 y = 0
De fato, tanto Jp (x) como J p (x) so solues desta equao. No caso em que p no inteiro, pode-se mostrar que
estas solues so linearmente independentes (pois Jp (0) = 0 enquanto J p (0) ilimitada), e a soluo geral desta
EDO simplesmente
y (x) = c1 Jp (x) + c2 J p (x)
No entanto, no caso em que p inteiro, as funes Jp e J p so idnticas (a menos possivelmente de um sinal)!
Assim, precisamos de uma segunda soluo, que exatamente a funo de Bessel de segunda espcie, chamada de
Yp (x). Assim, para p inteiro, a soluo geral da EDO de Bessel
y (x) = c1 Jp (x) + c2 Yp (x)
No abordaremos a funo Yp (x) neste texto; citaremos apenas que para p inteiro temos limx!0+ Yp (x) = 1.
Como J p tambm ilimitada perto de x = 0, temos:
Proposio 23. Seja p 0. As nicas solues limitadas prximas de r = 0 da EDO
2 2
x2 y 00 + xy 0 + x p2 y = 0
so
y (x) = c1 Jp ( x)
Proof. A soluo geral desta EDO y (x) = c1 Jp ( x) + c2 Yp ( x) (ou, se o leitor preferir, y (x) = c1 Jp ( x) +
c2 J p ( x) no caso em que p inteiro). Como s queremos solues limitadas prximas de r = 0, o resultado segue
imediatamente.
Exemplo 41 (Ondas Estacionrias no Tambor). Uma onda numa membrana pode ser representada por uma
funo u (x; y; t) onde u a altura da deformao desta membrana no ponto de coordenadas (x; y) no instante t.
Nestas coordenadas, a Equao da Onda
utt = c2 u = c2 (uxx + uyy )
Se a membrana um disco, pode ser mais til trabalhar em coordenadas polares. Assim, procuramos uma funo
u (r; ; t) que satisfaa
1 1
utt = c2 u = c2 urr + ur + 2 u
r r
Nomralizemos a equao tomando c = 1 e procuremos as solues separadas desta equao. Tomando u (r; ; t) =
R (r) ( ) T (t), vem
R0 T R 00 T T 00 R00 R0 00
R T 00 = R00 T + + 2
) = + + 2
r r T R rR r
Assim, temos as seguintes EDOs: 8
< T 00 = 1T
00
= 2
: 2 00
r R + rR0 + 1 r2 2 R =0
6 A primeira das relaes a seguir uma recorrncia que permite o clculo de J (x) a partir de J (x) e J (x) para qualquer x xo
n 0 1
e n inteiro.
Faamos mais uma simplicao: vamos procurar apenas solues oscilatrias, isto , solues que sejam peridicas
em t. Ento temos 1 = 2 0 (evitando exponenciais em t); por outro lado, se o domnio for 2 R, necessrio7
que ( ) seja uma funo de perodo 2 , isto , 2 = p2 onde p = 0; 1; 2; :::. Assim, a equao em R (r)
2 2
r2 R00 + rR0 + r p2 R = 0
ou seja, uma EDO de Bessel de ordem p. Como p inteiro, as solues desta EDO so
R (r) = c1 Jp ( r) + c2 Yp ( r)
mas, se quisermos apenas solues que no "explodam" no centro do tambor (r = 0), temos de jogar fora a componente
Yp . Juntando tudo, encontramos solues separadas da forma
up; (r; ; t) = Jp ( r) (c1 cos p + c2 sin p ) (c3 sin t + c4 cos t) = cJp ( r) cos (p + 0 ) cos ( t+ 0)
As guras abaixo ilustram algumas destas solues (normalizadas tomando c = =1e 0 = 0 = 0; as solues so
ilustradas no tempo t = 0):
1.0
0.8 0.5 -10
-10 -10 0.4 -10
0.6
-10
-10 0.4 -5 -5 -5 0.2 -5
z-5 0.2 -5 z 0.0 z 0.0 0
0 0 -0.20
0.0 -0.4
-0.20 0 y 5-0.5 5 x y 5 5 x
-0.4
y5 5x 10 10 10 10
10 10
A funo u0 (r; ) = J0 (r) A funo u1 (r; ) = J1 (r) cos A funo u2 (r; ) = J2 (r) cos 2
3. Exerccios
3 5
1) Calcule 2 e .
p2 p
3 5 3
Respostas: 2 = 2 e 2 = 4 .
10 2 11 1
2) Calcule 3 , 3 e 3 em funo de 3 ' 2:6789. Conra sua resposta com o auxlio de uma
calculadora ou computador.
10
Resposta: 3 = 28
27
1
3 ' 2:7782;
2
3 =
p 2 ' 1:3541 e 11
3 = 80 p 2
27 3 ( 1 ) ' 4:012 2.
3 ( 13 ) 3
3) Mostre que, para x > 0 Z 1

t2 2x 1
(x) = 2 e t dt
0
4) Dado n natural positivo, considere

n!nx
fn (x) =
x (x + 1) (x + 2) ::: (x + n)
Pode-se mostrar que limn!1 fn (x) existe qualquer que seja x complexo (exceto quando x = 0; 1; 2; :::), motivando
a denio de uma nova funo
f (x) = lim fn (x)
n!1
a) Calcule f (1).
b) Calcule limn!1 fnf(x+1)
n (x)
e mostre que f (x + 1) = xf (x) para todo x no domnio de f (x). Em particular,
conclua que f (x) = (x) = (x 1)! para x natural positivo.
c) Mostre que
1
e x Y ex=n
f (x) =
x n=1 1 + nx
Pn 1
onde = limn!1 k=1 k ln n 0:57722::: a constante de Euler.
7 Caso o domnio em seja restrito (algo como 0 , por exemplo), ento condies de contorno decidiriam os possveis valores
de 2.
3. EXERCCIOS 81
5) Prove as proposies 18 e 19.
6) Prove a proposio 20. Use-a para escrever as seguintes expresses em funo apenas de J0 e J1 : a) J2 (x).
b) J20 (x). c) J100 (x).
2
Respostas: a) J2 (x) = x2 J1 (x) J0 (x); b) J20 (x) = x2 J0 (x)+ x x2 4 J1 (x); c) J100 (x) = x1 J0 (x)+ x22 1 J1 (x) :
7) Prove a proposio 21.
8) RUse o resultado da proposio 21 para calcular (sua resposta conter funes de Bessel):
a) R J1 (x) dx
b) R xp+1 Jp (x) dx R
c) R (xJ1 (x) J0 (x)) dx [Dica: partes em xJ1 dx]
d) x4 J1 (x) dx [Dica: dv = x2 J1 ]
Respostas: a) J0 (x) + C b) xp+1 Jp+1 (x) + C b) xJ0 (x) + C c) x4 J2 (x) 2x3 J3 (x) + C.
9) Prove a proposio 577... isto , 22.
10) Mostre que

r
2
J3=2 (x) = (sin x x cos x)
x3
r
2
J5=2 (x) = 3 x2 sin x 3x cos x
x5
11) Mostre que, se Jp ( ) = 0, ento Jp 1 ( ) = Jp+1 ( ); por outro lado, se Jp0 ( ) = 0, ento Jp 1 ( ) =
Jp+1 ( ).
12) Mostre que a funo y (x) = Jp ( x) uma soluo da EDO

2 2
x2 y 00 + xy 0 + x p2 y = 0
13) Sejam 1 e 2 distintos. Pelo exerccio anterior, as funes y1 (x) = Jp ( 1 x) e y2 (x) = Jp ( 2 x) satisfazem
2 2
x2 y100 + xy10 + 1x p 2
y1 = 0
2 2
x2 y200 + xy20 + 2x p 2
y2 = 0
a) Mostre que:
d (x (y1 y20 y2 y10 ))
= 21 2
2 xy1 y2
dx
b) Integre esta equao de 0 a 1 para concluir que, se 1 6= 2 :
Z 1
y1 (1) y20 (1) y2 (1) y10 (1)
xJp ( 1 x) Jp ( 2 x) dx = 2 2
0 1 2
isto Z 1 0 0
2 Jp ( 1 ) Jp ( 2) 1 Jp ( 1 ) Jp ( 2)
xJp ( 1 x) Jp ( 2 x) dx = 2 2
0 1 2
14) Mostre que, se m e n so inteiros, ento as funes

um;n (r; ; z) = Jn (mr) sin (n + 0 ) sinh (mz)
so solues separadas e limitadas perto de r = 0 da Equao de Laplace tridimensional em coordenadas cilndricas

1 1
u = urr + ur + 2 u + uzz = 0 para r 0, ; z 2 R
r r
satisfazendo a condio de contorno u (r; ; 0) = 0 (nota: no so as nicas solues, h outras!).
CHAPTER 18
Sries de Fourier-Bessel
Pode-se mostrar que as funes de Bessel de primeira espcie satisfazem seguinte condio1 :
8
Z 1 <
0
2 Jp ( 1 )Jp ( 2 )
0
1 Jp ( 2 )Jp ( 1 )
2 2 , se 1 6= 2
xJp ( 1 x) Jp ( 2 x) dx = 1
2
2
0 : 1 0 2
Jp ( ) + 1 p
2
2
(Jp ( )) , se 1 = 2 =
2
Em particular, se 1 e 2 forem razes distintas de Jp (x), temos a seguinte relao de ortogonalidade2

Z 1
xJp ( 1 x) Jp ( 2 x) dx = 0
0
Esta relao sugerem a criao do seguinte produto interno com peso x entre duas funes com domnio [0; 1]:
Z 1
hf; gi = xf (x) g (x) dx
0
Note que esta operao dene, de fato, um produto interno3 . Fixe um determinado p e considere as funes n (x) =
Jp ( n x) onde n = 1; 2; 3; ::: e 1 ; 2 ; :::; n ; ::: so as razes positivas de Jp (x). A relao de ortogonalidade acima
diz simplesmente que o conjunto f 1 ; 2 ; :::; n ; :::g ortogonal com relao a este produto interno!
Exemplo 42. As razes das funes de Bessel, e de suas derivadas, so tabeladas. Por exemplo, aqui esto as
cinco primeiras razes positivas das funes de Bessel e suas derivadas, de ordens 0 a 5:
J0 J1 J2 J3 J4 J5 J00 J10 J20 J30 J40 J50
1 2:4048 3:8317 5:1356 6:3802 7:5883 8:7715 3:8317 1:8412 3:0542 4:2012 5:3175 6:4156
2 5:5201 7:0156 8:4172 9:7610 11:0647 12:3386 7:0156 5:3314 6:7061 8:0152 9:2824 10:5199
3 8:6537 10:1735 11:6198 13:0152 14:3725 15:7002 10:1735 8:5363 9:9695 11:3459 12:6819 13:9872
4 11:7915 13:3237 14:7960 16:2235 17:6160 18:9801 13:3237 11:7060 13:1704 14:5858 15:9641 17:3128
5 14:9309 16:4706 17:9598 19:4094 20:8269 22:2178 16:4706 14:8636 16:3475 17:7887 19:1960 20:5755
A ttulo de exemplo, tomemos p = 1; as funes n (x) = J1 ( n x) tm os seguintes grcos no intervalo [0; 1]:
y
0.5
0.4
0.3
0.2
0.1
0.0
0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0
-0.1
x
-0.2
-0.3
1 A expresso do caso
1 6= 2 o ltimo exerccio da aula anterior; tomando, nesta expresso, 1 ! 2 , obtm-se a segunda frmula.
2 interessante notar que esta relao tambm valeria se e fossem razes distintas da derivada de J (x).
1 2 p
3 Para ser exato, necessrio que consideremos duas funes que diferem em um conjunto de medida nula como se fossem representadas
pelo mesmo vetor.
83
84 18. SRIES DE FOURIER-BESSEL
Note que n (1) = Jp ( n ) = 0 para n = 1; 2; 3; :::. As funes n desempenham no intervalo [0; 1] um papel anlogo
ao das funes sin (nx) no intervalo [0; ], como veremos a seguir.
Suponha agora que uma funo f (x) seja uma combinao linear das funes n; digamos
N
X
f (x) = cn n (x)
n=1
ento, como as n so ortogonais, sabemos da lgebra Linear que

R1
hf; n i xf (x) n (x) dx
cn = = 0 R1 2
h n; ni x n (x) dx 0
Como h, de fato, uma innidade de funes n , mesmo que f (x) no seja uma combinao linear destas funes,
ainda assim podemos tentar express-la como uma srie innita. Esta idia inspira a seguinte denio:
Definio 20. Seja f (x) uma funo com domnio [0; 1]. A srie de Fourier-Bessel de f (x) a srie4
1
X
f (x) cn Jp ( n x)
n=1
onde 1, 2, 3 ,... so as razes de Jp (x) e

Z 1 Z 1
2 2
cn = 2 xf (x) Jp ( n x) dx = 2 xf (x) Jp ( n x) dx
Jp0 ( n) 0 (Jp 1 ( n )) 0
Teorema 13. Assim como nas sries de Fourier, pode-se mostrar que, se f (x) seccionalmente suave, ento
1
X f (x+) + f (x )
cn Jp ( n x) =
n=1
2
para todo x 2 (0; 1). Mais ainda, se f (x) C 1 , a convergncia uniforme.
Exemplo 43 (Equao da Onda no Tambor). Continuando o exemplo da aula anterior, vamos resolver o prob-
lema da onda num tambor circular com (i) extremidades xas; (ii) velocidade inicial nula e (iii) posio inicial
circularmente simtrica. Pela simetria do problema, esperamos encontrar solues que no dependam de . Assim,
o problema a ser resolvido :
8
>
> utt = urr + 1r ur para r < 1 e t > 0
 0
>
> u t (r; 0) = 0 para r < 1
:
u (r; 0) = f (r) para r < 1
Como vimos na aula anterior, o mtodo de separao de variveis aplicado s 3 primeiras equaes acima nos d
solues osiclatrias do tipo
u (r; t) = J0 ( r) ( sin t + cos t)
A condio ut (r; 0) = 0 diz simplesmente que = 0; j a condio u (1; t) = 0 indica que J0 ( ) = 0, isto , tem
de ser uma das razes da funo J0 (x). Denominando tais razes por 1 , 2 , 3 ,... chegamos s seguintes solues
da parte homognea do problema
un (r; t) = J0 ( n r) cos ( n t)
Assim como as funes sin (nx) so os harmnicos fundamentais de uma corda de comprimento xada nas extrem-
idades, estas funes n (r; t) = J0 ( n r) cos ( n t) so os harmnicos fundamentais5 de uma membrana circular de
raio 1 xada nas extremidades. As guras abaixo mostram os grcos de 1 , 2 , 3 e 4 para t = 0 as animaes
correspondentes a estas oscilaes esto no site!
4 Se o domnio de f (x) for [0; L], troque cada x por x nas frmulas a seguir.
L
5 Para ser exato, estes so os modos de vibrao rotacionalmente simtricos; h outros modos de vibrao que dependem de e que
no esto nesta lista.
1. EXERCCIOS 85
1.0
1.0 1.0 1.0
0.5 0.5
0.5 0.5 -1.0 -1.0
-1 z
-1 z -1 -1.0 -1.0 z
-1
0.0
z -0.5 0.0 -0.5
-0.5 0.0 -0.5
0.0 0 0 0.0 0.0
0 0 0.0 0.0
y x 0.5 0.5
y x 1 1 y 0.5 0.5 x y
1.0
x
1.0
1 1 1.0 1.0
Agora, aplicando o Princpio da Superposio, teremos solues da forma

1
X
u (r; t) = cn J0 ( n r) cos ( n t)
n=1
Como ajustar os coecientes cn para que valha a ltima condio u (r; 0) = f (r)? Ora queremos
1
X
u (1; t) = cn J0 ( n r) = f (r)
n=1
ou seja, os coecientes cn so exatamente os coecientes da srie de Fourier-Bessel de f (r) (e a igualdade vale desde
que f seja contnua e se anule em r = 0 e r = 1). Em suma, a soluo procurada
1
X
u (r; t) = cn J0 ( n r) cos ( n t)
n=1
Z 1
2
onde cn = 2 xf (x) J0 ( n x) dx
(J1 ( n )) 0
1. Exerccios
1) a) Mostre que a expanso da funo f (x) = 1 (domnio 0 < x < 1) em srie de Fourier-Bessel de ordem 0
X1
2J0 ( n x)
f (x) =
J ( n)
n=1 n 1
onde 1, 2, ... so as razes de J0 (x).
y
1.0
0.5
-1 1 2
x
-0.5
-1.0
Soma dos sete primeiros termos da serie

b) Conclua que a soluo do Problema da Onda em coordenadas polares
8
>
> utt = urr + 1r ur para r < 1 e t > 0
 0
>
> u t (r; 0) = 0 para r < 1
:
u (r; 0) = 1 para r < 1
1
X 2
u (r; t) = J0 ( n r) cos ( n t)
n=1 n J1 ( n)
2) As bordas de uma placa bidimensional homognea circular de raio 1 so mantidas em temperatura zero, e o
resto da placa isolado do meio ambiente. Se a distribuio inicial de temperatura for rotacionalmente simtrica,
86 18. SRIES DE FOURIER-BESSEL
de se esperar que a temperatura dependa apenas da distncia ao centro da placa e do tempo, isto , que seja da
forma u = u (r; t). Assim, chegamos ao problema
8
< ut = urr + 1r ur para r < 1 e t > 0
u (1; t) = 0 para t > 0
:
u (r; 0) = f (r) para r < 1
Mostre que a soluo limitada deste problema
1
X Z 1
2 2
u (r; t) = cn e n t J0 ( n r) onde cn = 2 xf (x) J0 ( n x) dx
n=1 (J1 ( n )) 0
e 1, 2, ... so as razes positivas de J0 (x).
3) Seja p um nmero inteiro e w e 0 reais quaisquer. Mostre que as funes

upw (r; ; t) = Jp (wr) sin (p + 0 ) cos (wct)
so solues separadas do problema da onda

1 1
utt = c2 urr + ur + 2 u
r r
Em particular, se quisermos que tais solues tambm satisfaam a condio u (R; ; t) = 0 para algum R xo, ento
devemos tomar w = Rn onde n uma das razes de Jp (o caso p = 0 corresponde s solues rotacionalmente
simtricas encontradas no texto; mostramos abaixo os grcos de outras solues em t = 0 usando 0 = 0 e R = 1):
0.5 0.5 0.5

-1 -1 -1 -1 -1.0 -1.0
-0.5 0.0
z 0.0
0 0
z 0.0
0 0
z 0.0 0.0 -0.5
0.5 0.5
y-0.5 x y-0.5 x y -0.5 x
1 1 1 1 1.0 1.0
p=1en=1 p=1en=2 p=1en=3
0.4 0.4 0.4

-1 -1 -1.0 -1.0 -1.0 0.2 -1.0
0.2 0.2
-0.5 0.0 -0.5 -0.5 0.0 -0.5
z 0.0 z 0.0 0.0 z 0.0 0.0
-0.20 0 -0.2 -0.2
-0.4 -0.4 -0.4
y x y 0.5 0.5 x y 0.5 0.5 x
1 1 1.0 1.0 1.0 1.0
p=2en=1 p=2en=2 p=3en=1
4) Encontre a srie de Fourier-Bessel de ordem 0 da funo f (x) = x. Utilize-a para mostrar que
X1
1 1
2 = 4
k k=1
onde 1, 2, ..., k so as razes de J0 (x). [Dica: adapte Parseval...]
CHAPTER 19
Funes de Legendre
Outra EDO que aparece freqentemente na resoluo de EDPs em problemas fsicos1 a EDO de Legendre
1 x2 y 00 2xy 0 + p (p + 1) y = 0
onde y (x) uma funo cujo domnio se restringe ao intervalo x 2 ( 1; 1) e p um nmero real.
Como x = 0 um ponto ordinrio desta EDO, desta vez basta procurar solues em srie do tipo
1
X
y (x) = an xn
n=0
Substituindo esta expresso na EDO de Legendre, vem

(p n) (p + n + 1)
an+2 = an
(n + 1) (n + 2)
com a0 e a1 arbitrrios. Em outras palavras
p (p + 1) 2 p (p 2) (p + 1) (p + 3) 4 p (p 2) (p 4) (p + 1) (p + 3) (p + 5) 6
y (x) = a0 1 x + x x + ::: +
2! 4! 6!
(p 1) (p + 3) 3 (p 1) (p 3) (p + 3) (p + 5) 5 (p 1) (p 3) (p 5) (p + 3) (p + 5) (p + 7) 7
+a1 x x + x x + :::
3! 5! 7!
No caso em que p inteiro, note que ap+2 = 0, e portanto tambm se anulam os coecientes ap+4 , ap+6 , etc. Em
outras palavras, se p par a srie de potncias que multiplica a0 um polinmio (nito!) de grau p; se p mpar, a
srie de potncias que multiplica a1 ser um polinmio de grau p. Para escrever este polinmio de forma compacta,
basta completar os fatoriais; por exemplo, no caso em que p par (digamos, p = 2m), os seguintes produtos aparecem
no termo em x2k :
m!
p (p 2) (p 4) ::: (p 2k + 2) = 2m (2m 2) (2m 4) ::: (2m 2k + 2) = 2k
(m k)!
(p + 2k)! (p + 2k)! 1 (p + 2k)!m!
(p + 1) (p + 3) ::: (p + 2k 1) = = k
= k
p! (p + 2) (p + 4) ::: (p + 2k) p!2 (m + 1) (m + 2) ::: (m + k) 2 p! (m + k)!
e, portanto, o polinmio que acompanha a0
Xm 2 m
(m!) X
i 2 i
( 1) (m!) (p + 2i)! 2i ( 1) (p + 2i)!
x = x2i
i=0
(m i)!p! (m + i)! (2i)! p! i=0
(m i)! (m + i)! (2i)!
A constante esquerda pode ser incorporada a a0 ; tomando i = m k camos com o polinmio

m
X m k
( 1) (2p 2k)! p 2k
x
k! (p k)! (p 2k)!
k=0
Enm, no caso em que p mpar, tomamos p = 2m + 1 e chegamos a esta mesma expresso! Isto nos inspira a denir:
Definio 21. Seja m = n2 , isto , n = 2m ou n = 2m + 1 dependendo do caso em que n par ou mpar.

Denimos o polinmio de Legendre de grau n pela frmula
m
1 X ( 1) (2n 2k)! n
k
2k
Pn (x) = x
2n k! (n k)! (n 2k)!
k=0
1 Por exemplo, ao resolver a equao de Laplace em coordenadas esfricas...
87
88 19. FUNES DE LEGENDRE
Exemplo 44. Os primeiros polinmios de Legendre so

P0 (x) = 1
P1 (x) = x
1
P2 (x) = 3x2 1
2
1
P3 (x) = 10x3 6x
4
1
P4 (x) = 35x4 30x2 + 3
8
1
P5 (x) = 126x5 140x3 + 30x
16
cujos grcos so:
1.0
y
0.8
0.6
0.4
0.2
-1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0
-0.2 x
-0.4
-0.6
-0.8
-1.0
Note que a constante 21n foi escolhida de forma a que todos eles satisfaam a condio Pn (1) = 1. fcil tambm
ver que Pn (x) par se n par e Pn (x) mpar se n mpar.
Os polinmios de Legendre tm as seguintes propriedades:
Proposio 24 (Frmula de Rodrigues).
1 dn n
Pn (x) = x2 1
2n n! dxn
n
Proof. Basta abrir x2 1 em binmio de Newton
Xn n
( 1) n! 2i X ( 1)
i n k
2 n n! 2n 2k
x 1 = x = x
i=0
(n i)!i! k! (n k)!
k=0
Derivando esta frmula n vezes e dividindo por 2n n!, chega-se expresso do polinmio de Legendre.
H relaes de recorrncia entre os polinmios de Legendre que so parecidas com as relaes entre as funes
de Bessel:
Proposio 25. Valem as seguintes relaes
(2n + 1) xPn (x) = (n + 1) Pn+1 (x) + nPn 1 (x)
2
x 1 Pn0 (x) = nxPn (x) nPn 1 (x)
Proposio 26. A partir das relaes acima, fcil mostrar que
d
(Pn+1 (x) Pn 1 (x)) = (2n + 1) Pn (x)
dx
Voltemos brevemente discusso da EDO de Legendre. O resultado nal que, para n inteiro no-negativo, a
soluo geral da EDO de Legendre
1 x2 y 00 2xy 0 + n (n + 1) y = 0
1. SRIES DE FOURIER-LEGENDRE 89
y (x) = c1 Pn (x) + c2 Qn (x)

onde a funo Pn (x) um polinmio de Legendre de ordem n e Qn (x) uma funo de Legendre de segunda espcie
e ordem n. A funo Qn (x) a srie innita encontrada na soluo da EDO acima, normalizada por uma constante
apropriada. Das funes Qn (x), citaremos aqui apenas que
n+1
lim Qn (x) = +1 e lim Qn (x) = ( 1) 1
x!1 x! 1+
portanto, a nica soluo limitada (no intervalo [ 1; 1]) da EDO de Legendre no inclui Qn (x), e dada por
y (x) = c1 Pn (x) .
1. Sries de Fourier-Legendre
Desta vez, temos a seguinte relao de ortogonalidade:
Proposio 27.
Z 1
0, se m 6= n
Pn (x) Pm (x) dx =
2
1 2n+1 , se m = n
R1
Isto signica que, usando o produto interno hf (x) ; g (x)i = 1
f (x) g (x) dx, os polinmios de Legendre so
ortogonais. Isto inspira a seguinte denio:
Definio 22. Seja f (x) uma funo com domnio [ 1; 1]. Sua srie de Fourier-Legendre
1
X
f (x) cn Pn (x)
n=1
onde Z 1
1
cn = n+ f (x) Pn (x) dx
2 1
Enm, o teorema de convergncia para as sries de Fourier-Legendre praticamente idntico aos das sries de
Fourier e Fourier-Bessel:
Teorema 14. Seja f (x) uma funo seccionalmente suave com domnio [ 1; 1] : Ento, se 1 < x < 1,
1
X f (x+) + f (x )
cn Pn (x) =
n=1
2
onde o lado esquerdo a srie de Fourier-Legendre de f (x). Mais ainda, se f (x) C 1 , ento a convergncia
uniforme em qualquer intervalo fechado contido em ( 1; 1).
Exemplo 45. Queremos encontrar solues u (x; y; z) da equao
u = uxx + uyy + uzz = 0 se (x; y; z) 2 S
onde S um slido (correspondendo, por exemplo, a estados estacionrios da temperatura u de um slido). Se S
bem representado em coordenadas esfricas ( ; ; ), pode ser vantajoso utilizar esta outra expresso do Laplaciano
2 1 1 1
u + u + 2u + (cot ) u + u = 0 em S
2 2 sin2
Procuremos solues que apresentem simetria azimutal, isto , que no dependam de . Estas solues u ( ; )
satisfazem
2
u + 2 u + u + (cot ) u = 0
Comecemos procurando por solues separadas, isto , do tipo u ( ; t) = R ( ) ( ). Ento
2
R00 2 R0 00 0
R002
2 R0 00 0
+ + + cot = 0) + = cot = k1 )
R R R R
2 00
R + 2 R0 k1 R = 0
) 00
(sin ) + (cos ) 0 + k1 (sin ) = 0
Faamos a mudana de variveis Y (x) = ( ) onde x = cos na segunda equao. Vem
0
( ) = Y 0 (x) sin
00
( ) = Y 00 (x) sin2 Y 0 (x) cos
90 19. FUNES DE LEGENDRE
ou seja
sin3 Y 00 2 sin cos Y 0 + k1 sin Y = 0)
) 1 x2 Y 00 2xY 0 + k1 Y = 0
que exatamente a equao de Legendre se tomarmos k1 = p (p + 1). As nicas solues limitadas para x 2 ( 1; 1)
so os polinmios de Legendre, para p = n inteiro. Ento
Y (x) = an Pn (x) ) ( ) = an Pn (cos )
A EDO em R uma EDO de Euler
2
R00 + 2 R0 n (n + 1) R = 0
cuja soluo geral
n n 1
R( ) = +
Em particular, se desejarmos solues separadas limitadas prximo de r = 0, camos apenas com solues do tipo
n
un ( ; ) = cn Pn (cos )
cujos grcos z = u (r; ) so
z 1 2 1 1.0 1.0
1 0 -1 1 -1 1.0 0.5 -1.0 1.0 0.5 -1.0
0 0 z0.5 0.0 -0.5 0.5 0.0 -0.5
z 0
0 0
z 0.0 0.0
x1 -1
y 0.0 0.0
-0.5 -0.5
0.5 -0.5
0.5 -0.5
1
x -1 y -1 x y x -1.0 y
1.0 -1.0 1.0 -1.0
z = u0 (r; ) z = u1 (r; ) z = u2 (r; ) z = u3 (r; )
Usando o princpio da superposio, encontramos mais geralmente as solues

1
X
n
u( ; ) = cn Pn (cos )
n=0
Exemplo 46. Considere agora o problema de valor de contorno denido numa esfera S de centro na origem e
raio 1:
u = 0 em intS
u (1; ; ) = 4 cos3 em @S
A soluo deste problema dar a funo temperatura u dentro da esfera, em estado estacionrio, se o bordo da esfera
mantido temperatura u = 4 cos3 (em coordenadas polares). Como a condio de contorno no depende do
azimute, razovel procurar solues que no dependam de , recaindo no exemplo anterior, cuja soluo era
1
X
n
u( ; ; ) = cn Pn (cos )
n=0
Para valer a condio de contorno, tomamos r = 1. Queremos ento escolher os coecientes cn de forma a ter
1
X
cn Pn (cos ) = 4 cos3
n=0
P
ou seja, queremos que cn Pn (x) = 4x3 . Mas sabemos escrever o polinmio x3 em funo dos polinmios de
Legendre (basta usar a srie de Fourier-Legendre e parar no quarto termo, como no exerccio 3 abaixo):
12 8
4x3 =
P1 (x) + P3 (x)
5 5
Assim, a temperatura de estado estacionrio desejada
12 32 3 12 16 3
u( ; ; ) = P1 (cos ) + P3 (cos ) = cos + 5 cos3 3 cos
5 5 5 5
2. EXERCCIOS 91
2. Exerccios
1) a) Use a EDO de Legendre para mostrar que
d
1 x2 Pn0 (x) + n (n + 1) Pn (x) = 0
dx
b) Multiplicando esta equao por Pm (x), tem-se
d
Pm 1 x2 Pn0 + n (n + 1) Pn Pm = 0
dx
Analogamente
d
Pn 1 x2 Pm 0
+ m (m + 1) Pm Pn = 0
dx
Subtraia estas equaes e integre de 1 a 1 para mostrar a relao de ortogonalidade entre Pm e Pn [No se esquea
do caso m = n].
2) Considere os N + 1 polinmios P0 (x), P1 (x), ...,

PP N (x). Use a relao de ortogonalidade para mostrar que
n
eles so linearmente independentes (isto , mostre que k=0 ak Pk (x) = 0 ) a0 = a1 = ::: = aN = 0).
3) Escreva os polinmios x2 e x3 como combinao linear de P0 (x), P1 (x), P2 (x) e P3 (x).

Resposta: x2 = 32 P2 (x) + 13 P0 (x); x3 = 35 P1 (x) + 52 P3 (x).
4) Mostre que todo polinmio q (x) de grau N pode ser escrito como uma combinao linear de polinmios de
PN
Legendre n=0 cn Pn (x) onde os coecientes so dados por
Z 1
hq (x) ; Pn (x)i 1
cn = = n+ q (x) Pn (x) dx
hPn (x) ; Pn (x)i 2 1
5) Demonstre as proposies 25 e 26.
6) Mostre que (
0, se n mpar
Pn (0) = ( 1)n=2 n
2n n=2 , se n par
0, se 1 x<0
7) Obtenha a srie de Fourier-Legendre da funo f (x) = .
1, se 0 x 1
Resposta:
1
X ( 1) 4k + 3 2k
k
1
f (x) P0 (x) + P2k+1 (x)
2 22k+1 2k + 2 k
k=0
y 1.0
0.8
0.6
0.4
0.2
-1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0
x
Aproximao polinomial de grau 19 para f (x) :

FourierEDP PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

FourierEDP PDF

Transféré par

Droits d'auteur :

Formats disponibles

Sries de Fourier e Equaes Diferenciais Parciais

Ralph Teixeira, Helosa Medeiros, Maria Lcia Menezes

Universidade Federal Fluminense

Chapter 1. Motivao: a Equao do Calor 1

Chapter 2. Funes Peridicas 5

Chapter 3. Breve Reviso de lgebra Linear 7

Chapter 4. Sries de Fourier 11

Chapter 5. Extenses Pares e mpares 17

Chapter 6. A Identidade de Parseval 21

Chapter 7. Derivao e Integrao de Sries de Fourier 25

Chapter 8. Convergncia Pontual e Uniforme 31

Chapter 9. Forma Complexa da Srie de Fourier 37

Chapter 10. O Fenmeno de Gibbs 43

Chapter 11. Mtodo da Separao de Variveis 45

Chapter 12. A Equao da Onda (Primeira Ordem) 51

Chapter 13. A Equao da Onda (Segunda Ordem) 55

Chapter 14. A Regra do Paralelogramo e a Corda Finita 61

Chapter 15. Reduo ao Caso Homogneo 65

Chapter 16. A Equao de Laplace 69

Chapter 17. A Funo Gama e as Funes de Bessel 75

Chapter 18. Sries de Fourier-Bessel 83

Motivao: a Equao do Calor

Evoluo nos tempos t = 0, t = 2, t = 4 e t = 25.

c) Use um pouco de criatividade e note que a resposta

2) Adivinhe uma soluo da equao do calor

3) Em geral, encontre uma soluo para

4) Adivinhe uma soluo da equao da onda

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

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

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

Breve Reviso de lgebra Linear

(provavelmente voc trabalhava com N = 3).

Exemplo 2. Os seguintes conjuntos so espaos vetoriais usando a soma e multiplicao usuais

C [a; b] : = ffunes f : [a; b] ! R contnuasg

Agora voltemos ao seguinte problema da lgebra Linear em R3 : temos 3 vetores ortogonais w

Definio 4. Um produto interno em um espao vetorial E denido sobre R uma funo

2) Repita o problema anterior para cada um dos seguintes vetores u:

3) Seja := fe1 ; e2 ; ; em g um conjunto de m vetores ortonormais em Rn , m < n. Seja u 2 Rn . D uma

4) Suponha que fv1 ; v2 ; v3 ; vn g um conjunto de vetores ortogonais. Suponha que v = a1 v1 + a2 v2 + +

6) Mostre que o seguinte conjunto de vetores ortonormal em L2 ([ L; L]):

8) Encontre 5 vetores ortogonais em l2 .

Inspirados pelas sees anteriores, somos levados seguinte denio.

u=x dv = cos mxdx

No grco abaixo, exibimos a funo f (x) do exemplo acima e as somas parciais

Abaixo esto os grcos das somas parciais da srie de Fourier de g (x)

Em termos das somas parciais

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

4) Calcule as srie de Fourier das seguintes funes:

Extenses Pares e mpares

Proposio 3. Se f (x) par e g (x) mpar, ento

c1 f1 + c2 f2 par (isto , PAR+PAR =PAR)

... e f2 (x) par e peridica!

Outra possvel extenso par de f (x)

Analogamente, sua srie em cossenos

isto , os nicos coecientes no-nulos so

onde k = 1; 2; ::: . Pela identidade de Parseval:

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

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

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

Derivao e Integrao de Sries de Fourier

Enm, F (x) igual sua srie de Fourier pois F (x) contnua.

Corolrio 2. Outra maneira de escrever o teorema acima

Agora, a srie de Fourier de x (com perodo 2 ) tambm j foi calculada acima