[论文解读] A geometric characterization of a sharp Hardy inequality

Roger T. Lewis, Junfang Li+1 more|arXiv (Cornell University)|Mar 28, 2011

Advanced Harmonic Analysis Research参考文献 22被引用 5

一句话总结

本文证明了在 $ℝ^{n+1}$ 中的 $C^2$ 域上，到边界距离函数在分布意义下为上调和函数，当且仅当边界是弱平均凸的。这一几何刻画导致在弱平均凸域上得到精确的 Hardy 不等式，最优常数 $(\frac{p-1}{p})^p$ 可达，且该条件无法进一步减弱。该结果将已知的凸域结果推广到更广泛的非凸域类，包括环面和极小曲面的扰动。

ABSTRACT

In this paper, we prove that the distance function of an open connected set in $\mathbb R^{n+1}$ with a $C^{2}$ boundary is superharmonic in the distribution sense if and only if the boundary is {\em weakly mean convex}. We then prove that Hardy inequalities with a sharp constant hold on {weakly mean convex} $C^{2}$ domains. Moreover, we show that the {weakly mean convexity} condition cannot be weakened. We also prove various improved Hardy inequalities on mean convex domains along the line of Brezis-Marcus \cite{BM}.

研究动机与目标

• 确定域边界的一个几何条件，以确保具有最优常数 $(\frac{p-1}{p})^p$ 的精确 Hardy 不等式成立。
• 将此前仅对凸域成立的经典 Hardy 不等式推广至更广泛的非凸域类。
• 证明弱平均凸性是精确 Hardy 不等式成立的最小几何要求。
• 在平均凸域上提供改进的 Hardy 不等式，扩展了 Brezis-Marcus 等人的结果。

提出的方法

• 证明距离函数 $\delta(x)$ 在分布意义下为上调和函数，当且仅当边界具有非负平均曲率（即弱平均凸）。
• 利用 $\delta(x)$ 的分布意义上调和性，推导出具有常数 $\left(\frac{p-1}{p}\right)^p$ 的精确 Hardy 不等式。
• 通过构造反例，证明弱平均凸条件是必要的：若在 $\partial\Omega$ 的某点有 $H < 0$，则精确 Hardy 不等式不成立。
• 应用主要结果，推导出在平均凸域上的改进 Hardy-Sobolev 不等式，包括 Hardy-Sobolev-Maz’ya 不等式。
• 使用微分几何工具，包括主曲率和第二基本形式，分析 $\partial\Omega$ 上的平均曲率 $H$。
• 在显式例子（如临界环面、高亏格环面和抛物面）上验证结果，确认 $H \geq 0$ 且不等式成立。

实验结果

研究问题

• RQ1 在 $C^2$ 域的边界上，何种几何条件可确保具有常数 $\left(\frac{p-1}{p}\right)^p$ 的精确 Hardy 不等式成立？
• RQ2 经典 Hardy 不等式在凸域上的结果能否推广至非凸域？若能，需满足何种几何条件？
• RQ3 弱平均凸性是否为精确 Hardy 不等式成立的充要条件？
• RQ4 如 Brezis-Marcus 精神所示的改进 Hardy 不等式，在平均凸域上表现如何？
• RQ5 距离函数的上调和性在刻画 Hardy 型不等式中最优常数时起何作用？

主要发现

• 距离函数 $\delta(x)$ 在分布意义下为上调和函数，当且仅当边界 $\partial\Omega$ 是弱平均凸的，即 $H \geq 0$。
• 在任意弱平均凸的 $C^2$ 域 $\Omega$ 上，精确 Hardy 不等式成立，且常数为 $\left(\frac{p-1}{p}\right)^p$，与凸域情形一致。
• 弱平均凸条件是精确的：若 $\partial\Omega$ 上某点满足 $H < 0$，则精确 Hardy 不等式不成立。
• 临界环面（$R=2$，$r=1$）满足 $H \geq 0$，且达到最优常数，此时 $\lambda(n,\Omega) = 1$。
• 在弱平均凸域上，改进的 Hardy-Sobolev 不等式成立，扩展了 Brezis-Marcus 等人的结果。
• 该结果适用于具有非平凡拓扑的非凸域，如环面的扰动、高亏格曲面以及由抛物面围成的区域。