[論文レビュー] Global existence of solutions of the Boltzmann equation for Bose-Einstein particles with anisotropic initial data

Wenyi Li, Xuguang Lu|arXiv (Cornell University)|Jun 20, 2017

Gas Dynamics and Kinetic Theory参考文献 16被引用数 4

ひとこと要約

本稿では、硬球模型下での空間的に均一なボルツマン方程式に対して、ボーズ＝アインシュタイン粒子の非等方的初期データに対する、解の時間全域における存在および一意性を確立する。著者らは中間方程式を導入し、衝突増加作用素の反復を用いてその全局的な弱解を証明し、一様な$L^∞$-バインディングを導出し、それが元の方程式を満たすことを確認することで、非等方的設定における主要な課題を解決する。

ABSTRACT

In this paper we prove the global in time existence and uniqueness of solutions of the spatially homogeneous Boltzmann equation for Bose-Einstein particles for the hard sphere model for bounded anisotropic initial data. The main idea of our proof is as follows: we first establish an intermediate equation which is closely related to the original equation and is relatively easily proven to have global in time and unique solutions, then we use the multi-step iterations of the collision gain operator to obtain a desired uniform L1-bound for the solution of the intermediate equation so that it becomes the solution of the original equation.

研究の動機と目的

• 空間的に均一なボルツマン方程式に対して、ボーズ＝アインシュタイン粒子と非等方的初期データを想定した、時間全域における解の存在および一意性を確立すること。
• 対称性の欠如のため標準的手法が失敗する硬球模型下での非等方的初期データの課題に対処すること。
• 一様な$L^∞$-バインディングを達成するために、中間方程式と反復的衝突増加作用素$Q^+$に基づく、新しい手法を開発すること。
• 有界な非等方的データ下で、中間方程式の解が元のボルツマン方程式を満たすことを確認すること。

提案手法

• 元のボルツマン方程式に密接に関連するが、全局的弱解の証明に適した中間方程式を導入する。
• 衝突増加作用素$Q^+$の多段階反復を用いて、中間方程式の解に対する一様な$L^∞$-バインディングを導出する。
• モーメント推定と$L^1$コンパクトネスの議論を用いて、時間経過に伴う解の成長と正則性を制御する。
• 角度特異性に関する$δ$-依存推定を精巧に適用し、衝突作用素$\widetilde{Q}^+$および$\widetilde{L}$の時間および速度に関する一様連続性を確立する。
• 速度平行移動不変性とノルム比較を用いて、速度における等連続性を証明し、コンパクトネスの議論を可能にする。
• $δ$に関する誤差バインディングを最小化することで、 Hölder型連続性推定を導出し、解作用素の連続性を確認する。

実験結果

リサーチクエスチョン

• RQ1 硬球模型下で、ボーズ＝アインシュタイン粒子の空間的に均一なボルツマン方程式に対して、非等方的初期データのもとで、時間全域にわたる解が存在可能であろうか？
• RQ2 元のボルツマン方程式から導かれる中間方程式に対して、時間全域の弱解を構成することは可能であろうか？
• RQ3 中間方程式の解に対して一様な$L^∞$-バインディングをどのように確立すれば、それが元の方程式を満たすと保証できるであろうか？
• RQ4 衝突増加作用素$Q^+$の反復的適用は、解の成長と正則性をどのように制御する役割を果たすであろうか？
• RQ5 有界な非等方的初期データのもとで、解作用素の連続性およびコンパクトネスを証明することは可能であろうか？

主な発見

• 本稿では、有界な非等方的初期データをもつボーズ＝アインシュタイン粒子の空間的に均一なボルツマン方程式に対して、時間全域における解の存在および一意性を証明する。
• 衝突増加作用素$Q^+$の反復的適用により、中間方程式に対する時間全域の弱解が確立され、それが元の方程式を満たすことが示される。
• 多段階反復を用いて中間方程式の解に対する一様な$L^∞$-バインディングが導出され、それが元の方程式の解としての有効性が保証される。
• 解作用素$\widetilde{Q}^+$が時間および速度に関して一様連続であることが示され、$C_{f_0,R} \|f(s)-f(t)\|_{L^1_2}^{1/5}$の形のバインディングが得られる。
• 解の速度平行移動不変性を活用し、速度における等連続性推定が可能となり、$|h|<1$に対して$C_{f_0,R,T} \|f_0(\cdot+h)-f_0\|_{L^1_2}^{1/5}$のバインディングが得られ、正則性が確認される。
• 証明により、解作用素が$[0,\infty)\times\mathbb{R}^3$上で連続であることが確認され、時間全域における存在および一意性の結果が完全に完成する。