线性时不变系统理论

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

Summary: 线性非时变系统理论俗称英语:LTI系统理论,源自应用数学,直接在核磁共振频谱学、地震学、电路、信号处理和控制理论等技术领域运用。它研究的是线性、非时变系统对任意输入信号的响应。虽然这些系统的轨迹通常会随时间变化(例如声学波形)来测量和跟踪,但是应用到图像处理和场论时,英语:LTI系统在空间维度上也有轨迹。因此,这些系统也被称为"线性非时变平移",在最一般的范围理论给出此理论。在离散(即采样)系统中对应的术语是"线性非时变平移系统"。由电阻、电容、电感组成的电路是LTI系统的一个很好的例子。

Linear time-invariant system: Linear time-invariant theory, commonly known as LTI system theory, investigates the response of a linear and time-invariant system to an arbitrary input signal. Trajectories of these systems are commonly measured and tracked as they move through time (e.g., an acoustic waveform), but in applications like image processing and field theory, the LTI systems also have trajectories in spatial dimensions. Thus, these systems are also called "linear translation-invariant" to give the theory the most general reach. In the case of generic discrete-time (i.e., sampled) systems, "linear shift-invariant" is the corresponding term. A good example of LTI systems are electrical circuits that can be made up of resistors, capacitors, and inductors.. It has been used in applied mathematics and has direct applications in NMR spectroscopy, seismology, circuits, signal processing, control theory, and other technical areas.