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

For $u\in L^1(\Omega )$, the total variation seminorm on a domain isUsing $C_c^1$ instead gives the same definition. The zero test field shows nonnegativity, and $\mathrm{TV}(0)=0$, so this is a proper extended-real function. Each test field defines a linear functional of $u$; taking their supremum proves convexity, equivalentlyIt is not strictly convex: two distinct constant functions both have zero total variation, as does every convex combination of them.

The function of bounded variation on a domain space isTotal variation is not coercive on $BV(\Omega )$: for $u_k\equiv k$ on a domain of positive measure, $\Vert u_k{\Vert }_{BV}=k|\Omega |\to \infty$, whereas $\mathrm{TV}(u_k)=0$. This is noncoercivity of total variation on constants; a mean-zero constraint can remove the constant obstruction.