[論文レビュー] $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作用素の$L^p$正則性に与える影響を調査すること。
• 制御された不規則性を持つ例を構成することで、単位円板からの$L^p$正則性結果を高次元領域へ拡張すること。
• Forelli-Rudinの膨張技術を用いて、$
  \mathbb{C}^2$内の領域を構成し、その通常のBergman作用素が特定の$p$に対して有界でない$L^p$にのみ有界であることを示すこと。
• 特に単位円板上の径数的重みについて、重み付きBergman作用素の$L^p$有界性の必要十分条件を確立すること。

提案手法

• Bergman核表現から生じる積分作用素の推定に、シュールの補題とホルダーの不等式を用いる。
• Forelli-Rudinの公式を用いて、$\mathbb{D}$上の径数的重みを$\mathbb{C}^2$内の高次元領域に膨張する。
• dyadic分解とコンパクト集合上での上界と下界の比較を用いて、核積分の成長を制御する。
• 領域の交差に関する3つの幾何的状況において、$|\zeta|^{\alpha}|i+\zeta|^{\beta}$を含む積分項$I_1$および$I_2$の挙動を分析する。
• Bergman作用素の双対性と自己随伴性を用いて、$p \geq 2$ での$L^p$有界性を$p < 2$ へ拡張する。
• すべての状況で一様に制御されるように、$M_R/m_R$ と $K_R/k_R$ の比較により鋭い境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 単位円板上の径数的重み$\omega$について、重み付きBergman作用素$\mathbf{B}_{\omega}$が$L^p(\mathbb{D}, \omega)$上で有界であるような$p \in (1, \infty)$はどれか？
• RQ2 重み$\omega$の摂動が、$\mathbb{D}$上でのBergman作用素の$L^p$正則性に与える影響は何か？
• RQ3 Forelli-Rudinの膨張法を用いて、$
  \mathbb{C}^n$（$n \geq 2$）内の領域を構成し、その通常のBergman作用素が特定の$p$に対して有界でない$L^p$にのみ有効であるようにすることは可能か？
• RQ4 与えられた径数的重み$\omega$について、$\mathbf{B}_{\omega}$が$L^p(\mathbb{D}, \omega)$上で有界であるような$p$の正確な範囲は何か？
• RQ5 $p \neq 2$ のとき、$\mathbf{B}_{\omega}$が$L^p(\mathbb{D}, \omega)$上で有界でない条件は何か？ そして、その不規則性は定量的に記述可能か？

主な発見

• 特定の成長条件を満たす径数的重み$\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$ のとき、作用素は有界でなくなる。
• 証明は、ホルダーの不等式による積分作用素の推定と、$|\zeta|$および$|i + \zeta|$のコンパクト集合上での上界と下界の比較に依存する。
• すべての3つの幾何的状況（$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))$ のみで有界である。これは既知の「うねり領域」に関する結果を一般化する。
• この手法により、$2 \leq p < p_0$ のとき、$|F(\zeta)|^{2-p} \in A_p^+(\mathbb{R}^2_+)$ が成り立つことが確認され、これは$\mathbf{B}_{\omega}$の$L^p$有界性と同値である。