O Teorema de Convergncia de Fourier

Teoria
Como j visto anteriormente, se a srie de Fourier converge, ento, esta
define uma funo. Tal funo peridica, com perodo 2L e integrvel no
intervalo [-L; L].
No entanto, sabe-se que, para algumas funes, esta srie, em alguns
pontos x, pode no convergir para f(x) ou, at mesmo, divergir. Esta situao
leva necessidade de especificar hipteses adicionais s funes a fim de
garantir sua convergncia. Essas condies sobrepostas devem ser fracas o
suficiente para que possam ser verificadas em funes particulares.
Consideremos, inicialmente, a definio de funes seccionalmente
contnuas. Uma funo f dita parcialmente contnua em um intervalo
se o intervalo pode ser dividido em um nmero finito de pontos

quando:
f contnua em cada intervalo aberto

,
f tente a um limite finito nas extremidades de cada subintervalo, quando
aproximadas do interior do intervalo.

Levemos em considerao tambm as notaes:
f(c+): limite de f quando x tende a c pela direita,
f(c-): limite de f quando x tende a c pela esquerda.

O Teorema de Convergncia de Fourier nos diz que: sendo f e f
seccionalmente contnuas num intervalo , estando esta definida fora
deste intervalo com perodo 2L, f tem uma srie de Fourier:
, em que os coeficientes so
dados pelas equaes:


A srie de Fourier convergir para f(x) em todos os pontos que a funo
contnua e para [f(x+) + f(x-)] / 2 em todos os pontos em que f(x)
descontnua. Pode-se dizer desta forma, tambm, que a srie converge para
[f(x+) + f(x-)] / 2 em todos os pontos, pois quando contnua, f(x+) = f(x-).

Exemplo
Utilizemos a funo dada como exemplo no item 2.2.2.
Nele, temos: considere o sinal x(t) dado abaixo (onda quadrada),
definido num intervalo (de t = 1 at t = 1) ilustrado na figura abaixo.





Podemos ver que para todo t inteiro, a funo tende a [f(x+) + f(x-)] / 2 =
(-1 + 1) / 2 = 0. Nos intervalos nos quais a funo contnua, a srie tende ao
prprio f(x). Tal situao bem ilustrada pela figura.







Nela, h apenas a representao de dois termos. No entanto, j
possvel analisar a convergncia ao comparar a srie com o grfico de f(x)
plotado ao fundo.



Funes Pares e mpares

Teoria
Inicialmente, importante definir o que so funes pares e mpares e
algumas de suas importantes propriedades.
Uma funo par aquela na qual seu domnio contm o ponto x sempre
que contiver x, tal que f(x) = f(-x). Geometricamente, ela simtrica em
relao ao eixo y. (1)
Uma funo par aquela na qual seu domnio contm o ponto x sempre
que contiver x, tal que f(x) = -f(-x). Geometricamente, ela simtrica
em relao origem. (2)
A soma (ou diferena) e o produto (ou quociente) de duas funes pares
uma funo par. (3)
A soma (ou diferena) de duas funes mpares uma funo mpar e o
produto (ou quociente) de duas funes mpares uma funo par. (4)
O produto (ou quociente) de uma funo par e uma funo mpar uma
funo mpar. (5)
Se f uma funo par, (6)
Se f uma funo mpar, (7)

Sries em Cossenos
Sendo f e f seccionalmente contnuas num intervalo , f sendo
peridica par com perodo 2L. De (3) e (5), sabe-se que () (

) par e
que ()(

) mpar. Logo,

E, ento,

Ou seja, a srie de Fourier de qualquer funo par formada apenas por
cossenos.
Sries em Senos
Sendo f e f seccionalmente contnuas num intervalo , f sendo
peridica mpar com perodo 2L. De (4) e (6), sabe-se que () (

) mpar
e que ()(

) par. Logo,

E, ento,

Ou seja, a srie de Fourier de qualquer funo mpar formada apenas
por senos.
Exemplo
Consideremos a funo f(x) com perodo 2 dada pelo grfico abaixo:

Como o grfico tem simetria em relao ao eixo y, tal funo par.
Ento b
n
= 0 e


Portanto,

Pode-se, ento, notar que como a funo original era par, a srie de
Fourier correspondente mesma formada apenas por cossenos.
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:


Pode-se, ento, notar que como a funo original era mpar, a srie de
Fourier correspondente mesma formada apenas por senos.