柯西与常微分方程.pptVIP

柯西★常微分方程 柯西，法国著名数学家。是一位多产的数学家，最主要的贡献在微积分、复变函数和微分方程等方面，几何代数也有较大建树，是数理弹性理论的奠基人之一 。 柯西在常微分方程中的主要贡献在于深入 考察并证明了存在唯一性定理。其中主要定理为“柯西－利普希茨定理 ” 此定理最早由柯西于1820年发表，但直到1868年，才由鲁道夫·利普希茨给出确定的形式。 下面，我们来介绍一下具体的证明过程： 局部定理 设 为一个完备的有限维赋范向量空间（即一个巴拿赫空间），f为一个取值在 上的函数：其中 为 中的一个开集， 为 中的一个区间。考虑以下的一阶非线性微分方程： 如果 f 关于 t 连续，并在 U 中满足利普希茨条件，也就是说， 那么对于一个给定的初始条件： x(t0) = x0，其中 、 ，微分方程（1）存在一个解 (J,x(t))，其中 是一个包含 t0 的区间，x(t) 是一个从 J 射到 U 的函数，满足初始条件和微分方程（1）。 局部唯一性：在包含点t0的足够小的J区间上，微分方程（1）的解是唯一的（或者说，方程所有的解在足够小的区间上都是重叠的）。 这个定理有点像物理学中的决定论思想：当我们知道了一个系统的特性（微分方程）和在某一时刻系统的情况（x(t0) = x0）时，下一刻的情况是唯一确定的。 局部定理的证明 一个简洁的证明思路为构造一个总是满足初始条件的函数递归序列yn + 1 = Φ(yn)，使得 ，这样，如果这个序列有一个收敛点 y ，那么y为函数Φ的不动点，这时就有 ，于是我们构造出了一个解y。为此，我们从常数函数开始。令 这样构造出来的函数列 中的每个函数都满足初始条件。并且由于 f 在 U 中满足利普希茨条件，当区间足够小的时候，Φ成为一个收缩映射。根据完备空间的不动点存在定理，存在关于Φ的稳定不动点，于是可知微分方程（1）的解存在。 由于收缩映射的局部稳定不动点只有一个，因此在足够小的区间内解是唯一的。 最大解定理 局部的柯西-利普希茨定理并没有说明在较大区域上解的情况。事实上，对于微分方程（1）的任意解 、 ，定义一个序关系： 小于 当且仅当 ，并且 在 上的值与 一样。在这个定义之下，柯西-利普希茨定理断言，微分方程的最大解是唯一存在的。 证明思路 解的唯一性：假设有两个不同的最大解，那么由局部柯西-利普希茨定理可以证明其重叠部分的值相同，将两者不同的部分分别延伸在重叠部分上，则会得到一个更“大”的解（只需验证它满足微分方程），矛盾。因此解唯一。 解的存在性：证明需要用到佐恩引理，构造所有解的并集。 扩展至高阶常微分方程 对于一元的高阶常微分方程 ， 只需构造向量 和相应的映射 ，就可以使得（2）变为 。这时的初始条件为Y(t0) = Y0，即 扩展至偏微分方程 对于偏微分方程，有柯西-利普希茨定理的扩展形式：柯西-克瓦列夫斯基定理，保证了偏微分方程的解的存在性和唯一性。 小 感： 每位科学家都有着独一无二的个人世 界与独特追求，然而真理总是存在的。不管你是怎么在努力奋斗，我们都会殊途同归，迈向最终的目标----实现真理，加油！ * * *