Series de Fourier

Reginaldo J. Santos
Departamento de Matem atica-ICEx
Universidade Federal de Minas Gerais
http://www.mat.ufmg.br/~regi
23 de abril de 2002
1 Produto Interno
O conceito de produto escalar pode ser estendido a certos espa cos de fun c oes.
Seja V = C
0
[a, b]. A fun c ao que associa a cada par ordenado de fun c oes f e g em V,
o escalar
f, g =
_
b
a
f(t)g(t)dt
e chamada de produto escalar ou interno em V
Por exemplo, se f(t) = t, g(t) = e
t
C
0
[0, 1], ent ao
f, g =
_
1
0
te
t
dt = te
t

1
0

_
1
0
e
t
dt = 1.
O produto interno satisfaz as seguintes propriedades, que s ao an alogas ` as do produto
escalar em R
n
:
(a) Para todos os f
1
, f
2
, g V, f
1
+ f
2
, g = f
1
, g +f
2
, g;
(b) Para todos os f, g V e todo escalar , f, g = f, g;
(c) Para todos os f, g V, f, g = g, f.
(d) Para todo f V, f =

0, f, f > 0.
Vamos provar as propriedades de (a) a (d) acima. Sejam f, g, h C
0
[a, b] e um
escalar.
1
(a) f + g, h =
_
b
a
(f(t) + g(t))h(t)dt =
_
b
a
f(t)h(t)dt +
_
b
a
g(t)h(t)dt = f, h +g, h.
(b) f, g =
_
b
a
f(t)g(t)dt =
_
b
a
f(t)g(t)dt = f, g.
(c) f, g =
_
b
a
f(t)g(t)dt =
_
b
a
g(t)f(t)dt = g, f.
(d) Se f =

0, ent ao, como f e contnua, existe um subintervalo de [a, b], onde f
2
e limi-
tada inferiormente por um n umero maior do que zero. Assim, f, f =
_
b
a
(f(t))
2
dt >
0.
Seja V = CP
0
[a, b] o espa co vetorial das fun c oes reais contnuas por partes
f : [a, b] R. Denindo
f, g =
_
b
a
f(t)g(t)dt, para todas as fun c oes f, g CP
0
[a, b]
temos um produto interno se considerarmos identicas duas fun c oes que diferem uma da
outra apenas em um n umero nito de pontos. Tambem neste caso s ao v alidas as pro-
priedades de (a) a (d) acima. A demonstra c ao e semelhante, por isso, deixamos como
exerccio para o leitor.
Usando as propriedades (a) a (d) acima podemos provar outras propriedades.
Seja V = CP
0
[a, b] um espa co vetorial de fun c oes com produto interno. S ao v alidas as
seguintes propriedades:
(e) Para todos os f, g
1
, g
2
V, f, g
1
+ g
2
= f, g
1
+f, g
2
;
(f) Para todos os f, g V e todo escalar , f, g = f, g;
(g) f, f = 0 se, e somente se, f =

0;
Vamos provar as propriedades de (e) a (g) usando as propriedades de (a) a (d). Sejam
f, g
1
, g
2
V = CP
0
[a, b] e um escalar.
(e) f, g
1
+ g
2
= g
1
+ g
2
, f = g
1
, f +g
2
, f = f, g
1
+f, g
2
;
(f) f, g = g, f = g, f = g, f = f, g;
(g) Se f =

0, ent ao pela deni c ao de produto interno, f, f > 0. Se f =

0, ent ao

0,

0 =

0,

0 =

0,

0, para todo escalar . O que implica que

0,

0 = 0.
2
1.1 Norma
Assim como o produto escalar pode ser estendido ao R
n
e a certos espa cos de fun c oes, a
no c ao de norma ou comprimento de um vetor pode ser estendida ao R
n
e a espa cos de
fun c oes onde esteja denido um produto interno.
Denicao 1. Seja V = CP
0
[a, b]. Para todo vetor f V, denimos a norma de f
denotada por ||f|| como sendo
||f|| =
_
f, f.
Exemplo 1. Sejam f(t) = 1, g(t) = t e h(t) = cos t. Ent ao
||f||
2
= f, f =
_
1
1
1dt = 2. Assim, ||f|| =
_
f, f =

2.
||g||
2
= g, g =
_
1
1
t
2
dt =
t
3
3

1
1
= 2/3. Assim, ||g|| =
_
g, g =
_
2/3.
||h||
2
= h, h =
_
1
1
cos
2
t dt =
1

cos
2
s ds =
1
2
_

(1+cos 2s)ds =
1
2
(s

+
1
2
sen 2s

) = 1. Assim, ||h|| =
_
h, h = 1.
Proposicao 1. Seja V = CP
0
[a, b].
(a) Para todo f V, ||f|| 0 e ||f|| = 0 se, e somente se, f =

0;
(b) Para todo vetor f V e para todo escalar , ||f|| = || ||f||;
(c) Para todos os vetores f, g V, | f, g | ||f|| ||g|| (Desigualdade de Cauchy-
Schwarz);
(d) Para todos os vetores f, g V, ||f + g|| ||f|| +||g|| (Desigualdade triangular);
Demonstra c ao. (a) Decorre das propriedades (d) e (g) do produto interno.
3
(b) ||f|| =
_
f, f =
_

2
f, f = ||
_
f, f = || ||f||.
(c) A norma de f + g e maior ou igual a zero, para qualquer escalar . Assim,
0 ||f + g||
2
= f + g, f + g = ||f||
2
+ 2f, g +
2
||g||
2
= p().
Temos um polin omio do segundo grau que e maior ou igual a zero para todo . Isto
implica que
= 4(f, g)
2
4||f||
2
||g||
2
0.
Logo, | f, g | ||f|| ||g||.
(d) Pelo item anterior temos que
||f + g||
2
= f + g, f + g = f, f +f, g +g, f +g, g
= ||f||
2
+ 2 f, g +||g||
2
||f||
2
+ 2| f, g | +||g||
2
||f||
2
+ 2||f|| ||g|| +||g||
2
(||f|| +||g||)
2
;
Tomando a raiz quadrada, segue o resultado.
2 Ortogonalidade
Vamos, agora, estender ao espa co CP
0
[a, b] o conceito de ortogonalidade.
Denicao 2. Seja V = CP
0
[a, b]. Dizemos que um subconjunto n ao vazio X de V e
ortogonal se para todo par f e g de elementos distintos de X, f, g = 0. Neste caso
dizemos que os elementos de X s ao ortogonais.
Exemplo 2. Seja L um n umero real maior que zero. Seja V = CP
0
[L, L] o conjunto
das fun c oes contnuas por partes do intervalo [L, L] em R com o produto interno denido
por
f, g =
_
L
L
f(t)g(t)dt.
4
Vamos mostrar que o conjunto
{1, cos
t
L
, sen
t
L
, cos
2t
L
, sen
2t
L
, . . . , cos
nt
L
, sen
nt
L
, . . .}
e ortogonal. Como as fun c oes do conjunto, exceto a primeira, s ao fun c oes cujas primitivas
s ao peri odicas de perodo igual a 2L/n, ent ao a integral de L a L destas fun c oes e igual
a zero e portanto elas s ao ortogonais ` a fun c ao constante 1.
_
cos
nt
L
, sen
mt
L
_
=
_
L
L
cos
nt
L
sen
mt
L
dt =
L

