[論文レビュー] Heat kernel of fractional Laplacian with Hardy drift via desingularizing weights

Damir Kinzebulatov, Yu. A. Semënov+1 more|arXiv (Cornell University)|Apr 15, 2019

Spectral Theory in Mathematical Physics参考文献 8被引用数 5

ひとこと要約

本稿は、$ \mathbb{R}^d $（$ d \geq 3 $）における分数ラプラシアンに臨界的ハーディー型の摂動項 $ b(x) = \kappa |x|^{-\alpha}x $ が加わった場合の、鋭い両側ヒートカーネル推定を、特異性を緩和する重み関数 $ \varphi_t(y) \approx (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ を用いて確立する。主な結果は、$ \beta \in (\alpha, d) $ がガンマ関数と摂動強度 $ \kappa $ を含む超越方程式を満たし、相対的有界性パラメータ $ \delta $ に依存して定まるという、精密な漸近的評価 $ e^{-t\Lambda}(x,y) \approx e^{-t(-\Delta)^{\alpha/2}}(x,y) \cdot \varphi_t(y) $ である。この手法は、重み付き $ L^1 \to L^\infty $ の超収縮性と、変換された半群に対する新規な $ (L^1, L^1) $ 評価に依存している。

ABSTRACT

We establish sharp two-sided bounds on the heat kernel of the fractional Laplacian, perturbed by a drift having critical-order singularity, by transferring it to appropriate weighted space with singular weight.

研究の動機と目的

• 非局所的かつ非対称な作用素 $ \Lambda = (-\Delta)^{\alpha/2} + b \cdot \nabla $ のヒートカーネルに対して、鋭い両側推定を確立すること。ここで $ b(x) = \kappa |x|^{-\alpha}x $ であり、$ \kappa $ は臨界的次数の特異性に対応する。
• 分数ラプラシアンに対しては古典的カトークラスを越える強力な特異性を持つため、標準的なカトークラス推定が失敗することを克服すること。
• 特異性を緩和する重み関数に基づく新規な手法を開発し、このような臨界的摂動項が存在する場合の超収縮性を回復させ、鋭いヒートカーネル推定を可能にすること。
• ヒートカーネルが $ e^{-t\Lambda}(x,y) \approx e^{-t(-\Delta)^{\alpha/2}}(x,y) \cdot (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ を満たすことを証明すること。ここで $ \beta \in (\alpha, d) $ は、ガンマ関数と $ \kappa $ を含む特定の超越方程式の解である。

提案手法

• 重み関数 $ \varphi_t(y) \approx (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ を用いて問題を重み付き $ L^1 $ 空間に移行し、半群 $ e^{-t\Lambda} $ の $ L^1_{\varphi_t} \to L^\infty $ 超収縮性を確立する。
• 鍵となるステップは、重み付き $ (L^1, L^1) $ 評価 $ \| \varphi_s e^{-t\Lambda} \varphi_s^{-1} f \|_1 \leq e^{c t/s} \|f\|_1 $（$ 0 < t \leq s $）の証明であり、変換された半群の成長を制御する。
• 上界の証明には、重み付きナッシュ初期推定 $ e^{-t\Lambda}(x,y) \leq C t^{-d/\alpha} \varphi_t(y) $ を用い、これは $ L^1_{\varphi_t} \to L^\infty $ 超収縮性とドゥハメルの公式から導出される。
• 下界は、積分的下界 $ \langle \varphi_s e^{-t\Lambda} \varphi_s^{-1} g \rangle \geq e^{-\mu t/s} \|g\|_1 $ と、$ e^{-t(-\Delta)^{\alpha/2}}(x,y) $ に対する標準的下界を組み合わせ、$ 3q $-型の議論を用いる。
• ヒートカーネルの構成はスケーリングに依存せず、より一般な係数への拡張が可能である。これは、$ |x|^{-d+\beta} $ が形式的随伴作用素 $ \Lambda^* $ に対してリャプノフ関数であるという事実に依存している。
• 局所的場合（$ \alpha = 2 $）からの適応が、極限的議論を経て行われ、ここで $ \varphi_t(y) = \eta(t^{-1/2}|y|) $ であり、$ \eta(r) = r^{-\sqrt{\delta}(d-2)/2} $（$ r < 1 $）である。この結果は、非局所的手法を用いて $ \alpha \in (1,2) $ に拡張される。

実験結果

リサーチクエスチョン

• RQ1 臨界的ハーディー型摂動項 $ b(x) = \kappa |x|^{-\alpha}x $ を有する分数ラプラシアンに対して、どのように鋭い両側ヒートカーネル推定を達成できるか？この摂動項は、分数ラプラシアンに対しては古典的カトークラスを越える。
• RQ2 超収縮性を回復させるために必要な特異的重み関数 $ \varphi_t(y) $ の正確な形は何か？
• RQ3 重み関数 $ \varphi_t(y) \approx (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ の指数 $ \beta \in (\alpha, d) $ は、摂動強度 $ \kappa $ と相対的有界性パラメータ $ \delta $ とどのように関係するか？
• RQ4 $ L^1_{\varphi_t} \to L^\infty $ の超収縮性は、スケーリングに依存せず確立可能か？これにより、非同次係数への一般化が可能となるか？

主な発見

• ヒートカーネルは、すべての $ t > 0 $、$ x, y \in \mathbb{R}^d $、$ y \neq 0 $ に対して、鋭い両側推定 $ e^{-t\Lambda}(x,y) \approx e^{-t(-\Delta)^{\alpha/2}}(x,y) \cdot (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ を満たす。ここで $ \beta \in (\alpha, d) $ である。
• 指数 $ \beta $ は方程式 $ \frac{2^{\alpha}}{\beta - \alpha} \frac{\Gamma(\frac{\beta}{2}) \Gamma(\frac{d}{2} - \frac{\beta - \alpha}{2})}{\Gamma(\frac{d}{2} - \frac{\beta}{2}) \Gamma(\frac{\beta - \alpha}{2})} = \kappa $ の $ (\alpha, d) $ 内の唯一の解であり、$ \kappa $ は摂動強度パラメータである。
• 重み関数 $ \varphi_t(y) \approx (t^{-1/\alpha}|y| \wedge 1)^{-d+\beta} $ は、形式的随伴作用素 $ \Lambda^* = (-\Delta)^{\alpha/2} - \nabla \cdot b $ に対してリャプノフ関数であり、$ \Lambda^* |x|^{-d+\beta} = 0 $ を満たす。
• 半群 $ e^{-t\Lambda} $ は $ L^1_{\varphi_t} \to L^\infty $ 超収縮的であり、推定 $ e^{-t\Lambda}(x,y) \leq C t^{-d/\alpha} \varphi_t(y) $ が成り立つ。これは「ナッシュ初期推定」としての基盤をなす。
• $ 0 < t \leq s $ に対して $ \| \varphi_s e^{-t\Lambda} \varphi_s^{-1} f \|_1 \leq e^{c t/s} \|f\|_1 $ という $ (L^1, L^1) $ 評価は、上界および下界の両方の証明に不可欠であり、共役化とポテンシャル推定を用いて確立される。
• この手法はスケーリングに依存しないため、非同次または非回転対称な係数への応用が可能であり、局所的場合（$ \alpha = 2 $）の既知の結果を非局所的かつ非対称な設定に拡張する。