[论文解读] Solvability of Naiver-Stokes equations in some rearrangement invariant spaces

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|May 23, 2013

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

一句话总结

本文通过推导解的先验估计，建立了多维纳维-斯托克斯方程在重排不变空间中的整体适定性，具体为大勒贝格空间（GLS）和矩空间，证明了解在这些空间中对所有时间保持有界，从而将经典结果从 $L_p$ 和 $L_2$ 空间推广至更广的函数空间类，基于初始数据在 GLS 范数下的行为建立范数估计。

ABSTRACT

We prove that the multidimensional dimensional initial value problem for the Navier-Stokes equations is globally well-posed in the so-called Moment and Grand Lebesgue Spaces (GLS), and give some a priory estimations for solution in this spaces.

研究动机与目标

• 将纳维-斯托克斯方程的经典可解性结果从 $L_p$ 和 $L_2$ 空间扩展至更广泛的重排不变函数空间类。
• 在初始数据满足一般条件时，于大勒贝格空间（GLS）和矩空间中建立初值问题的整体适定性。
• 在这些函数空间中推导解的精确先验估计，从而为解的行为提供新的定性和定量洞察。
• 推广 Cui 等人先前的结果，特别是针对 $L_2 \cap L_p$ 初始数据且 $p > d$ 的情形，扩展至完整的 GLS 和矩空间类。
• 通过刻画解在这些广义函数空间中的衰减与正则性，为数值方法和进一步分析提供框架。

提出的方法

• 通过热半群 $e^{t\Delta}$ 和赫尔姆霍兹-外尔投影 $Q$ 的积分方程，将纳维-斯托克斯方程表述为弱解形式。
• 应用大勒贝格空间（GLS）的理论，其范数定义为 $||h||_{G(\psi)} = \sup_{p \in (a,b)} ||h||_p / \psi(p)$，其中 $\psi$ 为正的对数凸函数。
• 利用瑞斯变换和伪微分算子表示法表达压力项，并将系统重写为散度为零的形式。
• 通过初始数据在 $G(\psi)$ 中的范数及与维数 $d$ 相关的常数，建立解在 $L_p$-范数上的时间一致估计。
• 应用重排不变空间的理论，推导出解范数在 $X$ 上的统一有界性，其中 $X$ 为基于辅助空间 $V$ 构造的矩空间，且满足 $\text{supp } \psi = \text{supp } V$。
• 通过定义新范数 $||u||^*_{G\theta_{d,\psi}}$，引入各向异性 GLS 中的混合范数估计，并在初始数据属于 $G\psi$ 的条件下证明其有限性。

实验结果

研究问题

• RQ1 能否在超越经典 $L_p$ 和 $L_2$ 空间的重排不变空间中建立纳维-斯托克斯方程的整体适定性？
• RQ2 当初始数据属于此类空间时，能否在大勒贝格空间（GLS）中为解推导出先验估计？
• RQ3 由初始数据范数行为构造的矩重排不变空间中，解的衰减与正则性行为如何？
• RQ4 各向异性 GLS 空间中的混合范数估计能否捕捉解的长时间衰减行为，特别是当 $||u(t)||_p \to 0$ 随 $t \to \infty$ 时？
• RQ5 初始数据在 $G(\psi)$ 中的范数与解在 $G(\psi)$ 或相关矩空间中的一致有界性之间存在何种关系？

主要发现

• 对于初始数据 $u_0 \in G(\psi)$，解 $u(t)$ 在大勒贝格空间 $G(\psi)$ 中整体适定，且满足 $\sup_{t \geq 0} ||u(t)||_{G(\psi)} \leq \langle h_0(\cdot) \rangle$，其中 $h_0(p) = \max(1, \kappa_p^{2d/p}) \cdot \psi(p)$。
• 对于矩重排不变空间 $X$，在 $\text{supp } \psi = \text{supp } V$ 条件下，解满足 $\sup_{t \geq 0} |||u(t)|||_X \leq \langle h_0(\cdot) \rangle$，其中 $h_0(p)$ 如上所述。
• 当 $\sup_{2 \leq p < b} \psi^{1/p}(p) < \infty$ 时，解在 $G(\psi)$ 中的范数一致有界：$\sup_t ||u(t)||_{G(\psi)} < \infty$。
• 对于混合范数估计，解满足 $||u||^*_{G\theta_{d,\psi}} \leq 1$，其中 $\theta_{d,\psi}(p) = \left[ \frac{B_{2.1}(d,p)}{p} \right]^{1/r(p)} \cdot \psi^{2/(p-d+2)}(d) \cdot \psi^{(p-d)/(p-d+2)}(p)$ 且 $r(p) = \frac{p(p-d+2)}{p-d}$。
• 估计 $||u||^*_{G\theta_{d,\psi}} \leq 1$ 暗示解在 $L_p$-范数上随时间衰减，与已知的渐近行为 $||u(t)||_p \to 0$ 当 $t \to \infty$ 一致。
• 结果推广了 Cui 等人的先前发现，将可解性框架扩展至包含缓慢变化权函数 $\psi(p)$ 的广义重排不变空间类。