Voorhoeve Index
   HOME

TheInfoList



OR:

In mathematics, the Voorhoeve index is a non-negative
real number In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every re ...
associated with certain functions on the
complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s, named after Marc Voorhoeve. It may be used to extend
Rolle's theorem In calculus, Rolle's theorem or Rolle's lemma essentially states that any real-valued differentiable function that attains equal values at two distinct points must have at least one point, somewhere between them, at which the slope of the tangen ...
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 V_I(f) of a complex-valued function ''f'' that is
analytic Analytic or analytical may refer to: Chemistry * Analytical chemistry, the analysis of material samples to learn their chemical composition and structure * Analytical technique, a method that is used to determine the concentration of a chemical ...
in a complex
neighbourhood A neighbourhood (Commonwealth English) or neighborhood (American English) is a geographically localized community within a larger town, city, suburb or rural area, sometimes consisting of a single street and the buildings lining it. Neighbourh ...
of the real interval I =  'a'', ''b''is given by : V_I(f) = \frac\int_a^b \! \left, \frac \, f(t) \ \,\, dt \, = \frac \int_a^b \! \left, \left(\frac\right) \ \, dt. (Different authors use different normalization factors.)


Rolle's theorem

Rolle's theorem In calculus, Rolle's theorem or Rolle's lemma essentially states that any real-valued differentiable function that attains equal values at two distinct points must have at least one point, somewhere between them, at which the slope of the tangen ...
states that if f is a
continuously differentiable In mathematics, a differentiable function of one Real number, real variable is a Function (mathematics), function whose derivative exists at each point in its Domain of a function, domain. In other words, the Graph of a function, graph of a differ ...
real-valued function on the
real line A number line is a graphical representation of a straight line that serves as spatial representation of numbers, usually graduated like a ruler with a particular origin (geometry), origin point representing the number zero and evenly spaced mark ...
, and f(a)= f(b)=0, where a, then its derivative f' has a zero strictly between a and b. Or, more generally, if N_I(f) denotes the number of zeros of the continuously differentiable function f on the interval I, then N_I(f) \le N_I(f')+1. Now one has the analogue of Rolle's theorem: : V_I(f) \le V_I (f') + \frac12. This leads to bounds on the number of zeros of an analytic function in a complex region.


References

* * {{refend Calculus Complex analysis