S eries de Fourier de Senos e de Cossenos de Indices Impares

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

26 de setembro de 2010

2 o de func An alogo ao caso de integrac a oes mpares no intervalo [ L, L], se sim o ao ponto (t, y) = ( L, 0), ou seja, se e tal que h : [0, 2 L] R e etrica em relac a h (2 L t ) = h ( t ), ent ao (verique!)
2L 0

para todo t [0, L],

h(t)dt = 0.

o de func pares no intervalo [ L, L], se Tamb em an alogo ao caso de integrac a oes sim o a ` reta t = L, ou seja, se e tal que h : [0, 2 L] R e etrica em relac a h (2 L t ) = h ( t ), ent ao (verique!)
2L 0

para todo t [0, 2 L],

h(t)dt = 2

L 0

h(t)dt.

t t L 2L L 2L

o a ` reta t = L e em relac o ao ponto Figura 1: Prolongamentos com simetria em relac a a o denida inicialmente somente no intervalo [0, L] (t, y) = ( L, 0) de uma func a o f : [0, 2 L] R e cont J a vimos que se uma func a nua por partes com derivada f tamb em cont nua por partes, ent ao pelo Corol ario 5.2 ela pode ser representada por sua s erie de Fourier de senos

f (t) =

bn sen
n =1

n t . 2L

t 2L L 2L

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

Figura 2: sen com os coecientes dados por bn = 1 L

2L 0

n t , para n = 1, 2, 3, 4 2L

f (t) sen

n t dt 2L

para n = 1, 2, . . .

o f e sim o a ` reta t = L, isto e , se Se a func a etrica em relac a f (2 L t ) = f ( t ), ent ao f (t) sen para todo t [0, L],

2k t (2k + 1) t sim o ao ponto (t, y) = ( L, 0) e f (t) sen e etrica em relac a 2L 2L sim o a ` reta t = L (verique!). Separando os coecientes em de e etrica em relac a ndice par e de ndice mpar, obtemos que: b2k = 0 2 b2k+1 = L
L 0

f (t) sen

(2k + 1) t dt para k = 0, 1, 2, . . . 2L

4 E assim f (t) =

b2k+1 sen
k =0

(2k + 1) t , 2L

para t (0, 2 L)

o f : [0, 2 L] R e sim o a ` reta t = L, a sua Ou seja, se uma func a etrica em relac a s erie de Fourier de senos tem somente os termos de ndice mpar. f que s Para as func oes ao denidas apenas em [0, L] podemos prolong a-las ao ino a ` reta t = L: tervalo [0, 2 L] de forma que elas sejam sim etricas em relac a f ( t ), se 0 t < L f (2 L t), se L t < 2 L

f(t) =

sim o a ` reta t = L e etrica em relac a

Corol ario 1. Seja L um numero real maior que zero. Para toda fun ca o f : [0, L] R cont nua por partes tal que a sua derivada f tamb em seja cont nua por partes. A s erie de Fourier de ndice mpar de f senos de (2k + 1) t b2k+1 sen 2 L , k =0 em que b2k+1 = 2 L
L 0

f (t) sen

(2k + 1) t dt para k = 0, 1, 2, . . . 2L

converge para f nos pontos do intervalo (0, L) em que f e cont nua. Ou seja, podemos representar f por sua s erie de senos de Fourier de ndice mpar:

f (t) =

b2k+1 sen
k =0

(2k + 1) t , 2L

para t (0, L).

A s erie acima e a s erie de Fourier da fun ca o f : R R denida por f(t) = f ( t ), se 0 t < L, f (2 L t), se L t < 2 L, f(t + 4 L) = f(t).

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

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

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

Figura 3: cos

n t , para n = 1, 2, 3, 4 2L

o f : [0, 2 L] R e cont J a vimos que se uma func a nua por partes com derivada f tamb em cont nua por partes, ent ao pelo Corol ario 5.2 ela pode ser representada por sua s erie de Fourier de cossenos

f (t) = com os coecientes dados por an = 1 L

2L 0

bn cos
n =1

n t . 2L

f (t) cos

n t dt 2L

para n = 0, 1, 2, . . .

o f e sim o ao ponto ( L, 0), isto e , Se a func a etrica em relac a f (2 L t ) = f ( t ), para todo t [0, L],

6 ent ao f (t) cos

(2k + 1) t 2k t sim o ao ponto (t, y) = ( L, 0) e f (t) cos e etrica em relac a 2L 2L sim o a ` reta t = L (verique!). Separando os coecientes em de e etrica em relac a ndice par e de ndice mpar, obtemos que (verique!):
a 2k = 0 2 a 2k +1 = L
L 0

