Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 326 / 3 / b / Solution

An absolutely one-homogeneous functional satisfieswith $J(0)=0$. The printed strictly positive codomain cannot hold at zero; the standard interpretation is a nonnegative, possibly extended-real functional.

For $p\in \partial J(u)$, apply the subgradient inequality at $v=0$:so $⟨p,u⟩\ge J(u)$. Apply it at $v=2u$ and use one-homogeneity:which gives the reverse inequality. ThereforeThis is the Euler identity for a convex one-homogeneous functional; differentiability is unnecessary.