查看“︁线性时不变系统理论”︁的源代码

{{refimprove|time=2015-05-24T03:41:07+00:00}}
{{noteTA
|T=zh:线性非时变系统理论; zh-hans:线性非时变系统理论; zh-hant:線性非時變系統理論;
|1=zh-hans:白噪声; zh-hant:白色化雜訊;
|2=zh-hans:时不变; zh-hant:非時變;
|3=zh-hans:么; zh-hant:么;
}}
'''线性非时变系统理论'''俗称'''{{lang|en|LTI}}系统理论'''，源自[[应用数学]]，有在[[核磁共振頻譜學]]、[[地震学]]、[[电路]]、[[信号处理]]和[[控制理论]]等技术领域的直接运用。该理论研究的是'''[[线性系统|线性]]的[[非时变系统]]'''对任意输入信号的响应。

{{lang|en|LTI}}系统通常仅关注系统在时间轴上的行为，但是类似的理论也可以扩展到空间维度。例如应用到[[图像处理]]和[[场论]]时，系统的输入也可在空间维度上变化。如果系统具有类似{{lang|en|LTI}}的行为，则这类系统也被称为''线性平移不變系統''。在离散（即采样）系统中，对应的术语是''线性時平移不變系统''。由电阻、电容、电感组成的电路是LTI系统的一个常见例子。<ref>Hespanha 2009, p. 78.</ref>

== 概述 ==

顾名思义，线性非时变系统必须同時满足'''线性'''和'''非时变性'''：

* '''线性'''，指系统的输入和输出之间的关系是一个[[线性映射]]：如果输入<math>x_1(t)\,</math>产生响应<math>y_1(t)\,</math>，而输入<math>x_2(t)\,</math>产生响应<math>y_2(t)\,</math>，那麼''放缩''和''加和''输入<math>a_1 x_1(t)+ a_2 x_2(t)\,</math>产生放缩、加和的响应<math>a_1 y_1(t) + a_2y_2(t)\,</math>，其中<math>a_1</math>和<math>a_2</math>为[[实数|实]][[标量 (数学)|标量]]。此性质可以拓展到任意项，于是对于实数<math>c_1, c_2, \ldots, c_k</math>，
::输入<math>\sum_k c_k\,x_k(t)</math>产生输出<math>\sum_k c_k\,y_k(t).\,</math>
:特别地，
{{NumBlk|::|输入<math>\int_{-\infty}^{\infty} c_{\omega}\,x_{\omega}(t) \, \operatorname{d}\omega</math>产生输出<math>\int_{-\infty}^{\infty} c_{\omega}\,y_{\omega}(t) \, \operatorname{d}\omega\,</math>|{{EquationRef|Eq.1}}}}
:其中，<math>c_{\omega}</math>和<math>x_{\omega}</math>是标量，而输入在序号为<math>\omega</math>的[[连续统]]内变化。因此，如果输入函数可以由一个连续统的输入函数像上面展示的那样，“线性”组合而成，则对应的输出函数，可以通过相应连续统的输出函数以相同的方式''缩放''和''求和''得到。

* '''时不变性'''，指如果将系统的输入信号延迟<math>\tau</math>秒而得到的输出，除了这<math>\tau</math>秒延时以外，是完全相同的，则称这样的系统是“时不变”的。即对于具有时不变性的系统，若系统输入<math>x(t)</math>，对应的输出为<math>y(t)</math>，则输入为<math>x(t+\tau)</math>时，系统的输出为<math>y(t+\tau)</math>。

LTI系统的理论的基本结论是任何LTI系统都可以完全用一个单一方程来表示，该方程称为系统的[[冲激响应]]。系统的输出可以简单表示为输入信号与系统的冲激响应的[[卷积]]。这种分析方法通常称为''[[時域]]''观点。相同的结果对于离散时间线性移位不变系统也成立，其中信号为离散时间取样信号，并且卷积对序列定义。

[[File:LTI.png|thumb|320px|时域和频域之间的关系]]

同理，任何LTI系统的特征可由''频域''的系统[[传递函数]]刻画，它是系统冲激响应的[[拉普拉斯变换]]（在离散时间系统的情况下为Z变换）。由于这些变换的性质，该系统在频域的输出是传递函数与输入的变换的乘积。换句话说，时域中的卷积相当于频域中的乘法。

