LTIシステム理論のソースを表示

{{脚注の不足|date=2022年7月}}
'''LTIシステム理論'''（{{lang-en|LTI system theory}}）は、[[電気工学]]、特に[[電気回路]]、[[信号処理]]、[[制御理論]]といった分野で、'''[[線形システム論|線型]][[時不変系]]'''（'''l'''inear '''t'''ime-'''i'''nvariant system）に任意の入力信号を与えたときの応答を求める理論である。通常、独立変数は時間だが、空間（[[画像処理]]や[[場の古典論]]など）やその他の座標にも容易に適用可能である。そのため、'''線型並進不変'''（linear translation-invariant）という用語も使われる。[[離散信号|離散時間]]（[[標本化]]）系では対応する概念として'''線型シフト不変'''（linear shift-invariant）がある。

== 概要 ==
任意の線型時不変系の属性を定義するのは、当然ながら'''線型性'''（linearity）と'''時不変性'''（time invariance）である。

'''線型性'''とは、システムの入力と出力の関係が、重ね合わせ特性を持つことを意味する。システムへの入力が次のように2つの信号を足し合わせたものであるとする。
{{Indent|<math>x(t) = x_1(t) + x_2(t) \, </math>}}
すると、システムの出力は次のようになる。
{{Indent|<math>y(t) = y_1(t) + y_2(t) \,  </math>}}
ここで、<math>y_n(t)</math> は入力が <math>x_n(t)</math> だけだったときの出力を意味する。

このような重ね合わせ特性がある場合、任意の[[有理数]]スカラーについてスケーリング特性が得られる。入力 <math>x(t)</math> による出力が <math>y(t)</math> であるとき、入力 <math>c x(t)</math> による出力は <math>c y(t)</math> となる。

以上を形式的に表すと、線型系は次のような特性を示す。まず、システムに次の入力を与えるとする。
{{Indent|<math>x(t) = \sum_n c_n x_n(t) \, </math>}}
すると、そのシステムの出力は次のようになる。
{{Indent|<math>y(t) = \sum_n c_n y_n(t) \,  </math>}}
<math>c_n</math> は任意の定数であり、<math>y_n(t)</math> は入力が <math>x_n(t)</math> だけだったときの出力を意味する。

'''時不変性'''とは、システムにある入力信号を現時点や ''T'' 秒後に与えたとき、''T'' 秒のずれが生じるだけで出力信号が同じになることを意味する。入力 <math>x(t)</math> による出力が <math>y(t)</math> であるとき、入力 <math>x(t-T)</math> による出力は <math>y(t-T)</math> となる。つまり、入力が遅延すれば、出力もそのぶんだけ遅延する。これを時不変という。

LTIシステム理論の基本的な成果は、任意のLTIシステムを[[インパルス応答]]と呼ばれる単一の関数で完全に表せるようになったことである。システムの出力は、インパルス応答を持つシステムへの入力の単純な[[畳み込み]]である。この解析手法は、[[時間領域]]の観点であるといわれることが多い。離散時間線型シフト不変システムでも同様のことが言え、その場合の信号は離散時間の標本群であり、畳み込みはそれらの列に対するものとなる。

[[ファイル:LTI.png|thumb|right|320px|'''時間領域'''（time domain）と'''周波数領域'''（frequency domain）の関係]]

これと等価的に、[[伝達関数法|伝達関数]]を使ってLTIシステムを[[周波数領域]]で解析することもできる。伝達関数とは、システムのインパルス応答を[[ラプラス変換]]（離散時間の場合は[[Z変換]]）したものである。このような変換の特性として、周波数領域のシステムの出力は、入力を変換したものと伝達関数の積で表される。言い換えれば、時間領域での畳み込みと、周波数領域での乗法が等価となっている。

全てのLTIシステムにおいて、[[固有関数]]と変換の[[基底関数]]は[[複素数|複素]][[指数関数]]である。システムへの入力が複素波形 <math>A\exp({st})</math>（<math>A</math> は複素振幅、<math>s</math> は複素周波数）であるとき、その出力は入力にある複素定数を掛けたもの、例えば <math>B\exp({st})</math> となり、<math>B</math> は何らかの新たな複素振幅である。<math>B/A</math> という比は、周波数 <math>s</math> における伝達関数である。

[[正弦波]]は複素共役周波数の複素指数関数の総和であるため、システムの入力が正弦波なら、そのシステムの出力も正弦波となり、おそらく異なる[[振幅]]と異なる[[位相]]を持つが、周波数は同じになるだろう。

