[论文解读] Sharp constants in several inequalities on the Heisenberg group

Rupert L. Frank, Élliott H. Lieb|arXiv (Cornell University)|Sep 7, 2010

Nonlinear Partial Differential Equations参考文献 31被引用 11

一句话总结

本文在海森堡群 $\mathbb{H}^n$ 上对所有 $\lambda \in (0, Q)$ 确定了 Hardy-Littlewood-Sobolev (HLS) 不等式的精确常数，其中 $Q = 2n+2$，证明了函数 $H(u) = \left((1+|z|^2)^2 + t^2\right)^{-(2Q-\lambda)/4}$ 是在平移和伸缩变换下唯一的极小化元。该方法基于一种新颖的变分法，结合二阶变分与对称性约化，提供了无需对称递减重排的证明，且可推广至海森堡群上 Sobolev、Onofri 及对数 Sobolev 不等式的精确常数。主要贡献在于完整解决了海森堡群上 HLS 不等式的精确常数问题，此前仅在特殊情形 $\lambda = Q-2$ 下已知结果。

ABSTRACT

We derive the sharp constants for the inequalities on the Heisenberg group H^n whose analogues on Euclidean space R^n are the well known Hardy-Littlewood-Sobolev inequalities. Only one special case had been known previously, due to Jerison-Lee more than twenty years ago. From these inequalities we obtain the sharp constants for their duals, which are the Sobolev inequalities for the Laplacian and conformally invariant fractional Laplacians. By considering limiting cases of these inequalities sharp constants for the analogues of the Onofri and log-Sobolev inequalities on H^n are obtained. The methodology is completely different from that used to obtain the R^n inequalities and can be (and has been) used to give a new, rearrangement free, proof of the HLS inequalities.

研究动机与目标

• 解决长期以来关于在海森堡群 $\mathbb{H}^n$ 上对所有 $\lambda \in (0, Q)$ 确定 Hardy-Littlewood-Sobolev 不等式精确常数的开放问题。
• 证明极小化元 $H(u) = \left((1+|z|^2)^2 + t^2\right)^{-(2Q-\lambda)/4}$ 在群平移与伸缩变换下唯一。
• 将精确常数推广至对偶不等式，包括子拉普拉斯算子与共形不变分数阶拉普拉斯算子的 Sobolev 不等式。
• 通过 HLS 不等式的极限情形，推导出海森堡群上 Onofri 与对数 Sobolev 不等式的精确常数。
• 基于相同的方法框架，为 $\mathbb{R}^N$ 中经典 HLS 不等式提供一种全新的、无需重排的证明。

提出的方法

• 基于二阶变分不等式，采用变分法来刻画海森堡群上 HLS 不等式的极小化元。
• 通过不等式的对偶化与扩展 Fatou 引理，证明极小化元的存在性，避免使用对称递减重排。
• 在球面 $\mathbb{S}^{2n+1}$ 上引入一个由伸缩与 Cayley 变换定义的变换群，以施加质心条件，从而简化变分问题。
• 应用 [MüRiSt] 中的乘子定理，对核 $|u^{-1}v|^{-\lambda}$ 的真实平方根进行估计，其不等于欧氏情形下的 $|u^{-1}v|^{-(Q+\lambda)/2}$。
• 利用海森堡群的共形不变性与 Cayley 变换，将问题从 $\mathbb{H}^n$ 映射至球面 $\mathbb{S}^{2n+1}$，从而可施加对称性与归一化条件。
• 通过验证候选极小化元 $H(u)$ 在保持不等式不变且允许归一化的变换群 $\gamma_{\delta,\xi}$ 下的不变性，确认其满足必要的 Euler-Lagrange 方程。

实验结果

研究问题

• RQ1 在海森堡群 $\mathbb{H}^n$ 上，对所有 $\lambda \in (0, Q)$，Hardy-Littlewood-Sobolev 不等式的精确常数是什么？
• RQ2 函数 $H(u) = \left((1+|z|^2)^2 + t^2\right)^{-(2Q-\lambda)/4}$ 是否为海森堡群上 HLS 不等式的唯一极小化元（在平移与伸缩变换下）？
• RQ3 如何从 HLS 不等式的精确常数推导出海森堡群上 Sobolev、Onofri 与对数 Sobolev 不等式的精确常数？
• RQ4 能否使用与海森堡群上相同的方法框架，为 $\mathbb{R}^N$ 中的经典 HLS 不等式构造一种无需重排的证明？
• RQ5 质心条件在简化球面 $\mathbb{S}^{2n+1}$ 上变分问题中起到何种作用？

主要发现

• 在所有 $\lambda \in (0, Q)$ 下，海森堡群上 HLS 不等式的精确常数 $D_{n,\lambda}$ 被显式计算得出，推广了 Jerison 与 Lee 在 $\lambda = Q-2$ 时的先前结果。
• 函数 $H(u) = \left((1+|z|^2)^2 + t^2\right)^{-(2Q-\lambda)/4}$ 是海森堡群上不等式在左平移与伸缩变换下的唯一极小化元。
• 通过精确 HLS 常数，推导出涉及子拉普拉斯算子与共形不变分数阶拉普拉斯算子的对偶 Sobolev 不等式的精确常数。
• 海森堡群上 Onofri 与对数 Sobolev 不等式的精确常数，分别作为 HLS 不等式在 $\lambda \to 0$ 与 $\lambda \to Q$ 时的极限情形获得。
• 该方法为 $\mathbb{R}^N$ 中经典 Hardy-Littlewood-Sobolev 不等式提供了全新的、无需重排的证明，无需对称递减重排即可建立相同的精确常数。
• 在 $\mathbb{S}^{2n+1}$ 上的变换 $\gamma_{\delta,\xi}$ 允许施加质心条件，从而将变分问题约化至对称情形，使极小化元可被识别为常数，再反演回 $H(u)$ 的形式。