Subgradient flow ($\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.