《齐次方程的解》PPT课件.ppt





《《齐次方程的解》PPT课件.ppt》由会员分享,可在线阅读,更多相关《《齐次方程的解》PPT课件.ppt(24页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、一、齐次方程的解一、齐次方程的解 1313 线性动态方程与等价动态方程线性动态方程与等价动态方程 首先考虑一般的线性微分方程:的解的性质。预备定理预备定理(解的存在和唯一性)设A及f 的每个元素aij(t),fi 均在 上连续,则对于任何 及任何常向量x0,方程(A1)恒有定义在整个 上的解x=x(t),满足初值条件并且方程(A1)也只能有一个解满足(A2)。因此,其解向量x(t)必然属于 。称 是微分方程(1-50)的一个解,系指:说明:说明:=A(t)x 打开后的形式是:定理定理1212 方程dx/dt=A(t)x 的所有解的集合,组成了实数域上的n 维向量空间。要证:要证:a)解的集合组
2、成线性空间;b)解空间的维数是n。分成两部分证明:1)dx/dt=A(t)x有n个线性无关的解;2)其任一解均可表成它们的线性组合。证明:证明:a)方程所有解构成线性空间:方程所有解构成线性空间:任取dx/dt=A(t)x的两个解 1、2,则对任意的实数1和2,有(i=1,2,n)时方程 的解。要证明,是线性无关的 n个解。反证法。反证法。若线性相关,必存在 一个n1非零实向量 使得特别,当t=t0时就有始条件是个n个线性无关的向量,是在初1)设b)b)证明解空间的维数是证明解空间的维数是n:上式意味着向量组 线性相关,这写原先假设矛盾。矛盾表明在 上线性无关。2)2)证明dx/dt=A(t)
3、x的任一解均可表成它们的线性组合,即解的集合组成了n维线性空间。的任一解。e 显然可唯一地被 线性表出:令 是方程dx/dt=A(t)x满足初条件 容易验证,是方程dx/dt=A(t)x满足初值条件 的解。根据唯一性定理,满足初值条件的解只有一个。故必有证完。证完。其中E为某个非奇异常量矩阵。定义定义1818:以方程 的 n 个线性无关解所构成的矩阵二、基本矩阵与状态转移矩阵二、基本矩阵与状态转移矩阵1.1.基本矩阵基本矩阵称为方程 的基本矩阵或基本解矩阵。根据定理1-2,基本矩阵具有如下性质:在证明该定理之前,需要了解如下命题:若 是微分方程 的一个解,且对某个t0,有 ,则 证明:证明:显
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 齐次方程的解 方程 PPT 课件

限制150内