[论文解读] Forces for the Navier-Stokes equations and the Koch and Tataru theorem

Pierre Gilles Lemarié–Rieusset|arXiv (Cornell University)|Sep 25, 2022

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

一句话总结

本文研究了在 R³ 上，初始数据属于 BMO⁻¹（如 Koch-Tataru 定理所述）且强迫项 F = div F 时，不可压缩 Navier-Stokes 方程全局温和解的存在性，其中 F 在一个临界空间中较小。文章分析了由初始数据产生的 Koch-Tataru 解与由强迫项产生的 Lei-Lin 型或乘子空间解之间的相互作用，证明在初始数据和强迫项均满足小量假设的条件下，全局解存在。其主要贡献在于对临界函数空间中 Navier-Stokes 方程解空间相互作用的精细化理解。

ABSTRACT

We consider the Cauchy problem for the incompressible Navier--Stokes equations on the whole space $\mathbb{R}^3$, with initial value $\vec u_0\in { m BMO}^{-1}$ (as in Koch and Tataru's theorem) and with force $\vec f=\Div \mathbb{F}$ where smallness of $\mathbb{F}$ ensures existence of a mild solution in absence of initial value. We study the interaction of the two solutions and discuss the existence of global solution for the complete problem (i.e. in presence of initial value and forcing term) under smallness assumptions. In particular, we discuss the interaction between Koch and Tataru solutions and Lei-Lin's solutions (in $L^2\mathcal{F}^{-1}L^1$) or solutions in the multiplier space $\mathcal{M}(\dot H^{1/2,1}_{t,x}\mapsto L^2_{t,x})$.

研究动机与目标

• 分析由 BMO⁻¹ 初始数据（Koch-Tataru 框架）产生的解与由临界空间中小强迫项产生的解之间的相互作用。
• 建立初始数据和强迫项的充分小量条件，以保证在临界函数空间中全局温和解的存在性。
• 研究从 YKT、L²A 和 M(Ḣ¹/²,¹ → L²) 等空间出发的双线性算子的有界性，这些是应用 Banach 逐次逼近原理的关键。
• 阐明临界空间（尤其是 Y₂、YKT、L²A 和 M(Ḣ¹/²,¹ → L²)）在结合初始数据与强迫项的 Navier-Stokes 方程中的作用。
• 通过构造反例，证明某些自然解空间（如 M²,⁵/₂）不适用于非线性项，方法是展示双线性算子有界性的失败。

提出的方法

• 利用 Duhamel 原理将 Navier-Stokes 方程表述为温和形式，将解分解为三部分：初始数据演化、强迫响应以及非线性相互作用。
• 使用 Leray 投影算子 P 消去压力项，将系统简化为具有无散初始数据的非线性热方程。
• 在满足空间平移与缩放不变性的适配 Banach 空间 Y 中应用 Banach 逐次逼近原理，确保满足临界标度。
• 通过傅里叶乘子 σ(D) 定义双线性算子 Bσ(u,v)，以分析非线性项，重点关注 σ₀(ξ) = |ξ|，用于检验其在关键函数空间中的有界性。
• 利用频带局部化函数（如 ψₙ, φₙ, ωₙ）构造反例，以检验 Bσ₀ 在 L²A、YKT 和 M²,⁵/₂ 空间中的有界性。
• 结合傅里叶分析与逐点估计（如 Hilbert 变换的有界性、热核衰减），推导算子范数的下界，从而证明其无界性。

实验结果

研究问题

• RQ1 当初始数据属于 BMO⁻¹ 且存在小强迫项 F = div F 时，Navier-Stokes 方程的全局温和解是否可能存在？
• RQ2 在临界函数空间中，由初始数据（Koch-Tataru）产生的解与由强迫项（Lei-Lin 或乘子空间）产生的解之间如何相互作用？
• RQ3 双线性算子 Bσ₀ 是否有界地从 YKT × L²A 映射到 YKT 或 L²A？这对全局解的存在性有何含义？
• RQ4 考虑到其标度性质与嵌入关系，像 M²,⁵/₂ 或 L²A 这样的空间是否适合用于温和形式中的非线性项？
• RQ5 若 Bσ₀ 在某些空间中无界，是否意味着无法在这些空间中通过压缩映射原理构造全局解？

主要发现

• 双线性算子 Bσ₀ 从 YKT × L²A 到 L²A 无界，其反证法涉及 Hilbert 变换在 L¹ 上的无界性，而该性质是已知的。
• 双线性算子 Bσ₀ 从 YKT × L²A 到 YKT 无界，其反证法涉及一个发散积分 |ln(2−2s)|⁻³/⁴，表明解范数无法被控制。
• 空间 L²A 不包含于乘子空间 M(Ḣ¹/²,¹ → L²)，因为对逼近恒等元序列应用 Fatou 引理后产生矛盾。
• 空间 M²,⁵/₂ 不适用于非线性项，因为双线性算子 Bσ₀ 无法有界地从 M²,⁵/₂ × M²,⁵/₂ 映射到 Y₂，这与压缩映射论证的要求相悖。
• 涉及 φₙ 和 ψₙ 的反例表明，即使 φₙ 近似于 Dirac 质量，1/√−Δφₙ 在 L² 中也不一致有界，导致双线性项的 L² 范数发生爆炸。
• 本文证明，在 BMO⁻¹ 中的初始数据与临界空间中强迫项 F 均满足小量条件时，全局解存在，其关键在于线性贡献（来自初始数据与强迫项）之和可被控制得足够小，从而满足适配空间中的压缩条件。