[論文レビュー] Fukushima's decomposition for diffusions associated with semi-Dirichlet forms

Li Ma, Zhi-Ming Ma+1 more|arXiv (Cornell University)|Apr 15, 2011

Advanced Mathematical Modeling in Engineering参考文献 12被引用数 3

ひとこと要約

本稿は、双対過程を仮定しない非対称かつ非半マルティンゲール的設定において、半ディリクレ形式に関連する拡散過程の福島分解を確立する。局所化手法を導入し、局所マルティンゲール加法的関数への変換公式を導出することで、対称ディリクレ形式から得られる主要な道具を半ディリクレ形式へ一般化し、双対過程が存在しない場合の広いクラスの過程における確率解析を可能にする。

ABSTRACT

Diffusion processes associated with semi-Dirichlet forms are studied in the paper. The main results are Fukushima's decomposition for the diffusions and a transformation formula for the corresponding martingale part of the decomposition. The results are applied to some concrete examples.

研究の動機と目的

• 準正則半ディリクレ形式に関連するマコフ過程に対して福島分解を拡張すること、ここで双対過程は仮定しない。
• 双対過程が存在しない状況で加法的関数のエネルギーを定義する課題を、局所加法的関数への局所化手法を導入することで克服すること。
• 対称ケースにおけるLeJanの公式に類似した、半ディリクレ設定における局所マルティンゲール加法的関数（MAF）の変換公式を確立すること。
• 半ディリクレ枠組みにおける正の連続加法的関数（PCAF）および滑らかな測度の、厳密なポテンシャル論的基礎を提供すること。
• 古典的伊藤およびドゥーブ・マイヤー分解が失敗する具体的な例に、提案された手法を適用し、非半マルティンゲール的設定における有効性を示すこと。

提案手法

• 局所加法的関数（AF）に基づく局所化手法を導入し、形式の定義域内の関数のエネルギーを局所的に定義し、分解を行う。
• リーヴェズ対応を用いてPCAFLと滑らかな測度を結びつけ、半ディリクレ設定における対応の同値条件を確立する。
• γ-共過剰関数の概念を用いて、特にt↓0の極限において、加法的関数のエネルギーを定義・分析する。
• フィッツシモンズおよびレジャンの技術を適応することで、双対過程に依存しない局所MAFの変換公式を導出する。
• リゾルベントおよび共リゾルベント作用素を用いて、半群の双対作用を特徴づけ、加法的関数を含む期待値を制御する。
• 内在的ノルムおよびエネルギーノルムを用いて主要な推定を証明し、特に$ \mathcal{E}_1 $-有界性および双対ポテンシャル作用素$ \hat{U}_1 $を用いて$ E_\nu(A_t) $を評価する。

実験結果

リサーチクエスチョン

• RQ1 双対過程の存在を仮定しない半ディリクレ形式に関連する拡散過程に対して、福島の分解を拡張することは可能か？
• RQ2 双対過程が存在しない状況で、加法的関数のエネルギーを意味的に定義・計算することは可能か？
• RQ3 半ディリクレ設定において、LeJanの公式に類似した局所マルティンゲール加法的関数の変換公式は存在するか？
• RQ4 半ディリクレ枠組みにおいて、PCAFLに関するリーヴェズ対応とダイニキン型恒等式との同値性を保証する条件は何か？
• RQ5 提案された分解および変換公式は、古典的半マルティンゲール的手法が失敗する具体的な例に適用可能か？

主な発見

• 任意の$ u \in D(\mathcal{E})_{\text{loc}} $に対して福島型分解が成立し、$ \tilde{u}(X_t) - \tilde{u}(X_0) = M^{[u]}_t + N^{[u]}_t $を満たす。ここで$ M^{[u]} $は有限エネルギーの局所MAFであり、$ N^{[u]} $はエネルギーがゼロの連続加法的関数である。
• 双対過程が存在しない場合でも、局所化手法により$ e(A) = \lim_{t\to 0} \frac{1}{2t} E_m[A_t^2] $の極限としてエネルギーが適切に定義される。
• 定理3.10で、関数$ g $に関する適切な条件下で、半ディリクレ形式へのLeJanの公式の一般化として局所MAFの変換公式が確立された。
• 定理5.8で、PCAFLと滑らかな測度のリーヴェズ対応が完全に特徴づけられ、7つの条件の同値性が示された。これにはリゾルベントの極限およびダイニキン型恒等式が含まれる。
• $ \nu \in \hat{S}^{*}_{00} $に対して、定数$ C_\nu $が存在し、$ E_\nu(A_t) \leq C_\nu (1+t) \int_E \widetilde{\hat{h}} \, d\mu_A $が成り立つ。これは期待値に対する一様な評価を与える。
• 付録の第5節における理論的結果、特に定理5.3および補題5.9は、半ディリクレ設定におけるPCAFLおよび滑らかな測度の基礎的道具を提供し、文献における空白を埋める。