Iterates and the boundary behavior of the Berezin transform

Arazy, Jonathan; Engliš, Miroslav

Annales de l'Institut Fourier, Tome 51 (2001) no. 4, pp. 1101-1133.

Soit $\mu$ une mesure sur un domaine $\Omega$ de ${ℂ}^n$ tel que l’espace de Bergman des fonctions holomorphes dans $L^2(\Omega ,\mu )$ possède un noyau reproduisant $K(x,y)$ et que $K(x,x)>0,\forall x\in \Omega$. La transformation de Berezin associée à $\mu$ est l’opérateur intégral

$$Bf\left(y\right)=K{(y,y)}^{-1}{\int }_{\Omega }f\left(x\right){\left|K(x,y)\right|}^{2}d\mu \left(x\right).$$

Le nombre $Bf\left(y\right)$ peut être interprété comme une valeur moyenne de $f$ au voisinage de $y$, et les fonctions satisfaisant à $Bf=f$ comme des fonctions ayant une certaine propriété de moyenne. Dans cet article nous étudions le comportement de $Bf$ à la frontière, l’existence de fonctions $f$ satisfaisant à $Bf=f$ et prenant une valeur au bord donnée, et la convergence des itérations $B^{k}f$, $k\to \infty$. Les meilleurs résultats sont obtenus pour des domaines à frontières lisses strictement pseudo-convexes $\Omega$ munis d’une mesure $\mu$ comme ci-dessus, et pour des domaines bornés symétriques $\Omega$ et $\mu$ l’une des mesures standard invariantes par rotation. Nous étudions également les opérateurs de convolution $B_{\mu }f=f*\mu$ sur un domaine borné symétrique $\Omega =G/K$ muni d’une mesure de probabilité absolument continue $K$- invariante $\mu$, et le comportement des symétries géodésiques ${\phi }_a$ de $\Omega$ lorsque $a$ tend vers la frontière.

Let $\mu$ be a measure on a domain $\Omega$ in ${ℂ}^n$ such that the Bergman space of holomorphic functions in $L^2(\Omega ,\mu )$ possesses a reproducing kernel $K(x,y)$ and $K(x,x)>0$ $\forall x\in \Omega$. The Berezin transform associated to $\mu$ is the integral operator

$$Bf\left(y\right)=K{(y,y)}^{-1}{\int }_{\Omega }f\left(x\right){\left|K(x,y)\right|}^{2}d\mu \left(x\right).$$

The number $Bf\left(y\right)$ can be interpreted as a certain mean value of $f$ around $y$, and functions satisfying $Bf=f$ as functions having a certain mean-value property. In this paper we investigate the boundary behavior of $Bf$, the existence of functions $f$ satisfying $Bf=f$ and having prescribed boundary values, and the convergence of the iterates $B^{k}f$, $k\to \infty$. The best results are obtained for smoothly bounded strictly pseudoconvex domains $\Omega$ with any measure $\mu$ as above, and for bounded symmetric domains $\Omega$ and $\mu$ one of the standard rotation-invariant measures on them. We also carry out similar investigation for convolution operators $B_{\mu }f=f*\mu$ on a bounded symmetric domain $\Omega =G/K$ with a $K$-invariant absolutely continuous probability measure $\mu$, and study the behavior of the geodesic symmetries ${\phi }_a$ of $\Omega$ as $a$ tends to the boundary.

Classification : 47B38, 32M15, 46E22, 60J05
Keywords: Berezin transform, geodesic symmetry, Cartan domain, stochastic operator
Mot clés : transformation de Berezin, symétrie géodésique, domaine de Cartan, opérateur stochastique

[AL] S. Axler; J. Lech Fixed points of the Berezin transform on multiply connected domains (1997) (Preprint)

[Ar] J. Arazy; R.E. Curto, R.G. Douglas A survey of invariant Hilbert spaces of analytic functions on bounded symmetric domains, Multivariable operator theory (Contemporary Mathematics), Volume vol. 185 (1995), pp. 7-65 | Zbl

[AZ] J. Arazy; G. Zhang Invariant mean value and harmonicity in Cartan and Siegel domains, Interaction between functional analysis, harmonic analysis, and probability (Columbia, MO, 1994) (Lecture Notes in Pure and Appl. Math.), Volume vol. 175 (1996), pp. 19-40 | Zbl

[FK] J. Faraut; A. Korányi Function spaces and reproducing kernels on bounded symmetric domains, J. Funct. Anal., Volume 88 (1990), pp. 64-89 | DOI | MR | Zbl

[Fü] H. Fürstenberg Poisson formula for semisimple Lie groups, Ann. Math., Volume 77 (1963), pp. 335-386 | DOI | MR | Zbl

[Ga] T.W. Gamelin Uniform algebras, Prentice-Hall, Englewood Cliffs, 1969 | MR | Zbl

[Gd] R. Godement Une généralisation des représentations de la moyenne pour les fonctions harmoniques, C. R. Acad. Sci. Paris, Volume 234 (1952), pp. 2137-2139 | MR | Zbl

[Go] G.M. Goluzin Geometric theory of functions of a complex variable, Nauka, Moscou, 1966 | MR | Zbl

[He] S. Helgason Differential geometry and symmetric spaces, Academic Press, New York, 1962 | MR | Zbl

[Kr] S.G. Krantz Function theory of several complex variables, Wadsworth \& Brooks/Cole, Pacific Grove, 1992 | MR | Zbl

[KS] W. Kaup; J. Sauter Boundary structure of bounded symmetric domains, Manuscripta Math., Volume 101 (2000), pp. 351-360 | DOI | MR | Zbl

[Le] J. Lee Properties of the Berezin transform of bounded functions, Bull. Austral. Math. Soc., Volume 59 (1999), pp. 21-31 | DOI | MR | Zbl

[Lo] O. Loos Bounded symmetric domains and Jordan pairs (1977) (University of California, Irvine)

[Zh] K. Zhu A limit property of the Berezin transform (1999) (Preprint)