[论文解读] Inversion positivity and the sharp Hardy-Littlewood-Sobolev inequality

Rupert L. Frank, Élliott H. Lieb|arXiv (Cornell University)|Apr 27, 2009

Nonlinear Partial Differential Equations参考文献 15被引用 4

一句话总结

本文通过在球面上进行反演变换，利用共形变换下的反演正定性，而非对称递减重排，给出了对角情形下Sharp Hardy-Littlewood-Sobolev（HLS）不等式的全新证明。该文证明了极小化器的形式为 $ f(x) = \alpha(\beta + |x - y|^2)^{-(2N - \lambda)/2} $，并推导出精确常数 $ \mathcal{H}_{N,\lambda,p,p} = \pi^{\lambda/2} \frac{\Gamma((N-\lambda)/2)}{\Gamma(N - \lambda/2)} \left( \frac{\Gamma(N)}{\Gamma(N/2)} \right)^{1 - \lambda/N} $，该结果在 $ N \geq 3 $，$ \lambda \geq N - 2 $，以及 $ N = 1,2 $ 且 $ \lambda < N $ 时成立。

ABSTRACT

We give a new proof of certain cases of the sharp HLS inequality. Instead of symmetric decreasing rearrangement it uses the reflection positivity of inversions in spheres. In doing this we extend a characterization of the minimizing functions due to Li and Zhu.

研究动机与目标

• 提供对角情形下Sharp Hardy-Littlewood-Sobolev不等式的全新证明，不依赖于对称递减重排。
• 将极小化器的刻画从连续函数推广至有限Borel测度，确立其绝对连续性及特定函数形式。
• 证明在球面上的反演下反射正定性——而非平面上的反射正定性——可用于推导变分问题中的对称性与极值性质。
• 统一并推广Li与Zhu的几何方法，在HLS不等式的背景下，结合共形不变性和反演正定性。

提出的方法

• 利用HLS泛函在球面反演和超平面上反射下的共形不变性，证明对球面反演 $ \Theta_B $ 有 $ I_\lambda[f] = I_\lambda[\Theta_B f] $。
• 通过在半球面上应用反射正定性，比较嵌套区域内的测度值，建立单调性与对称性性质。
• 采用半球面 $ \tilde{B} $ 的几何构造，使得 $ \Theta_{\tilde{B}}(B') \subset B $，从而实现跨区域测度质量的比较。
• 利用径向对称性与连续性论证，证明极小化测度的密度 $ v $ 是连续且对称递减的。
• 通过泰勒展开与反演对称性，导出微分方程 $ r_a^2 \partial_r v(a) + 2N|a|v(a) = 0 $，其解即为极小化器的显式形式。
• 证明在这些共形变换下唯一的不变测度是密度形式为 $ v(a) = C (r_0^2 + |a|^2)^{-N} $ 的测度（至多相差常数）。

实验结果

研究问题

• RQ1 能否通过共形不变性与反射正定性，而非对称递减重排，证明Sharp HLS不等式？
• RQ2 在共形变换下，使HLS泛函极小化的精确函数类是什么？
• RQ3 球面上的反演正定性与平面上的反射正定性在刻画极值函数方面有何区别？
• RQ4 能否将HLS不等式的极小化器刻画推广至一般Borel测度，而不仅限于连续函数？
• RQ5 对角HLS不等式中的精确常数形式为何？其如何通过几何与共形方法推导得出？

主要发现

• 对角HLS不等式中的精确常数为 $ \mathcal{H}_{N,\lambda,p,p} = \pi^{\lambda/2} \frac{\Gamma((N-\lambda)/2)}{\Gamma(N - \lambda/2)} \left( \frac{\Gamma(N)}{\Gamma(N/2)} \right)^{1 - \lambda/N} $，在 $ N \geq 3 $，$ \lambda \geq N - 2 $，以及 $ N = 1,2 $ 且 $ \lambda < N $ 时成立。
• HLS不等式中等号成立当且仅当 $ f(x) = \alpha(\beta + |x - y|^2)^{-(2N - \lambda)/2} $ 且 $ g(x) = \alpha'(\beta + |x - y|^2)^{-(2N - \lambda)/2} $，其中 $ \alpha, \alpha' \in \mathbb{C} $，$ \beta > 0 $，$ y \in \mathbb{R}^N $。
• 极小化器被证明关于Lebesgue测度绝对连续，其密度形式为 $ v(x) = C (r_0^2 + |x|^2)^{-N} $，该形式由反演对称性导出的径向ODE求解得到。
• 该方法通过基于反演的比较与径向极限，建立了密度函数 $ v $ 的连续性与可微性。
• 该证明可推广至测度情形，表明任何在相关共形变换下不变的有限Borel测度，必为具有上述密度的绝对连续测度。
• 该方法提供了极值函数的新几何刻画，以移动球面替代移动平面，以通过球面的反射正定性替代平面反射正定性。