2003线性系统讲稿7.ppt

第七章　线性时变系统 §7-1　线性时变系统的状态方程解 线性时变系统的状态方程解 其中 分别为 维矩阵其元素为 的实值函数，在 内连续，根据李普希茨定理，以上微分方程对任意 具有唯一解。 1 系统 的解 给定 则以上系统具有唯一解。 不同则解不同。因为 是 维向量，故只有 个线性独立的初始条件向量 ，因此它们可以构成一个 n 维向量空间。 定理1 (1) 的所有解的集合构成一个实数域上的 维向量空间 为以上系统的两个任意的解，则对任意 ， ， 也是系统的解 这是因为 系统所有解的集合构成一个线性空间，称为解空间 下面证明该空间的维数为 设 为 个线性无关的 维向量，令 为方程 的解且初始条件为 若我们证明了 为线性独立，且方程（1）的所有解均可由 线性表示,则证明了向量空间为n维. 先证 为线性独立. 用反证法 若 为线性相关,即存在有 使得 特别的对 有 或 与 线性独立 再证 任意解 可由 线性表示 设 是方程(1)的任意解,设 ,因 线性独立,则 可用 线性表示,设 则显然 也是方程(1)的解且其初始条件为 由于方程(1)解的唯一性,有 定义1 若 ,其中 为方程 的n个线性无关的解,则称 为方程的n个线性无关的解,则称 为方程 的基本矩阵 例 考虑系统 即 已知 由(2)得 代入(3)得 积分 代入初始条件得 得 将初始条件 代入 ,解得 将初始条件 代入,解得 故基本矩阵为 定理2 基本矩阵 Ψ 对所有的 均为非奇异 证: 注意到 若 为方程(1)的解,若 对某一 成立,则解 .这是因为若0显然为方程(1)满足 的解,又解的唯一性可知φ≡0 因为若对某一个 奇异,则存在有 使得 令 , 因为 是方程(1)的解, 以上则意味着 则 这与 是线性独立矛盾. 定义2 设 是 方程 的基本矩阵，定义