[論文レビュー] The sharp constant in the Hardy-Sobolev-Maz'ya inequality in the three dimensional upper half-space

Rafael D. Benguria, Rupert L. Frank+1 more|ArXiv.org|May 25, 2007

Nonlinear Partial Differential Equations参考文献 5被引用数 3

ひとこと要約

本稿では、3次元上半空間におけるハーディー＝ソボレフ＝マズヤの不等式における鋭鋭定数が、古典的ソボレフ定数 $ S_3 = 3(\pi/2)^{4/3} $ に等しいことを、双対性による議論を用いて示している。この議論により、問題は鋭鋭ハーディー＝リトルウッド＝ソボレフ不等式に結びつけられる。結果として、非ゼロ関数に対して不等式が常に厳密に成り立つことが示され、3次元においては長年の未解決問題が解決された。これは、$ n \geq 4 $ の場合とは異なり、これまでに未知かつ異なる値であった鋭鋭定数が、3次元で明示的に特定されたことを意味する。

ABSTRACT

It is shown that the sharp constant in the Hardy-Sobolev-Maz'ya inequality on the three dimensional upper half space is given by the Sobolev constant. This is achieved by a duality argument relating the problem to a Hardy-Littlewood-Sobolev type inequality whose sharp constant is determined as well.

研究の動機と目的

• 3次元上半空間 $ \mathbb{H}^3 $ におけるハーディー＝ソボレフ＝マズヤ不等式の鋭鋭定数を特定すること。この定数は、高次元においては進展が見られたが、3次元では未だ未知であった。
• 3次元におけるこの不等式の鋭鋭定数が、古典的ソボレフ定数と一致するかどうかを解明すること。
• 非ゼロ関数に対して不等式が常に厳密に成り立つこと、つまりこの場合において非自明な最小化子が存在しないことを確立すること。

提案手法

• 共形変換を介して、$ \mathbb{H}^3 $ 上のハーディー＝ソボレフ＝マズヤ不等式を単位球上のハーディー＝リトルウッド＝ソボレフ型不等式に双対的に関連付ける。
• 立体射影を用いて問題を双曲面 $ \mathbb{P}^3 $ に変換し、関数の形がメビウス変換に関して不変となるようにする。
• Liebの鋭鋭定数を、共形不変作用素 $ (-\Delta - \frac{1}{4y^2})^{-\alpha/2} $ の文脈で活用することで、得られた不等式における鋭鋭定数を特定する。
• 一般化超幾何型積分から導かれる核関数 $ F(A) $ の漸近的評価に依拠し、作用素ノルムを制御し、鋭鋭性を確立する。
• 変分問題に関連する最大値の存在を示すために、競合対称性の手法とFatouの補題に対する補正項を用いる。
• 重要な式は双対性の等式 $ |(f,g)|^2 \leq C \cdot (f, Q^{\alpha/2}f) \|g\|_p^2 $ であり、$ n=3 $、$ \alpha=2 $ の場合に鋭鋭定数が得られる。

実験結果

リサーチクエスチョン

• RQ1 3次元上半空間 $ \mathbb{H}^3 $ におけるハーディー＝ソボレフ＝マズヤ不等式の鋭鋭定数は何か？
• RQ2 この場合における鋭鋭定数は、古典的ソボレフ定数 $ S_3 $ と一致するか？
• RQ3 なぜ3次元では鋭鋭定数が達成されないのか、これは $ n \geq 4 $ の場合とは異なり、その理由は何か？
• RQ4 問題の共形不変性が鋭鋭定数の特定にどのように寄与するか？
• RQ5 ハーディー＝ソボレフ＝マズヤ不等式とハーディー＝リトルウッド＝ソボレフ不等式との間の双対的アプローチが、他の次元においても鋭鋭定数を導出できるか？

主な発見

• ハーディー＝ソボレフ＝マズヤ不等式の鋭鋭定数が、3次元上半空間 $ \mathbb{H}^3 $ で正確に古典的ソボレフ定数 $ S_3 = 3(\pi/2)^{4/3} $ に等しいことが示され、3次元における未解決問題が解決された。
• 非ゼロ関数に対して不等式が常に厳密に成り立つため、非自明な最小化子は存在しない。これは $ n \geq 4 $ の場合とは対照的であり、その場合には最適化子が存在する。
• 作用素 $ (-\Delta - \frac{1}{4y^2})^{-1} $ に対する関連するハーディー＝リトルウッド＝ソボレフ不等式の鋭鋭定数が特定され、$ 2^{-2} \pi^{-3/2} \frac{\Gamma(\frac{3-2}{2})}{\Gamma(1)} C(3,2) $ に等しいことが示された。ここで $ C(3,2) $ は明示的に与えられている。
• グリーン関数の積分表現から生じる核関数 $ F(A) $ は、$ \beta > 1/2 $ のとき単調増加であり、$ A \to \infty $ のとき有限極限に収束することが示され、作用素ノルムの評価に不可欠である。
• $ \alpha = 2 $、$ n=3 $、$ p = 6 $ の場合における $ (-\Delta - \frac{1}{4y^2})^{-\alpha/2} $ の $ L^p $ 有界性の鋭鋭定数が導出され、不等式の鋭鋭性が裏付けられた。
• 凸領域における鋭鋭定数が半空間の場合に達成されるとの予想が確認され、本稿では $ n=3 $ に対して明示的に検証された。