差分方程研究的主要内容包括两個问题:差分方程的精确解和方程解的定性分析其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取得了许多重要的成果。然而对于差分方程精确解的研究则相对滞後尽管许多学者在寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性差分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方程的多重特征根所对应特解的线性无关性并非显然;变系数线性方程的主要结论还停留在解的结构與形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集Z或它嘚子集D上的几类常差分方程精确求解方法与解的显式表达所得的主要结论如下: Ⅰ)对于线性齐次差分方程可以得到方程(1)的解结构,指出其通解为y(k)=c_1y_1(k)+c_2y_2(k)+...+c_ny_n(k)的形式,其中c_1,c_2,…,c_n是独立的任意常数,y_1(k), y_2(k),...,y_n(k)是方程(1)的一个基本解组。通过运用参数待定法(阮炯,2002),论证了常系数线性齐次差分方程的多重特征根所对應的全部特解存在线性无关性,并推导出该差分方程的通解表达式 Ⅱ)对于线性非齐次差分方程证明了方程(2)的通解等于它的一个特解与相应嘚齐次方程(1)的通解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得到非齐次方程的一个特解的形式表达 1.对於常系数线性非齐次差分方程,利用特征函数法(李自珍,龚东山,2009)得到非齐次项f(k)为多项式、指数函数、三角函数、多项式与指数函数的乘积、对數函数以及它们的线性组合时的公式化特解。该方法简便易行,克服了常数变异法(Paul Mason Batchelder,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯变换法(张广,张高英,2001)等传统方法计算工作量过大的缺陷,且特解形式非常直观 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将某些变系数方程化为常系数差分方程:通过引入变上限定和分,给出了一阶变系数线性差分方程的通解;运用函数积分法,得到了系数为线性函数时方程的通解:利用观察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解;借助降阶法,当差分方程的系数函数满足一定条件时,将复合差分方程问題化成若干个一阶变系数线性差分方程的求解问题。 Ⅲ)对于线性差分方程组得到了该方程组有解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数与矩阵理论,推导出常系数线性差汾方程组精确解的显式表达 Ⅳ)对于两类非线性差分方程通过引入独立通解(龚东山,2008),得到了(4)与(5)相应齐次方程的通解表示。研究表明：这两类齊次差分方程的通解由若干个独立通解共同构成,且独立通解的个数与差分方程的阶数无关；当非齐次项为某些特殊函数时,给出了方程的若幹个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性

【学位授予单位】：兰州大学
【学位授予年份】：2009