cos ns sen msds

=
L
2
_

[sen (m + n)s + sen (mn)s]ds = 0

Para m = n temos que
_
cos
nt
L
, cos
mt
L
_
=
_
L
L
cos
nt
L
cos
mt
L
dt =
L

cos ns cos msds

=
L
2
_

[cos(m + n)s + cos(mn)s]ds

=
L
2(m + n)
sen (m + n)s

+
L
2(mn)
sen (mn)s

= 0,
_
sen
nt
L
, sen
mt
L
_
=
_
L
L
sen
nt
L
sen
mt
L
dt =
L

sen ns sen msds

=
L
2
_

[cos(m + n)s + cos(mn)s]ds = 0

Exemplo 3. Seja L um n umero real maior que zero. Seja V = CP
0
[0, L] o conjunto das
fun c oes contnuas por partes do intervalo [0, L] em R com o produto interno denido por
f, g =
_
L
0
f(t)g(t)dt.
Vamos mostrar que os conjuntos
{1, cos
t
L
, cos
2t
L
, . . . , cos
nt
L
, . . .} e {sen
t
L
, sen
2t
L
, . . . , sen
nt
L
, . . .}
s ao ortogonais.
_
1, cos
nt
L
_
=
_
L
0
cos
nt
L
dt =
L

