自变量分段连续型比例延迟微分方程的配置方法(英文)

研究自变量分段连续型比例延迟微分方程的配置方法,给出相应的配置格式,证明配置解的存在唯一性;对于m个任意的配置参数,研究配置方法的全局收敛性;当m个配置参数满足一定的正交条件时,讨论配置方法的全局超收敛性;数值算例验证了结论的正确性,数值试验表明:由于Matlab自身的舍入误差,其数值结果依赖于q的输入表示是否精确。     

12参数矩形元的内部超收敛

研究１２参数矩形有限元ｕｈ∈Ｑ‘（３）,解μｈ本身没有超收敛点,但平均梯度Ｄμｈ在每个单元上有９个超收敛点,其结构与常用１３参数元Ｑ１（３）完全不同,ｕ是调和函数,平均梯度有１３个超收敛点,而且有元元ｕｈ本身有４条超收敛曲线。     

修正的Helmholtz方程柯西问题的一种正则化方法

修正的Helmholtz方程柯西问题是严重不适定的,其解不连续依赖于所给的柯西数据,因此在数值上需用正则化方法恢复其稳定性.用一种修正的非局部边值问题方法处理了这一不适定问题.在对精确解的先验假设和正化参数的选取下,得到了相应的收敛性估计,数值结果表明该方法是稳定可行的.     

非线性反问题求解的参数微分正则化方法

讨论了非线性反问题的求解问题,将具有大范围收敛特性的同伦方法引入到非线性反问题的求解之中,籍此克服非线性反问题常规求解过程中局部收敛的缺陷;结合吉洪诺夫正则化方法,以解决计算Frechet导数时病态的问题.在此基础上,提出了一种用于求解非线性反问题的参数微分正则化方法,给出其构造过程,并且证明了参数微分正则化方法解的存在性和收敛性.     

求解一类奇异两点边值问题

运用再生核方法给出了求解一类奇异两点边值问题新的数值方法,构造了精确解的级数形式表达式,证明了近似解及其各阶导函数一致收敛到精确解及其各阶导函数,数值算例验证了方法的有效性.     

抽象空间微分方程解的收敛性

本文研究了抽象空间微分方程解的收敛性问题，得到了有关收敛性的两个定理。     

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

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

联合概率约束问题的一个光滑函数法

许多有重要价值的实际问题均属于联合概率约束优化问题（JCCP）,该类问题通常是非凸的并且非光滑,有效求解方法多集中于凸近似方法,往往局限于具有单个概率约束的问题．本文基于两个凸函数之差（即D．C．函数）为约束的近似优化问题,提出了约束函数的光滑近似函数以及相应的光滑近似问题．通过收敛性分析,证明了当参数充分小时,光滑化的近似问题的最优值和最优解集分别收敛到（JCCP）的最优值和最优解集．     

一类广义Boussinesq方程的守恒差分格式

研究一类六阶广义Boussinesq方程的数值算法,方程中包含多项高阶色散项,模型形式和非线性都很复杂。从定性分析的角度给出数值解的几种性质,设计一种基于待定系数法的能量守恒差分格式,对高阶色散和非线性源的差分形式进行了恰当的处理。结果表明,设计的有限差分法能有效地找到复杂结构项的差分形式,得到较好的收敛阶;讨论分析了数值解的稳定性和存在性。     

线性分段连续型随机微分方程数值解的收敛性和稳定性

把Back-Euler方法应用到线性分段连续型随机微分方程上,研究对给定步长该方程数值解的收敛性和对任意步长数值解的均方稳定性,在处理线性项的矩阵时,证明的方法主要应用了矩阵范数,从而达到要研究线性分段连续型随机微分方程数值解的收敛性和稳定性的目的.     

关于GMRES方法收敛性质的数值实验观测

