Series de Fourier de Senos e de Cossenos de

Indices
Impares

Reginaldo J. Santos
Departamento de Matematica-ICEx
Universidade Federal de Minas Gerais
http://www.mat.ufmg.br/~regi

26 de setembro de 2010
2

Analogo ao caso de integraca o de funcoes mpares no intervalo [ L, L], se

h : [0, 2L] R e simetrica em relaca o ao ponto (t, y) = ( L, 0), ou seja, se e tal que

h(2L t) = h(t), para todo t [0, L],

entao (verifique!)
Z 2L
h(t)dt = 0.
0

Tambem analogo ao caso de integraca o de funcoes pares no intervalo [ L, L], se

h : [0, 2L] R e simetrica em relaca o a` reta t = L, ou seja, se e tal que

h(2L t) = h(t), para todo t [0, 2L],

entao (verifique!)
Z 2L Z L
h(t)dt = 2 h(t)dt.
0 0

y y

t L 2L

L 2L

Figura 1: Prolongamentos com simetria em relaca o a` reta t = L e em relaca o ao ponto

(t, y) = ( L, 0) de uma funca o definida inicialmente somente no intervalo [0, L]

Ja vimos que se uma funca o f : [0, 2L] R e contnua por partes com derivada
f 0 tambem contnua por partes, entao pelo Corolario 5.2 ela pode ser representada por
sua serie de Fourier de senos

nt
f (t) = bn sen 2L
.
n =1
 3

y y

t t

2L L 2L

y y

t t

2L/3 4L/3 2L L/2 L 3L/2 2L

nt
Figura 2: sen , para n = 1, 2, 3, 4
2L

com os coeficientes dados por

Z 2L
1 nt
bn = f (t) sen dt para n = 1, 2, . . .
L 0 2L
Se a funca o f e simetrica em relaca o a` reta t = L, isto e , se
f (2L t) = f (t), para todo t [0, L],
2kt (2k + 1)t
entao f (t) sen e simetrica em relaca o ao ponto (t, y) = ( L, 0) e f (t) sen
2L 2L
e simetrica em relaca o a` reta t = L (verifique!). Separando os coeficientes em de ndice
par e de ndice mpar, obtemos que:
b2k = 0
2 L (2k + 1)t
Z
b2k+1 = f (t) sen dt para k = 0, 1, 2, . . .
L 0 2L
4

E assim

(2k + 1)t
f (t) = b2k+1 sen 2L
, para t (0, 2L)
k =0

Ou seja, se uma funca o f : [0, 2L] R e simetrica em relaca o a` reta t = L, a sua

serie de Fourier de senos tem somente os termos de ndice mpar.
f que sao definidas apenas em [0, L] podemos prolonga-las ao in-
Para as funcoes
tervalo [0, 2L] de forma que elas sejam simetricas em relaca o a` reta t = L:


f ( t ), se 0 t < L
f(t) = e simetrica em relaca o a` reta t = L
f (2L t), se L t < 2L

Corolario 1. Seja L um numero

real maior que zero. Para toda funca o f : [0, L] R contnua
por partes tal que a sua derivada f 0 tambem seja contnua por partes. A serie de Fourier de
senos de ndice mpar de f

(2k + 1)t
b2k+1 sen 2L ,
k =0
em que
Z L
2 (2k + 1)t
b2k+1 = f (t) sen dt para k = 0, 1, 2, . . .
L 0 2L

converge para f nos pontos do intervalo (0, L) em que f e contnua. Ou seja, podemos repre-
sentar f por sua serie de senos de Fourier de ndice mpar:

(2k + 1)t
f (t) = b2k+1 sen 2L
, para t (0, L).
k =0

A serie acima e a serie de Fourier da funca o f : R R definida por


f ( t ), se 0 t < L,
f(t) =
f (2L t), se L t < 2L,

f(t) = f(t), se 2L t < 0, f(t + 4L) = f(t).

 5

y y

t t

L 2L L/2 3L/2 2L

y y

t t

2L/6 L 5L/3 2L L/4 3L/4 5L/4 7L/4 2L

nt
Figura 3: cos , para n = 1, 2, 3, 4
2L

Ja vimos que se uma funca o f : [0, 2L] R e contnua por partes com derivada
f0tambem contnua por partes, entao pelo Corolario 5.2 ela pode ser representada por
sua serie de Fourier de cossenos

nt
f (t) = bn cos 2L
.
n =1

com os coeficientes dados por

Z 2L
1 nt
an = f (t) cos dt para n = 0, 1, 2, . . .
L 0 2L

Se a funca o f e simetrica em relaca o ao ponto ( L, 0), isto e ,

f (2L t) = f (t), para todo t [0, L],

6

2kt (2k + 1)t

entao f (t) cos e simetrica em relaca o ao ponto (t, y) = ( L, 0) e f (t) cos
2L 2L
e simetrica em relaca o a` reta t = L (verifique!). Separando os coeficientes em de ndice
par e de ndice mpar, obtemos que (verifique!):