_

0
cos nsds =
L
n
sen ns

0
= 0
5
Para m = n temos que
_
cos
nt
L
, cos
mt
L
_
=
_
L
0
cos
nt
L
cos
mt
L
dt =
L

_

0
cos ns cos msds
=
L
2
_

0
[cos(m + n)s + cos(mn)s]ds
=
L
2(m + n)
sen (m + n)s

0
+
L
2(mn)
sen (mn)s

0
= 0,
_
sen
nt
L
, sen
mt
L
_
=
_
L
0
sen
nt
L
sen
mt
L
dt =
L

_

0
sen ns sen msds
=
L
2
_

0
[cos(m + n)s + cos(mn)s]ds = 0
3 Convergencia
Podemos estender a CP
0
[a, b] o conceito de convergencia de seq uencia de n umeros reais.
Denicao 3. Uma seq uencia de fun c oes {f
m
} = {f
0
, f
1
, f
2
, . . . , f
m
, . . .} de V = CP
0
[a, b]
converge para um vetor f de V se
lim
m
||f
m
f|| = 0.
Neste caso escrevemos lim
m
f
m
= f.
Proposicao 2. Se uma seq uencia de vetores {f
m
} de V = CP
0
[a, b] converge para uma
fun c ao f de V, ent ao esta fun c ao e unica a menos dos seus valores em um n umero nito
de pontos.
Demonstra c ao. Vamos supor que lim
m
f
m
= f e lim
m
f
m
= g, ent ao pela desigualdade
triangular (Proposi c ao 1 na p agina 3) temos que
||f g|| ||f f
m
|| +||g f
m
||.
Passando ao limite obtemos que ||f g|| = 0 o que implica que f = g a menos de um
n umero nito de pontos.
6
Proposicao 3. Se uma seq uencia de vetores {f
m
} de V = CP
0
[a, b] converge para uma
fun c ao f de V, ent ao para todo vetor g de V a seq uencia de n umeros reais {f
m
, g}
converge para f, g. Ou seja, se lim
m
f
m
= f, ent ao
lim
m
f
m
, g =
_
lim
m
f
m
, g
_
.
Demonstra c ao. Seja f = lim
m
f
m
. Pela desigualdade de Cauchy-Schwarz (Proposi c ao
1 na p agina 3), temos que
| f
m
, g f, g | = | f
m
f, g | ||f
m
f||||g||.
Passando ao limite obtemos que lim
m
| f
m
, g f, g | = 0. O que implica que lim
m
=
f, g.
Denicao 4. Uma serie de vetores

m=0
f
m
de V = CP
0
[a, b] converge para uma fun c ao
f de V se o limite da seq uencia das somas parciais converge para f, ou seja,
lim
m
m

n=0
f
n
= f.
O seguinte resultado e uma conseq uencia imediata da Proposi c ao 2.
Corolario 4. Se uma serie de vetores

m=0
f
m
de V = CP
0
[a, b] converge para uma fun c ao
f de V, ent ao, para toda fun c ao g de V,

m=0
f
m
, g =
_

m=0
f
m
, g
_
.
7
Proposicao 5. Seja V = CP
0
[a, b], o espa co das fun c oes contnuas por partes no inter-
valo [a, b]. Seja {g
0
, g
1
, g
2
, . . . , g
n
, . . .} um subconjunto de V de vetores ortogonais n ao
nulos. Se
f =

m=0
c
m
g
m
,
ent ao
c
m
=
f, g
m

||g
m
||
2
, para m = 0, 1, 2, . . .
Demonstra c ao. Seja f =

m=0
c
m
g
m
. Fazendo o produto escalar de f com g
n
, para
n = 0, 1, 2 . . ., obtemos que
f, g
n
=
_

m=0
c
m
g
m
, g
n
_
=

m=0
c
m
g
m
, g
n
= c
n
||g
n
||
2
,
pois como os vetores g
m
s ao ortogonais g
m
, g
n
= 0, se m = n. Assim,
c
n
=
f, g
n

