微分方程的基本理论.PDFVIP

微分方程的基本理论 考虑初值问题  y f (x , y ),   3.3 y (x ) y .  0 0 本章的基本内容：在一定的条件下, 给出初值问题解的存在性, 惟一性, 延拓性; 以及解对初值的连续依赖性和可微性的定理, 建立起微分方程基本理论的框架. §3.1 微分不等式 Gronwall 不等式如果c是实数, h(x) 0 和 u(x) 在区间[a,b] 上都连续, 满足 x u(x) c  u(s)h(s)ds，a  x b， a 则成立  x h(s )ds u(x) ce a ，a  x b. x 证明:记 (x ) : c  u (s )h(s )ds, 则 u(x) (x), a 且有   (x) u (x)h(x) (x)h(x). 记  q(x):  (x) (x)h(x) 0. 利用常数变易公式(2.23), 求解方程   (x) h(x)(x) q(x) 可得 x x t h (s )ds h (s )ds x  h (s )ds a a a (x ) (a )e e a q (t )e dt .  x h(s )ds 注意到q(x) 0 和(a) c, 所以上式为 (x) ce a .  x h(s )ds 进而有 u(x) ce a . 推论: (贝尔曼不等式) 如果c 和k 0 是实数, u(x) 在区间[a,b] 上连续, 满足 x u(x) c ka u(s)ds，a  x b， 则成立 u(x) cek (xa )，a  x b. 注:在初值问题的研究中,常常需要估计解的界,微分不等式 是常用的工具之一. 灵活应用微分不等式是研究解的各种 属性的最重要的技巧之一. §3.2 存在惟一性定理 问题：什么条件能够保证初值问题(3.3)解的存在和惟一? 2 1, y 0 例3.1 设G R , (x , y ) (0,0) 和f (x, y ) u (y )，其中u( y)  ， 0 0