[论文解读] Moser-Trudinger and Beckner-Onofri's inequalities on the CR sphere

Thomas Branson, Luigi Fontana+1 more|arXiv (Cornell University)|Dec 23, 2007

Holomorphic and Operator Theory参考文献 40被引用 10

一句话总结

本论文通过推导次拉普拉斯算子及其在CR-全纯调和函数上的谱定义算子的Adams型不等式，建立了CR球面上的精确Moser-Trudinger与Beckner-Onofri不等式。它证明了Beckner-Onofri不等式中的最优常数，从而导出一个精确的对数Hardy-Littlewood-Sobolev不等式，利用Heisenberg群与CR球面上的交织算子及共形不变性。

ABSTRACT

We derive sharp Moser-Trudinger inequalities on the CR sphere. The first type is in the Adams form, for powers of the sublaplacian and for general spectrally defined operators on the space of CR-pluriharmonic functions. We will then obtain the sharp Beckner-Onofri inequality for CR-pluriharmonic functions on the sphere, and, as a consequence, a sharp logarithmic Hardy-Littlewood-Sobolev inequality in the form given by Carlen and Loss.

研究动机与目标

• 推导CR球面上次拉普拉斯算子幂次的精确Adams型不等式。
• 在CR球面上为CR-全纯调和函数建立精确的Beckner-Onofri不等式。
• 通过Beckner-Onofri结果获得精确的对数Hardy-Littlewood-Sobolev不等式。
• 将已知的欧几里得与黎曼Sobolev不等式推广至CR球面的子黎曼设定。
• 利用Heisenberg群上的共形不变性与谱理论表征极值函数与最佳常数。

提出的方法

• 通过Cayley变换在Heisenberg群与CR球面之间利用交织算子。
• 应用CR球面上次拉普拉斯算子及其幂次的谱理论，使用球谐函数与轴对称调和函数。
• 构造条件性交织算子并证明其在共形变换下的不变性。
• 利用David-Journe的$T1$-定理，控制CR球面上算子在$L^2$-估计中的换位子。
• 通过Riesz核与$S^{2n+1}$上的体积归一化，推导交织算子的基本解。
• 应用共形不变性与对偶性，将精确的Moser-Trudinger不等式与对数Hardy-Littlewood-Sobolev不等式联系起来。

实验结果

研究问题

• RQ1 CR球面上CR-全纯调和函数的Moser-Trudinger不等式中的最佳常数是什么？
• RQ2 Adams型不等式如何推广至CR球面上的一般谱算子的次拉普拉斯算子？
• RQ3 Beckner-Onofri不等式在CR球面上的精确形式是什么？它与对数Hardy-Littlewood-Sobolev不等式有何关联？
• RQ4 Heisenberg群与CR球面上的交织算子如何促进精确几何不等式的推导？
• RQ5 共形不变性在表征这些不等式中极值函数与最佳常数时起到何种作用？

主要发现

• 本文在CR球面上为CR-全纯调和函数建立了精确的Moser-Trudinger不等式，其指数类嵌入中的最优常数为$\alpha_d$。
• 证明了CR球面上的精确Beckner-Onofri不等式，其等价于Carlen与Loss形式下的精确对数Hardy-Littlewood-Sobolev不等式。
• 不等式$\int_{S^{2n+1}} \exp\big[\alpha_d \big( \frac{|F|}{\|B_d F\|_p} \big)^{p'} \big] \leq c_0$中的最佳常数被证明为最优且显式确定。
• 交织算子$\mathcal{A}_d$的基本解被导出为$c_d^{-1} d(\zeta,\eta)^{d-Q}$，其中$c_d$与Gamma函数相关。
• 证明了交织算子$\mathcal{A}_d$的特征值为$\lambda_j(d)\lambda_k(d)$，且其逆为$c_d \mathcal{B}_d$，保持共形不变性。
• 证明依赖于通过$T1$-定理控制换位子的$L^2$-估计，确保算子在CR球面上（作为齐次类型空间）的有界性。