[论文解读] Remarks on the solution map for Yudovich solutions of the Euler equations

Huy Q. Nguyen|arXiv (Cornell University)|Sep 11, 2021

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

一句话总结

本文提供了对二维不可压缩欧拉方程Yudovich解在 $L^p$（所有 $p \in [1, \infty)$）中解映射强连续性的纯拉格朗日证明，以及在 $L^\infty$ 中的弱-* 连续性，方法基于流映射估计和测度保持性质。关键贡献在于提出了一种新颖的、内在的拉格朗日方法，避免使用欧拉能量估计和测试函数，并将连续性结果推广至 $L^\infty$ 中的无界集合。该结果适用于具有 $C^2$ 边界的有界平面区域，以及在 $\mathbb{R}^2$ 上紧支集初值涡度的情形。

ABSTRACT

Consider Yudovich solutions to the incompressible Euler equations with bounded initial vorticity in bounded planar domains or in $\mathbb{R}^2$. We present a purely Lagrangian proof that the solution map is strongly continuous in $L^p$ for all $p\in [1, \infty)$ and is weakly-$*$ continuous in $L^\infty$.

研究动机与目标

• 使用纯拉格朗日框架，建立Yudovich解在 $L^p(\Omega)$ 中解映射的强连续性，其中所有 $p \in [1, \infty)$。
• 证明在 $L^\infty(\Omega)$ 中解映射的弱-* 连续性，适用于 $L^\infty(\Omega)$ 初值，并将结果推广至 $L^\infty$ 中的无界集合。
• 提供解映射连续性性质的新颖、内在证明，避免使用欧拉能量估计和测试函数。
• 将连续性结果推广至整个空间 $\mathbb{R}^2$，适用于 $L^\infty_c(\mathbb{R}^2)$ 中紧支集初值涡度。

提出的方法

• 利用拉格朗日流映射 $X_t$ 定义解，形式为 $\omega(x,t) = \omega_0(X_{t,0}(x))$，避免使用测试函数。
• 利用流映射 $X_t$ 的测度保持性和霍尔德连续性性质，推导出 $L^p$ 估计。
• 采用光滑化方法并利用连续函数逼近，将连续性从 $C(\Omega)$ 推广至 $L^p(\Omega)$。
• 应用阿兹拉-阿斯科利定理与对角线选取法，在紧集上提取流映射的收敛子序列。
• 在 $L^\infty$ 中应用弱-* 收敛性与逼近论证，从 $C_c$ 测试函数过渡至一般 $L^1$ 函数。
• 通过毕奥-萨伐尔定律与核估计，建立速度场的收敛性，即使当 $K \notin L^1(\mathbb{R}^2)$ 时亦成立。

实验结果

研究问题

• RQ1 在不假设 $L^\infty$ 有界性的前提下，Yudovich解在 $L^p(\Omega)$ 中的解映射是否具有强连续性，对所有 $p \in [1, \infty)$ 成立？
• RQ2 能否通过纯拉格朗日方法建立解映射在 $L^\infty(\Omega)$ 中的弱-* 连续性？
• RQ3 对于 $L^\infty_c(\mathbb{R}^2)$ 中的初值，解映射在 $L^\infty(\Omega \times (-T,T))$ 中是否仍保持连续性，即使流仅具有局部霍尔德连续性？
• RQ4 是否可以不依赖欧拉能量估计或测试函数形式，证明解映射的收敛性？
• RQ5 毕奥-萨伐尔核的对数利普希茨模在控制速度场与流映射正则性方面起何作用？

主要发现

• 解映射 $S_t: \omega_0 \mapsto \omega(t)$ 在所有 $p \in [1, \infty)$ 下于 $L^p(\Omega)$ 中具有强连续性，即使不假设 $L^\infty$ 有界性。
• 解映射在 $L^\infty(\Omega)$ 中具有弱-* 连续性，且该结果可推广至 $\mathbb{R}^2$ 中紧支集初值涡度的情形。
• 该证明仅依赖于拉格朗日形式化与流映射的性质，避免使用欧拉能量估计与测试函数。
• 对于 $L^\infty_c(\mathbb{R}^2}$ 中的初值，解映射在 $L^\infty(\mathbb{R}^2 \times (-T,T))$ 中具有弱-* 连续性，且对每个 $t \in \mathbb{R}$，在 $L^\infty(\mathbb{R}^2)$ 中也具有弱-* 连续性。
• 速度场保持为对数利普希茨连续，流映射具有指数型霍尔德连续性，其指数为 $\exp(-C|t|\|\omega_0\|_{L^\infty})$，从而保证了流的正则性。
• 若 $\omega_n^0$ 在 $L^\infty$ 中弱-* 收敛于 $\omega_0$，则对所有 $t \in \mathbb{R}$，有 $\omega_n(t)$ 在 $L^\infty(\Omega)$ 中弱-* 收敛于 $\omega(t)$，且由于子列极限的唯一性，整个序列均收敛。