LTIシステム理論は様々な重要なシステムを説明できる。多くのLTIシステムは解析が「容易」とされており、少なくとも時変系や[[非線形システム論|非線型]]のシステムに比べれば単純である。定数係数の線型な斉次[[微分方程式]]としてモデル化されるシステムは、LTIシステムである。例えば、[[抵抗器]]と[[コイル]]と[[コンデンサ]]で構成される[[電気回路]]（[[RLC回路]]）がある。また、理想的なバネ-質量-ダンパ系もLTIシステムであり、数学的にはRLC回路と等価である。

多くのLTIシステムの概念は、連続時間と離散時間（線型シフト不変）とで類似している。画像処理では、時間変数は2次元の空間変数に置き換えられ、時不変性に関する事柄は2次元のシフト不変性に関する事柄に置き換えられる。[[フィルタバンク]]や[[MIMO]]を解析する場合、信号の[[配列]]を考えると分かり易い。

== 連続時間システム ==
=== 時間不変性と線型写像 ===
ここでは、時間を独立変数とし、そのインパルス応答が2次元関数であるシステムを想定し、時不変性によってそれを1次元に還元できることを示す。例えば、入力信号 <math>x(t)</math> において、その[[媒介変数|添え字集合]]が実数線であるとする（すなわち、<math>t \in \mathbb{R}</math>）。[[線型写像|線型作用素]] <math>\mathcal{H}</math> はその入力信号に対して処理をするシステムを表している。この添え字集合に対して適切な作用素は、次のような2次元関数である。

{{Indent|<math>h(t_1, t_2) \mbox{ where } t_1, t_2 \in \mathbb{R}</math>}}

<math>\mathcal{H}</math> は線型作用素なので、入力信号 <math>x(t)</math> に対するシステムの動作は、以下の[[線型性|重ね合わせ]]積分で表される[[線型写像]]となる。

{{Indent|<math>y(t_1) = \int_{-\infty}^{\infty} h(t_1, t_2) \, x(t_2) \, d t_2</math>}}

[[線型写像|線型作用素]] <math>\mathcal{H}</math> が[[時不変系|時不変]]でもある場合、次のようになる。

{{Indent|<math> h(t_1, t_2) = h(t_1 + \tau, t_2 + \tau)  \qquad  \forall \, \tau \in \mathbb{R}</math>}}

ここで、次のように設定する。
{{Indent|<math> \tau = -t_2 \, </math>}}

すると、次のようになる。
{{Indent|<math>h(t_1, t_2) = h(t_1 - t_2, 0)  \, </math>}}

<math>h (t_1, t_2)</math> の第二引数がゼロなら、通常それを簡潔さのために削除するので、上記の重ね合わせ積分はフィルタ設計でよく使われる[[畳み込み]]積分になる。

{{Indent|<math>y(t_1) = \int_{-\infty}^{\infty} h(t_1 - t_2) \, x(t_2) \, d t_2 = (h * x) (t_1)</math>}}

従って、この[[畳み込み]]積分は任意の入力関数についての[[線型性|線型]][[時不変系]]の作用を表している。有限次元のアナログについては、[[巡回行列]]を参照されたい。

=== インパルス応答 ===
このシステムに[[ディラックのデルタ関数]]を入力したとき、デルタ関数は理想的なインパルスであるため、LTI変換の結果が[[インパルス応答]]となる。これを式に表すと次のようになる。

{{Indent|<math> (h * \delta) (t)  = \int_{-\infty}^{\infty} h(t - \tau) \, \delta (\tau) \, d \tau = h(t)</math>}}

これにはデルタ関数のシフト属性を利用している。なお、ここで次が成り立つ。

{{Indent|<math>h(t) = h(t, 0) \ (\mbox{with } t = t_1 - t_2)</math>}}

従って <math>h(t)</math> はそのシステムのインパルス応答である。

インパルス応答を使うと、任意の入力に対する応答を求めることができる。再び <math>\delta(t)</math> のシフト属性を使い、任意の入力をデルタ関数群の重ね合わせとして表せる。
{{Indent|<math>x(t) = \int_{-\infty}^\infty x(\tau) \delta(t-\tau) \,d\tau</math>}}
この入力をシステムに適用すると、次のようになる。
{{Indent|
<math>\mathcal{H} x(t) = \mathcal{H} \int_{-\infty}^\infty x(\tau) \delta(t-\tau) \,d\tau</math><br />
<math>\quad = \int_{-\infty}^\infty \mathcal{H} x(\tau) \delta(t-\tau) \,d\tau</math>（<math>\mathcal{H}</math> は線型であるため、積分の内側に移動できる）<br />
<math>\quad = \int_{-\infty}^\infty x(\tau) \mathcal{H} \delta(t-\tau) \,d\tau</math>（<math>x(\tau)</math> は ''t'' に対して一定であり、<math>\mathcal{H}</math> は線型であるため）<br />
<math>\quad = \int_{-\infty}^\infty x(\tau) h(t-\tau) \,d\tau</math>（<math>h(t)</math> の定義から）
}}
システムに関する全ての情報は、インパルス応答 <math>h(t)</math> に含まれている。

