Rootfinding and optimization¶
Rootfinding (findroot
)¶

mpmath.
findroot
(f, x0, solver=Secant, tol=None, verbose=False, verify=True, **kwargs)¶ Find a solution to \(f(x) = 0\), using x0 as starting point or interval for x.
Multidimensional overdetermined systems are supported. You can specify them using a function or a list of functions.
If the found root does not satisfy \(f(x)^2 \leq \mathrm{tol}\), an exception is raised (this can be disabled with verify=False).
Arguments
 f
 one dimensional function
 x0
 starting point, several starting points or interval (depends on solver)
 tol
 the returned solution has an error smaller than this
 verbose
 print additional information for each iteration if true
 verify
 verify the solution and raise a ValueError if \(f(x)^2 > \mathrm{tol}\)
 solver
 a generator for f and x0 returning approximative solution and error
 maxsteps
 after how many steps the solver will cancel
 df
 first derivative of f (used by some solvers)
 d2f
 second derivative of f (used by some solvers)
 multidimensional
 force multidimensional solving
 J
 Jacobian matrix of f (used by multidimensional solvers)
 norm
 used vector norm (used by multidimensional solvers)
solver has to be callable with
(f, x0, **kwargs)
and return an generator yielding pairs of approximative solution and estimated error (which is expected to be positive). You can use the following string aliases: ‘secant’, ‘mnewton’, ‘halley’, ‘muller’, ‘illinois’, ‘pegasus’, ‘anderson’, ‘ridder’, ‘anewton’, ‘bisect’See mpmath.calculus.optimization for their documentation.
Examples
The function
findroot()
locates a root of a given function using the secant method by default. A simple example use of the secant method is to compute \(\pi\) as the root of \(\sin x\) closest to \(x_0 = 3\):>>> from mpmath import * >>> mp.dps = 30; mp.pretty = True >>> findroot(sin, 3) 3.14159265358979323846264338328
The secant method can be used to find complex roots of analytic functions, although it must in that case generally be given a nonreal starting value (or else it will never leave the real line):
>>> mp.dps = 15 >>> findroot(lambda x: x**3 + 2*x + 1, j) (0.226698825758202 + 1.46771150871022j)
A nice application is to compute nontrivial roots of the Riemann zeta function with many digits (good initial values are needed for convergence):
>>> mp.dps = 30 >>> findroot(zeta, 0.5+14j) (0.5 + 14.1347251417346937904572519836j)
The secant method can also be used as an optimization algorithm, by passing it a derivative of a function. The following example locates the positive minimum of the gamma function:
>>> mp.dps = 20 >>> findroot(lambda x: diff(gamma, x), 1) 1.4616321449683623413
Finally, a useful application is to compute inverse functions, such as the Lambert W function which is the inverse of \(w e^w\), given the first term of the solution’s asymptotic expansion as the initial value. In basic cases, this gives identical results to mpmath’s builtin
lambertw
function:>>> def lambert(x): ... return findroot(lambda w: w*exp(w)  x, log(1+x)) ... >>> mp.dps = 15 >>> lambert(1); lambertw(1) 0.567143290409784 0.567143290409784 >>> lambert(1000); lambert(1000) 5.2496028524016 5.2496028524016
Multidimensional functions are also supported:
>>> f = [lambda x1, x2: x1**2 + x2, ... lambda x1, x2: 5*x1**2  3*x1 + 2*x2  3] >>> findroot(f, (0, 0)) [0.618033988749895] [0.381966011250105] >>> findroot(f, (10, 10)) [ 1.61803398874989] [2.61803398874989]
You can verify this by solving the system manually.
Please note that the following (more general) syntax also works:
>>> def f(x1, x2): ... return x1**2 + x2, 5*x1**2  3*x1 + 2*x2  3 ... >>> findroot(f, (0, 0)) [0.618033988749895] [0.381966011250105]
Multiple roots
For multiple roots all methods of the Newtonian family (including secant) converge slowly. Consider this example:
>>> f = lambda x: (x  1)**99 >>> findroot(f, 0.9, verify=False) 0.918073542444929
Even for a very close starting point the secant method converges very slowly. Use
verbose=True
to illustrate this.It is possible to modify Newton’s method to make it converge regardless of the root’s multiplicity:
>>> findroot(f, 10, solver='mnewton') 1.0
This variant uses the first and second derivative of the function, which is not very efficient.
Alternatively you can use an experimental Newtonian solver that keeps track of the speed of convergence and accelerates it using Steffensen’s method if necessary:
>>> findroot(f, 10, solver='anewton', verbose=True) x: 9.88888888888888888889 error: 0.111111111111111111111 converging slowly x: 9.77890011223344556678 error: 0.10998877665544332211 converging slowly x: 9.67002233332199662166 error: 0.108877778911448945119 converging slowly accelerating convergence x: 9.5622443299551077669 error: 0.107778003366888854764 converging slowly x: 0.99999999999999999214 error: 10.562244329955107759 x: 1.0 error: 7.8598304758094664213e18 ZeroDivisionError: canceled with x = 1.0 1.0
Complex roots
For complex roots it’s recommended to use Muller’s method as it converges even for real starting points very fast:
>>> findroot(lambda x: x**4 + x + 1, (0, 1, 2), solver='muller') (0.727136084491197 + 0.934099289460529j)
Intersection methods
When you need to find a root in a known interval, it’s highly recommended to use an intersectionbased solver like
'anderson'
or'ridder'
. Usually they converge faster and more reliable. They have however problems with multiple roots and usually need a sign change to find a root:>>> findroot(lambda x: x**3, (1, 1), solver='anderson') 0.0
Be careful with symmetric functions:
>>> findroot(lambda x: x**2, (1, 1), solver='anderson') Traceback (most recent call last): ... ZeroDivisionError
It fails even for better starting points, because there is no sign change:
>>> findroot(lambda x: x**2, (1, .5), solver='anderson') Traceback (most recent call last): ... ValueError: Could not find root within given tolerance. (1.0 > 2.16840434497100886801e19) Try another starting point or tweak arguments.
Solvers¶

