Captulo 4

SRIES DE FOURIER
4.1 Funes Peridicas
Denio 4.1. Uma funo f : R R peridica de perodo T R se para todo
x R temos que:
f(x) = f(x + T).
Toda funo peridica de perodo zero; logo, nestas notas, somente considera-
remos T = 0. As funes constantes so peridicas de qualquer perodo; logo,
somente consideraremos funes no constantes. Se T o perodo de f, ento
nT para todo n Z {0} perodo de f. De fato, se n > 0 para n = 2 temos:
f(x + 2 T) = f((x + T) + T) = f(x + T) = f(x).
Suponha que a propiedade vlida para n 1, ento:
f(x + nT) = f((x + T) + (n 1) T) = f(x + T) = f(x).
Analogamente para n < 0. Logo, nestas notas, somente consideraremos T > 0.
Denio 4.2. O menor T = 0, se existir, tal que f(x + T) = f(x), para todo x R
dito perodo fundamental de f.
As funes constantes no pussuem perodo fundamental. possvel provar que
as funes peridicas e contnuas no constantes possuem perodo fundamental.
Nestas notas consideraremos somente funes com perodos fundamentais.
Denotaremos por f(x) = f(x+T) toda funo peridica de perodo fundamental
T. O grco de uma funo peridica de perodo fundamental T pode ser obtido
a partir do grco de y = f(x) no intervalo [a, a + T], seguido de translaes.
117
118 CAPTULO 4. SRIES DE FOURIER
Figura 4.1: Grco de uma funo peridica.
Exemplo 4.1.
[1] As funes f(x) = sen(x) e g(x) = cos(x) so peridicas de perodo funda-
mental 2 .
[2] As funes f(x) = tg(x) e g(x) = cotg(x) so peridicas de perodo fundamen-
tal .
[3] A funo f(x) = x, x [1, 1) tal que f(x) = f(x + 2) peridica de perodo
2.
4 2 2 4
1
1
Figura 4.2: Grco de f(x) = x, peridica.
[4] Seja:
f(x) =
_
1 se 0 x 1
1 se 1 x < 0.
tal que f(x) = f(x + 2) peridica de perodo 2.
4.1. FUNES PERIDICAS 119
-3 -2 -1 1 2 3
-1
1
Figura 4.3: Grco do exemplo [4]..
[5] Seja f(x) = |sen(x)|, x [0, ] tal que f(x) = f(x + ) peridica de perodo
.
6 4 2 0 2 4 6
1
Figura 4.4: Grco de f(x) = |sen(x)|, peridica.
Proposio 4.1. Se f e g so peridicas de perodo T, ento:
1. f + g peridica de perodo T.
2. f g peridica de perodo T.
3. Se f integrvel em qualquer intervalo [a, a + T]:
_
a+T
a
f(x) dx =
_
T
a
f(x) dx.
A prova das propriedades seguem diretamente das denies. Veja [VC1].
A soma de funes peridicas de diferentes perodos pode ser ou no peridica
de algum perodo.
120 CAPTULO 4. SRIES DE FOURIER
Exemplo 4.2.
[1] Observe que a funo f(x) = sen(x) + cos(

3 x) no perodica, por outro

lado, a funo g(x) = cos(x) + cos(x/2) perodica de perodo 4 . Verique!
Grcos de f (azul) e g (verde)
Figura 4.5: Grcos de f e g, respectivamente.
4.2 Exemplo Fundamental
Denotemos por:
_

n
=
n
l
,

n
(x) = sen(
n
x) e

n
(x) = cos(
n
x); n N, l R
(4.1)
Determinemos o perodo fundamental de
n
e
n
.
1. Devemos ter
n
(x + T) =
n
(x) para todo x R, isto :
cos(
n
x) = cos(
n
(x + T)) = cos(
n
x) cos(
n
T) sen(
n
x)) sen(
n
T).
Logo:
_
cos(
n
T) = 1
sen(
n
T) = 0,
donde T =
2 l
n
.
2. Suponha que T
1
outro perodo de
n
, teremos:
n T
1
l
= 2 k , ento T
1
= k T,
4.3. LGEBRA LINEAR 121
logo, T = 2 l o perodo fundamental.
3. Analogamente para
n
.
4.3 lgebra Linear
Seja A R e denotemos por C(A) o conjunto das funes f : A R integrveis
sobre A. O conjunto C(A) possui uma estrutura natural de R-espao vetorial com
as seguintes operaes: dada f, g C(A) e R, ento:
_
f + g
_
(x) = f(x) + g(x)
_
f
_
(x) = f(x),
para todo x A.
Lembramos que um produto interno denido num R-espao vetorial V uma
funo:
<, >: V V R,
que satisfaz s seguintes propriedades:
i) < u, u > 0 e < u, u >= 0 se, e somente se u = 0, para todo u V.
ii) < u, v >=< v, u >, para todo u, v V.
iii) < u + v, w >= < u, w > + < v, w >, para todo u, v V e , R.
Os vetores u, v V so ditos ortogonais se < u, v >= 0. Seja W V, W dito
ortogonal se < u, v >= 0, para todo u, v W.
Dado
_
V, <, >
_
um R-espao vetorial com produto interno, denimos a norma
do vetor u V como:
u =

< u, u >.
Seja [a, b] R, ento em C
_
[a, b]
_
denimos o seguinte produto interno:
< f, g >=
_
b
a
f(x) g(x) dx, para todo f, g C
_
[a, b]
_
.
A notao: < f, g >= f g.
A prova de que um produto interno segue diretamente das denies. Se as
funes no forem contnuas, < , > no um produto interno. De fato, se f no
contnua, < f, f >= f
2
= 0 no implica em f = 0.
122 CAPTULO 4. SRIES DE FOURIER
Proposio 4.2. O conjunto:
W= {1,
n
,
n
/ n N}
ortogonal em C
_
[l, l]
_
, onde
n
e
n
so dados por (4.1).
De fato:
1
2
= 1 1 =
_
l
l
dx = 2 l,
e:
1
n
=
_
l
l
cos(
n
x) dx = 0, n = 0.
Analogamente 1
n
= 0, para todo n N. Por outro lado:

n

m
=
_
l
l
cos(
n
x) sen(
n
x) dx;
fazendo u =
x
l
, ento du =

l
dx; logo:

n

m
=
l

cos(nu) sen(mu) du
=
l
2
_

_
sen((n + m) u) + sen((n m) u)

du
= 0,
se n = m, para todo n N.

n

m
=
_
l
l
cos(
n
x) cos(
n
x) dx;
fazendo u =
x
l
, ento du =

l
dx; logo:

n

m
=
l

cos(nu) cos(mu) du
=
l
2
_

_
cos((n + m) u) + cos((n m) u)

du
= 0,
se n = m. Se n = m:

n

n
=
l

cos
2
(nu) du =
l
2
_

_
1 cos(nu)

du = l.
4.4. SRIES DE FOURIER 123
Analogamente
n

n
= l, para todo n N.
Corolrio 4.1.

n

m
=
_
0 se n = m
l se n = m.

n

m
=
_

_
0 se n = m
l se n = m N
2 l se n = m = 0.

n

m
= 0, n, m N
Exemplo 4.3.
[1] Os polinmios de Legendre so ortogonais, isto :
_
1
1
P
n
(x) P
m
(x) dx =
_
_
_
0 se n = m
2
2 n + 1
se n = m.
[2] Analogamente, os polinmios de Hermite so ortogonais.
Corolrio 4.2. Os conjuntos:
W
1
= {1,
n
/ n N} e W
2
= {
n
/ n N}
so ortogonais em C
_
[0, l]
_
, onde
n
e
n
so dados por (4.1).
4.4 Sries de Fourier
Suponha que, inicialmente, temos a seguinte expresso formal:
f(x) =
a
0
2
+

