[論文レビュー] Estimates of Dirichlet heat kernel for symmetric Markov processes

Tomasz Grzywny, Kyung-Youn Kim+1 more|arXiv (Cornell University)|Dec 9, 2015

Nonlinear Partial Differential Equations参考文献 44被引用数 10

ひとこと要約

本稿では、弱スケーリング条件を満たす非対称で一様なレビ過程によって支配される、対称的純ジャンプマルコフ過程の $C^{1,1}$ 開集合におけるディリクレ熱核について、鋭い両側推定を確立する。ポテンシャル理論と経路的解析を組み合わせた新規なアプローチを用いて、スケール不変の境界ハーナック不等式および正確な減衰率を伴うグリーン関数推定を導出する明示的で、スケール不変の境界ハーナック不等式とグリーン関数推定を導出する。

ABSTRACT

We consider a large class of symmetric pure jump Markov processes dominated by isotropic unimodal Lévy processes with weak scaling conditions. First, we establish sharp two-sided heat kernel estimates for these processes in $C^{1,1}$ open sets. As corollaries of our main results, we obtain sharp two-sided Green function estimates and a scale invariant boundary Harnack inequality with explicit decay rates in $C^{1,1}$ open sets.

研究の動機と目的

• Lévy過程を超えて、弱スケーリング条件を満たすより広いクラスの対称的純ジャンプマルコフ過程へ、鋭いディリクレ熱核推定を拡張すること。
• $C^{1,1}$ 開集合から出るまでの過程の遷移密度について、両側推定を確立すること。
• このような領域における調和関数に対して、明示的な減衰率を伴うスケール不変の境界ハーナック不等式を導出すること。
• 熱核の境界から得られるグリーン関数推定を鋭く得ること。
• 分数ラプラシアンおよび一様なレビ過程に関する先行研究を、非等方的で非Lévyの過程（指数的または有限範囲のジャンプを有する）へ統合的かつ一般化すること。

提案手法

• 関数 $\phi$ が $0 < r \leq R$ に対して $\underline{c}(R/r)^{\underline{\alpha}} \leq \phi(R)/\phi(r) \leq \overline{C}(R/r)^{\overline{\alpha}}$ を満たすことで、レビ測度における弱スケーリング条件を用いる。
• $\nu(r) = \phi(r)^{-1} r^{-d}$ を用いたジャンプカーネルの構成により、弱スケーリングと可積分性の両立を保証する。
• 生成子と遷移密度を制御するため、半群性質とダンキンの公式を応用する。
• $p_D(t,x,y) \asymp \mathbb{P}_x(\tau_D > t) \mathbb{P}_y(\tau_D > t) p(t,x,y)$ という構造的推定を、中心的な推定として用いる。
• [7, 前提A–D] および [35, 第4節] における条件の検証により、スケールおよび平行移動不変性を有する境界ハーナック不等式（BHI）を確立する。
• グリーン関数推定と到達時間確率を用いた、正則調和関数の比較による境界ハーナック不等式の証明。

実験結果

リサーチクエスチョン

• RQ1 弱スケーリング条件を満たすジャンプカーネルを有する対称的マルコフ過程について、Lévyの場合を超えて鋭い両側ディリクレ熱核推定を確立できるか？
• RQ2 このような過程の $C^{1,1}$ 領域におけるグリーン関数および調和関数の正確な減衰率は何か？
• RQ3 非等方的で非Lévyの対称的マルコフ過程が弱スケーリングレビ測度を有する場合、スケール不変の境界ハーナック不等式が成立するか？
• RQ4 生存確率 $\mathbb{P}_x(\tau_D > t)$ と自由熱核の相互作用が、有界領域におけるディリクレ熱核をどのように決定づけるか？
• RQ5 指数的または有限範囲のジャンプを有する非Lévy過程へ、 $p_D(t,x,y) \asymp \mathbb{P}_x(\tau_D > t) \mathbb{P}_y(\tau_D > t) p(t,x,y)$ の因数分解がどの程度拡張可能か？

主な発見

• 弱スケーリング条件を満たす非対称で一様なレビ過程によって支配される、対称的純ジャンプマルコフ過程の $C^{1,1}$ 開集合におけるディリクル熱核 $p_D(t,x,y)$ について、鋭い両側推定が確立された。
• グリーン関数 $G_D(x,y)$ は、 $x,y$ が半径 $r<1$ の球内にあるとき、 $G_D(x,y) \asymp \phi(|x-y|) \cdot |x-y|^{-d}$ を満たし、定数は $\phi$, $d$, スケーリングパラメータにのみ依存する。
• スケール不変の境界ハーナック不等式が成り立ち、明示的な減衰率を伴う： $x,y \in D \cap B(z,r/2)$ に対して、 $\frac{f(x)}{f(y)} \leq c_1 \frac{g_1(x)}{g_1(y)}$ が成り立ち、ここで $g_1$ は $U$ で正則調和関数である。
• 境界ハーナック不等式およびグリーン関数推定における定数は、位置 $x_0$ やスケール $r<1$ に依存せず、平行移動およびスケール不変性を保証する。
• 結果は、指数的減衰ジャンプカーネル（$\beta \in (0,\infty)$）を有する対称的マルコフ過程および有限範囲ジャンプ過程へも拡張可能であり、Lévy過程を超える範囲をカバーする。
• 証明は、[7, 前提A–D] および [35, 第4節] の条件の検証に依拠し、一様な定数を有する、強固で不変な形の境界ハーナック不等式が得られる。