[論文レビュー] On Hardy-Sobolev embedding

William Beckner|ArXiv.org|Jul 22, 2009

Numerical methods in inverse problems参考文献 7被引用数 8

ひとこと要約

本稿は、古典的なハーディー＝リトルウッドの手法を用いて、ハーディーの不等式とソボレフ埋め込みを統合する鋭い補間不等式を確立し、ブリスの補題を用いて最適定数を導出する。n次元空間 R^n 上で、ハーディー項とソボレフ項の線形結合が明示的かつ鋭い定数を伴ってグローバル不等式を形成することを証明し、原点で特異な極値関数を有するカファレリ＝コーン＝ニレングランド不等式と同等であることを示す。

ABSTRACT

Linear interpolation inequalities that combine Hardy's inequality with sharp Sobolev embedding are obtained using classical arguments of Hardy and Littlewood (Bliss lemma). Such results are equivalent to Caffarelli-Kohn-Nirenberg inequalities with sharp constants. A one-dimensional convolution inequality for the exponential density is derived as an application of these methods.

研究の動機と目的

• n ≥ 3 に対して R^n 上で、ハーディーの不等式とソボレフ埋め込みを統合する鋭い補間不等式を導出すること。
• 特にブリスの補題を用いた古典的解析的手法により、そのような不等式における最適定数を特定すること。
• 導出された不等式と鋭い定数を伴うカファレリ＝コーン＝ニレングランド不等式との同等性を確立すること。
• 純粋なハーディーの不等式では極値関数が存在しないにもかかわらず、組み合わせた不等式の極値関数を特定すること。
• L^p 框組みと回転対称関数へと拡張し、L^2 を超える一般化を達成すること。

提案手法

• 不等式構造を保ちながら問題を回転減少関数に還元するため、径方向減少再配置を適用する。
• 変数変換 f(x) = u(|x|)|x|^{-(n-1)/2} を用いて、n次元不等式を r における1次元の重み付き不等式に還元する。
• 変数変換 w = |x|^{-1}u および h = ∂w/∂r を導入し、勾配項を h の L^2 ノルムに変換する。
• ∫₀^r |g(s)| ds を含むコーシー型の不等式にブリスの補題を適用し、鋭い定数の正確な計算を可能にする。
• ガンマ関数と球面積 ω_{n-1} = 2π^{n/2}/Γ(n/2) を用いて、定数 C_q を明示的に導出する。ここで α = q/(q-2) である。
• パラメータ a を導入し、重みと定数を適切に調整することで、一般化されたカファレリ＝コーン＝ニレングランド不等式への適用を拡張する。

実験結果

リサーチクエスチョン

• RQ1 n ≥ 3 かつ 2 < q ≤ 2n/(n-2) の条件下で、R^n 上のハーディーの不等式とソボレフ埋め込みの線形補間における鋭い定数は何か？
• RQ2 ハーディーの不等式単体では極値関数が存在しないにもかかわらず、組み合わせたハーディー＝ソボレフ不等式に対して極値関数が存在しうるか？
• RQ3 導出された不等式とカファレリ＝コーン＝ニレングランド不等式との関係は何か？ また、明示的な定数を伴う同等性を確立できるか？
• RQ4 重み |x|^{-2a} とべき乗重み付き L^q ノルムを含む一般化された不等式における鋭い定数 D_{q,a} は何か？
• RQ5 1 < p < 2 および非回転対称関数に対し、この手法を L^p 框組みへと拡張可能か？ その場合の鋭い定数は何か？

主な発見

• 不等式 ∫|∇f|² dx ≥ C_q [∫|x|^{-n(q*-q)/q*}|f|^q dx]^{2/q} の鋭い定数は、C_q = [2π^{n/2}/Γ(n/2)]^{1/α} (q/2)^{q/2} [Γ(α)Γ(α+1)/Γ(2α)]^{1/α} で与えられ、ここで α = q/(q-2) である。
• この不等式の極値関数は f(x) = |x|^{-(n-3)/2}(1 + |x|^β)^{-1/β} で、β = q/2 - 1 であり、等号を達成する。
• この不等式は、定数 D_{q,a} = (n-2-2a)^{2/q + 1} C_q (0 < a < (n-2)/2) を伴うカファレリ＝コーン＝ニレングランド不等式と同等である。
• 一般化された L^p 場合では、鋭い定数は D_{p,q,a} = [(n-p(a+1))/(p-1)]^{-(p-1)+p/q} (ω_{n-1})^{1-p/q} (q - q/p)^{-p/q} [Γ(qp/(q-p))/ (Γ(q/(q-p))Γ((q-1)p/(q-p)))]^{1-p/q} で与えられる。
• ハーディーの不等式単体では極値関数が存在しないにもかかわらず、ソボレフ項の安定化効果により、組み合わせた不等式では極値関数が存在する。
• ブリスの補題と関数変換を用いた手法により、べき乗重み付き L^p および L^q 不等式における鋭い定数の正確な計算が可能である。