[論文レビュー] Fractional Laplacian on the torus

Luz Roncal, Pablo Raúl Stinga|arXiv (Cornell University)|Sep 27, 2012

Nonlinear Partial Differential Equations参考文献 18被引用数 11

ひとこと要約

本稿は、$n$次元トーラス $\mathbb{T}^n$ 上における分数階ラプラシアン $(-\Delta)^{\sigma/2}$ の一般化された拡張問題を確立し、$0 < \sigma < 2$ の範囲で Caffarelli-Silvestre 法をすべての $\sigma > 0$ および非整数階数にまで拡張する。内部および境界におけるハルナック不等式、ホルダー連続性、および半群法を用いた点付き積分微分公式を導出し、周期的領域における分数階ラプラシアンの包括的な解析的枠組みを提供する。

ABSTRACT

We study the fractional Laplacian $(-Δ)^{σ/2}$ on the $n$-dimensional torus $\mathbb{T}^n$, $n\geq1$. First, we present a general extension problem that describes extit{any} fractional power $L^γ$, $γ&gt;0$, where $L$ is a general nonnegative selfadjoint operator defined in an $L^2$-space. This generalizes to all $γ&gt;0$ and to a large class of operators the previous known results by Caffarelli and Silvestre. In particular it applies to the fractional Laplacian on the torus. The extension problem is used to prove interior and boundary Harnack's inequalities for $(-Δ)^{σ/2}$, when $0

研究の動機と目的

• 非負の自己共役作用素 $L^\gamma$ の分数階数 $\gamma > 0$ に対する統一的な拡張問題を構築し、$0 < \gamma < 1$ を超える Caffarelli-Silvestre 結果を一般化すること。
• $0 < \sigma < 2$ のとき、$\mathbb{T}^n$ 上の $(-\Delta)^{\sigma/2}$ に対して内部および境界におけるハルナック不等式を確立し、非負解の正則性を保証すること。
• 熱核およびフーリエ級数法を用いて、トーラス上における $(-\Delta)^{\sigma/2}$ の点付き積分微分表現を導出すること。
• 拡張法を用いて、$(-\Delta)^{\sigma/2}f = 0$ の解のホルダーおよびリプシッツ正則性推定を証明すること。

提案手法

• $\gamma > 0$, $\gamma \notin \mathbb{N}$ に対して、特異重み $\tau^{1-2\gamma}$ を持つ $\Omega \times (0,\infty)$ 上の重み付き PDE を用いて、$L^\gamma$ の一般化された拡張問題を定式化する。
• 解は半群表現を用いて構成される：$u(x,\tau) = \frac{\tau^{2\gamma}}{4^\gamma \Gamma(\gamma)} \int_0^\infty e^{-tL}f(x) e^{-\tau^2/(4t)} \frac{dt}{t^{1+\gamma}}$ であり、これにより分数階数作用素が熱半群と関連づけられる。
• 分数階数作用素は重み付き法線微分により回復される：$\lim_{\tau \to 0^+} \tau^{1-2(\gamma - [\gamma])} \partial_\tau (\tau^{-1} \partial_\tau)^{[\gamma]} u(x,\tau) = \mu_\gamma L^\gamma f(x)$。
• ハルナック不等式は、拡張空間における最大原理を用いた議論により導出される。
• 点付き公式 $(-\Delta)^{\sigma/2}f(x)$ は、拡張解の極限を解析し、熱核と三角関数を含む特異積分として作用素を表現することにより得られる。
• 正則性推定はハルナック不等式および拡張問題の構造から導かれ、ホルダー連続性およびジグムンド連続性が得られる。

実験結果

リサーチクエスチョン

• RQ1 Caffarelli-Silvestre 拡張法は、$0 < \gamma < 1$ を超えて、一般の非負自己共役作用素に対してすべての分数階数 $\gamma > 0$ に一般化可能か？
• RQ2 $0 < \sigma < 2$ のとき、トーラス $\mathbb{T}^n$ 上の分数階ラプラシアン $(-\Delta)^{\sigma/2}$ に対して内部および境界におけるハルナック不等式が成り立つか？
• RQ3 トーラス上における $(-\Delta)^{\sigma/2}f(x)$ の点付き積分微分表現は何か？また、$\sigma \to 2^\pm$ の極限で、古典的ラプラシアンとどのように関係するか？
• RQ4 $\mathbb{T}^n$ 上の $(-\Delta)^{\sigma/2}f = 0$ の解の正則性特性は、指数 $\sigma$ に依存するか？
• RQ5 半群法を用いて、周期的領域における $(-\Delta)^{\sigma/2}$ の鋭い推定（ホルダーおよびジグムンドノルムを含む）を導出可能か？

主な発見

• $\gamma > 0$, $\gamma \notin \mathbb{N}$ に対して、$L^\gamma f$ が上半空間における退化 PDE の解の重み付き法線微分として回復される、一般化された拡張問題が構築された。
• 内部ハルナック不等式が成り立つ：任意のコンパクト集合 $K \subset \mathcal{O} \subset \mathbb{T}^n$ に対して、$(-\Delta)^{\sigma/2}f = 0$ の非負解について $\sup_K f \leq C \inf_K f$ が成り立ち、$C$ は $n$, $\sigma$, $K$ のみに依存し、ホルダー連続性を示唆する。
• 境界ハルナック不等式が確立された：リーマン境界の部分集合にゼロとなる非負解について、境界に近いより小さい球内において、比 $f_1/f_2$ は上界および下界に有界であり、$f_1$, $f_2$ に一様に依存し、定数は幾何学的性質および $\sigma$ に依存する。
• $(-\Delta)^{\sigma/2}f(x)$ の点付き積分微分公式は、2階微分と核 $K^{\sigma/2}(z)$ を含む特異積分として導出され、$\sigma \to 2^-$ のとき $-\Delta f(x)$ に収束する。
• $f \in C^2(\mathbb{T}^n)$ のとき、$\lim_{\sigma \to 2^-} (-\Delta)^{\sigma/2}f(x) = -\Delta f(x)$ が厳密に証明され、古典的ラプラシアンと一貫していることが確認された。
• 本手法により、$\mathbb{T}^n$ 上の $(-\Delta)^{\sigma/2}f = 0$ の解に対して、鋭いホルダーおよびジグムンド正則性推定が得られ、古典的楕円型正則性理論が非局所設定に拡張された。