The Bergman and Szegő kernels near points of infinite type
type: Item
instance of: scholarly article
title: The Bergman and Szegő kernels near points of infinite type
zbMATH Open document ID: 1191.32002
author: Jennifer Halfpap
author: Alexander Nagel
author: Stephen Wainger
published in: Pacific Journal of Mathematics
publication date: 2010-05-05T00:00:00Z
full work available at URL: p04.xhtml
review text: Let \(b\in C^\infty (\mathbb R)\) be a smooth function. The Bergman and Szegő kernels \({\mathcal B}_\Omega\) and \({\mathcal S}_\Omega\) for the domain \[ \Omega= \{ z=(z_1,z_2)\in \mathbb C^2\mid \Im (z_2) >b(\Re z_1)\} \] are shown to admit a smooth extension to a certain large part of \(\overline \Omega\times \overline \Omega\) provided that the function \(b\) satisfies certain basic assumptions. These assumptions are: (1) \(b\) is convex and is normalized at \(0 \in\mathbb R: b(0)=b'(0)=0\); (2) \(b\) is even; (3) \(b'\) and \(b''\) are convex on the positive real axis; (4) Let \(B(r)=\int_0^r b(t)\,dt\). Then there exists a constant \(C>0\) such that \[ 0< \frac{B^{(j+1)}}{B^{(j)}} (r) \leq C \frac{B^{(k+1)}}{B^{(k)}} (r),\quad \text{for } r>0 \text{ and any } j,k \in \{0,1,2,3\}. \] (5) There is a convex polynomial \(P\) of degree \(N\geq 2\) such that \(b=P\) on \(\{|r| \geq 1\}\). Let \(\Theta (r) = \frac{b(r)}{rb'(r)}\). Then \(b\) is said to be ``subcritical'' at \(r=0\), if, for some constants \(c>0\) and \(\gamma \in (0,1)\), one has \(\Theta (r) >c |r|^\gamma \); ``critical'' at \(r=0\), if, for some constant \(C>0\), one has \(\Theta (r) \leq C|r|\) for small \(|r|\); ``supercritical'' at \(r=0\), if, for some constants \(C>0\) and \(a>1\), one has \(\Theta (r) \leq C|r|^a\) for small \(|r|\). For \(0 \leq \rho \leq 1\), let \(B_\rho^2(\Omega):=\{F \in{\mathcal O}( \Omega)\mid \|f\|_\rho <\infty\}\), where \[ \|f\|_\rho^2 = \int_\Omega |f(x,y,t,s)|^2 (s-b(x))^{-\rho} \,dx\,dy\,dt\,ds. \] Then \(B_\rho^2(\Omega)\) is a Hilbert space, and the orthogonal projector from \(L_\rho^2(\Omega):=\{f \mid\|f\|_\rho<\infty\}\) onto \(B_\rho^2(\Omega)\) has an integral kernel \({\mathcal B}_\rho\). For \(\rho=0\), we obtain the Bergman kernel, and, for \(\rho=1\), we get the Szegő kernel. The authors obtain the following results: {\parindent=7mm \begin{itemize}\item[(A)] If \(b\) is subcritical at \(0\), then \({\mathcal B}_\rho\) extends smoothly to \(\overline \…
reviewed by: Gregor Herbort
Mathematics Subject Classification ID: 32A25
Mathematics Subject Classification ID: 32T99
Mathematics Subject Classification ID: 42B20
zbMATH DE Number: 5704132
zbMATH Keywords: Berman kernel
zbMATH Keywords: Szegő kernel
MaRDI profile type: Publication
OpenAlex ID: W1987812400
DOI: 10.2140/PJM.2010.246.75
description: scientific article; zbMATH DE number 5704132