Detailed Information - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


fsolve

solve one or more equations using floating-point arithmetic

 

Calling Sequence

Parameters

Basic Information

Description

Calling Sequence Shortcuts

Output

Units

Optional Arguments

Examples

References

Compatibility

Calling Sequence

fsolve(equations, variables, complex, fulldigits, useunits, interval, starting_values, options)

Parameters

equations

-

equation, set(equation), list(equation), procedure, list(procedure)

variables

-

(optional) name or set(name); unknowns for which to solve

complex

-

(optional) literal name; search for complex solutions

fulldigits

-

(optional) literal name; use Digits setting for all computations

useunits

-

(optional) literal name; deal with units returned by procedures that aren't autodetected

interval

-

(optional) range, equation, set(equation), or list(range); specify a range in which to search for solutions

starting_values

-

(optional) equation, set(equation), or list(value); specify initial value used by solver. You cannot specify the variables option if you specify this option.

options

-

(optional) equation(s) of the form option=value where option is one of avoid, maxsols, useunits, method, digits, absftol, epsilon; specify solution options

Basic Information

• 

This help page contains complete information about the fsolve command. For basic information on the fsolve command, see the fsolve help page.

Description

• 

The fsolve command numerically solves one or more equations for their unknowns.

Calling Sequence Shortcuts

• 

In the equations parameter, if you specify an expression expr, Maple interprets it as the equation expr=0.

• 

If you do not specify the variables parameter, Maple solves for all the variables that appear in equations, that is, indets(equations, name).

Output

• 

The solutions to a single equation are returned as an expression sequence.

• 

The solutions to a set or list of equations are returned as sets of equation sequences.

• 

The solutions to a list of procedures are returned as a sequence of values.

  

Note: If you specify a single equation and a set of variables, the solutions are returned as sets of equation sequences.

• 

For a single polynomial equation of one variable, the fsolve command computes all real (non-complex) roots. It may not return all roots for exceptionally ill-conditioned polynomials.

  

To compute all roots of a polynomial over the field of complex numbers, use the complex option.

• 

For a general equation or system of equations or procedures, the fsolve command computes a single real root.

• 

If the fsolve command does not find any solutions, it returns the empty sequence (NULL) or returns unevaluated. This means that there are no solutions, or the fsolve command cannot find any solutions.

  

It is recommended that you specify an interval option. This may return a solution that was not initially found.

  

If the fsolve command returns no solution to a general equation or system of equations, you can search for a complex solution by specifying the complex option In addition, you can also specify a complex interval or complex starting_values option.

Units

• 

The fsolve command can deal with expressions and procedures that involve units in most situations. Unit handling is active in the following situations:

– 

If equations is an equation or expression or collection of equations or expressions, then one can specify all of the following with units: an interval for one of the variables, an initial value, or a point to be avoided. If more than one of these values is specified for a single variable (as is always the case when specifying an interval: there are two bounds), then fsolve chooses one of the values to provide the unit that all other values for this variable are converted to. If a value cannot be converted to this unit, then the arguments are not specified properly and fsolve aborts with an error message.

  

In this case, the value(s) returned by fsolve for such a variable will have the proper unit attached.

– 

The same functionality is available if equations is a procedure or collection of procedures.

– 

If equations is an equation or expression or collection of equations or expressions, and a unit occurs inside it (as found by the hastype command), then the fsolve command will attempt to strip the unit off of the result before numerical evaluation.

– 

If equations is a procedure or collection of procedures, then fsolve cannot detect if any units occur inside it. Instead, if any of the input values have units as described above, then each procedure is wrapped in another procedure that strips the unit off of the result before returning it. In some cases, the input arguments provided for the procedure(s) do not have units, but the output does; this situation cannot be detected automatically. In such a case, use the useunits option to force wrapping of the procedures.

Optional Arguments

avoid

  

avoid = set(equation) or set(set(equation)) or set(list(values)) or set(values)

  

For example, avoid = {x=0, x=1}, avoid = {{x=0, y=0}, {x=0, y=exp(1)}} or avoid = {[0, 1]}.

  

