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 givesThis defines a bounded linear functional of , since .
For the Jacobian matrix isThe 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.