n=1
_
a
n
cos(
n
x) + b
n
sen(
n
x)

, (4.2)
onde a
n
, b
n
R e
n
=
n
l
.
Gostaramos de poder responder s seguintes questes relativas (4.2).
1. Dada a funo f, quando possvel escrev-la como (4.2)?
2. Que relao existe entre a
n
, b
n
e f?
124 CAPTULO 4. SRIES DE FOURIER
3. Em que sentido a srie de funes dada em (4.2) converge?
Supondo que (4.2) valida, responderemos segunda questo. Para isto, utiliza-
remos formalmente o produto interno denido na seo anterior.
Denotemos (4.2) por:
f =
a
0
2

0
+

n=1
_
a
n

n
+ b
n

n

.
onde
n
e
n
so dados por (4.1). Utilizando a ortogonalidade:
f
0
=
a
0
2

0

0
+

n=1
_
a
n

n

0
+ b
n

n

0

=
a
0
2

0

0
= a
0
l.
Logo, a
0
=
1
l
_
f
0

=
1
l
_
f 1

, ento:
a
0
=
1
l
_
l
l
f(x) dx.
Fixemos m N; ento:
f
m
=
a
0
2
1
m
+

n=1
_
a
n

n

m
+ b
n

n

m

.
Pela ortogonalidade, temos:
f
m
= a
m

m

m
= a
m
l
para todo m N; ento:
a
n
=
1
l
_
l
l
f(x)
n
(x) dx =
1
l
_
l
l
f(x) cos(
n
x), dx n = 1, 2, . . .
Analogamente, pela ortogonalidade, temos:
f
m
= b
m

m

m
= b
m
l
para todo m N; ento:
b
n
=
1
l
_
l
l
f(x)
n
(x) dx =
1
l
_
l
l
f(x) sen(
n
x) dx, n = 1, 2, . . .
Se f pode ser escrita como em (4.2), ento:
1. f deve ser peridica de perodo 2 l.
2. As constantes a
n
e b
n
tem a propriedade:
4.4. SRIES DE FOURIER 125
|a
n
| =

1
l
_
l
l
f(x)
n
(x) dx

1
l
_
l
l
|f(x)| |
n
(x)| dx
1
l
_
l
l
|f(x)| dx
|b
n
| =

1
l
_
l
l
f(x)
n
(x) dx

1
l
_
l
l
|f(x)| |
n
(x)| dx
1
l
_
l
l
|f(x)| dx.
Logo:
|a
n
|
1
l
_
l
l
|f(x)| dx e |b
n
|
1
l
_
l
l
|f(x)| dx.
Isto , se f absolutamente integrvel em [l, l], ento garantiremos a existncia
de a
n
e b
n
.
Algumas observaes bsicas sobre integrabilidade de funes
reais
1. Se f for integrvel e limitada, ento f absolutamente integrvel. A recproca
falsa, por exemplo, seja:
f(x) =
_
1 se x Q
1 se x / Q.
f no integrvel em [0, 1], mas |f(x)| = 1, para todo x [0, 1] e integrvel em
[0, 1].
2. Se f no limitada, a integrabilidade de f no implica em que f seja absoluta-
mente integrvel.
3. Logo, existem funes integrveis que no so absolutamente integrveis e
funes no integrveis que so absolutamente integrveis.
4. Se f e |f| so integrveis, diremos que f est nas condies de Fourier.
5. A maioria das funes utilizadas nas aplicaes satisfazem condio de Fou-
rier.
Denotemos por C
per
o conjunto das funes peridicas de perodo fundamental
2 l.
Denio 4.3. Seja f C
per
satisfazendo s condies de Fourier. A srie de Fourier de
f denotada e denida por:
S[f] =
a
0
2
+

n=1
_
a
n
cos(
n x
l
) + b
n
sen(
n x
l
)

,
126 CAPTULO 4. SRIES DE FOURIER
onde:
a
0
=
1
l
_
l
l
f(x) dx,
a
n
=
1
l
_
l
l
f(x) cos(
n x
l
) dx, n = 1, 2, . . .
b
n
=
1
l
_
l
l
f(x) sen(
n x
l
) dx, n = 1, 2, . . .
Os coecientes a
n
e b
n
so ditos de Fourier da srie.
A seguinte propriedade simplica o clculo de S[f] quando f possui alguns tipos
de simetria. Para a prova veja [VC1].
Seja f integrvel em [l, l], se f par, ento:
_
l
l
f(x) dx = 2
_
l
0
f(x) dx.
Se f mpar, ento:
_
l
l
f(x) dx = 0.
Corolrio 4.3. Seja f C
per
, nas condies de Fourier e
n
=
n
l
.:
1. Se f par, isto , simtrica em relao ao eixo dos y, ento b
n
= 0 para todo n N,
logo:
S[f] =
a
0
2
+

n=1
a
n
cos(
n
x), onde
a
n
=
2
l
_
l
0
f(x) cos(
n
x) dx, n = 0, 1, 2, . . . .
2. Se f mpar, isto , simtrica em relao origem, ento a
n
= 0 para todo n 0,
logo:
S[f] =

n=1
b
n
sen(
n
x), onde
b
n
=
2
l
_
l
0
f(x) sen (
n
x) dx, n = 1, 2, . . .
4.4. SRIES DE FOURIER 127
Exemplo 4.4.
[1] Ache S[f] se f(x) = |x| x [l, l], e tal que f(x) = f(x + 2 l).
Figura 4.6: Grco de f(x) = |x|, peridica.
f est nas condies de Fourier e par; logo b
n
= 0, para todo n = 1, 2, . . . e:
a
0
=
2
l
_
l
0
xdx = l e
a
n
=
2
l
_
l
0
xcos(
n
x) dx =
2 l
n
2

2
_
(1)
n
1

.
Logo a
2n
= 0 e a
2n1
=
4 l

2
(2 n 1)
2
; ento:
S[f] =
l
2

n=1
4 l

2
(2 n 1)
2
cos(
(2 n 1) x
l
).
[2] Ache S[f] se f(x) = x, x [1, 1], e tal que f(x) = f(x + 2).
4 2 2 4
1
1
Figura 4.7: Grco de f(x) = x, peridica.
f est nas condies de Fourier; 2 l = 2, ento l = 1 e f mpar; logo a
n
= 0, para
128 CAPTULO 4. SRIES DE FOURIER
todo n = 0, 1, 2, . . . e:
b
n
= 2
_
1
0
xsen
_
n x
_
dx =
2 (1)
n+1
n
.
Logo:
S[f] =

n=1
2 (1)
n+1
n
sen(n x).
Sejam as seguintes somas parciais de S[f]
S
1
(x) =
2

sen
_
x
_
S
4
(x) =
2

sen
_
x
_

sen
_
2 x
_
+
2
3
sen
_
3 x
_

1
2
sen
_
4 x
_
.
Observe o comportamento de f, S
1
e S
4
nos respectivos grcos:
-1 1
-1
1
Figura 4.8: Grcos de f(x) = x (azul), S
2
(verde) e S
4
(vermelho).
[3] Ache S[f] se:
f(x) =
_
1 se 0 x
0 se x < 0,
e tal que f(x) = f(x + 2 ).
4.4. SRIES DE FOURIER 129
-3 -2 -1 1 2 3
1
Figura 4.9: Grco de f do exemplo [3].
Se 2 l = 2 , ento l = ; logo:
a
0
=
1

f(x) dx =
1

_

0
dx = 1 e
a
n
=
1

f(x) cos(nx) dx =
1

_

0
cos(nx) dx = 0
b
n
=
1

f(x) sen(nx) dx =
1

_

0
sen(nx) dx =
1
n
_
1 (1)
n