||g
n
||
2
, para n = 0, 1, 2 . . .
4 Series de Fourier
Exemplo 4. Seja L um n umero real maior que zero. Seja V = CP
0
[0, L] o conjunto das
fun c oes contnuas por partes do intervalo [0, L] em R com o produto interno denido por
f, g =
_
L
0
f(t)g(t)dt.
J a mostramos no Exemplo 3 que o conjunto
{1, cos
t
L
, cos
2t
L
, . . . , cos
nt
L
, . . .}
8
e ortogonal. Vamos calcular as normas dos seus elementos.
1, 1 =
_
L
0
dt = L
_
cos
nt
L
, cos
nt
L
_
=
_
L
0
cos
2
nt
L
dt =
L

_

0
cos
2
nsds =
L
2
_

0
[1 + cos 2ns]ds = L/2
Assim, para toda fun c ao f CP
0
[0, L] que possa ser escrita como a serie
f(t) =
a
0
2
+

m=1
a
m
cos
mt
L
,
teremos que os coecientes da serie ser ao dados por
a
m
=

f, cos
mt
L
_
|| cos
mt
L
||
2
=
2
L
_
L
0
f(t) cos
mt
L
dt, para m = 0, 1, 2, . . .
Exemplo 5. Seja L um n umero real maior que zero. Seja V = CP
0
[0, L] o conjunto das
fun c oes contnuas por partes do intervalo [0, L] em R com o produto interno denido por
f, g =
_
L
0
f(t)g(t)dt.
J a mostramos no Exemplo 3 que o conjunto
{sen
t
L
, sen
2t
L
, . . . , sen
nt
L
, . . .}
e ortogonal. Vamos calcular as normas dos seus elementos.
_
sen
nt
L
, sen
nt
L
_
=
_
L
0
sen
2
nt
L
dt =
L

_

0
sen
2
nsds =
L
2
_

0
[1 cos 2ns]ds = L/2
Assim, para toda fun c ao f CP
0
[0, L] que possa ser escrita como a serie
f(t) =

m=1
b
m
sen
mt
L
,
teremos que os coecientes da serie ser ao dados por
b
m
=

f, sen
mt
L
_
||sen
mt
L
||
2
=
2
L
_
L
0
f(t)sen
mt
L
dt, para m = 1, 2, . . .
9
Exemplo 6. Seja L um n umero real maior que zero. Seja V = CP
0
[L, L] o conjunto
das fun c oes contnuas por partes do intervalo [L, L] em R com o produto interno denido
por
f, g =
_
L
L
f(t)g(t)dt.
J a mostramos no Exemplo 2 que o conjunto
{1, cos
t
L
, sen
t
L
, cos
2t
L
, sen
2t
L
, . . . , cos
nt
L
, sen
nt
L
, . . .}
e ortogonal. Vamos calcular as normas dos seus elementos.
1, 1 =
_
L
L
dt = 2L
_
cos
nt
L
, cos
nt
L
_
=
_
L
L
cos
2
nt
L
dt =
L

cos
2
nsds =
L
2
_

[1 + cos 2ns]ds = L
_
sen
nt
L
, sen
nt
L
_
=
_
L
L
sen
2
nt
L
dt =
L

sen
2
nsds =
L
2
_

[1 cos 2ns]ds = L
Assim, para toda fun c ao f CP
0
[L, L] que possa ser escrita como a serie
f(t) =
a
0
2
+

m=1
a
m
cos
mt
L
+

m=1
b
m
sen
mt
L
,
teremos que os coecientes da serie ser ao dados por
a
m
=

f, cos
mt
L
_
|| cos
mt
L
||
2
=
1
L
_
L
L
f(t) cos
mt
L
dt, para m = 0, 1, 2, . . . (1)
b
m
=

f, sen
mt
L
_
||sen
mt
L
||
2
=
1
L
_
L
L
f(t)sen
mt
L
dt, para m = 1, 2, . . . (2)
As series dadas no Exemplo 6 s ao chamadas de Series de Fourier, as do Exemplo
4 de Series de Fourier de cossenos e as do Exemplo 5 de Series de Fourier de
senos. Elas aparecem no estudo de certas equa c oes diferenciais. Na Proposi c ao 5 zemos
a suposi c ao de que a serie

