[论文解读] From Vlasov-Poisson-Boltzmann system to incompressible Navier-Stokes-Fourier-Poisson system: convergence for classical solutions

Mengmeng Guo, Ning Jiang+1 more|arXiv (Cornell University)|Jun 30, 2020

Gas Dynamics and Kinetic Theory参考文献 56被引用 7

一句话总结

该论文严格证明了当Knudsen数 ε → 0 时，单种群Vlasov-Poisson-Boltzmann（VPB）系统经典解向不可压缩Navier-Stokes-Fourier-Poisson（NSFP）系统的收敛性。通过Sobolev空间中的统一能量估计，证明了小初值下全局经典解的存在性，并在Navier-Stokes标度下通过波动量的强收敛性，严格验证了流体动力学极限。

ABSTRACT

For the one-species Vlasov-Poisson-Boltzmann (VPB) system in the scaling under which the moments of the fluctuations formally converge to the incompressible Navier-Stokes-Fourier-Poisson (NSFP) system, we prove the uniform estimates with respect to the Knudsen number $ε$ for the fluctuations. As a consequence, the existence of the global-in-time classical solutions of VPB with all $ε\in (0,1]$ is established in whole space under small size of initial data, and the convergence to incompressible NSFP as $ε$ go to 0 is rigorously justified.

研究动机与目标

• 证明当Knudsen数 ε 趋近于零时，单种群Vlasov-Poisson-Boltzmann系统向不可压缩Navier-Stokes-Fourier-Poisson系统的流体动力学极限。
• 在全空间中，对所有 ε ∈ (0,1]，建立VPB系统在小初值下关于时间全局的经典解的存在性，且结果关于 ε 一致。
• 推导波动量围绕全局Maxwell分布的统一能量估计，以实现极限过程的严格验证。
• 严格证明当 ε → 0 时，波动量 gε 强收敛于不可压缩NSFP系统的解。
• 分析在流体动力学极限中，通过Poisson方程与Boussinesq关系所实现的动能与流体变量之间的耦合。

提出的方法

• 通过 fε = M(1 + εgε) 引入波动量变量 gε，其中 M 为全局Maxwell分布，从而在平衡态附近线性化VPB系统。
• 推导包含线性化Boltzmann算子 L 和碰撞算子 Q 的扰动VPB系统，其与自洽电势 φε 耦合。
• 在Sobolev空间 H^N 中建立波动量 gε 的统一能量估计，通过动能与流体耗散控制空间、速度及混合导数。
• 利用分解 L = ν + K，其中 ν 为碰撞频率，K 为积分算子，以利用谱间隙并获得速度空间中的耗散。
• 应用宏观-微观分解，将流体部分（通过投影算子 P）与动能部分（通过 P⊥）分离，从而分别处理流体与动能的能量估计。
• 利用流体变量（ρε, uε, θε）与电势 φε 在Sobolev空间中的强收敛性，使极限过程 ε → 0 成立，从而恢复不可压缩NSFP方程。

实验结果

研究问题

• RQ1 当 ε → 0 时，Vlasov-Poisson-Boltzmann系统的经典解是否收敛于不可压缩Navier-Stokes-Fourier-Poisson系统的解？
• RQ2 为确保VPB系统在 ε ∈ (0,1] 上关于时间全局经典解的存在性，需何种统一能量估计？
• RQ3 在流体动力学极限中，流体变量（密度 ρ，速度 u，温度 θ）与电势 φε 如何相互作用？
• RQ4 Boussinesq关系在极限系统中如何连接流体变量与电势？
• RQ5 波动量 gε 是否能在Sobolev空间的强拓扑下收敛于NSFP系统的解？

主要发现

• 当初始数据在 H^N 范数下足够小时，VPB系统在全空间 ℝ³ × ℝ³ 中对所有 ε ∈ (0,1] 存在全局时间经典解。
• 在 H^N 空间中建立了波动量 gε 的统一能量估计，其界与 ε 无关，从而保证了 ε → 0 时的极限过程成立。
• 当 ε → 0 时，波动量 gε 强收敛于不可压缩NSFP系统的解，收敛性在 L∞(ℝ⁺; H^N) 中成立。
• 极限系统为不可压缩Navier-Stokes-Fourier-Poisson方程，其满足Boussinesq关系 Δx(ρ + θ) = γ²ρ 与不可压缩性条件 ∇x·u = 0。
• 流体变量 ρε, uε, θε 与电势 φε 分别在 H^N−1 与 H^N−2 空间中强收敛，确保极限方程在强拓扑下被正确恢复。
• 极限系统包含方程 ∂t(3/5 θ − 2/5 ρ) + u·∇x(3/5 θ − 2/5 ρ) = κΔxθ，该方程控制了流体动力学极限中温度-密度组合的演化。