a2k = 0
2 L (2k + 1)t
Z
a2k+1 = f (t) cos dt para k = 0, 1, 2, . . .
L 0 2L
E assim

(2k + 1)t
f (t) = a2k+1 cos 2L
, para t (0, 2L)
k =0
Ou seja, se uma funca o f : [0, 2L] R e simetrica em relaca o ao ponto ( L, 0), a sua
serie de Fourier de cossenos tem somente os termos de ndice mpar.
f que sao definidas apenas em [0, L] podemos prolonga-las ao in-
Para as funcoes
tervalo [0, 2L] de forma que elas sejam simetricas em relaca o ao ponto ( L, 0):


f ( t ), se 0 t < L
f(t) = simetrica em relaca o ao ponto ( L, 0).
f (2L t), se L t < 2L

E assim temos o seguinte resultado.

Corolario 2. Seja L um numero

real maior que zero. Para toda funca o f : [0, L] R contnua
por partes tal que a sua derivada f 0 tambem seja contnua por partes. A serie de Fourier de
cossenos de ndice mpar de f

(2k + 1)t
a2k+1 cos 2L
,
k =0

em que
Z L
2 (2k + 1)t
a2k+1 = f (t) cos dt para k = 0, 1, 2, . . .
L 0 2L
converge para f nos pontos do intervalo (0, L) em que f e contnua. Ou seja, podemos repre-
sentar f por sua serie de cossenos de Fourier de ndice mpar:

(2k + 1)t
f (t) = a2k+1 cos 2L
, para t (0, L).
k =0
 7

A serie acima e a serie de Fourier da funca o f : R R definida por


f (t) = f ( t ), se 0 t < L,
f (2L t), se L t < 2L,

f(t) = f(t), se 2L t < 0, f(t + 4L) = f(t).

8

Exerccios
1. (a) Mostre que se uma funca o h : [0, 2L] R e simetrica em relaca o ao ponto
(t, y) = ( L, 0), ou seja, se

h(2L t) = h(t), para t [0, L],

entao Z 2L
h(t) dt = 0.
0

(b) Mostre que se uma funca o h : [0, 2L] R e simetrica em relaca o a` reta t = L,
ou seja, se
h(2L t) = h(t), para t [0, L],
entao Z 2L Z L
h(t) dt = 2 h(t) dt.
0 0

(c) Mostre que se f : [0, 2L] R e simetrica em relaca o a` reta t = L, ou seja, tal
que
f (t) = f (2L t), para t [0, L],
entao os coeficientes de ndice par da serie de senos de Fourier sao nulos, ou
seja, b2k = 0, para k = 1, 2, 3 . . . e os coeficientes de ndice mpar sao dados
por
Z L
2 (2k + 1)t
b2k+1 = f (t) sen dt para k = 0, 1, 2, . . .
L 0 2L

(Sugestao: use os itens (a) e (b).)

(d) Mostre que se f : [0, 2L] R e simetrica em relaca o ao ponto (t, y) = ( L, 0),
ou seja, tal que
f (t) = f (2L t), para t [0, L],
entao os coeficientes de ndice par da serie de cossenos de Fourier sao nulos,
a2k = 0, para k = 0, 1, 2. . . . e os coeficientes de ndice mpar sao dados por
Z L
2 (2k + 1)t
a2k+1 = f (t) cos dt para k = 0, 1, 2, . . .
L 0 2L

(Sugestao: use os itens (a) e (b).)

 9

2. Determine as representacoes da funca o f : [0, L] R em termos das series de

Fourier de senos e de cossenos de ndices mpares:

L/2 t, se 0 t < L/2,
f (t) =
0, se L/2 t < L.

y y y

t t t

y y y

t t t

Figura 4: A funca o f : [0, L] R definida por f (t) = L/2 t, se t [0, L/2] e

