线性时不变系统微分方程解的分解特性证明问询

嘿，这个问题问到点子上了！其实这个分解特性的核心根源就是线性系统的叠加性，咱们顺着逻辑一步步理清楚：

首先得明确，这里的微分算子多项式 ( Q(D) ) 是个线性算子——这是关键前提。线性算子的核心性质就是满足可加性和齐次性：对任意两个函数 ( f(t) )、( g(t) )，以及任意常数 ( a )、( b )，都有：
$$Q(D)[a f(t) + b g(t)] = a Q(D)f(t) + b Q(D)g(t)$$

接下来咱们对应到问题里的三个响应：

• 全响应 ( y(t) )：它满足原微分方程 ( Q(D)y(t) = P(D)x(t) )，同时带有系统给定的非零初始条件。
• 零状态响应 ( y_{zs}(t) )：它是初始条件全为0时，方程 ( Q(D)y_{zs}(t) = P(D)x(t) ) 的解。
• 零输入响应 ( y_{zi}(t) )：它是输入 ( x(t)=0 )（也就是 ( P(D)x(t)=0 )）时，方程 ( Q(D)y_{zi}(t) = 0 ) 的解，且初始条件和原系统的非零初始条件一致。

现在咱们把 ( y_{zs}(t) + y_{zi}(t) ) 代入 ( Q(D) ) 运算，利用线性算子的可加性：
$$Q(D)[y_{zs}(t) + y_{zi}(t)] = Q(D)y_{zs}(t) + Q(D)y_{zi}(t)$$
根据定义，( Q(D)y_{zs}(t) = P(D)x(t) )，( Q(D)y_{zi}(t) = 0 )，所以右边相加的结果就是 ( P(D)x(t) )，刚好和全响应满足的微分方程一致。

再看初始条件：( y_{zs}(t) ) 的初始条件全为0，( y_{zi}(t) ) 的初始条件就是原系统的非零初始条件，所以两者之和的初始条件，正好和全响应 ( y(t) ) 的初始条件完全匹配。

而对于线性时不变系统来说，给定微分方程和初始条件，解是唯一的。既然 ( y_{zs}(t) + y_{zi}(t) ) 既满足原微分方程，又匹配初始条件，那它就必然等于全响应 ( y(t) )——这也就证明了分解特性的正确性。

备注：内容来源于stack exchange，提问作者Carl