1.

13 S
eries de Fourier de func
oes definidas em IR
Anteriormente represent
amos uma funcao real de variavel real em serie de potencias.
Por exemplo, vimos que, para todo o x IR,
+ n
X
x2 x3
x
xn
e =1+x+
+
+ ... +
+ ... =
.
2!
3!
n!
n!
n=0
x

Vamos agora ver como poderemos representar funcoes reais de variavel real e
peri
odicas em series de Fourier. Por exemplo, os sons produzidos por instrumentos musicais sao sempre combinacoes lineares de sinusoidais (seno ou coseno) com
diversas frequencias e amplitudes. O som que pode ser representado por uma u
nica
sinusoide (seno ou coseno) com uma dada frequencia e amplitude diz-se um som puro.
possvel criar quase todos os sinais
O mesmo se aplica a sinais periodicos. E
periodicos `
a custa de combinac
oes lineares (infinitas) de sinais sinusoidais (seno ou
coseno) com diversas frequencias e amplitudes.
Em primeiro lugar, vamos recordar algumas definicoes.
Fun
c
ao peri
odica: Seja f uma funcao real de variavel real. Dizemos que f e
periodica de perodo T , com T > 0, se f (x + T ) = f (x) para todo x IR e alem disso
T e o menor de todos os n
umeros reais positivos L que verificam f (x + L) = f (x) para
todo x IR.
Verifica-se facilmente que se f for periodica de perodo T , entao f (x + m T ) =
f (x) para todo x IR e todo m IN. Por exemplo,
f (x + 2T ) = f ((x + T ) + T ) = f (x + T ) = f (x), x IR.
A frequ
encia fundamental de uma funcao f periodica de perodo T e dada por
1
. Se a variavel x representar o tempo, a frequencia fundamental vem em Hertz (ciclos
T
por segundo). Quanto menor for o perodo de uma funcao, maior sera a sua frequencia
fundamental.
Muitas vezes tambem se usa a frequ
encia circular de uma funcao f periodica de
2
. Se a variavel x representar o tempo, a frequencia
perodo T , que e dada por =
T
circular vem em radianos por segundo.
Defini
c
ao: Seja f : IR IR uma funcao periodica de perodo T e suponhamos
que f admite apenas um n
umero finito de descontinuidades de primeira especie em
cada um dos intervalos [d, d + T ], com d IR. A serie de Fourier de f definida em IR
e dada por,




+ 
+
n2x
n2x
a0 X
a0 X
(an cos (nx) + bn sen (nx)) ,
+
+
an cos
+bn sen
=
2
T
T
2
n=1

n=1

onde

a0 =

2
T

d+T

f (x) dx,
d

an =
bn =

Z
Z
2 d+T
n2x
2 d+T
) dx =
f (x) cos(
f (x) cos(nx) dx, n IN,
T d
T
T d
Z
Z
2 d+T
n2x
2 d+T
) dx =
f (x)sen(
f (x)sen(nx) dx, n IN,
T d
T
T d

qualquer que seja a escolha de d IR. Usualmente, consideramos ou d = T2 ou d = 0.

Aos valores an , n IN0 , e bn , n IN, chamamos coeficientes de Fourier da funcao f .
Exemplo: Considere a func
ao f periodica, de perodo 2, definida por f (x) = x,
se x [0, 2[. Temos que f (x + 2) = f (x), x IR. Apresentamos a seguir a
representac
ao grafica da restric
ao da funcao ao intervalo [4, 4].

..
..........
f
....
...
..
..
........... ....... ....... ............
...
2
.
.
.
.
....
... .
... .
.... ..
... ..
... .
.... ...
... ....
.... ..
.... ..
....
....
.
...
.
.
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
..
...
....
....
....
....
....
....
....
...
...
...
....
....
....
....
....
....
....
....
...
...
...
...
...
...
...
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
....
.... .......
....
....
...
....
........
...
........
.
.
.
.
.
.
........................
..................................................
.................................................
..................................................
..................................................
................................
..

Vamos determinar os coeficientes de Fourier. Usando as formulas, temos

1
a0 =

2
0

1
f (x) dx =

2
0

1
x dx =

x2
2

2

= 2.

Para cada n IN, resulta

Z
Z
1 2
1 2
an =
f (x) cos(nx) dx =
x cos(nx) dx
0
0


1
sen(nx) cos(nx) 2
=
(integracao por partes)
+
x

n
n2
0


1
1
1 2
sen(2n) + 2 cos(2n) 2 = 0.
=
n
n
n
Falta determinar bn , para cada n IN. Dado n IN, temos
Z
Z
1 2
1 2
bn =
f (x) sen(nx) =
xsen(nx) dx
0
0


1
cos(nx) sen(nx) 2
=
(integracao por partes)
+
x

n
n2
0


2
1
cos(2n) (porque sen(2n) = sen0 = 0)
=

n
2
(porque cos(2n) = 1)
=
n
Consequentemente, a serie de Fourier da funcao f e a serie de funcoes definida por
+
X
2
sen(nx),

n
n=1

x IR.

Podemos formular a seguinte questao: em que circunstancias e que a serie de

Fourier de uma dada func
ao converge (pontualmente)? E se convergir, qual o valor da
sua soma para cada x IR?
Consideremos por exemplo a sucessao de funcoes das somas parciais da serie do
exemplo anterior, isto e, para cada n IN, consideremos
Sn (x) =

n
X
2
sen(kx),
k

x IR.

k=1

Facamos a representac
ao grafica de alguns elementos da sucessao de funcoes Sn (x), no
intervalo 4 x 4, ou seja, vamos representar S2 (x), S5 (x) e S40 (x).
6
5
4
3
2
1
0
15

10

1
15 15

10

2
X
2
S2 (x) =
sen(kx)
k

10

S5 (x) =

k=1

5
X
2
k=1

10

1
15 15

sen(kx)

10

10

15

40
X
2
S40 (x) =
sen(kx)
k
k=1

Observe que `
a medida que aumentamos o valor de n em Sn , a funcao Sn aproximase de f nos pontos onde f e contnua. E nos pontos onde f e descontnua? Nos pontos
de descontinuidade x0 parece que a sucessao (Sn (x0 )) converge muito lentamente (veja
nos graficos anteriores quando x0 = 4, x0 = 2, x0 = 0, x0 = 2 e x0 = 4) e ha
uma certa oscilac
ao. Este fenomeno e conhecido como fenomeno de Gibbs.
Vamos agora apresentar um resultado que nos garante a convergencia da serie de
Fourier.
Teorema de Fourier: Seja f uma funcao de domnio IR periodica, de perodo
T , e com um n
umero finito de descontinuidades de primeira especie em cada um dos
suficiente analisar as descontinuidades num
intervalos [d, d + T ], com d IR. (E
intervalo, pois f e periodica; normalmente analisamos no intervalo [ T2 , T2 ] ou no
intervalo [0, T ]). Se, para todo o x0 IR, existirem os limites laterais
lim
xx
0

