v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization v2009.01.01 - Convex Optimization

convexoptimization.com
from convexoptimization.com More from this publisher
10.03.2015 Views

242 CHAPTER 3. GEOMETRY OF CONVEX FUNCTIONS 3.3.2 quasilinear When a function is simultaneously quasiconvex and quasiconcave, it is called quasilinear. Quasilinear functions are completely determined by convex level sets. One-dimensional function f(x) = x 3 and vector-valued signum function sgn(x) , for example, are quasilinear. Any monotonic function is quasilinear 3.21 (but not vice versa, Exercise 3.1.11.0.1). 3.4 Salient properties of convex and quasiconvex functions 1. Aconvex (or concave) function is assumed continuous but not necessarily differentiable on the relative interior of its domain. [266,10] A quasiconvex (or quasiconcave) function is not necessarily a continuous function. 2. convex epigraph ⇔ convexity ⇒ quasiconvexity ⇔ convex sublevel sets. convex hypograph ⇔ concavity ⇒ quasiconcavity ⇔ convex superlevel. monotonicity ⇒ quasilinearity ⇔ convex level sets. 3. 4. log-convex ⇒ convex ⇒ quasiconvex. concave ⇒ quasiconcave ⇐ log-concave ⇐ positive concave. 3.22 (homogeneity) Convexity, concavity, quasiconvexity, and quasiconcavity are invariant to nonnegative scaling of function. g convex ⇔ −g concave g quasiconvex ⇔ −g quasiconcave g log-convex ⇔ 1/g log-concave 5. The line theorem (3.2.3.0.1) translates identically to quasiconvexity (quasiconcavity). [53,3.4.2] 3.21 e.g., a monotonic concave function is quasiconvex, but dare not confuse these terms. 3.22 Log-convex means: logarithm of function f is convex on dom f .

3.4. SALIENT PROPERTIES 243 6. (affine transformation of argument) Composition g(h(X)) of a convex (concave) function g with any affine function h : R m×n → R p×k remains convex (concave) in X ∈ R m×n , where h(R m×n ) ∩ dom g ≠ ∅ . [173,B.2.1] Likewise for the quasiconvex (quasiconcave) functions g . 7. – Any nonnegatively weighted sum of convex (concave) functions remains convex (concave). (3.1.1.0.1) – Any nonnegatively weighted nonzero sum of strictly convex (concave) functions remains strictly convex (concave). – Pointwise supremum (infimum) of convex (concave) functions remains convex (concave). (Figure 64) [266,5] – Any nonnegatively weighted maximum (minimum) of quasiconvex (quasiconcave) functions remains quasiconvex (quasiconcave). – Pointwise supremum (infimum) of quasiconvex (quasiconcave) functions remains quasiconvex (quasiconcave).

242 CHAPTER 3. GEOMETRY OF CONVEX FUNCTIONS<br />

3.3.2 quasilinear<br />

When a function is simultaneously quasiconvex and quasiconcave, it is called<br />

quasilinear. Quasilinear functions are completely determined by convex<br />

level sets. One-dimensional function f(x) = x 3 and vector-valued signum<br />

function sgn(x) , for example, are quasilinear. Any monotonic function is<br />

quasilinear 3.21 (but not vice versa, Exercise 3.1.11.0.1).<br />

3.4 Salient properties<br />

of convex and quasiconvex functions<br />

1.<br />

Aconvex (or concave) function is assumed continuous but not<br />

necessarily differentiable on the relative interior of its domain.<br />

[266,10]<br />

A quasiconvex (or quasiconcave) function is not necessarily a<br />

continuous function.<br />

2. convex epigraph ⇔ convexity ⇒ quasiconvexity ⇔ convex sublevel sets.<br />

convex hypograph ⇔ concavity ⇒ quasiconcavity ⇔ convex superlevel.<br />

monotonicity ⇒ quasilinearity ⇔ convex level sets.<br />

3.<br />

4.<br />

log-convex ⇒ convex ⇒ quasiconvex.<br />

concave ⇒ quasiconcave ⇐ log-concave ⇐ positive concave. 3.22<br />

(homogeneity) <strong>Convex</strong>ity, concavity, quasiconvexity, and<br />

quasiconcavity are invariant to nonnegative scaling of function.<br />

g convex ⇔ −g concave<br />

g quasiconvex ⇔ −g quasiconcave<br />

g log-convex ⇔ 1/g log-concave<br />

5. The line theorem (3.2.3.0.1) translates identically to quasiconvexity<br />

(quasiconcavity). [53,3.4.2]<br />

3.21 e.g., a monotonic concave function is quasiconvex, but dare not confuse these terms.<br />

3.22 Log-convex means: logarithm of function f is convex on dom f .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!