[논문 리뷰] Bergman projection induced by radial weight

José Ángel Peláez, Jouni Rättyä|arXiv (Cornell University)|2019. 02. 26.

Holomorphic and Operator Theory인용 수 1

한 줄 요약

이 논문은 단위 원판 위에서 베르그만 프로젝션 Pω: L∞ → B의 유계성 및/또는 전사성에 대해, 또는 이중적으로 A¹_ω의 쌍대공간이 A²_ω-쌍대화에 의해 블로흐 공간 B와 동형일 조건을 정의하는 반경형 가중치 ω를 특성화한다. 약한 정규성 하에서 장기적으로 미해결이었던 리틀우드-파일레 추정과 Pω의 Lp_ω 유계성 문제를 해결하며, 모든 특성화 조건이 순간수 또는 尾 적분 ∫_r^1 ω(t)dt에 대한 이중 조건으로 귀결됨을 보여준다.

ABSTRACT

The question of when the Bergman projection $P_\omega$ induced by a radial weight $\omega$ on the unit disc is a bounded operator from one space into another is of primordial importance in the theory of Bergman spaces. The long-standing problem of describing the radial weights $\omega$ such that $P_\omega$ is bounded on the Lebesgue space $L^p_\omega$ had been known to experts since decades before it was formally posed by Dostani\'c in 2004. A natural limit case of this setting is when $P_\omega$ acts from $L^\infty$ to the Bloch space. The surjectivity of the operator becomes another relevant question in this limit case. The main findings of this study are shortly listed as follows. We establish characterizations of the radial weights $\omega$ on the unit disc such that $P_\omega:L^\infty o\mathcal{B}$ is bounded and/or acts surjectively, or the dual of $A^1_\omega$ is isomorphic to the Bloch space $\mathcal{B}$ under the $A^2_\omega$-pairing. We also solve the problem posed by Dostani\'c under a weak regularity hypothesis on the weight involved. With regard to Littlewood-Paley estimates, we describe the radial weights $\omega$ such that the norm of any function in $A^p_\omega$ is comparable to the norm in $L^p_\omega$ of its derivative times the distance from the boundary. This last-mentioned result solves another well-known problem on the area. All characterizations can be given in terms of doubling conditions on moments and/or tail integrals $\int_r^1\omega(t)\,dt$ of $\omega$, and are therefore easy to interpret. We also make substantial progress about the two weight inequality $$ \|P_\omega(f)\|_{L^p_ u}\le C\|f\|_{L^p_ u},\quad f\in L^p_ u, \quad 1<p<\infty. $$ for radial weights $\omega$ and $ u$.

연구 동기 및 목표

• 단위 원판 위에서 베르그만 프로젝션 Pω: L∞ → B의 유계성이 성립하는 반경형 가중치 ω를 특성화하는 것.
• Pω: L∞ → 블로흐 공간 B로 전사적으로 작용하는 조건을 규명하는 것.
• A²_ω-쌍대화 하에서 A¹_ω의 쌍대공간이 블로흐 공간 B와 동형일 조건을 특성화하는 것.
• 도스타니치(Dostanić)의 2004년 문제인, 약한 정규성 하에서 Pω의 Lp_ω 유계성 문제를 해결하는 것.
• Ap_ω에서 리틀우드-파일레 추정이 성립하기 위한 필요 및 충분조건을 꼬리 적분을 통해 규명하는 것.

제안 방법

• 특히 (A¹_ω)′과 블로흐 공간 B 사이의 관계를 규명하기 위해 A²_ω-쌍대화를 사용하여 쌍대공간을 식별한다.
• 유계성 조건 Pω: L∞ → B와 임베딩 (A¹_ω)′ ⊂ B 사이의 관계를 이중성 이론을 통해 연결한다.
• 꼬리 적분 ∫_r^1 ω(t)dt와 순간 조건을 사용하여 이중 행동을 특성화한다.
• 함수 Lω(x) = –log ω(x)를 도입하고, 그 도함수를 분석하여 pD 클래스를 특성화한다.
• 적분 추정과 변수변환을 사용하여 Dp 조건과 Lp_ω 유계성 간의 관계를 규명한다.
• 레마 28을 적용하여, ω ∈ pD와 함께 lim sup_x→∞ x^k |L^{(k)}_ω(x)| < ∞ (k = 1,2,3)가 동치임을 보인다.

실험 결과

연구 질문

• RQ1 어떤 반경형 가중치 ω에 대해 베르그만 프로젝션 Pω: L∞ → B가 유계적인가?
• RQ2 베르그만 프로젝션 Pω: L∞ → B가 언제 전사적인가?
• RQ3 어떤 조건에서 A²_ω-쌍대화 하에서 A¹_ω의 쌍대공간 (A¹_ω)′이 블로흐 공간 B와 동형인가?
• RQ4 어떤 반경형 가중치 ω가 1 < p < ∞일 때 Pω가 Lp_ω에서 유계적인가?
• RQ5 어떤 반경형 가중치 ω에 대해 Ap_ω의 노름과 f'(z)(1–|z|²)의 Lp_ω 노름이 비교 가능한가?

주요 결과

• Pω: L∞ → B가 유계적일 필요 및 충분조건은 꼬리 적분 ∫_r^1 ω(t)dt에 대해 ω가 이중 조건을 만족하는 것이다.
• A²_ω-쌍대화 하에서 (A¹_ω)′이 블로흐 공간 B와 동형일 필요 및 충분조건은 ω ∈ pD인 것이다.
• 약한 정규성 가정 하에서 Pω: Lp_ω → Lp_ω가 유계적일 필요 및 충분조건은 ω ∈ pD인 것이다.
• 리틀우드-파일레 추정 ‖f‖_Ap_ω ≍ ‖f'(z)(1–|z|²)‖_Lp_ω가 성립할 필요 및 충분조건은 ω가 순간수 또는 꼬리 적분에 대해 이중 조건을 만족하는 것이다.
• pD 클래스는 lim sup_x→∞ x|L′_ω(x)| < ∞로 특성화되며, 여기서 Lω(x) = –log ω(x)이다.
• ω ∈ pD이면 ω(x)^p ≲ ω(x)^{p+ε} 조건이 성립하며, 이는 작은 ε > 0에 대해 ω ∈ pD임을 시사한다. 이는 Pω: Lp_ω → Lp_ω가 유계적일 필요 및 충분조건이 ω ∈ pD임을 지지하는 추측을 뒷받침한다.