一阶线性微分方程解的存在唯一性证明.docx

dydx一阶线形微分方程q (x) 解的存在唯独性定理的证明p( x) y摘要 : 从分析方法入手, 来证明满意初值条件下一阶线形微分方程解的存在唯独性定理的证明 . 引言 : 我们学习了能用初等解法的一阶方程的如干类型 , 但同时知道大量的一阶方程是不能用初等解法求出它的通解 , 而实际问题中所需要的往往是要求满意某种初始条件的解,, 自然要问 : 初值问题的解是因此对初值问题的争论被提到重要位置否存在 .假如存在是否唯独 .,f(x,y)=p(x)y+q(x)f(x,y)首先我们令这 里是 在 矩 形 域R:.b 上的连续函数xx0a, yy0函数 f(x,y)称为在 R 上关于 dy dx 一阶线形微分方程 q (x) 解的存在唯独性定理的证明 p( x) y 摘要 : 从分析方法入手 , 来证明满意初值条件下一阶线形微分方程解 的存在唯独性定理的证明 . 引言 : 我们学习了能用初等解法的一阶方 程的如干类型 , 但同时知道大量的一阶方程是不能用初等解法求出它 的通解 , 而实际问题中所需要的往往是要求满意某种初始条件的解 , , 自然要问 : 初值问题的解是 因此对初值问题的争论被提到重要位置 否存在 .假如存在是否唯独 . , f(x,y)=p(x)y+q(x) f(x,y) 首 先 我 们 令 这 里 是 在 矩 形 域 R: . b 上的连续函数 x x0 a, y y0 函数 f(x,y) 称为在 R 上关于 y 满意利普希兹条件 , 假如存在常数 L0 使不等式 都成立 ,L 称为 y2 对于全部的 ( x, y1 ),( x, y2 ) f ( x, y1 ) f ( x, y2 ) L y1 R 利普希兹常数 dy dx p( x) y q( x) (1) 下面我们给出一阶线形微分方程 解的存在唯独性 定理: 假如 f(x,y)=p(x)y+q(x) R 上连续且关于 y 在 满意利普希兹 条件 , 就方程 (1) 存在唯独的解 ( x) , 定义于区间 h 上, 连续 y x x0 且满意初始条件 : b M y 这里 (x ) M max f (x, y) h min( a, ) (x, y) R 0 0 , 为了简洁起见 , 我们采纳皮卡的逐步靠近法来证明这个定理 h 来争论 , 对于 只就区间 x0 的争论完全一样 . x0 x x0 x0 h x , 首 现在简洁表达一下运用逐步靠近法证明定理的主要思想 先 证 明 求微分 方 程 的 初 值 问 题 的 解 等 价 于 求 积 分 方 程xq( x) dx 的连续解这里我们用 f(x,y)=p(x)y+q(x)来替yy0p( x) yx0x代, 因此也就等价于求积分方程的连续解 , 然后yy0f ( x, y)dxx 0.去证明积分方程的解的存在唯独性任取一个连续函数y 就得代入上面的积分方程右端的0 ( x)到函数x1 ( x)y0f ( x,0 ( x))dxx0明显1 ( x) 也是连续解 , 假如0 ( x) 那么0 (x) 就是积分方1 (x)程的解 . 否就, 我们又把y 得到1 ( x 先 证 明 求 微 分 方 程 的 初 值 问 题 的 解 等 价 于 求 积 分 方 程 x q( x) dx 的连续解这里我们用 f(x,y)=p(x)y+q(x) 来替 y y0 p( x) y x0 x 代, 因此也就等价于求积分方程 的连续解 , 然后 y y0 f ( x, y)dx x 0 . 去证明积分方程的解的存在唯独性 任取一个连续函数 y 就得 代入上面的积分方程右端的 0 ( x) 到函数 x 1 ( x) y0 f ( x, 0 ( x))dx x0 明显 1 ( x) 也是连续解 , 假如 0 ( x) 那么 0 (x) 就是积分方 1 (x) 程的解 . 否就, 我们又把 y 得到 1 ( x) 代入积分方程右端的 x 2 ( x) y0 f (x, 1 (x))dx x0 假如 1 ( x) , 那么 1 (x) 就是积分方程的解 , 否就我们继 x 2 ( x) 续这个步骤 . 一般地做函数 n ( x) y0 f ( x, 1 ( x))dx n x 0 (2) 这样就得到连续函数序列 , 0 (x) 1 (x) n (x) 假如 , 假如始终不发生这种 n ( x) 那么 n (x) 就是积分方程的解 1 (x) n 情形, 我们可以证明上面的函数序列有一个极限函数 (x) 即 存在因此对 (2) 取极限就得到 lim n n ( x) ( x) x lim n ( x) y0 lim f ( x, 1 ( x))dx n x 0 n n x = y0 f ( x, 1 (x))dx lim n x 0 n