Voorhoeve index¶
An index of total absolute argument variation of an analytic function along a path, used in generalized Rolle and bounded complex-zero estimates.
Core Idea¶
The Voorhoeve index adds up how much the Argument (angle) of an analytic function's complex value changes as we move along a specified path.[1] It uses absolute changes: a clockwise turn and a counterclockwise turn both contribute, instead of cancelling.[1] It therefore measures total turning rather than net winding.[1]
For a real interval \(I=[a,b]\), if \(f\) is analytic near the interval and has no zero on it, the normalized index is
This is the normalized real-interval formula of Khovanskii and Yakovenko.[1]
This convention measures turns; another convention omits the factor \(1/(2\pi)\) and measures radians.[1][2] On the same zero-free interval, the argument rate can also be written \(\operatorname{Im}(f'/f)\).[1] At a zero of \(f\) on the path, \(f'/f\) is undefined: the cited authors handle such cases by a separate continuity extension, not by substituting a value into the displayed integral.[1]
Scope of Application¶
This is a complex-analysis calculation for an analytic function and a declared interval or curve.[1] Khovanskii and Yakovenko prove a real-segment comparison \(V_I(f)\leq V_I(f')+\tfrac12\) in their normalized convention.[1] They also give a different, normalized \(+1\) comparison on boundaries of bounded convex complex domains.[1] Yakovenko later uses an unnormalized circular comparison with a \(+2\pi\) term.[2] These constants belong to different path settings and scales.
The index enters two distinct source-worked zero-bound arguments. One concerns finite-spectrum quasipolynomials on bounded convex domains.[1] The other concerns analytic power series satisfying a coefficient bound on a sufficiently small centered disc.[2] Neither result provides a universal complex-zero bound for an arbitrary analytic function.
Clarity¶
To use the name precisely, give the function, path, normalization, and path-zero convention. On a real interval the derivative of the argument uses \(\operatorname{Im}(f'/f)\).[1] On a complex path \(z(t)\), it uses \(\operatorname{Im}((f'/f)(z(t))z'(t))\); dropping \(z'(t)\) changes the calculation.[1][2] The larger quantity \(|f'/f|\,|z'|\) can bound the absolute argument rate, but is not generally equal to it.[2]
The index is not a count of zeros. If \(f\) is analytic and pole-free on a neighborhood of a bounded domain's closure and nonzero on its positively oriented simple closed boundary, the argument principle connects boundary winding to the enclosed zero count.[1] Absolute boundary variation gives an upper bound on that signed winding.[1] A single real-interval index does not by itself bound zeros in an arbitrary nearby complex region.
Manages Complexity¶
A complex function can turn around zero many times, sometimes reversing direction. The index compresses all those local turns into one nonnegative number without cancellation. Under a suitable Rolle–Voorhoeve inequality, a proof can control this number through derivatives; with a closed boundary and further assumptions it can then help control zeros.[1][2]
That compression loses location and direction. The number alone does not reveal where a turn happened or how many zeros lie inside a region.
Abstract Reasoning¶
- Choose an analytic function and a path. Check that the function is nonzero on the path before using the literal integral.
- Decide whether to measure total turning in radians or turns, and keep that convention while comparing with the derivative.
- Match the derivative inequality to the path: the segment, bounded convex boundary, and small circle have different stated constants.[1][2]
- If the aim is an enclosed zero bound, use a suitable closed boundary, the argument principle, and the extra assumptions of the function class. The real-segment calculation alone is insufficient.[1]
Knowledge Transfer¶
The same total-absolute-argument-variation calculation can be applied to different analytic classes. What transfers is the calculation and any derivative comparison whose hypotheses are satisfied. A quasipolynomial theorem's finite spectrum and bounded convex domain do not become the coefficient assumptions and small disc of the power-series theorem.[1][2]
On a zero-free piecewise-smooth path, the index is a scaled total variation of a continuous argument lift. The separate extension through path zeros is not claimed to be the total variation of such a lift. This is a mathematical relation within complex analysis, not a general use of the name for any changing quantity.[1]
Example¶
Quasipolynomials. Khovanskii and Yakovenko study finite sums of polynomial-weighted exponentials.[1] On a bounded convex complex domain they combine the boundary index with a differential-equation factorization and repeated Rolle steps to bound the class's possible isolated zeros.[1] The function is the analytic input; the boundary is the path; total argument change is the index; the derivative chain and argument principle connect the index bound to a zero bound.[1] This is a theorem for the class, not a numerical calculation for one chosen function.
Coefficient-bounded power series. Yakovenko studies a class \(P_{k,M}\) whose higher Taylor coefficients are bounded relative to a chosen coefficient.[2] On a sufficiently small circle, he bounds an unnormalized index along successive derivatives and obtains a centered disc with at most \(k\) roots.[2] Here the analytic input and coefficient condition differ from the quasipolynomial case; the circle index, derivative comparison, and argument principle fill the same proof roles.[2]
Relationships to Other Abstractions¶
Current abstraction Voorhoeve index Domain-specific
Parents (1) — outgoing typed relations
-
Voorhoeve index is a kind of, conditional Total variation Domain-specific
On a zero-free piecewise-smooth path, the index is scaled total variation of a continuous argument lift.
Hierarchy path (1) — routes to 1 parentless root
- Voorhoeve index → is a kind of, conditional Total variation → is a kind of Aggregation → is a kind of Transformation → is a kind of, typical Function (Mapping)
Neighborhood in Abstraction Space¶
Voorhoeve index sits in a sparse region of the domain-specific corpus (77th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (2769 abstractions)
Nearest neighbors
- Zeros and Poles — 0.83
- Analytic Function — 0.83
- Càdlàg Function — 0.83
- Incidence (geometry) — 0.82
- Asymptote — 0.82
Computed from structural-signature embeddings · 2026-10-25
Not to Be Confused With¶
- Signed winding: net oriented turns on a closed curve; opposite turns can cancel. The Voorhoeve index adds their absolute changes.[1]
- The Bernstein index: a modulus-growth quantity between nested sets, rather than argument variation along one path.[1]
- Ordinary real Rolle's theorem: a comparison between zeros of a real function and its derivative. It motivates a complex analogue but does not define this index.[1]
- Any analytic function: the function is an input; the index is a calculation on that function along a path.
References¶
[1] A. Khovanskii and S. Yakovenko, “Generalized Rolle Theorem in ℝⁿ and ℂ,” Journal of Dynamical and Control Systems 2, no. 1 (1996): 103–123, doi:10.1007/BF02259625. Author-hosted complete paper inspected: printed p. 103 for the contextual ordinary real Rolle comparison; pp. 104–108 for the normalized interval and contour indices, zero-free condition, derivative inequalities and quasipolynomial theorem; p. 113 for the segment endpoint term; p. 116 for the quasipolynomial proof. It attributes the earlier index to Voorhoeve (1976), whose full paper was not inspected here. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y ↩z
[2] Sergei Yakovenko, “On Zeros of Functions from Bernstein Classes,” Nonlinearity 13, no. 4 (2000): 1087–1094, doi:10.1088/0951-7715/13/4/306. Author-hosted complete published paper inspected: printed p. 1089 for the coefficient class; pp. 1091–1093 for the unnormalized circle index, Rolle–Voorhoeve inequality, derivative majorant, at-most-\(k\) radius theorem, Corollary 3 and sharpness illustration. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k