In the mathematical study of several complex variables, the Bergman kernel, named after Stefan Bergman, is the reproducing kernel for the Hilbert space (RKHS) of all square integrable holomorphic functions on a domain D in C<sup>n</sup>.
In detail, let L<sup>2</sup>(D) be the Hilbert space of square integrable functions on D, and let L<sup>2,h</sup>(D) denote the subspace consisting of holomorphic functions in L<sup>2</sup>(D): that is,
where H(D) is the space of holomorphic functions in D. Then L<sup>2,h</sup>(D) is a Hilbert space: it is a closed linear subspace of L<sup>2</sup>(D), and therefore complete in its own right. This follows from the fundamental estimate, that for a holomorphic square-integrable function ƒ in D
for every compact subset K of D. Thus convergence of a sequence of holomorphic functions in L<sup>2</sup>(D) implies also compact convergence, and so the limit function is also holomorphic.
Another consequence of () is that, for each z ∈ D, the evaluation
is a continuous linear functional on L<sup>2,h</sup>(D). By the Riesz representation theorem, this functional can be represented as the inner product with an element of L<sup>2,h</sup>(D), which is to say that
The Bergman kernel K is defined by
The kernel K(z,ζ) is holomorphic in z and antiholomorphic in ζ, and satisfies
One key observation about this picture is that L<sup>2,h</sup>(D) may be identified with the space of holomorphic (n,0)-forms on D, via multiplication by . Since the inner product on this space is manifestly invariant under biholomorphisms of D, the Bergman kernel and the associated Bergman metric are therefore automatically invariant under the automorphism group of the domain.
The Bergman kernel for the unit disc D is the function