[論文レビュー] Fermi-Dirac-Fokker-Planck equation: well-posedness and long-time asymptotics

José A. Carrillo, Philippe Laurençot+1 more|ArXiv.org|Jan 18, 2008

Statistical Mechanics and Entropy参考文献 17被引用数 3

ひとこと要約

本稿では、フェルミ＝ディラック＝フォッカー＝プランク方程式に対する弱解の全域的存在を確立し、それらが長時間にわたりフェルミ＝ディラック平衡分布に収束することを証明する。エントロピーおよびエントロピー散逸の推定を用いて、一般の初期データに対して $L^1$ での収束（収束速度を伴わない）を示し、フェルミ＝ディラック分布によって支配される初期データに対しては指数的収束を示す。

ABSTRACT

A Fokker-Planck type equation for interacting particles with exclusion principle is analysed. The nonlinear drift gives rise to mathematical difficulties in controlling moments of the distribution function. Assuming enough initial moments are finite, we can show the global existence of weak solutions for this problem. The natural associated entropy of the equation is the main tool to derive uniform in time a priori estimates for the kinetic energy and entropy. As a consequence, long-time asymptotics in $L^1$ are characterized by the Fermi-Dirac equilibrium with the same initial mass. This result is achieved without rate for any constructed global solution and with exponential rate due to entropy/entropy-dissipation arguments for initial data controlled by Fermi-Dirac distributions. Finally, initial data below radial solutions with suitable decay at infinity lead to solutions for which the relative entropy towards the Fermi-Dirac equilibrium is shown to converge to zero without decay rate.

研究の動機と目的

• 有限モーメントを有する一般の初期データに対して、フェルミ＝ディラック＝フォッカー＝プランク方程式の弱解の全域的存在を確立すること。
• 初期データの大きさに制限を設けない条件下で、解の $L^1$ における長時間漸近的挙動を特徴付けること。
• フェルミ＝ディラック分布によって制御される初期データに対して、エントロピー／エントロピー散逸の議論を用いて、平衡への指数的収束レートを導出すること。
• 適切な減衰を示す回転対称解以下の初期データに対して、相対エントロピーがゼロに収束することを示し、その際の減衰速度は特定しないこと。

提案手法

• 有限初期モーメントの仮定の下で、固定点法とモーメント推定を組み合わせて、弱解の全域的存在を証明する。
• 解の挙動を制御するためのリャプノフ関数として、自然なエントロピー関数 $H(f) = \frac{1}{2}\int |v|^2 f \, dv + \int [(1-f)\log(1-f) + f\log f] \, dv$ を用いる。
• エントロピー関数を用いて、運動エネルギーおよびエントロピーの時間に依存しない一様推定を導出し、モーメントの制御を確立する。
• 収束の解析に用いるために、エントロピー散逸恒等式 $\frac{d}{dt}H(f) = -\int f(1-f)\left|v + \nabla_v \log\left(\frac{f}{1-f}\right)\right|^2 \, dv \leq 0$ を適用する。
• 固定点法における導関数およびモーメントの制御に、ヤングの不等式および重み付き $L^p$ 推定を用いる。
• 初期データの回転対称性および減衰仮定を適用し、エントロピー構造を活用して、相対エントロピーが速度を伴わずにゼロに収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 フェルミ＝ディラック＝フォッカー＝プランク方程式は、一般の初期データに対してどのような条件下で弱解の全域的存在を有するか？
• RQ2 解は時間とともにどのように漸近的に振る舞い、初期データの大きさに関する仮定を設けずに、フェルミ＝ディラック平衡への収束を特徴づけることができるか？
• RQ3 初期データにどのような条件が課されると、エントロピー法を用いて平衡への指数的収束レートが得られるか？
• RQ4 特定のクラスの初期データに対して、フェルミ＝ディラック平衡への相対エントロピーが、指定された減衰速度を伴わずにゼロに収束するか？

主な発見

• 初期データ $f_0$ が有限の質量および十分な初期モーメントを持つ限り、すべての $t > 0$ に対して弱解が存在する。
• 初期データが有限の質量およびモーメントを持つ限り、任意の初期データに対して解は $t \to \infty$ のとき $L^1$ でフェルミ＝ディラック平衡 $F_M$ に収束する。この際、初期データの大きさに関する制限は一切ない。
• 初期データがフェルミ＝ディラック分布によって支配される場合、相対エントロピーは指数的かつ速やかにゼロに収束し、そのレートはエントロピー／エントロピー散逸推定によって決定される。
• 適切な減衰を示す回転対称解以下の初期データに対しては、フェルミ＝ディラック平衡への相対エントロピーはゼロに収束するが、その減衰速度は確立されていない。
• エントロピー関数 $H(f)$ は時間とともに非増加であり、時間に依存しない推定および収束結果を導出する中心的な道具である。
• 形式的なエントロピー散逸恒等式 $\frac{d}{dt}H(f) = -\int f(1-f)\left|v + \nabla_v \log\left(\frac{f}{1-f}\right)\right|^2 \, dv \leq 0$ は厳密に正当化され、解のダイナミクスを制御するために用いられている。