Maximal monotone operator
= Maximal monotone operator
A <monotone operator> is maximal when its graph has no proper enlargement that is still monotone. In Euclidean or Hilbert space, its <resolvent of a monotone operator> is single-valued and everywhere defined for every positive step. Subdifferentials of proper <lower semicontinuous> <convex functions> are fundamental examples.