时间尺度上Birkhoff系统的delta-nabla积分方程

为了研究时间尺度上的Birkhoff系统动力学,该文给出了时间尺度上delta-nabla导数下Birkhoff系统的运动积分方程。该方程是在一定边界条件和自然边界条件下分别进行研究的。时间尺度上delta导数下、nabla导数下Birkhoff系统的运动积分方程均为该方程的特例。对其它若干特例进行了讨论分析。举例说明了结果的应用。

标量磁位积分方程法计算舰艇三维静磁场

掌握舰艇磁场分布规律是实施舰艇磁防护技术的重要前提,采用积分方程法计算舰艇三维静磁场是有效手段之一。积分方程法通常建立以剖分单元内磁化强度或者磁感应强度为待求量的方程组,基于所求得的源区值获得整个场域的解。若想进一步提高磁场计算精度,需要增加网格密度,代价则是计算机的内存需求和计算量急剧增加。针对这一问题,采用一种以标量磁位为待求量的积分方程。将铁磁源区划分为四面体单元,根据变分原理将未知函数分片展开,按照单元和节点的相对位置关系寻找奇异积分,采用参数替换的方法转化为非奇异积分。球体解析模型表明:使用标量磁位进行建模仅需将源区离散为粗糙的网格单元即可得到高精度的磁场计算结果;网格加密后,标量建模方法在保持计算精度的同时,内存需求和CPU执行时间大幅小于矢量建模方法。开展了三维舰船磁场的虚拟验证实验,对于大型船体等需要精细划分网格的铁磁物体,标量磁位积分方程法计算得到的磁场与有限元商业软件的计算结果吻合较好,并且与矢量建模方法相比更加高效和节约内存。

第二类Volterra型积分方程的数值算法研究

该文将最小二乘法与再生核法相结合,提出了求解第二类Volterra型积分方程的新算法.通过构造再生核空间的多尺度正交基,得到了模型的解的表达式.为了减少计算量,简化计算过程,文章利用最小二乘法将模型转化为线性代数方程进而得到ε近似解.此外,为了验证算法的严谨性,文章详细证明了新算法的一致收敛性和稳定性,并对误差估计进行了讨论分析.通过算例验证了该算法的可行性和适用性,并与一些已知的方法相比,所得结果更精准.

中美大学微积分教材之微分方程内容的比较研究

对中美大学微积分5套教材中微分方程内容的比较研究发现,中美教材在内容的编排位置、习题数量、数学表征方式、数学软件的使用、对数学建模的偏重程度、对次要或较高要求内容的处理方式,以及微分方程模型解决的实际问题数量和类型等都存在差异.美国教材在数学建模的思想方法指导和数学建模难点突破方面,有许多做法值得借鉴.中国教材存在一个重大缺陷,就是求解“无初等解析解的微分方程”所需的大部分知识均未编入教材.由此得到3点启示:一是教材编写者对知识点的认识偏差可能会导致编写指导思想上的偏差;二是数学能力的培养和训练并非都是有益的;三是习题除了具有提供练习的显性功能外,还有许多隐性功能有待开发利用.针对同济教材,建议:增加方向场、欧拉方法等重要内容;删去高阶微分方程等过于形式化的内容;调整微分方程的幂级数解法等的编排位置.

一种数值阻尼耗散可控的结构动力方程积分方法

数值耗散是数值积分方法的重要特性,直接影响数值仿真结果的准确性.对于含有虚假高频振动的动力系统,数值耗散能够改善数值仿真结果,但是对于具有真实高频振动的动力系统,数值耗散则会导致计算结果失真.该研究针对结构动力系统的求解,提出了一种数值耗散可控的两子步隐式数值积分方法.基于理论推导,详细介绍了新积分方法的谱半径、稳定性、振幅衰减和周期延长等数值特性.新隐式积分方法通过算法参数α能够对高频虚假振动数值耗散完全可控,相应的耗散比例为1-α,其中-1≤α≤1.通过单自由度动力系统、高频虚假振动系统和多自由度非线性弹簧质量系统三个典型算例,分别证明了新隐式积分方法在计算精确性、高频数值耗散和非线性求解能力方面的优越性.

一类分数阶积分-微分Langevin方程初值问题解的存在唯一性