m=0
c
m
g
m
convergia para a fun c ao f. Vamos considerar o
problema inverso. Dada uma fun c ao f CP
0
[L, L] podemos calcular os coecientes
a
m
e b
m
usando (1) e (2) e nos perguntar se a serie obtida converge ou n ao. O teorema
10
seguinte, cuja demonstra c ao pode ser encontrada por exemplo em [3], arma que para
toda fun c ao f contnua por partes em [L, L], a serie de Fourier de f converge.
Teorema 6. Seja L um n umero real maior que zero. Para toda fun c ao f pertecente ao
espa co das fun c oes contnuas por partes, CP
0
[L, L], a serie de Fourier de f
a
0
2
+

m=1
a
m
cos
mt
L
+

m=1
b
m
sen
mt
L
,
em que
a
m
=
1
L
_
L
L
f(t) cos
mt
L
dt para m = 0, 1, 2, . . .
b
m
=
1
L
_
L
L
f(t)sen
mt
L
dt, para m = 1, 2, . . .
converge para f na norma ||f|| =
_
_
L
L
(f(t))
2
dt
_1
2
.
Se uma fun c ao f CP
0
[L, L] e par, isto e, f(t) = f(t), para todo t [L, L], e
pode ser escrita como a serie
f(t) =
a
0
2
+

m=1
a
m
cos
mt
L
+

m=1
b
m
sen
mt
L
,
ent ao os coecientes obtidos no Exemplo 6 s ao dados por:
a
m
=
1
L
_
L
L
f(t) cos
mt
L
dt =
2
L
_
L
0
f(t) cos
mt
L
dt, para m = 0, 1, 2, . . .
b
m
=
1
L
_
L
L
f(t)sen
mt
L
dt = 0 para m = 1, 2, . . .
ou seja, os coecientes b
m
s ao iguais a zero e os a
m
s ao iguais aos dados no Exemplo 4.
Analogamente, se uma fun c ao f CP
0
[L, L] e mpar, isto e, f(t) = f(t), para
todo t [L, L], e pode ser escrita como a serie
f(t) =
a
0
2
+

m=1
a
m
cos
mt
L
+

m=1
b
m
sen
mt
L
,
11
ent ao os coecientes obtidos no Exemplo 6 s ao dados por:
a
m
=
1
L
_
L
L
f(t) cos
mt
L
dt = 0 para m = 0, 1, 2, . . .
b
m
=
1
L
_
L
L
f(t)sen
mt
L
dt =
2
L
_
L
0
f(t)sen
mt
L
dt, para m = 1, 2, . . .
ou seja, os coecientes a
m
s ao iguais a zero e os b
m
s ao iguais aos dados no Exemplo 5.
Para as fun c oes f que s ao contnuas por partes em [0, L] podemos prolong a-las de
forma que elas se tornem par ou mpar no intervalo [L, L] (verique!). Assim, segue
da obseva c ao que zemos anteriormente, que as series de Fourier de cossenos e de senos
de f s ao series de Fourier dos prolongamentos par e mpar de f, respectivamente. Este
raciocnio estende o resultado anterior para series de Fourier de senos e de cossenos.
Corolario 7. Seja L um n umero real maior que zero. Para toda fun c ao f pertecente ao
espa co das fun c oes contnuas por partes, CP
0
[0, L], as series de Fourier de cossenos de f
a
0
2
+

m=1
a
m
cos
mt
L
,
e de Fourier de senos de f

m=1
b
m
sen
mt
L
,
em que
a
m
=
2
L
_
L
0
f(t) cos
mt
L
dt para m = 0, 1, 2, . . .
b
m
=
2
L
_
L
0
f(t)sen
mt
L
dt, para m = 1, 2, . . .
convergem para f na norma ||f|| =
_
_
L
0
(f(t))
2
dt
_1
2
.
Exemplo 7. Seja L um n umero real maior que zero. Considere a fun c ao f
(0)
cd
: [0, L] R
dada por
f
(0)
cd
(t) =
_
1, se cL t dL,
0, caso contr ario,
para c e d xos satisfazendo 0 c < d 1.
12
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
Figura 1: A fun c ao f : [0, 1] R denida por f(t) = 1, se t [1/4, 3/4] e f(t) = 0, caso
contr ario e as somas parciais da serie de Fourier de cossenos de f, para n = 0, 2, 6, 10, 14, 18
Vamos calcular as series de Fourier de senos e de cossenos de f
(0)
cd
. Para a serie de cossenos
temos que
a
0
=
2
L
_
dL
cL
f(t)dt =
2
L
_
dL
cL
dt = 2(d c),
a
m
=
2
L
_
dL
cL
f(t) cos
mt
L
dt =
2
L
_
dL
cL
cos
mt
L
dt =
2
m
sen s

