IDENTIDADE DE PARSEVAL

Observe que as fórmulas dos coeficientes de Fourier usam unicamente os valores de f (x) entre −L e L.
Portanto, se f (x) for dada apenas nesse intervalo [−L, L], e for, por exemplo, continua, então a série de Fourier
associada poderá ser formada. Se a série converge a f (x) entre −L e L, então fora desse intervalo convergirá
a uma função F (x) que é a extensão periódica de f (x).
Observe também que, a menos que f (−L) = f (L), o processo de extensão introduzirá descontinuidades de
salto em x = L e x = −L. Nesses pontos, a série de Fourier convergirá a um número médio entre os dois
valores de F (x).

Definição: Definimos o conjunto das funções de quadrado integrável como a seguir:

Z π
F 2 ([−π, π]) = {f : [−π, π] → R : |f (x)|2 dx é f inita}.
−π
Observe que toda função continua f : [−π, π] → R é uma função de quadrado integrável.
As funções continuas por partes definidas em [−π, π] em R também são de quadrado integrável.

Teorema de Fourier 2: Se f ∈ L2 ([−π, π]) e

n
a0 X
Fn (x) = + (ak cos(kx) + bk sin(kx))
2
k=1

onde ak , bk são os coeficientes de Fourier associados a f , então

Z π
lim [f (x) − Fn (x)]2 dx = 0. Convergência em média quadratica.
n→∞ −π

Teorema (Identidade de Parseval): Para f ∈ L2 ([−π, π]) temos

π ∞
a20 X 2
Z
1
f 2 (x)dx = + (ak + b2k ).
π −π 2
k=1

Observação O Teorema de Fourier 2 e a Identidade de Parseval podem ser generalizadas para funções
f : [−L, L] → R de quadrado integrável para dar
L ∞
a2 X 2
Z
1 2
f (x)dx = 0 + (ak + b2k ).
L −L 2
k=1

Ou
L ∞
a2 X 2
Z
2 2
f (x)dx = 0 + (ak + b2k ).
L 0 2
k=1

EXEMPLO: 1) Para a função de onda quadrada f (x) = −x se −2 ≤ x < 0, e f (x) = x se 0 ≤ x < 2,

com f (x + 4) = f (x), conseguimos pelo teorema de convergência que
∞ (2n−1)πx
8 X cos( 2 )
f (x) = 1 − , para todo x ∈ R.
π2 (2n − 1)2
n=1
Logo pelo Teorem a de Parseval temos
∞
2 2 2
Z X 64 1
f (x)dx = 2 + .
2 0 π (2n − 1)4
4
n=1

ou Z 2 ∞
64 X 1
x2 dx = 2 + ,
0 π4 (2n − 1)4
n=1
ou
∞
x3 2 64 X 1
| = 2+ 4
3 0 π (2n − 1)4
n=1
ou
∞
π4 X 1
=
96 (2n − 1)4
n=1

EXEMPLO: 2) Sabendo que a série de Fourier de f (x) = | sin x|, x ∈ (−π, π) é

∞
2 4 X cos(2nx)
S(x) = +
π π 1 − 4n2
n=1

Determine
∞
X 1
(1 − 4n2 )2
n=1

Solucao: Como
∞ ∞
2 4 X cos(2nx) 2 X 4 cos(2nx)
S(x) = + = +
π π 1 − 4n2 π π(1 − (2n)2 )
n=1 n=1
temos que
a0 2 4
= , a2n = , n ≥ 1.
2 π π(1 − (2n)2 )

Por Parseval
π ∞
a20 X 2
Z
1
f 2 (x)dx = + an + b2n
π −π 2
n=1

Logo sendo a0 = π4 , an = 4
π(1−4n2 )
,n ≥ 1, bn = 0, temos que

∞
π ( 4 )2 X 4
Z
1 2 1
sin xdx = π + ( )2
π −π 2 π 1 − 4n2
n=1

donde
∞
π ( π4 )2
Z
1 2 16 X 1
sin xdx = + 2
π −π 2 π (1 − 4n2 )2
n=1

Como Z π
1
sin2 xdx = 1,
π −π
entao
∞
8 16 X 1
1= 2 + 2
π π (1 − 4n2 )2
n=1

Ou
∞
X 1 1 1
2 2
= π2 −
(1 − 4n ) 16 2
n=1