Rosenbrock Function
   HOME

TheInfoList



OR:

In
mathematical optimization Mathematical optimization (alternatively spelled ''optimisation'') or mathematical programming is the selection of a best element, with regard to some criteria, from some set of available alternatives. It is generally divided into two subfiel ...
, the Rosenbrock function is a non-
convex Convex or convexity may refer to: Science and technology * Convex lens, in optics Mathematics * Convex set, containing the whole line segment that joins points ** Convex polygon, a polygon which encloses a convex set of points ** Convex polytop ...
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-orie ...
, introduced by Howard H. Rosenbrock in 1960, which is used as a performance test problem for optimization
algorithm In mathematics and computer science, an algorithm () is a finite sequence of Rigour#Mathematics, mathematically rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algo ...
s. It is also known as Rosenbrock's valley or Rosenbrock's banana function. The
global minimum In mathematical analysis, the maximum and minimum of a function are, respectively, the greatest and least value taken by the function. Known generically as extremum, they may be defined either within a given range (the ''local'' or ''relative' ...
is inside a long, narrow, parabolic-shaped flat valley. To find the valley is trivial. To converge to the global minimum, however, is difficult. The function is defined by :f(x,y) = (a-x)^2 + b(y-x^2)^2 It has a global minimum at (x,y)=(a,a^2), where f(x,y)=0. Usually, these parameters are set such that a = 1 and b = 100. Only in the trivial case where a=0 the function is symmetric and the minimum is at the origin.


Multidimensional generalizations

Two variants are commonly encountered. One is the sum of N/2 uncoupled 2D Rosenbrock problems, and is defined only for even Ns: : f(\mathbf) = f(x_1, x_2, \dots, x_N) = \sum_^ \left 00(x_^2 - x_)^2 + (x_ - 1)^2 \right This variant has predictably simple solutions. A second, more involved variant is : f(\mathbf) = \sum_^
00 (x_ - x_i^2 )^2 + (1-x_i)^2 00, double zero or variants may refer to: Arts and entertainment * 00 Agent, a fictional agent with a license to kill in the ''James Bond'' media * Symphony No. 00 (Bruckner), an alternate name for Bruckner's Symphony in F minor * * Double Zero ...
\quad \mbox \quad \mathbf = (x_1, \ldots, x_N) \in \mathbb^N. has exactly one minimum for N=3 (at (1, 1, 1)) and exactly two minima for 4 \le N \le 7—the global minimum at (1, 1, ..., 1) and a local minimum near \hat = (-1, 1, \dots, 1). This result is obtained by setting the gradient of the function equal to zero, noticing that the resulting equation is a
rational function In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be ...
of x. For small N the
polynomial In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...
s can be determined exactly and
Sturm's theorem In mathematics, the Sturm sequence of a univariate polynomial is a sequence of polynomials associated with and its derivative by a variant of Euclid's algorithm for polynomials. Sturm's theorem expresses the number of distinct real number, real R ...
can be used to determine the number of real
roots A root is the part of a plant, generally underground, that anchors the plant body, and absorbs and stores water and nutrients. Root or roots may also refer to: Art, entertainment, and media * ''The Root'' (magazine), an online magazine focusin ...
, while the roots can be bounded in the region of , x_i, < 2.4. For larger N this method breaks down due to the size of the coefficients involved.


Stationary points

Many of the stationary points of the function exhibit a regular pattern when plotted. This structure can be exploited to locate them.


Optimization examples

The Rosenbrock function can be efficiently optimized by adapting appropriate coordinate system without using any gradient information and without building local approximation models (in contrast to many derivate-free optimizers). The following figure illustrates an example of 2-dimensional Rosenbrock function optimization by adaptive coordinate descent from starting point x_0=(-3,-4). The solution with the function value 10^ can be found after 325 function evaluations. Using the
Nelder–Mead method The Nelder–Mead method (also downhill simplex method, amoeba method, or polytope method) is a numerical method used to find the minimum or maximum of an objective function in a multidimensional space. It is a direct search method (based on ...
from starting point x_0=(-1,1) with a regular initial simplex a minimum is found with function value 1.36 \cdot 10^ after 185 function evaluations. The figure below visualizes the evolution of the algorithm.


See also

*
Test functions for optimization In applied mathematics, test functions, known as artificial landscapes, are useful to evaluate characteristics of optimization algorithms, such as Rate of convergence, convergence rate, precision, robustness and general performance. Here some test ...


References


External links


Rosenbrock function plot in 3D
* {{MathWorld , title=Rosenbrock Function , urlname=RosenbrockFunction Test functions for optimization Polynomials Functions and mappings