Szegő Mapping in Complex Analysis

• Szegő mapping is a multifaceted framework that connects complex analysis, operator theory, and orthogonal polynomials through kernel-induced transforms and affine polynomial mappings.
• It defines an affine, invertible mapping between polynomial coefficient spaces and elementary symmetric polynomials, preserving sign alternation and hyperbolicity.
• It establishes a correspondence between function-theoretic projections and orthogonality on the real line and unit circle, with applications to quadrature domains and conformal mapping.

The Szegő mapping refers to several closely related structures connecting complex analysis, operator theory, orthogonal polynomials, and algebraic decompositions. It encompasses: (1) the map between coefficient spaces induced by Schur–Szegő composition of polynomials (and its analytic continuation to entire functions); (2) the mapping arising from projections via the Szegő kernel in function theory; and (3) the correspondence between orthogonality structures on the real line and the unit circle, particularly in the context of orthogonal and multiple orthogonal polynomials. This multifaceted concept unifies diverse areas by exploiting kernel-induced transforms and their associated algebraic and geometric properties.

1. The Schur–Szegő Composition and the Affine Szegő Mapping

Let $P(x) = (x+1)^k(x^n + c_1 x^{n-1} + \cdots + c_n)$ be a polynomial of degree $n+k$ for integers $n \ge 1$, $k \ge 1$. There exist uniquely determined (up to permutation) values $a_1,\ldots, a_n \in \mathbb{C}$ such that

$$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$

where "*" denotes the Schur–Szegő composition:

$(A * B)(x) := \sum_{j=0}^d (\alpha_j \beta_j)x^j$

for $A(x) = \sum_{j=0}^d \alpha_j x^j$ and $B(x) = \sum_{j=0}^d \beta_j x^j$, and $K_{n,k;a}(x) = (x+1)^{n+k-1}(x+a)$. The affine Szegő mapping $n+k$0 is then defined by

$n+k$1

where $n+k$2 is the $n+k$3-th elementary symmetric polynomial in $n+k$4.

This mapping is affine, invertible, and lower-triangular in its dependence on the $n+k$5. In particular, each $n+k$6 depends linearly on $n+k$7, making $n+k$8 an affine automorphism of $n+k$9 (Kostov, 2015).

2. Analytic Properties, Hyperbolicity, and Asymptotic Extensions

Several geometric and real-algebraic domains are preserved under $n \ge 1$0:

• The set $n \ge 1$1 is mapped into itself, preserving sign alternation of coefficients and hence certain reality properties (Theorem 1).
• For the hyperbolicity domain $n \ge 1$2 and $n \ge 1$3, one has $n \ge 1$4 and, in many cases, $n \ge 1$5 or $n \ge 1$6, with dependence on $n \ge 1$7.

In the limit $n \ge 1$8, the map extends to entire functions of the form $n \ge 1$9, with a corresponding affine bijection between the coefficients of $k \ge 1$0 and the elementary symmetric polynomials in the parameters of its Schur–Szegő decomposition. This limiting mapping $k \ge 1$1 inherits the sign-preserving and hyperbolicity-preserving attributes of $k \ge 1$2 (Kostov, 2015).

3. Szegő Mapping in Function and Kernel Theory

In the context of complex analysis on domains $k \ge 1$3 or more generally on $k \ge 1$4, the Szegő mapping is realized as the orthogonal projection

$k \ge 1$5

with integral kernel $k \ge 1$6 (the Szegő kernel). On the disc $k \ge 1$7 and ball $k \ge 1$8, explicit formulas are

$k \ge 1$9

The mapping $a_1,\ldots, a_n \in \mathbb{C}$0 extracts the nonnegative Fourier (or holomorphic spherical harmonic) components, thus recovering the holomorphic part of arbitrary $a_1,\ldots, a_n \in \mathbb{C}$1 boundary data.

A stepwise application of Stokes’s theorem establishes an explicit relationship between the Szegő and Bergman projections. In the disc and ball, for any $a_1,\ldots, a_n \in \mathbb{C}$2 sufficiently regular,

$a_1,\ldots, a_n \in \mathbb{C}$3

with $a_1,\ldots, a_n \in \mathbb{C}$4 the Bergman projection. In smoothly bounded, strongly pseudoconvex domains, the Szegő projection coincides with the Bergman projection up to lower-order terms, encoding a deep interplay between boundary and interior holomorphic function theory (Krantz, 2012).

4. Szegő Mapping, Orthogonal Polynomials, and Multiple Orthogonality

