[論文レビュー] Uniform semigroup spectral analysis of the discrete, fractional \& classical Fokker-Planck equations

Stéphane Mischler, Isabelle Tristani|arXiv (Cornell University)|Jul 17, 2015

Fractional Differential Equations Solutions参考文献 12被引用数 2

ひとこと要約

本稿では、異なる拡散状態における離散的・分数的・古典的フォッカー・プランク方程式に関連する半群の、均衡への一様指数的収束を確立する。摂動および拡大の議論を組み合わせた半群分解フレームワークを用いて、生成子が自己随伴でも局所的でもない場合でも、離散的から分数的、そして古典的へと拡散作用素が移行する過程において、固有値ギャップおよび収束速度がゼロから一様に離れていることを証明する。

ABSTRACT

In this paper, we investigate the spectral analysis (from the point of view of semi-groups) of discrete, fractional and classical Fokker-Planck equations. Discrete and fractional Fokker-Planck equations converge in some sense to the classical one. As a consequence, we first deal with discrete and classical Fokker-Planck equations in a same framework, proving uniform spectral estimates using a perturbation argument and an enlargement argument. Then, we do a similar analysis for fractional and classical Fokker-Planck equations using an argument of enlargement of the space in which the semigroup decays. We also handle another class of discrete Fokker-Planck equations which converge to the fractional Fokker-Planck one, we are also able to treat these equations in a same framework from the spectral analysis viewpoint, still with a semigroup approach and thanks to a perturbative argument combined with an enlargement one. Let us emphasize here that we improve the perturbative argument introduced in [7] and developed in [11], relaxing the hypothesis of the theorem, enlarging thus the class of operators which fulfills the assumptions required to apply it.

研究の動機と目的

• 離散的・分数的・古典的フォッカー・プランク方程式のスペクトル解析を、共通の枠組みで統一すること。
• 異なる拡散作用素において、一様な固有値ギャップを有する指数的収束を証明すること。
• 拡散パラメータが古典的極限に近づく際、収束速度が一様に保たれることを確立すること。
• 非自己随伴および非局所的作用素（分数ラプラシアンや離散ジャンプカーネルを含む）に対しても、半群分解技術を拡張すること。

提案手法

• 分割 Λε = Aε + Bε を用いて、半群を有限次元成分と減衰成分に分解する。
• 生成子 Λε の原点近傍におけるリゾルベントを解析するため、極限作用素 Λ0 のリゾルベントを用いて摂動理論を適用する。
• Bε のパワー正則性を用いて、摂動と散逸部の相互作用を制御する。
• Kreĭn-Rutman理論を用いて、定常状態 Gε の存在および一意性を確立する。
• Lp推定値を小さな空間からより大きな重み付き L1 空間に拡大するための拡大議論を用いる。
• スペクトル写像定理を適用して、重み付きLebesgue空間 X = L1r における一様指数的減衰推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 離散的・分数的・古典的フォッカー・プランク方程式の間で、固有値ギャップおよび指数的収束速度が一様に有界に保たれるか。
• RQ2 拡散作用素が離散的から分数的中間を経て古典的へと移行する際、半群の挙動はどのように変化するか。
• RQ3 摂動および拡大技術を用いて、非自己随伴・非局所的フォッカー・プランク作用素に対し一様収束を証明できるか。
• RQ4 作用素の摂動に対して、核へのスペクトル射影が一様に有界であるための条件は何か。
• RQ5 拡散パラメータ ε → 0 の際、重み付きLebesgue空間 X = L1r において収束速度が一様に保たれるか。

主な発見

• ある ε0 > 0 および a < 0 が存在し、任意の ε ∈ [0, ε0] に対して、すべての t ≥ 0 に対して ∥SΛε(t)f0 − Gε⟨f0⟩∥X ≤ C eat ∥f0 − Gε⟨f0⟩∥X を満たす。
• 離散的から古典的へと拡散が移行する過程において、固有値ギャップがゼロから一様に離れているため、一様な指数的減衰が保証される。
• 定常状態 Gε は、すべての ε ∈ [0, ε0] に対して一意的で正であり、単位質量を持つ。
• ε → 0 の際、Λε の核へのスペクトル射影 Πε は B(X0) 内で強く Π0 に収束し、∥Πε − Π0∥B(X0) → 0 となる。
• 原点から離れた領域 Daθ において、Λε のリゾルベントは一様に有界であり、その領域における Λε のスペクトルは原点の収縮する近傍に含まれる。
• 収束速度は三つの状態間（離散的 → 古典的、分数的 → 古典的、離散的 → 分数的）で一様であり、摂動および拡大技術による明示的制御が可能である。