[論文レビュー] Heat kernels for time-dependent non-symmetric stable-like operators

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|Sep 14, 2017

Advanced Harmonic Analysis Research参考文献 9被引用数 6

ひとこと要約

本稿では、跳躍核 $\kappa(x,z)$ の対称性を仮定しない時間に依存する非対称な安定型作用素に対して、鋭い両側の熱核推定、勾配推定、および分数階微分の境界を確立する。修正されたレヴィの方法と摂動技法を用いて、$\kappa$ が Hölder 継続的かつ一様有界であると仮定したもとで、熱核 $p^\kappa_{t,s}(x,y)$ の精密な境界を導出する。これは、非対称および時間に依存する設定に既存の結果を拡張し、非局所的リーマン変換への応用を含む。

ABSTRACT

When studying non-symmetric nonlocal operators $$ {\cal L} f(x) = \int_{{\bf R}^d} \left( f(x+z)-f(x)- abla f(x)\cdot z 1_{\{|z|\leq 1\}} ight) \frac{κ(x, z)}{|z|^{d+α}} d z , $$ where $02d/(d+2α)$, $$ \| {\cal L}^{1/2}f\|_p\asymp \|Γ(f)^{1/2}\|_p, $$ where $Γ(f):=\frac{1}{2}{\cal L} (f^2)-f {\cal L} f$ is the carré du champ operator associated with ${\cal L}$, and ${\cal L}^{1/2}$ is the square root operator of ${\cal L}$ defined by using Bochner's subordination. Here $\asymp$ means that both sides are comparable up to a constant multiple.

研究の動機と目的

• 非対称性の仮定 $\kappa(x,z) = \kappa(x,-z)$ を行わず、非対称で時間に依存する非局所的作用素へ鋭い熱核推定を拡張すること。
• $\kappa$ に対する最小限の正則性仮定の下で、$\mathscr{L}^\kappa_t$ の熱核に対する両側境界を確立すること。
• $\beta \in (0 \vee (1 - \alpha), 1)$ のとき、熱核の勾配および分数階微分推定を導出すること。
• $p > 2d/(d + 2\alpha)$ のとき、非局所的リーマン変換 $\mathscr{L}^{1/2}f \asymp \Gamma(f)^{1/2}$ の有界性を分析すること。
• 対称な設定から非対称および時間に依存する設定へ結果を拡張し、$\alpha \in (1,2)$ のときの漂流摂動を含むこと。

提案手法

• 反復核と摂動を含む級数として基本解 $p^\kappa_{t,s}(x,y)$ を構成するための修正されたレヴィの方法の使用。
• 差核 $q_{t,s}(x,y)$ に対する鋭い推定を伴うパラメトリックス法の適用により、正則性と可積分性を制御すること。
• 二分法的分解とスケーリング技術を用いて、関数 $\varrho^\beta_\gamma(t,x) = t^{\gamma/\alpha}(|x|^\beta \wedge 1)/(t^{1/\alpha} + |x|)^{d+\alpha}$ を用いて熱核およびその導関数の境界を導出すること。
• 積分表現と補間技法を用いて、分数階ラプラシアン推定 $\Delta^{\theta/2}p^\kappa_{t,s}(x,y)$ を導出し、正則性境界を得ること。
• 後退コルモゴロフ方程式 $\partial_t u + \mathscr{L}^\kappa_t u = 0$ の解に最大原理を適用することで、一意性の証明を行うこと。
• ボッホナーの劣化を用いて平方根作用素 $\mathscr{L}^{1/2}$ を定義し、それを carré du champ $\Gamma(f)$ と関連付けること。

実験結果

リサーチクエスチョン

• RQ1 非対称で時間に依存する安定型作用素に対して、$\kappa(x,z) = \kappa(x,-z)$ を仮定しない鋭い両側熱核推定を得ることは可能か？
• RQ2 $\kappa(x,z)$ が $x$ に関して Hölder 継続的であると仮定したとき、熱核が示す正則性特性（勾配、分数階微分）は何か？
• RQ3 跳躍核に非対称性が存在する場合、非局所的リーマン変換の有界性にどのような影響を与えるか？
• RQ4 最小限の滑らかさを仮定した時間に依存する非対称核に対応するように、パラメトリックス法を適応可能か？
• RQ5 Kato 現象に属する漂流が $\alpha \in (1,2)$ のとき熱核に与える影響は何か？

主な発見

• 熱核 $p^\kappa_{t,s}(x,y)$ は鋭い両側境界を満たす：任意の $T > 0$ および $(t,x;s,y) \in \mathbb{D}^T_0$ に対して $c_0^{-1} \varrho^0_\alpha(s-t,x-y) \leq p^\kappa_{t,s}(x,y) \leq c_0 \varrho^0_\alpha(s-t,x-y)$。
• $\theta \in (0, (\alpha + \beta) \wedge 2)$ のとき、分数階微分は $|\Delta^{\theta/2}_x p^\kappa_{t,s}(\cdot,y)(x)| \leq c_1 \varrho^{0}_{\alpha - \theta}(s-t,x-y)$ を満たす。
• $\alpha \in [1,2)$ または $\alpha + \beta > 1$ のとき、勾配推定が成り立ち、$|\nabla_x p^\kappa_{t,s}(\cdot,y)(x)| \lesssim \varrho^0_{\alpha - 1}(s-t,x-y)$ が成り立つ。
• 熱核は時間に関して一様連続的であり、空間時間においても連続的であり、$|t-s| \to 0$ のとき $\|P^\kappa_{t,s}f - f\|_\infty \to 0$ を満たす。
• $\kappa(x,z) = \kappa(z)$ が空間に依存しない場合、非局所的リーマン変換は有界である：$p > 2d/(d + 2\alpha)$ のとき $\|\mathscr{L}^{1/2}f\|_p \asymp \|\Gamma(f)^{1/2}\|_p$。
• 後退方程式 $\partial_t u + \mathscr{L}^\kappa_t u = 0$ の解に最大原理を適用することで、熱核の一意性が確立された。