解的存在唯一性定理

定理

如果$f(x,y)$在矩形域$R$中连续且关于$y$满足李普希茨条件，则$\frac{dy}{dx}=f(x,y)$ 存在唯一解$y=\phi (x)$，定义于$x_0\le x\le x_0+h$,连续且满足初值条件$\phi (x_0)=y_0$ 其中$h=min(a,\frac{b}{M}),M=ma{x}_{(x,y)\in R}|f(x,y)|$ 且$f(x,y)$是矩形域$R:|x-x_0|\le a,|y-y_0|\le b$上的连续函数

Tip

一个直接的思路来自于皮卡逼近定理，换句话说正是有了皮卡定理才改进出了存在唯一性定理 在证明的过程中，巧妙的将存在性这一空泛的问题转化为了四个命题，即原方程的解与积分方程的解相同，构造出的序列元素满足局部条件，序列一致收敛和极限恰是方程的连续解。

1. 存在性证明

1.1 原方程的解是积分方程的解

命题1

$y=\phi (x)$是$\frac{dy}{dx}=f(x,y)$在区间上满足$\phi (x_0)=y_0$的解 则它也是积分方程$y=y_0+{\int }_{x_0}^{x}f(x,y)dx$在区间上的连续解

从$x_0$到$x$对$\frac{d(\phi (x))}{dx}=f(x,\phi (x))$积分,得$\phi (x)-\phi (x_0)={\int }_{x_0}^{x}f(x,\phi (x))dx$,再将$\phi (x_0)=y_0$代入得证

1.2 构造的序列元素在局部满足条件

命题2

