三阶非齐次线性常微分方程特解求解偏差疑问咨询

首先得给你点个赞——你的齐次解和特解形式的选择完全没问题！特征方程r³+2r²-5r-6=0的根确实是r=-3、2、-1，所以当非齐次项是exp(-3x)和exp(-x)时，这两个都是单特征根，特解设成x*C5exp(-3x)+x*C6exp(-x)是完全正确的修正法操作。

而且我特意验证了你算出的特解yp = 10x*exp(-3*x) - 3x*exp(-x)，代入原方程左边计算后，结果正好等于右边的100exp(-3x)+18exp(-x)，说明你的特解完全满足原方程，是正确的！

那为什么会出现所谓“正确特解”多了7exp(-3x)+0.5exp(-x)这两项呢？核心原因是：非齐次线性微分方程的特解不是唯一的！任何两个特解之间的差，一定是对应齐次方程的解。你看，7exp(-3x)+0.5exp(-x)正好是齐次解yh = C1exp(-3x)+C2exp(2x)+C3exp(-x)的一部分（取C1=7，C3=0.5，C2=0）。把这个齐次解加到你的特解上，得到的新函数依然满足原方程——因为齐次解代入原方程左边会得到0，加上你的特解的结果（正好等于右边），整体还是等于右边的非齐次项。

这种差异通常来自这几种情况：

• 如果用常数变易法求解，积分过程中选择的积分常数不同，会得到不同的特解；
• 有些参考资料会把特解和齐次解的部分项合并，看起来多了常数项，但本质上不影响通解的正确性——因为通解是齐次解加上任意一个特解，最终的任意常数会吸收掉特解中的齐次部分。比如你的通解是：

  y = C1exp(-3x)+C2exp(2x)+C3exp(-x)+10xexp(-3x)-3xexp(-x)
  

  而用那个“正确特解”写出的通解是：

  y = C1'exp(-3x)+C2'exp(2x)+C3'exp(-x)+(7+10x)exp(-3x)+(0.5-3x)exp(-x)
  

  其实只要令C1'=C1-7，C3'=C3-0.5，两个通解就是完全等价的，只是常数的取值不同而已。

所以不用纠结啦，你的特解是完全正确的，所谓的“额外项”只是齐次解的一部分，不影响结果的正确性~

内容的提问来源于stack exchange，提问作者Nshine