[论文解读] On Hardy-Sobolev embedding

William Beckner|ArXiv.org|Jul 22, 2009

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

一句话总结

本文通过经典 Hardy-Littlewood 方法建立了结合 Hardy 不等式与 Sobolev 嵌入的精确插值不等式，利用 Bliss 引理推导出最优常数。研究证明，在 ℝⁿ 上，Hardy 与 Sobolev 项的线性组合可产生具有显式精确常数的全局不等式，并表明该不等式与在原点处极值函数奇异的 Caffarelli-Kohn-Nirenberg 不等式等价。

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）上统一 Hardy 不等式与 Sobolev 嵌入的精确插值不等式。
• 利用经典分析技术（特别是 Bliss 引理）确定此类不等式中的最优常数。
• 建立所导出不等式与具有精确常数的 Caffarelli-Kohn-Nirenberg 不等式之间的等价性。
• 识别组合不等式的极值函数，尽管纯 Hardy 不等式中不存在极值函数。
• 将框架扩展至 L^p 设置与径向函数，将结果推广至 L^2 之外。

提出的方法

• 应用径向递减重排，将问题约化为保持不等式结构的径向递减函数。
• 使用变换 f(x) = u(|x|)|x|^{-(n-1)/2}，将 n 维不等式转化为关于 r 的一维加权不等式。
• 引入变量替换 w = |x|^{-1}u 与 h = ∂w/∂r，将梯度项转化为 h 的 L^2 范数。
• 对涉及 ∫₀^r |g(s)| ds 的卷积型不等式应用 Bliss 引理，实现最优常数的精确计算。
• 通过伽马函数与表面积 ω_{n-1} = 2π^{n/2}/Γ(n/2) 显式推导常数 C_q，其中 α = q/(q-2)。
• 通过引入参数 a 并相应调整权重与常数，将方法扩展至一般 Caffarelli-Kohn-Nirenberg 不等式。

实验结果

研究问题

• RQ1 在 ℝⁿ（n ≥ 3）且 2 < q ≤ 2n/(n-2) 时，Hardy 不等式与 Sobolev 嵌入之间线性插值的最优常数是什么？
• RQ2 即使在纯 Hardy 不等式中不存在极值函数，组合 Hardy-Sobolev 不等式的极值函数是否仍可能存在？
• RQ3 所导出的不等式与 Caffarelli-Kohn-Nirenberg 不等式之间有何关系？能否以显式常数建立等价性？
• 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，可实现等号。
• 该不等式与 Caffarelli-Kohn-Nirenberg 不等式等价，常数为 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}。
• 尽管在纯 Hardy 不等式中不存在极值函数，但组合不等式中极值函数仍存在，这是由于 Sobolev 项的稳定作用。
• 通过 Bliss 引理与函数变换的方法，可精确计算具有幂权重的加权 L^p 与 L^q 不等式中的最优常数。