We may now express in terms of and ,
The last term of may be written , where is the quantity considered in the lemma, and which we proved to be zero when the space is bounded by surfaces, each of which is either equipotential or satisfies the condition of equation (10), which may be written
(4) .
is therefore reduced to the sum of the first and second terms.
In each of these terms the quantity under the sign of integration consists of the sum of three squares, and is therefore essentially positive or zero. Hence the result of integration can only be positive or zero.
Let us suppose the function known, and let us find what values of will make a minimum.
If we assume that at every point , , and , these values fulfil the solenoidal conditions, and the second term of is zero, and is then a minimum as regards the variation of .
For if any of these quantities had at any point values differing from zero, the second term of would have a positive value, and would be greater than in the case which we have assumed.
But if , , and , then
(11) .
Hence these values of make a minimum.
But the values of , as expressed in equations (12), are perfectly general, and include all values of these quantities con sistent with the conditions of the theorem. Hence, no other values of can make a minimum.
Again, is a quantity essentially positive, and therefore is always capable of a minimum value by the variation of . Hence the values of which make a minimum must have a real existence. It does not follow that our mathematical methods are sufficiently powerful to determine them.
Corollary I. If and are given at every point of space, and if we write