[論文レビュー] On subhamonicity for symmetric Markov processes

Zhen-Qing Chen, Kazuhiro Kuwae|ArXiv.org|Dec 16, 2009

Geometry and complex manifolds参考文献 19被引用数 9

ひとこと要約

本稿は、局所コンpakto分離可測距離空間上の対称ハーン過程における、解析的および確率的定義の下位調和性の同値性を確立し、調和関数に関する先行結果を拡張する。主な貢献は、$ \mathcal{E} $-下位調和関数に対するリエス型分解および、自然な可積分性と正則性条件の下で、滑らかで局所有界な $ \mathcal{E} $-下位調和関数に対する強い最大原理の確立である。

ABSTRACT

We establish the equivalence of the analytic and probabilistic notions of subharmonicity in the framework of general symmetric Hunt processes on locally compact separable metric spaces, extending an earlier work of the first named author on the equivalence of the analytic and probabilistic notions of harmonicity. As a corollary, we prove a strong maximum principle for locally bounded finely continuous subharmonic functions in the space of functions locally in the domain of the Dirichlet form under some natural conditions.

研究の動機と目的

• 対称ハーン過程が定義される局所コンパクトで分離可能な距離空間上における、下位調和性の解析的および確率的定義の同値性を確立すること。
• 特に非局所的およびジャンプ型過程において、調和関数に関する先行結果を下位調和関数のケースに拡張すること。
• 自然な可積分性および正則性条件の下で、局所有界かつ滑らかで連続な $ \mathcal{E} $-下位調和関数に対する強い最大原理を証明すること。
• 非局所的および不連続な過程の性質を扱うために、$ \mathcal{E} $-下位調和関数に対するリエス型分解定理を構築すること。
• 確率的および解析的アプローチを用いて、古典的な強い最大原理を非局所作用素およびジャンプ過程へ一般化すること。

提案手法

• 準至るところの $ x \in D $ に対して、$ u(X_{t \tau_D}) $ が一様可積分な下martingale であるという確率的定義により下位調和性を定義する。
• 非負の $ v \in \mathcal{F} \cap C_c^+(D) $ に対して、$ \mathcal{E}(u, v) \leq 0 $ が成り立つことにより、$ u \in \mathcal{F}_{D,\text{loc}} $ として、解析的定義により下位調和性を定義する。
• $ E $ を局所コンパクトで分離可能な距離空間とする $ L^2(E; m) $ 上の正則局所的ディリクレ形式 $ (\mathcal{E}, \mathcal{F}) $ の枠組みを用いる。
• $ \mathcal{E} $-下位調和関数に対するリエス型分解定理を確立し、それらをポテンシャル部と調和部に分解する。
• ハーン過程の強マルコフ性と一様可積分な下martingale の理論を活用し、確率的および解析的定義を結びつける。
• 具体的な例（ジャンプ付き拡散過程や対称レビ過程）に結果を適用し、同値性を検証し、明確な条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 対称ハーン過程が定義される局所コンパクトで分離可能な距離空間上において、解析的および確率的下位調和性の定義は同値であるか？
• RQ2 非局所的およびジャンプ型の設定において、局所有界かつ滑らかで連続な $ \mathcal{E} $-下位調和関数に対して、強い最大原理を拡張できるか？
• RQ3 過程が不連続な場合に、$ \mathcal{F}_{D,\text{loc}} $ に属する関数に対して、ディリクレ形式 $ \mathcal{E}(u, v) $ をどのように意味的に拡張できるか？
• RQ4 ジャンプ成分を含む状況において、確率的に下位調和な関数が解析的にも下位調和であるための条件は何か？
• RQ5 古典的な第二階楕円型作用素に対する強い最大原理は、対称マコフ過程を用いて、非局所作用素へどの程度一般化できるか？

主な発見

• 標準的な可積分性および正則性条件の下で、局所コンパクトで分離可能な距離空間上の対称ハーン過程において、解析的および確率的下位調和性の概念は同値である。
• $ \mathcal{E} $-下位調和関数に対するリエス型分解定理が確立され、関数をポテンシャル部と調和部に分解可能であることが示された。
• 過程が基本測度に関して絶対連続性条件を満たすと仮定すれば、局所有界かつ滑らかで連続な $ \mathcal{E} $-下位調和関数に対して強い最大原理が成り立つ。
• ブラウン運動と $ \alpha $-安定過程の和からなる対称レビ過程の例では、$ (1 \wedge |x|^{-d - \alpha}) u(x) \in L^1(\mathbb{R}^d) $ が成り立つ限り、同値性が成立する。
• すべての $ x \in U $ に対して $ u(x) \leq \mathbb{E}_x[u(X_{\tau_U})] $ が成り立ち、$ u(X_{\tau_U}) \in L^1(\mathbb{P}_x) $ である確率的条件は、すべての非負の $ v \in \mathcal{F} \cap C_c^+(D) $ に対して $ \mathcal{E}(u, v) \leq 0 $ が成り立つ解析的条件と同値である。
• 結果として、古典的な強い最大原理が非局所作用素およびジャンプ型過程へ一般化され、アレクサンドロフ空間における測度収縮性を有する特異空間上の幾何的解析への応用が可能となった。