【摘 要】
:
随着科学技术的发展,用于描述实际问题的数学模型日益复杂,通常都包含有多个尺度,因而多尺度建模与多尺度计算方法已经成为科学与工程计算领域最重要的研究方向之一,而奇异摄动问题的渐近分析与数值求解则是多尺度建模中的一个重要研究课题。尽管奇异摄动问题会呈现出一定的非典型性,但它可以帮我们更好地对物理问题进行定性和近似定量的理解。本文主要研究奇异摄动特征值问题与奇异摄动电报方程的渐近分析与数值求解。奇异摄动
【基金项目】
:
国家重点研发计划项目2017YFC0601801; 国家自然科学基金11871298、11322113;
论文部分内容阅读
随着科学技术的发展,用于描述实际问题的数学模型日益复杂,通常都包含有多个尺度,因而多尺度建模与多尺度计算方法已经成为科学与工程计算领域最重要的研究方向之一,而奇异摄动问题的渐近分析与数值求解则是多尺度建模中的一个重要研究课题。尽管奇异摄动问题会呈现出一定的非典型性,但它可以帮我们更好地对物理问题进行定性和近似定量的理解。本文主要研究奇异摄动特征值问题与奇异摄动电报方程的渐近分析与数值求解。奇异摄动特征值问题(SPEPs)来源于半经典极限下的稳态Schr?dinger方程,在理论物理、物理化学等领域有着极其重要的应用。我们研究了SPEPs的渐近性质与高效数值解法。我们证明了对于分片光滑的势能函数V(x),在ε→0+时,特征值将以(εm)的速度衰减到V(x)的最小值,其中m与V(x)在最小点处的性质有关,而相对应的特征函数则会集中在V(x)的最小值点的附近。针对一维和二维的SPEPs,我们利用量身定做的有限点方法(TFPM)构造高效的数值格式去求解。文中的数值算例验证了我们的渐近分析结果的正确性与TFPM格式的可行性与高效性。奇异摄动电报方程(SPTE)源于双曲型热传导方程,也可以用于修正传统的扩散方程与反应扩散方程,可以更好地解释实验结果。我们研究了无界区域上奇异摄动电报方程的渐近分析与数值求解。我们首先利用匹配渐进展开与Van Dyke匹配原理得到SPTE解的首项一致有效渐近展开,进而分析了解的导数的渐近性质。之后,我们引入了人工边界Γ±来得到一个有界的计算区域?0,然后利用人工边界方法得到了Γ±上精确的人工边界条件,从而可以把初始的无界区域上初值问题约化为一个有界区域上的初边值问题。我们证明了在?0上初始问题与约化问题是等价的。我们引入了半离散的Galerkin有限元格式与Crank-Nicolson Galerkin格式来求解约化问题并证明了相应格式的稳定性与一致收敛性。我们给出的数值算例验证了人工边界的有效性与理论分析结果的正确性。
其他文献
五次卡拉比-丘3-流形的Gromov-Witten不变量的计算是Gromov-Witten理论中的核心问题之一。在物理文献中,BCOV全纯异常方程是唯一一个可以有效地计算高亏格不变量的方法。BCOV全纯异常方程是非全纯自由能的一族二次递归关系,物理学家用该方程与一些其它条件递归地解出非全纯自由能。然而,非全纯自由能与全纯异常方程在数学上并没有一个严格定义。物理文献指出,非全纯自由能的非全纯部分来自
蛋白质结构从头预测作为结构生物学领域最为重要和最具挑战性的问题之一,是蛋白质分子从无规则结构逐步折叠成天然态构象的过程。蛋白质结构从头预测的研究对理解蛋白质折叠机理和了解蛋白质构象的动态变化与功能行使之间的关系具有重要的意义。作为从头开始结构预测的主要组成部分,高效的构象搜索算法和精确的势能函数是结构预测模型准确性的重要保证。伴随着Rosetta程序的巨大成功,近二十年以来,片段组装法已经成为最为
对星系来说,给定波段内的恒星质量-光度比值(质光比)与其光学颜色之间存在紧密的相关性,这些相关性已被广泛应用为快速估计星系恒星质量的工具。然而,这种估算方法通常使用宽波段测光的能谱或者星系中心的光谱信息进行校准,目前还不清楚同样的估算公式是否可以直接应用于星系的不同区域而得到没有偏差的恒星质光比。在本文中,我们利用SDSS/Ma NGA巡天项目提供的积分场单元光谱,检查了空间可分辨的由全光谱拟合得
蛋白质的天然态构象中,残基与残基之间的接触信息包含了非常丰富的蛋白质结构信息。随着蛋白质序列数据库的积累、蛋白质残基共进化算法的进步、以及机器学习和深度学习算法的发展,蛋白质残基接触预测逐渐成为预测蛋白质三维结构的重要手段之一。利用蛋白质残基接触预测,可以大大降低预测蛋白质三维结构的复杂度,降低三维结构的搜索空间,提高蛋白质结构预测的效率与准确率。目前,残基接触预测算法大都将蛋白质的共进化矩阵视为
一个好的微观理论具有很高的对称性,但是由于物质之间存在复杂的相互作用,宏观体系的对称性往往很低。对称性破缺将微观高对称性理论和宏观低对称性体系联系起来。手征对称性是色动力学重要的整体对称性,对于研究强相互作用物质的组成、结构以及多体性质具有重要的作用。本文将通过多种方法研究平衡态和非平衡态的手征相变,以及不同外界条件对于QCD物质对称性的影响。对于平衡态相变,本文采用非微扰和超出平均场方法,关注动
本文主要研究了两个问题:1.空间均匀的Bose-Einstein粒子模型的量子Boltzmann方程在非对称初值下解的整体时间存在唯一性;2.该解强收敛到Bose-Einstein分布的长时行为及收敛速率的估计。Bose-Einstein粒子模型的量子Boltzmann方程描述了稀薄的Bose气体分布函数的时间演化。由于量子效应,此方程中出现了关于解的三次碰撞积分,它比经典Boltzmann方程中
对于q个互异的扩充复数构成的集合Eq={a1,…,aq}(q≥3),我们称#12为集合Eq的Ahlfors常数.其中,f∈M表示f是闭单位圆盘△上的非常值亚纯函数.Ahlfors常数H0(Eq)是Ahlfors第二基本定理(定理1.1)中的系数h的最小允许值,以较复杂的方式依赖于a1,…,aq.现有的文献中,几乎找不到关于H0(Eq)性质的结论.粗糙地说,a1,…,aq越是彼此靠近,H0(Eq)就
随着元器件尺寸逐渐到达极限,基于传统半导体技术的集成管电路中的量子效应越来越明显。量子技术的研究和发展越来越多地引起人们的关注,争夺量子领域的制导权已上升到国家战略层面。量子技术主要包括量子信息、量子计算、量子模拟和量子探测等领域,其主要平台有超导电路,量子点,NV色心,核磁,冷原子,离子阱系统等。本论文主要讨论量子声学在量子信息处理中的应用和基于Jaynes-Cummings格点模型的量子模拟。
贝叶斯模型因其灵活的建模能力和稳定的学习表现使得它在人工智能及机器学习领域中得到了广泛应用,而当前大数据环境的特征则为贝叶斯模型的学习过程,即贝叶斯推理,带来了新的挑战和需求。多样的数据形式要求贝叶斯推理方法可高效处理变量的流形结构,复杂的模型结构需要推理方法具有更强的近似灵活性,繁重的后续任务要求推理方法的粒子高效性,而巨大的数据规模则需要推理方法可高效利用推理时间和计算资源。另外,新的高效推理
光解是指分子吸收光子后解离成碎片的过程。氢分子在高激发态的光谱和解离动力学,已成为精确计算和实验技术的基准。随着激光技术与探测方法的发展,人们对解离产物的角分布、角分辨光谱、碰撞反应截面等开展了广泛的研究。本文利用可调谐的极紫外激光(XUV)作为泵浦源,在前人研究的基础上,进一步探索D2和HD分子在光解中的新现象,取得了如下研究结果:(1)对于直接解离,测量了 D2和HD分子高于解离阈值3000