1911 Encyclopædia Britannica/Dynamics

DYNAMICS (from Gr. δύναμις, strength), the name of a branch of the science of Mechanics (q.v.). The term was at one time restricted to the treatment of motion as affected by force, being thus opposed to Statics, which investigated equilibrium or conditions of rest. In more recent times the word has been applied comprehensively to the action of force on bodies either at rest or in motion, thus including “dynamics” (now termed kinetics) in the restricted sense and “statics.”

Analytical Dynamics.—The fundamental principles of dynamics, and their application to special problems, are explained in the articles Mechanics and Motion, Laws of, where brief indications are also given of the more general methods of investigating the properties of a dynamical system, independently of the accidents of its particular constitution, which were inaugurated by J. L. Lagrange. These methods, in addition to the unity and breadth which they have introduced into the treatment of pure dynamics, have a peculiar interest in relation to modern physical speculation, which finds itself confronted in various directions with the problem of explaining on dynamical principles the properties of systems whose ultimate mechanism can at present only be vaguely conjectured. In determining the properties of such systems the methods of analytical geometry and of the infinitesimal calculus (or, more generally, of mathematical analysis) are necessarily employed; for this reason the subject has been named Analytical Dynamics. The following article is devoted to an outline of such portions of general dynamical theory as seem to be most important from the physical point of view.

1. General Equations of Impulsive Motion.

The systems contemplated by Lagrange are composed of discrete particles, or of rigid bodies, in finite number, connected (it may be) in various ways by invariable geometrical relations, the fundamental postulate being that the position of every particle of the system at any time can be completely specified by means of the instantaneous values of a finite number of independent variables $q_{1},q_{2},\ldots q_{n}$$q_{1},q_{2},\ldots q_{n}$, each of which admits of continuous variation over a certain range, so that if $x,y,z\!$$x,y,z\!$ be the Cartesian co-ordinates of any one particle, we have for example

$x{=}f(q_{1},q_{2},\ldots q_{n}),y{=}\And \!\!\!{\text{c.}},z{=}\!\And \!\!\!{\text{c.}},\qquad \qquad (1)$$x{=}f(q_{1},q_{2},\ldots q_{n}),y{=}\And \!\!\!{\text{c.}},z{=}\!\And \!\!\!{\text{c.}},\qquad \qquad (1)$

where the functions $f\!$$f\!$ differ (of course) from particle to particle. In modern language, the variables $q_{1},q_{2},\ldots q_{n}$$q_{1},q_{2},\ldots q_{n}$ are generalized co-ordinates serving to specify the configuration of the system; their derivatives with respect to the time are denoted by ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{n}$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{n}$, and are called the generalized components of velocity. The continuous sequence of configurations assumed by the system in any actual or imagined motion (subject to the given connexions) is called the path.

For the purposes of a connected outline of the whole subject it is convenient to deviate somewhat from the historical order of development, and to begin with the consideration of Impulsive motion. impulsive motion. Whatever the actual motion of the system at any instant, we may conceive it to be generated instantaneously from rest by the application of proper impulses. On this view we have, if $x,y,z\!$$x,y,z\!$ be the rectangular co-ordinates of any particle $m\!$$m\!$,

$m{\dot {x}}{=}\mathrm {X} ',m{\dot {y}}{=}\mathrm {Y} ',m{\dot {z}}{=}\mathrm {Z} ',\qquad \qquad (2)$$m{\dot {x}}{=}\mathrm {X} ',m{\dot {y}}{=}\mathrm {Y} ',m{\dot {z}}{=}\mathrm {Z} ',\qquad \qquad (2)$

where $\mathrm {X} ',\mathrm {Y} ',\mathrm {Z} '\!$$\mathrm {X} ',\mathrm {Y} ',\mathrm {Z} '\!$ are the components of the impulse on $m\!$$m\!$. Now let $\delta x,\delta y,\delta z\!$$\delta x,\delta y,\delta z\!$ be any infinitesimal variations of $x,y,z\!$$x,y,z\!$ which are consistent with the connexions of the system, and let us form the equation

$\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z){=}\sum (\mathrm {X} '\delta x+\mathrm {Y} '\delta y+\mathrm {Z} '\delta z),\qquad \qquad (3)$$\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z){=}\sum (\mathrm {X} '\delta x+\mathrm {Y} '\delta y+\mathrm {Z} '\delta z),\qquad \qquad (3)$

where the sign $\sum$$\sum$ indicates (as throughout this article) a summation extending over all the particles of the system. To transform (3) into an equation involving the variations $\delta q_{1},\delta q_{2},\ldots$$\delta q_{1},\delta q_{2},\ldots$ of the generalized co-ordinates, we have

${\dot {x}}{=}{\frac {\partial x}{\partial q_{1}}}{\dot {q}}_{1}+{\frac {\partial x}{\partial q_{2}}}{\dot {q}}_{2}+\ldots ,\And \!\!\!{\text{c.}},\And \!\!\!{\text{c.}}\qquad \qquad (4)$${\dot {x}}{=}{\frac {\partial x}{\partial q_{1}}}{\dot {q}}_{1}+{\frac {\partial x}{\partial q_{2}}}{\dot {q}}_{2}+\ldots ,\And \!\!\!{\text{c.}},\And \!\!\!{\text{c.}}\qquad \qquad (4)$

$\delta x{=}{\frac {\partial x}{\partial q_{1}}}\delta q_{1}+{\frac {\partial x}{\partial q_{2}}}\delta q_{2}+\ldots ,\And \!\!\!{\text{c.}},\And \!\!\!{\text{c.}}\qquad \qquad (5)$$\delta x{=}{\frac {\partial x}{\partial q_{1}}}\delta q_{1}+{\frac {\partial x}{\partial q_{2}}}\delta q_{2}+\ldots ,\And \!\!\!{\text{c.}},\And \!\!\!{\text{c.}}\qquad \qquad (5)$

and therefore

$\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z){=}\mathrm {A} _{11}{\dot {q}}_{1}+\mathrm {A} _{12}{\dot {q}}_{2}+\ldots )\delta q_{1}+(\mathrm {A} _{21}{\dot {q}}_{1}+\mathrm {A} _{22}{\dot {q}}_{2}+\ldots )\delta q_{2}+\ldots ,\qquad \qquad (6)$$\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z){=}\mathrm {A} _{11}{\dot {q}}_{1}+\mathrm {A} _{12}{\dot {q}}_{2}+\ldots )\delta q_{1}+(\mathrm {A} _{21}{\dot {q}}_{1}+\mathrm {A} _{22}{\dot {q}}_{2}+\ldots )\delta q_{2}+\ldots ,\qquad \qquad (6)$

where

$\left.{\begin{aligned}\mathrm {A} _{rr}{=}\sum m\left\{\left({\frac {\partial x}{\partial q_{r}}}\right)^{2}+\left({\frac {\partial y}{\partial q_{r}}}\right)^{2}+\left({\frac {\partial z}{\partial q_{r}}}\right)^{2}\right\},\\\mathrm {A} _{rs}{=}\sum m\left\{{\frac {\partial x}{\partial q_{r}}}{\frac {\partial x}{\partial q_{s}}}+{\frac {\partial y}{\partial q_{r}}}{\frac {\partial y}{\partial q_{s}}}+{\frac {\partial z}{\partial q_{r}}}{\frac {\partial z}{\partial q_{s}}}\right\}{=}\mathrm {A} _{sr}.\end{aligned}}\qquad \qquad \right\}(7)$$\left.{\begin{aligned}\mathrm {A} _{rr}{=}\sum m\left\{\left({\frac {\partial x}{\partial q_{r}}}\right)^{2}+\left({\frac {\partial y}{\partial q_{r}}}\right)^{2}+\left({\frac {\partial z}{\partial q_{r}}}\right)^{2}\right\},\\\mathrm {A} _{rs}{=}\sum m\left\{{\frac {\partial x}{\partial q_{r}}}{\frac {\partial x}{\partial q_{s}}}+{\frac {\partial y}{\partial q_{r}}}{\frac {\partial y}{\partial q_{s}}}+{\frac {\partial z}{\partial q_{r}}}{\frac {\partial z}{\partial q_{s}}}\right\}{=}\mathrm {A} _{sr}.\end{aligned}}\qquad \qquad \right\}(7)$

If we form the expression for the kinetic energy $\mathrm {T} \!$$\mathrm {T} \!$ of the system, we find

$2\mathrm {T} {=}\sum m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2}){=}\mathrm {A} _{11}{\dot {q}}_{1}^{2}+\mathrm {A} _{22}{\dot {q}}_{2}^{2}\ldots 2\mathrm {A} _{12}{\dot {q}}_{1}{\dot {q}}_{2}+\ldots \qquad \qquad (8)$$2\mathrm {T} {=}\sum m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2}){=}\mathrm {A} _{11}{\dot {q}}_{1}^{2}+\mathrm {A} _{22}{\dot {q}}_{2}^{2}\ldots 2\mathrm {A} _{12}{\dot {q}}_{1}{\dot {q}}_{2}+\ldots \qquad \qquad (8)$

The coefficients $\mathrm {A} _{11},\mathrm {A} _{22},\ldots \mathrm {A} _{12},\ldots$$\mathrm {A} _{11},\mathrm {A} _{22},\ldots \mathrm {A} _{12},\ldots$ are by an obvious analogy called the coefficients of inertia of the system; they are in general functions of the co-ordinates $q_{1},q_{2},\ldots$$q_{1},q_{2},\ldots$. The equation (6) may now be written

$\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z){=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta q_{1}+{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}\delta q_{2}+\ldots \qquad \qquad (9)$$\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z){=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta q_{1}+{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}\delta q_{2}+\ldots \qquad \qquad (9)$

This maybe regarded as the cardinal formula in Lagrange’s method. For the right-hand side of (3) we may write

$\sum (\mathrm {X} '\delta x+\mathrm {Y} '\delta y+\mathrm {Z} '\delta z){=}\mathrm {Q} '_{1}\delta q_{1}+\mathrm {Q} '_{2}\delta q_{2}+\ldots ,\qquad \qquad (10)$$\sum (\mathrm {X} '\delta x+\mathrm {Y} '\delta y+\mathrm {Z} '\delta z){=}\mathrm {Q} '_{1}\delta q_{1}+\mathrm {Q} '_{2}\delta q_{2}+\ldots ,\qquad \qquad (10)$

where

$\mathrm {Q} '_{r}{=}\sum \left(\mathrm {X} '{\frac {\partial x}{\partial q_{r}}}+\mathrm {Y} '{\frac {\partial y}{\partial q_{r}}}+\mathrm {Z} '{\frac {\partial z}{\partial q_{r}}}\right).\qquad \qquad (11)$$\mathrm {Q} '_{r}{=}\sum \left(\mathrm {X} '{\frac {\partial x}{\partial q_{r}}}+\mathrm {Y} '{\frac {\partial y}{\partial q_{r}}}+\mathrm {Z} '{\frac {\partial z}{\partial q_{r}}}\right).\qquad \qquad (11)$

The quantities $\mathrm {Q} _{1},\mathrm {Q} _{2},\ldots$$\mathrm {Q} _{1},\mathrm {Q} _{2},\ldots$ are called the generalized components of impulse. Comparing (9) and (10), we have, since the variations $\delta q_{1},\delta q_{2},\ldots$$\delta q_{1},\delta q_{2},\ldots$ are independent,

${\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}{=}\mathrm {Q} '_{1},{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}{=}\mathrm {Q} '_{2},\ldots \qquad \qquad (12)$${\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}{=}\mathrm {Q} '_{1},{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}{=}\mathrm {Q} '_{2},\ldots \qquad \qquad (12)$

These are the general equations of impulsive motion.

It is now usual to write

$p_{r}{=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{r}}}.\qquad \qquad (13)$$p_{r}{=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{r}}}.\qquad \qquad (13)$

The quantities $p_{1},p_{2},\ldots$$p_{1},p_{2},\ldots$ represent the effects of the several component impulses on the system, and are therefore called the generalized components of momentum. In terms of them we have

$\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z){=}p_{1}\delta q_{1}+p_{2}\delta q_{2}+\ldots \qquad \qquad (14)$$\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z){=}p_{1}\delta q_{1}+p_{2}\delta q_{2}+\ldots \qquad \qquad (14)$

Also, since $\mathrm {T} \!$$\mathrm {T} \!$ is a homogeneous quadratic function of the velocities ${\dot {q}}_{1},{\dot {q}}_{2}\ldots$${\dot {q}}_{1},{\dot {q}}_{2}\ldots$,

$2\mathrm {T} {=}p_{1}{\dot {q}}_{1}+p_{2}{\dot {q}}_{2}+\ldots \qquad \qquad (15)$$2\mathrm {T} {=}p_{1}{\dot {q}}_{1}+p_{2}{\dot {q}}_{2}+\ldots \qquad \qquad (15)$

This follows independently from (14), assuming the special variations $\delta x{=}{\dot {x}}dt$$\delta x{=}{\dot {x}}dt$, &c., and therefore $\delta q_{1}{=}{\dot {q}}_{1}dt,\delta q_{2}{=}{\dot {q}}_{2}dt,\ldots$$\delta q_{1}{=}{\dot {q}}_{1}dt,\delta q_{2}{=}{\dot {q}}_{2}dt,\ldots$

Again, if the values of the velocities and the momenta Reciprocal theorems. in any other motion of the system through the same configuration be distinguished by accents, we have the identity

$p_{1}{\dot {q}}'_{1}+p_{2}{\dot {q}}'_{2}+\ldots {=}p'_{1}{\dot {q}}_{1}+p'_{2}{\dot {q}}_{2}+\ldots ,\qquad \qquad (16)$$p_{1}{\dot {q}}'_{1}+p_{2}{\dot {q}}'_{2}+\ldots {=}p'_{1}{\dot {q}}_{1}+p'_{2}{\dot {q}}_{2}+\ldots ,\qquad \qquad (16)$

each side being equal to the symmetrical expression

$\mathrm {A} _{11}{\dot {q}}_{1}{\dot {q}}'_{1}+\mathrm {A} _{22}{\dot {q}}_{2}{\dot {q}}'_{2}+\ldots +\mathrm {A} _{12}({\dot {q}}_{1}{\dot {q}}'_{2}+{\dot {q}}'_{1}{\dot {q}}_{2})+\ldots \qquad \qquad (17)$$\mathrm {A} _{11}{\dot {q}}_{1}{\dot {q}}'_{1}+\mathrm {A} _{22}{\dot {q}}_{2}{\dot {q}}'_{2}+\ldots +\mathrm {A} _{12}({\dot {q}}_{1}{\dot {q}}'_{2}+{\dot {q}}'_{1}{\dot {q}}_{2})+\ldots \qquad \qquad (17)$

The theorem (16) leads to some important reciprocal relations. Thus, let us suppose that the momenta $p_{1},p_{2},\ldots$$p_{1},p_{2},\ldots$ all vanish with the exception of $p_{1}\!$$p_{1}\!$, and similarly that the momenta $p'_{1},p'_{2},\ldots$$p'_{1},p'_{2},\ldots$ all vanish except $p'_{2}\!$$p'_{2}\!$. We have then $p_{1}{\dot {q}}'_{1}{=}p'_{2}{\dot {q}}_{2}$$p_{1}{\dot {q}}'_{1}{=}p'_{2}{\dot {q}}_{2}$, or

${\dot {q}}_{2}:p_{1}{=}{\dot {q}}'_{1}:p'_{2}\qquad \qquad (18)$${\dot {q}}_{2}:p_{1}{=}{\dot {q}}'_{1}:p'_{2}\qquad \qquad (18)$

The interpretation is simplest when the co-ordinates $q_{1},q_{2}\!$$q_{1},q_{2}\!$ are both of the same kind, e.g. both lines or both angles. We may then conveniently put $p_{1}{=}p'_{2}\!$$p_{1}{=}p'_{2}\!$, and assert that the velocity of the first type due to an impulse of the second type is equal to the velocity of the second type due to an equal impulse of the first type. As an example, suppose we have a chain of straight links hinged each to the next, extended in a straight line, and free to move. A blow at right angles to the chain, at any point $\mathrm {P} \!$$\mathrm {P} \!$, will produce a certain velocity at any other point $\mathrm {Q} \!$$\mathrm {Q} \!$; the theorem asserts that an equal velocity will be produced at $\mathrm {P} \!$$\mathrm {P} \!$ by an equal blow at $\mathrm {Q} \!$$\mathrm {Q} \!$. Again, an impulsive couple acting on any link $\mathrm {A} \!$$\mathrm {A} \!$ will produce a certain angular velocity in any other link $\mathrm {B} \!$$\mathrm {B} \!$; an equal couple applied to $\mathrm {B} \!$$\mathrm {B} \!$ will produce an equal angular velocity in $\mathrm {A} \!$$\mathrm {A} \!$. Also if an impulse $\mathrm {F} \!$$\mathrm {F} \!$ applied at $\mathrm {P} \!$$\mathrm {P} \!$ produce an angular velocity $\omega \!$$\omega \!$ in a link $\mathrm {A} \!$$\mathrm {A} \!$, a couple $\mathrm {F} a\!$$\mathrm {F} a\!$ applied to $\mathrm {A} \!$$\mathrm {A} \!$ will produce a linear velocity $\omega a\!$$\omega a\!$ at $\mathrm {P} \!$$\mathrm {P} \!$. Historically, we may note that reciprocal relations in dynamics were first recognized by H. L. F. Helmholtz in the domain of acoustics; their use has been greatly extended by Lord Rayleigh.

The equations (13) determine the momenta $p_{1},p_{2},\ldots$$p_{1},p_{2},\ldots$ as linear functions of the velocities ${\dot {q}}_{1},{\dot {q}}_{2},\ldots$${\dot {q}}_{1},{\dot {q}}_{2},\ldots$ Solving these, we can express ${\dot {q}}_{1},{\dot {q}}_{2}\ldots$${\dot {q}}_{1},{\dot {q}}_{2}\ldots$ as linear functions of $p_{1},p_{2},\ldots$$p_{1},p_{2},\ldots$ The resulting equations give us the velocities produced by any given Velocities in terms of momenta. system of impulses. Further, by substitution in (8), we can express the kinetic energy as a homogeneous quadratic function of the momenta $p_{1},p_{2},\ldots$$p_{1},p_{2},\ldots$ The kinetic energy, as so expressed, will be denoted by $\mathrm {T} '\!$$\mathrm {T} '\!$; thus

