[论文解读] Norm of the Bergman projection

David Kalaj, Marijan Marković|arXiv (Cornell University)|Mar 27, 2012

Holomorphic and Operator Theory参考文献 6被引用 3

一句话总结

本文确定了单位球 $ \mathbb{B} \subset \mathbb{C}^n $ 上加权 Bergman 投影算子 $ P_{\beta} : L^\infty(\mathbb{B}) \to \mathcal{B} $ 的精确算子范数，其中 $ \mathcal{B} $ 为 Bloch 空间。通过积分估计与特殊函数，本文为标准与 Möbius 不变 Bloch 范数建立了精确界限，拓展了文献中已有的结果。

ABSTRACT

This paper deals with the the norm of the weighted Bergman projection operator $P_α:L^\infty o \mathcal{B}$ where $α>-1$ and $\mathcal{B}$ is the Bloch space of the unit ball of the complex space $\mathbf{C}^n$. We consider two Bloch norms, the standard Bloch norm and invariant norm w.r.t. automorphisms of the unit ball. Our work contains as a special case the main result of the recent paper \cite{Perala}.

研究动机与目标

• 确定单位球在 $ \mathbb{C}^n $ 中的加权 Bergman 投影算子 $ P_{\alpha} $ 从 $ L^\infty(\mathbb{B}) $ 到 Bloch 空间 $ \mathcal{B} $ 的精确算子范数。
• 在 Bergman 投影算子范数的语境下，比较并对比标准 Bloch 范数与 Möbius 不变 Bloch 范数。
• 通过提供高维情形下算子范数的精确估计，推广并拓展先前论文 [4] 的主要结果。
• 分析 Bergman 投影在连续函数上的行为及其在小 Bloch 空间 $ \mathcal{B}_0 $ 中的像。
• 通过构造一列连续函数实现上确界，证明范数估计的精确性。

提出的方法

• 作者定义 Bergman 投影为 $ P_{\alpha}g(z) = \int_{\mathbb{B}} \mathcal{K}_{\alpha}(z,w) g(w) dv_{\alpha}(w) $，其中 $ \mathcal{K}_{\alpha}(z,w) = (1 - \langle z,w \rangle)^{-(n+1+\alpha)} $ 为加权 Bergman 核。
• 他们分析了 Bloch 半范数 $ \|f\|_{\beta} = \sup_{z \in \mathbb{B}} (1 - |z|^2) |\nabla f(z)| $ 与不变 Bloch 半范数 $ \|f\|_{\tilde{\beta}} = \sup_{z \in \mathbb{B}} (1 - |z|^2) |\tilde{\nabla} f(z)| $，其中 $ \tilde{\nabla} f $ 为不变梯度。
• 利用极坐标与自同构 $ \varphi_a $，他们推导出变换公式 $ dv_{\alpha}(\varphi_a(\omega)) = \left( \frac{1 - |a|^2}{|1 - \langle \omega, a \rangle|^2} \right)^{n+1+\alpha} dv_{\alpha}(\omega) $。
• 他们计算积分 $ \ell(t) = \int_{\mathbb{B}} \frac{|(1 - w_1)\cos t + w_2 \sin t|}{|1 - w_1|^{n+1}} dv_{\alpha}(w) $，该积分捕捉了一族单参数方向上的范数行为。
• 通过代换 $ a_1 = w_2 / (1 - w_1) $，$ a_2 = w_1 $，他们将积分转化为定义在依赖于 $ a_2 $ 的区域 $ B' $ 上的积分 $ I(t) = \int_{B'} |\cos t + a_1 \sin t| dv(a) $。
• 他们将角向积分 $ h(t) = \int_0^{2\pi} |\cos t + a_1 \sin t| d\sigma $ 表示为椭圆的周长，利用第一类与第二类椭圆积分。

实验结果

研究问题

• RQ1 Bergman 投影算子 $ P_{\alpha} : L^\infty(\mathbb{B}) \to \mathcal{B} $ 的精确算子范数是多少，其中 $ \mathcal{B} $ 为 $ \mathbb{C}^n $ 中单位球上的 Bloch 空间？
• RQ2 在 Bergman 投影算子范数的语境下，标准 Bloch 范数与 Möbius 不变 Bloch 范数有何异同？
• RQ3 不变范数的精确常数 $ \tilde{C}_{\alpha,n} $ 是否可显式计算？是否存在一列连续函数使其达到该值？
• RQ4 当 $ |z| \to 1 $ 时，不变梯度 $ \tilde{\nabla} f(z) $ 的极限行为起什么作用？它与 $ C(\overline{\mathbb{B}}) $ 在 $ P_{\alpha} $ 下的像有何关联？
• RQ5 表示沿单参数族方向范数的函数 $ I(t) $ 是否在 $ t = 0 $ 或 $ t = \pi/2 $ 处取得极值？这对算子范数有何含义？

主要发现

• 关于标准 Bloch 半范数，$ P_{\alpha} $ 的算子范数满足 $ \|P_{\alpha}\|_{\beta} \leq \frac{\Gamma(2 + n + \alpha)}{\Gamma^2((2 + n + \alpha)/2)} $，且该界是精确的。
• 对于不变 Bloch 半范数，其范数满足 $ \|P_{\alpha}\|_{\tilde{\beta}} = \tilde{C}_{\alpha,n} $，且该值可由一列连续函数 $ g_k $ 实现，从而证明了精确性。
• 积分 $ \ell(\pi/2) = \int_{\mathbb{B}} \frac{|w_2|}{|1 - w_1|^{n+1}} dv_{\alpha}(w) $ 的计算结果为 $ \frac{\pi \Gamma(2 + n + \alpha)}{2 \Gamma^2((2 + n + \alpha)/2)} $，该值超过标准范数的界。
• 函数 $ I(t) $（表示沿某一方向的范数）在 $ t = 0 $ 与 $ t = \pi/2 $ 处具有驻点，该结论由椭圆积分的渐近分析得出。
• $ C(\overline{\mathbb{B}}) $ 在 $ P_{\alpha} $ 下的像是小 Bloch 空间 $ \mathcal{B}_0 $ 的子集，且从 $ C(\overline{\mathbb{B}}) \to \mathcal{B}_0 $ 的算子范数等于 $ \tilde{C}_{\alpha,n} $。
• 作者确认 $ \|P_{\alpha}\|_{\tilde{\beta}} = \tilde{C}_{\alpha,n} $，且该值严格大于标准范数，表明不变范数给出严格更大的算子范数。