f (t) = 0, caso contrario e as somas parciais da sua serie de Fourier de cossenos de
ndices mpares, para N = 1, 2, 3, 4, 5, 6.
10

y y y

t t t

y y y

t t t

Figura 5: A funca o f : [0, L] R definida por f (t) = L/2 t, se t [0, L/2] e f (t) = 0,
caso contrario e as somas parciais da sua serie de Fourier de senos de ndices mpares,
para N = 1, 2, 3, 4, 5, 6.

Respostas dos Exerccios

1. (a) Dividindo a integral em duas partes, fazendo a mudanca de variaveis t = 2L s na segunda parte e usando o fato
de que
h(2L t) = h(t), para t [0, L]

obtemos

Z 2L Z L Z 2L
h(t) dt = h(t) dt + h(t) dt
0 0 L
Z L Z 0
= h(t) dt + h(2L s) (ds)
0 L
Z L Z 0
= h(t) dt + h(s) ds = 0
0 L

(b) Dividindo a integral em duas partes, fazendo a mudanca de variaveis t = 2L s na segunda parte e usando o fato
de que
h(2L t) = h(t), para t [0, L]
 11

obtemos

Z 2L Z L Z 2L
h(t) dt = h(t) dt + h(t) dt
0 0 L
Z L Z 0
= h(t) dt + h(2L s) (ds)
0 L
Z L Z 0 Z L
= h(t) dt h(s) ds = 2 h(t) dt
0 L 0

2kt
(c) Para h(t) = f (t) sen 2L temos que

2k (2L t)
   
2kt 2kt
h(2L t) = f (2L t) sen = f (t) sen 2k = f (t) sen
2L 2L 2L
 
2kt
= f (t) sen = h(t)
2L

Assim segue da aplicaca o do item (a) que b2k = 0.

(2k+1)t
Para h(t) = f (t) sen 2L temos que

(2k + 1) (2L t) (2k + 1)t

 
h(2L t) = f (2L t) sen = f (t) sen (2k + 1)
2L 2L
(2k + 1)t (2k + 1)t
   
= f (t) sen = f (t) sen = h(t)
2L 2L

Assim segue da aplicaca o do item (b) que

Z L
2 (2k + 1)t
b2k+1 = f (t) sen dt para k = 0, 1, 2, . . .
L 0 2L

2kt
(d) Para h(t) = f (t) cos 2L temos que

2k (2L t)
   
2kt 2kt
h(2L t) = f (2L t) cos = f (t) cos 2k = f (t) cos
2L 2L 2L
 
2kt
= f (t) cos = h(t)
2L

Assim segue da aplicaca o do item (a) que a2k = 0.

(2k+1)t
Para h(t) = f (t) cos 2L temos que

(2k + 1) (2L t) (2k + 1)t

 
h(2L t) = f (2L t) cos = f (t) cos (2k + 1)
2L 2L
(2k + 1)t ((2k + 1)t
   
= f (t) cos = f (t) cos = h(t)
2L 2L

Assim segue da aplicaca o do item (b) que

Z L
2 (2k + 1)t
a2k+1 = f (t) cos dt para k = 0, 1, 2, . . .
L 0 2L
12

2. Lembrando que a integraca o deve ser feita no intervalo [0, 2L]:

L (0) (1)
a2k+1 = a ( f ) a2k+1 ( f 1 )
2 2k+1 0, 41 0, 4

L 1  (2k+1) 2L  (2k+1)
 4  4
= 4 sen s 4 2 2
(s sen s + cos s)
2 (2k + 1) 0 (2k + 1) 0

(2k + 1)
 
8L
= 1 cos
(2k + 1)2 2 4

(2k+1)
8L 1 cos 4 (2k + 1)t
f (t) =
2 (2k + 1)2
cos
2L
k =0

L (0) (1)
b2k+1 = b ( f ) b2k+1 ( f 1 )
2 2k+1 0, 41 0, 4

L 1  (2k+1) 2L  (2k+1)
 4  4
= 4 cos s 4 2 2
(s cos s + sen s)
2 (2k + 1) 0 ( 2k + 1 ) 0

(2k + 1)
 
2L
= (2k + 1) 4 sen
(2k + 1)2 2 4

(2k+1)
2L (2k + 1) 4 sen 4 (2k + 1)t
f (t) =
2 (2k + 1)2
sen
2L
k =0