[论文解读] Extremals for Logarithmic Hardy-Littlewood-Sobolev inequalities on compact manifolds

Kate Okikiolu|ArXiv.org|Mar 30, 2006

Nonlinear Partial Differential Equations参考文献 32被引用 6

一句话总结

该论文通过分析反向共形协变算子的正则化迹，建立了紧致黎曼流形上对数 Hardy-Littlewood-Sobolev（log-HLS）不等式的极值条件。研究证明，在固定体积的共形类中，当 Robin 质量为常数，或当迹不小于球面情形时，拉普拉斯-Beltrami 算子或 GJMS 算子的迹最小值在 Robin 质量为常数时被取到，或等于球面情形的迹值。

ABSTRACT

For a closed connected surface with a metric g, we consider the regularized trace of the inverse of the Laplace-Beltrami operator. We minimize this on the class of smooth metrics conformal to g having the same area, and show that the infimum is less than or equal to the value for the round sphere of the same area, and if it is equal, then it is attained. In fact we prove the analogs of these results for general dimensional compact manifolds. Explicitly, the results are logarithmic Hardy-Littlewood-Sobolev inequalites. By duality they give analogs of the Onofri-Beckner theorem.

研究动机与目标

• 刻画紧致流形上反向共形协变算子的逆算子正则化迹的极小化器。
• 将精确的 log-HLS 不等式和 Beckner 型不等式推广至球面以外的一般紧致黎曼流形。
• 阐明谱不变量（迹与 zeta-正则化迹）与几何极值性之间的关系。
• 确定在何种条件下，共形类中迹泛函的极小化器由具有常数 Robin 质量的度量实现。
• 通过共形几何与谱论，将 Onofri 和 Beckner 不等式推广至高维紧致流形。

提出的方法

• 将 Robin 质量 $ m(x) $ 定义为在去除格林函数 $ G(x,x) $ 的对数奇点后其有限部分。
• 引入正则化迹 $ \operatorname{trace}\Delta_g^{-1} = \int_M m\,dV $，该量为谱不变量，与 zeta-正则化迹相差一个普遍常数。
• 利用度数为 $ n $ 的算子 $ A $ 的共形不变性，满足 $ A_{F^{2/n}g} = F^{-1}A_g $，分析迹在共形变换下的行为。
• 应用变分法，在固定体积的共形类中最小化 $ \operatorname{trace}\Delta_g^{-1} $。
• 通过对偶性将 log-HLS 不等式与迹泛函关联，利用恒等式 $ \operatorname{trace}\square_{F^{2/n}g}^{-1} - \operatorname{trace}\square_g^{-1} = \frac{2}{n!}\int F\log F\,d\sigma - \int F\square^{-1}F\,d\sigma $。
• 通过核 $ K(A^{-s},p,p) $ 的渐近展开计算正则化迹与 zeta-正则化迹之间的异常项，表明差值为依赖于 $ n $ 和 $ \Gamma $-函数的常数。

实验结果

研究问题

• RQ1 在紧致流形的共形类中，何时反拉普拉斯-Beltrami 算子或 GJMS 算子的正则化迹被最小化？
• RQ2 何时迹泛函的极小化器由具有常数 Robin 质量的度量实现？
• RQ3 反向共形协变算子的迹与精确对数 Hardy-Littlewood-Sobolev 不等式有何关系？
• RQ4 对于反向共形协变算子 $ A $，$ A^{-1} $ 的正则化迹与 zeta-正则化迹之间的精确差异为何？
• RQ5 能否利用谱不变量与共形不变量，将 Beckner 与 Onofri 不等式推广至高维紧致流形？

主要发现

• 若在共形类 $ \Gamma $ 中存在某度量 $ g $ 满足 $ \operatorname{trace}\Delta_g^{-1} < \operatorname{trace}\Delta_{S^n,V}^{-1} $，则 $ \Gamma $ 上 $ \operatorname{trace}\Delta^{-1} $ 的最小值在具有常数 Robin 质量的度量处被取到。
• 否则，最小值恰好为 $ \operatorname{trace}\Delta_{S^n,V}^{-1} $，由标准球面度量实现。
• $ A^{-1} $ 的正则化迹与 zeta-正则化迹之间的差值为一个普遍常数：$ \operatorname{trace}A^{-1} - \operatorname{trace}_\zeta A^{-1} = C(s)\big|_{\text{f.p.}}^{s=1} \cdot V $，其中 $ C(s) $ 涉及 $ \Gamma $-函数与 $ \Gamma'(1) $。
• 核正则化中的异常项 $ c(p) $ 为 $ C(s)\big|_{\text{f.p.}}^{s=1} = \frac{1}{(4\pi)^{n/2}\Gamma(n/2)}\left(2\log 2 + \Gamma'(1) + \frac{\Gamma'(n/2)}{\Gamma(n/2)}\right) $。
• 精确 log-HLS 不等式 (1.1) 等价于：在固定体积的所有共形度量中，标准球面使 $ \operatorname{trace}\square^{-1} $ 最小。
• Beckner 不等式 (1.2) 与 log-HLS 不等式对偶，可解释为 $ \square $ 衍生行列式的变分原理，将 Polyakov-Ray-Singer 公式推广至高阶算子。