$2\mathrm {T} '{=}\mathrm {A} '_{11}p_{1}^{2}+\mathrm {A} '_{22}p_{2}^{2}+\ldots +2\mathrm {A} '_{12}p-p_{2}+\ldots \qquad \qquad (19)$$2\mathrm {T} '{=}\mathrm {A} '_{11}p_{1}^{2}+\mathrm {A} '_{22}p_{2}^{2}+\ldots +2\mathrm {A} '_{12}p-p_{2}+\ldots \qquad \qquad (19)$

where $\mathrm {A} '_{11},\mathrm {A} '_{22},\ldots \mathrm {A} '_{12},\ldots$$\mathrm {A} '_{11},\mathrm {A} '_{22},\ldots \mathrm {A} '_{12},\ldots$ are certain coefficients depending on the configuration. They have been called by Maxwell the coefficients of mobility of the system. When the form (19) is given, the values of the velocities in terms of the momenta can be expressed in a remarkable form due to Sir W. R. Hamilton. The formula (15) may be written

$p_{1}{\dot {q}}_{1}+p_{2}{\dot {q}}_{2}+\ldots {=}\mathrm {T} +\mathrm {T} ',\qquad \qquad (20)$$p_{1}{\dot {q}}_{1}+p_{2}{\dot {q}}_{2}+\ldots {=}\mathrm {T} +\mathrm {T} ',\qquad \qquad (20)$

where $\mathrm {T} \!$$\mathrm {T} \!$ is supposed expressed as in (8), and $\mathrm {T} '\!$$\mathrm {T} '\!$ as in (19). Hence if, for the moment, we denote by $\delta \!$$\delta \!$ a variation affecting the velocities, and therefore the momenta, but not the configuration, we have

$p_{1}\delta {\dot {q}}_{1}+{\dot {q}}_{1}\delta p+p_{2}\delta {\dot {q}}_{2}+{\dot {q}}_{2}\delta p_{2}+\ldots {=}\delta \mathrm {T} +\delta \mathrm {T} '$$p_{1}\delta {\dot {q}}_{1}+{\dot {q}}_{1}\delta p+p_{2}\delta {\dot {q}}_{2}+{\dot {q}}_{2}\delta p_{2}+\ldots {=}\delta \mathrm {T} +\delta \mathrm {T} '$

$\qquad \qquad \qquad {=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}\delta {\dot {q}}_{2}+\ldots +{\frac {\partial \mathrm {T} '}{\partial p_{1}}}\delta p_{1}+{\frac {\partial \mathrm {T} '}{\partial p_{2}}}\delta p_{2}+\ldots \qquad \qquad (21)$$\qquad \qquad \qquad {=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}\delta {\dot {q}}_{2}+\ldots +{\frac {\partial \mathrm {T} '}{\partial p_{1}}}\delta p_{1}+{\frac {\partial \mathrm {T} '}{\partial p_{2}}}\delta p_{2}+\ldots \qquad \qquad (21)$

In virtue of (13) this reduces to

${\dot {q}}_{1}\delta p_{1}+{\dot {q}}_{2}\delta p_{2}+\ldots {=}{\frac {\partial \mathrm {T} '}{\partial p_{1}}}\delta p_{1}+{\frac {\partial \mathrm {T} '}{\partial p_{2}}}\delta p_{2}+\ldots \qquad \qquad (22)$${\dot {q}}_{1}\delta p_{1}+{\dot {q}}_{2}\delta p_{2}+\ldots {=}{\frac {\partial \mathrm {T} '}{\partial p_{1}}}\delta p_{1}+{\frac {\partial \mathrm {T} '}{\partial p_{2}}}\delta p_{2}+\ldots \qquad \qquad (22)$

Since $\delta p_{1},\delta p_{2},\ldots \!$$\delta p_{1},\delta p_{2},\ldots \!$ may be taken to be independent, we infer that

${\dot {q}}_{1}{=}{\frac {\partial \mathrm {T} '}{\partial p_{1}}},\qquad \qquad {\dot {q}}_{2}{=}{\frac {\partial \mathrm {T} '}{\partial p_{2}}},\ldots \qquad \qquad (23)$${\dot {q}}_{1}{=}{\frac {\partial \mathrm {T} '}{\partial p_{1}}},\qquad \qquad {\dot {q}}_{2}{=}{\frac {\partial \mathrm {T} '}{\partial p_{2}}},\ldots \qquad \qquad (23)$

In the very remarkable exposition of the matter given by James Clerk Maxwell in his Electricity and Magnetism, the Hamiltonian expressions (23) for the velocities in terms of the impulses are obtained directly from first principles, and the formulae (13) are then deduced by an inversion of the above argument.

An important modification of the above process was introduced by E. J. Routh and Lord Kelvin and P. G. Tait. Instead of expressing the kinetic energy in terms of the velocities alone, or in terms of the momenta alone, we may express it in Routh’s modification. terms of the velocities corresponding to some of the co-ordinates, say $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$, and of the momenta corresponding to the remaining co-ordinates, which (for the sake of distinction) we may denote by $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$. Thus, $\mathrm {T} \!$$\mathrm {T} \!$ being expressed as a homogeneous quadratic function of ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m},{\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m},{\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$, the momenta corresponding to the co-ordinates $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$ may be written

$\kappa {=}{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}},\qquad \kappa '{=}{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}'}},\qquad \kappa ''{=}{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}''}},\ldots \qquad \qquad (24)$$\kappa {=}{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}},\qquad \kappa '{=}{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}'}},\qquad \kappa ''{=}{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}''}},\ldots \qquad \qquad (24)$

These equations, when written out in full, determine ${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$ as linear functions of ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m},\kappa ,\kappa ',\kappa '',\ldots \!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m},\kappa ,\kappa ',\kappa '',\ldots \!$ We now consider the function

$R{=}\mathrm {T} -\kappa {\dot {\chi }}-\kappa '{\dot {\chi }}'-\kappa ''{\dot {\chi }}''-\ldots ,\qquad \qquad (25)$$R{=}\mathrm {T} -\kappa {\dot {\chi }}-\kappa '{\dot {\chi }}'-\kappa ''{\dot {\chi }}''-\ldots ,\qquad \qquad (25)$

supposed expressed, by means of the above relations in terms of ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m},\kappa ,\kappa ',\kappa '',\ldots \!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m},\kappa ,\kappa ',\kappa '',\ldots \!$. Performing the operation $\delta \!$$\delta \!$ on both sides of (25), we have

${\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {R} }{\partial \kappa }}\delta \kappa +\ldots {=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}}\delta {\dot {\chi }}+\ldots -\kappa \partial {\dot {\chi }}-{\dot {\chi }}\delta \kappa -\ldots ,\qquad \qquad (26)$${\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {R} }{\partial \kappa }}\delta \kappa +\ldots {=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}}\delta {\dot {\chi }}+\ldots -\kappa \partial {\dot {\chi }}-{\dot {\chi }}\delta \kappa -\ldots ,\qquad \qquad (26)$

where, for brevity, only one term of each type has been exhibited. Omitting the terms which cancel in virtue of (24), we have

${\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {R} }{\partial \kappa }}\delta \kappa +\ldots {=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots -{\dot {\chi }}\delta \kappa -\ldots \qquad \qquad (27)$${\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {R} }{\partial \kappa }}\delta \kappa +\ldots {=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots -{\dot {\chi }}\delta \kappa -\ldots \qquad \qquad (27)$

Since the variations $\delta q_{1},\delta q_{2},\ldots \delta q_{m},\delta \kappa ,\delta \kappa ',\delta \kappa '',\ldots \!$$\delta q_{1},\delta q_{2},\ldots \delta q_{m},\delta \kappa ,\delta \kappa ',\delta \kappa '',\ldots \!$ may be taken to be independent, we have

$p_{1}{=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}{=}{\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}},\qquad p_{2}{=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}{=}{\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{2}}},\ldots \qquad \qquad (28)$$p_{1}{=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}{=}{\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}},\qquad p_{2}{=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}{=}{\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{2}}},\ldots \qquad \qquad (28)$

and

${\dot {\chi }}{=}-{\frac {\partial \mathrm {R} }{\partial \kappa }},\qquad {\dot {\chi }}'{=}-{\frac {\partial \mathrm {R} }{\partial \kappa '}},\qquad {\dot {\chi }}''{=}-{\frac {\partial \mathrm {R} }{\partial \kappa ''}},\ldots \qquad \qquad (29)$${\dot {\chi }}{=}-{\frac {\partial \mathrm {R} }{\partial \kappa }},\qquad {\dot {\chi }}'{=}-{\frac {\partial \mathrm {R} }{\partial \kappa '}},\qquad {\dot {\chi }}''{=}-{\frac {\partial \mathrm {R} }{\partial \kappa ''}},\ldots \qquad \qquad (29)$

An important property of the present transformation is that, when expressed in terms of the new variables, the kinetic energy is the sum of two homogeneous quadratic functions, thus

$\mathrm {T} {=}{\mathfrak {T}}+\mathrm {K} ,\qquad \qquad (30)$$\mathrm {T} {=}{\mathfrak {T}}+\mathrm {K} ,\qquad \qquad (30)$

where ${\mathfrak {T}}$${\mathfrak {T}}$ involves the velocities ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$ alone, and $\mathrm {K} \!$$\mathrm {K} \!$ the momenta $\kappa ,\kappa ',\kappa '',\ldots \!$$\kappa ,\kappa ',\kappa '',\ldots \!$ alone. For in virtue of (29) we have, from (25),

$\mathrm {T} {=}\mathrm {R} -\left(\kappa {\frac {\partial \mathrm {R} }{\partial \kappa }}+\kappa '{\frac {\partial \mathrm {R} }{\partial \kappa '}}+\kappa ''{\frac {\partial \mathrm {R} }{\partial \kappa ''}}+\ldots \right),\qquad \qquad (31)$$\mathrm {T} {=}\mathrm {R} -\left(\kappa {\frac {\partial \mathrm {R} }{\partial \kappa }}+\kappa '{\frac {\partial \mathrm {R} }{\partial \kappa '}}+\kappa ''{\frac {\partial \mathrm {R} }{\partial \kappa ''}}+\ldots \right),\qquad \qquad (31)$

and it is evident that the terms in $\mathrm {R} \!$$\mathrm {R} \!$ which are bilinear in respect of the two sets of variables ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$ and $\kappa ,\kappa ',\kappa '',\ldots \!$$\kappa ,\kappa ',\kappa '',\ldots \!$ will disappear from the right-hand side.

It may be noted that the formula (30) gives immediate proof of two important theorems due to Bertrand and to Lord Kelvin respectively. Let us suppose, in the first place, that the system is started by given impulses of certain types, Maximum and minimum energy. but is otherwise free. J. L. F. Bertrand’s theorem is to the effect that the kinetic energy is greater than if by impulses of the remaining types the system were constrained to take any other course. We may suppose the co-ordinates to be so chosen that the constraint is expressed by the vanishing of the velocities ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$, whilst the given impulses are $\kappa ,\kappa ',\kappa '',\ldots \!$$\kappa ,\kappa ',\kappa '',\ldots \!$. Hence the energy in the actual motion is greater than in the constrained motion by the amount ${\mathfrak {T}}$${\mathfrak {T}}$.

Again, suppose that the system is started with prescribed velocity components ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$, by means of proper impulses of the corresponding types, but is otherwise free, so that in the motion actually generated we have $\kappa {=}0,\kappa '{=}0,\kappa ''{=}0,\ldots \!$$\kappa {=}0,\kappa '{=}0,\kappa ''{=}0,\ldots \!$ and therefore \mathrm{K} = 0. The kinetic energy is therefore less than in any other motion consistent with the prescribed velocity-conditions by the value which $\mathrm {K} \!$$\mathrm {K} \!$ assumes when $\kappa ,\kappa ',\kappa '',\ldots \!$$\kappa ,\kappa ',\kappa '',\ldots \!$ represent the impulses due to the constraints.

Simple illustrations of these theorems are afforded by the chain of straight links already employed. Thus if a point of the chain be held fixed, or if one or more of the joints be made rigid, the energy generated by any given impulses is less than if the chain had possessed its former freedom.

2. Continuous Motion of a System.

We may proceed to the continuous motion of a system. The Lagrange’s equations. equations of motion of any particle of the system are of the form

$m{\ddot {x}}{=}\mathrm {X} ,\qquad m{\ddot {y}}{=}\mathrm {Y} ,\qquad m{\ddot {z}}{=}\mathrm {Z} \qquad \qquad (1)$$m{\ddot {x}}{=}\mathrm {X} ,\qquad m{\ddot {y}}{=}\mathrm {Y} ,\qquad m{\ddot {z}}{=}\mathrm {Z} \qquad \qquad (1)$

Now let $x+\delta x,y+\delta y,z+\delta z\!$$x+\delta x,y+\delta y,z+\delta z\!$ be the co-ordinates of $m\!$$m\!$ in any arbitrary motion of the system differing infinitely little from the actual motion, and let us form the equation

$\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z){=}\sum (\mathrm {X} \delta x+\mathrm {Y} \delta y+\mathrm {Z} \delta z)\qquad \qquad (2)$$\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z){=}\sum (\mathrm {X} \delta x+\mathrm {Y} \delta y+\mathrm {Z} \delta z)\qquad \qquad (2)$

Lagrange’s investigation consists in the transformation of (2) into an equation involving the independent variations $\delta q_{1},\delta q_{2},\ldots \delta q_{n}\!$$\delta q_{1},\delta q_{2},\ldots \delta q_{n}\!$.

It is important to notice that the symbols $\delta \!$$\delta \!$ and $d/dt\!$$d/dt\!$ are commutative, since

$\delta {\dot {x}}{=}{\frac {d}{dt}}(x+\delta x)-{\frac {dx}{dt}}{=}{\frac {d}{dt}}\delta x,\And \!\!\!{\text{c.}}\qquad \qquad (3)$$\delta {\dot {x}}{=}{\frac {d}{dt}}(x+\delta x)-{\frac {dx}{dt}}{=}{\frac {d}{dt}}\delta x,\And \!\!\!{\text{c.}}\qquad \qquad (3)$

Hence

$\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z){=}{\frac {d}{dt}}\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z)-\sum m({\dot {x}}\delta {\dot {x}}+{\dot {y}}\delta {\dot {y}}+{\dot {z}}\delta {\dot {z}})$$\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z){=}{\frac {d}{dt}}\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z)-\sum m({\dot {x}}\delta {\dot {x}}+{\dot {y}}\delta {\dot {y}}+{\dot {z}}\delta {\dot {z}})$

${=}{\frac {d}{dt}}(p_{1}\delta q_{1}+p_{2}\delta q_{2}+\ldots )-\delta \mathrm {T} ,\qquad \qquad (4)$${=}{\frac {d}{dt}}(p_{1}\delta q_{1}+p_{2}\delta q_{2}+\ldots )-\delta \mathrm {T} ,\qquad \qquad (4)$

by § 1 (14). The last member may be written

${\dot {p}}_{1}\delta q_{1}+p_{1}\delta {\dot {q}}_{1}+{\dot {p}}_{2}\delta q_{2}+p_{2}\delta {\dot {q}}_{2}+\ldots -{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}-{\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}-{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}\delta {\dot {q}}_{2}-{\frac {\partial \mathrm {T} }{\partial q_{2}}}\delta q_{2}-\ldots \qquad \qquad (5)$${\dot {p}}_{1}\delta q_{1}+p_{1}\delta {\dot {q}}_{1}+{\dot {p}}_{2}\delta q_{2}+p_{2}\delta {\dot {q}}_{2}+\ldots -{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}-{\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}-{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}\delta {\dot {q}}_{2}-{\frac {\partial \mathrm {T} }{\partial q_{2}}}\delta q_{2}-\ldots \qquad \qquad (5)$

Hence, omitting the terms which cancel in virtue of § 1 (13), we find

$\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z){=}\left({\dot {p}}_{1}-{\frac {\partial \mathrm {T} }{\partial q_{1}}}\right)\delta q_{1}+\left({\dot {p}}_{2}-{\frac {\partial \mathrm {T} }{\partial q_{2}}}\right)\delta q_{2}+\ldots \qquad \qquad (6)$$\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z){=}\left({\dot {p}}_{1}-{\frac {\partial \mathrm {T} }{\partial q_{1}}}\right)\delta q_{1}+\left({\dot {p}}_{2}-{\frac {\partial \mathrm {T} }{\partial q_{2}}}\right)\delta q_{2}+\ldots \qquad \qquad (6)$

For the right-hand side of (2) we have

$\sum (\mathrm {X} \delta x+\mathrm {Y} \delta y+\mathrm {Z} \delta z){=}\mathrm {Q} _{1}\delta q_{1}+\mathrm {Q} _{2}\delta q_{2}+\ldots ,\qquad \qquad (7)$$\sum (\mathrm {X} \delta x+\mathrm {Y} \delta y+\mathrm {Z} \delta z){=}\mathrm {Q} _{1}\delta q_{1}+\mathrm {Q} _{2}\delta q_{2}+\ldots ,\qquad \qquad (7)$

where

$\mathrm {Q} _{r}{=}\sum \left(\mathrm {X} {\frac {\partial x}{\partial q_{r}}}+\mathrm {Y} {\frac {\partial y}{\partial q_{r}}}+\mathrm {Z} {\frac {\partial z}{\partial q_{r}}}\right).\qquad \qquad (8)$$\mathrm {Q} _{r}{=}\sum \left(\mathrm {X} {\frac {\partial x}{\partial q_{r}}}+\mathrm {Y} {\frac {\partial y}{\partial q_{r}}}+\mathrm {Z} {\frac {\partial z}{\partial q_{r}}}\right).\qquad \qquad (8)$

The quantities $\mathrm {Q} _{1},\mathrm {Q} _{2},\ldots \!$$\mathrm {Q} _{1},\mathrm {Q} _{2},\ldots \!$ are called the generalized components of force acting on the system.

