1. 引言
Nagumo于20世纪30年代开创性地提出了二阶微分方程的边值问题的微分不等式理论,给出了Nagumo条件和Nagumo定理,奠定了微分不等式理论的基础 [1] 。其后Howes和Jackson系统地总结发展并简化了该理论 [2] ,使这种简单而有效的理论与方法成为处理各类微分方程的边值问题的解的存在性或唯一性的一种简单而有效的手段。许多学者利用微分不等式理论成功地研究了二阶、三阶乃至高阶微分方程以及微分系统的各类边值问题解的存在性和唯一性 [3] [4] [5] 。但在微分不等式理论中,有一个较强的限制性条件,即Nagumo条件。以二阶微分方程的两点边值问题
为例,若下列条件成立:
<1>
具有
的下解
与上解
;
<2>
在
上连续且关于
满足Nagumo条件,则边值问题(1) (2)存在解
满足
,且有
,
,这里N为仅依赖于
的正常数 [6] 。这里的上解与下解函数,Nagumo条件定义如下:
定义1:若函数
满足:
①
,即
在
上二阶连续可微;
②
,
;
③
,
;
④
,
,
。
则称
和
为边值问题(1)(2)的下解与上解。
定义2:若函数,
满足以下条件:
① 在
上
;
② 在
上,
连续且有
。这里
是在
上连续且单调不减的函数,满足
,
,则称
在
上关于
满足Nagumo条件。
满足Nagumo条件的二阶微分方程边值(1) (2)有如上的重要结论,但是显然有许多二阶微分方程不满足Nagumo条件,如
,当
在
上连续且大于零时,就无法满足Nagumo条件。因此,我们必然会提出这个问题:对于不满足Nagumo条件的边值问题,是否也有如此的结论?我们提出下面的代替Nagumo条件的条件,并在此基础上研究相关的微分不等式理论与解的存在性和唯一性。
2. 引理及证明
考察边值问题
在不具备Nagumo条件下解的存在性与唯一性。
提出如下形式的Nagumo条件的替代条件:
H:
,当
时,
,当
时,
,这里
为存在的某正常数。
引理1:若
在
上连续且有界,则边值问题(1)(2)必存在解
。
证明:通过构造格林函数
,边值问题的解可转化为积分方程
,其中
为
的Green函数。而
为满足
的一次多项式。
定义映射T:
,
,可验证T为
上的某个有界凸闭集到其自身的全连续映射。由Schauder不动点定理 [7] 可得:存在
,使得
,即边值问题存在解
。
引理2:对于任何在
上连续且满足替代条件H的函数
,以及满足边值问题(1) (2)的任一解
,只要
,则必有
,这里
,
。
证明:由
及
,同时若
或
,则
或
。由条件H及
在
上单调增加或单调减少,从而
或
,这与
矛盾。所以
。
下证:
。
假设若存在
,使
,当
时,则
可在
上某点
处取到正的最大值,当然有
。但由条件H知
,这导致矛盾。因此
。
同理可证
。故引理得证。
3. 主要结论及证明
定理1:若边值问题(1) (2)具有下解
和上解
,
在
上连续且关于
满足替代条件H,则边值问题(1) (2)具有解
,满足
,
,且有
,这里
,N即为引理2中的正常数。
证明:在引理1,2的基础上证明定理1。
构造截断函数
,
这里
。显然
在
上有界且连续。
由引理知边值问题
必有解
。
下证
,
。
先证
。若不然存在某些点
,使
。令
,显然
在
上有正的最大值M [8] 。由于
,
,这里只能在
内取得正的最大值M,不妨设为
点。即
,
,
。但由上解
及
的定义必有
,这就导致矛盾。因此必有
。
同理可证
。
对于
,当然有
。从引理的证明可知
,从而
就是边值问题(1) (2)的解,且有
,
。
定理2:若定理1的条件成立,且
在
上关于y严格单调增加,则边值问题(1) (2)存在唯一解
,满足
,
。
证明:若有两个不同的解
,
。令
,
,于是
必在
上取得正的最大值M。
若
则导致矛盾,所以
是不可能的。
若
,则必有
,因而
,但另一方面
,所以
也是不可能的。
这样
只能于点
取得正的最大值M,即有
,
,
,
但另一方面
,这就导致了矛盾。因此唯一性得证。
4. 应用举例
下面将定理1应用于方程
,这里
。
显然它不满足Nagumo条件,但可满足替代性的条件,因此不难得到如下结果:
命题1:对于超二次边值问题
其中
。若下列条件成立:
1) 存在上解
与下解
,
2)
且
,同时
在
连续
则边值问题(5) (6)必存在解
,满足
。
证:只需证边值问题(5) (6)满足条件H。
由于
在
上连续,
在
上连续,故
,使
。存在充分大的
,使得当
时,
;当
时,
,故
符合条件H,故由定理1得,BVP(5)(6)存在解
,满足
。
当然,我们还可给出更多的不满足Nagumo条件的方程类型,但它们都满足该文提到的替代条件。因此在具有上下解的条件下,也可得到解的存在性,这充分说明了替代性条件的应用价值。
基金项目
福建省中青年教师教育科研项目(项目编号:JA15030)。