1. 引言
考虑高阶函数方程
(1.1)
其中
,
是一个给定的函数,
是一个未知函数,
是
上的无界子集。
,
表示函数
的
次迭代,即:
![](//html.hanspub.org/file/11-1250525x26_hanspub.png)
如果函数
使得
对
成立,且对
满足(1.1)则称其为方程(1.1)的一个解。这样的解称作是振动的。
当
时方程为:
(1.2)
其中
是给定的函数。
微分方程和离散变量的差分方程的振动理论在过去几十年中已经得到广泛地发展,最近带有连续变量的差分方程的振动性研究也得到迅速的发展。然而函数方程以离散变量和具连续变量的差分方程作为其特殊情形,且函数方程以及具有连续变量的差分方程解的振动性的研究也越来越受到人们的重视(参见 [1] - [15] )。1994年,Golda和Werbowski [1] 首先对方程(1.2)的解的振动性做了研究,从他们的研究中我们可以知道,如果
(1.3)
或
(1.4)
时方程(1.2)所有的解振动。
同时他们也将(1.3)推广到:
(1.5)
那么
是一个整数。
1995年,Nowakowska和Werbowsk [2] :将条件(1.4)推广到方程
![](//html.hanspub.org/file/11-1250525x38_hanspub.png)
(1.6)
或
(1.7)
其中
(1.8)
1999年,周勇和俞元洪 [3] 研究方程(1.1)的解的振动性。他们证明了方程(1.1)的所有解振动,如果
(1.9)
或
(1.10)
是方程
在
上唯一的实根。
本文我们在文 [4] [5] 的基础上,研究了方程(1.1),得到一切解振动的几个充分条件。
2. 主要定理及相关证明
引理1.1. 假设,
,
,
,
是方程(1.1)的最终正解,那么
(2.1)
证明:由(1.1)有![](//html.hanspub.org/file/11-1250525x52_hanspub.png)
因为当
时,
,有
(2.2)
又因为
![](//html.hanspub.org/file/11-1250525x56_hanspub.png)
故有
![](//html.hanspub.org/file/11-1250525x57_hanspub.png)
当
,对任意
,有
(2.3)
由(2.2)得
令
,即
(2.4)
由(1.1)、(2.3)和(2.4)有
(2.5)
将(2.3)代入(2.5)中,有
![](//html.hanspub.org/file/11-1250525x65_hanspub.png)
![](//html.hanspub.org/file/11-1250525x66_hanspub.png)
即
![](//html.hanspub.org/file/11-1250525x67_hanspub.png)
于是得到
![](//html.hanspub.org/file/11-1250525x68_hanspub.png)
令
同理可得
![](//html.hanspub.org/file/11-1250525x70_hanspub.png)
并且由
得
。
则
是单调递减,即
也是单调递减。
令
使得
成立。
所以,由
![](//html.hanspub.org/file/11-1250525x77_hanspub.png)
可得
![](//html.hanspub.org/file/11-1250525x78_hanspub.png)
当
,得到(2.1)即有
![](//html.hanspub.org/file/11-1250525x80_hanspub.png)
以上是
时的证明。
下证
由(1.1)有
(2.6)
且
(2.7)
由上述可知
。
因为
∴
。
因此,当
时,假定
任意
有
(2.8)
由(2.7)得
![](//html.hanspub.org/file/11-1250525x92_hanspub.png)
因为
,
,
又由![](//html.hanspub.org/file/11-1250525x96_hanspub.png)
∴![](//html.hanspub.org/file/11-1250525x97_hanspub.png)
由此可得
,
所以有
,
即
令
,
则有
。
同理可得,如此巡回的过程得到
![](//html.hanspub.org/file/11-1250525x103_hanspub.png)
故
![](//html.hanspub.org/file/11-1250525x104_hanspub.png)
定理1.1. 假设
,
(2.9)
当
,
的整数,且
(2.10)
那么方程(1.1)的一切解是振动,这里
。
由(1.1)对于任意足够小
,
得到不等式
(2.11)
(2.12)
这里
。
由(2.11)得到
(2.13)
由(2.7)归纳有
(2.14)
由(2.7)和(2.14)对于
的整数
![](//html.hanspub.org/file/11-1250525x119_hanspub.png)
![](//html.hanspub.org/file/11-1250525x120_hanspub.png)
![](//html.hanspub.org/file/11-1250525x121_hanspub.png)
如此重复上述过程可得
![](//html.hanspub.org/file/11-1250525x122_hanspub.png)
对于(2.12)和(2.13)得到
![](//html.hanspub.org/file/11-1250525x123_hanspub.png)
两边除以
取极限且
,得到
![](//html.hanspub.org/file/11-1250525x126_hanspub.png)
令
有
。证毕
定理1.2. 当
时,而且
,
那么方程(1.1)的所有解振动。
证明:当
时,对任意
当
时由(2.3)迭代有
![](//html.hanspub.org/file/11-1250525x134_hanspub.png)
由(2.1)得
,且
(2.15)
将
与
两式相乘必存在
![](//html.hanspub.org/file/11-1250525x139_hanspub.png)
最终得到
![](//html.hanspub.org/file/11-1250525x140_hanspub.png)
所以,当
时,满足
,那么方程(1.1)的所有解振动。于是定理1.2得以证明。
定理1.3. 当
满足![](//html.hanspub.org/file/11-1250525x144_hanspub.png)
那么方程(1.1)的所有解振动。这里![](//html.hanspub.org/file/11-1250525x145_hanspub.png)
证明:由(2.1)得:![](//html.hanspub.org/file/11-1250525x146_hanspub.png)
由(2.15)得
![](//html.hanspub.org/file/11-1250525x147_hanspub.png)
将
与![](//html.hanspub.org/file/11-1250525x149_hanspub.png)
两式相乘必存在
![](//html.hanspub.org/file/11-1250525x150_hanspub.png)
于是得到:
证毕。
定理1.4. 当
时
的整数,并且满足
![](//html.hanspub.org/file/11-1250525x154_hanspub.png)
那么方程(1.1)的一切解是振动,这里![](//html.hanspub.org/file/11-1250525x155_hanspub.png)
证明:假设(1.1)有解,存在一个
,且
时
(2.16)
由(2.16)迭代可得
![](//html.hanspub.org/file/11-1250525x159_hanspub.png)
![](//html.hanspub.org/file/11-1250525x160_hanspub.png)
有![](//html.hanspub.org/file/11-1250525x161_hanspub.png)
![](//html.hanspub.org/file/11-1250525x162_hanspub.png)
由![](//html.hanspub.org/file/11-1250525x163_hanspub.png)
得到:![](//html.hanspub.org/file/11-1250525x164_hanspub.png)
![](//html.hanspub.org/file/11-1250525x165_hanspub.png)
两边同时除以
得到
![](//html.hanspub.org/file/11-1250525x167_hanspub.png)
当
时,得到
![](//html.hanspub.org/file/11-1250525x169_hanspub.png)
时方程(1.1)有最终正解。引理证毕。
引理1.2. 假设
,
是方程
,
(2.17)
的一个最终正解,那么
。
这里
是方程
在
上的最大实根。
证明:由方程(1.1)有
(2.18)
且
通过(2.18)迭代,得
(2.19)
将(2.19)代入(2.17)式得
![](//html.hanspub.org/file/11-1250525x181_hanspub.png)
从而有
且
![](//html.hanspub.org/file/11-1250525x183_hanspub.png)
![](//html.hanspub.org/file/11-1250525x184_hanspub.png)
![](//html.hanspub.org/file/11-1250525x185_hanspub.png)
令![](//html.hanspub.org/file/11-1250525x186_hanspub.png)
当
时![](//html.hanspub.org/file/11-1250525x188_hanspub.png)
这里
是方程
在
上的最大实根。证毕。
定理1.5. 假设
![](//html.hanspub.org/file/11-1250525x192_hanspub.png)
那么方程
,
(2.20)
的所有解振动。如果
![](//html.hanspub.org/file/11-1250525x195_hanspub.png)
其中
由引理1.2确定。
证明:由于
,通过(2.18)迭代,得
,
(2.21)
将(2.21)代入(2.20)式,得
(2.22)
从而有
由引理(1.2)得
,即
。
由(2.22)得
![](//html.hanspub.org/file/11-1250525x204_hanspub.png)
由定理1.2得
且
。
则
![](//html.hanspub.org/file/11-1250525x207_hanspub.png)
下面证明之
当
时,![](//html.hanspub.org/file/11-1250525x209_hanspub.png)
因为
即![](//html.hanspub.org/file/11-1250525x211_hanspub.png)
则![](//html.hanspub.org/file/11-1250525x212_hanspub.png)
事实上,若
,则
(2.23)
成立。
下面证明
当
时
(2.24)
将(2.23)代入(2.20)式,得
![](//html.hanspub.org/file/11-1250525x217_hanspub.png)
故由归纳法之(2.24)式成立
则![](//html.hanspub.org/file/11-1250525x218_hanspub.png)
即![](//html.hanspub.org/file/11-1250525x219_hanspub.png)
其中
由引理1.2确定。定理证毕。
基金项目
国家自然科学基金(No:11271380);茂名市科技局软科学项目(No:2014083;2015038)。
NOTES
*通讯作者。