Comparing (6) and (7) we find

${\dot {p}}_{1}-{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}{=}\mathrm {Q} _{1},\qquad {\dot {p}}_{2}-{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}{=}\mathrm {Q} _{2},\ldots ,\qquad \qquad (9)$${\dot {p}}_{1}-{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}{=}\mathrm {Q} _{1},\qquad {\dot {p}}_{2}-{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}{=}\mathrm {Q} _{2},\ldots ,\qquad \qquad (9)$

or, restoring the values of $p_{1},p_{2},\ldots \!$$p_{1},p_{2},\ldots \!$,

${\frac {d}{dt}}\left({\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\right)-{\frac {\partial \mathrm {T} }{\partial q_{1}}}{=}\mathrm {Q} _{1},\qquad {\frac {d}{dt}}\left({\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}\right)-{\frac {\partial \mathrm {T} }{\partial q_{2}}}{=}\mathrm {Q} _{2},\ldots \qquad \qquad (10)$${\frac {d}{dt}}\left({\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\right)-{\frac {\partial \mathrm {T} }{\partial q_{1}}}{=}\mathrm {Q} _{1},\qquad {\frac {d}{dt}}\left({\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}\right)-{\frac {\partial \mathrm {T} }{\partial q_{2}}}{=}\mathrm {Q} _{2},\ldots \qquad \qquad (10)$

These are Lagrange’s general equations of motion. Their number is of course equal to that of the co-ordinates $q_{1},q_{2},\ldots \!$$q_{1},q_{2},\ldots \!$ to be determined.

Analytically, the above proof is that given by Lagrange, but the terminology employed is of much more recent date, having been first introduced by Lord Kelvin and P. G. Tait; it has greatly promoted the physical application of the subject. Another proof of the equations (10), by direct transformation of co-ordinates, has been given by Hamilton and independently by other writers (see Mechanics), but the variational method of Lagrange is that which stands in closest relation to the subsequent developments of the subject. The chapter of Maxwell, already referred to, is a most instructive commentary on the subject from the physical point of view, although the proof there attempted of the equations (10) is fallacious.

In a “conservative system” the work which would have to be done by extraneous forces to bring the system from rest in some standard configuration to rest in the configuration $(q_{1},q_{2},\ldots q_{n})\!$$(q_{1},q_{2},\ldots q_{n})\!$ is independent of the path, and may therefore be regarded as a definite function of $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$. Denoting this function (the potential energy) by $\mathrm {V} \!$$\mathrm {V} \!$, we have, if there be no extraneous force on the system,

$\sum (\mathrm {X} \delta x+\mathrm {Y} \delta y+\mathrm {Z} \delta z){=}-\delta \mathrm {V} ,\qquad \qquad (11)$$\sum (\mathrm {X} \delta x+\mathrm {Y} \delta y+\mathrm {Z} \delta z){=}-\delta \mathrm {V} ,\qquad \qquad (11)$

and therefore

$\mathrm {Q} _{1}{=}-{\frac {\partial \mathrm {V} }{\partial q_{1}}},\qquad \mathrm {Q} _{2}{=}-{\frac {\partial \mathrm {V} }{\partial q_{2}}},\ldots .\qquad \qquad (12)$$\mathrm {Q} _{1}{=}-{\frac {\partial \mathrm {V} }{\partial q_{1}}},\qquad \mathrm {Q} _{2}{=}-{\frac {\partial \mathrm {V} }{\partial q_{2}}},\ldots .\qquad \qquad (12)$

Hence the typical Lagrange’s equation may be now written in the form

${\frac {d}{dt}}\left({\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{r}}}\right)-{\frac {\partial \mathrm {T} }{\partial q_{r}}}=-{\frac {\partial \mathrm {V} }{\partial q_{r}}},\qquad \qquad (13)$${\frac {d}{dt}}\left({\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{r}}}\right)-{\frac {\partial \mathrm {T} }{\partial q_{r}}}=-{\frac {\partial \mathrm {V} }{\partial q_{r}}},\qquad \qquad (13)$

or, again,

${\dot {p}}_{r}{=}-{\frac {\partial }{\partial q_{r}}}(\mathrm {V} -\mathrm {T} ).\qquad \qquad (14)$${\dot {p}}_{r}{=}-{\frac {\partial }{\partial q_{r}}}(\mathrm {V} -\mathrm {T} ).\qquad \qquad (14)$

It has been proposed by Helmholtz to give the name kinetic potential to the combination $\mathrm {V} -\mathrm {T} \!$$\mathrm {V} -\mathrm {T} \!$.

As shown under Mechanics, § 22, we derive from (10)

${\frac {d\mathrm {T} }{dt}}{=}\mathrm {Q} _{1}{\dot {q}}_{1}+\mathrm {Q} _{2}{\dot {q}}_{2}+\ldots ,\qquad \qquad (15)$${\frac {d\mathrm {T} }{dt}}{=}\mathrm {Q} _{1}{\dot {q}}_{1}+\mathrm {Q} _{2}{\dot {q}}_{2}+\ldots ,\qquad \qquad (15)$

and therefore in the case of a conservative system free from extraneous force,

${\frac {d}{dt}}(\mathrm {T} +\mathrm {V} ){=}0{\text{ or }}\mathrm {T} +\mathrm {V} {=}{\text{const.}},\qquad \qquad (16)$${\frac {d}{dt}}(\mathrm {T} +\mathrm {V} ){=}0{\text{ or }}\mathrm {T} +\mathrm {V} {=}{\text{const.}},\qquad \qquad (16)$

which is the equation of energy. For examples of the application of the formula (13) see Mechanics, § 22.

3. Constrained Systems.

It has so far been assumed that the geometrical relations, if any, which exist between the various parts of the system Case of varying relations. are of the type § 1 (1), and so do not contain t explicitly. The extension of Lagrange’s equations to the case of “varying relations” of the type

$x{=}f(t,q_{1},q_{2},\ldots q_{n}),y{=}\And \!\!\!{\text{c.}},z{=}\And \!\!\!{\text{c.}},\qquad \qquad (1)$$x{=}f(t,q_{1},q_{2},\ldots q_{n}),y{=}\And \!\!\!{\text{c.}},z{=}\And \!\!\!{\text{c.}},\qquad \qquad (1)$

was made by J. M. L. Vieille. We now have

${\dot {x}}{=}{\frac {\partial x}{\partial t}}+{\frac {\partial x}{\partial q_{1}}}{\dot {q}}_{1}+{\frac {\partial x}{\partial q_{2}}}{\dot {q}}_{2}+\ldots ,\And \!\!\!{\text{c.}},\And \!\!\!{\text{c.}},\qquad \qquad (2)$${\dot {x}}{=}{\frac {\partial x}{\partial t}}+{\frac {\partial x}{\partial q_{1}}}{\dot {q}}_{1}+{\frac {\partial x}{\partial q_{2}}}{\dot {q}}_{2}+\ldots ,\And \!\!\!{\text{c.}},\And \!\!\!{\text{c.}},\qquad \qquad (2)$

$\delta x{=}{\frac {\partial x}{\partial q_{1}}}\delta q_{1}+{\frac {\partial x}{\partial q_{2}}}\delta q_{2}+\ldots ,\And \!\!\!{\text{c.}},\And \!\!\!{\text{c.}},\qquad \qquad (3)$$\delta x{=}{\frac {\partial x}{\partial q_{1}}}\delta q_{1}+{\frac {\partial x}{\partial q_{2}}}\delta q_{2}+\ldots ,\And \!\!\!{\text{c.}},\And \!\!\!{\text{c.}},\qquad \qquad (3)$

so that the expression § 1 (8) for the kinetic energy is to be replaced by

$2\mathrm {T} {=}\alpha _{0}+2\alpha _{1}{\dot {q}}_{1}+2\alpha _{2}{\dot {q}}_{2}+\ldots +\mathrm {A} _{11}{\dot {q}}_{1}^{2}+\mathrm {A} _{22}{\dot {q}}_{2}^{2}+\ldots +\mathrm {A} _{12}{\dot {q}}_{1}{\dot {q}}_{2}+\ldots ,\qquad \qquad (4)$$2\mathrm {T} {=}\alpha _{0}+2\alpha _{1}{\dot {q}}_{1}+2\alpha _{2}{\dot {q}}_{2}+\ldots +\mathrm {A} _{11}{\dot {q}}_{1}^{2}+\mathrm {A} _{22}{\dot {q}}_{2}^{2}+\ldots +\mathrm {A} _{12}{\dot {q}}_{1}{\dot {q}}_{2}+\ldots ,\qquad \qquad (4)$

where

$\left.{\begin{aligned}\alpha _{0}&{=}\sum m\left\{\left({\frac {\partial x}{\partial t}}\right)^{2}+\left({\frac {\partial y}{\partial t}}\right)^{2}+\left({\frac {\partial z}{\partial t}}\right)^{2}\right\},\\\alpha _{r}&{=}\sum m\left\{{\frac {\partial x}{\partial t}}\,{\frac {\partial x}{\partial q_{r}}}+{\frac {\partial y}{\partial t}}\,{\frac {\partial y}{\partial q_{r}}}+{\frac {\partial z}{\partial t}}\,{\frac {\partial z}{\partial q_{r}}}\right\},\end{aligned}}\right\}\qquad \qquad (5)$$\left.{\begin{aligned}\alpha _{0}&{=}\sum m\left\{\left({\frac {\partial x}{\partial t}}\right)^{2}+\left({\frac {\partial y}{\partial t}}\right)^{2}+\left({\frac {\partial z}{\partial t}}\right)^{2}\right\},\\\alpha _{r}&{=}\sum m\left\{{\frac {\partial x}{\partial t}}\,{\frac {\partial x}{\partial q_{r}}}+{\frac {\partial y}{\partial t}}\,{\frac {\partial y}{\partial q_{r}}}+{\frac {\partial z}{\partial t}}\,{\frac {\partial z}{\partial q_{r}}}\right\},\end{aligned}}\right\}\qquad \qquad (5)$

and the forms of $\mathrm {A} _{rr},\mathrm {A} _{rs}\!$$\mathrm {A} _{rr},\mathrm {A} _{rs}\!$ are as given by § 1 (7). It is to be remembered that the coefficients $\alpha _{0},\alpha _{1},\alpha _{2},\ldots \mathrm {A} _{11},\mathrm {A} _{22},\ldots \mathrm {A} _{12}\ldots \!$$\alpha _{0},\alpha _{1},\alpha _{2},\ldots \mathrm {A} _{11},\mathrm {A} _{22},\ldots \mathrm {A} _{12}\ldots \!$ will in general involve $t\!$$t\!$ explicitly as well as implicitly through the co-ordinates $q_{1},q_{2},\ldots \!$$q_{1},q_{2},\ldots \!$. Again, we find

$\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z){=}(\alpha _{1}+\mathrm {A} _{11}{\dot {q}}_{1}+\mathrm {A} _{12}{\dot {q}}_{2}+\ldots )\delta q_{1}+(\alpha _{2}+\mathrm {A} _{21}{\dot {q}}_{1}+\mathrm {A} _{22}{\dot {q}}_{2}+\ldots )\partial q_{2}+\ldots$$\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z){=}(\alpha _{1}+\mathrm {A} _{11}{\dot {q}}_{1}+\mathrm {A} _{12}{\dot {q}}_{2}+\ldots )\delta q_{1}+(\alpha _{2}+\mathrm {A} _{21}{\dot {q}}_{1}+\mathrm {A} _{22}{\dot {q}}_{2}+\ldots )\partial q_{2}+\ldots$

$={\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta q_{1}+{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}\delta q_{2}+\ldots {=}p_{1}\delta q_{1}+p_{2}\delta q_{2}+\ldots ,\qquad \qquad (6)$$={\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta q_{1}+{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}\delta q_{2}+\ldots {=}p_{1}\delta q_{1}+p_{2}\delta q_{2}+\ldots ,\qquad \qquad (6)$

where $p_{r}\!$$p_{r}\!$ is defined as in § 1 (13). The derivation of Lagrange’s equations then follows exactly as before. It is to be noted that the equation § 2 (15) does not as a rule now hold. The proof involved the assumption that $\mathrm {T} \!$$\mathrm {T} \!$ is a homogeneous quadratic function of the velocities ${\dot {q}}_{1},{\dot {q}}_{2}\ldots \!$${\dot {q}}_{1},{\dot {q}}_{2}\ldots \!$.

It has been pointed out by R. B. Hayward that Vieille’s case can be brought under Lagrange’s by introducing a new co-ordinate ($\chi \!$$\chi \!$) in place of $t\!$$t\!$, so far as it appears explicitly in the relations (1). We have then

$2\mathrm {T} {=}\alpha _{0}{\dot {\chi }}^{2}+2(\alpha _{1}{\dot {q}}_{1}+\alpha _{2}{\dot {q}}_{2}+\ldots ){\dot {\chi }}+\mathrm {A} _{11}{\dot {q}}_{1}^{2}+\mathrm {A} _{22}{\dot {q}}_{2}^{2}+\ldots +2\mathrm {A} _{12}{\dot {q}}_{1}{\dot {q}}_{2}+\ldots .\qquad \qquad (7)$$2\mathrm {T} {=}\alpha _{0}{\dot {\chi }}^{2}+2(\alpha _{1}{\dot {q}}_{1}+\alpha _{2}{\dot {q}}_{2}+\ldots ){\dot {\chi }}+\mathrm {A} _{11}{\dot {q}}_{1}^{2}+\mathrm {A} _{22}{\dot {q}}_{2}^{2}+\ldots +2\mathrm {A} _{12}{\dot {q}}_{1}{\dot {q}}_{2}+\ldots .\qquad \qquad (7)$

The equations of motion will be as in § 2 (10), with the additional equation

${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}}-{\frac {\partial \mathrm {T} }{\partial \chi }}=\mathrm {X} ,\qquad \qquad (8)$${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}}-{\frac {\partial \mathrm {T} }{\partial \chi }}=\mathrm {X} ,\qquad \qquad (8)$

where $\mathrm {X} \!$$\mathrm {X} \!$ is the force corresponding to the co-ordinate $\chi \!$$\chi \!$. We may suppose $\mathrm {X} \!$$\mathrm {X} \!$ to be adjusted so as to make ${\ddot {\chi }}{=}0\!$${\ddot {\chi }}{=}0\!$, and in the remaining equations nothing is altered if we write $t\!$$t\!$ for $\chi \!$$\chi \!$ before, instead of after, the differentiations. The reason why the equation § 2 (15) no longer holds is that we should require to add a term $\mathrm {X} {\dot {\chi }}\!$$\mathrm {X} {\dot {\chi }}\!$ on the right-hand side; this represents the rate at which work is being done by the constraining forces required to keep ${\dot {\chi }}\!$${\dot {\chi }}\!$ constant.

As an example, let $x,y,z\!$$x,y,z\!$ be the co-ordinates of a particle relative to axes fixed in a solid which is free to rotate about the axis of $z\!$$z\!$. If $\phi \!$$\phi \!$ be the angular co-ordinate of the solid, we find without difficulty

$2\mathrm {T} {=}m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2})+2{\dot {\phi }}m(x{\dot {y}}-y{\dot {x}})+{\mathrm {I} +m(x^{2}+y^{2})}{\dot {\phi }}^{2},\qquad \qquad (9)$$2\mathrm {T} {=}m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2})+2{\dot {\phi }}m(x{\dot {y}}-y{\dot {x}})+{\mathrm {I} +m(x^{2}+y^{2})}{\dot {\phi }}^{2},\qquad \qquad (9)$

where $\mathrm {I} \!$$\mathrm {I} \!$ is the moment of inertia of the solid. The equations of motion, viz.

${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {x}}}}-{\frac {\partial \mathrm {T} }{\partial x}}=\mathrm {X} ,\qquad {\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {y}}}}-{\frac {\partial \mathrm {T} }{\partial y}}=\mathrm {Y} ,\qquad {\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {z}}}}-{\frac {\partial \mathrm {T} }{\partial z}}=\mathrm {Z} ,\qquad \qquad (10)$${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {x}}}}-{\frac {\partial \mathrm {T} }{\partial x}}=\mathrm {X} ,\qquad {\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {y}}}}-{\frac {\partial \mathrm {T} }{\partial y}}=\mathrm {Y} ,\qquad {\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {z}}}}-{\frac {\partial \mathrm {T} }{\partial z}}=\mathrm {Z} ,\qquad \qquad (10)$

and

${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {\phi }}}}-{\frac {\partial \mathrm {T} }{\partial \phi }}=\Phi ,\qquad \qquad (11)$${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {\phi }}}}-{\frac {\partial \mathrm {T} }{\partial \phi }}=\Phi ,\qquad \qquad (11)$

become

$m({\ddot {x}}-2{\dot {\phi }}{\dot {y}}-x{\dot {\phi }}^{2}-y{\ddot {\phi }}){=}\mathrm {X} ,m({\ddot {y}}+2{\dot {\phi }}{\dot {x}}-y{\dot {\phi }}^{2}+x{\ddot {\phi }}){=}\mathrm {Y} ,m{\ddot {z}}{=}\mathrm {Z} ,\qquad \qquad (12)$$m({\ddot {x}}-2{\dot {\phi }}{\dot {y}}-x{\dot {\phi }}^{2}-y{\ddot {\phi }}){=}\mathrm {X} ,m({\ddot {y}}+2{\dot {\phi }}{\dot {x}}-y{\dot {\phi }}^{2}+x{\ddot {\phi }}){=}\mathrm {Y} ,m{\ddot {z}}{=}\mathrm {Z} ,\qquad \qquad (12)$

and

${\frac {d}{dt}}[{\mathrm {I} +m(x^{2}+y^{2})}{\dot {\phi }}+m(x{\dot {y}}-y{\dot {x}})]{=}\Phi .\qquad \qquad (13)$${\frac {d}{dt}}[{\mathrm {I} +m(x^{2}+y^{2})}{\dot {\phi }}+m(x{\dot {y}}-y{\dot {x}})]{=}\Phi .\qquad \qquad (13)$