.
Logo b
2n
= 0 e b
2n1
=
2
(2 n 1)
; ento:
S[f] =
1
2
+

n=1
2
(2 n 1)
sen((2 n 1) x).
1 1
1
Figura 4.10: Grcos de S
5
e S
50
.
[4] Ache S[f] se
130 CAPTULO 4. SRIES DE FOURIER
f(x) =
_
0 se x < 0
x se 0 x ,
e tal que f(x) = f(x + 2 ).
5 5
1
2
3
4
5
Figura 4.11: Grco de f do exemplo [4].
2 l = 2 , ento l = ; f no par nem mpar:
a
0
=
1

f(x) dx =
1

_

0
xdx =

2
a
n
=
1

f(x) cos(nx) dx =
1

_

0
xcos(nx) dx =
(1)
n
1
n
2

b
n
=
1

f(x) sen(nx) dx =
1

_

0
xsen(nx) dx =
(1)
n+1
n
.
Logo, a
2n
= 0 e a
2n1
=
2
(2 n 1)
2
:
S[f] =

4

n=1
_
2
(2 n 1)
2
cos
_
(2 n 1) x
_

(1)
n+1
n
sen
_
nx
_
_
.
Observe o comportamento de f e S
4
(x):
4.4. SRIES DE FOURIER 131
-p p
p
Figura 4.12: Grco de f (vermelho) e S
4
(azul).
[5] Ache S[f] se f(x) = |sen
_
x
_
|, x [1, 1] e tal que f(x) = f(x + 2).
2 1 0 1 2
1
Figura 4.13: Grco de f do exemplo [5].
2 l = 2, ento l = 1; f par, logo, b
n
= 0 para todo n = 1, 2 . . ., l = 1:
a
0
= 2
_
1
0
sen
_
x
_
dx =
4

a
n
= 2
_
1
0
sen
_
x
_
cos(n x) dx
=
_
1
0
_
sen
_
(n + 1) x
_
+ sen
_
(n 1) x
_
dx
=
2 ((1)
n
+ 1)
(n
2
1)
,
se n = 1, calculando diretamente, temos:
a
1
= 2
_
1
0
sen
_
x
_
cos( x) dx = 0.
132 CAPTULO 4. SRIES DE FOURIER
Por outro lado a
2n+1
= 0 e a
2n
=
4
(1 4 n
2
)
. Logo:
S[f] =
2

n=1
4
(1 4 n
2
)
cos
_
2 n x
_
.
Observe o comportamento de f e S
2
(x). Compare como o comportamento nos
outros exemplos:
1
Figura 4.14: Grco de f (verde) e S
2
(azul).
[6] Ache S[f] se f(x) = x
2
+ 2 x, x [1, 1] e tal que f(x) = f(x + 2).
4 2 2 4
3
Figura 4.15: Grco de f do exemplo [5].
2 l = 2, ento l = 1; f no par ou mpar, logo:
a
0
=
_
1
1
sen
_
x
_
dx =
2
3
.
a
n
=
_
1
1
_
(x
2
+ 2 x) cos(n x)

dx =
4 (1)
n

2
n
2
b
n
=
_
1
1
_
(x
2
+ 2 x) sen(n x)

dx =
4 (1)
n+1
n
.
4.5. LINEARIDADE DOS COEFICIENTES DE FOURIER 133
Logo:
S[f] =
1
3
+
4 (1)
n
n

n=1
_
cos(n x)
n
sen(n x)

.
4.5 Linearidade dos Coecientes de Fourier
Sabemos que os coecientes de Fourier de S[f] dependem somente de f. Sendo
calculados atravs de uma integral, resulta que estes coecientes dependem line-
armente da funo; se denotamos por a
n
(f) e b
n
(f) os coecientes de S[f], ento:
a
n
_
f + g
_
= a
n
(f) + a
n
(g), n = 0, 1, . . .
b
n
_
f + g
_
= b
n
(f) + b
n
(g), n = 1, 2, . . .
para toda f e g nas condies de Fourier e todo , R.
Exemplo 4.5.
[1] Calcule S[h], onde h(x) =
l
2
|x|, x [l, l] tal que h(x + 2 l) = h(x).
Seja f(x) = |x|, x [l, l] tal que f(x + 2 l) = f(x); sabemos que sua srie de
Fourier :
S[f] =
l
2

n=1
4 l

2
(2 n 1)
2
cos(
2n1
x).
Utilizando a linearidade dos coecientes de Fourier:
a
0
(f) = l, a
n
(f) =
4 l
(2 n 1)
2

2
e b
n
(f) = 0
para todo n N; ento:
a
0
(h) = a
0
_
l
2
|x|
_
=
l
2
a
0
(1) a
0
(f) = l l = 0
a
n
(h) = a
n
_
l
2
|x|
_
=
l
2
a
n
(1) a
n
(f) = a
n
(f), n = 0, 1, . . .
b
n
(h) = b
n
(1) b
n
(f) = 0, n = 1, 2, . . .
Note que h par; logo:
S[h] =

n=1
4 l

2
(2 n 1)
2
cos(
2n1
x).
134 CAPTULO 4. SRIES DE FOURIER
-1 1 2 -2
Figura 4.16: Grco de h para l = 1.
[2] Calcule S[h], onde h(x) = 2 x
2
x, x [l, l] e tal que h(x + 2) = h(x).
Pela linearidade dos coecientes de Fourier, devemos somente calcular a srie de
Fourier de f(x) = x
2
, x [l, l] e tal que f(x + 2) = f(x); l = 1 e f par:
a
0
= 2
_
1
0
x
2
dx =
2
3
b
n
= 0, n = 1, 2, . . .
a
n
= 2
_
1
0
x
2
cos(n x) dx =
4 (1)
n
n
2

2
n = 1, 2, . . .
Por outro lado, seja g(x) = x, x [l, l] e tal que g(x +2) = g(x); sabemos que g
mpar e sua srie de Fourier :
S[g] =

n=1
2 (1)
n+1
n
sen
_
n x
_
.
Ento:
a
0
(h) = 2 a
0
(f) a
0
(g) = 2 a
0
(f) =
4
3
a
n
(h) = 2 a
n
(f) a
n
(g) = 2 a
n
(f) =
8 (1)
n
n
2

2
, n = 1, 2, . . .
b
n
(h) = 2 b
n
(f) b
n
(g) = b
n
(g) =
2 (1)
n+1
n
=
2 (1)
n
n
, n = 1, 2, . . .
Logo:
S[h] =
2
3
+

n=1
2 (1)
n+1
n
_
4
n
cos(n x) + sen(n x)
_
.
4.6. EXTENSO PAR E MPAR 135
-1 1 3 -3
1
2
Figura 4.17: Grco de h.
4.6 Extenso Par e mpar
Considere o seguinte problema: Dada uma funo:
f : [0, l] R,
possvel denir S[f]?
Para responder a esta questo, lembramos primeiramente que os conjuntos
W
1
= {1,
n
/ n N} e W
2
= {
n
/ n N}
so ortogonais em C
_
[0, l]
_
, onde
n
e
n
so dados por (4.1).
Denio 4.4. Seja f : [0, l] R:
1. A extenso par de f denotada e denida por:
f
p
(x) =
_
f(x) se 0 x l
f(x) se l x < 0.
f
p
(x) = f
p
(x), isto , f
p
par.
Figura 4.18: Grcos de f (azul) e f
p
.
136 CAPTULO 4. SRIES DE FOURIER
2. A extenso mpar de f denotada e denida por:
f
o
(x) =
_
f(x) se 0 x l
f(x) se l x < 0.
f
o
(x) = f
o
(x), isto , f
o
mpar.
Figura 4.19: Grcos de f (azul) e f
o
.
Exemplo 4.6.
Considere a funo: f(x) =
_
_
_
x se 0 x <