Avoid specified values when searching for roots. The left-hand side of each equation must be a variable name, unless equations is a list of procedures in which case only the right-hand side value must be provided. The right-hand side is the corresponding numeric value to avoid. To avoid values for a single variable, specify a set of equations. To avoid values for multiple variables, specify a set of sets of equations. To avoid values for a list of procedures, specify a set of lists of numeric values. To avoid values for a single procedure, specify a set of numeric values.

  

When using the avoid option, it is recommended that you specify a starting_values option to facilitate converging to a different solution.

  

 

complex

  

complex

  

Find one root (or all roots, for polynomials) over the complex floating-point numbers.

  

 

fulldigits

  

fulldigits

  

Prevent fsolve from decreasing Digits for intermediate calculations at high settings of Digits.  With this option, fsolve may escape ill-conditioning problems, but is slower.

  

 

useunits option

  

useunits

  

useunits = list or set of variable/unit pairs

  

useunits = list of units

  

The fsolve command can automatically deal with equations and expressions that contain units in most situations, and procedures that contain units if the units are given in initial values or ranges, as explained in the Units section. This option can be used in three ways:

• 

When used as just the keyword useunits, this option turns on code for dealing with units if those units had not been detected from the presence in other arguments. This is particularly useful if you specify procedures that return a value with units.

• 

When used to specify a list or set of variable/unit pairs, such as x :: Unit(m), which is possible only if expressions or equations, rather than procedures, are submitted to fsolve, then this associates the given unit with the given variable. This is particularly useful if no initial value or range can be specified for the variable, or if the initial point is 0 (with which no unit can be associated in Maple).

• 

When used to specify a list of units, such as Unit(m), which is possible only if procedures, rather than expressions or equations, are submitted to fsolve, then this associates the given units with the arguments to the procedure, in the order they are given. The number of units given must equal the number of arguments to the procedure.

  

 

interval option

  

range, equation, set(equation), or list(range)

  

For example, 1..2, x = 1..2, {x = 1..2, y = 10..20}, or [1..2, 10..20].

  

Search for roots only in the specified interval. The ranges are closed intervals. That is, the endpoints are included in the range. The left-hand side of each equation must be a variable name, unless equations is a list of procedures in which case only the right-hand side range values must be provided. The right-hand side is the corresponding interval to search. To specify a range for a single variable, specify an equation. To specify a range for multiple variables, specify a set of equations. To specify a range for a list of procedures, specify a list of ranges.

  

In conjunction with the complex option, you can specify a complex interval (rectangle in the complex plane) option using the syntax lower_left_point..upper_right_point, for example, x = -1 - I..1 + I.

  

 

maxsols

  

maxsols = posint

  

Find only the specified number of least roots. This option is valid only for a single univariate polynomial equation, in which case the fsolve command computes more than one root.

  

 

method

  

method = NAG, hefroots, ABND, RC, RS, PW, HR, subdivide, or NextZero

  

Use the specified method for the numeric root finding of an equation of one variable. The methods NAG, ABND, RC, RS, PW, HR, and hefroots pertain to a polynomial in one variable.

The default for a polynomial is to utilize RootFinding:-Isolate with none of its methods specified. The methods ABND, RC, RS, PW and HR are passed to RootFinding:-Isolate, if specified. Specifying either the PW or HR method allows non-real (complex) solutions to be returned, unless the option real is specified.

The NAG method utilizes a modified Laguerre algorithm, followed by iterated root polishing.

  

The methods subdivide and NextZero pertain to an equation in one variable that is not a polynomial. The method subdivide repeatedly subdivides the specified range amongst roots already found. The method NextZero uses the command RootFinding:-NextZero to repeatedly search past the last root found. The method subdivide may be more suitable for discontinuous expressions or those with non-isolated roots.  When either method = subdivide or method = NextZero is specified, the maxsols option must also be provided.

  

 

starting_values option

  

equation or set(equation)

  

For example, x = 1.2, {x = 1.2, y = 10}, or [1.2, 10].

  

