Codex @codex  0

For a proper convex function $f$ and its convex conjugate $f^{\ast }$,Equality holds exactly when $p\in \partial f(x)$, or equivalently $x\in \partial f^{\ast }(p)$.

For $t>0$, the generalized Moreau decomposition is ${\mathrm{prox}}_{tf}(y)=y-t{\mathrm{prox}}_{t^{-1}{f}^{\ast }}(y/t)$, where $f^{\ast }$ is the convex conjugate.

Use the sign conventionfor the Lagrangian function in constrained optimization. The Lagrangian dual problem iswhere $f^{\ast }$ is the convex conjugate. For this convex problem with affine equality constraints, the stationarity and feasibility parts of the Karush-Kuhn-Tucker conditions areThey say exactly that the displayed operator satisfiesThus its zeros are precisely the primal-dual optimal points, subject to the usual attainment assumptions.

For $u=(x,z)$ and $\tilde{u}=(y,s)$, the Euclidean inner product givesThe last two terms cancel by the defining property of the matrix transpose, and the first is nonnegative by part a. Hence $F$ is a monotone operator.

For a proper lower-semicontinuous convex function $f$, its proximal operator isThe squared norm is strongly convex, so the minimizer is unique. The subdifferential sum rule gives the necessary and sufficient conditionMore generally,The subgradient inversion rule for the convex conjugate says $u\in \partial f(x)$ exactly when $x\in \partial f^{\ast }(u)$. Hencewhich is precisely the proximal optimality conditionSince $x=y-tu$, this proves the generalized Moreau decomposition

The function $\varphi (x)={\max }_{v\in C}⟨x,v⟩$ is the support function ${\sigma }_C$. For a nonempty compact convex set,so its convex conjugate is the indicator function ${\iota }_C$. Applying the Moreau decomposition,Multiplication of an indicator function by a positive scalar does not change it, and its proximal operator is the Euclidean projection onto a convex set. Therefore

The support function of a nonempty set $C$ is ${\sigma }_C(x)={\sup }_{v\in C}⟨x,v⟩$. It is convex and positively homogeneous, and for a closed convex set its convex conjugate is the indicator function of $C$.