线性时不变系统理论

线性非时变系统理论俗称LTI系统理论，源自应用数学，有在核磁共振频谱学、地震学、电路、信号处理和控制理论等技术领域的直接运用。该理论研究的是线性的非时变系统对任意输入信号的响应。
LTI系统通常仅关注系统在时间轴上的行为，但是类似的理论也可以扩展到空间维度。例如应用到图像处理和场论时，系统的输入也可在空间维度上变化。如果系统具有类似LTI的行为，则这类系统也被称为"线性平移不变系统"。在离散（即采样）系统中，对应的术语是"线性时平移不变系统"。由电阻、电容、电感组成的电路是LTI系统的一个常见例子。
概述.
顾名思义，线性非时变系统必须同时满足线性和非时变性：
LTI系统的理论的基本结论是任何LTI系统都可以完全用一个单一方程来表示，该方程称为系统的冲激响应。系统的输出可以简单表示为输入信号与系统的冲激响应的卷积。这种分析方法通常称为"时域"观点。相同的结果对于离散时间线性移位不变系统也成立，其中信号为离散时间取样信号，并且卷积对序列定义。
同理，任何LTI系统的特征可由"频域"的系统传递函数刻画，它是系统冲激响应的拉普拉斯变换（在离散时间系统的情况下为Z变换）。由于这些变换的性质，该系统在频域的输出是传递函数与输入的变换的乘积。换句话说，时域中的卷积相当于频域中的乘法。
对于所有的LTI系统中，本征函数和所用变换的基函数，是复指数函数。这即是说，如果一个系统的输入是复波形formula_21，复振幅为formula_22，复频率为formula_23，输出将是输入的复常数倍，表示为新复振幅formula_24的式子formula_25。比值formula_26是频率formula_23的传递函数。
因为是正弦的复指数与复共轭频率的总和，如果输入到该系统是一个正弦波，则系统的输出也将是一个正弦波。输出的正弦波可以具有不同振幅和不同相位，但是输出的稳态频率一定与输入相同。LTI系统不能产生频率成分中没有的输入。
LTI系统理论适用于描述许多重要的系统。相对于时间变化的和/或非线性的系统，LTI系统通常是“容易”分析的。任何可以被模拟为常系数线性齐次微分方程系统都是LTI系统。由电阻器，电感和电容器组成的电路（RLC电路）是这类系统的一个常见实例。理想的弹簧 - 质量 - 阻尼系统也是LTI系统，并且在数学上与某个RLC电路等效。
LTI系统概念都是连续时间和离散时间（线性移位不变）的情况下相似。在图像处理中，时间变量被替换为2空间变量，时间不变性的概念被替换为二维移不变性。当分析滤波器组s和MIMO系统中，常常是有用考虑的信号矢量。
线性系统不是时不变可以用其他方法来解决，如格林函数方法。同样的方法时，必须使用问题的初始条件是不为空。
连续时间系统.
冲激响应和卷积.
输入信号为x(t)，输出信号为y(t)的线性时不变系统的行为可以用卷积积分描述：
其中formula_28为当输入信号formula_29时系统的冲激响应。因此formula_30与输入函数formula_31的加权平均成正比。权重函数为formula_32，就是平移了formula_33的量。随着formula_34改变，权重函数会突出输入函数的不同部分。当对所有非负formula_35，formula_36均为零时，formula_30只由时间formula_34之前的formula_39值决定，而系统称为因果系统。
要理解为何LTI系统的输出可以用卷积产生，就令记号formula_40表示变量formula_41和常量formula_35的函数formula_43。用简洁的记号formula_44表示formula_45。那么就会有一个从输入函数formula_46转换到formula_47的连续时间系统。在一般情况下，输出的每一个值可以对应输入的每一个值。这个概念表示为：
其中formula_49为对时间formula_34的变换算子。在典型的系统中，formula_30很大程度上取决于formula_34临近时间的formula_39的值。除非变换本身随着formula_34变化，否则输出函数就是常数，系统也没有意义。
对一个线性系统，formula_55必须满足：
而时不变系统的要求是：
在这种记号下，我们可以把冲激响应写成formula_56。
同样：
将此结果代入卷积积分：
该形式为formula_58且formula_59情形下等式右侧的形式。<br>
那么允许这个延拓：
综上所述，输入函数formula_61可以用中描述的时移冲激函数的连续统的“线性”组合来表示。系统的线性特性允许系统由相应的以相同方式组合的冲激响应的连续统来表示系统的响应。而时不变特性允许用卷积积分来表示这种组合。
上述数学运算可以用一个简单的图形模拟。
指数函数作为本征函数.
本征函数是算子输出为经过放缩的相同函数的函数。即，
其中"f"是本征函数而formula_63是特征值（一个常数）。
指数函数formula_64（其中formula_65）是线性时不变算子的本征函数。可以用一个简单的证明来说明这个概念。假设输入是formula_66。系统冲激响应formula_67的输出就是
由卷积的交换性质，上式等价于
其中标量
只与参数"s"有关。
因此，系统的响应是一个缩放的输入。特别地，对任意I formula_65，系统输出为输入formula_21和常量formula_73的乘积。因此，formula_64是LTI系统的本征函数，对应的特征向量为formula_73。
直接证明.
也可以用复指数直接导出LTI系统的本征函数。
我们令formula_76为某复指数，formula_77为它的时移版本。
对常数formula_78由线性得formula_79。
由formula_80的时不变性有formula_81。
所以formula_82。令formula_83并重新命名就得到：
即复指数formula_85作为输入，将得到一个相同频率的复指数作为输出。
傅里叶与拉普拉斯变换.
本征函数的指数函数性质对分析和了解LTI系统都是很有用处的。拉普拉斯变换 
就是从冲激响应得到特征值的方法。纯正弦（即形式为formula_87的指数函数，其中formula_88，formula_89）尤其要关注。通常称这些为复指数，即使参数为纯虚数。傅里叶变换formula_90给出了纯复正弦的特征值。formula_73与formula_92都可以称作"系统函数"、"系统响应"或"传递函数"。
拉普拉斯变换通常用于单边信号的背景下，即"t"小于某个值时信号的所有值为零。通常，“起始时间”设置为零，为方便起见，不失一般性，变换都从零到无穷积分（上述变换的下限为负无穷的积分称作双边拉普拉斯变换）。
傅里叶变换是用来分析系统处理无穷限信号的，如调制的正弦信号，即使它不能直接应用在非的输入与输出信号上。拉普拉斯变换实际在这些信号初始时间之前全为零的信号可以直接使用，即便他们不是平方可积的，比如平稳系统。傅里叶变换通常通过维纳－辛钦定理用在无穷信号光谱上，即使在信号的傅里叶变换不存在的时候。
由于这两种变换的卷积性质，在变换存在的条件下，能够给出系统输出的卷积可以转换为变换域的乘积
计算变换、乘积和反变换不仅比原始的卷积容易，而且还能从系统响应了解系统的行为。可以观察系统函数 |"H"("s")| 的模来看出输入formula_94是否能够"通过"这个系统或被此系统"拒绝"或"削弱"（不通）。
重要的系统特性.
因果性和稳定性是描述系统的两个重要性质。如果独立变量是时间，那么因果性是必须的，但并不是所有系统的独立变量都是时间。例如，一个处理静止图像的系统不需要具备因果性。非因果系统可以建立，并可以在许多情况下发挥作用。即使是非实数系统也可以构建，并且在很多场合也是非常有用的。
因果性.
如果系统输出只与当前以及过去的输入有关，那么该系统就是因果系统。因果性的充分必要条件是
其中formula_67是冲激响应。由于拉普拉斯变换的逆变换不唯一，所以通常不能根据拉普拉斯变换确定系统的因果性。只有在确定了系统的收敛域之后才能确定该系统的因果性。
稳定性.
如果系统对每个有界输入来说输出都是有界的，那么系统就是有界输入有界输出稳定的（BIBO稳定），用数学方法表示就是如果每个输入满足
就会导致输出满足
（也就是说formula_17的是有界的意味着formula_18的最大绝对值也是有界的），那么系统就是稳定的。系统稳定的充分必要条件是冲激响应formula_67是在L1中（其L1范数有限）的：
在频域中，收敛域必须包含虚轴formula_113。
作为一个例子，冲激响应等于Sinc函数的理想低通滤波器不是BIBO稳定的，因为Sinc函数不具有有限的L1范数。因此，对于一些有界输入，理想低通滤波器的输出是无界的。特别地，若对formula_114的输入为零，并且在formula_115时等于正弦信号的截止频率，则在非过零时刻输出是无界的。
离散时间系统.
几乎所有的连续时间系统都能找到与之对应的离散时间系统。 
连续时间系统中的离散时间系统.
在许多情况下，离散时间（DT）系统实际上是较大的连续时间（CT）系统的一部分。例如，数字录音系统记录模拟声音、数字化、或许对数字信号进行处理、然后重放模拟信号。
正式场合下所研究的离散时间信号几乎总是连续时间信号的均匀采样。如果formula_17是一个连续时间信号，那么模数转换器将把它转换成离散时间信号formula_117，
其中"T"是采样周期。为了保证离散信号能够忠实地表示输入信号，非常重要的一点就是需要限制输入信号的频率范围。根据采样定理，离散时间信号所包括的最大频率范围是formula_119。其它频率都成为这个范围的混叠信号。
时不变和线性变换.
我们从一个冲激响应是二维函数的时变系统开始来看看时不变这个条件是如何将系统降到一维的。例如，假设输入信号是 formula_117，其中n是整数，即formula_121。线性算子formula_122表示系统在输入信号上的操作，对于这个index set来说合适的算子是一个二维函数
由于formula_122是一个线性算子，系统在输入信号formula_117上的作用就是下面累加和所表示的线性变换
如果线性算子formula_122也是时不变的，那么
如果取
那么
为了简化通常我们丢弃formula_131的第二个参数零，这样重叠积分现在变成了滤波中常见的卷积和
这样，卷积和表示一个线性时不变系统在任意输入函数上所起的作用，对于类似的有限维参数，参见轮换矩阵
冲激响应.
如果我们给系统输入一个离散δ函数，由于δ函数是一个理想的脉冲，所以系统的线性时不变变换就是冲激响应。我们用下式表示：
（通过δ函数的 sifting特性）。
注意
这样formula_135就是系统的冲激响应。
这个冲激响应可以按照下面的方法用于得到"任意"输入信号的响应。再次应用formula_136的过滤特性，我们将输入信号写成δ的累加和：
输入经过系统变换，
系统的所有信息都包含在冲激响应formula_135中。
例子.
一个简单的线性时不变算子的实例是延时算子formula_147。 
导数取Z变换，就变成一个简单的与Z相乘：
差分的Z变幻如此简单也在一定程度上表明了Z变换的用途。
另外一个简单的线性时不变算子是平均算子
由于和是线性的所以它也是线性的：
它也是时不变的：
重要的系统特性.
因果性和稳定性是系统的重要特性。与连续时间系统不同，我们可以实现非因果的离散时间系统。通过在系统中加入延时就很容易将非因果有限冲激响应系统变成因果系统。甚至可以构建非因果的无限冲激响应系统（参见Vaidyanathan and Chen, 1995）。我们也可以构建不稳定的系统，这种系统在很多场合都很有用，甚至也可以构建在很多情况下非常有用的non-real系统。
因果性.
如果系统的输出只与当前以及过去的输入有关，那么系统就是因果系统。因果性的必要且充分条件是
其中formula_135是冲激响应。由于逆变换不是唯一的，所以通常很难从Z变换确定系统的因果性。如果收敛域确定，系统的因果性也就随之确定。
稳定性.
如果离散系统每个有界的输入，输出都是有界的那么系统就是有界输入输出稳定（BIBO稳定）。用数学方法表示就是
并且
（也就是说formula_117和formula_165的最大绝对值都是有限的），那么系统就是稳定的。必要且充分条件就是冲激响应formula_135满足
在频域中，收敛域必须包含单位圆formula_168。