贡献者： 零穹
[1] 通过曲线 $\varphi$ 构造出一新曲线 $f(\varphi)$，使得新曲线上每一点 $f(\varphi(t))$ 的切线平行于曲线 $\varphi$ 上点 $\varphi(t)$ 处给定的向量。具体来说，设 $U$ 是 $\mathbb R^n$ 的一区域，其上每一点 $x$ 都定义了一个依赖于时间的向量 $v(x,t)$（或称为 $U$ 上定义了依赖于时间的向量场 $v$）。给定 $U$ 中的曲线 $\varphi:I\rightarrow U$($I$ 为 $t$ 轴上一区间)，那么向量场 $v$ 在曲线上每一点 $\varphi(t)$ 对应的向量为 $v(\varphi(t),t)$。于是新曲线 $f(\varphi)$ 是这样的曲线，其在每一 $\tau$ 时的点 $f(\varphi(\tau))$ 的切向量满足 $ \frac{\mathrm{d}{}}{\mathrm{d}{t}} \big|_{t=\tau}(f\circ \varphi)=v(\varphi(\tau),\tau)$1。描述这样的曲线 $\varphi$ 到新曲线 $f(\varphi)$ 的映射称为皮卡映射（Picard 映射）。
1. 皮卡映射
定义 1 皮卡映射
设 $U$ 是 $\mathbb R^{n+1}$ 的一区域，在其上定义了一向量场2（定义 11 ）
\begin{equation}
v:U\rightarrow\mathbb TU~.
\end{equation}
$\varphi$ 是 $U$ 中满足 $\varphi(t_0)=x_0$ 的曲线，则称映射
\begin{equation}
(A\varphi)(t)\equiv x_0+\int_{t_0}^{t}v(\varphi(\tau),\tau) \,\mathrm{d}{\tau} ~
\end{equation}
为曲线 $\varphi$ 的
皮卡映射（Picard Map）。
因为向量场 $v$ 可微，即表明 $v$ 连续，于是 $A\varphi$ 可导，因此 式 2 可写成微分形式
\begin{equation}
\frac{\mathrm{d}{}}{\mathrm{d}{t}} ((A\varphi)(t))=v(\varphi(t),t)~.
\end{equation}
所以
式 2 等价于初始条件满足 $(A\varphi)(t_0)=x_0$ 的微分方程（
式 3 ）. 由向量场 $v$ 确定的微分方程的定义（
定义 13 ），于是
$\varphi$ 是满足初始条件 $\varphi(t_0)=x_0$ 的由向量场 $v$ 确定的微分方程的解，当且仅当 $\varphi=A\varphi$。由映射不动点的定义，
向量场对应微分方程的解就是皮卡映射的不动点。这可以描述为下面定理
定理 1 微分方程的解是皮卡映射的不动点
设 $v$ 是区域 $U\in\mathbb R^{n+1}$ 中定义的向量场，则 $\varphi$ 是 $v$ 确定的微分方程
\begin{equation}
\dot x=v(x,t)~
\end{equation}
满足初始条件 $\varphi(t_0)=x_0$ 的解，当且仅当 $\varphi$ 是皮卡映射（
定义 1 ）的不动点，即 $A\varphi=\varphi$。
于是，微分方程有解，当且仅当皮卡映射存在不动点。下面定理表明，在一定条件下，皮卡映射是个压缩映射。
图 1：柱体和锥体
如图 1 ，接下来，我们设数 $a,b$ 确定柱体 $\Gamma=\{x,t: \left\lvert t-t_0 \right\rvert \leq a, \left\lvert x-x_0 \right\rvert \leq b\}$，其位于区域 $U$ 内。于是由 $v$ 在 $\Gamma$ 上连续可微（设为 $C^r$ 类，$r\geq1$）和 $\Gamma$ 是欧式空间中的闭区域，立刻有 $ \left\lvert v \right\rvert , \left\lvert v_* \right\rvert $ 在 $\Gamma$ 上能达到其上确界，设为 $K,L$，即 $ \left\lvert v \right\rvert \leq K, \left\lvert v_* \right\rvert \leq L$。于是过内点 $(t_1,x_1)\in\Gamma$ 的积分曲线（初时点为 $(t_1,t_2)$）在 $x$ 处的速度向量的模 $\leq K$，即该积分曲线位于锥体 $\mathcal K_{(t_1,x_1)}\equiv\{x,t: \left\lvert t-t_1 \right\rvert \leq a', \left\lvert x-x_1 \right\rvert \leq K \left\lvert t-t_1 \right\rvert \}$ 内，其中数 $a'$ 足够小，使得锥体 $\mathcal K_{(t_1,x_1)}$ 位于柱体 $\Gamma$ 内，其中 $(t_1,x_1)$ 和 $(t_0,x_0)$ 的关系在于可选取 $a'$ 足够小，使得 $\mathcal K_{(t_0,x_0)}$ 保持可平行移动到 $\mathcal K_{(t_1,x_1)}$ 而使得 $\mathcal K_{(t_1,x_1)}$ 在 $\Gamma$ 内3。（这段话里构造闭区域 $\Gamma$，是为了使 $v$ 在其上有界，而 $\mathcal K_{(t_1,x_1)}$ 是为了说明过初始点 $(t_1,x_1)\in\Gamma$ 的积分曲线在 $\mathcal K_{(t_1,x_1)}$ 描述的区域内。）
定理 2
设 $M$ 是由依赖于参量 $x_1,t_1$，定义域为柱体 $ \left\lvert x-x_1 \right\rvert \leq b', \left\lvert t-t_1 \right\rvert \leq a'$，满足 $ \left\lvert \varphi(x_1,t_1,t) \right\rvert \leq \left\lvert x_1 \right\rvert +K \left\lvert t-t_1 \right\rvert $ 的连续函数 $\varphi(x_1,t_1,t)$ 构成的度量空间，其上的度量 $d$ 定义为
\begin{equation}
d(\varphi_1(x_1,t_1,t),\varphi_2(x_1,t_1,t))\equiv \left\lVert \varphi_1-\varphi_2 \right\rVert =\max_{\begin{aligned} \left\lvert x-x_1 \right\rvert \leq b,\\ \left\lvert t-t_1 \right\rvert \leq a\end{aligned}} \left\lvert \varphi_1(x_1,t_1,t)-\varphi_2(x_1,t_1,t) \right\rvert ~.
\end{equation}
则当 $a'$ 充分小时，皮卡映射
\begin{equation}
(A\varphi)(x_1,t_1,t)\equiv x_1+\int_{t_1}^{t}v(\varphi(x_1,t_1,\tau),\tau) \,\mathrm{d}{\tau} ~
\end{equation}
定义了一个从 $M$ 到自身的
压缩映射。
证明：首先验证 $A$ 将 $M$ 映射到自身，就是要验证对任意 $\varphi$，$A\varphi$ 连续且 $ \left\lvert A\varphi(x_1,t_1,t) \right\rvert \leq \left\lvert x_1 \right\rvert +K \left\lvert t-t_1 \right\rvert $；连续性由对参数连续的函数的积分是对参数及积分上限也是连续获得；后一点由下面获得
\begin{equation}
\begin{aligned}
\left\lvert (A\varphi)(x_1,t_1,t) \right\rvert &= \left\lvert x_1+\int_{t_1}^t v(\varphi(x_1.t_1,\tau),\tau) \,\mathrm{d}{\tau} \right\rvert \leq \left\lvert x_1 \right\rvert + \left\lvert \int_{t_1}^t v(\varphi(x_1,t_1,\tau),\tau) \,\mathrm{d}{\tau} \right\rvert \\
&\leq \left\lvert x_1 \right\rvert + \left\lvert \int_{t_1}^t K \,\mathrm{d}{\tau} \right\rvert \\
&\leq \left\lvert x_1 \right\rvert +K \left\lvert t-t_1 \right\rvert ~.
\end{aligned}
\end{equation}
所以 $AM\in M$。
其次，要证压缩映射，即验证
\begin{equation}
\left\lVert A\varphi_1-A\varphi_2 \right\rVert \leq\lambda \left\lVert \varphi_1-\varphi_2 \right\rVert ,\quad 0<\lambda<1~.
\end{equation}
直接计算便是：
\begin{equation}
\begin{aligned}
\left\lVert A\varphi_1-A\varphi_2 \right\rVert &=\max_{\begin{aligned} \left\lvert x-x_1 \right\rvert \leq b,\\ \left\lvert t-t_1 \right\rvert \leq a\end{aligned}} \left\lvert \int_{t_1}^t v(\varphi_1(x,\tau),\tau)-v(\varphi_2(x,\tau),\tau) \,\mathrm{d}{\tau} \right\rvert \\
&\leq\max_{\begin{aligned} \left\lvert x-x_1 \right\rvert \leq b,\\ \left\lvert t-t_1 \right\rvert \leq a\end{aligned}}\int_{t_1}^t \left\lvert v(\varphi_1(x,\tau),\tau)-v(\varphi_2(x,\tau),\tau) \right\rvert \,\mathrm{d}{\tau} \\
&\leq \max_{\begin{aligned} \left\lvert x-x_1 \right\rvert \leq b,\\ \left\lvert t-t_1 \right\rvert \leq a\end{aligned}}\int_{t_1}^t L \left\lvert \varphi_1(x,\tau)-\varphi_2(x,\tau) \right\rvert \,\mathrm{d}{\tau} \\
&\leq \max_{\begin{aligned} \left\lvert x-x_1 \right\rvert \leq b,\\ \left\lvert t-t_1 \right\rvert \leq a\end{aligned}}\int_{t_1}^t L \left\lVert \varphi_1-\varphi_2 \right\rVert \,\mathrm{d}{\tau} \\
&\leq\max_{\begin{aligned} \left\lvert x-x_1 \right\rvert \leq b,\\ \left\lvert t-t_1 \right\rvert \leq a\end{aligned}} \left\lvert La' \left\lVert \varphi_1-\varphi_2 \right\rVert \right\rvert \\
&= La' \left\lVert \varphi_1-\varphi_2 \right\rVert ~.
\end{aligned}
\end{equation}
上面的第三行用了
定理 2 。由于 $a'$ 足够小，可使 $La'<1$，于是此时 $A$ 为压缩映射。
证毕！
习题 1
试证明定理 2 的 $M$ 是一完备度量空间。
提示：柱体 $\Gamma$ 是欧氏空间闭区域，根据康托定理，其上的连续映射一致连续，而一致连续映射的序列收敛于连续映射。
2. 逐次皮卡近似
逐次皮卡近似是指连续施行皮卡映射。考虑逐次皮卡近似是因为其和微分方程的解存在有着对应关系。
定义 2 逐次皮卡近似
设 $A$ 是皮卡映射，则称序列
\begin{equation}
\{A^n\varphi\}=\{\varphi, A\varphi, A^2\varphi,\cdots,\}~
\end{equation}
为初始曲线为 $\varphi$ 的
逐次皮卡近似。
例 1 指数函数
设向量场定义为 $v(x,t)=x$ ,且给定曲线 $\varphi(t)=x_0$，取 $t_0=0$,于是此时皮卡近似为
\begin{equation}
\begin{aligned}
\varphi(t)&=x_0,\\
A\varphi(t)&=x_0+\int_{0}^{t}x_0 \,\mathrm{d}{t} =x_0(1+t),\\
A^2\varphi(t)&=x_0+\int_{0}^{t}x_0(1+t) \,\mathrm{d}{t} =x_0(1+t+\frac{1}{2}t^2),\\
&\vdots\\
A^n\varphi(t)&=x_0\sum_{i=0}^n\frac{t^i}{i!}\\
\lim_{n\rightarrow\infty}A^n\varphi&=e^tx_0
~.
\end{aligned}
\end{equation}
1. ^ 当然，平行说明还有个系数，但是这里特指系数为 1
2. ^ 在 $U\in\mathbb R^{n+1}$ 上定义了向量场相当于在 $\mathbb R^n$ 中一区域定义了依赖于时间 $t\in\mathbb R$ 的向量场。前者表述的空间称为后者的扩张空间（子节 3 ）。
3. ^ 实数的稠密性保证这总是可以做到的
[1] ^ 阿诺尔德.常微分方程. 高等教育出版社.
