La Estructura de Retroalimentación
Un filtro FIR (respuesta de impulso finito) calcula cada muestra de salida como una suma ponderada de entradas actuales & pasadas solamente. Sin retroalimentación. La respuesta de impulso tiene duración finita.
Un filtro IIR (respuesta de impulso infinito) realimenta salidas anteriores en el cálculo:
y_n = Σ b_k · x_{n−k} − Σ a_k · y_{n−k}
El término recursivo −Σ a_k · y_{n−k} crea retroalimentación. Un impulso único en la entrada rebotará alrededor del bucle de retroalimentación indefinidamente (decayendo geométricamente si es estable).
¿Por Qué Usar Retroalimentación?
Un filtro IIR puede lograr una selectividad de frecuencia aguda con muchos menos coeficientes que un filtro FIR. Un IIR de 2 polos puede aproximar lo que requiere un FIR de 50 coeficientes para la misma atenuación de banda de detención.
El precio: inestabilidad potencial. Los polos de H(z) determinan la estabilidad. Todos los polos deben estar estrictamente dentro del círculo unitario.
La Historia de la Ducha con Retroalimentación de Hamming
Hamming utilizó una historia personal vívida para ilustrar la inestabilidad por retroalimentación.
Se hospedaba repetidamente en la misma habitación de hotel porque la familiaridad lo ayudaba a orientarse cuando estaba cansado. El plomero había instalado tuberías de agua caliente de gran diámetro en la ducha. Estas crearon un retraso significativo entre ajustar la perilla y sentir el cambio en la temperatura del agua.
Cada mañana, Hamming seguía el mismo patrón: agua demasiado fría → aumentar el calor → todavía fría → aumentar más → de repente hirviendo → saltar → bajar → repetir.
El retraso en la ruta de retroalimentación significaba que sus correcciones siempre se pasaban. No podía adaptarse al retraso, ni siquiera después de muchas repeticiones.
La lección de ingeniería: la inestabilidad surge ya sea por ganancia excesiva en la ruta de retroalimentación O retraso excesivo en la ruta de retroalimentación. Ambos se manifiestan como el mismo comportamiento de búsqueda. En términos de filtro: los polos en o fuera del círculo unitario producen exactamente esta respuesta oscilatoria o divergente.
Caracterización de la Inestabilidad
Hamming observó que la misma inestabilidad de la ducha podría analizarse de dos maneras:
1. Su respuesta fue demasiado fuerte (ganancia excesiva en la acción correctiva).
2. Su detección fue demasiado retrasada (demasiado apresurado al entrar en la bañera antes de que el sistema se estabilizara).
Ambas descripciones producen el mismo resultado matemático: el polo del bucle de retroalimentación se ha movido fuera del círculo unitario.
Las Cuatro Familias Clásicas
La teoría del filtro analógico se desarrolló alrededor de cuatro familias clásicas de diseño, cada una representando un equilibrio diferente. Estas familias se transforman en tiempo discreto mediante la transformada bilineal o la invariancia de impulso.
Butterworth (Máximamente Plano)
Respuesta en banda de paso: |H(jω)|² = 1 / (1 + (ω/ω_c)^{2N}). Decrecimiento monótono. Sin ondulación en la banda de paso o banda de detención. Los polos se encuentran en un círculo de radio ω_c en el plano s (o círculo transformado en el plano z). La banda de paso más plana posible para un orden N dado.
Chebyshev Tipo I
Ondulación igual en la banda de paso, monótono en la banda de detención. Para un orden N y nivel de ondulación dados, logra un corte más agudo que Butterworth. Los polos se encuentran en una elipse (en el plano s).
Chebyshev Tipo II
Ondulación igual en la banda de detención, monótono en la banda de paso. Imagen especular del Tipo I en el dominio de la frecuencia.
Elíptico (Cauer)
Ondulación igual en AMBAS banda de paso & banda de detención. Para un orden N y niveles de ondulación dados, logra la transición más aguda posible de la banda de paso a la banda de detención. Utiliza funciones elípticas para colocar polos & ceros de manera óptima. Hamming: el nombre proviene del hecho de que las funciones elípticas se utilizan en la derivación.
El Equilibrio Fundamental
Las cuatro familias logran el mismo equilibrio básico de manera diferente: un orden N superior proporciona una transición más aguda. Permitir ondulación (Chebyshev, elíptico) logra una transición más aguda para el mismo N. Elíptico logra la transición más aguda absoluta para cualquier N & especificaciones de ondulación dados.
Elegir Entre Familias de Filtros
La elección entre familias depende de lo que la aplicación tolera.
Cuestionamiento de la Afirmación del Experto
Hamming recordó que ciertos expertos habían afirmado que todos los filtros IIR (recursivos) poseían una propiedad particular. Se preguntó a sí mismo si esto era realmente verdadero — & encontró un contraejemplo.
Su punto: los expertos a menudo llevan afirmaciones que absorbieron en la escuela sin examinarse realmente en el contexto de problemas actuales. Si te preguntas a ti mismo si lo que te están diciendo es realmente verdadero, es asombroso cuánto puedes descubrir que es, o está cerca de ser, falso, incluso en un campo bien desarrollado.
El contraejemplo no era el tipo de filtro que normalmente diseñarías, pero probó que la afirmación era superficial. Un único contraejemplo es suficiente para refutar una afirmación universal.
Diseño de IIR en la Práctica
Hamming notó que había desarrollado independientemente gran parte de la teoría de filtros IIR mientras resolvía un problema diferente: derivar fórmulas correctoras estables para ecuaciones diferenciales ordinarias numéricas.
La forma de la fórmula correctora: y_n = Σ a_k · y_{n−k} + Σ b_k · f(y_{n−k})
La retroalimentación aparece en ambos términos y (retroalimentación lineal) & términos f(y) (retroalimentación no lineal a través de la ecuación diferencial). La estabilidad para filtros IIR es un caso especial del problema más general de estabilidad para integradores numéricos de ODE.
Conectando Retroalimentación Entre Dominios
La misma estructura matemática — retroalimentación, polos, límite de estabilidad — aparece en filtros digitales, solucionadores numéricos de ODE, sistemas de control, ritmos biológicos, & modelos económicos.
En cada dominio: un bucle de retroalimentación calcula un nuevo estado a partir de estados anteriores. La estabilidad requiere que la retroalimentación no amplíe perturbaciones indefinidamente.
El límite de estabilidad del círculo unitario en el plano Z corresponde a: el eje imaginario en el plano s de Laplace (tiempo continuo), la condición de radio espectral ρ(A) < 1 para iteraciones lineales, & la condición de exponente de Lyapunov λ < 0 para sistemas no lineales.