[论文解读] On the Endpoint Regularity in Onsager's Conjecture

Philip Isett|arXiv (Cornell University)|Jun 5, 2017

Navier-Stokes equation solutions参考文献 27被引用 6

一句话总结

本文构建了三维不可压缩欧拉方程的弱解，其时空 Hölder 正则性接近临界指数 $1/3$，在 Onsager 猜想的端点处展示了能量不守恒。通过采用改进的凸积分方案，结合局部频率估计与时间缩放中的对数改进，作者实现了比以往结果更接近 $C^{1/3}$ 的正则性，避免了与临界阈值之间固定的间隙。

ABSTRACT

Onsager's conjecture states that the conservation of energy may fail for $3D$ incompressible Euler flows with Hölder regularity below $1/3$. This conjecture was recently solved by the author, yet the endpoint case remains an interesting open question with further connections to turbulence theory. In this work, we construct energy non-conserving solutions to the $3D$ incompressible Euler equations with space-time Hölder regularity converging to the critical exponent at small spatial scales and containing the entire range of exponents $[0,1/3)$. Our construction improves the author's previous result towards the endpoint case. To obtain this improvement, we introduce a new method for optimizing the regularity that can be achieved by a convex integration scheme. A crucial point is to avoid power-losses in frequency in the estimates of the iteration. This goal is achieved using localization techniques of \cite{IOnonpd} to modify the convex integration scheme. We also prove results on general solutions at the critical regularity that may not conserve energy. These include a theorem on intermittency stating roughly that energy dissipating solutions cannot have absolute structure functions satisfying the Kolmogorov-Obukhov scaling for any $p > 3$ if their singular supports have space-time Lebesgue measure zero.

研究动机与目标

• 通过构造正则性任意接近 $C^{1/3}$ 的三维不可压缩欧拉方程弱解，解决 Onsager 猜想的端点情况。
• 通过消除低于 $1/3$ 的严格正指数间隙，克服先前凸积分构造中持续存在的正则性间隙。
• 开发一种新的凸积分算法，通过最小化迭代估计中基于频率的功率损失，优化正则性。
• 分析临界正则性 $1/3$ 处能量耗散解的结构，特别是关于间歇性和标度律的行为。
• 证明：若能量耗散且奇点支撑的时空测度为零，则无法满足 $p>3$ 时的柯尔莫哥洛夫-奥布霍夫标度律。

提出的方法

• 引入一种改进的凸积分方案，利用 [IO16b] 中的局部化技术控制频率相互作用，并消除迭代估计中的功率损失。
• 采用加权范数框架 $\mathpzc{h}(t)$ 追踪误差增长，通过在拼接近似中引入 $(\log \widehat{\Xi})^{-1}$ 因子，实现更优的时间尺度估计。
• 将标准的反散度估计替换为对称形式的反散度公式，避免在换位子估计中引入额外的对数损失。
• 通过调节频率-能量层级更新规则中的对数幂 $A$，优化正则性指数，降低 Hölder 估计中主导常数 $B$ 的值。
• 应用 Littlewood-Paley 理论控制迭代中的高频范数，确保跨尺度的统一控制。
• 推导出一种改进的正则性估计形式：$|v(t,x+\Delta x) - v(t,x)| \leq C|\Delta x|^{1/3 - B\sqrt{\frac{\log\log|\Delta x|^{-1}}{\log|\Delta x|^{-1}}}}$，其中 $B=4/3$。

实验结果

研究问题

• RQ1 凸积分能否在不固定低于临界指数间隙的前提下，构造出正则性任意接近 $C^{1/3}$ 的三维不可压缩欧拉方程弱解？
• RQ2 当迭代中消除了基于频率的功率损失时，凸积分所能达到的最优正则性是什么？
• RQ3 在临界正则性 $1/3$ 处，能量耗散解的结构行为如何，特别是与间歇性和标度律的关系？
• RQ4 若能量耗散且奇点支撑的时空测度为零，能否满足 $p>3$ 时的柯尔莫哥洛夫-奥布霍夫标度律？
• RQ5 时间缩放与频率能量层级中的对数修正在提升凸积分解正则性方面起到何种作用？

主要发现

• 本文构造了一个三维不可压缩欧拉方程的弱解 $v$，使得 $v \in \bigcap_{\alpha < 1/3} C_{t,x}^\alpha$，证明了在临界正则性阈值处能量不守恒是可能的。
• 该解满足一个精确的 Hölder 估计：$|v(t,x+\Delta x) - v(t,x)| \leq C|\Delta x|^{1/3 - B\sqrt{\frac{\log\log|\Delta x|^{-1}}{\log|\Delta x|^{-1}}}}$，其中 $B = 4/3$，优于以往的 $B = 2\sqrt{2/3}$。
• 改进的时间尺度估计将拼接近似中的对数损失降低了 $\log \widehat{\Xi}$ 倍，增强了迭代的收敛性与正则性控制。
• 频率-能量层级更新规则被优化为 $e_R' \sim (\log \widehat{\Xi})^{3/2} \frac{e_v^{1/2} e_R^{1/2}}{N}$，提高了对数幂并减少了正则性间隙。
• 证明了：若能量耗散且奇点支撑的时空测度为零，则无法满足任何 $p > 3$ 时的柯尔莫哥洛夫-奥布霍夫标度律。
• 新方法揭示了凸积分中此前隐藏的障碍：在频率更新中，对数幂 $A = 3/2$ 是最小化正则性常数 $B$ 的最优选择。