对于所有的LTI系统中，[[本征函数]]和所用变换的基函数，是[[复数 (数学)|复]][[指数函数]]。这即是说，如果一个系统的输入是复波形<math>A e^{st}</math>，复振幅为<math>A</math>，复频率为<math>s</math>，输出将是输入的复常数倍，表示为新复振幅<math>B</math>的式子<math>B e^{st}</math>。比值<math>B/A</math>是频率<math>s</math>的传递函数。

因为是[[正弦曲線|正弦]]的复指数与复共轭频率的总和，如果输入到该系统是一个正弦波，则系统的输出也将是一个正弦波。输出的正弦波可以具有不同[[振幅]]和不同[[相位]]，但是输出的稳态频率一定与输入相同。LTI系统不能产生频率成分中没有的输入。

LTI系统理论适用于描述许多重要的系统。相对于时间变化的和/或非线性的系统，LTI系统通常是“容易”分析的。任何可以被模拟为常系数线性齐次[[微分方程]]系统都是LTI系统。由[[電阻器|电阻器]]，[[电感元件|电感]]和[[电容器]]组成的[[电路]]（RLC电路）是这类系统的一个常见实例。理想的弹簧 - 质量 - 阻尼系统也是LTI系统，并且在数学上与某个RLC电路等效。

LTI系统概念都是连续时间和离散时间（线性移位不变）的情况下相似。在图像处理中，时间变量被替换为2空间变量，时间不变性的概念被替换为二维移不变性。当分析滤波器组s和MIMO系统中，常常是有用考虑的信号[[矩阵|矢量]]。

线性系统不是时不变可以用其他方法来解决，如[[格林函數|格林函数]]方法。同样的方法时，必须使用问题的初始条件是不为空。

== 连续时间系统 ==

