任意の線型時不変系の属性を定義するのは、当然ながら線型性 (linearity)と時不変性 (time invariance)である。
線型性 とは、システムの入力と出力の関係が、重ね合わせ特性を持つことを意味する。システムへの入力が次のように2つの信号を足し合わせたものであるとする。
x
(
t
)
=
x
1
(
t
)
+
x
2
(
t
)
{\displaystyle x(t)=x_{1}(t)+x_{2}(t)\,}
すると、システムの出力は次のようになる。
y
(
t
)
=
y
1
(
t
)
+
y
2
(
t
)
{\displaystyle y(t)=y_{1}(t)+y_{2}(t)\,}
ここで、
y
n
(
t
)
{\displaystyle y_{n}(t)}
は入力が
x
n
(
t
)
{\displaystyle x_{n}(t)}
だけだったときの出力を意味する。
このような重ね合わせ特性がある場合、任意の有理数 スカラーについてスケーリング特性が得られる。入力
x
(
t
)
{\displaystyle x(t)}
による出力が
y
(
t
)
{\displaystyle y(t)}
であるとき、入力
c
x
(
t
)
{\displaystyle cx(t)}
による出力は
c
y
(
t
)
{\displaystyle cy(t)}
となる。
以上を形式的に表すと、線型系は次のような特性を示す。まず、システムに次の入力を与えるとする。
x
(
t
)
=
∑
n
c
n
x
n
(
t
)
{\displaystyle x(t)=\sum _{n}c_{n}x_{n}(t)\,}
すると、そのシステムの出力は次のようになる。
y
(
t
)
=
∑
n
c
n
y
n
(
t
)
{\displaystyle y(t)=\sum _{n}c_{n}y_{n}(t)\,}
c
n
{\displaystyle c_{n}}
は任意の定数であり、
y
n
(
t
)
{\displaystyle y_{n}(t)}
は入力が
x
n
(
t
)
{\displaystyle x_{n}(t)}
だけだったときの出力を意味する。
時不変性 とは、システムにある入力信号を現時点や T 秒後に与えたとき、T 秒のずれが生じるだけで出力信号が同じになることを意味する。入力
x
(
t
)
{\displaystyle x(t)}
による出力が
y
(
t
)
{\displaystyle y(t)}
であるとき、入力
x
(
t
−
T
)
{\displaystyle x(t-T)}
による出力は
y
(
t
−
T
)
{\displaystyle y(t-T)}
となる。つまり、入力が遅延すれば、出力もそのぶんだけ遅延する。これを時不変という。
LTIシステム理論の基本的な成果は、任意のLTIシステムをインパルス応答 と呼ばれる単一の関数で完全に表せるようになったことである。システムの出力は、インパルス応答を持つシステムへの入力の単純な畳み込み である。この解析手法は、時間領域 の観点であるといわれることが多い。離散時間線型シフト不変システムでも同様のことが言え、その場合の信号は離散時間の標本群であり、畳み込みはそれらの列に対するものとなる。
時間領域 (time domain)と周波数領域 (frequency domain)の関係
これと等価的に、伝達関数 を使ってLTIシステムを周波数領域 で解析することもできる。伝達関数とは、システムのインパルス応答をラプラス変換 (離散時間の場合はZ変換 )したものである。このような変換の特性として、周波数領域のシステムの出力は、入力を変換したものと伝達関数の積で表される。言い換えれば、時間領域での畳み込みと、周波数領域での乗法が等価となっている。
全てのLTIシステムにおいて、固有関数 と変換の基底関数 は複素 指数関数 である。システムへの入力が複素波形
A
exp
(
s
t
)
{\displaystyle A\exp({st})}
(
A
{\displaystyle A}
は複素振幅、
s
{\displaystyle s}
は複素周波数)であるとき、その出力は入力にある複素定数を掛けたもの、例えば
B
exp
(
s
t
)
{\displaystyle B\exp({st})}
となり、
B
{\displaystyle B}
は何らかの新たな複素振幅である。
B
/
A
{\displaystyle B/A}
という比は、周波数
s
{\displaystyle s}
における伝達関数である。
正弦波 は複素共役周波数の複素指数関数の総和であるため、システムの入力が正弦波なら、そのシステムの出力も正弦波となり、おそらく異なる振幅 と異なる位相 を持つが、周波数は同じになるだろう。
LTIシステム理論は様々な重要なシステムを説明できる。多くのLTIシステムは解析が「容易」とされており、少なくとも時変系や非線型 のシステムに比べれば単純である。定数係数の線型な斉次微分方程式 としてモデル化されるシステムは、LTIシステムである。例えば、抵抗器 とコイル とコンデンサ で構成される電気回路 (RLC回路 )がある。また、理想的なバネ-質量-ダンパ系もLTIシステムであり、数学的にはRLC回路と等価である。
多くのLTIシステムの概念は、連続時間と離散時間(線型シフト不変)とで類似している。画像処理では、時間変数は2次元の空間変数に置き換えられ、時不変性に関する事柄は2次元のシフト不変性に関する事柄に置き換えられる。フィルタバンク やMIMO を解析する場合、信号の配列 を考えると分かり易い。
ここでは、時間を独立変数とし、そのインパルス応答が2次元関数であるシステムを想定し、時不変性によってそれを1次元に還元できることを示す。例えば、入力信号
x
(
t
)
{\displaystyle x(t)}
において、その添え字集合 が実数線であるとする(すなわち、
t
∈
R
{\displaystyle t\in \mathbb {R} }
)。線型作用素
H
{\displaystyle {\mathcal {H}}}
はその入力信号に対して処理をするシステムを表している。この添え字集合に対して適切な作用素は、次のような2次元関数である。
h
(
t
1
,
t
2
)
where
t
1
,
t
2
∈
R
{\displaystyle h(t_{1},t_{2}){\mbox{ where }}t_{1},t_{2}\in \mathbb {R} }
H
{\displaystyle {\mathcal {H}}}
は線型作用素なので、入力信号
x
(
t
)
{\displaystyle x(t)}
に対するシステムの動作は、以下の重ね合わせ 積分で表される線型写像 となる。
y
(
t
1
)
=
∫
−
∞
∞
h
(
t
1
,
t
2
)
x
(
t
2
)
d
t
2
{\displaystyle y(t_{1})=\int _{-\infty }^{\infty }h(t_{1},t_{2})\,x(t_{2})\,dt_{2}}
線型作用素
H
{\displaystyle {\mathcal {H}}}
が時不変 でもある場合、次のようになる。
h
(
t
1
,
t
2
)
=
h
(
t
1
+
τ
,
t
2
+
τ
)
∀
τ
∈
R
{\displaystyle h(t_{1},t_{2})=h(t_{1}+\tau ,t_{2}+\tau )\qquad \forall \,\tau \in \mathbb {R} }
ここで、次のように設定する。
τ
=
−
t
2
{\displaystyle \tau =-t_{2}\,}
すると、次のようになる。
h
(
t
1
,
t
2
)
=
h
(
t
1
−
t
2
,
0
)
{\displaystyle h(t_{1},t_{2})=h(t_{1}-t_{2},0)\,}
h
(
t
1
,
t
2
)
{\displaystyle h(t_{1},t_{2})}
の第二引数がゼロなら、通常それを簡潔さのために削除するので、上記の重ね合わせ積分はフィルタ設計でよく使われる畳み込み 積分になる。
y
(
t
1
)
=
∫
−
∞
∞
h
(
t
1
−
t
2
)
x
(
t
2
)
d
t
2
=
(
h
∗
x
)
(
t
1
)
{\displaystyle y(t_{1})=\int _{-\infty }^{\infty }h(t_{1}-t_{2})\,x(t_{2})\,dt_{2}=(h*x)(t_{1})}
従って、この畳み込み 積分は任意の入力関数についての線型 時不変系 の作用を表している。有限次元のアナログについては、巡回行列 を参照されたい。
このシステムにディラックのデルタ関数 を入力したとき、デルタ関数は理想的なインパルスであるため、LTI変換の結果がインパルス応答 となる。これを式に表すと次のようになる。
(
h
∗
δ
)
(
t
)
=
∫
−
∞
∞
h
(
t
−
τ
)
δ
(
τ
)
d
τ
=
h
(
t
)
{\displaystyle (h*\delta )(t)=\int _{-\infty }^{\infty }h(t-\tau )\,\delta (\tau )\,d\tau =h(t)}
これにはデルタ関数のシフト属性を利用している。なお、ここで次が成り立つ。
h
(
t
)
=
h
(
t
,
0
)
(
with
t
=
t
1
−
t
2
)
{\displaystyle h(t)=h(t,0)\ ({\mbox{with }}t=t_{1}-t_{2})}
従って
h
(
t
)
{\displaystyle h(t)}
はそのシステムのインパルス応答である。
インパルス応答を使うと、任意の入力に対する応答を求めることができる。再び
δ
(
t
)
{\displaystyle \delta (t)}
のシフト属性を使い、任意の入力をデルタ関数群の重ね合わせとして表せる。
x
(
t
)
=
∫
−
∞
∞
x
(
τ
)
δ
(
t
−
τ
)
d
τ
{\displaystyle x(t)=\int _{-\infty }^{\infty }x(\tau )\delta (t-\tau )\,d\tau }
この入力をシステムに適用すると、次のようになる。
システムに関する全ての情報は、インパルス応答
h
(
t
)
{\displaystyle h(t)}
に含まれている。
固有関数 とは、上述の作用素の出力が入力された関数に何らかのスケーリングを施した同じ関数になるときの入力された関数をいう。数式で表すと次の通り。
H
f
=
λ
f
{\displaystyle {\mathcal {H}}f=\lambda f}
ここで、f が固有関数であり、
λ
{\displaystyle \lambda }
は固有値 と呼ばれる定数である。
指数関数
e
s
t
{\displaystyle e^{st}}
(
s
∈
C
{\displaystyle s\in \mathbb {C} }
)は、線型 時不変 作用素の固有関数である。これについての簡単な証明を示す。
入力を
x
(
t
)
=
e
s
t
{\displaystyle x(t)=e^{st}}
とする。インパルス応答
h
(
t
)
{\displaystyle h(t)}
でのシステムの出力は次のようになる。
∫
−
∞
∞
h
(
t
−
τ
)
e
s
τ
d
τ
{\displaystyle \int _{-\infty }^{\infty }h(t-\tau )e^{s\tau }d\tau }
畳み込み の交換律から、これを次のように変形できる。
ここで
H
(
s
)
=
∫
−
∞
∞
h
(
t
)
e
−
s
t
d
t
{\displaystyle H(s)=\int _{-\infty }^{\infty }h(t)e^{-st}dt}
はパラメータ s にのみ依存する。
従って、システムの応答は入力に定数
H
(
s
)
{\displaystyle H(s)}
をかけたものと同じであるから、
e
s
t
{\displaystyle e^{st}}
はLTIシステムの固有関数である。
指数関数が固有関数であるという性質は、LTIシステムの解析や予測に役立つ。そのラプラス変換
H
(
s
)
=
L
{
h
(
t
)
}
=
∫
−
∞
∞
h
(
t
)
e
−
s
t
d
t
{\displaystyle H(s)={\mathcal {L}}\{h(t)\}=\int _{-\infty }^{\infty }h(t)e^{-st}dt}
を使えば、インパルス応答から固有値を得ることができる。特に興味深いのは純粋な正弦波の場合(
exp
(
j
ω
t
)
{\displaystyle \exp({j\omega t})}
の形式の指数関数、ただし
ω
∈
R
{\displaystyle \omega \in \mathbb {R} }
であり、かつ
j
=
−
1
{\displaystyle j={\sqrt {-1}}}
)である。これは引数が純粋な虚数であっても、一般に複素指数関数と呼ばれる。フーリエ変換
H
(
j
ω
)
=
F
{
h
(
t
)
}
{\displaystyle H(j\omega )={\mathcal {F}}\{h(t)\}}
により、純粋な複素正弦波 の固有値が求められる。
H
(
s
)
{\displaystyle H(s)}
と
H
(
j
ω
)
{\displaystyle H(j\omega )}
は共にシステム関数 、システム応答 、伝達関数 などと呼ばれる。
ラプラス変換は一般に、t がある値より小さいとき信号がゼロとなるような信号で使われる。通常、その信号がゼロでなくなる時点をスタート時点とし、ゼロから無限大までの積分とする(一方、負の無限大から積分するラプラス変換を一般に「両側ラプラス変換; bilateral Laplace transform」と呼ぶ)。
フーリエ変換は、無限に続く信号を処理するシステムの解析に使われる。例えば、変調された正弦波などだが、二乗可積分でない入力信号や出力信号には直接適用できない。スタート時点以前の信号がゼロなら、ラプラス変換は二乗可積分でなくとも適用可能である、フーリエ変換は、その信号のフーリエ変換が存在しない場合でも、ウィーナー・ヒンチンの定理 を使って無限信号のスペクトルに適用される。
これらの変換は畳み込み属性があるため、システムの出力を与える畳み込みを畳み込み定理 によって個別に変換したあとに積を求める形に変換できる。
y
(
t
)
=
(
h
∗
x
)
(
t
)
=
∫
−
∞
∞
h
(
t
−
τ
)
x
(
τ
)
d
τ
{\displaystyle y(t)=(h*x)(t)=\int _{-\infty }^{\infty }h(t-\tau )x(\tau )d\tau }
=
L
−
1
{
H
(
s
)
X
(
s
)
}
{\displaystyle \quad ={\mathcal {L}}^{-1}\{H(s)X(s)\}}
これにより変換や逆変換が容易になるだけでなく、システム応答からシステムの挙動についての洞察を得ることができる。システム関数の絶対値 |H (s )| から、入力
exp
(
s
t
)
{\displaystyle \exp({st})}
がシステムを通過できるか、それとも減衰してしまうかを見ることができる。
LTI作用素の簡単な例として導関数 がある。
d
d
t
(
c
1
x
1
(
t
)
+
c
2
x
2
(
t
)
)
=
c
1
x
1
′
(
t
)
+
c
2
x
2
′
(
t
)
{\displaystyle {\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)}
d
d
t
x
(
t
−
τ
)
=
x
′
(
t
−
τ
)
{\displaystyle {\frac {d}{dt}}x(t-\tau )=x'(t-\tau )}
導関数のラプラス変換をとってみたとき、ラプラス変数 s によって単純な乗算に変形される。
L
{
d
d
t
x
(
t
)
}
=
s
X
(
s
)
{\displaystyle {\mathcal {L}}\left\{{\frac {d}{dt}}x(t)\right\}=sX(s)}
導関数がこのような単純なラプラス変換の形式となることは、変換の有効性の証でもある。
別の単純なLTI作用素として、平均化作用素がある。
A
{
x
(
t
)
}
=
∫
t
−
a
t
+
a
x
(
λ
)
d
λ
{\displaystyle {\mathcal {A}}\left\{x(t)\right\}=\int _{t-a}^{t+a}x(\lambda )d\lambda }
これは、積分が線型性をもつため、線型である。
また、時不変でもある。
A
{\displaystyle {\mathcal {A}}}
は次のような畳み込みとして記述することもできる。
A
{
x
(
t
)
}
=
∫
−
∞
∞
Π
(
λ
−
t
2
a
)
x
(
λ
)
d
λ
{\displaystyle {\mathcal {A}}\left\{x(t)\right\}=\int _{-\infty }^{\infty }\Pi \left({\frac {\lambda -t}{2a}}\right)x(\lambda )d\lambda }
なお
Π
(
t
)
{\displaystyle \Pi (t)}
は次のように定義される。
Π
(
t
)
=
{
1
|
t
|
<
1
/
2
0
|
t
|
>
1
/
2
{\displaystyle \Pi (t)=\left\{{\begin{matrix}1&|t|<1/2\\0&|t|>1/2\end{matrix}}\right.}
システムについて最も重要な属性として、因果性と安定性がある。実世界でシステムを利用する場合、因果性は多かれ少なかれ必要である。非安定的なシステムも構築でき、様々な状況で有効である。
出力が現在と過去の入力のみに依存する場合、システムは「因果的; causal」であるという。「因果性; causality」の必要十分条件は次が成り立つことである。
h
(
t
)
=
0
∀
t
<
0
{\displaystyle h(t)=0\quad \forall t<0}
ここで
h
(
t
)
{\displaystyle h(t)}
はインパルス応答である。ラプラス変換は逆変換が一意に定まらないため、そこから因果性を判断することは通常不可能である。収束領域 が示される場合、因果性を判断できる。
システムが有界入力-有界出力安定 (BIBO安定 )であるとは、全ての入力が有界なら出力も有界であることを意味する。数学的には、入力が次の条件を満たすとき
‖
x
(
t
)
‖
∞
<
∞
{\displaystyle \ \|x(t)\|_{\infty }<\infty }
出力が次を満足する。
‖
y
(
t
)
‖
∞
<
∞
{\displaystyle \ \|y(t)\|_{\infty }<\infty }
すなわち、
x
(
t
)
{\displaystyle x(t)}
の有限の最大絶対値があれば、
y
(
t
)
{\displaystyle y(t)}
の有限の最大絶対値が存在する。このとき、システムは安定であるという。必要十分条件は、インパルス応答
h
(
t
)
{\displaystyle h(t)}
が L1 にあることである(有限のL1 ノルム を持つ)。
‖
h
(
t
)
‖
1
=
∫
−
∞
∞
|
h
(
t
)
|
d
t
<
∞
{\displaystyle \ \|h(t)\|_{1}=\int _{-\infty }^{\infty }|h(t)|dt<\infty }
周波数領域では、収束領域 に虚数軸
s
=
j
ω
{\displaystyle s=j\omega }
が含まれていなければならない。システムを伝達関数 としてモデル化するとき、系の極(伝達関数の分母多項式または特性多項式 の根)を複素平面の左半平面に置かなければならない。ラウス・フルビッツの安定判別法 によって特性多項式の係数から安定性が見える。
例としては、インパルス応答がSinc関数 と等しい理想的なローパスフィルタ は、BIBO安定ではない。これはSinc関数が有限のL1 ノルムを持たないためである。従って何らかの有界な入力では、理想的なローパスフィルタの出力は無限となる。特に
t
<
0
{\displaystyle t<0\,}
のとき入力がゼロで
t
>
0
{\displaystyle t>0\,}
のときカットオフ周波数 の正弦波となる場合、出力は原点以外では常に無限となる。
離散時間入力信号
x
[
n
]
{\displaystyle x[n]}
に対して離散時間出力信号
y
[
n
]
{\displaystyle y[n]}
を返す離散時間LTIシステム
H
{\displaystyle {\mathcal {H}}}
について、連続時間LTIシステムに関するほとんどあらゆる事柄が対応している。
多くの場合、離散時間 (DT) システムはより大きな連続時間 (CT) システムの一部となっている。例えば、デジタル録音システムはアナログの音響を入力とし、それをデジタイズ して、必要に応じてデジタル信号を処理し、最終的に再生して人間が聴くためにアナログに戻してやる。
形式的には、研究されているDT信号のほとんどは、CT信号を一定間隔で標本化 したものである。CT信号を
x
(
t
)
{\displaystyle x(t)}
としたとき、アナログ-デジタル変換回路 によってそれがDT信号
x
[
n
]
{\displaystyle x[n]}
に次のように変換される。
x
[
n
]
=
x
(
n
T
)
{\displaystyle x[n]=x(nT)}
ここで T はサンプリング間隔 である。DT信号が元の信号を正確に表現するには、入力信号の周波数の範囲を制限することが非常に重要である。標本化定理 によれば、DT信号は
1
/
(
2
T
)
{\displaystyle 1/(2T)}
までの範囲の周波数しか扱えない。さもなくば、高周波成分がその範囲に折り返し雑音 として出てくる。
ここでは、時間を独立変数とし、そのインパルス応答が2次元関数であるシステムを想定し、時不変性によってそれを1次元に還元できることを示す。例えば、入力信号
x
[
n
]
{\displaystyle x[n]}
において、その添え字集合 が整数であるとする(すなわち、
n
∈
Z
{\displaystyle n\in \mathbb {Z} }
)。線型作用素
H
{\displaystyle {\mathcal {H}}}
はその入力信号に対して処理をするシステムを表している。この添え字集合に対して適切な作用素は、次のような2次元関数である。
h
[
n
1
,
n
2
]
where
n
1
,
n
2
∈
Z
{\displaystyle h[n_{1},n_{2}]{\mbox{ where }}n_{1},n_{2}\in \mathbb {Z} }
H
{\displaystyle {\mathcal {H}}}
は線型作用素なので、入力信号
x
[
n
]
{\displaystyle x[n]}
に対するシステムの動作は、以下の重ね合わせ 総和で表される線型写像 となる。
y
[
n
1
]
=
∑
n
2
=
−
∞
∞
h
[
n
1
,
n
2
]
x
[
n
2
]
{\displaystyle y[n_{1}]=\sum _{n_{2}=-\infty }^{\infty }h[n_{1},n_{2}]\,x[n_{2}]}
線型作用素
H
{\displaystyle {\mathcal {H}}}
が時不変 でもある場合、次のようになる。
h
[
n
1
,
n
2
]
=
h
[
n
1
+
m
,
n
2
+
m
]
∀
m
∈
Z
{\displaystyle h[n_{1},n_{2}]=h[n_{1}+m,n_{2}+m]\qquad \forall \,m\in \mathbb {Z} }
ここで、次のように設定する。
m
=
−
n
2
{\displaystyle m=-n_{2}\,}
すると、次のようになる。
h
[
n
1
,
n
2
]
=
h
[
n
1
−
n
2
,
0
]
{\displaystyle h[n_{1},n_{2}]=h[n_{1}-n_{2},0]\,}
h
[
n
1
,
n
2
]
{\displaystyle h[n_{1},n_{2}]}
の第二引数がゼロなら、通常それを簡潔さのために削除するので、上記の重ね合わせ積分はフィルタ設計でよく使われる畳み込み 総和になる。
y
[
n
1
]
=
∑
n
2
=
−
∞
∞
h
[
n
1
−
n
2
]
x
[
n
2
]
=
(
h
∗
x
)
[
n
1
]
{\displaystyle y[n_{1}]=\sum _{n_{2}=-\infty }^{\infty }h[n_{1}-n_{2}]\,x[n_{2}]=(h*x)[n_{1}]}
従って、この畳み込み 総和は任意の入力関数についての線型 時不変系 の作用を表している。有限次元のアナログについては、巡回行列 を参照されたい。
このシステムに離散デルタ関数
δ
[
n
]
{\displaystyle \delta [n]}
を入力したとき、デルタ関数は理想的なインパルスであるため、LTI変換の結果がインパルス応答 となる。これを式に表すと次のようになる。
(
h
∗
δ
)
[
n
]
=
∑
m
=
−
∞
∞
h
[
n
−
m
]
δ
[
m
]
=
h
[
n
]
{\displaystyle (h*\delta )[n]=\sum _{m=-\infty }^{\infty }h[n-m]\,\delta [m]=h[n]}
これにはデルタ関数のシフト属性を利用している。なお、ここで次が成り立つ。
h
[
n
]
=
h
[
n
1
−
n
2
,
0
]
where
n
=
n
1
−
n
2
{\displaystyle h[n]=h[n_{1}-n_{2},0]\,\!{\mbox{ where }}n=n_{1}-n_{2}}
従って
h
[
n
]
{\displaystyle h[n]}
はそのシステムのインパルス応答である。すなわち
h
[
n
]
=
H
δ
[
n
]
{\displaystyle h[n]={\mathcal {H}}\delta [n]}
が成立している。
以後、信号(系列)と値(スカラ)を書き分けるために
x
m
≡
x
[
n
=
m
]
{\displaystyle x_{m}\equiv x[n=m]}
とする。
インパルス応答を使うと、任意の入力に対する応答を求めることができる。再び
δ
[
n
]
{\displaystyle \delta [n]}
のシフト属性を使い、任意の入力をデルタ関数群の重ね合わせとして表せる。
x
[
n
]
=
∑
m
=
−
∞
∞
x
m
δ
[
n
−
m
]
{\displaystyle x[n]=\sum _{m=-\infty }^{\infty }x_{m}\delta [n-m]}
これらを用いて離散時間LTIシステムを記述すると次のようになる。
y
[
n
]
=
H
x
[
n
]
=
H
∑
m
=
−
∞
∞
x
m
δ
[
n
−
m
]
=
∑
m
=
−
∞
∞
x
m
H
δ
[
n
−
m
]
(
∵
Linearlity
)
=
∑
m
=
−
∞
∞
x
m
h
[
n
−
m
]
(
∵
Time-Invariance
)
=
(
x
∗
h
)
[
n
]
(
∵
Conv. definition
)
{\displaystyle {\begin{aligned}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{aligned}}}
すなわち離散時間LTIシステムは入力とインパルス応答の畳み込み和を出力し、その振る舞いは
h
[
n
]
{\displaystyle h[n]}
で完全に表現される。
固有関数 とは、上述の作用素の出力が入力された関数に何らかのスケーリングを施した同じ関数になるときの入力された関数をいう。数式で表すと次の通り。
H
f
=
λ
f
{\displaystyle {\mathcal {H}}f=\lambda f}
ここで、f が固有関数であり、
λ
{\displaystyle \lambda }
は固有値 と呼ばれる定数である。
指数関数
z
n
=
e
s
T
n
{\displaystyle z^{n}=e^{sTn}}
(
n
∈
Z
{\displaystyle n\in \mathbb {Z} }
)は、線型 時不変 作用素の固有関数である。
T
∈
R
{\displaystyle T\in \mathbb {R} }
はサンプリング間隔であり、
z
=
e
s
T
,
z
,
s
∈
C
{\displaystyle z=e^{sT},\ z,s\in \mathbb {C} }
である。これについての簡単な証明を示す。
入力を
x
[
n
]
=
z
n
{\displaystyle x[n]=\,\!z^{n}}
とする。インパルス応答
h
[
n
]
{\displaystyle h[n]}
でのシステムの出力は次のようになる。
∑
m
=
−
∞
∞
h
[
n
−
m
]
z
m
{\displaystyle \sum _{m=-\infty }^{\infty }h[n-m]\,z^{m}}
畳み込み の交換律から、これを次のように変形できる。
ここで
H
(
z
)
=
∑
m
=
−
∞
∞
h
[
m
]
z
−
m
{\displaystyle H(z)=\sum _{m=-\infty }^{\infty }h[m]z^{-m}}
はパラメータ s にのみ依存する。
従って、システムの応答は入力に定数
H
(
z
)
{\displaystyle H(z)}
をかけたものと同じであるから、
z
n
{\displaystyle z^{n}}
はLTIシステムの固有関数である。
指数関数が固有関数であるという性質は、LTIシステムの解析や予測に役立つ。そのZ変換
H
(
z
)
=
Z
{
h
[
n
]
}
=
∑
n
=
−
∞
∞
h
[
n
]
z
−
n
{\displaystyle H(z)={\mathcal {Z}}\{h[n]\}=\sum _{n=-\infty }^{\infty }h[n]z^{-n}}
を使えば、インパルス応答から固有値を得ることができる。特に興味深いのは純粋な正弦波の場合(
e
j
ω
n
{\displaystyle e^{j\omega n}}
の形式の指数関数、ただし
ω
∈
R
{\displaystyle \omega \in \mathbb {R} }
)である。これは引数が純粋な虚数であっても、一般に複素指数関数と呼ばれる。離散時間フーリエ変換 (DTFT)
H
(
e
j
ω
)
=
F
{
h
[
n
]
}
{\displaystyle H(e^{j\omega })={\mathcal {F}}\{h[n]\}}
により、純粋な複素正弦波の固有値が求められる。
H
(
z
)
{\displaystyle H(z)}
と
H
(
e
j
ω
)
{\displaystyle H(e^{j\omega })}
は共にシステム関数 、システム応答 、伝達関数 などと呼ばれる。
Z変換は一般に、t がある値より小さいとき信号がゼロとなるような信号で使われる。通常、その信号がゼロでなくなる時点をスタート時点とする。フーリエ変換は、無限に続く信号を処理するシステムの解析に使われる。
これらの変換は畳み込み属性があるため、システムの出力を与える畳み込みを畳み込み定理 によって個別に変換したあとに積を求める形に変換できる。
y
[
n
]
=
(
h
∗
x
)
[
n
]
=
∑
m
=
−
∞
∞
h
[
n
−
m
]
x
[
m
]
{\displaystyle y[n]=(h*x)[n]=\sum _{m=-\infty }^{\infty }h[n-m]x[m]}
=
Z
−
1
{
H
(
s
)
X
(
s
)
}
{\displaystyle \quad ={\mathcal {Z}}^{-1}\{H(s)X(s)\}}
これにより変換や逆変換が容易になるだけでなく、システム応答からシステムの挙動についての洞察を得ることができる。システム関数の絶対値 |H(z)| から、入力
z
n
{\displaystyle z^{n}}
がシステムを通過できるか、それとも減衰してしまうかを見ることができる。
LTI作用素の簡単な例として遅延作用素
D
{
x
}
[
n
]
:=
x
[
n
−
1
]
{\displaystyle D\{x\}[n]:=x[n-1]}
がある。
D
(
c
1
x
1
[
n
]
+
c
2
x
2
[
n
]
)
=
c
1
x
1
[
n
−
1
]
+
c
2
x
2
[
n
−
1
]
=
c
1
D
x
1
[
n
]
+
c
2
D
x
2
[
n
]
{\displaystyle 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]}
D
{
x
[
n
−
m
]
}
=
x
[
n
−
m
−
1
]
=
x
[
(
n
−
1
)
−
m
]
=
D
{
x
}
[
n
−
m
]
{\displaystyle D\{x[n-m]\}=x[n-m-1]=x[(n-1)-m]=D\{x\}[n-m]\,}
遅延作用素のZ変換をとってみると、z-1 の単純な乗算に変形される。
Z
{
D
x
[
n
]
}
=
z
−
1
X
(
z
)
{\displaystyle {\mathcal {Z}}\left\{Dx[n]\right\}=z^{-1}X(z)}
遅延作用素がこのような単純なZ変換の形式となることは、変換の有効性の証でもある。
別の単純なLTI作用素として、平均化作用素がある。
A
{
x
[
n
]
}
=
∑
k
=
n
−
a
n
+
a
x
[
k
]
{\displaystyle {\mathcal {A}}\left\{x[n]\right\}=\sum _{k=n-a}^{n+a}x[k]}
これは、総和が線型性をもつため、線型である。
また、時不変でもある。
システムについて最も重要な属性として、因果性と安定性がある。CTシステムとは異なり、因果性のないDTシステムも実現可能である。非因果性FIR システムに遅延を加えることで、簡単に因果性を持たせることができる。また、非因果性IIR システムを作ることもできる(Vaidyanathan and Chen, 1995 を参照)。非安定的なシステムも構築でき、様々な状況で有効である。
出力が現在と過去の入力のみに依存する場合、システムは「因果的; causal」であるという。「因果性; causality」の必要十分条件は次が成り立つことである。
h
[
n
]
=
0
∀
n
<
0
{\displaystyle h[n]=0\ \forall n<0}
ここで
h
[
n
]
{\displaystyle h[n]}
はインパルス応答である。Z変換は逆変換が一意に定まらないため、そこから因果性を判断することは通常不可能である。収束領域 が示される場合、因果性を判断できる。
システムが有界入力-有界出力安定 (BIBO安定)であるとは、全ての入力が有界なら出力も有界であることを意味する。数学的には、入力が次の条件を満たすとき
|
|
x
[
n
]
|
|
∞
<
∞
{\displaystyle \ ||x[n]||_{\infty }<\infty }
出力が次を満足する。
|
|
y
[
n
]
|
|
∞
<
∞
{\displaystyle \ ||y[n]||_{\infty }<\infty }
すなわち、
x
[
n
]
{\displaystyle x[n]}
の有限の最大絶対値があれば、
y
[
n
]
{\displaystyle y[n]}
の有限の最大絶対値が存在する。このとき、システムは安定であるという。必要十分条件は、インパルス応答
h
[
n
]
{\displaystyle h[n]}
が次を満足することである。
|
|
h
[
n
]
|
|
1
=
∑
n
=
−
∞
∞
|
h
[
n
]
|
<
∞
{\displaystyle ||h[n]||_{1}=\sum _{n=-\infty }^{\infty }|h[n]|<\infty }
周波数領域では、収束領域 に単位円
|
z
|
=
1
{\displaystyle |z|=1}
が含まれていなければならない。システムを伝達関数としてモデル化するとき、系の極を複素平面の単位円に置かなければならない。ジュリーの安定判別法 によって特性多項式の係数から安定性が見える。
二次元信号(例えば画像)の場合では、二元多項式が必ず因数分解できるとは限らないため、フィルターのBIBO安定性の判定は困難である。
まず、系の伝達関数が
H
(
z
1
,
z
2
)
=
B
(
z
1
,
z
2
)
A
(
z
1
,
z
2
)
{\displaystyle H(z_{1},z_{2})={\frac {B(z_{1},z_{2})}{A(z_{1},z_{2})}}}
として表示されて、以下のように極を分類する:
B
(
z
1
,
z
2
)
{\displaystyle B(z_{1},z_{2})}
の根と違う
A
(
z
1
,
z
2
)
{\displaystyle A(z_{1},z_{2})}
の根は、第一類非真性特異点(Nonessential Singularities of the First Kind、NSFK)という;
B
(
z
1
,
z
2
)
{\displaystyle B(z_{1},z_{2})}
の根と重なる
A
(
z
1
,
z
2
)
{\displaystyle A(z_{1},z_{2})}
の根は、第二類非真性特異点(Nonessential Singularities of the Second Kind、NSSK)という。
NSSKはゼロと極を消去できなくで生まれる。例として、伝達関数は
H
(
z
1
,
z
2
)
=
(
1
−
z
1
−
1
)
(
1
−
z
2
−
1
)
2
−
z
1
−
1
−
z
2
−
1
{\displaystyle H(z_{1},z_{2})={\frac {(1-z_{1}^{-1})(1-z_{2}^{-1})}{2-z_{1}^{-1}-z_{2}^{-1}}}}
のようにする。そのゼロは
{
(
z
1
,
z
2
)
:
z
1
=
1
}
∪
{
(
z
1
,
z
2
)
:
z
2
=
1
}
{\displaystyle \{(z_{1},z_{2}):z_{1}=1\}\cup \{(z_{1},z_{2}):z_{2}=1\}}
になり、極は
{
(
z
1
,
z
2
)
:
z
1
−
1
+
z
2
−
1
=
2
}
{\displaystyle \{(z_{1},z_{2}):z_{1}^{-1}+z_{2}^{-1}=2\}}
になるので、
(
1
,
1
)
{\displaystyle (1,1)}
はNSSKになる。NSSKの存在は複雑性の源。
便利のため、まだ以下の区域を定義する:
S
c
=
{
(
z
1
,
z
2
)
:
|
z
1
|
≥
1
,
|
z
2
|
≥
1
}
{\displaystyle S_{c}=\{(z_{1},z_{2}):|z_{1}|\geq 1,|z_{2}|\geq 1\}\,\!}
S
o
=
{
(
z
1
,
z
2
)
:
|
z
1
|
>
1
,
|
z
2
|
>
1
}
{\displaystyle S_{o}=\{(z_{1},z_{2}):|z_{1}|>1,|z_{2}|>1\}\,\!}
T
=
{
(
z
1
,
z
2
)
:
|
z
1
|
=
1
,
|
z
2
|
=
1
}
{\displaystyle T=\{(z_{1},z_{2}):|z_{1}|=1,|z_{2}|=1\}\,\!}
ならば、以下の定理が成立する。
(Goodman)上記の伝達関数
H
(
z
1
,
z
2
)
{\displaystyle H(z_{1},z_{2})}
に対しては、
A
(
z
1
,
z
2
)
≠
0
,
(
z
1
,
z
2
)
∈
S
c
⇒
{\displaystyle A(z_{1},z_{2})\neq 0,(z_{1},z_{2})\in S_{c}\Rightarrow }
システムが安定
システムが安定
⇒
A
(
z
1
,
z
2
)
≠
0
,
(
z
1
,
z
2
)
∈
S
o
{\displaystyle \Rightarrow A(z_{1},z_{2})\neq 0,(z_{1},z_{2})\in S_{o}}
(Huang)
T
{\displaystyle T}
にNSSKがない時、伝達関数
H
(
z
1
,
z
2
)
{\displaystyle H(z_{1},z_{2})}
は安定する必要十分条件は以下二組の条件を同時に満たすこと:
組I:
A
(
z
1
,
∞
)
≠
0
,
|
z
1
|
≥
1
{\displaystyle A(z_{1},\infty )\neq 0,|z_{1}|\geq 1}
A
(
z
1
,
z
2
)
≠
0
,
|
z
1
|
=
1
and
|
z
2
|
≥
1
{\displaystyle A(z_{1},z_{2})\neq 0,|z_{1}|=1{\mbox{ and }}|z_{2}|\geq 1}
組II:
A
(
∞
,
z
2
)
≠
0
,
|
z
2
|
≥
1
{\displaystyle A(\infty ,z_{2})\neq 0,|z_{2}|\geq 1}
A
(
z
1
,
z
2
)
≠
0
,
|
z
2
|
=
1
and
|
z
1
|
≥
1
{\displaystyle A(z_{1},z_{2})\neq 0,|z_{2}|=1{\mbox{ and }}|z_{1}|\geq 1}
(Strintzis)
T
{\displaystyle T}
にNSSKがない時、因果的伝達関数
H
(
z
1
,
z
2
)
{\displaystyle H(z_{1},z_{2})}
は安定する必要十分条件は
A
(
z
1
,
1
)
≠
0
,
|
z
1
|
≥
1
{\displaystyle A(z_{1},1)\neq 0,|z_{1}|\geq 1}
しかも
A
(
1
,
z
2
)
≠
0
,
|
z
2
|
≥
1
{\displaystyle A(1,z_{2})\neq 0,|z_{2}|\geq 1}
しかも
A
(
z
1
,
z
2
)
≠
0
,
(
z
1
,
z
2
)
∈
T
{\displaystyle A(z_{1},z_{2})\neq 0,(z_{1},z_{2})\in T}
(DeCarlo, Murray and Saeks)
T
{\displaystyle T}
にNSSKがない時、因果的伝達関数
H
(
z
1
,
z
2
)
{\displaystyle H(z_{1},z_{2})}
は安定する必要十分条件は
A
(
z
1
,
z
2
)
≠
0
,
|
z
1
|
≥
1
{\displaystyle A(z_{1},z_{2})\neq 0,|z_{1}|\geq 1}
しかも
A
(
z
1
,
z
2
)
≠
0
,
(
z
1
,
z
2
)
∈
T
{\displaystyle A(z_{1},z_{2})\neq 0,(z_{1},z_{2})\in T}