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 that they are 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)}:={(\underset{D}{\int }|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 Template:Math; it is a true norm if $p\ge 1$. Thus Template:Math is the subspace of holomorphic functions that are in the space L^p(D). The Bergman spaces are Banach spaces, which is a consequence of the estimate, valid on compact subsets K of D: Template:NumBlk Thus convergence of a sequence of holomorphic functions in Template:Math implies also 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)}:={(\underset{D}{\int }|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$. In the Hilbert space case, given:$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 }\underset{𝔻}{\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 the polynomials are dense in Template:Math. Similarly, if Template:Math, the right (or the upper) complex half-plane, then:

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

where $F(z)=\underset{0}{\overset{\mathrm{\infty }}{\int }}f(t)e^{-tz}dt$, that is, Template:Math 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)}:={(\underset{D}{\int }|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)\underset{𝔻}{\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 }\underset{{ℂ}_{+}}{\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 }\underset{\overline{{ℂ}_{+}}}{\int }|f(z+\epsilon ){|}^{p}d\nu (z))}^{1/p}<\mathrm{\infty }\}.$

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 {ℂ}_{+}).$

Further reading

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

See also

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