2
x se

2
x < .
Ento:
f
p
(x) =
_

_
x se

2
x < 0
+ x se x <

2
x se 0 x <

2
x se

2
x < .
p
p

2
p

2
Figura 4.20: Grcos de f (azul) e f
p
.
4.6. EXTENSO PAR E MPAR 137
f
o
(x) =
_

_
x se

2
x <

2
x se x <

2
x se

2
x < .
p
p

2
p

2
Figura 4.21: Grcos de f (azul) e f
o
.
As funes f
p
, f
o
: [l, l] R so tais que f
p
(x) = f
o
(x) = f(x) se x [0, l]. Se f
est nas condies de Fourier, ento f
p
e f
0
satisfazem s condies de Fourier.
Se f denida num intervalo I do tipo [a, b) ou (a, b], ento podemos estender f
para todo R de forma peridica de perodo T = b a, fazendo f(x + k T) = f(x)
para todo x I e k Z. Por exemplo:
Exemplo 4.7.
A funo f(x) = sen(x),

2
x

2
pode ser estendida de forma peridica de
perodo para todo x R e seu grco :
2 p p -p -2 p
-1
1
Figura 4.22: Grcos de f (vermelho) e sua extenso.
Considerando f
p
e f
o
peridicas de perodo 2 l e satisfazendo s condies de
Fourier, podemos denir as respectivas sries de Fourier.
138 CAPTULO 4. SRIES DE FOURIER
4.7 Sries dos Co-senos e dos Senos
4.7.1 Sries dos Co-senos
Seja f : [0, l] R e f
p
sua extenso par, peridica de perodo 2 l e nas condies
de Fourier; ento:
S[f
p
] =
a
0
2
+

n=1
a
n
cos(
n
x),
onde:
a
n
=
1
l
_
l
l
f
p
(x) cos(
n
x) dx
=
2
l
_
l
0
f(x) cos(
n
x) dx, n = 1, 2, . . .
tal que
n
=
n
l
. Na ltima integral utilizamos o fato de que f
p
= f em [0, l].
4.7.2 Sries dos Senos
Seja f : [0, l] R e f
o
sua extenso mpar, peridica de perodo 2 l e nas condi-
es de Fourier; ento:
S[f
o
] =

n=1
a
n
sen(
n
x),
onde:
b
n
=
1
l
_
l
l
f
0
(x) sen(
n
x) dx =
2
l
_
l
0
f(x) sen(
n
x)) dx, n = 1, 2, . . .
tal que
n
=
n
l
. Na ltima integral utilizamos o fato de que f
0
= f em [0, l].
Denio 4.5. S[f
p
] dita a srie dos co-senos de f; analogamente, S[f
o
] dita a srie
dos senos de f.
Como, f = f
p
= f
o
em [0, l], denimos a srie de Fourier de f como:
S[f] = S[f
p
], ou S[f] = S[f
o
].
4.7. SRIES DOS CO-SENOS E DOS SENOS 139
Exemplo 4.8.
[1] Seja f(x) = x tal que x [0, 1]. Ache S[f].
Determinemos f
p
:
f
p
(x) =
_
x se 0 x 1
x se 1 x < 0,
isto , f
p
(x) = |x| onde x [1, 1]; fazendo f
p
peridica de perodo 2:
Figura 4.23: Grco de f
p
.
l = 1, ento a
0
= 1 e:
a
n
= 2
_
1
0
xcos
_
n x) dx =
2
_
(1)
n
1
_
n
2

2
.
Logo a
2n
= 0 e a
2n1
=
4

2
(2 n 1)
2
e a srie dos co-senos de f :
S[f
p
] =
1
2

n=1
4

2
(2 n 1)
2
cos
_
(2 n 1) x).
Determinemos f
0
:
f
0
(x) =
_
x se 0 x 1
x se 1 x < 0,
isto , f
0
(x) = x onde x [1, 1]; fazendo f
o
peridica de perodo 2:
140 CAPTULO 4. SRIES DE FOURIER
4 2 2 4
1
1
Figura 4.24: Grco de f
o
.
l = 1, ento:
b
n
= 2
_
1
0
xsen
_
n x) dx =
2 (1)
n+1
n
.
Logo, a srie dos senos de f :
S[f
o
] =

n=1
2 (1)
n+1
n
sen
_
n x).
Observe que S[f
0
] no igual a f no ponto x = 1.
[2] Seja f(x) = x
2
tal que x [0, ]. Ache S[f].
Determinemos f
p
:
f
p
(x) =
_
x
2
se 0 x
(x)
2
se x < 0,
isto , f
p
(x) = x
2
onde x [, ]; fazendo f
p
peridica de perodo 2 pi:
Figura 4.25: Grco de f
p
.
4.8. CONTINUIDADE E DIFERENCIABILIDADE POR PARTES 141
l = , ento a
0
=
2
2
3
e:
a
n
2

_

0
x
2
cos
_
nx) dx =
4 (1)
n+1
n
2
.
Logo, a srie dos co-senos de f :
S[f
p
] =

2
3

n=1
4 (1)
n+1
n
2
cos(nx).
Determinemos f
0
:
f
0
(x) =
_
x
2
se 0 x
x
2
se x < 0,
onde x [, ]; fazendo f
o
peridica de perodo 2 pi:
Figura 4.26: Grco de f
o
.
l = , ento:
b
n
=
2

_

0
x
2
sen
_
x) dx =
2 [2 + (1)
n+1
(2 n
2

2
)]
n
3

.
Logo, a srie dos senos de f :
S[f
o
] =

n=1
2 [2 + (1)
n+1
(2 n
2

2
)]
n
3

sen(nx).
4.8 Continuidade e Diferenciabilidade por Partes
4.8.1 Continuidade por Partes
Denio 4.6. O salto de uma funo f no ponto x
0
denotado e denido por:
142 CAPTULO 4. SRIES DE FOURIER
sal(f)(x
0
) = f(x
+
0
) f(x

0
),
onde f(x
+
0
) = lim
xx
+
0
f(x) e f(x

0
) = lim
xx

0
f(x).
sal(f)(x )
x
0
0
Figura 4.27: Salto de uma funo.
Se f contnua em x
0
, ento sal(f)(x
0
) = 0.
Denio 4.7. Uma funo f contnua por partes se:
1. f tem um nmero nito de descontinuidades em qualque intervalo limitado e
2. sal(f)(x) nito para todo x R.
Se f contnua, ento f contnua por partes. Se f e g so contnuas por partes,
ento f + g e f g so contnuas por partes. Se f contnua por partes em [l, l] e
tal que f(x + 2 l) = f(x), ento f contnua por partes emR.
As funes contnuas por partes em [a, b] so limitadas e integrveis em [a, b].
Logo, satisfazem condio de Fourier.
Exemplo 4.9.
[1] Considere a funo f(x) = sign(x), o sinal de x:
-3 -2 -1 1 2 3
-1
1
Figura 4.28: Grco de f(x) = sign(x)
4.8. CONTINUIDADE E DIFERENCIABILIDADE POR PARTES 143
f(x) = sign(x) contnua por partes, pois s tem uma descontinuidade emx
0
= 0
e sal(f)(0) = 2.
[2] A funo f(x) =
1
x
, x R {0} no contnua por partes, pois sal(f)(0) no
existe.
Figura 4.29: Grco de f(x) =
1
x
4.8.2 Diferenciabilidade por Partes
Denio 4.8. Uma funo f diferencivel por partes se:
1. f contnua por partes e
2. f

contnua por partes.

Exemplo 4.10.
[1] A funo f(x) = |x| diferencivel por partes em x
0
= 0. Pois:
f

(x) =
_
1 se 0 < x
1 se 0 > x,
contnua por partes.
[2] A funo f(x) =
3

