In
vector calculus
Vector calculus, or vector analysis, is concerned with differentiation and integration of vector fields, primarily in 3-dimensional Euclidean space \mathbb^3. The term "vector calculus" is sometimes used as a synonym for the broader subjec ...
, an invex function is a
differentiable function
In mathematics, a differentiable function of one real variable is a function whose derivative exists at each point in its domain. In other words, the graph of a differentiable function has a non- vertical tangent line at each interior point in ...
from
to
for which there exists a vector valued function
such that
:
for all ''x'' and ''u''.
Invex functions were introduced by Hanson as a generalization of
convex function
In mathematics, a real-valued function is called convex if the line segment between any two points on the graph of the function lies above the graph between the two points. Equivalently, a function is convex if its epigraph (the set of poin ...
s. Ben-Israel and Mond provided a simple proof that a function is invex if and only if every
stationary point
In mathematics, particularly in calculus, a stationary point of a differentiable function of one variable is a point on the graph of the function where the function's derivative is zero. Informally, it is a point where the function "stops" i ...
is a
global minimum
In mathematical analysis, the maxima and minima (the respective plurals of maximum and minimum) of a function, known collectively as extrema (the plural of extremum), are the largest and smallest value of the function, either within a given r ...
, a theorem first stated by Craven and Glover.
Hanson also showed that if the objective and the constraints of an
optimization problem
In mathematics, computer science and economics, an optimization problem is the problem of finding the ''best'' solution from all feasible solutions.
Optimization problems can be divided into two categories, depending on whether the variables ...
are invex with respect to the same function
, then the
Karush–Kuhn–Tucker conditions
In mathematical optimization, the Karush–Kuhn–Tucker (KKT) conditions, also known as the Kuhn–Tucker conditions, are first derivative tests (sometimes called first-order necessary conditions) for a solution in nonlinear programming to be ...
are sufficient for a global minimum.
Type I invex functions
A slight generalization of invex functions called Type I invex functions are the most general class of functions for which the
Karush–Kuhn–Tucker conditions
In mathematical optimization, the Karush–Kuhn–Tucker (KKT) conditions, also known as the Kuhn–Tucker conditions, are first derivative tests (sometimes called first-order necessary conditions) for a solution in nonlinear programming to be ...
are necessary and sufficient for a global minimum.
Consider a mathematical program of the form
where
and
are differentiable functions. Let
denote the feasible region of this program. The function
is a Type I objective function and the function
is a Type I constraint function at
with respect to
if there exists a vector-valued function
defined on
such that
and
for all
.
Note that, unlike invexity, Type I invexity is defined relative to a point
.
Theorem (Theorem 2.1 in
): If
and
are Type I invex at a point
with respect to
, and the
Karush–Kuhn–Tucker conditions
In mathematical optimization, the Karush–Kuhn–Tucker (KKT) conditions, also known as the Kuhn–Tucker conditions, are first derivative tests (sometimes called first-order necessary conditions) for a solution in nonlinear programming to be ...
are satisfied at
, then
is a global minimizer of
over
.
See also
*
Convex function
In mathematics, a real-valued function is called convex if the line segment between any two points on the graph of the function lies above the graph between the two points. Equivalently, a function is convex if its epigraph (the set of poin ...
*
Pseudoconvex function
In convex analysis and the calculus of variations, both branches of mathematics, a pseudoconvex function is a function that behaves like a convex function with respect to finding its local minima, but need not actually be convex. Informally, a d ...
*
Quasiconvex function
In mathematics, a quasiconvex function is a real number, real-valued function (mathematics), function defined on an interval (mathematics), interval or on a convex set, convex subset of a real vector space such that the inverse image of any s ...
References
Further reading
* S. K. Mishra and G. Giorgi, Invexity and optimization, Nonconvex Optimization and Its Applications, Vol. 88, Springer-Verlag, Berlin, 2008.
* S. K. Mishra, S.-Y. Wang and K. K. Lai, Generalized Convexity and Vector Optimization, Springer, New York, 2009.
{{Convex analysis and variational analysis
Convex analysis
Generalized convexity
Real analysis
Types of functions