Bergman space

In complex analysis, functional analysis and operator theory, a Bergman space, named after Stefan Bergman, is a function space of holomorphic functions in a domain D of the complex plane that are sufficiently well-behaved at the boundary and also absolutely integrable. Specifically, for Template:Math, the Bergman space Template:Math is the space of all holomorphic functions $f$ in D for which the p-norm is finite:

$\Vert f{\Vert }_{A^p(D)}:={({\int }_D|f(x+iy){|}^p\mathrm{d}x\mathrm{d}y)}^{1/p}<\mathrm{\infty }.$

The quantity $\Vert f{\Vert }_{A^p(D)}$ is called the norm of the function $f$; it is a true norm if $p\ge 1$, thus Template:Math is the subspace of holomorphic functions of the space L^p(D). The Bergman spaces are Banach spaces for $0<p<\mathrm{\infty }$, which is a consequence of the following estimate that is valid on compact subsets K of D:$$\underset{z\in K}{sup}|f(z)|\le C_K\Vert f{\Vert }_{L^p(D)}.$$Convergence of a sequence of holomorphic functions in Template:Math thus implies compact convergence, and so the limit function is also holomorphic.

If Template:Math, then Template:Math is a reproducing kernel Hilbert space, whose kernel is given by the Bergman kernel.

Special cases and generalisations

If the domain Template:Math is bounded, then the norm is often given by:

$\Vert f{\Vert }_{A^p(D)}:={({\int }_D|f(z){|}^{p}dA)}^{1/p}(f\in A^p(D)),$

where $A$ is a normalised Lebesgue measure of the complex plane, i.e. Template:Math. Alternatively Template:Math is used, regardless of the area of Template:Math. The Bergman space is usually defined on the open unit disk $𝔻$ of the complex plane, in which case $A^p(𝔻):=A^p$. If $p=2$, given an element $f(z)=\sum _{n=0}^{\mathrm{\infty }}{a}_n{z}^n\in A^2$, we have

$\Vert f{\Vert }_{A^2}^2:=\frac{1}{\pi }{\int }_{𝔻}|f(z){|}^{2}dz=\sum _{n=0}^{\mathrm{\infty }}\frac{|a_n{|}^2}{n+1},$

that is, Template:Math is isometrically isomorphic to the weighted ℓ^p(1/(n + 1)) space. In particular, not only are the polynomials dense in Template:Math, but every function $f\in A^2$ can be uniformly approximated by radial dilations of functions $g$ holomorphic on a disk $D_R(0)$, where $R>1$ and the radial dilation of a function is defined by $g_r(z):=g(rz)$ for $0<r<1$.

Similarly, if Template:Math, the right (or the upper) complex half-plane, then:

$\Vert F{\Vert }_{A^2({ℂ}_{+})}^2:=\frac{1}{\pi }{\int }_{{ℂ}_{+}}|F(z){|}^{2}dz={\int }_0^{\mathrm{\infty }}|f(t){|}^2\frac{dt}{t},$

where $F(z)={\int }_0^{\mathrm{\infty }}f(t)e^{-tz}dt$, that is, $A^2({ℂ}_{+})$ is isometrically isomorphic to the weighted L^p_1/t (0,∞) space (via the Laplace transform).

The weighted Bergman space Template:Math is defined in an analogous way, i.e.,

$\Vert f{\Vert }_{A_w^p(D)}:={({\int }_D|f(x+iy){|}^{2}w(x+iy)dxdy)}^{1/p},$

provided that Template:Math is chosen in such way, that $A_w^p(D)$ is a Banach space (or a Hilbert space, if Template:Math). In case where $D=𝔻$, by a weighted Bergman space $A_{\alpha }^p$ we mean the space of all analytic functions Template:Math such that:

$\Vert f{\Vert }_{A_{\alpha }^p}:={((\alpha +1){\int }_{𝔻}|f(z){|}^p(1-|z{|}^2{)}^{\alpha }dA(z))}^{1/p}<\mathrm{\infty },$

and similarly on the right half-plane (i.e., $A_{\alpha }^p({ℂ}_{+})$) we have:

