常微分方程的几何图像

                     

贡献者: 零穹

预备知识 相空间和相流

   这里,将从几何上来理解常微分方程。这需要先引入一些概念。

1. 微分同胚

   以下新名词的理解只需掌握函数可微性的知识。

定义 1 可微函数

   设 $U$ 是矢量空间 $\mathbb R^n$ 上的区域,其上坐标为 $x_1,\cdots,x_n$,称函数

\begin{equation} f:U\rightarrow\mathbb R~. \end{equation}
是 $U$ 上的可微函数,若 $f(x_1,\cdots,x_n)$ 是 $r$ 次连续可微的,此处,$1\leq r\leq\infty$。通常人们都不关心 $r$ 的具体值,因此并不指明。若有需要将指出 “$r$ 次可微” 或函数类 $C^r$.

定义 2 可微映射

   设 $U$ 是 $\mathbb R^n$ 中区域,$V$ 是 $\mathbb R^m$ 中区域,其中 $x_1,\cdots,x_n$ 是 $U$ 中的坐标,$y_1,\cdots,y_m$ 是 $V$ 中的坐标,称映射

\begin{equation} f:U\rightarrow V,\quad f(x_1,\cdots,x_n)=(y_1,\cdots,y_m)~. \end{equation}
可微映射,若 $y_i=f_i(x_1,\cdots,x_n)$ 是可微函数。其中 $1\leq i\leq m$。

定义 3 微分同胚

   若映射 $f:U\rightarrow V$ 是个双射,且 $f$ 和其逆 $f^{-1}$ 都是可微映射,则称 $f$ 为微分同胚

定义 4 单参数微分同胚群

   设 $M$ 是一流形(可认为是欧氏空间中一区域),若映射

\begin{equation} g:\mathbb R\times M\rightarrow M,\quad g(t,x) =g^t x~. \end{equation}
满足:1.$g$ 是可微映射;2.族 $\{g^t|t\in\mathbb R\}$ 是 $M$ 的单参数变换群(定义 1 )。则称 $\{g^t|t\in\mathbb R\}$ 是 $M$ 的单参数微分同胚群

定理 1 

   若 $\{g^t|t\in\mathbb R\}$ 是单参数微分同胚群,则对每一 $t$,映射 $g^t$ 是微分同胚。

   证明:因为 $g$ 是可微映射,且

\begin{equation} \frac{\mathrm{d}{g^tx}}{\mathrm{d}{x}} = \frac{\partial g(t,x)}{\partial x} ~, \end{equation}
所以 $g^t$ 对 $x$ 可微。又 $\{g^t\}$ 是单参数变换群,所以对每一 $t$,$g^t$ 是双射,这意味着 $ \frac{\mathrm{d}{g^t x}}{\mathrm{d}{x}} \neq 0$(因为否则 $g^t(x+ \,\mathrm{d}{x} )=g^t(x)$,这违反了 $g^t$ 的单射性)。所以
\begin{equation} \frac{\mathrm{d}{{g^{t}}^{-1}}}{\mathrm{d}{x}} =\frac{1}{ \frac{\mathrm{d}{g^t x}}{\mathrm{d}{x}} }~, \end{equation}
可微。

   证毕!

2. 向量场

   常微分方程研究的过程是可微过程,即要求相空间 $M$ 是微分流形,状态随时间的变化由可微函数描述。由于状态 x 经过 t 时间后变为 $g^tx$,要这个有可微函数描述的映射就是 $g(t,x)=g^tx$,由定义 4 ,$\{g^t|t\in\mathbb R\}$ 就是 $M$ 的单参数微分同胚群。因此,以后提到相流 $\{M,\{g^t\}\}$,都有将 $\{g^t\}$ 理解成单参数微分同胚群。

   掌握了以上概念,下面的概念是容易理解的。

定义 5 相速度

   称

\begin{equation} v(x):=\left. \frac{\mathrm{d}{}}{\mathrm{d}{t}} \right|_{t=\tau} g^tx~, \end{equation}
为相流 $g^t$ 在点 $x\in M$ 的相速度

   由于 $M$ 可看成欧几里得空间中的区域,所以其中的点就有坐标,因此 $ \,\mathrm{d}{g} ^t x$ 有定义,上面的 $v(x)$ 也就有定义。

两曲线的相切

   同样令 $U$ 是 $\mathbb R^n$ 中一区域,其坐标为 $x_1,\cdots,x_n$,每个 $x_i$ 其实都相当于将 $U$ 映射到 $\mathbb R$ 的映射

\begin{equation} x_i:U\rightarrow\mathbb R~. \end{equation}
$U$ 上的曲线就是 $t$ 轴上一区间 $I$ 到 $U$ 的连续映射 $\varphi$,通常我们设它连续可微。

定义 6 速度相量

   设 $\varphi$ 是 $U$ 的曲线且 $\varphi(0)=x$,则

\begin{equation} v=\left. \frac{\mathrm{d}{}}{\mathrm{d}{t}} \right|_{t=0}(x\circ\varphi)~ \end{equation}
称为曲线在点 $x$ 处的速度向量。其分量为 $v_i=\left. \frac{\mathrm{d}{}}{\mathrm{d}{t}} \right|_{t=0}(x_i\circ\varphi)~.$