class
mpmath.calculus.optimization.
Secant
(ctx, f, x0, **kwargs)¶ 1dsolver generating pairs of approximative root and error.
Needs starting points x0 and x1 close to the root. x1 defaults to x0 + 0.25.
Pro:
 converges fast
Contra:
 converges slowly for multiple roots

class
mpmath.calculus.optimization.
Newton
(ctx, f, x0, **kwargs)¶ 1dsolver generating pairs of approximative root and error.
Needs starting points x0 close to the root.
Pro:
 converges fast
 sometimes more robust than secant with bad second starting point
Contra:
 converges slowly for multiple roots
 needs first derivative
 2 function evaluations per iteration

class
mpmath.calculus.optimization.
MNewton
(ctx, f, x0, **kwargs)¶ 1dsolver generating pairs of approximative root and error.
Needs starting point x0 close to the root. Uses modified Newton’s method that converges fast regardless of the multiplicity of the root.
Pro:
 converges fast for multiple roots
Contra:
 needs first and second derivative of f
 3 function evaluations per iteration

class
mpmath.calculus.optimization.
Halley
(ctx, f, x0, **kwargs)¶ 1dsolver generating pairs of approximative root and error.
Needs a starting point x0 close to the root. Uses Halley’s method with cubic convergence rate.
Pro:
 converges even faster the Newton’s method
 useful when computing with many digits
Contra:
 needs first and second derivative of f
 3 function evaluations per iteration
 converges slowly for multiple roots

class
mpmath.calculus.optimization.
Muller
(ctx, f, x0, **kwargs)¶ 1dsolver generating pairs of approximative root and error.
Needs starting points x0, x1 and x2 close to the root. x1 defaults to x0 + 0.25; x2 to x1 + 0.25. Uses Muller’s method that converges towards complex roots.
Pro:
 converges fast (somewhat faster than secant)
 can find complex roots
Contra:
 converges slowly for multiple roots
 may have complex values for real starting points and real roots

class
mpmath.calculus.optimization.
Bisection
(ctx, f, x0, **kwargs)¶ 1dsolver generating pairs of approximative root and error.
Uses bisection method to find a root of f in [a, b]. Might fail for multiple roots (needs sign change).
Pro:
 robust and reliable
Contra:
 converges slowly
 needs sign change

class
mpmath.calculus.optimization.
Illinois
(ctx, f, x0, **kwargs)¶ 1dsolver generating pairs of approximative root and error.
Uses Illinois method or similar to find a root of f in [a, b]. Might fail for multiple roots (needs sign change). Combines bisect with secant (improved regula falsi).
The only difference between the methods is the scaling factor m, which is used to ensure convergence (you can choose one using the ‘method’ keyword):
 Illinois method (‘illinois’):
 m = 0.5
 Pegasus method (‘pegasus’):
 m = fb/(fb + fz)
 AndersonBjoerk method (‘anderson’):
 m = 1  fz/fb if positive else 0.5
Pro:
 converges very fast
Contra:
 has problems with multiple roots
 needs sign change

class
mpmath.calculus.optimization.
Pegasus
¶ 1dsolver generating pairs of approximative root and error.
Uses Pegasus method to find a root of f in [a, b]. Wrapper for illinois to use method=’pegasus’.

class
mpmath.calculus.optimization.
Anderson
¶ 1dsolver generating pairs of approximative root and error.
Uses AndersonBjoerk method to find a root of f in [a, b]. Wrapper for illinois to use method=’pegasus’.

class
mpmath.calculus.optimization.
Ridder
(ctx, f, x0, **kwargs)¶ 1dsolver generating pairs of approximative root and error.
Ridders’ method to find a root of f in [a, b]. Is told to perform as well as Brent’s method while being simpler.
Pro:
 very fast
 simpler than Brent’s method
Contra:
 two function evaluations per step
 has problems with multiple roots
 needs sign change

class
mpmath.calculus.optimization.
ANewton
(ctx, f, x0, **kwargs)¶ EXPERIMENTAL 1dsolver generating pairs of approximative root and error.
Uses Newton’s method modified to use Steffensens method when convergence is slow. (I.e. for multiple roots.)

class
mpmath.calculus.optimization.
MDNewton
(ctx, f, x0, **kwargs)¶ Find the root of a vector function numerically using Newton’s method.
f is a vector function representing a nonlinear equation system.
x0 is the starting point close to the root.
J is a function returning the Jacobian matrix for a point.
Supports overdetermined systems.
Use the ‘norm’ keyword to specify which norm to use. Defaults to maxnorm. The function to calculate the Jacobian matrix can be given using the keyword ‘J’. Otherwise it will be calculated numerically.
Please note that this method converges only locally. Especially for high dimensional systems it is not trivial to find a good starting point being close enough to the root.
It is recommended to use a faster, lowprecision solver from SciPy [1] or OpenOpt [2] to get an initial guess. Afterwards you can use this method for rootpolishing to any precision.
[1] http://scipy.org