常微分方程机敏问答[3] #20210622

---

本专栏主要作个人复习自测，有相关知识预备的同学也可作复习用。不保证无相应基础的人士能看明白。
万一考试考到了，或者对你的学习有较大帮助，一键三连不过分吧（斜眼笑）

存在唯一性定理

0. 对于没有解析解的微分方程，我们可能有什么考察的角度？
1. 叙述皮卡定理中“首先达到左右边界”和“首先达到上下边界”分别对应什么样的解存在闭区间。李氏条件用在了哪里？
2. 叙述与初值问题$y^{\prime }=f(x,y),y(0)=y_0$等价的积分方程。怎么把该方程改写成皮卡序列迭代所用到的公式？
3. 迭代有意义前提是不会超出上下边界。所以需要证明$y_n(x)-y_0$关于$|x-x_0|$有什么结论？
4. 此处证明函数项级数一致收敛用的是M判别法，其中考察的收敛的数项级数是什么？反设有两个解$u(x),v(x)$，证明唯一性时，考察的数项级数和前面的有何异同？
5. 证明皮卡定理时，一致收敛用在了什么地方？
6. 说明李氏条件是Osgood条件的特例（提示：${\int }_0^{\delta }dr/Lr=\infty$）。用李氏条件或Osgood条件证明唯一性的核心思想是考察什么的积分？
7. 不满足李氏条件（从而Osgood条件）下解一定不唯一嘛？皮卡序列一定收敛吗？
8. 利用考察6.中积分类似的方法，还能证明$f$关于$y$单调时，解具有什么样的唯一性？
9. 回忆解的存在唯一性定理证明过程，如何估计$y^{\prime }=x^2-y^2,y(-1)=0,|x+1|\le 1,|y|\le 1$的解的存在区间？
10. 用类似于皮卡定理证明过程的归纳法，可以得到皮卡序列和真解的一个差上界$|y_n-y^{\ast }|\le \frac{M}{L}\frac{L^{n+1}|x-x_0{|}^{n+1}}{(n+1)!}$。由此简要说出如何提高解的精度。

答案

0. 解的结构（线性空间？流形？），数值解，存在唯一性，几何直观等。
1. $[x_0-a,x_0+a],[x_0-b/M,x_0+b/M](M>ma{x}_{x,y}|f(x,y)|)$. 李氏常数用途：对迭代不同次数的结果之间（如$y_1$和$y_2$之间），估计对应的$x$处，两个$f(x,y)$的差。（注：若再积分，即可估计$y_1$与$y_2$的差）
   我们直接使用了一些课本上的记号，下同。
2. $\varphi (x)=y_0+{\int }_{x_0}^{x}f(x,\varphi (x))dx(x在一定范围内)$，不断“近似认为”右侧$\varphi =y_k$，就是迭代公式${\varphi }_{k+1}(x)=y_0+{\int }_{x_0}^{x}f(x,{\varphi }_k(x))dx$.
3. $|y_n(x)-y_0|\le M|x-x_0|$.
4. $\frac{M}{L}\frac{L^n|x-x_0{|}^n}{n!}$. 证明唯一性：初始是一个常数界$K$，表示两解之差上界。证明迭代收敛：初始是$M|x-x_0|$. （当然，证明的表达形式很多，言之有理即可）
5. 交换积分和极限顺序。
6. 略。都要考察$f(x,y_1(x))-f(x,y_2(x))$积分，从而得到两解之差（的变化量）。
7. 不一定，不一定。（如“米勒之例”）
8. 单侧。
9. 最简单的：直接考虑 m i n { a , b / M } = 1 / 4 min\{a,b/M\}=1/4 min{ a,b/M}=1/4. 即得解得存在区间为$[-1.25,-0.75]$或更大。
   稍精确：右侧 m i n { a , b / M } = 1 min\{a,b/M\}=1 min{ a,b/M}=1显然。考察左侧，为了使得$a=b/M$，列方程$h=1/(1+h{)}^2$，即 h 3 + 2 h 2 + h − 1 : = f ( h ) = 0 h^3+2h^2+h-1:=f(h)=0 h3+2h