無限インパルス応答
出典: フリー百科事典『ウィキペディア（Wikipedia）』
無限インパルス応答（英: Infinite impulse response、IIR）とは、信号処理システムの属性の一種。この属性を持つシステムをIIRシステムと呼び、フィルタ回路の場合はIIRフィルタと呼ぶ。これらシステムは、無限長の時間においてゼロでない値を返すインパルス応答関数を持つ。対照的に、有限の時間についてのインパルス応答があるものを有限インパルス応答 (FIR) と呼ぶ。最も単純なアナログIIRフィルタとしてRCフィルタがあり、1つの抵抗器 (R) と1つのコンデンサ (C) で形成される。このフィルタは、RC時定数で決定される指数関数的インパルス応答の特性を持つ。
IIRフィルタはアナログフィルタだけでなく、デジタルフィルタとしても実装される。デジタルIIRフィルタでは、出力フィードバックは出力を定義する方程式から即座に求められる。FIRフィルタとは異なり、IIRフィルタ設計では、フィルタの出力が明確に定義されない「時刻ゼロ」の場合を注意深く扱う必要がある。
デジタルIIRフィルタの設計は、アナログIIRフィルタに基づいてなされてきた。多くの場合、デジタルIIRフィルタを設計するにあたってまずアナログIIRフィルタ（例えば、チェビシェフフィルタ、バターワースフィルタ、楕円フィルタ）を設計し、双一次変換やインパルス不変法といった離散化技法を適用してデジタルに変換する。
IIRフィルタは一般に、FIRフィルタに比較して高速で安価だが、バンドパスフィルタとしての性能や安定性が劣る。
IIRフィルタとしては、チェビシェフフィルタ、バターワースフィルタ、ベッセルフィルタなどがある。
以下では、デジタルシグナルプロセッサで実装できる離散時間IIRフィルタについて解説する。
目次 |
[編集] 解説
まず、入力信号と出力信号の関係を定義した差分方程式を考える。
![\begin{align}
y[n] & = b_{0} x[n] + b_{1} x[n-1] + \cdots + b_{P} x[n-P] \\
& - a_{1} y[n-1] - a_{2} y[n-2] - \cdots - a_{Q} y[n-Q]
\end{align}](../../../../math/9/9/6/9966ded02f0167d4e9acf21107626399.png)
ここで
はフィードフォワードフィルタのオーダー
はフィードフォワードフィルタの係数
はフィードバックフィルタのオーダー
はフィードバックフィルタの係数![\ x[n]](../../../../math/d/1/2/d12f3dea01e8dbdf2e162193a66cd85a.png)
は入力信号![\ y[n]](../../../../math/4/0/b/40b136445985b3ab52376234ac90de3d.png)
は出力信号
である。
この差分方程式を要約すると次のようになる。
![\ y[n] = \sum_{i=0}^P b_{i}x[n-i] - \sum_{j=1}^Q a_{j} y[n-j]](../../../../math/d/5/7/d57c6bd9a1ba2760cdabbf89c1e587bb.png)
これを 
として並べ替えると、次のようになる。
![\ \sum_{j=0}^Q a_{j} y[n-j] = \sum_{i=0}^P b_{i}x[n-i]](../../../../math/a/3/d/a3d4e7b5805403309d5f4ef2ef86ba29.png)
フィルタの伝達関数を見つけるため、上記方程式の両辺のZ変換を行う。このとき、Z変換のシフト性を利用する。
ここで、伝達関数は次のように定義される。
[編集] ブロック図の説明
右図は典型的なIIRフィルタのブロック図である。z − 1 ブロックは単位遅延である。係数やフィードバック/フィードフォワード経路の数は実装依存である。
[編集] 安定性
伝達関数により、そのシステムが有界入力-有界出力 (BIBO) 安定かどうかを判断できる。BIBO安定であるためには、伝達関数の全ての極の絶対値が1未満でなければならない。言い換えれば、全ての極は z-平面上の単位円の中に位置しなければならない。
極は、 H(z) の分母が 0 となるような z の値として定義される。
明らかに 
ならば、極は z-平面の原点に位置しない。これは、FIRフィルタで常に極が原点に位置し、常に安定しているのと対照的である。
IIRフィルタは、FIRフィルタに比べて遷移域がシャープであることから、FIRフィルタよりも好まれることがある。
[編集] 例
フィルタの伝達関数 H を次のように定義する。
ここでROCは a < | z | かつ 0 < a < 1
このときの極は a にあって、安定であり、因果性である。時間領域のインパルス応答は次のようになる。
- h(n) = anu(n)
これは n > = 0 のとき、ゼロ以外の値をとる。
