080 存在性和唯一性定理 The Existence and UniquenessTheorem
本节讨论定理 2.4.2 存在性和唯一性定理的证明。定理是说满足特定条件的一阶初值问题 在一些包含 的区间上有唯一解。
某些情况下,比如线性微分方程,初值问题的解的存在性可以通过求解微分方程得到。但是一般情况下无法这么做。所以对于一般情况,有必要采用间接的方法证明存在性,这种方法无法用于求解微分方程。该方法是构造一系列的函数,这些函数满足初值问题,同时收敛于极限函数。通常,无法显式计算得到这个序列的大部分元素,因此很少情况能确定极限函数。不过根据定理 2.4.2,可以证明这个序列收敛于满足期待属性的极限函数。整个论证非常复杂,并且依赖于一些高级微积分的知识,因此这里不会给出所有的细节,而是给出主要特点并指出必须要客服的难题。
首先,注意到我们可以仅考虑初始点 位于原点的情况,即 如果初始点是其他点,那么通过一些变量变换可以使得初始点 变成原点。因此存在性和唯一性定理如下。
定理 2.8.1 解的存在性和唯一性
如果 在矩阵 ,那么在一些区间 上初值问题 存在唯一解 。
为了方便证明,需要将初值问题 转换成更方便的形式。假定可微函数 满足初值问题,那么 是 的连续函数。因此从初始点 开始对 积分得到 其中初始条件是 。
因为 包含未知函数 的积分,因此称为积分方程(integral equation
)。这个积分方程并不是初值问题的解。但是它提供了满足方程 的解的另一种关系。假定连续函数 满足 ,那么这个函数也满足 。为了证明这一点,首先令 等于零,那么 的结果满足 。由于积分方程 是连续的,那么根据微积分基本定理得到 是可微的且 。因此初值问题和积分方程是等价的,一个方程的解也是另一个方程的解。而证明 有唯一解更方便,也就是证明了 有唯一解。
这里证明的方法称为逐次近似法(method of successive approximation
)或 Picard 的迭代法(iteration method
)。首先从初始函数 开始,它是任意函数或者初值问题的近似解,最简单的选择是
至少要满足 的初值条件。下一步通过 带入 得到
类似的得到
一般地
那么我们就得到了函数序列 。
这些函数都满足初始条件但一般情况下都不满足微分方程。然而,如果有一步,比如 时,我们发现 ,那么 是 的解,也是初值问题 的解,序列在该点结束了。一般情况,这并不会发生,不要考虑整个无限序列。
为了证实定理 2.8.1,必须回答下面几个问题
- 的每一项都存在吗?会不会在某一步断开?
- 序列收敛吗?
- 极限函数是什么?是否满足 ,也就满足了 ?
- 是唯一解吗?还有其他解吗?
下面我们通过一个相对简单且具体的例子来回答这些问题,稍后讨论一般情况。
例 1 通过逐次近似法求解初值问题 解:如果 ,那么相应的积分方程是 如果初始近似是 那么 类似的 接着 归纳可得 对于 也是成立的,即 。下面假定 是成立的,推导 也是成立的。 下图是 的图像。随着 的增加,这些函数在逐渐靠近,那么可能会收敛于极限函数。
方程 是无限级数 的前 项和。 那么 的存在等价于 收敛。使用比值测试,对于每个 而言 因此级数 收敛区间是整个 轴。对每一个 而言, 是序列 的极限。由于 是泰勒级数,因此对 可以逐项微分或积分。不难验证 是积分方程 的解。或者也可以将 带入 ,直接验证其满足初值问题。从级数 也不难得出这个例子的解是 。不过,这对证明存在性不是必须的。
通过给出不同 值时差值 ,可以看到迭代序列的收敛。下图展示出迭代提供了足够好的近似的区间逐渐增加。
下面证明唯一性。反证法,假定有两个解 ,至少有一个时刻 两个函数不同,即 。由于两者都是 的解,带入并应用积分的差法则得到 如果 ,两边取绝对值 我们将 限制在区间 ,其中 是任意常量,那么 ,那么 引入辅助函数 那么 因为 是可微函数,那么 。因此根据 有 两边乘以正的积分因子 得到 对上式从 0 到 进行积分并结合 可以得到 那么在 上,。结合 ,那么对于 , 必须等于零。那么 ,因此 。这与假设相反。因此初值问题在 上只有一个解。
现在回到解决积分方程 这个一般问题上来。
第一个问题:序列 的所有元素都存在吗?
在上面的例子中, 在 平面上都连续,那么每次计算的元素都存在。但是一般情况下 只在矩形 上连续。如下图所示。
这样可能会出现一种情况,到了某一步,比如 时, 可能包含位于 之外的点。更准确地说,当计算 时,计算 的某点处不连续甚至定义不存在。这就导致无法或许计算 。
为了防止出现这种情况,需要进一步限制 的区间。为了找到这个区间,需要用到连续函数在封闭区域内是有界的这一性质。 的界是 ,因此存在一个正数 ,使得 之前已经提到 因为 等于 ,那么方程 的图像的斜率的最大值是 。由于图像必须包含 点,那么点必须位于领结形之内。如下图所示。
位于 就要求点在 上的领结形之内,其中 。因此要考虑一个更小的矩形 ,其中 是 和 中较小的值。有了这个限制, 序列所有元素就都存在了。
第二个问题: 收敛吗?
是下面级数的前 项和 收敛是建立在级数 收敛的基础之上。这就要求必须计算 的大小。这里忽略证明。假定序列收敛,极限函数是
第三个问题:极限函数 的属性?
首先,我们想知道 是不是连续的。即使序列的每一项都是连续的,连续性也不是序列 的收敛的必然结果。有时一系列的连续函数会收敛到非连续的函数。比如 的极限函数 是不连续的。
是连续的不仅说明 收敛,还说明其以某种方式收敛,这中方式称为一致收敛(uniform convergence
)。这里不讨论一致收敛,不过问题二中的约束满足 一致收敛,因此极限函数 在区间 上是连续的。
回到方程 两边同时令 趋于 得到 上式右边交换积分和极限运算符得到 一般情况下,这种交换是错误的。不过由于级数 是一致收敛,使得可以这么做。接下来将极限放到函数 内 因此 这就是说 等价于 在其第二个变量上是连续的,这就是前提假设。因此 是成立的,那么 满足积分方程 ,那么 是初值问题 的解。
第四个问题:除了 之外,存在其他解吗?
和例题类似,使用反证法。假定存在另一个解 ,那么类似的方法可以证明 其中 , 是一个合适的正数。接下来和例子就一模一样了,推出矛盾,那么初值问题只有一个解。