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

Zhen-Qing Chen, Takashi Kumagai+1 more|arXiv (Cornell University)|Sep 24, 2016

Geometric Analysis and Curvature Flows参考文献 45被引用数 11

ひとこと要約

本稿は、体積倍加条件を満たす一般の条件下で、測度空間上の対称的非局所的ディリクレ形式に対して、放物型ハーナック不等式（PHI）の安定性を確立する。PHIは、一様な有界性を持つジャンピング測度の摂動のもとで保存され、熱核推定、ピカール不等式、および熱的関数のホルダー連続性を用いた安定な同値特徴づけが与えられる。

ABSTRACT

In this paper, we establish stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces under general volume doubling condition. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cutoff Sobolev inequalities, and Poincaré inequalities. In particular, we establish the connection between parabolic Harnack inequalities and two-sided heat kernel estimates, as well as with the Hölder regularity of parabolic functions for symmetric non-local Dirichlet forms.

研究の動機と目的

• ジャンピング測度の摂動の下で、対称的非局所的ディリクレ形式に対する放物型ハーナック不等式（PHI）の安定性を調査すること。
• 二面的熱核推定、ピカール不等式、およびカットオフソボレフ不等式などの幾何的・解析的条件を用いた、PHIの同値特徴づけを確立すること。
• 非局所的設定における、PHIと熱的関数のホルダー連続性との関係を明確にすること。
• 体積倍加のもとで、ジャンピング測度が別の測度と一様に比較可能である場合、PHIが保存されるかどうかを特定すること。
• 局所的およびガウス型拡散過程から非局所過程へと拡張する一般の測度空間におけるPHIの安定性の枠組みを提供すること。

提案手法

• 非局所的純ジャンプ型の対称的正則ディリクレ形式を定義する対称的ジャンピング測度 $ J(dx,dy) $ を用いた、一般の測度空間フレームワークを採用する。
• 過程の時間・空間スケーリングを特徴付けるスケール関数 $ \phi(r) $ を導入し、拡散過程における古典的 $ \phi(r) = r^2 $ を一般化する。
• 体積倍加条件とピカール不等式を基礎的仮定として用い、安定な同値条件を導出する。
• レビ・システム公式と抜ける時間の推定を用いて、到達確率を分析し、$ \mathrm{E}_{\phi} $ 条件を確立する。
• 特異なレビ測度を含む反例を用いて、$ \mathrm{EHR} $ および $ \mathrm{E}_{\phi} $ が単独では $ \mathrm{EHI} $ や $ \mathrm{PHI}(\phi) $ を示さないことを示し、$ \mathrm{UJS} $ が成立しない場合でさえも成立する。
• 元のジャンピング測度 $ J $ と摂動されたもの $ \widehat{J} $ の間の比較技術に依存し、$ J $ と $ \widehat{J} $ の間で $ c_1 J \leq \widehat{J} \leq c_2 J $ が成り立つと仮定する。

実験結果

リサーチクエスチョン

• RQ1 対称的非局所的ディリクレ形式において、ジャンピング測度の摂動が一様である場合、放物型ハーナック不等式（PHI）は安定するか？
• RQ2 体積倍加のもとで、測度空間におけるPHIの安定な同値条件は何か？
• RQ3 非局所的設定において、PHI、二面的熱核推定、および熱的関数のホルダー連続性の関係は何か？
• RQ4 非局所的ディリクレ形式において、PI（ピカール不等式）およびカットオフソボレフ不等式を用いてPHIを特徴づけられるか？
• RQ5 PHIの成立に、$ \mathrm{UJS} $（一様ジャンプサイズ）の条件は必要か、それともそれが成立しない場合でもPHIが成立しうるか？

主な発見

• ジャンピング測度の均一な比較のもとでPHIは安定：$ \mathrm{PHI}(\phi) $ が $ J $ に対して成り立つならば、$ c_1 J \leq \widehat{J} \leq c_2 J $ を満たす $ \widehat{J} $に対しても成り立つ。
• 非局所的設定では、PHIは体積倍加、ピカール不等式、および二面的熱核推定の組み合わせと同値である。
• 対称的 $ \alpha $-安定型過程に対しては、$ \phi(r) = r^\alpha $ とおくと $ \mathrm{PHI}(\phi) $ が成り立ち、これはジャンプカーネルの有界な摂動のもとで安定する。
• 3次元 $ \mathbb{R}^3 $ 値独立 $ \alpha $-安定過程を用いた例から、$ \mathrm{EHR} $ および $ \mathrm{E}_{\phi} $ が単独では $ \mathrm{EHI} $ や $ \mathrm{PHI}(\phi) $ を示さないことが示され、$ \mathrm{PI}(\phi) $ および $ \mathrm{SCSJ}(\phi) $ が成り立つ場合でさえも同様である。
• 特定の構成において $ \mathrm{UJS} $（一様ジャンプサイズ）が成立しないことは、$ \mathrm{PHI}(\phi) $ が成立できないことを示し、ある状況ではその必要性を示している。
• 本稿では、$ \mathrm{E}_{\phi,\geq} $ および $ \mathrm{E}_{\phi,\leq} $ 条件（抜ける時間の推定）が $ \mathrm{PHI}(\phi) $ を十分に満たし、測度の摂動のもとで安定であることを確立した。