[論文レビュー] Comparability and regularity estimates for symmetric nonlocal Dirichlet forms

Bartłomiej Dyda, Moritz Kaßmann|arXiv (Cornell University)|Sep 30, 2011

Advanced Harmonic Analysis Research参考文献 11被引用数 10

ひとこと要約

本稿は、核の境界と崩壊仮定を用いて、標準的な分数階ラプラシアンに関して、対称な非局所的ディリクレ型形式の局所的および大域的比較可能性の十分条件を確立する。核に対する弱い可積分性および下界条件が満たされれば、関連するエネルギー形式は一様な比較性およびカットオフ推定を満たし、積分微分方程式の解に対するホルダー正則性推定を可能にする。

ABSTRACT

The aim of this work is to study comparability of nonlocal Dirichlet forms. We provide sufficient conditions on the kernel for local and global comparability. As an application we prove a-priori estimates in Hölder spaces for solutions to integrodifferential equations. These solutions are defined with the help of symmetric nonlocal Dirichlet forms.

研究の動機と目的

• 分数階ラプラシアンエネルギーに関して、対称な非局所的ディリクレ型形式の局所的比較可能性の十分条件を確立すること。
• 核に関する弱い仮定の下で、一様なカットオフ関数推定（B）を導出し、非局所方程式の正則性理論を可能にすること。
• 全空間 ℝᵈ における大域的比較可能性の結果を提供し、一般の非局所エネルギーを標準的な分数階ソボレフエネルギーと関連付けること。
• エネルギー形式が標準的な分数階ソボレフエネルギーと比較可能となる核の特徴付けをすること、特に核の境界が一様でない場合でも成立すること。
• 比較可能性およびカットオフ推定を用いて、局所的PDEの正則性技法を非局所作用素へと拡張すること。

提案手法

• パrameter $ \beta \in (\alpha_0, 2) $ を持つ核 $ k_{\beta}(x,y) $ を用いて定義される対称な非局所的ディリクレ型形式の族を導入し、標準的な分数階ラプラシアンエネルギーとの比較性を検討する。
• 構造的仮定を課す：核の上界（U0）、局所的上界減衰（U1）、および領域環状領域における下界（L1）を仮定し、比較可能性を保証する。
• プランシュレルの恒等式とフーリエ解析を用いて、エネルギー形式をフーリエ変換の $ L^2 $-ノルムに関連させ、$ \int |e^{i\xi \cdot z} - 1|^2 L(z) \, dz $ を介して比較を可能にする。
• エネルギー成長が制御された $ C_c^\infty $ 級のカットオフ関数 $ \tau $ を用い、$ \sup_x \int (\tau(y) - \tau(x))^2 k(x,y) \, dy \leq c \rho^{-\alpha} $ を満たすことで、局所的ディリクレ型形式の技法を模倣する。
• 弱いハルナック不等式を導出し、それらを用いて積分微分方程式の解に対するホルダー正則性推定を獲得する。
• 不等式 $ \mathcal{E}^k(u,u) \leq c(\mathcal{E}^\alpha(u,u) + \|u\|_{L^2}^2) $ を用いて大域的比較性を証明し、$ \alpha \to 2^- $ における鋭い依存関係を示す。

実験結果

リサーチクエスチョン

• RQ1 核 $ k(x,y) $ に対してどのような条件下で、非局所的ディリクレ型形式が標準的な分数階ラプラシアンエネルギーと局所的に比較可能となるか？
• RQ2 核に対する弱い可積分性および下界仮定の下で、非局所的形式に対して一様なカットオフ関数推定を確立できるか？
• RQ3 非局所エネルギーが大域的に分数階ソボレフエネルギーと比較可能となる核の正確な特徴付けは何か？
• RQ4 比較可能性の結果をどのように用いて、非局所積分微分方程式の解に対する事前ホルダー推定を導出できるか？
• RQ5 比較可能性およびカットオフ推定における定数が $ \alpha \to 2^- $ の際に一様に保たれるための条件は何か？

主な発見

• 定理1は、核が (U0)、(U1)、(L1) を満たすならば、定数が $ \alpha \in (\alpha_0, 2) $ に依存しないことの局所的比較性（A）およびカットオフ推定（B）が成り立つことを示している。
• 本稿は、標準核 $ k_\alpha(x,y) \asymp |x-y|^{-d-\alpha} $ が条件を満たすことを示しているが、非一様核に対しても結果が拡張可能であり、例えば $ |x| \leq 0.1|y| $ またはその逆にのみ台を持つ核に対しても成立する。
• 大域的比較性が確立された：(U0) および (U1) を仮定すれば、$ \mathcal{E}^k(u,u) \leq c(\mathcal{E}^\alpha(u,u) + \|u\|_{L^2}^2) $ が成り立ち、$ c $ は $ C_0, C_1, \alpha, d $ に依存するが、$ C_0, C_1 $ が一様であれば $ \alpha \in (\alpha_0, 2) $ に対して一様である。
• 定理15は鋭い特徴付けを与える：大域的比較性が成り立つのは、条件 (K2, $ r_0 $) が成り立つ場合に限る。これは、核の角度方向における下側尾部を制御するものである。
• 下界条件 (L1) は $ r_0 = 1 $ の下で (K2, $ r_0 $) を含意し、$ \alpha $ に関する一様性は (K2, $ r_0 $) の定数 $ c_0 $ の一様性を意味する。
• これらの結果により、局所的PDEからの正則性技法を非局所方程式へと移行可能となり、弱いハルナック不等式を介して解に対するホルダー推定が得られる。