Kuramoto - Sivashinsky型方程的广义Hermite谱方法

对广义KS方程建立全离散的广义Hermite谱逼近格式,对离散格式进行先验估计,并证明离散格式关于初值的稳定性.利用广义Hermite函数的某些逼近结果,证明离散格式的收敛性,并得到近似解的误差阶.     

离散线性时滞系统的指数稳定性分析:基于加权离散正交多项式的方法（英文）

研究离散线性时滞系统的指数稳定性分析问题。引入离散内积,用Gram-Schmidt正交化方法,提出加权离散正交多项式(WDOPs),推出基于WDOPs的求和不等式,包括离散Jensen不等式和离散Writinger-型作为特殊情形;利用基于WDOPs的求和不等式,建立离散线性时滞系统的指数稳定性判据。数值实例说明了结果的有效性。     

S0bolev方程全离散Fourier谱方法解的长时间行为

考虑了由Sobolev方程全离散隐式EulerFourier谱格式生成的离散动力系统,证明了离散动力系统在‖·‖     

离散广义系统具有正定解的Lyapunov方程

研究离散广义系统稳定性问题,给出离散广义系统稳定等价于Lyapunov方程有正定解,以及离散广义系统R-能观,稳定和Lyapunov方程有正定解三者的关系。最后给出离散广义系统正则、稳定、具有因果性的等价条件。     

关于变参数离散动力系统的生成子问题

引进了变参数离散动力系统的生成子、弱生成子的概念,证明了变参数离散动力系统有生成子当且仅当它有弱生成子,并且研究了变参数离散动力系统的生成子的其它性质,从而扩展了变参数离散动力系统的研究范围.     

三维非线性Sobolev-Galpern方程有限差分逼近的长时间行为(英文)

研究三维非线性Sobolev-Galpern方程Dirichlet初值问题的一个全离散有限差分格式。利用离散空间泛函分析和能量估计的方法证明了此数值格式的唯一可解性,同时得到了此差分格式的长时间的稳定性和收敛性。进一步,证明了离散动力系统整体吸引子的存在性以及离散动力系统的上半连续性。上述结果说明该数值离散格式可有效地模拟相应的无穷维动力系统。     

泰森三角形顶点与其外围离散点位置关系的研究

关于泰森三角形,给出由1个中心离散点和3个外围离散点形成泰森三角形的基本定义,探究离散点与其产生的泰森三角形顶点坐标之间的位置关系问题.基于平面直角坐标系,对已知1个中心离散点与3个外围离散点的坐标进行数值分析,推导出泰森三角形顶点的计算公式.指出目前在泰森多边形研究领域中所亟待解决的问题和未来可能发展的方向.     

具有预警功能的可修复系统的半离散化

利用半离散的方法将具有预警功能的可修复系统中的x进行离散,得到2个偏微分方程,并利用算子半群的理论证明离散后的解是收敛于原方程的解.     

定常年龄结构人口方程的半离散化

将定常年龄结构的人口方程中边界条件中的函数b(r)进行离散,得到两个离散后的方程,应用泛函分析的知识证明这种半离散的方法是可行的.     

高效率多维离散分布随机数生成算法

多维离散随机数在进行计算机仿真中具有重要作用,一般计算机高级语言通常只能给出一维离散随机数,无法满足计算机仿真和实验的需要,如何生成多维离散随机数的研究未见报道,因此提出如何通过均匀分布随机数获得服从任意多维离散概率分布随机数生成的理论和方法,较好的解决了这一问题.     

解一次不定方程的初等变换方法

利用线性代数中的初等变换方法解一次不定方程,主要结论为:设A=(a1 …an -b In O)为n+1阶整数矩阵,若A的n列子块经若干列初等变换以及cn+1+aci(1≤i≤n)型初等变换化为矩阵 D=(d 0…0 0 C b1…bn)（d≠0,C=(cij)∈znxn）,则不定方程a1x1+…+anxn=b有解且...     

一类二阶变系数非齐次线性微分方程的通解

受一类二阶常系数非齐次线性微分方程y″+py′+qy=f(x)(其中:p=λ1+λ2;q=λ1λ2)通解的简便求法启发,给出了求一类二阶变系数非齐次线性微分方程y″+p(x)y′+q(x)y=f(x)(其中:p(x)=λ1(x)+λ2(x);q(x)=λ1'(x)+λ1(x)λ2(x))的通解的方法.     

一类常系数线性差分方程的特解探究

针对一类常系数线性差分方程，运用特征函数法和比较系数法，得到了方程特解的显式表达．当方程非齐次项μ^kPm（k）中多项式Pm（k）=A（A为非零常数）时，可采用特征函数法得到方程的一个公式化特解；当Pm（k）=dmk^m＋dm-1k^m-1＋…＋d0（d0≠0）时，可采用比较系数法来得到方程的一个特解．该方法简单易行，特解形式直观，避免了以前方法计算量过大的不足．     

一类奇摄动三阶非线性微分方程的两点边值问题

本文研究如下一类带有小参数的三阶非线性微分方程两点边值问题{εym=f（t,y,y′,y′′ε）,a〈t〈b y（a）=A（ε） y′′（a）=C（ε）y（b）B（ε）的解的高阶渐近展开,并利用压缩映像原理,证明了解的存在性并得到了解的高阶误差估计.     

关于Diophantine方程x~3+1=114y~2

利用递归数列、同余及Pell方程解的性质证明了丢番图方程x 3+1=114y2仅有整数解(-1,0).     

一类分数阶微积分方程的边值问题

研究下列分数阶微积分方程的边值问题：{Dαu（t）=f（）t,u（t）＋∫0k（）s,u（s）ds,5〈α〈6,0≤t≤1u（1）=limt→o（t）t2-α=0通过运用Schauder不动点定理和广义Gronwall不等式,给出了解的存在性和唯一性的充分条件.     

（w/g）展开法求解（2＋1）维ZK方程的显式解

利用推广的（w/g）展开法,研究（2＋1）维ZK方程,并得到了很多该方程新的显式解,包括单循环孤立子解、三角周期解、有理函数解等.     

五阶时滞差分方程解的渐近性

考虑五阶时滞差分方程Δ5yn+f(n,yn,yn-r,yn-l,yn-p)=0,n∈N(n0),得出了该方程存在具有特殊渐近性的有界非振动解的充分必要条件.     

在再生核空间中求解一类二阶非线性Neumann问题

运用迭代算法在再生核空间W3[0,1]中求解一类二阶非线性Neu-mann问题.给出了精确解的级数形式的精确表达式,证明了近似解un（x）一致收敛于精确解w（x）.数值算例验证了方法是高精度的和有效的.     

关于丢番图方程x^3＋1＝301y^2＊

鲁伟阳等人利用递归数列,同余式、平方剩余以及 Pell方程的解的性质证明了不定方程x^3＋1＝301y^2仅有整数解（x ,y ）＝（1,0）。该文给出方程x^3＋1＝301y^2的解。