Low-order CR--RT equilibrated-flux certification for semilinear problems on anisotropic meshes
各向异性网格上半线性问题的低阶CR--RT均衡流认证
Hiroki Ishizaka
AI总结 针对半线性扩散-反应问题,提出基于CR--RT均衡流的低阶认证框架,通过牛顿-康托罗维奇论证给出显式半径ρ确保解存在唯一,并利用伴随修正缩小感兴趣量的区间。
详情
我们为半线性扩散-反应问题的有限元近似开发了一种低阶Crouzeix--Raviart--Raviart--Thomas (CR--RT) 均衡流认证工作流,特别强调各向异性网格设置。给定一个计算得到的协调有限元状态$\tilde u_h$,认证过程简化为牛顿-康托罗维奇论证所需的三个可计算量:对偶范数残差界、Fréchet导数的稳定性常数以及$\tilde u_h$邻域内导数的Lipschitz界。这些分量产生一个显式半径$\rho>0$,确保精确解局部存在且唯一在球$B(\tilde u_h,\rho)\subset V$内。残差界通过一个经Marini型CR--RT路径重构的$H(\mathrm{div})$-协调$\mathbb{RT}^0$证书流获得。该路径的目的不是取代一般的高阶或局部混合均衡重构,而是提供一种低阶显式构造,其代数结构在各向异性单纯形网格上透明。在认证邻域内,我们进一步包围选定的感兴趣量$\mathcal J(u)$;基线包围来自验证的包含关系,而基于伴随的校正使所得区间变窄。数值实验报告了单调半线性模型(包括各向异性网格测试)的可计算认证量的行为。除非显式使用区间或向外舍入的标量后处理,否则报告的计算应理解为对推导的严格估计量的浮点评估。
We develop a low-order Crouzeix--Raviart--Raviart--Thomas (CR--RT) equilibrated-flux certification workflow for finite element approximations of semilinear diffusion--reaction problems, with particular emphasis on anisotropic mesh settings. Given a computed conforming finite element state $\tilde u_h$, the certification process is reduced to three computable quantities required by a Newton--Kantorovich argument: a dual-norm residual bound, a stability constant for the Fréchet derivative, and a Lipschitz bound for the derivative in a neighborhood of $\tilde u_h$. These components yield an explicit radius $ρ>0$, ensuring that the exact solution exists locally and uniquely within the ball $B(\tilde u_h,ρ)\subset V$. The residual bound is obtained from an $H(\mathrm{div})$-conforming $\mathbb{RT}^0$ certificate flux reconstructed through a Marini-type CR--RT route. The purpose of this route is not to replace general higher-order or local mixed equilibrated reconstructions, but to provide an explicit low-order construction whose algebraic structure is transparent on anisotropic simplicial meshes. Within the certified neighborhood, we further enclose selected quantities of interest $\mathcal J(u)$; the baseline enclosure follows from the verified inclusion, while an adjoint-based correction sharpens the resulting intervals. The numerical experiments report the behavior of the computable certification quantities for monotone semilinear models, including anisotropic mesh tests. Unless interval or outward-rounded scalar post-processing is explicitly used, the reported computations should be understood as floating-point evaluations of the derived rigorous estimators.