x
2
, |x| 1 contnua e no diferencivel por partes em
x
0
= 0. De fato:
f

(x) =
2
3
3

x
,
se x = 0. Logo, f

(0
+
) e f

(0

) no existem.
144 CAPTULO 4. SRIES DE FOURIER
Figura 4.30: Grco de f(x) = x
2/3
f

no est necessariamente denida em todos os pontos; por exemplo, f

no
pode existir onde f seja descontnua, mas f

tambm pode no existir ainda nos

pontos onde f contnua. Veja o exemplo anterior.
4.9 Convergncias
4.9.1 Convergncia Pontual
Teorema 4.4. (Dirichlet) Seja f C
per
diferencivel por partes; ento, para cada x:
S[f](x) =
f(x
+
) + f(x

)
2
.
Corolrio 4.5. Seja f C
per
diferencivel por partes; ento, para cada x onde f for
contnua:
S[f](x) = f(x).
Exemplo 4.11.
[1] Seja:
f(x) =
_
1 se 0 x
0 se x < 0,
tal que f(x) = f(x + 2):
(a) Esboce o grco da srie de Fourier de f.
(b) Utilize S[f] para determina a soma:

n=1
(1)
n+1
2 n 1
4.9. CONVERGNCIAS 145
1
Figura 4.31: Grco de f(x)
(a) Como f diferencivel por partes, pelo teorema de Dirichlet S[f](x) = f(x) se
x = n e n Z. Por outro lado, para todo x
0
= n tal que n Z, sal(f)(x
0
) =
1
2
.
Logo, o grco de S[f] :
1
Figura 4.32: Grco de S[f]
(b) Determinemos S[f]:
a
0
= 1
a
n
=
1

_

0
cos(nx) dx = 0
b
n
=
1

_

0
sen(nx) dx =
_
1 (1)
n
_
n
.
Logo, b
2n
= 0 e b
2n1
=
2
(2 n 1)
e:
S[f] =
1
2
+

n=1
2
(2 n 1)
sen
_
(2 n 1) x
_
.
f diferencivel por partes e contnua em x
0
=

2
; ento, aplicando o teorema,
146 CAPTULO 4. SRIES DE FOURIER
temos: S[f](x
0
) = f(x
0
) = 1. Utilizando que sen
_
(2 n 1) x
_
= cos(n) =
(1)
n+1
, temos:
1 =
1
2
+

n=1
2 (1)
n+1
(2 n 1)
.
Isto :

n=1
(1)
n+1
2 n 1
=

4
.
[2] Utilize a srie de Fourier de f(x) = x
2
, x [l, l] e f(x) = f(x + 2 l) para
calcular a soma da srie

n=1
1
n
2
.
1
Figura 4.33: Grco de f
Como f par b
n
= 0 para todo n N. Por outro lado:
a
0
=
2
l
_
l
0
x
2
dx =
2 l
2
3
a
n
=
2
l
_
l
0
x
2
cos
_
n x
l
_
dx =
4 l
2
(1)
n
n
2

2
, n N.
Logo, S[f] =
l
2
3
+

n=1
4 l
2
(1)
n
n
2

2
cos
_
n x
l
_
. Aplicando o teorema para x
0
= l :
l
2
=
l
2
3
+
4 l
2

n=1
1
n
2
.
Isto :

n=1
1
n
2
=

2
6
.
4.9. CONVERGNCIAS 147
[3] Utilize a srie de Fourier de f(x) = e
x
, x [, ] e f(x) = f(x + 2 ) para
calcular a soma da srie

n=1
1
n
2
+ 1
.
4 2 2 4
1
Figura 4.34: Grco do exemplo [3]
Como f no par ou mpar:
a
0
=
1

e
x
dx =
1

(e

) =
2 senh()

a
n
=
1

e
x
cos(nx) dx =
(1)
n
(n
2
+ 1)
(e

) =
2 (1)
n
senh()
(n
2
+ 1)
, n = 1, 2, . . .
b
n
=
1

e
x
sen(nx) dx =
2 (1)
n
nsenh()
(n
2
+ 1)
, n = 1, 2, . . .
Logo:
S[f] =
senh()

_
1 + 2

n=1
(1)
n
n
2
+ 1
_
cos(nx) nsen(nx)

_
.
Aplicando o teorema para x
0
= , temos que
f(
+
) + (

)
2
= cosh() ; logo:
cosh() =
2 senh()

_
1
2
+

n=1
(1)
n
n
2
+ 1
cos(n)
_
=
2 senh()

_
1
2
+

n=1
1
n
2
+ 1
_
.
Isto :

n=1
1
n
2
+ 1
=
1
2
_

tgh()
1
_
.
148 CAPTULO 4. SRIES DE FOURIER
4.9.2 Convergncia Uniforme
O seguinte teorema segue diretamente do teste M de Weierstrass, temos:

n=1
_
a
n
cos(
n
x) + b
n
sen(
n
x)

n=1

a
n
cos(
n
x)

b
n
sen(
n
x)

n=1

a
n

b
n

,
onde
n
=
n
l
. Ento:
Teorema 4.6. A srie de Fourier S[f] tal que f C
per
est nas condies de Fourier,
converge absolutamente e uniformenente a f no intervalo [l, l] se:

n=1
_
|a
n
| + b
n
|
_
converge e, neste caso f = S[f] .
Exemplo 4.12.
Seja f(x) = |x|, x [1, 1] tal que f(x) = f(x + 2); ento, para todo n = 1, 2, . . .
b
n
= 0, a
1
= 1 e a
2n
=
4

2
(2 n 1)
2
.
S[f] =
1
2

n=1
4

2
(2 n 1)
2
cos((2 n 1) x).
Por outro lado:

n=1
_
|a
n
| + b
n
|
_
=

n=1
1
(2 n 1)
2
.
Como a ltima srie convergente, temos que S[f] converge uniformemente a |x|
em [1, 1], na verdade emR, logo:
|x| =
1
2

n=1
4

2
(2 n 1)
2
cos
_
(2 n 1) x
_
.
4.9. CONVERGNCIAS 149
Observaes sobres os coecientes de S[f]
Com a hiptese de f C
per
e estar nas condies de Fourier, nos pargrafos
anteriores, obtivemos:
|a
n
|
1
l
_
l
l
|f(x)| dx
|b
n
|
1
l
_
l
l
|f(x)| dx.
Suponhamos que f C
per
e que f

est nas condies de Fourier, ento, integra-

mos por partes:
(1) a
n
=
1
l
_
l
l
f(x)
n
(x) dx
(2) b
n
=
1
l
_
l
l
f(x)
n
(x) dx.
Logo, (1):
a
n
=
1
n
f(x) (x)

l
l

1
n
_
l
l
f

(x) (x) dx =
1
n
_
l
l
f

(x) (x) dx,

tomando valor absoluto:
|a
n
|
1
n
_
l
l
|f

(x)| dx.
Analogamente:
|b
n
|
1
n
_
l
l
|f

(x)| dx.
Suponhamos que f C
per
, que f

contnua e que f

est nas condies de

Fourier. Voltando a integrar por partes, obtemos:
|a
n
|
l
n
2

2
_
l
l
|f

(x)| dx e |b
n
|
l
n
2

2
_
l
l
|f

(x)| dx.
Como f

est nas condies de Fourier, denotamos a constante

l

2
_
l
l
|f

(x)| dx
por M, logo:
|a
n
|
M
n
2
e |b
n
|
M
n
2
.
150 CAPTULO 4. SRIES DE FOURIER
Ento:

a
n
cos(
n
x) + b
n
sen(
n
x)

|a
n
| +|b
n
|
2 M
n
2
;
como

