# Dichotomy method

method of division in halves

A method for numerically solving equations in a single unknown. Consider the equation with a continuous function on the interval which takes values of different signs at the end points of the interval and which has a single root within . To find approximately, one divides into halves and calculates the value of at the midpoint . If , one takes the two intervals and and from them selects for the next dichotomy the one at the end points of which the values of the function differ in sign. This continued division into halves gives a sequence which converges to the root with the rate of a geometrical progression:

 (1)

where the bound (1) cannot be improved upon in this class of functions. If has more than one root in , the sequence will converge to one of them.

A method for minimizing a function of one variable. One has to find the minimum

of a unimodal function on an interval and to determine the point at which it is attained. For this, one divides into halves and near the middle calculates the values of at the two points and , where the number is a parameter of the method and is sufficiently small. Then the values and are compared, and on the basis that is unimodal one selects from the two intervals and the one that certainly contains . For example, if , this will be , otherwise . The interval is again divided into halves, and near the middle one takes two points and , compares the values of the function, etc. As a result, one obtains a sequence of midpoints for which

 (2)

As an approximation to the value for sufficiently large is taken.

The name is given to the method because at each step in this algorithm the segment containing the minimum becomes approximately half the length. The dichotomy method is not the best in the class of unimodal functions. There are more effective methods that enable one to use the same number of calculations on the values of the function to obtain an accuracy better than that of (2) (see, for example, the Fibonacci method).

#### References

 [1] B.P. Demidovich, I.A. Maron, "Foundations of computational mathematics" , Moscow (1966) (In Russian) [2] D.J. Wilde, "Optimum seeking methods" , Prentice-Hall (1964)