【摘 要】
:
本文旨在研究时间分数阶扩散方程(TFDEs)、时间分数阶梯度流方程和一类广义相场模型的高效数值算法。主要内容包括以下三个方面:1)提出了TFDEs的一个快速高阶数值格式。TFDEs方程的计算困难来源于时间分数阶导数算子。首先,该算子的非局部性导致存储和计算随时间快速增加;其次,非局部性导致算法分析(特别是稳定性分析)变得非常复杂。我们的主要贡献是:在时间方向构造了Caputo导数的一个快速有限差分
论文部分内容阅读
本文旨在研究时间分数阶扩散方程(TFDEs)、时间分数阶梯度流方程和一类广义相场模型的高效数值算法。主要内容包括以下三个方面:1)提出了TFDEs的一个快速高阶数值格式。TFDEs方程的计算困难来源于时间分数阶导数算子。首先,该算子的非局部性导致存储和计算随时间快速增加;其次,非局部性导致算法分析(特别是稳定性分析)变得非常复杂。我们的主要贡献是:在时间方向构造了Caputo导数的一个快速有限差分算法。该算法结合了[Lv and Xu,SISC 2016]中有限差分格式(后被称为L2格式)的高阶插值思想以及分数阶导数核函数的有限项指数求和逼近方法,既保持了高精度,又节约了计算成本,因此可以看作是L2格式的一种加速算法。我们在空间方向采用Legendre collocation谱方法,并分别讨论了有界和无界区域两种情形。论文给出了时空全离散问题的完整的稳定性和收敛性证明。最后,考虑到TFDEs问题的解可能具有的起点奇性特征,我们将上述算法推广到了非均匀渐变网格上,通过截断误差分析和算例验证了算法的有效性。2)考虑一个时间分数阶梯度流方程的数值方法。我们基于标量辅助变量逼近构造并分析了几个时间离散格式,这些格式分别具有一阶和(2-α)阶收敛,这里α表示分数阶导数的阶数。主要理论结果是格式的稳定性证明,即离散能量耗散律的建立。格式的有效性同样得到了数值例子的验证。3)对一类双曲型高阶广义Cahn-Hillard方程进行了理论和数值分析。首先,我们建立了该方程的先验估计,证明了其弱解的存在唯一性及全局吸引子的存在性;其次,构造了一个空间方向有限元方法/谱方法和时间方向二阶差分法的离散格式,证明了格式的稳定性,离散解的存在唯一性;最后,我们给出数值实验对分析结果进行了验证。特别地,我们观察到,数值解因高阶导数项的存在呈现出各向异性特征。这个结果与一些理论预测一致。
其他文献
亲告罪,作为犯罪的二元分类,在国外刑事立法中有诸多体现,其制度设计也较为完备,然而体现在我国的现行立法中则过于简略,与其法律地位的重要性完全不符。同时其范围问题又是亲告罪制度的核心所在,范围过广可能使犯罪未得到公正的处理,过窄则可能有损被害人的利益。因而合理划定亲告罪范围既是对刑法公信力的保障,也是对被害人利益的保护。本文力图从对亲告罪范围进行历史的、体系的、对比的研究,并从研究中探索合理的亲告罪
侦查程序是刑事诉讼的关键环节,侦查工作事关起诉和审判的质量。近年来随着一批冤假错案的出现,凸显出侦查程序设计还有待完善,更显示出加强对侦查权的规制已刻不容缓。我国诸多知名学者对侦查权的规制方面做出许多研究,这里既有理论的探讨,也有实证的考察。本文在前辈研究的基础上,试图通过正当法律程序原则的视角,对我国刑事侦查权运行机制的完善进行思考,以期对解决我国刑事侦查权运行中存在的突出问题有所益处。全文正文
阿尔茨海默病(Alzheimer’s disease,AD)一个重要的病理学特征是在神经细胞外形成主要由β淀粉样蛋白(β amyloid,Aβ)组成的淀粉样斑(amyloid plaques)。大脑内具有神经毒性的Aβ的累积在AD的发病过程中处于中心地位。APP蛋白(β amyloid precursor protein,β淀粉样蛋白前体蛋白)顺次被BACE(β分泌酶)和γ分泌酶切割后可以产生Aβ
我们主要研究非局部顶点代数包括弱量子顶点代数的扭φ-coordinated模,建立了一般的非局部顶点代数(弱量子顶点代数)及其扭φ-coordinated模的构造理论.作为该理论的应用,我们给出了两个具体例子.一是研究了一类无穷维Heisenberg李代数的模以及和这类Heisenberg李代数相关的顶点代数的模之间的对应.另一个是给出了一个由Clifford代数得到的顶点超代数的扭φ-coord
设X,Y是Banach空间,如果映射f:X→Y满足(?).则称f是从X到Y的粗等距.1985年,Lindenstrauss和Szankowski开始研究满的粗等距f:X→Y,并给出近乎完美的结果.三十多年来,由于非满粗等距的本质性难度,关于非满粗等距的研究几乎是一片空白.本文率先考虑了非满粗等距在大尺度意义下的等距逼近和u-弱稳定的问题.因此,本文考虑的问题是前人未曾关注的.为了探索这方面问题的解
本论文的主要内容分为两部分.第一部分,我们研究了环面上散度为零向量场李代数.首先我们证明了这类李代数是有限生成的Zn-阶化的李代数,因此它的导子代数也是Zn-阶化的.然后我们证明了非零次导子都是内导子,零次导子子代数的维数是2n+1,并具体给出这些导子.关于这类李代数的自同构群,我们首先给出了两个特殊的自同构群,然后我们证明了这类李代数的自同构群就是这两个特殊自同构群的半直积.第二部分,我们研究了
在现今星系形成和演化理论中,气体起到了至关重要的作用。冷气体塌缩形成恒星,恒星从诞生到死亡的过程中,不断地向外辐射电离光子、抛射气体和尘埃;星系中心超大质量黑洞的反馈甚至会将这些气体抛射到星系以外。在上述的过程中,星系尺度上的恒星形成过程会加热气体,增加气体的金属丰度,使气体具有多种多样的速度组分和金属丰度,导致了星系周边及星系晕的复杂环境。本文通过研究大尺度结构中不同尺度上的气体性质,理解气体的
自从二维材料石墨烯被发现以来,其优异的性质使它成为物理、化学、材料等领域的研究热点。硅烯和石墨烯有很多类似的性质,它和石墨烯一样都是零带隙的半金属,所以硅烯也备受关注。但是石墨烯和硅烯的零带隙会限制它们在光电子学的一些重要领域的应用,所以具有半导体性质的类石墨烯二维材料十分重要。实验和理论研究均表明,氢化可以打开石墨烯和硅烯的带隙。另一方面,单层二硫化钼也是目前十分热门的二维材料,因为它具有1.9
本文主要研究了(?)-Neumann拉普拉斯算子在Cn中有界域上的谱的稳定性问题。我们分别在两种参数产生微小扰动的情况下探讨这一问题,一种是算子所作用的区域,另一种是算子本身。此外,谱的稳定性也可由多种方式来度量,这里我们主要关注变分特征值的稳定性以及算子在预解意义下的收敛性。由于边界条件的非强制性,(?)-Neumann拉普拉斯算子的谱理论与经典的拉普拉斯算子存在很大差别。在有界域上,(?)-N
具有高空间分辨率的X射线空间望远镜Chandra和XMM-Newton的运行使我们有机会分辨星系的结构,并对其中特定的点源与延展源进行研究。这篇博士论文主要介绍了对两个星系NGC 5252和NGC 6946在X射线波段的观测结果。我们在NGC 6946中发现了一个之前未汇报过的ULX暂现源,该源在2012年第一次被Chandra望远镜观测到,之后直到现在(2019年)其光度仍然保持在1039 er