[論文レビュー] On the Geometrical Gyro-Kinetic Theory

Emmanuel Frénod, Mathieu Lutz|arXiv (Cornell University)|Jun 24, 2013

Magnetic confinement fusion research参考文献 39被引用数 5

ひとこと要約

本稿は、核融合エネルギー研究で用いられるギャロアクイネティクスモデルの厳密な解析を可能にする、微分幾何学的・ハミルトニアン力学的枠組みを確立する。シンプレクティック幾何学、ハミルトニアン系、および新規の手法である部分リー和（Partial Lie Sums）を用いて、トカマクおよびステラレーターにおける高速なギャロ運動と遅いガイドセンター運動を分離する座標変換を構築する。主な結果は、4次元ガイドセンター運動の系を、高次の摂動パラメータεに滑らかに依存する低次元化された、振動を含まない系に体系的に還元することである。

ABSTRACT

Considering a Hamiltonian Dynamical System describing the motion of charged particle in a Tokamak or a Stellarator, we build a change of coordinates to reduce its dimension. This change of coordinates is in fact an intricate succession of mappings that are built using Hyperbolic Partial Differential Equations, Differential Geometry, Hamiltonian Dynamical System Theory and Symplectic Geometry, Lie Transforms and a new tool which is here introduced : Partial Lie Sums.

研究の動機と目的

• プラズマ物理学で用いられる形式的幾何的ギャロアクイネティクス近似の数学的厳密な基礎を提供すること。
• 既存のガイドセンター還元の物理的定式化における数学的可読性の欠如を是正すること。
• 強い磁場下における高速ギャロ運動と遅いガイドセンター運動を分離する座標変換を構築すること。
• 摂動パラメータεに関する還元系の滑らかさと収束性を確立すること。これはトカマクおよびステラレーター構成に関連する。

提案手法

• 荷電粒子の運動を、ラーモア半径をスケーリングする小刻みパラメータεを含むハミルトニアン系として定式化する。
• シンプレクティック幾何学とダーブォーの定理を用いて、ポアソン行列が定数で非退化な2×2ブロックを持つブロック対角形式をとる座標系を構築する。
• ハミルトニアン構造を保存する座標変換を体系的に生成するための新規な数学的道具「部分リー和（Partial Lie Sums）」を導入する。
• 非線形な座標変換における方程式を解くために、双曲型偏微分方程式と微分幾何学を用いる。
• N次までのリー変換法を繰り返し適用し、高速振動を除去する座標変換を逐次構成する。
• 還元系がε = 0で滑らかに拡張可能であることを証明し、漸近展開の正当性を保証する。

実験結果

リサーチクエスチョン

• RQ1 微分幾何学とハミルトニアン力学を用いて、ガイドセンター近似を第一原理から厳密に導出するにはどうすればよいか？
• RQ2 ε → 0 の極限において、座標変換の滑らかさと収束性を保証するにはどのような数学的道具が必要か？
• RQ3 高速振動が存在する状況下で、座標変換によってポアソン行列の構造を保存・簡略化することは可能か？
• RQ4 新規手法「部分リー和（Partial Lie Sums）」は、還元系の体系的構成にどのように寄与するか？
• RQ5 高次項に特異性が含まれる場合でも、得られる還元系がεに関して滑らかに保たれるかを示せるか？

主な発見

• 本稿は、強い磁場下の荷電粒子の4次元ハミルトニアン系を、高速ギャロ運動が分離され、最後の座標が保存量となる座標変換を構築した。
• 還元系は定理1.1の仮定を満たしており、第1および第2座標が第3座標に依存せず、第4座標が定数のままであることが保証される。
• 座標変換がεに関してN−1次の項まで滑らかに定義され、剰余項は部分リー和法を用いた新しい推定式によって制御可能であることが示された。
• 剰余項Lεの動的系がε = 0で連続であることが示され、全解がε = 0近傍でC^N−1回連続であることが証明された。
• 最終的な還元系（式4.82）は、新たな変数（Z, J）で表現されており、これらがεに関して滑らかであることが示された。ガイドセンター近似は、この系の主要項として自然に現れる。
• 本稿では、解（Z(t), J(t)）が(0, η_KL]でεに関してC^N−1回連続であることを証明した。また、剰余項Lεがε = 0で連続であることも確認され、漸近展開の正当性が裏付けられた。