n=1
1
n
2
converge, pelo teorema, a srie S[f] converge uniformemente a f.
As condies impostas anteriormente a f so muito restritivas e deixam de fora
uma grande quantidade de exemplos interessantes. O seguinte teorema nos diz
com que classe de funes ainda possvel obter convergncia uniforme.
Teorema 4.7. Se f C
per
contnua por partes e f

est nas condies de Fourier, ento

S[f] converge uniformemente para f em todo intervalo fechado que no contenha pontos
de descontinuidade de f.
Em particular, se f(l) = f(l), ento S[f] no pode convergir para f. Se f C
per
contnua e diferencivel por partes, ento S[f] converge uniformemente para f
em todo R.
Se f denida em (l, l) e a extenso peridica de f satisfaz s condies do
teorema, ento S[f] converge uniformemente para f em [l, l].
Exemplo 4.13.
[1] A funo f(x) = |sen(x)|, x [, ] tal que f(x) = f(x + 2 ) contnua e
diferencivel por partes; logo S[f] converge uniformemente a f.
[2] Considere a funo f(x) = x, x [1, 1] tal que f(x) = f(x + 2); logo S[f] no
converge uniformemente para f, pois f(1) = f(1).
Teorema 4.8. Se f denida em (l, l) contnua por partes, f

est nas condies de

Fourier e f(l

) = f(l
+
), ento S[f] converge uniformemente para f em [l, l].
Uma funo peridica mpar contnua se f(0) = f(l) = f(l) = 0, ento a
extenso mpar de uma funo denida em (0, l) pode ter descontinuidades. As
extenses pares no apresentam esta diculdade.
Corolrio 4.9.
1. Se f denida em (0, l) e contnua por partes, f

est nas condies de Fourier e

f(l

) = f(l
+
) = 0, ento a srie dos senos de f converge uniformemente para f
em [0, l].
2. Se f denida em (0, l) e contnua por partes e f

est nas condies de Fourier,

ento a srie dos co-senos de f converge uniformemente para f em [0, l].
4.9. CONVERGNCIAS 151
Note a diferena do comportamento das somas parciais das sries de Fourier em
relao funo quando S[f] converge uniformemente ou no para f:
1. Seja f(x) = |x|, x [1, 1]. A srie S[f] converge uniformemente em [1, 1];
desenhos de f (azul) S
1
e S
2
(vermelho), respectivamente:
-1 1
1
-1 1
1
2. Seja f(x) = x, x [1, 1]. S[f] no converge uniformemente em [1, 1];
desenhos de f (azul) S
1
e S
3
(vermelho), respectivamente:
-1 1
-1
1
-1 1
-1
1
Teorema 4.10. Se f C
per
contnua por partes e diferencivel por partes, ento a srie
de Fourier de f nica.
4.9.3 Fenmeno de Gibbs
Nos pargrafos anteriores observamos que se existir um ponto de descontinui-
dade de f num intervalo, a srie de Fourier S[f] no converge uniformemente a
f nesse intervalo. Na vizinhana de um ponto de descontinuidade de f, as somas
parciais de S[f] no cam prximas de f; pelo contrrio, tem um comportamento
oscilatrio. Na verdade, na vizinhana de um ponto de descontinuidade, o valor
de f e das somas parciais de S[f] diferem num valor aproximado de 9 do valor
152 CAPTULO 4. SRIES DE FOURIER
do salto na descontinuidade. Este comportamento conhecido com o nome de
fenmeno de Gibbs.
Denindo
n
(x
0
), a oscilao da soma parcial de ordem n de S[f], no ponto de
descontinuidade x
0
, como a diferena entre o mximo e o mnimo da soma parcial
de ordem n no ponto x
0
, Gibbs observou que o valor desta oscilao no se apro-
xima do sal(f)(x) se x (x
0
, x
0
+ ), no importando se arbitrariamente
pequeno. Vejamos o seguinte exemplo.
Exemplo 4.14.
Seja
f(x) =
_
1 se 0 x
1 se x < 0.
tal que f(x) = f(x + 2 ):
Consideremos a seguinte soma parcial de S[f]:
S
n
=
n

k=1
4
(2 k 1)
sen
_
(2 k 1) x
_
.
Observemos os grcos de f e da somas:
S
1
=
4

_
sen(x)

S
2
=
4

_
sen(x) +
sen(3 x)
3
_
S
3
=
4

_
sen(x) +
sen(3 x)
3
+
sen(5 x)
5
_
S
4
=
4

