and the superficial characteristic at the surfaces
,
(8)
being a quantity which may be positive or zero but not negative, given at every point of space.
Finally, let represent the triple integral
,
(9)
extended over a space bounded by surfaces, for each of which either
= constant,
or
,
(10)
where the value of is given at every point of the surface; then, if be supposed to vary in any manner, subject to the above conditions, the value of will be a unique minimum, when
.
(11)
Proof.
If we put for the general values of
;
(12)
then, by substituting these values in equations (5) and (7), we find that satisfy the general solenoidal condition
(1) .
We also find, by equations (6) and (8), that at the surfaces of discontinuity the values of and satisfy the superficial solenoidal condition
(2)
.
The quantities , therefore, satisfy at every point the solenoidal conditions as stated in the preceding lemma.