Blaschke Winding Number Theory

• Blaschke winding number is defined as the total change in argument of a finite Blaschke product on the unit circle, equating to the count of its zeros in the disk.
• In several variables, inner functions on the polydisk are characterized by multi-degree data and one-dimensional slices rather than a single global winding index.
• Generalized winding numbers extend the argument principle via a Cauchy principal value, allowing non-integer indices when evaluation points lie on the curve.

Searching arXiv for the cited papers to ground the article. {"query":"(Coifman et al., 7 Mar 2026) Blaschke products and unwinding in higher dimensions", "max_results": 5} {"query":"(Hungerbühler et al., 2018) Non-integer valued winding numbers and a generalized Residue Theorem", "max_results": 5} {"query":"(Globevnik, 2012) The winding number of Pf+1 for polynomials P and meromorphic extendibility of F", "max_results": 5} Blaschke winding number most naturally refers to the classical winding number carried by a Blaschke product on the unit circle: for a finite Blaschke product on the unit disk $D$, the total change of argument along $\partial D$ equals the number of zeros in $D$, counted with multiplicity. In one complex variable this is simultaneously a topological degree, an argument-principle count, and the basic integer attached to inner factors. In several variables the situation is less direct: rational inner functions on the polydisk still admit a structured factorization and support convergence and unwinding theories, but the higher-dimensional framework does not define a global winding number on $T^d$, relying instead on multi-degree data and one-dimensional slices (Coifman et al., 7 Mar 2026). Separately, a generalized non-integer winding number defined by Cauchy principal value extends contour index theory to points lying on the curve itself, though that work does not use the terminology “Blaschke winding number” (Hungerbühler et al., 2018).

1. Classical one-variable definition

In the unit disk $D=\{z\in\mathbb C:|z|<1\}$, a finite Blaschke product has the form

$$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$

where $k\ge 0$, $|a_j|<1$, and the unimodular constants $e^{i\phi_j}$ ensure $|B(e^{it})|=1$ on $\partial D$0. In this setting, any rational inner function on $\partial D$1 is a finite Blaschke product (Coifman et al., 7 Mar 2026).

For such a product, with zeros $\partial D$2 in $\partial D$3 counted with multiplicity $\partial D$4, the winding number around the origin is

$\partial D$5

equivalently,

$\partial D$6

These are the standard one-dimensional formulas given by the argument principle. Each elementary Blaschke factor

$\partial D$7

contributes one unit of winding.

This count is the core reason the term is associated with Blaschke products. The winding number is not merely a boundary invariant; it is exactly the interior zero count for inner rational functions on $\partial D$8. In this sense, the Blaschke winding number is the degree of the boundary map $\partial D$9, and its integrality reflects the discrete multiplicity structure of zeros in one complex variable.

2. Infinite products, unwinding, and Malmquist–Takenaka theory in $D$0

An infinite Blaschke product is formed from infinitely many elementary Blaschke factors. Its convergence is governed by the classical Blaschke condition

$D$1

Under this hypothesis, the product converges uniformly on compact subsets of $D$2 to an inner function; otherwise the product diverges to $D$3 in $D$4 (Coifman et al., 7 Mar 2026).

The same one-variable framework supports unwinding expansions in Hardy space. The paper recalls expansions of the form

$D$5

where each $D$6 is a finite Blaschke product. In one dimension, this can be implemented by inner–outer factorization to remove zeros step by step. The relation to winding is immediate: in the classical disk theory, the successive extraction of Blaschke factors removes the zero structure that the winding number counts.

The Malmquist–Takenaka construction makes this precise at the level of orthogonal decomposition. For a single Möbius factor

$D$7

the space $D$8 is one-dimensional, with orthonormal vector

$D$9

The projection of $T^d$0 onto this defect space is

$T^d$1

This one-dimensionality is decisive. In the classical theory, one factor corresponds to one scalar degree of freedom and one unit of winding. That exact correspondence is what later fails in several variables.

3. Rational inner functions and Blaschke-type convergence on the polydisk