定义 7 曲线的相切

   若两曲线 $\varphi_1,\varphi_2$ 经过同一点 $x=\varphi_1(0)=\varphi_2(0)$。如果对 $t\rightarrow0$ 时,点 $\varphi_1(t),\varphi_2(t)$ 之间距离是比 $t$ 高阶的无穷小 $o(t)$,则称它们在点 $x$ 相切

定理 2 

   两曲线 $\varphi_1,\varphi_2$ 在点 $x$ 处相切,当且仅当它们的速度向量相同。

   证明:将 $x\circ\varphi_1(t)-x\circ\varphi_2(t)$ 在 $t=0$ 处展开:

\begin{equation} x\circ\varphi_1(t)-x\circ\varphi_2(t)=\sum_{i=1}\frac{1}{i!} \left(\left. \frac{\mathrm{d}^{i}{}}{\mathrm{d}{t}^{i}} \right|_{t=0} \left(x\circ\varphi_1-x\circ\varphi_2 \right) \right) t^i~. \end{equation}
要使 $ \left\lvert x\circ\varphi_1(t)-x\circ\varphi_2(t) \right\rvert =o(t)$ 上式就不能含 $t$ 的一次项,于是只能
\begin{equation} \left. \frac{\mathrm{d}{}}{\mathrm{d}{t}} \right|_{t=0}x\circ\varphi_1=\left. \frac{\mathrm{d}{}}{\mathrm{d}{t}} \right|_{t=0}x\circ\varphi_2~. \end{equation}

   证毕!

   这一定理意味着相切的曲线对应同一速度向量,而在一点 $x_0$ 处都有一速度矢量与任一矢量 $v$ 对应,只需这样定义曲线 $\varphi$(注意下面 $x(x_0)$ 代表 $x_0$ 的坐标)。

\begin{equation} x\circ\varphi(t)=\int_0^t v \,\mathrm{d}{t} +x(x_0)~. \end{equation}
也就是说在点 $x$ 的速度矢量 $v$ 相当于过 $x$ 点的曲线的等价类,该等价类中的任一曲线在点 $x$ 的速度矢量都是 $v$。所以有下面的定义

定义 8 切向量

   称过点 $x\in U$ 的曲线的等价类为点 $x$ 的切向量

   由于 $n$ 维空间中的区域 $U$ 上的一点处所有的速度矢量构成一 $n$ 维的矢量空间,所以在 $x$ 点的所有切向量构成的几何就是一个 $n$ 维的矢量空间。

定义 9 切空间

   在点 $x\in U$ 处的所有切向量构成的集合称为 $U$ 在 $x$ 的切空间,记作 $TU_x$

   我们说过,$n$ 维流形 $M$ 相当于 $\mathbb R^n$ 中一区域,那么在它上面任一点 $x$ 都有一切空间 $TM_x$。

定义 10 切丛

   流形 $M$ 上所有点的切空间构成的集合

\begin{equation} TM=\bigcup_{x\in U}TM_x~, \end{equation}
称为流形 $M$ 的切丛

   流形 $M$ 的向量场就是说对 $M$ 上的每一点都有一向量与之对应,每一点处的向量显然是该点的切向量,它是在 该点的切空间 $TM_x$ 中的,而另一点的向量又在另一点的切空间中的,那么向量场就相当于一个映射 $v$,它把 $x\in M$ 映到 $v(x)\in TM_x$,由于向量场 $v$ 定义域在 $M$,它的像要 $v$ 取遍 $M$,那么像所在的集合就是 $\bigcup_{x\in M} TM_x$。这就是说 $M$ 的向量场相当于是流形 $M$ 到其切丛 $TM$ 的映射。一般情况,我们还要求它是可微映射。

定义 11 向量场

   设 $M$ 是一 $n$ 维流形($\mathbb R^n$ 中的一区域),映射

\begin{equation} v:M\rightarrow\mathbb TM~ \end{equation}
是可微映射,则称 $v$ 是 $M$ 的一个向量场。它由 $n$ 个可微函数 $v_i:M\rightarrow \mathbb R$ 所指定。

定义 12 奇点

   设 $v$ 是 $M$ 的向量场,且 $v(x)=0$,则称点 $x$ 为向量场 $v$ 的奇点

3. 微分方程

   有了上述诸概念,微分方程的几何意义就是显然的了。

定义 13 微分方程

   设 $U$ 是 $\mathbb R^n$ 中一区域,$v$ 是 $U$ 上的向量场,则称方程

\begin{equation} \dot x=v(x),\quad x\in U~ \end{equation}
是由向量场 $v$ 确定的微分方程。$U$ 称为该微分方程的相空间

定义 14 微分方程的解

   若从 $t$ 轴的区间 $I$ 到相空间 $U$ 的可微映射 $\varphi$ 满足:

\begin{equation} \left. \frac{\mathrm{d}{}}{\mathrm{d}{t}} \right|_{t=\tau}\varphi(t)=v(\varphi(\tau)),\quad\forall\tau\in I~, \end{equation}
则称 $\varphi$ 为微分方程式 14 的解。

定义 15 相曲线

   设 $\varphi$ 是微分方程式 14 的解,则 $\varphi$ 的像称为该微分方程的相曲线

   观察式 6 式 15 ,可以发现:若 $x=\varphi(t_0)$, 那么若求得了微分方程满足条件 $x=\varphi(t_0)$ 的解 $\varphi(t)$,那么 $\varphi(t)$ 就是相流 $\{g^t\}$ 在点 $x$ 处的运动,而向量场 $v$ 对应相流 $\{g^t\}$ 的相速度。


致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利