常微分方程组的解的唯一性存在定理及其应用的关键词怎么找

 我来答
朝阳五行雷
2022-12-11 · TA获得超过201个赞
知道小有建树答主
回答量:5563
采纳率:94%
帮助的人:105万
展开全部
关键词依据:

常微分方程笔记(二) 解的存在唯一性定理

来自专栏BenShui的数学后花园
Picard定理
上次的文章中我们就提到了方程一般无法使用初等积分法去求解,一个很简单的例子是下面这个微分方程[1]



即使形式上这样简单的方程也不存在初等求解的方法.那我们就考虑,这种方程是否有解呢?于是就有了存在唯一性定理.

首先我们先介绍条件:设函数在区域内满足不等式



其中常数.则称函数在区域内对满足条件

定理1.(定理) 设初值问题



其中在矩形区域

内连续,且对满足条件.则在区间上有并且只有一个解,其中常数 

该定理的证明分为以下五步(仅简要叙述):

初值问题等价于积分方程
迭代构造序列
证明该序列一致收敛,考虑级数利用判别法即可证明其一致收敛
证明该序列的极限是的解.等式两边取极限即可
证明唯一性.假设存在两个解,做差证明极限为
对于一般的微分方程



只要能够判别函数在某个区域内连续并且对有连续的偏导数(或满足条件),我们就可以断言在区域内经过每一点有并且仅有一个解.例如方程,我们就很容易判别它在上经过每一点有且仅有一个解.

下面介绍一个比更弱的条件:条件:

设函数在区域内连续,而且满足不等式



其中是的连续函数,并且瑕积分



其中为常数.则称在内对满足条件.

容易看出条件是条件的特例,因为满足上述要求.

定理2.(定理) 设在区域内对满足条件,则微分方程在内经过每一点的解都是唯一的.

我们用一道例题,巩固一下序列的构造过程

例1. 试求初值问题的序列,并由此取极限求解.
【解】







所以方程的解为



Peano存在定理
定理3 设函数在矩形区域内连续,则初值问题



在区间上至少有一个解,这里矩形区域和正数的定义同定理.

为了证明这个定理,我们首先引入欧拉折线的定义.先将区间分为等分,每份的长度为,则分点为



然后从初始点构造序列,即



由此我们就得到了一条连续的折线



称为初值问题的欧拉折线.

此外我们还需要引理:设函数序列



在有限闭区间上式一致有界和等度连续的,则可以选取它的一个子序列



使它在区间上是一致收敛的.

由此我们知道证明存在定理的方法,取欧拉折线序列证明其一致收敛,再证明收敛的极限函数是微分方程的解即可.

解的延伸
在之前的定理中,我们只讨论了局部范围内的性质,现在我们要讨论这解在大范围内的存在性.

定理4 设为区域内任一点,并设为微分方程



经过点的任一条积分曲线,则积分曲线将在区域内延伸到边界.

首先我们设微分方程经过的解有如下表达式:



其中表示的最大存在区间.我们考虑在右侧的延伸情况,令,证明了既不可能是有限闭区间,也不可能是有限半开区间,于是必为,从而积分曲线在点的右侧将延伸到无穷远处;同理可证,其在点的左侧也将延伸到无穷远处.

由定理1和定理4立即得到

推论 设函数在区域内连续,而且对满足局部条件,则微分方程



经过内任一点存在唯一的积分曲线,并且在内延伸到边界
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式