线性方程组的存在惟一性定理.PDFVIP

线性方程组的存在惟一性定理 主讲：刘兴波 线性方程组的理论是建立在其解的整体存在惟一性定 理基础之上的. 定理 若 和 在区间 4.1 A(t) h(t) I 上连续 则线性方程组 , (4.1)过任意点(t ,x ) (t I ,x Rn ) 的解在区间 0 0 0 0 , I 上整体存在惟一并连续地依赖于初值 (t ,x ) , 0 0 f (t,x) A(t)x f (t) I Rn 在 证明: 上连 只需证明 续 且关于 x 满足局部 , Lipschitz条件. 连续是显然的 对K I Rn 存在 , , 任意的紧集 n 闭区间 J  I 使 以 K  J R (t,x ), (t,x ) K , 1 2 得 及 取 L sup || A(t) || , tJ 于是有 || f (t,x ) f (t,x ) |||| A(t) |||| x x ||L || x x || 1 2 1 2 1 2 由此及解对初值的连续依赖性可知解 (t ,x ) 0 0 的存在惟一性并连续地依赖于初值 , . 记 I (a,b) 证明对任意给定点(t ,x ) 过该点的解 , : 0 0 , x x(t) 的最大存在区间都为 倘若否 记 I . , Imax (,) 为其最大存在区间 不妨考虑右侧情况 ,