[論文レビュー] Mass and Extremals Associated with the Hardy-Schrödinger Operator on Hyperbolic Space

Hardy Chan, Nassif Ghoussoub+3 more|arXiv (Cornell University)|Oct 3, 2017

Geometric Analysis and Curvature Flows参考文献 1被引用数 3

ひとこと要約

本稿は、$ n \geq 3 $ における双曲空間のポアンカレ球モデル $ \mathbb{B}^n $ 上のハードイ–シュレーディンガー作用素 $ L_{ {ilde{ }gamma}} = -\Delta_{\mathbb{B}^n} - \gamma V_2 $ を研究する。ここで $ V_2 \sim r^{-2} $ は原点近傍で成り立つ。臨界方程式 $ L_{\gamma}u = V_{2^*(s)} u^{2^*(s)-1} $ の基底状態解の存在を、双曲的スケーリング変換を用いて確立し、次元 3 および 4 における解の存在を決定する「双曲的質量」の概念を導入する。$ \gamma $ および $ \lambda $ に対して明示的な強制性および正定性条件が提示される。

ABSTRACT

We consider the Hardy-Schrödinger operator $ -Δ_{\mathbb{B}^n}-γ{V_2}$ on the Poincaré ball model of the Hyperbolic space ${\mathbb{B}^n}$ ($n \geq 3$). Here $V_2$ is a well chosen radially symmetric potential, which behaves like the Hardy potential around its singularity at $0$, i.e., $V_2(r)\sim \frac{1}{r^2}$. Just like in the Euclidean setting, the operator $ -Δ_{\mathbb{B}^n}-γ{V_2}$ is positive definite whenever $γ

研究の動機と目的

• 双曲空間のポアンカレ球モデル $ \mathbb{B}^n $（$ n \geq 3 $）上でのハードイ–シュレーディンガー作用素 $ L_{\gamma} = -\Delta_{\mathbb{B}^n} - \gamma V_2 $ のスペクトル的および変分的性質を解析すること。
• 原点を含む領域 $ \Omega \subset \mathbb{B}^n $ における臨界方程式 $ L_{\gamma}u = V_{2^*(s)} u^{2^*(s)-1} $ の基底状態解の存在を確立すること。
• 標準的な強制性が失敗する次元 $ n = 3 $ および $ n = 4 $ において、解の存在の必要十分条件としての「双曲的質量」の概念を導入し、その分析を行うこと。
• 双曲的ラプラシアンの基本解を用いて、古典的なユークリッド的スケーリング不変性を双曲的設定に拡張し、明示的な解の構成およびエネルギー推定を可能にする。

提案手法

