[論文レビュー] Rellich inequalities with weights

Paolo Caldiroli, Roberta Musina|arXiv (Cornell University)|Mar 31, 2011

Nonlinear Partial Differential Equations参考文献 2被引用数 4

ひとこと要約

本稿は、$n \geq 2$ の $\mathbb{R}^n$ 内の錐型領域において、原点付近で消える関数（ナビエ型）または compact 支持を持つ関数（ディリクレ型）に対する重み付きリーマンの不等式における最適定数を確立する。最適定数の明示的公式を導出し、鋭い対数的剰余項を伴う改良された不等式を示し、$-\gamma_{n,\alpha}$ が球面上のラプラス＝ベルトラミ作用素の固有値と一致するときの共鳴現象を明らかにする。

ABSTRACT

Let $Ω$ be a cone in $\mathbb{R}^{n}$ with $n\ge 2$. For every fixed $α\in\mathbb{R}$ we find the best constant in the Rellich inequality $\int_Ω|x|^α|Δu|^{2}dx\ge C\int_Ω|x|^{α-4}|u|^{2}dx$ for $u\in C^{2}_{c}(\barΩ\setminus\{0\})$. We also estimate the best constant for the same inequality on $C^{2}_{c}(Ω)$. Moreover we show improved Rellich inequalities with remainder terms involving logarithmic weights on cone-like domains.

研究の動機と目的

• 錐型領域上での形式 $\int_\Omega |x|^\alpha |\Delta u|^2 \,dx \geq C \int_\Omega |x|^{\alpha-4} |u|^2 \,dx$ の重み付きリーマン不等式における最良定数を特定すること。
• 関数 $u$ が $C^2_c(\overline{\Omega} \setminus \{0\})$ であるナビエ型と $u \in C^2_c(\Omega)$ であるディリクレ型を別々に分析し、レイリー商の下界を同定すること。
• 有界および外部の錐型領域における、対数的重みを含む剰余項を伴う改良されたリーマン不等式を導出し、最良定数を保証すること。
• スペクトル的共鳴による不等式の成立不成立の特徴付け：不等式は $-\gamma_{n,\alpha}$ が $\mathbb{S}^{n-1}$ 上の $-\Delta_\sigma$ の固有値である場合にのみ成立しない。
• すべての $\alpha \in \mathbb{R}$ およびすべての次元 $n \geq 2$ に対して、不等式の有効性と最良性の完全な分類を提供すること。

提案手法

• 同次的錐 $\Omega = \mathcal{C}_\Sigma = \{ r\sigma \mid r > 0, \sigma \in \Sigma \}$ への問題の還元のためのスケーリング不変性の利用、ここで $\Sigma \subset \mathbb{S}^{n-1}$。
• 球面調和関数による $u$ の径方向および角方向への分解により、$r = |x|$ に関する1変数常微分方程式への還元。
• ナビエ型における最良定数 $\mu_N(\Omega;\alpha)$ の導出は、$k \in \mathbb{N} \cup \{0\}$ における最小化により行われ、$\mu_{n,\alpha} = \min_k |\gamma_{n,\alpha} + k(n-2+k)|^2$ となる。ここで $\gamma_{n,\alpha} = \left(\frac{n-2}{2}\right)^2 - \left(\frac{\alpha-2}{2}\right)^2$。
• テスト関数 $u(x) = |x|^{(4-n-\alpha)/2} v(-\log|x|) \varphi(\sigma)$ の構成、ここで $\varphi$ は $-\Delta_\sigma$ の固有関数で固有値 $\lambda_\Sigma$ を持つ。これにより、剰余項の鋭さの分析が可能になる。
• スケーリングの応用（$t \to 0$ および $t \to \infty$）により、形式 $A \int |x|^{\alpha-4} |\log|x||^{-2} |u|^2 + B \int |x|^{\alpha-4} |\log|x||^{-4} |u|^2$ の剰余項における定数 $A$ および $B$ の上界を導出する。
• 背理法による鋭さの証明：より大きな定数を仮定すると、半直線 $\mathbb{R}_+$ 上での既知の最良不等式に反する。

実験結果

リサーチクエスチョン

• RQ1 ナビエ型の関数 $u \in C^2_c(\overline{\Omega} \setminus \{0\})$ に対して、錐 $\Omega = \mathcal{C}_\Sigma$ 上での重み付きリーマン不等式における最良定数 $\mu_N(\Omega;\alpha)$ は何か？
• RQ2 ディリクレ型における最良定数 $\mu_D(\Omega;\alpha)$ は $\mu_N(\Omega;\alpha)$ とどのように比較できるか？また、その下界は何か？
• RQ3 重み付きリーマン不等式が失敗する条件は何か？これはラプラス＝ベルトラミ作用素のスペクトルとどのように関係するか？
• RQ4 有界または外部の錐型領域における、対数的剰余項を伴う改良されたリーマン不等式の最良定数は何か？
• RQ5 スケーリングおよび変分的技法を用いて、対数的剰余項の鋭さを厳密に証明できるか？

主な発見

• ナビエ型における $\Omega = \mathcal{C}_\Sigma$ 上の最良定数は $\mu_N(\mathcal{C}_\Sigma;\alpha) = \min_{k \in \mathbb{N} \cup \{0\}} |\gamma_{n,\alpha} + k(n-2+k)|^2$ であり、ここで $\gamma_{n,\alpha} = \left(\frac{n-2}{2}\right)^2 - \left(\frac{\alpha-2}{2}\right)^2$。
• 不等式は $-\gamma_{n,\alpha}$ が $\mathbb{S}^{n-1}$ 上の $-\Delta_\sigma$ の固有値である場合にのみ失敗し、これにより共鳴機構が明らかになる。
• $n=2$ の場合、$\mathbb{B}^2 \setminus \{0\}$ や $\mathbb{R}^2 \setminus \overline{\mathbb{B}^2}$ 上のナビエ型における最良定数は $\mu_{2,\alpha} = \frac{1}{2}$ であり、鋭い剰余項は $\frac{1}{2} \int |x|^{-4} |\log|x||^{-2} |u|^2$。
• $n \geq 3$ の場合、$\mathbb{B}^n \setminus \{0\}$ や $\mathbb{R}^n \setminus \overline{\mathbb{B}^n}$ 上のナビエ型における鋭い剰余項は $\frac{n^2 - 4n + 8}{8} \int |x|^{-4} |\log|x||^{-2} |u|^2$。
• ディリクル型では、追加の項 $\frac{9}{16} \int |x|^{-4} |\log|x||^{-4} |u|^2$ が剰余項に含まれ、スケーリング極限による分析によりこれが最良であることが示された。
• 剰余項における定数 $A = \frac{\overline{\gamma}_{n,\alpha} + \lambda_\Sigma}{2}$ および $B = \left(\frac{3}{4}\right)^2 = \frac{9}{16}$ は、スケーリング関数へのテストおよび $t \to 0$ および $t \to \infty$ の極限をとることで鋭さが証明された。