[論文レビュー] On higher order extensions for the fractional Laplacian

Ray Yang|arXiv (Cornell University)|Feb 18, 2013

Advanced Mathematical Modeling in Engineering参考文献 5被引用数 66

ひとこと要約

本稿は、上半空間における高階楕円型方程式の解を用いて、任意の正の非整数順位の分数階ラプラシアンへCaffarelli-Silvestre拡張法を一般化する。境界関数の$H^s$ノルムと拡張関数の重み付きディリクレエネルギーの間のエネルギー等価性を確立し、非整数順位の分数階調和関数に対する強い一意連続性の新たな証明を可能にする。

ABSTRACT

The technique of Caffarelli and Silvestre, characterizing the fractional Laplacian as the Dirichlet-to-Neumann map for a function U satisfying an elliptic equation in the upper half space with one extra spatial dimension, is shown to hold for general positive, non-integer orders of the fractional Laplace operator, by showing an equivalence between the H^s norm on the boundary and a suitable higher-order seminorm of U.

研究の動機と目的

• 順位$\gamma < 1$を超えて、任意の正の非整数順位$\gamma$へのCaffarelli-Silvestre法の拡張を図ること。
• 関数$f$の$\mathbb{R}^n$上での$H^\gamma$半ノルムと、$\mathbb{R}^{n+1}_+$における高階拡張関数の重み付きディリクレエネルギーとの間のエネルギー等価性を確立すること。
• 拡張法とAlmgren周波数公式の変種を用いて、非整数順位の分数階調和関数に対する強い一意連続性の新たな証明を提供すること。
• 拡張の散乱理論的解釈を高階方程式および非整数$\gamma$へ一般化すること。
• 順位$\gamma$の分数ラプラシアンを、拡張関数$U$の高階ノイマン導分として特徴づけること。

提案手法

• 上半空間$\mathbb{R}^{n+1}_+$で$\Delta^m U = 0$を満たす拡張$U$を構成し、$m = \lfloor \gamma \rfloor + 1$とする。境界条件は$U|_{y=0} = f$、$\partial_y^k U|_{y=0} = 0$（$k = 1, \dots, m-1$）である。
• 変数$x$におけるフーリエ解析を用いて、PDEを$y$に関するODEに還元し、$\hat{U}(\xi, y) = \hat{f}(\xi) \phi(|\xi|y)$の形のプロファイルを解く。ここで$\phi$は二次的汎関数を最小化する。
• エネルギー等価性を確立：$\int_{\mathbb{R}^{n+1}_+} |\Delta^m U|^2 \, dxdy \sim \int_{\mathbb{R}^n} |\xi|^{2\gamma} |\hat{f}(\xi)|^2 \, d\xi$。これにより$H^\gamma$ノルムの等価性が証明される。
• 拡張関数$U$に、重み付き$L^2$ノルム（測度$y^b \, dxdy$、$b = 1 - 2\gamma$）を用いたAlmgren周波数公式の変種を適用する。
• 周波数関数$N(r) = r D(r)/H(r)$の単調性公式を導出。ここで$D(r)$は重み付きディリクレ型エネルギー、$H(r)$は重み付き境界$L^2$ノルムである。
• 周波数関数$N(r)$の対数微分の有界性（$\log N(r)' \geq -C$）を用いて、強い一意連続性を証明：$f$が点で無限階に消えるならば、$f \equiv 0$である。

実験結果

リサーチクエスチョン

• RQ1 Caffarelli-Silvestre拡張法は、任意の正の非整数順位$\gamma$の分数ラプラシアンへ一般化可能か？
• RQ2 $\gamma > 1$に対して、上半空間における高階楕円型PDEのノイマンデータが$(-\Delta)^\gamma f$を回復できるか？
• RQ3 非整数$\gamma$に対して、$H^\gamma$ノルムと重み付きディリクレエネルギーとの間のエネルギー等価性は確立可能か？
• RQ4 Almgren周波数公式の技法は、高階拡張へ拡張可能で、強い一意連続性を証明できるか？
• RQ5 方程式$\Delta U + \frac{a}{y} U_y = 0$（$a = 1 - 2\gamma$）は、高階拡張フレームワークにおいてどのような役割を果たすか？

主な発見

• $1 < \gamma < 2$に対して、分数ラプラシアン$(-\Delta)^\gamma f$は高階ノイマン導分として表される：$(-\Delta)^\gamma f(x) = C_{n,\gamma} \frac{\partial}{\partial y} \Delta U(x,0)$。ここで$U$は$\mathbb{R}^{n+1}_+$で$\Delta^2 U = 0$を満たし、$U(x,0) = f(x)$、$U_y(x,0) = 0$を満たす。
• $\gamma = \frac{3}{2}$に対してエネルギー恒等式$\int_{\mathbb{R}^{n+1}_+} |\Delta U|^2 \, dxdy = C_{n,\gamma} \int_{\mathbb{R}^n} |\xi|^{3} |\hat{f}(\xi)|^2 \, d\xi$が成り立ち、$H^{3/2}$半ノルムと重み付きディリクレエネルギーの等価性が証明される。
• 拡張法はすべての正の非整数$\gamma$へ一般化可能であり、$U$は$\mathbb{R}^{n+1}_+$で$\Delta^m U = 0$（$m = \lfloor \gamma \rfloor + 1$）を満たし、$y=0$で法線微分が$0$になるまで消える。
• 周波数関数$N(r) = r D(r)/H(r)$の対数微分が有界である（$\log N(r)' \geq -C$）ことが示され、単調性が導かれ、強い一意連続性に至る。
• 関数$f \in H^\gamma(\mathbb{R}^n)$が領域内で$(-\Delta)^\gamma f = 0$を満たし、点で無限階に消えるならば、$f \equiv 0$であることが確認される。
• 散乱方程式$\Delta U + \frac{a}{y} U_y = 0$（$a = 1 - 2\gamma$）は、$\gamma \geq n/2$であっても、すべての非整数$\gamma$に対して拡張関数$U$で成り立つ。