• 著者らは、$ G(r) = \int_r^1 f(t) dt $、$ f(r) = (1 - r^2)^{n-2} / r^{n-1} $ とおくとき、$ u_\lambda(r) = \lambda^{-1/2} u(G^{-1}(\lambda G(r))) $ で定義される双曲的スケーリング変換を導入する。この変換は、径数関数に対して $ H^1 $-ノルムおよび重み付き $ L^p $-ノルムを保存する。
• 変数変換 $ v = \varphi u $（$ \varphi $ は共形因子）を用いて、双曲的作用素 $ L_{\gamma} $ を対応するユークリッド的作用素 $ L_{\gamma,h} $ に関連づけ、強制性および正定性の性質を移す。
• 臨界方程式を、$ \mathbb{R}^n $ 上で $ -\Delta v - (\gamma |x|^{-2} + h_{\gamma,\lambda}(x))v = b(x) |x|^{-s} |v|^{2^*(s)-2} v $ の形に変換する。ここで $ b(x) $ は原点近傍で滑らかで正であるため、既知の存在定理の適用が可能になる。
• 原点近傍におけるポテンシャル $ h_{\gamma,\lambda}(x) $ の振る舞いを分析する。$ n \geq 5 $ の場合、定数に比例する。$ n = 3 $ の場合、$ 4\gamma / r $ に比例する。$ n = 4 $ の場合、$ 8\gamma \log(1/|x|) $ に比例する。この振る舞いが強制性の閾値を決定する。
• エネルギー関数の正規化された極限として「双曲的質量」$ m^{H}_{\gamma,\lambda}(\Omega) $ を導入し、$ n = 3,4 $ における正の解の存在にとって必要十分であることを示す。
• 本稿では、$ L_{\gamma} $ が強制的であることと、対応するユークリッド的作用素 $ L_{\gamma,h} $ が強制的であることとが同値であることを証明する。共形不変性を通じて、双曲的およびユークリッド的解析を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ポアンカレ球モデル $ \mathbb{B}^n $ 上のハードイ–シュレーディンガー作用素 $ L_{\gamma} = -\Delta_{\mathbb{B}^n} - \gamma V_2 $ が、原点を含む領域 $ \Omega \subset \mathbb{B}^n $ において臨界方程式 $ L_{\gamma}u = V_{2^*(s)} u^{2^*(s)-1} $ の基底状態解をもつための条件は何か？
• RQ2 双曲的スケーリング変換 $ u_\lambda(r) = \lambda^{-1/2} u(G^{-1}(\lambda G(r))) $ は、エネルギーおよび重み付きノルムをどのように保存するのか。また、この変換が明示的な解の構成を可能にする仕組みは何か？
• RQ3 標準的な強制性が失敗する次元 $ n = 3 $ および $ n = 4 $ において、「双曲的質量」$ m^{H}_{\gamma,\lambda}(\Omega) $ が正の解の存在を決定する役割を果たす仕組みは何か？
• RQ4 どの $ \gamma $ および $ \lambda $ の値に対して、作用素 $ L_{\gamma} - \lambda $ が $ \mathbb{B}^n $ 上で強制的となるのか。また、これと対応するユークリッド的作用素の強制性とはどのように関係するか？
• RQ5 ポテンシャル $ h_{\gamma,\lambda}(x) $ の原点近傍における振る舞い（$ n=3 $ では $ \sim 4\gamma / r $、$ n=4 $ では $ \sim 8\gamma \log(1/|x|) $、$ n \geq 5 $ では定数）が、解の存在性および正則性に与える影響は何か？

主な発見

• $ n \geq 5 $ の場合、任意の原点を含む領域 $ \Omega \subset \mathbb{B}^n $ において、臨界方程式 $ L_{\gamma}u = V_{2^*(s)} u^{2^*(s)-1} $ は、$ 0 < \gamma \leq \frac{n(n-4)}{4} $ および $ \lambda > \frac{n-2}{n-4}\left(\frac{n(n-4)}{4} - \gamma\right) $ を満たす限り、基底状態解をもつ。この条件は $ L_{\gamma} - \lambda $ の強制性を保証する。
• 次元 $ n = 3 $ においては、正の解が存在するための必要十分条件は、双曲的質量 $ m^{H}_{\gamma,\lambda}(\Omega) $ が正であることである。この場合 $ \gamma > 0 $ であり、$ h_{\gamma,\lambda}(x) \sim 4\gamma / r $ が原点近傍で成り立つ。
• 次元 $ n = 4 $ においては、正の解が存在するための必要十分条件は、双曲的質量 $ m^{H}_{\gamma,\lambda}(\Omega) $ が正であることである。この場合 $ \gamma > 0 $ であり、$ h_{\gamma,\lambda}(x) \sim 8\gamma \log(1/|x|) $ が原点近傍で成り立つ。ただし、標準的な状況では $ \gamma < 0 $ が必要となるため、質量条件は本質的である。
• 双曲的質量 $ m^{H}_{\gamma,\lambda}(\Omega) $ は、対応するユークリッド的作用素の質量の正の倍数であるため、符号は同一であり、双曲的スケーリング変換に対して不変である。
• $ L_{\gamma} $ が正定値であるための必要十分条件は、$ \gamma < \frac{(n-2)^2}{4} $ であることである。これは $ \mathbb{B}^n $ 上での鋭いハードイ定数に一致し、ユークリッドの場合と類似している。
• 変換 $ u_\lambda $ におけるエネルギーおよび重み付きノルムの不変性により、臨界方程式の解がこの変換のもとで保存されることが保証され、共形変換を介したユークリッド設定への変換により、明示的な extremal 解の構成が可能になる。