Bergman kernel
Let be a domain (http://planetmath.org/Domain2). And let be the Bergman space. For a fixed , the functional is a boundedlinear functional
. By the Riesz representation theorem (as is a Hilbert space
) there exists an element of that represents it, andlet’s call that element . That is we have that. So we can define the Bergman kernel
.
Definition.
The function
is called the Bergman kernel.
By definition of the inner product in we then have thatfor
where is the volume measure.
As the space is a subspace of which is a separable Hilbert space then also has a countable orthonormal basis
, say .
Theorem.
We can compute the Bergman kernel as
where the sum converges uniformly on compact subsets of .
Note that integration against the Bergman kernel is just the orthogonalprojection from to . So not only is this kernel reproducing for holomorphic functions, but it will produce a holomorphic function when we just feed in any function.
References
- 1 Steven G. Krantz.,AMS Chelsea Publishing, Providence, Rhode Island, 1992.