[论文解读] On the controllability of the Vlasov-Poisson system in the presence of external force fields

Olivier Glass, Daniel Han-Kwan|arXiv (Cornell University)|May 5, 2011

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

一句话总结

该论文在环面空间上针对外部力场（包括有界力场和固定方向的二维磁场）建立了Vlasov-Poisson系统的局部与全局可控性结果。通过将自由输运情形的技术进行拓展，证明了在满足特定几何条件的控制区域下，且初始与终态足够小或全局相容时，可通过内部控制将任意初始分布函数与最终分布函数连接起来。

ABSTRACT

In this work, we are interested in the controllability of Vlasov-Poisson systems in the presence of an external force field (namely a bounded force field or a magnetic field), by means of a local interior control. We are able to extend the results of [7], where the only present force was the self-consistent electric field.

研究动机与目标

• 将Vlasov-Poisson系统的可控性结果从仅存在自洽电场的情形推广至存在外部力场的情形。
• 分析有界外部力场 $ F \in L^\infty_t W^{1,\infty}_{x,v} $ 对系统可控性的影响。
• 研究在二维空间中具有固定方向的洛伦兹型磁场下系统的可控性。
• 确定控制区域 $ \omega $ 以及初始/终态分布函数所需的几何与正则性条件，以实现可控性。
• 在通过局部内部控制实现状态转移的过程中，保持全局中性性与 $ L^1 $-质量守恒。

提出的方法

• 将自由输运情形下的几何控制策略拓展至含外部力的系统，依赖于力场 $ F $ 下特征线的结构。
• 在合适的函数空间 $ \mathcal{S}_\varepsilon $ 中使用不动点论证，构造在时间 $ T $ 匹配目标分布的解。
• 采用速度空间的分解与基于轨迹在 $ F $ 和自洽场作用下行为的覆盖论证。
• 对电势梯度 $ \nabla\varphi^f $ 进行估计，并利用 $ F $ 的次线性增长特性来控制高速行为。
• 实施时间分裂策略，将时间区间划分为若干子区间，分别利用不同子区间内轨迹的几何特性。
• 依赖于Ukai与Okabe建立的强解柯西理论，并将其扩展至包含适当正则性外部力的情形。

实验结果

研究问题

• RQ1 能否在有界外部力场 $ F \in L^\infty_t W^{1,\infty}_{x,v} $ 存在的情况下，通过内部控制实现Vlasov-Poisson系统的可控性？
• RQ2 当外部力场 $ F $ 有界时，在任意维度 $ n \geq 2 $ 下，若控制区域 $ \omega $ 满足特定几何条件，是否可实现全局可控性？
• RQ3 在二维系统中，若磁场形式为 $ F(x,v) = b(x)(v_2, -v_1) $，且 $ b(x) $ 满足适当的几何条件，可控性结果是否可被推广？
• RQ4 外部力的存在如何改变特征线的几何结构，并影响系统可控性的可能性？
• RQ5 在外部力存在的情况下，对初始与终态分布函数 $ f_0, f_1 $ 所需的正则性与衰减条件是什么？

主要发现

• 在二维情形下，对任意控制区域 $ \omega $，只要 $ f_0 $ 与 $ f_1 $ 在加权 $ L^\infty $ 范数下足够小（衰减形式为 $ (1+|v|)^{-\gamma-1} $，且 $ \gamma > 2 $），即可建立局部可控性。
• 在任意维度 $ n \geq 2 $ 下，对于有界外部力场，若控制区域 $ \omega $ 包含在标准投影下超平面的像（如 $ F=0 $ 情形），则可证明全局可控性。
• 对于形式为 $ F(x,v) = b(x)(v_2, -v_1) $ 的二维磁场，若 $ b(x) $ 满足特定几何条件，则系统具备可控性，该条件可确保轨迹的充分混合。
• 控制项 $ G $ 的构造满足 $ \int_{\mathbb{T}^n \times \mathbb{R}^n} \mathbf{1}_\omega G \, dv\,dx = 0 $，从而保持全局中性性。
• 最终分布 $ f(T, \cdot, \cdot) $ 的支集包含于 $ \omega \times \mathbb{R}^2 $，表明控制在空间上是局域化的。
• 证明依赖于在参考解附近小邻域内的不动点论证，且估计对控制参数 $ \varepsilon $ 一致，从而保证存在匹配目标状态的解。