=== 固有関数としての指数関数 ===
[[固有関数]]とは、上述の作用素の出力が入力された関数に何らかのスケーリングを施した同じ関数になるときの入力された関数をいう。数式で表すと次の通り。
{{Indent|<math>\mathcal{H}f = \lambda f</math>}}
ここで、''f'' が固有関数であり、<math>\lambda</math> は[[固有値]]と呼ばれる定数である。

[[指数関数]] <math>e^{s t}</math>（<math>s \in \mathbb{C}</math>）は、[[線型性|線型]][[時不変系|時不変]]作用素の固有関数である。これについての簡単な証明を示す。

入力を <math>x(t) = e^{s t}</math> とする。インパルス応答 <math>h(t)</math> でのシステムの出力は次のようになる。

{{Indent|<math>\int_{-\infty}^{\infty} h(t - \tau)  e^{s \tau}  d \tau</math>}}

[[畳み込み]]の交換律から、これを次のように変形できる。
{{Indent|
<math>\int_{-\infty}^{\infty} h(\tau) \, e^{s (t - \tau)} \, d \tau</math><br />
<math> \quad = e^{s t} \int_{-\infty}^{\infty} h(\tau) \, e^{-s \tau} \, d \tau</math><br />
<math> \quad = e^{s t} H(s)</math>}}
ここで
{{Indent|<math>H(s) = \int_{-\infty}^\infty h(t) e^{-s t} d t</math>}}
はパラメータ ''s'' にのみ依存する。

従って、システムの応答は入力に定数 <math>H(s)</math> をかけたものと同じであるから、<math>e^{s t}</math> はLTIシステムの固有関数である。

=== フーリエ変換とラプラス変換 ===
指数関数が固有関数であるという性質は、LTIシステムの解析や予測に役立つ。その[[ラプラス変換]]

{{Indent|<math>H(s) = \mathcal{L}\{h(t)\} = \int_{-\infty}^\infty h(t) e^{-s t} d t</math>}}

を使えば、インパルス応答から固有値を得ることができる。特に興味深いのは純粋な正弦波の場合（<math>\exp({j \omega t})</math> の形式の指数関数、ただし <math>\omega \in \mathbb{R}</math> であり、かつ <math>j = \sqrt{-1}</math>）である。これは引数が純粋な虚数であっても、一般に複素指数関数と呼ばれる。[[フーリエ変換]] <math>H(j \omega) = \mathcal{F}\{h(t)\}</math> により、純粋な[[複素正弦波]]の固有値が求められる。<math>H(s)</math> と <math>H(j\omega)</math> は共に'''システム関数'''、'''システム応答'''、'''伝達関数'''などと呼ばれる。

ラプラス変換は一般に、''t'' がある値より小さいとき信号がゼロとなるような信号で使われる。通常、その信号がゼロでなくなる時点をスタート時点とし、ゼロから無限大までの積分とする（一方、負の無限大から積分するラプラス変換を一般に「両側ラプラス変換; bilateral Laplace transform」と呼ぶ）。

フーリエ変換は、無限に続く信号を処理するシステムの解析に使われる。例えば、変調された正弦波などだが、二乗可積分でない入力信号や出力信号には直接適用できない。スタート時点以前の信号がゼロなら、ラプラス変換は二乗可積分でなくとも適用可能である、フーリエ変換は、その信号のフーリエ変換が存在しない場合でも、[[ウィーナー・ヒンチンの定理]]を使って無限信号のスペクトルに適用される。

これらの変換は畳み込み属性があるため、システムの出力を与える畳み込みを[[畳み込み定理]]によって個別に変換したあとに積を求める形に変換できる。
{{Indent|<math>y(t) = (h*x)(t) = \int_{-\infty}^\infty h(t - \tau) x(\tau) d \tau</math><br />
<math>\quad = \mathcal{L}^{-1}\{H(s)X(s)\}</math>}}

これにより変換や逆変換が容易になるだけでなく、システム応答からシステムの挙動についての洞察を得ることができる。システム関数の絶対値 |''H''(''s'')| から、入力 <math>\exp({s t})</math> がシステムを通過できるか、それとも減衰してしまうかを見ることができる。