If we suppose $\Phi \!$$\Phi \!$ adjusted so as to maintain ${\ddot {\phi }}{=}0\!$${\ddot {\phi }}{=}0\!$, or (again) if we suppose the moment of inertia $\mathrm {I} \!$$\mathrm {I} \!$ to be infinitely great, we obtain the familiar equations of motion relative to moving axes, viz.

$m({\ddot {x}}-2\omega {\dot {y}}-\omega ^{2}x){=}\mathrm {X} ,m({\ddot {y}}+2\omega {\dot {x}}-\omega ^{2}y){=}\mathrm {Y} ,m{\ddot {z}}{=}\mathrm {Z} ,\qquad \qquad (14)$$m({\ddot {x}}-2\omega {\dot {y}}-\omega ^{2}x){=}\mathrm {X} ,m({\ddot {y}}+2\omega {\dot {x}}-\omega ^{2}y){=}\mathrm {Y} ,m{\ddot {z}}{=}\mathrm {Z} ,\qquad \qquad (14)$

where $\omega \!$$\omega \!$ has been written for $\phi \!$$\phi \!$. These are the equations which we should have obtained by applying Lagrange’s rule at once to the formula

$2\mathrm {T} {=}m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2})+2m\omega (x{\dot {y}}-y{\dot {x}})+m\omega ^{2}(x^{2}+y^{2}),\qquad \qquad (15)$$2\mathrm {T} {=}m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2})+2m\omega (x{\dot {y}}-y{\dot {x}})+m\omega ^{2}(x^{2}+y^{2}),\qquad \qquad (15)$

which gives the kinetic energy of the particle referred to axes rotating with the constant angular velocity $\omega \!$$\omega \!$. (See Mechanics, § 13.)

More generally, let us suppose that we have a certain group of co-ordinates $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$ whose absolute values do not affect the expression for the kinetic energy, and that by suitable forces of the corresponding types the velocity-components ${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$ are maintained constant. The remaining co-ordinates being denoted by $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$, we may write

$2\mathrm {T} {=}{\mathfrak {T}}+\mathrm {T} _{0}+2(\alpha _{1}{\dot {q}}_{1}+\alpha _{2}{\dot {q}}_{2}+\ldots ){\dot {\chi }}+2(\alpha '_{1}{\dot {q}}_{1}+\alpha '_{2}{\dot {q}}_{2}+\ldots ){\dot {\chi }}'+\ldots ,\qquad \qquad (16)$$2\mathrm {T} {=}{\mathfrak {T}}+\mathrm {T} _{0}+2(\alpha _{1}{\dot {q}}_{1}+\alpha _{2}{\dot {q}}_{2}+\ldots ){\dot {\chi }}+2(\alpha '_{1}{\dot {q}}_{1}+\alpha '_{2}{\dot {q}}_{2}+\ldots ){\dot {\chi }}'+\ldots ,\qquad \qquad (16)$

where ${\mathfrak {T}}$${\mathfrak {T}}$ is a homogeneous quadratic function of the velocities ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{n}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{n}\!$ of the type § 1 (8), whilst $\mathrm {T} _{0}\!$$\mathrm {T} _{0}\!$ is a homogeneous quadratic function of the velocities ${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$ alone. The remaining terms, which are bilinear in respect of the two sets of velocities, are indicated more fully. The formulae (10) of § 2 give <mathn\!</math> equations of the type

${\frac {d}{dt}}\left({\frac {\partial {\mathfrak {T}}}{\partial q_{r}}}\right)-{\frac {\partial {\mathfrak {T}}}{\partial q_{r}}}+(r,1){\dot {q}}_{1}+(r,2){\dot {q}}_{2}+\ldots -{\frac {\partial \mathrm {T} _{0}}{\partial q_{r}}}=\mathrm {Q} _{r}\qquad \qquad (17)$${\frac {d}{dt}}\left({\frac {\partial {\mathfrak {T}}}{\partial q_{r}}}\right)-{\frac {\partial {\mathfrak {T}}}{\partial q_{r}}}+(r,1){\dot {q}}_{1}+(r,2){\dot {q}}_{2}+\ldots -{\frac {\partial \mathrm {T} _{0}}{\partial q_{r}}}=\mathrm {Q} _{r}\qquad \qquad (17)$

where

$(r,s){=}\left({\frac {\partial \alpha _{r}}{\partial q_{s}}}-{\frac {\partial \alpha _{s}}{\partial q_{r}}}\right){\dot {\chi }}+\left({\frac {\partial \alpha '_{r}}{\partial q_{s}}}-{\frac {\partial \alpha '_{s}}{\partial q_{r}}}\right){\dot {\chi }}'+\ldots .\qquad \qquad (18)$$(r,s){=}\left({\frac {\partial \alpha _{r}}{\partial q_{s}}}-{\frac {\partial \alpha _{s}}{\partial q_{r}}}\right){\dot {\chi }}+\left({\frac {\partial \alpha '_{r}}{\partial q_{s}}}-{\frac {\partial \alpha '_{s}}{\partial q_{r}}}\right){\dot {\chi }}'+\ldots .\qquad \qquad (18)$

These quantities $(r,s)\!$$(r,s)\!$ are subject to the relations

$(r,s){=}-(s,r),(r,r){=}0\qquad \qquad (19)$$(r,s){=}-(s,r),(r,r){=}0\qquad \qquad (19)$

The remaining dynamical equations, equal in number to the co-ordinates $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$, yield expressions for the forces which must be applied in order to maintain the velocities ${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$ constant; they need not be written down. If we follow the method by which the equation of energy was established in § 2, the equations (17) lead, on taking account of the relations (19), to

${\frac {d}{dt}}({\mathfrak {T}}-\mathrm {T} _{0}){=}\mathrm {Q} _{1}{\dot {q}}_{1}+\mathrm {Q} _{2}{\dot {q}}_{2}+\ldots +\mathrm {Q} _{n}{\dot {q}}_{n},\qquad \qquad (20)$${\frac {d}{dt}}({\mathfrak {T}}-\mathrm {T} _{0}){=}\mathrm {Q} _{1}{\dot {q}}_{1}+\mathrm {Q} _{2}{\dot {q}}_{2}+\ldots +\mathrm {Q} _{n}{\dot {q}}_{n},\qquad \qquad (20)$

or, in case the forces $\mathrm {Q} _{r}\!$$\mathrm {Q} _{r}\!$ depend only on the co-ordinates $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$ and are conservative,

${\mathfrak {T}}+\mathrm {V} -\mathrm {T} _{0}{=}const.\qquad \qquad (21)$${\mathfrak {T}}+\mathrm {V} -\mathrm {T} _{0}{=}const.\qquad \qquad (21)$

The conditions that the equations (17) should be satisfied by zero values of the velocities ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{n}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{n}\!$ are

$\mathrm {Q} _{r}{=}-{\frac {\partial \mathrm {T} _{0}}{\partial q_{r}}},\qquad \qquad (22)$$\mathrm {Q} _{r}{=}-{\frac {\partial \mathrm {T} _{0}}{\partial q_{r}}},\qquad \qquad (22)$

or in the case of conservative forces

${\frac {\partial }{\partial q_{r}}}(\mathrm {V} -\mathrm {T} _{0}){=}0,\qquad \qquad (23)$${\frac {\partial }{\partial q_{r}}}(\mathrm {V} -\mathrm {T} _{0}){=}0,\qquad \qquad (23)$

i.e. the value of $\mathrm {V} -\mathrm {T} _{0}\!$$\mathrm {V} -\mathrm {T} _{0}\!$ must be stationary.

We may apply this to the case of a system whose configuration relative to axes rotating with constant angular velocity ($\omega \!$$\omega \!$) is defined by means of the n co-ordinates $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$. Rotating axes. This is important on account of its bearing on the kinetic theory of the tides. Since the Cartesian co-ordinates $x,y,z\!$$x,y,z\!$ of any particle $m\!$$m\!$ of the system relative to the moving axes are functions of $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$, of the form § 1 (1), we have, by (15)

$2{\mathfrak {T}}{=}\sum m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2}),\qquad 2\mathrm {T} _{0}{=}\omega ^{2}\sum m(x^{2}+y^{2}),\qquad \qquad (24)$$2{\mathfrak {T}}{=}\sum m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2}),\qquad 2\mathrm {T} _{0}{=}\omega ^{2}\sum m(x^{2}+y^{2}),\qquad \qquad (24)$

$\alpha _{r}{=}\sum m\left(x{\frac {\partial y}{\partial q_{r}}}-y{\frac {\partial x}{\partial q_{r}}}\right),\qquad \qquad (25)$$\alpha _{r}{=}\sum m\left(x{\frac {\partial y}{\partial q_{r}}}-y{\frac {\partial x}{\partial q_{r}}}\right),\qquad \qquad (25)$

whence

$(r,s){=}2\omega \cdot \sum m{\frac {\partial (x,y)}{\partial (q_{s},q_{r})}}.\qquad \qquad (26)$$(r,s){=}2\omega \cdot \sum m{\frac {\partial (x,y)}{\partial (q_{s},q_{r})}}.\qquad \qquad (26)$

The conditions of relative equilibrium are given by (23).

It will be noticed that this expression $\mathrm {V} -\mathrm {T} _{0}\!$$\mathrm {V} -\mathrm {T} _{0}\!$, which is to be stationary, differs from the true potential energy by a term which represents the potential energy of the system in relation to fictitious “centrifugal forces.” The question of stability of relative equilibrium will be noticed later (§ 6).

It should be observed that the remarkable formula (20) may in the present case be obtained directly as follows. From (15) and (14) we find

${\frac {d\mathrm {T} }{dt}}={\frac {d}{dt}}({\mathfrak {T}}+\mathrm {T} _{0})+\omega \cdot \sum m(x{\ddot {y}}-y{\ddot {x}}){=}{\frac {d}{dt}}({\mathfrak {T}}-\mathrm {T} _{0})+\omega \cdot \sum (x\mathrm {Y} -y\mathrm {X} ).\qquad \qquad (27)$${\frac {d\mathrm {T} }{dt}}={\frac {d}{dt}}({\mathfrak {T}}+\mathrm {T} _{0})+\omega \cdot \sum m(x{\ddot {y}}-y{\ddot {x}}){=}{\frac {d}{dt}}({\mathfrak {T}}-\mathrm {T} _{0})+\omega \cdot \sum (x\mathrm {Y} -y\mathrm {X} ).\qquad \qquad (27)$

This must be equal to the rate at which the forces acting on the system do work, viz. to

$\omega \sum (x\mathrm {Y} -y\mathrm {X} )+\mathrm {Q} _{1}{\dot {q}}_{1}+\mathrm {Q} _{2}{\dot {q}}_{2}+\ldots +\mathrm {Q} _{n}{\dot {q}}_{n},$$\omega \sum (x\mathrm {Y} -y\mathrm {X} )+\mathrm {Q} _{1}{\dot {q}}_{1}+\mathrm {Q} _{2}{\dot {q}}_{2}+\ldots +\mathrm {Q} _{n}{\dot {q}}_{n},$

where the first term represents the work done in virtue of the rotation.

We have still to notice the modifications which Lagrange’s equations undergo when the co-ordinates $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$ Constrained systems. are not all independently variable. In the first place, we may suppose them connected by a number $m(<n)\!$$m(<n)\!$ of relations of the type

$\mathrm {A} (t,q_{1},q_{2},\ldots q_{n}){=}0,\qquad \mathrm {B} (t,q_{1},q_{2},\ldots q_{n}){=}0,\And \!\!\!{\text{c.}}\qquad \qquad (28)$$\mathrm {A} (t,q_{1},q_{2},\ldots q_{n}){=}0,\qquad \mathrm {B} (t,q_{1},q_{2},\ldots q_{n}){=}0,\And \!\!\!{\text{c.}}\qquad \qquad (28)$

These may be interpreted as introducing partial constraints into a previously free system. The variations $\delta q_{1},\delta q_{2},\ldots \delta q_{n}\!$$\delta q_{1},\delta q_{2},\ldots \delta q_{n}\!$ in the expressions (6) and (7) of § 2 which are to be equated are no longer independent, but are subject to the relations

${\frac {\partial \mathrm {A} }{\partial q_{1}}}\delta q_{1}+{\frac {\partial \mathrm {A} }{\partial q_{2}}}\delta q_{2}+\ldots {=}0,\qquad {\frac {\partial \mathrm {B} }{\partial q_{1}}}\delta q_{1}+{\frac {\partial \mathrm {B} }{\partial q_{2}}}\delta q_{2}+\ldots {=}0,\And \!\!\!{\text{c.}}\qquad \qquad (29)$${\frac {\partial \mathrm {A} }{\partial q_{1}}}\delta q_{1}+{\frac {\partial \mathrm {A} }{\partial q_{2}}}\delta q_{2}+\ldots {=}0,\qquad {\frac {\partial \mathrm {B} }{\partial q_{1}}}\delta q_{1}+{\frac {\partial \mathrm {B} }{\partial q_{2}}}\delta q_{2}+\ldots {=}0,\And \!\!\!{\text{c.}}\qquad \qquad (29)$

Introducing indeterminate multipliers $\lambda ,\mu ,\ldots \!$$\lambda ,\mu ,\ldots \!$, one for each of these equations, we obtain in the usual manner $n\!$$n\!$ equations of the type

${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{r}}}-{\frac {\partial \mathrm {T} }{\partial q_{r}}}=\mathrm {Q} _{r}+\lambda {\frac {\partial \mathrm {A} }{\partial q_{r}}}+\mu {\frac {\partial \mathrm {B} }{\partial q_{r}}}+\ldots ,\qquad \qquad (30)$${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{r}}}-{\frac {\partial \mathrm {T} }{\partial q_{r}}}=\mathrm {Q} _{r}+\lambda {\frac {\partial \mathrm {A} }{\partial q_{r}}}+\mu {\frac {\partial \mathrm {B} }{\partial q_{r}}}+\ldots ,\qquad \qquad (30)$

in place of § 2 (10). These equations, together with (28), serve to determine the $n\!$$n\!$ co-ordinates $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$ and the $m\!$$m\!$ multipliers $\lambda ,\mu ,\ldots \!$$\lambda ,\mu ,\ldots \!$.

When $t\!$$t\!$ does not occur explicitly in the relations (28) the system is said to be holonomic. The term connotes the existence of integral (as opposed to differential) relations between the co-ordinates, independent of the time.

Again, it may happen that although there are no prescribed relations between the co-ordinates $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$, yet from the circumstances of the problem certain geometrical conditions are imposed on their variations, thus

$\mathrm {A} _{1}\delta q_{1}+\mathrm {A} _{2}\delta q_{2}+\ldots {=}0,\qquad \mathrm {B} _{1}\delta q_{1}+\mathrm {B} _{2}\delta q_{2}+\ldots {=}0,\And \!\!\!{\text{c.}},\qquad \qquad (31)$$\mathrm {A} _{1}\delta q_{1}+\mathrm {A} _{2}\delta q_{2}+\ldots {=}0,\qquad \mathrm {B} _{1}\delta q_{1}+\mathrm {B} _{2}\delta q_{2}+\ldots {=}0,\And \!\!\!{\text{c.}},\qquad \qquad (31)$

where the coefficients are functions of $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$ and (possibly) of $t\!$$t\!$. It is assumed that these equations are not integrable as regards the variables $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$; otherwise, we fall back on the previous conditions. Cases of the present type arise, for instance, in ordinary dynamics when we have a solid rolling on a (fixed or moving) surface. The six co-ordinates which serve to specify the position of the solid at any instant are not subject to any necessary relation, but the conditions to be satisfied at the point of contact impose three conditions of the form (31). The general equations of motion are obtained, as before, by the method of indeterminate multipliers, thus

${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{r}}}-{\frac {\partial \mathrm {T} }{\partial q_{r}}}=\mathrm {Q} _{r}+\lambda \mathrm {A} _{r}+\mu \mathrm {B} _{r}+\ldots \qquad \qquad (32)$${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{r}}}-{\frac {\partial \mathrm {T} }{\partial q_{r}}}=\mathrm {Q} _{r}+\lambda \mathrm {A} _{r}+\mu \mathrm {B} _{r}+\ldots \qquad \qquad (32)$

The co-ordinates $q_{1},q_{2},\ldots q_{n}\!$$q_{1},q_{2},\ldots q_{n}\!$, and the indeterminate multipliers $\lambda ,\mu ,\ldots \!$$\lambda ,\mu ,\ldots \!$, are determined by these equations and by the velocity-conditions corresponding to (31). When $t\!$$t\!$ does not appear explicitly in the coefficients, these velocity-conditions take the forms

$\mathrm {A} _{1}{\dot {q}}_{1}+\mathrm {A} _{2}{\dot {q}}_{2}+\ldots {=}0,\qquad \mathrm {B} _{1}{\dot {q}}_{1}+\mathrm {B} _{2}{\dot {q}}_{2}+\ldots {=}0,\And \!\!\!{\text{c.}}\qquad \qquad (33)$$\mathrm {A} _{1}{\dot {q}}_{1}+\mathrm {A} _{2}{\dot {q}}_{2}+\ldots {=}0,\qquad \mathrm {B} _{1}{\dot {q}}_{1}+\mathrm {B} _{2}{\dot {q}}_{2}+\ldots {=}0,\And \!\!\!{\text{c.}}\qquad \qquad (33)$

Systems of this kind, where the relations (31) are not integrable, are called non-holonomic.

4. Hamiltonian Equations of Motion.

In the Hamiltonian form of the equations of motion of a conservative system with unvarying relations, the kinetic energy is supposed expressed in terms of the momenta $p_{1},p_{2},\ldots \!$$p_{1},p_{2},\ldots \!$ and the co-ordinates $q_{1},q_{2},\ldots \!$$q_{1},q_{2},\ldots \!$, as in § 1 (19). Since the symbol $\delta \!$$\delta \!$ now denotes a variation extending to the co-ordinates as well as to the momenta, we must add to the last member of § 1 (21) terms of the types

${\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}+{\frac {\partial \mathrm {T} '}{\partial q_{2}}}\delta q_{2}+\ldots .\qquad \qquad (1)$${\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}+{\frac {\partial \mathrm {T} '}{\partial q_{2}}}\delta q_{2}+\ldots .\qquad \qquad (1)$