广义最小剩余法(GMRES)是一种求解线性代数方程组A_x=b的迭代法,对解一类非对称问题特别是由微分方程数值解导出的大型稀疏问题具有相当的竞争力,这里我们报告一些数值试验结果及我们所观察到的收敛性质,在第一部分我们主要讨论GMRES的收敛速度,工作量的大小等,并指出我们所观测到的超线性收敛现象。     

神经网络算法在非线性系统中的应用研究

研究了一种非线性系统分析的神经网络算法,提出并证明了该算法的收敛性定理,为学习率的取值范围提供了理论依据.解决了BP算法存在局部极小的问题,并给出了该算法的应用实例.研究结果表明,对于随机给定的初始点,该算法都能稳定收敛到它的一个实根,计算精度可控,而且能得到高精度解,因此,该算法是有效的.此外算法还可以用来解多元非线性方程和线性方程组.     

一类反应扩散方程组解的性质研究

针对一类描述抗体和病毒反应过程的反应扩散方程组,利用变量变换的方法得到了与其同解的热传导方程.在对抗体正浓度ρ(t)做出较弱假设下,研究了热传导方程解的性质,并由紧性知存在ψ(t)满足原假设的解的收敛序列,从而得到热传导方程解的存在性、惟一性以及反应速率k→∞时解的收敛性.借助于热传导方程与反应扩散方程组的同解性,最终得到了反应扩散方程组解的存在性、惟一性以及收敛性.     

利用分数样条模型求解分数阶线性微分方程组

针对分数阶线性微分方程组的求解问题,提出了一种利用分数样条模型的求解方法.该方法通过合适的基于分数样条函数模型的缺项分数插值结合Caputo导数求解线性分数阶微分方程.数值实验表明,数值解和精确解相一致,同时证明了提出的方法具有收敛性.     

离散Newton型分裂方法的Kantorovich型定理

对于牛顿型迭代格式等经典的算法,近年来经过很多学者的研究已经取得了丰硕的理论成果,包括收敛性定理、Kantorovich型定理和误差估计。局部收敛性定理需要假定了方程组有解,并且初始近似与解充分接近。然而对计算理论更为重要的是存在性、收敛性定理。在不知道解的情况下能够验证收敛条件,并且往往同时可以断定解的存在性乃至唯一性,因此对于各种迭代法建立存在性收敛性定理,始终是迭代法理论研究的中心课题之一。在Kantorovich型定理的条件下,给出了一种离散Newton型分裂方法的存在性及收敛性定理。     

一阶线性双曲组的时空全间断有限元的收敛性

讨论变系数一阶双曲组的时空双m次间断有限元解.基于单元上的Radau-型展开,在矩形网格上证明了有限元的最佳收敛性.数值例子还证实了在m 1-阶Radau点上的超收敛性.     

凹角域上有限元的超收敛性

在凹角域上考虑二阶椭圆问题的线性有限元解u_h,在分片σ-等级网格(即PC'-剖分)的边中点集合M_h上证明了平均梯度(?)h按L_2范数的超收敛性。     

积—微分方程配置解的天然超收敛性

讨论了线性Ｆｒｅｄｈｏｌｍ积－微分方程的配置方法，获得了配置解本身的超收敛估计和外推估计。     

一维热传导方程的一般二层差分格式的长时间性态

考虑了一维热传导方程的一般二层差分格式解的长时间行为,研究了差分解的长时间收敛性与差分格式的长时间稳定性、相容性之间的关系.在一定的条件下,得到了差分格式的长时间稳定性、差分解的长时间收敛性以及当,n→∞时,差分解收敛到对应的稳态解(即差分解具有渐进性质)等.     

一类广义线性常微分方程解对参数的连续依赖性

研究一类广义线性常微分方程解对参数的连续依赖性,利用Kurzweil积分理论与正则函数的相关性质,在Kuezweil积分下,根据广义常微分方程解对参数的连续依赖性,证明了含有Perron乘积积分表示的矩阵函数的广义线性微分方程解对参数的连续依赖性定理。