It appears from the definitions of and that (436) may also be written
|
(440)
|
or
|
|
where the integrations cover all phases. Adding the equation
|
(441)
|
which we get by multiplying (438) and (439), and subtracting (437), we have for the proposition to be proved
|
(442)
|
Let
|
(443)
|
The main proposition to be proved may be written
|
(444)
|
This is evidently true since the quantity in the parenthesis is incapable of a negative value.
[1] Moreover the sign
can hold only when the quantity in the parenthesis vanishes for all phases,
i. e., when
for all phases. This makes
for all phases, which is the analytical condition which expresses that the distributions in phase of the two parts of the system are independent.
Theorem VIII. If two or more ensembles of systems which are identical in nature, but may be distributed differently in phase, are united to form a single ensemble, so that the probability-coefficient of the resulting ensemble is a linear function
- ↑
See Theorem I, where this is proved of a similar expression.