最后更新: 2025-11-21 11:17 查看: 137 次反馈能力测评会员8.2元/月赞助

*解的存在与唯一性定理

## 常微分方程解的存在唯一性定理

高等数学里面我们学习的常微分方程，一阶的有分离变量方程，齐次方程，一阶线性微分方程，二阶常系数线性微分方程，可降阶方程。高阶的只有常系数齐次线性微分方程。

微分方程顾名思义是求解微分方程的问题．虽然人们已经知道了许多求解微分方程的办法。但并不是所有微分方程都能用初等积分法求解的。如早在1686年，微积分的发明者之一，著名的数学家莱布尼兹就提出一个一阶微分方程

$$
\frac{d y}{d x}=x^2+y^2
$$

的求解问题．这个形式上很简单的方程曾吸引了许多数学家的兴趣．经过 150 多年的探索，到1838年，刘维尔（Liouville，1809－1882）证明了上述微分方程是不可能用初等积分法求解的，亦即不可能用初等函数或它们的积分来表示这个方程的解。因此，我们不能奢望用初等积分法来求出所有微分方程的解。但对于某些特殊类型的微分方程，却是可以用初等积分法来求解的．本节的主要内容是介绍这些初等解法．

**一个不能用初等积分法求解的微分方程是否意味着没有解呢？或者说，一个微分方程在何种条件下一定有解呢？ 当有解时，它的初值问题有多少解呢？**

毫无疑问，这是一个十分基本的问题．不解决这个问题，对微分方程的进一步研究（无论是定性的还是定量的）就无从谈起。

柯西（Cauchy，1789－1857）在十九世纪二十年代第一个成功地建立了微分方程初值问题解的存在和唯一性定理（因此，后人把初值问题称为**柯西问题**）．

1876年，李卜西兹（Lipschitz，18321903）减弱了柯西定理的条件．

1893年，毕卡（Picard，1856－1941）用逐次逼近法在李卜西兹条件下对定理给出了一个新证明。

此外，皮亚诺（Peano，1858－1932）在更一般的条件下建立了柯西问题解的存在性定理（不顾及唯一性）。

### 解的存在与唯一性定理
含有初始值的一阶常微分方程可以表示为如下的一般形式

$$
\left\{\begin{array}{l}
\frac{d y}{d x}=f(x, y) \\
y\left(x_0\right)=y_0
\end{array}\right.
$$

对于这类定解问题，有以下解的存在与唯一性定理
**定理（解的存在与唯一性定理）** 如果 $f(x, y)$ 和 $\frac{\partial f}{\partial y}(x, y)$ 在矩形区域 $\left\{(x, y)\left|\left|x-x_0\right|<a,\left|y-y_0\right|<b\right\}\right.$ 上连续，那么存在一个正数 $h(0<h \leq a)$ ，使得定解问题（10．2．1）在 $\left|x-x_0\right|<h$ 上有唯一的解 $y=\varphi(x)$ ，即在 $\left|x-x_0\right|<h$ 上成立

$$
\varphi^{\prime}(x)=f(x, \varphi(x))
$$

及

$$
\varphi\left(x_0\right)=y_0
$$

这个定理的证明超出本课程的要求，此处从略。
在这个定理中，只说明了在局部的解的存在性和唯一性，而且也没有说明解的表达式如何。事实上，并不是每个一阶常微分方程的解都可以用初等函数或它们的有限次积分来表达（这种方法称为初等积分法）。

因此，当拿到一个微分方程时，要能迅速判断他大致属于哪个类型。

### 线素场：利用积分曲线的切线近似描述微分方程解．
设有微分方程 $\frac{\mathrm{d} y}{\mathrm{~d} x}=f(x, y)$ ，任取 $(x, y) \in D$ ，以该点为起点作以 $f(x, y)$ 为斜率且长度一定的短直线段，称这样的短直线段为线素．

区域 $D$ 所有点处线素的集合称为方程 $\frac{\mathrm{d} y}{\mathrm{~d} x}=f(x, y)$ 的线素场．

![图片](/uploads/2025-11/338e98.jpg){width=300px}
 
如果给每个线段加上指向 $x$ 增加的方向箭头，则称带方向的线素场为由微分方程确定的方向场，这个方向场也称为有微分方程确定的向量场

![图片](/uploads/2025-11/19aab7.jpg){width=300px}
 
 在 $-2 \leq x \leq 2,-2 \leq y \leq 2$
区域内微分方程

$$
\frac{\mathrm{d} y}{\mathrm{~d} x}=\pm y/x
$$
 
的积分曲线图．

![图片](/uploads/2025-11/d021b8.jpg){WIDTH=500PX}

## 附录： 李卜西兹 Lipschitz 条件证明思想

本节着重介绍解的存在唯一性定理的李普希茨的充分条件，以及皮卡逐次逼近法，并给出证明的主要步骤．

首先，我们介绍一个概念．若函数 $f(x, y)$ 在区域 $D$ 内满足

$$
\left|f\left(x, y_1\right)-f\left(x, y_2\right)\right| \leqslant L\left|y_1-y_2\right|, \quad\left(x, y_i\right) \in D, i=1,2, ...(9.48)
$$

其中 $L$ 为常数，则称函数 $f(x, y)$ 在区域 $D$ 内对 $y$ 满足李普希茨条件（或简称李氏条件），式（9．48）中的 $L$ 称为李氏常数。

很多函数满足李氏条件。例如，若区域 $D$ 是凸区域，而函数 $f(x, y)$ 关于 $y$ 有偏导数，且 $\left|f_y\right|$ 在 $D$ 内有界，则 $f(x, y)$ 在 $D$ 内关于 $y$ 满足李氏条件．这一结论可用拉格朗日中值定理证明．

其次，我们指出，初值问题（9．47）与积分方程

$$
y=y_0+\int_{x_0}^x f(x

免费注册看余下 70%

非VIP会员每天5篇文章，开通VIP 无限制查看

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

高等数学测评 函数与极限一元函数微分学一元函数积分学微分方程空间向量与代数多元微分学多元积分学无穷级数

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

线性代数测评 行列式矩阵向量空间

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

概率统计测评 事件与概率一维随机变量与事件多维随机变量与事件随机变量的数字特征大数定律与中心极限定理统计量与抽样分布参数估计假设检验

上一篇：微分方程

下一篇：可分离变量的微分方程

本文对您是否有用？有用 (0) 无用 (0)