线性微分方程组.ppt

再求所对应的特征向量满足方程组用2i乘上述第一个方程两端，得即显见，第一个方程等于第二与第三个方程之和.故上述方程组中仅有两个方程是独立的，即求它的一个非零解.不妨令则于是故，原方程组的通解为with(LinearAlgebra);A:=1|-1|-1,1|1|0,3|0|1:Eigenvalues(A):Eigenvectors(A):T1:=0,-1,1:T2:=2/3*I,1/3,1:T3:=-2/3*I,1/3,1:e^t*(cos(2*t)+I*sin(2*t))*T2:simplify(%):U:=-2/3*e^t*(sin(2*t)),1/3*e^t*(cos(2*t)),e^t*(cos(2*t)):V:=2/3*e^t*(cos(2*t)),1/3*e^t*(sin(2*t)),e^t*(sin(2*t)):Y:=C1*e^(1*t)*T1+C2*U+C3*V;定理3.3:定理3.3‘即齐次方程的解组线性无关，则其朗斯基行列式恒不为零。定理3.4定义3.301即n阶齐次方程的n个线性无关解称为基本解组。02即由基本解组构成的矩阵称为基解矩阵03定理3.504齐次方程（3.10）必存在基本解组。刘维尔公式定理三、一阶线性非齐次方程组解的结构叠加性:定理3.6方程(3.8)的任何解与(3.10)的解的和仍是(3.8)的解.方程(3.8)的任何两个解的差是(3.10)的解.3.3常系数线性微分方程组的解法但是对于一般的方程组(3.10)，如何求出基本解组，至今尚无一般方法.求线性齐次方程组(3.10)的通解问题，归结到求其基本解组.然而对于常系数线性齐次方程组约当标准型的形式与矩阵A的特征方程的根的情况有关上述方程也称为常系数齐次方程组(3.24)的特征方程式(3.21)矩阵A的特征根均是单根的情形.矩阵A的特征根有重单根的情形.1、矩阵A的特征根均是单根的情形.易见方程组有n个解把这n个解代回变换之中，便得到方程组(3.24)的n个解即：方程组(3.24)的系数阵A的n个特征根是方程组(3.24)的一个基本解组定理[例題1]求以下微分方程組的通解[解]因此基本矩阵为或以分量表示为02故通解为012试求方程组的通解解它的系数矩阵是特征方程是对应的特征向量先求a,b,c满足方程可求出另两个特征根所对应的特征向量，,这三个特征根所对应的特征向量分别是故方程组的通解是with(LinearAlgebra);A:=3|-1|1,-1|5|-1,1|-1|3:Eigenvalues(A):Eigenvectors(A):T1:=1,1,1:T2:=-1,0,1:T3:=1,-2,1:Y:=C1*e^(3*t)*T1+C2*e^(2*t)*T2+C3*e^(6*t)*T3;现在考虑复根情形．因为A是实的矩阵，所以复特征根是共轭出现的，设01是一对共轭根，由定理对应解是02其中T1，T2是特征向量，这是实变量的复值解，通常我们希望求出方程组（3.24）的实值解03定理如果实系数线性齐次方程组04则其实部和虚部05理在区间(a,b)上仍是线性无关的.实矩阵A的复特征根一定共轭成对地出现.即，如果λ=a+ib是特征根，则其共轭也是特征根如果的向量函数，b1,b2是两个不等于零的常数，则向量函数组是区间(a,b)上的n个线性无关方程组(3.24)对应于的复值解形式是是对应于的特征向量.由于矩阵A是实的，所以上述向量的共轭向量是方程组(3.24)对应于特征根的解，记作现将上述两个复值解，按下述方法分别取其实部和虚部为?它们分别是方程组(3.24)的解，并且由此得到的n个解仍组成基本解组.[例题]求以下微分方程组的通解[解]2试求方程组的通解解它的系数矩阵是特征方程是所以矩阵A的特征根为先求对应的特征向量01一阶线性微分方程组的一般概念02一阶线性齐次方程组的一般理论03一阶线性非齐次方程组的一般理论04常系数线性微分方程组的解法第4章一阶线性微分方程组4.1、线性微分方程组的有关概念定义形如(4.1)线性微分方程组的定义的微分方程组,称为一阶线性微分方程组.称为(