[論文レビュー] Heat Kernels for Non-symmetric Non-local Operators

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|Mar 27, 2017

advanced mathematical theories参考文献 34被引用数 9

ひとこと要約

本稿は、非対称な非局所作用素における熱核推定値の最近の進展を調査し、摂動法およびLévy系技法を用いた存在性と鋭い両側推定値に焦点を当てる。ジャンプカーネルに適切な条件が満たされれば、熱核は安定的類似の基本カーネルと比較可能であり、可変型の指数と非局所的摂動を伴う非対称設定へ、古典的なAronson型推定値を拡張する。

ABSTRACT

We survey the recent progress in the study of heat kernels for a class of non-symmetric non-local operators. We focus on the existence and sharp two-sided estimates of the heat kernels and their connection to jump diffusions.

研究の動機と目的

• ユークリッド空間における非対称非局所作用素の存在と鋭い両側熱核推定値を確立すること。
• 古典的なAronson型推定値を非対称および可変指数非局所作用素へ拡張すること。
• [26, (3.20)]の証明における空白を埋め、|x| ≤ t^{1/α} の場合に完全な議論を提供すること。
• 非局所的摂動が熱核の挙動に与える影響を、特に非負性および比較可能性の条件の下で分析すること。
• 熱核推定値とジャンプ拡散およびLévy系理論との関連を、特にFeynman-Kac変換フレームワークを通じて結びつけること。

提案手法

• 関連するマルコフ過程の遷移密度およびジャンプダイナミクスを特徴付けるために、Lévy系表現を用いる。
• 非局所作用素S^κを含む繰り返し積分を用いて定義される級数展開∑_{n=0}^∞ q^κ_n(t,x,y) を用いた再帰的摂動スキームを適用する。
• 非局所生成作用素を ∫(f(x+z)−f(x)−∇f(x)·z𝟏_{|z|≤1}) j^κ(x,z) dz として表現し、j^κ(x,z) を可変指数α(x)を伴うべき乗則カーネルとして与える。
• α(x)のHölder連続性を活用して、可変指数作用素に対する鋭い境界を導出するための凍結係数法を実装する。
• Feynman-Kac変換の下での安定性結果を適用し、乗法的摂動の下でも熱核推定値が保存されることを保証する。
• Lévy-Khintchine表現を用いてLévy指数を特徴付け、基礎となるLévy過程のパスワイズ性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 非対称非局所作用素が鋭い両側推定値を持つ熱核を有するための条件は何か？
• RQ2 非局所的摂動は、熱核が基本的な安定的類似カーネルと比較可能であることにどのように影響を与えるか？
• RQ3 非対称非局所作用素の基本解の非負性を保証する条件は何か？
• RQ4 Hölder連続な指数関数を伴う可変指数非局所作用素へAronson型推定値を拡張することは可能か？
• RQ5 Feynman-Kac変換は、非対称ジャンプ拡散の熱核推定値をどのように保存するか？

主な発見

• ジャンプ密度j^κ(x,z)が 0 < c₁/|z|^{d+α} ≤ j^κ(x,z) ≤ c₂/|z|^{d+α} を満たす非対称非局所作用素に対して、熱核q^κ(t,x,y) は (0,T] × ℝ^d × ℝ^d で q^κ(t,x,y) ≍ p(t,x,y) を満たす。
• κ(x,z) ≥ −𝒜(d,−α)/𝒜(d,−β) |z|^{β−α} がほとんど everywhere で成り立つならば、基本解q^κ(t,x,y) の非負性が保証される。
• [26, (3.20)]の証明における空白は、|x| ≤ t^{1/α} の場合に完全な推定値を提供することで解消され、以前に主張されたものより鋭い境界が得られる。
• 可変指数作用素 𝒟f(x) = ∫(f(x+z)−f(x)−∇f(x)·z𝟏_{|z|≤1}) κ(x,z)/|z|^{d+α(x)} dz の熱核は、α(x)のHölder連続性およびκ(x,z)の適切な境界条件が満たされれば、両側推定値を有することが示される。
• Feynman-Kac変換の下での熱核推定値の安定性は、対称および非対称のジャンプ過程の両方で確立される。
• 再帰的級数 ∑_{n=0}^∞ q^κ_n(t,x,y) は収束し、摂動された時間発展方程式 ∂_t u = (ℒ + S^κ)u を満たす。