Explicit formulas for the Szegö kernel for some domains in \({\mathbb{C}}^ 2\)
type: Item
instance of: scholarly article
title: Explicit formulas for the Szegö kernel for some domains in \({\mathbb{C}}^ 2\)
zbMATH Open document ID: 0701.32012
DOI: 10.1016/0022-1236(90)90123-3
author: Nicholas Hanges
published in: Journal of Functional Analysis
publication date: 1990-01-01T00:00:00Z
review text: As is well-known from the work of \textit{L. Boutet de Monvel} and \textit{J. Sjöstrand} [Asterisque 34-35, 123-164 (1976; Zbl 0344.32010)], the Szegö kernel for bounded strictly pseudoconvex domains in \({\mathbb{C}}^ n\) can be expressed as a Fourier integral operator which is determined by a complex phase \(\psi\) and a classical symbol h. The author gives an explicit algorithm for computing the asymptotic expansion of h for a class of strictly pseudoconvex domains in \({\mathbb{C}}^ 2\). More explicitly, if \((z,w)\) are coordinates near \(0\in {\mathbb{C}}^ 2\) then the class under consideration consists of domains \(\Omega\) in \({\mathbb{C}}^ 2\) whose boundary near 0 is given by Im w\(=\phi (z,\bar z)\), where \(\phi\) is a real analytic function of \((z,\bar z)\) with \(\phi (0,0)=0\). In this case, the above complex phase \(\psi\) is given by \(\psi (z,w,\bar z',\bar w')=w-\bar w'-2i\phi (z,\bar z')\) where \((z,w,\bar z',\bar w')\)varies near \(0\in {\mathbb{C}}^ 4\). Denote by K the Szegö kernel of a domain \(\Omega\) in the class. It follows from the above mentioned work of Boutet de Monvel and Sjöstrand that there exists a symbol h of order 1 such that \[ K(z,w,z',w'-\int^{\infty}_{0}e^{i\psi (z,w,\bar z',\bar w')\tau} h(z,\bar z',\tau)d\tau \] is a smooth function near \((0,0)\in \partial \Omega \times \partial \Omega\). Here h is a smooth function in all arguments such that for each \(\tau\in (0,\infty)\), \(h(\cdot,\cdot,\tau)\) holomorphic, and, moreover, h admits an asymptotic expansion of the form \[ h(z,\bar z',\tau)\sim \sum^{\infty}_{k=- 1}h_{-k}(z,\bar z')\tau^{-k}. \] In this paper, the first three terms \(h_ 1\), \(h_ 0\), \(h_{-1}\) are computed explicitly in terms of \(\phi\) and its derivatives. In particular, this gives a complete description of the logarithmic term \(h_{-1}\) for the asymptotic expansion of K near \((0,0)\in \partial \Omega \times \partial \Omega\).
reviewed by: Jacob Burbea
Mathematics Subject Classification ID: 32A25
Mathematics Subject Classification ID: 32H99
Mathematics Subject Classification ID: 32T99
zbMATH DE Number: 4148532
zbMATH Keywords: strictly pseudoconvex domain
zbMATH Keywords: Szegö kernel
zbMATH Keywords: Fourier integral operator
zbMATH Keywords: symbol
zbMATH Keywords: complex phase
MaRDI profile type: Publication
full work available at URL: 0022-1236(90)90123-3
OpenAlex ID: W2086982032
cites work: CR structures with group action and extendability of CR functions
cites work: Q4111841
cites work: Real hypersurfaces in complex manifolds
cites work: The Bergman kernel and biholomorphic mappings of pseudoconvex domains
cites work: Necessary and sufficient conditions for solvability of the Lewy equation
cites work: Q3924489
cites work: Q4063944
cites work: On the pseudo-conformal geometry of hypersurface of the space of \(n\) complex variables
cites work: Q3900553
description: scientific article; zbMATH DE number 4148532