1. Introduction: Poincaré’s Dream
In Science and Method [
1], Poincaré invites the reader to consider a world in which the length of all physical objects had been increased a thousandfold, noting that “What was a meter long would now be a kilometer”. Reasoning that an observer could only use the objects that he found within the world as a reference point, he came to the conclusion that the observer would be unable to discern whether such a transformation had taken place at all. It is interesting to note that at the time of Poincaré’s writing, the length of a meter was defined with respect to a platinum-iridium rod being held at the melting point of ice, and that as such this rod would also be rescaled in their transformation. Thus, what previously had the length of a meter would still have this length, as distances would be measured intrinsically. Nonetheless, Poincaré’s reasoning was that relative to some
absolute scale the sizes of objects could have changed. This line of reasoning was challenged by, among others, Delboeuf [
2], who argued that the world we inhabit is not scale invariant. Delboeuf noted that a man whose height measured over a kilometer would lack the strength to be able to walk. A similar counterargument had been previously advocated by Galileo [
3], stating that “...we can demonstrate by geometry that the large machine is not proportionately stronger than the small”.
Despite the counterarguments appearing conclusive, Poincaré’s dream can be rescued by allowing not only the physical dimensions of the world to be altered but also the physical constants that determine, for example, the couplings. Let us consider the ratio of the gravitational force,
, acting on the man to that which can be exerted by their muscles,
. Following Delboeuf’s argument, we will take
to be proportional to the cross-sectional area of the muscle and hold the densities of all objects fixed. Thus, increasing all length scales by a factor
, we see:
Thus, per Delboeuf, increasing length scales would sufficiently result in
exceeding
. However, if we also extend the scaling to also act on
G by
, then the ratio of the two forces remains unchanged.
It is important to emphasize that this change would constitute not only a change of scale within a physical system but also a change of the physical laws themselves. As such, we would not expect any given solution to the theory to be scale invariant, but rather that equivalent descriptions of the same system can be formulated between which the absolute scale of any object would change.
To provide an example of such transformations, let us consider a simple toy model in which two particles in a plane interact subject to a Hooke potential with coupling
k (force proportional to separation,
r) and a Newton potential with coupling
G (force inversely proportional to separation squared). As the forces are central, the angular momentum
is a constant. The equation of motion for the separation of the particles is:
Suppose
and
satisfy this equation for couplings
. Then, we can construct
which will also satisfy the equation for couplings
and
. Thus, an observer who plotted the shape orbit traced out by the particle would be unable to detect any change if
and
k were changed in this manner. At this point, one might object to the rescaling in the time-one system, as it would evolve more slowly in
t than the other. However, this time must also be read from a physical device; if we equip our observer with a pendulum clock, for example, with time period
, to follow Poincaré, we must set
for all lengths to be affected equally, and
g derives from the radius of the Earth, its mass and the Newton potential. Rescaling all of these (keeping the density of the Earth fixed), we see that the clock would now have the time period
. Thus, the angular distance covered in one tick of the pendulum clock would be unchanged.
The example above is quite simple to generalize to include more general couplings. We can express a general potential in the form
in which case, we find an analogous rescaling holds if the couplings
are allowed to be rescaled to
. Furthermore, it is a straightforward exercise generalization to the case where we let
and those where we introduce more particles.
A natural question to ask at this point is that given that such transformations are undetectable to an observer, can we formulate our models to work only in terms of entities which are invariant? Such a move is at the heart of shape dynamics [
4,
5,
6,
7], which aims to describe physical phenomena without ever referring to scale. Surprisingly, it turns out that this is indeed possible. In doing so, we replace the usual symplectic geometry of Hamiltonian systems with ‘contact geometry’ [
8,
9,
10,
11,
12]. Further, we will see that we can derive the dynamics of these observables from an action principle that is expressed only in terms of the invariants themselves.
Symmetries from this general set are referred to as
Dynamical Similarities [
12,
13,
14]. It has been shown that such symmetries are commonplace in physical systems and have particularly important philosophical and mathematical implications in the cosmological sector [
15,
16,
17,
18]. In previous work [
12], we have dealt with the case where a single force was acting and chosen the appropriate symmetry that kept the coupling of the relevant potential fixed. In this paper, we will lay out the general case in which multiple forces are acting on any number of particles and show how this further applies to homogeneous, isotropic cosmological systems with multiple matter sources present.
Throughout this work, we will use superscripts to denote powers of objects, and all indexing labels will be subscripts, regardless of the mathematical object in question. This goes somewhat against the usual convention of denoting elements of the tangent bundle or cotangent bundle differently with the upper of lower indices but will help disambiguate between, for example, the n-th momentum element of a set,
and the n-th power of momentum,
. The paper is laid out as follows: in
Section 2, we introduce the reader to the Herglotz descriptions of physical systems, starting from the usual Lagrangian description as a reference point. In
Section 3, we show how the Kepler problem can be described in these terms. Following this, in
Section 4, we show how this generalizes to an arbitrary number of forces with differing couplings acting on a two-particle system.
Section 5 further shows how the n-body system can be treated in this manner, and
Section 6 demonstrates the application to Friedmann–Lemaître–Robertson–Walker cosmology. Finally, the general implications of this work are given in
Section 7.
2. Lagrangian and Herglotz Mechanics
Let us recapitulate the usual scheme of Lagrangian mechanics and contrast with the generalizations provided by Herglotz. (In this paper, we will restrict ourselves to the case of Lagrangians that are time independent and depend only on positions and their first derivatives. This can all be generalized to include time dependence and higher derivatives, but to do so would introduce unnecessary clutter to our presentation.) In this section, we will only present a brief account of the standard results, full proofs of which can be found in [
19,
20,
21,
22]. We consider a physical system defined on the tangent bundle over a configuration space,
, which is typically written in terms of positions
and their velocities,
. Physical trajectories are those which extremize an action across a set of curves through the space of
, where the action is the integral over time of a Lagrangian,
, which is a function of these positions and velocities.
Extremization means that
, and after a textbook calculation, we arrive at the usual Euler–Lagrange equations
Given such a Lagrangian, we can construct the Hamiltonian
, a function on phase space, the cotangent bundle
, through a Legendre transform. Supposing
is positive definite, then we can uniquely set
and render
:
from which we find Hamilton’s equations:
and
, and a straightforward calculation shows that
is a constant:
In Equation (
7), we introduced the symplectic potential,
, the exterior derivative of which is the symplectic form. On phase space, the symplectic form,
, can be used to form a ‘natural’ measure,
, where
n is the dimension of the configuration space [
22,
23,
24]. This is the basis of much of statistical mechanics in the Hamiltonian formalism. A key result is Liouville’s theorem:
is constant in time. The phase space volume occupied by a set of solutions as measured by
thus does not change as the system evolves. Thus, time-independent Hamiltonians (and their associated actions) describe conservative systems.
Let us now consider the generalization of these systems to include the action,
S, as part of the Lagrangian
; hence,
is a function on
. These were first considered by Herglotz as a way to introduce non-conservative terms and have found a variety of applications [
25,
26,
27,
28,
29,
30] across applied mathematics. Hence, we shall call these ‘Herglotz Lagrangians’. Extremizing the action, we find equations of motion similar to the standard Euler–Lagrange Equation (
6) and reduce to them in the case where
is independent of
S:
The important distinction here is the extra ‘frictional’ effect introduced by the
term. We refer to this as being frictional as it is the origin of the non-conservative terms; consider the Hamiltonian formed following a Legendre transformation per Equation (
7), again introducing
. This is a function on the contact manifold,
, an odd dimensional space, and we shall refer to such Hamiltonians as ‘contact Hamiltonians’. Given a contact Hamiltonian,
, the equations of motion are:
From these equations, the frictional nature of such systems becomes more readily apparent; a direct calculation following Equation (
8) reveals:
The counterpart to the symplectic potential on a contact manifold is the contact form,
. Since the contact manifold is odd dimensional, we cannot form a measure on it simply by using powers of the equivalent of the symplectic form,
. However,
is a volume form on contact space. We can see the non-conservative nature of contact Hamiltonians and their Herglotz descriptions from the evolution of
:
This means that the volume on the contact manifold occupied by a set of solutions is not conserved through evolution but rather undergoes focussing/spreading. This allows us understanding the apparent contradictions found in measures on spaces of inflationary cosmological solutions, as the observables form a contact manifold—see [
23,
24,
31,
32] for details.
To illustrate the results above, let us consider the description of a damped harmonic oscillator. The Herglotz–Lagrangian is similar to the Lagrangian of a simple harmonic oscillator but with a term linearly proportional to the action added:
from which the Herglotz–Lagrange Equation (
9) is:
which is the equation of motion of a damped harmonic oscillator. The extra term,
, arises as a result of the action term in
and gives rise to energy dissipation in the evolution of the system. The contact Hamiltonian,
, follows from the Legendre transform, with
:
which has equations of motion
equivalent to Equation (
14). Either by direct calculation from the equations of motion or from Equation (
11), we can see that the rate of energy loss is
. This is unsurprising as solutions to the equations of motion show that the system asymptotes towards a stationary point at the origin. Physically, we see that the frictional terms remove mechanical energy from the system, leaving the oscillator to tend towards resting at the minimum of its potential,
.
To highlight the dissipative nature of the system, let us examine the evolution of the volume form
. Again from direct calculation (an informative exercise for the reader) or from Equation (
12), we see that:
and hence, the volume of the contact space occupied by a set of solutions will reduce over time. On the space of solutions, this can be understood as all solutions asymptote towards the same endpoint; hence, the volume they occupy on the contact space should contract to that point. From a physical perspective, this is simply the friction leading all such oscillators to the same resting point.
3. The Kepler Problem
Let us consider a dynamical system consisting of a two-body system with a Newtonian central force. This we will treat as a toy model in which we demonstrate the mathematical tools that allow for our analysis and present the logic behind our arguments. Our ultimate goal is to express the behaviour of systems purely in terms of measurable quantities. A step in this is to demonstrate the representational redundancies in expressing the behaviour of a bound pair of particles as measured by an observer using a second such (approximately isolated) pair as a rod and clock. Initially, however, we will avoid the associated mathematical clutter by a single two-body system in reduced variables and show how the system can be expressed in these terms.
The solutions to the two-body system are known to be conic sections—circles, ellipses, parabolas and hyperbolas. We will focus on bound systems—ellipses and circles—as hyperbolas and parabolas will not work well as rods and clocks. Since we will be interested in using a pair of particles as a measuring apparatus, we will posit that the separation of the particles, r, is not directly measurable. The angle will be treated as directly observable, as it may be thought of as being measured against some fixed background of stars, which, for our purposes, are taken to be at an unmeasurable distance—the role of the stars is simply to give us access to measuring the angle . Therefore, a complete solution is expressed in terms of the eccentricity of the orbit, i.e., the angle of the major axis. Further, in comparing two such ellipses, the phase of the orbit would be observable. Thus, the space of such solutions is three dimensional, and the product of a circle and the unit disk is . (Note that the interval can be replaced by by working in , for example; it is only really the topology of the space of solutions that is important.)
For simplicity, we will set the masses of the particles to unity and work in the centre of the mass frame. The Lagrangian for such a setup is:
This gives rise to two second-order differential equations in
r and
. Thus, in order to determine a solution, one must specify five pieces of information; the values of
and
C. This over-describes the space of solutions, if as per our setup, we consider that
is our only direct observable. To see this, consider the transformation
. Under such a change, if
is a solution of the equations of motion, it remains a solution. Therefore, from observations of
and time alone, we could not determine
r and
C independently. The question then arises as to whether these redundancies can be removed at the level of the dynamical system. Can we describe the system purely in terms of quantities that describe distinct solutions?
The dynamics is derived from an action principle, the minimization of which provides the equations of motion. We must further specify the value of the constant C and the initial conditions. As we have noted previously, however, under transformations D in which , the equations of motion for the invariants of D are unchanged, as the minimization of the action is unaffected by the transformation. In other words, if , then . Hence, a transformation that leaves the observables unchanged, but under which has indistinguishable solutions. In this case, we will want D to leave angles and the eccentricity unchanged.
In previous work, we have considered the case where D acts only on the tangent bundle of the configuration space through altering r and (or in the Hamiltonian case, the cotangent bundle through scaling r and ). Here, we will extend this analysis to also allow transformations that alter the interaction strength C. Our motivation is that ultimately all such interactions must be measured through the experiment. As such, the value of C is to be determined by observations of r and (and possibly t, which, in turn, should be a function of the observables). Hence, a sympathetic transformation that alters not only r and t but also C in such a way that the relational motion is unaffected should not be apparent to an observer.
If we consider a direct scaling, , we see that the requirement that we rescale the Lagrangian reduces to . The case in which we kept C constant is apparent when we fix , and the invariance of the system under time reversal is reflected by the fact that appears squared; choosing is indistinguishable. We can parametrize most of the space of transformations purely in terms of , which sets and , for any real number . There are three special choices. fixes the rate of time of the system but alters the size and the coupling C. fixes the coupling C and rescales both size and time. Finally, a third choice is to fix , in which case the transformations are given , which keeps the size fixed and alters the time and coupling. We note here that since we leave the angle invariant, both the kinetic terms have the same scaling.
We can equivalently express our systems in terms of a Hamiltonian,
, which is a function on the cotangent bundle, and the symplectic form
. Following a Legendre transformation, these are given
Since the Hamiltonian is a constant in this set-up, we have introduced the total energy of the system,
E, and hence, the system evolves on the constraint surface
. The space of possible solutions to this system
is the product of the cotangent bundle
with two copies of the positive reals (one each for
E and
C) subject to the constraint. Choosing initial conditions and specifying a value of
C uniquely determines
E. We can characterise the transformations
D in terms of a vector field
on
, which leaves the constraint surface unchanged. In other words, the action of
D on the
and
C is equivalent to the action of
on
as both map between equivalent descriptions of the same solution.
It is our goal to first establish what transformations
can act on
such that they preserve the observables, and then to remove the redundancy in description that such transformations represent. Thus, we will first examine the action of
on the constraint and then establish the set of variables that are invariant under such transformations. Finally, we will express our system purely in terms of these invariants, eliminating the redundancy. To determine
, we express a general form for a vector on
in terms of the a basis with coefficients
:
As
is directly observable in our setup, we cannot let it change; hence,
. Further, since the Hamiltonian is a polynomial in the variables
and
E, to retain the functional form, each
must be a product of a real number
and the variable along which the basis vector points. Equivalently put, this means that
is a linear combination of logarithmic derivatives,
, along each of the variables,
.
To retain the dynamics, these transformations can only act on the symplectic form by linear rescaling. For simplicity, we normalize the length of
such that
. Furthermore, the form of constraint surface must be conserved, so
for positive real
. Together, these are enough to reduce the possibilities for the coefficients
and determine the possible forms of
. We will label such transformations in terms of the scaling effect they have upon the length
r:
We see
. Note that by the construction,
leaves invariant angles
, and it is easy to verify that the eccentricity is also unchanged (
). We again note that there are special choices that can be made here:
leaves the length scale
r fixed,
fixes the energy, and
leaves the coupling fixed. Using these fields, we can move along the constraint surface without altering the observable quantities. This can be useful in translating between conventions; we could choose our solutions to be those on which
and
, for example, and thus, we can take any solution and Lie-drag it along
until
and then along
until
. We start with a six-dimensional space
. Imposing the constraint
reduces this by one, and
and
move in a two-dimensional plane within this surface. Thus, we are again left with a three-dimensional space of distinguishable solutions.
Let us now turn our attention to describing dynamics in terms of these distinguishable variables. Since moving along any of the
does not change the observables, we will work with the set of invariants of one of these; for the sake of simplicity, we pick
. We will first use
to fix
, and we work with variables
x for which
. These form an algebra on the basis
,
,
and
. It was shown in [
12] that the dynamics of a Hamiltonian system with such a symmetry is equivalent to that derived from a contact Hamiltonian. In this case, the contact Hamiltonian and contact structure are:
From this and the definition in Equation (
A9), we see that the Reeb vector field is
. Since
is composed of both a constant piece (
C) and a piece that varies in time (
r), it is dynamical. In our system, this dynamical evolution is accounted for by promoting
to being a momentum on an extended contact manifold. In other words, we have taken
and considered it as the momentum conjugate to a dummy configuration variable,
z. We do this to illustrate the equations of motion more simply. As we shall see below,
actually plays a role that is similar to the constant energy in a symplectic system. As we show in Equation (
11), had we set the constraint
to a non-zero value, this value would evolve in time, and the equation of motion for this is precisely that of
. The equations of motion can be found from Equation (
10)
Under the identification
, we see that this system encapsulates the same dynamics as that described by Equation (
19). However, for a complete solution here, we need to only specify three pieces of information at a given event:
, together with the constraint, uniquely determine
at this point and thus can be used to integrate the system. Let us now explicitly solve this system. First, we note that the equations of motion for
B and
allow us to note that:
for some constant
. Then, we can express the motion in terms of
to see:
and hence
and the Hamiltonian constraint gives:
and we arrive at a description of the system in terms of the eccentricity,
and the angle to perihelion,
. It is a simple exercise to show that had we chosen to take the total energy of the system, as described in Equation (
19), to be non-negative, we would have found the equivalent result for parabolic/hyperbolic trajectories.
Let us briefly recapitulate the information that we have required to solve our system. To solve the system in the usual Hamiltonian (or Lagrangian) formulation, we would have to specify numerical values for the radial momentum, the angular momentum, an initial radial displacement, an initial angle and the strength of the Newtonian coupling. Upon solving the system, we would see that the observable quantities under-determine this data; we would need further input from the measuring apparatus (a rod and a clock, for instance) to determine these. We could have judiciously chosen to set our initial conditions at a specific event (for example, the vanishing of radial momentum at aphelion), but we would still require external inputs to solve our system. Thus, by initially eliminating the redundancy under dynamical similarity, we arrive at a more parsimonious description of physics, which crucially only relies upon distinguishable, observable quantities. This system is autonomous; it needs no further external inputs to be fully integrated. Once integrated, we can choose to introduce a scale by giving the separation of the particles some value at a given event and solve for the evolution of this scale by quadrature to recover the usual description of dynamics. However, we reiterate that this is not necessary to find the complete set of observables.
We can recover the original Hamiltonian symplectic system from the contact system through symplectification [
22]. The contact form is defined up to a multiplicative factor, which we will, with foresight, label
R. Let us promote this factor to a coordinate on the configuration space. Then, we arrive at a symplectic form
defined by:
Taking
to be a canonical symplectic form following
for momenta
and coordinates
q, this sets
Rendered in these variables, the contact Hamiltonian (from Equation (
22)) is:
which, in turn, is the usual symplectic system given in Equation (
19), with the constant
C promoted to a momentum that the equations of motion leave constant. Thus, we see that the usual symplectic system is just the symplectification of the underlying contact system. For this reason, the symplectic system must necessarily be under-determined. The observable quantities were all described by the contact system, and in symplectification, we introduce a choice of the scale given by
R.
As advertised, the contact system described in Equation (
22) has a Lagrangian equivalent described by the following Herglotz’ principle. The dynamics can be derived from an action principle that can be stated as “Extremize
A subject to
given the initial conditions for
and
A.” Since
, the equation of motion for
plays the role of a Lagrangian. We show in
Appendix A how the equations of motion for
can be explicitly derived from this principle. Herein, we see that the complete system is only described in terms of a three-dimensional set. From extremizing
A, we find the equation of motion for
. Treating
as a Lagrangian, we find that the associated Hamiltonian is exactly that given by Equation (
22).
4. Generalization of the Kepler Problem
Let us now consider a more general scenario than that of the Kepler system above. We will allow for potentials that have general power laws in r and also an angular dependence. The more general form of potentials allows us to prepare for multiple interacting bodies since the forces acting on a particle will depend not only on its separation from other particles but also the relative locations of those particles. Including different power laws in r addresses the case of multiple forces acting. Likewise, this encompasses models in which we approximate a complex object (such as an atom) as a particle and expand the potential experienced by another particle in terms of a multipole expansion.
We consider a Lagrangian of the form:
in which the sum is taken over
i such that the corresponding
is non-zero. Hereafter, we shall drop the angular dependence in
. It is displayed above so that the explicit form of the general potential can be seen. The
are coupling coefficients. This does introduce a degeneracy into our description as rescaling both the angular component of the potential and its associated coupling in reciprocal would not change the functional form of the Lagrangian. To fix this, we are free to impose any normalization condition on the angular part of the potential, such as setting the coefficient of the lowest non-zero term in the Fourier series to unity. As an example, we could set
to model the effects of a dipole moment.
The Hamiltonian of this system is:
and we can combine the total energy of the system into
with the appropriate choice of a constant term in
. As noted in the Kepler example, we consider
to live on the product of the phase-space of the system with one copy of the positive reals for each non-zero coupling constant;
. There is an important distinction to be made as although we will see that transformations
D can move between systems with differing coupling constants, these transformations respect the sign of each coupling. This should be apparent in the Kepler case, as the solutions in which the coupling is attractive, repulsive and simply not present have physically (topologically) distinct solutions. As an example, closed circular orbits are not solutions to the Kepler problem if the coupling is either repulsive or not present at all.
We can again parametrize transformations in terms of their scaling effect upon length. These are thus given:
For simplicity, we will again choose to work with the invariants of
. This is a choice we make for reasons of simplicity of the mathematical representation. Other choices may be more useful in certain physical situations. In the case of a total collision, for example, the highest negative power of
r in the potential would be expected to dominate dynamics, and hence, it would be appropriate to work in a system in which its coupling was kept fixed.
As in the Kepler example, in the contact system, the couplings become dynamical objects. We let
for
, and
, and thus, we can render the contact system in terms of its Hamiltonian and contact form:
Once again, we have introduced a set of dummy configuration variables
and written
and
. The equations of motion for this system are simple when expressed in terms of these variables. Since each of our coupling encoding momenta are conjugate only to dummy variables, their evolution can expressed in terms of themselves and the effective frictional term
A alone.
Here, we reiterate that although one would not expect explicit
dependence in the two-body problem, we have retained the general form of these terms to provide insight into the more general
n-body problem in which angular distributions will matter.
Finally, the equation of motion for
A can be found:
Hence, we have a complete system in which there is a closed dynamical system described by the three prior variables,
A,
B and
, alongside the
, which encapsulate information about the couplings of the system. Again, this requires one fewer initial data point than the usual Hamiltonian representation to close. In that case, we would need the values of each of the
alongside three of
, with the fourth found through the Hamiltonian constraint. In the contact system, we can discern the entire system from knowing (at one time) the values of each of the
and two of
, again with the third determined by the contact Hamiltonian as a constraint. The price we pay for this is that the
are dynamical objects albeit with simple equations of motion, whereas the
are constants.
From Equation (
37), we can form a Lagrangian for our system in the same way as was done in the Kepler system. We note that the equations of motion for the dummy variables
are given by the general form—see Equation (
6). These are thus:
Suppose we are given an initial value of
at time
. At later times
, we know
is given by
The equations of motion for our system can be found from the extremization of
subject to
from which the Euler–Lagrange equations are (after some algebraic manipulation):
and the contact Hamiltonian is that given in Equation (
34). The equations match those derived from the contact Hamiltonian and, thus, those of the equivalent system when written in the usual symplectic Hamiltonian or Lagrangian forms.
5. The N-Body System
Let us now consider the further generalization of the above to include more than two particles in our description, the so-called “n-body problem” [
33,
34,
35,
36,
37,
38]. There is a long history of study of such problems, with particular attention paid to the case of gravitational attraction between the bodies. This is at the heart of modelling many interesting phenomena from the dynamics and stability [
39,
40,
41] of the solar system to the formation of galaxies [
42,
43,
44].
For simplicity, we will assume that each of the particles has the same mass. We will work in centre of mass coordinates, so for
n particles in
, we thus need
coordinates. We will transform from the usual Cartesian basis in which the positions are given as
to a description in terms of the overall size of the system,
and positions on a
-sphere,
. We refer to this sphere as ‘shape space’ [
34,
36]. Thus, the Lagrangian for this system can be written in terms of these variables, their velocities, and the metric on
induced by embedding the unit sphere in
,
and the potentials
:
In this Lagrangian, the potentials will depend explicitly on the
as the physical separations of the particles are functions of these. We note again at this point that a rescaling that fixes angles
will affect all kinetic terms equally; thus, we are in the same position as with the Kepler problem—the increase in the number of particles has no effect on the choice of scalings that leave the form of the Lagrangian unchanged. Thus, we can treat these in the same manner as above. In the Hamiltonian formulation, following a Legendre transformation the Hamiltonian is written in terms of the conjugate momenta
:
where
is the inverse of
, i.e.,
, where
is the Kronecker delta. Since rescaling affects all kinetic terms in the same way, we see that the dynamical similarities of this Hamiltonian are a further generalization of those given in Equation (
33):
As above, we will work with the case where
for ease of comparison, though the construction is general, and absorb the energy
E into
and thus work on the
surface. We will express our system in terms of the invariants of
:
In these terms, the contact Hamiltonian and contact form are similar to those of Equation (
34):
The equations of motion we obtain from this are entirely analogous to those of Equations (
35)–(
37) appropriately summed over indices. Of particular note is the equation of motion for
A, which, after a Legendre transformation, forms the Herglotz–Lagrangian. In close correspondence with the above, this becomes:
where once again the
are the velocities related to the momenta
through:
Thus, we see a complete and closed description of the dynamics of the n-body problem can be written entirely in terms of the shape space, velocities thereon and the variable
A, which represents the apparent friction on shape space induced by changes of the overall size of the system in the Euclidean space. Such a description is important for several reasons; the first is that it may shed more light on the set of total collisions. These are characterised by
in the decomposition we used for our Lagrangian. However, the Herglotz–Lagrangian (or contact Hamiltonain) description of this system makes no reference to scale. Therefore, this description may be better suited to describing total collisions in terms of shape space, following, e.g., [
37]. A second point of interest is that there are points at which the system behaves as though there is no friction, those being when
, which correspond to the overall size neither increasing nor decreasing. These are what Barbour refers to as “Janus points” [
16,
45], though we note that Janus points are not universally points of zero expansion but have a more complex role. They mark distinguished points of the evolution at which the system is instantaneously conservative. These are particularly interesting as places at which to evaluate the measures of solutions [
23,
24,
31,
32,
37] to assess whether a particular configuration can be considered ‘typical’. In our setup, as there is no reference to scale, the configuration space is shape space and hence compact. This alleviates some of the problems of cut-offs and infinities that arise when attempting to measure the typicality of such systems.
6. Cosmology
Cosmology offers a natural arena for examining the role of scale in physical systems. It is well-known that within the ubiquitous Friedmann–Lemaître–Robertson–Walker (FLRW) models, the scale factor, a, must be fixed to some value at a given time, with the usual choice that the present value is set to unity. The choice of physical event at which to set this (or equivalently the value to which it is currently set) has no effect on physical observables.
The FLRW models are symmetry-reduced solutions to Einstein’s equations. After enforcing homogeneity and isotropy on the spatial metric, the only remaining information is the behaviour of the scale factor,
. The space-time metric is given:
where the function
depends on the curvature of the spatial slice; for flat spaces (
)
, for closed spaces (
)
and for open spaces (
),
.
We derive the dynamics for the system from the Einstein–Hilbert Lagrangian written in terms of the metric
g and Ricci scalar
R with matter determined by a Lagrangian
:
wherein we have adopted the unit convention that
. Following the principle of symmetric criticality, we can induce an action on the space of homogeneous, isotropic space-times. We choose a fiducial cell in space to integrate over (this is arbitrary since the spatial slices are homogeneous) and are left with
and from this, the usual Euler–Lagrange equations give rise to the acceleration equation, and the Hamiltonian is the Friedmann equation, which we will express in terms of the Hubble parameter
:
where
is the matter Hamiltonian obtained from the matter Lagrangian. Note that the inclusion of a cosmological constant can be achieved by adding a constant term to
(or equivalently
).
The freedom to fix the value of a at any time is reflected in the rescaling of the action under: , in which case we find that for real positive and the matter degrees of freedom remain unaffected. It is important to note that the Hubble parameter, H, is unaffected by this rescaling. In making this transformation, we have again extended our dynamical similarity to act on the constant, k, and our equations of motion remain unchanged. Further, we have kept the time coordinate, t, unchanged; thus, we map between solutions with the same time parametrization.
In previous work [
18], we have treated the general case in which the matter Lagrangian,
, is left as a general function of
q and
. Here, for clarity of exposition and to allow more direct comparison to the usual cosmological literature, we will simplify the situation by restricting ourselves to considering the matter to be a mixture of perfect fluids with a constant barotropic parameter. The matter Hamiltonian,
, is usually decomposed into components,
, that have differing pressures,
, and thus differing dependence on the scale factor
a. From the vanishing of the covariant derivative of the stress-energy tensor in general relativity, we arrive at the continuity equation
For a perfect fluid, the pressure is proportional to the energy density,
, with
the (constant) barotropic parameter. Hence, by solving Equation (
55), we see that:
This allows us to do two things: the first is to treat the curvature term as a matter term for which
. The second is to re-write Equation (
54) as the Friedmann equation in its more familiar cosmological form:
wherein we have restored the Newton constant,
G, for ease of comparison to the literature. This makes clear that we can re-write an action for such systems purely in terms of the scale factor and the constants:
for some constants
. It is a simple exercise to show that the Euler–Lagrange equations for this system give rise to the usual Friedmann and acceleration equations.
We are now in a place to demonstrate the dynamical similarity within this system: as we noted above, the action is invariant if we rescale both the scale factor,
a, and the constants
following
Thus, we can consider the quantities that are invariant under the transformation;
and
. We will follow our method of promoting constants to dynamical variables to allow their description in a Herglotz action:
wherein
. There are a few interesting points to note about this. The first is that this arises as an action principle that can be expressed as: ‘Extremize the Hubble parameter at time
t, subject to the acceleration Equation (
53) and given an initial value
at time
’. It should be no surprise that this is in close correspondence with the action described in [
18] as it was derived in the same manner but for a simpler treatment of matter. The second is that the Herglotz–Lagrange equations for
become
and hence, should we choose to reintroduce the scale factor
a, then
. However, this is not strictly necessary for the evolution of the system; the system itself can be completely integrated without ever referring to the scale factor and can be shown to be integrable even in places where the symplectic system with the scale factor is not [
17,
46]. As we saw in the Kepler example, the scale itself is not a necessary quantity to include in our treatment. This can be carried forward by a Legendre transformation to the Hamiltonian description, where the contact Hamiltonian is
This makes clear why
(the appropriate barotropic parameter for describing dust) has been excluded from our summation; its contribution to evolution arises as the value of the contact Hamiltonian, i.e.,
. Including this, we see that Equation (
62) is exactly the Friedmann Equation (
54) reproduced in these variables.
In forming our dynamical similarity, we made the choice to keep the time parameter fixed. This is not strictly necessary, as we could make the transformation:
Following this process leads to an action that is equivalent to that of Equation (
60) but written in a different lapse. In doing so, the value of the contact Hamiltonian will no longer correspond to the energy density of dust but to some other matter component determined through the scaling.
Finally, let us note the similarities and differences between the standard description of cosmology provided by the actions of Equations (
52) and (
58). Dynamically, in terms of physical observables, where the symplectic system is well-defined the two descriptions are identical. An observer who measured, for example, the redshift of photons emitted by the CMB in either case would arrive at the same conclusions. In terms of physical ontology, and thus descriptive power, the two differ significantly. In the case of the former, we have to endow the universe with an unobservable quantity, the scale factor, and the differing fall-off of various matter types over time as a result of the change in this scale factor. In the latter case, the differing behaviour is due to the frictional nature of the system; since it is an inherently dissipative system, we should not be surprised that neither the total energy density, nor its components, are conserved. The same driving factor is at the mathematical root of both descriptions, it is the integral of the Hubble parameter over time. However, in the original case, this was used to describe the expansion of the universe, whereas in the latter, this is the amount of energy dissipated. For each action, the dynamics must be specified in terms of either the constants
at some time or some values of the velocities
at some instant. Since the new formulation has a different set of basic elements, it is unlikely that quantizations of the two systems would remain identical. Following Dirac’s usual procedure of replacing Poisson brackets with commutators, for example, they would differ significantly as the Hubble parameter has no conjugate variable in the new formulation.
In this work, we have only considered a description of the FLRW cosmological models with simple matter sources. Both of these restrictions can be relaxed, and a more general prescription is given in [
18], wherein the isotropy restriction is removed, considering homogeneous cosmological solutions wherein the spatial slice is a manifold of the type classified by Bianchi. Further, we leave the matter source as that which can be described through a general matter Lagrangian, which is minimally coupled to gravity. The results therein are equivalent to that which we have described here, as the scaling of the action is closely related to that which we have discussed.