一类离散时间经济学模型全局性分析.docVIP

一类离散时间经济学模型的全局性分析 　　摘要:这篇文章的目的是研究差分方程xn+1=cxn+f(axn-bxn-1),(其中a,b,c是给定的非负常数,f是实函数)的解的有界性、持久性和收敛性。根据的a,b,c不同取值,结合函数f的性质和一类相关的一阶差分方程解的性质给出了该差分方程的解有界、持久和收敛的若干充分条件。 　　关键词:差分方程;有界性;收敛性;持久性 　　 　　一、引言 　　早期,物理学上的牛顿学说革命使差分方程,作为动力学系统数学模型的基础,这种范例的巨大成功导致了差分方程在微分方程离散模型中的广泛使用,主要是为了解决模型中的数字积分。随后,差分方程在数字计算机上的使用也为他们的用户提供很大的动力,只要这些用户了解差分方程的基本性质即可。在二十世纪五十年代开始出现一些有关差分的比较“前卫”的书,二十世纪六十年代的十年间,又有更多这方面的书籍问世,如有Levy,Lessman,Hildebrand,Miller等人编写的一些书。(以上摘自文献[5]) 　　迄今为止,有许多书籍不仅介绍差分方程的基本性质,更多的是写差分方程在实际中的应用,这有助于我们了解研究差分的现实意义。由于生命科学,化学,物理,力学,控制,经济等领域有不少现象只能用离散的数学模型来描述;也由于计算机技术的飞速发展,对连续的数学模型,数值计算其解也需要离散化,即变成差分方程来求解,因此差分方程的研究近年来有了新的飞快发展。随着科学分支的加细,差分方程的应用越来越广,对其的研究也显得越来越重要。下面我们就来讨论一类差分方程的解的性质。 　　先观察下列非线性差分方程: 　　xn+1=cxn+f(xn-xn-1) (a) 　　n=1.2L,其中x0,x1是初始条件,c≥0是常数,f:R→R是实函数,方程(a)出现在早期的数学模型――宏观经济中的“贸易循环”里面,该模型的许多性质在文献[3]中已讨论过(如解的有界性,收敛性,持久性)。而本文考虑如下的差分方程: 　　xn+1=cxn+f(axn-bxn-1)(1) 　　其中a,b,c是给定的非负常数,f是R→R的实函数。显然,当a=b=c时,方程(1)即为(a)。因此,我们的结果推广了文献[3]的相应结论。 　　引入初值问题: 　　vn+1=f(vn)v1=ax1-bx0(*) 　　和 tn+1=f(atn)t1=x1-x0 (**) 　　并记{vn}是(*)的解,{tn}是(**)的解。 　　上述两个初值问题与非线性差分方程(1)相比,前者更易于分析,所以结合这两个初值问题有助于我们讨论差分方程的解的有界性或收敛性。另一方面,方程(1)的解的性质不仅与(*)和(**)的解有关,还与a,b,c的取值范围有关。本文就(H1)?摇0b≤a≤1,0≤c≤1,ac-b≤0的情形讨论方程(1)的解的有界性,持久性和收敛性,并给出其解有界,持久,收敛的充分条件。 　　下面给出文章中涉及到的若干定义: 　　定义1:方程(1)的解:指定义于n=1.2L的一个序列{xn},满足方程(1)。 　　定义2:方程(1)的解有界:指对方程(1)的任意一个解,都存在两个常数(可能与初始条件有关),使得该解在这两个常数之间。 　　定义3:方程(1)持久:指对存在两个常数,使得方程(1)的任意一个解都在这两个常数之间。 　　定义4:方程(1)的解{xn}收敛:指存在一个实数a,对?摇?摇?坌?着0,存在正整数N0,使得当nN时,有|xn-a|?着。 　　定义5:方程(**)的平衡点:指若存在■,满足方程(**),即■=f(a■),则称■是(**)的平衡点。 　　二、在条件(H1)下的基本结论和证明 　　在这一部分里,主要是通过函数f的性质和初值问题(*)的解的性质讨论得出所要的结论。 　　引理1:设函数f在R上是非递减函数,条件(H1)满足, 　　(A)如果{xn}是下列差分不等式: 　　xn+1≤cxn+f(axn-bxn-1)(2) 　　的一个非负解,则对?坌n0,有: 　　xn≤■cn-1x0+■cn-1v1+■cn-kvk(3) 　　(B)如果{xn}是下列差分不等式: 　　xn+1≥cxn+f(axn-bxn-1)(4) 　　的一个非正解,则对?坌n0,有: 　　xn≤■cn-1x0+■cn-1v1+■cn-kvk(5) 　　证明:用数学归纳法证明 　　(??)由v1=ax1-bx0则x1=■x0+■v1 　　故x2≤cxn+f(ax1-bx0) 　　=c(■x0+■v1)+v2 　　=■cx0+■cv1+v2 　　所以n=1,2当时,(3)是成立的。 　　(??)假设当n=N时,(3)也成立,即有: 　　xn≤■cN-1x0+■cN-1v1+