Convex optimization

From Wikipedia, the free encyclopedia

Convex optimization is a subfield of mathematical optimization. Given a real vector space X \ together with a convex, real-valued function

f:\mathcal{X}\to \mathbb R

defined on a convex subset \mathcal{X} of X \, the problem is to find the point x^* \ in \mathcal{X} for which the number f(x) \ is smallest.

The convexity of \mathcal{X} and f \ make the powerful tools of convex analysis applicable: the Hahn-Banach theorem and the theory of subgradients lead to a particularly satisfying and complete theory of necessary and sufficient conditions for optimality, a duality theory comparable in perfection to that for linear programming, and effective computational methods. Convex optimization has applications in a wide range of disciplines, such as automatic control systems, estimation and signal processing, communications and networks, electronic circuit design, data analysis and modeling, statistics, and finance. Modern computing power has improved the tractability of convex optimization problems to a level roughly equal to that of linear programming.

Contents

The following statements are true about the convex optimization problem:

  • if a local minimum exists, then it is a global minimum
  • the set of all (global) minima is convex
  • if the function is strictly convex, then there exists at most one minimum

The theoretical framework for convex optimization uses the facts above in conjunction with notions from convex analysis such as the Hilbert projection theorem, the separating hyperplane theorem, and Farkas's lemma.

Standard form is the usual and most intuitive form of describing a convex optimization problem. It consists of the following three parts:

  • A convex function f_0(x): \mathbb{R}^n \to \mathbb{R} to be minimized over the variable x \
  • Inequality constraints of the form f_i(x) \leq 0, where the functions f_i \ are convex
  • Equality constraints of the form hi(x) = 0, where the functions h_i \ are affine. In practice, the terminology "linear" and "affine" are generally equivalent and most often expressed in the form Ax = b \, where A \ is a matrix and b \ is a vector.

A convex optimization problem is thus written as

minimize \ f_0(x) \ subject to

f_i(x) \leq 0, \quad i = 1,\dots,m
h_i(x) = 0, \quad i = 1, \dots,p

Hierarchical representation of common convex optimization problems
Hierarchical representation of common convex optimization problems

The following problems are all convex optimization problems, or can be transformed into convex optimization problems via a change of variables:


In a significant example, the set \mathcal{X} is defined by a system of inequalities involving m convex functions g1, g2, ..., gm defined on X, like this:

\mathcal{X} = \left\lbrace{x\in X \vert g_1(x)\le0, \ldots, g_m(x)\le0}\right\rbrace.

The Lagrange function for the problem is

L(x,λ0,...,λm) = λ0f(x) + λ1g1(x) + ... + λmgm(x).

For each point x in A that minimizes f over A, there exist real numbers λ0, ..., λm, called Lagrange multipliers, that satisfy these conditions simultaneously:

  1. x minimizes L(y, λ0, λ1, ..., λm) over all y in X,
  2. λ0 ≥ 0, λ1 ≥ 0, ..., λm ≥ 0, with at least one λk>0,
  3. λ1g1(x) = 0, ... , λmgm(x) = 0

If there exists a "strictly feasible point", i.e., a point z satisfying

g1(z) < 0,...,gm(z) < 0,

then the statement above can be upgraded to assert that λ0=1.

Conversely, if some x in A satisfies 1)-3) for scalars λ0, ..., λm with λ0 = 1, then x is certain to minimize f over A.

The following methods are used in solving convex optimization problems:

Although most general-purpose nonlinear equation solvers such as LSSOL, LOQO, MINOS, and Lancelot work well, many software packages dealing exclusively with convex optimization problems are also available:

  • Rockafellar, R. T. (1970). Convex analysis. Princeton: Princeton University Press. 
  • Luenberger, David (1984). Linear and Nonlinear Programming. Addison-Wesley. 
  • Luenberger, David (1969). Optimization by Vector Space Methods. Wiley & Sons. 
  • Bertsekas, Dimitri (2003). Convex Analysis and Optimization. Athena Scientific. 
  • Hiriart-Urruty, Jean-Baptiste, and Lemaréchal, Claude. (2004). Fundamentals of Convex analysis. Berlin: Springer.
  • Borwein, Jonathan, and Lewis, Adrian. (2000). Convex Analysis and Nonlinear Optimization. Springer.
  • Berkovitz, Leonard (2001). Convexity and Optimization in \mathbb{R}^n. John Wiley & Sons. 
  • Ruszczynski, Andrzej (2006). Nonlinear Optimization. Princeton University Press. 

Advanced Search
Included Web Search Engines


Safe Search

close

Top Matching Results

Occasionally Search.com will highlight specialized results that are based on the context of your query. Examples of specialized results include specific links to news, images, or video.

Top Matching Results may highlight information from other Search.com pages, content from the CNET Network of sites, or third party content. The listings are based purely on relevance. Search.com does not receive payment for listings in this section but our partners that provide this data may get paid for listing these products.

Sponsored Links

This section contains paid listings which have been purchased by companies that want to have their sites appear for specific search terms and related content. These listings are administered, sorted and maintained by a third party and are not endorsed by Search.com.

Search Results

Search.com sends your search query to several search engines at one time and integrates the results into one list which has been sorted by relevance using Search.com's proprietary algorithm. You can customize the list of search engines included in your metasearch from the preferences.

The search engines that are used in your metasearch may allow companies to pay to have their Web sites included within the results. To view the Paid Inclusion policy for a specific search engine, please visit their Web site. Search.com does not accept payment or share revenue with any search engine partner for listings in this section.