Since the variations $\delta p_{1},\delta p_{2},\ldots \delta q_{1},\delta q_{2},\ldots \!$$\delta p_{1},\delta p_{2},\ldots \delta q_{1},\delta q_{2},\ldots \!$ may be taken to be independent, we infer the equations § 1 (23) as before, together with

${\frac {\partial \mathrm {T} }{\partial q_{1}}}=-{\frac {\partial \mathrm {T} '}{\partial q_{1}}},\qquad {\frac {\partial \mathrm {T} }{\partial q_{2}}}=-{\frac {\partial \mathrm {T} '}{\partial q_{2}}},\ldots ,\qquad \qquad (2)$${\frac {\partial \mathrm {T} }{\partial q_{1}}}=-{\frac {\partial \mathrm {T} '}{\partial q_{1}}},\qquad {\frac {\partial \mathrm {T} }{\partial q_{2}}}=-{\frac {\partial \mathrm {T} '}{\partial q_{2}}},\ldots ,\qquad \qquad (2)$

Hence the Lagrangian equations § 2 (14) transform into

${\dot {p}}_{1}{=}-{\frac {\partial }{\partial q_{1}}}(\mathrm {T} '+\mathrm {V} ),\qquad {\dot {p}}_{2}{=}-{\frac {\partial }{\partial q_{2}}}(\mathrm {T} '+\mathrm {V} ),\ldots \qquad \qquad (3)$${\dot {p}}_{1}{=}-{\frac {\partial }{\partial q_{1}}}(\mathrm {T} '+\mathrm {V} ),\qquad {\dot {p}}_{2}{=}-{\frac {\partial }{\partial q_{2}}}(\mathrm {T} '+\mathrm {V} ),\ldots \qquad \qquad (3)$

If we write

$\mathrm {H} {=}\mathrm {T} '+\mathrm {V} ,\qquad \qquad (4)$$\mathrm {H} {=}\mathrm {T} '+\mathrm {V} ,\qquad \qquad (4)$

so that $\mathrm {H} \!$$\mathrm {H} \!$ denotes the total energy of the system, supposed expressed in terms of the new variables, we get

${\dot {p}}_{1}{=}-{\frac {\partial \mathrm {H} }{\partial q_{1}}},\qquad {\dot {p}}_{2}{=}-{\frac {\partial \mathrm {H} }{\partial q_{2}}},\ldots \qquad \qquad (5)$${\dot {p}}_{1}{=}-{\frac {\partial \mathrm {H} }{\partial q_{1}}},\qquad {\dot {p}}_{2}{=}-{\frac {\partial \mathrm {H} }{\partial q_{2}}},\ldots \qquad \qquad (5)$

If to these we join the equations

${\dot {q}}_{1}{=}{\frac {\partial \mathrm {H} }{\partial p_{1}}},\qquad {\dot {q}}_{2}{=}{\frac {\partial \mathrm {H} }{\partial p_{2}}},\ldots ,\qquad \qquad (6)$${\dot {q}}_{1}{=}{\frac {\partial \mathrm {H} }{\partial p_{1}}},\qquad {\dot {q}}_{2}{=}{\frac {\partial \mathrm {H} }{\partial p_{2}}},\ldots ,\qquad \qquad (6)$

which follow at once from § 1 (23), since $\mathrm {V} \!$$\mathrm {V} \!$ does not involve $p_{1},p_{2},\ldots \!$$p_{1},p_{2},\ldots \!$, we obtain a complete system of differential equations of the first order for the determination of the motion.

The equation of energy is verified immediately by (5) and (6), since these make

${\frac {d\mathrm {H} }{dt}}={\frac {\partial \mathrm {H} }{\partial p_{1}}}{\dot {p}}_{1}+{\frac {\partial \mathrm {H} }{\partial p_{2}}}{\dot {p}}_{2}+\ldots +{\frac {\partial \mathrm {H} }{\partial q_{1}}}{\dot {q}}_{1}+{\frac {\partial \mathrm {H} }{\partial q_{2}}}{\dot {q}}_{2}+\ldots {=}0.\qquad \qquad (7)$${\frac {d\mathrm {H} }{dt}}={\frac {\partial \mathrm {H} }{\partial p_{1}}}{\dot {p}}_{1}+{\frac {\partial \mathrm {H} }{\partial p_{2}}}{\dot {p}}_{2}+\ldots +{\frac {\partial \mathrm {H} }{\partial q_{1}}}{\dot {q}}_{1}+{\frac {\partial \mathrm {H} }{\partial q_{2}}}{\dot {q}}_{2}+\ldots {=}0.\qquad \qquad (7)$

The Hamiltonian transformation is extended to the case of varying relations as follows. Instead of (4) we write

$\mathrm {H} {=}p_{1}{\dot {q}}_{1}+p_{2}{\dot {q}}_{2}+\ldots -\mathrm {T} +\mathrm {V} ,\qquad \qquad (8)$$\mathrm {H} {=}p_{1}{\dot {q}}_{1}+p_{2}{\dot {q}}_{2}+\ldots -\mathrm {T} +\mathrm {V} ,\qquad \qquad (8)$

and imagine $\mathrm {H} \!$$\mathrm {H} \!$ to be expressed in terms of the momenta $p_{1},p_{2},\ldots \!$$p_{1},p_{2},\ldots \!$, the co-ordinates $q_{1},q_{2},\ldots \!$$q_{1},q_{2},\ldots \!$, and the time. The internal forces of the system are assumed to be conservative, with the potential energy $\mathrm {V} \!$$\mathrm {V} \!$. Performing the variation $\delta \!$$\delta \!$ on both sides, we find

$\delta \mathrm {H} {=}{\dot {q}}_{1}\delta p_{1}+\ldots -{\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}+{\frac {\partial \mathrm {V} }{\partial q_{1}}}\delta q+\ldots ,\qquad \qquad (9)$$\delta \mathrm {H} {=}{\dot {q}}_{1}\delta p_{1}+\ldots -{\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}+{\frac {\partial \mathrm {V} }{\partial q_{1}}}\delta q+\ldots ,\qquad \qquad (9)$

terms which cancel in virtue of the definition of $p_{1},p_{2},\ldots \!$$p_{1},p_{2},\ldots \!$ being omitted. Since $\delta p_{1},\delta p_{2},\ldots ,\delta q_{1},\delta q_{2},\ldots \!$$\delta p_{1},\delta p_{2},\ldots ,\delta q_{1},\delta q_{2},\ldots \!$ may be taken to be independent, we infer

${\dot {q}}_{1}{=}{\frac {\partial \mathrm {H} }{\partial p_{1}}},\qquad {\dot {q}}_{2}{=}{\frac {\partial \mathrm {H} }{\partial p_{2}}},\ldots ,\qquad \qquad (10)$${\dot {q}}_{1}{=}{\frac {\partial \mathrm {H} }{\partial p_{1}}},\qquad {\dot {q}}_{2}{=}{\frac {\partial \mathrm {H} }{\partial p_{2}}},\ldots ,\qquad \qquad (10)$

and

${\frac {\partial }{\partial q_{1}}}(\mathrm {T} -\mathrm {V} ){=}-{\frac {\partial \mathrm {H} }{\partial q_{1}}},\qquad {\frac {\partial }{\partial q_{2}}}(\mathrm {T} -\mathrm {V} ){=}-{\frac {\partial \mathrm {H} }{\partial q_{2}}},\ldots .\qquad \qquad (11)$${\frac {\partial }{\partial q_{1}}}(\mathrm {T} -\mathrm {V} ){=}-{\frac {\partial \mathrm {H} }{\partial q_{1}}},\qquad {\frac {\partial }{\partial q_{2}}}(\mathrm {T} -\mathrm {V} ){=}-{\frac {\partial \mathrm {H} }{\partial q_{2}}},\ldots .\qquad \qquad (11)$

It follows from (11) that

${\dot {p}}_{1}{=}-{\frac {\partial \mathrm {H} }{\partial q_{1}}},\qquad {\dot {p}}_{2}{=}-{\frac {\partial \mathrm {H} }{\partial q_{2}}},\ldots .\qquad \qquad (12)$${\dot {p}}_{1}{=}-{\frac {\partial \mathrm {H} }{\partial q_{1}}},\qquad {\dot {p}}_{2}{=}-{\frac {\partial \mathrm {H} }{\partial q_{2}}},\ldots .\qquad \qquad (12)$

The equations (10) and (12) have the same form as above, but $\mathrm {H} \!$$\mathrm {H} \!$ is no longer equal to the energy of the system.

5. Cyclic Systems.

A cyclic or gyrostatic system is characterized by the following properties. In the first place, the kinetic energy is not affected if we alter the absolute values of certain of the co-ordinates, which we will denote by $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$, provided the remaining co-ordinates $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$ and the velocities, including of course the velocities ${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$, are unaltered. Secondly, there are no forces acting on the system of the types $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$. This case arises, for example, when the system includes gyrostats which are free to rotate about their axes, the co-ordinates $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$ then being the angular co-ordinates of the gyrostats relatively to their frames. Again, in theoretical hydrodynamics we have the problem of moving solids in a frictionless liquid; the ignored co-ordinates $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$ then refer to the fluid, and are infinite in number. The same question presents itself in various physical speculations where certain phenomena are ascribed to the existence of latent motions in the ultimate constituents of matter. The general theory of such systems has been treated by E. J. Routh, Lord Kelvin, and H. L. F. Helmholtz.

If we suppose the kinetic energy $\mathrm {T} \!$$\mathrm {T} \!$ to be expressed, as in Lagrange’s method, in terms of the co-ordinates and Routh’s equations. the velocities, the equations of motion corresponding to $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$ reduce, in virtue of the above hypotheses, to the forms

${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}}=0,\qquad {\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}'}}=0,\qquad {\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}''}}=0,\ldots ,\qquad \qquad (1)$${\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}}=0,\qquad {\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}'}}=0,\qquad {\frac {d}{dt}}\,{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}''}}=0,\ldots ,\qquad \qquad (1)$

whence

${\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}}=\kappa ,\qquad {\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}'}}=\kappa ',\qquad {\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}''}}=\kappa '',\ldots ,\qquad \qquad (2)$${\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}}=\kappa ,\qquad {\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}'}}=\kappa ',\qquad {\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}''}}=\kappa '',\ldots ,\qquad \qquad (2)$

where $\kappa ,\kappa ',\kappa '',\ldots \!$$\kappa ,\kappa ',\kappa '',\ldots \!$ are the constant momenta corresponding to the cyclic co-ordinates $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$. These equations are linear in ${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$; solving them with respect to these quantities and substituting in the remaining Lagrangian equations, we obtain $m\!$$m\!$ differential equations to determine the remaining co-ordinates $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$. The object of the present investigation is to ascertain the general form of the resulting equations. The retained co-ordinates $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$ may be called (for distinction) the palpable co-ordinates of the system; in many practical questions they are the only co-ordinates directly in evidence.

If, as in § 1 (25), we write

$\mathrm {R} {=}\mathrm {T} -\kappa {\dot {\chi }}-\kappa '{\dot {\chi }}'-\kappa ''{\dot {\chi }}''-\ldots ,\qquad \qquad (3)$$\mathrm {R} {=}\mathrm {T} -\kappa {\dot {\chi }}-\kappa '{\dot {\chi }}'-\kappa ''{\dot {\chi }}''-\ldots ,\qquad \qquad (3)$

and imagine $\mathrm {R} \!$$\mathrm {R} \!$ to be expressed by means of (2) as a quadratic function of ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m},\kappa ,\kappa ',\kappa '',\ldots \!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m},\kappa ,\kappa ',\kappa '',\ldots \!$ with coefficients which are in general functions of the co-ordinates $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$, then, performing the operation $\delta \!$$\delta \!$ on both sides, we find

${\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {R} }{\partial \kappa }}\delta \kappa +\ldots +{\frac {\partial \mathrm {R} }{\partial q_{1}}}\delta q_{1}+\ldots {=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}+\ldots$${\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {R} }{\partial \kappa }}\delta \kappa +\ldots +{\frac {\partial \mathrm {R} }{\partial q_{1}}}\delta q_{1}+\ldots {=}{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}+\ldots$

$+{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}}\delta {\dot {\chi }}+\ldots +{\frac {\partial \mathrm {T} }{\partial \chi _{1}}}\delta q_{1}+\ldots -\kappa \delta {\dot {\chi }}-{\dot {\chi }}\delta \kappa -\ldots .\qquad \qquad (4)$$+{\frac {\partial \mathrm {T} }{\partial {\dot {\chi }}}}\delta {\dot {\chi }}+\ldots +{\frac {\partial \mathrm {T} }{\partial \chi _{1}}}\delta q_{1}+\ldots -\kappa \delta {\dot {\chi }}-{\dot {\chi }}\delta \kappa -\ldots .\qquad \qquad (4)$

Omitting the terms which cancel by (2), we find

${\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}={\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}},\qquad {\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}={\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{2}}},\ldots ,\qquad \qquad (5)$${\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}={\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}},\qquad {\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{2}}}={\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{2}}},\ldots ,\qquad \qquad (5)$

${\frac {\partial \mathrm {T} }{\partial q_{1}}}={\frac {\partial \mathrm {R} }{\partial q_{1}}},\qquad {\frac {\partial \mathrm {T} }{\partial q_{2}}}={\frac {\partial \mathrm {R} }{\partial q_{2}}},\ldots ,\qquad \qquad (6)$${\frac {\partial \mathrm {T} }{\partial q_{1}}}={\frac {\partial \mathrm {R} }{\partial q_{1}}},\qquad {\frac {\partial \mathrm {T} }{\partial q_{2}}}={\frac {\partial \mathrm {R} }{\partial q_{2}}},\ldots ,\qquad \qquad (6)$

${\dot {\chi }}{=}-{\frac {\partial \mathrm {R} }{\partial \kappa }},\qquad {\dot {\chi }}'{=}-{\frac {\partial \mathrm {R} }{\partial \kappa '}},\qquad {\dot {\chi }}''{=}-{\frac {\partial \mathrm {R} }{\partial \kappa ''}},\ldots \qquad \qquad (7)$${\dot {\chi }}{=}-{\frac {\partial \mathrm {R} }{\partial \kappa }},\qquad {\dot {\chi }}'{=}-{\frac {\partial \mathrm {R} }{\partial \kappa '}},\qquad {\dot {\chi }}''{=}-{\frac {\partial \mathrm {R} }{\partial \kappa ''}},\ldots \qquad \qquad (7)$

Substituting in § 2 (10), we have

${\frac {d}{dt}}\,{\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}}-{\frac {\partial \mathrm {R} }{\partial q_{1}}}=\mathrm {Q} _{1},\qquad {\frac {d}{dt}}\,{\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{2}}}-{\frac {\partial \mathrm {R} }{\partial q_{2}}}=\mathrm {Q} _{2},\ldots \qquad \qquad (8)$${\frac {d}{dt}}\,{\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{1}}}-{\frac {\partial \mathrm {R} }{\partial q_{1}}}=\mathrm {Q} _{1},\qquad {\frac {d}{dt}}\,{\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{2}}}-{\frac {\partial \mathrm {R} }{\partial q_{2}}}=\mathrm {Q} _{2},\ldots \qquad \qquad (8)$

These are Routh’s forms of the modified Lagrangian equations. Equivalent forms were obtained independently by Helmholtz at a later date.

The function $\mathrm {R} \!$$\mathrm {R} \!$ is made up of three parts, thus

$\mathrm {R} {=}\mathrm {R} _{2,0}+\mathrm {R} _{1,1}+\mathrm {R} _{0,2},\ldots \qquad \qquad (9)$$\mathrm {R} {=}\mathrm {R} _{2,0}+\mathrm {R} _{1,1}+\mathrm {R} _{0,2},\ldots \qquad \qquad (9)$

where $\mathrm {R} _{2,0}\!$$\mathrm {R} _{2,0}\!$ is a homogeneous quadratic function of ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m},\mathrm {R} _{0,2}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m},\mathrm {R} _{0,2}\!$ is Kelvin’s equations. a homogeneous quadratic function of $\kappa ,\kappa ',\kappa '',\ldots \!$$\kappa ,\kappa ',\kappa '',\ldots \!$, whilst $\mathrm {R} _{1,1}\!$$\mathrm {R} _{1,1}\!$ consists of products of the velocities ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$ into the momenta $\kappa ,\kappa ',\kappa ''\ldots \!$$\kappa ,\kappa ',\kappa ''\ldots \!$. Hence from (3) and (7) we have

$\mathrm {T} {=}\mathrm {R} -\left(\kappa {\frac {\partial \mathrm {R} }{\partial \kappa }}+\kappa '{\frac {\partial \mathrm {R} }{\partial \kappa '}}+\kappa ''{\frac {\partial \mathrm {R} }{\partial \kappa ''}}+\ldots \right){=}\mathrm {R} _{2,0}-\mathrm {R} _{0,2}.\qquad \qquad (10)$$\mathrm {T} {=}\mathrm {R} -\left(\kappa {\frac {\partial \mathrm {R} }{\partial \kappa }}+\kappa '{\frac {\partial \mathrm {R} }{\partial \kappa '}}+\kappa ''{\frac {\partial \mathrm {R} }{\partial \kappa ''}}+\ldots \right){=}\mathrm {R} _{2,0}-\mathrm {R} _{0,2}.\qquad \qquad (10)$

If, as in § 1 (30), we write this in the form

$\mathrm {T} {=}{\mathfrak {T}}+\mathrm {K} ,\qquad \qquad (11)$$\mathrm {T} {=}{\mathfrak {T}}+\mathrm {K} ,\qquad \qquad (11)$

then (3) may be written

$\mathrm {R} {=}{\mathfrak {T}}-\mathrm {K} +\beta _{1}{\dot {q}}_{1}+\beta _{2}{\dot {q}}_{2}+\ldots ,\qquad \qquad (12)$$\mathrm {R} {=}{\mathfrak {T}}-\mathrm {K} +\beta _{1}{\dot {q}}_{1}+\beta _{2}{\dot {q}}_{2}+\ldots ,\qquad \qquad (12)$

