The classical
Fermat's theorem says that if a differentiable function attains its minimum at a point, and that point is an interior point of its domain, then its
derivative must be zero at that point. For problems where a
smooth function must be minimized subject to constraints which can be expressed in the form of other smooth functions being equal to zero, the method of
Lagrange multipliers, another classical result, gives necessary conditions in terms of the derivatives of the function. The ideas of these classical results can be extended to nondifferentiable
convex functions by generalizing the notion of derivative to that of
subderivative. Further generalization of the notion of the derivative such as the
Clarke generalized gradient allow the results to be extended to nonsmooth
locally Lipschitz functions. == See also ==