f (t) cos

(2k + 1) t dt para k = 0, 1, 2, . . . 2L (2k + 1) t , 2L

para t (0, 2 L)

E assim f (t) =

a2k+1 cos
k =0

o f : [0, 2 L] R e sim o ao ponto ( L, 0), a sua Ou seja, se uma func a etrica em relac a s erie de Fourier de cossenos tem somente os termos de ndice mpar. f que s Para as func oes ao denidas apenas em [0, L] podemos prolong a-las ao in o ao ponto ( L, 0): tervalo [0, 2 L] de forma que elas sejam sim etricas em relac a f(t) = f ( t ), se 0 t < L f (2 L t), se L t < 2 L

o ao ponto ( L, 0). sim etrica em relac a

E assim temos o seguinte resultado.

Corol ario 2. Seja L um numero real maior que zero. Para toda fun ca o f : [0, L] R cont nua por partes tal que a sua derivada f tamb em seja cont nua por partes. A s erie de Fourier de ndice mpar de f cossenos de

a2k+1 cos
k =0

(2k + 1) t , 2L

em que a 2k +1 = 2 L
L 0

f (t) cos

(2k + 1) t dt para k = 0, 1, 2, . . . 2L

converge para f nos pontos do intervalo (0, L) em que f e cont nua. Ou seja, podemos representar f por sua s erie de cossenos de Fourier de ndice mpar:

f (t) =

a2k+1 cos
k =0

(2k + 1) t , 2L

para t (0, L).

7 A s erie acima e a s erie de Fourier da fun ca o f : R R denida por f(t) = f ( t ), se 0 t < L, f (2 L t), se L t < 2 L, f(t + 4 L) = f(t).

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

Exerc cios
o h : [0, 2 L] R e sim o ao ponto 1. (a) Mostre que se uma func a etrica em relac a (t, y) = ( L, 0), ou seja, se h (2 L t ) = h ( t ), ent ao
0 2L

para t [0, L],

h(t) dt = 0.

o h : [0, 2 L] R e sim o a ` reta t = L, (b) Mostre que se uma func a etrica em relac a ou seja, se h(2 L t) = h(t), para t [0, L], ent ao
0 2L

h(t) dt = 2

L 0

h(t) dt.

sim o a ` reta t = L, ou seja, tal (c) Mostre que se f : [0, 2 L] R e etrica em relac a que f (t) = f (2 L t), para t [0, L], ent ao os coecientes de ndice par da s erie de senos de Fourier s ao nulos, ou seja, b2k = 0, para k = 1, 2, 3 . . . e os coecientes de ndice mpar s ao dados por b2k+1 = 2 L
L 0

f (t) sen

(2k + 1) t dt para k = 0, 1, 2, . . . 2L

(Sugest ao: use os itens (a) e (b).) sim o ao ponto (t, y) = ( L, 0), (d) Mostre que se f : [0, 2 L] R e etrica em relac a ou seja, tal que f (t) = f (2 L t), para t [0, L], ent ao os coecientes de ndice par da s erie de cossenos de Fourier s ao nulos, a2k = 0, para k = 0, 1, 2. . . . e os coecientes de ndice mpar s ao dados por a 2k +1 = 2 L
L 0

