[论文解读] On the local well-posedness of the Prandtl and the hydrostatic Euler equations with multiple monotonicity regions

Igor Kukavica, Nader Masmoudi+2 more|arXiv (Cornell University)|Feb 9, 2014

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

一句话总结

本文在一类新型初值数据下建立了普朗特方程与静力欧拉方程的局部适定性：即在法向方向具有多个单调性区域的函数，同时在补集上具有解析性。关键结果是在这些广义的单调性与解析性条件下，局部存在性与唯一性成立，将先前仅限于解析性或单重单调性设定的适定性范围予以扩展。

ABSTRACT

We find a new class of data for which the Prandtl boundary layer equations and the hydrostatic Euler equations are locally in time well-posed. In the case of the Prandtl equations, we assume that the initial datum $u_0$ is monotone on a number of intervals (on some strictly increasing on some strictly decreasing) and analytic on the complement and show that the local existence and uniqueness hold. The same is true for the hydrostatic Euler equations except that we assume this for the vorticity $ω_0=\partial_y u_0$.

研究动机与目标

• 将普朗特方程与静力欧拉方程的局部适定性理论，从现有的解析性或单重单调性设定扩展至更广泛的情形。
• 通过引入在 $ y $ 方向具有分段单调行为的初值新类，解决索伯列夫空间中不适定性的根本挑战。
• 证明当初始速度在有限个区间内关于 $ y $ 单调，且在其余区域解析时，普朗特方程的局部存在性与唯一性。
• 将相同的适定性结果推广至静力欧拉方程，假设旋度（而非速度）在有限个区间内具有多个单调性区域，并在补集上解析。
• 为边界层流与静力流提供一种新框架，其假设条件较先前结果更为宽松。

提出的方法

• 为普朗特方程引入一类新的初值数据：速度 $ u_0 $ 在 $ y $ 方向的有限个区间内单调，且在补集上为实解析函数。
• 对于静力欧拉方程，假设旋度 $ abla imes u_0 = ho_0 $ 在有限个区间内单调，且在其余区域解析。
• 使用涉及 $ rac{ ho^2}{ ho_y} $ 的加权能量估计，其中 $ ho $ 为旋度，以控制解在时间上的演化。
• 定义一个依赖于时间的区间 $ I_t = (Mt, 1 - Mt) $，以局部化分析并避免边界层奇点。
• 推导加权能量 $ X(t) = rac{1}{2} igint_{I_t imes (0,1)} rac{ ho^2}{ ho_y} dx dy $ 的微分不等式，表明当时间较小时 $ X'(t) o 0 $。
• 通过分部积分与能量估计控制非线性项与边界贡献，确保能量在小时间 $ t \to 0 $ 时保持有界。

实验结果

研究问题

• RQ1 当初始速度在 $ y $ 方向具有多个单调性区域而非单一单调区间时，普朗特方程是否仍具有局部适定性？
• RQ2 该适定性结果是否可推广至静力欧拉方程，且在旋度上施加类似假设？
• RQ3 能否在保留局部适定性的前提下，放宽对 $ x $ 变量的常规解析性要求？
• RQ4 是否可能构建一种解框架，结合 $ y $ 方向的单调性与补集上的解析性，从而避免对整体解析性的需求？
• RQ5 Crocco 型变换与加权能量估计在稳定具有多个单调性区域的解中起到何种作用？

主要发现

• 当初始数据 $ u_0 $ 在 $ y $ 方向的有限个区间内单调，且在补集上解析时，普朗特方程具有局部适定性。
• 当初始旋度 $ ho_0 = \nabla \times u_0 $ 在有限个区间内单调，且在其余区域解析时，静力欧拉方程具有局部适定性。
• 采用加权能量泛函 $ X(t) = \frac{1}{2} \bigint_{I_t \times (0,1)} \frac{\rho^2}{\rho_y} dx dy $ 控制解，且其满足当时间较小时 $ X'(t) \to 0 $。
• 该方法确保 $ X(t) \to 0 $ 当 $ t \to 0 $，意味着解在小时间区间内保持有界且唯一。
• 证明依赖于细致的分部积分与边界项控制，尤其在 $ x = Mt $ 与 $ x = 1 - Mt $ 处，以维持能量估计。
• 通过相同的能量方法证明唯一性，表明任意两个解在时间区间 $ (0, t_0) $ 内必一致，其中 $ t_0 = 1/C_0 $