Sries de Fourier

Introduo resumida para estudantes de Clculo

Prof. Lcio Fassarella
1 Introduo
Sries de Fourier so representaes de funes por sries de funes trigonomtricas, tipo (1 0):
) (r) =
a
0
2
+
1

n=0
_
a
n
cos
_
:r
1
_
+ /
n
sin
_
:r
1
__
onde 1 0 um nmero xado e a
0
e (a
n
)
n1
e (/
n
)
n1
so os coecientes da srie a diviso por 2 na
primeira parcela introduzida por convenincia.
A teoria das sries de Fourier (melhor) formulada no mbito da teoria dos espaos vetoriais munidos
de produto-interno. Nesses espaos so denidos conceitos geomtricos anlogos queles encontrados na
Geometria Analtica: ngulo, norma e distncia, ... Apesar de haver analogias com a Geometria Analtica
elementar, a teoria das sries de Fourier no simples porque os espaos de funes tm (geralmente)
dimenso innita.
A motivao fsica para o estudo das sries de Fourier que elas tm diversas aplicaes importantes,
particularmente na resoluo de equaes diferenciais parciais.
2 Espao de Funes
Para 1 0, seja C
0
[1, 1] o conjunto das funes contnuas denidas no intevalo [1, 1]. Esse conjunto
munido das operaes de soma e multiplicao escalar pontuais constitui-se num espao linear de dimenso
innita(!); nesse espao de funes, usando a integral denimos o seguinte produto interno:
, : C
0
[1, 1] C
0
[1, 1] R , ), q :=
_
L
L
) (r) q (r) dr
Lembramos que um produto-interno caracterizado pelas seguintes propriedades:
Bilinearidade:
)
1
+ a)
2
, q = )
1
, q + a )
2
, q , \a R
), q
1
+ /q
2
= ), q
1
+ / ), q
2
, \/ R
Simetria:
), q = q, )
Positividade denida:
), ) _ 0 , ), ) = 0 = ) = 0
Usando o produto interno, denimos a norma euclideana:
| | : C
0
[1, 1] [0, ) , |)| := ), )
1=2
Lembramos que uma norma caracterizada pelas seguintes propriedades:
Desigualdade triangular:
|) + q| _ |)| +|q|
Fatorao de escalar positivo:
|a)| = a |)| \a 0
Positividade denida:
|)| _ 0 , |)| = 0 = ) = 0
1
Teorema 1 (Desigualdade de Cauchy-Schwartz) Para quaisquer funes ), q C
0
[1, 1], vale
[), q[ _ |)| |q| , ), q
A Desigualdade de Cauchy-Schwartz nos permide denir o ngulo entre duas funes:
Def. 2 (ngulo) O ngulo entre duas funes ), q C
0
[1, 1] denido por
0 := arccos
_
), q
|)| |q|
_
[0, ]
As funes contnuas so vetores de um espao linear de dimenso innita munido de um produto interno
e de uma norma. Desse ponto de vista, um problema natural a determinao de uma base, ou seja, de um
conjunto (innito) de funes n
1
, n
2
, n
3
, ... cujas combinaes lineares possam representar univocamente
quaisquer funo do espao:
) = a
1
n
1
+ a
2
n
2
+ a
3
n
3
+ ...
Naturalmente, o fato do espao C
0
[1, 1] ter dimenso innita implica novos fenmenos em relao aos
espaos lineares de dimenso nita, principalmente em relao prpria noo de base. Uma base para
C
0
[1, 1] na topologia da norma | | dada pelo conjunto das funes trigonomtricas
_
1
2
_
_
_
cos
_
:r
1
_
; : N

_
_
_
sin
_
:r
1
_
; : N

_
Nesse caso, a decomposio de uma funo ) nessa base chamada de srie de Fourier.
2
3 Srie de Fourier
Def. 3 (Srie de Fourier) A srie de Fourier de uma funo integrvel ) : [1, 1] R denida por
a
0
2
+
1

