# Bergman kernel function

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Bergman kernel

A function of complex variables with the reproducing kernel property, defined for any domain in which there exist holomorphic functions of class with respect to the Lebesgue measure . The function was introduced by S. Bergman . The set of these functions forms the Hilbert space with orthonormal basis ; , where is the space of holomorphic functions. The function  is called the Bergman kernel function (or simply the kernel function) of . The series on the right-hand side converges uniformly on compact subsets of , and belongs to for each given , the sum does not depend on the choice of the orthonormal basis . The Bergman kernel function depends on complex variables, and is defined in the domain ; it has the symmetry property , it is holomorphic with respect to the variable and anti-holomorphic with respect to . If , , , then where .

The most important characteristic of the Bergman kernel function is its reproducing property: For any function and for any point the following integral representation is valid: Extremal properties of the Bergman kernel function are:

1) For any point  2) Let a point be such that the class contains functions satisfying the condition . The function then satisfies this condition and has norm , which is minimal for all such . The function is called the extremal function of .

Changes in the Bergman kernel function under biholomorphic mappings are expressed in the following theorem: If is a biholomorphic mapping of a domain onto a domain , , , then where is the Jacobian of the inverse mapping. Owing to this property the Hermitian quadratic form is invariant under biholomorphic mappings.

The function , which is also called a kernel function, plays an important role in the intrinsic geometry of domains. In the general case it is non-negative, while the function is plurisubharmonic. In domains where is positive (e.g. in bounded domains), the functions and are strictly plurisubharmonic. The latter is tantamount to saying that in such domains the form is positive definite and, consequently, gives a Hermitian Riemannian metric in . This metric remains unchanged under biholomorphic mappings and is called the Bergman metric. It may be considered as a special case of a Kähler metric. It follows from extremal property 1) that the coefficients of the Bergman metric increase to infinity on approaching certain boundary points. If is a strictly pseudo-convex domain or an analytic polyhedron, then increases to infinity for any approach of to the boundary of the domain. Every domain which has this property of the Bergman kernel function is a domain of holomorphy.

For domains of the simplest type, the Bergman kernel function can be explicitly calculated. Thus, for the ball in , the Bergman function has the following form: and for the polydisc , in : In the special case when and is the disc in the complex -plane, the Bergman metric becomes the classical hyperbolic metric which is invariant under conformal mappings and which defines the Lobachevskii geometry in .

How to Cite This Entry:
Bergman kernel function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bergman_kernel_function&oldid=11473
This article was adapted from an original article by E.M. Chirka (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article