A Estrutura de Realimentação
Um filtro FIR (resposta de impulso finita) calcula cada amostra de saída como uma soma ponderada de entradas atuais & passadas apenas. Sem realimentação. A resposta de impulso tem duração finita.
Um filtro IIR (resposta de impulso infinita) realimenta saídas anteriores para a computação:
y_n = Σ b_k · x_{n−k} − Σ a_k · y_{n−k}
O termo recursivo −Σ a_k · y_{n−k} cria realimentação. Um único impulso na entrada ecoará ao redor do loop de realimentação indefinidamente (decaindo geometricamente se estável).
Por Que Usar Realimentação?
Um filtro IIR pode alcançar seletividade de frequência nítida com muito menos coeficientes que um filtro FIR. Um IIR de 2 polos pode aproximar o que requer um FIR de 50 coeficientes para a mesma atenuação de banda de parada.
O preço: instabilidade potencial. Os polos de H(z) determinam estabilidade. Todos os polos devem estar estritamente dentro do círculo unitário.
A História do Chuveiro de Realimentação de Hamming
Hamming usou uma história pessoal vívida para ilustrar instabilidade de realimentação.
Ele ficava no mesmo quarto do hotel repetidamente porque a familiaridade o ajudava a se orientar quando cansado. O encanador havia instalado tubos de água quente de grande diâmetro no chuveiro. Estes criavam um atraso significativo entre ajustar a torneira & sentir a mudança na temperatura da água.
Cada manhã, Hamming seguia o mesmo padrão: água muito fria → aumentar quente → ainda frio → aumentar mais → subitamente fervendo → pular para fora → diminuir → repetir.
O atraso na via de realimentação significava que suas correções sempre ultrapassavam o alvo. Ele não conseguia se adaptar ao atraso, mesmo após muitas repetições.
A lição de engenharia: instabilidade surge ou de ganho excessivo na via de realimentação OU atraso excessivo na via de realimentação. Ambos se manifestam como o mesmo comportamento de caça. Em termos de filtro: polos em ou fora do círculo unitário produzem exatamente esta resposta oscilatória ou divergente.
Caracterizando a Instabilidade
Hamming observou que a mesma instabilidade do chuveiro podia ser analisada de duas maneiras:
1. Sua resposta foi muito forte (ganho excessivo na ação de correção).
2. Sua detecção foi muito atrasada (muito rápido para entrar na banheira antes do sistema se estabilizar).
Ambas as descrições produzem o mesmo resultado matemático: o polo do loop de realimentação se moveu para fora do círculo unitário.
As Quatro Famílias Clássicas
A teoria de filtros analógicos se desenvolveu ao redor de quatro famílias clássicas de design, cada uma representando uma compensação diferente. Estas famílias se transformam para tempo discreto via transformação bilinear ou invariância de impulso.
Butterworth (Maximalmente Plano)
Resposta de banda passante: |H(jω)|² = 1 / (1 + (ω/ω_c)^{2N}). Monotonicamente decrescente. Sem ondulação em banda passante ou banda de parada. Os polos se situam em um círculo de raio ω_c no plano-s (ou circulando transformado no plano-z). A banda passante mais plana possível para uma ordem N dada.
Chebyshev Tipo I
Ondulação igual na banda passante, monotônica na banda de parada. Para uma ordem N & nível de ondulação dados, alcança cutoff mais nítido que Butterworth. Os polos se situam em uma elipse (no plano-s).
Chebyshev Tipo II
Ondulação igual na banda de parada, monotônica na banda passante. Imagem espelhada do Tipo I no domínio de frequência.
Elíptico (Cauer)
Ondulação igual em AMBAS banda passante & banda de parada. Para uma ordem N & níveis de ondulação dados, alcança a transição mais nítida possível de banda passante para banda de parada. Usa funções elípticas para posicionar polos & zeros otimamente. Hamming: o nome vem do fato de que funções elípticas são usadas na derivação.
A Compensação Fundamental
Todas as quatro famílias alcançam a mesma compensação básica diferentemente: ordem N mais alta dá transição mais nítida. Permitir ondulação (Chebyshev, elíptico) alcança transição mais nítida para o mesmo N. Elíptico alcança a transição absolutamente mais nítida para qualquer N & especificações de ondulação dadas.
Escolhendo Entre Famílias de Filtros
A escolha entre famílias depende do que a aplicação tolera.
Questionando a Afirmação do Especialista
Hamming se lembrava que certos especialistas haviam afirmado que todos os filtros IIR (recursivos) possuíam uma propriedade particular. Ele se perguntou se isto era realmente verdadeiro — & encontrou um contraexemplo.
Seu ponto: especialistas frequentemente carregam afirmações que absorveram na escola sem nunca re-examiná-las no contexto de problemas atuais. Se você se perguntar se o que está sendo dito é realmente verdadeiro, é surpreendente quanto você pode descobrir que é, ou borda em ser, falso, mesmo em um campo bem desenvolvido.
O contraexemplo não era o tipo de filtro que você normalmente desenharia, mas provou a afirmação superficial. Um único contraexemplo basta para refutar uma afirmação universal.
Design IIR na Prática
Hamming notou que ele havia independentemente desenvolvido muito da teoria de filtro IIR enquanto resolvia um problema diferente: derivar fórmulas corretoras estáveis para equações diferenciais ordinárias numéricas.
A forma da fórmula corretora: y_n = Σ a_k · y_{n−k} + Σ b_k · f(y_{n−k})
Realimentação aparece tanto nos termos y (realimentação linear) quanto nos termos f(y) (realimentação não-linear através da equação diferencial). Estabilidade para filtros IIR é um caso especial do problema mais geral de estabilidade para integradores ODE numéricos.
Conectando Realimentação Através de Domínios
A mesma estrutura matemática — realimentação, polos, limite de estabilidade — aparece em filtros digitais, solucionadores ODE numéricos, sistemas de controle, ritmos biológicos, & modelos econômicos.
Em cada domínio: um loop de realimentação computa um novo estado de estados anteriores. Estabilidade requer que a realimentação não amplifique perturbações indefinidamente.
O limite de estabilidade do círculo unitário no plano-Z corresponde a: o eixo imaginário no plano-s de Laplace em tempo contínuo, a condição de raio espectral ρ(A) < 1 para iterações lineares, & a condição de expoente de Lyapunov λ < 0 para sistemas não-lineares.