k=1
[a
k
cos(kx) + b
k
sin(kx)]
2.4 Srie trigonomtrica 5
2.4 Srie trigonomtrica
Uma srie trigonomtrica uma representao f = f(x) em srie de
funes trigonomtricas da forma:
f(x) =
a
0
2
+
k=1
[a
k
cos(kx) + b
k
sin(kx)]
3 Frmulas e integrais trigonomtricas
3.1 Algumas frmulas trigonomtricas
Se m, n N = {1, 2, 3, }, ento
1. cos(m + n)x = cos(mx) cos(nx) sin(mx) sin(nx)
2. sin(m + n)x = sin(mx) cos(nx) + sin(nx) cos(mx)
3. 2 sin(mx) cos(nx) = sin[(m + n)x] + sin[(mn)x]
4. 2 cos(mx) cos(nx) = cos[(m + n)x] + cos[(mn)x]
5. 2 sin(mx) sin(nx) = cos[(mn)x] cos[(m + n)x]
3.2 Integrais trigonomtricas
Se m, n N = {1, 2, 3, }, ento
1.
_
cos(nx)dx =
_
sin(nx)dx =
_
sin(mx) cos(nx)dx = 0
2.
_
cos(mx) cos(nx)dx =
_
sin(mx) sin(nx)dx =
_
se m = n
0 se m = n
4 Funes absolutamente integrveis 6
4 Funes absolutamente integrveis
4.1 Funo integrvel sobre um intervalo
Uma funo real f : R R integrvel sobre um intervalo real [a, b]
se
_
b
a
f(u) du <
Exemplo: As funes f(x) = cos(mx) e g(x) = sin(nx) so integrveis.
4.2 Funo integrvel sobre a reta real
Uma funo real f : R R integrvel sobre a reta R se
_
f(u) du <
Exemplo: A funo (sinc) f : R R denida por:
f(x) =
_
_
_
sin(x)
x
se x = 0
1 se x = 0
Figura 2: Funo sinc
Esta funo integrvel sobre a reta real, pois
_
sin(x)
x
dx =
4.3 Funo absolutamente integrvel sobre um intervalo 7
4.3 Funo absolutamente integrvel sobre um intervalo
Uma funo real f : R R absolutamente integrvel sobre um
intervalo [a, b] se:
_
b
a
|f(u)| du <
Exemplo: As funes f(x) = cos(mx) e g(x) = sin(nx) so absoluta-
mente integrveis sobre intervalos da forma [a, b].
4.4 Funo absolutamente integrvel sobre a reta real
Uma funo real f : R R absolutamente integrvel a reta R se
_
|f(u)| du <
Exemplo: A funo (sinc) f : R R denida por:
f(x) =
_
_
_
sin(x)
x
se x = 0
1 se x = 0
no absolutamente integrvel, pois
_
|
sin(x)
x
|dx = +
5 Sries de Fourier e Coecientes de Fourier
Seja f(x) = f(x + 2) uma funo integrvel sobre sobre o intervalo
[, ] e n N. A srie de Fourier de f a srie trigonomtrica:
f(x)
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)]
5 Sries de Fourier e Coecientes de Fourier 8
onde a
0
, a
n
e b
n
so os coecientes de Fourier de f denidos por:
a
0
=
1
f(x) dx
a
n
=
1
f(x) cos(nx) dx
b
n
=
1
f(x) sin(nx) dx
O smbolo foi usado aqui, pois nem sempre esta srie de funes
converge para f, mas se f for 2-peridica e seccionalmente dife-
rencivel, obteremos a convergncia da srie trigonomtrica, e dessa
forma poderemos substituir o sinal pelo sinal de igualdade.
Exerccios:
1. Seja a funo (sinal) 2-peridica, denida por:
f(x) =
_
_
_
1 se < x < 0
0 se x = 0
1 se 0 < x <
Figura 3: Funo sinal
Mostrar que a srie de Fourier da funo sinal representada por
f(x)
4
k=1
sin[(2k 1)x]
2k 1
2. Seja a funo 2-peridica, denida por:
5 Sries de Fourier e Coecientes de Fourier 9
f(x) = |x|, ( x )
Figura 4: Funo modular
Mostrar que a srie de Fourier desta funo representada por
f(x)
2
4
k=1
cos[(2k 1)x]
(2k 1)
2
Exemplos:
1. Para obter a srie de Fourier da funo
f(x) =
_
0 se x < 0
se 0 x <
Figura 5: Funo sinal transladada para cima
devemos calcular primeiramente os seus coecientes de Fourier:
5 Sries de Fourier e Coecientes de Fourier 10
a
0
=
1
{
_
0
0 dx +
_
0
dx} =
e para n N, temos
a
n
=
1
_
0
cos(nx)dx = 0
Como
b
n
=
1
_
0
sin(nx)dx =
1 cos(n)
n
Para n par, obtemos b
n
= 0 e para n mpar:
b
2k1
=
2
2k 1
(k N)
assim a srie de Fourier ser dada por
f(x)
2
+ 2
k=1
sin[(2k 1)x]
2k 1
ou seja
f(x)
2
+ 2
_
sin(x) +
sin(3x)
3
+
sin(5x)
5
+ . . .
_
2. Para obter a srie de Fourier da funo
g(x) =
_
/2 se x < 0
/2 se 0 x <
basta usar o fato que
g(x) =
2
sinal(x) =
_
1 se x < 0
1 se 0 x <
e utilizar a srie de Fourier da funo sinal, para obter:
5 Sries de Fourier e Coecientes de Fourier 11
Figura 6: Funo sinal multiplicada por /2
g(x) 2
_
sin(x) +
sin(3x)
3
+
sin(5x)
5
+ . . .
_
Observao: A partir da srie de Fourier para funes 2-peridicas
podemos obter a srie de Fourier para funes peridicas comperodo
2L. Basta tomar a mudana de varivel x = t/L para obter a nova
funo, agora dependente da varivel t, que ser 2L-peridica e inte-
grvel no intervalo simtrico [L, L].
Denio: Se f = f(t) uma funo 2L-peridica e integrvel no
intervalo [L, L], a sua srie de Fourier dada por:
f(t)
a
0
2
+
n=1
[a
n
cos(
nt
L
) + b
n
sin(
nt
L
)]
onde os coecientes podem ser dados pelas expresses:
a
n
=
1
L
_
L
L
f(t) cos(
nt
L
)dt
b
n
=
1
L
_
L
L
f(t) sin(
nt
L
)dt
para n 1. a
0
pode ser obtido se tomarmos n = 0 no coeciente a
n
.
Exemplo: A srie de Fourier da funo 4-peridica
5.1 Aplicao de srie de Fourier soma de uma srie numrica 12
f(t) =
t +|t|
2
=
_
0 se 2 t < 0
t se 0 t 2
Figura 7: Mdia aritmtica entre t e |t|
pode ser obtida com L = 2 (metade do perodo=4). Assim:
a
0
=
1
2
_
2
0
t dt = 1
a
n
=
1
2
_
2
0
t cos(
nt
2
)dt =
2
n
2
2
((1)
n
1)
b
n
=
1
2
_
2
0
t sin(n
t
2
)dt =
2(1)
n
n
Logo
f(t)
1
2
+
n=1
[
(1)
n
1
n
2
2
cos(
nt
2
)
2(1)
n
n
sin(
nt
2
)]
5.1 Aplicao de srie de Fourier soma de uma srie numrica
Atravs da sries de Fourier podemos obter somas de sries num-
ricas reais onde difcil (ou at impossvel) estabelecer a regra para
denir a n-sima soma parcial.
Exerccio:
1. Obter a srie de Fourier da funo 2-peridica f(x) = x
2
de-
nida sobre [, ].
6 Tipos importantes de simetrias 13
Figura 8: Funo parablica
Tomar x = na srie de Fourier para obter:
S
2
=
n=1
1
n
2
=
2
6
2. Obter as sries de Fourier das funes 2-peridicas f(x) = x
3
e
g(x) = x
4
denidas sobre [, ] e calcular as somas das sries
numricas:
S
3
=
n=1
1
n
3
e S
4
=
n=1
1
n
4
6 Tipos importantes de simetrias
Uma funo real T-peridica f = f(t), tem
1. simetria par, se para todo t R, f(t) = f(t). As funes pares
so simtricas em relao ao eixo vertical t = 0.
2. simetria mpar, se para todo t R, f(t) = f(t). As funes
mpares so simtricas em relao origem (0, 0).
3. simetria de meia-onda, se para todo t R, f(t +
T
2
) = f(t).
Do ponto de vista geomtrico, o grco da segunda metade da
funo f = f(t) no perodo T a reexo do grco da primeira
metade de f = f(t) em relao ao eixo horizontal, deslocada de
T
2
para a direita. Tal situao pode ser vista no grco.
6.1 Propriedades de funes com simetrias par e mpar 14
Figura 9: Funes com simetrias par e mpar
Figura 10: Funo com simetria de meia-onda
4. simetria de quarto de onda, se para todo t R a funo f tem
simetria de meia-onda e alm disso, vale uma das alternativas
abaixo:
(a) f mpar.
(b) Transladando f de
T
4
para a direita (esquerda), a funo se
torna par, isto
f(t
T
4
) = f(t)
6.1 Propriedades de funes com simetrias par e mpar
So vlidas as seguintes propriedades:
1. A soma de funes pares uma funo par.
2. A soma de funes mpares uma funo mpar.
7 Integrais de funes com simetrias 15
3. O produto de duas funes pares uma funo par.
4. O produto de duas funes mpares uma funo par.
5. O produto de uma funo par por uma funo mpar uma
funo mpar.
6. Toda funo real f = f(t) pode ser decomposta na soma
f(t) = f
p
(t) + f
i
(t)
onde f
p
= f
p
(t) uma funo par e f
i
= f
i
(t) uma funo mpar,
denidas respectivamente por
f
p
(t) =
f(t) + f(t)
2
f
i
(t) =
f(t) f(t)
2
Exemplo: So pares as funes reais:
f(x) = cos(nx), f(x) = x
2
, f(x) = x
76
So mpares as funes reais:
f(x) = sin(nx), f(x) = x, f(x) = x
77
A funo real identicamente nula , ao mesmo tempo, par e mpar.
7 Integrais de funes com simetrias
7.1 Propriedades das integrais com simetrias
Seja f : R Ruma funo integrvel no intervalo simtrico [L, L].
1. Se f = f(t) uma funo par, ento:
_
L
L
f(t) dt = 2
_
L
0
f(t) dt
7.2 Propriedades das simetrias para os coecientes de Fourier 16
2. Se f = f(t) uma funo mpar, ento:
_
L
L
f(t) dt = 0
7.2 Propriedades das simetrias para os coecientes de Fourier
Seja f : R R uma funo 2-peridica, integrvel e absolutamente
integrvel no intervalo simtrico [, ].
1. Se f uma funo par, ento b
n
= 0 e n = 0, 1, 2, 3, :
a
n
=
2
_
0
f(x) cos(nx)dx
2. Se f uma funo mpar, ento a
n
= 0 e n = 1, 2, 3, :
b
n
=
2
_
0
f(x) sin(nx)dx
Exemplo: Usando o benefcio da paridade, obteremos a srie de Fourier
da funo 2-peridica, denida sobre [, ] por:
f(x) = x, ( x )
Como f mpar, ento a
n
= 0 e para n 0, basta obter os coecientes
b
n
. Para qualquer n 1, temos:
b
n
=
2
_
0
x sin(nx)dx = 2
(1)
n+1
n
logo
f(x) 2
n=1
(1)
n+1
n
sin(nx) = 2
_
sin(x)
sin(2x)
2
+
sin(3x)
3
+
_
8 Descontinuidade de funes reais 17
8 Descontinuidade de funes reais
8.1 Salto de funo descontnua
Se uma funo real f = f(x) possui uma descontinuidade em um
ponto p, denimos o salto de f em p como
salto(f)(p) = f(p
+
) f(p
)
onde f(p
) e f(p
+
) so, respectivamente, os limites laterais de f es-
querda e direita em x = p, isto :
f(p
) = lim
xp, x<p
f(x) e f(p
+
) = lim
xp, x>p
f(x)
8.2 Valor mdio de uma funo em um ponto
Quando a funo no est denida no ponto x = p mas existem os
limites laterais esquerda e direita em x = p, podemos denir a
funo neste ponto como sendo o valor mdio (mdia aritmtica) dos
limites laterais esquerda e direita em x = p, isto :
f(p) =
f(p
+
) + f(p
)
2
Se f = f(x) uma funo contnua no ponto x, ento
f(x
+
) = f(x
) = f(x) = f(x)
8.3 Descontinuidade de primeira espcie
Uma funo real f = f(x) tem descontinuidade de primeira espcie
(ou de salto nito) em x = p, se satisfaz s trs condies:
1. Sobre cada intervalo limitado I da reta real, f contnua, exceto
no ponto p I;
8.4 Descontinuidade de segunda espcie 18
2. f contnua direita de x = p e contnua esquerda de x = p;
3. salto(f)(p) = f(p
+
) f(p
) nito.
Exemplo: A funo sinal f : [2, 4] R denida por
f(x) = sinal(x) =
_
_
_
+1 se x > 0
0 se x = 0
1 se x < 0
Figura 11: Funo sinal em um intervalo no simtrico
tem descontinuidade de salto nito em x = 0, pois f contnua sobre
[2, 4] exceto em x = 0, f contnua direita de x = 0, f continua
esquerda de x = 0 e alm disso:
f(0
+
) = lim
x0
+
f(x) = 1, f(0
) = lim
x0
f(x) = 1
salto(f)(0) = 2 f(0) = 0
8.4 Descontinuidade de segunda espcie
Uma funo real f = f(x) tem descontinuidade de segunda espcie
(ou de salto innito) em p, se satisfaz s trs condies:
1. Sobre cada intervalo nito I, f contnua, exceto no ponto p I;
2. f contnua direita de x = p e esquerda de x = p;
3. salto(f)(p) = f(p
+
) f(p
) innito.
Exemplo: A funo f : R {0} R {0} denida por f(x) = 1/x
possui uma descontinuidade de segunda espcie.
9 Funes Seccionalmente diferenciveis 19
Figura 12: Funo hiperblica
9 Funes Seccionalmente diferenciveis
9.1 Funo seccionalmente contnua
Uma funo real f = f(x) seccionalmente contnua sobre R uma
funo que restrita a cada intervalo limitado I R, possui no mximo
um nmero nito de descontinuidades de salto nito. Os limites late-
rais de f = f(x) esquerda e direita nos pontos de descontinuidade
de salto nito p
j
(j = 1, 2, , n) so indicados, respectivamente, por:
f(p
j
) = lim
xp
j
f(x) f(p
j
+
) = lim
x p
j
+
f(x)
e o salto de f em cada p
j
indicado por:
salto(f)(p
j
) = f(p
j
+
) f(p
j
)
Exemplo: So seccionalmente contnuas sobre R, as funes:
1. f(x) = [x] = max{z Z : z x} (funo mximo inteiro)
2. g(x) = x [x], g(x) = g(x + 2) (funo dente de serra)
3. h(x) = |x|, h(x) = h(x + 2) (funo modular)
Exemplo: A funo j : R {0} R, denida por j(x) = 1/x no
seccionalmente contnua sobre R, pois possui uma descontinuidade
de segunda espcie (salto innito) em x = 0.
9.2 Lema fundamental 20
Exerccio: Construir os grcos de todas as funes dos exemplos
acima, observando que tais funes so contnuas sobre cada inter-
valo de medida nita.
9.2 Lema fundamental
Se f : [a, b] R uma funo seccionalmente contnua, ento f
limitada e integrvel sobre [a, b].
O resultado deste Lema muito importante do ponto de vista das
aplicaes, pois muitas funes reais utilizadas na prtica so seccio-
nalmente contnuas.
9.3 Funo seccionalmente diferencivel
Uma funo real f = f(x) seccionalmente diferencivel se satisfaz
s duas propriedades
1. f = f(x) seccionalmente contnua;
2. A derivada de f = f(x) seccionalmente contnua.
Exemplos: So seccionalmente diferenciveis as funes
1. f(x) = [x] = max{z Z : z x} (funo mximo inteiro)
2. g(x) = x [x], g(x) = g(x + 2) (funo dente de serra)
3. h(x) = |x|, h(x) = h(x + 2) (funo modular)
mas a funo m(x) = m(x + 2) denida por m(x) =
2
x
2
no
seccionalmente diferencivel mas somente seccionalmente contnua.
10 Teorema de Fourier 21
10 Teorema de Fourier
Se f uma funo seccionalmente diferencivel e 2-peridica, a srie
de Fourier de f converge uniformemente para o valor mdio de f em
cada ponto, isto :
f(x) =
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)]
Quando f contnua em x, escreveremos simplesmente
f(x) =
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)]
11 Aproximao de funo pela srie de Fourier
Teorema de Weierstrass: Se f uma funo contnua real peridica
de perodo 2, ento f pode ser aproximada uniformemente por uma
sequncia de polinmios trigonomtricos da forma
S
n
(f)(x) =
a
0
2
+
n
k=1
[a
k
cos(kx) + b
k
sin(kx)]
Este teorema fundamental na Teoria de Aproximao de funes,
sendo muito usado emAnlise Numrica e comele, podemos mostrar
a relao grca existente entre uma funo f e as n-simas somas
parciais (n-simas reduzidas) da srie de Fourier de f.
Este estudo pode ser estendido a funes 2-peridicas seccionalmente
diferenciveis.
Exemplo: A funo f(x) = |x|, 2-peridica, denida sobre [, ],
possui desenvolvimento de Fourier dado por:
f(x) =
2
4
_
cos(x) +
1
9
cos(3x) +
1
25
cos(5x) + . . .
_
11 Aproximao de funo pela srie de Fourier 22
Esta funo satisfaz s hipteses dos Teoremas de Weierstrass e de
Fourier, assim podemos garantir a igualdade de f com a sua srie e
garantir a convergncia uniforme da srie. Temos ento que:
lim
n
S
n
(f)(x) = f(x)
Utilizando grcos, mostraremos o processo de aproximao de f
com estas primeiras somas parciais.
Figura 13: Funo modular com a 1a. e 2a. aproximaes
Figura 14: Funo modular com a 3a. e 4a. aproximaes
As somas parciais (reduzidas) desta srie de Fourier, sero denotadas
por S
1
(f), S
2
(f), S
3
(f), S
4
(f), e neste caso:
12 O fenmeno de Gibbs e a srie de Fourier 23
S
1
(f) =
2
S
2
(f) =
2
4
cos(x)
S
3
(f) =
2
4
[cos(x) +
cos(3x)
9
]
S
4
(f) =
2
4
[cos(x) +
cos(3x)
9
+
cos(5x)
25
]
Quando n aumenta arbitrariamente (n ) ento S
n
(f) f e ob-
servamos pelos grcos que S
4
(f) j representa uma boa aproximao
para f sobre [, ].
12 O fenmeno de Gibbs e a srie de Fourier
Se f = f(x) uma funo seccionalmente diferencivel e absoluta-
mente integrvel, o Teorema de Fourier garante que a srie de Fourier
de f = f(x) converge uniformemente para f em todo o intervalo fe-
chado que no contm pontos de descontinuidade de f.
Se existir um ponto de descontinuidade neste intervalo I, a conver-
gncia no poder ser uniforme em I. Gibbs estudou a convergncia
da srie de Fourier prximo a umponto p de descontinuidade e desco-
briu uma curiosidade, que conhecida como fenmeno de Gibbs.
Se denimos a oscilao da soma parcial de ordem n no ponto x = p
por
n
(S
n
, p) = max S
n
(f) min S
n
(f)
Gibbs observou que o valor desta oscilao no se aproxima do salto
de f no ponto x = p, independente do grau de proximidade de x com
p.
Na verdade, a soma parcial da srie de Fourier ultrapassa o valor li-
mite da funo (sinal no nosso exemplo) direita e tem valor menor
13 Sries de Fourier de Senos e Cossenos (Extenses) 24
Figura 15: Fenmeno de Gibbs com a 1a. e 2a. aproximaes
Figura 16: Fenmeno de Gibbs com a 3a. e 4a. aproximaes
do que a funo (sinal do nosso exemplo grco). Esta uma forma
natural de compensar o salto que a soma parcial realizar.
13 Sries de Fourier de Senos e Cossenos (Extenses)
13.1 O papel das extenses de funes
Ao estudar Equaes Diferenciais Parciais, muitas vezes necessitamos
estender o domnio de uma funo 2L-peridica que est denida
apenas sobre o meio intervalo [0, L] ao intervalo completo [L, L] para
nos beneciarmos da simetria da funo no intervalo simtrico.
A idia estender o domnio da funo f = f(x) que [0, L] a todo o
intervalo [L, L], de modo que a extenso f
e
seja uma funo par ou
mpar e ento construir a srie de Fourier da extenso.
Vamos supor que o domnio de f = f(x) seja [0, ] e alm disso
13.1 O papel das extenses de funes 25
f(x) =
n=0
A
n
cos(nx)
Devemos estender esta funo f = f(x) a todo o intervalo simtrico
[, ] de modo que a extenso seja uma funo par, pois a funo
dada est desenvolvida em srie de cossenos.
A extenso par pode ser denida por
f
2
(x) =
_
f(x) se x < 0
f(x) se 0 x
Observamos que a extenso f
2
coincide com a funo f sobre o inter-
valo [0, ].
Suponhamos agora que o domnio de f = f(x) seja [0, ] e alm disso
f(x) =
n=1
B
n
sin(nx)
Devemos estender esta funo f = f(x) a todo o intervalo simtrico
[, ] de modo que a extenso seja uma funo mpar, pois a funo
dada est desenvolvida em srie de senos.
A extenso mpar pode ser denida por
f
1
(x) =
_
f(x) se x < 0
f(x) se 0 x
A extenso f
1
coincide com a funo f sobre o intervalo [0, ].
Pelas denies acima, f
1
= f
1
(x) uma extenso mpar e f
2
= f
2
(x)
uma extenso par. Estas extenses so denidas e integrveis sobre
o intervalo [, ], coincidindo com f = f(x) sobre a metade do
intervalo [0, ].
A partir do exposto acima, a funo f
1
a extenso mpar de f e f
2
chamada a extenso par de f.
13.2 Extenses de funes 2-peridicas 26
13.2 Extenses de funes 2-peridicas
1. A srie de Fourier da extenso mpar f
1
, denominada a srie de
Fourier de senos da funo f, dada por:
f(x)
n=1
b
n
sin(nx)
sendo que para cada n N, os coecientes mpares de Fourier
so:
b
n
=
2
_
0
f(x) sin(nx) dx
2. A srie de Fourier da extenso par f
2
, chamada a srie de Fourier
de cossenos da funo f, dada por:
f(x)
a
0
2
+
n=1
a
n
cos(nx)
sendo que para cada n N, os coecientes pares de Fourier so
dados por:
a
n
=
2
_
0
f(x) cos(nx) dx
Exemplo: Para obter a extenso par da funo f(x) = x denida sobre
o meio-intervalo [0, ], construiremos a extenso f
2
, que no intervalo
[, ] dada por:
f
2
(x) = |x|
Como f
2
par, os coecientes mpares so nulos, isto , b
n
= 0 para
todo n N e os coecientes pares a
n
so dados por:
a
0
=
2
_
0
x dx =
e
a
n
=
2
_
0
x cos(nx) dx =
2
n
2
(cos(n) 1)
logo
f(x)
2
4
_
cos(x) +
1
9
cos(3x) +
1
25
cos(5x) + . . .
_
13.2 Extenses de funes 2-peridicas 27
Exemplo: Para a srie de Fourier de senos da funo f(x) = 1 sobre
x [0, ], devemos tomar a extenso mpar f
1
de f que no intervalo
[, ] ser dada por:
f
1
(x) = sinal(x) =
_
1, < x 0
+1, 0 < x
Como f
1
mpar, os coecientes pares so nulos, isto , a
n
= 0 e os
coecientes mpares b
n
so dados por:
b
n
=
2
_
0
sin(nx)dx =
2
n
(1 cos(n)) =
2(1 (1)
n
)
n
Assim, b
n
= 0 se n par, mas se n mpar da forma n = 2k 1 onde
k N, temos que:
b
2k1
=
4
(2k 1)
logo
f(x)
4
_
sin(x) +
1
3
sin(3x) +
1
5
sin(5x) +
_
Exemplo: Seja a funo de f(x) = cos(x) sobre x [0, ]. Para obter
a srie de Fourier de Senos, devemos estender esta funo f funo
mpar f
1
denida por:
f
1
(x) =
_
cos(x) < x 0
cos(x) 0 < x
Como f
1
mpar, temos que a
n
= 0 e os b
n
so dados por:
b
n
=
2
_
0
cos(x) sin(nx)dx
que fornece b
1
= 0 e para n > 1, obtemos:
b
n
=
2n
_
1 + (1)
n
n
2
1
_
13.3 Extenses de funes 2L-peridicas 28
Como b
n
= 0 para todo n mpar, assim basta tomar n = 2k e os coeci-
entes pares:
b
2k
=
8
k
4k
2
1
A funo f(x) = cos(x) inicialmente denida sobre o meio-intervalo
[0, ], possui a extenso mpar de f
1
(x) = cos(x) denida sobre todo o
intervalo [, ], tendo a srie de Fourier:
cos(x)
8
k=1
k
4k
2
1
sin(2kx)
13.3 Extenses de funes 2L-peridicas
Como zemos antes, podemos denir as sries de Fourier de senos
e cossenos para funes 2L-peridicas denidas sobre um intervalo
[L, L]. Se a funo f = f(t) 2L-peridica, a sua srie de Fourier
sobre [L, L] denida por:
f(t)
a
0
2
+
n=1
_
a
n
cos(
nt
L
) + b
n
sin(
nt
L
)
_
onde os coecientes de Fourier so dados por:
a
n
=
1
L
_
L
L
f(t) cos(
nt
L
)dt
b
n
=
1
L
_
L
L
f(t) sin(
nt
L
)dt
Proposio: Seja f uma funo 2L-peridica e denida sobre meio-
intervalo [0, L].
(1) Se f par ento b
n
= 0 (n 1) e para n 0:
a
n
=
2
L
_
L
0
f(t) cos
_
nt
L
_
dt
14 Outras formas de apresentar uma Srie de Fourier 29
A srie de Fourier tem a forma:
f(t)
a
0
2
+
n=1
a
n
cos
_
nt
L
_
(2) Se f mpar ento a
n
= 0 (n 0) e para n 1:
b
n
=
2
L
_
L
0
f(t) sin
_
nt
L
_
dt
Neste caso, a srie de Fourier ter a forma:
f(t)
n=1
b
n
sin
_
nt
L
_
14 Outras formas de apresentar uma Srie de Fourier
14.1 Forma simplicada da Srie de Fourier
Como sempre possvel escrever g(t) = Bcos(nt)+C sin(nt) na forma
g(t) = Acos(nt ), ento podemos escrever a srie de Fourier em
uma forma simplicada contendo somente funes cosseno na soma.
Para uma funo 2-peridica f = f(t), escreveremos:
f(t)
a
0
2
+
n=1
A
n
cos(nt )
14.2 Forma complexa da Srie de Fourier
A forma complexa da srie de Fourier de uma funo peridica real f
pode ser obtida como uma combinao linear de funes exponenciais
complexas.
Seja f = f(x) uma funo real 2-peridica. A forma complexa da
srie de Fourier de f = f(x) dada por:
14.2 Forma complexa da Srie de Fourier 30
f(x)
n=
c
n
e
inx
onde o coeciente de Fourier complexo dado por:
c
n
=
1
2
_
f(x)e
inx
dx
para cada nmero n Z = { , 3, 2, 1, 0, 1, 2, 3, 4, }.
Observao: Se a funo f = f(t) 2L-peridica, o coeciente com-
plexo de Fourier para f = f(t) denido para cada n Z, como
c
n
=
1
2L
_
L
L
f(t) e
int/L
dt
sendo a srie de Fourier representada por
f(t)
n=
c
n
e
int/L
Exemplo: Seja f(t) = t, for t (1, 1) e f(t +2) = f(t). Os coecientes
complexos {c
n
} da srie de Fourier de f = f(t) so dados por c
0
= 0 e
c
n
=
1
2
_
1
1
t e
int
dt
Com alguns clculos obtemos:
c
n
=
1
2
_
e
in
in
+
e
in
in
e
in
(in)
2
+
e
in
(in)
2
_
Como e
i
= e
i
= 1, simplicamos c
n
para:
c
n
=
(1)
n
(in)
14.3 Relao entre coecientes reais e complexos 31
logo, a forma complexa da srie de Fourier de f = f(t) ser:
f(t)
n=1
(1)
n+1
in
[e
int
e
int
]
que pode ser escrita na forma
f(t) 2
n=1
(1)
n+1
n
sin(nt)
14.3 Relao entre coecientes reais e complexos
Existe uma ntima relao entre os coecientes de Fourier reais e com-
plexos para uma funo peridica f.
Teorema: Se f uma funo 2-peridica, {a
n
} e {b
n
} os coecientes
de Fourier reais, {c
n
} os coecientes complexos de Fourier de f, ento
existem trs relaes que fazem a conexo entre estes coecientes da
srie de Fourier:
(1) c
0
=
1
2
a
0
(2) c
n
=
1
2
(a
n
ib
n
) (n 1)
(3) c
n
=
1
2
(a
n
+ ib
n
) (n 1)
Demonstrao: Seja a forma real da srie de Fourier para f dada por:
f(x)
a
0
2
+
n=1
(a
n
cos(nx) + b
n
sin(nx))
onde a
0
, a
n
e b
n
so nmeros reais. Como para todo nmero complexo
z C vale a relao de Euler:
e
z
= cos(z) + i sin(z)
14.3 Relao entre coecientes reais e complexos 32
e em particular, obtemos
e
inx
= cos(nx) + i sin(nx) e e
inx
= cos(nx) i sin(nx)
A partir da, podemos escrever que:
cos(nx) =
1
2
(e
inx
+ e
inx
) e sin(nx) =
1
2
(e
inx
e
inx
)
Substituindo estas duas ltimas expresses na srie de Fourier com
coecientes reais, teremos:
f(x)
a
0
2
+
n=1
[
a
n
2
(e
inx
+ e
inx
) +
b
n
2i
(e
inx
e
inx
)]
que pode ser escrita na forma:
f(x)
a
0
2
+
n=1
(
a
n
ib
n
2
) e
inx
+
n=1
(
a
n
+ ib
n
2
) e
inx
Tomando n 1 e
c
0
=
1
2
a
0
, c
n
=
1
2
(a
n
ib
n
), c
n
=
1
2
(a
n
+ ib
n
)
teremos a srie:
f(x) c
0
+
n=1
c
n
e
inx
+
n=1
c
n
e
inx
isto
f(x)
1
n=
c
n
e
inx
+ c
0
e
i0x
+
n=1
c
n
e
inx
15 Conexo entre a srie de Fourier e a sua derivada 33
que nalmente pode ser escrita na forma:
f(x)
n=
c
n
e
inx
Este teorema garante que a forma complexa da srie de Fourier coincide
com a forma real da srie de Fourier. Cada uma das formas pode ser
usada para tirar vantagem das propriedades matemticas envolvidas
com o contexto fsico. No estudo de Sinais Digitais, Comunicao de
Dados ou Computao Grca, til trabalhar com a srie complexa.
15 Conexo entre a srie de Fourier e a sua derivada
15.1 A derivada da srie de Fourier
H uma conexo entre os coecientes complexos da srie de Fourier
de uma funo f e os correspondentes coecientes da srie de Fourier
da derivada de f.
Teorema: Se f uma funo diferencivel 2L-peridica e
f(x)
n=
c
n
e
inx/L
ento
f
(x)
n=
in
L
c
n
e
inx/L
15.2 Resoluo de EDOL com sries de Fourier
Inicialmente, Fourier estudava processos para resolver Equaes Di-
ferenciais Ordinrias Lineares (EDOL). Realizaremos a anlise de al-
15.3 Soluo de uma EDOL de primeira ordem por Srie de Fourier 34
gumas EDOL com coecientes constantes de ordem 1 e 2, ao invs de
estudar o caso geral.
L(y) = y
(n)
+ a
n1
y
(n1)
+ + a
1
y
+ a
0
y = f(x)
onde f = f(x) uma funo 2-peridica.
15.3 Soluo de uma EDOL de primeira ordempor Srie de Fourier
Seja f uma funo 2-peridica. Obteremos as solues peridicas da
EDOL:
y
+ ay = f(x)
Vamos considerar que f = f(x) possua a srie de Fourier, sendo f
n
os
seus coecientes complexos de Fourier, isto :
f(x)
n=
f
n
e
inx
Seja y = y(x) uma soluo 2-peridica da equao diferencial dada e
vamos assumir que y = y(x) possui a srie de Fourier
y(x)
n=
y
n
e
inx
onde y
n
so os coecientes complexos de Fourier de y = y(x).
Substituindo estas duas representaes na EDOL dada, obteremos dois
somatrios cujos coecientes complexos de Fourier coincidem para
todo n Z, isto
iny
n
+ ay
n
= f
n
donde segue que para todo n Z
y
n
=
f
n
a + in
15.4 Soluo de uma EDOL de segunda ordem por Srie de Fourier 35
Assim, se conhecermos os coecientes f
n
, ns teremos a soluo da
equao diferencial dada por:
y(x) =
n=
_
f
n
a + in
_
e
inx
15.4 Soluo de uma EDOL de segunda ordempor Srie de Fourier
Seja f uma funo 2-peridica. Estudaremos agora as solues pe-
ridicas da EDOL de segunda ordem:
y
+ ay
+ by = f(x)
Consideraremos a srie de Fourier de f, dada por
f(x)
n=
f
n
e
inx
e a srie de Fourier da funo incgnita y = y(x), dada por
y(x)
n=
y
n
e
inx
onde y
n
so os coecientes complexos de Fourier de y = y(x).
Ao substituir estas representaes na EDOL dada, obteremos dois so-
matrios cujos coecientes de Fourier coincidem para todo n Z:
_
(
in
L
)
2
+ a
in
L
+ b
_
y
n
= f
n
donde segue que para todo n Z
y
n
=
f
n
(
in
L
)
2
+ a
in
L
+ b
Assim, se conhecermos os coecientes f
n
, ns teremos a soluo da
equao diferencial dada por:
y(x) =
n=
_
f
n
(
in
L
)
2
+ a
in
L
+ b
_
e
inx
REFERNCIAS BIBLIOGRFICAS UTILIZADAS 36
O que zemos pode ser estendido a EDOL com coecientes constan-
tes de ordem n maior do que 2.
Referncias bibliogrcas utilizadas
[1] Figueiredo, Djairo Guedes Anlise de Fourier e Equaes Diferenciais Parciais,
Coleo Euclides, IMPA/CNPq, Rio de Janeiro, 1986.
[2] Kaplan, Wilfred, Clculo Avanado, Edgard Blcher Editora e EDUSP, (1972),
So Paulo, Brasil.
[3] Kolmogorov, A.N. e Fomin, S.V., Elementos de la Teoria de Funciones y del Ana-
lisis Funcional, Editorial MIR, (1972), Moscou.
[4] Quevedo, Carlos P., Circuitos Eltricos, LTC Editora, (1988), Rio de Janeiro, Bra-
sil.
[5] Spiegel, Murray, Anlise de Fourier, Coleo Schaum, McGraw-Hill do Brasil,
(1976), So Paulo, Brasil.