非齐次两个解相减是齐次的一个解,求非齐次通解要加上特解,非齐次求出齐次的那个是基础解系的一部分要带上系数。
即y'+f(x)y=g(x)
两个特解y1,y2
即y1'+f(x)y1=g(x),y2'+f(x)y2=g(x)
二者相减得到
(y1-y2)'+f(x)*(y1-y2)=0
所以y1-y2当然是齐次方程
y'+f(x)*y=0的解
解的存在性
非齐次线性方程组
有解的充分必要条件是:系数矩阵的秩等于增广矩阵的秩,即rank(A)=rank(A, b)(否则为无解)。
非齐次线性方程组有唯一解的充要条件是rank(A)=n。
非齐次线性方程组有无穷多解的充要条件是rank(A)<n。(rank(A)表示A的秩