Properties and Conditions of Convex Functions
Properties and Conditions of Convex Functions
The Weierstrass Theorem implies that if the objective function in an optimization problem is continuous and the feasible region is compact (closed and bounded), then there exists at least one global optimal solution . This result is significant because it guarantees the existence of an optimal solution under these conditions, making it possible to apply optimization techniques to find this solution with certainty .
A linear combination of convex functions remains convex if each function in the combination is multiplied by a non-negative scalar \( \alpha_i \geq 0 \). This condition preserves convexity because non-negative scalars don't change the curvature property of convex functions. In contrast, the convexity of a combination of non-convex functions cannot be guaranteed by non-negative scalars as non-convexity may introduce local minima that disrupt convexity .
Scalar composition affects the convexity of functions based on the convexity and monotonicity properties of the composing functions. If \( f(x) = h(g(x)) \), the function \( f \) is convex if \( g \) is convex and \( h \) is a convex non-decreasing function, or if \( g \) is concave and \( h \) is a convex non-increasing function . This means that the final composition aligns with the increasing or decreasing nature of the intertwined functions, ensuring convexity or concavity is maintained or transferred .
In convex optimization problems, a local optimum is a point where the function value is less than or equal to the function value for any other nearby points, specifically within some neighborhood \( B(x^*, r) \). A global optimum, however, is a point where the function value is the least across the entire feasible set . For convex functions on convex sets, any local optimum is also a global optimum due to the nature of convexity, which ensures no smaller function values are found outside the local neighborhood .
Convex functions are continuous over the interior of their domain, ensuring there are no abrupt changes in value as one moves through this region . Additionally, convex functions are Lipschitz continuous over every compact subset of their domain, meaning there exists a constant \( L \) such that for any two points \( x \) and \( y \) within the subset, the absolute difference in function values is bounded by \( L \) times the distance between the points .
The transition from equality constraints to inequality constraints in equivalent optimization problems is possible when slack variables are introduced to transform equalities into inequalities. These slack variables ensure that the altered problems still represent the same feasible region by compensating for any difference between the left and right sides of the original equality constraints . Careful manipulation of constraints and conditions on slack variables ensures that the transformed problem retains equivalence to the original .
A function \( f \) is convex if, for any vectors \( x \) and \( h \) in \( \mathbb{R}^n \), the function \( \phi(t) = f(x + th) \) is convex on \( \mathbb{R} \). This condition allows checking convexity on a line by line basis, and if it holds for every line, \( f \) is convex over its entire domain. This implication is crucial in higher dimensions because it provides a simpler method for verifying convexity without directly analyzing the entire multi-dimensional domain .
For convex optimization problems, if the cost function is convex, the set of global optima \( X_{opt} = \text{argmin}_{x \in X} f(x) \) is a convex set. This implies that any convex combination of solutions in \( X_{opt} \) is also an optimal solution . Additionally, if the function is strictly convex, any optimal solution is unique. This is because strict convexity ensures a single point where minimum value is attained, preventing multiple equal optima .
Strict convexity and strong convexity have different implications for the Hessian (second derivative matrix) of a function. A function is strictly convex if its Hessian is positive definite (\( \nabla^2 f(y) \succ 0 \)) for every point \( y \) in its domain, ensuring all eigenvalues are positive . On the other hand, a function is strongly convex if its Hessian satisfies \( \nabla^2 f(y) \succeq mI \) for some \( m > 0 \), indicating a lower bound on the eigenvalues that is strictly greater than zero, but not necessarily full positive definiteness .
A function's level set \( \text{lev}_\alpha(f) = \{x \in \text{dom}(f)|f(x) \leq \alpha \} \) is convex if the function \( f \) itself is convex . This means that if for any value \( \alpha \), the corresponding level set is not convex, then the function is not convex. Quasi-convexity, however, requires only that a function's level sets are convex, even if the function itself might not be convex. Thus, a function can be quasi-convex without being convex, because quasi-convexity relaxes the conditions required for convexity by focusing solely on the convexity of level sets .