n=1
_
a
n
cos
_
:r
1
_
+ /
n
sin
_
:r
1
__
onde
a
0
: =
1
1
_
L
L
) (r) dr
a
n
: =
1
1
_
L
L
) (r) cos
_
:r
1
_
dr , : N
/
n
: =
1
1
_
L
L
) (r) sin
_
:r
1
_
dr , : N
A importncia da srie de Fourier deve-se ao teorema de Fourier:
Teorema 4 (Convergncia da Srie de Fourier) Seja ) : [1, 1] R uma funo derivvel por partes.
Se ) e sua derivada )
0
so contnuas por partes, ento no intervalo (1, 1) a srie de Fourier de )
converge para ) nos pontos de continuidade e converge para a mdia dos limites laterais nos pontos de
descontinuidade; mais precisamente, no ponto r (1, 1), a srie de Fourier de ) converge para
) (r
+
) + ) (r

)
2
Obs. 5 A convergncia da srie de Fourier nos extremos do intervalo anloga: se a funo ) for peridica
com perodo 1, ento a srie de Fourier em r = 1 converge para ) (1) = ) (1); se ) no for peridica,
ento a srie de Fourier converge para a mdia dos limites laterais
1
2
() (1
+
) + ) (1

))!
A frmula para os coecientes da srie de Fourier de uma funo ) obtida da expresso para os
coecientes da decomposio de ) na base das funes trigonomtricas. Para vericar isso precisamos efetuar
alguns clculos.
3
1) Identidades Trigonomtricas
As seguintes identidadas signicam que o conjunto das funes trigonomtricas ortogonal (em particular,
linearmente independente) em relao ao produto interno denido pela integral:
1
_
L
L
cos
_
:r
1
_
dr = 0
_
L
L
sin
_
:r
1
_
dr = 0
_
L
L
cos
_
:r
1
_
cos
_
:r
1
_
dr =
_
1 , : = :
0 , : ,= :
_
L
L
cos
_
:r
1
_
sin
_
:r
1
_
dr = 0
_
L
L
sin
_
:r
1
_
sin
_
:r
1
_
dr =
_
1 , : = :
0 , : ,= :
2) Decomposio de funes na base das funes trigonomtricas
Considere a seguinte notao
c
0
:=
1
2
, c
n
(r) := cos
_
:r
1
_
, :
n
(r) := sin
_
:r
1
_
(: N

)
Ento, temos:
c
n
, c
m
= 1c
nm
, :
n
, :
m
= 1c
nm
, c
n
, :
m
= 0 , :, : N
Se ) : [1, 1] R uma funo integrvel, ento a decomposio de ) no espao gerado pelas funes
c
n
e :
n
dada por
) a
0
c
0
+
1

n=1
(a
n
c
n
+ /
n
:
n
)
onde os coecientes a
0
, a
1
, a
2
, ... e /
1
, /
2
, ... so determinados pelas projees de ) nas direes das funes
c
0
, c
1
, c
2
, ... e :
1
, :
2
, ...:
2
a
0
: =
), c
0

c
0
, c
0

=
1
1
_
L
L
) (r)
2
dr
a
n
: =
), c
n

c
n
, c
n

=
1
1
_
L
L
) (r) c
n
(r) dr , : N

/
n
: =
), :
n

:
n
, :
n

=
1
1
_
L
L
) (r) :
n
(r) dr , : N

1
Para calcular essas integrais trigonomtricas, podemos usar as seguintes identidades:
cos (A) cos (B) =
1
2
[cos (A+B) + cos (AB)]
sin (A) sin (B) =
1
2
[cos (AB) cos (A+B)]
sin (A) cos (B) =
1
2
[sin (A+B) + sin (AB)]
2
f (x) =
a
0
2
+
1
X
n=1

an cos

nx
L

+bn sin

nx
L

4
3.1 Srie de Fourier de Funes Pares e mpares
Teorema 6 Seja ) : [1, 1] R uma funo integrvel.
Se ) uma funo par, i.
) (r) = ) (r) , \r [1, 1]
ento a srie de Fourier de ) s possui termos em cossenos:
a
0
2
+
1

n=1
a
n
cos
_
:r
1
_
Se ) uma funo mpar, i.
) (r) = ) (r) , r [1, 1]
ento a srie de Fourier de ) s possui termos em cossenos:
a
0
2
+
1

n=1
/
n
sin
_
:r
1
_
Extenso peridica
Dada uma funo ) : [0, 1] R, podemos determinar sua srie de Fourier extendendo-a para o intervalo
[1, 1]; h duas possibilidades naturais de extender a funo: a extenso mpar e a extenso par. A extenso
mpar de ) denida por
)

(r) :=
_
) (r) , r [0, 1]
) (r) , r [1, 0)
e a extenso par de ) denida por
)
+
(r) :=
_
) (r) , r [0, 1]
) (r) , r [1, 0)
Pela proposio acima, temos o seguinte resultado: para uma funo integrvel ) : [0, 1] R vale:
i) A extenso par de ) em [1, 1] possui uma srie de Fourier em cossenos apenas;
ii) A extenso mpar de ) em [1, 1] possui uma srie de Fourier em senos apenas.
Examplo 7 Calcule a srie de Fourier de
3
) (r) = c
x
, r [, ]
Examplo 8 Use a srie de Fourier de ) (r) = r
2
,4 em [, ] para mostrar que
1

n=1
1
:
2
=

2
6
Examplo 9 Calcule a srie de cossenos da funo
) (r) =
_
1 , 0 < 1 < 1
r , 1 < r _ 2
3
Resposta:
f (x) =
sinh ()

"
1
2
+
1
X
n=1
(1)
n
n
2
+ 1
(cos (nx) nsin (nx))
#
5