Die Rückkopplungsstruktur
Ein FIR (endliche Impulsantwort)-Filter berechnet jeden Ausgangswert als gewichteter Summe der aktuellen & vorherigen Eingänge. Keine Rückkopplung. Die Impulsantwort hat eine endliche Dauer.
Ein IIR (unendliche Impulsantwort)-Filter gibt vorherige Ausgänge in die Berechnung zurück:
y_n = Σ b_k · x_{n−k} − Σ a_k · y_{n−k}
Der rekursive Term −Σ a_k · y_{n−k} erzeugt Rückkopplung. Ein einzelner Impuls am Eingang wird im Rückkopplungsloop endlos weitergegeben (im Fall einer stabilen Verzweigung geometrisch abnehmend).
Warum Rückkopplung verwenden?
Ein IIR-Filter kann scharfe Frequenzauswahl mit weitaus weniger Koeffizienten als ein FIR-Filter erreichen. Ein 2-Pol-IIR kann das annähern, was einen 50-Koeffizienten-FIR für die gleiche Stopbanddämpfung benötigt.
Der Preis: mögliche Instabilität. Die Polen von H(z) bestimmen die Stabilität. Alle Polen müssen streng innerhalb des Einheitskreises liegen.
Hamming's Rückkopplungsduschenstorie
Hamming verwendete eine lebendige persönliche Geschichte, um Rückkopplungsinstabilität zu illustrieren.
Er blieb im gleichen Hotelzimmer wiederholt, weil die Vertrautheit ihm half, sich zu orientieren, wenn er müde war. Der Installateur hatte große Durchmesser für die heißen Wasserrohre im Duschbereich installiert. Diese schufen eine erhebliche Verzögerung zwischen der Einstellung des Hebelns und dem Gefühl des Temperaturwechsels im Wasser.
Jeden Morgen folgte Hamming dem gleichen Muster: Wasser zu kalt → Heizung hochdrehen → immer noch kalt → Heizung noch mehr hochdrehen → plötzlich kochend heiß → raus springen → herunterdrehen → wiederholen.
Die Verzögerung im Rückkopplungspfad bedeutete, dass seine Korrekturen immer überschritten. Er konnte sich der Verzögerung nicht anpassen, selbst nach vielen Wiederholungen.
Der Ingenieurstunden: Instabilität entsteht entweder durch übermäßigen Gewinn im Rückkopplungspfad ODER durch übermäßige Verzögerung im Rückkopplungspfad. Beide manifestieren sich als gleiche Jagdverhalten. In Filterbegriffen: Polen auf oder außerhalb des Einheitskreises erzeugen genau dieses oscillatorische oder divergierende Verhalten.
Kennzeichnung der Instabilität
Hamming beobachtete, dass die gleiche Duscheinheitstabilität auf zwei verschiedene Weisen analysiert werden konnte:
1. Seine Reaktion war zu stark (zu hohe Verstärkung in der Korrektionsaktion).
2. Seine Erkennung war zu verzögert (zu hastig ins Bad zu gehen, bevor sich der System ruhend eingestellt hatte).
Beide Beschreibungen erzeugen das gleiche mathematische Ergebnis: Der Pol der Rückkopplungsschleife hat sich außerhalb des Einheitskreises verschoben.
Die vier klassischen Familien
Die Analogfiltertheorie entwickelte sich um vier klassische Designfamilien, die jeweils eine andere Handelsabwägung darstellen. Diese Familien werden über den bilinearen Transform oder Impulsinvarianz in diskrete Zeit umgewandelt.
Butterworth (maximal flach)
Passbandantwort: |H(jω)|² = 1 / (1 + (ω/ω_c)^{2N}). Monotonisch abfallend. Kein Rauschen im Passband oder Störfeld. Die Pole liegen auf einem Kreis mit dem Radius ω_c im s-Ebene (oder transformierten Kreis im z-Ebene). Das flachste mögliche Passband für eine gegebene Ordnung N.
Tschebyscheff Typ I
Gleichförmige Wellen im Passband, monoton im Stoppband. Für eine gegebene Ordnung N und Rausleistung erreicht er eine schärfere Abschaltung als Butterworth. Polstellen liegen auf einer Ellipse (im s-Ebene).
Tschebyscheff Typ II
Gleichförmige Wellen im Stoppband, monoton im Passband. Spiegelbild des Typs I im Frequenzbereich.
Elliptisch (Cauer)
Gleichförmige Wellen IN BOTH Passband und Stoppband. Für eine gegebene Ordnung N und Rausleistungen erreicht er die schärfste mögliche Übergang von Passband zu Stoppband. Verwendet elliptische Funktionen zur Platzierung von Polstellen & Nullstellen optimal. Hamming: Der Name stammt von der Tatsache, dass elliptische Funktionen in der Ableitung verwendet werden.
Das grundlegende Handicap
Alle vier Familien erreichen das gleiche grundlegende Handicap auf verschiedene Weise: Eine höhere Ordnung N gibt eine schärfere Übergang. Erlaubte Rausleistung (Tschebyscheff, elliptisch) erreicht eine schärfere Übergang für die gleiche N. Elliptisch erreicht den absolut schärfsten Übergang für jede gegebene N und Rausleistungsangaben.
Auswahl unter Filterfamilien
Die Auswahl unter den Familien hängt davon ab, was die Anwendung toleriert.
Die Behauptung des Experten hinterfragen
Hamming erinnerte sich daran, dass einige Experten behauptet hatten, alle IIR (rekursiven) Filter besäßen eine bestimmte Eigenschaft. Er fragte sich, ob dies wirklich wahr war - und fand ein Gegenbeispiel.
Seine Aussage: Experten übernehmen oft Behauptungen, die sie in der Schule aufgesogen haben, ohne sie jemals im Kontext der aktuellen Probleme erneut zu überprüfen. Wenn Sie sich fragen, ob die Informationen, die man Ihnen gibt, wirklich wahr sind, ist es erstaunlich, wie viel man finden kann, was falsch ist oder sich fast auf falsch befindet, selbst in einem gut entwickelten Fachgebiet.
Das Gegenbeispiel war kein Filter, den man normalerweise entwerfen würde, aber es bewies, dass die Behauptung oberflächlich war. Ein einzelnes Gegenbeispiel reicht aus, um eine universelle Behauptung zu widerlegen.
IIR-Design in der Praxis
Hamming bemerkte, dass er viel von der IIR-Filtertheorie unabhängig entwickelt hatte, während er ein anderes Problem löste: die Entwicklung stabiler Korrekturformeln für numerische gewöhnliche Differentialgleichungen.
Die Form der Korrekturformel: y_n = Σ a_k · y_{n−k} + Σ b_k · f(y_{n−k})
Der Rückkopplungspfad ist in beiden Fällen (lineare Rückkopplung) und in den f(y) -Terminen (nichtlineare Rückkopplung durch die Differentialgleichung) vorhanden. Die Stabilität für IIR-Filter ist ein Spezialfall des allgemeineren Problems der Stabilität für numerische ODE-Integritätsberechnungen.
Rückkopplung über verschiedene Domänen verbinden
Das gleiche mathematische Modell - Rückkopplung, Polstellen, Stabilitätsgrenze - tritt in digitalen Filtern, numerischen ODE-Lösern, Steuerungssystemen, biologischen Rhythmen und Wirtschaftsmodellen auf.
In jedem Bereich: Ein Rückkopplungsschleifen berechnet einen neuen Zustand aus vorherigen Zuständen. Stabilität erfordert, dass die Rückkopplung nicht unendlich Verzerrungen vergrößert.
Die Stabilitätsgrenze des Einheitskreises im Z-Plan entspricht: der imaginären Achse im Laplace s-Plan (kontinuierliche Zeit), der Spektralradiusbedingung ρ(A) < 1 für lineare Iterationen und der Lyapunov-Exponentenbedingung λ < 0 für nichtlineare Systeme.