一种用于半经典非线性薛定谔方程正问题与反问题的深度学习WKB-PINNs框架
《Communications in Nonlinear Science and Numerical Simulation》:A deep learning WKB-PINNs framework for forward and inverse problems of semiclassical nonlinear Schr?dinger equations
【字体:
大
中
小
】
时间:2026年08月06日
来源:Communications in Nonlinear Science and Numerical Simulation 3.8
编辑推荐:
摘要:我们提出了WKB-PINNs框架,这是一种用于半经典非线性薛定谔方程的建模方法,它将温策尔-克拉默斯-布里渊相位-振幅分解方法融入到物理信息神经网络中。在这种方法中,解被分解为快速振荡的实数相位和复数包络,随后利用完整的强形式残差以及初始条件和边界数据来训练两个耦合的替代模
摘要:我们提出了WKB-PINNs框架,这是一种用于半经典非线性薛定谔方程的建模方法,它将温策尔-克拉默斯-布里渊相位-振幅分解方法融入到物理信息神经网络中。在这种方法中,解被分解为快速振荡的实数相位和复数包络,随后利用完整的强形式残差以及初始条件和边界数据来训练两个耦合的替代模型。在无色散定律适用时,目标函数中包含一个艾科纳正则化项,用以将学到的相位与几何光学联系起来;而在量子压力不可忽略的情况下,则通过温和的导数约束来对相位进行正则化。这种表示方式能够改善条件数,降低每波长所需的配置密度,并减少相位误差传递到包络中的可能性。该框架无需网格,可在常见的深度学习环境中高效实现,同时支持从部分观测数据中进行正向解算和逆向参数估计。我们通过五个二维研究对这一方法进行了验证。正向研究包括基于基准相位引导的配置、具有真正非仿射相位和空间变化势场的问题、在周期性边界条件下检验同一半经典框架的周期性问题,以及包含O(?)阶内部层的相干结构问题。此外,我们还研究了逆向问题,旨在从包含终端数据的混合观测中恢复半经典参数和非线性相互作用强度。通过用5%和10%的噪声干扰观测数据,我们评估了方法的鲁棒性,发现复杂场、恢复的参数以及相关的物理量都具有稳定的精度。结果表明,WKB-PINNs为小?值下以波动为主的动力学提供了一种实用且能适应不同场景的方法,在高度振荡的半经典非线性薛定谔方程体系中也能保持稳定性能。
引言:偏微分方程是物理学、工程学、力学、化学和金融等领域用于建模复杂现象的数学基础[1]、[2]。在这一广阔领域中,非线性薛定谔方程起着核心作用,它描述了固体物理学、非线性光学、玻色-爱因斯坦凝聚态以及流体力学中的色散波动力学,尤其是在标度化的普朗克常数满足0?????1的半经典范围内[3]、[4]、[5]。在本研究中,我们在给定初始条件和边界条件的情况下,探讨了有界二维空间区域内的二维半经典非线性薛定谔方程。设Ω?R2表示空间域,t?∈?[0, T]表示时间变量。在整个研究中,(?, y)表示二维空间中的坐标。为阐述基本建模结构,我们首先以初始-边界值形式写出问题,然后指定在各个基准测试中使用的与问题相关的辅助条件。我们考虑以下方程:{i?vt+?22Δv?V(?,y)v?α|v|2v=0,(?,y)∈Ω,t∈(0,T],v(?,y,0)=v0(?,y),(?,y)∈Ω,v(?,y,t)=g(?,y,t),(?,y)∈?Ω,t∈[0,T]}。此处,v:Ω×[0,T]→C表示复数波场,??>?0为标度化的普朗克常数。算子Δ=???+?yy为二维拉普拉斯算子,代表线性色散效应。函数V(?, y)表示实值势场,用于描述外部驱动力或约束效应。参数α?>?0决定了三次非聚焦非线性的强度。映射v0(?, y)规定了初始状态,而g(?, y, t)则给出了空间边界上的狄利克雷条件。从波场v出发,可以计算出一些重要的物理量,这些量能够体现非线性薛定谔动力学中的守恒律和规范不变结构。质量密度由ρ=|v|2定义,它描述了波场的局部强度。相应的概率流由J=?Im(v ̄?v),其中?=(??,?y)给出,它代表了由于相位空间变化而产生的通量。我们还考虑了哈密顿密度h=?22|?v|2+V|v|2+α2|v|4,它通过色散、势能和非线性成分记录了局部的能量分布。这些诊断量具有规范意识,与非线性薛定谔演化的不变量相关联,同时也能补充场级误差范数,因此它们能够为半经典体系中的相位精确度、传输准确性和能量一致性提供可靠的检验标准[6]。方程(1.1)中的表述涵盖了应用中出现的几种标准薛定谔型模型。当V?≡?0且f(|v|2)v=α|v|2v时,就得到了三次非线性薛定谔方程,此时若α?>?0则为非聚焦型,而α?0则为聚焦型[7]。当f(|v|2)v=|v|2v且势场起到约束作用时,方程(1.1)就呈现出格罗斯-皮塔耶夫斯基方程的形式,例如具有谐波陷阱V(?,y)=ω2(?2+y2)或二维光学晶格V(?,y)=A1cos(L1?)+A2cos(L2y)的情况[8]、[9]。对于二维空间中的非线性薛定谔方程,已有丰富的数值方法可供使用,包括斯特兰格提出的时间分裂傅里叶伪谱方法及其更高阶版本,这些方法交替处理线性色散和局部非线性效应[10]、[11];还有指数积分器以及劳森或高奇谱方法,它们能够在时间上精确处理刚性的线性部分[12];此外还有保持结构的有限差分法和有限元法,它们能够确保离散的质量或能量守恒[7]、[13]。最近在其他刚性演化方程方面的保持结构离散化技术也取得了进展,这反映了可靠经典偏微分方程求解工具的持续发展[14]。这些方法为那些离散化精度足够高、能够捕捉所有相关解尺度且初始和边界条件都已完全给定的情况提供了直接的数值计算参考。在半经典体系中,振荡相位的变化尺度为?,而特征频率则约为1/?。因此,传统的离散化策略通常要求空间网格尺寸和时间步长都按比例随?减小,这样才能保持可接受的相位精度并限制色散误差。在二维情况下,空间自由度的增长速度为??2,时间步数的增长速度为??1,因此总计算量约为??3级,而内存需求则为??2级。虽然经典求解方法在精细化处理时仍能保持精度,但随着?的减小,其计算成本会迅速上升。除此之外,温策尔-克拉默斯-布里渊近似方法通过将解表示为高度振荡的相位因子与变化较为平缓的振幅相结合,从而减轻了主导性的振荡效应,所得展开式在?的二阶精度上是准确的。典型的实现方法包括一步WKB行进算法[15]以及相位函数表述方法[16]、[17]。在分离出主要的振荡分量后,经过变换后的未知函数在??→?0的极限情况下会变得平滑,或者其振荡幅度会迅速减小,这样就可以在相对粗糙的网格上进行精确计算。尤其是[15]中的行进方法在数值误差随??→?0而消失的意义上是渐近正确的。这种相位-振幅视角体现了潜在的射线几何结构,为整个半经典体系提供了分析洞察和算法指导。近年来,基于数据的偏微分方程求解方法发展迅猛。高斯过程、极端学习机、随机特征模型等概率替代模型,再加上现代深度学习方法[18]、[19]、[20]、[21]、[22]、[23],已在众多偏微分方程问题上展现出强大的性能。在此背景下,物理信息神经网络已成为数值求解微分方程的常用方法[24]。其基本原理是将控制算子以及相关的辅助约束嵌入到损失函数中,从而使训练得到的替代模型遵循既定的物理定律,而非仅仅受观测数据驱动。这一策略有助于得到遵循守恒定律以及模型固有结构约束的解。物理信息神经网络可以在PyTorch和TensorFlow等主流机器学习环境中轻松实现[25]、[26]、[27]。在这种框架下,神经网络被用作解场的参数化近似。具体而言,我们用v?:=vPINN=N(?,y,t;Θ)来表示物理信息神经网络替代模型,其中vPINN表示基于网络的解的近似值,N代表由层结构和激活规则确定的神经映射函数,而Θ则包含了所有可训练的权重和偏置参数。为了与方程(1.1)保持一致,我们通过最小化复合损失函数L=wgLg+wibLib来获得Θ,其中Lib=Lic+Lbc,具体表达式为:Lg=1|Ig|∑(?,y,t)∈Ig|i??tv?+?22Δv??V(?,y)v??α|v?|2v?|2,Lic=1|Iic|∑(?,y)∈Iic|v?(?,y,0)?v0(?,y)|2,Lbc=1|Ibc|∑(?,y,t)∈Ibc|v?(?,y,t)?g(?,y,t)|2。这里Ij表示第j项所使用的配置样本集合,|Ij|为其大小,wj则是对应于该项的调整权重,j?∈?{g, ib}。标签ib将初始条件和边界条件的影响通过Lic和Lbc整合在一起。方程(1.6)中涉及的所有导数都是通过反向传播机制进行自动微分计算得出的[28]、[29]。这使得微分算子可以直接嵌入到计算图中,从而使损失函数在训练过程中能够强制执行物理约束。与传统依赖于空间网格和显式时间推进的数值方法相比,物理信息神经网络无需网格,易于部署,且能灵活适用于不同的模型和几何结构。自动微分功能能够精确计算网络输出关于空间和时间的导数,这使得无需手动编写特殊代码或进行符号运算,就能在损失函数中直接实现控制算子和辅助条件的约束。这些优势促使人们开发出一种基于机器学习的数值方法,用于解决方程(1.1)的问题,该方法能够整合异构数据,并在整个域内一致地施加物理约束。尽管具有这些灵活性,但标准的物理信息神经网络在半经典体系中仍面临诸多困难。波场表现出快速振荡的相位和以传输为主的行为,这就导致了复杂的残差、较高的配置密度要求,以及在训练过程中出现梯度消失或剧烈振荡等优化问题。已有几种深度学习框架被提出用于解决相关薛定谔方程中的多尺度振荡问题[30]。例如,有多尺度神经架构如MscaleDNNs,它们通过引入频率分离的特征来丰富表示能力[31];还有物理信息深度神经网络,它们能够学习具有多尺度结构的算子映射[32];以及基于高斯波包或光束的替代模型,它们将渐近振荡结构纳入模型体系[33]、[34]。这些方法在一定程度上缓解了小?值下的难题,相比普通物理信息神经网络具有更高的稳定性。然而,这些多尺度网络并未体现半经典极限下控制相位的艾科纳结构或哈密顿-雅可比结构,因此它们仍然在学习原始的振荡场,且对?尺度下的刚性问题依然敏感。此外,这些架构并不具备在有界域上强制满足初始和边界条件,以及从部分观测数据中同时学习物理参数的能力,这限制了它们在我们研究场景中的应用。基于以上考虑,我们决定构建一种能够适应不同场景的学习框架,该框架充分利用方程(1.1)中的内在相位结构,用于解决有界域上的半经典非线性薛定谔方程的正向和逆向问题。鉴于这些考量以及物理信息学习的广泛应用,我们开发了一种专为方程(1.1)设计的基于物理信息神经网络的架构。如前文所述,当?较小时,直接使用普通物理信息神经网络会因为快速的相位振荡和由此产生的刚性问题而性能下降。因此,我们将半经典WKB分解方法与物理信息神经网络训练相结合,提出了适用于半经典体系下非线性薛定谔方程的WKB-PINNs框架。该框架采用相位-振幅形式表示场,将快速振荡分离为一个独立的相位因子,而将较为平滑的包络留给网络去学习。与那些需要网格和时间步长来匹配?尺度的高阶经典求解方法相比,所提出的框架具有实际应用中至关重要的优势。它在数据有限和逆向问题场景下也能正常工作,因为它能够整合部分观测数据,并在同一个受物理约束的目标函数中恢复未知参数。此外,该框架无需网格,且不受几何形状限制,这简化了在复杂域上的应用,同时也便于扩展到新的边界条件和约束类型。一旦训练完成,该网络就可以作为可重复使用的替代模型,从而实现快速查询、灵敏度分析以及参数扫描,而无需重新运行完整模拟。这些特性使得在空间或时间分辨率受限、可用数据稀疏或存在噪声的情况下,WKB-PINNs更具优势。实际上,该方法能够提高小?值下的稳定性与准确性,且既适用于正向模拟,也适用于逆向参数识别。正是基于这些实际优势,本研究提出了一种能够适应不同场景的半经典非线性薛定谔方程物理信息神经网络框架,该框架将经典的WKB相位-振幅理念转化为一种具有物理信息约束的可训练的有界域求解器。这项工作的核心在于方法论层面,重点在于根据问题特点进行相位正则化以及分阶段优化。具体而言,所提出的框架结合了相位-振幅神经参数化方法与基于场景的相位引导策略,在相位平滑的单相预焦散状态下采用艾科纳正则化方法,而在点态色散闭合不可靠时则使用轻量级的导数约束。此外,该设计还实现了正向模拟、逆向识别、含噪声观测以及部分观测等问题的统一处理,从而为振荡型半经典非线性薛定谔方程提供了一种区别于直接将标准物理信息神经网络应用于原始复数场的方法。我们在五个半经典非聚焦非线性薛定谔方程研究中评估了WKB-PINNs的准确性与适用范围。首先,我们解决一个二维平面波初始边界值问题,以评估在线性相位区域下的基线时空训练和相位引导效果。其次,我们引入了一个具有空间变化势场和真正非仿射相位几何结构的二维谐振阱基准测试,用以直接检验所提出的渐近引导相位学习器是否能在平滑的预焦散环境中恢复出弯曲的相位场。第三,我们添加了一个具有平滑精确相位和周期性边界条件的二维周期性非仿射基准测试,以此来考察相同的相位感知结构在超出早期狄利克雷型环境后是否依然有效。第四,我们研究了一种移动的斜向暗孤子,其包络中包含O(?)宽度的凹陷,且由于无色散的渐近定律在孤子核心区域并不始终成立,因此导数锚点仍然适用。第五,我们对同一孤子进行了逆向研究,通过混合观测数据恢复了半经典参数和去聚焦强度。我们还通过在数据中加入5%和10%的加性噪声来检验方法的鲁棒性,结果发现在这些情况下精度依然稳定。本文的结构如下:第2节介绍了WKB-PINNs方法及其主要组成部分;第3节和第4节研究了仿射和真正非仿射相位区域下的二维正向半经典NLS基准测试,第5节则探讨了相关的时间守恒行为;第6节引入了周期性非仿射基准测试,以评估相同框架在不同边界条件下的表现;第7节研究了有界域内的相干波基准测试,并给出了相应的精度指标;第8节则针对该基准测试提出了相关的逆向参数识别任务;第9节研究了预测和参数恢复场景下数据扰动的影响,第10节总结了不同随机种子下的差异情况;第11节总结了计算成本、可训练参数以及收敛行为;第12节则对研究结果进行了总结,并提出了未来的研究方向。
WKB-PINNs框架
我们现在介绍用于半经典区域二维NLS的WKB-PINNs方法。我们开发了一种具有相位感知能力的PINN,它将半经典相位-振幅分解与训练目标相结合,该训练目标不仅依据初始条件和边界条件来强制满足强形式约束,还在适当的情况下引入渐近先验来处理相位问题,同时在无色散定律不成立的区域内则使用轻量级的导数锚点。
2.1 半经典WKB分解与神经网络参数化,正向问题:立方NLS的二维平面波传播
我们首先研究WKB-PINNs在半经典平面波区域中对去聚焦立方NLS的求解性能。该示例将方法置于一个完整的时空配置中,涉及两个空间变量和一个时间变量,相位在所有坐标上都会发生变化,且控制方程同时包含了非线性相互作用和多维微分结构。这一设置非常适合用来评估渐近引导的稳定作用。
正向问题:存在谐振阱的二维去聚焦立方NLS
接下来,我们在存在谐振陷阱势场的条件下,研究基于所提框架的正向基准测试。与之前的案例相比,此示例旨在测试该方法在具有真正非仿射相位的平滑预焦散区域中的表现。限制势场明确依赖于空间变量,这会导致相位出现空间变化的梯度,从而使验证范围超出之前研究的线性相位几何结构。
随时间演化的物理一致性
现在我们研究所学到的解是否能在整个演化过程中保持主要的物理量不变。我们在每个保存的时间点评估相对质量与哈密顿量的误差,然后报告它们的时间平均值和时间最大值。这种做法能够系统地从守恒角度评估所学动力学行为,从而使得验证不再仅局限于最终时刻的场误差。表13显示,整个演化过程中的守恒误差都保持较小水平。
正向问题:二维周期性非仿射半经典NLS
接下来,我们考虑在一个周期性空间域上设置的二维半经典NLS基准测试,以此来判断当前的WKB-PINNs框架是否能够拓展到之前研究的狄利克雷型环境之外。新的测试案例具有平滑的非仿射精确相位以及周期性势场,因此虽然仍属于二维去聚焦半经典区域,但属于完全不同的边界条件类别。
正向问题:二维斜向传播的暗孤子
接着,我们将WKB-PINNs框架应用于移动且斜向传播的暗孤子所对应的半经典NLS问题。与二维平面波示例不同,此场景涉及一个具有非零恒定空间梯度和非平凡时间斜率的线性相位,同时振幅部分呈现出厚度为O(?)的相干暗凹陷结构。这种相干结构为表示能力和逆向问题的解决提供了严格的考验。
逆向问题:二维移动斜向暗孤子
现在我们研究与二维斜向传播暗孤子相关的逆向识别问题。我们选择这种斜向传播的暗孤子作为测试案例,因为它提供了一个具有丰富但受控结构的封闭形式参考模型,包括斜向分布、可调节的传播速度,以及能够同时考验振幅和相位重建能力的局部过渡层。此外,该案例还提供了具有物理意义的可观测量。
含噪声数据实验
为了评估对测量噪声的鲁棒性,我们在越来越复杂的观测模式下,对正向和逆向半经典NLS场景下的所提WKB-PINNs框架进行了测试。在正向平面波基准测试中,我们在保持规定的初始条件和边界数据精确不变的情况下,研究存在噪声的内部时空观测数据,这样就可以将受污染的场测量效应与初始边界约束分开来分析。在逆向斜向传播暗孤子场景中,则进行了相关测试。
不同随机种子的统计变异性
我们进一步研究了在独立随机种子下WKB-PINNs主要结果的重复性。为此,我们使用了1234、2345和3456这三个独立种子重复进行了三个具有代表性的实验,并报告了主要误差指标和参数估计值的平均值±标准差。所选的实验包括二维谐振阱正向问题、在完整观测条件下的逆向斜向传播暗孤子问题,以及另外一项逆向实验。
计算成本、可训练参数及收敛行为
现在我们总结一下所提出的WKB-PINNs框架在主要正向和逆向研究中的计算开销。所有测试均在Windows 10系统上的TensorFlow环境中运行,使用的Python版本为3.11.0,TensorFlow版本为2.18.0。所有计算都在Intel(R) Core(TM) i7-10870H CPU @ 2.20GHz处理器上进行。由于在这些测试中后台没有检测到GPU设备,因此无法获取直接的GPU内存峰值统计数据。正因如此,这里只能给出计算开销的近似值。
结论与未来展望
我们开发了一种基于物理信息的半经典NLS学习框架,该框架通过结合现代神经网络技术与经典的WKB结构来融入相位信息。WKB–PINNs方法包含三个组成部分:首先,相位-振幅表示法将快速振荡与更平滑的包络分离,从而改善基于残差的训练条件;其次,通过在实际适用的阶段激活渐近先验,以符合该阶段的特性来对相位进行正则化处理。
未引用参考文献
缺失引用[40]
CRediT作者贡献说明
Shubham Kumar:写作——审阅与编辑,写作——初稿撰写,软件工具,方法论,研究工作,形式分析,概念构建。Himanshu Kumar Dwivedi:写作——审阅与编辑,可视化,方法论,研究工作,形式分析,概念构建。R. Rajeev:写作——审阅与编辑,写作——初稿撰写,指导监督,方法论,研究工作,形式分析,概念构建。
利益冲突声明
作者声明他们不存在任何可能影响本文所述工作的已知财务利益或个人关系。
Shubham Kumar | Himanshu Kumar Dwivedi | R. Rajeev
印度瓦拉纳西,BHU印度理工学院数学科学系,邮编221005