构造$\{\begin{array}{l}{\phi }_0(x)=y_0\\ {\phi }_n(x)=y_0+{\int }_{x_0}^{x}f(\xi ,{\phi }_{n-1}(\xi ))d\xi \end{array}$ 要求${\phi }_n(x)$在区间上有定义且连续，满足$|{\phi }_n(x)-y_0|\le b$

当n=1时有${\phi }_1(x)=y_0+{\int }_{x_0}^{x}f(\xi ,y_0)d\xi \le {\int }_{x_0}^x|f(\xi ,y_0)|d\xi \le M(x-x_0)\le Mh\le b$ 即复分析中的ML不等式

又由数学归纳法不难验证$|{\phi }_n(x)-y_0|\le b$

1.3 序列的一致收敛

命题3

$\{{\phi }_n(x)\}$在区间上一致收敛

考虑telescoping: ${\phi }_0(x)+{\sum }_{k=1}^{\infty }[{\phi }_k(x)-{\phi }_{k-1}(x)]$ 则它的部分和${\phi }_0(x)+{\sum }_{k=1}^n[{\phi }_k(x)-{\phi }_{k-1}(x)]={\phi }_n(x)$ 即证无穷级数在区间上一致收敛 观察前两项：

与

猜测$|{\phi }_k(x)-{\phi }_{(}k-1)(x)|\le \frac{M{L}^{k-1}}{k!}{h}^k$ 则再通过数学归纳法验证，最后由Weierstrass判别法证毕

1.4 极限是方程的连续解

命题4

$\phi (x)$是区间上的连续解

${\lim }_{n\to \infty }{\phi }_n(x)=y_0+{\int }_{x_0}^x{\lim }_{n\to \infty }f({\phi }_{n-1}(\xi ))d\xi$

即${\phi }_n(x)=y_0+{\int }_{x_0}^{x}f(\xi ,\phi (\xi ))d\xi$

2. 唯一性的证明

命题5

$\psi (x)$是另一连续解，则$\phi (x)=\psi (x)$

假设$\phi (x)=y_0+{\int }_{x_0}^{x}f(\xi ,{\phi }_{n-1}(\xi ))d\xi$ 且$\psi (x)=y_0+{\int }_{x_0}^{x}f(\xi ,{\psi }_{n-1}(\xi ))d\xi$ 则复用存在性证明过程： $|{\phi }_0(x)-\psi (x)|\le {\int }_{x_0}^x|f(\xi ,\psi (\xi ))|d\xi \le M(x-x_0)$ $|{\phi }_1(x)-\psi (x)|\le {\int }_{x_0}^x|f(\xi ,{\psi }_0(\xi ))-f(\xi ,\psi (\xi ))|d\xi \le \frac{ML}{2!}(x-x_0{)}^2$ 数学归纳法：$|{\phi }_n(x)-\psi (x)|\le \frac{M{L}^n}{(n+1)!}{h}^{n+1}$ 则${\lim }_{n\to \infty }\frac{M{L}^n}{(n+1)!}{h}^{n+1}=0$即$\phi (x)=\psi (x)$

3. 对李普希茨条件的改进

这个条件是根植于皮卡逼近定理当中的，想要改进是极其困难的，很多时候意味着创造一种全新的证明方式。较为简单的改进可以只要求函数连续或者可微，较为一般的改进如奥斯古德唯一性条件：

Tip

李普希茨条件$|f(x,y_1)-f(x,y_2)|\le L|y_1-y_2|$的本质是控制了两个潜在解$\phi (x)$与$\psi (x)$之差的增长速度不能超过线性（指数）增长。一个自然的问题是：我们能否允许一个比线性更快的增长率，但仍能保证解的唯一性？奥斯古德条件给出了肯定的回答。它提出，只要这个增长率在差值趋于零时“不是太快”，唯一性依然成立。这个“速度”由一个瑕积分是否发散来精确地刻画。

定理

如果$f(x,y)$在矩形域$R$中连续，且关于$y$满足奥斯古德条件，即存在一个定义在$[0,c]$上的连续增函数$\omega (u)$，满足当$u>0$时$\omega (u)>0$，$\omega (0)=0$，且 $|f(x,y_1)-f(x,y_2)|\le \omega (|y_1-y_2|)$ 并且该函数满足瑕积分发散的条件： ${\int }_0^c\frac{du}{\omega (u)}=\infty$ 则初值问题$\frac{dy}{dx}=f(x,y),y(x_0)=y_0$的解存在且唯一。

注意：李普希茨条件是奥斯古德条件的一个特例，取$\omega (u)=Lu$即可，此时${\int }_0^c\frac{du}{Lu}=\frac{1}{L}[\ln u{]}_0^c\to \infty$，满足条件。

3.2 唯一性的证明 (奥斯古德条件下)

命题5

若$\psi (x)$是另一连续解，则在奥斯古德条件下必有$\phi (x)=\psi (x)$。

假设$\phi (x)$与$\psi (x)$是方程的两个不同解，定义它们的差函数$u(x)=|\phi (x)-\psi (x)|$ 显然$u(x_0)=|\phi (x_0)-\psi (x_0)|=|y_0-y_0|=0$，且$u(x)\ge 0$。

由积分方程形式，有 $\phi (x)-\psi (x)={\int }_{x_0}^x[f(\xi ,\phi (\xi ))-f(\xi ,\psi (\xi ))]d\xi$ 两边取绝对值，并应用奥斯古德条件得： $u(x)\le {\int }_{x_0}^x|f(\xi ,\phi (\xi ))-f(\xi ,\psi (\xi ))|d\xi \le {\int }_{x_0}^x\omega (|\phi (\xi )-\psi (\xi )|)d\xi ={\int }_{x_0}^x\omega (u(\xi ))d\xi$ 我们得到了一个积分不等式 $u(x)\le {\int }_{x_0}^x\omega (u(\xi ))d\xi$。

下面用反证法证明$u(x)\equiv 0$。 假设存在某个$x_1>x_0$使得$u(x_1)>0$。由于$u(x)$连续且$u(x_0)=0$，则必存在一个$x_2\in [x_0,x_1)$使得$u(x_2)=0$且在$(x_2,x_1]$上$u(x)>0$。（为简化，不妨设$x_2=x_0$）

令$v(x)={\int }_{x_0}^x\omega (u(\xi ))d\xi$，则有$v(x_0)=0$，$v(x)\ge 0$，且$u(x)\le v(x)$。 对$v(x)$求导，得$v^{\prime }(x)=\omega (u(x))$。 因为$\omega$是增函数，所以$u(x)\le v(x)$蕴含了$\omega (u(x))\le \omega (v(x))$。 于是我们得到微分不等式：$v^{\prime }(x)\le \omega (v(x))$ 对于任意$x\in (x_0,x_1]$，我们有$v(x)>0$，故可分离变量： $\frac{v^{\prime }(x)}{\omega (v(x))}\le 1$ 将上式从$x_0+ϵ$到$x_1$积分（其中$ϵ>0$为极小的正数，以确保积分下限处$v(t)>0$）： ${\int }_{x_0+ϵ}^{x_1}\frac{v^{\prime }(\xi )}{\omega (v(\xi ))}d\xi \le {\int }_{x_0+ϵ}^{x_1}1d\xi =x_1-x_0-ϵ$ 对左侧积分换元，令$s=v(\xi )$，则$ds=v^{\prime }(\xi )d\xi$。积分限变为$v(x_0+ϵ)$到$v(x_1)$。 ${\int }_{v(x_0+ϵ)}^{v(x_1)}\frac{ds}{\omega (s)}\le x_1-x_0-ϵ$ 令$ϵ\to 0^{+}$, 则$v(x_0+ϵ)\to v(x_0{)}^{+}=0^{+}$。此时不等式左侧变为瑕积分： ${\lim }_{ϵ\to 0^{+}}{\int }_{v(x_0+ϵ)}^{v(x_1)}\frac{ds}{\omega (s)}={\int }_0^{v(x_1)}\frac{ds}{\omega (s)}$ 根据奥斯古德条件的定义，此瑕积分是发散的，即积分值为$\infty$。 这样我们就导出了矛盾： $\infty \le x_1-x_0$ 此矛盾说明最初的假设“存在$x_1>x_0$使得$u(x_1)>0$”不成立。 故在整个区间上必须有$u(x)\equiv 0$，即$\phi (x)=\psi (x)$。唯一性证毕。

由此可以看出来对于一个不满足李普希茨条件的初值问题，我们无法用皮卡-林德洛夫定理判断其解是否唯一。但此时，我们仍可以尝试使用更广泛的奥斯古德条件。如果该条件满足，我们依然可以断定其解是唯一的。

4. 皮卡迭代与柯西不等式的结构相似性

Tip

在命题3的证明中，我们得到的关键不等式$|{\phi }_k(x)-{\phi }_{k-1}(x)|\le \frac{M{L}^{k-1}}{k!}{h}^k$在形式上与复分析中解析函数的柯西不等式（导数估计）有着惊人的相似性。这并非偶然，它揭示了数学分析中一个共通的思想：通过积分算子的平滑作用，将一个函数局部的有界性信息，转化为对其高阶项或高阶导数的强力约束，并最终以此来构造或表示这个函数。

4.1 两个核心不等式

我们首先并列出两个理论中的关键不等式。

不等式1 (皮卡迭代)

在命题3的推导中，我们得到逼近序列相邻两项之差满足： $|{\phi }_k(x)-{\phi }_{k-1}(x)|\le \frac{M{L}^{k-1}}{k!}(x-x_0{)}^k$ 这个不等式是证明级数$\sum [{\phi }_k(x)-{\phi }_{k-1}(x)]$一致收敛的基石。

不等式2 (柯西不等式/导数估计)

设复变函数$f(z)$在圆盘$D:|z-z_0|\le R$上解析，且$|f(z)|\le M$，则其在$z_0$处的n阶导数满足： $|f^{(n)}(z_0)|\le \frac{n!M}{R^n}$ 这等价于说，其泰勒级数$f(z)={\sum }_{n=0}^{\infty }{a}_n(z-z_0{)}^n$的系数$a_n=\frac{f^{(n)}(z_0)}{n!}$满足： $|a_n|\le \frac{M}{R^n}$

4.2 结构上的深刻类比

4.2.1 控制前提：有界性

两种理论均始于一个核心的初始条件：函数在特定区域内的有界性。

• 皮卡迭代：假设$|f(x,y)|\le M$在矩形域$R$上成立。
• 柯西理论：假设$|f(z)|\le M$在闭圆盘$|z-z_0|\le R$上成立。

4.2.2 核心工具：积分算子

两个理论都通过一个积分算子，将函数本身与其高阶项（高阶差分或高阶导数）联系起来。

• 皮卡迭代：通过迭代积分算子$T[\psi ]=y_0+{\int }_{x_0}^{x}f(\xi ,\psi (\xi ))d\xi$来定义序列。 ${\phi }_k(x)-{\phi }_{k-1}(x)={\int }_{x_0}^x[f(\xi ,{\phi }_{k-1}(\xi ))-f(\xi ,{\phi }_{k-2}(\xi ))]d\xi$
• 柯西理论：通过柯西积分公式来表示高阶导数。 $f^{(n)}(z_0)=\frac{n!}{2\pi i}{\oint }_{|\zeta -z_0|=R}\frac{f(\zeta )}{(\zeta -z_0{)}^{n+1}}d\zeta$

4.2.3 关键约束的导出：阶乘的出现

这是二者相似性的关键所在。两者都通过对积分算子应用ML不等式（或其实数域上的特例），从有界性$M$导出对高阶项的、带有阶乘分母的强力约束。

• 皮卡迭代中的递推约束： 回顾命题3，通过李普希茨条件和重复积分，我们得到 $|{\phi }_k(x)-{\phi }_{k-1}(x)|\le L{\int }_{x_0}^x|{\phi }_{k-1}(\xi )-{\phi }_{k-2}(\xi )|d\xi$ 这一递推关系正是阶乘项的来源。从$|{\phi }_1-{\phi }_0|\le M(x-x_0)$出发，重复应用此积分不等式，最终得到 $|{\phi }_k(x)-{\phi }_{k-1}(x)|\le \frac{M{L}^{k-1}}{k!}(x-x_0{)}^k$
• 柯西导数估计的约束： 对柯西积分公式应用ML不等式，其中路径长度$L=2\pi R$，被积函数的模 $|\frac{f(\zeta )}{(\zeta -z_0{)}^{n+1}}|\le \frac{M}{R^{n+1}}$ 代入ML不等式得到 $|f^{(n)}(z_0)|\le \frac{n!}{2\pi }\cdot (\frac{M}{R^{n+1}})\cdot (2\pi R)=\frac{n!M}{R^n}$ 即泰勒系数$|a_n|=|\frac{f^{(n)}(z_0)}{n!}|\le \frac{M}{R^n}$。

4.2.4 最终构造：收敛级数

导出的关键约束，最终都服务于证明一个级数的收敛性，并以此级数来构造（或表示）目标函数。

• 皮卡迭代：上述约束保证了级数$\sum [{\phi }_k(x)-{\phi }_{k-1}(x)]$被收敛的指数幂级数$\sum \frac{M}{L}\frac{(Lh{)}^k}{k!}$所控制，由Weierstrass判别法知其一致收敛，其和函数构造了微分方程的解$\phi (x)$。
• 柯西理论：泰勒系数的约束$|a_n|\le M/R^n$保证了幂级数$\sum a_n(z-z_0{)}^n$在圆盘$|z-z_0|<R$内绝对收敛，其和函数表示了解析函数$f(z)$。

因此，皮卡迭代法可以被视为在更一般的函数空间（连续函数空间）中，对复分析中“解析函数由其中心点信息（各阶导数）完全决定”这一思想的某种类比和推广。