(1)
式中aik(t)和fi(t) ()都是自变量t的已知连续函数.如果至少有一个fi(t)不恒等于零,则称(1)为非齐次线性微分方程组.如果所有fi(t)都恒等于零,则称(1)为齐次线性微分方程组,它的一般形式是
(2)
如果齐次线性微分方程组(2)与非齐次线性微分方程组(1)具有相同的系数(即对应的aik(t)都相同),就称(2)是非齐次线性微分方程组(1)的对应的齐次线性微分方程组.
[解的存在定理] 如果线性微分方程组(1)的所有系数aik(t)和右端函数fi(t)在区间(t1,t2)内连续,那末方程组(1)在此区间的每一点t0(t1<t0<t2)都存在唯一满足初始条件(t0,y1(0),…,yn(0))的解,而且这个解定义在整个区间(t1,t2)内.
1° 齐次线性微分方程组的任意两个解的线性组合还是这个方程组的解.
2° 含n个未知函数的齐次线性微分方程组的通解可以表示成它的n个线性无关解的线性组合.
3° 含n个未知函数的非齐次线性微分方程组的通解可以表示成它的一个特解与它的对应的齐次线性微分方程组的通解的和.