Spaces of analytic functions on an open set in the complex plane for which
where is the -dimensional Lebesgue measure on .
If , then is a Hilbert space and has a reproducing kernel satisfying for all in and in (cf. also Bergman kernel function). The strong connections between reproducing kernels, conformal mappings (cf. also Conformal mapping), harmonic measure, and elliptic partial differential equations (cf. also Elliptic partial differential equation) motivated the pioneering work of S. Bergman [a7]; see also, e.g., [a6].
If , then is a closed subspace of ; thus, for it is a Banach space with norm . Furthermore, a function , , has an almost-everywhere representative in if and only if
for all compactly supported functions in . It is a result of V. Havin that via the Bergman–Sobolev duality (a1) the annihilator of , , can be identified with the Sobolev space , , [a11]. If , then the space is non-trivial if and only if contains at least two points. is non-trivial if and only if has positive logarithmic capacity, and more generally, for , is non-trivial if and only if has positive -capacity, , [a8], [a12].
If is bounded, then the Cauchy transform (cf. also Cauchy integral) provides many examples of functions in a Bergman space. Indeed, if is a finite complex measure with compact support in the complement of and if , then the Cauchy transform
When equals the unit disc , then one writes or . For each one can identify the dual with , , with the duality with equivalence of norms. One also has and , where and are the Bloch and the little Bloch spaces (cf. also Bloch function). Furthermore, harmonic conjugation defines a bounded linear transformation on for all , i.e. for each there is a such that for every harmonic function on ; here, is the harmonic conjugate of , ([a3]).
For a fixed one notes that the Hardy space is contained in , and it is useful to contrast the function theory in (as known today (1998)) with the classical situation in . A general statement one can make is that results for functions in a Bergman space depend on the parameter .
While a precise characterization of the -zero sets is open (1998), certain asymptotic results are known, [a20], [a21]. Every function in admits an "Lap-inner-Lap-outer" factorization , [a1]. A function in , , is called -inner if
for all , and a function in is called -outer if whenever is in with for all analytic polynomials , then (see [a17]). -outer functions are cyclic in , yet, no explicit function-theoretic descriptions for either the inner or outer functions are known (1998). The inner factors are sometimes called the contractive divisors, because , whenever is in the invariant subspace generated by the -inner function , [a10], [a13]. General invariant subspaces of do not have to be cyclic (i.e. generated by one function) (see [a2], [a14]), but for one knows that they are generated by a collection of inner functions, [a1].
Interpolating sequences and sampling sequences for have been characterized by K. Seip [a19].
There also are well-developed theories of Toeplitz, Hankel, and composition operators on Bergman spaces, and work on Bergman spaces on domains in has started (see e.g. [a22], [a9], [a18], [a4], [a5]).
|[a1]||A. Aleman, S. Richter, C. Sundberg, "Beurling's theorem for the Bergman space" Acta Math. , 177 (1996) pp. 275–310|
|[a2]||C. Apostol, H. Bercovici, C. Foias, C. Pearcy, "Invariant subspaces, dilation theory, and the structure of the predual of a dual algebra" J. Funct. Anal. , 63 (1985) pp. 369–404|
|[a3]||S. Axler, "Bergman spaces and their operators" J.B. Conway (ed.) B.B. Morrel (ed.) , Surveys of Some Recent Results in Operator Theory I , Res. Notes Math. , 171 , Pitman (1988) pp. 1–50|
|[a4]||S. Axler, D. Zheng, "Compact operators via the Berezin transform" Indiana J. Math. , 49 (1998) pp. 311|
|[a5]||"Holomorphic Spaces" S. Axler (ed.) J. McCarthy (ed.) D. Sarason (ed.) , Cambridge Univ. Press (1998)|
|[a6]||S. Bell, "The Cauchy transform, potential theory, and conformal mapping" , Studies Adv. Math. , CRC (1992)|
|[a7]||S. Bergman, "The kernel function and conformal mapping" , Math. Surveys , 5 , Amer. Math. Soc. (1950)|
|[a8]||L. Carleson, "Selected problems on exceptional sets" , v. Nostrand (1967)|
|[a9]||C. Cowen, B. MacCluer, "Composition operators on spaces of analytic functions" , Studies Adv. Math. , CRC (1995)|
|[a10]||P. Duren, D. Khavinson, H. Shapiro, C. Sundberg, "Invariant subspaces in Bergman spaces and the biharmonic equation" Michigan Math. J. , 41 (1994) pp. 247–259|
|[a11]||V.P. Havin, "Approximation in the mean by analytic functions" Soviet Math. Dokl. , 9 (1968) pp. 245–248|
|[a12]||L. Hedberg, "Non linear potentials and approximation in the mean by analytic functions" Math. Z. , 129 (1972) pp. 299–319|
|[a13]||H. Hedenmalm, "A factorization theorem for square area integrable functions" J. Reine Angew. Math. , 422 (1991) pp. 45–68|
|[a14]||H. Hedenmalm, "An invariant subspace of the Bergman space having the codimension two property" J. Reine Angew. Math. , 443 (1993) pp. 1–9|
|[a15]||B. Korenblum, "An extension of the Nevanlinna theory" Acta Math. , 135 (1975) pp. 187–219|
|[a16]||B. Korenblum, "A Beurling type theorem" Acta Math. , 138 (1977) pp. 265–293|
|[a17]||B. Korenblum, "Outer functions and cyclic elements in Bergman spaces" J. Funct. Anal. , 115 (1993) pp. 104–118|
|[a18]||H. Li, D. Luecking, "BMO on strongly pseudoconvex domains: Hankel operators, duality and -estimates" Trans. Amer. Math. Soc. , 346 (1994) pp. 661–691|
|[a19]||K. Seip, "Beurling type density theorems in the unit disc" Invent. Math. , 113 (1993) pp. 21–39|
|[a20]||K. Seip, "On a theorem of Korenblum" Ark. Mat. , 32 (1994) pp. 237–243|
|[a21]||K. Seip, "On Korenblum's density condition for the zero sets of " J. Anal. Math. , 67 (1995) pp. 307–322|
|[a22]||K. Zhu, "Operator theory in function spaces" Pure Appl. Math. , 139 (1990)|
Bergman spaces. Stefan Richter (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Bergman_spaces&oldid=17721