Subgradient flow (source code)

= Subgradient flow
{title2=$\dot x(t)\in-\partial f(x(t))$}

A nonsmooth <gradient flow> driven by the <subdifferential> of a <convex function>. Explicit discretization gives the <forward subgradient step>; implicit discretization gives the <proximal operator>. <Monotonicity of a convex subdifferential> underlies uniqueness and contraction properties.