On the polydisk $T^d$2, the distinguished boundary $T^d$3 is identified with $T^d$4, and the Hardy space is $T^d$5, written $T^d$6. For a polynomial $T^d$7 of multi-degree $T^d$8, with no zeros in $T^d$9 and no common factor with $D=\{z\in\mathbb C:|z|<1\}$0, one defines

$D=\{z\in\mathbb C:|z|<1\}$1

The class of such polynomials is denoted $D=\{z\in\mathbb C:|z|<1\}$2. Under these hypotheses, $D=\{z\in\mathbb C:|z|<1\}$3 is an inner function on $D=\{z\in\mathbb C:|z|<1\}$4. The general structure theorem states that any rational inner function on $D=\{z\in\mathbb C:|z|<1\}$5 is of the form

$D=\{z\in\mathbb C:|z|<1\}$6

with $D=\{z\in\mathbb C:|z|<1\}$7 unimodular, $D=\{z\in\mathbb C:|z|<1\}$8, and $D=\{z\in\mathbb C:|z|<1\}$9 (Coifman et al., 7 Mar 2026).

The higher-dimensional analogue of the Blaschke condition is expressed through

$$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$0

For $$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$1, the diagonal slice

$$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$2

is inner on $$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$3, has value $$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$4 at $$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$5, and therefore satisfies $$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$6.

The main convergence theorem is a precise several-variable counterpart of the classical Blaschke criterion: $$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$7 if and only if

$$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$8

The complementary theorem states that if

$$B(z)=z^k\prod_{j=1}^N e^{i\phi_j}\frac{z-a_j}{1-\overline{a_j}z},$$9

then

$k\ge 0$0

The proofs proceed by slicing: the several-variable problem is reduced to one-dimensional inner functions on suitable slices, including diagonal slices and fixed-boundary slices. This suggests that the higher-dimensional theory retains the analytic mechanism of Blaschke products without retaining a single global winding number comparable to the degree of a map $k\ge 0$1.

4. Orthogonality, projections, and unwinding beyond one dimension

The polydisk theory develops several unwinding procedures. If $k\ge 0$2 and

$k\ge 0$3

set $k\ge 0$4. For $k\ge 0$5, define recursively

$k\ge 0$6

Then

$k\ge 0$7

with mutually orthogonal terms in $k\ge 0$8. The divergent-product condition forces the tail to vanish in $k\ge 0$9, so the expansion converges (Coifman et al., 7 Mar 2026).

The same paper gives an adaptive unwinding based on greedy projection over a compact set $|a_j|<1$0, and a less greedy unwinding based on a Malmquist–Takenaka-type orthonormal system. The orthogonality mechanism is encoded by the statement: for $|a_j|<1$1, $|a_j|<1$2 is orthogonal to $|a_j|<1$3 if and only if $|a_j|<1$4 for all $|a_j|<1$5. The associated orthonormal system is

$|a_j|<1$6

where $|a_j|<1$7.

A decisive difference from the disk appears here: when $|a_j|<1$8, the spaces

$|a_j|<1$9

are not finite-dimensional. Consequently, the several-variable Malmquist–Takenaka systems cannot be bases in the one-dimensional sense, and one factor no longer corresponds to one unit of winding.

The projection theory is explicit. If $e^{i\phi_j}$0 is inner on $e^{i\phi_j}$1, the orthogonal projection onto $e^{i\phi_j}$2 has kernel

$e^{i\phi_j}$3

so that

$e^{i\phi_j}$4

For tensor products of Möbius factors, the paper also gives explicit finite formulas for the corresponding projections.

The representation

$e^{i\phi_j}$5

isolates a monomial $e^{i\phi_j}$6, and along a loop varying only $e^{i\phi_j}$7 with the other variables fixed on $e^{i\phi_j}$8, this monomial contributes a winding $e^{i\phi_j}$9 by the one-dimensional argument principle. The paper does not promote this to a general global index on $|B(e^{it})|=1$0. For completeness, one may consider a partial index in the $|B(e^{it})|=1$1-th coordinate by integrating $|B(e^{it})|=1$2 with the other boundary variables fixed, but the paper does not adopt or develop this notion.

5. Generalized non-integer winding numbers and principal-value index theory