md
mc
, para m = 1, 2, . . .
Assim a serie de Fourier de cossenos de f e
f
(0)
cd
(t) =
a
0
2
+

m=1
a
m
cos
mt
L
= (d c) +
2

m=1
sen md sen mc
m
cos
mt
L
.
Observe que a serie de Fourier de cossenos da fun c ao constante igual a 1, f
(0)
01
, tem somente
o primeiro termo diferente de zero que e igual a 1.
13
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
Figura 2: A fun c ao f : [0, 1] R denida por f(t) = 1, se t [1/4, 3/4] e f(t) = 0, caso
contr ario e as somas parciais da serie de Fourier de senos de f, para n = 1, . . . , 6
Para a serie de senos temos que para m = 1, 2, . . .,
b
m
=
2
L
_
dL
cL
f(t)sen
mt
L
dt =
2
L
_
dL
cL
sen
mt
L
dt =
2
m
cos s

md
mc
Assim, a serie de Fourier de senos de f
(0)
cd
e dada por
f
(0)
cd
(t) =

m=1
b
m
sen
mt
L
=
2

m=1
cos mc cos md
m
sen
mt
L
Observe que para a fun c ao constante igual a 1, f
(0)
01
os termos de ndice par s ao iguais a
zero e neste caso a serie de senos de f
(0)
01
e dada por
f
(0)
01
(t) =
4

m=1
1
2m1
sen
(2m1)t
L
14
0 0.5 1
0
0.5
1
1.5
x
y
0 0.5 1
0
0.5
1
1.5
x
y
0 0.5 1
0
0.5
1
1.5
x
y
0 0.5 1
0
0.5
1
1.5
x
y
0 0.5 1
0
0.5
1
1.5
x
y
0 0.5 1
0
0.5
1
1.5
x
y
Figura 3: A fun c ao f(t) = 1 em [0, 1] e as somas parciais da serie de Fourier de senos de
f, para n = 1, 3, 5, 7, 9, 11
Exemplo 8. Considere a fun c ao f
(1)
cd
: [0, L] R dada por
f
(1)
cd
(t) =
_
t, se cL t dL,
0, caso contr ario,
para c e d xos satisfazendo 0 c < d 1.
Vamos calcular as series de Fourier de senos e de cossenos de f
(1)
cd
. Para a serie de cossenos
temos que
a
0
=
2
L
_
dL
cL
f(t)dt =
2
L
_
dL
cL
t dt = L(d
2
c
2
)
a
m
=
2
L
_
dL
cL
f(t) cos
mt
L
dt =
2
L
_
dL
cL
t cos
mt
L
dt =
2L
m
2

2
_
md
mc
s cos sds
=
2L
m
2

2
(s sen s + cos s)

md
mc
15
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
Figura 4: A fun c ao f(t) = t em [0, 1] e somas parciais da serie de Fourier de cossenos
para n = 0, 1, 3
Assim a serie de Fourier de cossenos de f e
f
(1)
cd
(t) =
a
0
2
+

m=1
a
m
cos
mt
L
=
L(d
2
c
2
)
2
+
2L

m=1
(s sen s + cos s)

md
mc
m
2
cos
mt
L
Observe que para a fun c ao f
(1)
cd
(t) = t, para 0 t 1, f
(1)
01
, os termos de ndice par s ao
iguais a zero e neste caso a serie de cossenos de f
(1)
01
e dada por
f
(1)
01
(t) =
L
2

4L

m=1
1
(2m1)
2
cos
(2m1)t
L
,
Para a serie de senos temos que para m = 1, 2, . . .,
b
m
=
2
L
_
dL
cL
f(t)sen
mt
L
dt =
2
L
_
dL
cL
tsen
mt
L
dt =
2L
m
2

2
_
md
mc
s sen sds
=
2L
m
2

2
(s cos s + sen s)

