[論文レビュー] Hardy's inequality and curvature

Alexander Balinsky, W. D. Evans+1 more|arXiv (Cornell University)|Jan 12, 2011

Geometric Analysis and Curvature Flows参考文献 16被引用数 4

ひとこと要約

本稿は、古典的な逆二乗重みに曲率依存補正項を組み込んだ、ℝⁿ 内の領域における改良されたハーディー不等式を確立する。境界の主曲率と関連づけた最適定数の特定を可能にし、C²境界を持つ凸領域に対して、曲率と境界からの距離を含む明示的な点ごとの改善形を得る。さらに、共形均質化を用いて、二重に接続された平面領域へと結果を拡張し、円形領域やその他の非凸領域における既知の不等式を回復・解釈する。

ABSTRACT

A Hardy inequality of the form \[\int_{ ildeΩ} | abla f({\bf{x}})|^p d {\bf{x}} \ge (\frac{p-1}{p})^p \int_{ ildeΩ} \{1 + a(δ, \partial ildeΩ)(\x)\}\frac{|f({\bf{x}})|^p}{δ({\bf{x}})^p} d{\bf{x}}, \] for all $f \in C_0^{\infty}({ ildeΩ})$, is considered for $p\in (1,\infty)$, where ${ ildeΩ}$ can be either $Ω$ or $\mathbb{R}^n \setminus Ω$ with $Ω$ a domain in $\mathbb{R}^n$, $n \ge 2$, and $δ({\bf{x}})$ is the distance from ${\bf{x}} \in { ildeΩ} $ to the boundary $ \partial { ildeΩ}.$ The main emphasis is on determining the dependance of $a(δ, \partial { ildeΩ})$ on the geometric properties of $\partial { ildeΩ}.$ A Hardy inequality is also established for any doubly connected domain $Ω$ in $\mathbb{R}^2$ in terms of a uniformisation of $Ω,$ that is, any conformal univalent map of $Ω$ onto an annulus.

研究の動機と目的

• 古典的なハーディー不等式を、境界の曲率と形状からの幾何的情報を組み込むことで拡張すること。
• 凸領域および非凸領域における主曲率と距離関数 δ(x) に依存する補正項 a(δ, ∂Ω) の明示的依存関係を特定すること。
• 共形均質化を用いて、ℝ² 内の二重に接続された領域に対してハーディー不等式を確立すること。
• 既知の不等式（例：−1/|y|²）に現れる余分な逆二乗項の起源を、境界曲率に起因するものとして説明すること。
• 非凸領域および多重に接続された領域における既存のハーディー不等式の結果を統一的かつ一般化すること。

提案手法

• 境界の主曲率を用いて、距離関数 δ(x) のラプラシアンを導出する。微分幾何学的手法とリッジ構造を用いる。
• 非凸性および距離関数の特異性に対処するため、領域のスケルトンとリッジを導入する。
• 標準的な円形領域 Ωρ,R への共形一対一写像 F: Ω → Ωρ,R を用いて、不等式を標準的な円環領域から一般の二重に接続された領域へと変換する。
• スケーリング、回転、反転に対して不変である幾何学的性質に依存する不変量 𝔉(z) を定義する。これにより、写像間での安定性が保証される。
• 共形写像における勾配および面積要素の変換則を用いて、不等式を円環領域から元の領域へと移行する。
• u ∈ H₀¹(Ω) に対して、∫|∇u|² dx ≥ ½ ∫ 𝔉(x) |u|² dx という重要な不等式を確立する。ここで 𝔉 は |F′(z)|² および内側・外側境界からの距離から構成される。

実験結果

リサーチクエスチョン

• RQ1 凸領域に対して、境界 ∂Ω の曲率に依存するハーディー不等式の最適定数はどのように変化するか？
• RQ2 ハーディー不等式における補正項 a(δ, ∂Ω) は、主曲率と距離関数 δ(x) で明示的に表現可能か？
• RQ3 非凸領域または二重に接続された領域におけるハーディー不等式の鋭い定数を決定づける幾何的不変量は何か？
• RQ4 特定のハーディー不等式に現れる余分な項（例：−1/|y|²）の起源は何か？幾何的に説明可能か？
• RQ5 共形均質化を用いて、ℝ² 内の一般の二重に接続された領域に対して、どの程度までハーディー不等式を導出可能か？

主な発見

• C²境界を持つ ℝ² 内の凸領域 Ω に対して、f ∈ C₀∞(Ω) に対して ∫|∇f|² dx ≥ ½ ∫ {1 + |2κδ/(1+κδ)|} |f|²/δ² dx が成り立つ。ここで κ は境界の曲率である。
• 円板 BR に対して、この不等式は既知の結果 ∫|∇f|² dy ≥ ½ ∫ {−1/|y|² + 1/(|y|−ρ)²} |f|² dy を回復する。このとき −1/|y|² 項は曲率に起因する。
• |F′(z)|² および境界からの距離によって定義される不変量 𝔉(z) は、共形写像 F の選択に依存せず、領域の幾何構造のみに依存する。
• 任意の ℝ² 内の二重に接続された領域 Ω に対して、∫|∇u|² dx ≥ ½ ∫ 𝔉(x) |u|² dx が成り立つ。ここで 𝔉(x) は均質化写像 F から構成される。
• この手法により、円環領域や {z : ρ² < |(z−1)(z+1)| < R²} などの領域における既知の不等式が回復・解釈可能であり、平方根写像を均質化として用いることで説明可能である。
• 補正項 a(δ, ∂Ω) は主曲率と δ(x) に明示的に依存し、古典的ハーディー定数 (p−1/p)ᵖ の幾何的修正を提供する。