f (x) f (x0 )
x x0

lim

xx+
0

f (x) f (x0 +)
,
x x0

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

xx
0

entao a serie de Fourier converge para cada x IR. Temos ainda que, a serie de Fourier
no ponto x converge para a media aritmetica dos limites laterais de f no ponto x, isto
e, para
f (x) + f (x+)
2
3

e, portanto, converge para f (x) se f for contnua em x. Tem-se, para cada x IR





+ 
f (x) + f (x+)
a0 X
n2x
n2x
=
+
an cos
+ bn sen
.
2
2
T
T
n=1
Como a func
ao f do u
ltimo exemplo esta nas condicoes do Teorema de Fourier,
para cada x IR, temos

f (x),
x 6= 2k, k ZZ

X
2
sen(nx) =

n=1
2 + 0 = , x = 2k, k ZZ
2
Em particular, para x [0, 2], temos

x,
0 < x < 2

X
2

sen(nx) =

n=1
2 + 0 = , x = 0, x = 2
2

Antes de apresentarmos mais exemplos de series de Fourier, vamos observar o

seguinte:
(a) Se g e uma func
ao integravel e par em ]L, L[, isto e, g(x) = g(x), x ]L, L[,
entao
Z
Z
L

g(x)dx = 2

g(x)dx;

(b) Se g e uma func

ao integravel e mpar em ] L, L[, isto e, g(x) = g(x),
x ] L, L[, ent
ao
Z L
g(x)dx = 0;
L

(c) O produto de duas func

oes pares ou de duas funcoes mpares e uma funcao
par, enquanto que o produto de uma funcao par por uma funcao mpar e uma funcao
mpar.
Exemplo: Considere a func
ao f periodica de perodo 2 definida por f (x) = x,
para x [1, 1[, e f (x + 2) = f (x), x IR.
(a) Determine a serie de Fourier da funcao f .
(b) Determine a func
ao soma da serie de Fourier em [1, 1] e em [1, 3].
(c) Faca a representac
ao grafica da serie de Fourier no intervalo [3, 3].
Resoluc
ao:
(a) Em primeiro lugar note que T = 2. Por outro lado, a funcao f e uma funcao
mpar em ] 1, 1[. Consequentemente, g1 definida por g1 (x) = x cos(nx), x ] 1, 1[,
e mpar em ] 1, 1[ e a func
ao g2 definida por g2 (x) = xsen(nx), x ] 1, 1[, e par
em ] 1, 1[. Portanto,
2
a0 =
2

x dx = 0;
1

2
an =
2

x cos(nx) dx = 0,
1

n IN;

bn =

2
2

xsen(nx) dx = 2
1

= 2

cos(n)
+
n

xsen(nx) dx = 2
0

sen(nx)
(n)2

1 !

= 2

cos(nx)
x
n

1

1
0

cos(nx)
dx
n

(1)n
(1)n+1
=2
, n IN.
n
n

A serie de Fourier de x e a serie de funcoes definida por

+
X
(1)n+1
2
sen(nx),
n

x IR.

n=1

(b) Como a func

ao esta nas condicoes do Teorema de Fourier, para x [1, 1],
temos
(
+
X
(1)n+1
x,
se 1 < x < 1
2
sen(nx) =
n
0,
se x = 1, x = 1
n=1

Para x [1, 3], temos

+
X
(1)n+1
sen(nx) =
2
n
n=1

x 2,
0,

se 1 < x < 3
se x = 1, x = 3

(c) Representac
ao grafica da serie no intervalo [3, 3].
...
........
....
..
...
...
...
....
.
.
..
.
..
.
.
....
....
...
.
....
... ......
.
...
...
.
... .....
.
.
....
.
.
.
.
.
.
.
.
.
.
.
..................
.......................................
.......................................
......................................
...........................
..
.. ..
...
3.......2 1....... ....
1 ....... 2
3
.
.
.
.
.
.
.
.
.
.
.
...
....
....
....
...
...
...
...
....
..
...

Exemplo: Considere a func

ao f periodica de perodo 2 definida por f (x) = |x|,
se x [1, 1[.
(a) Determine a serie de Fourier da funcao f .
(b) Determine a func
ao soma da serie de Fourier em [1, 1].
(c) Calcule tambem a soma da serie numerica
+
X

1
.
(2n + 1)2
n=0
Resoluc
ao:
(a) Em primeiro lugar note que T = 2. Por outro lado, a funcao f e uma funcao
par em [1, 1]. Consequentemente, g1 definida por g1 (x) = |x| cos(nx), x [1, 1], e
par em [1, 1] e a func
ao g2 definida por g2 (x) = |x|sen(nx), x [1, 1], e mpar em
[1, 1]. Portanto,
a0 =

|x| dx = 2
1

x dx = 1;
0

an =

|x| cos(nx) dx = 2
1

bn =

x cos(nx) dx
0

2
(1)n 1
cos(n ) sen(n )
=
2
+
2
+
,
n2 2
n2 2
n
n2 2

n IN.

|x|sen(nx) dx = 0,

n IN.

A serie de Fourier e a serie de funcoes definida por


+ 
+
X
X
4
1
1
(1)n 1
+
cos(nx)
=
+
cos((2n + 1)x),
2
2
2
2
n
2
(2n + 1)2 2
n=1

x IR.

n=0

Observe que (1)n 1 = 0, se n for par, e (1)n 1 = 2, se n for mpar.

(b) Como a func
ao esta nas condicoes do Teorema de Fourier e e contnua, para
x [1, 1], temos
+
X
1
1
|x| = 4
cos((2n + 1)x)
2
(2n + 1)2 2
n=0

(c) Em particular, para x = 0, temos

0=

+
+
X
X
1
1
1
1
4
cos(0)
=

4
.
2
2
2
(2n + 1)
2
(2n + 1)2 2
n=0

Logo,

n=0

+
X

n=0

2
1
=
.
(2n + 1)2
8

Seja f uma fun

c
ao peri
odica e de perodo T , com um n
umero finito de
descontinuidades de primeira especie em cada um dos intervalos [d, d + T ], com d IR
(portanto, e integravel em cada um desses intervalos).
Se f for uma func
ao par em ] T2 , T2 [, entao
Z
Z
4 T /2
2 T /2
f (x) dx =
f (x) dx;
a0 =
T T /2
T 0
Z
n2x
2 T /2
) dx
f (x) cos(
an =
T T /2
T
Z
4 T /2
n2x
=
) dx, n IN;
f (x) cos(
T 0
T
bn = 0, n IN.
Se f for uma func
ao mpar em ]

T T
2 , 2 [,

entao

a0 = 0;
an = 0,

n IN;

bn =

2
T

4
T

T /2

f (x)sen(

T /2
T /2

f (x)sen(

c
Erc
lia Sousa 2009

n2x
) dx
T

n2x
) dx,
T

n IN.

1.14 S
eries de Fourier de func
oes definidas num intervalo
limitado
Em determinadas condic
oes, vimos que uma funcao periodica admite uma representacao em serie de Fourier. E se a funcao nao for periodica? Neste caso tal representacao nao e possvel em IR. Contudo, podemos representar em serie de Fourier uma
funcao f definida num intervalo do tipo [d, D[ (ou do tipo ]d, D] ou do tipo [d, D]),
com d < D. Como? Consideramos uma extensao periodica de perodo T = D d > 0
a IR da func
ao f . Seja f essa extensao periodica, isto e,
f(x) = f (x), x [d, D[= [d, d + T [ (ou x ]d, D] =]d, d + T ])
e
f(x + T ) = f(x),

x IR.

f
..
..........
..
....
....
..
........
...
...... ...
...
..
.....
....
.
...
.
...
...
...
..
.
.
...
.
...
...
..
..
.
.
.
.
..........................
...................................................................................
.

d+T

..
..........
..
..
.
.
...
...
...
... ...........
.........
.........
........
........ .
........ .
.
.
.
.
.
.
... ........ ..
.
.
...... ...
.
.
...... ...
...... ...
.
.
...
...
.
.
.
.
.....
....
.
.
.....
.....
.
.
..
..
...
.
..
.
.
.
.
.
....
....
.
....
...
...
.......
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
..
..
..
...
... ....
... ....
... .... ...
... ....
...
... ....
.
. ...
. ...
. ... ..
. ...
. ...
...
...
....
..
.......
......
.......
......
......
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..................
.........................................................................
......................................
.....................................
.....................................
.....................................
............................
.

...

d 3T

...

d 2T

dT

d+T

d + 2T

d + 3T

Se f estiver definida no intervalo fechado [d, D], podemos ignorar a definicao da

funcao num dos extremos e procedemos como se f estivesse apenas definida num
intervalo do tipo [d, D[ ou do tipo ]d, D].
A serie de Fourier da func
ao f definida em IR periodica, de perodo T , e dada por




+ 
a0 X
n2x
n2x
+
+ bn sen
an cos
2
T
T
n=1

onde
a0 =
an =
bn =

Z
2 d+T
T d
Z
2 d+T
T d
Z
2 d+T
T d

Z
2 d+T
f (x) dx,
f(x) dt =
T d
Z
2 d+T
n2x
n2x
) dx =
) dx, n IN,
f (x) cos(
f(x) cos(
T
T d
T
Z
2 d+T
n2x
n2x

) dx =
) dx, n IN.
f (x)sen(
f (x)sen(
T
T d
T

Defini
c
ao: Seja f uma func
ao definida em I com I = [d, D[= [d, d + T [ ou
I =]d, D] =]d, d + T ] (note que T = D d). Suponhamos que f e limitada e que
tem um n
umero finito de descontinuidades de primeira especie em I. Entao, a serie
de Fourier de f e a restric
ao da serie de Fourier de f a [d, D[= [d, d + T [, onde f e a
extensao periodica de perodo T de f a IR, isto e, e a serie




+ 
n2x
n2x
a0 X
+
an cos
+ bn sen
,
2
T
T
n=1

para x [d, D] = [d, d + T ], onde

Z
2 d+T
a0 =
f (x) dx,
T d
Z
n2x
2 d+T
f (x) cos(
) dx n IN,
an =
T d
T
Z
n2x
2 d+T
) dx n IN.
f (x)sen(
bn =
T d
T
Aos valores an e bn , chamamos coeficientes de Fourier da funcao f .
Temos a seguir o Teorema de Fourier para fun
co
es definidas em intervalos
limitados.
Teorema: Seja f uma func
ao definida em I com I = [d, d + T [. Suponhamos
que f e limitada e que tem apenas um n
umero finito de descontinuidades de primeira
especie em I. Se, para todo x0 [d, d + T ], existirem os limites laterais
lim
xx
0

f (x) f (x0 )
x x0

lim

xx+
0

f (x) f (x0 +)
,
x x0

com
f (x0 ) = lim f (x) e f (x0 +) = lim f (x),
xx+
0

xx
0

(se x0 = d, apenas consideramos o limite `a direita e se x0 = d+T , apenas consideramos

o limite `a esquerda), ent
ao, para cada x ]d, d + T [, temos




+ 
a0 X
n2x
n2x
f (x) + f (x+)
+
an cos
+ bn sen
=
2
T
T
2
n=1

que e igual a f (x) se f for contnua em x. Para x = d ou x = d + T , temos





+ 
n2x
n2x
f (d+) + f ((d + T ))
a0 X
+
.
+ bn sen
=
an cos
2
T
T
2
n=1

Exemplo: Considere a func

ao f : [1, 2] IR definida por f (x) = x, se x [1, 2].
(a) Determine a serie de Fourier da funcao f .
(b) Determine a func
ao soma da serie de Fourier.
(c) Faca a representac
ao grafica da serie de Fourier.
Resoluc
ao: (a) Em primeiro lugar note que T = 2 1 = 1. Apresentamos a seguir
a representac
ao grafica da func
ao f .
..
..........
....
...
..
...
....
.... ..
...
... ..
.
.
...
.
.
...
..
......
...
.
..
...
..
..
..
.
.
.........................................................................

Vamos determinar os coeficientes de Fourier. Usando as formulas, temos

Z
Z
2 2
2 2
f (x) dx =
x dx = 3.
a0 =
1 1
1 1
8

an =

bn =

2
1

2
1

f (x) cos(n2x) dx =
1

2
1

x cos(n2x) dx = . . . = 0, n IN

2
f (x) sen(n2x) dx = . . . =
1

xsen(n2x) dx =

1
, n IN.
n

Consequentemente, a serie de Fourier da funcao f e a serie de funcoes definida por

+

3 X 1

sen(2nx), x [1, 2].

2 n=1 n
(b) Como a func
ao f esta nas condicoes do Teorema de Fourier e e contnua em
]1, 2[, temos

x,
1<x<2

3 X 1

sen(2nx) =

2 n=1 n

3,
se x = 1, x = 2.
2
(c) Apresentamos a seguir a representacao grafica da serie de Fourier de f .
...
.........
...
...
...
...
....
...
....
... ..
.
3/2 .......... ....... .................... ..
....
....
.....
....
...
...
..
..
.
...
..
.
...
..
...
...
.
..............................................................................................
..

c
Erc
lia Sousa 2009

1.15 S
erie de Cossenos e S
erie de Senos
Suponhamos que temos uma funcao f definida no intervalo [0, L], limitada e com
apenas um n
umero finito de descontinuidades de primeira especie. Pelo que foi exposto
na u
ltima secc
ao,




+ 
a0 X
n2x
n2x
+
+ bn sen
, x [0, L],
an cos
2
L
L
n=1

com
a0 =
an =
bn =

Z
2 L
f (x) dx,
L 0
Z
n2x
2 L
) dx,
f (x) cos(
L 0
L
Z
n2x
2 L
) dx,
f (x)sen(
L 0
L

n IN,
n IN.

Contudo, nesta situac

ao ainda poderemos ter mais dois tipos de series. Series
apenas com cossenos, se fizermos uma extensao par de f ao intervalo [L, L], e series
apenas com senos, se fizermos uma extensao mpar de f ao intervalo [L, L].
S
erie de Cossenos
Suponhamos que temos uma funcao f definida no intervalo [0, L], limitada e com
apenas um n
umero finito de descontinuidades de primeira especie. Podemos estender
esta funcao ao intervalo [L, L] de modo a que esta extensao seja uma funcao par.
f

...
.........
...
.
......
...
.....
... ....... ....
.
... ....
.......
..
....
............................................................................

...
.........
...
.
............
......
.....
..... ....
... .. ....... ....
.....
... .. ..
.
... .. ...
.
.
..
..
....
...............................................................................................................................................................................................

A extens
ao par f de f ao intervalo [L, L] e definida por
(
f (x),
0xL
f(x) =
f (x), L x < 0
Como f e limitada em [0, L] e tem apenas um n
umero finito de descontinuidades
de primeira especie em [0, L], a funcao f tambem e limitada em [L, L] e tem apenas
um n
umero finito de descontinuidades de primeira especie. Vamos considerar a serie
de Fourier de f, definida no intervalo [L, L], com T = 2L. Para todo o x [L, L],
temos








+
+ 
n2x
n2x
n2x
n2x
a0 X
a0 X
+
+
+bn sen
=
+bn sen
an cos
an cos
2
T
T
2
2L
2L
n=1

n=1

+
nx
nx
a0 X
an cos
+bn sen
,
= +
2
L
L
n=1

10

onde
2
2L

a0 =
an =

2
2L

bn =

2
2L

Z
Z
Z

2
f(x) dx =
L
L
L

f (x) dx
0

2
n2x
) dx =
f(x) cos(
2L
L
L
L

f (x) cos(
0

nx
) dx, n IN,
L

n2x
) dx = 0, n IN.
f(x)sen(
2L
L

Note que f e uma func

ao par.
Dada uma func
ao f definida e limitada em [0, L] com apenas um n
umero finito
de descontinuidades de primeira especie em [0, L], a sua serie de cossenos (que e a
restricao ao intervalo [0, L] da serie de Fourier da extensao par de f com T = 2L) e
dada por

nx
a0 X
an cos(
+
),
x [0, L],
(1)
2
L
n=1
com

a0 =
an =

Z
2 L
f (x)dx
L 0
Z
2 L
nx
)dx,
f (x) cos(
L 0
L

n IN.

S
erie de Senos
Suponhamos que temos uma funcao f definida num intervalo [0, L], limitada e com
apenas um n
umero finito de descontinuidades de primeira especie. Podemos estender
esta funcao ao intervalo [L, L] de modo a que esta extensao seja uma funcao mpar.
Cuidado com a origem!! Qualquer funcao mpar e nula na origem!
f

.
..........
...
.
.....
..
......
... ....... ...
.
... ...
..
........
.
..
.....
...
....
..........................................................................

..
..........
...
.
.....
..
......
... ...... ...
.
... ....
.......
..
.....
..
...
L
...
...
..........................................................................
..............................................................................................................
...
0.....
L
.
.
......
..
... ..
..
... ..
... ..
..... ......... ....
.
...
......
...
....

A extens
ao mpar f de f ao intervalo [L, L]

f (x),

f (x) =
0,

f (x),

e definida por
0<xL
x=0
L x < 0

Como f e limitada em [0, L] e tem apenas um n

umero finito de descontinuidades

de primeira especie em [0, L], a func

ao f , extensao mpar de f , tambem e limitada em
[L, L] e tem apenas um n
umero finito de descontinuidades de primeira especie em
[L, L]. Vamos considerar a serie de Fourier de f, definida no intervalo [L, L], com

11

T = 2L. Para todo o x [L, L], temos









+
+ 
a0 X
n2x
n2x
n2x
n2x
a0 X
+
an cos
an cos
+bn sen
= +
+bn sen
2
T
T
2 n=1
2L
2L
n=1
=

+
nx
nx
a0 X
an cos
+bn sen
+
2 n=1
L
L

onde
a0 =
an =
bn =

2
2L
2
2L

f(x) dx = 0 (f e uma funcao mpar.)

L
Z L

n2x
) dx = 0, n IN,
f(x) cos(
2L
L
Z L
Z
2
2 L
nx
n2x
) dx =
) dx, n IN.
f (x)sen(
f(x)sen(
2L L
2L
L 0
L

Dada uma func

ao f definida e limitada em [0, L] com apenas um n
umero finito de
descontinuidades de primeira especie em [0, L], a sua serie de senos (que e a restricao
ao intervalo [0, L] da serie de Fourier da extensao mpar de f com T = 2L) e dada por

bn sen(

n=1

com

bn =

2
L

nx
),
L

f (x)sen(
0

x [0, L],

nx
) dx,
L

(2)

n IN.

Exemplo: Considere a func

ao f : [0, 2] IR definida por
(
1, 0 x 1
f (x) =
0, 1 < x 2
(a) Determine a serie de Fourier de f .
(b) Determine a serie dos cossenos de f .
(c) Determine a serie dos senos de f .
Resoluc
ao:
(a) Vamos determinar a serie de Fourier de f . Como T = 2, temos
Z 1
Z
2 2
a0 =
1 dx = 1
f (x) dx =
2 0
0
Z 1
Z
2 2
n2x
an =
cos(nx) dx
) dx =
f (x) cos(
2 0
2
0


0
sen(nx) 1 sen(n)
=

= 0, n IN
=
n
n
n
0


Z 1
Z
cos(nx) 1 cos(n) + 1
n2x
2 2
) dx =
sen(nx) dx =
=
f (x)sen(
bn =
2 0
2
n
n
0
0
n
1 (1)
, n IN.
=
n
12

A serie de Fourier de f , para todo x [0, 2], e dada por

+

1 X 1 (1)n
2
1 X
+
sen (nx) = +
sen ((2k + 1)x) .
2 n=1
n
2
(2k + 1)
k=0

(b) Vamos determinar a serie de cossenos de f . Como consideramos a extensao

par de f , temos f com T = 4. Assim
Z 1
Z
Z
2 2
4 2
1 dx = 1
f (x) dx =
a0 =
f (x) dx =
4 2
4 0
0
Z
Z
4 2
n2x
n2x
2 2
)
dx
=
) dx
f (x) cos(
f
(x)
cos(
an =
4 2
4
4 0
4



1
Z 1
n
sen
sen( nx
)
nx
2
2
) dx = 2
, n IN
cos(
=2
=
2
n
n
0
0
A serie de cossenos de f , para todo x [0, 2], e dada por




+
+
 nx  1 X
1 X sen n
(2k + 1)x
2(1)k
2
2
= +
+
cos
cos
.
2
n
2
2
(2k + 1)
2
n=1

k=0

(c) Serie dos senos de f fica como exerccio.

c
Erc
lia Sousa 2009

13