Function: gmin - find floating-point approximations to the minimum of an expression on a real interval.

Calling sequence:

gmin( expr, x = a .. b);
gmin( expr, x = a .. b, 'x0');

Parameters:

expr - the expression, involving one variable

x - the variable (a name)

a, b - endpoints of the interval (real constants).

x0 - (optional) a name to use for saving the set of x values at which the minimum is attained.

Description:

gmin computes numerically the minimum value of an expression expr in one variable x on the real interval a .. b (including endpoints).

If the optional third argument is included, it must be a name. It will be assigned the set of x values at which the minimum is attained. Using quotes ( 'x0' ) to delay evaluation ensures that this will work even if x0 has previously been assigned a value.

Only one variable is allowed: the expression must evaluate to a real constant when any constant value in the interval a .. b is substituted for x .

The expression and all subexpressions should have at least two continuous derivatives on the interval. In particular, infinite limits at the endpoints, or indeterminate forms (such as f/g where f and g both approach [Maple Math] or [Maple Math] at the endpoints) may cause trouble.

An exception to the requirements of continuity and differentiability is in the case of an expression defined piecewise, using piecewise , signum , Heaviside , abs , min or max , as long as convert(...,pwlist) can convert it to a list of expressions on different intervals. If this can't be done, an error occurs.

Infinite endpoints are allowed, but are not likely to work unless the limits of the expression at those endpoints are [Maple Math] or finite.

Since numerical techniques are used, the accuracy of the results is limited. In particular, a minimum where the second and third derivatives of the expression are 0 may be hard to locate (the minimum value should be accurate, but the location of the minimum may not be). Increasing Digits should also improve accuracy. Also, if the minimum value is attained at several points, roundoff error may prevent gmin from recognizing that the values at these points are the same.

In some difficult cases gmin may take a very long time. In particular, this will happen if the function is complicated or changes direction rapidly in the interval.

gmin uses evalr to do interval arithmetic, and is therefore subject to the weaknesses of that procedure. In particular, it doesn't work with the two-variable version of arctan .

This function is part of the Maple Advisor Database library, and must be loaded before use by the command readlib(gmin); .

Examples:

> readlib(gmin):

> gmin( x^2/4 + cos(x), x = -Pi .. Pi );

[Maple Math]

> gmin( x^2/4 + cos(x), x = -Pi .. Pi, 'x0');

[Maple Math]

> x0;

[Maple Math]

> gmin(sin(x) + x^2, x = -infinity .. infinity,'x0');

[Maple Math]

> x0;

[Maple Math]

> gmin(x^2,x=2..3,'x0');

[Maple Math]

> x0;

[Maple Math]

> gmin(1/x,x=0..infinity,'x0');

[Maple Math]

> x0;

[Maple Math]

See also:

allsolve , convert(pwlist) , evalr , fsolve , gmax

Maple Advisor Database R. Israel 1998