[論文レビュー] On a Feynman-Kac approach to growth-fragmentation semigroups and their asymptotic behaviors

Jean Bertoin|arXiv (Cornell University)|Apr 11, 2018

Stochastic processes and statistical mechanicsMathematics参考文献 33被引用数 20

ひとこと要約

本稿では、成長断片化半群におけるMalthus的挙動の必要十分条件を、Feynman-Kac確率的アプローチを用いて確立し、指数的収束速度の簡単な基準を提示する。先行研究を拡張して、Malthus的条件の必要性を証明するとともに、従来の文献で取り扱われていなかった場合でさえも、検証可能な新しい条件を提供し、指数的エルゴード性を示す。

ABSTRACT

This work develops further a probabilist approach to the asymptotic behavior of growth-fragmentation semigroups via the Feynman-Kac formula, which was introduced in a joint article with A.R. Watson [4]. Here, it is first shown that the sufficient condition for a Malthusian behavior which was established in [4], is also necessary. We then provide a simple criterion to ensure exponential speed of convergence, which enables us to treat cases than were not covered previously in the literature.

研究の動機と目的

• 成長-断片化半群における漸近的挙動のための十分条件として示されたMalthus的条件が、必要であることを確立すること。
• 成長-断片化過程の長時間挙動を分析するため、Feynman-Kac公式を用いた確率的枠組みを構築すること。
• 漸近的プロファイルへの指数的収束速度を保証する、新しい単純基準を提供すること。
• 従来のスペクトル理論的手法ではカバーされていなかった、非標準的な成長および断片化率を有する場合への適用可能性を拡張すること。
• 成長-断片化ダイナミクスにおけるスペクトルギャップおよびエルゴード性に関する既存の結果を統合・強化すること。

提案手法

• 時間変換されたLévy過程の下での期待値として、成長-断片化半群を表現するためにFeynman-Kac公式を用いる。
• 強マルコフ性およびモーメント母関数を用いて、吸収時間と指数的モーメントを制御する。
• 再帰性を保証し、0または∞への吸収を防ぐために、冪関数 $ f(x) = x^r $ および $ g(x) = x^{-q} $ を用いたラプラシアン型条件を導入する。
• 過程が爆発または崩壊しないように保証するため、成長率および断片化率に関する条件 (25) および (26) を導出する。
• これらの条件をFeynman-Kac表現と組み合わせ、基準 (17)、(25)、(26) を満たす場合に指数的収束が成立することを証明する。
• 確率的カップリングを介してKrein-Rutman定理を間接的に適用し、固有要素およびスペクトルギャップの存在を確立する。

実験結果

リサーチクエスチョン

• RQ1 成長-断片化半群におけるMalthus的挙動の十分条件が、必要でもあるか。
• RQ2 確率的Feynman-Kacアプローチによって、指数的収束速度の簡単で検証可能な基準が得られるか。
• RQ3 成長率 $ c(x) $ および断片化核 $ k(x,y) $ にどのような条件下で、半群が指数的に速く収束するか。
• RQ4 $ c(x) $ および $ k(x,y) $ に対するFoster型の条件は、再帰性を保証し、爆発や絶滅を防ぐか。
• RQ5 自己相似断片化の場合、$ c(x)/xK(x) $ にどのような明示的条件が指数的収束を保証するか。

主な発見

• 従来、十分条件として示されたMalthus的挙動条件が、必要でもあると判明し、成長-断片化半群の理論的理解における空白を埋めた。
• 従来のスペクトル理論的手法ではカバーされなかった場合にも適用可能な、新しい指数的収束基準が確立された。
• 過程が再帰条件 (25) および (26) を満たし、Malthus的条件 (17) を満たす場合、指数的エルゴード性が成立し、漸近的プロファイルへの高速収束が保証される。
• 自己相似的ケース $ k(x,y) = x^{-1}K(x)p(y/x) $ では、基準は $ c(x)/(xK(x)) $ の有界性に帰着され、(27)および(28)のように明示的かつ検証可能な条件が得られる。
• 均一な断片化率 ($ K(x) eq 1 $) の場合、[4]の命題7.1を上回る収束結果を提供し、より強い収束性を示した。
• Feynman-Kac枠組みのもとで、$ x \to h(x)/x $ が連続的かつ有界であることが示され、主固有関数の正則性が裏付けられた。