=== 例 ===
LTI作用素の簡単な例として[[微分法|導関数]]がある。
{{Indent|
<math> \frac{d}{dt} \left( c_1 x_1(t) + c_2 x_2(t) \right) = c_1 x'_1(t) + c_2 x'_2(t) </math><br />
<math> \frac{d}{dt} x(t-\tau) = x'(t-\tau) </math>
}}
導関数のラプラス変換をとってみたとき、ラプラス変数 s によって単純な乗算に変形される。
{{Indent|<math> \mathcal{L}\left\{\frac{d}{dt}x(t)\right\} = s X(s) </math>}}
導関数がこのような単純なラプラス変換の形式となることは、変換の有効性の証でもある。

別の単純なLTI作用素として、平均化作用素がある。

{{Indent|<math> \mathcal{A}\left\{x(t)\right\} = \int_{t-a}^{t+a} x(\lambda) d \lambda </math>}}

これは、積分が線型性をもつため、線型である。
{{Indent|
<math> \mathcal{A}\left\{c_1 x_1(t) + c_2 x_2(t) \right\} </math><br />
<math> = \int_{t-a}^{t+a} \left( c_1 x_1(\lambda) + c_2 x_2(\lambda) \right) d \lambda </math><br />
<math> = c_1 \int_{t-a}^{t+a} x_1(\lambda) d \lambda + c_2 \int_{t-a}^{t+a} x_2(\lambda) d \lambda </math><br />
<math> = c_1 \mathcal{A}\left\{x_1(t) \right\} + c_2 \mathcal{A}\left\{x_2(t) \right\} </math>
}}
また、時不変でもある。
{{Indent|
<math> \mathcal{A}\left\{x(t-\tau)\right\} </math><br />
<math> = \int_{t-a}^{t+a} x(\lambda-\tau) d \lambda </math><br />
<math> = \int_{(t-\tau)-a}^{(t-\tau)+a} x(\xi) d \xi </math><br />
<math> =  \mathcal{A}\{x\}(t-\tau) </math>
}}
<math>\mathcal{A}</math> は次のような畳み込みとして記述することもできる。

{{Indent|<math> \mathcal{A}\left\{x(t)\right\} = \int_{-\infty}^\infty \Pi\left(\frac{\lambda-t}{2a}\right) x(\lambda) d \lambda </math>}}

なお <math>\Pi(t)</math> は次のように定義される。