$\Vert f{\Vert }_{A_{\alpha }^p({ℂ}_{+})}:={(\frac{1}{\pi }{\int }_{{ℂ}_{+}}|f(x+iy){|}^p{x}^{\alpha }dxdy)}^{1/p},$

and this space is isometrically isomorphic, via the Laplace transform, to the space $L^2({ℝ}_{+},d{\mu }_{\alpha })$, where:

$d{\mu }_{\alpha }:=\frac{\mathrm{\Gamma }(\alpha +1)}{2^{\alpha }{t}^{\alpha +1}}dt.$

Here Template:Math denotes the Gamma function.

Further generalisations are sometimes considered, for example $A_{\nu }^2$ denotes a weighted Bergman space (often called a Zen space) with respect to a translation-invariant positive regular Borel measure $\nu$ on the closed right complex half-plane $\overline{{ℂ}_{+}}$, that is:

$A_{\nu }^p:=\{f:{ℂ}_{+}⟶ℂ\text{ analytic}:\Vert f{\Vert }_{A_{\nu }^p}:={(\underset{\epsilon >0}{sup}{\int }_{\overline{{ℂ}_{+}}}|f(z+\epsilon ){|}^{p}d\nu (z))}^{1/p}<\mathrm{\infty }\}.$

It is possible to generalise $A^2$ to the (weighted) Bergman space of vector-valued functions, defined by$$A_{\alpha }^2(𝔻;\mathscr{H}):=\{f:𝔻\to \mathscr{H}|f\text{ analytic and }\Vert f{\Vert }_{2,\alpha }<+\mathrm{\infty }\},$$and the norm on this space is given as$$\Vert f{\Vert }_{2,\alpha }={({\int }_{𝔻}\Vert f(z){\Vert }_{\mathscr{H}}^{2}d{\mu }_{\alpha }(z))}^{\frac{1}{2}}.$$The measure ${\mu }_{\alpha }$ is the same as the previous measure on the weighted Bergman space over the unit disk, $\mathscr{H}$ is a Hilbert space. In this case, the space is a Banach space for $0<p\le \mathrm{\infty }$ and a (reproducing kernel) Hilbert space when $p=2$.

Reproducing kernels

The reproducing kernel $k_z^{A^2}$ of Template:Math at point $z\in 𝔻$ is given by:

$k_z^{A^2}(\zeta )=\frac{1}{(1-\bar{z}\zeta {)}^2}(\zeta \in 𝔻),$

and similarly, for $A^2({ℂ}_{+})$ we have:

$k_z^{A^2({ℂ}_{+})}(\zeta )=\frac{1}{(\bar{z}+\zeta {)}^2}(\zeta \in {ℂ}_{+}),$

In general, if $\phi$ maps a domain $\mathrm{\Omega }$ conformally onto a domain $D$, then:

$k_z^{A^2(\mathrm{\Omega })}(\zeta )=k_{\phi (z)}^{{𝒜}^2(D)}(\phi (\zeta ))\overline{{\phi }^{\prime }(z)}{\phi }^{\prime }(\zeta )(z,\zeta \in \mathrm{\Omega }).$

In weighted case we have:

$k_z^{A_{\alpha }^2}(\zeta )=\frac{\alpha +1}{(1-\bar{z}\zeta {)}^{\alpha +2}}(z,\zeta \in 𝔻),$

and:

$k_z^{A_{\alpha }^2({ℂ}_{+})}(\zeta )=\frac{2^{\alpha }(\alpha +1)}{(\bar{z}+\zeta {)}^{\alpha +2}}(z,\zeta \in {ℂ}_{+}).$

In any reproducing kernel Bergman space, functions obey a certain property. It is called the reproducing property. This is expressed as a formula as follows: For any function $f\in A^2$ (respectively other Bergman spaces that are RKHS), it is true that$$f(z)=⟨f,k_z^{A^2}{⟩}_2={\int }_{𝔻}\frac{f(\zeta )}{(1-z\bar{\zeta }{)}^2}dA.$$

Further reading

• Template:Citation
• Template:Citation
• Template:Springer.

See also

• Bergman kernel
• Banach space
• Hilbert space
• Reproducing kernel Hilbert space
• Hardy space
• Dirichlet space