_
sen(x) +
sen(3 x)
3
+
sen(5 x)
5
+
sen(7 x)
7
_
A seguir os grcos de f (vermelho) e S
n
(azul) para n = 1, 2, 3, 4, no intervalo
[, ]:
-3 -2 -1 1 2 3
-1
1
-3 -2 -1 1 2 3
-1
1
4.9. CONVERGNCIAS 153
-3 -2 -1 1 2 3
-1
1
-3 -2 -1 1 2 3
-1
1
Note que nos desenhos verica-se o teorema de Dirichlet. Nos seguintes dese-
nhos o grco de f e S
100
:
-3 -2 -1 1 2 3
-1
1
Nos seguintes desenhos um zoom dos desenhos anteriores
0.2 0.4 0.6 0.8
0.97
0.98
0.99
1.01
1.02
1.03
0.2 0.4 0.6 0.8
1
Note que sal(0) = 2 e
1
2
_
f(0
+
) + f(0

= 0. possvel provar que o ponto de

mximo mais prximo pela direita de 0 x =

2 n
e que:
lim
n+
S
2n1
_

2 n
_
=
2

Si() 1.1789 . . .
onde Si(x) =
_
x
0
sen(t)
t
dt. Por outro lado f(0) = 1, ou seja excede em, aproxi-
madamente, 0.18, isto 9 do sal(0) = 2.
154 CAPTULO 4. SRIES DE FOURIER
4.10 Integrao e Derivao das Sries de Fourier
Sabemos que se uma srie de funes converge uniformemente para uma fun-
o, ento, a funo preserva as mesmas propriedades das funes que formam
a srie. Mas, as sries de Fourier pussuem a seguinte propriedade notvel:
Proposio 4.3. Se f C
per
contnua por partes, ento:
1. S[f] pode ser integrada termo a termo:
_
x
a
f(t) dt =
a
0
2
(x a) +

n=1
_
a
n
_
x
a
cos(
n
t) dt + b
n
_
x
a
sen(
n
t) dt

,
onde a, x [l, l] e
n
=
n
l
.
2. A funo F(x) =
_
x
0
_
f(t)
a
0
2

dt peridica de perodo 2 l, contnua e F

contnua por partes, e:

_
x
0
_
f(t)
a
0
2

dt =
l

n=1
b
n
n
+
l

n=1
1
n
_
b
n
cos(
n
x) + a
n
sen(
n
x)

.
Este resultado notvel pois vale mesmo que S[f] no convirga para f.
De fato, F contnua, pelo teorema fundamental do clculo e F

(x) = f(x) se f
for contnua. F peridica de perodo 2 l, logo:
F(x) =
c
0
2
+

n=1
_
c
n

n
+ d
n

n

.
Integrado por partes, relacionaremos os coecientes de Fourier de F com os de f:
c
n
=
1
l
_
l
n
F(x)
n

l
l

l
n
_
l
l
F

(x)
n
dx
_
=
l
n
b
n
,
se n > 1. Analogamente:
d
n
=
l
n
a
n
,
se n > 1. Como F(0) = 0, da srie de Fourier de F, temos:
0 =
c
0
2
+

n=1
c
n
,
4.10. INTEGRAO E DERIVAO DAS SRIES DE FOURIER 155
ou seja, c
0
=
2 l

n=1
b
n
n
, isto :
l

n=1
b
n
n
=
1
2 l
_
l
l
F(x) dx.
A srie

n=1
b
n
n
, necessariamente, convergente.
O teorema se aplica da seguinte forma. Se:
S[f] =
a
0
2
+

n=1
_
a
n
cos(
n
x) + b
n
sen(
n
x)

,
ento:
F(x) =
_
x
0
_
f(t)
a
0
2

=
1
2 l
_
2l
0
F(x) dx +
l

n=1
_

b
n
n
cos(
n
x) +
a
n
n
sen(
n
x)

,
Exemplo 4.15.
[1] A srie

n=2
sen(nx)
ln(n)
uma srie de Fourier?
A resposta no, pois a srie:

n=1
b
n
n
=

n=1
1
nln(n)
divergente.
2 1 1 2
6
4
2
2
4
6
Figura 4.35: Grco de S
20
, do exmplo [1].
156 CAPTULO 4. SRIES DE FOURIER
[2] Sabemos que
x =

n=1
2 (1)
n+1
n
sen(nx),
se x (, ). Como a
n
= 0 e b
n
=
2 (1)
n+1
n
, ento:
1
2
_

F(x) dx =
1
2
_

_ _
x
0
t dt
_
dx =

2
6
.
Logo:
x
2
2
=

2
6
+

n=1
2 (1)
n
n
2
cos(nx).
Integrando novamente:
x
3
6


2
x
6
=

n=1
2 (1)
n
n
3
sen(nx).
Proposio 4.4. Se f C
per
contnua por partes e diferencivel por partes, ento:
S[f

] =
_
S[f]
_

.
Isto , S[f] pode ser derivada termo a termo.
Exemplo 4.16.
Sabemos que f(x) = |x|, x [1, 1] tal que f(x) = f(x+2), contnua por partes,
diferencivel por partes e:
|x| =
1
2
+

n=1
4

2
(2 n 1)
2
cos
_
(2 n 1) x
_
.
Ento a srie de Fourier de f

(x) =
_
1 se 0 < x < 1
1 se 1 < x < 0
:
S[f

] =

n=1
4
(1 2 n)
sen
_
(2 n 1) x
_
.
Note que a srie no converge nos pontos onde f

no existe.
4.11. CONVERGNCIA EM MDIA 157
4.11 Convergncia em Mdia
Uma funo f : [a, b] R dita de quadrado integrvel se:
_
b
a
|f(x)|
2
dx < +.
Observaes 4.1.
1. Se f for limitada e integrvel sobre [a, b], ento de quadrado integravl
sobre [a, b]. De fato, se f limitada, existe k > 0 tal que |f(x)| k para todo
x [a, b] e:
_
b
a
|f(x)|
2
dx k
2
_
b
a
dx = k
2
(b a).
2. Se f no for limitada, ainda assim pode ser integrvel e |f|
2
no integrvel.
Como no caso de f(x) =
1

x
em (0, 1).
Denio 4.9. Seja a sequncia
_
f
n
_
nN
tal que cada f
n
de quadrado integrvel em
[a, b]. Dizemos que
_
f
n
_
nN
converge em mdia quadrtica para uma funo f de qua-
drado integrvel, se:
lim
n+
_
b
a

f(x) f
n
(x)

2
dx = 0.
Observaes 4.2.
1.
_
b
a

f(x) f
n
(x)

2
dx dito erro mdio quadrtico de aproximao.
2. A seguir, vericaremos se as somas parciais de S[f], onde f de quadrado
integrvel, convergem em mdia quadrtica a f.
Primeiramente, consideremos a funo:
g
N
(x) = c
0
+
N

n=1
c
n

n
+ d
n

n
,
onde
n
e
n
so dados por (4.1). Denotemos por:
E
N
=
_
l
l

f(x) g
N
(x)

2
dx =
_
l
l
f
2
(x) dx 2
_
l
l
f(x) g
N
(x) dx +
_
l
l
g
2
N
(x) dx.
158 CAPTULO 4. SRIES DE FOURIER
Por outro lado:
_
l
l
f(x) g
N
(x) dx = c
0
_
l
l
f(x) dx +
N

n=1
c
n
_
l
l
f(x)
n
dx + d
n
_
l
l
f(x)
n
dx
= l c
0
a
0
+ l
N

n=1
_
c
n
a
n
+ d
n
b
n

.
Anlogamente, utilizando a ortogonalidade de
n
e
n
, temos:
_
l
l
_
g
N
(x)
_
2
dx = 2 l c
2
0
+ l
N

n=1
_
c
2
n
+ d
2
n

.
Logo, podemos reescrever:
E
N
=
_
l
l
_
f(x)
_
2
dx 2 l
_
c
0
a
0
+
N

n=1
_
c
n
a
n
+ d
n
b
n

_
+ l
_
2 c
2
0
+
N

n=1
_
c
2
n
+ d
2
n

_
.
Derivando para achar os pontos crticos, temos:
E
N
c
0
= 2 l a
0
+ 4 l c
0
= 0
E
N
c
1
= 2 l a
1
+ 2 l c
1
= 0
E
N
d
1
= 2 l b
1
+ 2 l d
1
= 0
.
.
.
E
N
c
n
= 2 l a
n
+ 2 l c
n
= 0
E
N
d
n
= 2 l b
n
+ 2 l d
n
= 0
No difcil ver que os valores c
0
=
a
0
2
, c
n
= a
n
e d
n
= b
n
minimizam E
N
; ento:
g
N
(x) = S
N
,
onde, S
N
a N-sima soma parcial de S[f]. Denotemos por E
N
o menor dos E
N
,
utilizando os mesmos argumentos anteriores:
E
N
=
_
l
l
_
f(x)
_
2
dx l
_
a
2
0
2
+
N

n=1
_
a
2
n
+ b
2
n

_
;
4.11. CONVERGNCIA EM MDIA 159
como E
N
0, temos:
1
l
_
l
l
_
f(x)
_
2
dx
a
2
0
2
+
N

n=1
_
a
2
n
+ b
2
n

;
esta desigualdade vlida para todo N; ento, fazendo N +, obtemos:
1
l
_
l
l
_
f(x)
_
2
dx
a
2
0
2
+

n=1
_
a
2
n
+ b
2
n

;
esta desigualdade chamada de Bessel.
A desiguladade de Bessel implica que:

n=1
_
a
2
n
+ b
2
n

converge e o seguinte resultado, que foi fundamental no desenvolvimento da

teoria das sries de Fourier:
Lema (Riemann-Lebesgue) Se f C
per
e contnua por partes, ento:
lim
n+
a
n
= lim
n+
b
n
= 0,
onde a
n
e b
n
so os coecientes de S[f].
Teorema 4.11. Se f C
per
e de quadrado integrvel, ento S[f] converge em mdia
para f.
Logo, se f C
per
e de quadrado integrvel, ento obtemos:
1
l
_
l
l
_
f(x)
_
2
dx =
a
2
0
2
+

n=1
_
a
2
n
+ b
2
n

,
esta igualdade chamada identidade de Parseval.
4.11.1 Aplicaes
Normalizemos o erro mdio quadrtico, da seguinte forma, seja:
E
2
N
=
1
2 l
E
N
,
ento:
E
2
N
=
1
2 l
_ _
l
l
_
f(x)
_
2
dx
_

1
2
_
a
2
0
2
+
N

n=1
_
a
2
n
+ b
2
n

_
.
160 CAPTULO 4. SRIES DE FOURIER
Utilizando a identidade de Parseval:
E
2
N
=
1
2
_
a
2
0
2
+

n=1
_
a
2
n
+ b
2
n

1
2
_
a
2
0
2
+
N

n=1
_
a
2
n
+ b
2
n

_
;
logo:
E
2
N
=
1
2

n=N+1
_
a
2
n
+ b
2
n

.
Exemplo 4.17.
[1] Sabemos que se f(x) = |x|, x [1, 1] tal que f(x) = f(x + 2), ento:
|x| =
1
2

4

n=1
cos
_
(2 n 1) x
_
(2 n 1)
2
.
f de quadrado integrvel e
_
1
1
|x|
2
dx =
2
3
. Aplicando a identidade de Parseval,
temos:
1
2
+

n=1
16
(2 n 1)
4

4
=
2
3
,
logo:

n=1
1
(2 n 1)
4
=

4
96
.
[2] Seja f(x) = x, x [1, 1] tal que f(x) = f(x + 2). Quantos termos deve ter S
n
para que S[f] convirga em mdia para f com um erro menor que 1 ?
Sabemos que: S[f] =

n=1
2 (1)
n+1
n
sen
_
n x
_
, logo:
E
2
N
=
1
2

n=N+1
4
n
2

2
=
2

n=N+1
1
n
2
.
Por outro lado:

n=N+1
1
n
2

_
+
N
dx
x
2
= lim
b+
_
b
N
dx
x
2
= lim
b+
_
1
N

1
b
_
=
1
N
.
Ento, E
2
N

2

2
N
< 0.01; donde N > 20.26. Logo so necessrios 21 termos.
4.11. CONVERGNCIA EM MDIA 161
-1 1
-1
1
Figura 4.36: Grco de S
21
.
[3] Seja f(x) = |x|, x [1, 1] tal que f(x) = f(x + 2). Quantos termos deve ter
S
n
para que S[f] convirga em mdia para f com um erro menor que 1 ?
Sabemos que: S[f] =
1
2

4

n=1
cos
_
(2 n 1) x
_
(2 n 1)
2
, logo:
E
2
N
=
1
2

n=N+1
16
(2 n 1)
4

4
=
8

n=N+1
1
(2 n 1)
4
.
Por outro lado:

n=N+1
1
(2 n 1)
4

_
+
N
dx
(2 x 1)
4
=
1
6 (2 N 1)
3
.
Ento, E
2
N

8
6
4
(2 N 1)
3
< 0.01; donde N > 1.05. Logo so necessrios 2
termos.
-1 1
Figura 4.37: Grco de S
2
.
162 CAPTULO 4. SRIES DE FOURIER
4.12 Exerccios
1. Verique que se f e g so perodicas de perido T, ento f + g e f g so pero-
dicas de
perido T.
2. Seja F(x) =
_
x
0
f(t) dt. Verique que:
a) F par se f mpar
b) F mpar se f par
3. Seja f(x) = cos(x) + cos( x). Verique que f peridica se