{{Indent|<math>\Pi(t) = \left\{ \begin{matrix} 1 & |t| < 1/2 \\ 0 & |t| > 1/2 \end{matrix} \right. </math>}}

=== 重要なシステム属性 ===
システムについて最も重要な属性として、因果性と安定性がある。実世界でシステムを利用する場合、因果性は多かれ少なかれ必要である。非安定的なシステムも構築でき、様々な状況で有効である。

==== 因果性 ====
出力が現在と過去の入力のみに依存する場合、システムは「因果的; causal」であるという。「因果性; causality」の必要十分条件は次が成り立つことである。

{{Indent|<math>h(t) = 0 \quad \forall t < 0</math>}}

ここで <math>h(t)</math> はインパルス応答である。ラプラス変換は逆変換が一意に定まらないため、そこから因果性を判断することは通常不可能である。[[収束半径|収束領域]]が示される場合、因果性を判断できる。

==== 安定性 ====
システムが'''有界入力-有界出力安定'''（[[BIBO安定]]）であるとは、全ての入力が有界なら出力も有界であることを意味する。数学的には、入力が次の条件を満たすとき

{{Indent|<math>\ \|x(t)\|_\infty < \infty</math>}}

出力が次を満足する。

{{Indent|<math>\ \|y(t)\|_\infty < \infty</math>}}

すなわち、<math>x(t)</math> の有限の最大絶対値があれば、<math>y(t)</math> の有限の最大絶対値が存在する。このとき、システムは安定であるという。必要十分条件は、インパルス応答 <math>h(t)</math> が [[Lp空間|L<sup>1</sup>]] にあることである（有限のL<sup>1</sup>[[ノルム]]を持つ）。

{{Indent|<math>\ \|h(t)\|_1 = \int_{-\infty}^\infty |h(t)| dt < \infty</math>}}

周波数領域では、[[収束半径|収束領域]]に虚数軸 <math>s=j\omega</math> が含まれていなければならない。システムを[[伝達関数]]としてモデル化するとき、系の極（伝達関数の分母多項式または[[特性多項式]]の根）を複素平面の左半平面に置かなければならない。[[ラウス・フルビッツの安定判別法]]によって特性多項式の係数から安定性が見える。

例としては、インパルス応答が[[Sinc関数]]と等しい理想的な[[ローパスフィルタ]]は、BIBO安定ではない。これはSinc関数が有限のL<sup>1</sup>ノルムを持たないためである。従って何らかの有界な入力では、理想的なローパスフィルタの出力は無限となる。特に <math>t < 0\,</math> のとき入力がゼロで <math>t > 0\,</math> のとき[[カットオフ周波数]]の正弦波となる場合、出力は原点以外では常に無限となる。

== 離散時間システム ==
離散時間入力信号 <math>x[n]</math> に対して離散時間出力信号 <math>y[n]</math> を返す離散時間LTIシステム <math>\mathcal{H}</math> について、連続時間LTIシステムに関するほとんどあらゆる事柄が対応している。

=== 連続時間システムから離散時間システムへ ===
多くの場合、離散時間 (DT) システムはより大きな連続時間 (CT) システムの一部となっている。例えば、デジタル録音システムはアナログの音響を入力とし、それを[[デジタイズ]]して、必要に応じてデジタル信号を処理し、最終的に再生して人間が聴くためにアナログに戻してやる。

形式的には、研究されているDT信号のほとんどは、CT信号を一定間隔で[[標本化]]したものである。CT信号を <math>x(t)</math> としたとき、[[アナログ-デジタル変換回路]]によってそれがDT信号 <math>x[n]</math> に次のように変換される。
{{Indent|<math>x[n] = x(nT)</math>}}
ここで ''T'' は[[サンプリング周波数|サンプリング間隔]]である。DT信号が元の信号を正確に表現するには、入力信号の周波数の範囲を制限することが非常に重要である。[[標本化定理]]によれば、DT信号は <math>1/(2T)</math> までの範囲の周波数しか扱えない。さもなくば、高周波成分がその範囲に[[折り返し雑音]]として出てくる。

=== 時間不変性と線型写像 ===
ここでは、時間を独立変数とし、そのインパルス応答が2次元関数であるシステムを想定し、時不変性によってそれを1次元に還元できることを示す。例えば、入力信号 <math>x[n]</math> において、その[[媒介変数|添え字集合]]が整数であるとする（すなわち、<math>n \in \mathbb{Z}</math>）。[[線型写像|線型作用素]] <math>\mathcal{H}</math> はその入力信号に対して処理をするシステムを表している。この添え字集合に対して適切な作用素は、次のような2次元関数である。

{{Indent|<math>h[n_1, n_2] \mbox{ where } n_1, n_2 \in \mathbb{Z}</math>}}

<math>\mathcal{H}</math> は線型作用素なので、入力信号 <math>x[n]</math> に対するシステムの動作は、以下の[[線型性|重ね合わせ]]総和で表される[[線型写像]]となる。

{{Indent|<math>y[n_1] = \sum_{n_2=-\infty}^{\infty} h[n_1, n_2] \, x[n_2]</math>}}

[[線型写像|線型作用素]] <math>\mathcal{H}</math> が[[時不変系|時不変]]でもある場合、次のようになる。

{{Indent|<math> h[n_1, n_2] = h[n_1 + m, n_2 + m]  \qquad  \forall \, m \in \mathbb{Z}</math>}}

ここで、次のように設定する。

{{Indent|<math> m = -n_2 \, </math>}}

すると、次のようになる。

{{Indent|<math>h[n_1, n_2] = h[n_1 - n_2, 0] \, </math>}}

<math>h[n_1, n_2]</math> の第二引数がゼロなら、通常それを簡潔さのために削除するので、上記の重ね合わせ積分はフィルタ設計でよく使われる[[畳み込み]]総和になる。

{{Indent|<math>y[n_1] = \sum_{n_2=-\infty}^{\infty} h[n_1 - n_2] \, x[n_2] = (h * x) [n_1]</math>}}

従って、この[[畳み込み]]総和は任意の入力関数についての[[線型性|線型]][[時不変系]]の作用を表している。有限次元のアナログについては、[[巡回行列]]を参照されたい。

=== インパルス応答 ===
このシステムに[[ディラックのデルタ関数|離散デルタ関数]] <math>\delta[n]</math> を入力したとき、デルタ関数は理想的なインパルスであるため、LTI変換の結果が[[インパルス応答]]となる。これを式に表すと次のようになる。

{{Indent|<math> (h * \delta) [n] = \sum_{m=-\infty}^{\infty} h[n - m] \, \delta [m] = h[n]</math>}} 

これにはデルタ関数のシフト属性を利用している。なお、ここで次が成り立つ。

{{Indent|<math>h[n] = h[n_1 - n_2, 0] \,\!\mbox{ where } n = n_1 - n_2</math>}}

従って <math>h[n]</math> はそのシステムのインパルス応答である。すなわち <math>h[n] = \mathcal{H} \delta[n] </math> が成立している。

以後、信号（系列）と値（スカラ）を書き分けるために <math>x_m \equiv x[n=m]</math> とする。

インパルス応答を使うと、任意の入力に対する応答を求めることができる。再び <math>\delta[n]</math> のシフト属性を使い、任意の入力をデルタ関数群の重ね合わせとして表せる。

<math>x[n] =
\sum_{m=-\infty}^{\infty} x_m \delta[n-m]
</math>

これらを用いて離散時間LTIシステムを記述すると次のようになる。

<math>\begin{align}
y[n] & = \mathcal{H} x[n] \\
     & = \mathcal{H} \sum_{m=-\infty}^{\infty} x_m \delta[n-m] \\
     & = \sum_{m=-\infty}^{\infty} x_m \ \mathcal{H} \delta[n-m] \quad (\because \text{Linearlity}) \\
     & = \sum_{m=-\infty}^{\infty} x_m h[n-m] \quad (\because \text{Time-Invariance}) \\
     & = (x*h)[n] \quad (\because \text{Conv. definition}) \\
\end{align}
</math>

すなわち離散時間LTIシステムは入力とインパルス応答の畳み込み和を出力し、その振る舞いは <math>h[n]</math> で完全に表現される。

=== 固有関数としての指数関数 ===
[[固有関数]]とは、上述の作用素の出力が入力された関数に何らかのスケーリングを施した同じ関数になるときの入力された関数をいう。数式で表すと次の通り。
{{Indent|<math>\mathcal{H}f = \lambda f</math>}}
ここで、''f'' が固有関数であり、<math>\lambda</math> は[[固有値]]と呼ばれる定数である。

[[指数関数]] <math>z^n = e^{sT n}</math>（<math>n \in \mathbb{Z}</math>）は、[[線型性|線型]][[時不変系|時不変]]作用素の固有関数である。<math>T \in \mathbb{R}</math> はサンプリング間隔であり、<math>z = e^{sT}, \ z,s \in \mathbb{C}</math> である。これについての簡単な証明を示す。

入力を <math>x[n] = \,\!z^n</math> とする。インパルス応答 <math>h[n]</math> でのシステムの出力は次のようになる。

{{Indent|<math>\sum_{m=-\infty}^{\infty} h[n-m] \, z^m</math>}}

[[畳み込み]]の交換律から、これを次のように変形できる。
{{Indent|
<math>\sum_{m=-\infty}^{\infty} h[m] \, z^{(n - m)}</math><br />
<math> \quad = z^n \sum_{m=-\infty}^{\infty} h[m] \, z^{-m}</math><br />
<math> \quad = z^n H(z)</math>
}}
ここで
{{Indent|<math>H(z) = \sum_{m=-\infty}^\infty h[m] z^{-m}</math>}}
はパラメータ ''s'' にのみ依存する。

従って、システムの応答は入力に定数 <math>H(z)</math> をかけたものと同じであるから、<math>z^n</math> はLTIシステムの固有関数である。

=== Z変換と離散時間フーリエ変換 ===
指数関数が固有関数であるという性質は、LTIシステムの解析や予測に役立つ。その[[Z変換]]

{{Indent|<math>H(z) = \mathcal{Z}\{h[n]\} = \sum_{n=-\infty}^\infty h[n] z^{-n}</math>}}

を使えば、インパルス応答から固有値を得ることができる。特に興味深いのは純粋な正弦波の場合（<math>e^{j \omega n}</math> の形式の指数関数、ただし <math>\omega \in \mathbb{R}</math>）である。これは引数が純粋な虚数であっても、一般に複素指数関数と呼ばれる。[[離散時間フーリエ変換]] (DTFT) <math>H(e^{j \omega}) = \mathcal{F}\{h[n]\}</math> により、純粋な複素正弦波の固有値が求められる。<math>H(z)</math> と <math>H(e^{j\omega})</math> は共に'''システム関数'''、'''システム応答'''、'''伝達関数'''などと呼ばれる。

Z変換は一般に、''t'' がある値より小さいとき信号がゼロとなるような信号で使われる。通常、その信号がゼロでなくなる時点をスタート時点とする。フーリエ変換は、無限に続く信号を処理するシステムの解析に使われる。

これらの変換は畳み込み属性があるため、システムの出力を与える畳み込みを[[畳み込み定理]]によって個別に変換したあとに積を求める形に変換できる。
{{Indent|
<math>y[n] = (h*x)[n] = \sum_{m=-\infty}^\infty h[n-m] x[m]</math><br />
<math>\quad = \mathcal{Z}^{-1}\{H(s)X(s)\}</math>
}}
これにより変換や逆変換が容易になるだけでなく、システム応答からシステムの挙動についての洞察を得ることができる。システム関数の絶対値 ''|H(z)|'' から、入力 <math>z^n</math> がシステムを通過できるか、それとも減衰してしまうかを見ることができる。

=== 例 ===
LTI作用素の簡単な例として遅延作用素 <math>D\{x\}[n]:=x[n-1]</math> がある。
{{Indent|
<math> D \left( c_1 x_1[n] + c_2 x_2[n] \right) = c_1 x_1[n-1] + c_2 x_2[n-1] = c_1 Dx_1[n] + c_2 Dx_2[n] </math><br />
<math> D\{x[n-m]\} = x[n-m-1] = x[(n-1)-m] = D\{x\}[n-m] \,</math>
}}
遅延作用素のZ変換をとってみると、z<sup>-1</sup> の単純な乗算に変形される。
{{Indent|<math> \mathcal{Z}\left\{Dx[n]\right\} = z^{-1} X(z) </math>}}
遅延作用素がこのような単純なZ変換の形式となることは、変換の有効性の証でもある。

別の単純なLTI作用素として、平均化作用素がある。

{{Indent|<math> \mathcal{A}\left\{x[n]\right\} = \sum_{k=n-a}^{n+a} x[k]</math>}}

これは、総和が線型性をもつため、線型である。
{{Indent|
<math> \mathcal{A}\left\{c_1 x_1[n] + c_2 x_2[n] \right\} </math><br />
<math> = \sum_{k=n-a}^{n+a} \left( c_1 x_1[k] + c_2 x_2[k] \right) </math><br />
<math> = c_1 \sum_{k=n-a}^{n+a} x_1[k] + c_2 \sum_{k=n-a}^{n+a} x_2[k] </math><br />
<math> = c_1 \mathcal{A}\left\{x_1[n] \right\} + c_2 \mathcal{A}\left\{x_2[n] \right\} </math>.
}}
また、時不変でもある。
{{Indent|
<math> \mathcal{A}\left\{x[n-m]\right\} </math><br />
<math> = \sum_{k=n-a}^{n+a} x[k-m] </math><br />
<math> = \sum_{k'=(n-m)-a}^{(n-m)+a} x[k'] </math><br />
<math> =  \mathcal{A}\left\{x\right\}[n-m] </math>.
}}

=== 重要なシステム属性 ===
システムについて最も重要な属性として、因果性と安定性がある。CTシステムとは異なり、因果性のないDTシステムも実現可能である。非因果性[[有限インパルス応答|FIR]]システムに遅延を加えることで、簡単に因果性を持たせることができる。また、非因果性[[無限インパルス応答|IIR]]システムを作ることもできる（Vaidyanathan and Chen, 1995 を参照）。非安定的なシステムも構築でき、様々な状況で有効である。

==== 因果性 ====
出力が現在と過去の入力のみに依存する場合、システムは「因果的; causal」であるという。「因果性; causality」の必要十分条件は次が成り立つことである。

{{Indent|<math>h[n] = 0 \ \forall n < 0</math>}}

ここで <math>h[n]</math> はインパルス応答である。Z変換は逆変換が一意に定まらないため、そこから因果性を判断することは通常不可能である。[[収束半径|収束領域]]が示される場合、因果性を判断できる。

==== 安定性 ====
システムが[[有界入力有界出力安定性|有界入力-有界出力安定]]（BIBO安定）であるとは、全ての入力が有界なら出力も有界であることを意味する。数学的には、入力が次の条件を満たすとき

{{Indent|<math>\ ||x[n]||_\infty < \infty</math>}}

出力が次を満足する。

{{Indent|<math>\ ||y[n]||_\infty < \infty</math>}}

すなわち、<math>x[n]</math> の有限の最大絶対値があれば、<math>y[n]</math> の有限の最大絶対値が存在する。このとき、システムは安定であるという。必要十分条件は、インパルス応答 <math>h[n]</math> が次を満足することである。

{{Indent|<math>||h[n]||_1 = \sum_{n = -\infty}^\infty |h[n]| < \infty</math>}}

周波数領域では、[[収束半径|収束領域]]に単位円 <math>|z|=1</math> が含まれていなければならない。システムを伝達関数としてモデル化するとき、系の極を複素平面の単位円に置かなければならない。[[ジュリーの安定判別法]]によって特性多項式の係数から安定性が見える。

===== 二次元安定性 =====
二次元信号（例えば画像）の場合では、二元多項式が必ず因数分解できるとは限らないため、フィルターのBIBO安定性の判定は困難である。

まず、系の伝達関数が<math>H(z_1,z_2)=\frac{B(z_1,z_2)}{A(z_1,z_2)}</math>として表示されて、以下のように極を分類する：
# <math>B(z_1,z_2)</math>の根と違う<math>A(z_1,z_2)</math>の根は、第一類非真性特異点（Nonessential Singularities of the First Kind、NSFK）という；
# <math>B(z_1,z_2)</math>の根と重なる<math>A(z_1,z_2)</math>の根は、第二類非真性特異点（Nonessential Singularities of the Second Kind、NSSK）という。

NSSKはゼロと極を消去できなくで生まれる。例として、伝達関数は
{{Indent|<math>H(z_1,z_2)=\frac{(1-z_1^{-1})(1-z_2^{-1})}{2-z_1^{-1}-z_2^{-1}}</math>}}
のようにする。そのゼロは
{{Indent|<math>\{(z_1,z_2):z_1=1\}\cup\{(z_1,z_2):z_2=1\}</math>}}
になり、極は
{{Indent|<math>\{(z_1,z_2):z_1^{-1}+z_2^{-1}=2\}</math>}}
になるので、<math>(1,1)</math>はNSSKになる。NSSKの存在は複雑性の源。

便利のため、まだ以下の区域を定義する：
{{Indent|
<math>S_c=\{(z_1,z_2):|z_1|\ge1,|z_2|\ge1\}\,\!</math><br />
<math>S_o=\{(z_1,z_2):|z_1|>1,|z_2|>1\}\,\!</math><br />
<math>T=\{(z_1,z_2):|z_1|=1,|z_2|=1\}\,\!</math>
}}
ならば、以下の定理が成立する。
*（Goodman）上記の伝達関数<math>H(z_1,z_2)</math>に対しては、
*#<math>A(z_1,z_2)\ne0,(z_1,z_2) \in S_c \Rightarrow</math> システムが安定
*#システムが安定 <math>\Rightarrow A(z_1,z_2)\ne0,(z_1,z_2) \in S_o</math>
*（Huang）<math>T</math>にNSSKがない時、伝達関数<math>H(z_1,z_2)</math>は安定する必要十分条件は以下二組の条件を同時に満たすこと：
**組I：
**#<math>A(z_1,\infty)\ne0,|z_1|\ge1</math>
**#<math>A(z_1,z_2)\ne0,|z_1|=1\mbox{ and }|z_2|\ge1</math>
**組II：
**#<math>A(\infty,z_2)\ne0,|z_2|\ge1</math>
**#<math>A(z_1,z_2)\ne0,|z_2|=1\mbox{ and }|z_1|\ge1</math>
*（Strintzis）<math>T</math>にNSSKがない時、因果的伝達関数<math>H(z_1,z_2)</math>は安定する必要十分条件は
**#<math>A(z_1,1)\ne0,|z_1|\ge1</math>　しかも
**#<math>A(1,z_2)\ne0,|z_2|\ge1</math>　しかも
**#<math>A(z_1,z_2)\ne0,(z_1,z_2)\in T</math>
*（DeCarlo, Murray and Saeks）<math>T</math>にNSSKがない時、因果的伝達関数<math>H(z_1,z_2)</math>は安定する必要十分条件は
*#<math>A(z_1,z_2)\ne0,|z_1|\ge1</math>　しかも
*#<math>A(z_1,z_2)\ne0,(z_1,z_2)\in T</math>

== 参考文献 ==
* Boaz Porat: ''A Course in Digital Signal Processing'', Wiley, ISBN 0-471-14961-6
* Tamal Bose: ''Digital Signal and Image Processing'', Wiley, ISBN 0-471-32727-1
* {{cite journal | author=P. P. Vaidyanathan and T. Chen | title=Role of anticausal inverses in multirate filter banks -- Part I: system theoretic fundamentals | journal=IEEE Trans. Signal Proc. | volume SP-43 | month=5 | year=1995 }}
* {{cite journal | author=P. P. Vaidyanathan and T. Chen | title=Role of anticausal inverses in multirate filter banks -- Part II: the FIR case, factorizations, and biorthogonal lapped transforms | journal=IEEE Trans. Signal Proc. | volume SP-43 | month=5 | year=1995}}

== 関連項目 ==
* [[巡回行列]]
* [[周波数特性]]
* [[インパルス応答]]
* [[システム解析]]

{{Normdaten}}
{{DEFAULTSORT:LTIしすてむりろん}}
[[Category:システム理論]]
[[Category:電気工学]]
[[Category:制御理論]]
[[Category:信号処理]]
[[Category:解析学]]
[[Category:応用数学]]