A distinct generalization of winding theory defines the index for piecewise $|B(e^{it})|=1$3 cycles even when the evaluation point lies on the curve. For a closed piecewise $|B(e^{it})|=1$4 curve avoiding $|B(e^{it})|=1$5, the classical winding number is

$|B(e^{it})|=1$6

If the point $|B(e^{it})|=1$7 may lie on the cycle $|B(e^{it})|=1$8, the generalized winding number is defined by Cauchy principal value: $|B(e^{it})|=1$9 This produces non-integer values determined by the local geometry of the contact (Hungerbühler et al., 2018).

For a closed piecewise $\partial D$00 immersion passing through $\partial D$01, if the oriented angle between the incoming tangent at $\partial D$02 and the negative of the outgoing tangent is $\partial D$03, then

$\partial D$04

Thus a transverse crossing with $\partial D$05 contributes $\partial D$06, while a tangential touch with $\partial D$07 contributes $\partial D$08. With multiple contacts, the generalized index is the ordinary index of the part of the curve avoiding $\partial D$09 plus the sum of the local contributions $\partial D$10.

The paper also gives a real version with bounded integrand. For $\partial D$11,

$\partial D$12

If $\partial D$13 is a closed piecewise $\partial D$14 immersion, this integrand is bounded. If $\partial D$15 is $\partial D$16 near a point $\partial D$17 with $\partial D$18, its limit is $\partial D$19, where $\partial D$20 is the signed curvature.

This index underlies a generalized residue theorem. If $\partial D$21 is holomorphic off a discrete set $\partial D$22, and $\partial D$23 is a null-homologous immersed piecewise $\partial D$24 cycle containing only first-order poles of $\partial D$25 on the cycle, then

$\partial D$26

where $\partial D$27 is the generalized winding number. The paper further describes when higher-order poles or essential singularities on the cycle are admissible, using flatness conditions and angle restrictions. Although this theory generalizes winding in a manner historically reminiscent of Blaschke-type index ideas, the paper explicitly does not use the terminology “Blaschke winding number” or “Blaschke’s index.”

6. Winding inequalities, Blaschke counting, and terminological scope

A third line of work studies winding numbers of boundary expressions of the form $\partial D$28 on the unit circle. For a continuous $\partial D$29, the winding number around $\partial D$30 is the total change of argument divided by $\partial D$31, equivalently

$\partial D$32

when $\partial D$33 is $\partial D$34 on $\partial D$35. The central condition is imposed for every polynomial $\partial D$36 such that $\partial D$37 has no zero on $\partial D$38 (Globevnik, 2012).

The principal theorem states: if $\partial D$39 has at most finitely many zeros on $\partial D$40, each of finite order, and $\partial D$41, then

$\partial D$42

for each such polynomial $\partial D$43 if and only if $\partial D$44 extends meromorphically through $\partial D$45 with at most $\partial D$46 poles in $\partial D$47, counted with multiplicity. In particular, for $\partial D$48, the condition is equivalent to holomorphic extendibility in this class. The paper also proves the corresponding statement for real-analytic boundary data.

The connection with Blaschke products is explicit. For a finite Blaschke product

$\partial D$49

the argument principle gives

$\partial D$50

From the inner–outer viewpoint, the inner factor contributes exactly the zero count. The winding inequalities for $\partial D$51 therefore emulate the same mechanism: they constrain the allowable interior zeros and poles of any candidate extension by the same counting principle that governs finite Blaschke factors.

The paper also identifies a limitation. If one replaces the constant $\partial D$52 by a fixed factor $\partial D$53 having zeros in $\partial D$54, the analogous criterion can fail. The example

$\partial D$55

shows that one may have $\partial D$56 for all relevant polynomials $\partial D$57 even though $\partial D$58 does not extend holomorphically through $\partial D$59.

Taken together, these strands delimit the scope of the expression “Blaschke winding number.” In the strict classical sense it is the integer degree of a finite Blaschke product on $\partial D$60. In generalized contour theory, winding can become non-integer when the point lies on the curve. In several-variable unwinding on the polydisk, the role of winding is partially replaced by $\partial D$61, the monomial factor $\partial D$62, the parameters $\partial D$63, and slice-wise one-dimensional reductions, rather than by a single global topological index.