Specify starting values for the variables. You cannot specify the variables option if you specify this option.  If the method that fsolve chooses for a particular problem requires more than one starting value, then the additional values are generated by perturbing the given starting values.

digits, absftol, and epsilon options

  

The digits keyword option takes a positive integer that specifies the maximal working precision (Digits) that will be set by fsolve. If not specified the value may be increased according to the algorithm.

  

The absftol keyword option takes a positive float that specifies an acceptance criterion for the norm of the forward error. If not specified the value will be set according to the algorithm.

  

The epsilon keyword option takes a positive float that specifies an acceptance criterion for the norm of the change in the variables for the current iteration step. If not specified the value will be set according to the algorithm.

Examples

A Polynomial equation in one variable

Finding solutions to univariate polynomials

  

By default, the fsolve command finds all real solutions to a univariate polynomial equation.

polynomial23x5+105x410x2+17x:

fsolvepolynomial

−4.536168981,−0.6371813185,0.

(1)

Using the maxsols option

  

To find only 2 real solutions, use the maxsols option.

fsolvepolynomial,x,maxsols=2

−4.536168981,−0.6371813185

(2)

Finding only real solutions in an interval

  

To find only real solutions in an interval, specify the interval.

fsolvepolynomial,x,1..1

−0.6371813185,0.

(3)

Finding complex solutions

  

To find all the complex solutions, specify the complex option.

fsolvepolynomial,x,complex

−4.536168981,−0.6371813185,0.,0.30406645430.4040619058I,0.3040664543+0.4040619058I

(4)

General Equations and Systems of Equations

Finding solutions to a general solution or system of equations

  

By default, the fsolve command finds one real solution to a general equation or system of equations.

fsolvetansinx=1

0.9033391108

(5)

Specifying the interval for a solution

  

You can specify the interval in which to search for a solution.

fsinx+yexpxy=0:

gx2y=2:

fsolvef,g,x=1..1,y=2..0

x=−0.6687012050,y=−1.552838698

(6)

Specifying a list of procedures as input

  

You can also specify a list of procedures as input.

f := proc(x,y) sin(x + y) - exp(x)*y end proc:

g := proc(x,y) x^2 - y - 2 end proc:

fsolvef,g,1..1,2..0

−0.66870120500236006,−1.5528386984284155

(7)

Using the complex option to find complex solutions

  

If an equation has no real solutions or you are interested in complex solutions, you can search for a complex solution using the complex option.

flnv=v2

flnv=v2

(8)

fsolvef

fsolvelnv=v2,v

(9)

fsolvef,v,complex

0.61436324540.6810654878I

(10)

Specifying a complex interval

  

To find a complex solution in a rectangle in the complex plane, specify a complex interval.

fsolvef,v,v=1I..1+0.5I,complex

0.61436324540.6810654878I

(11)

fsolvef,v,v=10.5I..1+I,complex

0.6143632454+0.6810654878I

(12)

Examples with units

  

Consider the following model of a parabolic suspension cable. We specify the length of a cable and the sag, and we want to know what the span covered by that cable is. According to Karnovsky and Lebed (see References), we have

cable_length=intsqrt1+4ratio22xspan12&comma;x=0..spanassuming0<span,0<ratio

cable_length=span416ratio2+1ratio+arcsinh4ratio8ratio

(13)
  

where ratio=sagspan. Approximating for ratio near 0:

lhs=seriesrhs&comma;ratio&comma;8

cable_length=span+83spanratio2325spanratio4+2567spanratio6+Oratio8

(14)

evalconvert&comma;polynom&comma;ratio=sagspan

cable_length=span+8sag23span32sag45span3+256sag67span5

(15)

cable_length100Unitft

cable_length100ft

(16)

sag2.738Unitft

sag2.738ft

(17)

fsolve&comma;span=10Unitft..1000Unitft

99.80004926ft

(18)
  

We reformulate the same problem in terms of a procedure.

punapplyrhslhs&comma;span

pspanspan+19.99105067spanft2359.6778961span3ft4+15407.86938span5ft6100ft

(19)

fsolvep&comma;10Unitft..1000Unitft

99.80004926ft

