PRIMEIRO SEMESTRE DE 2020

MT 520/PP 523
TRATAMENTO DE SINAIS DIGITAIS
PROF. LÚCIO T. SANTOS [IMECC, SALA 131]

LISTA 2 SÉRIE DE FOURIER

2 Há um erro conceitual neste exercı́cio. O item (a) está correto, mas os
itens (b) e (c) não são independentes. O correto é provar que (c) =⇒ (b),
isto é,
Z T /2 Z T /2
2
X 1
lim |f (t) − fN (t)| dt = 0 =⇒ |cn |2 = |f (t)|2 dt.
N →∞ −T /2 T −T /2
n∈Z

Resolução: Temos que

|f (t) − fN (t)|2 = (f (t) − fN (t))(f (t) − fN (t))

= f (t)f (t) − f (t)fN (t) − fN (t)f (t) + fN (t)fN (t)
= |f (t)|2 − 2 Re[f (t)fN (t)] + |fN (t)|2
h N
X i
2 2 −i 2πnt/T
= |f (t)| + |fN (t)| − 2 Re f (t) cn e .
n=−N

1
Agora,
N
 X N
 X 
2 i 2πnt/T
|fN (t)| = fN (t)fN (t) = cn e cn ei 2πnt/T
n=−N n=−N
 N
X  N
X 
i 2πnt/T −i 2πnt/T
= cn e cn e
n=−N n=−N
XN
= cm cn e−i 2π(m−n)t/T
m,n=−N
N
X N
X
= cn c¯n + cm cn ei 2π(m−n)t/T
n=−N m6=n=−N
N
X N
X
2
= |cn | + cm cn ei 2π(m−n)t/T .
n=−N m6=n=−N

Logo,
Z T /2 Z T /2 N
 X  N
X Z T /2
2 2
|fN (t)| = |cn | dt + cm cn ei 2π(m−n)t/T dt
−T /2 −T /2 n=−N m6=n=−N −T /2

N N
X
2
X T T /2
i 2π(m−n)t/T 
=T |cn | + cm cn e
i 2π(m − n)

−T /2
n=−N m6=n=−N
N N
X
2
X T
=T |cn | + cm cn sen (π(m − n))
π(m − n)
n=−N m6=n=−N
N
X
=T |cn |2 .
n=−N

2
Portanto,
Z T /2 Z T /2 N
X
|f (t) − fN (t)|2 dt = 2
|f (t)| dt + T |cn |2
−T /2 −T /2 n=−N
h N
X Z T /2 i
−i 2πnt/T
− 2 Re cn f (t) e dt
n=−N −T /2
Z T /2 N
X N
h X i
2 2
= |f (t)| dt + T |cn | − 2 Re cn T cn
−T /2 n=−N n=−N
Z T /2 XN N
h X i
2 2 2
= |f (t)| dt + T |cn | − 2 T Re |cn |
−T /2 n=−N n=−N
Z T /2 XN
= |f (t)|2 dt − T |cn |2 .
−T /2 n=−N

Tomando o limite,
Z T /2 Z T /2 N
X
2 2
0 = lim |f (t) − fN (t)| dt = |f (t)| dt − T lim |cn |2
N →∞ −T /2 −T /2 N →∞
n=−N
Z T /2 X
= |f (t)|2 dt − T |cn |2 , (1)
−T /2 n∈Z
Z T /2
X 1
o que implica em |cn |2 = |f (t)|2 dt.
T −T /2
n∈Z

3
5 Seja f : R → R periódica com perı́odo T > 0 e integrável. Prove que
Z x+T
f (t) dt não depende de x.
x

Resolução I: Temos que

Z x+T Z 0 Z T Z x+T
f (t) dt = f (t) dt + f (t) dt + f (t) dt
x x 0 T
Z x Z T Z x
=− f (t) dt + f (t) dt + f (t + T ) dt
0 0 0
Z x Z T Z x Z T
=− f (t) dt + f (t) dt + f (t) dt = f (t) dt.
0 0 0 0

Z x+T
Resolução II: Seja g : R → R definida por g(x) = f (t) dt. Como f é
x
integrável, g tem derivada e, pelo Teorema Fundamental do Cálculo, g 0 (x) =
f (x + T ) − f (x) = f (x) − f (x) = 0. Logo, g(x) = c, para algum c ∈ R.