[論文レビュー] Gelfand-Shilov smoothing properties of the radially symmetric spatially homogeneous Boltzmann equation without angular cutoff

Nicolás Lerner, Yoshinori Morimoto+2 more|arXiv (Cornell University)|Dec 19, 2012

Numerical methods in inverse problems被引用数 3

ひとこと要約

本稿では、角運動量切断なしで、マクスウェル分子を仮定した球対称かつ空間的に均一なボルツマン方程式の解が、分数調和振動子に類似したゲルファンド＝シロフの滑らかさ特性を示すことを確立している。主な結果は、任意の正の時刻において、解が $ S_{1/2s}^{1/2s}(\mathbf{R}^d) $ という対称的ゲルファンド＝シロフ空間で正則性を獲得することであり、ここで $ 0 < s < 1 $ は衝突核の特異性を特徴付けるパrameterである。

ABSTRACT

We prove that the Cauchy problem associated to the radially symmetric spatially homogeneous non-cutoff Boltzmann equation with Maxwellian molecules enjoys the same Gelfand-Shilov regularizing effect as the Cauchy problem defined by the evolution equation associated to a fractional harmonic oscillator.

研究の動機と目的

• 非切断、球対称かつ空間的に均一なボルツマン方程式にマクスウェル分子を適用した場合の正則化効果を調査すること。
• 線形化された場合や分数調和振動子の設定で観察された同じゲルファンド＝シロフの滑らかさ効果が、非線形ボルツマン方程式へと拡張可能かどうかを特定すること。
• 非線形初期値問題の解について、ゲルファンド＝シロフ空間における鋭い正則性推定を確立すること。
• スペクトル的およびフーリエ解析的手法を用いて、ボルツマン方程式の正則性理論と分数シュレーディンガー型作用素の理論を橋渡しすること。

提案手法

• ボルツマン衝突作用素の解析にフーリエ変換を用い、球対称な設定において問題を1次元積分作用素に簡略化する。
• 解と衝突核の球対称性を用いて、速度ベクトル間のなす角 $ \theta $ を含む角積分の形で衝突作用素を表現する。
• ボレルの定理を用いて、$ \mathbf{R}^d $ 上の径数関数を $ |v|^2 $ の関数に関連づけ、径数プロファイルに基づく解析を可能にする。
• 調和振動子のスペクトル分解および固有関数（エルミート関数）を用いて、ゲルファンド＝シロフ正則性をエルミート基底における係数の $ L^2 $ ノルムによって特徴付ける。
• ゲルファンド＝シロフ正則性と $ \|e^{t_0 \mathcal{H}^{1/2\mu}} f\|_{L^2} $ の有限性との同値性を確立し、解の衰減と滑らかさを調和振動子によって生成される半群に関連付ける。
• 線形化ボルツマン作用素が分数調和振動子 $ \mathcal{H}^s $ のように振る舞うことに着目し、摂動的および関数解析的議論を用いて非線形の場合へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 非線形で、球対称かつ空間的に均一なボルツマン方程式（角運動量切断なし）は、線形化された場合と同様にゲルファンド＝シロフの滑らかさ効果を示すか？
• RQ2 ボルツマン方程式の正則化効果は、分数調和振動子に関連する同じゲルファンド＝シロフ空間で特徴付けられるか？
• RQ3 マクスウェル分子を仮定した非線形ボルツマン方程式の解に対して、ゲルファンド＝シロフ正則性 $ S_{1/2s}^{1/2s}(\mathbf{R}^d) $ は鋭いか？
• RQ4 球対称性および角運動量切断の不在が、ボルツマン方程式における滑らかさ機構にどのように影響するか？
• RQ5 線形化ボルツマン作用素のスペクトル的性質を、非線形方程式全体の正則性を推定するためにどの程度活用できるか？

主な発見

• 角運動量切断なしでマクスウェル分子を仮定した球対称かつ空間的に均一なボルツマン方程式の非線形初期値問題の解は、任意の $ t > 0 $ において $ S_{1/2s}^{1/2s}(\mathbf{R}^d) $ でゲルファンド＝シロフ正則性を獲得する。ここで $ 0 < s < 1 $ は角特異性のパrameterである。
• 滑らかさ効果は鋭い：一般の $ L^2 $ 初期データに対しては、より強いゲルファンド＝シロフ空間は期待できない。
• 正則性は、ある $ t_0 > 0 $ に対して $ \|e^{t_0 \mathcal{H}^{1/2s}} f\|_{L^2} $ の有限性によって特徴付けられ、解の衰減と滑らかさが分数調和振動子半群に関連している。
• 衝突作用素のフーリエ変換は、球対称性と衝突核の構造を活かして $ \theta \to 0 $ における1次元積分として表現される。
• シュワーツ関数 $ u $ に対応する径数関数 $ \tilde{u}(t) $ が $ t^2 $ のシュワーツ関数であることが示され、径数フーリエ解析の適用が可能になる。
• エルミート基底展開により、$ f \to S_{1/2s}^{1/2s}(\mathbf{R}^d) $ であることが、$ f $ のエルミート基底における係数が $ \exp(-t_0 |\alpha|^{1/2s}) $ のように減衰することと同値であることが確認され、これは分数オシレーター半群の正則性と一致する。