[论文解读] Strong diffusive limit of the Boltzmann equation with Maxwell boundary condition

Yan Guo, Jung, Junhwa+1 more|arXiv (Cornell University)|Sep 18, 2018

Gas Dynamics and Kinetic Theory参考文献 33被引用 3

一句话总结

本文首次建立了玻尔兹曼方程在所有滑动系数 α ∈ [0, 1] 下，对不可压缩的纳维-斯托克斯-傅里叶（INSF）系统实现全局时间范围内的强扩散极限，且边界条件为麦克斯韦边界条件，从而解决了长期悬而未决的开放问题。该研究提出了一种 ε-拉伸方法用于 L∞ 估计，并在近镜面反射区域（α ≪ ε）引入一种基于旋转麦克斯韦分布的新型耗散分解，实现了在所有 α 区域中强解框架下的统一收敛性。

ABSTRACT

While weak diffusive limit from the Boltzmann equation to the incompressible Navier-Stokes-Fourier system was established for the Maxwell boundary condition within renormalized solutions framework [Saint.Raymond2009][Jiang-Masmoudi2017], the corresponding strong diffusive limit has remained outstanding except when the accommodation coefficient $α\sim \varepsilon^{1/2}$ [Jiang-Masmoudi2017]. We establish global in time strong diffusive limit for all accommodation coefficients $α\in [0, 1]$ within strong solutions framework. The main novelties of our proof include: (1) a $\varepsilon$-stretching method for reduction to a single-bounce $L^\infty$ estimate; (2) a dissipation estimate for a carefully constructed rotating Maxwellian in the near-specular regime $α\ll \varepsilon$.

研究动机与目标

• 建立玻尔兹曼方程在麦克斯韦边界条件下向不可压缩纳维-斯托克斯-傅里叶（INSF）系统的强扩散极限。
• 解决所有滑动系数 α ∈ [0, 1] 下强极限的开放问题，特别是近镜面反射区域 α ≪ ε 的挑战。
• 提出一种新的全局时间收敛框架，基于强解方法，突破以往仅限于 α ∼ ε^{1/2} 的结果。
• 构造并分析一种旋转麦克斯韦分布，以捕捉近镜面反射区域中的耗散结构。
• 通过不同的但互补的分析技术，统一处理两种区域的边界层：ε ≲ α ≤ 1 和 0 ≤ α ≪ ε。

提出的方法

• 引入变换 F = µ + ε√µf 将玻尔兹曼方程在全局麦克斯韦分布 µ 周围线性化，转化为带缩放碰撞算子的扰动线性动力学方程。
• 发展 ε-拉伸方法，将完整的 L∞ 估计简化为单次反弹估计，从而实现对解的上确界范数随时间的控制。
• 构造一个旋转麦克斯韦分布 ˜µ = Mρ,u,T，通过引入速度漂移 u 和旋转角 θ，以模拟近镜面反射区域（α ≪ ε）中的边界层，准确捕捉流体动力学行为。
• 利用旋转麦克斯韦分布对碰撞算子进行耗散分解，实现对波动函数 f 在 L2 和 L6 范数下的能量估计。
• 应用椭圆估计与相容性条件求解由流体极限导出的宏观方程，确保 INSF 系统的可解性。
• 结合 L∞、L2 和 L6 估计，采用Bootstrap方法完成非线性估计的闭合，证明全局存在性与收敛性。

实验结果

研究问题

• RQ1 是否能对所有滑动系数 α ∈ [0, 1] 建立玻尔兹曼方程向 INSF 系统的全局时间强扩散极限？
• RQ2 在标准麦克斯韦分布无法捕捉正确耗散机制的近镜面反射区域（α ≪ ε）中，如何控制边界层结构？
• RQ3 处理扩散区域（α ≳ ε）与近镜面反射区域（α ≪ ε）之间过渡时，需要哪些新型分析技术？
• RQ4 能否利用旋转麦克斯韦分布构造出耗散结构，从而在近镜面反射情形下实现能量估计？
• RQ5 是否可能在 α ∈ [0, 1] 的全范围内实现强解范数下的统一收敛？

主要发现

• 本文首次在所有滑动系数 α ∈ [0, 1] 下，包括此前未解决的 α ≪ ε 情形，建立了玻尔兹曼方程向 INSF 系统的全局时间强扩散极限。
• 在 ε ≲ α ≤ 1 区域，作者证明了波动函数 f 在 L∞、L2 和 L6 范数下收敛至 INSF 系统的解，收敛速率依赖于初始数据与区域正则性。
• 在近镜面反射区域（0 ≤ α ≪ ε），通过构造具有速度漂移 u 和角速度 θ 的旋转麦克斯韦分布 ˜µ，实现了耗散分解，从而控制了波动函数 f 的能量。
• ε-拉伸方法成功地将完整 L∞ 估计简化为单次反弹估计，实现了对解上确界范数的统一时间控制。
• 作者推导出旋转麦克斯韦分布的精确边界积分恒等式，包括 ˆ_{n·v>0} |v−u|^2 ˜µ[n·v] dv = 4ρT^{3/2}/(2π)^{1/2}，这些恒等式对能量估计至关重要。
• 由流体极限导出的宏观方程通过椭圆理论证明其可解性，且速度场与温度场的 L2 和 L6 估计在 ε 上一致有界。