The graph area functional is finite on , since and has finite volume. For , , the difference quotient of is bounded in absolute value by . This is integrable by the Cauchy-Schwarz inequality. The dominated convergence theorem therefore gives
This defines a bounded linear functional of , since .
For the Jacobian matrix is
The inequality follows from the Cauchy-Schwarz inequality. Integrating this derivative along the segment between any two gradients shows . Integrating over proves that is a monotone operator.
It is not coercive on . The constant functions satisfy but . Thus .