[論文レビュー] Hardy inequalities with boundary singularities

Cristian Cazacu|arXiv (Cornell University)|Sep 5, 2010

Nonlinear Partial Differential Equations参考文献 24被引用数 7

ひとこと要約

本稿は、滑らかでかつ錐状の領域における境界局在型逆二乗ポテンシャルを伴う改善されたハーディー＝ポincare不等式を確立する。次元 $N \geq 3$ の錐領域における最適ハーディー定数が、錐の開口角 $\gamma$ が 0 に近づくにつれて発散することを証明し、球面調和関数および境界特異点付近の幾何学的解析を用いて、最適定数の明示的な漸近的挙動を導出する。

ABSTRACT

In this work we prove some Hardy-Poincaré inequalities with quadratic singular potentials localized on the boundary of a smooth domain. Then, we consider conical domains with vertex on the singularity and we show upper and lower bounds for the corresponding optimal constants in the Hardy inequality. In particular, we prove the asymptotic behavior of the optimal constant when the slot of the cone tends to zero.

研究の動機と目的

• 滑らかな領域の境界上に局在する二次的特異ポテンシャルを伴う改善されたハーディー＝ポincare不等式を確立すること。
• 次元 $N \geq 3$ の錐領域における最適ハーディー定数 $\mu(\Omega)$ を特定すること、特に頂点が特異点にある場合に注目すること。
• 錐の開口角 $\gamma$ が 0 に近づく際の最適定数の漸近的挙動を分析すること。
• 事前に発表された境界局在型ハーディー不等式に関する結果の厳密な証明と拡張を提供すること。
• 最適定数が曲率や錐の角広がりといった幾何的特徴にどのように依存するかを検討すること。

提案手法

• 球面調和関数の分解を用いてハーディー不等式を精緻化し、$\int \frac{v^2}{|x|^2 \log^2(1/|x|)}\,dx$ のオーダーの最適な剰余項を導出すること。
• 特異点付近の境界幾何に適合した座標変換を適用し、低次の剰余項を導出すること。
• ベッセル関数と固有値推定を用いて、錐領域におけるラプラシアンのスペクトル的性質を分析すること。
• 凸錐領域における $\mu(\Omega)$ の鋭い下界を、不等式 $\mu(\Omega) \geq \frac{(N-2)^2}{4} + \frac{(N-1)\pi^2}{4\gamma^2}$ を用いて導出すること。
• 比較原理と幾何的推定を用いて、凹錐領域および一般領域における $\mu(\Omega)$ を評価すること。
• スケーリング不変性とスケーリングの議論を活用し、一般領域に関する結果を半空間 $\mathbb{R}_+^N$ に帰着させること。

実験結果

リサーチクエスチョン

• RQ1 滑らかな領域の境界上に特異点がある場合のハーディー不等式における最適定数 $\mu(\Omega)$ は何か？
• RQ2 錐領域の開口角 $\gamma$ が 0 に近づく際、最適定数はどのように漸近的に振る舞うか？
• RQ3 次元 $N \geq 3$ の錐領域において、$\mu(\Omega)$ について鋭い下界と上界を確立できるか？
• RQ4 ラプラシアンの第一固有値とベッセル関数が最適定数の特徴づけに果たす役割は何か？
• RQ5 どの幾何的条件下で、領域 $\Omega$ における最適定数が $N^2/4$ に等しくなるか？この値は達成可能か？

主な発見

• 半空間 $\mathbb{R}_+^N$ に対して、最適ハーディー定数は $\mu(\mathbb{R}_+^N) = \frac{N^2}{4}$ であり、不等式の鋭さが確認される。
• 開口角 $\gamma$ の錐領域では、最適定数が $\mu(\mathcal{C}_\gamma) \geq \frac{(N-2)^2}{4} + \frac{(N-1)\pi^2}{4\gamma^2}$ を満たし、$\gamma \to 0^+$ の際に発散することが示される。
• 任意の開口角 $\gamma \in (0, \pi)$ の錐に対して、下界 $\mu(\Omega) \geq \left(\frac{\sin \gamma}{\gamma}\right)^{N-2} \frac{B_1^2}{\gamma^2}$ が与えられる。ここで $B_1$ はベッセル関数 $J_{(N-3)/2}$ の第一正の零点である。
• 球面調和関数を用いた改善されたハーディー不等式における最適な剰余項は、$\int \frac{v^2}{|x|^2 \log^2(1/|x|)}\,dx$ のオーダーであり、非分解バージョンの $L^2$-剰余項よりも鋭い。
• 滑らかな領域では、最適定数は $\frac{(N-2)^2}{4}$ を超え、原点付近で双曲的幾何を持つ領域では、$\varepsilon \to 0$ の際に $C(\Omega, \varepsilon)$ が発散する。
• 本稿では、不等式における $L^2$-剰余項は取り除けないことが証明されており、命題 2.1 で示されている。これにより、導出された不等式の鋭さが裏付けられる。