533解对初值的连续性和 可微性定理 解对初值的连续性 二、解对初值和参数的连续性 三、解对初值的可微性
§3.3 解对初值的连续性和 可微性定理 一、解对初值的连续性 二、解对初值和参数的连续性 三、解对初值的可微性
问题的提出:对于徽分方程 f(x,y),(x,y)∈G dx 我们讨论了解的存在唯一性定理及解的延拓定理,其中G为平面R2 上一个区域.如果f(xy)在G内连续且关于y满足局部Lchz条件, 则对任意的(xny0)∈G, Cauchy问题: X,y y( 存在唯一的饱和解现在让(xy)在G内变动则上述 Caucr问题的解 一般也要随之变动
因此一般而言, Cauchy问题的解不仅与x有关,而且还与初值 (x0,y)有关.为了明确起见,也常把cauc问题的解表示为 y=g(x,x,y)并且它具有下列性质 性质1:(;,)=y0; 性质2:关于初值的对称性设微分方程中=(x),(x,∈G的满足初 始条件y(x0)=%的解是唯一的,记为y=g(x,x0,y0),则在此表达式中, (x,y)与(x0y)的地位是对称的,即在解的存在范围内成立关系式: 0=g(x,x,y)
这里出现了一个在理论上与应用上都很重要的问题:当初值发生 变化时,对应的解是如何变动的?根据所考虑的解的存在范围是否有 限分成下面两种问题 问题1:在某个有限区间a,上有定义讨论初值(x,y)的微小变化 对解的影响情况称为解对初偵的连续性内容包括:当初值发生小的 变化时,所得到的解是否仍在[a,b]上有定义以及解在整个区间[a,b]上 是否也变化很小? 问题2:在某个无限闭区间如[a,+∞o)上有定义讨论初值(x,yo)的微小 变化是否导致解在[a,+∞)有定义以及解在整个区间[a,+0)上变化很小? 这种问题称为解的稳定性问题将在第六章中讨论
现在来讨论问题在于为此先给出两个引理 引理1 Bellman不等式):设g(x)为团区间[ab]上的非负连续函数, xo∈[a,b]若存在≥0k≥0,对任意的x∈[a,使得 g(x)≤B+kg(5)al 则对任意的x∈[a,b],g(x)≤4