[論文レビュー] Local Stability of McKean–Vlasov Equations Arising from Heterogeneous Gibbs Systems Using Limit of Relative Entropies

Donald A. Dawson|arXiv (Cornell University)|Oct 26, 2021

Statistical Mechanics and Entropy参考文献 25被引用数 1

ひとこと要約

本稿は、スケーリングされた相対エントロピーの極限を通じて局所的リャプノフ関数を構成することにより、ブロックグラフ上の非一様ギブス系に由来するマクキャニー＝フラソフ方程式の局所安定性を確立する。経験的ベクトルに関するラプラース原理を用いて、著者たちは極限関数が降下関数であることを示し、やや弱い条件下でも均衡点の局所的漸近安定性を証明する。これは、従来の均一系から、ジャンプを伴うマルチクラス平均場系への結果の拡張を示している。

ABSTRACT

A family of heterogeneous mean-field systems with jumps is analyzed. These systems are constructed as a Gibbs measure on block graphs. When the total number of particles goes to infinity, the law of large numbers is shown to hold in a multi-class context, resulting in the weak convergence of the empirical vector towards the solution of a McKean–Vlasov system of equations. We then investigate the local stability of the limiting McKean–Vlasov system through the construction of a local Lyapunov function. We first compute the limit of adequately scaled relative entropy functions associated with the explicit stationary distribution of the N-particles system. Using a Laplace principle for empirical vectors, we show that the limit takes an explicit form. Then we demonstrate that this limit satisfies a descent property, which, combined with some mild assumptions shows that it is indeed a local Lyapunov function.

研究の動機と目的

• 非一様平均場系に由来するマクキャニー＝フラソフ方程式の局所安定性を分析すること。
• 均一系からマルチクラスギブス系へ、相対エントロピーに基づくリャプノフ関数のアプローチを拡張すること。
• スケーリングされた相対エントロピーの極限が、極限的なマクキャニー＝フラソフ系の局所的リャプノフ関数を形成する条件を確立すること。
• 安定性解析を通じて、大粒子数（N→∞）と長時間（t→∞）の極限の交換を正当化すること。
• 複数の均衡点を有するN粒子系におけるメタ安定性を研究するための枠組みを提供すること。

提案手法

• ギブス測度を定常分布とするように、ブロックグラフ上にN粒子ジャンプ過程の族を構成する。
• 経験的ベクトル過程を定義し、大偏差原理を適用してN→∞における弱収束を得ることで、マクキャニー＝フラソフ系を導出する。
• N粒子系の相対エントロピーをスケーリングし、経験的ベクトルに関するラプラース原理を用いてN→∞における極限を計算する。
• 線形コルモゴロフ前向き方程式の構造を活用することで、マクキャニー＝フラソフ軌道に沿って極限関数F(μ)が降下関数であることを示す。
• 同じ遷移行列を有する線形フォッカー＝プラント方程式の解に沿って相対エントロピーが減少することを根拠に、降下性を証明する。
• F(μ)が固定点の近傍で正定値であれば、F(μ)は局所的リャプノフ関数であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 スケーリングされた相対エントロピーの極限は、非一様ギブス系に由来するマクキャニー＝フラソフ系のためのリャプノフ関数として機能できるか？
• RQ2 極限相対エントロピー関数が、マクキャニー＝フラソフ軌道に沿って降下性を示す条件は何か？
• RQ3 ブロックグラフ系のマルチクラス構造は、リャプノフ関数の構成と性質にどのように影響を与えるか？
• RQ4 マクキャニー＝フラソフ系の安定性と有限N粒子系のメタ安定的挙動との関係は何か？
• RQ5 相対エントロピーのアプローチは、ブロックグラフ上での一般非ギブス平均場モデルへ拡張可能か？

主な発見

• 適切にスケーリングされた相対エントロピーの極限は、経験的ベクトルに関するラプラース原理を用いて明示的に計算可能な関数F(μ)に収束する。
• 極限関数F(μ)は、マクキャニー＝フラソフ軌道に沿って降下性を満たす。すなわち、dF/dt ≤ 0であり、等号が成り立つのは各クラスについてμ = π(μ)のときのみである。
• やや弱い仮定のもとで、F(μ)は局所的リャプノフ関数であり、マクキャニー＝フラソフ系の固定点の局所的漸近安定性を示唆する。
• 相対エントロピーのダイナミクスを記述するコルモゴロフ前向き方程式の線形構造のおかげで、降下性が保たれる。
• 本手法はジャンプを伴うマルチクラス系に適用可能であり、均一モデルを超えて相対エントロピーのアプローチを拡張する。
• リャプノフ関数が吸引子状態間の遷移を研究するのに利用できるため、複数の均衡点を有する有限N系におけるメタ安定性解析を支援するフレームワークを提供する。