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 0 < p < ∞, the Bergman space A^p(D) 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 f; it is a true norm if $p\ge 1$. Thus A^p(D) 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 L^p(D) implies also compact convergence, and so the limit function is also holomorphic.

If p = 2, then A^p(D) is a reproducing kernel Hilbert space, whose kernel is given by the Bergman kernel.

Special cases and generalisations

If the domain D 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. dA = dz/Area(D). Alternatively dA = dz/π is used, regardless of the area of D. The Bergman space is usually defined on the open unit disk $\mathbb{𝔻}$ of the complex plane, in which case $A^p(\mathbb{𝔻}):=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{\mathbb{𝔻}}{\int }|f(z){|}^{2}dz=\sum _{n=0}^{\mathrm{\infty }}\frac{|a_n{|}^2}{n+1},$

that is, A² is isometrically isomorphic to the weighted ℓ^p(1/(n + 1)) space. In particular the polynomials are dense in A². Similarly, if D = $\mathbb{ℂ}$₊, the right (or the upper) complex half-plane, then:

$\Vert F{\Vert }_{A^2({\mathbb{ℂ}}_{+})}^2:=\frac{1}{\pi }\underset{{\mathbb{ℂ}}_{+}}{\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, A²($\mathbb{ℂ}$₊) is isometrically isomorphic to the weighted L^p_1/t (0,∞) space (via the Laplace transform).

The weighted Bergman space A^p(D) 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 w : D → [0, ∞) is chosen in such way, that $A_w^p(D)$ is a Banach space (or a Hilbert space, if p = 2). In case where $D=\mathbb{𝔻}$, by a weighted Bergman space $A_{\alpha }^p$ we mean the space of all analytic functions f such that:

$\Vert f{\Vert }_{A_{\alpha }^p}:={((\alpha +1)\underset{\mathbb{𝔻}}{\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({\mathbb{ℂ}}_{+})$) we have:

$\Vert f{\Vert }_{A_{\alpha }^p({\mathbb{ℂ}}_{+})}:={(\frac{1}{\pi }\underset{{\mathbb{ℂ}}_{+}}{\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({\mathbb{ℝ}}_{+},d{\mu }_{\alpha })$, where:

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

(here Γ 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{{\mathbb{ℂ}}_{+}}$, that is:

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

Reproducing kernels

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

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

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

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

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 \mathbb{𝔻}),$

and:

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

Further reading

• Template:Springer.

See also

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