We begin by extending the functions ,
, and
from
quantities
which are refer to chemical energy per unit mole, surface
energy
per unit area, and distance traveled per unit time to
quantities
which refer to the `free energy' of a system containing a specified
number of moles or a surface with an specified area, or the `distance'
that an interface has moved in a specified time.
In thermodynamics these are called extensive variables.[45]
In the mathematics literature such functions are called
homogeneous degree one (HD1)
[39]
and are defined by the property:
We limit ourselves to positive homogeneity where is a
real and positive scalar.
When we homogeneously extend the three functions (,
,
),
by
letting
be the number of moles
, the area
,
or the time
, we
obtain:
where is the number of moles,
, and
is a vector that represents a surface. Its direction is
along the outward normal
and its length is the
area
;
, or
.
Its components
are the projected areas along the three coordinate
axes.
represents the
distance the interface with orientation
will travel in time
in
a direction parallel to
.
Note that is the familiar extensive function from
solution thermodynamics. We do not change the symbol for the
functions, e.g.
and
are the
function, but the later is
restricted to a restricted set (
) of the space
of systems of all sizes and compositions, parameterized by
.
Note also that
, where
is
the amount of component
, while
. The difference in form between these two expressions
will be seen to have important consequences.
The three extended functions ,
, and
are actually what one
would infer from a particular experiment.
For instance: in a calorimetry experiment, the enthalpy of
a closed system is measured, but the value is reported as what
would have been measured if one mole (or one Kg) were present; the
surface
free energy is unlikely to be measured for a square meter, but is reported that
way;
the positions of a moving surface are rarely measured at one second intervals.
Any HD1 function is fully determined if its value is
known along some curve which intersects all rays emanating from
the origin.
We use this property in equation (2)
to extend ,
and
homogeneously to vectors of arbitrary
magnitude and to compute their values on the plane
, and on
the spheres
, and
.
Another way an HD1 function can be reconstructed is from one of their
level sets, i. e. the set of points
for which
Then
where
and
are in the same
direction.
The gradients of any HD1 function depend only on the
direction of
, but not its magnitude,
. For
this gradient is a vector; since
the
component of this vector is the chemical
potential of the
species. Consistent with this principle,
chemical potentials depend only on the composition.
Any HD1 function can be written as the dot-product of its gradient and its argument vector, and its argument vector is perpendicular to the differential of its gradient:
For these are the familiar integral expression for the Gibbs
free energy
and the Gibbs-Duhem
equation[45]
. The gradient
of
, called the vector
, has these properties, which
have been used for anisotropic surfaces.[47][46] The
gradient of
is
the characteristic of the motion of the surface.[36][49][48]
We next review the mathematics of convex functions.[39] A scalar
function of
variables, or of a
-dimensional vector, is said to
be convex if it is bounded
from below, it is not everywhere infinite, and if
If is also HD1 this inequality can be simplified. Setting
and
, and
making use of Eq. 1 gives:
The definitions in Eqs. 4 and 5
can be extended to partitions of vectors into a sum of an arbitrary
number of terms: i.e., for
a convex HD1
.