🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Session Objectives & Overview

By the end of this session, you will be able to:

  • Formulate and locate critical points (βˆ‡f=0\nabla f = \mathbf{0} or undefined) for functions of two and three variables, construct the Hessian matrix and discriminant D=fxxfyyβˆ’(fxy)2D = f_{xx}f_{yy} - (f_{xy})^2, and rigorously classify candidates as local minima, local maxima, saddle points, or inconclusive.
  • Execute the 3-tier candidate search strategy (interior critical points, boundary edge parameterization, and corner vertices) to evaluate global extrema for continuous multivariable functions on closed and bounded planar regions under the Extreme Value Theorem.
  • Formulate and solve constrained multivariable optimization models using the method of Lagrange multipliers (βˆ‡f=Ξ»βˆ‡g\nabla f = \lambda \nabla g), resolve non-linear coordinate systems, and interpret the multiplier Ξ»\lambda as a quantitative measure of physical system sensitivity and shadow pricing.

πŸ“… Micro-Lecture

1. Unconstrained Extrema & The Curvature Hessian

  • Mathematical Foundation: In multivariable modeling, stationary equilibrium states occur where the gradient vector vanishes: βˆ‡f=0\nabla f = \mathbf{0}, creating a completely horizontal tangent plane z=f(a,b)z = f(a, b). As established in Critical Points in Multivariable Functions, stationary points represent candidates for local peaks, valleys, or directional inflection saddles. To classify these candidates, The Second Derivative Test inspects the determinant of the Hessian curvature matrix D=fxxfyyβˆ’(fxy)2D = f_{xx}f_{yy} - (f_{xy})^2. If D>0D > 0, the surface curves uniformly in all directions (concave up for fxx>0β€…β€ŠβŸΉβ€…β€Šf_{xx} > 0 \implies local min; concave down for fxx<0β€…β€ŠβŸΉβ€…β€Šf_{xx} < 0 \implies local max). If D<0D < 0, the surface bends upward in one cross-section and downward in a transverse cross-section, forming a saddle point.
  • Engineering Context: Aerospace engineers optimize airfoil lift-to-drag performance surfaces E(Ξ±,Ξ²)E(\alpha, \beta); a true local maximum (D>0,EΞ±Ξ±<0D > 0, E_{\alpha\alpha} < 0) guarantees cruise stability, whereas a saddle point exposes the aircraft to violent aerodynamic pitching oscillations.

2. Compact Domains & The Multi-Tier Boundary Search

  • Mathematical Foundation: Engineering designs rarely operate across an infinite plane; physical systems are restricted to compact (closed and bounded) operating envelopes. Under the Extreme Value Theorem (explored in Extrema on Closed and Bounded Regions), a continuous multivariable function on a closed and bounded domain is guaranteed to attain an absolute maximum and minimum. Because global extrema frequently reside on perimeter boundaries or structural vertices rather than at interior stationary points, engineers must execute a systematic 3-tier search: interior critical points, 1D parameterized boundary edges, and geometric corner vertices.
  • Engineering Context: Geotechnical engineers evaluate contact soil bearing pressure P(x,y)P(x, y) under heavy foundation footings to guarantee that peak stresses along foundation edges or corner toes do not exceed the soil's ultimate bearing capacity, preventing structural punch-through failure.

3. Constrained Surfaces & The Method of Lagrange Multipliers

  • Mathematical Foundation: When optimization variables are strictly bound to an equation constraint g(x,y,z)=kg(x, y, z) = k (such as fixed material mass, trajectory pathways, or fluid flow cross-sections), interior gradients do not vanish. Instead, as proven in Lagrange Multipliers, an extreme value along the constraint path occurs when the constraint curve is tangent to a level set of the objective function. Because their tangent lines coincide, their normal gradient vectors are parallel: βˆ‡f=Ξ»βˆ‡g\nabla f = \lambda \nabla g. The scalar multiplier Ξ»\lambda represents the marginal sensitivity (shadow price) of the system: Ξ»=dfoptdk\lambda = \frac{d f_{\text{opt}}}{d k}.
  • Engineering Context: Satellite mission analysts minimize orbit-raising propulsion fuel burn metrics subject to an orbital insertion velocity plane, where Ξ»\lambda quantifies the exact propellant mass penalty per unit increase in required mission delta-V.