[論文レビュー] Large time behavior of the a priori bounds for the solutions to the spatially homogeneous Boltzmann equations with soft potentials

Laurent Desvillettes, Clément Mouhot|arXiv (Cornell University)|Jun 14, 2006

Gas Dynamics and Kinetic Theory参考文献 17被引用数 11

ひとこと要約

この論文は、Gradの角的切断を伴う軟力ポテンシャルを有する空間均一ボルツマン方程式の解について、時間に依存しないL1モーメントおよびHkソボレフノルムの境界を確立する。多項式的増加の事前推定とエントロピー・エントロピー生成法による定量的平衡への収束を組み合わせることで、十分なモーメントと正則性を持つ初期データが、すべての時間にわたってL1およびHkノルムが一様に有界である解を生成することを証明する。これは、軟力ポテンシャル領域ではこのような境界が事前に保証されないため、解決すべき重要な課題を解消する。

ABSTRACT

We consider the spatially homogeneous Boltzmann equation for regularized soft potentials and Grad's angular cutoff. We prove that uniform (in time) bounds in $L^1 ((1 + |v|^s)dv)$ and $H^k$ norms, $s, k \ge 0$ hold for its solution. The proof is based on the mixture of estimates of polynomial growth in time of those norms together with the quantitative results of relaxation to equilibrium in $L^1$ obtained by the so-called "entropy-entropy production" method in the context of dissipative systems with slowly growing a priori bounds (see reference [14]).

研究の動機と目的

• 空間均一ボルツマン方程式に於いて軟力ポテンシャルを有する解について、L1モーメントおよびHkソボレフノルムの時間に依存しない境界を確立すること。
• 硬力ポテンシャルとは異なり、軟力ポテンシャルでは、解が大域的に存在するにもかかわらず、自然に時間に依存しない境界をもたらさないという課題に対処すること。
• 十分なモーメントと正則性を持つ初期データが、すべての時間にわたってL1およびHkノルムが一様に有界である解を生成することを示すこと。
• エントロピー・エントロピー生成法を用いて、多項式的増加の事前推定と時間に依存しない境界との間のギャップを埋めること。

提案手法

• L1における平衡への定量的収束を導くために「エントロピー・エントロピー生成」法を用い、(1+t)−τのオーダーの減衰推定を得る。
• これらの減衰推定を、衝突作用素のエネルギー型推定から得られるL1ノルムおよびHkノルムの多項式的増加事前推定と組み合わせる。
• 補間不等式およびソボレフ埋め込みを用いて、Lpノルム、L1モーメント、およびHkノルムの関係を確立し、異なる関数空間間での境界の伝達を可能にする。
• 多項式的重み(1+|v|2)ps/2および重み付きHkノルムを用いて、尾部挙動および正則性を制御する。
• 衝突作用素の構造、特に損失項L(f)および増加項Q+(f,f)を用いて、ノルムの増加に関する微分不等式を導出する。
• 不等式A X^{1−δ} − K X ≤ C A^{1/δ}を含む微分不等式技術を用いて、Hkノルムの増加を制御し、時間に依存しない境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 空間均一ボルツマン方程式に於いて軟力ポテンシャルを有する解について、L1モーメントおよびHkソボレフノルムの時間に依存しない境界を確立できるか？
• RQ2 多項式的増加の事前推定と定量的平衡への収束の組み合わせが、軟力ポテンシャル領域において時間に依存しない境界をもたらすか？
• RQ3 初期データに必要な最小限の正則性およびモーメントの仮定は何か？ すべての時間にわたってL1およびHkノルムが一様に有界であることを保証するには。
• RQ4 エントロピー・エントロピー生成法をモーメント推定と効果的に組み合わせることで、時間に依存しない境界を軟力ポテンシャルの場合に達成できるか？

主な発見

• 任意のs > 2に対し、初期データf₀がL1₂s ∩ L2_q₀に属し、q₀ > 0が十分に大きい（例：N=3、γ=−1の場合にq₀ = 26）ならば、解f(t,·)はsupₜ≥₀ ‖f(t,·)‖L¹ₛ ≤ C(s)を満たす。ここでC(s) > 0は明示的な定数である。
• 任意のk ≥ 0に対し、f₀ ∈ L1_s₀ ∩ Hk′でs₀ > 0かつk′ ≥ kが十分に大きいならば、supₜ≥₀ ‖f(t,·)‖Hk ≤ C(k)を満たす。ここでC(k) > 0は明示的な定数である。
• 証明は、第2節の多項式的増加推定と[14]からの平衡への定量的収束を組み合わせることに依存しており、f(t,·) − MのL1における減衰が、モーメントの多項式的増加を打ち消すほど速いことを示している。
• この手法は、Gradの角的切断を伴うモーリフィード軟力ポテンシャルに適用可能であり、非常に軟力なポテンシャル（γ ∈ (−N, −2]）および非切断ケースには適用できない。
• 初期データがシュワーツ空間S(ℝᴺ)に属する場合、解f(t,·)はすべての時間にわたってS(ℝᴺ)にあり、すべての半ノルムが時間に依存しないように有界であり、点ごとの有界性f(t,v) ≤ C (1+|v|)−q（q > 0）を示唆する。
• 結果は技術的精錬に対して頑健である：初期データの仮定はおそらく緩和可能（例：L2_q₀をp > 1に対しLp_q₀に置き換え可能）であるが、本論文では最適性の追求は行わない。