(20)
  

A range can be specified with different units, but they have to be consistent - otherwise the fsolve command issues an error message.

fsolve&comma;span=10Unitft..100Unitm

99.80004926ft

(21)

fsolve&comma;span=10Unitft..1000Units

Error, (in fsolve) units problem, right range limit span = 1000*Units:-Unit(s) is not compatible with Units:-Unit(ft)

  

If we want the result in fathoms, we can associate that unit with the variable span, even if we do not supply a range.

fsolve&comma;span&comma;useunits=span::Unitfathom

16.63334154fathom

(22)

Other Options

Using the avoid option to ignore solutions

  

To ignore solutions, use the avoid option.

fsolvesinx&comma;x=5..8&comma;avoid=x=0&comma;x=π&comma;x=π

6.283185307

(23)

fsolvecos&comma;5..3&comma;avoid=1.570796327&comma;1.570796327

−4.712388980

(24)
  

To find a solution near a value, specify a starting value.

fsolvesinx&comma;x=3.1

3.141592654

(25)

Using the avoid option to find additional solutions

  

In the following example, fsolve(f, 1.0), 1.0 is the initial value for the solver. After finding a solution, to find additional solutions, use the avoid option in subsequent fsolve calls.

fxxcosx&colon;

fsolvef&comma;1.0

0.7390851332

(26)

f,g1x2y2,x2+y21

f,gx2y2+1,x2+y21

(27)

S1fsolvef&comma;g&comma;x=1.0&comma;y=0.1

S1x=−0.9949874371&comma;y=0.1

(28)

S2fsolvef&comma;g&comma;x=1.0&comma;y=0.1&comma;avoid=S1

S2x=0.9949874371&comma;y=−0.1

(29)

S3fsolvef&comma;g&comma;x=0.1&comma;y=0.5&comma;avoid=S1&comma;S2

S3x=0.1&comma;y=0.9949874371

(30)

fsolvef&comma;g&comma;x=0.1&comma;y=0.5&comma;avoid=S1&comma;S2&comma;S3

x=−0.1&comma;y=−0.9949874371

(31)

Using the digits, absftol, and epsilon options to specify acceptance criteria

  

The digits keyword option takes a positive integer that specifies the maximal working precision (Digits) that will be set by fsolve. If not specified the value may be increased according to the algorithm.

  

The absftol keyword option takes a positive float that specifies an acceptance criterion for the norm of the forward error. If not specified the value will be set according to the algorithm.

  

The epsilon keyword option takes a positive float that specifies an acceptance criterion for the norm of the change in the variables for the current iteration step. If not specified the value will be set according to the algorithm.

  

The following example does pass through zero, though its absolute forward error can be made small. Without specifiying extra options no root will be accepted, and fsolve returns unevaluated.

fxxπ2x+π+1.×10−14&colon;

fsolvef&comma;4..4

−3.141592654

(32)

By specifying the digits option approximate roots can be found that have small enough absolute forward error.

fxxπ2x+π2+1.×10−14&colon;

fsolvef&comma;4..4&comma;digits=20

−3.141592638

(33)

fsolvef&comma;4..4&comma;digits=20&comma;maxsols=2

−3.141593167,−3.141592695

(34)

fsolvesinx&comma;x=0..&comma;method=subdivide&comma;maxsols=5

3.141592654,6.283185307,9.424777961,12.56637061,18.84955592

(35)

References

  

I.A. Karnovsky and O. Lebed, Advanced Methods of Structural Analysis, Springer, 2010.

Compatibility

• 

The method option was introduced in Maple 2023.

• 

For more information on Maple 2023 changes, see Updates in Maple 2023.

• 

The fsolve command was updated in Maple 2024.

• 

The digits, absftol and epsilon options were introduced in Maple 2024.

• 

The method option was updated in Maple 2024.

• 

For more information on Maple 2024 changes, see Updates in Maple 2024.

See Also

Digits

dsolve/numeric

isolve

msolve

Numeric Computation in Maple

pdsolve/numeric

RootFinding:-Analytic

RootFinding:-Isolate

rsolve

solve