Advances in Applied Mathematics
Vol.06 No.07(2017), Article ID:22550,4 pages
10.12677/AAM.2017.67107

On the Asymptotic Behavior of x n + 1 = x n 2 + x n 1 2

Shaogao Deng1, Lijun Zhu2, Yue Chao1

1School of Mathematics, Southwest Jiaotong University, Chengdu Sichuan

2School of Mathematics and Information science, North Minzu University, Yinchuan Ningxia

Received: Oct. 8th, 2017; accepted: Oct. 24th, 2017; published: Oct. 31st, 2017

ABSTRACT

This paper considers a nonlinear difference equation x n + 1 = x n 2 + x n 1 2 with the initial values x 0 , x 1 ( 0 , ) . The sufficient conditions under which the solutions converge to zero or diverge to infinity have been obtained.

Keywords:Difference Equation, Equilibrium Point, Asymptotically Stable

差分方程 x n + 1 = x n 2 + x n 1 2 解的渐近性质

邓绍高1,朱立军2,晁越1

1西南交通大学,数学学院,四川 成都

2北方民族大学,数学与信息科学学院,宁夏 银川

收稿日期:2017年10月8日;录用日期:2017年10月24日;发布日期:2017年10月31日

摘 要

本文讨论了非线性差分方程 x n + 1 = x n 2 + x n 1 2 的解的渐近性质,给出了零解的收敛域的一个子域以及得到了初始值 x 0 , x 1 在满足一定的条件下其解发散到无穷大的结论。

关键词 :差分方程,平衡点,渐近稳定

Copyright © 2017 by authors and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY).

http://creativecommons.org/licenses/by/4.0/

1. 引言

差分方程在工程技术、经济理论和社会科学中有着十分重要的作用。因此,有许多作者从事差分方程的研究,并取得了很多成果,可参见文献 [1] [2] [3] [4] 。本文将研究如下的二阶非线性差分方程:

x n + 1 = x n 2 + x n 1 2 (1.1)

其初始 x 0 , x 1 ( 0 , + )

设I为某实数区间,函数 f : I k + 1 I 连续可微, u = ƒ ( v 0 , v 1 , , v k ) ,差分方程:

x n + 1 = ƒ ( x n , x n 1 , , x n k ) , n { k , k + 1 , } (1.2)

其初始值 x i I , i N ( 0 , k ) = { 0 , 1 , , k }

关于差分方程的平衡点、平衡点的稳定性和渐近稳定性以及渐近平衡点的吸引域的有关概念请参看文献 [5] 。

β 是方程(1.2)的平衡点,令

p i = f ˙ v i ( β , β , , β ) , i N ( 0 , k )

称方程:

y n + 1 = p 0 y n + p 1 y n 1 + + p k y n k (1.3)

为方程(1.2)在平衡点 β 处的线性化方程;

称方程:

λ k + 1 p 0 λ k p 1 λ k 1 p k = 0 (1.4)

为方程(1.3)的特征方程(参看文献 [5] )。

引理1.1 [5] :设ƒ是定义在点 ( β , β , , β ) I k + 1 处的某个开邻域内的连续可微函数,其中 β 是方程(1.2)的平衡点。若方程(1.3)的全部特征根的模都小于1,则方程(1.2)的平衡点 β 是(局部)渐近稳定的;若方程(1.3)至少有一个特征根的模大于1,则方程(1.2)的平衡点 β 是不稳定的。

上述差分方程(1.1)有两个平衡点 β = 0 β = 0.5 。在平衡点 β = 0 处,其线性化方程的特征根

λ 1 = λ 2 = 0 ,

所以平衡点 β = 0 是渐近稳定的。在平衡点 β = 0.5 处,其线性化方程有一特征根:

λ = ( 1 + 5 ) / 2 > 1

所以平衡点 β = 0.5 是不稳定的。

本文给出了平衡点 β = 0 的吸引域的子域。即当初始值 x 0 , x 1 在这个子域中时,方程(1.1)的解收敛到零;同时给出了当初始值 x 0 , x 1 在一定的条件下方程(1.1)的解发散到无穷大的结论。

2. 主要结果

在初始值 x 0 , x 1 满足条件: x 0 2 + x 1 2 1 时,方程(1.1)的解发散到无穷。我们在此只给出平衡点 β = 0 的吸引域的一个子域。

定理2.1:设 D = I 2 \ { ( 0.5 , 0.5 ) } ,其中 I = [ 0 , 0.5 ] ,则D是平衡点 β = 0 的吸引域的子域。即 ( x 0 , x 1 ) D 方程(1.1)的解 { x n } n = 0 满足:

lim n x n = 0 .

证明: ( x 0 , x 1 ) D ,有 x 2 = x 0 2 + x 1 2 < 0.5 2 + 0.5 2 = 0.5

x 3 = x 2 2 + x 1 2 < 0.5 2 + 0.5 2 = 0.5

r = 2 max { x 2 , x 3 } ,则 r < 1 , x 2 0.5 r , x 3 0.5 r

则, x 4 = x 3 2 + x 2 2 ( 0.5 r ) 2 + ( 0.5 r ) 2 = 0.5 r 2 0.5 r

x 5 = x 4 2 + x 3 2 ( 0.5 r ) 2 + ( 0.5 r ) 2 = 0.5 r 2