=== 冲激响应和卷积===
输入信号为x(t)，输出信号为y(t)的线性时不变系统的行为可以用卷积积分描述：<ref>Crutchfield, p. 1. ''Welcome!''</ref>
:{|
|<math>y(t) = x(t) * h(t)\,</math>
|<math>{}\quad \stackrel{\mathrm{def}}{=} \ \int_{-\infty}^{\infty} x(t-\tau)\cdot h(\tau) \, \operatorname{d}\tau</math>
|-
|
|<math>{}\quad = \int_{-\infty}^{\infty} x(\tau)\cdot h(t-\tau) \,\operatorname{d}\tau,</math>（使用[[卷积#性质|交换律]]）
|}

其中<math>\textstyle h(t)</math>为当输入信号<math>\textstyle x(\tau) = \delta(\tau)</math>时系统的[[狄拉克δ函数|冲激]]响应。因此<math>\textstyle y(t)</math>与输入函数<math>\textstyle x(\tau) </math>的加权平均成正比。权重函数为<math>\textstyle h(-\tau)</math>，就是平移了<math>\textstyle t </math>的量。随着<math>\textstyle t</math>改变，权重函数会突出输入函数的不同部分。当对所有非负<math>\textstyle \tau</math>，<math>\textstyle h(\tau)</math>均为零时，<math>\textstyle y(t)</math>只由时间<math>\textstyle t</math>之前的<math>\textstyle x</math>值决定，而系统称为[[因果系统]]。

要理解为何LTI系统的输出可以用卷积产生，就令记号<math>\textstyle \{x(u-\tau);\ u\}</math>表示变量<math>\textstyle u</math>和常量<math>\textstyle \tau</math>的函数<math>\textstyle x(u-\tau)</math>。用简洁的记号<math>\textstyle \{x\}\,</math>表示<math>\textstyle \{x(u);\ u\}</math>。那么就会有一个从输入函数<math>\textstyle \{x\},</math>转换到<math>\textstyle \{y\}</math>的连续时间系统。在一般情况下，输出的每一个值可以对应输入的每一个值。这个概念表示为：

:<math>y(t) \ \stackrel{\text{def}}{=}\ O_t\{x\},</math>
 
其中<math>\textstyle O_t</math>为对时间<math>\textstyle t</math>的变换算子。在典型的系统中，<math>\textstyle y(t)</math>很大程度上取决于<math>\textstyle t</math>临近时间的<math>\textstyle x</math>的值。除非变换本身随着<math>\textstyle t</math>变化，否则输出函数就是常数，系统也没有意义。

对一个线性系统，<math>\textstyle O</math>必须满足{{EquationNote|Eq.1}}：

{{NumBlk|:|<math>
O_t\left\{\int_{-\infty}^{\infty} c_{\tau}\ x_{\tau}(u) \, \operatorname{d}\tau ;\ u\right\} = \int_{-\infty}^{\infty} c_{\tau}\ \underbrace{y_{\tau}(t)}_{O_t\{x_{\tau}\}} \, \operatorname{d}\tau.
\,</math>|{{EquationRef|Eq.2}}}}

而时不变系统的要求是：

{{NumBlk|:|<math>
\begin{align}
O_t\{x(u-\tau);\ u\}\ &\stackrel{\quad}{=}\ y(t-\tau)\\
&\stackrel{\text{def}}{=}\ O_{t-\tau}\{x\}.\,
\end{align}
</math>|{{EquationRef|Eq.3}}}}

在这种记号下，我们可以把'''冲激响应'''写成<math>\textstyle h(t) \ \stackrel{\text{def}}{=}\ O_t\{\delta(u);\ u\}</math>。

同样：
:{|
|<math>h(t-\tau)\,</math>
|<math>{}\stackrel{\text{def}}{=}\ O_{t-\tau}\{\delta(u);\ u\}</math>
|-
|
|<math>{}= O_t\{\delta(u-\tau);\ u\}.\,</math>（使用{{EquationNote|Eq.3}}）
|}

将此结果代入卷积积分：

:<math>
\begin{align}
x(t)* h(t)&= \int_{-\infty}^{\infty} x(\tau)\cdot h(t-\tau)\,\operatorname{d}\tau\\
&= \int_{-\infty}^{\infty} x(\tau)\cdot O_t\{\delta(u-\tau);\ u\} \, \operatorname{d}\tau,\,
\end{align}
</math>

该形式为<math>\textstyle c_{\tau} = x(\tau)</math>且<math>\textstyle x_{\tau}(u) = \delta(u-\tau)</math>情形下{{EquationNote|Eq.2}}等式右侧的形式。<br>
那么{{EquationNote|Eq.2}}允许这个延拓：

:<math>
\begin{align}
x(t)* h(t)&= O_t\left\{\int_{-\infty}^{\infty} x(\tau)\cdot \delta(u-\tau)\, \operatorname{d}\tau;\ u \right\}\\ 
&= O_t\left\{x(u);\ u \right\}\\ 
&\ \stackrel{\text{def}}{=}\ y(t).\,
\end{align}
</math>

综上所述，输入函数<math>\textstyle \{x\} </math>可以用{{EquationRef|Eq.1}}中描述的时移冲激函数的连续统的“线性”组合来表示。系统的线性特性允许系统由相应的以相同方式组合的冲激<u>响应</u>的连续统来表示系统的响应。而时不变特性允许用卷积积分来表示这种组合。

上述数学运算可以用一个简单的图形模拟。<ref>Crutchfield, p. 1. ''Exercises''</ref>

=== 指数函数作为本征函数 ===
[[本徵函數]]是算子输出为经过放缩的相同函数的函数。即，
:<math>\mathcal{H}f = \lambda f</math>,
其中''f''是本征函数而<math>\lambda</math>是[[特征向量|特征值]]（一个常数）。

[[指数函数]]<math>A e^{s t}</math>（其中<math>A, s \in \mathbb{C}</math>）是[[線性關係|线性]][[时不变系统|时不变]]算子的[[本徵函數]]。可以用一个简单的证明来说明这个概念。假设输入是<math>x(t) = A e^{s t}</math>。系统冲激响应<math>h(t)</math>的输出就是

:<math>\int_{-\infty}^{\infty} h(t - \tau) A e^{s \tau}\, \operatorname{d} \tau</math>

由[[卷积]]的交换性质，上式等价于

:<math>\begin{align}
\overbrace{\int_{-\infty}^{\infty} h(\tau)\, A e^{s (t - \tau)} \, \operatorname{d} \tau}^{\mathcal{H} f}
&= \int_{-\infty}^{\infty} h(\tau)\, A e^{s t} e^{-s \tau} \, \operatorname{d} \tau
&= A e^{s t} \int_{-\infty}^{\infty} h(\tau) \, e^{-s \tau} \, \operatorname{d} \tau\\
&= \overbrace{\underbrace{A e^{s t}}_{\text{Input}}}^{f} \overbrace{\underbrace{H(s)}_{\text{Scalar}}}^{\lambda},
\end{align}</math>
其中标量
:<math>H(s)\ \stackrel{\text{def}}{=}\ \int_{-\infty}^\infty h(t) e^{-s t} \, \operatorname{d} t</math>
只与参数''s''有关。

因此，系统的响应是一个缩放的输入。特别地，对任意I <math>A, s \in \mathbb{C}</math>，系统输出为输入<math>A e^{st}</math>和常量<math>H(s)</math>的乘积。因此，<math>A e^{s t}</math>是LTI系统的[[本徵函數]]，对应的[[特征向量]]为<math>H(s)</math>。

==== 直接证明 ====
也可以用复指数直接导出LTI系统的本征函数。

我们令<math>v(t) = e^{i \omega t}</math>为某复指数，<math>v_a(t) = e^{i \omega (t+a)}</math>为它的时移版本。

对常数<math>e^{i \omega a}</math>由线性得<math>H[v_a](t) = e^{i\omega a} H[v](t)</math>。

由<math>H</math>的时不变性有<math>H[v_a](t) = H[v](t+a)</math>。

所以<math>H[v](t+a) = e^{i \omega a} H[v](t)</math>。令<math>t = 0</math>并重新命名就得到：

:<math>H[v](\tau) = e^{i\omega \tau} H[v](0)</math>

即复指数<math>e^{i \omega \tau}</math>作为输入，将得到一个相同频率的复指数作为输出。

=== 傅里叶与拉普拉斯变换 ===
本征函数的指数函数性质对分析和了解LTI系统都是很有用处的。[[拉普拉斯变换]] 

:<math>H(s)\ \stackrel{\text{def}}{=}\ \mathcal{L}\{h(t)\}\ \stackrel{\text{def}}{=}\ \int_{-\infty}^\infty h(t) e^{-s t} \, \operatorname{d} t</math>

就是从冲激响应得到特征值的方法。纯正弦（即形式为<math>e^{j \omega t}</math>的指数函数，其中<math>\omega \in \mathbb{R}</math>，<math>j\ \stackrel{\text{def}}{=}\ \sqrt{-1}</math>）尤其要关注。通常称这些为复指数，即使参数为纯虚数。[[傅里叶变换]]<math>H(j \omega) = \mathcal{F}\{h(t)\}</math>给出了纯复正弦的特征值。<math>H(s)</math>与<math>H(j\omega)</math>都可以称作''系统函数''、''系统响应''或''传递函数''。

拉普拉斯变换通常用于单边信号的背景下，即''t''小于某个值时信号的所有值为零。通常，“起始时间”设置为零，为方便起见，不失一般性，变换都从零到无穷积分（上述变换的下限为负无穷的积分称作[[双边拉普拉斯变换]]）。

傅里叶变换是用来分析系统处理无穷限信号的，如调制的正弦信号，即使它不能直接应用在非{{le|平方可积|square integrable}}的输入与输出信号上。拉普拉斯变换实际在这些信号初始时间之前全为零的信号可以直接使用，即便他们不是平方可积的，比如平稳系统。傅里叶变换通常通过[[维纳－辛钦定理]]用在无穷信号光谱上，即使在信号的傅里叶变换不存在的时候。

由于这两种变换的卷积性质，在变换存在的条件下，能够给出系统输出的卷积可以转换为变换域的乘积
:<math>y(t) = (h*x)(t)\ \stackrel{\text{def}}{=}\ \int_{-\infty}^\infty h(t - \tau)x(\tau)\, \operatorname{d} \tau\ \stackrel{\text{def}}{=}\ \mathcal{L}^{-1}\{H(s)X(s)\}</math>。

计算变换、乘积和反变换不仅比原始的卷积容易，而且还能从系统响应了解系统的行为。可以观察系统函数 |''H''(''s'')| 的模来看出输入<math>\exp({s t})</math>是否能够''通过''这个系统或被此系统''拒绝''或''削弱''（不通）。

=== 例子 ===
* 一个线性时不变算子的简单实例是[[导数]]。
** <math> \frac{\operatorname{d}}{\operatorname{d}t} \left( c_1 x_1(t) + c_2 x_2(t)\right) = c_1 x'_1(t) + c_2 x'_2(t) </math>（即，它是线性的）
** <math> \frac{\operatorname{d}}{\operatorname{d}t} x(t-\tau) = x'(t-\tau) </math>（即，它是时不变的）
:取导数的拉普拉斯变换，得到一个简单的与拉普拉斯变换变量''s''的乘积。
::<math> \mathcal{L}\left\{\frac{\operatorname{d}}{\operatorname{d}t}x(t)\right\} = s X(s) </math>
:导数的拉普拉斯变换如此简单一定程度上说明了拉普拉斯变换的用途。

* 另外一个简单的线性时不变算子是平均算子
::<math> \mathcal{A}\left\{x(t)\right\}\ \stackrel{\text{def}}{=}\ \int_{t-a}^{t+a} x(\lambda) \, \operatorname{d} \lambda</math>。
:因为积分是线性的所以它也是线性的
::<math>\begin{align}
\mathcal{A}\left\{c_1 x_1(t) + c_2 x_2(t)\right\}
&= \int_{t-a}^{t+a} \left(c_1 x_1(\lambda) + c_2 x_2(\lambda)\right) \, \operatorname{d} \lambda\\
&= c_1 \int_{t-a}^{t+a} x_1(\lambda)\, \operatorname{d} \lambda + c_2 \int_{t-a}^{t+a} x_2(\lambda)\, \operatorname{d} \lambda\\
&= c_1 \mathcal{A}\left\{x_1(t)\right\} + c_2 \mathcal{A}\left\{x_2(t) \right\},
\end{align}</math>
:此外，它也是时不变的
::<math>\begin{align}
\mathcal{A}\left\{x(t-\tau)\right\}
&= \int_{t-a}^{t+a} x(\lambda-\tau)\, \operatorname{d} \lambda\\
&= \int_{(t-\tau)-a}^{(t-\tau)+a} x(\xi)\, \operatorname{d} \xi\\
&=  \mathcal{A}\{x\}(t-\tau),
\end{align}</math>
:实际上，<math>\mathcal{A}</math>可以写成与{{le|矩形脉冲函数|boxcar function}} <math>\Pi(t)</math>的卷积。
::<math> \mathcal{A}\left\{x(t)\right\} = \int_{-\infty}^\infty \Pi\left(\frac{\lambda-t}{2a}\right) x(\lambda) \, \operatorname{d} \lambda, </math>
:其中矩形脉冲函数是
::<math>\Pi(t)\ \stackrel{\text{def}}{=}\ \begin{cases} 1 &\text{if } |t| < \frac{1}{2},\\ 0 &\text{if } |t| > \frac{1}{2}.\end{cases}</math>

=== 重要的系统特性 ===

因果性和稳定性是描述系统的两个重要性质。如果独立变量是时间，那么因果性是必须的，但并不是所有系统的独立变量都是时间。例如，一个处理静止图像的系统不需要具备因果性。非因果系统可以建立，并可以在许多情况下发挥作用。即使是[[示性函数|非实数]]系统也可以构建，并且在很多场合也是非常有用的。
<!--does anyone have any counterexamples?  a non-causal LTI CT system?-->

==== 因果性 ====
{{main|因果系统}}
<!--the causal system article needs work-->

如果系统输出只与当前以及过去的输入有关，那么该系统就是因果系统。因果性的充分必要条件是

:<math>h(t) = 0 \quad \forall t < 0,</math>

其中<math>h(t)</math>是冲激响应。由于拉普拉斯变换的逆变换不唯一，所以通常不能根据拉普拉斯变换确定系统的因果性。只有在确定了系统的[[收敛半径|收敛域]]之后才能确定该系统的因果性。

==== 稳定性 ====
{{main|有界輸入有界輸出穩定性}}

如果系统对每个有界输入来说输出都是有界的，那么系统就是'''有界输入有界输出稳定的'''（BIBO稳定），用数学方法表示就是如果每个输入满足

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

就会导致输出满足

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

（也就是说<math>x(t)</math>的{{le|无穷范数|Infinity norm|最大绝对值}}是有界的意味着<math>y(t)</math>的最大绝对值也是有界的），那么系统就是稳定的。系统稳定的充分必要条件是冲激响应<math>h(t)</math>是在[[Lp空间|L<sup>1</sup>]]中（其L<sup>1</sup>范数有限）的：

:<math>\ \|h(t)\|_1 = \int_{-\infty}^\infty |h(t)| \, \operatorname{d}t < \infty</math>。

在频域中，[[收敛半径|收敛域]]必须包含虚轴<math>s=j\omega</math>。

作为一个例子，冲激响应等于[[Sinc函数]]的理想[[低通滤波器]]不是BIBO稳定的，因为Sinc函数不具有有限的L<sup>1</sup>范数。因此，对于一些有界输入，理想低通滤波器的输出是无界的。特别地，若对<math>t < 0\,</math>的输入为零，并且在<math>t > 0\,</math>时等于正弦信号的[[截止頻率]]，则在非过零时刻输出是无界的。

== 离散时间系统 ==

几乎所有的连续时间系统都能找到与之对应的离散时间系统。  <!-- this section may be very redundant.  don't remove this redundancy, because these should probably separate articles. -->

=== 连续时间系统中的离散时间系统 ===

在许多情况下，离散时间（DT）系统实际上是较大的连续时间（CT）系统的一部分。例如，数字录音系统记录模拟声音、数字化、或许对数字信号进行处理、然后重放模拟信号。

正式场合下所研究的离散时间信号几乎总是连续时间信号的均匀采样。如果<math>x(t)</math>是一个连续时间信号，那么[[模数转换器]]将把它转换成离散时间信号<math>x[n]</math>，
:<math>x[n] = x(nT)</math>,
其中''T''是[[采样周期]]。为了保证离散信号能够忠实地表示输入信號，非常重要的一点就是需要限制输入信号的频率范围。根据[[采样定理]]，离散时间信号所包括的最大频率范围是<math>1/(2T)</math>。其它频率都成为这个范围的[[混叠]]信号。

=== 时不变和线性变换 ===

我们从一个冲激响应是二维函数的时变系统开始来看看时不变这个条件是如何将系统降到一维的。例如，假设输入信号是  <math>x[n]</math>，其中n是整数，即<math>n \in \mathbb{Z}</math>。[[线性算子]]<math>\mathcal{H}</math>表示系统在输入信号上的操作，对于这个index set来说合适的算子是一个二维函数

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

由于<math>\mathcal{H}</math>是一个线性算子，系统在输入信号<math>x[n]</math>上的作用就是下面[[累加]]和所表示的[[线性变换]]

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

如果[[线性算子]]<math>\mathcal{H}</math>也是[[时不变]]的，那么

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

如果取

:<math> m = -n_2, \, </math>

那么

:<math>h[n_1, n_2] = h[n_1 - n_2, 0]. \, </math>

为了简化通常我们丢弃<math>h[n_1, n_2]</math>的第二个参数零，这样重叠积分现在变成了滤波中常见的[[卷积]]和

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

这样，[[卷积]]和表示一个[[线性]][[时不变系统]]在任意输入函数上所起的作用，对于类似的有限维参数，参见[[轮换矩阵]]

=== 冲激响应 ===

如果我们给系统输入一个离散[[δ函数]]<!-- make sure the delta function article has a discrete delta too -->，由于δ函数是一个理想的脉冲，所以系统的线性时不变变换就是[[冲激响应]]。我们用下式表示：

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

（通过[[δ函数]]的 sifting特性）。

注意

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

这样<math>h[n]</math>就是系统的冲激响应。

这个冲激响应可以按照下面的方法用于得到''任意''输入信号的响应。再次应用<math>\delta[n]</math>的过滤特性，我们将输入信号写成δ的累加和：

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

输入经过系统变换，

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

:<math>\quad = \sum_{m=-\infty}^\infty \mathcal{H} x[m] \delta[n-m]</math>（<math>\mathcal{H}</math>是线性的所以可以在和之间传递）

:<math>\quad = \sum_{m=-\infty}^\infty x[n] \mathcal{H} \delta[n-m]</math>（<math>x[m]</math>在''n''中是常量并且<math>\mathcal{H}</math>是线性的）

:<math>\quad = \sum_{m=-\infty}^\infty x[m] h[n-m]</math>（根据<math>h[n]</math>的定义）

系统的所有信息都包含在冲激响应<math>h[n]</math>中。

=== Z变换与离散时间傅里叶变换 ===

=== 例子 ===

一个简单的线性时不变算子的实例是延时算子<math>D\{x\}[n]:=x[n-1]</math>。  

:<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>

:<math> D\{x[n-m]\} = x[n-m-1] = x[(n-1)-m] = D\{x\}[n-m]. \,</math>

导数取Z变换，就变成一个简单的与Z相乘：

:<math> \mathcal{Z}\left\{Dx[n]\right\} = z X(z)</math>。

差分的Z变幻如此简单也在一定程度上表明了Z变换的用途。

另外一个简单的线性时不变算子是平均算子

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

由于和是线性的所以它也是线性的：

:<math> \mathcal{A}\left\{c_1 x_1[n] + c_2 x_2[n] \right\} </math>

:<math> = \sum_{k=n-a}^{n+a} \left( c_1 x_1[k] + c_2 x_2[k] \right) </math>

:<math> = c_1 \sum_{k=n-a}^{n+a} x_1[k] + c_2 \sum_{k=n-a}^{n+a} x_2[k] </math>

:<math> = c_1 \mathcal{A}\left\{x_1[n] \right\} + c_2 \mathcal{A}\left\{x_2[n] \right\} </math>.

它也是时不变的：

:<math> \mathcal{A}\left\{x[n-m]\right\} </math>

:<math> = \sum_{k=n-a}^{n+a} x[k-m] </math>

:<math> = \sum_{k'=(n-m)-a}^{(n-m)+a} x[k'] </math>

:<math> =  \mathcal{A}\left\{x\right\}[n-m] </math>.

=== 重要的系统特性 ===

因果性和稳定性是系统的重要特性。与连续时间系统不同，我们可以实现非因果的离散时间系统。通过在系统中加入延时就很容易将非因果[[有限冲激响应]]系统变成因果系统。甚至可以构建非因果的[[无限冲激响应]]系统（参见Vaidyanathan and Chen, 1995）。我们也可以构建不稳定的系统，这种系统在很多场合都很有用，甚至也可以构建在很多情况下非常有用的[[Quadrature filter|non-real]]系统。

==== 因果性 ====
{{main|因果系统}}

如果系统的输出只与当前以及过去的输入有关，那么系统就是因果系统。因果性的必要且充分条件是

:<math>h[n] = 0 \ \forall n < 0,</math>

其中<math>h[n]</math>是冲激响应。由于逆变换不是唯一的，所以通常很难从Z变换确定系统的因果性。如果[[收敛域]]确定，系统的因果性也就随之确定。

==== 稳定性 ====
{{main|有界输入输出稳定}}

如果离散系统每个有界的输入，输出都是有界的那么系统就是'''有界输入输出稳定'''（BIBO稳定）。用数学方法表示就是

:<math>||x[n]||_\infty < \infty</math>

并且

:<math>||y[n]||_\infty < \infty</math>

（也就是说<math>x[n]</math>和<math>y[n]</math>的[[最大绝对值]]都是有限的），那么系统就是稳定的。必要且充分条件就是冲激响应<math>h[n]</math>满足

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

在频域中，[[收敛域]]必须包含单位圆<math>|z|=1</math>。

== 参见 ==
* [[轮换矩阵]]
* [[频率响应]]
* [[冲激响应]]
* [[系统分析]]
* [[传递函数]]

==腳註==
{{reflist}}

==參考資料==
* {{cite book
  | author=Hespanha,J.P.
  | title=Linear System Theory
  | url=https://archive.org/details/linearsystemsthe0000hesp
  | publisher=Princeton university press
  | year=2009| isbn=0-691-14021-9}}

[[Category:数字信号处理]]
[[Category:电子工程]]
[[Category:控制理论]]
[[Category:信号处理]]