Funções como Vetores
A série de Fourier não é apenas uma ferramenta de cálculo — é uma operação geométrica: projeção ortogonal de uma função sobre um conjunto de bases.
Espaço de Funções
O conjunto de funções quadrado-integráveis em [0,1] forma um espaço vetorial L²[0,1]. Adição e multiplicação escalar funcionam ponto a ponto. O produto interno de duas funções f, g:
⟨f, g⟩ = ∫₀¹ f(t) · g*(t) dt
onde g* é o conjugado complexo de g. Isso satisfaz todos os axiomas do produto interno.
Ortogonalidade da Bases de Fourier
As funções φ_k(t) = e^{i2πkt} formam uma base ortogonal para L²[0,1]:
⟨φ_k, φ_m⟩ = ∫₀¹ e^{i2πkt} · e^{−i2πmt} dt = ∫₀¹ e^{i2π(k−m)t} dt = δ_{km}
(Isso é igual a 1 se k = m, 0 em outros casos - ao integrar uma oscilação pura sobre um período completo.)
Coeficiente de Fourier como Produto Interno
O k-ésimo coeficiente de Fourier de x(t):
c_k = ⟨x, φ_k⟩ = ∫₀¹ x(t) · e^{−i2πkt} dt
Isso é a projeção de x sobre o vetor da base φ_k. O coeficiente mede quanto de φ_k está presente em x.
Projeção em um Subespaço
Através de uma série de Fourier truncada para 2N+1 termos projeta x no subespaço gerado por {φ_{−N}, ..., φ_N}. A série truncada é a projeção ortogonal de x neste subespaço finitamente dimensional.
Pela desigualdade de Bessel, a projeção minimiza o erro L²:
‖x − Σ_{k=−N}^{N} c_k φ_k‖² ≤ ‖x − Σ_{k=−N}^{N} a_k φ_k‖² para qualquer escolha de a_k
A truncação de Fourier é a melhor aproximação em L² desse subespaço. Ela minimiza o erro médio quadrado (o quadrado do erro L² da diferença).
Janela Retangular → Kernel de Sinc
A janela retangular no domínio do tempo (mantendo apenas os coeficientes para |k| ≤ N) corresponde à multiplicação por uma função rect no índice dos coeficientes.
A multiplicação em um domínio corresponde a convolução no outro domínio.
A transformada de Fourier da janela retangular (no espaço dos coeficientes discretos) é o kernel de Dirichlet — uma função periódica do tipo sinc:
D_N(f) = Σ_{k=−N}^{N} e^{i2πfk} = sin(π(2N+1)f) / sin(πf)
Ao truncar a série de Fourier, convolvemos a resposta ideal H_ideal(f) com D_N(f).
Por que o Efeito Gibbs Ocurre
O kernel de Dirichlet tem lobos laterais grandes que decaim com lentidão. Perto de uma discontinuidade de salto em H_ideal(f), esses lobos ressoam — eles se somam coerentemente do lado de fora do salto, produzindo o superaviso de ≈9%.
A constante matemática: ∫₀^π sin(t)/t dt = Si(π) ≈ 1.8519. A altura do superaviso de Gibbs = (2/π)·Si(π) − 1 ≈ 0.0895 = 8.95%. Isso é independente de N.
Geometria da Janela
Uma janela suave (Hamming, Hann, Kaiser) tem uma transformada de Fourier com lobos laterais menores. Convolvendo H_ideal(f) com um kernel que tem lobos laterais menores produz menos ressonância. O trade-off: lobos laterais menores sempre vêm com um maior lóbulo principal, ampliando a faixa de transição.
A Constante de Gibbs
O overshoot de Gibbs é uma integração definida, não uma função de N.
A primeira máxima da soma parcial de Fourier de N-termos de um passo unitário ocorre em f ≈ 1/(2N) da discontinuidade. À medida que N → ∞, essa máxima se aproxima de 1/(2)·(2/π)·Si(π) ≈ 1.0895.
O overshoot: 0,0895 ou aproximadamente 8,95% da altura do salto.
Janelas como Kernels na Frequência
Cada função de janela tem uma transformada de Fourier que descreve o kernel usado para suavizar a resposta de frequência ideal.
Os principais parâmetros geométricos do kernel:
1. Largura da lente principal: determina a largura da faixa de transição (lente principal mais larga → faixa de transição mais larga).
2. Nível de pico dos lóbis de lado: determina o ripple na faixa de passagem e na faixa de bloqueio (menores lóbis de lado → menos ripple).
Esses dois parâmetros não são independentes. Para uma janela de comprimento 2N+1, reduzir a altura dos lóbis de lado implica ampliar a lente principal - sempre.
A janela de Kaiser fornece ao usuário uma única manopla (α) para alternar continuamente entre a altura das subportas e a largura da principal, em vez de saltar entre tipos de janela fixos.
Visão de Design
A largura da faixa de transição ΔF ≈ largura da principal / N. O pico δ ≈ nível de subporta. Ambas as fórmulas são aproximadas; as equações de Kaiser as tornam exatas.