三维欧拉奇点计算机辅助证明中奇异加权估计的解析有限秩修正
Analytic finite-rank corrections for singularly weighted estimates in a computer-assisted proof of 3D Euler singularity
浏览论文内容
中文总结 AI 辅助
研究流体方程自相似奇点形成的计算机辅助证明中奇异加权估计问题，通过回顾解析低秩修正方法，在数值步骤确定相关量，利用泰勒展开导出低秩修正执行消失条件，还介绍其在二维布辛涅斯克/三维欧拉稳定性论证中的应用及更广泛适用性。
中文摘要 AI 辅助
流体方程自相似奇点形成的计算机辅助证明通常依赖于数值构建的近似剖面。一种建立围绕数值构建剖面的扰动稳定性的有效方法是在奇点附近用奇异权重进行加权能量估计。然而，加权范数需要精确的局部消失条件，方程和数值构建不会自动保持这些条件。本文回顾了一种首次在[ChenHou2023a，ChenHou2023b]中开发的解析低秩修正方法来克服这一困难。数值步骤确定显式全局基表示中的系数、严格界和低阶缺陷模式，而所需的消失条件通过从光滑基中表示的相关量的泰勒展开导出的低秩修正来解析执行。为了完整起见，我们简要回顾了二维布辛涅斯克/三维欧拉稳定性论证中的奇异加权估计和定量有限秩扰动方法，其中出现了奇异权重和所需的消失阶数。在此背景下，我们在简化设置中制定局部修正原理，解释近似时空解和流函数数值构建中残余误差的修正，并讨论其对非局部偏微分方程计算机辅助稳定性分析的更广泛适用性。
英文摘要
Computer-assisted proofs of self-similar singularity formation for fluid equations often rely on numerically constructed approximate profiles. One effective approach to establishing stability of perturbations around a numerically constructed profile is to perform weighted energy estimates with singular weights near the singularity. However, the weighted norms require exact local vanishing conditions that are not automatically preserved by the equations nor the numerical construction. In this paper, we review an analytic low-rank correction method first developed in [ChenHou2023a,ChenHou2023b] to overcome this difficulty. The numerical step determines coefficients, rigorous bounds, and low-order defect modes in explicit global basis representations, while the required vanishing conditions are enforced analytically through low-rank corrections derived from Taylor expansions of the relevant quantities represented in a smooth basis. For completeness, we briefly review the singularly weighted estimates and a quantitative finite-rank perturbation method in the 2D Boussinesq / 3D Euler stability argument, where singular weights and the required vanishing order arise. Against this background, we formulate the local correction principle in a simplified setting, explain the correction of the residual error in numerical constructions of approximate space-time solutions and the stream function, and discuss its broader applicability to computer-assisted stability analysis for nonlocal PDEs.