The classical Szegő mapping also acts as a dictionary between orthogonality structures on the real line and those on the unit circle. Given a linear functional $a_1,\ldots, a_n \in \mathbb{C}$5 on Laurent polynomials on the unit circle and $a_1,\ldots, a_n \in \mathbb{C}$6 on ordinary polynomials on the real line, the (generalized) Szegő map establishes a one-to-one correspondence:

$a_1,\ldots, a_n \in \mathbb{C}$7

This correspondence extends to the setting of multiple orthogonality. Generalized Laurent multiple orthogonal polynomials on the circle are constructed with respect to several functionals via a two-point Hermite–Padé problem, and the resulting Szegő mapping connects these to the corresponding real-line multiple orthogonal polynomials (Kozhan et al., 8 Jan 2026).

A direct consequence is the translation of recurrence relations, Christoffel–Darboux formulas, and Heine-type determinantal representations between the circle and real line, via generalized Geronimus relations. This framework provides explicit relations between Verblunsky-type and nearest-neighbor Jacobi-type coefficients for the multi-indexed multiple orthogonal polynomials.

5. Szegő Coordinates, Quadrature Domains, and the Role of the Kernel

Szegő coordinates (mappings) are biholomorphic transformations $a_1,\ldots, a_n \in \mathbb{C}$8 such that the derivative $a_1,\ldots, a_n \in \mathbb{C}$9 is the square of an element in the Szegő span (i.e., is expressible as a finite linear combination of derivatives of the Szegő kernel). These mappings transform $$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$0 into boundary-arc-length quadrature domains, i.e., domains in which integrals over the boundary can be exactly evaluated as finite sums of function values and derivatives at specified nodes:

$$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$1

Such mappings can be chosen arbitrarily close to the identity in $$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$2 topology. When $$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$3 is simultaneously in both the Szegő and Bergman spans, the resulting domain is a double quadrature domain—supporting quadrature identities for both arc-length and area measures. This structural flexibility has implications for the approximation of conformal maps, the algebraicity and rationality of kernel functions, and computational applications in complex analysis (Bell et al., 2010).

6. Approximation Theory and the Szegő Kernel Method

The Szegő kernel and its associated mapping are central to uniform polynomial approximation of conformal maps. Given a Smirnov domain $$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$4, the canonical Riemann map $$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$5 can be approximated via polynomials constructed from partial sums of the Szegő kernel expansion, with explicit rates depending on the domain’s geometric features, particularly corner angles.

The Szegő kernel provides a reproducing structure in $$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$6, and its partial sums yield approximants $$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$7 converging uniformly to $$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$8. For domains with smallest exterior angle $$P(x) = K_{n,k;a_1} * K_{n,k;a_2} * \cdots * K_{n,k;a_n}$$9, the rate of decay is $(A * B)(x) := \sum_{j=0}^d (\alpha_j \beta_j)x^j$0 on the closure and $(A * B)(x) := \sum_{j=0}^d (\alpha_j \beta_j)x^j$1 on compact subsets (Pritsker, 2013).

Such methods enable quantitative analysis of orthogonal polynomial decay and the convergence of Fourier series on general planar domains.

7. Summary Table

Aspect	Core Structure	Key Reference
Schur–Szegő mapping	Affine transformation $(A * B)(x) := \sum_{j=0}^d (\alpha_j \beta_j)x^j$2 via Schur–Szegő composition	(Kostov, 2015)
Function/kernal-theoretic map	Szegő projection $(A * B)(x) := \sum_{j=0}^d (\alpha_j \beta_j)x^j$3 from $(A * B)(x) := \sum_{j=0}^d (\alpha_j \beta_j)x^j$4 to $(A * B)(x) := \sum_{j=0}^d (\alpha_j \beta_j)x^j$5 via the Szegő kernel; links to Bergman projection via Stokes's theorem	(Krantz, 2012)
Quadrature/Szegő coordinates	Holomorphic maps $(A * B)(x) := \sum_{j=0}^d (\alpha_j \beta_j)x^j$6 s.t. $(A * B)(x) := \sum_{j=0}^d (\alpha_j \beta_j)x^j$7 is a square of an element in the Szegő span, yielding (double) quadrature domains	(Bell et al., 2010)
Orthogonal polynomials	Szegő mapping as correspondence between orthogonality on the circle and the real line, extended to multiple orthogonality via Hermite–Padé and Geronimus-type relations	(Kozhan et al., 8 Jan 2026)
Kernel-based approximation	Uniform polynomial approximation of conformal maps via partial sums of the Szegő kernel; explicit rates in terms of boundary geometry	(Pritsker, 2013)

The Szegő mapping thus exhibits a unifying algebraic, analytic, and geometric framework, interconnecting diverse topics in complex analysis, operator theory, and orthogonal polynomial theory through kernel-induced transforms and affine automorphisms of polynomial coefficient spaces.