[论文解读] 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

一句话总结

该论文通过将问题与一个精确的 Hardy-Littlewood-Sobolev 不等式联系起来的对偶性论证，证明了三维上半空间上的 Hardy-Sobolev-Maz'ya 不等式的精确常数等于经典 Sobolev 常数 $ S_3 = 3(\pi/2)^{4/3} $。该结果表明，对于非零函数，该不等式始终严格成立，从而解决了在三维情形下该精确常数此前未知且与 $ n \geq 4 $ 情形不同的长期悬而未决问题。

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.

研究动机与目标

• 确定三维上半空间 $ \mathbb{H}^3 $ 上 Hardy-Sobolev-Maz'ya 不等式的精确常数，该常数在高维已有进展的情况下，三维情形仍长期未知。
• 解决三维情形下该不等式精确常数与经典 Sobolev 常数之间的差异问题。
• 证明该不等式对非零函数始终严格成立，意味着在此情形下不存在非平凡极小化器。

提出的方法

• 采用对偶性论证，通过共形变换将 $ \mathbb{H}^3 $ 上的 Hardy-Sobolev-Maz'ya 不等式与单位球面上的 Hardy-Littlewood-Sobolev 型不等式联系起来。
• 通过立体投影将问题转化为在双曲面 $ \mathbb{P}^3 $ 上，使泛函在 Möbius 变换下保持不变。
• 利用 Lieb 对 Hardy-Littlewood-Sobolev 不等式在共形不变算子 $ (-\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 三维上半空间 $ \mathbb{H}^3 $ 上的 Hardy-Sobolev-Maz'ya 不等式的精确常数是什么？
• RQ2 该情形下的精确常数是否与经典 Sobolev 常数 $ S_3 $ 一致？
• RQ3 为何在三维情形下精确常数无法被取到，而高维情形（$ n \geq 4 $）下可以？
• RQ4 该问题的共形不变性如何帮助确定精确常数？
• RQ5 能否将 Hardy-Sobolev-Maz'ya 与 Hardy-Littlewood-Sobolev 不等式之间的对偶方法推广到其他维度以推导精确常数？

主要发现

• 在 $ \mathbb{H}^3 $ 上的 Hardy-Sobolev-Maz'ya 不等式中，精确常数恰好为经典 Sobolev 常数 $ S_3 = 3(\pi/2)^{4/3} $，从而解决了三维情形下的开放问题。
• 对于非零函数，该不等式始终严格成立，意味着不存在非平凡极小化器，这与 $ n \geq 4 $ 情形下存在优化器的情况形成对比。
• 对于算子 $ (-\Delta - \frac{1}{4y^2})^{-1} $ 的关联 Hardy-Littlewood-Sobolev 不等式，其精确常数被确定并表示为 $ 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 $ 情形下明确验证了这一点。