[论文解读] Cauchy problem for dissipative Hölder solutions to the incompressible Euler equations

Sara Daneri|arXiv (Cornell University)|Feb 5, 2013

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

一句话总结

本文证明了在3维环面上，对于连续或 Hölder 连续（Hölder 指数 θ < 1/16）的初始数据，存在无穷多组 Hölder 连续解满足不可压缩欧拉方程。通过精心设计的扰动项进行迭代凸积分构造，该研究实现了预设的单调递减总动能，从而解决了关于 Onsager 猜想中长期存在的一个方面，即在 Hölder 正则性低于 1/3 阈值时存在耗散解。

ABSTRACT

We consider solutions to the Cauchy problem for the incompressible Euler equations on the 3-dimensional torus which are continuous or Hölder continuous for any exponent $θ

研究动机与目标

• 通过构造低于 1/3 Hölder 正则性阈值的耗散解，解决 Onsager 猜想中的一个关键开放问题。
• 将欧拉方程弱解的非唯一性与能量耗散理论扩展至连续解与 Hölder 连续解的范畴。
• 证明在 Hölder 空间 C^0,θ（θ < 1/16）中，对任意初始数据，存在无穷多组具有预设总动能的解。
• 发展一种稳健的迭代凸积分框架，可在保持 Hölder 正则性的同时精确控制能量演化。

提出的方法

• 采用迭代凸积分方法，通过一系列扰动项构造具有受控能量与正则性的解。
• 使用依赖于时间的单位分解与截断函数 ψ_n，实现对时间域内扰动的局域化，以确保收敛性。
• 通过震荡向量场与 Beltrami 型流构造速度、压力及雷诺应力的修正项，使解在弱意义下满足欧拉方程。
• 应用光滑化技术，确保在扰动步骤中保持 Hölder 正则性。
• 通过递归能量缺陷项 Δ_n 与一系列小参数 δ_n 实现能量控制，确保收敛性。
• 依赖于一个关键的扰动命题（命题 2.2），该命题确保雷诺应力在修正过程中保持能量与正则性约束。

实验结果

研究问题

• RQ1 根据 Onsager 猜想预测，是否存在 Hölder 正则性 θ < 1/16 的不可压缩欧拉方程耗散弱解？
• RQ2 对于此类初始数据，是否可构造出无穷多组具有预设、单调递减总动能的连续或 Hölder 连续解？
• RQ3 欧拉方程中非唯一性与能量耗散所需的最小 Hölder 正则性是多少？
• RQ4 凸积分方法能否被调整以在保持 Hölder 正则性的同时实现对能量演化的完全控制？
• RQ5 初始数据需满足何种条件，才能保证存在具有预设能量分布的“野性”解？

主要发现

• 本文证明了在 3D 环面上，对于 Hölder 空间 C^0,θ 中满足 θ < 1/16 的初始数据，存在无穷多组 Hölder 连续解满足不可压缩欧拉方程。
• 对任意此类初始数据，均存在无穷多组解，其总动能 e(t) 为预设的连续且单调递减函数。
• 所构造的解在弱分布意义下满足欧拉方程，且在 L^2 意义下保持初始速度。
• 迭代构造的收敛性由条件 ∑ max_{[t_n,1]} √Δ_{n-1} < ∞ 保证，确保极限函数连续。
• 在极限情况下雷诺应力趋于零，证实最终解精确满足欧拉方程。
• 该结果确认了 Onsager 猜想的关键部分：在 Hölder 正则性低于 1/3 阈值时，耗散解确实存在。