where $\beta _{1},\beta _{2},\ldots \!$$\beta _{1},\beta _{2},\ldots \!$ are linear functions of $\kappa ,\kappa ',\kappa '',\ldots \!$$\kappa ,\kappa ',\kappa '',\ldots \!$, say

$\beta _{r}{=}\alpha _{r}\kappa +\alpha '_{r}\kappa '+\alpha ''_{r}\kappa ''+\ldots ,\qquad \qquad (13)$$\beta _{r}{=}\alpha _{r}\kappa +\alpha '_{r}\kappa '+\alpha ''_{r}\kappa ''+\ldots ,\qquad \qquad (13)$

the coefficients $\alpha _{r},\alpha '_{r},\alpha ''_{r},\ldots \!$$\alpha _{r},\alpha '_{r},\alpha ''_{r},\ldots \!$ being in general functions of the co-ordinates $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$. Evidently $\beta _{r}\!$$\beta _{r}\!$ denotes that part of the momentum-component $\partial \mathrm {R} /\partial {\dot {q}}_{r}\!$$\partial \mathrm {R} /\partial {\dot {q}}_{r}\!$ which is due to the cyclic motions. Now

${\frac {d}{dt}}\,{\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{r}}}={\frac {d}{dt}}\left({\frac {\partial {\mathfrak {T}}}{\partial {\dot {q}}_{r}}}+\beta _{r}\right){=}{\frac {d}{dt}}\,{\frac {\partial {\mathfrak {T}}}{\partial {\dot {q}}_{r}}}+{\frac {\partial \beta _{r}}{\partial q_{1}}}{\dot {q}}_{1}+{\frac {\partial \beta _{r}}{\partial q_{2}}}{\dot {q}}_{2}+\ldots ,\qquad \qquad (14)$${\frac {d}{dt}}\,{\frac {\partial \mathrm {R} }{\partial {\dot {q}}_{r}}}={\frac {d}{dt}}\left({\frac {\partial {\mathfrak {T}}}{\partial {\dot {q}}_{r}}}+\beta _{r}\right){=}{\frac {d}{dt}}\,{\frac {\partial {\mathfrak {T}}}{\partial {\dot {q}}_{r}}}+{\frac {\partial \beta _{r}}{\partial q_{1}}}{\dot {q}}_{1}+{\frac {\partial \beta _{r}}{\partial q_{2}}}{\dot {q}}_{2}+\ldots ,\qquad \qquad (14)$

${\frac {\partial \mathrm {R} }{\partial q_{r}}}={\frac {\partial {\mathfrak {T}}}{\partial q_{r}}}-{\frac {\partial \mathrm {K} }{\partial q_{r}}}+{\frac {\partial \beta _{1}}{\partial q_{r}}}{\dot {q}}_{1}+{\frac {\partial \beta _{2}}{\partial q_{r}}}{\dot {q}}_{2}+\ldots .\qquad \qquad (15)$${\frac {\partial \mathrm {R} }{\partial q_{r}}}={\frac {\partial {\mathfrak {T}}}{\partial q_{r}}}-{\frac {\partial \mathrm {K} }{\partial q_{r}}}+{\frac {\partial \beta _{1}}{\partial q_{r}}}{\dot {q}}_{1}+{\frac {\partial \beta _{2}}{\partial q_{r}}}{\dot {q}}_{2}+\ldots .\qquad \qquad (15)$

Hence, substituting in (8), we obtain the typical equation of motion of a gyrostatic system in the form

${\frac {d}{dt}}\,{\frac {\partial {\mathfrak {T}}}{\partial {\dot {q}}_{r}}}-{\frac {\partial {\mathfrak {T}}}{\partial q_{r}}}+(r,1){\dot {q}}_{1}+(r,2){\dot {q}}_{2}+\ldots +(r,s){\dot {q}}_{s}+\ldots +{\frac {\partial \mathrm {K} }{\partial q_{r}}}=\mathrm {Q} _{r},\qquad \qquad (16)$${\frac {d}{dt}}\,{\frac {\partial {\mathfrak {T}}}{\partial {\dot {q}}_{r}}}-{\frac {\partial {\mathfrak {T}}}{\partial q_{r}}}+(r,1){\dot {q}}_{1}+(r,2){\dot {q}}_{2}+\ldots +(r,s){\dot {q}}_{s}+\ldots +{\frac {\partial \mathrm {K} }{\partial q_{r}}}=\mathrm {Q} _{r},\qquad \qquad (16)$

where

$(r,s){=}{\frac {\partial \beta _{r}}{\partial q_{s}}}-{\frac {\partial \beta _{s}}{\partial q_{r}}}.\qquad \qquad (17)$$(r,s){=}{\frac {\partial \beta _{r}}{\partial q_{s}}}-{\frac {\partial \beta _{s}}{\partial q_{r}}}.\qquad \qquad (17)$

This form is due to Lord Kelvin. When $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$ have been determined, as functions of the time, the velocities corresponding to the cyclic co-ordinates can be found, if required, from the relations (7), which may be written

$\left.{\begin{aligned}{\dot {\chi }}&{=}{\frac {\partial \mathrm {K} }{\partial \kappa }}-\alpha _{1}{\dot {q}}_{1}-\alpha _{2}{\dot {q}}_{2}-\ldots ,\\{\dot {\chi }}'&{=}{\frac {\partial \mathrm {K} }{\partial \kappa '}}-\alpha '_{1}{\dot {q}}_{1}-\alpha '_{2}{\dot {q}}_{2}-\ldots ,\\&\qquad \And \!\!\!{\text{c.}},\And \!\!\!{\text{c.}}\end{aligned}}\right\}\qquad \qquad (18)$$\left.{\begin{aligned}{\dot {\chi }}&{=}{\frac {\partial \mathrm {K} }{\partial \kappa }}-\alpha _{1}{\dot {q}}_{1}-\alpha _{2}{\dot {q}}_{2}-\ldots ,\\{\dot {\chi }}'&{=}{\frac {\partial \mathrm {K} }{\partial \kappa '}}-\alpha '_{1}{\dot {q}}_{1}-\alpha '_{2}{\dot {q}}_{2}-\ldots ,\\&\qquad \And \!\!\!{\text{c.}},\And \!\!\!{\text{c.}}\end{aligned}}\right\}\qquad \qquad (18)$

It is to be particularly noticed that

$(r,r){=}0,(r,s){=}-(s,r).\qquad \qquad (19)$$(r,r){=}0,(r,s){=}-(s,r).\qquad \qquad (19)$

Hence, if in (16) we put $r{=}1,2,3,\ldots m\!$$r{=}1,2,3,\ldots m\!$, and multiply by ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{m}\!$ respectively, and add, we find

${\frac {d}{dt}}({\mathfrak {\mathrm {T} }}+\mathrm {K} ){=}\mathrm {Q} _{1}{\dot {q}}_{1}+\mathrm {Q} _{2}{\dot {q}}_{2}+\ldots ,\qquad \qquad (20)$${\frac {d}{dt}}({\mathfrak {\mathrm {T} }}+\mathrm {K} ){=}\mathrm {Q} _{1}{\dot {q}}_{1}+\mathrm {Q} _{2}{\dot {q}}_{2}+\ldots ,\qquad \qquad (20)$

or, in the case of a conservative system

${\mathfrak {T}}+\mathrm {V} +\mathrm {K} {=}{\text{const.}},\qquad \qquad (21)$${\mathfrak {T}}+\mathrm {V} +\mathrm {K} {=}{\text{const.}},\qquad \qquad (21)$

which is the equation of energy.

The equation (16) includes § 3 (17) as a particular case, the eliminated co-ordinate being the angular co-ordinate of a rotating solid having an infinite moment of inertia.

In the particular case where the cyclic momenta $\kappa ,\kappa ',\kappa '',\ldots \!$$\kappa ,\kappa ',\kappa '',\ldots \!$ are all zero, (16) reduces to

${\frac {d}{dt}}\,{\frac {\partial {\mathfrak {T}}}{\partial {\dot {q}}_{r}}}-{\frac {\partial {\mathfrak {T}}}{\partial q_{r}}}=\mathrm {Q} _{r}.\qquad \qquad (22)$${\frac {d}{dt}}\,{\frac {\partial {\mathfrak {T}}}{\partial {\dot {q}}_{r}}}-{\frac {\partial {\mathfrak {T}}}{\partial q_{r}}}=\mathrm {Q} _{r}.\qquad \qquad (22)$

The form is the same as in § 2, and the system now behaves, as regards the co-ordinates $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$, exactly like the acyclic type there contemplated. These co-ordinates do not, however, now fix the position of every particle of the system. For example, if by suitable forces the system be brought back to its initial configuration (so far as this is defined by $q_{1},q_{2},\ldots ,q_{m})\!$$q_{1},q_{2},\ldots ,q_{m})\!$, after performing any evolutions, the ignored co-ordinates $\chi ,\chi ',\chi '',\ldots \!$$\chi ,\chi ',\chi '',\ldots \!$ will not in general return to their original values.

If in Lagrange’s equations § 2 (10) we reverse the sign of the time-element $dt\!$$dt\!$, the equations are unaltered. The motion is therefore reversible; that is to say, if as the system is passing through any configuration its velocities ${\dot {q}}_{1},{\dot {q}}_{2},\ldots ,{\dot {q}}_{m}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots ,{\dot {q}}_{m}\!$ be all reversed, it will (if the forces be the same in the same configuration) retrace its former path. But it is important to observe that the statement does not in general hold of a gyrostatic system; the terms of (16), which are linear in ${\dot {q}}_{1},{\dot {q}}_{2},\ldots ,{\dot {q}}_{m}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots ,{\dot {q}}_{m}\!$, change sign with dt, whilst the others do not. Hence the motion of a gyrostatic system is not reversible, unless indeed we reverse the cyclic motions as well as the velocities ${\dot {q}}_{1},{\dot {q}}_{2},\ldots ,{\dot {q}}_{m}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots ,{\dot {q}}_{m}\!$. For instance, the precessional motion of a top cannot be reversed unless we reverse the spin.

The conditions of equilibrium of a system with latent cyclic motions Kineto-statics. are obtained by putting ${\dot {q}}_{1}{=}0,{\dot {q}}_{2}{=}0,\ldots {\dot {q}}_{m}{=}0\!$${\dot {q}}_{1}{=}0,{\dot {q}}_{2}{=}0,\ldots {\dot {q}}_{m}{=}0\!$ in (16); viz. they are

$\mathrm {Q} _{1}{=}{\frac {\partial \mathrm {K} }{\partial q_{1}}},\qquad \mathrm {Q} _{2}{=}{\frac {\partial \mathrm {K} }{\partial q_{2}}},\ldots \qquad \qquad (23)$$\mathrm {Q} _{1}{=}{\frac {\partial \mathrm {K} }{\partial q_{1}}},\qquad \mathrm {Q} _{2}{=}{\frac {\partial \mathrm {K} }{\partial q_{2}}},\ldots \qquad \qquad (23)$

These may of course be obtained independently. Thus if the system be guided from (apparent) rest in the configuration $(q_{1},q_{2},\ldots q_{m})\!$$(q_{1},q_{2},\ldots q_{m})\!$ to rest in the configuration $q_{1}+\delta q_{1},q_{2}+\delta q_{2},\ldots ,q_{m}+\delta q_{m}\!$$q_{1}+\delta q_{1},q_{2}+\delta q_{2},\ldots ,q_{m}+\delta q_{m}\!$, the work done by the forces must be equal to the increment of the kinetic energy. Hence

$\mathrm {Q} _{1}\delta q_{1}+\mathrm {Q} _{2}\delta q_{2}+\ldots {=}\delta \mathrm {K} ,\qquad \qquad (24)$$\mathrm {Q} _{1}\delta q_{1}+\mathrm {Q} _{2}\delta q_{2}+\ldots {=}\delta \mathrm {K} ,\qquad \qquad (24)$

which is equivalent to (23). The conditions are the same as for the equilibrium of a system without latent motion, but endowed with potential energy $\mathrm {K} \!$$\mathrm {K} \!$. This is important from a physical point of view, as showing how energy which is apparently potential may in its ultimate essence be kinetic.

By means of the formulae (18), which now reduce to

${\dot {\chi }}{=}{\frac {\partial \mathrm {K} }{\partial \kappa }},\qquad {\dot {\chi }}'{=}{\frac {\partial \mathrm {K} }{\partial \kappa '}},\qquad {\dot {\chi }}''{=}{\frac {\partial \mathrm {K} }{\partial \kappa ''}},\ldots ,\qquad \qquad (25)$${\dot {\chi }}{=}{\frac {\partial \mathrm {K} }{\partial \kappa }},\qquad {\dot {\chi }}'{=}{\frac {\partial \mathrm {K} }{\partial \kappa '}},\qquad {\dot {\chi }}''{=}{\frac {\partial \mathrm {K} }{\partial \kappa ''}},\ldots ,\qquad \qquad (25)$

