Prof.

Gelfert, IM UFRJ EDO-EDP

Séries de Fourier
Exercı́cio 8.1. Mostra que dado uma função f (x) : R → R qualquer, sempre existem uma
função par f1 (x) e uma função impar f2 (x) tal que f (x) = 21 (f1 (x) + f2 (x)).
Exercı́cio 8.2. Dado a função

x
 0≤x≤1
f (x) = 1 −1 < x < 0 ,

T = 2L − periodica


determine a série de Fourier SF [f (x)] dela e analise sua convergencia. Mostre que
∞
π2 X
= (2k − 1)−2 .
8
k=1
Exercı́cio 8.3. Seja f : R → R periodica com periodo T = 2L e seccionalmente continua,
def
sejam
Rx an , bn suas coeficientes de sua série de Fourier. Mostre que a função g(x) =
0 (f (y) − a0 /2) dy satisfaz:
a) SF [g(x)] = g(x) ∀x ∈ R.
∞
2L X bn L bn L an
b) A série SF [g(x)] tem os coeficientes A0 = , An = − , Bn = .
π n nπ nπ
n=1

c) ∀x ∈ R (independentemente do fato que a série SF [f (x)] converge para f (x) ou não)

Z x ∞ Z
a0 x X x  nπy nπy 
f (y) dy = + an cos + bn sen dy.
0 2 0 L L
n=1

Exercı́cio 8.4. Mostre o seguinte fato: Seja f : R → R periodica com periodo T = 2L,
f ∈ C 1 (R), f 00 seccionalmente continua, então SF [f (x)] é diferenciavel e
∞
d d X d  nπx nπx 
f (x) = SF [f (x)] = an cos + bn sen .
dx dx dx L L
n=1
Exercı́cio 8.5. Mostre as relações de ortogonalidade:
Z L
nπx mπx
cos sen dx = 0 se n, m ≥ 1,
−L L L
Z L (
nπx mπx L se n = m ≥ 1,
cos cos dx = ,
−L L L 0 se n 6= m, n, m ≥ 1
Z L (
nπx mπx L se n = m ≥ 1,
sen sen dx = .
−L L L 0 se n 6= m, n, m ≥ 1