该文研究含3个分数阶导数的非线性积分-微分Langevin方程初值问题.首先应用Schauder不动点定理得到了解的存在性结果,然后运用Banach压缩映射原理建立了解的唯一性,最后举例说明了主要结果的应用.

爆破型Volterra积分微分方程的高精度计算

本文求解爆破型非线性Volterra积分微分方程,使用Picard迭代求出解在初始点的有限项分数阶级数展开式.使用级数解分离出方程的初始奇点,提出一种高效的Chebyshev配置法.对于爆破问题,使用待定系数法得到方程解在爆破时刻的渐近展开式主项,并把级数解Padé逼近分母的最小正根作为爆破时间的初步估计,进一步通过积分或微分变换提高爆破时间的预测精度.最后,数值算例验证级数解、Chebyshev配置解和爆破时间预测方法的正确性和有效性.

Fredholm积分-微分方程的高精度数值方法研究

研究积分项包含未知函数导数的Fredholm积分-微分方程的重心插值配点法.首先,利用重心Lagrange插值配点法和重心有理插值配点法构造Fredholm积分-微分方程的数值格式.其次,分别选取等距节点和第二类Chebyshev节点进行数值计算,并对两种插值法在不同节点下的精度进行比较.数值算例结果表明,两种插值配点法都可以得到较高的计算精度,但一般情况下为了得到高精度的数值解,优先采用重心Lagrange插值配点法在第二类Chebyshev节点上计算.

非恰当微分方程三类对称式积分因子

利用积分因子把非恰当微分方程转化为恰当微分方程是求解非恰当微分方程的重要手段。如何寻找合适的积分因子是转化问题关键之所在。首先,给出非恰当微分方程存在三种类型积分因子的充要条件。然后,给出相应的例子说明这些充要条件的应用。最后,对这些充要条件进行简单总结并提出一些研究展望。It is an important means to solve non-exact differential equations by transforming them to exact differential equations using integral factors. How to find the appropriate integrating factors is the key to the transformation problem. Firstly, we present the sufficient and necessary conditions for the existence of three types of integral factors for non-exact differential equations. Then, some examples are given to illustrate the application of these necessary and sufficient conditions. Finally, these necessary and sufficient conditions are summarized briefly and some research prospects are put forward.

变系数Volterra型积分微分方程的2种Legendre谱Galerkin数值积分方法

为了进一步提高求解Volterra型积分微分的数值精度,针对一种变系数Volterra型积分微分方程,提出了2种Legendre谱Galerkin数值积分法。采用Galerkin Legendre数值积分对Volterra型积分微分方程的积分项进行预处理,对其构造Legendre tau格式,同时用Chebyshev-Gauss-Lobatto配置点对变系数和积分项部分进行计算,并通过对方程的定义区间进行分解,提出了一种多区间Legendre谱Galerkin数值积分法。该方法的格式对于奇数阶模型具有对称结构。此外,通过引入Volterra型积分微分方程的最小二乘函数,构造了Legendre谱Galerkin最小二乘数值积分法。该方法对应的代数方程系数矩阵是对称正定的。数值算例验证了这2种Legendre谱Galerkin数值积分方法的高阶精度和有效性。

奇异摄动Fredholm方程积分初值问题的二阶移动网格方法

为了克服奇异摄动Fredholm积分微分方程的精确解在很薄的初始层内的剧烈变化,提出了关于摄动参数在无穷范数意义下具有二阶一致收敛性的数值方法.针对积分初值定解问题,使用基函数方法构建指数拟合有限差分格式进行离散,其中积分部分采用复合梯形公式.局部截断误差估计和稳定性分析的直接结果是整体截断误差估计.基于精确解的边界估计、应用等分布原理,作为整体误差估计的推论,数值方法的二阶一致收敛性被证明.根据算法步骤实施迭代生成移动网格,移动网格通过等分数值解弧长产生,弧长由控制函数计算,控制函数取自整体误差估计的具体表达形式.两个数值算例验证了二阶一致收敛性,比较实验表明移动网格较Shishkin网格与Bakhvalov网格具有优越性.

融合局部感知Transformer模型的微积分方程求解

