Consider the motion of a star in a spherically-symmetric potential,
.
The orbit of the star remains in a plane perpendicular to the angular momentum
vector, and it's natural to adopt a polar coordinate system; call the
coordinates
and
.
The system has
degrees of freedom, so the phase space has
dimensions.
The equations of motion can be derived by starting with the Lagrangian
,
(1)
,
where
and
.
In what follows, we will use a choice of unit mass and
will not show in the equations:
(2) .
Differentiating with respect to
and
yields the momenta conjugate to
and
,
(3)
,
(4)
,
where
and
are velocities in the radial and azimuthal directions. The Hamiltonian
(energy) may now be expressed as a function of the coordinates and conjugate
momenta:
(5)
.
The equations of motions are
(6)
,
(7)
,
(8)
,
(9)
.
Here
because the conjugate coordinate phi does not appear in
;
is
called a cyclic coordinate.
The system has two integrals of motion. One, of course, is the total energy
,
numerically equal to the value of
.
The other is the angular momentum
.
These quantities are given by
(10)
,
(11)
.
Each of these integrals of motion defines a hypersurface in phase space, and
the orbit must remain in the intersection of these hypersurfaces. This can be
visualized by ignoring the
coordinate and drawing surfaces of constant
and J in the three-dimensional space
.
Surfaces of constant
are figures of revolution about the
axis, while surfaces of constant
are hyperbolas in the
plane. The intersection of these surfaces is a closed curve, and an orbiting
star travels around this curve.
For an orbit of a given
,
the system may be reduced to one degree of freedom by defining the effective
potential,
(12)
;
the corresponding equations of motion are then just
(13)
,
(14)
.
Because
diverges as
,
the star is energetically prohibited from coming too close to the origin, and
shuttles back and forth between turning points
and
.
In addition to its periodic radial motion described by
,
a star also executes a periodic azimuthal motion as it orbits the center of
the potential. If the radial and azimuthal periods are incommensurate, as is
usually the case, the resulting orbit never returns to its starting point in
phase space; in coordinate space such an orbit is a rosette. The Keplerian
potential is a very special case in which the radial and azimuthal periods of
all bound orbits are equal. The only other potential in which all orbits are
closed is the harmonic potential generated by a uniform sphere; here the
radial period is half the azimuthal one and all bound orbits are ellipses
centered on the bottom of the potential well. Thus in the Keplerian case all
stars advance in azimuth by
between successive pericenters, while in the harmonic case they advance by
.
Galaxies typically have mass distributions intermediate between these extreme
cases, so most orbits in spherical galaxies are rosettes advancing by
between pericenters.
Any system in which stellar collisions are rare may be idealized as a
collection of
point-sized bodies, each with mass
,
position
,
and velocity
.
The hamiltonian for such a system is
(15)
,
where
depends on all body positions and velocities, the first sum runs over all
bodies, the second runs over all pairs of bodies (twice, hence the factor of
),
and
is the gravitational constant. Then the equations of motion are
(16)
,
(17)
,
where the sum runs over all bodies except body
.
The famous Aarseth code in Fortran (Aarseth Fortran code) calculates the general motion of the N-body system in computer simulations.
N-body systems obey several basic conservation laws. A symmetry of the
Hamiltonian is a transformation which leaves the physical system unchanged.
For example, translation in time,
,
is a symmetry of Eq. 15 because
is not an explicit function of time; consequently the total system energy
is conserved. Likewise, symmetry with respect to translation in space
,
implies conservation of total linear momentum, and symmetry with respect to
rotation gives rise to conservation of total angular momentum.
Another general result shown by manipulating Eqs. 16,17 is the scalar virial theorem which states that for a system in equilibrium,
(18)
where
and
are the total kinetic and potential energy, respectively, and the
angle-brackets indicate time-averages. Since
,
the time-averaged kinetic and potential energies are related to the conserved
total energy by
(19)
.
The total mass
and total energy
of an N-body system thus define characteristic velocity and length scales
(20)
,
(21)
.
These are sometimes known as the virial velocity and radius, respectively.
The quantity
is an estimate of the time a typical star takes to cross the system. This
timescale may be expressed in several different ways; for example, in terms of
the total mass
and energy
,
it is
(22)
.
Note that
and
are conserved, so
is a constant even for systems which are far from dynamical equilibrium. In
such cases
approximates the time-scale over which the system evolves toward equilibrium.
Another expression for
follows from the substitution
valid for systems near equilibrium:
(23)
.
Here the quantity
,
which has units of density, appears. In systems with galaxy-like density
profiles, the virial radius is approximately proportional to the half-mass
radius:
.
Using this relationship, it follows that
(23)
,
where
is the mean density within
.
Since the crossing time is just supposed to indicate a typical time-scale for
orbital motion, it is usual to drop the numerical constant, and define
(24)
.