피드백 구조
FIR (유한 임펄스 응답) 필터는 현재 및 과거 입력의 가중합으로 각 출력 샘플을 계산합니다. 피드백이 없습니다. 임펄스 응답의 지속시간은 유한합니다.
IIR (무한 임펄스 응답) 필터는 이전 출력을 계산으로 다시 피드백합니다:
y_n = Σ b_k · x_{n−k} − Σ a_k · y_{n−k}
재귀 항 −Σ a_k · y_{n−k}는 피드백을 생성합니다. 입력의 단일 임펄스는 피드백 루프를 통해 무한정 반향되며(안정적인 경우 기하급수적으로 감소합니다).
피드백을 사용하는 이유
IIR 필터는 FIR 필터보다 훨씬 적은 계수로 날카로운 주파수 선택성을 달성할 수 있습니다. 2극 IIR는 동일한 스톱밴드 감쇠를 위해 50계수 FIR이 필요로 하는 것을 근사할 수 있습니다.
대가: 잠재적 불안정성. H(z)의 극점은 안정성을 결정합니다. 모든 극점은 단위원 내부에 엄격히 있어야 합니다.
Hamming의 피드백 샤워 이야기
Hamming은 피드백 불안정성을 설명하기 위해 생생한 개인적 이야기를 사용했습니다.
그는 피로할 때 방향을 잡는 데 도움이 되기 때문에 같은 호텔 방에 반복적으로 묵었습니다. 배관공은 샤워기에 대직경 온수 파이프를 설치했습니다. 이는 노브를 조정한 후 물의 온도 변화를 느끼기까지 상당한 지연을 만들었습니다.
매 아침 Hamming은 같은 패턴을 따랐습니다: 물이 너무 차갑다 → 뜨거운 것을 돌린다 → 여전히 차갑다 → 더 돌린다 → 갑자기 끓는다 → 뛰어내린다 → 돌려내린다 → 반복.
피드백 경로의 지연은 그의 교정이 항상 과도하다는 것을 의미했습니다. 그는 많은 반복 후에도 지연에 적응할 수 없었습니다.
공학 교훈: 불안정성은 피드백 경로의 과도한 이득 또는 과도한 지연으로 인해 발생합니다. 둘 다 동일한 헌팅(hunting) 동작으로 나타납니다. 필터 관점에서: 단위원 위 또는 외부의 극점은 정확히 이러한 진동 또는 발산 응답을 생성합니다.
불안정성 특성화
Hamming은 동일한 샤워 불안정성을 두 가지 방식으로 분석할 수 있음을 관찰했습니다:
1. 그의 대응이 너무 강했습니다 (수정 작업의 과도한 이득).
2. 그의 감지가 너무 지연되었습니다 (시스템이 안정되기 전에 욕조에 들어가기를 너무 서두름).
두 설명 모두 동일한 수학적 결과를 만듭니다: 피드백 루프의 극점이 단위원 외부로 움직였습니다.
네 가지 클래식 패밀리
아날로그 필터 이론은 각각 다른 절충을 나타내는 4가지 고전적 설계 패밀리 주위에서 개발되었습니다. 이러한 패밀리는 쌍선형 변환 또는 임펄스 불변성을 통해 이산 시간으로 변환됩니다.
Butterworth (최대 평탄)
통과대역 응답: |H(jω)|² = 1 / (1 + (ω/ω_c)^{2N}). 단조 감소. 통과대역 또는 스톱밴드에서 리플이 없습니다. 극점은 s평면에서 반지름 ω_c의 원(또는 z평면에서 변환된 원) 위에 있습니다. 주어진 차수 N에 대해 가능한 가장 평탄한 통과대역.
Chebyshev Type I
통과대역에서 등리플, 스톱밴드에서 단조. 주어진 차수 N과 리플 레벨에 대해 Butterworth보다 더 날카로운 차단을 달성합니다. 극점은 타원(s평면) 위에 있습니다.
Chebyshev Type II
스톱밴드에서 등리플, 통과대역에서 단조. Type I의 주파수 영역 거울상.
Elliptic (Cauer)
통과대역 AND 스톱밴드에서 등리플. 주어진 차수 N과 리플 레벨에 대해 통과대역에서 스톱밴드로의 가능한 가장 날카로운 전환을 달성합니다. 타원 함수를 사용하여 극점 & 영점을 최적으로 배치합니다. Hamming: 이름은 파생에 타원 함수가 사용된다는 사실에서 나옵니다.
기본 절충
모든 4가지 패밀리는 동일한 기본 절충을 다르게 달성합니다: 높은 차수 N은 더 날카로운 전환을 제공합니다. 리플을 허용하면(Chebyshev, elliptic) 동일한 N에 대해 더 날카로운 전환을 달성합니다. Elliptic은 모든 주어진 N과 리플 사양에 대해 절대적으로 가장 날카로운 전환을 달성합니다.
필터 패밀리 선택
패밀리 간의 선택은 애플리케이션이 허용하는 것에 따라 달라집니다.
전문가 주장 의문하기
Hamming은 특정 전문가들이 모든 IIR (재귀) 필터가 특정 특성을 가지고 있다고 주장했음을 상기했습니다. 그는 이것이 정말 사실인지 자문했고 반례를 찾았습니다.
그의 요점: 전문가들은 종종 학교에서 흡수한 주장을 현재 문제의 맥락에서 다시 검토하지 않고 전달합니다. 당신이 당신에게 말해지는 것이 정말 사실인지 자신에게 묻는다면, 잘 발달된 분야에서도 얼마나 많은 것이 거짓이거나 거짓에 가까운지 놀랍다는 것을 알 수 있습니다.
반례는 정상적으로 설계할 필터의 종류가 아니었지만, 주장이 피상적임을 증명했습니다. 단일 반례는 보편적 주장을 반박하기에 충분합니다.
실제의 IIR 설계
Hamming은 다른 문제를 해결하는 동안 IIR 필터 이론의 많은 부분을 독립적으로 개발했음을 언급했습니다: 수치 상미분방정식에 대한 안정적인 수정자 공식 유도.
수정자 공식 형식: y_n = Σ a_k · y_{n−k} + Σ b_k · f(y_{n−k})
피드백은 y 항(선형 피드백)과 f(y) 항(미분방정식을 통한 비선형 피드백) 모두에서 나타납니다. IIR 필터의 안정성은 수치 ODE 적분기의 안정성이라는 보다 일반적인 문제의 특수한 경우입니다.
도메인 간 피드백 연결
동일한 수학적 구조 — 피드백, 극점, 안정성 경계 — 디지털 필터, 수치 ODE 솔버, 제어 시스템, 생물학적 리듬, & 경제 모델에서 나타납니다.
각 도메인에서: 피드백 루프는 이전 상태로부터 새로운 상태를 계산합니다. 안정성을 위해서는 피드백이 섭동을 무한정 증폭하지 않아야 합니다.
Z평면의 단위원 안정성 경계는 다음에 대응됩니다: 연속 시간의 Laplace s평면의 허수축, 선형 반복에 대한 스펙트럼 반지름 조건 ρ(A) < 1, & 비선형 시스템에 대한 Lyapunov 지수 조건 λ < 0.