针对局部信息在数学表达式的符号计算中非常重要,而Transformer模型通常存在局部缺失从而忽略字符间的语义信息的问题,提出一种将一维卷积(Conv1d)和Transformer模型相结合的符号计算模型Convld_Transformer。该模型通过在嵌入层中引入卷积网络提取局部特征信息,可有效增强局部感知。此外,还提出了一种生成一类偏微分方程数据集的算法,该算法结合特征线法和常微分方程变换,可实现对常系数一阶线性(pde1_cc)、变系数一阶线性(pde1_vc)以及满足一定条件的二阶抛物线偏微分方程(parapde2_cc)的求解。实验结果表明:Conv1d_Transformer模型在函数积分任务中相比Transformer模型精度更高,在解决pde1_cc、pde1_vc和parapde2_cc问题时准确率分别达到了96.00%、77.18%和86.18%,其性能要优于Mathematica和SymPy数学求解器。

非线性变系数Bagley-Torvik方程的积分边值问题

研究了一类非线性变系数Bagley-Torvik方程的积分边值问题。对非线性变系数Bagley-Torvik方程进行多次积分得到与之等价的Fredholm-Hammerstein积分方程,利用分段泰勒级数得到Fredholm-Hammerstein积分方程的数值解。通过例题验证了此方法的可行性与有效性,并给相应的误差估计。

常微分方程中积分因子的性质及其应用

积分因子是常微分方程中的一个重要内容,同时也是学生不易掌握和应用的一个知识点。利用积分因子不仅可以求解满足恰当积分条件的一阶微分方程,更可以和微分中值定理产生联系,因此积分因子在各种数学竞赛以及历年考研数学试题中频繁出现。本文在常微分方程教材的基础上,从恰当方程出发,介绍了积分因子以及相关性质。最后,给出了积分因子的一些应用。

非线性抛物型积分微分方程Galerkin有限元方法超收敛分析

主要研究非线性抛物型积分微分方程的协调Galerkin有限元方法Crank-Nicolson(CN)全离散格式。通过对非线性项的精细估计,采用插值与投影相结合的估计技巧,导出了L^(∞)(H^(1))模意义下具有O(h^(2)+τ^(2))阶的超逼近性质。进一步利用插值后处理技术得到了整体超收敛结果,弥补了以往文献的不足。同时,通过数值例子验证了理论分析的正确性和方法的高效性。

泰勒展开法求解Fredholm积分微分方程

提出一种求解Fredholm积分微分方程初值问题的泰勒展开法,并通过数值算例验证了该方法的有效性和实用性。该方法将积分微分方程转化为一个含未知系数的矩阵方程,具有计算简单、精度高等优点。

一类奇异摄动Fredholm型积分微分方程的二阶自适应移动网格方法

利用基函数方法和复合梯形公式构建了指数拟合有限差分格式,用该有限差分格式对一类奇异摄动Fredholm型积分微分方程进行了离散.用推导出的数值解的截断误差估计,并结合边界估计和稳定性分析,证明了自适应移动网格方法关于摄动参数在无穷范数意义下具有二阶一致收敛性.在理论分析的基础上,设计出二阶自适应移动网格生成算法.

一类Fredholm积分–微分方程的重心Jacobi插值求解法

本文运用重心Jacobi插值配置法求解一类Fredholm积分–微分方程。首先通过取消重心Gegenbauer插值中参数相等的条件,得到重心Gegenbauer插值的一般形式——重心Jacobi插值,并表明重心Jacobi插值等价于插值节点为移位Gauss-Jacobi节点的Jacobi插值。然后基于配置法,应用重心Jacobi插值构造一类带有初值条件的Fredholm积分–微分方程的数值算法。误差估计表明,在合适的条件下,该算法是收敛的。最后,数值算例验证算法的有效性。

带余割核奇异积分方程的半三角插值配置方法

对于带有余割核的奇异积分方程,提出了半三角拉格朗日插值配置方法。求解奇异积分方程的关键在于处理其奇异项,为了去除奇异项,选择了合适的权值求积公式。相比已有的研究,该方法的优点在于不仅计算工作量更小,而且数值计算精度更高,数值实验证明了该方法的有效性。

抛物型积分微分方程的全离散界面修正直接间断有限元法

针对线性抛物型积分微分方程,首先利用带界面修正的直接间断有限元(DDGIC)法对空间离散,分析半离散格式的稳定性;然后在时间方向应用Crank-Nicolson法,建立全离散的Crank-Nicolson/DDGIC格式,对全离散格式的收敛性进行了详细讨论;最后给出数值算例验证方法的有效性和理论结果.