f (t) cos

(2k + 1) t dt para k = 0, 1, 2, . . . 2L

(Sugest ao: use os itens (a) e (b).)

9 da func o f : [0, L] R em termos das s 2. Determine as representac oes a eries de Fourier de senos e de cossenos de ndices mpares: f (t) = L/2 t, se 0 t < L/2, 0, se L/2 t < L.

o f : [0, L] R denida por f (t) = L/2 t, se t [0, L/2] e Figura 4: A func a f (t) = 0, caso contr ario e as somas parciais da sua s erie de Fourier de cossenos de ndices mpares, para N = 1, 2, 3, 4, 5, 6.

10
y y y

o f : [0, L] R denida por f (t) = L/2 t, se t [0, L/2] e f (t) = 0, Figura 5: A func a caso contr ario e as somas parciais da sua s erie de Fourier de senos de ndices mpares, para N = 1, 2, 3, 4, 5, 6.

Respostas dos Exerc cios

1. (a) Dividindo a integral em duas partes, fazendo a mudanc a de vari aveis t = 2 L s na segunda parte e usando o fato de que h (2 L t ) = h ( t ), obtemos
2L 0 L 0 L 0 L 0 2L L 0 L 0 L

para t [0, L]

h(t) dt

= = =

h(t) dt + h(t) dt + h(t) dt +

h(t) dt

h(2 L s) (ds) h(s) ds = 0

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

11
obtemos
2L 0

h(t) dt

= = =

L 0 L 0 L 0

h(t) dt + h(t) dt + h(t) dt

2L L 0 L 0 L

h(t) dt

h(2 L s) (ds) h(s) ds = 2

L 0

h(t) dt

(c) Para h(t) = f (t) sen

2k t 2L

temos que 2k (2 L t ) 2k t = f (t) sen 2k 2L 2L 2k t 2L

h (2 L t )

= =

f (2 L t) sen

= f (t) sen

f (t) sen

2k t 2L

= h(t)

o do item (a) que b2k = 0. Assim segue da aplicac a Para h(t) = f (t) sen
(2k +1) t 2L

temos que

h (2 L t )

= =

f (2 L t) sen

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

o do item (b) que Assim segue da aplicac a 2 L

L 0

b2k+1

f (t) sen

(2k + 1) t dt para k = 0, 1, 2, . . . 2L

(d) Para h(t) = f (t) cos

2k t 2L

temos que 2k (2 L t ) 2k t = f (t) cos 2k 2L 2L 2k t 2L

h (2 L t )

= =

f (2 L t) cos

= f (t) cos

f (t) cos

2k t 2L

= h(t)

o do item (a) que a2k = 0. Assim segue da aplicac a Para h(t) = f (t) cos
(2k +1) t 2L

temos que

h (2 L t )

= =

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

o do item (b) que Assim segue da aplicac a 2 L

L 0

a 2k +1

f (t) cos

(2k + 1) t dt para k = 0, 1, 2, . . . 2L

12
o deve ser feita no intervalo [0, 2 L]: 2. Lembrando que a integrac a a 2k +1

= = =

L (1) (0) a ( f 1 ) a 2k +1 ( f 1 ) 0, 4 2 2k+1 0, 4 L 1 4 sen s 2 (2k + 1) 8L (2k + 1)2 2

(2k +1) 4

2L (s sen s + cos s) (2k + 1)2 2

(2k +1) 4

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

f (t) =

k =0

1 cos 4 (2k + 1)2

(2k +1)

cos

(2k + 1) t 2L

b2k+1

= = =

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

1 L 4 cos s 2 (2k + 1)
2L (2k + 1)2 2 2L 2

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

(2k +1) 4

(2k +1) 4

f (t) =

k =0

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

(2k +1) 4

sen

(2k + 1) t 2L