md
mc
Assim, a serie de Fourier de senos de f
(1)
cd
e dada por
f
(1)
cd
(t) =

m=1
b
m
sen
mt
L
=
2L

m=1
(s cos s + sen s)

md
mc
m
sen
mt
L
Observe que para a fun c ao f(t) = t, para 0 t 1, f
(1)
01
, temos que
b
m
=
2L
m
(cos m) =
(1)
m+1
2L
m
16
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
Figura 5: A fun c ao f(t) = t em [0, 1] e as somas parciais da serie de Fourier de senos de
f, para n = 1, . . . , 6
e neste caso a serie de cossenos de f
(1)
01
e dada por
f
(1)
01
(t) =

m=1
b
m
sen
mt
L
=
2L

m=1
(1)
m+1
m
sen
mt
L
Com os coecientes das fun c oes destes dois exemplos podemos determinar as series de
Fourier de v arias fun c oes que s ao combina c oes lineares delas. Isto por que os coecientes
das series dependem linearmente das fun c oes, ou seja,
a
m
(f + g) = a
m
(f) + a
m
(g) e a
m
(f + g) = a
m
(f) + a
m
(g).
Por exemplo, a fun c ao
f(t) =
_
t, se 0 t L/2
L t, se L/2 < t L
pode ser escrita como
f = f
(1)
0 L/2
+ Lf
(0)
L/2 L
f
(1)
L/2 L
.
17
Assim os coecientes a
m
e b
m
podem ser calculados como
a
m
(f) = a
m
(f
(1)
0 L/2
) + La
m
(f
(0)
L/2 L
) a
m
(f
(1)
L/2 L
)
b
m
(f) = b
m
(f
(1)
0 L/2
) + Lb
m
(f
(0)
L/2 L
) b
m
(f
(1)
L/2 L
)
Coecientes das Series de Fourier de Func oes Elementares
f : [0, L] R a
m
=
2
L
_
L
0
f(t) cos
mt
L
dt b
m
=
2
L
_
L
0
f(t)sen
mt
L
dt
f
(0)
cd
(t) =
_
1, se cL t dL
0, caso contr ario
a
0
= 2(d c)
a
m
=
2
m
sen s

md
mc
b
m
=
2
m
cos s

md
mc
f
(1)
cd
(t) =
_
t, se cL t dL
0, caso contr ario
a
0
= L(d
2
c
2
)
a
m
=
2L
m
2

2
(s sen s + cos s)

md
mc
b
m
=
2L
m
2

2
(s cos s + sen s)

md
mc
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
Figura 6: A fun c ao f : [0, 1] R, dada por f(t) = t se t [0, 1/2] e f(t) = 1 t se
t [1/2, 1] e somas parciais da serie de Fourier de cossenos para n = 0, 2, 6
18
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
Figura 7: A fun c ao f : [0, 1] R, dada por f(t) = t se t [0, 1/2] e f(t) = 1 t se
t [1/2, 1] e somas parciais da serie de Fourier de cossenos para n = 1, 3, 5
Exerccios Numericos
Ache as series de Fourier de senos e de cossenos das fun c oes dadas:
1. f(x) =
_
0, se 0 x < L/2,
1, se L/2 x L,
2. f(x) =
_
1, se L/4 x < 3L/4,
0, caso contr ario,
3. f(x) =
_
0, se 0 x < L/2,
t, se L/2 x < L,
4. f(x) =
_
x, se 0 x < L/2
L x, se L/2 x L
5. f(x) =
_
_
_
x, se 0 x < L/4
L/4, se L/4 x < 3L/4
L x, se 3L/4 < x L
Respostas dos Exerccios
1. f(x) =
1
2

2

m=1
sen
m
2
m
cos
mx
L
.
f(x) =
2

m=1
cos
m
2
(1)
m
m
sen
mx
L
19
2. f(x) =
1
2
+
2

m=1
sen
3m
4
sen
m
4
m
cos
mx
L
.
f(x) =
2

m=1
cos
m
4
cos
3m
4
m
sen
mx
L
3. f(x) =
3L
8
+
2L

m=1
cos m cos
m
2

m
2
sen
m
2
m
2
cos
mx
L
.
f(x) =
2L

m=1
m
2
cos
m
2
m cos m sen
m
2
m
2
sen
mx
L
4. f(x) =
L
4
+
2L