x 2 k 0.5 r k , x 2 k + 1 0.5 r k , k 1 ,则

x 2 ( k + 1 ) = x 2 k + 1 2 + x 2 k 2 ( 0.5 r k ) 2 + ( 0.5 r k ) 2 = 0.5 r 2 k 0.5 r k + 1 0.5 r k ,

x 2 ( k + 1 ) + 1 = x 2 ( k + 1 ) 2 + x 2 k + 1 2 ( 0.5 r k ) 2 + ( 0.5 r k ) 2 = 0.5 r 2 k 0.5 r k + 1 .

故, n N , x 2 n 0.5 r n , x 2 n + 1 0.5 r n 成立。

由此得 lim n x 2 n = 0 , lim n x ( 2 n + 1 ) = 0

从而, lim n x n = 0 。证毕。

注记2.1:定理2.1给出了平衡点 β = 0 的吸引域的子域,也暗示了在初始值 x 0 , x 1 满足条件: x 0 2 + x 1 2 < 1 时,方程(1.1)的解有可能收敛到零,也可能发散到无穷大。

定理2.2:当 x 0 0.5 , x 1 > 0.5 x 0 > 0.5 , x 1 0.5 时,方程(1.1)的解 { x n } n = 0 发散到无穷大。即:

lim n x n =

证明: ,

x 3 = x 2 2 + x 1 2 > 0.5 2 + 0.5 2 = 0.5 ,

r = 2 min { x 2 , x 3 }

r > 1 , x 2 0.5 r , x 3 0.5 r

假设 k 1 , x 2 k 0.5 r k , x ( 2 k + 1 ) 0.5 r k

x 2 ( k + 1 ) = x 2 k + 1 2 + x 2 k 2 ( 0.5 r k ) 2 + ( 0.5 r k ) 2 = 0.5 r 2 k 0.5 r k + 1 0.5 r k ,

x 2 ( k + 1 ) + 1 = x 2 ( k + 1 ) 2 + x 2 k + 1 2 ( 0.5 r k ) 2 + ( 0.5 r k ) 2 0.5 r k + 1 .

n N n 1 x 2 n 0.5 r n x ( 2 n + 1 ) 0.5 r n

所以 lim n x 2 n = lim n x ( 2 n + 1 ) =

从而得 lim n x n = 。证毕。

注记2.2:首先,我们可以判断平衡点 β = 0 的吸引域的边界曲线是:

x 1 = x 1 ( x 0 ) , ( 0 x 0 c ) ,

x 1 是关于 x 0 单调递减的和经过点 ( 0.5 , 0.5 ) ,其中c是某个常数。但要具体地求出c的值是不容易的,若要确定这条边界曲线那就更复杂了。

下面我们来估计一下常数c的取值范围。

x 1 = 0 ,则 x 2 = x 1 2 + x 0 2 = x 0 2

x 3 = x 2 2 + x 1 2 = x 0 4 ;

x 4 = x 3 2 + x 2 2 = x 0 8 + x 0 4 < 1 ;

由此得, x 0 < 0.5 5 0.5 4

所以, c < 0.5 5 0.5 4

另一方面,由定理2.1知,当 x 1 = 0 x 0 = 0.5 时, lim n x n = 0

综上可得, 0.5 c < 0.5 5 0.5 4

其次,当 x 0 = 0 时,我们来估计一下 x 1 的取值范围。

x 2 = x 1 2 + x 0 2 = x 1 2 ;

x 3 = x 2 2 + x 1 2 = x 1 4 + x 1 2 < 1 ;

同上可得, 0.5 x 1 < 0.5 5 0.5

由于 0.5 5 0.5 0.7862 , 0.5 5 0.5 4 0.8867 可知,定理2.1中的吸引域的子域已经是吸引域的大部分了。

基金项目

国家自然科学基金(61362033);四川省科技厅基础研究计划(2011JYZ002);西南交通大学本科教育教学研究与改革项目(201704010)。

文章引用

邓绍高,朱立军,晁越. 差分方程xn+1 =xn2+ xn-12解的渐近性质
On the Asymptotic Behavior of xn+1 =xn2+ xn-12[J]. 应用数学进展, 2017, 06(07): 892-895. http://dx.doi.org/10.12677/AAM.2017.67107

参考文献 (References)

  1. 1. Amleh, A.M., Grove, E.A., Ladas, G. and Georgiou, D.A. (1999) On the Recursive Sequence . Journal of Mathe-matical Analysis and Applications, 233, 790-798. https://doi.org/10.1006/jmaa.1999.6346

  2. 2. Stevic, S. (2009) Boundedness Cha-racter of a Class of Difference Equations. Nonlinear Analysis, 70, 839-848. https://doi.org/10.1016/j.na.2008.01.014

  3. 3. 徐胜荣, 王希超, 周营营. 一类差分方程的稳定性研究[J]. 山东农业大学学报(自然科学版), 2013, 44(4): 624-629.

  4. 4. 尤严. 一类非线性二阶差分方程Robin问题多个正解的存在性[J]. 吉林大学学报(理学版), 2017, 55(2): 257-261.

  5. 5. Elaydi, S. (2005) An Introduction to Difference Equations. 3rd Edition, Springer-Verlag, Ber-lin.

期刊菜单