$\mathrm {K} \!$$\mathrm {K} \!$ may also be expressed as a homogeneous quadratic function of the cyclic velocities ${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$${\dot {\chi }},{\dot {\chi }}',{\dot {\chi }}'',\ldots \!$. Denoting it in this form by $\mathrm {T} _{0}\!$$\mathrm {T} _{0}\!$, we have

$\delta (\mathrm {T} _{0}+\mathrm {K} ){=}2\delta \mathrm {K} {=}\delta (\kappa {\dot {\chi }}+\kappa '{\dot {\chi }}'+\kappa ''{\dot {\chi }}''+\ldots )\qquad \qquad (26)$$\delta (\mathrm {T} _{0}+\mathrm {K} ){=}2\delta \mathrm {K} {=}\delta (\kappa {\dot {\chi }}+\kappa '{\dot {\chi }}'+\kappa ''{\dot {\chi }}''+\ldots )\qquad \qquad (26)$

Performing the variations, and omitting the terms which cancel by (2) and (25), we find

${\frac {\partial \mathrm {T} _{0}}{\partial q_{1}}}=-{\frac {\partial \mathrm {K} }{\partial q_{1}}},\qquad {\frac {\partial \mathrm {T} _{0}}{\partial q_{2}}}=-{\frac {\partial \mathrm {K} }{\partial q_{2}}},\ldots ,\qquad \qquad (27)$${\frac {\partial \mathrm {T} _{0}}{\partial q_{1}}}=-{\frac {\partial \mathrm {K} }{\partial q_{1}}},\qquad {\frac {\partial \mathrm {T} _{0}}{\partial q_{2}}}=-{\frac {\partial \mathrm {K} }{\partial q_{2}}},\ldots ,\qquad \qquad (27)$

so that the formulae (23) become

$\mathrm {Q} _{1}{=}-{\frac {\partial \mathrm {T} _{0}}{\partial q_{1}}},\qquad \mathrm {Q} _{2}{=}-{\frac {\partial \mathrm {T} _{0}}{\partial q_{2}}},\ldots \qquad \qquad (28)$$\mathrm {Q} _{1}{=}-{\frac {\partial \mathrm {T} _{0}}{\partial q_{1}}},\qquad \mathrm {Q} _{2}{=}-{\frac {\partial \mathrm {T} _{0}}{\partial q_{2}}},\ldots \qquad \qquad (28)$

A simple example is furnished by the top (Mechanics, § 22). The cyclic co-ordinates being $\psi ,\phi \!$$\psi ,\phi \!$, we find

$2{\mathfrak {T}}{=}\mathrm {A} {\dot {\theta }}^{2},\qquad 2\mathrm {K} {=}{\frac {(\mu -\nu \cos \theta )^{2}}{\mathrm {A} \sin ^{2}\theta }}+{\frac {\nu ^{2}}{\mathrm {C} }},$$2{\mathfrak {T}}{=}\mathrm {A} {\dot {\theta }}^{2},\qquad 2\mathrm {K} {=}{\frac {(\mu -\nu \cos \theta )^{2}}{\mathrm {A} \sin ^{2}\theta }}+{\frac {\nu ^{2}}{\mathrm {C} }},$

$2\mathrm {T} _{0}{=}\mathrm {A} \sin ^{2}\theta {\dot {\psi }}^{2}+\mathrm {C} ({\dot {\phi }}+\psi \cos \theta )^{2},\qquad \qquad (29)$$2\mathrm {T} _{0}{=}\mathrm {A} \sin ^{2}\theta {\dot {\psi }}^{2}+\mathrm {C} ({\dot {\phi }}+\psi \cos \theta )^{2},\qquad \qquad (29)$

whence we may verify that $\partial \mathrm {T} _{0}/\partial \theta {=}-\partial \mathrm {K} /\partial \theta \!$$\partial \mathrm {T} _{0}/\partial \theta {=}-\partial \mathrm {K} /\partial \theta \!$ in accordance with (27). And the condition of equilibrium

${\frac {\partial \mathrm {K} }{\partial \theta }}=-{\frac {\partial \mathrm {V} }{\partial \theta }}\qquad \qquad (30)$${\frac {\partial \mathrm {K} }{\partial \theta }}=-{\frac {\partial \mathrm {V} }{\partial \theta }}\qquad \qquad (30)$

gives the condition of steady precession.

6. Stability of Steady Motion.

The small oscillations of a conservative system about a configuration of equilibrium, and the criterion of stability, are discussed in Mechanics, § 23. The question of the stability of given types of motion is more difficult, owing to the want of a sufficiently general, and at the same time precise, definition of what we mean by “stability.” A number of definitions which have been propounded by different writers are examined by F. Klein and A. Sommerfeld in their work Über die Theorie des Kreisels (1897-1903). Rejecting previous definitions, they base their criterion of stability on the character of the changes produced in the path of the system by small arbitrary disturbing impulses. If the undisturbed path be the limiting form of the disturbed path when the impulses are indefinitely diminished, it is said to be stable, but not otherwise. For instance, the vertical fall of a particle under gravity is reckoned as stable, although for a given impulsive disturbance, however small, the deviation of the particle’s position at any time $t\!$$t\!$ from the position which it would have occupied in the original motion increases indefinitely with $t\!$$t\!$. Even this criterion, as the writers quoted themselves recognize, is not free from ambiguity unless the phrase “limiting form,” as applied to a path, be strictly defined. It appears, moreover, that a definition which is analytically precise may not in all cases be easy to reconcile with geometrical prepossessions. Thus a particle moving in a circle about a centre of force varying inversely as the cube of the distance will if slightly disturbed either fall into the centre, or recede to infinity, after describing in either case a spiral with an infinite number of convolutions. Each of these spirals has, analytically, the circle as its limiting form, although the motion in the circle is most naturally described as unstable.

A special form of the problem, of great interest, presents itself in the steady motion of a gyrostatic system, when the non-eliminated co-ordinates $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$ all vanish (see § 5). This has been discussed by Routh, Lord Kelvin and Tait, and Poincaré. These writers treat the question, by an extension of Lagrange’s method, as a problem of small oscillations. Whether we adopt the notion of stability which this implies, or take up the position of Klein and Sommerfeld, there is no difficulty in showing that stability is ensured if $\mathrm {V} +\mathrm {K} \!$$\mathrm {V} +\mathrm {K} \!$ be a minimum as regards variations of $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$. The proof is the same as that of Dirichlet for the case of statical stability.

We can illustrate this condition from the case of the top, where, in our previous notation,

$\mathrm {V} +\mathrm {K} {=}\mathrm {M} gh\cos \theta +{\frac {(\mu -\nu \cos \theta )^{2}}{2\mathrm {A} \sin ^{2}\theta }}+{\frac {\nu ^{2}}{2\mathrm {C} }}.\qquad \qquad (1)$$\mathrm {V} +\mathrm {K} {=}\mathrm {M} gh\cos \theta +{\frac {(\mu -\nu \cos \theta )^{2}}{2\mathrm {A} \sin ^{2}\theta }}+{\frac {\nu ^{2}}{2\mathrm {C} }}.\qquad \qquad (1)$

To examine whether the steady motion with the centre of gravity vertically above the pivot is stable, we must put $\mu {=}\nu \!$$\mu {=}\nu \!$. We then find without difficulty that $\mathrm {V} +\mathrm {K} \!$$\mathrm {V} +\mathrm {K} \!$ is a minimum provided $\nu ^{2}\geqq 4\mathrm {AM} gh\!$$\nu ^{2}\geqq 4\mathrm {AM} gh\!$. The method of small oscillations gave us the condition $\nu ^{2}>4\mathrm {AM} gh\!$$\nu ^{2}>4\mathrm {AM} gh\!$, and indicated instability in the cases $\nu ^{2}\leqq 4\mathrm {AM} gh\!$$\nu ^{2}\leqq 4\mathrm {AM} gh\!$. The present criterion can also be applied to show that the steady precessional motions in which the axis has a constant inclination to the vertical are stable.

The question remains, as before, whether it is essential for stability that $\mathrm {V} +\mathrm {K} \!$$\mathrm {V} +\mathrm {K} \!$ should be a minimum. It appears that from the point of view of the theory of small oscillations it is not essential, and that there may even be stability when $\mathrm {V} +\mathrm {K} \!$$\mathrm {V} +\mathrm {K} \!$ is a maximum. The precise conditions, which are of a somewhat elaborate character, have been formulated by Routh. An important distinction has, however, been established by Thomson and Tait, and by Poincaré, between what we may call ordinary or temporary stability (which is stability in the above sense) and permanent or secular stability, which means stability when regard is had to possible dissipative forces called into play whenever the co-ordinates $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$ vary. Since the total energy of the system at any instant is given (in the notation of § 5) by an expression of the form ${\mathfrak {T}}+\mathrm {V} +\mathrm {K}$${\mathfrak {T}}+\mathrm {V} +\mathrm {K}$, where ${\mathfrak {T}}$${\mathfrak {T}}$ cannot be negative, the argument of Thomson and Tait, given under Mechanics, § 23, for the statical question, shows that it is a necessary as well as a sufficient condition for secular stability that $\mathrm {V} +\mathrm {K} \!$$\mathrm {V} +\mathrm {K} \!$ should be a minimum. When a system is “ordinarily” stable, but “secularly” unstable, the operation of the frictional forces is to induce a gradual increase in the amplitude of the free vibrations which are called into play by accidental disturbances.

There is a similar theory in relation to the constrained systems considered in § 3 above. The equation (21) there given leads to the conclusion that for secular stability of any type of motion in which the velocities ${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{n}\!$${\dot {q}}_{1},{\dot {q}}_{2},\ldots {\dot {q}}_{n}\!$ are zero it is necessary and sufficient that the function $\mathrm {V} -\mathrm {T} _{0}\!$$\mathrm {V} -\mathrm {T} _{0}\!$ should be a minimum.

The simplest possible example of this is the case of a particle at the lowest point of a smooth spherical bowl which rotates with constant angular velocity ($\omega \!$$\omega \!$) about the vertical diameter. This position obviously possesses “ordinary” stability. If $a\!$$a\!$ be the radius of the bowl, and $\theta \!$$\theta \!$ denote angular distance from the lowest point, we have

$\mathrm {V} -\mathrm {T} _{0}{=}mga(1-\cos \theta )-{\tfrac {1}{2}}m\omega ^{2}a^{2}\sin ^{2}\theta ;\qquad \qquad (2)$$\mathrm {V} -\mathrm {T} _{0}{=}mga(1-\cos \theta )-{\tfrac {1}{2}}m\omega ^{2}a^{2}\sin ^{2}\theta ;\qquad \qquad (2)$

this is a minimum for $\theta {=}0\!$$\theta {=}0\!$ only so long as $\omega ^{2}<g/a\!$$\omega ^{2}<g/a\!$. For greater values of $\omega \!$$\omega \!$ the only position of “permanent” stability is that in which the particle rotates with the bowl at an angular distance $\cos ^{-1}(g/\omega ^{2}a)\!$$\cos ^{-1}(g/\omega ^{2}a)\!$ from the lowest point. To examine the motion in the neighbourhood of the lowest point, when frictional forces are taken into account, we may take fixed ones, in a horizontal plane, through the lowest point. Assuming that the friction varies as the relative velocity, we have

$\left.{\begin{aligned}{\ddot {x}}&{=}-p^{2}x-k({\dot {x}}+\omega y),\\{\ddot {y}}&{=}-p^{2}y-k({\dot {y}}-\omega x),\end{aligned}}\right\}\qquad \qquad (3)$$\left.{\begin{aligned}{\ddot {x}}&{=}-p^{2}x-k({\dot {x}}+\omega y),\\{\ddot {y}}&{=}-p^{2}y-k({\dot {y}}-\omega x),\end{aligned}}\right\}\qquad \qquad (3)$

where $p^{2}{=}g/a\!$$p^{2}{=}g/a\!$. These combine into

${\ddot {z}}+k{\dot {z}}+(p^{2}-ik\omega )z{=}0,\qquad \qquad (4)$${\ddot {z}}+k{\dot {z}}+(p^{2}-ik\omega )z{=}0,\qquad \qquad (4)$

where $z{=}x+iy,i{=}{\sqrt {}}-1\!$$z{=}x+iy,i{=}{\sqrt {}}-1\!$. Assuming $z{=}Ce^{\lambda t}\!$$z{=}Ce^{\lambda t}\!$, we find

$\lambda {=}-{\tfrac {1}{2}}k(1\mp \omega /p)\pm ip,\qquad \qquad (5)$$\lambda {=}-{\tfrac {1}{2}}k(1\mp \omega /p)\pm ip,\qquad \qquad (5)$

if the square of $k\!$$k\!$ be neglected. The complete solution is then

$x+iy{=}\mathrm {C} _{1}e^{-\beta 1t}e^{ipt}+\mathrm {C} _{2}e^{-\beta 2t}e^{-ipt},\qquad \qquad (6)$$x+iy{=}\mathrm {C} _{1}e^{-\beta 1t}e^{ipt}+\mathrm {C} _{2}e^{-\beta 2t}e^{-ipt},\qquad \qquad (6)$

where

$\beta _{1}{=}{\tfrac {1}{2}}k(1-\omega /p),\qquad \beta _{2}{=}{\tfrac {1}{2}}k(1+\omega /p).\qquad \qquad (7)$$\beta _{1}{=}{\tfrac {1}{2}}k(1-\omega /p),\qquad \beta _{2}{=}{\tfrac {1}{2}}k(1+\omega /p).\qquad \qquad (7)$

This represents two superposed circular vibrations, in opposite directions, of period $2\pi /p\!$$2\pi /p\!$. If $\omega <p\!$$\omega <p\!$, the amplitude of each of these diminishes asymptotically to zero, and the position $x{=}0,y{=}0\!$$x{=}0,y{=}0\!$ is permanently stable. But if $\omega >p\!$$\omega >p\!$ the amplitude of that circular vibration which agrees in sense with the rotation $\omega \!$$\omega \!$ will continually increase, and the particle will work its way in an ever-widening spiral path towards the eccentric position of secular stability. If the bowl be not spherical but ellipsoidal, the vertical diameter being a principal axis, it may easily be shown that the lowest position is permanently stable only so long as the period of the rotation is longer than that of the slower of the two normal modes in the absence of rotation (see Mechanics, § 13).

7. Principle of Least Action.

The preceding theories give us statements applicable to the system at any one instant of its motion. We now come to a series of theorems relating to the whole motion of the system between any two configurations through which it passes, Stationary Action. viz. we consider the actual motion and compare it with other imaginable motions, differing infinitely little from it, between the same two configurations. We use the symbol $\delta \!$$\delta \!$ to denote the transition from the actual to any one of the hypothetical motions.

The best-known theorem of this class is that of Least Action, originated by P. L. M. de Maupertuis, but first put in a definite form by Lagrange. The “action” of a single particle in passing from one position to another is the space-integral of the momentum, or the time-integral of the vis viva. The action of a dynamical system is the sum of the actions of its constituent particles, and is accordingly given by the formula

$\mathrm {A} {=}\sum \int mvds{=}\sum \int mv^{2}dt{=}2\int Tdt.\qquad \qquad (1)$$\mathrm {A} {=}\sum \int mvds{=}\sum \int mv^{2}dt{=}2\int Tdt.\qquad \qquad (1)$

The theorem referred to asserts that the free motion of a conservative system between any two given configurations is characterized by the property

$\delta \mathrm {A} {=}0,\qquad \qquad (2)$$\delta \mathrm {A} {=}0,\qquad \qquad (2)$

provided the total energy have the same constant value in the varied motion as in the actual motion.

If $t,t'\!$$t,t'\!$ be the times of passing through the initial and final configurations respectively, we have

${\begin{aligned}\delta \mathrm {A} &{=}\delta \int _{t}^{t'}\sum m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2})dt\\&{=}\int _{t}^{t'}\delta Tdt+2\mathrm {T} '\delta t'+2\mathrm {T} \delta t,\end{aligned}}\qquad \qquad (3)$${\begin{aligned}\delta \mathrm {A} &{=}\delta \int _{t}^{t'}\sum m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2})dt\\&{=}\int _{t}^{t'}\delta Tdt+2\mathrm {T} '\delta t'+2\mathrm {T} \delta t,\end{aligned}}\qquad \qquad (3)$

since the upper and lower limits of the integral must both be regarded as variable. This may be written

${\begin{aligned}\delta \mathrm {A} &{=}\int _{t}^{t'}\delta Tdt+\int _{t}^{t'}\sum m({\dot {x}}\delta {\dot {x}}+{\dot {y}}\delta {\dot {y}}+{\dot {z}}\delta {\dot {z}})dt+2\mathrm {T} '\delta t'-2\mathrm {T} \delta t\\&{=}\int _{t}^{t'}\delta Tdt+\left[\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z)\right]_{t}^{t'}\\&\qquad -\int _{t}^{t'}\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z)dt+2\mathrm {T} '\delta t'-2\mathrm {T} \delta t.\qquad \qquad (4)\end{aligned}}$${\begin{aligned}\delta \mathrm {A} &{=}\int _{t}^{t'}\delta Tdt+\int _{t}^{t'}\sum m({\dot {x}}\delta {\dot {x}}+{\dot {y}}\delta {\dot {y}}+{\dot {z}}\delta {\dot {z}})dt+2\mathrm {T} '\delta t'-2\mathrm {T} \delta t\\&{=}\int _{t}^{t'}\delta Tdt+\left[\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z)\right]_{t}^{t'}\\&\qquad -\int _{t}^{t'}\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z)dt+2\mathrm {T} '\delta t'-2\mathrm {T} \delta t.\qquad \qquad (4)\end{aligned}}$

Now, by d’Alembert’s principle,

$\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z){=}-\delta \mathrm {V} ,\qquad \qquad (5)$$\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z){=}-\delta \mathrm {V} ,\qquad \qquad (5)$

and by hypothesis we have

$\delta (\mathrm {T} +\mathrm {V} ){=}0.\qquad \qquad (6)$$\delta (\mathrm {T} +\mathrm {V} ){=}0.\qquad \qquad (6)$

The formula therefore reduces to

$\delta \mathrm {A} {=}\left[\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z)\right]_{t}^{t'}+2\mathrm {T} '\delta t'-2\mathrm {T} \delta t.\qquad \qquad (7)$$\delta \mathrm {A} {=}\left[\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z)\right]_{t}^{t'}+2\mathrm {T} '\delta t'-2\mathrm {T} \delta t.\qquad \qquad (7)$

Since the terminal configurations are unaltered, we must have at the lower limit

$\delta x+{\dot {x}}\delta t{=}0,\qquad \delta y+{\dot {y}}\delta t{=}0,\qquad \delta z+{\dot {z}}\delta t{=}0,\qquad \qquad (8)$$\delta x+{\dot {x}}\delta t{=}0,\qquad \delta y+{\dot {y}}\delta t{=}0,\qquad \delta z+{\dot {z}}\delta t{=}0,\qquad \qquad (8)$

with similar relations at the upper limit. These reduce (7) to the form (2).

The equation (2), it is to be noticed, merely expresses that the variation of $\mathrm {A} \!$$\mathrm {A} \!$ vanishes to the first order; the phrase stationary action has therefore been suggested as indicating more accurately what has been proved. The action in the free path between two given configurations is in fact not invariably a minimum, and even when a minimum it need not be the least possible subject to the given conditions. Simple illustrations are furnished by the case of a single particle. A particle moving on a smooth surface, and free from extraneous force, will have its velocity constant; hence the theorem in this case resolves itself into

$\delta \int ds{=}0,\qquad \qquad (9)$$\delta \int ds{=}0,\qquad \qquad (9)$

i.e. the path must be a geodesic line. Now a geodesic is not necessarily the shortest path between two given points on it; for example, on the sphere a great-circle arc ceases to be the shortest path between its extremities when it exceeds 180°. More generally, taking any surface, let a point $\mathrm {P} \!$$\mathrm {P} \!$, starting from $\mathrm {O} \!$$\mathrm {O} \!$, move along a geodesic; this geodesic will be a minimum path from $\mathrm {O} \!$$\mathrm {O} \!$ to $\mathrm {P} \!$$\mathrm {P} \!$ until $\mathrm {P} \!$$\mathrm {P} \!$ passes through a point $\mathrm {O} '\!$$\mathrm {O} '\!$ (if such exist), which is the intersection with a consecutive geodesic through $\mathrm {O} \!$$\mathrm {O} \!$. After this point the minimum property ceases. On an anticlastic surface two geodesics cannot intersect more than once, and each geodesic is therefore a minimum path between any two of its points. These illustrations are due to K. G. J. Jacobi, who has also formulated the general criterion, applicable to all dynamical systems, as follows:—Let $\mathrm {O} \!$$\mathrm {O} \!$ and $\mathrm {P} \!$$\mathrm {P} \!$ denote any two configurations on a natural path of the system. If this be the sole free path from $\mathrm {O} \!$$\mathrm {O} \!$ to $\mathrm {P} \!$$\mathrm {P} \!$ with the prescribed amount of energy, the action from $\mathrm {O} \!$$\mathrm {O} \!$ to $\mathrm {P} \!$$\mathrm {P} \!$ is a minimum. But if there be several distinct paths, let $\mathrm {P} \!$$\mathrm {P} \!$ vary from coincidence with $\mathrm {O} \!$$\mathrm {O} \!$ along the first-named path; the action will then cease to be a minimum when a configuration $\mathrm {O} '\!$$\mathrm {O} '\!$ is reached such that two of the possible paths from $\mathrm {O} \!$$\mathrm {O} \!$ to $\mathrm {O} '\!$$\mathrm {O} '\!$ coincide. For instance, if $\mathrm {O} \!$$\mathrm {O} \!$ and $\mathrm {P} \!$$\mathrm {P} \!$ be positions on the parabolic path of a projectile under gravity, there will be a second path (with the same energy and therefore the same velocity of projection from $\mathrm {O} \!$$\mathrm {O} \!$), these two paths coinciding when $\mathrm {P} \!$$\mathrm {P} \!$ is at the other extremity ($\mathrm {O} '\!$$\mathrm {O} '\!$, say) of the focal chord through $\mathrm {O} \!$$\mathrm {O} \!$. The action from $\mathrm {O} \!$$\mathrm {O} \!$ to $\mathrm {P} \!$$\mathrm {P} \!$ will therefore be a minimum for all positions of $\mathrm {P} \!$$\mathrm {P} \!$ short of $\mathrm {O} '\!$$\mathrm {O} '\!$. Two configurations such as $\mathrm {O} \!$$\mathrm {O} \!$ and $\mathrm {O} '\!$$\mathrm {O} '\!$ in the general statement are called conjugate kinetic foci. Cf. Variations, Calculus of.

Before leaving this topic the connexion of the principle of stationary action with a well-known theorem of optics may be noticed. For the motion of a particle in a conservative field of force the principle takes the form

$\delta \int vds{=}0.\qquad \qquad (10)$$\delta \int vds{=}0.\qquad \qquad (10)$

On the corpuscular theory of light $v\!$$v\!$ is proportional to the refractive index $\mu \!$$\mu \!$ of the medium, whence

$\delta \int \mu ds{=}0.\qquad \qquad (11)$$\delta \int \mu ds{=}0.\qquad \qquad (11)$