m=1
2 cos
m
2
1 (1)
m
m
2
cos
mx
L
.
f(x) =
4L

m=1
sen
m
2
m
2
sen
mx
L
5. f(x) =
3L
16
+
2L

m=1
cos
m
4
+ cos
3m
4
1 (1)
m
m
2
cos
mx
L
.
f(x) =
2L

m=1
sen
m
4
+ sen
3m
4
m
2
sen
mx
L
Comandos do MATLAB:
>> V(i)=[] elimina a componente i do vetor V.
>> syms t diz ao MATLAB que a vari avel t e uma vari avel simb olica.
>> f=expr dene uma fun c ao atraves da expr que deve ser uma express ao na vari avel
simb olica t denida anteriormente.
Comandos do pacote GAAL:
>>proj(g,f,a,b) calcula
f, g
||g||
2
g(t) =
_
1
_
b
a
(g(t))
2
dt
_
b
a
f(t)g(t)dt
_
g(t).
20
Por exemplo: >>proj(cos(5*pi*t),f,-pi,pi) calcula
_
1
_

(cos(5t))
2
dt
_

cos(5t)f(t)dt
_
cos(5t) =
=
_
1
2
_

cos(5t)f(t)dt
_
cos(5t)
= a
5
cos(5t).
>>plotfproj(f,proj,a,b) desenha as fun c oes f e proj(k), para k variando de 1 ate o
tamanho do vetor proj, no intervalo [a,b].
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
Figura 8: A fun c ao f : [0, 1] R denida por f(t) = t, se t [0, 1/4], f(t) = 1/4, se
t [1/4, 3/4] e f(t) = 1t, se t [3/4, 1] e somas parciais da serie de Fourier de cossenos
para n = 0, 1, 2
21
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
Figura 9: A fun c ao f : [0, 1] R denida por f(t) = t, se t [0, 1/4], f(t) = 1/4, se
t [1/4, 3/4] e f(t) = 1 t, se t [3/4, 1] e somas parciais da serie de Fourier de senos
para n = 1, 3, 5
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
Figura 10: A fun c ao f : [0, 1] R denida por f(t) = 1, se t [1/2, 1] e f(t) = 0, caso
contr ario e as somas parciais da serie de Fourier de cossenos de f, para n = 0, 1, 3, 5, 7, 9
22
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
0 0.5 1
0
0.5
1
x
y
Figura 11: A fun c ao f : [0, 1] R denida por f(t) = 1, se t [1/2, 1] e f(t) = 0, caso
contr ario e as somas parciais da serie de Fourier de senos de f, para n = 1, 2, 3, 5, 6, 7
23
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
Figura 12: A fun c ao f : [0, 1] R denida por f(t) = t, se t [1/2, 1] e f(t) = 0, caso
contr ario e as somas parciais da serie de Fourier de cossenos de f, para n = 0, 1, 2, 3, 5, 6
24
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
0 0.5 1
0.2
0
0.2
0.4
0.6
0.8
x
y
Figura 13: A fun c ao f : [0, 1] R denida por f(t) = t, se t [1/2, 1] e f(t) = 0, caso
contr ario e as somas parciais da serie de Fourier de senos de f, para n = 1, 2, 3, 4, 5, 6
25
Referencias
[1] William E. Boyce and Richard C. DiPrima. Equa c oes Diferenciais Elementares e
Problemas de Valores de Contorno. Livros Tecnicos e Cientcos Editora S.A., Rio de
Janeiro, 6a. edition, 1999.
[2] Djairo Guedes de Figueiredo. Analise de Fourier e Equa c oes Diferenciais Parciais.
IMPA, Rio de Janeiro, 1977.
[3] Donald Kreider, Donald R. Ostberg, Robert C. Kuller, and Fred W. Perkins. In-
trodu c ao `a Analise Linear. Ao Livro Tecnico S.A., Rio de Janeiro, 1972.
[4] Erwin Kreiszig. Matematica Superior. Livros Tecnicos e Cientcos Editora S.A., Rio
de Janeiro, 2a. edition, 1985.
[5] Reginaldo J. Santos. Um Curso de Geometria Analtica e

Algebra Linear. Imprensa
Universit aria da UFMG, Belo Horizonte, 2002.
26