[論文レビュー] Group analysis of the one-dimensional Boltzmann equation

A. V. Borovskikh, K. S. Platonova|arXiv (Cornell University)|May 21, 2019

Nonlinear Waves and Solitons参考文献 2被引用数 4

ひとこと要約

本稿では、座標変換下での粒子数不変性を考慮した1次元ボルツマン方程式の群的解析を検討する。粒子数を保存する形で方程式を発散型に再定式化することで、すべての可能な対称代数を分類し、力関数 𝒻 の標準形を導出する。その結果、次元が2より大きい対称代数を有する可能性があるのは特定の族（I–III）に限られ、等価変換を用いた明示的還元により、たとえば 𝒻 = cG(c²f) といった標準形に帰着可能であることが示された。

ABSTRACT

The one-dimensional Boltzmann equation $f_{t} + cf_{x} + (\mathcal {F} f)_{c} = 0$ is considered with the function $\mathcal{F}$ depending on $(t, x, c, f)$. In this paper we obtain a complete group classification of such equations in the class of point transformations of the entire set of variables $(t, x, c, f)$ under the conditions of invariance of a) the relations $dx = cdt$, $dc = \mathcal {F} dt$, b) the lines $ dt = dx = 0 $ and c) the form $fdxdc$ fixing the physical meaning of the variables and the relationships between them.

研究の動機と目的

• 物理的整合性を保つ1次元ボルツマン方程式の群的解析の数学的厳密な枠組みを確立すること。
• 座標変換下での粒子数不変性という物理的条件を特定・適用することであり、これは方程式が発散型である必要があることを意味する。
• この物理的制約下でのボルツマン方程式のすべての可能な対称代数を分類すること。これは、従来の運動量および時空不変性のみを考慮した先行研究を拡張するものである。
• 等価変換を用いて力関数 𝒻 の標準形を導出し、非自明な対称代数を持つ方程式の体系的分類を可能にすること。
• 次元が2より大きい対称代数を有する力関数の族が、特定のもの（I–III）に限られることを示し、明示的なパラメトリック形を提示すること。

提案手法

• 粒子数保存を保証するため、1次元ボルツマン方程式を発散型に定式化する：fₜ + c fₓ + (∂/∂c)(𝒻 f) = 0。
• 古典的リー群解析法を用い、対称群の無限小生成子を特定する。ベクトル場成分 ξ, τ, η に対する決定系を解く。
• 物理的制約を適用する：(1) ニュートン力学の保存（dx = c dt, dc = 𝒻 dt）、(2) 恒等的に t または x が一定の線の不変性、(3) 粒子数の不変性（f dx dc の不変性）。
• 等価変換を用いて、一般形の 𝒻 を標準的代表元に還元する。これには、たとえば 𝒻 = c G(c²f)、𝒻 = T₁(t) f⁻¹ᐟ² + c T₂(t)、𝒻 = P/(c³f²) などの場合が含まれる。
• 多項式を c に関して分割することで得られる決定系を解析し、係数に対する常微分方程式を得る。その後、𝒻 の関数的形に基づいて解を分類する。
• 変数分離法および関数解析を用い、対称代数が有限次元かつ非自明（次元 > 2）となる場合を同定する。

実験結果

リサーチクエスチョン

• RQ1 1次元ボルツマン方程式における一般座標変換下で、粒子数不変性を保つ力関数 𝒻(t,x,c,f) のどのような形態が許容されるか？
• RQ2 粒子数保存が強制された場合、1次元ボルツマン方程式の対称代数の構造はどのようになるか？
• RQ3 物理的整合性制約下で、次元が2より大きい対称代数を持つ力関数のどの族が許容されるか？
• RQ4 等価変換をどのように用いることで、対称構造を保つ一般力関数を標準形に還元できるか？
• RQ5 発散型ボルツマン方程式の文脈において、非自明な対称代数が存在するための 𝒻 に対する必要十分条件は何か？

主な発見

• 粒子数不変性の条件は、ボルツマン方程式が発散型：fₜ + c fₓ + (∂/∂c)(𝒻 f) = 0 である必要があることを要求する。これは標準的な非発散型とは異なっている。
• 次元が2より大きい対称代数を有するのは、力関数の3つの族（I–III）に限られ、具体的には 𝒻 = c G(c²f)、𝒻 = T₁(t) f⁻¹ᐟ² + c T₂(t)、𝒻 = P/(c³f²) といった明示的形態が含まれる。
• 関数 𝒻 = c G(c²f) は、時間再パラメータ化 φ(t) により φ′(t) = 1/h(t) を満たす場合、標準形 III.3.2 に帰着される。
• 𝒻 = T₁(t) f⁻¹ᐟ² + c T₂(t) の場合、φ′′(t) = T₂(t) φ′(t) を満たす時間変換を施すと、III.2.4 に還元される。
• 𝒻 = P/(c³f²) の場合、τ(t) G(t)¹ᐟ³ が定数となるとき、対称代数が生じる。このときの解は τ = (Ax + B)(t + k) および G(t) = P/(t + k)³ または定数となる。
• 𝒻 = P/(c³f²) は、t̄ = ln(t + k) の変換により、𝒻 = P/(c̄³f̄²) + c̄ に変換可能であり、これは族 II.3 に属する。これにより、分類への含められ方が確認された。