[論文レビュー] Elliptic Harnack inequalities for symmetric non-local Dirichlet forms

Zhen-Qing Chen, Takashi Kumagai+1 more|arXiv (Cornell University)|Mar 28, 2017

Geometric Analysis and Curvature Flows参考文献 29被引用数 5

ひとこと要約

本稿は、一般の測度付き距離空間における状態依存スケーリングを伴う対称非局所的ディリクレ形式に対して、楕円型ハーナック不等式（EHI）の安定性を、正則性条件の下で確立する。EHIがハーモニック関数の事前 Hölder 正則性を示すこと、および古典的結果を非局所的・非一様な設定に拡張した、EHI を用いた放物型ハーナック不等式（PHI）の新たな同値特徴付けを提供する。

ABSTRACT

We study relations and characterizations of various elliptic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces. We allow the scaling function be state-dependent and the state space possibly disconnected. Stability of elliptic Harnack inequalities is established under certain regularity conditions and implication for a priori Hölder regularity of harmonic functions is explored. New equivalent statements for parabolic Harnack inequalities of non-local Dirichlet forms are obtained in terms of elliptic Harnack inequalities.

研究の動機と目的

• 一般の測度付き距離空間上における対称非局所的ディリクレ形式のさまざまな楕円型ハーナック不等式（EHI）の関係性および特徴付けを調査すること。
• 特に状態依存スケーリングと非連結な状態空間を許容する正則性条件の下で、EHI の安定性を確立すること。
• 非局所的設定において、EHI がハーモニック関数の事前 Hölder 正則性を示すかを検討すること。
• 古典的双対性結果を非局所過程に拡張し、EHI を用いた放物型ハーナック不等式（PHI）の新たな同値表現を導出すること。
• 局所作用素やユークリッド空間を超えた、EHI および PHI の先行結果を非一様的・非測地的設定へ一般化すること。

提案手法

• 著者らは、純粋なジャンプ型の対称非局所的ディリクレ形式を、$L^2(M;\mu)$ 上の正則かつ対称なディリクレ形式 $({\cal E},{\cal F})$ とジャンプ核 $J(dx,dy)$ を用いて分析する。
• 関連するハント過程 $X_t$ 及びその遷移密度 $p(t,x,y)$ を用い、強マルコフ性と尾確率の見積もりを用いて、出口時間の見積もり $\mathbb{E}^x[\tau_{B(x,r)}]$ を導出する。
• 空間的位置 $x$ に依存するスケーリング関数 $\phi(x,r)$ を用い、非一様的または状態依存的な挙動を許容する。
• 主な見積もりには、出口時間の境界が含まれる：$r \leq 1$ のとき $\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha(x)}$ および $r > 1$ のとき $\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha_1}$ であり、$\alpha(x)$ は $x$ に依存する。
• 強マルコフ性と指数的尾確率の境界を用いて、$\mathbb{P}^x(\tau_{B(x,r)} > kt) \leq 2^{-k}$ を導出し、モーメントの見積もりを得る。
• 非局所的設定におけるモーザー反復法を用い、EHI、PHI、および他の関数不等式（FK、PI、CSJ）の間の同値性を、一連の含める関係と併せて確立する。

実験結果

リサーチクエスチョン

• RQ1 一般の測度付き距離空間において、状態依存スケーリングを伴う場合、ディリクレ形式の摂動に対して楕円型ハーナック不等式（EHI）はどのような条件下で安定するか？
• RQ2 非局所的設定においても、EHI が局所的状況と同様にハーモニック関数の事前 Hölder 正則性を示すか？
• RQ3 非局所過程に対して、EHI を用いた放物型ハーナック不等式（PHI）の新たな同値特徴付けは何か？
• RQ4 非一様的スケーリングを伴う非局所的ディリクレ形式において、関数不等式 FK($\phi$)、PI($\phi$)、CSJ($\phi$) は EHI および PHI とどのように関係するか？
• RQ5 古典的ハーナック不等式枠組みは、非局所的生成作用素を伴う非連結または非測地的測度付き距離空間へ拡張可能か？

主な発見

• 正則性条件の下で、楕円型ハーナック不等式（EHI）は、スケーリング関数 $\phi(x,r)$ が状態依存であっても安定である。
• 変数指数 $\alpha(x)$ を持つ分数ラプラシアンに対して、$r \leq 1$ のとき $\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha(x)}$ かつ $r > 1$ のとき $\mathbb{E}^x[\tau_{B(x,r)}] \asymp r^{\alpha_1}$ が成り立ち、$\alpha_1 = \sup \alpha(x)$ である。
• EHI は、非局所的設定においても、ハーモニック関数の事前 Hölder 正則性（EHR）を示すことが、モーザー反復法により示された。
• 同じ正則性仮定の下で、放物型ハーナック不等式（PHI）は EHI と同値であり、PHI の EHI を用いた新たな特徴付けが得られた。
• 関数不等式 FK($\phi$)、PI($\phi$)、CSJ($\phi$) 全てが EHI に従属し、関数的および解析的性質の階層が確立された。
• 本結果は、古典的モーザー型正則性およびハーナック理論を、非局所的・非一様的・あるいは非連結な測度付き距離空間へ拡張する。