[論文レビュー] Stability of heat kernel estimates for symmetric non-local Dirichlet forms

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

Nonlinear Partial Differential Equations被引用数 9

ひとこと要約

本稿は、体積倍加条件が一般に成り立つ場合、測度空間上の対称非局所的ディリクレ形式の二面的ヒートカーネル推定と上界の安定性を確立する。ジャンピングカーネル、カットオフソボレフ不等式、ファーベル＝クラーハン不等式による安定的同値特徴づけを提供し、ウォーク次元が2より大きいときのα ≥ 2のα安定的プロセスのヒートカーネル推定を証明することで、長年の主要な未解決問題を解決する。

ABSTRACT

In this paper, we consider symmetric jump processes of mixed-type on metric measure spaces under general volume doubling condition, and establish stability of two-sided heat kernel estimates and heat kernel upper bounds. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cut-off Sobolev inequalities, and the Faber-Krahn inequalities. In particular, we establish stability of heat kernel estimates for $α$-stable-like processes even with $α\ge 2$ when the underlying spaces have walk dimensions larger than $2$, which has been one of the major open problems in this area.

研究の動機と目的

• 測度空間上の対称ジャンプ過程の二面的ヒートカーネル推定と上界の安定性を確立すること。
• ジャンピングカーネル、カットオフソボレフ不等式、ファーベル＝クラーハン不等式といった安定的幾何的・解析的条件を用いたヒートカーネル推定の同値特徴づけをすること。
• ウォーク次元が2より大きいときのα ≥ 2のα安定的プロセスに対するヒートカーネル推定の安定性に関する未解決問題を解くこと。
• 関連するハント過程の保守性および確率的完備性の十分条件を提供すること。

提案手法

• ベューリング＝デニの公式を用いて、ディリクレ形式を純粋ジャンプ成分に分解し、$ M \times M \setminus \text{diag} $ 上の対称レオン測度 $ J $ に注目する。
• 関数不等式と容量推定を用いて、ヒートカーネル推定と $ \mathrm{UHK}\left(\theta\right) $, $ \mathrm{J}_{\theta,\text{leq}} $, $ \mathrm{CSJ}\left(\theta\right) $, $ \mathrm{FK}\left(\theta\right) $ などの条件との同値性を確立する。
• マイヤーの分解とレヴィ系公式を適用し、ジャンプ過程のダイナミクスを基礎となるジャンピングカーネルおよび抜ける時間の挙動と関連付ける。
• カッチョッポリおよび $ L^1 $-平均値不等式を用いて、体積倍加および弱いポincare型条件の下でスケール不変推定を導出する。
• 切り上げ関数 $ \varphi_n $ を用いた正則化および $ \Gamma^{(\rho)} $-ノルムにおけるエネルギー推定を用いて、過程の保守性を証明する。
• エネルギー減少法およびグロワールド型不等式を用いて、関連する時間発展方程式の解の $ L^2 $-ノルムを制御する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、基礎となるディリクレ形式の摂動に対して二面的ヒートカーネル推定が安定するか？
• RQ2 ウォーク次元が2より大きいとき、α ≥ 2のα安定的プロセスのヒートカーネル推定を確立できるか？
• RQ3 ジャンピングカーネル、カットオフソボレフ不等式、ファーベル＝クラーハン不等式を用いたヒートカーネル推定の安定的同値特徴づけは何か？
• RQ4 対称ジャンプ過程の保守性は、内在的な幾何的・解析的条件によってどのように特徴づけられるか？
• RQ5 体積倍加条件は、非局所的ディリクレ形式のヒートカーネル推定の安定性において、どのような役割を果たすか？

主な発見

• 二面的ヒートカーネル推定は、一般の体積倍加条件下で安定しており、ジャンピングカーネルおよびカットオフソボレフ不等式による安定的同値特徴づけが可能である。
• 本稿は、ウォーク次元が2より大きいときのα ≥ 2のα安定的プロセスに対するヒートカーネル推定の安定性を確立し、長年の未解決問題を解決する。
• 体積倍加の下で、条件 $ \mathrm{UHK}\left(\theta\right) $ は $ \mathrm{J}_{\theta} + \mathrm{E}_{\theta} $ に同値であり、ここで $ \mathrm{E}_{\theta} $ は平均抜ける時間条件である。
• ファーベル＝クラーハン不等式 $ \mathrm{FK}\left(\theta\right) $ に加え、$ \mathrm{J}_{\theta,\text{leq}} $ および $ \mathrm{CSJ}\left(\theta\right) $ が成り立つと、スケール不変エネルギー不等式 $ \mathrm{E}_{\theta} $ の存在が示される。
• 保守性は $ \mathrm{SCSJ}\left(\theta\right) + \mathrm{J}_{\theta,\text{leq}} $ によって示され、これらの条件下で過程は確率的完備である。
• 新しいエネルギー減少推定（$ \Gamma^{(\rho)} $-ノルムおよびグロワールド型の議論を用いて）により、$ Q_t^{(\rho)} \mathbf{1} = 1 $ μ-ほとんど everywhere が成立し、保守性が確認される。