[论文解读] $L^p$ Regularity of Weighted Bergman Projections

Yunus E. Zeytuncu|arXiv (Cornell University)|Aug 15, 2011

Holomorphic and Operator Theory参考文献 15被引用 5

一句话总结

本文建立了单位圆盘上加权 Bergman 投影的 $L^p$ 有界性准则，并通过 Forelli-Rudin 膨胀构造了高维域中不规则的 $L^p$ 行为。结果表明，对于 $ω$ 上的某些径向权函数，Bergman 投影在 $L^p(\mathbb{D}, \omega)$ 上有界当且仅当 $p \in (q_0, p_0)$，其中 $1/p_0 + 1/q_0 = 1$，该结果推广了已知结论，并在高维空间中提供了精确的不规则性阈值。

ABSTRACT

We investigate $L^p$ regularity of weighted Bergman projections on the unit disc and $L^p$ regularity of ordinary Bergman projections in higher dimensions.

研究动机与目标

• 确定单位圆盘 $\mathbb{D} \subset \mathbb{C}$ 上径向权函数的加权 Bergman 投影的 $L^p$ 映射性质。
• 研究权函数变化如何影响 Bergman 投影在 $\mathbb{D}$ 上的 $L^p$ 正则性。
• 通过构造具有受控不规则性的例子，将单位圆盘上的 $L^p$ 正则性结果推广至高维域。
• 应用 Forelli-Rudin 膨胀技术，在 $\mathbb{C}^2$ 中构造出其普通 Bergman 投影仅在 $L^p$ 上有界于 $p \in (2/(1+v_\beta), 2/(1-v_\beta))$ 的域，从而展示精确的 $L^p$ 有界性阈值。
• 建立加权 Bergman 投影 $L^p$ 有界的必要与充分条件，特别是针对单位圆盘上的径向权函数。

提出的方法

• 利用 Schur 引理和 Hölder 不等式估计 Bergman 核表示中出现的积分算子。
• 应用 Forelli-Rudin 公式，将单位圆盘上的径向权函数膨胀至 $\mathbb{C}^2$ 中的高维域。
• 采用 dyadic 分解，并通过在紧集上比较 $|\zeta|$ 和 $|i+\zeta|$ 的上确界与下确界，控制核积分的增长。
• 分析 $I_1$ 和 $I_2$ 两个积分项（涉及 $|\zeta|^{\alpha}|i+\zeta|^{\beta}$）在三种域相交几何情形下的行为。
• 利用 Bergman 投影的对偶性与自伴性，将 $L^p$ 有界性从 $p \geq 2$ 扩展至 $p < 2$。
• 通过比较 $M_R/m_R$ 与 $K_R/k_R$ 导出精确界，证明所有情形下均具有统一控制。

实验结果

研究问题

• RQ1 对于单位圆盘上的径向权函数 $\omega$，加权 Bergman 投影 $\mathbf{B}_{\omega}$ 在哪些 $p \in (1, \infty)$ 下在 $L^p(\mathbb{D}, \omega)$ 上有界？
• RQ2 权函数 $\omega$ 的扰动如何影响 $\mathbb{D}$ 上 Bergman 投影的 $L^p$ 正则性？
• RQ3 Forelli-Rudin 膨胀方法能否用于在 $\mathbb{C}^n$ ($n \geq 2$) 中构造出普通 Bergman 投影在某些 $p$ 下无界的高维域？
• RQ4 对于给定的径向权函数 $\omega$，$\mathbf{B}_{\omega}$ 在 $L^p(\mathbb{D}, \omega)$ 上有界的精确 $p$ 范围是什么？
• RQ5 当 $p \neq 2$ 时，$\mathbf{B}_{\omega}$ 在什么条件下会失去 $L^p$ 有界性，且这种不规则性能否被量化？

主要发现

• 对于满足特定增长条件的单位圆盘上径向权函数 $\omega$，加权 Bergman 投影 $\mathbf{B}_{\omega}$ 在 $L^p(\mathbb{D}, \omega)$ 上有界当且仅当 $p \in (q_0, p_0)$，其中 $1/p_0 + 1/q_0 = 1$。
• 该 $L^p$ 正则性阈值是精确的：若 $p \geq p_0$ 或 $p \leq q_0$，投影将不再有界。
• 证明依赖于通过 Hölder 不等式估计积分算子，并比较 $|\zeta|$ 与 $|i + \zeta|$ 在紧集上的上确界与下确界。
• 在所有三种几何情形下（与 $D(0,2R)$ 相交非空且 $R < 2$，$R \geq 2$，或为空），量 $|D|^{-p} I_1 (I_2)^{p-1}$ 均被一致有界。
• 通过 Forelli-Rudin 膨胀构造的域在 $\mathbb{C}^2$ 中，其普通 Bergman 投影仅在 $p \in (2/(1+v_\beta), 2/(1-v_\beta))$ 时有界，推广了关于 worm 域的已知结果。
• 该方法证实了 $|F(\zeta)|^{2-p} \in A_p^+(\mathbb{R}^2_+)$ 对于 $2 \leq p < p_0$ 成立，这与 $\mathbf{B}_{\omega}$ 的 $L^p$ 有界性等价。