[論文レビュー] Some constructions for the fractional Laplacian on noncompact manifolds

Valeria Banica, María del Mar González+1 more|arXiv (Cornell University)|Dec 13, 2012

Nonlinear Partial Differential Equations参考文献 52被引用数 9

ひとこと要約

この論文は、非コンパクトなリーマン多様体上で、熱核の境界と無限遠における幾何的制御を用いて、Caffarelli-Silvestreの拡張問題を用いて、分数ラプラシアンの厳密な定義を確立する。双曲空間およびより広い非コンパクト多様体のクラスにおいて、拡張問題の解の存在と一意性を証明し、重み付き法線微分を介して分数ラプラシアンを回復可能にする。また、双曲空間における明示的なカーネル式とトレースソボレフ不等式が導出される。

ABSTRACT

We give a definition of the fractional Laplacian on some noncompact manifolds, through an extension problem introduced by Caffarelli-Silvestre. While this definition in the compact case is straightforward, in the noncompact setting one needs to have a precise control of the behavior of the metric at infinity and geometry plays a crucial role. First we give explicit calculations in the hyperbolic space, including a formula for the kernel and a trace Sobolev inequality. Then we consider more general noncompact manifolds, where the problem reduces to obtain suitable upper bounds for the heat kernel.

研究の動機と目的

• 標準的な関数解析的または特異積分法の手法が不成立となる非コンパクトなリーマン多様体上での分数ラプラシアン $(-\Delta_M)^\gamma$ の定義。
• 無限遠における計量の振る舞いと幾何学的性質を制御することで、Caffarelli-Silvestreの拡張手法を非コンパクトな設定に拡張すること。
• 拡張問題が適切に定義されるための十分条件（例：対称空間、幾何的に有限な双曲空間、回転対称、端を持つ多様体など）を多様体に対して確立すること。
• 双曲空間における分数ラプラシアンのカーネルの明示的表現を導出し、鋭いトレースソボレフ不等式を証明すること。
• コンパクト多様体に限らない拡張法の一般化により、半線形問題の研究や幾何解析への応用を可能とすること。

提案手法

• Caffarelli-Silvestreの拡張問題を用いる：$M \times \mathbb{R}_+$ 上で $\text{div}_g(y^a \nabla_g u) = 0$ を解き、$u(x,0) = f(x)$ を満たす。ここで $a = 1 - 2\gamma$ である。
• 分数ラプラシアンを $(-\Delta_M)^\gamma f = -d_\gamma \lim_{y \to 0} y^a \partial_y u$ により回復し、$d_\gamma = 2^{2\gamma-1} \Gamma(\gamma)/\Gamma(1-\gamma)$ である。
• 双曲空間では、その対称空間構造を活かし、フーリエ解析と調和解析の道具を用いてポアソンカーネルを明示的に計算する。
• 分数ラプラシアン $(-\Delta_{\mathbb{H}^n})^\gamma$ を、適切に振る舞うカーネルとの畳み込みとしての特異積分表現を得ることで、点ごとの推定が可能になる。
• 基本多様体上の熱核の境界を用いて、特に幾何的に制御された非コンパクト設定における拡張解の振る舞いを制御する。
• 熱核推定を用いて、適切な多様体クラス（例：対称空間、幾何的に有限な双曲空間、回転対称、端を持つ多様体）を同定し、拡張問題が適切に定義されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 計量が無限遠で成長または特異化する非コンパクト多様体において、Caffarelli-Silvestreの拡張手法を一般化できるか？
• RQ2 非コンパクト多様体に課される幾何学的・解析的条件は何か？ これにより、分数ラプラシアンの拡張問題の解の存在と一意性が保証される。
• RQ3 双曲空間における分数ラプラシアンの明示的式やカーネル表現は存在するか？
• RQ4 双曲空間のような非コンパクト設定において、鋭いトレースソボレフ不等式をどのように確立できるか？
• RQ5 複数の端を持つ多様体やワーパード積構造を持つ多様体に対しても拡張法を適用可能か？ これに必要な熱核推定は何か？

主な発見

• 計測条件が命題3.3に従う非コンパクト多様体（例：$\mathbb{H}^n$ を含む）において、任意の $f \in H^\gamma(M)$ に対して、$M \times \mathbb{R}_+$ 上の拡張問題 $\text{div}_g(y^a \nabla_g u) = 0$ かつ $u(x,0) = f(x)$ は一意解をもつ。
• 双曲空間 $\mathbb{H}^n$ において、分数ラプラシアン $(-\Delta_{\mathbb{H}^n})^\gamma$ はポアソンカーネルから導かれるカーネルとの畳み込みとしての特異積分作用素として明示的に表現される。
• 双曲空間に対して鋭いトレースソボレフ不等式が確立され、分数ラプラシアンを含む半線形問題を研究するための重要な道具が得られる。
• 端をもつ多様体で $c^{-1}r^{-2} \leq \gamma(x,r) \leq c r^{-2}$ および $|\partial_r \gamma| \leq c r^{-3}$ を満たす場合、熱核が境界を満たし、拡張問題が適切に定義可能となる。
• 複数の端を持つ多様体（例：$\mathcal{R}^n \# \mathcal{R}^m$）では、$p_t(x,x') \lesssim \left( \frac{1}{t^{m/2}|x|^{n-2}} + \frac{1}{t^{n/2}|x'|^{m-2}} \right) e^{-c d^2/t}$ の形の熱核推定が十分であり、拡張問題が適切に定義可能である。
• 適切な熱核推定が得られる限り、この手法はメトリックグラフやケーラー多様体といったより広い枠組みへも拡張可能である。