Code covered by the BSD License  

Highlights from
Vectorized Bisection Search

4.0

4.0 | 1 rating Rate this file 11 Downloads (last 30 days) File Size: 3.52 KB File ID: #28150
image thumbnail

Vectorized Bisection Search

by Sky Sartorius

 

08 Jul 2010 (Updated 26 Dec 2012)

Find x such that f(x) = target. Vectorization allows for some key advantages over FZERO.

| Watch this File

File Information
Description

[x,fVal,ExitFlag] = BISECTION(f,LB,UB,target,options) finds x +/- TolX (LB < x < UB) such that f(x) = target +/- TolFun.

Any or all of f(scalar), f(array), LB, UB, target, TolX, or TolFun may be scalar or n-dim arrays. All non-scalar arrays must be the same size. All outputs will be this size.

x = BISECTION(f,LB,UB) finds the root(s) of function f on the interval [LB, UB], i.e. finds x such that f(x) = 0 where LB <= x <= UB. f will never be evaluated outside of the interval specified by LB and UB. f should have only one root and f(UB) and f(LB) must bound it. elements of x are NaN for instances where a solution could not be found.

x = BISECTION(f,LB,UB,target) finds x such that f(x) = target.

x = BISECTION(f,LB,UB,target,TolX) will terminate the search when the search interval is smaller than TolX.

x = BISECTION(f,LB,UB,target,options) solves with the default parameters replaced by values in the structure OPTIONS, an argument created with the OPTIMSET function. Used options are TolX and TolFun. Note that OPTIMSET will not allow arrays for tolerances, so set the fields of the options structure manually for non-scalar TolX or TolFun.

Default values are target = 0, TolX = 1e-6, and TolFun = 0.

[x,fVal] = BISECTION(f,...) returns the value of f evaluated at x.

[x,fVal,ExitFlag] = BISECTION(...) returns an ExitFlag that describes the exit condition of BISECTION. Possible values of elements of ExitFlag and the corresponding exit conditions are

   1 Search interval smaller than TolX.
   2 Function value within TolFun of target.
   3 Search interval smaller than TolX AND function value within TolFun of target.
  -1 No solutions found.

Note that there is no iteration limit. This is because BISECTION (with a TolX that won't introduce numerical issues) is guaranteed to converge if f is a continuous function on the interval [UB, LB] and f(x) - target changes sign on the interval. The absolute error is halved at each step so the method converges linearly. BISECTION is a very robust root-finding method. However, Brent's method (such as implemented in FZERO) can converge superlinearly and is as robust. FZERO also has more features and input checking, so use BISECTION in cases where either the optimization toolbox is unavailable or if FZERO would have to be implemented in a loop to solve multiple cases, in which case BISECTION will be much faster because of vectorization.

The user should define LB, UB, target, TolX, and TolFun for each specific application using great care for the following reasons:
-There is no iteration limit, so given an unsolvable task, such as TolX = TolFun = 0, BISECTION remains in an unending loop.
-Spacing between very large floating point numbers is likely to be greater than TolX.
-There is no initial check to make sure that f(x) - target changes sign between LB and UB.
-Very large or very small numbers can introduce numerical issues.

Examples included in help:
Example 1: find cube root of array 'target' without using NTHROOT and compare speed to using FZERO.
Example 2: find roots for varying function coefficients.

Acknowledgements

This file inspired Fuel Fraction Sizing.

MATLAB release MATLAB 8.0 (R2012b)
Tags for This File  
Everyone's Tags
Tags I've Applied
Add New Tags Please login to tag files.
Please login to add a comment or rating.
Comments and Ratings (3)
01 Dec 2012 Sky Sartorius

I just uploaded an entirely new function with almost all new code and documentation and a lot of added features. With so much new code, please let me know if you find a bug.

This is about as far as I'll take this function. I would love to see MathWorks or someone in the community develop a vectorized implementation of Brent's method, i.e. make FZERO vectorized to be able handle array problems. A vectorized FZERO (with a TolFun feature) would be superior to this in every way.

29 Nov 2012 Yoshiaki

There seems to be a typo on line 80:
jnk = f(UB+LB)/2; % test if f returns multiple outputs

It should be
f((UB+LB)/2)

04 Nov 2012 Matthew

Excellent documentation with example. Simple function that works as advertised.

Updates
24 Jul 2010

Vectorized

24 Jul 2010

Vectorized; fixed bug for decreasing functions; some check

02 Nov 2012

better example, fixed some help typos, tested in 2012b

12 Nov 2012

made it possible to handle a function that returns array results for scalar input; changed help a bit and added an example for new awesome feature

19 Nov 2012

fixed a bug that was very rarely throwing out some valid results

27 Nov 2012

fixed bug that sometimes caused premature convergence; redid funcntion halding to get rid of one of the input checks and simplify the code and make it more understandable; changed some of the help documentation

03 Dec 2012

Practically all new code and documentation with added features. A good deal of testing done, but with so much new code, please let me know if you find errors.

26 Dec 2012

New tagline

Contact us