用对偶变分法结合神经网络和B样条求解无显式变分结构的微分方程。
Variational formulation based on duality to solve partial differential equations: Use of B-splines and machine learning approximants
- 将PDE作为约束,通过引入强凸辅助势函数构造对偶变分形式。
- 在稳态与瞬态对流-扩散方程上实现高精度求解,收敛率在L²与H¹半范数中验证。
- 兼容神经网络与B样条,适合无变分结构的复杂物理问题求解。
许多偏微分方程(如流体中的Navier-Stokes方程、固体力学中的非弹性变形、瞬态抛物与双曲方程)不具有显式的原问题变分结构。近期提出一种基于对偶(拉格朗日乘子)场的变分原理:将给定PDE视为约束,引入任意强凸辅助势函数进行优化。通过对原变量的拉格朗日函数梯度为零,建立从对偶到原变量的映射,从而将原问题转化为在对偶变量上施加狄利克雷边界条件的凸对偶泛函最小化问题,确保即使无原问题变分结构的PDE也可通过变分方法求解。对偶泛函的一阶变分为零,等价于已嵌入对偶-原变量变换的原问题弱形式。本文推导了一维线性瞬态对流-扩散方程的对偶弱形式,采用伽辽金离散,试函数选用带RePU激活函数的浅层神经网络或B样条,对应的刚度矩阵对称。对于瞬态问题,采用时空伽辽金方法,使用张量积B样条作为逼近函数。数值结果展示了稳态与瞬态对流-扩散方程及瞬态热传导问题的高精度求解能力,稳态问题在L²范数与H¹半范数下建立了收敛率。
原文摘要 · Abstract (English)
Many partial differential equations (PDEs) such as Navier--Stokes equations in fluid mechanics, inelastic deformation in solids, and transient parabolic and hyperbolic equations do not have an exact, primal variational structure. Recently, a variational principle based on the dual (Lagrange multiplier) field was proposed. The essential idea in this approach is to treat the given PDEs as constraints, and to invoke an arbitrarily chosen auxiliary potential with strong convexity properties to be optimized. On requiring the vanishing of the gradient of the Lagrangian with respect to the primal variables, a mapping from the dual to the primal fields is obtained. This leads to requiring a convex dual functional to be minimized subject to Dirichlet boundary conditions on dual variables, with the guarantee that even PDEs that do not possess a variational structure in primal form can be solved via a variational principle. The vanishing of the first variation of the dual functional is, up to Dirichlet boundary conditions on dual fields, the weak form of the primal PDE problem with the dual-to-primal change of variables incorporated. We derive the dual weak form for the linear, one-dimensional, transient convection-diffusion equation. A Galerkin discretization is used, with the trial and test functions chosen as linear combination of either shallow neural networks with RePU activation functions or B-splines; the corresponding stiffness matrix is symmetric. For transient problems, a space-time Galerkin implementation is used with tensor-product B-splines as approximating functions. Numerical results are presented for the steady-state and transient convection-diffusion equation, and transient heat conduction. The proposed method delivers sound accuracy for ODEs and PDEs and rates of convergence are established in the $L^2$ norm and $H^1$ seminorm for the steady-state convection-diffusion problem.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。