[论文解读] The $L^p$ boundedness of the Bergman projection for a class of bounded Hartogs domains

Liwei Chen|arXiv (Cornell University)|Apr 30, 2013

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

一句话总结

该论文确定了在 $∞\mathbb{C}^n$ 中广义有界 Hartogs 域上 Bergman 投影的精确 $L^p$ 有界性范围，证明了该投影在 $L^p$ 上有界当且仅当 $p \in \left(\frac{2n}{n+1}, \frac{2n}{n-1}\right)$，且该结果与定义域的具体全纯映射无关。该结果推广了经典的 Hartogs 三角形情形，并依赖于全纯不变性与伸缩论证。

ABSTRACT

We generalize the Hartogs triangle to a class of bounded Hartogs domains, and we prove that the corresponding Bergman projections are bounded on $L^p$ if and only if $p$ is in the range $(\frac{2n}{n+1},\frac{2n}{n-1})$.

研究动机与目标

• 将经典的 Hartogs 三角形推广至 $∞\mathbb{C}^n$ 中一类广义有界 Hartogs 域，其复结构由全纯映射定义。
• 确定 Bergman 投影在这些广义域上于 $L^p$ 有界的精确 $p$ 范围。
• 证明该有界性范围仅依赖于复维数 $n$，而不依赖于特定的全纯数据 $\{k_j, \phi_j\}$。

提出的方法

• 通过涉及 $\phi_j(\tilde{z}_j)$ 的范数与 $|z_{k+1}|, \dots, |z_n|$ 的嵌套不等式，定义一类有界 Hartogs 域 $\mathbb{H}^n_{\{k_j,\phi_j\}}$。
• 构造一个全纯映射 $\Phi$，将 $\mathbb{H}^n_{\{k_j,\phi_j\}}$ 映射到标准模型 $\mathbb{H}^n_{\{k_j\}}$，在雅可比行列式畸变的范围内保持 Bergman 投影结构。
• 利用 $\Phi$ 及其逆的雅可比行列式有界性，将广义域上的 $L^p$ 范数与标准模型上的范数联系起来。
• 应用标准模型 $\mathbb{H}^n_k$ 上已知的 $L^p$ 有界性结果，推导出广义域上的有界性范围。
• 利用 Bergman 投影的对偶性与自伴性，将有界性范围从 $p \in \left(\frac{2n}{n+1}, \frac{2n}{n-1}\right)$ 扩展至整个区间。

实验结果

研究问题

• RQ1 对于 $∞\mathbb{C}^n$ 中一类广义有界 Hartogs 域，Bergman 投影在 $L^p$ 上有界的精确 $p$ 范围是什么？
• RQ2 该 $L^p$ 有界性范围是否依赖于定义域所用的具体全纯映射 $\phi_j$？
• RQ3 能否通过全纯等价性，将广义 Hartogs 域上 Bergman 投影的 $L^p$ 有界性归约为标准模型域上的有界性？
• RQ4 该有界性范围对所有 $p \in [1, \infty)$ 是否都是精确的，包括 $p < 2$ 的情形？
• RQ5 与光滑域相比，Bergman 投影在奇异域（如 Hartogs 三角形）上的 $L^p$ 行为有何不同？

主要发现

• 广义 Hartogs 域 $\mathbb{H}^n_{\{k_j,\phi_j\}}$ 上的 Bergman 投影在 $L^p$ 上有界当且仅当 $p \in \left(\frac{2n}{n+1}, \frac{2n}{n-1}\right)$。
• 有界性范围仅依赖于复维数 $n$，与 $\{k_j, \phi_j\}$ 的具体选择无关，包括非线性或线性全纯同构。
• 标准模型 $\mathbb{H}^n_k = \{ z \in \mathbb{C}^n : |(z_1,\dots,z_k)| < |z_{k+1}| < \cdots < |z_n| < 1 \}$ 具有相同的 $L^p$ 有界性范围。
• 当 $p \leq \frac{2n}{n+1}$ 时，Bergman 投影无界，即使在 $0 < p < 1$ 的情形下，也通过伸缩与测试函数构造得以证明。
• Bergman 投影的全纯不变性使得 $L^p$ 有界性结果可通过受控的雅可比行列式畸变从标准模型传递到广义域。
• 范围 $\left(\frac{2n}{n+1}, \frac{2n}{n-1}\right)$ 对所有 $p \in [1, \infty)$ 都是精确的，且由于自伴性，Bergman 投影的对偶性确保了在全区间上的有界性。