Existence and Uniqueness

Optimization · Axiom Academy

LESSON Existence and Uniqueness Understanding when optimal solutions exist and when they are unique 1. When Does a Solution Exist? The Weierstrass Extreme Value Theorem guarantees that a solution exists under two key conditions: This animation demonstrates how continuity and compactness together ensure the existence of an optimal solution. 2. Compact Sets and Continuous Functions A set is compact if it is both closed (contains all its boundary points) and bounded (fits inside some finite region). Watch how a continuous function on a compact domain is guaranteed to achieve its minimum value. 3. When Solutions Might Not Exist If either condition of Weierstrass theorem fails, optimal solutions may not exist: Unbounded domain: The function values can decrease indefinitely Open domain: The infimum is approached but never attained Discontinuous function: Jumps can prevent attainment of extreme values This animation shows an unbounded problem where the function keeps decreasing as we move toward infinity. 4. Uniqueness: When Is There Exactly One Optimum? Even when a solution exists, there might be multiple optimal points. Strict convexity guarantees uniqueness. Watch how a strictly convex function has exactly one point where the gradient vanishes, ensuring a unique optimal solution. When the objective function is convex but not strictly convex, we may have an entire set of optimal solutions with the same objective value.

This is the written version of the interactive lesson above. See the full Optimization course.