Math 2.0

Functions of a complex variable Definition

Bergman space

Builds on Domain in the complex planeHolomorphic functionUnit disc

Definition

Let Ω\Omega be a domain in ℂ\C, let dAdA be area measure on Ω\Omega, and let 0<p<∞0 < p < \infty. The Bergman space Ap(Ω)A^p(\Omega) is the set of holomorphic functions f ⁣:Ω→ℂf \colon \Omega \to \C such that ∥f∥Ap=(∫Ω∣f(z)∣p dA(z))1/p<∞.\norm{f}_{A^p} = \left( \int_\Omega \abs{f(z)}^p \, dA(z) \right)^{1/p} < \infty.

Remarks

The sub-mean value property of ∣f∣p\abs{f}^p gives ∣f(z)∣p≤1πδ2∫∣w−z∣<δ∣f(w)∣p dA(w)\abs{f(z)}^p \le \frac{1}{\pi \delta^2}\int_{\abs{w - z} < \delta} \abs{f(w)}^p \, dA(w) whenever the disc of radius δ\delta about zz lies in Ω\Omega. So convergence in ApA^p implies locally uniform convergence, and for p≥1p \ge 1 the space Ap(Ω)A^p(\Omega) is a closed subspace of Lp(Ω)L^p(\Omega), hence a Banach space. On the unit disc 𝔻\mathbb{D}, the monomials satisfy ∫𝔻∣z∣2n dA=∫02π∫01r2n+1 dr dθ=π/(n+1)\int_{\mathbb{D}} \abs{z}^{2n}\, dA = \int_0^{2\pi}\int_0^1 r^{2n+1}\, dr\, d\theta = \pi/(n + 1), so ∥∑anzn∥A22=π∑n∣an∣2/(n+1)\norm{\sum a_n z^n}_{A^2}^2 = \pi \sum_n \abs{a_n}^2/(n + 1). Example: g(z)=1/(1−z)=∑zng(z) = 1/(1 - z) = \sum z^n on 𝔻\mathbb{D} has ∣g(z)∣p=∣1−z∣−p\abs{g(z)}^p = \abs{1 - z}^{-p}, which is area-integrable near z=1z = 1 exactly when p<2p < 2; so g∈Ap(𝔻)g \in A^p(\mathbb{D}) for p<2p < 2. Non-example: g∉A2(𝔻)g \notin A^2(\mathbb{D}), as also seen from π∑1/(n+1)=∞\pi \sum 1/(n + 1) = \infty. Some authors use the normalized area measure dA/πdA/\pi on 𝔻\mathbb{D}, which multiplies the norm by a constant.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Domain in the complex plane concept
  2. Holomorphic function concept
  3. Unit disc object
  4. Bergman space definition

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Bergman_space
About this page
TagGZV7QFA0RZ
URIm2://GZV7QFA0RZ
Kinddefinition
WritingW0 stub
MSC30H20, 32A36
DefinesBergman space
UsesDomain in the complex plane, Holomorphic function, Unit disc
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by