In the formula (2) the energy in the hypothetical motion is prescribed, whilst the time of transit from the initial to the final configuration Hamiltonian principle. is variable. In another and generally more convenient theorem, due to Hamilton, the time of transit is prescribed to be the same as in the actual motion, whilst the energy may be different and need not (indeed) be constant. Under these conditions we have

$\delta \int _{t}^{t'}(\mathrm {T} -\mathrm {V} )dt{=}0,\qquad \qquad (12)$$\delta \int _{t}^{t'}(\mathrm {T} -\mathrm {V} )dt{=}0,\qquad \qquad (12)$

where $t,t'\!$$t,t'\!$ are the prescribed times of passing through the given initial and final configurations. The proof of (12) is simple; we have

${\begin{aligned}\delta \int _{t}^{t'}(\mathrm {T} -\mathrm {V} )dt&{=}\int _{t}^{t'}(\delta \mathrm {T} -\delta \mathrm {V} )dt{=}\int _{t}^{t'}{\sum m({\dot {x}}\delta {\dot {x}}+{\dot {y}}\delta {\dot {y}}+{\dot {z}}\delta {\dot {z}})-\delta \mathrm {V} }dt\\&{=}\left[\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z)\right]_{t}^{t'}\\&\quad -\int _{t}^{t'}{\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z)+\delta \mathrm {V} }dt.\qquad \qquad (13)\end{aligned}}$${\begin{aligned}\delta \int _{t}^{t'}(\mathrm {T} -\mathrm {V} )dt&{=}\int _{t}^{t'}(\delta \mathrm {T} -\delta \mathrm {V} )dt{=}\int _{t}^{t'}{\sum m({\dot {x}}\delta {\dot {x}}+{\dot {y}}\delta {\dot {y}}+{\dot {z}}\delta {\dot {z}})-\delta \mathrm {V} }dt\\&{=}\left[\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z)\right]_{t}^{t'}\\&\quad -\int _{t}^{t'}{\sum m({\ddot {x}}\delta x+{\ddot {y}}\delta y+{\ddot {z}}\delta z)+\delta \mathrm {V} }dt.\qquad \qquad (13)\end{aligned}}$

The integrated terms vanish at both limits, since by hypothesis the configurations at these instants are fixed; and the terms under the integral sign vanish by d’Alembert’s principle.

The fact that in (12) the variation does not affect the time of transit renders the formula easy of application in any system of co-ordinates. Thus, to deduce Lagrange’s equations, we have

${\begin{aligned}\int _{t}^{t'}(\delta \mathrm {T} &-\delta \mathrm {V} )dt{=}\int _{t}^{t'}\left\{{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+{\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}+\ldots -{\frac {\partial \mathrm {V} }{\partial q_{1}}}\delta q_{1}-\ldots \right\}dt\\&{=}{\Big [}p_{1}\delta q_{1}+p_{2}\delta q_{2}+\ldots {\Big ]}_{t}^{t'}\\-\int _{t}^{t'}&\left\{\left[{\dot {p}}_{1}-{\frac {\partial \mathrm {T} }{\partial q_{1}}}+{\frac {\partial \mathrm {V} }{\partial q_{1}}}\right)\delta q_{1}+\left({\dot {p}}_{2}-{\frac {\partial \mathrm {T} }{\partial q_{2}}}+{\frac {\partial \mathrm {V} }{\partial q_{2}}}\right)\delta q_{2}+\ldots \right\}dt.\qquad \qquad (14)\end{aligned}}$${\begin{aligned}\int _{t}^{t'}(\delta \mathrm {T} &-\delta \mathrm {V} )dt{=}\int _{t}^{t'}\left\{{\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+{\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}+\ldots -{\frac {\partial \mathrm {V} }{\partial q_{1}}}\delta q_{1}-\ldots \right\}dt\\&{=}{\Big [}p_{1}\delta q_{1}+p_{2}\delta q_{2}+\ldots {\Big ]}_{t}^{t'}\\-\int _{t}^{t'}&\left\{\left[{\dot {p}}_{1}-{\frac {\partial \mathrm {T} }{\partial q_{1}}}+{\frac {\partial \mathrm {V} }{\partial q_{1}}}\right)\delta q_{1}+\left({\dot {p}}_{2}-{\frac {\partial \mathrm {T} }{\partial q_{2}}}+{\frac {\partial \mathrm {V} }{\partial q_{2}}}\right)\delta q_{2}+\ldots \right\}dt.\qquad \qquad (14)\end{aligned}}$

The integrated terms vanish at both limits; and in order that the remainder of the right-hand member may vanish it is necessary that the coefficients of $\delta q_{1},\delta q_{2},\ldots \!$$\delta q_{1},\delta q_{2},\ldots \!$ under the integral sign should vanish for all values of $t\!$$t\!$, since the variations in question are independent, and subject only to the condition of vanishing at the limits of integration. We are thus led to Lagrange’s equation of motion for a conservative system. It appears that the formula (12) is a convenient as well as a compact embodiment of the whole of ordinary dynamics.

The modification of the Hamiltonian principle appropriate to Extension to cyclic systems. the case of cyclic systems has been given by J. Larmor. If we write, as in § 1 (25),

$\mathrm {R} {=}\mathrm {T} -\kappa {\dot {\chi }}-\kappa '{\dot {\chi }}'-\kappa ''{\dot {\chi }}''-\ldots ,\qquad \qquad (15)$$\mathrm {R} {=}\mathrm {T} -\kappa {\dot {\chi }}-\kappa '{\dot {\chi }}'-\kappa ''{\dot {\chi }}''-\ldots ,\qquad \qquad (15)$

we shall have

$\delta \int _{t}^{t'}(\mathrm {R} -\mathrm {V} )dt{=}0,\qquad \qquad (16)$$\delta \int _{t}^{t'}(\mathrm {R} -\mathrm {V} )dt{=}0,\qquad \qquad (16)$

provided that the variation does not affect the cyclic momenta $\kappa ,\kappa ',\kappa '',\ldots \!$$\kappa ,\kappa ',\kappa '',\ldots \!$, and that the configurations at times $t\!$$t\!$ and $t'\!$$t'\!$ are unaltered, so far as they depend on the palpable co-ordinates $q_{1},q_{2},\ldots q_{m}\!$$q_{1},q_{2},\ldots q_{m}\!$. The initial and final values of the ignored co-ordinates will in general be affected.

To prove (16) we have, on the above understandings,

${\begin{aligned}\delta \int _{t}^{t'}(\mathrm {R} -\mathrm {V} )dt&{=}\int _{t}^{t'}(\delta \mathrm {T} -\kappa \delta {\dot {\chi }}-\ldots -\delta \mathrm {V} )dt\\&{=}\int _{t}^{t'}\left({\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}+\ldots -\delta \mathrm {V} \right)dt,\qquad \qquad (17)\end{aligned}}$${\begin{aligned}\delta \int _{t}^{t'}(\mathrm {R} -\mathrm {V} )dt&{=}\int _{t}^{t'}(\delta \mathrm {T} -\kappa \delta {\dot {\chi }}-\ldots -\delta \mathrm {V} )dt\\&{=}\int _{t}^{t'}\left({\frac {\partial \mathrm {T} }{\partial {\dot {q}}_{1}}}\delta {\dot {q}}_{1}+\ldots +{\frac {\partial \mathrm {T} }{\partial q_{1}}}\delta q_{1}+\ldots -\delta \mathrm {V} \right)dt,\qquad \qquad (17)\end{aligned}}$

where terms have been cancelled in virtue of § 5 (2). The last member of (17) represents a variation of the integral

$\int _{t}^{t'}(\mathrm {T} -\mathrm {V} )dt$$\int _{t}^{t'}(\mathrm {T} -\mathrm {V} )dt$

on the supposition that $\delta \mathrm {X} {=}0,\delta \mathrm {X} '{=}0,\delta \mathrm {X} ''{=}0,\ldots \!$$\delta \mathrm {X} {=}0,\delta \mathrm {X} '{=}0,\delta \mathrm {X} ''{=}0,\ldots \!$ throughout, whilst $\delta q_{1},\delta q_{2},\delta q_{m}\!$$\delta q_{1},\delta q_{2},\delta q_{m}\!$ vanish at times $t\!$$t\!$ and $t'\!$$t'\!$; i.e. it is a variation in which the initial and final configurations are absolutely unaltered. It therefore vanishes as a consequence of the Hamiltonian principle in its original form.

Larmor has also given the corresponding form of the principle of least action. He shows that if we write

$\mathrm {A} {=}\int (2\mathrm {T} -\kappa {\dot {\chi }}-\kappa '{\dot {\chi }}'-\kappa ''{\dot {\chi }}''-\ldots )dt,\qquad \qquad (18)$$\mathrm {A} {=}\int (2\mathrm {T} -\kappa {\dot {\chi }}-\kappa '{\dot {\chi }}'-\kappa ''{\dot {\chi }}''-\ldots )dt,\qquad \qquad (18)$

then

$\delta \mathrm {A} {=}0,\qquad \qquad (19)$$\delta \mathrm {A} {=}0,\qquad \qquad (19)$

provided the varied motion takes place with the same constant value of the energy, and with the same constant cyclic momenta, between the same two configurations, these being regarded as defined by the palpable co-ordinates alone.

§ 8. Hamilton’s Principal and Characteristic Functions.

In the investigations next to be described a more extended meaning is given to the symbol $\delta \!$$\delta \!$. We will, in the first instance, denote by it an infinitesimal variation of the most Principal function. general kind, affecting not merely the values of the co-ordinates at any instant, but also the initial and final configurations and the times of passing through them. If we put

$\mathrm {S} {=}\int _{t}^{t'}(\mathrm {T} -\mathrm {V} )dt,\qquad \qquad (1)$$\mathrm {S} {=}\int _{t}^{t'}(\mathrm {T} -\mathrm {V} )dt,\qquad \qquad (1)$

we have, then,

${\begin{aligned}\delta \mathrm {S} &{=}(\mathrm {T} '-\mathrm {V} ')\delta t'-(\mathrm {T} -\mathrm {V} )\delta t+\int _{t}^{t'}(\delta \mathrm {T} -\delta \mathrm {V} )dt\\&{=}(\mathrm {T} '-\mathrm {V} ')\delta t'-(\mathrm {T} -\mathrm {V} )\delta t+\left[\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z)\right]_{t}^{t'}.\qquad \qquad (2)\end{aligned}}$${\begin{aligned}\delta \mathrm {S} &{=}(\mathrm {T} '-\mathrm {V} ')\delta t'-(\mathrm {T} -\mathrm {V} )\delta t+\int _{t}^{t'}(\delta \mathrm {T} -\delta \mathrm {V} )dt\\&{=}(\mathrm {T} '-\mathrm {V} ')\delta t'-(\mathrm {T} -\mathrm {V} )\delta t+\left[\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z)\right]_{t}^{t'}.\qquad \qquad (2)\end{aligned}}$

Let us now denote by $x'+\delta x',y'+\delta y',z'+\delta z'\!$$x'+\delta x',y'+\delta y',z'+\delta z'\!$, the final co-ordinates (i.e. at time $t'+\delta t'\!$$t'+\delta t'\!$) of a particle $m\!$$m\!$. In the terms in (2) which relate to the upper limit we must therefore write $\delta x'-{\dot {x}}'\delta t',\delta y'-{\dot {y}}'\delta t',\delta z'-{\dot {z}}'\delta t'\!$$\delta x'-{\dot {x}}'\delta t',\delta y'-{\dot {y}}'\delta t',\delta z'-{\dot {z}}'\delta t'\!$ for $\delta x,\delta y,\delta z\!$$\delta x,\delta y,\delta z\!$. With a similar modification at the lower limit, we obtain

${\begin{aligned}\delta \mathrm {S} {=}-\mathrm {H} \delta \tau &+\sum m({\dot {x}}'\delta x'+{\dot {y}}'\delta y'+{\dot {z}}'\delta z')\\&-\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z),\qquad \qquad (3)\end{aligned}}$${\begin{aligned}\delta \mathrm {S} {=}-\mathrm {H} \delta \tau &+\sum m({\dot {x}}'\delta x'+{\dot {y}}'\delta y'+{\dot {z}}'\delta z')\\&-\sum m({\dot {x}}\delta x+{\dot {y}}\delta y+{\dot {z}}\delta z),\qquad \qquad (3)\end{aligned}}$

where $\mathrm {H} (=\mathrm {T} +\mathrm {V} )\!$$\mathrm {H} (=\mathrm {T} +\mathrm {V} )\!$ is the constant value of the energy in the free motion of the system, and $\tau (=t'-t)\!$$\tau (=t'-t)\!$ is the time of transit. In generalized co-ordinates this takes the form

${\begin{aligned}\delta \mathrm {S} {=}-\mathrm {H} \delta \tau &+p'_{1}\delta q'_{1}+p'_{2}\delta q'_{2}+\ldots \\&-p_{1}\delta q_{1}-p_{2}\delta q_{2}-\ldots .\qquad \qquad (4)\end{aligned}}$${\begin{aligned}\delta \mathrm {S} {=}-\mathrm {H} \delta \tau &+p'_{1}\delta q'_{1}+p'_{2}\delta q'_{2}+\ldots \\&-p_{1}\delta q_{1}-p_{2}\delta q_{2}-\ldots .\qquad \qquad (4)\end{aligned}}$

Now if we select any two arbitrary configurations as initial and final, it is evident that we can in general (by suitable initial velocities or impulses) start the system so that it will of itself pass from the first to the second in any prescribed time $\tau \!$$\tau \!$. On this view of the matter, $\mathrm {S} \!$$\mathrm {S} \!$ will be a function of the initial and final co-ordinates ($q_{1},q_{2},\ldots \!$$q_{1},q_{2},\ldots \!$ and $q'_{1},q'_{2},\ldots \!$$q'_{1},q'_{2},\ldots \!$) and the time $\tau \!$$\tau \!$, as independent variables. And we obtain at once from (4)

$\left.{\begin{aligned}p'_{1}&{=}{\frac {\partial \mathrm {S} }{\partial q'_{1}}},\qquad p'_{2}{=}{\frac {\partial \mathrm {S} }{\partial q'_{2}}},\ldots ,\\p_{1}&{=}-{\frac {\partial \mathrm {S} }{\partial q_{1}}},\qquad p_{2}{=}-{\frac {\partial \mathrm {S} }{\partial q_{2}}},\ldots ,\end{aligned}}\right\}\qquad \qquad (5)$$\left.{\begin{aligned}p'_{1}&{=}{\frac {\partial \mathrm {S} }{\partial q'_{1}}},\qquad p'_{2}{=}{\frac {\partial \mathrm {S} }{\partial q'_{2}}},\ldots ,\\p_{1}&{=}-{\frac {\partial \mathrm {S} }{\partial q_{1}}},\qquad p_{2}{=}-{\frac {\partial \mathrm {S} }{\partial q_{2}}},\ldots ,\end{aligned}}\right\}\qquad \qquad (5)$

and

$\mathrm {H} {=}-{\frac {\partial \mathrm {S} }{\partial \tau }}.\qquad \qquad (6)$$\mathrm {H} {=}-{\frac {\partial \mathrm {S} }{\partial \tau }}.\qquad \qquad (6)$

$\mathrm {S} \!$$\mathrm {S} \!$ is called by Hamilton the principal function; if its general form for any system can be found, the preceding equations suffice to determine the motion resulting from any given conditions. If we substitute the values of $p_{1},p_{2},\ldots \!$$p_{1},p_{2},\ldots \!$ and $\mathrm {H} \!$$\mathrm {H} \!$ from (5) and (6) in the expression for the kinetic energy in the form $\mathrm {T} '\!$$\mathrm {T} '\!$ (see § 1), the equation

$\mathrm {T} '+\mathrm {V} {=}\mathrm {H} \qquad \qquad (7)$$\mathrm {T} '+\mathrm {V} {=}\mathrm {H} \qquad \qquad (7)$

becomes a partial differential equation to be satisfied by $\mathrm {S} \!$$\mathrm {S} \!$. It has been shown by Jacobi that the dynamical problem resolves itself into obtaining a “complete” solution of this equation, involving $n+1\!$$n+1\!$ arbitrary constants. This aspect of the subject, as a problem in partial differential equations, has received great attention at the hands of mathematicians, but must be passed over here.

There is a similar theory Characteristic function. for the function

$\mathrm {A} {=}2\int Tdt{=}\mathrm {S} +\mathrm {H} \tau \qquad \qquad (8)$$\mathrm {A} {=}2\int Tdt{=}\mathrm {S} +\mathrm {H} \tau \qquad \qquad (8)$

It follows from (4) that

${\begin{aligned}\delta \mathrm {A} {=}\tau \delta \mathrm {H} &+p'_{1}\delta q'_{1}+p'_{2}\delta q'_{2}+\ldots \\&-p_{1}\delta q_{1}-p_{2}\delta q_{2}-\ldots .\qquad \qquad (9)\end{aligned}}$${\begin{aligned}\delta \mathrm {A} {=}\tau \delta \mathrm {H} &+p'_{1}\delta q'_{1}+p'_{2}\delta q'_{2}+\ldots \\&-p_{1}\delta q_{1}-p_{2}\delta q_{2}-\ldots .\qquad \qquad (9)\end{aligned}}$

This formula (it may be remarked) contains the principle of “least action” as a particular case. Selecting, as before, any two arbitrary configurations, it is in general possible to start the system from one of these, with a prescribed value of the total energy $\mathrm {H} \!$$\mathrm {H} \!$, so that it shall pass through the other. Hence, regarding $\mathrm {A} \!$$\mathrm {A} \!$ as a function of the initial and final co-ordinates and the energy, we find

$\begin{array}{rl}& p_1^{\prime }=\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{A}}{\mathrm{\partial <!--\; \partial \; -->}{q}_1^{\prime }},p_2^{\prime }=\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{A}}{\mathrm{\partial <!--\; \partial \; -->}{q}_2^{\prime }},\dots <!--\; \dots \; -->,\\ & p_1=-<!--\; -\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}\mathrm{A}}{\mathrm{\partial <!--\; \partial \; -->}{q}_1},p_2=\end{array}$