[论文解读] The Onsager conjecture in 2D: a Newton-Nash iteration

Vikram Giri, Răzvan-Octavian Radu|arXiv (Cornell University)|May 29, 2023

Navier-Stokes equation solutions被引用 4

一句话总结

本文通过构造具有紧致时间支集和 Hölder 正则性 $ u \in C^{eta} $（其中 $ \beta < 1/3 $）的二维不可压缩 Euler 方程的非平凡弱解，解决了二维 Onsager 猜想中的柔性部分。该方法结合了 Newton-Nash 迭代，利用来自线性化 Euler 方程的时间振荡扰动，克服了二维中非相互作用的挑战，从而在不依赖 Mikado 流或空间间歇性的情况下实现了 Onsager 临界正则性。

ABSTRACT

For any $γ&lt;1/3$, we construct a nontrivial weak solution $u$ to the two-dimensional, incompressible Euler equations, which has compact support in time and satisfies $u\in C^γ(\mathbb R_t imes \mathbb T^2_x)$. In particular, the constructed solution does not conserve energy and, thus, settles the flexible part of the Onsager conjecture in two dimensions. The proof involves combining the Nash iteration technique with a new linear Newton iteration.

研究动机与目标

• 解决二维不可压缩 Euler 流中 Onsager 猜想的刚性/柔性差距问题。
• 在二维中构造具有 Hölder 正则性 $ \gamma < 1/3 $ 且时间支集紧致的非保守弱解。
• 克服二维中由于线段相交而导致无法使用 Mikado 流的拓扑障碍。
• 开发一种 Newton-Nash 迭代框架，利用时间振荡校正项实现误差消除机制的解耦。
• 提供一种新的柔性 Onsager 猜想证明，避免使用间歇性与 Mikado 流构造。

提出的方法

• 作者采用类似 Nash 的迭代方案，通过依次添加高度振荡的扰动来构造弱解，从而消除 Euler 方程中的误差。
• 引入一种新颖的 Newton 迭代，其中扰动被定义为带有时间振荡强迫项的线性化 Euler 方程的解。
• 扰动的时间振荡特性确保了不同方向误差分量之间不相互作用，从而规避了二维中线段相交的问题。
• 该方法依赖 Calderón-Zygmund 型算子来处理迭代校正过程中的压力项与无散度约束。
• 迭代在拉格朗日框架下构建，利用速度场的流映射，确保通过近似序列实现正则性的传播。
• 通过唯一性与连续性论证，在时间区间上拼接局部解，从而建立全局存在性。

实验结果

研究问题

• RQ1 能否构造具有 Hölder 正则性 $ \gamma < 1/3 $ 的二维不可压缩 Euler 方程的非保守弱解？
• RQ2 在二维中，当 Mikado 流因线段相交而失效时，如何在 Nash 迭代中实现非相互作用要求？
• RQ3 能否使用类似 Newton 的线性化方法设计时间振荡扰动，以实现二维中误差校正的解耦？
• RQ4 在缺乏空间间歇性或 Mikado 流的情况下，是否仍能在二维中实现 Onsager 临界正则性？
• RQ5 是否可能仅通过 Newton-Nash 框架中的时间振荡校正，在二维中构造出紧致支集且非保守的解？

主要发现

• 本文为任意 $ \gamma < 1/3 $ 构造了一个非平凡弱解 $ u \in C^{\gamma}(\mathbb{R}_t \times \mathbb{T}^2_x) $，满足二维不可压缩 Euler 方程，且时间支集紧致。
• 该解不守恒动能，从而证实了二维中 Onsager 猜想的柔性部分。
• 该方法避免使用 Mikado 流与空间间歇性，为柔性 Onsager 猜想提供了第三个独立证明。
• Newton-Nash 迭代框架通过使用来自线性化 Euler 方程的时间振荡扰动，成功在二维中实现误差校正的解耦。
• 该构造在任意维度 $ d \geq 2 $ 下均具有鲁棒性，因为该方法不依赖于特定维度的空间结构。
• 解序列在 $ C^1_t C^{N-1+\alpha}_x $ 与 $ C_t C^{N+\alpha}_x $ 中收敛，确保了全局正则极限解的存在性。