[論文レビュー] Boundedness of the Bergman projection on $L^p$ spaces with exponential weights

Olivia Constantin, José Ángel Peláez|arXiv (Cornell University)|Sep 24, 2013

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

ひとこと要約

この論文は、$ \omega(r) = \exp(-\alpha/(1-r)) $、$ \alpha > 0 $ のとき、$ L^p(\omega^{p/2}) $ から $ A^p_{\omega^{p/2}} $ へのベルグマン射影の有界性を証明することで、長年の未解決問題を解決している。主な結果は、$ 1/p + 1/q = 1 $ のとき、$ A^p_{\omega^{p/2}} $ の双対空間が $ A^q_{\omega^{q/2}} $ に同型であることを示しており、指数的重みを伴うベルグマン空間への双対性理論の拡張を達成している。

ABSTRACT

Let $v(r)=\exp\left(-\fracα{1-r} ight)$ with $α>0$, and let $\mathbb{D}$ be the unit disc in the complex plane. Denote by $A^p_v$ the subspace of analytic functions of $L^p(\mathbb{D},v)$ and let $P_v$ be the orthogonal projection from $L^2(\mathbb{D},v)$ onto $A^2_v$. In 2004, Dostanic revealed the intriguing fact that $P_v$ is bounded from $L^p(\mathbb{D},v)$ to $A^p_v$ only for $p=2$, and he posed the related problem of identifying the duals of $A^p_v$ for $p\ge 1$, $p eq 2$. In this paper we propose a solution to this problem by proving that $P_v$ is bounded from $\,L^p(\D,v^{p/2})$ to $A^p_{v^{p/2}}$ whenever $1\le p

研究の動機と目的

• 2004 年にドスタニッチが提起した、$ p \neq 2 $ の指数的重みを伴う $ A^p_v $ の双対空間を特定するという未解決問題を解決すること。
• 重み関数 $ v(r) = \exp(-\alpha/(1-r)) $ に対して、すべての $ 1 \leq p < \infty $ に対してベルグマン射影 $ P_v $ が $ L^p(\mathbb{D}, v^{p/2}) $ から $ A^p_{v^{p/2}} $ に有界であることを確立すること。
• 双対性結果 $ (A^p_{\omega^{p/2}})^* \cong A^q_{\omega^{q/2}} $（$ 1/p + 1/q = 1 $）を指数的重みを伴うベルグマン空間へ拡張すること。
• 急激に減少する重みを伴う重み付きフォークスぺースにおけるベルグマン射影の有界性を分析すること。

提案手法

• 再生核 $ K_r $ の $ L^1 $-ノルムの鋭い推定値を用いてベルグマン射影の有界性を証明する。
• 指数的重み $ v(r) = \exp(-\alpha/(1-r)) $ のモーメントの精密な漸近的推定値を導出するために、レジェンドル＝フェンヒェル変換を用いる。
• 滑らかな多項式とのハダマール積における $ H^1 $-ノルムの $ \ell^1 $-ノルムによる $ \|K_r\|_{H^1} $ の上界を適用する。
• 特に距離関数 $ d_\phi^\varepsilon(z,\zeta) $ を用いたフォークスぺース理論の技法を、ベルグマン設定へ適応する。
• ベコルレ重みおよび測度空間上の積分核の制御のため、既知の結果と比較推定を行う。
• ベルグマン空間とフォークスぺースの間の減衰挙動の類似性を活用して、分析をフォークスぺースへ拡張する。

実験結果

リサーチクエスチョン

• RQ1 重み関数 $ v(r) = \exp(-\alpha/(1-r)) $ に対して、すべての $ 1 \leq p < \infty $ に対してベルグマン射影 $ P_v $ が $ L^p(\mathbb{D}, v^{p/2}) $ から $ A^p_{v^{p/2}} $ に有界であるか。
• RQ2 重み $ v(r) = \exp(-\alpha/(1-r)) $ に対して、$ A^p_{v^{p/2}} $ の双対空間が $ 1/p + 1/q = 1 $ のとき $ A^q_{v^{q/2}} $ に同型であるか。
• RQ3 急激に減少する重みを伴うフォークスぺース設定において、$ p \neq 2 $ のときのベルグマン射影の無限大性が維持されるか。
• RQ4 指数的重みにおける再生核 $ K_r $ の $ L^1 $-ノルムの正確な挙動は何か。また、その挙動が射影の有界性をどのように制御するか。

主な発見

• 重み関数 $ v(r) = \exp(-\alpha/(1-r)) $、$ \alpha > 0 $ のとき、すべての $ 1 \leq p < \infty $ に対してベルグマン射影 $ P_v $ は $ L^p(\mathbb{D}, v^{p/2}) $ から $ A^p_{v^{p/2}} $ に有界である。
• すべての $ p \geq 1 $ に対して、$ A^p_{v^{p/2}} $ の双対空間は、$ 1/p + 1/q = 1 $ のとき、等長同型写像によって $ A^q_{v^{q/2}} $ に同型である。
• 有界性結果は $ L^\infty $-ケースへ拡張され、$ P_v: L^\infty_{v^{1/2}} \to A^\infty_{v^{1/2}} $ が有界であることが示された。
• 重み $ v $ のモーメントの鋭い漸近的推定値を、レジェンドル＝フェンヒェル変換を用いて得た。
• 再生核 $ K_r $ の $ L^1 $-ノルムは、滑らかな多項式とのハダマール積の $ \ell^1 $-ノルムによる推定によって制御された。
• 重みにやや滑らかさと減衰性の条件が課された場合、$ p \neq 2 $ のときのベルグマン射影の無限大性は、フォークスぺース設定でも確認された。