[论文解读] Characterisation of the pressure term in the incompressible Navier-Stokes equations on the whole space

Lemarié-Rieusset, Pierre Gilles, Fernández-Dalgo, Pedro Gabriel|arXiv (Cornell University)|Jan 28, 2020

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

一句话总结

本文通过引入加权函数空间框架，对全空间 ℝ² 和 ℝ³ 上不可压缩 N-S 方程中的压强项进行了严格表征。研究证明，压强梯度 ∇p 可分解为对非线性项 (u⊗u−F) 应用奇异积分算子的结果，其中包含一个在适当衰减条件下消失的调和校正项 H，从而将经典的 Leray 投影与 Hodge 分解推广至加权空间与局部 Morrey 空间。

ABSTRACT

We characterise the pressure term in the incompressible 2D and 3D Navier-Stokes equations for solutions defined on the whole space.

研究动机与目标

• 对 d=2,3 的全空间 ℝᵈ 上不可压缩 N-S 方程中的压强项 ∇p 进行严格表征。
• 通过在 ∇p 的 Poisson 方程中识别调和部分 H，解决压强梯度的模糊性问题。
• 将经典的 Leray 投影与 Hodge 分解推广至加权与局部 Morrey 空间中的解。
• 建立调和部分 H 消失的条件，确保压强梯度的唯一性。
• 通过引入局部 Morrey 空间 B²γ 与加权 Lebesgue 空间，建立处理非光滑、缓慢衰减解的框架。

提出的方法

• 使用 Leray 投影算子 G_d * ∇∧(∇∧·) 将向量场分解为无散部分与梯度部分。
• 对 N-S 方程应用 Hodge 分解，通过 Poisson 方程 Δ∇p = −∇(∇·(∇·(u⊗u−F))) 隔离压强梯度。
• 引入截断函数 φ 以局部化奇异核 ∇∂i∂jG_d，定义正则化压强项 p_φ。
• 将空间 B²γ 定义为 L² 与 L²_wδ 之间的实插值空间，捕捉局部衰减与增长行为。
• 证明在 B²γ(ℝᵈ) 中满足 γ ≤ d 的解在 N-S 框架中具有良好适应性，尤其适用于 d=2,3。
• 使用加权范数 w_γ(x) = (1+|x|)^{-γ} 与局部 Morrey 范数，控制 u⊗u−F 在无穷远处的行为。

实验结果

研究问题

• RQ1 当 u 不光滑且在无穷远处衰减缓慢时，如何在不可压缩 N-S 方程中严格定义压强梯度 ∇p？
• RQ2 在 ∇p 的 Poisson 方程中，调和部分 H 在何种条件下消失，从而确保压强项的唯一性？
• RQ3 经典的 Leray 投影与 Hodge 分解能否推广至加权与局部 Morrey 空间中的解？
• RQ4 局部 Morrey 空间 B²γ 在表征全空间上 N-S 方程解的过程中起什么作用？
• RQ5 在 N-S 正则性与存在性背景下，加权 Lebesgue 空间 L²_wγ 与局部 Morrey 空间 B²γ 之间有何关系？

主要发现

• 压强梯度 ∇p 表征为 ∇p_φ + ∂tg，其中 p_φ 是 (u_i u_j − F_ij) 的奇异积分，且核函数被局部化，g 为时间上的 L¹ 函数。
• 项 ∇p_φ 与截断函数 φ 的选择无关，确保压强在时间导数意义下定义良好。
• 若解满足 ∇p ∈ L¹((0,T), L¹_w_{d+1}(ℝᵈ))，则 ∇p 的 Poisson 方程中的调和部分 H 消失，该条件在给定的加权可积性假设下成立。
• 空间 B²γ 与实插值空间 [L², L²_wδ]_{γ/δ, ∞} 对于 0 < γ < δ < ∞ 等价，确立其在尺度与衰减分析中的作用。
• 在 d=3 时，空间 B²₂ 比 L²_w₂ 更大，允许比以往更一般的初始数据。
• 在 d=2 时，Riesz 变换在 B²₂(ℝ²) 上无界，因此处理压强需格外小心，该问题通过 Basson (2006) 的框架得以解决。