# Blaschke product

Blaschke function

A regular analytic function of a complex variable $z$, defined in the unit disc $K = \{ {z } : {| z | < 1 } \}$ by the finite or infinite product

$$\tag{* } B(z) = z ^ {n} \prod _ { k } \frac{| a _ {k} | }{a _ {k} } \frac{a _ {k} -z }{1- \overline{a}\; _ {k} z } ,$$

where $n$ is a non-negative integer, and $\{ a _ {k} \}$, $k = 1, 2 \dots$ is a sequence of points $a _ {k} \in K \setminus \{ 0 \}$ such that the product on the right-hand side of (*) converges (the convergence condition is necessary only for an infinite product). The Blaschke product was introduced by W. Blaschke , who proved the following theorem: A sequence $\{ a _ {k} \}$ of points $a _ {k} \in K \setminus \{ 0 \}$ defines a function of the type (*) if and only if the series $\sum _ {k} (1 - | a _ {k} | )$ is convergent. Each factor of the form

$$b _ {k} (z) = \ \frac{| a _ {k} | }{a _ {k} } \frac{a _ {k} -z }{1- \overline{a}\; _ {k} z } ,$$

called the Blaschke factor for $a _ {k}$, defines a univalent conformal mapping of the disc $K$ onto itself, which takes $z = a _ {k}$ to zero, with the normalization $b _ {k} (-a _ {k} / | a _ {k} | ) =1$. The factors of the form $b _ {0} (z) = z$ may be interpreted as Blaschke factors which correspond to the zero $z = 0$ with the normalization $b _ {0} (1) = 1$. The definition of Blaschke factors and Blaschke products is readily carried over to a disc of arbitrary radius, and also to an arbitrary simply-connected domain, which is conformally equivalent to a disc.

The sequence $0 \dots 0, a _ {1} , a _ {2} ,\dots$( with $n$ zeros), which is usually written out in non-decreasing order of $| a _ {k} |$, is the sequence of all zeros of the Blaschke product (*) (each zero is written down as many times as its multiplicity). Thus, Blaschke's theorem describes the sequences of zeros of all possible Blaschke products. The product (*) can be regarded as the simplest bounded holomorphic function in the disc $K$ with a prescribed sequence of zeros. It converges absolutely and uniformly inside $K$, represents a bounded holomorphic function $| B(z) | < 1$ in $K$, with angular boundary values of modulus one almost everywhere on $\partial K$. A necessary and sufficient condition for a bounded holomorphic function $f(z)$ in $K$, $| f(z) | < 1$, to be a Blaschke product, is

$$\lim\limits _ {r \rightarrow 1 } \ \int\limits _ { 0 } ^ { {2 } \pi } \mathop{\rm ln} | f (re ^ {i \theta } ) | d \theta = 0.$$

Blaschke products may be used to give a product representation of important classes of holomorphic functions in the unit disc $K$. Thus, a proof was given for the following theorem of Blaschke: A sequence $\{ a _ {k} \}$ of points in the disc $K$ is the sequence of all zeros of some bounded holomorphic function $f(z)$, $| f(z) | < 1$, in $K$ if and only if the series $\sum _ {k} (1 - | a _ {k} | )$ is convergent. Moreover, $f(z)$ can be represented as a product

$$f(z) = B _ {f} (z) g (z),$$

where $B _ {f} (z)$ is the Blaschke product constructed with the zeros $\{ a _ {k} \}$ of the function $f(z)$, while $g(z)$ is a zero-free holomorphic function in $K$, $| g(z) | \leq 1$, which can be represented relatively simply using an integral formula. Apart from the bounded functions, similar product representations may be constructed for functions of bounded form and for Hardy classes  (cf. Function of bounded form).

The above theory was considerably generalized by M.M. Dzhrbashyan , , who constructed infinite products of a more general nature, which are suitable for the factorization of much larger classes of meromorphic functions. A solution was also found for the problem of constructing analogues of Blaschke products and Blaschke's theorem for doubly-connected domains  and, in general, finitely-connected  domains. The solution of the problem of constructing suitable analogues of the Blaschke product for holomorphic functions of several complex variables is rendered very difficult by the fact that the zeros of such functions cannot be isolated.

How to Cite This Entry:
Blaschke product. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Blaschke_product&oldid=46083
This article was adapted from an original article by P.M. Tamrazov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article