Q.
4. Se f peridica de perodo 2 l, verique que:
F(x) =
_
x
0
_
f(t)
a
0
2
_
dt,
onde a
0
R, peridica de perodo 2 l.
5. Sejam P = P
n
(x) os polinmios de Legendre. Verique que so ortogonais em
C([1, 1]):
P
n
P
m
=
_
1
1
P
n
(x) P
m
(x) dx = 0,
se n = m e P
n
P
n
=
2
2 n + 1
. Utilize a frmula de Rodrigues.
6. Determine S[f], se:
a) f(x) = 2 x; x [1, 1] tal que f(x) = f(x + 2)
b) f(x) = 2 x 1; x [1, 1] tal que f(x) = f(x + 2)
c) f(x) = x
2
+ x; x [, ] tal que f(x) = f(x + 2 )
d) f(x) = e
x
, x [1, 1] tal que f(x) = f(x + 2)
e) f(x) = senh(x), x [1, 1] tal que f(x) = f(x + 2)
f) f(x) = cosh(x), x [1, 1] tal que f(x) = f(x + 2)
g) f(x) = 2 cos
2
(x), x [, ] tal que f(x) = f(x + 2 )
4.12. EXERCCIOS 163
h) f(x) = cos(3 x) + cos
2
(x), x [, ] tal que f(x) = f(x + 2 )
i) f(x) =
_

_
1
2
+ x se 1 x < 0
1
2
x se 0 x < 1
, tal que f(x) = f(x + 2)
j) f(x) =
_
x + se x 0
x se 0 < x <
, tal que f(x) = f(x + 2 )
k) f(x) =
_

_
0 se 3 x <
1 se x < 2
2 se 2 x < 3
, tal que f(x) = f(x + 6 )
l) f(x) =
_
0 se x < 0
x
2
se 0 x <
, tal que f(x) = f(x + 2 )
m) f(x) =
_
0 se x < 0
x
3
se 0 x <
, tal que f(x) = f(x + 2 )
n) A funo que tem como grco:

2
164 CAPTULO 4. SRIES DE FOURIER
o) A funo que tem como grco:
6 3 -3 -6
-3
p) A funo que tem como grco:
[

7. Determine S[f], onde:

a) f(x) = a x + b, x [l, l], tal que f(x) = f(x + 2 l)
b) f(x) = a x
2
+ b x + c, x [l, l], tal que f(x) = f(x + 2 l)
8. Determine a expresso matemtica de f
p
, f
o
e esboce os grcos de f
p
e f
o
das
funes:
a) f(x) = 2 x, x [0, 1]
b) f(x) = x
2
+ 1, x [0, 1]
c) f(x) = x
2
x + 1, x [0, 1]
d) f(x) = e
x
, x [0, 1]
4.12. EXERCCIOS 165
e) f(x) = cos( x), x [0, 1]
f) f(x) = x
3
, x [0, 1]
g) f(x) = cosh(x), x [0, 1]
h) f(x) = senh(x), x [0, 1]
i) A funo que tem como grco:

2/3
j) A funo que tem como grco:
1
2
2
2
166 CAPTULO 4. SRIES DE FOURIER
k) A funo que tem como grco:
4
2
9. Determine a srie dos cosenos S[f
p
] e dos senos S[f
o
], onde f dada pelo tem
anterior.
10. Esboce os grcos das somas parciais at de ordem 4, do tem anterior.
11. Seja f(x) =
_
0 se 5 < x < 0
3 se 0 < x < 5,
tal que f(x + 10) = f(x).
Como se deve redenir f para que S[f] convirja em [5, 5].
12. Utilize a srie de Fourier de f(x) = e
x
, x [, ] tal que f(x) = f(x + 2 )
para achar o valor da srie:

n=1
(1)
n
n
2
+ 1
.
13. Utilize a srie de Fourier de f(x) = x
2
, x [, ] tal que f(x) = f(x + 2 )
para vericar que:
a)

n=1
1
n
2
=

2
6
b)

n=1
(1)
n+1
n
2
=

2
12
c)

n=1
1
(2 n 1)
2
=

2
8
4.12. EXERCCIOS 167
14. Esboce o grco das sries de Fourier do tem 1.
15. Utilize a srie de Fourier de:
f(x) =
_
1 se x < 0
1 se 0 x < ,
f(x) = f(x + 2 ), para determinar por integrao a srie de Fourier de f(x) =
|x|,
x [, ] tal que f(x) = f(x + 2 ).
16. Determine se a srie de Fourier das seguintes funes convergem uniforme-
mente:
a) f(x) = e
x
, x (1, 1)
b) f(x) = senh(x), x (, )
c) f(x) = sen(x) +|sen(x)|, x (, )
d) f(x) = x +|x|, x (1, 1)
17. Seja f(x) = x + 1|, x [1, 1] tal que f(x) = f(x + 2). Quantos termos deve
ter S
n
para que S[f] convirga em mdia para f com um erro menor que 1%?
18. Seja f(x) = x
2
+ x, x [1, 1] tal que f(x) = f(x + 2). Quantos termos deve
ter S
n
para que S[f] convirga em mdia para f com um erro menor que 1%?
168 CAPTULO 4. SRIES DE FOURIER