Voorhoeve index
In mathematics, the Voorhoeve index is a non-negative real number associated with certain functions on the complex numbers, named after Marc Voorhoeve. It may be used to extend Rolle's theorem from real functions to complex functions, taking the role that for real functions is played by the number of zeros of the function in an interval.
Definition
The Voorhoeve index [math]\displaystyle{ V_I(f) }[/math] of a complex-valued function f that is analytic in a complex neighbourhood of the real interval [math]\displaystyle{ I }[/math] = [a, b] is given by
- [math]\displaystyle{ V_I(f) = \frac{1}{2\pi}\int_a^b \! \left| \frac{d}{dt} {\rm Arg} \, f(t) \right| \,\, dt \, = \frac{1}{2\pi} \int_a^b \! \left| {\rm Im}\left(\frac{f'}{f}\right) \right| \, dt. }[/math]
(Different authors use different normalization factors.)
Rolle's theorem
Rolle's theorem states that if [math]\displaystyle{ f }[/math] is a continuously differentiable real-valued function on the real line, and [math]\displaystyle{ f(a)= }[/math] [math]\displaystyle{ f(b)=0 }[/math], where [math]\displaystyle{ a\lt b }[/math], then its derivative [math]\displaystyle{ f' }[/math] has a zero strictly between [math]\displaystyle{ a }[/math] and [math]\displaystyle{ b }[/math]. Or, more generally, if [math]\displaystyle{ N_I(f) }[/math] denotes the number of zeros of the continuously differentiable function [math]\displaystyle{ f }[/math] on the interval [math]\displaystyle{ I }[/math], then [math]\displaystyle{ N_I(f) \le N_I(f')+1. }[/math]
Now one has the analogue of Rolle's theorem:
- [math]\displaystyle{ V_I(f) \le V_I (f') + \frac12. }[/math]
This leads to bounds on the number of zeros of an analytic function in a complex region.
References
- Voorhoeve, Marc (1976), "On the oscillation of exponential polynomials", Math. Z. 151: 277–294, doi:10.1007/bf01214940
- Khovanskii, A.; Yakovenko, S. (1996), "Generalized Rolle theorem in [math]\displaystyle{ R^n }[/math] and [math]\displaystyle{ C }[/math]", J. Dyn. Control Syst. 2: 103–123, doi:10.1007/bf02259625
 |  |
