1、数学 应用数学专业毕业论文 精品论文 几类常差分方程精确解的研究关键词:差分方程 方程解 精确求解 线性齐次差分方程 线性非齐次差分方程摘要:差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取得了许多重要的成果。然而对于差分方程精确解的研究则相对滞后。尽管许多学者在寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性若分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方程的多重特征根所
2、对应特解的线性无关性并非显然;变系数线性方程的主要结论还停留在解的结构与形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集 Z 或它的子集 D 上的几类常差分方程精确求解方法与解的显式表达。所得的主要结论如下: I)对于线性齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=0(1) 可以得到方程(1)的解结构,指出其通解为 y(k)=c1y1(k)+c2y2(k)+cnyn(k)的形式,其中 c1,c2,cn 是独立的任意常数,y1(k),y2(k),yn(k)是方程(
3、1)的一个基本解组。通过运用参数待定法(阮炯,2002),论证了常系数线性齐次差分方程的多重特征根所对应的全部特解存在线性无关性,并推导出该差分方程的通解表达式。 II)对于线性非齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=f(k)(2) 证明了方程(2)的通解等于它的一个特解与相应的齐次方程(1)的通解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得到非齐次方程的一个特解的形式表达。 1.对于常系数线性非齐次差分方程,利用特征函数法(李自珍,龚东山,2009)得到非齐次项.厂(七)为多项式、指数函数、三角函数、
4、多项式与指数函数的乘积、对数函数以及它们的线性组合时的公式化特解。该方法简便易行,克服了常数变异法(Paul Mason Batchelder,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯变换法(张广,张高英,2001)等传统方法计算工作量过人的缺陷,且特解形式非常直观。 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将某些变系数方程化为常系数差分方程;通过引入变上限定和分,给出了一阶变系数线性差分方程的通解:运用函数积分法,得到了系数为线性函数时方程的通解;利用观察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解;借助降阶法,当
5、差分方程的系数函数满足一定条件时,将复合差分方程问题化成若干个一阶变系数线性差分方程的求解问题。 III)对于线性差分方程组得到了该方程组有解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数与矩阵理论,推导出常系数线性差分方程组精确解的显式表达。 IV)对于两类非线性差分方程 通过引入独立通解(龚东山,2008),得到了(4)与(5)相应齐次方程的通解表示。研究表明:这两类齐次差分方程的通解由若干个独立通解共同构成,且独立通解的个数与差分方程的阶数无关;当非齐次项为某些特殊函数时,给出了方程的若干
6、个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性。正文内容差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取得了许多重要的成果。然而对于差分方程精确解的研究则相对滞后。尽管许多学者在寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性若分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方程的多重特征根所对应特解的线性无关性并非显然;变系数线性方程的主要结论还停留在解的
7、结构与形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集 Z 或它的子集 D 上的几类常差分方程精确求解方法与解的显式表达。所得的主要结论如下: I)对于线性齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=0(1) 可以得到方程(1)的解结构,指出其通解为 y(k)=c1y1(k)+c2y2(k)+cnyn(k)的形式,其中 c1,c2,cn 是独立的任意常数,y1(k),y2(k),yn(k)是方程(1)的一个基本解组。通过运用参数待定法(阮炯,2002),论证了常
8、系数线性齐次差分方程的多重特征根所对应的全部特解存在线性无关性,并推导出该差分方程的通解表达式。 II)对于线性非齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=f(k)(2) 证明了方程(2)的通解等于它的一个特解与相应的齐次方程(1)的通解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得到非齐次方程的一个特解的形式表达。 1.对于常系数线性非齐次差分方程,利用特征函数法(李自珍,龚东山,2009)得到非齐次项.厂(七)为多项式、指数函数、三角函数、多项式与指数函数的乘积、对数函数以及它们的线性组合时的公式化特解。
9、该方法简便易行,克服了常数变异法(Paul Mason Batchelder,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯变换法(张广,张高英,2001)等传统方法计算工作量过人的缺陷,且特解形式非常直观。 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将某些变系数方程化为常系数差分方程;通过引入变上限定和分,给出了一阶变系数线性差分方程的通解:运用函数积分法,得到了系数为线性函数时方程的通解;利用观察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解;借助降阶法,当差分方程的系数函数满足一定条件时,将复合差分方程问题化成若干个一阶
10、变系数线性差分方程的求解问题。 III)对于线性差分方程组得到了该方程组有解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数与矩阵理论,推导出常系数线性差分方程组精确解的显式表达。 IV)对于两类非线性差分方程 通过引入独立通解(龚东山,2008),得到了(4)与(5)相应齐次方程的通解表示。研究表明:这两类齐次差分方程的通解由若干个独立通解共同构成,且独立通解的个数与差分方程的阶数无关;当非齐次项为某些特殊函数时,给出了方程的若干个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性
11、。差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取得了许多重要的成果。然而对于差分方程精确解的研究则相对滞后。尽管许多学者在寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性若分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方程的多重特征根所对应特解的线性无关性并非显然;变系数线性方程的主要结论还停留在解的结构与形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎
12、卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集 Z 或它的子集 D 上的几类常差分方程精确求解方法与解的显式表达。所得的主要结论如下: I)对于线性齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=0(1) 可以得到方程(1)的解结构,指出其通解为 y(k)=c1y1(k)+c2y2(k)+cnyn(k)的形式,其中 c1,c2,cn 是独立的任意常数,y1(k),y2(k),yn(k)是方程(1)的一个基本解组。通过运用参数待定法(阮炯,2002),论证了常系数线性齐次差分方程的多重特征根所对应的全部特解存在线性无关性,并推导出该
13、差分方程的通解表达式。 II)对于线性非齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=f(k)(2) 证明了方程(2)的通解等于它的一个特解与相应的齐次方程(1)的通解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得到非齐次方程的一个特解的形式表达。 1.对于常系数线性非齐次差分方程,利用特征函数法(李自珍,龚东山,2009)得到非齐次项.厂(七)为多项式、指数函数、三角函数、多项式与指数函数的乘积、对数函数以及它们的线性组合时的公式化特解。该方法简便易行,克服了常数变异法(Paul Mason Batchelde
14、r,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯变换法(张广,张高英,2001)等传统方法计算工作量过人的缺陷,且特解形式非常直观。 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将某些变系数方程化为常系数差分方程;通过引入变上限定和分,给出了一阶变系数线性差分方程的通解:运用函数积分法,得到了系数为线性函数时方程的通解;利用观察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解;借助降阶法,当差分方程的系数函数满足一定条件时,将复合差分方程问题化成若干个一阶变系数线性差分方程的求解问题。 III)对于线性差分方程组得到了该方程组有
15、解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数与矩阵理论,推导出常系数线性差分方程组精确解的显式表达。 IV)对于两类非线性差分方程 通过引入独立通解(龚东山,2008),得到了(4)与(5)相应齐次方程的通解表示。研究表明:这两类齐次差分方程的通解由若干个独立通解共同构成,且独立通解的个数与差分方程的阶数无关;当非齐次项为某些特殊函数时,给出了方程的若干个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性。差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。
16、其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取得了许多重要的成果。然而对于差分方程精确解的研究则相对滞后。尽管许多学者在寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性若分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方程的多重特征根所对应特解的线性无关性并非显然;变系数线性方程的主要结论还停留在解的结构与形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集 Z 或它的子集
17、D 上的几类常差分方程精确求解方法与解的显式表达。所得的主要结论如下: I)对于线性齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=0(1) 可以得到方程(1)的解结构,指出其通解为 y(k)=c1y1(k)+c2y2(k)+cnyn(k)的形式,其中 c1,c2,cn 是独立的任意常数,y1(k),y2(k),yn(k)是方程(1)的一个基本解组。通过运用参数待定法(阮炯,2002),论证了常系数线性齐次差分方程的多重特征根所对应的全部特解存在线性无关性,并推导出该差分方程的通解表达式。 II)对于线性非齐次差分方程 Eny(k)+a1(
18、k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=f(k)(2) 证明了方程(2)的通解等于它的一个特解与相应的齐次方程(1)的通解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得到非齐次方程的一个特解的形式表达。 1.对于常系数线性非齐次差分方程,利用特征函数法(李自珍,龚东山,2009)得到非齐次项.厂(七)为多项式、指数函数、三角函数、多项式与指数函数的乘积、对数函数以及它们的线性组合时的公式化特解。该方法简便易行,克服了常数变异法(Paul Mason Batchelder,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯
19、变换法(张广,张高英,2001)等传统方法计算工作量过人的缺陷,且特解形式非常直观。 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将某些变系数方程化为常系数差分方程;通过引入变上限定和分,给出了一阶变系数线性差分方程的通解:运用函数积分法,得到了系数为线性函数时方程的通解;利用观察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解;借助降阶法,当差分方程的系数函数满足一定条件时,将复合差分方程问题化成若干个一阶变系数线性差分方程的求解问题。 III)对于线性差分方程组得到了该方程组有解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差
20、分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数与矩阵理论,推导出常系数线性差分方程组精确解的显式表达。 IV)对于两类非线性差分方程 通过引入独立通解(龚东山,2008),得到了(4)与(5)相应齐次方程的通解表示。研究表明:这两类齐次差分方程的通解由若干个独立通解共同构成,且独立通解的个数与差分方程的阶数无关;当非齐次项为某些特殊函数时,给出了方程的若干个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性。差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、
21、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取得了许多重要的成果。然而对于差分方程精确解的研究则相对滞后。尽管许多学者在寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性若分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方程的多重特征根所对应特解的线性无关性并非显然;变系数线性方程的主要结论还停留在解的结构与形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集 Z 或它的子集 D 上的几类常差分方程精确求解方法与解的显式表达。所得的主要结论如下: I
22、)对于线性齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=0(1) 可以得到方程(1)的解结构,指出其通解为 y(k)=c1y1(k)+c2y2(k)+cnyn(k)的形式,其中 c1,c2,cn 是独立的任意常数,y1(k),y2(k),yn(k)是方程(1)的一个基本解组。通过运用参数待定法(阮炯,2002),论证了常系数线性齐次差分方程的多重特征根所对应的全部特解存在线性无关性,并推导出该差分方程的通解表达式。 II)对于线性非齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=f(k
23、)(2) 证明了方程(2)的通解等于它的一个特解与相应的齐次方程(1)的通解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得到非齐次方程的一个特解的形式表达。 1.对于常系数线性非齐次差分方程,利用特征函数法(李自珍,龚东山,2009)得到非齐次项.厂(七)为多项式、指数函数、三角函数、多项式与指数函数的乘积、对数函数以及它们的线性组合时的公式化特解。该方法简便易行,克服了常数变异法(Paul Mason Batchelder,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯变换法(张广,张高英,2001)等传统方法计算工作量过人的缺陷,且特解形式
24、非常直观。 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将某些变系数方程化为常系数差分方程;通过引入变上限定和分,给出了一阶变系数线性差分方程的通解:运用函数积分法,得到了系数为线性函数时方程的通解;利用观察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解;借助降阶法,当差分方程的系数函数满足一定条件时,将复合差分方程问题化成若干个一阶变系数线性差分方程的求解问题。 III)对于线性差分方程组得到了该方程组有解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数
25、与矩阵理论,推导出常系数线性差分方程组精确解的显式表达。 IV)对于两类非线性差分方程 通过引入独立通解(龚东山,2008),得到了(4)与(5)相应齐次方程的通解表示。研究表明:这两类齐次差分方程的通解由若干个独立通解共同构成,且独立通解的个数与差分方程的阶数无关;当非齐次项为某些特殊函数时,给出了方程的若干个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性。差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取
26、得了许多重要的成果。然而对于差分方程精确解的研究则相对滞后。尽管许多学者在寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性若分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方程的多重特征根所对应特解的线性无关性并非显然;变系数线性方程的主要结论还停留在解的结构与形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集 Z 或它的子集 D 上的几类常差分方程精确求解方法与解的显式表达。所得的主要结论如下: I)对于线性齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1
27、(k)Ey(k)+an(k)y(k)=0(1) 可以得到方程(1)的解结构,指出其通解为 y(k)=c1y1(k)+c2y2(k)+cnyn(k)的形式,其中 c1,c2,cn 是独立的任意常数,y1(k),y2(k),yn(k)是方程(1)的一个基本解组。通过运用参数待定法(阮炯,2002),论证了常系数线性齐次差分方程的多重特征根所对应的全部特解存在线性无关性,并推导出该差分方程的通解表达式。 II)对于线性非齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=f(k)(2) 证明了方程(2)的通解等于它的一个特解与相应的齐次方程(1)的通
28、解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得到非齐次方程的一个特解的形式表达。 1.对于常系数线性非齐次差分方程,利用特征函数法(李自珍,龚东山,2009)得到非齐次项.厂(七)为多项式、指数函数、三角函数、多项式与指数函数的乘积、对数函数以及它们的线性组合时的公式化特解。该方法简便易行,克服了常数变异法(Paul Mason Batchelder,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯变换法(张广,张高英,2001)等传统方法计算工作量过人的缺陷,且特解形式非常直观。 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将
29、某些变系数方程化为常系数差分方程;通过引入变上限定和分,给出了一阶变系数线性差分方程的通解:运用函数积分法,得到了系数为线性函数时方程的通解;利用观察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解;借助降阶法,当差分方程的系数函数满足一定条件时,将复合差分方程问题化成若干个一阶变系数线性差分方程的求解问题。 III)对于线性差分方程组得到了该方程组有解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数与矩阵理论,推导出常系数线性差分方程组精确解的显式表达。 IV)对于两类非
30、线性差分方程 通过引入独立通解(龚东山,2008),得到了(4)与(5)相应齐次方程的通解表示。研究表明:这两类齐次差分方程的通解由若干个独立通解共同构成,且独立通解的个数与差分方程的阶数无关;当非齐次项为某些特殊函数时,给出了方程的若干个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性。差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取得了许多重要的成果。然而对于差分方程精确解的研究则相对滞后。尽管许多学者在
31、寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性若分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方程的多重特征根所对应特解的线性无关性并非显然;变系数线性方程的主要结论还停留在解的结构与形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集 Z 或它的子集 D 上的几类常差分方程精确求解方法与解的显式表达。所得的主要结论如下: I)对于线性齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=0(1) 可以得到方程(1)的解结构
32、,指出其通解为 y(k)=c1y1(k)+c2y2(k)+cnyn(k)的形式,其中 c1,c2,cn 是独立的任意常数,y1(k),y2(k),yn(k)是方程(1)的一个基本解组。通过运用参数待定法(阮炯,2002),论证了常系数线性齐次差分方程的多重特征根所对应的全部特解存在线性无关性,并推导出该差分方程的通解表达式。 II)对于线性非齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=f(k)(2) 证明了方程(2)的通解等于它的一个特解与相应的齐次方程(1)的通解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得
33、到非齐次方程的一个特解的形式表达。 1.对于常系数线性非齐次差分方程,利用特征函数法(李自珍,龚东山,2009)得到非齐次项.厂(七)为多项式、指数函数、三角函数、多项式与指数函数的乘积、对数函数以及它们的线性组合时的公式化特解。该方法简便易行,克服了常数变异法(Paul Mason Batchelder,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯变换法(张广,张高英,2001)等传统方法计算工作量过人的缺陷,且特解形式非常直观。 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将某些变系数方程化为常系数差分方程;通过引入变上限定和分,给出了一阶变系数线
34、性差分方程的通解:运用函数积分法,得到了系数为线性函数时方程的通解;利用观察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解;借助降阶法,当差分方程的系数函数满足一定条件时,将复合差分方程问题化成若干个一阶变系数线性差分方程的求解问题。 III)对于线性差分方程组得到了该方程组有解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数与矩阵理论,推导出常系数线性差分方程组精确解的显式表达。 IV)对于两类非线性差分方程 通过引入独立通解(龚东山,2008),得到了(4)与(5)相
35、应齐次方程的通解表示。研究表明:这两类齐次差分方程的通解由若干个独立通解共同构成,且独立通解的个数与差分方程的阶数无关;当非齐次项为某些特殊函数时,给出了方程的若干个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性。差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取得了许多重要的成果。然而对于差分方程精确解的研究则相对滞后。尽管许多学者在寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性
36、若分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方程的多重特征根所对应特解的线性无关性并非显然;变系数线性方程的主要结论还停留在解的结构与形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集 Z 或它的子集 D 上的几类常差分方程精确求解方法与解的显式表达。所得的主要结论如下: I)对于线性齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=0(1) 可以得到方程(1)的解结构,指出其通解为 y(k)=c1y1(k)+c2y2(k)+cnyn(k)的
37、形式,其中 c1,c2,cn 是独立的任意常数,y1(k),y2(k),yn(k)是方程(1)的一个基本解组。通过运用参数待定法(阮炯,2002),论证了常系数线性齐次差分方程的多重特征根所对应的全部特解存在线性无关性,并推导出该差分方程的通解表达式。 II)对于线性非齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=f(k)(2) 证明了方程(2)的通解等于它的一个特解与相应的齐次方程(1)的通解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得到非齐次方程的一个特解的形式表达。 1.对于常系数线性非齐次差分方程,利用
38、特征函数法(李自珍,龚东山,2009)得到非齐次项.厂(七)为多项式、指数函数、三角函数、多项式与指数函数的乘积、对数函数以及它们的线性组合时的公式化特解。该方法简便易行,克服了常数变异法(Paul Mason Batchelder,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯变换法(张广,张高英,2001)等传统方法计算工作量过人的缺陷,且特解形式非常直观。 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将某些变系数方程化为常系数差分方程;通过引入变上限定和分,给出了一阶变系数线性差分方程的通解:运用函数积分法,得到了系数为线性函数时方程的通解;利用观
39、察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解;借助降阶法,当差分方程的系数函数满足一定条件时,将复合差分方程问题化成若干个一阶变系数线性差分方程的求解问题。 III)对于线性差分方程组得到了该方程组有解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数与矩阵理论,推导出常系数线性差分方程组精确解的显式表达。 IV)对于两类非线性差分方程 通过引入独立通解(龚东山,2008),得到了(4)与(5)相应齐次方程的通解表示。研究表明:这两类齐次差分方程的通解由若干个独立通解共
40、同构成,且独立通解的个数与差分方程的阶数无关;当非齐次项为某些特殊函数时,给出了方程的若干个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性。差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取得了许多重要的成果。然而对于差分方程精确解的研究则相对滞后。尽管许多学者在寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性若分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方
41、程的多重特征根所对应特解的线性无关性并非显然;变系数线性方程的主要结论还停留在解的结构与形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集 Z 或它的子集 D 上的几类常差分方程精确求解方法与解的显式表达。所得的主要结论如下: I)对于线性齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=0(1) 可以得到方程(1)的解结构,指出其通解为 y(k)=c1y1(k)+c2y2(k)+cnyn(k)的形式,其中 c1,c2,cn 是独立的任意常数,y1(k),y2(k),y
42、n(k)是方程(1)的一个基本解组。通过运用参数待定法(阮炯,2002),论证了常系数线性齐次差分方程的多重特征根所对应的全部特解存在线性无关性,并推导出该差分方程的通解表达式。 II)对于线性非齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=f(k)(2) 证明了方程(2)的通解等于它的一个特解与相应的齐次方程(1)的通解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得到非齐次方程的一个特解的形式表达。 1.对于常系数线性非齐次差分方程,利用特征函数法(李自珍,龚东山,2009)得到非齐次项.厂(七)为多项式、指数
43、函数、三角函数、多项式与指数函数的乘积、对数函数以及它们的线性组合时的公式化特解。该方法简便易行,克服了常数变异法(Paul Mason Batchelder,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯变换法(张广,张高英,2001)等传统方法计算工作量过人的缺陷,且特解形式非常直观。 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将某些变系数方程化为常系数差分方程;通过引入变上限定和分,给出了一阶变系数线性差分方程的通解:运用函数积分法,得到了系数为线性函数时方程的通解;利用观察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解
44、;借助降阶法,当差分方程的系数函数满足一定条件时,将复合差分方程问题化成若干个一阶变系数线性差分方程的求解问题。 III)对于线性差分方程组得到了该方程组有解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数与矩阵理论,推导出常系数线性差分方程组精确解的显式表达。 IV)对于两类非线性差分方程 通过引入独立通解(龚东山,2008),得到了(4)与(5)相应齐次方程的通解表示。研究表明:这两类齐次差分方程的通解由若干个独立通解共同构成,且独立通解的个数与差分方程的阶数无关;当非齐次项为某些特殊函数时,
45、给出了方程的若干个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性。差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、有界性、振动性、渐近性、周期性和概周期性等问题,相关的研究在过去几十年中取得了许多重要的成果。然而对于差分方程精确解的研究则相对滞后。尽管许多学者在寻找差分方程的精确解方面取得了一定的进展,但仍有许多结论还不太成熟:在线性若分方程中,有些论证还不是很完善,一般函数的和分不易得到;常系数齐次线性方程的多重特征根所对应特解的线性无关性并非显然;变系数线性方程的主要结论还停
46、留在解的结构与形式上,缺乏一个普适性的方法;在非线性差分方程中,即使是一阶的离散黎卡提方程,也很难得到精确解。 本文重点讨论了定义在整数集 Z 或它的子集 D 上的几类常差分方程精确求解方法与解的显式表达。所得的主要结论如下: I)对于线性齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=0(1) 可以得到方程(1)的解结构,指出其通解为 y(k)=c1y1(k)+c2y2(k)+cnyn(k)的形式,其中 c1,c2,cn 是独立的任意常数,y1(k),y2(k),yn(k)是方程(1)的一个基本解组。通过运用参数待定法(阮炯,2002),
47、论证了常系数线性齐次差分方程的多重特征根所对应的全部特解存在线性无关性,并推导出该差分方程的通解表达式。 II)对于线性非齐次差分方程 Eny(k)+a1(k)En-1y(k)+an-1(k)Ey(k)+an(k)y(k)=f(k)(2) 证明了方程(2)的通解等于它的一个特解与相应的齐次方程(1)的通解之和。如果已知齐次方程的一个基本解组,可运用常数变异法与函数和分计算,得到非齐次方程的一个特解的形式表达。 1.对于常系数线性非齐次差分方程,利用特征函数法(李自珍,龚东山,2009)得到非齐次项.厂(七)为多项式、指数函数、三角函数、多项式与指数函数的乘积、对数函数以及它们的线性组合时的公式
48、化特解。该方法简便易行,克服了常数变异法(Paul Mason Batchelder,1927)、比较系数法(Saber Elaydi,2005)及拉普拉斯变换法(张广,张高英,2001)等传统方法计算工作量过人的缺陷,且特解形式非常直观。 2.对于几类可精确求解的变系数线性差分方程,利用构造函数法,将某些变系数方程化为常系数差分方程;通过引入变上限定和分,给出了一阶变系数线性差分方程的通解:运用函数积分法,得到了系数为线性函数时方程的通解;利用观察法找到方程的一个特解,并以此特解为基础,得出二阶变系数线性齐次方程的通解;借助降阶法,当差分方程的系数函数满足一定条件时,将复合差分方程问题化成若
49、干个一阶变系数线性差分方程的求解问题。 III)对于线性差分方程组得到了该方程组有解的一个充要条件,加强了王联(1991)关于一阶线性差分方程组与高阶线性差分方程同解的充分性结论,完善了线性差分方程精确解的理论体系,并利用线性代数与矩阵理论,推导出常系数线性差分方程组精确解的显式表达。 IV)对于两类非线性差分方程 通过引入独立通解(龚东山,2008),得到了(4)与(5)相应齐次方程的通解表示。研究表明:这两类齐次差分方程的通解由若干个独立通解共同构成,且独立通解的个数与差分方程的阶数无关;当非齐次项为某些特殊函数时,给出了方程的若干个特解,且特解的个数与方程的次数有关,并论证了这些特解的线性相关性。差分方程研究的主要内容包括两个问题:差分方程的精确解和方程解的定性分析。其中对于解的定性分析研究,一般以差分模型为基础,具体讨论差分方程的稳定性、