《齐次方程的解》PPT课件

《《齐次方程的解》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、一、齐次方程的解§1—3线性动态方程与等价动态方程首先考虑一般的线性微分方程：的解的性质。预备定理（解的存在和唯一性）设A及f的每个元素aij(t)，fi均在上连续，则对于任何及任何常向量x0，方程(A1)恒有定义在整个上的解x=x(t)，满足初值条件并且方程(A1)也只能有一个解满足(A2)。因此，其解向量x(t)必然属于。称是微分方程(1-50)的一个解，系指：说明：=A(t)x打开后的形式是：定理1—2方程dx/dt=A(t)x的所有解的集合，组成了实数域上的n维向量空间。要证：解的集合组成线性空间；解空间的维数是n。分成两部分

2、证明：1）dx/dt=A(t)x有n个线性无关的解；2）其任一解均可表成它们的线性组合。证明：方程所有解构成线性空间：任取dx/dt=A(t)x的两个解1、2，则对任意的实数1和2，有(i=1，2，…，n)时方程的解。要证明，是线性无关的n个解。反证法。若线性相关，必存在一个n×1非零实向量使得特别，当t=t0时就有始条件是个n个线性无关的向量，是在初1)设b)证明解空间的维数是n：上式意味着向量组线性相关，这写原先假设矛盾。矛盾表明在上线性无关。2)证明dx/dt=A(t)x的任一解均可表成它们的线性组合，即解的集合组成了

3、n维线性空间。的任一解。e显然可唯一地被线性表出：令是方程dx/dt=A(t)x满足初条件容易验证，是方程dx/dt=A(t)x满足初值条件的解。根据唯一性定理，满足初值条件的解只有一个。故必有证完。其中E为某个非奇异常量矩阵。定义1—8：以方程的n个线性无关解所构成的矩阵二、基本矩阵与状态转移矩阵基本矩阵称为方程的基本矩阵或基本解矩阵。根据定理1-2，基本矩阵具有如下性质：在证明该定理之前，需要了解如下命题：若是微分方程的一个解，且对某个t0，有,则证明：显然，是方程的一个解；又已知由于满足上述初始条件的解只有一个，故必有命题：定理

4、1—3方程的基本矩阵对于中的每一个t均为非奇异矩阵。证完。证明：反证法。若不然，设有t0，使得基本矩阵为奇异阵。于是，存在非零实向量，使得由于是微分方程的一个解，故由以上命题知定理1—3方程dx/dt=A(t)x的基本矩阵对于中的每一个t均为非奇异矩阵。这与基本矩阵的定义相矛盾。证完。定理1—4若均为dx/dt=A(t)x的基本矩阵，则存在n×n非奇异实常量矩阵C，使得证明：根据基本矩阵的性质即可证明。定义1—9令是的任一基本矩阵，则称为(1—50)的状态转移矩阵，这里状态转移矩阵具有下列重要性质：状态转移矩阵可证明是下列矩阵微分方

5、程的唯一解：4).由基本矩阵的性质5).齐次方程dx/dt=A(t)x在初始条件下的解为（1－53）故可看作一个线性变换，它将t0时的状态x0映射到时刻t的状态x(t)。事实上，x(t)总可以表示为特别，例：试证明状态转移矩阵是唯一的，即状态转移矩阵与基本矩阵的选取无关。将其代入上式，就是所要证明的。三、非齐次方程的解令则容易得到如下结论：时变线性系统的解定理1—5状态方程的解由式（1—54）给出：是初值x0的线性函数，称为零输入响应是外作用u的线性函数，称为零状态响应其中推论1—5动态方程（1—34）的输出为2.输入输出关系特别，若

6、x(t0)=0，可得到脉冲响应矩阵：这里利用了脉冲函数的采样特性。其中A、B、C和D分别为n×n、n×p、q×n和q×p的实常量矩阵。由对应的齐次方程可得：3.线性时不变动态方程的解线性时不变动态方程：基本矩阵为:状态转移矩阵:通常假定t0=0，这时则有解为式对应的脉冲响应矩阵或更通常地写为式对应的传递函数阵这是一个有理函数矩阵。定义1—10线性时不变方程称为原系统(A,B,C,D)的等价动态方程，当且仅当存在非奇异矩阵P，使得四、等价变换,等价动态方程（1—68）1.时不变系统的等价动态方程动态方程是等价动态方程的必要条件是它们的维

7、数相同和传递函数阵相同。但反之未必成立。定义（零状态等价）：两个时不变动态系统称为是零状态等价的，当且仅当它们具有相同的脉冲响应矩阵或相同的传递函数阵。根据这个定义，两个等价的动态方程显然是零状态等价的。但反之不真（见习题）。设线性时变动方程为2.时变系统的等价动态方程（1—71）定义1—10′动态方程称为(A(t),B(t),C(t),D(t))的代数等价动态方程，当且仅当存在P(t)，使得3.经等价变换后系统的基本矩阵和状态转移矩阵：若(t)是(A(t),B(t),C(t),D(t))的一个基本矩阵，则P(t)(t)是的一个基

8、本矩阵；若(t,t0)是(A(t),B(t),C(t),D(t))的状态转移矩阵，则P(t)(t,t0)P-1(t0)是的转移矩阵。