[论文解读] On the gyrokinetic limit for the two-dimensional Vlasov-Poisson system

Évelyne Miot|arXiv (Cornell University)|Mar 14, 2016

Gas Dynamics and Kinetic Theory参考文献 18被引用 9

一句话总结

本文在磁场强度趋于无穷的极限下，建立了二维Vlasov-Poisson系统的磁流体动力学极限，证明了在初始数据的约束条件放宽的情况下，空间密度收敛于2D Euler方程的解。该文通过在能量和$L^\infty$范数上使用改进的估计，提供了收敛性的新证明，将先前结果扩展至初始数据的$L^\infty$范数随$\varepsilon \to 0$增长的情形，只要满足$\varepsilon^2 \Theta(\|f_\varepsilon^0\|_{L^\infty}) \to 0$。关键贡献在于，证明了在更广泛的初始数据类下，极限中会出现Euler方程。

ABSTRACT

We investigate the gyrokinetic limit for the Vlasov-Poisson system in two dimensions, in the regime studied by Golse and Saint-Raymond. We present another proof of convergence to the Euler equation under several assumptions on the energy and on the $L^\infty$ norms of the initial data.

研究动机与目标

• 在高磁场强度区域（$\varepsilon \to 0$）下，建立二维Vlasov-Poisson系统的磁流体动力学极限。
• 在初始数据的假设条件弱于以往研究的前提下，为涡度的2D Euler方程提供收敛性的替代证明。
• 通过允许$\|f_\varepsilon^0\|_{L^\infty}$随$\varepsilon \to 0$增长，扩展可接受初始数据的类，前提是$\varepsilon^2 \Theta(\|f_\varepsilon^0\|_{L^\infty}) \to 0$，其中$\Theta(\tau) = \tau \ln(\tau+2)$。
• 证明极限空间密度$\rho$在分布意义下满足2D Euler方程，且在$C(\mathbb{R}_+, \mathcal{M}^+({\mathbb{R}}^2) - w^*\text{)}$中具有强收敛性。

提出的方法

• 使用带缩放速度变量的Vlasov-Poisson方程弱形式，以捕捉高磁场极限下的快速回旋运动。
• 应用变量变换$x \mapsto x + \varepsilon v^\perp$，在$\varepsilon \to 0$极限下追踪粒子轨迹，同时保持雅可比行列式不变。
• 在测度空间中使用紧致性论证和弱*收敛性，从序列$\rho_\varepsilon$中提取极限密度$\rho$。
• 依赖于初始数据能量和$L^\infty$范数的统一有界性，以控制演化过程，并确保$\rho_\varepsilon$在$C(\mathbb{R}_+, \mathcal{M}^+({\mathbb{R}}^2) - w^*)$中的相对紧致性。
• 利用$E_\varepsilon^\perp$为梯度场的事实，在弱形式中取极限，证明$\rho$在分布意义下满足2D Euler方程。
• 对于更强的收敛性结果，假设$f_\varepsilon^0$在$L^\infty$中一致有界，从而导出$\rho_\varepsilon$的$L^2$有界性，并证明在$C(\mathbb{R}_+, L^2({\mathbb{R}}^2) - w)$中的收敛性。

实验结果

研究问题

• RQ1 是否可以在比以往已知更弱的初始数据$L^\infty$范数假设下，建立二维Vlasov-Poisson系统磁流体动力学极限？
• RQ2 当$\|f_\varepsilon^0\|_{L^\infty}$随$\varepsilon \to 0$增长，且满足$\varepsilon^2 \Theta(\|f_\varepsilon^0\|_{L^\infty}) \to 0$时，2D Euler方程的收敛性是否仍然成立？
• RQ3 当初始数据在$L^\infty$中不一致有界时，极限空间密度$\rho$的正则性和收敛行为如何？
• RQ4 在初始数据条件放宽的情况下，能否证明极限解$\rho$在分布意义下满足2D Euler方程？
• RQ5 能量和矩的有界性在确保$\rho_\varepsilon$在测度弱*拓扑中的相对紧致性方面起着何种精确作用？

主要发现

• 在假设(1.3)、(1.4)和(1.5)下，空间密度序列$\rho_\varepsilon$收敛于极限$\rho$，且满足$C(\mathbb{R}_+, \mathcal{M}^+({\mathbb{R}}^2) - w^*)$，其中$\varepsilon^2 \Theta(\|f_\varepsilon^0\|_{L^\infty}) \to 0$，且$\Theta(\tau) = \tau \ln(\tau+2)$。
• 极限$\rho$属于$L^\infty(\mathbb{R}_+, H^{-1}({\mathbb{R}}^2))$，且在定义2.1的意义下满足2D Euler方程的涡度形式。
• 当初始数据满足一致$L^\infty$有界性假设(1.7)时，收敛性增强为$C(\mathbb{R}_+, L^2({\mathbb{R}}^2) - w)$，且$\rho$是$L^\infty(\mathbb{R}_+, L^2({\mathbb{R}}^2))$中的全局解。
• 电场序列$E_\varepsilon^\perp$收敛于$E^\perp$，且在$C(\mathbb{R}_+, L^2_{\text{loc}}({\mathbb{R}}^2))$中成立，确保了极限速度场的定义良好。
• 该证明通过变量变换和紧致性论证，在弱形式中取极限，确立了$\rho$在分布意义下满足2D Euler方程。
• 该结果包含了收敛于单速度分布的初始数据，例如$f_\varepsilon^0(x,v) = \rho_0(x) \frac{1}{\eta_\varepsilon^2} F\left(\frac{v - u_\varepsilon(x)}{\eta_\varepsilon}\right)$，前提是$\varepsilon^2 \Theta(\eta_\varepsilon^{-2}) \to 0$。