求解中立型多延时系统θ-方法的数值稳定性

研究了用θ-方法求解具有多个延时量中立型系统数值解的稳定性,给出并证明了求解多延时中立型系统的θ-方法渐近稳定的充要条件是θ∈[1／2,1]．     

四阶时滞微分方程边值问题的正解

随着泛函微分方程理论的发展以及其在物理、力学、自动控制理论、生物学、经济学等众多学科中的应用,时滞微分方程边值问题成为关注的一个热点.运用锥上的不动点指数理论研究了四阶时滞微分方程边值问题{u(4)(t)+au″(t)-bu(t)=f(t,ut),t∈[0,1],u(t)=Ф(t),t∈[-τ,0],u(0)=u(1)=u″(0)=u″(1)=0正解的存在性,其中,f:[0,1]×C+→[0,+∞)连续,C+={φ∈C|φ(θ)≥0,θ∈[-τ,0]},Ф(t)∈C([-τ,10],[0,+∞)),Ф(0)=0,对t∈[0,1],ut(θ)=u(t+θ),θ∈[-τ,0],0≤τ,且a,b∈R,满足a2π2,b-a2/4,b/π4+a/π21.所得结果推广和改进了现有结果.     

求解Poisson方程Dirichlet问题的一点补充

求解Poisson方程定解问题通常有分离变量法、积分变换法、格林函数法等重要方法,但传统的求解方法有时运算量较大,求解较麻烦.通过寻求一类特殊的Poisson方程的Dirichlet问题求解方法,即一△u=f(x)中的f(x)为多项式函数时,Poisson方程的Dirichlet问题可采用比较简单的求解方法,避免了传统求解方法的复杂计算,从而将求解Poisson方程定解问题的方法进一步完善.     

一类非线性中立型变延迟积分微分方程的稳定性分析

讨论了一类非线性中立型变延迟积分微分方程的稳定性.针对非线性中立型变延迟积分微分方程的模型方程,给出方程理论解稳定的条件并给予了证明;其次研究了线性θ-方法求解方程的数值稳定性,证明了A-稳定的θ-方法求解非线性中立型变延迟积分微分方程是稳定的.     

求解随机微分方程的θ-Heun方法的收敛性

Heun方法是一种求解随机微分方程数值解的重要方法,在该方法的基础上构造出一种新的数值求解方法,即θ-Heun方法,且研究了θ-Heun方法用于求解随机微分方程的收敛性.针对一个具体的标量自治随机微分方程,当方程的两个系数都满足Lipschitz和线性增长条件时,得到θ-Heun方法在均值意义、均方意义上的局部收敛阶分别为2和1,均方强收敛阶为1.并通过数值实例证明该方法比Heun方法得到的数值解更逼近解析解.     

基于LR-梯形模糊数的模糊线性系统解问题及其数值计算

为了将模糊线性系统转化为不带参数r∈[0,1]的分明线性矩阵方程进行求解,在推广LR-梯形模糊数的基础上,利用LR-梯形模糊数的结构特点和系数矩阵的广义逆讨论了模糊线性系统的强模糊解和弱模糊解以及数值计算的迭代法.     

基于QL-蕴涵的Min-implication模糊关系方程的分解与求解

在有限论域上首先给出θFuzzy关系方程的分解,然后针对NQL 蕴涵θ探讨了θFuzzy关系方程的求解问题.基于解矩阵给出了解存在性的几个新判据.在θFuzzy关系方程A θr=b的解集ζ(A,b)非空时,证明了对每一个r∈ζ(A,b),存在ζ(A,b)中的极大元r ,使得r ≥r.     

一类泛函微分方程的数值稳定性和振动性

考虑一类泛函微分方程数值解的稳定性和振动性.首先,用θ-方法求解方程,获得了数值解稳定和振动的条件.接下来研究了数值方法对上述两种动力学行为的保持性质,得到了解析解的稳定性和振动性被数值方法保持的条件.最后给出一些数值算例.     

基于边界元方法的边值问题数值解的外推

利用边界元方法求解椭圆边值问题,并通过Poisson积分方程的Galerkin 解讨论了这种方程的外推算法,进而对边值问题的数值解获得了Ｏ（ｈ３）精度的外推结果.     

分段连续型微分方程θ-方法的散逸性

针对带有一个延迟项的分段连续型微分方程,研究θ-方法的数值散逸性.将两种θ-方法:线性θ-方法和单腿θ-方法应用于试验方程,得到数值解为散逸的充分条件.主要定理显示两种θ-方法具有一致的散逸性结果,且都保持了原方程的散逸性.     

对称域基本解函数的构造及应用

在对称区域中,构造出满足对称边界条件的基本解函数,并推广到基本解方法（MFS）中求解Poisson方程的边界值问题.利用构造出的基本解,输入数据和所需求解的线性方程组数目可减少到原来（不利用对称性的基本解函数所需的方程组数目）的1/2或1/4,具有计算时间短、精度高、编程简单、输入数据少等优点.通过数值计算可以看出,计算结果与解析解之间的误差很小,说明该方法值得推广使用.     

高维Poisson方程Cauchy问题的一种数值解法

研究了高维Poisson方程Cauchy问题的数值求解方法，将Poisson方程的cauchy问题的求解归结为先求解Hausdorff矩问题，再求解Poisson方程的混合边值问题。在求解矩问题时，利用积分方程方法设计了高维Poisson方程Cauchy问题稳定化的算法，并对三维Cauchy问题进行了数值模拟。     

θ-单支方法的代数稳定性

该文将θ-单支方法转化为Runge-Kutta方法来研究,得到了一些θ-单支方法的代数稳定性结果:(1)对任给的θ∈(0,1),令β=(2θ-1)/θ2,p=(1-2θ)/θ(1-θ),θ-单支方法是(β,p,0)-代数稳定的;(2)对任给的θ∈[0,1],θ-单支方法是(0,0,2θ-1)-代数稳定的;(3)对任给的θ∈[0,1]及正数ε>(1-θ)/θ,令β=(1-θε)/θ,p=(θε-1)/θ2ε,q=(θ2ε+θ-1)/θε,则θ-单支方法是(β,p,q)-代数稳定的.     

无网格法求解分段连续型延迟偏微分方程

考虑了一类分段连续型延迟偏微分方程.首先分析了方程的解析解,给出了级数形式的解.其次采用无网格法求解了该类方程的数值解.利用θ-加权有限差分法对方程的时间变量进行离散,并利用Multiquadric(MQ)径向基函数和配点法建立了全离散格式.采用傅里叶分析法给出了数值方法稳定的条件.通过数值算例给出了方法的误差及验证了方法的有效性.     

带梯度项的非线性椭圆方程全局正爆破解的存在性

研究了一类非线性椭圆型方程问题:{△u=ρ(x)up+g(x)uα│▽u│q,x∈RN;u(x)→+∞,│x│ →+∞.的正解存在性问题,其中p>1,α+q>1,q∈[0,2],而ρ,g∈Cθloc(RN)(N≥3,0<θ<1).运用上下解的方法和二阶椭圆型方程解的内部估计,给出了若干全局正爆破解存在的充分性条件.     

Banach空间中常微分方程解的存在唯一性定理的注

把B anach空间常微分方程解的存在唯一性定理中解x(t)的变量t的范围t∈[t0-,αt0 α],α=min1/K,b/M扩大成t∈t0-b/M,t0 b/M,并对改进条件后的定理进行了严格证明.     

旋转的Rayleigh-Bénard问题的Lorenz模型及数值模拟

利用截谱方法,将旋转的Rayleigh-Bénard问题转化为四维的Lorenz模型,估计出此Lorenz模型的参数取值范围为τ∈[0,2],r∈(0,∞),b∈[0,8/3]。比较了四维Lorenz方程与经典的三维的Lorenz方程(无旋转)的不同之处,在此基础上进行了数值模拟,结果表明旋转可以增加系统稳定性。     

二阶线性泛函微分方程的振动性与渐近性

§1 引言本文主要讨论如下类型方程(1)。解的振动性与渐近性.我们作如下假设: (R_1)g:R~ ×[α,b]→R~ 连续,min α≤ζ≤b(t,ζ)=g(t,c),c∈[α,b],且c与t无关,lim (?) g(t,c)=∞,R~ [0, ∞);     

用于求解Poisson方程的格子Boltzmann模型

提出一个求解Poisson方程的格子Boltzmann模型.通过使用Chapman-Enskog展开和多尺度展开得到了在不同时间尺度下的系列偏微分方程及平衡态分布函数和具有三阶截断的误差修正Poisson方程.用该模型计算Kolmogorov流和Green-Taylor涡流,并与解析解进行比较,计算结果表明,数值结果与经典解析结果基本相符.     

解抛物型方程的一族六点隐式差分格式

提出了求解一维抛物型方程的一族两层六点隐式格式.格式的截断误差为O(τ2+h4).利用Fourier方法证明了差分格式当1/2≤θ≤1时,格式绝对稳定;当0≤θ1/2时,只有r≤1/6(1-2θ),格式才是稳定的.数值试验表明,该族格式是有效的,且理论分析与实际计算相吻合.