[论文解读] An elementary proof of existence and uniqueness for the Euler flow in localized Yudovich spaces

Gianluca Crippa, Giorgio Stefani|arXiv (Cornell University)|Oct 29, 2021

Navier-Stokes equation solutions被引用 5

一句话总结

本文提出了一种基于拉格朗日方法的初等证明，针对局部化尤多维奇空间中的二维欧拉方程，证明了全局存在性与唯一性，避免了使用索伯列夫理论和利特尔伍德-珀利分解。该研究建立了弱解，其涡度属于 $L^1 \cap L^p_{\text{ul}}$ 和 $L^1 \cap Y^\Theta_{\text{ul}}$，并给出了显式的连续性模，且在函数 $\Theta$ 的适度增长条件下保证了唯一性。该方法还可推广至比毕奥-萨伐尔定律更一般的具有结构化核的算子。

ABSTRACT

We revisit Yudovich's well-posedness result for the $2$-dimensional Euler equations for an inviscid incompressible fluid on either a sufficiently regular (not necessarily bounded) open set $Ω\subset\mathbb{R}^2$ or on the torus $Ω=\mathbb{T}^2$. We construct global-in-time weak solutions with vorticity in $L^1\cap L^p_{\mathrm{ul}}$ and in $L^1\cap Y^Θ_{\mathrm{ul}}$, where $L^p_{\mathrm{ul}}$ and $Y^Θ_{\mathrm{ul}}$ are suitable uniformly-localized versions of the Lebesgue space $L^p$ and of the Yudovich space $Y^Θ$ respectively, with no condition at infinity for the growth function $Θ$. We also provide an explicit modulus of continuity for the velocity depending on the growth function $Θ$. We prove uniqueness of weak solutions in $L^1\cap Y^Θ_{\mathrm{ul}}$ under the assumption that $Θ$ grows moderately at infinity. In contrast to Yudovich's energy method, we employ a Lagrangian strategy to show uniqueness. Our entire argument relies on elementary real-variable techniques, with no use of either Sobolev spaces, Calderón-Zygmund theory or Littlewood-Paley decomposition, and actually applies not only to the Biot-Savart law, but also to more general operators whose kernels obey some natural structural assumptions.

研究动机与目标

• 为二维欧拉方程在局部化尤多维奇空间中的全局存在性与唯一性提供一种新的、初等的证明。
• 消除对索伯列夫空间、卡尔德隆-齐梅尔曼理论以及利特尔伍德-珀利分解等高级工具的依赖。
• 建立基于增长函数 $\Theta$ 的速度场显式连续性模。
• 将尤多维奇的唯一性结果推广至无增长条件限制的均匀局部化设定。
• 证明该方法不仅适用于毕奥-萨伐尔定律，也适用于具有结构化核的更一般算子。

提出的方法

• 采用拉格朗日策略而非尤多维奇的能量法来证明弱解的唯一性。
• 仅使用初等实分析技巧，避免使用如利特尔伍德-珀利分解或卡尔德隆-齐梅尔曼理论等泛函分析工具。
• 定义均匀局部化的勒贝格空间与尤多维奇空间 $L^p_{\text{ul}}$ 和 $Y^\Theta_{\text{ul}}$，以在无界区域上处理 $\Theta$ 无增长限制的情形。
• 构造全局时间弱解，其涡度属于 $L^1 \cap L^p_{\text{ul}}$ 和 $L^1 \cap Y^\Theta_{\text{ul}}$，适用于一般开集 $\Omega \subset \mathbb{R}^2$ 或 $\Omega = \mathbb{T}^2$。
• 基于增长函数 $\Theta$ 推导出速度场的显式连续性模。
• 在局部化设定中应用奥宾-莱翁斯引理，以提取强收敛性并确保解的时间连续性。

实验结果

研究问题

• RQ1 能否仅使用初等实分析技巧，而不依赖高级调和分析工具，证明二维欧拉方程的全局存在性与唯一性？
• RQ2 在尤多维奇空间中，速度场的最优连续性模如何以增长函数 $\Theta$ 表示？
• RQ3 尤多维奇的唯一性结果如何推广至无界区域上的均匀局部化设定？
• RQ4 拉格朗日方法能否被调整以在 $\Theta$ 适度增长条件下证明 $L^1 \cap Y^\Theta_{\text{ul}}$ 中的唯一性？
• RQ5 在此框架下，毕奥-萨伐尔定律可被推广到何种程度？对核的何种结构假设可保证相同结果？

主要发现

• 在无界区域或环面上，二维欧拉方程的全局时间弱解存在，其涡度属于 $L^1 \cap L^p_{\text{ul}}$ 和 $L^1 \cap Y^\Theta_{\text{ul}}$。
• 推导出依赖于增长函数 $\Theta$ 的速度场显式连续性模。
• 在 $\Theta$ 在无穷远处适度增长的假设下，$L^1 \cap Y^\Theta_{\text{ul}}$ 中弱解的唯一性得以确立。
• 该证明仅依赖于初等实分析方法，避免使用索伯列夫空间、卡尔德隆-齐梅尔曼理论及利特尔伍德-珀利分解。
• 该方法可推广至具有自然结构假设的核的一般积分算子。
• 在局部化设定中对奥宾-莱翁斯引理进行了适应，以确保强收敛性与解的时间连续性。