Beruflich Dokumente
Kultur Dokumente
GANTMACHER
Lectures
in Analytical
Mechanics
i
l
8 Preface
CHAPTER 1
The present text does not claim to cover fully the material of
analytical mechanics. It developed out of a course of lectures given
by the author over a period of six years in the Moscow Physico-
Technical Institute. This circumstance determined the choice of The Differential Equations of Motion
material and the manner of its presentation.
The course of analytical mechanics is a foundation supporting of an Arbitrary Sys em of Particles'
such divisions of theoretical physics as quantum mechanics, the
special and general theories of relativity, and so forth. For this 1. Free and Constrained Systems.
reason, a detailed presentation is give11 of variational principles Constraints and Their Classification
and the integral invariants of mechanics, canonical transformati-
ons, the Hamilton-Jacobi equation, and systems with cyclic (igno- The motion is studied of a system of particles P, (v = 1, . . ., N)
rable) coordinates (Chapters 2, 3, 4 and 7). Following the ideas of relative to some inertial (Galilean) system of coordinates. Imposed
Poincar6 and Cartan, the author takes the integral invariants of on the positions and velocities of the particles of the system are
mechanics as the basis of presentation. Here they do not represent restrictions of a geometrical or kinematical nature, called constraints.
an embellishment of the theory but its actual workaday machinery. Systems with such constraints are known as constrained systems
The technical applications are associated with a consideration of in contradistinction to free systems, in which such constraints are
constrained systems, which are studied in detail in Chapter 1. absent .
In a special section of that chapter, which is devoted to electrome- Analytically a constraint is expressed by the equation
chanical analogies, the possibility is investigated of extending the
analytical methods of mechanics to electrical and electromechanical
systems. In Chapters 5 and 6 are given applications of analytical where the left-hand side includes the time t, the radius vectors r , and
mechanics to Lyapunov's theory of stability and the theory of
oscillations. Elements of modern frequency methods are given along the velocities a , = P , of all points P, of the system (v = 1, . . ., N).
with the classical problems in the theory of linear oscillations. In the special case when the velocities r, do not enter into the con-
Problems in the dynamics of rigid bodies are taken up in individual straint equation (l), the constraint is termed finite or geometric.
examples. Analytically, it is written as
It is aisumed the reader is acquainted with the general fundamen-
tals of theoretical mechanics and higher mathematics. The text is f ( t , ,l*,) = 0 (2)
designed for undergraduate and graduate students of mechanico- In the general case, the constraint (1) is called diferentinl or kine-
mathematical, physical and physical-engineering departments of matical. From now on we shall confine our consideration solely t o
universities, and also for research engineers and other specialists such differeutial constraints whose equations contain the veloci-
who feel a need to extend and deepen their knowledge in the field ties of the particles in linear form:
of mechanics. N .
2 Zvrv+D=O
v= i
(3)
* A dot over a letter denotes differentiation of the given quantity with
respect to time. All radius vectors are constructed from a single pole that i s
.
stationary in the given system of coordinates. Also, f (t, r,, r,) is an abridged
.
notation for the function f (t, ril . . ., rlv, pi, . . ., rN).Such abbreviated
notation will be used throughout this text. If X,, y,, and z , are the Cartesian
coordinates of a point P, in the given system of coordinates (v = 1, . . ., N )
.. -
then the function f. may be regarded as a function of 6N f 1 scalar arguments t,
X,, y,, z,, X,, y,, and Z, (v = 1, . . ., N ) . The function f and all other functions
that will be encountered 'in the sequel, are assumed (unless otherwise stated)
to be continuous together with those of their derivatives which occur in appro-
priate parts of the text.
10 Equations of Motion of a n A r b i t m r y S y s t e m of Pnrticles [Ch. 1 Sec. 11 Free and Constrained Susterns 11
,
where Z,r, is the scalar product of the vectors I , and r,, and the The finite constraint (2) or (2') is termed stationary if t is not
vectors Zv and the scalar D are specified functions of t and of all expressed explicitly in the constraint equation, i.e. if - a/ == 0.
.
l * , , ( & v = 1 , . ., N). I t is assumed here that the ~ e c t o r sI, cannot
at
In this case, the left-hand side of the equation of differential cons-
all vanish a t the same time. traint (4) is linear and homogeneous in the velocities. By analogy,
Given a h i t e constraint of type (2), a system cannot occupy an the differential constraint (3) or (3') is termed stationary if D = 0
arbitrary position in space at every given instant of time. Finite and if the vectors I, in equation (3) [and, respectively, the coef-
constraints impose restrictions to possible positions of the system ficients AV,B,, and C, in equation (3')l are not explicit functions of t .
a t time t. But, with a differential constraint alone, the system may A system of particles is called holonomic if t,he particles of the
occupy any arbitrary position in space a t any tilne t . However, in system are not subjected to differential nonintegrable constraints.
this position the velocities of the particles of the system cannot any Thus, a holonomic system is any free system of particles and also
longer be arbitrary, since the differential constraint imposes restric- any constrained system with finite or differential but integrable
tions on these velocities. constraints. All constraints in a holonomic system may be written
Each finite constraint of type (2) implies, as a consequence, in closed form.
a differential constraint whose equation is obtained bp termwise A system is called nonholonomic* if there are differential noainte-
differentiation of equation (2): grable constraints.
N
A system is termed scleronomic if only stationary constraints are
imposed, otherwise it is rheonomic.
Example 1. A particle is constrained to move over a surlace. Let the
where a?., af (v I . . . , N . But such a differential
-= p a d v f
equation of this surface he given in the form
f (?')=0 (6)
constraint is not equivalent to the finite constraint (2). I i is equi- or
valent to the finite constraint f ( X , y. q = O . (6')
This is a finite stationary constraint.
f ( t , ,vv)- -- c (5) If the surface is moving or undergoing deformation. the time t enters
t h e equation of the surface cxplicitly:
where c is an arbitrary constant. For this reason, the finite constraint
f (t, r)=O (7)
(4) is called integrable.
I t will be noted that in rectangular Cartesian coordinates, the or
constraint equations (1) to (4) are written as: f ( t , 2, y , z)--o. (7')
I n this case, the constraint is finite but nonstationary.
Example 2. Two particles are connected by a rod of constant length I.
Ilere the constraint equation is of the form
(gal - rs3)?- P =0 (S]
or
(xi--x2)+(y1- y2)2+(~i-22)2--13=0. (8')
This is a holonomic sc!eronomic system.
Let us note that a rigid body may be regarded as a system of particles equi-
distant from one another, that is, subjected to constraints of type (8). From
this point of view, a free rigid body is a special case of a constrained holonomic
scleronomic system of particles.
Exam Be 3. Two particles are connected bp a rod of variable length 1 =
* If F, -: zvl 4- +
z V k , where i , j , k are mutually ortl~ogonalunit - f ( t ) .T\e constraint equation is written thus:
vectors of the coordinate axes, then
If these d +
g equations are independent, then among 3N virtual
increments of the coordinates 6xv, ayv, 62, there will be n = 3 N -
- d - g independent virtual increments, where n is called t h e
number of degrees of freedom of the given system of particles.
Let the corresponding forces E', (v = 1 , . . ., N) be impressed
Fig. 2 . Fig. 2. a t the points P, of the system.* If the constraints were absent, then
by Newton's second law we would have the relations m,w, =
at the point P. The difference O r = d'r - d r of thr two tangent vectors is ill
turn a vector tangent to the surface at this point. Thus, any vedtor constructed = Fv(v = 1 , ..
., N) between the masses m,, the accelerations
from P and lying in the tangent planc may be regarded as a certain d r and a s W, and the forces P,. Given constraints, the accelerations W, =
a certain 8 r . Here thr constraint is ~tationaryand the virtual displacements -
-- - l F, (at a given instant of time t, in a given position of t h e
coincide with the possible displacements. mv
Example 2. The constraint is a surface S which is itself in motion (as a
rigid body) with a certain velocity zc relativc to the original system of coordi- * By F, is understood the resultant of all forces applied directly to the
nates (Fig. 2). .,
particle P, (v = 4, . . N ) .
16 Equations of Motion of an Arbitrary System of Particles [Ch. I Sec. 21 Possible and Virtual Displacements 17
particles of the system v,, and for given velocities v,) may prove If nothing is known about the nature of the constraints except the
incompatible with the constraints. Indeed, differentiating the equa- defining equations (1) and (2) and, consequently, nothing is known
tions (3) and (2) termwise with respect to the time, we get an analy- about the reactions R, produced by these constraints, then the
tical expression for the restrictions imposed by the constraints on above problem is indeterminate, since the number of scalar quan-
t h e accelerations W , of the particles of the system:* tities X,, y,, z,, R,,, R,,, R,, that have to be determined is greater
N AT . .. .. ..
than the number of available scalar relations. i.e. the e~7:ations
mvxv = F v x + RVI, mvyv = F,, +
Rvy, ~ V Z V= F v z
the constraint equations (1) and (2) [6N > 3 N d
RV, and
+ +
g].
+
For the basic problem of dynamics t o become determinate, i t
is necessary t o have some kind of additional 6 N - (3N d + +
g) =
= 3 N - d - g = n independent relations between the sought-for
quantities. These relations can be obtained if we confine ourselves
1 to the important class of ideal constraints.
The accelerations W, = -F, may not satisfy these relations.
'nv Constraints are termed ideal if the sum of the works of the
Then the materially effected constraints will act on the particles reactions of these constraints on any virtual displacements is equal
of the system P, with certain supplementary forces R, (v = 1 , . .. to zero, i.e. if
. .
. , N); these forces are called the reaction forces of the constraints.**
The reactions that arise are such that t.he accelerations determined 2 KvGrav= 0.
v= 1
(11)
from the equations
This equation may be rewritten i n expanded form:
Example 5. Two rigid bodies i n motion have their ideally smooth sur-
faces in contact (we disregard frictionl) (Fig. 8). In this case too. we have
Fig. 4. Fig. 5. Fig. 6.
where L is the total moment of the forces N iand N Zabout the centre of inertia. Example 6. Two rigid bodies are i n motion with their ideally rough
+
But it is given that m = 0 and I = 0. Hence, N i N Z = 0 and L = O.**
From these equations it follows that the forces Ni and N Z and wnsequrntly
(toothed) surfaces in contact. In this case the relative velocity of sliding
is ,u2-vi=O. Consequently, we also have dr2- dri=(c2--23,) dt=O. The-
R , and R z are in direct opposition, i.e. are directed along the rod. refore, here too
+
R i b i R26rZ= R 2 ((Er2--
dri) =0
* From the definition of ideal constraints it follows that a nonstationary
A complex mechanism may be regarded as a system of rigid bodies
constraint is ideal if all its configurations at different instants (regarded as sta-
tionary constraints) are ideal. which are connected in pairs either rigidly or by hinges, or the surfa-
d -
** If the motion of the rod is not plane-parallel, the scalar equation I e = L
-
is replaced by the vector equation - (Io)= L, where I is the tensor of inertia
ces of which are in contact. If we consider all rigid links absolutely
rigid, all articulations as ideal and all contacting planes as ideally
dt smooth or ideally rough, then any complex mechanism may be inter-
and o is the angular velocity; from I^ = 0 it again follows that L = 0. preted as a system of particles that obeys ideal constraints.
Sec. 31 T h e General E q u a t i o n of ~ ~ n a r n i c s 21
20 Equations of Motion of a n A r b r t m w Sustent of Particles [Ch. 1
I t will be noted that in many cases this idealization is not permi- we will have the equations (1) and (2). Thus, a t any instant of time
ssible. For example, neglect of the forces of friction may on occasion i t is possible to choose reaction forces R, such that, by virtue of (2),
substantially distort the physical picture of a phenomenon. In would be admissible for the given constraints aiid for which the equa-
such a case, the condition of ideal constraints should be rejected and tions (1) obtained from Newton's second law would hold. We consi-
other conditions should be taken in its place that follow from the der that these reaction forces R, are actually realized ("the hypothe-
nature of the constraints ahd the laws of friction. sis of the realization of admissible reaction forces') and that con-
111 this interpretation, the concept of ideal constraints becomes sequently the motion under consideration corresponds to the given
almost universally applicable. (v = 1 , . . ., X ) . Thus, the general
effective forces P, ( t , T , , tab,)
From now on it will be assumed that all constraints imposed on equation of dynanzics expresses a necessary and sufficient condition
a system are ideal. for motion compatible with constraints to correspond to agiven system
of elgective forces F , (v = 1, . . ., N).*
Let us find expressions for the reaction forces R, by means of the
3. The General Equation of Dynamics. so-called undetermined multipliers of Lagrange. We write out the
Lagrange's Equations of the First Kind relations defining the virtual displacements of particles of a system
The following equations hold for particles of a constrained (see Sec. 2):
iv
system:
m,w, = E', +
R, (V= 1, , N).. . (1)
where m, is the mass of the v t h particle, W , is its acceleration,
and F,,and R, are, respectively, the resultant of the effective
forces and the resultant of the forces of reaction operating on this
5
v= l
16,6~,= Q (p= 1, . . ., g ) . (5)
particle (v = l , . . . , N). Since the constraints are ideal, for any Multiplyi-ng the equations (4) and (5) termwise by arbitrary scalar
position of the system under any virtual displacements, we have m.ultipliers --A, and - yB and adding termwise the resulting
equations to equation (2), we get
N d g
5
v= i
( F , - m,w,) 6 r v = Q. (3)
This is known as the general equation of dynamics. I t states that, Here, we used {y), and {z), to denote in abbreviated fashion the
given a system in motion, a t any instant of time the sum of the works expressions that differ from the coefficient of 6zv, given in formu-
of the effective forces and the forces of inertia on any virtual displacernents la (6'), by replacing the letters X , A with y , B or z and C, respe-
is zero. ctively.
Thus, the general equation of dynamics always holds for any The relations (7'), Sec. 2, permit expressing d g out of the +
motion that is compatible with constraints and that corresponds 3 N virtual increments 6zv, 6 y v , 62, in terms of the remaining n =
to the specified effective forces F, (v = 1 , . . , N ) . . = 3 N - d -- g increments. Here, the determinant J, which is made
Conversely, let there now be given a certain motion of a system
that is compatible with constraints and for which motion the general * Here, i t should be kept in mind that the general equation of dynamics (3\
equation of dynamics (3) holds. Then, assuming is actually not one cquation, but a set of equations because arbitrary virtual
displacements may be substituted into equation (3) i n place of 6r, (v =
== 1, . . ., N) for any instant of timc 1 .
22 Equations of Motion of an Arbitrary System of Particles [Ch. 1 Sec. 3) The General Equation of Dynamics 23
up of the coefficients of the '6dependent" increments in the equations a non-holonomic system. In these equations the number of unknown
( 7 7 , Sec. 2, is different from zero. scalar quantities (and, hence, the number of equations) is 3N - d ,
We choose d + g multipliers h, and p6 so that in equation (6') i.e. 2d +
g units less than in the set of equations (8) and (9).
the coefficients of d 3-g "iridependent" increments vanish. This may Exam le. Two ponderable particles M , and M 2 of identical mass m = 1
be done, and done uniquely, since the determinant J of the coeffi- are j o i n e t by a rod of invariable length 1 and negligibly small mass. The system
cients of the quantities h,, .pg being determined is not equal to zero. is constrained to move in the vertical plane and only in such manner that the
Then the only thing remainmg in (6') are the terms with the indepen- velocity of the rdidpoint of the rod is directed along it. Determine the motion
of the particles M , and M,.
dent increments 8xv, ay,, 82,. But then the coefficients of these Let X,, y, and X,,. y , be the coordinates of the particles Mi and M,. We write
independent increments must also be zero. In other words, the the constra~ntequat~ons:
undetermined multipliers A, and p* may be chosen so that all the
scalar coefficients in (6') and, hence, all the vector coefficients in
(6) vanish. But then
d g
B,= ~ h , s +Z p R l s v ( v = l , ..., N). (7) The Lagrange equations with undetermined multipliers h and p are of the
a= 1 p= i
form
..
We have obtained a general expression for the reaction forces xi= -a (xz-xi)-p (YZ-Y~) (11)
-
of ideal constraints i n terms of the undetermined multipliers
of Lagrange h,, p~ ( a = l , . . ., d; P l , . . . , g).
Putting the expressions (7) for R V into equation ( l ) , we get
the so-called Lagrange equations of the first kind:* .~.z = - - g r h ( ~ 2 - ~ i ) + p ( ~ ~ - ~ i )
We determine h and p from the equations (11) taking into account the first
equation of (10):
Then equations (10) and (15) will be written as follows: 4. The Principle of Virtual Displacements.
D'Alembert's Principle
An equilibrium position is a position of a system such that the *
system will all the time reside in i t if a t the initial instant of time
~u+i)v+2gu=~ (19)
Equations (17) show that i n a U , v-plane a particle with coordinates U, u
moves in .a circle with radius l and with centre at the origin; its accelera-
tion will all the time be directed towards the centre. The motion of this
-
i t was in that position and the velocities of all its particles were zero.
The position of a system 1.; ( v = 1 , . . ., N ) will be an equilibri-
um position if and only if the "motion" T , ( t ) r$ ( v = 1 , . . ., LV)
satisfies the general equation of dynamics, that is, when
N
'
Y ~ + Y ~ = - - -2~
acos
a s i n ( ~ + ~ s i n c p c o s c p +a &
(P-B
a2
COS2 (P+2E
2 q+26
- .
. . ., N ) , that is F, F, ( t , r , v,) (v = 1 , . . , N). I t is then
assumed that the equation ( 1 ) h o b s for any value of t if in theexpre-
ssion for F, we put all r, = r; and all v, = 0.
From eqr~ations(16), (20) and (23) we finally obtain I n the most elementary special cases, the principle of virtual
x i = - aYs i n ( ~ + ~ 2s ai 2n c p c o s c p + ~ r p - - - c ol s c p + 6
2a2 2
1 displacements (or, as it is sometimes called when applied to sclero-
nom.ic systems, the principle of possible displacements) was known at
the time of Galileo under the name of the "golden rule of mechanics' *.
yi=-- Y
a
COS (P- -g COS^ (P--sin
2a2
l
2
(P+&
Let forces F , and P, act at the ends of a weightless lever in a
state of equilibrium. Then, denoting by F; and F6 the tangential
i
x 2 = 2 Si n r p g+ ~ s i n p c o2a2
s p + ~21 ~cosrp+6
- (to possible trajectories) components of these forces, and by 61,
and 61, the rnagnitudes of the corresponding elementary possible
Yo s c p - ~ ~2a2
Y z = - - ca o s ~ c p + - - s i2In ( p + E displacements, we will [by virtue of equation ( l ) ]have, except for
(P=at+B J * Galileo attributed substantiation of the "golden rule of mechanics" to
Aristotle. In i t s general statement, the principle of virtual displacenlents was
(whore a, p, y , S, and E are arbitrary constants). first given by J . Bernoulli in 1717.
1
l - 2ti Eqrrations of Motion of a n Arbitrary S y s t e m of Particles [Ch. 1 Sec. 41 Principle o f V i r t u a l D isplacements
sinn.
- . Denote by M the sum of the masses of all bodies and by z, the vertical coordinate
of the centre of gravity of the system of bodies (we take the z-axis to be directed
that is, vertically downwards). Then, according to equation (i), we get
S A =M g s z , =0
and, consequently, the conditions of equilibrium of t h e system have the
( a gain i n force is compensated for by a loss i n displacement and vice aspect
versa-the "golden rule of mechanics'). Sz, =-- 0 (4)
The principle of virtual displacements is the most general prin- Thus, the equilibrium positions of a system of rigid bodies are such posi-
ciple of analytical statics. I t is possible to obtain from i t the con- tions in which the centre of gravity occupies the lowest, the highest or any other
ditions of equilibrium of any actual mechanical system. ~ ~ s t a t i o n a rposition
y~~ in the vertical (~~Torricelli's
principle").
Since the vectors 2.0 and m are arbitrary, equation (2) holds when and
only when
F=O, and Lo=O (3)
These equations are the necessary and sufficient conditions for equilibrium o f a
free body. Pig. 9.
In similar fashion we obtain the conditions of equilibrium of a constrained
rigid body. For example, let point 0 be fixed. Then v. = 0 and e uation (2)
is of the form d A = Lomdt = 0 , whence, by virtue of the vector m %sing arbi- Example 3. Find the form of equilibrium of a heavy homogeneous chain
trary we get the desired equilibrium condition, L. = 0 . attached at two points. Regarding a heavy homogeneous chain as a system of
If the body can only rotate about a fixed axis u (with unit vector c ) , the rigid bodies (links) i t is possible to write relation (4). But (see Fig. 9, where Oxz
equations (2) take on the form S A = Lame d t = 0 , whence, by virtue of the is the vertical plane and z is the vertical)
arbitrary nature of o the condition of equilibrium follows: L, 70 ; here, L, =
= L,e is the principal moment of external forces about the axis U. zc=-
S zds
Example 2. Let us derive the equilibrium conditions of an arbitrary con-
strained system of rigid bodies experiencing the action of the force of gravity. S
and, since the length of a homogeneous chain does not change during displa-
*The equation 6 A = ( F u o f Low) d t may be obtained in the following man- cements, condition (4) takes the form
ner. We denote by P ithe forces acting on particles of the rigid body, by r i and
V , the radii vectors (drawn from point 0 of t h e body) and the velocities of the
points of application of the forces P i ( i = 1 , 2, . . .), respectively. Then, using
the sign X to indicate vector multiplication, we find
6 S zds=O
This relation may also be written as
21
As is established i n the calculus of variations, i n the class of curves X = f (z)
(substitution of 6ri by d r i .= v i d t is legitimate due to the fact that the rigid passing through two specified points, the curve that imparts to t,he integral
body is a scleronomic system; see page 11). By virtue of Newton's third law,
the principal vector and the principal moment of the internal forces in the rigid
I,ody are zero. For this reason, X
i
P i= F , and 2i
r i X Fi= L,.
28 Equations of Motion o,f a n Arbitrary System of Particles [Ch. l Sec. 41 Principle of Virtual Displacements 29
r
We can arrive a t this conclusion by proceeding from the principle of possible
displacements. Indeed, denote by 0 some point on the line of action of the
6 F dz=0,
21
I n our case F = z
1+ ($1 . TI~erefore, equation (6) assume, the
form
We shall now show how, using equation ( I l ) , to construct a normal to the D'Alembert7sprinciple. A n y position of a system in motion may be
curve D at the point P .
For any infinitesimal displacement of point P along the curve D we get regarded as an equilibrium position if to the effective forces acting on
the system in that position we add the fictitious forces of inertia.
Now this, in accord with the preliminary remark we made, signifies that the
sum of the works of the forces F , , F z , . . ., 3; is zero in the case of arbitrary
displacement of point P along the curve D . But then any constrafned point
that can move along the smooth curve D will
be in equilibrium under the action of the Fig. 13. Fig. 14.
forces F i , F z , . . . , F , . Therefore, the re-
sultant of the forces F i , F z , . . ., ,F, is D'Alembert's principle permits extending the techniques and
2-35 directed along the normal to the curve D . methods of solution of static problems to problems of dynamics.
We thus have a very simple method for
the geometrical construction of a normal to In particular, it permits determining dynamic reaction forces by
curve D given by equation (11).
Let us consider some special cases:
(a) D is an ellipse. In this case, C l and C z
are points (the foci of the ellipse), equation
(11) is of the form ri + rz - 2a = 0, F , =
I , Fz = 1, and the normal to the ellipse is
the bisector of the angle between the focal
radii-vectors (Fig. 13):
(b) D is a hyperbola. The equation or
the hyperbola is ri - rz - 2a = 0, F! = 1,
Fz = -1, and from the construction ( F I ~24) .
it is easv to see that the tangent to the
Fig. 12. hyperboG is the bisector of the aGgle between
the focal radii vectors (while the normal Fig. 15.
is the bisector of the adjacent angle).
(c) D is a parabola (Fig. 15). C l is a straight line (the directrix), C 2 is a statical methods. Indeed, in an equilibrium position the reaction
point (focus). The equation of the parabola is r, - r2 = 0. As in the ca.w of forces R, differ from F, - m v w v in direction only:
the hyperbola, i t Iollows from the construction that the tangent to the parabola
is the bisector of the angle between the focal radius vector r, and the perpencli- F , - m V w v = - R v ( v = ! , . . ., N ) .
cular r2 dropped on the directrix. R U L then
For the principle of virtual displacements, equation (1) is a special .
mvwv = F + R, (v = l , . . , N ) ,
case of the general equation of dynamics [see equation (3) on page i.e. the reaction forces R , determined by means of the d'Alembert prin-
201. However, the general equation of dynamics may be regarded as ciple are the desired dynamical reaction forces. And so we can add the
an equation expressing the principle of virtual displscements and following proposition to the above formulated d'dlembert principle:
characterizing the position of equilibrium of the system that, results When regarding inertial forces as additional effective forces applied to
if to the effective forces P,,we add the fictitious inertial forces the points of a system, we replace the given dynamical problem by a new
.
- m v w v ( v = 1 , . . , N). We have thus arrived at d'dlembert's sioiical problem. In the new problem, the static reaction forces coincide
principle. with the sought-for reaction forces in the initial dynamical problem.
32 Equations of Motion of an Arbitrary System of Particles
Sec. 51 Holonomic Systems 33
[Ch. I
is required to determine the pressure on the bearings during rotation of the
The following examples will serve to illustrate the use of statical shaft.
methods i n the solution of problems in dynamics. We consider the inertial forces d m o 2 r t h a t correspond to the separate elements
Example 1. A locomotive tender filled with water is in motion with an d m of the disc (Fig. 18). These are converging forces directed away from the
acceleration W. I t is required to determine the shape and position of the water axis of the shaft. The resultant of these forces is equal to J = 02 r d m =
surface. J
In the absence of acceleration the surface of the water is horizontal. The = M i o 2 r c , where M i is the mass of the disc, and rc = OC ( 0 is the point of
given plane is perpendicular, a t each point, t o the direction of the body forces intersection of the plane of the disc with the axis of the shaft, and C is the geo-
metric centre of the disc). Apply the d'Alembert principle and determine the
static pressure on the bearings, assuming t h a t three forces are applied to the
axis of the shaft:* (1) the force of gravity of the shaft M g ; (2) the force of
gravity of the disc M i g ,and (3) the force J = M i o 2 r C .
The pressure N on each bearing is determined from the formula
in the position of the disc when the geometric centre of the disc C is located
under the point 0.
Fig. 16. Fig. 17. Fig. 18. 5. Holonomic Systems. Independent Coordinates.
Generalized Forces
of gravity applied to the water. This static osition is also applicable to the Let there be given a holonomic system of N .particles P, with
case of the accelerated motion of the tender i?to each element of mass d m there
is applied an additional fictitious force of inertia d J = - d m w . The surface radii vectors T , = x,i+ y , j + z v k (v = 1, . . ., N)** subject to the
of water will be a plane perpendicular to the resultant of the two body forces: finite coristraints
the vertical force of the gravity d m g and the horizontal force of inertia -dmio
(Fig. 16). The water surface will be inclined to the horizon a t an angle cp, where
f a ( t , r , ) = = O ( a = 1 , ..., d) (1)
W
tan q, = - . or (in equivalent notation)
g
Example 2. Let us write the differential equation of rotation of a rigid
body about a fixed axis u (Fig. 17). To each element of mass d m we apply a
fictitious inertial force - d m w . Calculate the principal moment of inertia forces We shall assume that d functions f a of 3N arguments X,, y,, z,
about the axis of rotation (v = 1, . . ., N ) are independent ***; here t is regarded as a para-
.. ..
- S drnpcpp = -v
"S p2 d m = -lye
meter. We can therefore express d coordinates of equations (l') as
the functions of 3N - d of the remaining ones and the time t and
regard these 3N - d coordinates as independent quantities that
J
1
where I, = p2 d m is the moment of inertia of the body about the rotation
define the position of the system a t time t.
axis U. Denote by L, the principal moment of the external forces ap lied to the
* The resultant of the elementary forces of inertia for a shaft is zero and
body about the axis u.* Then, according to d9Alembert's p r i n c i p i the body
.. is therefore ignored.
will be inequilibrium under the action of the total moment L , - I,cp. Therefore, ** C, j , k are the unit vectors of the X - , y-, and z-axes of the inertial system
(see page 26) this total moment must equal zero. We get of coordinates.
*** Otherwise, if we have, for example, a relation like
Example 3. A horizontal homogeneous shaft is in uniform rotation with
angular velocity o . A homogeneous disc is mounted eccentrically on the shaft one of the constraints (in the given case, fd = 0) would either contradict the
perpendicular to the axis of the shaft a t equal distances from the bearings. I t others [for Q (0, . . ., 0 , t ) f 01, or would be a consequence cif the others
[for Q ( 0 , . . ., 0, t ) = O l .
* The principal moment of the internal forces is zero.
34 Eouotions of Motion of an Arbitraru Sustem of Particles [Ch. 1 Sec. 51 Holonomic Systems 35
However, one need not take Cartesian coordinates for such inde- Example 1. A double pendulum (Fig. 19) moving in a plane has two degrees
pendent coordinates. All the 3 N Cartesian coordinates may be of freedom. For the independent coordinates q, and q2 we can take the angles
cp and $.
expressed in the form of functions of n = 3N - d independent. Example 2. A free rigid body has six degrees of freedom. For the indepen-
parameters q,, . . ., q, and of t: dent coordinates we can take the three coordinates XA, I/A, ZA of some point A
of-the body and the three Eulerian angles $, 0 and cp that define the rotation
of a system of axes AEq5 (that is invariably fixed to the body) about a stationary
system of coordinate axes Oxyz.
Euler's angles are determined as follows (Fig. 20). Draw through point A
the axes Axl, Ay,, Az, parallel with the axes Ox, Oy, Oz and in the same dire-
When these functions are put in the constraint equations (l'), ctions. The line A N that intersects the planes Ax,y, and Agq is called the nodal
the latter become identities. We will assume that any position of
the system that is compatible with constraints a t the given instant
of time may be obtained from the equations (2) for certain values
.
of the quantities qi, . ., (in.
The equations (2) are equivalent to the vector equations
The scalar functions (2) and consequently the vector functions (2')
are assumed continuous and differentiable.
The minimal number of quantities qi with the aid of which formulas
(2) can embrace all possible positions of a holononiic system coin-
cides with the number of degrees of freedom of the system n = 3 N -
- d (see page 15).
The quantities qi, . . ., q, in formulas (2) or (2') (n is the number
of degrees of freedom) are called the independent generalized coor- Fig. 19. Fig. 20.
dinates of the system.
For each instant of time t, a one-to-one correspondence is estab- line.* Then 0, or the angle of nutation, is thc angle between the axes Az, and
A5; $, or the angle of precession, is the angle between the axes Ax, and AN;
lished between the possible states of the system and the points of a cer- and cp is the angle of pure rotation formed by the axes A N and AE.
tain region in the n-dimensional coordinate space (qi, . . ., g,). By means of three parallel displacements-along the X-, y- and z-axis-by
To each position of the system a t time t there corresponds a point X*, yA4, ZA the coordinate trihedral Ozyz is displaced to the position Ax,y,zi.
in the space (q,, . . ., q,) that describes this position of the system. By means oE three successive rotations-through the angle $7 about the axis Az,,
through the angle 0 about the axis A N , and through the angle cp about the axis
The motion of a point in the coordinate space (q,, . . ., q,) corre- Al-the trihedral Axiy,zi is displaced to the position AEqC.
sponds to the motion of the system. Thus, the quantities xA, y ~ ZA, , $, 0, cp determine the position of the coor-
If all constraints are stationary (a scleronomic system!), then the dinate trihedral AEqc relative to the trihedral Oxyz, i.e. they determine the
tinie t does not appear explicitly in equations (1'). I t is then always position of the given rigid body relative to the initial system of coordinate axes.
Take an arbitrary point of a rigid body. I t is drtermined by specifying i t s
possible to choose coordinates qi, . . ., q, such that the time t does coordinates E, q, 5. Then the coordinates X, y, z of this point may be represented
not enter the equations (2) either. From now on i t is assumed that as functions of the quantities XA, yA, ZA, $ 0, cp. Thus, for example, from
for a scleronomic system the independent coordinates qi, . . ., qn Fig. 20 i t will readily be seen that z = zA -( g sin cp sin 0
t t cos 0.
+ q cos cp sin 0 f
are chosen in precisely that way. Then, for a scleronomic system, the
Similar, though somewhat more involved formulas are obtained for X and y
formulas (2) and (2') take on the form [241. These formulas are a special case of the formulas (2). They do not contain 1
explicitly. A free rigid body is a scleronomic system.
I t will be noted that in the motion of a rigid body the quantities ZA, y ~ ,
z,, $, 0, cp vary, and the decomposition given abovc of the transition from
* Direct the axis A N so that rotation about this axis from the axis Az,
to A5 through the smallest angle is counterclockwise.
3*
36 Squations oj Motion oj an Arbitrary System of Particles [Ch. I
Holonomic Systems
Sec. 51 37
Oxyz to AEqS into three parallel displacements and three rotations gives thc
impression of arbitrary motion of the rigid body in the form of complex (com- Rut the virtual differentials, i.e. the differentials for fixed "frozen" t ,
pound) motion consisting of six simple motions: three translational nlotiom of the function r , ( t , qi)* are the virtual displacements dr,:
(along the X-, y-. and z-axis) and three purely rotational motions (about the
axes A z , , AN, and A t ) . Since in complex motion the angular velocity is equal
to the vector sum of thc component angular velocities, i t follows that 6rv= 2 --
849
arv
6qt (v = 4, . .. , N ) (8)
W=@,,,$wJ+w, (4) i=i
where a,,,,me, cow. are directed along the axes Azi, AN, A t , respectivclg; Substitute the expressions ( 8 ) into the right-hand side of for-
here, a@==$, Q=B; and qr=q mula (7) and express the elementary work of the effective forces
Example 3. A free particle M has three degrees of freedom. For thc indc-
pendent coordinates WC can take Cartesian coordinates or some other coordinates
of the point. For the case when cylindrical coordinates r , 4, x are taken for
Fig. 23.
Fig. 21. Fig. 22.
on the virtual displacements in terms of arbitrary elementary
q,, qz, 43, the formulas (2) will appear as (Fig. 21): increments 6qi of t h e independent coordinates qi ( i = l , . . ., n):
N n n N n
In the case of the spherical coordinates r, cp, $ (Fig. 22), we will have,
i n place of formulas (5),
x=rcos$sincp, y=rsin$sincp, z=rcoscp (6) where the coefficients of 6qi, or the generalized forces Q i , are
Example 4. A constrained pzrticle M is located on a mobile sphere determined by the equations
N
(~=at)2+(~-bt)2+(z-~t)2=r~
Then n = 2 , and the longitude and latitude on the spherc (Fig. 23) may
be utilized as the independent coordinates:
x = a t - + r c o s q i ~ ~ ~ yq=~b,t f r s i n q i c o s q 2 , * Indeed, when the functions rv (t, qi) (v = 1, . . ., N) are substituted
z=ct+rsinqz
.
into the constraint equations fa (t, P,) = 0 (a= 1 , . ., d), the latter be-
come identities. Let us differentiate termwise the identities obtained (for fixed t).
We then find
To every coordinate g i there corresponds a generalized force
Q i(i = 1, . . ., n). The generalized forces are determined as follows.
N
It will be noted that for practical purposes formula (10) is by far We can arrive at the same expressions for the generalized forces if we take
not always used to find the quantity Qi. Instead, the system is given advantage of the expression for the elementary work of the effective forces
a n elementary virtual displacement such that only the ith coordinate applied to a rigid body (see page 26):*
q i receives a certain incremenbwhile the remaining independent coor- 6A= R 6 r A + L A w dt (16)
dinates do not change. After that the work of the effective forces
where R and L, are the principal vector and the principal moment of the
6Ai is calculated on just such a specially chosen displacement. Then, system of forces about the pole A. Inasmuch as [see formula ( 4 ) j m = q +
6Ai = Q i 6 q i , and Qi =-6Ai +me+ m,, where mu,=$, me= 0 , m,= rp, and t h e projections of the vector
L, on the directions of the vectors wg, we, w, are equal, respectively,
6qi
to L,p Le, L,, from formula (16) we find
Example 5. A rigid body is constrained to move translat ionally along
the x-axis. Then n = 1 and the abscissa X of some point of the body A may
be taken as the independent coordinate. Here.
A comparison of the expressions (17) and (15) gives us expressions for the gene-
6 A = X6x (11) ralized forces.
where X is t h e sum of the projections, on the x-axis, of all effective forces
acting on the body. Obviously X is the generalized force for the coordinate X: Now let a certain position of the system be a position of equili-
Q=X (12) brium. According to the principle of virtual displacements this is
possible if and only if
Example 6. A rigid body is constrained t o rotate about a certain fixed n
axis U. The angle of rotation rp may be taken as the independent coordinate.
Then 6A = 2 Qi6qi =. 0 (18)
i= i
where L, is the total moment of all effectiveforces about the axis of rotation, and But the increments 6qi in the independent coordinates qi may be
Q = L, (14) quite arbitrary. Therefore the equation (18) is equivalent to the
system of equations
Example 7. A free rigid body. For the independent coordinates let us take
the three coordinates XA,y,, 2, of some point A of the body and the three Eule-
rian angles $, 0, cp (see Example 2 on pages 35-36). Then, according to equa-
tion (g), Thus, the position of a holonomic system is a n equilibrium position
i f and only if all the generalized forces i n this position are zero.
To determine Q, we impart to the body an elementary displacement along the Example 8. I n accordance with the equations (19), the conditions of equi-
x-axis. Then 6yA = 62, = 0, and 6$ = 60 = 6cp = 0. Therefore, 6A = librium of a free rigid body may be written as
= Q,6xA. A comparison with (11) yields
Qx - X
(see preceding example). Here, X, Y, Z are the projections, on the coordinate
Similarly, Qy = Y, Q, =. Z. Here, X , Y, Z are the projections on the stationary
axes X, y, z of the principal vector of all effective forces acting on the body. axes, of the principal vector R of the external forces acting on the body, and
We now impart to our body an elementary displacement such that only Lu,, Le, L, are the projections of the principal moment LA of these forces on
the angle 11, changes, while the quantities XA, yA, zA, 0 and rp remain invariable. three non-coplanar directions. For this reason, the scalar equations (20) are
Then equivalent to two vector equations:
6A =Q@$
On t h e other hand, the elementary dispIacement of the body is a rotation These are the necessary and sufficient conditions of equilibrium of a free rigid
about the axis Az,. Therefore, in accord with formula (13), body t h a t had already been estabIished on page 26.
QQ =L*
where Lg is the total moment of all effective forces about the axis Azi, about * Since we have to do here with a scleronomic system, i n place of 6
which a rotation through the angle is performed. we can write d, and vice versa. Therefore, dr, = Sr, and 811,= d$= $ dt,
I n quite analogous fashion, Qe = Le and Q, = L,, where Le and L, are
the total moments of the effective forces about the axes A N and Ag. 6 0 = O dt and 6cp= rp dt.
40 Equations of Motion of an Arbitrary System of Particles [Ch. 1 Sec. 61 L n n r a n ~ eEquations of Second K i n d 41
6. Lagrange's Equations of the Second Kind in On the other hand, from the same equation (6) we obtain
Independent Coordinates
In deriving the differential equations of motion of a holonomic
system in independent coordinates qi, . . ., g,, we shall proceed
from the general equation of dynamics
Therefore, expression (5) for Z i may also be written as follows:
Since the qi are independent coordinates and, for this reason, the
where, by analogy with expression (3), Bqi are absolutely arbitrary increments in the coordinates (i = 1 , . . .
. . ., n), i t follows that (12) can hold when and only when all the
coefficients of 6qi in equation (12) are equal to zero. Therefore, the
general equation of dynamics (12) is equivalent to the set of equations
Z i = Q i ( i = I , ..., n) (13)
which, according to t.he relations (g), may also be written in the
following form:
aT
But the velocity ----=Qi
a ~ i
(i=1, ,.., n ) .
Equations (14) are called the Lagrange equations of the second kind
or the Lagrange equations in independent coordinates.
The quantities qi (i = 1 , . . ., n) are called generalized velocities.
is linearly dependent on qk (k = l , . .. , n). From this formula we
find that The velocities of points of the system v, = r vare expressed in terms
of the generalized velocities (and also in terms of independent coor-
Or, arv . . ., N ) dinates aqd the time) by means of the formulas (6). The quantities
--- (i=1, *..,n; v= 4, ..
ayi qr (i = 1 , . . ., n) are called generalized accelerations.
42 Equations of Motion of an Arbitrary System of Particles [Ch. 1 Sec. 61 Lagrange Equations of Second Kind 43
I
qk
specified * as functions of t, q ~ , (k = 1 , . . ., n): assumes the form
..
Iucp = L,
This is the differential equation of the rotation of a rigid body about
The Lagrange equations (14) form a set of n ordinary differential a stationary axis.
Example 2. A double simple pendulum is i n motion i n a plane (Fig. 24).
equations of the second order in n unknown functions qi of the inde- We form a n expression for the elementary work:
pendent variable t. The order of this system is 2n. Note that the set
of differential equations determining the motion of a holonomic
6A = nzigbi mzg& +
system with n degrees of freedom cannot be of order less than 272, where zi = li cos rpi, z2= li COS rpi + l2 COS 9 2 .
since by virtue of the arbitrariness of the initial values of the quan-
tities qi and qi (i = 1 , . . ., n), the solution of the system must
contain a t least 2n arbitrary constants. Thus, the set of Lagrange
11 equations in independent coordinates has the lowest possible order.
In the case of a constrained system, the reaction forces R,
.
(v = 1 , . ., N) have likewise to be determined. The reaction forces
do not enter into Lagrange's equations. This is an essential advan-
tage of Lagrange's equations. After Lagrange's equations have been
integrated and the functions q, (t) (i = l , . . ., n) found, r, =
= r, (t) are determined [by substitution of these functions into for-
..
mulas (2') on page 341 and, consequently, v, = T , , W , = r, and
.
F, (t, r,, r,) (v = 1, . ., N). After that the unknown reaction
forces are determined from the formulas
Fig. 24.
In the case of a free system of particles, Lagrange's equations are
a compact notation of the equations of motion in an arbitrary system Calculating 62, and 6zz, we find
of coordinates.
6 A = -(mi +
,712) gli s i n cpi6cpi -m2glz sin cpzhp2
Example 1. A rigid body is i n rotation about a stationary axis U . For and
the independent coordinate we take the angle of rotation cp. The appropriate
generalized force Q (see Example 6 on page 38) is equal to the moment Q i = -(rn+m2)glisinrpi, Q2= -m2g12sincp2
1 On the other hand,
of rotation L,. On the other hand, T = - 1,qP where I, is the moment
2
of inertia of the body about the axis of -rotation.
* See formulas (3) and (6) of this section and also formula (10) on page 16
and formula (2') on page 34.
44 Eouations of Motion of an Arbitraru Sustem of Particles [Ch. 1 Sec. 71 Investieatine Laeranrre's Eouations 45
It is left to the reader to form the second equation that corresponds to the
coordinate cpz.
Example 3. I t is required to determine the differential equations of motion
of a free particle in spherical coordinates (see Example 3 on page 36, and Fig. 22).
The velocity of the particle is equal to the vector sum of: (a) radial velocity;
(b) rotatory velocity due to the rotation of the radius in the plane of the meri- Here, the coefficients a i k , a i , a. are functions of t , g,, . . . , 411
dian, and (c) rotatory velocity due to rotation of the plane of meridian. The
velocity components are pairwise orthogonal and therefore defined by the equations
N
= Zm,-'--ar
aqi
dr,
agh
(t,k=1, . . . , n)*
To find the generalized force Q,, we displace the particle along the radius.
Then 6A, = F&, where F, is the projection of the applied force F on the dire-
ction of the radius. Whence Q, = F,.
Now let us impart to the particle an elementary displacement along the
meridian. Then F, r8cp, where F, is the projection of the force F on the
tangent to the merldlan.* Therefore
Q, =F,r
Analogously,
Q$ = F$r sin cp Formula ( l ) show s that the kinetic energy of a holonomic sys-
tem is a function (polynomial) of the second degree in the gene-
where F* is the projection of the force F on the tangent to the parallel. ralizcd velocities:
The Lagrange equation of the coordinate r
T=Tz+Ti+To
where
For the coordinates cp and $ we find As was explained in Sec. 1, in the case of a scleronomic system,
t h e time does not explicitly enter into the relation between v,
and qi, and for this reason
.. +2r cos qv$)
m (r sin cp'$+ 2 sin cprq
. . =F*
We have obtained three differential equations of the motion of a free
particle i n spherical coordinates. But then, according to equations (3) and (4),
* We send the tangents (to the meridian) and the parallels in the direction " From formulas (2) it will bc seen that aik = ski ( i , lr = 1, . . ., n).
of appropriate increasing coordinates cp and $.
-
Equations of Motion of an Arbitrary System of Particles [Ch. I Sec. 71 Investigating Lagrange's Equations 47
46
and The equations (9') show that i n the Jacobian functional matrix
n
Indeed, let the columns are linearly dependent, i.e. the rank p of this functional
det (aik)? 0 matrix is less than n. Then among the 3N functions XI, y,, zi, . ., .
X,, y,, z, of the n arguments qt . . ., qn ( t is regarded as. a para-
Then the system of homogeneous linear equations meter) there ar e p independent quantities in terms of which all the
remaining Cartesian coordinates of the points of the system may be
expressed. This is a contradiction, since the minimal number of indep-
endent coordinates of the system is equal to the number of degrees of
freedom n, while p < n. The inequality (7) is thus established.*
The property of coefficients of quadratic form T2 expressed by the
has a real nonzero solution. inequality (7) is very essential and we shall repeatedly make use
Multiplying the set of equations (8) termwise by Xi, then sum- of i t in the sequel. Note that since always T2 >, 0 (T2 is the kinetic
ming with respect to i from 1 to n and utilizing formulas (2), energy in the case of ~lfrozen''constraints!), it follows from inequality
we get
n n N (7) that the quadratic form T2 =
1
2
n
..
aikqiqkis positive definite,
i, h=i
i.e. T2 >, 0, and T, = 0 only when all qi (i = 1 , . . ., n) are equal
to zero. Therefore, for the coefficients aik we have the determinantal
inequalities of Sylvester :
v= l
whence
n
Putting the expression (1) for kinetic energy into the Lagrange
equations
we get Let us now consider the general case when in addition to the
potential forces determined by the potential II, the system is acted
upon also by nonpotential forces
Here, the symbol (**) indicates the sum of the terms not involving
second derivatives of the coordinates with respect to the time. The
d
then the forces Qi are called potential, and the function U is the
potential of the forces or the potential energy. Equations ( 2 ) , which
determine the potential II may be written as**
6 A=
n
2 Qi6qi = -6II
* The Euler formula f g zi=nf holds for a homogeneous function
(3)
i= l f (X,, . i= i
. ., X,) of t h e mth degree. Applying this formula to the linear form
f l and t o the quadratic form T2, we find
* For instance. if the functions G;. (.i = 1, . . ., n) have continuous first-
order partial deri~ratives.
** The time t is first fixed when computing the virtual differential 6n.
n
Therefore 6n-
an 6 q i .
2-
%i The validity of these identities also follows directly from the expressions
Li for T2 and T i given on page 45.
50 Eouations of Motion o f an Arbitraru Sustem o f Particles [Ch. I Sec. 81 Theorem on Variation of Total Energy 51
From this, taking into account equation (7), we obtain The total energy of a conservative system does not change when
the system is in motion.
Equation (16), which does not involve b u t involves the arbi-
i= i trary constant 12, determines the first integral of the equations of
The expression on the right, motion. Equation (16) is called the energy integral.
n Nonpotential forces are called gyroscopic forces if their power is
zero:
n
Then the forces (19) are gyroscopic. Then for the scleronomic system the power of the forces is equal to
Indeed, in this case
of energy. In this case, we will call the system definite dissipative. to the sum of the voltages across the separate elements, and we have
According to formula (26), the total energy of such a system strictly
diminishes.
By way of illustration, let us consider the forces of resistance of the medium
applied to points of the system, the forces being proportional to the first power
of the velocities of the points:
F..,= -pu, (v=I, ..., N) (27) This equation is an analogue of the equation of mechanical
In this case oscillations:
N d2q dq.
a - at2
+bx$cq=Q(t) (4)
9. Electromechanical Analogies
In this sec.tion we will show how the equations of analytical
mechanics may be applied not only to mechanical systems but to
electrical and electromechanical systems as well. Fig. 26
1
c
ficient b, t o the coefficient , where C is the capacitance, comes-
sponds the reduced coefficient of elastic force c; the charge q corre-
sponds t o the generalized coordinate q, and the electromotive force
e (t) to the generalized force Q (t).
On the other hand, in the circuit shown in Fig. 26 the currents
passing through the inductor, the resistor and the capacitor are
additive, and so
Fig. 25
Diflerentiating termwise, we get
Consider a circuit with inductance L, resistance R and capacitance
C connected in series (Fig. 25). For these elements, the relation bet-
ween the voltage U (the difference between the potentials a t the ends Here we have another system of analogies in which the voltage U
corresponds to the coordinate q, the mechanical coefficients a , b, c
of the element) and the current i i = -
will, respectively, be equal to
dq where q is the charge
(
dt 1 are replaced by C,
I
, 1 ; and the quantity di corresponds to the
generalized force Q (t).
Two electric systems having the same (up to notations) equations are
two different electric analogues of one and the same mechanical system.
If in addition the circuit has an external source of electiomo- To the kinetical and potential energies, the Rayleigh function,
tive force e(t). then we write that the electromotive force is equal and the generalized force of a mechanical system with one degree
56 Equations of Motion of an Arbitrary System of Particles [Ch. I Sec. 101 Appell's Equations for Nonholonomic Systems 57
Thus, the systems of electromechanical analogies are determined These equations ,will be the equations of the electric circuit
by the following table: depicted in Fig. 27.
T
:
:c3 and
l-
Fig. 27
R3
.
However, r , and r , (v = l , . . . , N) also satisfv the differential
constraints*
We form the Lagrange equations adhering to the first system of N
analogies; first we compute
. . 2 Z,&+D~=O (B=I. ..., g) (3)
1 ' 1 v= 1
T = 7 L i d -t-2.L23 (q2 - ~ 3 ) '
where Zsv and Da are functions of f and r , (v= 1 , . . ., N).
R = 1 Riq:' + 1 R 2'4 +1T R3&
' p-
* The functions (l), when substituted into the equations of finite constra-
ints, convert the latter into identities. Therefore, when using the representation
(1) it suffices to consider only the differential constraints.
58 Equations of Motion of an Arbitrary System of Particles Sec. 101 Appell's Equations for Nonholonomic Systems 59
[Ch. 1
Substituting expressions (1) and (2) for r , and r , into the con- by solving the set of linear equations (4) and (5). I n this way we get
straint equations (3) we represent these equations in the form
* I t will be convenient t o denote the linear combinations (5) b y A,, although * In the case of a scleronomic system 6qi=dqi = q i dt and therefore, in
thc symbol n, may be meaningless since the right-hand side of (5) may not be
a total derivative. accordance with formulas (5) and (S'), Gns=zc, dt.
l 60 Equations of Motion of an Arbitrary System of Particles [Ch. I Sec. 101 Appell's Equations for Nonholonomic Systems 61
The equations (18) were first derived by Appell and are called
and Appell's equations.
.. 2 evsn,+
rv=
..
. . . (v = 1 , . . . , N )
These n = 3N - d-g differential equations, together with the g
(12) constraint equations
S= i
where on
involving (S
..
the right-hand sides of (12) we take only
the terms
pseudoaccelerations n, = l , .. . , n).
By means of the equations (8) and (11) we write down the
general equation of dynamics and the n differential relatiocs
*
. .
The quantities P,, n, and qi are connected by the relations (2), (4) and (5).
form the system of differential equations that determi: e the motion
of a nonholonomic system.
Eliminating bi from these relations we find the formulas (10). The quantities Let us write the Appell equation in expanded form. To do this,
..
6 r , , 6ns and 6qi satisfy the homogeneous relations (2'), (4') and (5'), which differ
from (2), (4) and (5) solely i n the absence of absolute terms. For this reason, put expressions (12) in formula (15) inslead of r,. Then we get
also the formulas (11), which are the result of eliminating 6 q i from (2'), (4')
and (5'), are obtained from (10) by replacing P, by 6rv, n, by 6n, and by re-
jecting the absolute terms e,.
62 Equations of Motion of an Arbitrary System of Particles [Ch. I Sec. 101 Appell's Equations for Nonholonomic Systems 63
(p, s = l , ..., n) (22) Note 2. In particular the Appell equations may also be applied
to a holonomic system. In this case, all velocities qi are indepen-
..
The symbol (**) i n equations (21) denotes the terms that do not
contain pseudoaccelerations n, (S= l , . . . , n).
.
dent, Qi= Q$ (i == 1, . . , n!, and, equations (26) are simply another
notation for the Lagrange equations of the second kind.*
I t may be proved that a determinant made up of the coeffici-
ents u p s is not identically equal to zero: Example 1. By means of the Appell equations we determine the motion
of the system described in the example in Sec. 3 (see page 23). This will enable
the reader to compare two methods of finding the motion of a nonholonomic
On the other hand, the relations (19) and (20) can also be represented
j
.
in a form solved for qi (i = 1, . ., m) [see formulas (6)l.
I Thus, the motion of a nonholonomic system is determined by
a system of n $- m differential equations of the first order in the
unknown functions g,, . . ., q,, n,, . . ., n,, and these equations
are solved for the derivatives. Then specification of the initial
. .
data, q!, . ., g;, n:, . ., nk uniquely determines the motion of Fig. 28
the system. But with the aid of these initial data, formulas (1)
and (6) are used to specify the arbitrary initial velocities and arbitra- system-by means of Lagrange multipliers and with the aid of Appell's equa-
ry initial position that are compatible with constraints. For this tions-and to be convinced of the advantages of the latter. For the independent
reason, specification of the initial position of the system and the coordinates, we introduce the coordinates X , y of the centre of the rod and t h e
initial velocities that do not contradict the finite and differential angle cp formed by the segment MiMB with the horizontal axis X (Fig. 28).
Then
constraints uniquely determines the motion of a nonholonomic system.
Note 1. If in a special case, n independent generalized velocities,
.
for example, qi, . ., q,, are taken for the pseudovelocities, then
in order t o determine the appropriate generalized forces Q;, . ., Q; .
i t is necessary in (7) t o express 6qn+i, . . ., 69, in terms of 6q1, ., ..
.. ., 6q,: The equation of differential constraint i n the new coordinates becomes
m n
--sinY cp
X
--
coscp
It may readily be verified t h ; ~ tthe energy of accelerations, U, can be ex-
I n this case the energy of accelerations, U, may be given i n t h e
. .. .. pressed in the following m a n ~ ~ o r :
form of the function B (t, q,, . . . , g,, q,, . . ., q,,, qi, . . ., qn) and
(see pp. 35-36)s. We can therefore take p, q, r for the three pseudoveloci-
We introduce the pseudovelocity n, assuming ties. Let us calculate the energy of accelerations:**
then
zu= S w2drn=
S (exr+oxv)2dm=
We find X and y: On the other hand, the kinetic moment G = r X v drn has the con~ponents
J
Ap, Bq, C r . For this reason, we finally obtain the following expression
for 2U:
dcp
1 .
dy
-=-
a
1 . .
Y=-nSlncp=-
a g cos c p ~ i n c p a
a 2 +Lsincp 273 -~ i +a +
B& & +2 [(C- B) & f (A- C ) r p ; +
( B - A) ..
On the other hand, for the elementary work of external forces we have
+.
From this we have
+ +
6A= L o o dt = L E pd t Lqq dt Lgr d t
Thcrelore, Appell's equations yield Euler's equations directly:
y=-
(La +2a2L cos cp) cor (P+E
Substituting a t + $ for cp, we get the final equations of motion that contain
five arbitrary constants, a , $, y , 6 and E:
where (**) denotes the sum of the terms that do not contain -genera-
Here, the coefficients cik, C i , CO are functions of the c0ordinat.e~
..
lized accelerations q, (k = 1 , . . ., n).
g,, . . . , g, and the time t (i,k = l , . . . , n). A comparison of the Inasmuch as in mechanics we consider only the case when the
formula (3) and formula (5) on page 45 yields generalized forces Qi are not explicitly dependent on the general-
L2=T2, L i = T i , L o = T o - n (5) ized accelerations but depend solely on the time, on the coordinates
and on the generalized velocities
* Since the potential energy n doesa Lnot depend
aT
on the generalize& velo-
a~ aT an
cities, and L = T - n , it follows that -=---;- and -= -- -(i =
aqi apt a4i aqi aqi i t then follows according to forn~ulas(8) that all partial second-
=l, ...,n ) . order derivatives of V with respect to the generalized velocities must
5*
68 The Equations of Motion in a Potential Field [Ch. 2
Sec. 111 Lagrange's Equations for Potential Forces 69
be identically equal to zero, i.e. the generalized potential V depends
linearly op the generalized velocities: vectors E and H are expressed in terms of the scalar potential cp and the
vector potential A by means of the formulas*
where Hi.( i = 1 , . . ., n) and I t are functions of the coordinates We shall find the generalized potential V for the Lorentz force F.
q i , . . ., q, and of the time t . But then, according to (7), L will From the formulas (14) and (15) we have
again be a quadratic function in the velocities qi and i n place of e aA e
F=-egrad cp----+-(VX rot A ) =
equations (5) we will have* c at c
Lz=T2, Li==Ti-Vi, Lo=To-Il (11)
Substituting expression (10) for V into formula (6), we get
= - e grad cp-
where the velocity U i n the expression grad (uA) is considered a vector that
is independent of a field oint**.
n Hence, choosing for t i e independent coordinates Cartesian coordinates
=--+X
an
aqi
an ml,
(A-)
aqh qh
ani
aqi + of the point X , y, z and setting
h= i
The formulas (12) show that when the linear part V, of the
generalized potential does not depend explicitly on the time
(i=l, ..., n ) ] ,the generalized forces Qi are made up
ail
out of potential forces--
aqi
(i= l, . . ., n ) and gyroscopic forces
where v is the velocity of the point, e is the charge, c is the speed of light,
and E and H are the intensities of the electric and magnetic fields. The
I t will be noted that any function of Lagrangian variables Hamilton introduced the function H (t, qi, pi) defined by the
equation
F (t, q i ~qi).
* As was established in Sec. 7, det (aik):, + 0. These equations are called canonical equations or Hamilton's equa-
** Formulas (5) do not hold for forces that have a generalized potential. tions*. The function H (t, qi, p i ) defined by equation (8) is called
this case [see equations (7) and (10) on pp. 67-68] the Hamiltonian function.
1
The derivation of the canonical equations of Hamilton will rest But, by equations ( l l ) , the two sums on the right-hand side of
on the following mathematical theorem. this equation cancel and hence, the formulas (12) hold true.
Donkin's theorem.* Given a certain function X (X,, ., X,) .. .
Now let X contain parameters a i , . ., a, in addition to the
the Hessian of which is different from zero: variables X,, . . ., X,. Then these parameters occur in the direct
transformation (11) and, consequently, in the reverse one as well:
Let there also be a transformation of the variables "generated" The function Y is determined by equation (13) in which the xi
by the function X (X,, . . . , X,): . .
are replaced by f i (y,, . . , y,; a , , . . , a,) and so*
m
(20)
i= i Thus, for a scleronomic natural system the Hamiltonian function
We shall call a system generalized-conservative if the Hamilto- H is the total energy* expressed in terms of Hamiltonian variables.
nian function H does not explicitly depend on t, i.e. if Now let us consider a conservative system, i.e. a natural sclerono-
mic holonomic system with an ordinary force potential that is
H =H (qi pi) 1
not dependent explicitly on the time.
aH
In this case = 0* and, consequently, by virtue of identity (20). In this case the time t does not enter m t o expression (25) explicitly
dH for the total energy H and so, according to (21), we have the law
-=O,
,
lt
W"
i.e. when the system is in motion of conservation of energy
H (qi, pi) = const = h (21) T+II=h (26)
where h is an arbitrary constant. We shall call the function H A conservative system is a special case of a generalized-conser-
the generalized total energy, and the relation (21) which does not vative system, and in this special case the generalized integral
contain q or p and includes an arbitrary constant h, the genera- of energy becomes a n ordinary integral.
lized integral of energy. If the system is scleronomic and the forces have a generalized
We will explain this terminology by examining a natural system. +
potential V = V, ll in which II does not depend explicitly on the
an = 0 ) , then the function H is again determined by the
Then L is a quadratic function [see equation (4), Sec. 111 time t
L=Lz+L,+Lo fo;mula' (25) and does not depend explicitly on t . For this reason,
and in this case too the system is a generalized-conservative system,
n n and the energy integral (26) holds.*
Example. A horizontal rack is in rotation about a vertical axis, and a
weight of mass m is in motion along the rack. The force acting on the weight
has the potential II (r), where r is the distance of the weight from the axis of
rotation.
Denote by cp the angle of rotation of the rack and by Z = md2 its moment
of inertia about the vertical axis of rotation. Then r and cp are independent
But by Euler's theorem on homogeneous functions,** coordinates of the system and
n I
I
T = - -1Z q -2f -m (r2f r2cp2) =-1 m [r2f
.
(rzf dz) rp2]
2 2 2
From this
pr =-
ar a~
= rnr, p v-- - = m (r2 -1- d2) cp
aL a; @
* From (17) i t also follows that x=O
- for a generalized-conservative
system, i.e. t does not appear explicitly in the Lagrangian function L either. * Given a generalized potential V = Vi f l l , we continue to call the quan-
** See footnote on page 49. t i t y T f II (and not T f V) the total energy.
78 The Equations of Motion i n a Potential Field [Ch. 2 Sec. 131 Routh's Equations 79
Since the system is conservative, it follows -that Then, applying the Donkin theorem t h a t was proved in the pre-
ceding section, we get a transformation that is inverse to t h e
1
H = T + n = - 2m (P:+ L)
+n
r2+d2 (r) transformation (2), namely
The canonical equations in the given case have the form
.
q --
aR
( a = m + l , ..., n), (4)
- a ~ a
where R = R (t, qi, qa, qi, pa) is the Routh function defined by
the equation
m -
and the energy integral is written as
p:+- +2mII (r)= h i (hi= h h ) the signn signifying here t h a t all the 4,
are expressed in terms
of Pa.
The variables t, qi, qv., qi (i = l , . . . , m; a = m f l , . . ., n)
13. Routh's Equations are now regarded as parameters and for this reason, by virtue of
For the basic variables characterizing t h e state of a system a t the same Donkin theorem,
a time t, Routh proposed taking part of the Lagrangian variables
and part of the Hamiltonian variables. The Routh variables are
aR _
--
@i
aL
aqi '
.
_ aR - aL (i = 1, . . ., m),
aqi
the quantities
aR
= - p a L ( a = m + l , .. ., n),
l , qi, qa, qi, Pa ( i = 1 , . . ., m; a = m + I , .. ., n) (1) %a @U
where m is an arbitrary fixed number less than R .
In order to pass from the Lagrangian variables to these variab-
les, we have to express all the qa in terms of p, ( a = m + 1 , . , R), .. Lagrange's equations of t h e coordinates qi may be rewritten, in
utilizing the relations accord with the equations (6), a s
Suppose t h a t the Hessian of the function L of the generalized Lagrange's equations of t h e coordinates qa
velocities (the "small Hessian") is different from zero:*
dpa aL ( a = m H , .. ., n)
-
dt @a
together with the formulas (4) aud (7) yield
* In the general case this inequality does not follow from the inequa-
lity (19) on page 70 but is an auxiliary condition. Now for a natural sys-
must be positive.
80 The Equations of Motion i n a Potential Field [Ch. 2
Sec. 141 Cyclic Coordinates 81
form a set of Routh equations. They consist of m second-order
differential equations of the Lagrange type and 2 (n - m) first- From the structure (2) of the function H it follows that equations
order differential equations of the Hamiltonian type; and the (3) form a system of 2m first-order differential equations in 2m
.Routh functions in the first equations play the role of the Lagrangian .
unknown functions qi, p i (i = 1 , . ., m). Integrating this system
function, while those in the latter equations play the role of the we find
Hamiltonian function. * qi = qi ( t , cat ci, C ; ) ,
14. Cyclic Coordinates ( i = l , . . . , m), (4)
The coordinate g, is called cyclic (ignorable) if it does not enter Pi=$i (2, car ci, C;)
aL = 0.
t h e Lagrangian function L explicitly, i.e. if --- .
where ci, c; (i = l , . . , m) are 2m new arbitrary constants. !3y
ao, -- substituting expressions (4) into H we can determine the q, from
When deriving the Hamilton and the Routh equations the follo-
wing equalities were established: the equations
aL , by quadratures
From these equations i t follows that the partial derivatives ----
a9,
- 8R
aH and - can only vanish simultaneously. For this reason,
@a %a
the cyclic coordinate may also be defi.i.4 as a coordinate that Thus, essentially the whole question reduced to integrating the
does not appear in the Hamiltonian function H or the Routh system (3) whose order, 2m, is less than the order of the initial
function R explicitly. All these definitions are equivalent. system, 2n, by 2r units, where r = n - m is the number of cyclic
The generalized momentum that corresponds to the cyclic coor- coordinates, i.e. the presence of r cyclic coordinates made i t possible
dinate g, maintains a constant value during motion. Indeed, from to lower the order of the system by 2r units.
the canonical equations i t follows t h a t The system of equations (3) is Hamiltonian. We shall show that
with the aid of the. Routh equations i t is possible to obtain a n auto-
dpa
-=--=O aB nomous* system of m second-order differential equations of the
tit @a Lagrangian type. Indeed, by replacing the generalized momenta
i.e. p, =const = c,. p,, whjch correspond t o the cyclic coordinates qa, by the constants
Now suppose that we have r = n - m cyclic coordinates q,
(a = m + 1 , . . ., n). The cyclic coordinates q, do not enter into
.
c, (a .= m -11,- . .: n), we can write the Routh function as a function
H explicitly while the momenta p, corresponding to these coordinates .
of t, q;, qi and ca (i = 1 , . ., m ; a = m + .
4 , . ., n):
can be replaced by the constants c,. Then** R = R ( t , qir qi, ca) (7)
H = H ( t , qir P i , ca) (2) Then t h e Routh equations for non-cyclic coordinates
Let us write down the canonical equations for non-cyclic coor-
dinates:
p-
-. form the desired autonomous system, while the cyclic coordinates
*
If we wish to retain the connection betweell the generalized mornenta q, are determined from the appropriate Routh equations (11) of
and the Lagrangian function, we must take i t that in the first equations the preceding section by means of quadratures:
-,
since, according to ( G ) , pi =
%i
aL
-
of (11) the role of the Lagrangian function is played by the function -R,
a(-R)
aqi
.
---;---- ( i = i , . ., m).
** The index i runs through the values 1. . . ... * Here, by an autonomous system is meant a system of differential equations
through m + .
l , . ., n .
m., while the index a runs
that contains no "superfluous" unknown functions which should have been de-
termined prior t o integration of the given system of equations.
82 The Equations of Motion in a Potential Field [Ch. 2 Sec. 151 The Poisson Bracket 83
l
if for any motion of the given system this function retains a con-
Determining the motion reduces to integrating one second-order diffe- stant value c:*
rential equation
f (t, qi, pi) c (2)
Sometimes the relation (2) itself is called the integral.
For a generalized-conservative system the function H (qi, pi) is
which in expanded form reads the integral. If the q , are cyclic coordinates, then p, will be the
integral.
Obviously, if the functions f,, ..
., f l are integrals of the equa-
It will be noted that this is an equation of the relative motion of a tions of motion, then an arbitrary function of these integrals
weight along a rack, since the right-hand side involves the centrifugal
force ,
c2cP
- -m r ~ 2 (CV = PQ)
will also be an integral. Henceforward we shall therefore he interested
m (r2+ d2)2- only in independent integrals.
If the "complete" system of integrals consisting of 2n independent
Cyclic coordinates are sometimes called ignorable or kinosthenic integrals f i , . . ., fzn (n is the number of degrees of freedom of
coordinates. This name stems from the fact that in integrating the system) is known, then, solving the relations
the system of eqnations (3) or (8), we ignore the existence of the
cyclic coordinates, regarding the p, as constant parameters.
In the example we have examined, ignoring the cyclic coordinate
led to ignoring the rotational motion of the rack and we obtained for qi and pi, we get the final equations of motion
a differential equation for the relative motion along the rack.
The actual name "cyclic coordinate" is associated with the fact
' that in many problems in mechanics the angle cp which describes which contain 2n arbitrary constants cl, . . ., ten.
motion in closed trajectories (cycles) does not enter the expression
for L explicitly and for this reason is a cyclic coordinate. * This value of c may change when we pass from one motion of the system
to another.
Sec. 151 The Poisson Bracket 85
T h e Equations of Motion i n a Potential Field [Ch. 2
.
where X k , Yk (k = l , . . , m) are functions of the variables
Thus, if 2n independent integrals are known, then all the motions X,, . . . , X,. Then the "commutator" Z = X Y - YX will also be a
of the system are known. If we know L independent integrals first-order operator:* m
.
fi, . ., f l , where 1 < 2n, then we have only a partial idea of the
motions of the system, and the greater 1 is, the more exhaustive
our conception is. We are therefore always interested in finding
the greatest possible number of independent integrals.
We shall familiarize ourselves here with the method of finding the Let us return to the Poisson bracket (cpf). I t may be regarded
integrals of the equations of motion proposed by Poisson and Jacobi. as t h e result of applying a linear operator CD of the form (8) to
Let f ( t , qi, p i ) be the integral of the equations (1). Then substitut- the function f of the variables qi, pi (i- 1, . . . , n):
ing any solution of the Hamiltonian system (1) in place of q i , p i
.
(i = 1, . ., n), the function f is converted into a constant c, i.e.
in accord with equations (l)
-
For any functions 9 ( t , qi, pi), (t, qi, pi), X (t, qi, pi):
1". (cp*) - ($9);
Let us now prove the basic theorem.
Jacobi-Poisson Theorem. I f f and g are integrals of equations
+ +-
2". (CV*) = c (qg)(c is a constant); of motion, then (fg) is also a n integral of these equations.
3". ((P *X) (W) (4%);++
4". ((949 X) ((*X) 9 ) ( ( ~ 99)) = Q;
Proo). I t is required to prove t h a t for the function (fg) the
relatioil (7) holds:
5O.
a
(94=
acp
(- *) + (P Z)
The identities l", Y, 3", 5" are obtained directly from the defini-
tion (6) of the Poisson bracket. when the same relation holds for each of the functions f , g:
Identity 4', which is called Poisson's identity, is established by
means of special reasoning. Let X and Y be differential operators,
of the first order on the function f (X,, ..
., X,):
* Direct calculations show t h a t on the right-hand side of (9) all terms in-
volving second-order partial derivatives of the function f cancel.
86 The Equations of Motion i n a Potential Field [Ch. 2 87
Sec. 151 The Poisson Bracket
Indeed, by 5" L. ( L x , L,, L,) any of these integrals occurs if the corresponding one of
the quantities X , Y, Z, L,, Ly, L , is equal to zero.
Form the Poisson bracket for the quantities relating to a single particle:
thus completing the proof. I t will be noted that the Poisson bracket, in which one quantity ( p or m )
refers to one particle, and the other to another particle, is allVays zero;
The theorem just proved yields a n automatic rule that permits for this reason,
obtaining a third integral from the two integrals f It, qi, pi),
g It, q i , p i ) by means of algebraic operations and differentiation: (PXP,) = 2 (PXP,) = 09
2 =P,,
( p x M , ) = r) ( p X m , )= PZ (14')
(M,My)= 2 ( m x m y )= 2 m, =M Z
Taking the Poisson bracket of, for example, f and If g), we again Cyclic permutation of the letters s, y, z yields similar relations:
get an integral, and so forth. However, i t should not be forgotten
that the new integral may prove t o be either identically zero or
a function of earlier known integrals. Thus, only by special choice
.
of the independent integrals f,, . ., f l ( I < 2n) can we be sure
that i t is possible to obtain, by means of the Poisson bracket, the
.
integrals f l+,, . ., f,, that are lacking when we want a complete
(P,P,) =0 ,
( P y M z )= P , ,
( M yM,) = M x ,
(PZPX)= 0 ,
(PzMx!= P y ,
( M z M x )= M y 1
The six laws of conservation (13) are not independent. It follows from the
relations (14') and (14") that if we have the integrals
(14")
W=
1
to
Ldt All the other paths passing through the points M O and M, will
be called "circuitous' paths. (In Fig. 29, the straight-line path
is depicted by a solid line, the circuitous paths by dashed lines.)
is called the action (in Hamilton's sense) during a time interval We shall prove that the action W has an extremal (more precisely,
(to, ti) and the expression Ldt is the elementary action*. stationary) value for the straight path as compared with the circui-
Since the function L is of the form L = L ( t , qi, q,), i t is neces- tous paths. Therein lies Hamilton's principle.*
sary, in order to compute the action ( l ) , to specify the functions Let us consider an arbitrary one-parameter family of paths
qi = qi (t) (i = 1 , . . ., n) in the time
,. M, interval t o,< t G ti. In other words, the
/
action W is a functional dependent on
,
@
,'// the motion of the system.
////I If we arbitrarily specify the functions containing, a t a = O , a given straight path; for a # 0 the paths
p ,'/',l
.
qi = 4; (t) (i= 1 , . ., n), then we get are circuitous. Let all these paths have a common origin M O and
a common terminal point M,:
a certain kinematically possible motion
MO (that is, motion admissible by the const-
raints). In the extended (n + l)-dimen-
g2 sional coordinate space, where the quan-
tities qi and the time t are the coordi-
nates, this motion is depicted by some The action W as computed along a path belonging to this family
curve. We shall consider all possible such is a function of the parameter a.
curves, or "paths", passing through two
Fig. 29 specified points of space M O (to, qq) and
M, (t,, q:) (see Fig. 29 for n = 2), i.e. all possible motions t h a t
translate the system from a given initial position (q",, which i t
occupied a t time to, to a given final position (q:), which i t occupies
a t time t,. Here, from the start we fix the initial and terminal * This principle is given in the works of W. Hamilton published in 1834-
instants of time t o and t,, and the initial and terminal positions 1835. Hamilton proceeded from the assumption that the initial system was
scleronomic (he proceeded from the concept of kinetic energy T as a quadratic
of the system. The motions are otherwise arbitrary. form of the generalized vel'ocities). This principle was formulated and substan-
tiated for the general case of nonstationary constraints by M. V. Ostrogradsky
* For natural systems, L = T - II has the dimensions of energy. There- in 1848. For this reason, the principle is sometimes called the Hamilton-Ostro-
[ore the dimensions of action are energy X time = force X length X time. gradsky principle.
90 Variational P r i n c i ~ l e s and Inteeral Tnvariants [Ch. 3 Sec. 16) Hamilton's Principle 91
We compute the variation of the action W, i.e. the differential The straight-line paths, i.e. the "true" motions for a given func-
with respect to a: tion L , may be characterized both by means of the differential
tr tr n equations of motion in the Lagrangian form and also by means
of the variational principle of Hamilton. However, there is one
fundamental difference between the differential equations of motion
and the variational principles.
The differential equations of motion express a certain relation
between the instant of time t, the position of the system, and the
velocities and accelerations of its points a t that time. If this rela-
tion holds at each point of some path, then the path is a straight
line. The variational principle characterizes the entire straight
path as a whole. I t formulates the extremal (stationary) property
Here, we transformed the integral by means of integration by of a certain functional, which property distinguishes the straight-
parts, making use of the commutability of the operation of varia- line path from among other kinematically possible paths. The
tion 6 and the operation of differentiation with respect to the variational principle has a more surveyable and compact form and
time -
d
:
is frequently used as a foundation for new (nonclassical) domains
dt of mechanics.
a
6qi=6Tqi(t,
a a
a)=--qi(t,
aa d t a)6a= Note. The differential equations (2) are necessary and sufficient
conditions for the first var7ation 6W, where the integral W has the
form ( l ) , to be equal to zero. In the calculus of variations the equa-
tions (2) are called the differential equations of Euler for the varia-
The straight path and all the circuitons paths pass through a fixed tional problem
tl
initial point and a fixed terminal point in extended coordinate
space. Therefore, a t t = to and a t t = t, the variations 6qi = 0
and the integrated part vanishes.
From equation (3) i t is seen that for the straight path, i.e. for Lagrange's equations in independent coordinates were utilized
a = 0, the 'expression under the sign of the transformed integral to substantiate Hamilton's principle. But the equations themselves,
is zero by virtue of Lagrange equations. And so in the case of a natural system, were obtained from the general
for the straight path 6W = 0 (4) equation of dynamics
This is the mathematical expression of Hamilton's principle.
The converse proposition is valid as well: if for some path bW = 0,
then the path is straight. Indeed, because of the arbitrari ature
of the variations 6qi (i = 1 , . . ., n) (at the ends they are zero, We shall show how Hamilton's principle can be substantiated directly
while a t the remaining points of the path they are quite arbitrary) by means of the general equation of dynamics (5). Then Lagrange's
there follow from the condition 6 W = 0 , by virtue of the equation equations are obtainable directly from Hamilton's principle.
(3), the equations (2), i.e. the Lagrange equations for a straight path. If in the expressions for r,
Since from the Hamilton principle there follow the Lagrange ~ " , = r , ( t * qf) (v==1, ..., N)
equations in independent coordinates (and vice versa), Hamilton's
principle may be placed a t the foundation of the dynamics of we put in place of qi the functions qi (t, a), then r, will become
holonomic systems.* a complex function of t and a. We differentiate it with respect
to a, i.e. we compute the variations
* The statement of the Hamilton principle given above presumes (in the n
case of a natural system) the existence of a potential of force. The more general ar,
formulation of the principle, which embraces the case of nonpotential forces 6rV=xK6qt (v=l* .... N )
as well, will be given below [formula (9) on page 931. i-1
92 Variational Principles and Intefral Invariants [Ch. 3
Sec. 161 Hamilton's Principle 93
These formulas coincide with the formulas (8) on page 37, which
determine the virtual displacements of points of a holonomic system. As before, denoting by 6A the elementary work of effective for-
Thus, the variations of the radii vectors for a n y t are virtual ces Fvi n virtual displacements 6 r v ( v = 1, . . . , N), we can, using
displacements of the points of the system. the transformation (7), write down the equation (5) i n the form
It is possible to convince oneself of this without resorting t o N
formula (6) but by proceeding solely from the definition of a varia-
ST+~A--$ rnv;v~~*v=~
tion and of virtual displacement. Indeed, the variation 6 r v = al., 6a
is an infinitesimal displacement of a point of the system P, which
U - v= l
transfers the point of the trajectory produced for a certain fixed Integrate both sides of this equation with respect to t from
value of a (for a straight-line path a = 0), t o the point of an adjacent t = t o to t = ti:
diately obtain Lagrange's equations: Thus, the straight-line path amounts t o uniform motion along
an arc of a great circle. Here,
tr
S ( ~ - * ) d t $ ~5 ( ~ - ~ , ) ~ d t a fuc'(, u - u ~ ) ~ ~ = ~ ~ ( o ~ ~ ~ - o
t1
nonpotential forces Qi one should proceed from the equation (9) 1
11
=vo
[in place of (4)]. Applying formula (3) to the integral 5 ST dt,
to
10 to to
The length of the arc of a great circle cfSt is less than the length o,i,
i.e. replacing the function L by the function T ( t , qi, qi), and of any other curve on the sphere connecting the same two points M,
using the expression for the elementary work of the effective forces and Mi. For this reason,
n
Wst <Wcir
However, this is valid only when ost = U M OM, < nR. If ust >n R ,
then WSt will no longer be always less than Weir and the least value
.
From this i t follows that since the quantities 8qi (i = 1 , . ., n)
are arbitrary, the expressions in the brackets under the integral
sign (10) must be zero, i.e the Lagrange equations must hold for
the straight-line path:
Let %S find out whether the value of the action for a straight-
line path is the least when compared with circuitous paths. MO
By way of illustration let us consider the motion of a particle Fig. 31
constrained to move on a sphere in the absence of a field of folce
(inertial motion on a sphere). Let the mass of the particle m 1 2. of the action W will be attained on an auxiliary arc of a great circle,
In spherical coordinates (Fig. 31) which in this case will be the shortest distance between M Oand M,.
If we move the point M i along an arc of a great circle, increasing
the arc, then the critical point M,* (prior t o this point, W,, will
be a mininium, and after M l passes through M,* i t will no longer
For the straight-line part be such) is a point diametrically opposite the point M,.
aL The situation is similar in the general case. I t may be proved that
-0 and = const
dt a'P al) if the point M i is chosen sufficiently close t o M,, then one straight-
(where 11, is a cyclic coordinate), i.e. line path passes through M, and Mi. But if the separation between
M i and M , is sufficient, then two straight-line paths can pass
through M O and M1 or even a pencil of straight-line paths.. Such
a position M,$ of the point M l is called the conjugate kinetic focus
Without loss of generality, we may say that the initial velocity of MO. I t has been established that an action directed along the
v,,for a straight path is directed along a meridian ($=const), straight-line path M,Mi is of least value compared with those
i.e. qo=O; then along circuitous pathways if on the arc MoMl there is no kinetic
focus M,* conjugate t o M,.
$ = 0, rp = const and v2 = R2'pa= const
Sec. 171 Second Form of Hamilton's Princinle 97
96 Variational Principles and I n t e ~ r a l Invariants [Ch. 3
With the aid of this function, Hamilton's canonical equations (1)
17. Second Form of Hamilton's Principle can be written, as is readily seen, in the Lagrangian form:
Let us examine yet another form of Hamilton's variational prin-
ciple. In place of an (n +l)-dimensional extended coordinate
space we consider a (2n +
l)-dimensional extended phase space
in which the quantities qi, p i (i = 1 , . . ., n) and t are the coordi- Since a straight-line path is characteri.zed by equations (3) of the
nates of a point. In this space we consider a straight-line path pas- Lagrangian type, the straight-line path in extended phase space
sing through two points B . (g!, p:, t,) and Bi (g:, pli, ti) and also stands out among the circuitous pathways, as was earlier established,
by the fact that for i t the integral
10 l0 i=i
At first glance it might appear that the second form (5) of Hamil-
ton's principle does not differ in any way from the first, 6W = 0
Fig. 32 since, according to formula (8) on page 73, the expression for L*
coincides with the function L. This is not always so, however; it
is true only for motions of a system, i.e. for paths such that qi =
all other possible curves connecting these points (circuitous pathways;
see Fig. 32, n = l ) .
= qi (t), p i = p i (t) (i = l , ..
. n), for which the functions
qi (t) and pi (t) are connected by the relations
.
The functions qi (2) and p i (t) (i = 1, . ., n), which specify
the straight-line path, satisfy Hamilton's equations
' 18. The Basic Integral Invariant of Mechanics Substituting the expressions (4) and. (5) for [6qilt,tl and [6qilt=to
(Poincar6-Cartan Integral Invariant) into expression (2) for 6 W , expressing as usual qi i n terms of pi,
Let us derive a formula for the variation of action 6 W in the and noting t h a t
general case when the initial and terminal instants of time, just n -. -
like the initial and terminal coordinates, are not fixed but are
functions of a parameter a:
2 piqi-L
i=1
=H
6W =6 '$
to(@
L dt = L& -Lo6to+
where
21 n
On the other hand, for the variations of the terminal coordina- In place of the (n + 2)-dimensional extended coordinate space
tes 42 = q1 [ t , (a), a ] we have the formulas we take the (2n + l)-dimensional extended phase.space in which
.
the quantities q i , p i (i = 1, . ., n) and t will be the coordinates
of the point. In this space we take a n arbitrary closed curve C O
given by the equations
or
6qf = [6qiJl,tl +q:6ti (i = l, .. ., n)
From this
[6qiIt+ =6qi-q:6ti (i = l , . . ., n) (4)
Here, we have one and the same point of the curve CO for a = 0
and a = I . Taking each point on the curve C O as the initial one
I n similar fashion we draw the appropriate straight-line path. Such a path is uniquely
determined (after specifying the initial point) by a system of Hamil-
[6qi]t=to= 694 -q46to (i = l , . . . , n) (5) ton's canonical equations. We obtain a closed tube of straight
100 Variational Principles and Intearal Invariants ICh. 3 Sec. 181 Basic Inte~raE Invariant of Mechanics 101
trajectories (see Fig. 33, n = 1) Integrating t h i s equation termwise with respect to a from a = 0
to a = l , we get
l n
where
Qi (t, 0) qi (tr l), Pi (t, 0) Pi ( t , E)
( i = l , . . ., n)
On this tube we arbitrarily choose a second closed curve C,
around the tube that has only one common point with each gene-
i= i
taken along a n arbitrary closed contour does not change its value
Fig. 33 in the case of a n arbitrary displacement (with deformation) of the
contour along a tube of straight-line trajectories, i.e. i t is an integral
ratrix. The equations of cnrve C, may be wyitten i n the form* invariant. W e shall call the integral I the P o i n c a r X a r t a n integral
invariant.
We now prove the converse proposition. Let i t be known that
Let us examine the action W along the generatrix of the tube the straight-line paths are defined by the following system of first-
from the curve CO to the curve C,: order differential equations:
W=''rLdt
to(@)
Then for any a, by formula (7), This supposition is natural in t h a t the motion of a system must
n be defined uniquely on the basis of the initially given q!, p: (i = 1, . . .
6W - W f (a) 6 a = [ 2 pi6qi-Hat]:
i= 1
. . ., n). Besides, let i t be given that the Poincarh-Cartan integral
(12) is a n integral invariant with respect to the straight paths
defined by the set of equations (13), i.e. for any tube of these paths ,
* To each value of a of the intereal 0 < a ,< l there corresponds a definite the PoincarB-Cartan integral computed round the closed contour .
"generatrix" of the tube (straight-line path) and on this generatrix there is embracing the tube does not change its magnitude when the points
oint belonging t o the curve C,. Therefore, to each value of a there
correspon
Only One 'As only one point of the curve C,, i.e. the coordinates of the point of
the curve C%are functions of the para~netera.
of the contour are arbitrarily displaced along the generatrices of
the tube. We will now prove t h a t the following relations hold bet-
'
102 Variational Principles and Integra:l Invariants [Ch. 3 Sec. 181 .Basic Integral Invariant of Mechanics
ween the function H and the functions Qi, Pi: By virtue of invariance,
d I = 0,
where the letter d denotes differentiation with respect to the para-
That is to say, we will prove that equations (13) are Hamilton's meter p. Differentiating under the sign of the integral, we find
canonical equations with the functioil H that enters into the expres- n
sion under the sign of the integral I.
To proceed with the proof we introduce an auxiliary variable
(parameter) p , supplementing the system (13) with yet another
equation: Writing 6 dqi and 6dt in place of d6qi and d6t, and integrating
by parts round the closed contour, we get*
Here, n = n (t, qi, pi) is an arbitrary function of a point in -6pi dqi) - dH6t + 6H dt] =
the extended phase space. Integrating the system (15), we find the
expressions for qi, p , and t in the form of functions of the variable p
and of the arbitrary initially given values, g:, p",( = l , . . ., n),
and to (for p = O ) :
qi = q i (p; P!, to),
pi = $i (p; $7 P?, to) , (i = 1, n) (16)
t = X (p; q!, PP, to) or, by virtue of (15), dividing termwise by
m
We have thus obtained parametric equations for the family of all
straight-line paths. Since we only need those straight-line paths
that form the given tube, we have to choose the initial point
M O(g!, p!, to) on the curve CO,i.e. we have to put
aH
value of p, it will be a line integral along the corresponding closed ** We also obtain the identity --dH
at at
= -, which is a consequence of Hamil-
curve p = const. ton's canonical equations [see equation (20) on page 761.
104 Variational Principles and Integral Invariants [Ch.3 S e c . 1.91 Theorems of Thomson nnd Helrnholtz on Circulation and Vortices 105
From what has been proved it follows that the invariance of the We can illustrate this in the case of a linear oscillator for which
PoincarB-Cartan integral may be placed a t the foundation of mecha-
nics since from this invariance it follows that the motion of a system
obeys Hamilton's canonical equations.
Form the canonical equations taking q for the independent variable.
Nde. In the proof we introduced an auxiliary variable p and used the cir- To do this, put
cumstance that the integral I does not change its value in passmg from one
curve of the family p = const to another curve of the same family. Because
the function n ( t , q,, p i ) is arbitrary, the family of curves p = const i s actually
an arbitrary family of nonintersecting closed curves embracing the given tube whence
of straight-line paths. If we had not introduced the parameter p, and had taken
the time t for the parameter, then, by the same reasoning, we would have only
partially made use of the invariance of the integral I (only for the curves of the Thus, we 'have
simultaneous states t = const) and we could not have arrived a t the desired -
K = = --I/m1/-22-cq2
result.
Now let us take a more detailed look a t the structure of the The appropriate canonical equations ( 2 2 ) will then read
PoincarB-Cartan integral.
In the PoincarB-Cartan integral (12) the time t enters as the coor-
dinate q i , and the role of the corresponding momentum is played
by the quantity -H, i.e. the energy taken with opposite sign.
This is a far-reaching analogy. From the second equation, z = const = -h. We find t by means
We change the variables in the integral I by introducing a new of a quadrature:
variable z connected with the old variables by the relation
i
Then the basic integral I in the new variables will read wt +a =Z arc sin
Thus, in the new variables the integral I has the aspect of the
PoincarB-Cartan integral, but the role of the time is now played
by the variable qi and in place of the earlier energy H we have 19. A Hydrodynamical Interpretation of the
the momentum pi taken with reversed sign, i.e. K. Thus, by what Basic Integral Invariant. The Theorems of
has been proved, the motion of a system in the new variables should Thomson and Helrnholtz on Circulation and
be described by the following Hamiltonian system of differential Vortices
equations: . For a concrete interpretation of the concept of an integral invariant
let us consider the motion of an ideal fluid under the action of
external forces with a potential IT ( t , X, y , z ) . As we know from
hydrodynamics the equation of motion of a particle of this fluid
has the form
1
Where, g, is the independent variable. a = - grad IT - - gracl p, (1)
P
106 Variational Principles and Integral Invariants [Ch. 3 Sec. 191 Theorems of Thomson and Helmholtz o n Circulation and Vortices 107
where a is the acceleration of the particle, p and p are its density arbitrarily along the paths of motion of the particles; i.e. the integral
and pressure, while the potential IT is referred to unit mass.
We take i t that p and p are connected by the functional relation
C
U (1, X, y, 2) dx+ U (t. 5 7 Y, 2) dy +
p = f (p) (in particular this occurs in a n isothermal development
of the process). Then, putting +W (t, X, y, z) dz--E (t, X, y, z) dt (5)
n=n+ j $ is an integral invariant in extended coordinate space for the motion
of a fluid with a given field of velocities.
we can write equation (1) as If the path of integration consists of simultaneous states
a = - grad 11
- (t = const), then the integral (2) takes the form
(1')
This equation shows that the motion of a particle of the fluid
9 usx +usy +wsz
C
is identical to the motion of a particle with mass m = 1 i n a poten-
a
tial field fi = (t, X, y, z). Therefore, the integral invariant for In hydrodynamics this integral is called the circulation of the
velocity along the contour C. Along with this we obtained Thornson's
the motion of fluid particles will be the Poincark-Cartan integral,
which in the given case is of the form theorem on the conservation of the circulation of velocity: the
magnitude of the circulation (6) does not change if the fluid particles
forming the contour a t time ti are transferred to positions that they
occupg at any other arbitrary instant of time t2.
[f the fluid particles a t some time form a line, then these same
where U, v, and W are the components of velocity of the particle particles will form another line a t another instant of time. We
(in the given case-for m = l-they are the momenta pi), and shall speak of a &'fluidline" that moves and is deformed with time.
E is the energy defined by the formula In sipzilar fashion we define the concept of a ';fluid surface".
The theorem on the conservation of circulation states that to
every closed fluid line there corresponds a definite circulation.
Note that by the Stokes formula the integral (6) is written in the
Thus, the integral (2) taken round an arbitrarily closed contour form of an integral over the surface S bounded by the contour C:
in the seven-dimensional space (t, X, y, z, U , v, W) does not change
its magnitude in an arbitrary displacement of points of the contour
in accordance with the motion of the fluid. This motion obeys
11
S
5 6 ~ l-
6 $~2 6 ~ + @X&. (72
the differential equations, which, by virtue of the formula (l'),
have the form where
are the comppnents of some vector 9 called the curl (rotor) of the
For the given special case, equations (4) are Hamilton's canonical velocity or simply the curl. Integral (7) is ordinarily given i n the
equations. form
If the specific motion of a fluid is given for which the field of
velocities is known, i.e. if we know the functions U ( t , X, y, z),
v (t, X , y, z), and W (t, X, y, z), then the integral (2) may be
regarded as an integral in extended coordinate space, i.e. in the
four-dimensional space t , X , y, z. The value of this integral does where Q, is the projection of the vector 9 on the normal to the
not change if the points of the path of integration are displaced surface, and d S is an element of the surface S. From this it is seen
108 Variational Principles and Integral Invariants [Ch. 3 Sec. 191 Theorems of Thomson and Helmholtz on Circulation and Vortices 109
that the integral (7) gives the magnitude of the vortex flow through Replace dx, dy, dz, dt by the denominators of the fractions in
the surface. The theorem on the conservation of the circulation of (10) multiplied by st (t, X, y, z) dt. Since for any choice of the
velocity passes into the theorem on the conservation of vortex function n (t, X, y, z) the expression under the integral sign must
flow: t o every bounded fluid surface there corresponds a definite be a total differential, i t must be identically zero. And so the
magnitude of vortex flow through this surface.* expressions in square brackets are equal to zero (after the differentials
The motion of a fluid with a given field of velocities is determined dx, dy, dz, dt in them are replaced by the proportional quantities
by the differential equations P, Q, R , U); i.e. we have the equations
We arbitrarily specify the magnitude a > 0 and transfer any At the same time we found that with each vortex tube there
point of the space (2,y, z, t) to the point (X', y', z', t X) where + is associated a definite "intensity" defined by the integral
X', y', z' are the coordinates a t the time t +
a of the fluid particle
which a t time t had the coordinates X, y, z. I n such a displacement
along the trajectories of the fluid particles the vortex lines will
move to certain new lines which we will call &&displaced lines". The magnitude of this intensity does not change during motion
The tube of vortex lines that we took will move to the tube of of the fluid. If we take the tube of vortex lines for one and the same
instant of time t (at = 0), then the intensity (15) is the circulation
of the velocity round the contour C :
since, by virtue of equality (l), where all the variables in the partial derivative g
are expres-
sed in terms of qi with the aid of the equations (6jr;nd (6').
The Hamiltonian system of Whittaker's equations (5) may be rep-
Now solve equation (1) for one of the momenta, for example pi: laced by an equivalent system of equations of the Lagrangian type:
pi = - K (qi, . qn, p2, . pn, ho) (3)
and put the expression obtained into the integral (2) in place
of p,; then
n where q; = -
dqj
dPi
, and the function P (the analogue of the Lagran-
gian function) is connected with the function K (the analogue
of the Hamiltonian function) by the equation*
But the integral invariant (4) again has the form of the Poincar6-
Cartan integral if it is assumed that the basic coordinates and
momenta are the quantities qj and p j ( j = 2, . . ., n), and the
variable qi plays the role of the time variable (in place of the func- Note 'that the system (8) contains not n but n- l second-order
tion H we have the function K). For this reason (see Sec. 18), the equations. I n the latter part of this relation the momenta p j must
motion of a generalized conservative system should satisfy the be replaced by their expression in terms of
following Hamiltonian system of differential equations of order
2 n - 2:
.which may be obtained from the first n - l equations (5).
We transform the expression for the function P by proceeding
These equations were obtained by Whittaker and are known a s from the equations (3) and (9):
Whittaker's equations.
Integrating the system of Whittaker's equations we find the qj
and p j ( j = 2, . . ., n) as functions of the variable qi and 2n - 2
arbitrary constants cl, . . ., c ~ ~ Moreover,
- ~ . the integrals of Whit-
taker's equations will contain an arbitrary constant h,, i.e. they In the case of a natural,. i.e. an ordinary conservative system,
will be of the form +
L = T - T[ and H = T IT; consequently,
1 2T
P=-;--(L+H)=-;-
Pi Pi
and the kinetic energy T may be written as
at
--
d P i - aH
the equation -
api
by means of a quadrature:
8-3420
114 Variational Principles and Integral Invariants [Ch. 3 Sec. 201 Generalized Conservative Systems il5.
W *=
i P dqi
(19)
Fig. 35
is the Lagrange action. Here, all the motions of a generalized-conser-
vative system that transfer the system from a given initial position
g! to a specified terminal position qt (Fig. 35) are permitted to con- The expression obtained for W* indicates that the Lagrange action
tend. The instants of time t o and t1 are not fixed and may vary W* is equal to the work of the momentum vectors of points of the
when passing from the straight-line path to circuitous paths. * * system i n a corresponding displacement of the system.
Expressing the function P in the integral (19) with the aid of The variational principle (18) is referred to as the M.aupt?rtuis-
equation (10), we find the coiinection between Lagrange actioii W* Lagrange principle of least action.*
* These equations were derived by the Geman niatllematician K.G.J. Ja- By way of illustration let us compare the optical principle of Fermat and
cobi and are found in his classical Vorlesungen iiber Dynamik published in 1886. the principle of least action of Maupertuis-Lagrange **
In the case of a non-natural generalized-conservative system, the function P
involved in the Jacobi equations is determined by the formula (9).
** Equation (18) states that for a straight-line path, the Lagrange. action * First formulated vaguely by Maupertuis in 1747. In 1760 Lagrange gave
has a fixed value. The question of when the action W* is least for a straight-line a rigorous formulation and substantiation of the principle.
path is solved by invoking kinetic foci in the same way as for Hamilton's prin- .** See, for example, H. V. Rose Lectures i n Analytical Mechanics, Part 1.
ciple. Leningrad, 1938, pp. 93-94 (in Russian).
8*
216 Variational Principles and Integral Invariants [Ch. 3 117
Sec. 211 Inertial Motion
According to Fermat's principle, l i ht is propagated in an inhomoge-
l neous medium so that the time of flig&
21. Inertial Motion. Relation to Geodesic Lines
in the Arbitrary Motion of a Conservative
Systern
SO
i s a minimum. Let there be given an arbitrary scleronomic system; its kinetic
energy is
Introducing at each point of the meaium the refractive index n = , G n
i.e. the ratio of the speed of light c in vacuo to the speed v in the given
medium, we transform the formula to
6 j nds=0 (23)
Then the magnitude of the arc of the curve connecting two points of
SO
On the other hand, for a single particle of mass m the Manpertuis- coordinate space, (q;) and (qi), will be determined by the equation
Lagrange principle yields
a j m v a ~ = v < 6
SO
5
so
~ ~ j d s = o (24)
Comparing formulas (1) and (2) we find that in the motion of the
The trajectory of a light ray coincides with the trajectory of a particle system
. if [see formulas (23) and (24)]
In accordance with the principle of least action, the geodesic lines Comparing (10) and (8) we conclude that for a conservative system
are extremals* of the variational problem the trajectories of straight-line paths are geodesic lines in a coor-
dinate space with the metric
6W* = o (6) n
where W* is the Lagrange action. However, i n the case under
consideration we have the energy integral T = h with fixed value
of h both for the straight-line path and for a circuitous path.
Therefore, 22. The Universal Integral Invariant of PoincarB.
Lee Hwa-Chung's Theorem
i
W*== 2 ~ d t - = 2 h ( t - t ~ ) = 1 / % s
to
(7)
Now consider the integral 1 = 5 [X
n
Ss=*
,$
7 \/ r,
i, k=i
aikdqidqk=O (8)
9 From this it follows that the expression under the integral sign i s
Fig. 37 a total virtual differential of some function -H (t, qk, pk):*
D situated in the phase space onto these planes (Fig. 37). We get the
contours D i (i = I , . . ., n). Then for any i
that is
,Thus the contours D and D i vary during the motion of the system,
and the areas Si also vary, but the algebraic sum (3) of these areas
remains constant. That is the geometrical interpretation of the inva-
riance of the Poincar6 integral.
H does not appear in the expression for I , . Consequently, Poin- * Hen, 8 ~ =2 (-aqi
aH
aqi +-aH h p i ) .
a ~ i
car6's integral I , is invariant with respect to any Hamiltonian, sys- i= 1
122 V a r i a t i o n a l Principles and I n t e g r a l I n v a r i a n t s [Ch. 3
Sec. 221 Universnl I n t e g r a l I n v a r i a n t of Poiizcare' 123
where the integral on the right is taken over the surface S bounded
by the closed contour D. The general solution of this system is of the form
This formula, as applied to the integral I , , yields
\\*liere qo, p, are the initial values of q and p for t = to.
Let
i= i q=qo(u), p==p,(a) (9)
I n 2n-dimensional phase space there are known to exist the fol- [O,< a 4 1; qo (0) = cl0 (l), PO(0) = p , (41
lowing universal relative integral invariants 1zk-, of odd orders
and the absolute integral invariants JZk of even orders, be the equations of the closed contour D, in the phase plane (Fig. 38).
The points which at the time t = t, were located on the contour D,
form the contour D at some other arbitrary instant oI time t. The
= Jzn = -. 1
Spilhqil . . hpinhqtn Fig. 38
I11 1947, the Chinese scientist Lee Hwa-Chung proved the unique-
ness of these universal integral invariants. He demonstrated parametric equations of this contour are obtained from the equalities
that any other universal integral invariant differs by a constant factor (8) if q, and p, are replaced by their expressions (9). This yields
I
From one of the enumerated integrals.
We shall need the Lee Hwa-Chung theorem later on for an integral
invariant of the first order; we therefore formulate the theorem for Putting these functions in the integral I' in place of q and p ,
an arbitrary n and will prove it for n = 1. we get I' as a function of the parameter t. From the invariance
Theorem of Lee Hwa-Chung. I f dI'
n of I' i t follows that = 0. Difierentiating under the integral
Then
where
and, consequently, there exists a function cD (t, q, p) such that* that is, I is the Jacobian composed of the partial derivatives of
q j , .p j with respect to the initially given q!, p? (i, j = 1 , . . ., n).
Without loss of generality, we can consider that the Jacobian under
th6 integral sign in (3) is positive and we can drop the absolute-
But then value sign.
When t = to, this Jacobian is equal t o 1 since for this value of t
A6q +B6p = cpdq + 6@ a l l the q, = qj: and the p, = p:. When t varies, the Jacobian varies
and therefore continuously without vanishing, since the singular points a t which
this Jacobian might vanish are eliminated from our consideration;
I' =
4 A6q +Bap c $ pdq
= = cl, i . e. i t is assumed that there are no such points i n the volume under
examination. Then the Jacobian is positive in this volume.**
which completes the proof.
For n > l , the idea of proof is retained, though the proof itself * Henceforward (see Sec. 31) the. invariance of the phase volume will be
becomes more involved. established on the basis of the general properlies of inotion of Hamiltonian
systems.
* Here, the time t is taken as a parameter.
** No assumptionsconcerning singular points are required in the proof on
pages 161-162 mentioned i n the preceding footnote.
126 Variational Principles and Integral Invariants [Ch. 3 Sec. 231 Inuarinnce of Volume i n the Phase Space 127
Differentiating with respect to t under the integral sign we get From the invariance of the phase volume there follows one of the
basic theorems of statistical mechanics, Liouville's theorem.
Imagine a very large number of absolutely identical replicas
of a system differing from one another solely i n their initial states
Jo 97, pp ( i = 1 , . . ., n). All these replicas form a statistical ensemble.
An instance of a statistical ensemble is the collection of mole-
Compute the derivative of the Jacobian I: cules of a gas in a given volume.
2n
To each volunle element d V of the phase space we can assign a
LLmass" d y that describes the quantity of replicas per given element of
volume d V . By virtue of the proved invariance of volume in phase
where Ii is the determinant obtained from the Jacobian by differen- space, the magnitude of d V does not change with time. Physical-
tiation of the i t h row. Now taking into account that l y speaking, the magnitude of d y does not change either, since the
replicas which a t soine time are in the volume d V will be displaced
together with the volunle. That is why the density of the statistical
ensemble remains unchanged during motion:
2" for any
and
I I i lt=to = / 1
api
7
api t=tn
for i = n + 1 , ..., 2n
where (pH) is a Poisson bracket. According to (6), the function
p ( t , qi, p i ) is the integral of motion.
We have thus proved the following theorem.
therefore Liouville's theorem. T h e density of a statistical ensemble is always
a n integral of motion.
Thus, for example, for a conservative system any function of the
energy of the system may serve as the density of the statistical
ensemble.
which is to say that the magnitude of the phase volume J does not
change upon a displacement of the points of this volume from
, states occupied a t time to to states occupied a t any other arbitrary
instant of time t .
Sec. 241 Canonical Transformations 129
CHAPTER 4
Example 3. The transformation
d
The transformation of coordinates in a 2n-dimensional phase space To derive the conditions under which the transformation (I)
l
I
(containivag, in the general case, the time variable t as a parameter)
- is canonical, we consider two extended (2n
W W
+
I)-dimensional phase
spaces (gi, pi, t) and (gi, pi, t), one passing into the other under
On the other hand, if in the universal integral invariant We shall call the function F the generating function, and the
constant c the valence of the canonical transformation (1) under
$ $S$ we pass to the variables g,, pi ( i = 1, . .., n) by means consideration. The canonical transformation will be called uniua-
lent if for i t c = 1.
i= l
of the canonical transformatio~~(l), then this integral will pass A necessary and sufficient condition for the transformation (1) to be
into a certain universal integral invariant of the first order canonical is the existence of a generating function F and some constant
c for which the equation (9) is identically satisfied by virtue of the trans-
in 2n-dimensional phase (qi, pi)-space; by the theorem of Lee
n formation (1).
Hwa-Chung, the invariant obtained can differ from 82 - 1.
i=
~ i % i only
IYote. If the transformation (1) is canonical, then there exist
a generating function F and a valence c # 0 such that the equation
i n the constant factor c. Therefore (9) holds for any function H and the corresponding function g.
n n However, if (9) holds for one pair of functions H and 2, then trans-
formation (I) is already canonical."
Indeed, in addition to H take another arbitrary function H,
and define R, from the condition
From the equations (4) to (6) i t follows t h a t
n n
L.
- Multiplying both parts of this equation by 6t and subtracting
If in the first integral we consider the variables &, , p,> .. . termwise the resulting equation from (g), we get
to be expressed i n terms of the variables q,, . . ., p, (here, the path
of integration E is replaced by the p a t h of integration C), then
the equation (7) may be written as
n
Thus, (9) holds for any function H, and the corresponding func-
tion 5,.
But C is an absolutely arbitrary contour in a (212. 1)-dimensi- + Canonical transformations are sometimes also called contact
transformations.
onal extended phase space. Therefore the expression under t h e
integral sign in (8) must be a tot,al differential of some function In the literature, only ullivalent canonical transformations are
of the 212 +
1 arguments q,, pi, . . ., Q,,, pI1 and t. We will find it frequently considered, and many authors erroneously hold that
these transformations exhaust all the transformations (I) that carry
convenient t o denote this function in terms of - F (t, qi, p i ) ; then*
71. Hamiltonian systems again into Hamiltonian systems. These authors
2 pi6qi --I% = c (i=2 pi6qi -~ 6 t -) 6 F
i=l l
(9) do not notice the arbitrary constant factor c which must figure
in the general formula for an arbitrary canonical transformation.
Note that the constant c in the identity (9) is always different
-
m
- g6t is not a total * I t does not follow from this however that a canonical transformation may
be defined as a transformation t h a t carries one given Hamiltonian system into
differential*" a r ~ dtherefore cannot be eqial to -6F. some other Hamiltonian system.
'n Tks,fz example, the arbitrary noncanonical transformation = (gk,
38' aF dF 61. p h ) , p i = pi ( q k , pk) ( i = 1 , . . ., n ) carries the Hamiltonian system with
* Here, 6F = 2 (- dq i 6qi +-
a ~ 6pi)
i
**
i= i --
With respect to the independent,variables qi, p i , I and, hence, with
H = 0 into the Hamiltonian system with i? 0.
a9,
-.
sidered as fnnctions of the variables G , . . ., &, i t follows that
that ensures the iadependence of the quantities t, qi, . . ., qn,
- the Jacobian of these functions is not identically zero. Thus, for
q,, . . ., &, which can now be taken as the basic variables.* Indeed, the generating functions S of a free canonical transformation the
this inequality enables us, using the first n equations ( l ) , Sec. 24, determinant must be different from zero, i. e.:
to express the generalized momenta p,, . . ., p, in terms of 2n 1 +
quantities t, qi, qi (i = 1 , . . ., n) and, consequently, to represent
any function of the variables t, qi, p i (i = 1, . . ., n) as a function
of the variables t, qi, (i = 1, . . ., n). In this case it may be taken
Ci From the inequality (5) i t follows that the first n equations (3)
that the generating function is represented as a function S of these .
may be solved for Gi (i = 1, . ., n) and thus all the new phase
variables qi, pi (i = 1, . . . , n) may be expressed in terms of the
W m
variables:
old variables qi, pi (i = 1, . . . , n). The transformation of the
m
form (1) thus obtained will be reversible, i.e. for i t a(q1' '."
Then the basic identity (9) of the preceding section will
be written as
? (qt7 -. ~ n #)O
- 9
The last equation shows that after applying one and the same
In the case of a nonfree canonical transformation, the quantities t , Q,
free univalent canonical transformation to various Hamiltonian
d
qi (i = 1, . . ., n) are connected by certain relations. * For nonfree canonical transformations there exist defining formulas si-
** .
In this relation, the quantities qi, . ., qn are taken as parameters. milar to (3). These formulas will be established in Sec. 29.
134 Canonical Transformations, Hamilton-Jacobi Equation [Ch. 4 Sec. 261 The Hamilton-Jacobi Equation 135
systems, the difference between 5 and H will be one and the same .
For a natural system, the coordinates q,, . ., q, define the
as position of the system, and together with the momenta p,,. . ., p,
at 1
(equal t o - i n all cases. they define the state of the system, that is, the positions and velo-
cities of its points. This specificity of the coordinates is lost in
From (4) it follows that B = CH when and only when as ;i;- = 0,
a general-type canonical transformation. The quantities G,
. . ., 4n
-
""
i.e. when the generating function S does not depend explicitly on t. no longer . define the position of the system, and only together with
In this case, by virtue of (3), the time t will not enter explicitly
into the formulas of the canonical transformation. Under such
the Fi, . . ., p, do they define the state of the system. The variables
canonical transformations the function H does not change essential- .
q,, . ., & will as before define the position of the system only
ly, i t is only multiplied by tlle constant c. For this reason, if we in the particular case of a point canonical transformation for which
desire to obtain a new system with an essentially simpler Hamilto- the functions (t, qk, pk) actually do not contain the momenta:
-.
nian function, we must definitely take a free caiionical transforma-
W
..
qi =qt ( L , q k ) (i = l , ., n)
tion containing the time t as a parameter.
Note that subsequently the transformation of an arbitrary Hamil-
Example i . On page 128 we considered three canonical transformations: tonian system into a system with the function H of simple struc-
d - ture may be effected with the aid of a free canonical transformation.
- -
( I ) qi=aqi, ~ i = $ ~ i (;2 ) q i = a p i , ~ i = B q i ;
(3) q i = p i t a n t , p i = q i c o t t ( i = l , ..., 12)
But a free canonical transformation is not a point transformation.
Thus, nonpoint canonical transformations play a n essential role
The transfornlations (2) and (3) are free. They have generating functions in the theory of Hamiltonian systems.
n m
= 1, .. ., n), that is we can find the final equations of motion of a holonomic system with the given function H may be written in the
the given holonomic system completely [all the solutions of the form*
system (l)].
How are we to determine the canonical transformation that
we need? To do this, b y virtue of formula (7) of the preceding
section, i t is necessary and sufficient that the equation where a i and fii are arbitrary constants (i = 1 , . . ., n).
Thus, a knowledge of the complete integral of the partial differen-
tial equation (6) relieves us of the necessity of integrating the
system of ordinary differential equations (1). The problem of inte-
hold for the generating. function S (t, qi, G)
of the desired cano- grating this system is replaced by an equivalent problem of seeking
nical transformation. This, together with the formulas (6) of the the complete integral of the partial differential equation of Hamil-
same section, yields ton- Jacobi.
Note. The general solution of the partial differential equation
depends on several arbitrary functions. For this reason a complete
integral of the Hamilton-Jacobi equation is by no means a general
The resulting partial differential equation (6) is called the Hamil- solution. A complete integral embraces only a small number of so-
W
ton-Jacobi equation. Thus the generating function S (t, qi, qi) with lutions when compared with a general solution. I t is nevertheless
basic variables t and qi (the qi
are regarded as parameters) satisfies possible, on the basis of a complete integral, to restore the initial
the partial differential equation of Hamilton-Jacobi. Besides the equation (whence the name "complete" integral). Indeed, differen-
Hamilton-Jacobi equation, the condition tiating the complete integral, we get
m
must hold for the generating function S (t, qi, qi).
m
As soon as the generating function S (t, qi, qi) is found, the If the complete integral S (t, qk, ak) is known, then the func-
formulas tions f (t, qk, ak) (i = 0, 1, . . . , n) are also known. From relation
(10) i t is possible to express every a k in terms of the partial
as
derivatives - , t and qi since, by virtue of condition (8),
aqi
will define the sought-for free canonical transformation. If in these
formulas we replace the Gi
by ai and the pi
by pi, we will get the
equations of motion of the given holonomic system in closed form.
Putting the expressions obtained for a k into (11) we get the initial
start the gi in S are replaced by ai (i -
This whole process is more conveniently described if from the very
1, ..
., n).
We introduce a definition. The solution S (t, qi, a i ) of the partial
partial differential equation (6). **
As an instance of a complete integral of the Hamilton-Jacobi
equation, we consider what is called Hamilton's principal function.
differential equation of Hamilton-Jacobi containing n arbitrary To do this, we return to formula (7) on page 99 and to Fig. 33
.
constants a,, . ., a, is called the complete integral of this equation on page 100. We now consider only the special case when to (a) =
if the condition = const ='to, i.e. we assume that the contour CO consists of the
* Here, in place of the arbitrary constants -pi we write simply pi. By virtue
is fulfilled. ot the condition (g), the last n equations (9) may be solved for qi and we can
express qi, . . ., q, as functions of t and the 2n arbitrary constants a,, pi.
Now let us formulate the theorem we have proved.
Jacobi's theorem. If S (t, qi, a i ) is some complete integral of the + ** I t may be considered that the complete integral S also contains an ( n
Z)st additive arbitrary constant a,+~,since only the derivatives of S enter
+
Hamilton-Jacobi equation (6), then the final equations of motion o j into equation (6) and not the function S itself.
,138 Canonical Transformations, Hamilton-Jacobi Equation [Ch. 4 Sec. 261 The Hamilton-Jacobi Eauation I39
initial states of the system when t = to. Besides, in place of t,, q: and the p:. The result was a vicious circle: t o write the final equa-
qt, p;, H, we shall write simply t , qi, p i , H. Then, if W is the tions of motion (17) one needs Hamilton's principal function, and
action along a straight-line path (i.e. along the generatrix of the to construct this function, as has already been demonstrated above,
tube) from the initial point (t = to) to the terminal point correspon- one needs to know the final equations of motion.
ding to the given value of t, we get Jacobi's contribution consists in the fact that he continued Hamil-
ton's investigations and broke the vicious circle. He demonstrated
that the final equations of motion might be written in the form (9)
by means of an arbitrary complete integral S (t, qi, a i ) of the Hamil-
If we take advantage of the final equations of motion t,on-J acobi equation.
Let us return to the identity (13) and compare i t with the identi- .,-
ty (2) on page 132. I t will be seen from this comparison that the
formulas (14) and (15), which are the final equations of motion and
which express the Hamiltonian coordinates qi, p i of the state
and in place of qi (t) put their values (14) into the expression
for the action
.
of the system a t time t in terms of the initial coordinates qy, . ., p i ,
may be regarded as a free univalent canonical transformation from
.
W=
i
10
L (t, qi, qi) dt
the variables qp, p! (i = 1 , . ., n) to the variables q,, p, (k =
= 1, . . ., n); -W is the generating function of this canonical
transformation, and W is Hamilton's principal function.*
,
then W will be a function of t , q!, p! (i = 1 , . . ., n). Hamilton Thus, a transformation of phase space carried out by means of the
proposed using the final equations of motion (14) to express p i motions of any Hamiltonian system is canonical (and also free and
in terms of t, qP and qi and thus to represent the action in the form univalent).
W = W (t, qi, q9) (18) Example. Form the Harniltonian function for the inertial motion
of a free particle. In this case (assume t o = O )
The action W given in the form (16), i.e. in the form of a function
of the initial coordinates, the terminal coordinates and the terminal x=xo+xot, Y=Yo+yot, z=zo+zot
and so
instant of time t, is called Hamilton's principal function. Considering t
that in (13) W is Hamilton's principal function, we get (on the basis
of this equation)
aw arv +(Y--Yo)~+ (~-20)~l
aqi 'Pi, a@ - -p:
-- ( i = l , ..., n)
I f we proceed from Hamilton's principal function t.hat we found
and nz
aw
--
at - - H ( t , qi, pi)
W = -[(X-xo)2+
2t
(y- yo)2+ (z-zo)2]
(18)
.then the equations of motion are obtainable from the formulas (17), which
From the equations (17) and (18) i t follows t h a t Hamilton's in the given inseance appear as
principal function satisfies the Hamilton-Jacobi equation
and the relations (17) are the final equations of motion containing
2n arbitrary constants qt, pp (i = 1 , . . ., n).
Thus, Hamilton demonstraied how the final equations of motion
are written by means of a complete integral of the equation (19). * For the inverse canonical transformation from the variables qi, pi to the
However, in Ha~nilton'scase this complete integral was not arbit- variables qp, p!, I-Iamilton's principal function M' will be the generating func-
rary; and the arbitrary constants in i t were the initial values of the tion.
140 Canonical Transformations, Hamilton-Jacobi Equation [Ch. 4 Sec. 271 Mefhod o f S e ~ n r a t i o no f Variables. Examnles 14 1
Suppose we have a generalized-conservative system ( $ = O ) . and the complete solution of the Hamilton-Jacobi equation may
be sought in the form
Then the Hamilton-Jacobi equation has the form
S= 2
p=rn+ i a p q p f SOU, qi, . . . , qm, %it . . ., a,) (25)
and its complete solution may be found in the form For the function So we get the equation
S = -ht+V(qi, ..., q,; a,, ..., a,-,, h) (21)
where h and a i , . . ., an-iare arbitrary constants.
Putting this expression for S in equation (20), we get the follo- If in a generalized-conservative system the coordinates g,,,, . . ., 4n
wing equation for determining the function V: are cyclic, then the furiction S is sought in the form
where a,, .: .
, a, are arbitrary constants. Then, by formula ( l ) , and condition (7) always holds. Therefore formula ( 6 ) defines
the constant h may be expressed in terms of the constants ai, . . . a complete integral of the Hamilton-Jacobi equation.
.. ., an as ~ O ~ ~ O W S : In the given case the final equations of motion
h = G (a,, , a,) ... (4)
Solving (3) for
av
-, we find*
841 will be written as*
av (i= l, .. ., n),
-= F i (qi, a i )
aqi
and, thus,
In this case
=$S -a~~ av
---==O for i#k (i, k = l , ..., 12)
aqi aai aai ' aqi a u k and equation ( 2 ) is of t h e form
I and the basic condition
Put h- a ; then
reduces to the inequality
I n
and from the final equations of motion ( 1 1 ) me find the expression for
the momentum.
p = y2n2a--mcq.2 (13)
Since the relation and the equation of motion itself will be written as
fi (4i pi) =a i
is equivalent to the equation
P i = F i (qi, a i ) * I n (5) and (6) by the integral
S P i ( q i , a i ) dqi we mean the integral
it follows that
a ~ i
pi = -av ; each function F i is a function of the two variables qi and a i ;
aqi
i = 2 , ..., n . We then make use of (10).
l
144 Canonical Transformations, Hamilton-Jacobi Equatzon [Ch. 4 Sec. 271 Method of Separation of Variables. Ezamples 145
where Here
which means that the motion in thc plane $=const occurs in accordance
with the law of areas.
1.
Finally, t o determine the trajectory we put - = X and from (26b),
taking (27) into consideration, we find
and, hence,
x=k+~~ccos(8-$)
Then, by forrnulas (?h), me find 1.
Finally, recalling t h a t X= - , we have for the trajectory an equation
of a conic section, in one focus of which is the centre of attraction:
* That is, the time derivative of the area described by a radius vector '
drawn from the centre.
io*
148 Canonical Transformations, Hamilton-Jacobi Eauation [Ch. 4 Sec. 271 Method of Separation of Variables. Examples 149
where the parameter and eccentricity of the conic section are determined Take the solution of (33) in the form
from the equations
Theii the final equations of motion (11) are obtained by means of quadra-
Let r be the period (of revolution), r = - 2mF . Then on the basis of (30) tures:
vs
where a i , . . ., a,-i are arbitrary constants, and the constant a,, by virtue
of equation (33) and equalities (3%),is expressed in terms of a i , . . ., % - I * dqn=pj (j=l, ..., n-l),
namely
a, = -ai- . . . -an-i (35)
ancl the Hamiltonian systein (3) into the Hamiltonian system with
funclion g , which will be equal to H,: *
dP! -
a'l:
---=-
at
819,
dpj: ' at
--8Hi
840, (5)
(k=l, ..,,n)
..
where Ai, B i and IIi a r e f u n c t i o n s of one variable qi ( i .= l,. , n ) , then the
Thus, the new variables q! and p! possess the following remarkable
final equations of motion of t h e system may be obtair~ed b!l quad~atures. property; Eor unperlurbed motion, they preserve constant values,
Indeed, f o r a Liouville system which are equal to the initial values; for perturbed motion, they
are innctions of the time and of the initial values
and let i t be required to determine the nlotioii of a "perturbed'. Actually, we have shown that "perturbation in the energy" of
+
system with Hamil tonian function H H,; i.e. let i t be required a systern is equivalent to "perturbation of the initial conditions".
This is illusthated in Fig. 40.
to determine the solutions of the system of differential equations
In the hyperplane t = 0, of an extended phase space, take a fixed
point A& and draw through i t an unperturbed straight-line path.
i.e. a straight-line path (1) for the system (2). In Fig. 40, this is de-
I f in formulas (1) we regard q; and p: (k = 1 , . . ., n) as new
variables, then, as has been elucidated on page 139, formulas (1) * This follows from the reldtion g - (H -/- 11,) -= 0 - I I . The left and
B '5
determine a free univalent canonical transformation. This transfor- right sides of thisequation are equal t o , where S is the generating fili~ction
mation turns the Hamiltonian system (2) into a Hamiltonian system of the free univalent canonical transformation under consideration (see p. 133).
152 Canonical Transformations, Hamilton-Jacobi Equation [Ch. 4 Sec. 291 The Structure of an Arbitrary Canonical Transformation 153
picted as the heavy line The light line M & ' , depicts the i t is possible to take the following quantities as 2n independent
displacement, in the hyperplane t = 0, of the initial point given
by the functions (6). From point Mot of this curve draw an unper-
ones:
qi~
-
q17 Pi+i, - - 3 Pn, qi,
d - -
q7n7 Pm+i, - . - , P n
turbed straight-line path MotNot (it is shown dashed in Fig. 40).
On this path take a point P with a given value of the time coordi- (042, m<n) (3)
iiate t. This will then be the position of the system in perturbed
motion a t time t. In the case of unperturbed motion, the system Theii with the aid of the identities
\ we can write the basic defining equation (9) on page 130 in the
I form m n
Fig. 40
where
occupied the position Q a t time t. Thus, the perturbation appeared
i11 the "shift" QP. The straight-line path in perturbed motion is
shown by the heavy line MOP. Thus, perturbed molion may be re-
garded as "compound" motion in phase space: a point is'i11 motion
along an unperturbed straight-line path but the path itself is dis- Siiice all the 4n quantities of (1) are expressed in terms of the 2n
placed (in the general case i t is deformed) due to the "perturbation" quantities of (3), we may take i t that U is a function of the quan-
of the initial conditions. tities of (3). Then from the identity (4) we a t o w e find
that there will not be a single pair of conjugate q i ,pi or qi, p i among
I I
154 Canonicnl Transformations, Ramilton-Jocobi Equation [Ch. 4 Sec. 291 T h e Structure of a n Arbitrary Canonical Transformation 155
-
the quantities chosen. Then if we appropriately renumber the coor- - -
and qi, p i , i t may be assumed that the chosen ones are the following
.
- qi, qk ( i , k = 1 , . ., n) and do the same with the momenta
dinates rt+ d quantities:
- -
p i , p k (i, k = 1 , . . ., n), the chosen 2n independent quantities 41, . - . , q n , ~ i , a . . , qd (d<n) (7)
may be given in the form (3). Therefore, for an arbitrary canonical
transformation there are formulas that can difFer from the formulas We shall .call the quantities of (7) the maximum basis. I t is
(G) solely in the numbering of the quantities of (l).* obvious that
As was done in Sec. 25 for a free canonical transformation, it may - = f ( ~ t ,. -
qn, 41, ... r ~d)r
also be shown that for an arbitrary canonical transformation a deter- Qj 7
Let us state and prove the lemma which we used to obtain the Pi1 . - - , P n r Pi, Pd
structural fornlulas (G) for an arbitrary canonical transfornlation.
', . . ., Qn
M
Lemma. If there are given 2n independent functions that do not enter into the formulas (B), tlie-- quantities
l -
pi, . . ., p, of 2n independent quantities q,, . . .,
7
? M
tion d < n. We shall now show t h a t the quantities q,+,, . . ., qn, qo+i, ..., qd
which are conjugate to the "independent" quantities of (IO), actu-
Since, without altering the conditions or the statement of t,he ally do not appear on the right-hand sides of (8). Indeed, let
lemma it is possible to interchange the roles of the t,wo conjugate
q~ ( h > a) enter into, say, the expression for a certain ( j > d):
quantities q i and p i or and gi
and also t o perform an arbitrary
permutation of the indices 1 , . . ., n both of Ihe quantities yi, p i
* This proposition is given by Carathbodory in his hook Varratiortsrech,nung
und partielle Differentialgleichungen erstes O r d n u n g , 2 Aufl., Bd. I , 1956,
-
Then the system of quantities q,, . , qh-I, qh+i,
c .. .. . , qn, qi,- . . .
. . . , Q, q j is equivalent to the basis (7):
Sec. 96). However, the lemma on which our proof is based [see below) was estab-
- -
lished by Carathkodory for the special case when the transition from the variab-
(~11. . - qh-ir ., (lnr
M
.
- v
.
les qi, p i t o the variables qi, p i (i = 1, . ., n ) is a canonical transformation. qh+i?
v
qi1 qdc qj)
** This condition may be written as follows: det
71
f Oif m(qi1 , qn, 41, (Id) ( l 2)
by ri, . . ., r,,
- -
r i , ..., rn we deiiot,~,respectively, the quantities (3) i n the * I n different formulas. the same letter f is used t o denote different functio-
order given above [see (3)). nal relations.
156 Canonical Transformations, Hamilton-Jacobi Equation [Ch. 4 Sec. 291 The Structure o f an Arbitraru Canonical Transformation 157
that is, every one of the quantities that appear in one of the two are independent, which fact contradicts the "maximality" of the
systems is expressed i n terms of the quantities of the other and basis (7).
+
vice versa. * Therefore, the n f d l quantities Thus,
-
.
F
Pil = f (Q,,
phl=f (Q,, . - . , q a , 41,
Qar Qit
F
., B)
-
4b) (16)
are independent, which contradicts the "masimality" of the
basis (7).Thus, the formulas (8) may be written as (il = 1 , .. .
,a,, k, = 1 , .. ., b,)
-
-
Denote as . ..
. ., qa2, qbl+,, . , qb2 those of the quantities qi,
qk ( i > a,, k > b,) which actually occur i n the right members of
formulas (16). Then
.
W
Now we shall show that the quantities qn, cl;, (h >a , p > b) But the quantity qi2 actually occurs in one of the expressions (17),
actually do not appear in those formulas (11) where i,< a,, and for instance in the expression for pi,. Then the quantity qi, actu-
Ic < bi. Assume the contrary. For instance, let q~(h > a ) actually ally occurs in one of the expressions (14), for instance in the
appear in the expression (11) i'or pi,, where i, ,< a t , expression for qj ( j >d):
Rut the quantity yi, actually appears in one of the expressions (14);
for example, let i t appear in the expression for ( j > d): In this case an equivalence is established between the system of
quantities
and the basis (7). For this reason, the quantity p* is independent
of the quantities of (18). Adding pn to the quantities of (18) we
and hence the n S-d + 1 quantities get a basis of n + d + l quantities, which is impossible.
Thus,
Pf?= f ( ~ i , -
-
qa, 41,.
-
, qb)
- - (19)
* If qa actually does appear in sorno functional relation, this relation may
pkZ=f (Q,, -
,7 - . ., qb)
~ a 41
i= i
we get equation (2) froni (3) and (S), i.e. we find that the transfer-
- let -a, > b,. Then from the formulas (23) we can elimiiiate
Now
ination (1) that depends on the time t is canonical.
qi, . . ., qb, and obtain a relatioii between qi and p i ; but this cont- Thus, for the time-dependent transformation (1) to be canonical
radicts the hypothesis of the lemma. it is necessary and sufficient that all the time-independent trans-
If a, ,< b,, then a, < b, +
1. Then from the formulas (22) and formations obtained from the transformation (1) by replacing t
(24) we can eliminate all the qi and ohtain a relation between with an arbitrary value of t h e canonical and with one and the same
and L; this again contradic,ts the hypothesis. valence c.
Thus, the assumption that there exists a maximal basis (7) in For this reason, when establishing tests for canouical character,
which d < n has led us to a contradiction. The lemma is proved. we can confine ourselves t o canonical transformations that do not
contain the time variable t explicitly:
30. Testing lhe Canonical Character of a
Transformation. The Lagrange Brackets
Let us establish certain tests for the caiionical character of a trans-
formation, i.e. the necessary aud sufficient conditions that must For t h e carionical transformation (fj), the defining identity (2)
he satisfied by 2n independent functions [with respect to q k , is written as
p h ( k = 1 , . . ., n)l
-
q i = q i ( t , q k - p k ) , ~ i ~ $ i ( t , q k , ~ k( i)= i r . . . r n ) (l)
160 Canonical Transformations, Hamilton-Jacobi Equation [Ch. 4 Sec. 311 Simplicial Nature o f Jacobian Matrix o f Canonical Transformation 161
Here, express 6qk i n terms of 6qi and 6pi using formulas (1). this notation and taking for the cyi, qi the functions qi,
Then (7) will take the form
-
-pi Using
(i l , .... n) defined by the formulas (6), we can write the
conditions (10) as
where
where c is the valence of the canonical transformation.
The equalities (12) express t h e necessary and sufficient conditions
for the transformation (6) to be canonical. In the case of a time-
I t remains to write out the conditions that the left-hand side dependent transformation, the conditions (12) are preserved,
of (8) should be differential and we will have a test for canonical provided that they hold for any value of t.
character in the form of the equalities
aoi ao,k= ayi -ayk 31. The Simplicial Nature of the Jacobian
- Matrix of a Canonical Transformation
aqk aqi l a ~ h api '
Consider the Jacobian matrix of the canonical transformation
--
a ~ na ~ n
a . .
a ~ n
aqn apt a ~ n
i= i J
8;
Here - is a Jacobian matrix of order n
an . - . . similarly, we
where is Kronecker's symbol: d i k = 0 for i # k; d i k = 1 for a; a; and -
a; .
i = k ( i , k = l , ..., n). define the n-order Jacobian matrices -, -
The conditions (10) may be written in compact form if we intro-
ap aq a~
We introduce a special matrix of order 2n:
duce what are called Lagrange brackets, which, for the given 2n
functions ( p i , $ i (i = 1 , ..., n) of the two variables q and p are
defined as follows:*
...
J=
0
1 ...
0
0
0
0
. . m
...
. . . . . . . . . . . .
-1
0 =L 0 -E
0 ) (2)
* The reader can compare the Lagrango brackets with the Poisson ,0...1 o... 0
brackets introduced in Sec. 15. There, two functions rp, 9 were given of 2n
variables qi, pi and t h e Poisson brackets equaled the sum of the Jacobians
a(T' )'
where E is a unit matrix of order n. Consider the matrix M and also
. Here, however, 2 n functions of two arguments are given and its transpose M'; form the product M',JM and prove that by virtue
a (qi?~ i j
the Lagrange brackets are equal to the sum of the Jacobians (11). of the relation (12) of the preceding section this product is identical-
162 Canonical Transfornzations, Hamilton-Jacobt Equation [Ch. 4 Sec. 321 Invariance of Poisson Brackets in Canonical Transformation 163'
l y equal t o c a . We shall call the matrix M that satisfies the relation (3) a gene-
M'JM = c J ralized-simplicial matrix (with valence c).*
where c is the valence of the canonical transformation. Since the relations (12) of the preceding section reduced to the
Indeed,* condition of the generalized-simplicial nature of the Jacobian mat-
rix $1, i t follows that the test for the canonic.al character of a trans-
formation may be stated thus:
- -
For a certain transformation qi = qi (t, qk, pk), Pi = Pi (,t, q k 6
M -
pk) (i = 1 , . . ., n) to be canonical, it is necessary and sufficient
that the Jacobian matrix--M corresponding to this transformation,
should be generalized-simplicial with constant valence c. (In the
case of a univalent transformation, the matrix N is an ordinary
simplicial matrix.) Then, the condition of the simplicial nature
of (3) must hold identically relative to all the variables t , qi, p i (i =
= 1 , . . ., n).
But In Sec. 26 i t was established that the motion of any Halniltonian
system may be regarded as a free univalent canonical transforma-
tion. Consequently, its Jacobian matrix is simplicial and has the
determinant I (see pages 125-126) equal to & l .
-+
Since a t the initial time I (0) = $ 1 , so I = 1 a t all subsequent
Performing similar computations for the remaining three blocks, times, but i t is precisely this determinant that serves as the integrand
we net in the expression for the phase volume in 2n-dimensional space ,
[formula (3), Sec. 231. \,
This remark may be regarded as a proof of the Liouville theorem
that differs from the proof given in Sec. 23.
which is what we sought to prove.
For a univalent canonical transformation, equation (3) is written 32. Invariance of the Poisson Brackets in
as a Canonical Transformation
M ' J M = cf (4) Let us give the condition of canonicity of a transformation written
in the form of equation (3) in the preceding section in a somewhat
The matrices M for which the equation (4) holds are called siinpli- modified form. Multiply both sides of this equation by (M')-l on
cial. Since det J -- 1 , and the determinant of a product of matrices the left and by M-l on the right. We get
is equal to the product of the determinants of the matrices being
multiplied, we find from (4) that
detM=+I
Thus, simplicial matrices are nonsingular. ** Simplicial matrices are characterized by the following properties. In the
n
bilinear form f = (xiyi-yixi), we subject the 2n variables xi: y i and the
*
When the elements of the matrix are matrix blocks, multiplication is i= i
perfolmed according to the same rules as when the elements of the matrix are 2n variables xi, y i to one and the same linear transformation with tile
nllmhnrs.. i.e. the rows of the first matrix factor are multiplied by the columns
a------
simplicial matrix of coefficients M. Then the form f preserves its aspect i n
of the second matrix factor. n
** As may readily be verified, the product of two simplicial matrices, the the new variables xf, yf and X?', g:': f= (xtyr'-yTxTr).
c inverse matrix for any simplicial matrix and the unit matrix are again i- i
simplicial matrices. Therefore, simplicial matrices form al r group,
xl~
a simpli- * All generalized-simplicial matrices (for all c + 0) also f o w a group.
Lial group. (Continued on P. 163.) If M is a generalized-simplicial matrix, then det M = +-cn.
11*
Sec. 321 Invariance of Poisson Brackets i n Canonical Transformation 165
164 Canonical Transformations, Hamilton-Jacobi Eauation [Ch. 4
Take the inverse matrices of both sides of the equation, noting Let us now consider two functions cp and I$ of the quantities qi,
t h a t J-l= -J : * ..
pi (i = l , . , n) and t. Expressing in these functions the qi, Pi
- -
W M ' = CJ ( i = l , . . ., n) in terms of yk, pk ( k = 1, . . . , n) with the aid of a n
-
The equality M J M ' c J is obtained from the equality ICIrJM=
- c J by replacing the Jacobian matrix 31 by its transpose M'.
(2)
inverse canonical transformation, we can regard these same func-- -
tions as functions of the variables qk, pk (k -- l , . . ., n). Accor-
But this substitution [see formula ( l ) , Sec. 311 reduces to repla- dingly, the Poisson brackets of cp, Il, may he evaluated both with
a ayi aFi aFi
cing the derivatives 2 - - - respectively, by the
-
respect to the variables qi, pi [denoted (v$)] and with respect to
the variables qi, pi [denoted (@)-l.
- - aqk a ~ Lk aqk ' a ~ h Let us prove the validity of the identity
derivatives %,
aqi ap*
aq,
9
api api
in other words, in each deriva-
(W)= c (W)-- (6)
tive the letters and indices above and below** are interchanged.
Thus, if the equation M I J M = = c J was equivalent to the system Proof of this identity rests on a familiar espression of the
Jacobian of a system of composite functions
-
I then the equation (2) will be equivalent to the system of equa-
lities
a (%
a(qj, ~
+)
j )
=
i,
n
a ((p, 9) a (qi,
2k=i [a(;,
i< k
a ( q j , Pj)
-
qk)
' a (v, W a h)
a(&&) a(qj7 pj) l+
[qiqkl* ==O, [pipkl* =O, [qiph]* =6ik (i, k = 1, . . . , n) (4)
where the asterisk (*) indicates that the aforementioned interchange
of derivatives is to be performed within the Lagrange brackets.
But then the Lagrange brackets become Poisson brackets. Indeed,
Summing these identities termwise, we get
n n
(v? 1' (pi&)] +2 a 9+ ?) (;iFk)
i, k=i [ a ,) , a (pi7pk) i, k=i a (qir ~ k )
i< k
From this, using equalities (5), we find
n
6
d
< <
only i f ( qo I 6, and I qo I 6 where, for example, 6 = m i n -,
(Z"o 3.
Example 3. A particle of mass m can move along the x-axis under the
* See Sec. 4. action of two forces: a restoring force proportional to the deviation -cx,
** If the generalized forccs Q i depend not only on the coordinates qk but and a resisting force of the medium, which is proportional to the first power
also on the generalized velocities qk (k = 1 , . . ., n), then the equalities Qi = 0
must hold when the coordinates qk appearing in the expression for Q iare rep-
>
of the velocity - 2 j i (c 0, f > 0).
The point x = O will be a stable position of equilibrium. We first consider
laced by the coordinates of an equilibrium position, and the generalized velo-
cities are assumed equal to zero.
the case when the coefficient of t h e force of resistance is small: 0< f < v&.
168 Stability of Equilibrium and the Motions of a System [Ch. 5 Sec. 331 Lagrange's Theorem on Stability of Equilibrium Position 169
S . .
Then the differential equation of motion mx+ 2fx+ cx-- 0 has the general tions of motion and their investigation are extremely involved i n
solution more complicated (for example, nonlinear) problems. Of interest
therefore are criteria of the stability of an equilibrium position
that do not require preliminary integration of the differential
equations of motion of the system.
As far back as 1644, Torricelli knew that the position of a system
of bodies acted upon by gravity would be stable if the centre of
gravity of the system occupied the lowest of possible positions.
From this, for any value of t , Lagrange generalized this principle of Torricelli to the case of arbitrary
m potential forces and established a criterion for the stability of the
equilibrium position of a conservative system:
and Lagrange's theorem.* If in some position of a conservative system
the potential energy has a strict minimum, then this position is the
position of stable equilibrium of the system.
provided that I xo I < 6, and I ioI < 8, where, for example, Proof. Without loss of generality we may assume that all the
coordinates q,, . . ., qn and the potential energy II (qi, . . ., q,)
are equal to zero in the position under consideration; that is,
Q , = . . . - qn = 0, and (0, . . ., 0) = O.** Since in the given
position of the system the function II has a minimum, the general-
But if f 2 fi,
.. . then the general solution of the differential equation of
motion m z + 2 f x + c x = O has the form
ized forces in this position are zero:
X =ci,-v1(t-to)+ ~~~-V?(t-to)
where i.e. the point q, == . . . = q, = 0 is the equilibrium position of the
system. Further, from the fact that the value of II (0, . . . , 0) = 0
is a strict minimum i t follows that in a certain A-neighbourhood
of the equilibrium position
Whence, for any value of t ,
ing the differential equations of motion of the system. These final * This theorem appeared i n Lagrange's MEcanique Analytique (Ist ed.,
equations of motion gave us the dependence of the deviations of qi 1788), but a rigorous proof of the theorem was first given b y P. G. Lejeune Di-
richlet. For this reason, the theorem is frequently called Dirichlet's theorem.
and the generalized velocities qi upon the time t and the initially ** The potential energy II is determined up t o an arbitrary additive con-
stant. We choose this constant so t h a t the value of II should be zero in the equi-
.
given qj, qq (i = 1 , . ., n). The determination of these final equa- librium position.
170 Stability of Equilibrium and the Motions of a System [Ch. 5 Sec. 331 Laeronae's Theorem on Stability o f Equilibrium Position 174
From the inequality (4) and from the fact t h a t T > 0, if a t Therefore if the initial coordinates and the initial velocities satisfy
least one of the generalized velocities qi is not equal to zero * the inequalities (2), the initial energy E. < E*. But in the motion
i t follows that, always, of a conservative system, its total energy retains the initial magni-
tude E. and consequently E < E * during the whole time of motion.
E>O For this reason, when a system is in motion, the point depicting
when (3) holds, provided that all the 2n quantities qi, di this motion in state space cannot attain the boundary of the E-neigh-
bourhood on which E > E * and all the time lies inside this neigh-
(i = 1, . . ., n) do not vanish simultaneously; i.e. the total energy
bourhood.
E (qi, qi), while vanishing a t the origin 0 of a 2n-dimensional The theorem is proved.
state space, has a strict minimum (equal to zero) a t this point. Note two things with regard to this theorem.
Note 1. The Lagrange theorem remains valid for a nonconserva-
E~E' tive system that is obtained from a conservative system by the
I .* I
addition of gyroscopic and dissipative forces. Indeed, first of all
note that the equilibrium position is preserved if gyroscopic or
dissipative forces Q ~ ( qk) ~ ~are, added t o the system. For these
forces
Note 2. The equilibrium position of a conservati,ve system will since for an arbitrarily small (in magnitude) initial velocity along
also be stable when the potential energy II in this position has the x-axis, the point will execute uniform motion along the x-axis.
a nonstrict minimum, but in any &-neighbourhood of the equilibrium In the Examples 1 and 2 given on page 167, a conservative system
position there exists a closed hypersurface was considered, and in Example 3 (page 167) a dissipative force
acts on a particle as well. The potential energy has a strict minimum
that contains the equilibrium position within it and has the property
that on this hypersurface the values of the potential energy are
strictly greater than the value of II in the equilibrium position.
Indeed, as before, in the equilibrium position let q, = . . . - -
= qn = 0 and II (0, . . ., 0) = 0. Also, let the equation of the
hypersurface (9) be chosen so that for points located inside the
closed hypersurface (9) the following inequality holds:
.
where IIh (gi, . ., g,) is a homogeneous function of the kth degree Consider the auxiliary quadratic form
+
(k = m, m 1 , . . .), and the lowest of the powers of terms actual-
l y appearing in the expansion is m > 2, since all (%) = 0 in the
dqi o
position of equilibrium.
Lyapunov's first theorem. If the potential energy II (gi, ., g,) ..
of a conservative system in a position of equilibrium does not have where ~ k = l for a h > 0 and ~ h = - 1 for a h < 0 ( k = l , ..., n),
a minimum and this circumstance may be seen from the second- and the number p>O.
degree terms 112(g*, ..
., g,) of the expansion (l)*, then, the given I t is verified directly t h a t , by virtue of equations (3) and equa-
position of equilibrium is unstable. lity (4).
Proof. In the expression for the kinetic energy T = 2-
1
n
2 ..
aihqiqh,
n
i, k=i
expand the coefficients a i k (gi, . . . , qn) in a power series of coordi- when a system is in motion.
n
..
-;- -
nates and denote by afk the absolute terms (i.e. the values of t h e
functions aik (g,, . . ., g,) for g, . . . = q , 0). Then, putting
Without loss of generality, we assume that a, < 0, and t h a t
is the largest of the negative numbers Ak. The positive number p
To=
1
2 a;hqiqlz, we will have
is chosen so that the following inequalities hold simultaneously:
From the first inequality i t follows that the sum of the right-
here and henceforward we shall use the symbol (*) to designate hand side of (5) is a positive definite quadratic form. But then,
the sum of the terms having a higher order of smallness relative for €lk and i)k sufficiently small (in absolute value),
to the coordinates and velocities than the terms written out earlier.
Since To is a positive definite quadratic form with constant coef-
ficients, i t is possible, by means of a nonsingular linear transforma- the right-hand side of (5) will always be positive, i.e.
tion of the variables, to simultaneously reduce the two quadratic
forms To and nz to a sum of squares, after which the expansion
for T and II in the new variables €li, . . ., 0 , will take the form*"
whence
or
Since the quadratic form ]IT, assumes certain negative values, a t Put all the initial values Q;, 0; (k = 1 , . . ., n) equal to zero,
least one A,+ <0. with the exception of O;, which we shall take, in absolute value,
The Lagrange equations may be written in the coordinates 8k less than A . Then, using expression (4) and the second inequality
thus of (6), we find V. > 0. But in that case the motion will definitely
go beyond the limits of the neighbourhood of (7), however small
/ 0: 1 may be, since otherwise i t would follow from inequality (8)
that lim V = oo, while the quadratic form V in the neighbourhood
* That is, m = 2, and n2is a quadratic f o m assuming negative values (per- t-rm
haps along with positive values). of (7) is bounded.
** The coordinates et, . . ., 0, are called normal or principal coordinates. The theorem is proved.
They will be considered in more detail in Sec. 41.
176 Stability of Equilibrium and the Motions of a System [Ch. 5 Sec. 351 Asymptotic Stability of Equilibrium Position 177
For the case when m > 2, in expansion (1) we can use the following are satisfied. In a geometrical interpretation (Fig. 44), this signifies
two theorems that are given without proof.*
Lyapunov's second theorem. If the potential energy ll of a conserua- that in the state space (qi, qi) all trajectories emanating from the
tive system for q, = . . . = q, = 0 has a strict maximum and this do-neighbourhood of the origin 0 asymptotically approach t h e point
circumstance may be determined by proceeding from the .terms of lowest 0 as t - t m .
.
power of H, (q,, . ., q,) (m >,2) in the expansion (l),** then the Of the Examples 1 , 2 and 3 examined on pages 167-168, only in
Example 3 is the stable equilibrium position asymptotically stable.
position q, = . . . = q, = 0 is an unstable position of equilibrium of
the system. We shall consider scleronomic systems under the action of the
~ h e t a ~ e v 'theorem.
s If the potential energy ll of a conservative an
potential forces -- and the nonpotential forces Gi . .
(i = 1, . ,n)
system is a homogeneous function of the deviations g,, . . ., q,, and aqi
in the position of equilibrium qi = . . . - - q, = 0 does not have
a minimum, then this equilibrium position is unstable.
Example 1. Let II=A(I-cosaq); n = 1 . Tllc function II has strict minima
2kn
a t the points qzk=- and strict maxima (k=O, % 1, _t 2, ...) at the points
a
(2k- l ) n
Yzk-I =
- m, . The last circumstance follows from the form of the
lowest-order term in the expansion i n powers of the deviations
Then, according to the theorems of Lagrange and Lyapunov, to the points assuming that the potential energy and the nonpotential for-
qzk there correspond stable equilibrium positions, and to the points qzk-l,
unstable ones. ces Qi do not depend explicitly on the time:
Example 2. II = Aq, . . . g,. From Chetayev's theorem it follows that
the position qi = . . . = q,, = 0 is an unstable position of equilibrium.
In this case the time t does not enter explicitly into the Lagrange
35. Asymptotic Stability of an Equilibrium Position. equations, which m a y be written in the following form (solved
Dissipa ti ve Systems for the generalized accelerations) (see Sec. 7, page 47):
Now introduce the concept of an asymptotically stable position
of equilibrium. An equilibrium position is termed asymptotically
stable if it is stable and if, besides, for sufficiently small (in absolute
value) initial deviations and initial velocities, all deviations and In the case under consideration, the total energy E of the
velocities tend to zero as the time t increases without bound, i.e. scleronomic system does not contain the time explicitly:
if there exists a number 6 0 > 0 such that
lim qi (t) = 0, lim qi (t) = 0
t+w t+m Computing its total derivative with respect to the time when the
(i=l, ..., n) system is in motion, we find
every time the inequalities
* The reader will find the roofs in the books bv" L "v a ~. u n o v1161.
- - Chetavev
.
Thus, a t every point of the state space (gk, qk), not only the
[5], and Malkin [18].
** That is, in a certain neighbourhood of the origin (excluding the origin total energy but also its total derivative with respect t o the time
.
itself) always II, (gi, . ., g,) < 0. This is only possible if m i s even. has a definite value.
4 78 Stability of Equilibrium and the Motions of a System [Ch. 5 Sec. 351 Asymptotic Stability of Eauilibrium Position 179
..
If the forces Qi (i= l, . , n) are dissipative forces (see Sec. 8), neighbourhood in which condition (8) of Sec. 33 (a0,<6) is fulfi-
dE
then =,<0 when the system is in motion, i.e. in the region of lled. We consider one of the motions initiated in the do-neighbo-
-- - 0
urhood. Since, given motion, the energy E diminishes, i t follows*
state space under consideration the fur~ction E' (qk, qA) assumes [.hat
on1y nonpositive values. lim E (t) = E , >/ 0
In the case of a definite dissipative system (see Sec. a),
l-tm
xt
dE
= E' (qi, qi) vanishes only a t those points of the state space
and E (t) 2-Em (t 2 to). First assume that E , # 0, i.e. E, > 0, and
consider the sequence of the values of the time t, -+oo and the
(gi,qi) where all qi = 0, i = l , . .., n. We shall assume that the sequence of values of the phase coordinatss
q i = q 2 = . . . =qn=O and I I ( 0 ) = 0 By hypothesis, the point (qT, q5) does not coincide with the coor-
dinate origin, where E = 0.
in the equilibrium position. As in the proof of the Lagrange theorem,
choose in the state spaLe an &-neighbourhood of the coordinate origin ..
Let us take the point (qf, g?), i = l , . , n for the initial point
0 in which the energy E is positive, ol motion when t = to. Since this point does not coincide with the
point 0 , i.e. i t is not an equilibrium position, then when the
system is in motion a t least one of the generalized velocities ii
a t all points different from 0 and in which there are no equilibrium will be different from zero and for this reason - d E (0. Rut then
states different from 0. dl
for some t = t, the inequality E < E , will hold.
Since according to the Lagrange theorem, the position of equ- Further, let us consider the motion of a system starting a t
.
ilibrium g, = . . = q, = 0 is stable, for any E >0 i t is possible
to indicate a G(&)> O such that all motions occur inside the t = to from tho point (qlh), g/h)).
By virtue of (7), the values of
&-neighbourhood of the point 0 if the initial point is chosen in * This limit exists by virtue of the fact that E (t) i?:a continuous
the G-neighbourhood (Fig. 4 5 ) . For the Go-neighbourhood take the monotonic decreasing nonnegative function.
Sec. 551 A s u m ~ t o t i cStabilitu o f Eauilibrium Position 181
180 Stability of Equilibrium and the Motions of a System [Ch. 5
An investigation of the motion of a scleronomic definite dissipative
and for sufficiently large k, will be arbitrarily close to the system in the neighbourhood of its asymptotically stable equilibrium
position will be given in Sec. 46.
values of qr and qr respectively. Consequently, for sufficiently Lyapunov proved a theorem that generalizes the Lagrange theo-
large k, the values of the phase coordinates for t = t, will also be rem. He noticed that in proving the Lagrange theorem 'it is possible,
arbitrarily close i n the case of motions starting, when t = t o , in place of the energy E , to take any continuous (with continuous
from the initial points (qj", #') and (qf, h)
(the solutions of the first-order partial derivatives) function V (qk, i k ) which has a strict
systems of differential equations are continuous functions of initial minimum in the equilibrium state and which does not increase
data). Therefore, at t = t, the inequality E (t,) <E, will hold for under any motion of the system.
a motion that started, when t = t o , from the point (qe), qj*) since Compute the time derivative of the function V by taking advantage
the total energy E is a continuous function of the phase coordi- of the equation of motion (3):
nates. But by virtue of the uniqueness of the solutions of the
Lagrange equations, the state (at time t = t,) of a system that
a t t = to started from a n initial point (qik), qik)) i = 1, . . ., IZ,
coincides * with the state a t time tk+t, of a system which a t One thing that follows from this formula is that the function V'
t = to started from the initial point (qlo), qjo)), i = l , . ., n; for. vanishes a t the coordinate origin 0 of the state space, since the
+
this reason, the value of the energy E (tk ti) that interests us .
point 0 corresponds to the state of equilibrium in which all the
.
must satisfy the inequality qi = 0 and all the qi = Gi= 0. If the functisn '1 does not increase
I +
E (tk 4 ) <E m dV
in any motion, the-a t = V' (qk, qk) \< 0. In this case, the function
1 but this is impossible, since E (t)> E, for any t >to.
We have thus arrived a t a contradiction by assuming that
V' has a maximum in the state of equilibrium 0. Now if this maxi-
mum is strict, then in the neighbourhood of the point 0 (with the
E, # 0; hence, exception of the point 0 itself) V' < 0 , and when the system is
E, = O and l i m E (t) = O (8) in motion within the limits of this neighbourhood, the function V
t+m
decreases strictly.
Since, by virtue of the inequality ( 6 ) , the equality E = 0 occurs I t is now possible to repeat almost literally the proof of the
only a t the point 0, it follows from (8) that as t -+ oo the point Lagrange theorem, using the function V in place oi E . In the case
depicting the system in state space tends to the coordinate origin, of asymptotic stability (for example, for a dissipative system), the
which means that the relations (1) hold. The theorem is proved. proof will even be simpler... if we demand that in the equilibrium
dV
1 .
In Example 3 on page 167, E --5- mxz + -X1 czz and position the derivative have a strict extremum of a type opposite
to the extremum of the function V.*
Note also that i n formulating the stability criterion, the words
LLminimum"and "maximum" can be interchanged, since substituting
since f > 0. The system is definite dissipative and the equilibrium position is the function -V for the function V returns us to the earlier formula-
isolated; this follows from the equation of motion when substituting the solu- tion.
tion X = const. By virtue of the theorem, the position of equilibrium is asymp-
totically stable. Thus the following theorem has been proved:
Theorem. If there is given the equilibrium position of a sclerono-
* Since the time t does not appear explicitly in the equation of motion (3). mic system that is under the action of forces which do not depend
choice of zero time is immaterial. Therefore, if in place of qin), $2) we take for the * In the proof of the theorem on the stability of a dissipative system, the
initial state q y ) , i = 1, ..
., n, then the system will subsequently pass dE
derivative - did not have a strict maximum in the equilibrium position. In
at
through the same states as in the initial motion, but a t different instants of this connection we had to stipulate that the equilibrium position was isolated.
time.
182 S t a b i l i t y of E q u i l i b r i u m and the Motions of n S y s t e r ~ ~ [Ch. 5 S e c . 361 Coaditionnl S t a b i l i t y 183
explicitly on the time, and there exists a function V (q,, q,) that Such a solution presupposes that the right-hand sides of equa-
is continuous together with its first partial derivatives and that t,ions (2) satisfy t,he condition
has a strict extremum in the given state of equilibrium, whereas
the derivative V' of V with respect to the time (computed by the
equations of motion) has in this same state an extremum of the From the mathematical point of view it is a question of the stabi-
opposite type, then the equilibrium position under consideration lity of a zero solution of the system of differential equations (2),
i s stable. If the extremum of the derivative is also strict, then the this stability being defined as follows: for any E > 0 there exists
equilibrium position is asymptotically stable. a 6 = 6 (E) > 0 such that
The function V (g,, q,) spoken of in the theorem is generally for any t 2 to
called the Lyapunov function. I x i ( t ) I < ~ (i==l, ..., m ~ ) (5)
a s long as
36. Conditional Stability. General Statement Ixi(to)/<6 (i=1, .s.,uc)
of the Problem. Stability of Motion or of
an Arbitrary Process. Lyapunov's Theorem For a geometric interpretation of the inequalities (5) and (6),
use is made of the E- and K-neighbourhoods of the coordinate origiii
Inequalities (l) and (2) (see page 166) that define the stability in the m-diinensional space (xi, . . ., X,,). In the case of asymptotic
of an equilibrium position involved all the deviations qi and all stability we also require the existence of a 6, > 0 such that
the generalized velocities qi. However, in many problems we encoun-
ter a conditional stability when the indicated inequalities hold
for certain of the 2n quantities qi, . . ., q,, ql, . . ., q, or, in a
more general statement, for certain functions xi, . ., X,, of these .
quantities:
If the stability (not conditional!) of a n equilibrium position
xi=fi(¶kr¶k) ( i = L . . . , m ) (1) is under study, then for xi, . . ., X,, we can take the quantities
I t is also assumed that all the functions (1) vanish for
. . . .
81. . ., q., qv . ., L or qi, . ., q., p i , . ., P?. 1" the former
qk-0 ( k = l , ..., n), i.e. fi(O, ..., 0 ) = 0 case, the equations (2) are the Lagrange equations wrltten as a system
of 2n first-order differential equations in the unknown functions
and satisfy the autonomous * system of ordinary first-order
differential equations ** .
q!, . ., p., I n the latter case, equations (2) are the canonical equa-
tions of Hamilton:
In both cases the stability of the zero solution of the system of diffe- Corollary. If the system of differential equations (2) has an
rential equations (2) is determined by a theorem that is a direct integral V (xi, . . ., X,,, t) [which is not dependent on t in the
generalization of the theorem given a t the end of Sec. 35. stationary case and is periodic with respect to t with period T in
Lyapunov's Theorem. If in the stationary or the periodic case the periodic case] and this integral has a strict extremum a t the
there exists a function V (xi, . . ., X,, t) continuous together with point xi = . . . -
- X,, = 0 for any fixed t, then the zero solution
its first partial derivatives i n the region (3), which function, for any of the system (2) is stable.
t considered as a parameter, has a t the point xi = . . - X, = 0 . Note that in proving the Lagrange theorem for a conservative
a strict extremum, whereas again at the same point, and for any t, system, use is made of the energy integral E.
n Now let us consider motions or more general processes described
its time derivative V' (xi, . . ., X,, t) 2 aya v Xi av
= has a n extre- by the system of first-order differential equations
i= i
mum of opposite type, then the zero solution of the system (2) is stable.
Now if the extremum of the derivative V' is also strict, then the zero
solution of the system (2) is asymptotically stable. Here it is assumed where the right-hand sides are continuous functions in some region
that in the stationary case the function V is not expliciily dependent .
of variation of the variables zi, . ., z,,, for t >, to that satisfy
on the time t, but i n the periodic case this function is periodic with the conditions of existence and uniqueness of solution on the basis
respect to t with period T [T is the period of the right-hand sides of of the initially given zi (to) (i = 1 , . . ., m).
equations (2)l. Let (t) (i = 1 , . . ., m) be a solution of the system of equations
6
I t suffices to prove this theorem for the periddic case since the (10) defining some process. To elucidate the question of thestability
stationary case may be regarded as a special case of the periodic of this process, we introduce new unknown functions or "deviations",
with any T. The proof consists in repeating the reasoning given in place of the unknown functions zi, . . ., z,:
earlier in the proof of the Lagrange theorem and the theorem on
asymptotic -stability with the following modifications: in place of
E we now use the difference Then in the new variables, the system of differeatial equations (10)
will he written in the form of the system (2), where
and in place of the space (qi, qi) we take the m-dimensional space
(xi, . . ., X,). We regard t, which appears in V, as a parameter. The zero solution xi = . . . - - X,,, = 0 of the system of differential
This parameter, by virtue of its periodicity, may be varied in the equations (2) corresponds to the solution zi = Li(t) (i = 1 , . . ., m)
finite interval to ,< t ,< to + T. Because of this circumstance, the
of the system of differential equations (10) in the new variables.
presence of the variable t in V does not give rise to any complica-
tions in the proof of the theorem. This circumstance permits the question of the stability of the
Note that in the general (nonstationary and nonperiodic) case, process ii(t) (i = 1 , . . ., m) to be reduced to the problem, which
more rigorous conditions [see 51 must be imposed on the Lyapunov we have already studied, of the stability of the zero solution of the
function. system of differential equations (2). In other words, the solution
We note one special case of the Lyapunov theorem, which is zi = zi (t) (i = 1 , . . ., m) of the system (10) is called stable (or
frequently used as a test for simple (nonasymptotic) stability. correspondingly, asymptotically stable) if the zero solution
Let the function V (xi, . . ., X,, t) be the integral of the system xi = . . . -
- X, = 0 of the system of equations in deviations (2)
of differential equations (2), i.e. the function V becomes a constant with the right-hand sides defined by the formulas (12), is stable
upon substitution into i t of any solution of the system (2). I n this (or correspondingly, asymptotically stable). All this opens up a
---
case -
dV
= V' (xi, . . ., X,, t) 0, and it may be taken that the wide field for application of the Lyapunov theorem given in this
dt section. This theorem may be used to determine not only the stability
function V' has a maximum and minimum (nonstrict, of course) of an equilibrium position, but also the stability of motion, i n
a t the point xi = . . . - - X, = 0 for any t. For this reason, we general, of any process defined by a system of ordinary differential
have the following corollary to the Lyapunov theorem: equations.
181i Stability of Equilibriam and the Motions of a System [Ch.-
5 Sec. 361 Conditional Stability 187
Example 1. Consider the inertial rotation of a solid having a fixed point 0. (the axis of dynamical symmetry) of the shell is defined by two angles: angle a
Euler's dynamical equations in this case have the form formed by projection exi of the axis CE on the Cxy-plane with axis Cx, and
angle between Cx, and C%(Fig. 46). By successive rotations through the angle
a and through the angle p, the trihedron of axes Cxyz passes into the trihedron
CF,qc. A supplementary rotation through the angle cp about the axis C t carries
!<ere! p , q, r are projections of the angular velocity w on the principal axes of
mertia of the solid, OE, Or),05; and A , B, C are the moments of inertia about
these ases.
Equations (13) allow for the following three particular solutions defining
permanent rotations of the solid about the principal axes:
We confine ourselves to working out the stability of rotation 1°, since 2'
and 3" may be written as l0with the axes labelled differently. Here, the stability
of the solution l0 of Euler's equations (13) will determine the conditional sta-
bility of rotation of 1" with respect to the angular velocity o.*
Form the equations in the deviations, putting xi = p - p o , x2 = q, 2 3 = r :
Fig. 46
Let the major.or minor axis of the ellipsoid of inertia be along the axis 05
of the permanent rotation under study. The fact that A , B, and C are inversely the trihedron CtqG into the trihedron of axes fixed in the shell. Therefore, the
proportional to the squares of the axes of the ellipsoid of inertia means that angular velocity CO of the shell consists of three components:
A < B. C or A >B, C. For the Lyapunov function, let us take the function
v=(Ax:f ~xe+Cx;f 2Apoxi)azk [B (B-A) zg+C (C-A) X!]
where oi = a, oz=P and ~ 3 (P. = The projections of the angular velocity on
whcre the plus sign is taken for A < B, C and the minus sign for A > B, C. the principal axes of inertia Ct, C q , CL are defined by the formulas
The function V vanishes at X, = x2 = xa = 0 and is positive in the neigh-
bourhood of this ~ o i n t .that is. the function V has a strict minimum at this
point. On the other hand, it is readily verified that = 0 by virtue of the
UL q=-p, r=acosp
equations (14), i.e. the function V is an integral of the system of differential
equations (14). For this reason, in accord with the corollary to the Lyapunov Denoting by A the axial and by B the equatorial moment of inertia of the
theorem. vermanent rotation about the maior or minor axis of an elliosoid of shell, we get the following expression for the kinetic energy:
inertia isAstable. 1 4
I t is also possible to show that permanent rotation about the mean axis
of an ellipsoid of inertia is unstable, but this would require use of the instabi-
T = -2[ A ~ ~ + B (qz+rz)] =-2 [A (i+& (fb+&~ cos2 p)]
sin P ) ~ + B
lity test of Chetayev [5]. We shall assume that besides the force of gravity there is applied, a t point D
Examole 2. Bv wav of illustration. consider the oroblem of stabilitv of on the axis of the shell (in the %entre of pressure3?),the force of air drag R,
rotationai motion"of a; artillery shell. ' which is constant* and directed opposite to the velocity w , i.e. in the negative
To simplify the problem, assume that the centre of gravity of the shell C direction of the x-axis. Let 1 = CD, and y be the angle between the axes Cx
is in rectilinear motion along the horizontal x-axis with constant velocity and Ct. Then the moment. of the force R about C is equal to R1 sin y , and the
v=const. Let Czy be the vertical plane of firing. The position of the axis CF, elementary work of the force R will be
8 A =R1 sin y6y = -6 (R1 cos y)
* Stability with respect to o means that a small change in the initial angu-
lar velocity ooinvolves a small change in the vector o throughout the motion.
In other words, this is stability with respect to deviations xi = p - pot z, = * R is a function of v, R =f (v), and so from v=const it follows that R =
= q, 1 3 = r. Naturally Euler's angles steadily increase here.
= const.
188 Stability of Equilibrium and the Motions of a System [Ch. 5 Sec. 371 Stability of Linear Systems l89
The first integral is the energy integral; G, and GE are projections of the
>
A2p2 4BRl
kinetic moment G , on the axes Cx and Ct. The constancv of G,, when the system This is the condition that ensures the stability of rotational motion of the
is in motion, follows from the fact that the moment of the force R about the
Cx-axis is zero. The third integral expresses the constancy of the generalized shell (for "deviations" a , P,&,B) because if this condition is fulfilled it is pos-
momentum Ap, which corresponds to the cyclic coordinate cp. Note that (see
Fig. 46)
. .
sible to select a real value of h for which the integral Wi - kWz will have,
at a = j3 = a = j3 = 0, a strict minimum equal to zero.
+
G, =GE COS ("g) +G,, cos ( q ) +G% cos (X<)= Ap cos (IQ Bq cos (xq) +
+ +
Br cos (xc) = Ap cos a cos $ B ($ s i n a -U cos a cos 3j s i n p)** 37. Stability of Linear Systems
Combining the first two integrals with the third and using the expressions In the preceding section i t was shown that the investigation
and W z that vanish for a =P =a = P =0:
.
obtained for T, II, and G,, we find the following two integrals of motion W,
. of the stability of any process defined by a system of ordinary
differential equations* reduces t o investigation of the stability of
1 .
+
W, =7 B (a2 cos2 $ $2) +R1 (COSa cos j3-1) = const, the zero solution of a system of deviation equations.
Let the differential deviation equations be linear and have constant
+
FV2= B ($ sin a-a cos a cos P sin j3) Ap (cos a cos j3-1) = const coefficients
n
We shall seek the fixed-sign linear combination of integrals of motion
W,--kW2. First, determine in W , and W Z the terms of lowest degree in the
m .
small quantities a , j3, a, p:
We shall seek a. special solution of this system in the form
. .
W,=B(j3a-aj3)-TAp(a2+j32)+
1
...
then
Putting expressions (2) into equations (1) and cancelling out eht,
W , --hW,=
1
-
2
+ (Aph-RI) p]+
[B&+ ~ B X & we get relations that connect the desired quantities ui and A:
1
A ,a2.i a22 . . . a2n
we find
n
Then, in place of (1) to (3) and (5) we can write* Eliminate the constant c, from (7) and (8):
dx
-- n
dt -Ax,
X = ueht,
A u = h u (u#O), Again multiply this equality from the left by A and use the
equality obtained, together with ( g ) , to eliminate c2 and so forth.
det ( A - h E ) = O We finally get
where, E = j l 6 i ~ l l ~ R , ~is= the
~ unit matrix. .
(hn-hi) (hn -h2) . . (hn-An-i) cnun 0 (10)
* When lnultiylying the squarematrix A by columnx, we nlultiply elements whence c, = 0. Since all the terms i n (7) are equivalent, i t follows that
of the ith row of A by the corresponding clement of column z and add all these
products. The sum thus obtained is the ith element of the column product A z .
dx .
The derivative of the column - is obtained by differentiating each element i.e. there is no relation of the form (7) between the eigenvectors
dt
of the column X. 2 t 1 , u 2 , . . ., U,, and these vectors are linearly independent.
192 Stabilitu of h'ouilibrium and the Motions of n Sustenz [Ch. 5 Sec. 381 Stabilitrl in Linear Approximation 1'33
of motion mx
..+ +
cally stable. Indeed (see Example 3 on page 167), the differential equation
2fx cx = 0 ( m , c , f > 0) may be written in the form of
of a nonlinear system.* This proposition finds broad applications
since the investigation of linear systems is substantially simpler
than that of nonlinear systems.
* The number a > 0 i s sometimes called the degree of stability. * I t was assumed hcre that the right-hand sides X i( X , , . . ., X,, t ) are con-
** If all Re hh ,< 0 (k = 1, . . ,, n ) and if in a t least one of these relations tinuous functions. At the present time it i s known what is t o be understood by
there is an equal sign, then the solution X = 0 will be stable, provided t h a t i n lincar ap roximation for discontinuous right members of Xi, and a n appropriate
(12) there are no secular terms in all summands where Rehk = 0. Otherwise, criterion g a s been established for stability based on a linear approximation both
he solu tion X = 0 will be unstable. i n tlic periodic case and i n certain nonperiodic cases.
194 Stability of Equilibrium and the Motions of a System [Ch. 5
Sec. 381 S t a b i l i t ~ in Linear Approsimation 195
We will confine ourselves to a consideration of the stationary where 3Li, . . . . 3Ln are characteristic numbers of the matrix ,4,
case and here we will write the system (1') in the matrix form in while the moduli of the "nondiagonal" coefficients b , , (i < k) may be
order to prove our assertion: made arbitrarily small by a suitable choice of transformation (5). *
The transformation (5) is applicable to the nonlinear system ( l v ) .
The system (1") will be written in new variables as follows:
Here, A = 11 a i k 1: k = i is a square matrix with constant elements,
and f (X) is a column with elements f i (X,, . . . , X,) (i = 1, .... n).
Since by assumption the zero solution of a linear approximation
is asymptotically stable, i t follows (see Sec. 37) that all the cha-
racteristic numbers A,, .... 3Ln of the matrix A have negative real
parts
max Re3Lk= -a<O
i<k<n
Let us agree to denote the "length" 01 the column vector ;ir wit1h
where the column g ( @ with elements g i ( y ) , .... .gn(!/) is defined
hy the equality
comp~nenLsz,, .... Z,Lby I n~ I:
- t g (y ) = U-lf ( ET!)) (8)
and satisfies the icequali ty**
IY(v)I<TIYI (9)
Since each element of the column f (X) begins with terina of where the number g (like the number E) may he made arbitrarily
second degree, i t follows that small by choosing a sufficiently small neighbourhood I X l < A (and,
If ( x ) I - < E I x I (l9 respectively, 1 y l < A,).
Then, in accordance with equations (7) and inequalities (2) and
where the constant E > 0 may be chosen arbitrarily small if we (g), we find***
confine the variation of the variables XI, ....
r, to a suf5cieritly
sniall neighbourhood I X l < A.
The prool* of: the assertion of Poincarl and Lyapunov inay be
huilt upon the following lemma:
Lemma. Using the linear nonsingular transformation of variables
X = U?) (det U # 0 ) (5)
dr
the linear system of differential equations L=:
dt A x may be reducetl
to the "triangular" form **
* The proof of this lemma is given on pages 196-197.
** If we define the norm of the matrix d = 11 aik 1:) by the equality
n -1
(1 A 11 = ( 2
i, k = i
I aik 1 2 ) ~i t will be easy to verify tl e truth of the inequality
I A ~ l S l l ~ l l l ~ l
Therefore, from inequality (4) and equality (8) i t follows that
* See J . J . Stoker, Nonlinear Vibrations in Mechanical unrl Electrical Sy- I s ( v ) l S l l c-lllIf 0 2 l ) I < & I I U-lIIII VIIIarI
stems, London, Interscience Publishers, 1950. and, thus, i n icequality (9) we can put
** As a result of the transformation (5 , the matrix of coefficients A is rep-
2
laced by the matrix U-lAU, which is o triangular form. q=Il UII l1 u-lll&.
*** By yk we denote a cuinber that is complex conjugate t o yk ( k = l , ..., n).
13*
Sec. 391 Criteria of Asymptotic Stability of Lineor Systems 197
196 Stabilitu of Eouilibrium and the Motions of a Sustem [Ch. 5
Therefore, the transformed system of differential equations
k= i
has the solution by (14),
Choose positive numbers 6 and q so that the inequalities a - 6 > 0 which is only possible when b;,= Ii aild b;, = ... = b;li= 0, i.e. when the
and <a-6 hold; then from (10) i t follows that system (16) has the form (13).
Since i n a linear nonsingular transformation. the characteristic equation
of the matrix A does not change,* the matrix 11 bjk 1; has as its characte-
ristic numbers the remaining n- l characteristic numbers ( I z , .... I n ) of
i.e. the solution y = 0 of the system (7) is asymptotically stable. the matrix A.
Applying a similar transformation to the system of the last n-1 equations
But the vectors X and ?j are connected by the linear transformation (13) and so forth, we can finally, with the aid of a nonsingular linear
(5); therefore the solution X = 0 of the system (1) is asymptotically transformation, reduce the initial system of differential equations to the form
stable.*
Proof of the lemnza. First we shall show that with the a i d of a transfor-
mation S = U(1) z of the form (5) i t is possible to reduce t h e system of
differential equations
dx
-=As
dt (12)
to a form i n nhich: (a) the first variable zl does not appear on the right
of all equations beginning with the second, and (b) i n the first equation the
coefficient of z, is equal to the characteristic number Ii of the matrix A ; Finally, we perform the transformation of variables
i.e. to t h e folloning form:
z k = p k y k (p>O; k = 1 , .... n)
Then the system (17) will be replaced by the system (6) i n which the off-
<
diagonal coefficients bik=pk-ibik (i k) may be made arbitrarily small i n
absolute value if the number p > O is chosen sufficiently small. The lemma
is proved.
Since, by the inequalities (2), each term in the last part of (3)
has positive coefficients, i t follows that in (1) all the coefficients be valid. (Here, as before, Ak denotes the EIurwitz determir~antof
are positive. The positivity of all coefficients is a necessary (for the k t h order.)
a. > 0) but by no means sufficient condition for all roots of the We shall now get acquainted with the geometric criterion of
equation (1) to be located to the left of the imaginary axis. stability.
In 1875 the English mechanician Routh, with whom the reader 111 the equality*
is already acquainted, produced an algorithm by means of which n
it is possible, using the coefficients of the polynomial f (A), to find f (A)=ao k=fli (A-Ah)
out whether the polynomial is "stable", i.e. whether a l l its roots
have negative real parts. In 1895, the German mathematician replace A by io and let o vary from - m to + m . Compute the
Hurwitz, independently of Routh, established the very same criterion appropriate increment of the angle 8 =arg f (io):
in a modified form with the help of determinants (Hurwitz deter-
minants):
a, a, a, . . . . . .
a. a2 a, . . . . . . Now note that** (Fig. 47)
0 ai a,. . . . ..
0 a. a 2 . . . ...
A?: arg ( i o - Ah) = { A:
if E",*,=",
S . . . . . .
. . . . . .a * Here, the n roots 01 the polynomial f (h) are denoted by h,, . . ., h,.
(Here, a, = 0 for p >n everywhere.) ** We assume here that not a single one of the roots hk lies on the imaginary
axis.
200 Stability of Equilibrium and the Motions of a System [Ch. 5 Src. 391 Criteria of Asymptotic Stability of Linear Sgsten~s 201
Therefore, denoting by L and r the number of roots lyillg to the where n is the degree of the polynomial f (h) (see Fig. 48 for n = 6).
left and, respectively, to the right of the imaginary axis ( L -+ r = n ) , Note that for a stable polynomial* the argument 0 varies mono-
we will have tonically as o varies from 0 to CO. This follows from the fornlula
+m
A-,%(m) =(L-r)n rL
We consider the curve described by the affix* of the coinplex 0 (m)= h= i arg ( i o- 3Lk)
number f ( h ) as o varies from -CO to +CO. This curve decomposes
into two branches: on one w > 0, on the other 0 < 0. One branch since for such a polynomial each summand on the right-hand side
is a monotonic increasing function of to.
Fig. 47
l
Fig. 48
is obtained from the other by a rnirror mapping about the real axis,
since f ( i o ) and f (-h)are complex conjugate numbers. For this +
Example. Let f (h)= h5+5h4+ IOh3+ l l h z 7h+2. Then f (io)=U (W)-+
+ib' (W) where
reason, denating by A? the increment as o varies from 0 to CO, U (0)=5o4-11o2+2, V(O)=O(W~-1002+7)
we obtain
1 +m To construct the hodograph of f (to) we note that U (0)-2 and V ( a ) vanishes
AF%(o)=-A+,%
2
( ~ o ) = ( I - nr ) ~ (8) < <
at o .= 0 and a t m== o i , o = oz (0 oi wz); the squares of and o$ are
determined from the quadratic equation
-
Whence i t is seen that all the roots will be located to the left
of the imaginary axis ( L n, r = 0 ) when, and only when, o~=5-~?ii,--0.76; @=5+ v18a9.24
It will readily bc seen that Li (m,) < 0, U ( a z ) > 0. Besides, V' (0) = 7 > U.
Thus, for o = 0 the hodograph begins on the positive real axis, goes upwards
a t first, intersects the positive imaginary axis, then the negative real axis (at
o = a , ) , the negative imaginary axis, and, finally, again the positive real axis
Geometric criterion of stability.** For a polynomial f (h) 1 0 be (at o = o z ) When o > oz, the hodograph does not intersect the coordinate
stable, i.e. for all its roots to he located to the left of theiinaginary axes and goes off to infinity in the fifth quadrant ( U > 0, V > 0), since J L = 5.
axis, i t is necessary and sufficient:
(1) that the hodograph of f ( i w ) , ns o varies from O to m, should
Here, tan 0 = - -+ $ CO when o -+
U (0)
+ CO. Hence,
Small Oscillations
By hypothesis., IIo=O. Resides, the generalized forces i n the equi-
librium position are zero:
equations of motion, only the linear terms in the deviations and n=1 2 Cikqiqh f (**I t5)
the velocities, and higher-order terms may be rejected. Theii the i , k=l
difl'rrential equations of motion become linear, i.e. the problem is
Dropping terms of the third and higher orders of smallness i n
"linearized". I11 this section we will consider the linearization of
equations of motion for a conservative system. qi and qh in formulas (3) and ( S ) , we can represent the kinetic
The kinetic and the potential energy of a conservative system with and potential energies, as quadratic forms with constant coefficients:
l I
n degrees of freedom are expressed in terms of the independent
coordinates qi i n d the generalized velocities ii
(i = 1 , . . ., n) in
the following ma'nner:
n
.. where aih = ski, cih -- cki (i, k = 1, . ., n). .
T =T
1
2
i, k = i
aih (qi, . q,) qiqh, n = n ((l,, . . . , qn) (1) From the physic.al meaning of the kinetic energy i t is clear that
always T>O. Since we assume that the position of equilibrium
is not a singular point*, then always T > 0 if only not all gene-
As in the preceding chapter, we assume that the coordinate origin ralized velocities are simultaneously equal to zero, i.e. the quad-
qi = . . . = q, = 0 is a position of equilibrium and that in this
3 ..
position IT = 0. Expand the coefficients a i k (qi, . ., q,,) in series . ratic' form
i. k=l
aihqiqk= 2T is positive definite
in powers of the coordinates:
-
where aik aih (0, . . . , 0). (aih = ski; it k = I , . . . , n) are Constants.
Putting these expressions for the coefficients into formula (1) for
Further, in order to ensure stability of the given position of equi-
librium, we demand that (in accord with the Lagrange theorem)
thc kinetic energy, we have the potential energy have a strict minimum in the equilibrium
n
position. Since H, = 0, this means that in a certain neighbourhood
of the origin ,
n n
wliere by (**) we denote the sum of the terms of third and higher
orders in qi and qi (i = l, . ., n) . . * See footnote on page 47.
204 S m a l l Oscillations [Ch. 6
S e c . 401 S m a l l Oscillations of U Conservative S y s l ~ r n 205
But the quadratic form (8) is a quadratic homogeneous functioii
in the coordinates. Hence, inequality (8) holds throughout the space, Expaiiding the determinant, we get on the left-hand side a poly-
with the exception of the origin where this form vanishes. In other nomial of degree n in h. Thus, the square of the frequency h = o2
words, the potential energy is now represented as a positive definite of the desired harmonic solution (10) must satisfy the nth degree
quadratic form in the coordinates.* algebraic equation (13), which is called the secular equation or
Form the Lagrange equations by proceeding from the expressions Jrequency equation.
(6) for T and II: To every root h of (13) there corresponds a particular solution
(10) (for an arbitrary constant a ) of the system of differential equa-
tions (9). In this solution, o = J/h.
Write the above formulas in matrix form. We introduce two
We shall seek a particular solution of this system of linear diffe- symmetric positive definite matrices*
rential equations i n the form aii ... at,' . Cin
-
Cif
Indeed, assuming ?L = -+
itc we have A (v, v) >, 0 , and
A ( w , W ) >, 0. In one of these relations we have the sign >, since
-
1f h is real. then also the amplitude vector 71 # 0 that corresponds
to i t may be chosen real. Now, putting t* 7r in (23) and noting that
from U # 0 follows a t least one of the inequalities .L. # 0, # 0. * If we introduce into n-dimensional space an A metric, i.e. if we take
Then from equality (20) follows the equality (21). the square of the length of the vector zc to be the magnitude of the quadratic
Let us now prove: form
n
6". If h is a root of the secular equation det (C - hA4)= 0, and
u is the amplitude vector corresponding to i t !see (18)l A (m,U ' ) = aikujuk
i, k=i
then A (U,m') is the "scalar product" of the vectors U and U' in this metric.
* Unlike equalities 1' and 2", equality 3" holds only for a bilinear form Therefore, (3)expresses the following property of amplitude vector?: amplitude
with a symmetric matrix of coefficients. vectors corresponding to different roots of the secular equation are always mu-
** The bar marks the transition t o complex conjugate quantities. Property 4' tually orthogonal in the A metric.
is valid only for a symmetric matrix with real elements. ** By virtue of (25),A (U,26') = 0 takes place along with C (U,U') = 0.
Sec. 40) Small Oscillations of a Conservative System 209
203 S n ~ a l lOscillations [Ch. 6
But A ( u k ru j ) = 0 for k #j.and A ( u k , u j ) ) 0 for k = j. Therefore,
A(u, U) >O, we find from equalities (31) it follows that
* This was proved in Sec. 37 for the special case when A is a unit matrix.
210 Small Oscillations [Ch. 6 Sec. 411 Normal Coordinates 211
However, Lagrange was in error. As Weierstrass demonstrated Retaining i n II only t,he quadratic terms, we finally get
later, to each root A of multiplicity p there corresponds exact.1~I;
linearly independent solutions of the system of linear equations
(12), i.e. for each root Lj of multiplicity p it is possible to find p
linearly independent amplitude vectors. Thus, also in the case of
multiple frequencies there exist n linearly independent amplitude where
vectors, and the formula (30) which is formed with their help yields a = mla, c =mgl +?h2
a general solution in this case as well.
b= yh2
The oscillations
Write the equation of frequencies
q = = C 7 j ~ j ~ i n ( w j t + a j( )j = = l , . . ., ?L) (35)
that make up an arbitrary oscillation of a system are called principal
oscillations of the system. and one of two equations for determining the amplitudes i n the principal
A rigorous derivation of the formula (30) for the general case oscillations (these two equations are dependent):
(i.e. given multiple frequencies as well) with the aid of the so-called ui b
"normal" coordinates will be given in the next section. In this (c-ka) ui-Eu2=0, i.e. -=-
u2 C-ka.
derivation, the case of multipie roots of the secular equation is From the frequency equation we get
not specifically isolated.
Example. Coupled pendulums. The points of suspension of two identical
simple pendulums each of mass m and length l are located on one horizontal
straight line. Points of these pendulums, a t a distance h from the points of Accordingly, for the first principal oscillation ui - uz = Ci and
w = C i sin ( o i t + a i ) , c ~ z = C isin ( q t + a i ) (cpi=cp~)
for the second q = - u 2 = C 2 and
'pi =C2 sin (02t+ a2), 9)2= -C2 sin (02t+ a 2 ) (Q = - - v 3 )
I n the first principal oscillation both pendulums are all the time in one phase,
the spring is relaxed and the pendulums do not exert any effect on one another.
In the second principal oscillation the pendulums are all the time in opposite ,
phases.
Arbitrary oscillation is obtained b y superimposition of the two principal
oscillations:
+
pi =Ci sin ( q t a i ) +C2 sin (o2t +ad
Fig. 49
+
cp2= Ci s i n (oit a,)-C2 sin ( ~ ~ t + a ~ )
suspension (0 < h ,< 1) are connected by a spring of rigidity y ; the spring is 41. Normal Coordinates
relaxed when the pendulums occupy the vertical position. I t is required to deter-
mine the oscillation of the system in the vertical plane. Two quadratic forms
For the independent coordinates we take the angles cp, and cp2 formed by
the pendulums and the vertical (Fig. 49). I n the equilibrium position, cpi = cp2 =
= 0. Up to higher-order infinitesimals, the extension of the spring is equal to
h I sin cp2 - sin cp, I = h I cp2 - cpi I. Therefore, in the given case and
be reduced to the "sum of squares" i.e. the vectors M , , . . ., t i n are linearly independent.
Utilizing the simple expressions (4) for T and TI in normal
coordinates, form the Lagrange equations i n these coordinates:
Here, all h j > 0, since (see Sec. 40) the form C (p, q ) is also
positive definite. Each of these equations contains only one unknown function. The
Since the generalized velocities ii
and bj are connected by the general solutions of the equations (6) are known to determine the
harmonic oscillations
same relations which connect the qi and Clj:
-
where Cj and aj are arbitrary constants ( j I , . . . , n). Substitu-
ting these expressions into formula (5), we get a general formula
i t follows that i n the first of the equalities (3) we can replace qi for oscillations:
n
p= r,i ojaj
j=
(5)
are all the roots of the secular equation. Besides, if some root is
repeated p times, then t o i t there correspond p linearly independent
amplitude vectors z c j determined from the system of linear equations
where (28) or (29) of the preceding section.
We have thus again proved that all the roots hi of the secular
equation are real and positive and we have established that to the
n frequencies oj = I/& there correspond n linearly independent
amplitude vectors w j ( j = 1, . . ., n).
* I n the preceding section, this forruula was established solely for the case
when the secular equation has no multiple roots.
t
2i4 Small Oscillations [Ch. 6 Sec. 421 Eflect of Periodic External Forces on Oscillations 215
J
Substituting into the formula A ( g , y) the expression (5) for q Hence, equating the coefficients of the independent increments of
i n place of g , we obtain the normal coordinates 60j, we get
n
l
j=
+
qs = uziei ~ ~f .~. . f uznen,3 ~+ (6)
Comparing (10) and ( I I ) , we get the following relations* for the
amplitude vectors uj ( j == l , .... n), with the aid of which, using
. . . . . . . . . . . . . . . . . ( q = o B , det u # 0 )
formula (5), the transformation to normal coordinates is accomplished: 4n = h i e i + ~n2e2 + ... -I- %non
a ~ i
dn
Aside from the potential forces --- let a system be acted
l
@n = uinQi j
Comparing the matrix formulas q -
778 and Q = (U1)-%, we
see that in passing from coordinates to forces the transiormation
upon by certain forces Qi = Qi ( t ) (i = l, .... n). Pass to the nor- matrix Cr is replaced* by the matrix (U1)-l.
mal coordinates using the formulas I This is expressed in words as follows: the gensratized forces are
n transformed contravariantly with respect to the coordinates.**
q j j (i=1, ..., n; det(uij);j=i+0) (1) Aiter learning how to determine the 0, from the given Qi,let
3= 1 us write the Eagrange equations in normal coordinates using for
To the forces Qi in coordinates qi (i = l , ..., n) there correspond T and ll the expressions (4) of the preceding section:
the forces O j in coordinates O j ( j = 1, . . . , n). Proceeding from l .~., + o ; ~ ~ = @ ~ ((j t=)I , ..., n) (8)
the fact that the expressions for the elementary work of the
forces are equal, let us establish a relation between Qi and Oj -
Denote by BJ ( j l , ..., n) an arbitrary
of equation (8). Then the general solution of
particular solutiou
(8) will be
n
X
i=i
QiO= jzi
n
8,601 (2) l
Bj=Cjsin(ojt$aj)+05 ( ] = l , ....
Let O j ( t ) be the 'periodic force and let this
n) (93
force be sinusoidal
Noting that by virtue of formulas (1) with frequency Q:
1 O j (t) = AjsinQt (10)
Then i t will readily be seen that for the 8; we can take
* :
If L; = (1 u i j l/ is an orthogonal matrix, then (U')-1 = U, and the
forces are transformed exactly like the coordinates.
** In the general case, when the. trznsformation of coordinates is nonlinear,
* I n other words, the vectors z c j ( j = 1, .... n ) are orthonormal in the a the geueralized forces are transformed contravariantly with respect to the di-
metric (soe footnotc on page 207). fferentials of coordinates.
716 S m a l l Oscillations [Ch. 6 Sec. 431 Eztremnl Properties of Frequencies of Conseruati~;eSystem 317
.
If Q i (t) (i = l , . . , n), and hence also Oj (t) ( j -- l , . . . , n) are t,hat accomplishes the transition to the normal coordinates
arbitrary periodic forces with period T and frequency Q=- 2.7 g,, . . . , 9, i n which the quadratic forms*
T '
i t follows t h a t Oj (t) may be expanded i n a Fourier series:
00
O j (t) =
m= 0
Ajm sin (m& + qj,)
have the simple ("canonical") form:
( j = I , ..., n) (12)
Then, by virtue of the linearity of the equations (g),
a3 A (g, 9) = ]=i
.fI o!, 2
C (g, q) = j= i ‘O~B?
g: = 2 A" sin(mQt+qjm)
0;-~ ~ 2 s - p
( 1 n ) (13)
m= 0 From now on we shall assume that the principal oscillations a r e
If some mC2 coincides with wj, and the corresponding Aj,, # 0, numbered in such fashion t h a t their frequencies proceed in the
then for the coordinate Bj we have the phenomenon of resonance. following increasing order:
Substituting expressions (9) for 9 j into the formula
n
Q= ejuj Consider the ratio of quadratic forms (3)
j= i
we get
q =ir^+q*
where
n
g= 2i Cjzcjsin (wjt + a j )
j=
for any q # O or, which is the same thing, for ally values
..
Oi, . , Q, t h a t are not simultaneously equal to zero. Replacing
all the wq in the numerator of (5) by a smaller or equal number
are the free oscillations and
W:, we have
and for this reason [by analogy with formulas (5) and (7)]
* If a nonlinear constraint irl given and the equilibrium position satisfies
the equation of the constraint? then there is no absolute term in power T h e extremal properties of the principal frequencies expressed by
expansion of the left side of the constraint equation:
(7') and (11') are sometimes called rntnimaxirn,al properties.
I n addition to the given system, let us consider yet another
conservative system with kinetic and potential energies
n
Besides, we assume that there are indeed linear terms, i.e. that
i=i
> 0.
Then, rejecting second and higher-order terms, we represent the constraint
equation as (8).
** The symliol on the left of the inequality (9) denotes the mininlwn of the
aiid with principal frequencies
ratio '(9.9) , provided that only vectors g f 0 are considered that satisfy the
* (474)
constraint equation (8).
Sec. 431 Extremal Properties of Frequencies of Conseruutiue System 221
220 Srnall Oscillations [Ch. 6
....
Ls=O
Let the new system have greater rigidity for the same inertia,
i.e. for any q Comparing formula (19) with (7) and (11) (when h -- l = S ) , we get
a, 4 < us+, (20)
or less inertia for the same rigidity In exactly the same way, for any h,< 12-5
c ( c f , 9)
ogZ= max
- min
- A(q,a)
L1=0,
L1=0,. .. .. ,. Lh-l=O
, L,=O
In both cases, for any q#O,
- -
Here the constraints L, -- 0, . . . , L,$..= 0 are fixed, while the const-
-
raints L, = 0, . . . , Lh-, 0 vary. Compari~lg (22) with (11) and
with the formula
But then both the minimums and the maximums of these ratios
will be connected by the same inequality, i.e. from the inequality
(.16), by virtue of (7), (11), (14), and (15), there follows
Pig. 50
.
the forces F i , F?, . ., F,, acting on the masses mi, m,, . ., m, .
Icni Cnz cnn -m&. m l
and a t the algebraic equations for determining the amplitudes:
are parallel to one and the same direction and for this reason are
n
determined by their algebraic magnitudes (Fig. 50). The deflections
yi, yz, . . ., y,, may be regarded as independent coordinates of the 2i (cik-
k=
hm&) uk = o ( i = 1, . . ., n) (6)
system, and the forces F,, F,, . . ., F, as the corresponding gene-
ralized forces, since the elementary work ol these forces is equal to The system has n frequencies
i, k=l
224 Small Oscillations ICh. 6
Sec. 441 Small Oscillations of Elastic Systems 225
An important role in the study of elastic systems is played by
l the inatris G = 11 gik ,:(l which is the inverse* of the matrix
2". g i k > O f o r l i - k l < l (i,k= l, ...,
n).
l 3". The determinant det G = ( g i k : 1 > 0 .
C = I[ C i k ! l :
n
Matrices having the properties l", 2" and 3" are called oscillatory
p1 -- c-l matrices.
Using matrix G i t is possible to solve the system of relations I t will be noted that for every positive definite matrix G , the
(9) for y , , . . ., yn and to represent i t in the form property 3" and also the inequalities 1" for the principal minors and
I n the inequalities 2" for the diagonal elements gii (i = 1 , . ., n) .
are valid. However, the nonnegativity of the nonprincipal minors
I
The quantity g i k is equal to the deflection a t the point (i)
caused by a unit external force applied a t the point (k), and is
called the influence coefficient of point (k) on the point (i) (i, k =
= 1 , . . . , n). From the symmetricalness of the matrix C there follows
the synlmetricalness of the inverse matrix G composed of the
influence coefficients*"
gik = gki (i, k = l, . . . , n) (11)
ailcl from the positive definiteness of the forms (3) there follows
the positive definiteness of the quadratic form
Fig. 51
"a deflection a t point (i) due t o a unit force applied to point (k) i s equal t o the * I n particular the nonnegativity of the off-diagonal elements of the mat-
deflection at (k) under a unit force applied to point (c)". rix G ( g i h >, 0 when i # k ) .
** This material can be found i n [7].
226 Small Oscillations [Ch. 6 Sec. 441 Small Oscillations of Elastic Systems 227
Tho elongation of the ith segment (between points with deflection p i and Here, each of the 'Lboundary3vconditions (IS) is satisfied automatically, and
rleflection yi+,) will be expressed (to within fourth-order infinitesimals) as the second one yields the condition for determining the desired frequencies:
follows:
sin (n + l ) B= 0 (20)
Hence, Oj=-- in (j= .
l , . . , n) and, by (16),
n+l
We choose an indirect path to find the principal frequencies and the cor-
responding amplitude vectors. Write equations (G) for the amplitudes, making An arbitrary free oscillation of the system is determined by the formula
n n --
yk- 2 Cjukjsill (ajt+aj)-- 2 C j sin n-
kin sin 2 sin----- in
+l ( a c . + l , V ~t S a j
/ C
j= 1 j= i
(23)
From (21) and (22) it is a t once evident that the principal oscillations obtain-
Fig. 52 ed possess the oscillatory properties 1' to 3'.
Lagrange demonstrated how i t is possible, using these formulas and a limit
passage, to obtain the free oscillations of a homogeneous string (with fixed ends),
use of the expressions (14) and (25) for TI and T. Divide each of the equations (6) the mass of which is no longer concentrated a t n points b u t is distributed uni-
termwise by c and introduce the abridged notation: formly along the string, which has density p.
In this problem we put m = @ , and then find the discrete analogue of a
llomogeneous string wit,h principal freqaencies
where 0 is an auxiliary quantity. Then equations (6) will take the following
Form for the amplitudes:
k = I , ..., n)
c ~ s O + u ~ + ~ - -( O (17)
where I n the l i m i t , as n + m , we get the following familiar expressions for t h e
frequencies oj of a fixed homogeneous string:
uo=un+i=o (18)
The algebraic equations (6) may be satisfied by putting**
Give the jth harmonic oscillation of a homogeneous string i n the form Since the coordinate origin is a position of equilibrium, all the
generalized forces, for zero coordinates and velocities must be
yI. ( x , t ) = u j ( z ) s i n ( o j t + a,) ( o < x , < I ) (26) zero, i.e.
where uj(x) is the amplitude deflection in this oscillation.
Considering that the amplitude deflection uj(x) may be obtained from Qio=O ( i = I , ..., n) (4)
the quantities (22) by passage to the limit We introduce the following notation:
u j (x)=lim u k j
y (X, t) = 2 C j sin -
jnx
1
sin ( o j t f a,) Substituting into the Lagrange equations (1) the expressions (2)
and (6) for the kinetic energy and for the generalized forces, we
j=i
get the linear differential equations of motion for small oscillations
where C j and a j ( j = l , 2, .. .) are arbitrary constants. of a scleronomic system:
series of qk and qh
2 (aihp2+bi@ + ~ i kUk) = 0
k= l
(i = I , . . ., n) (10')
m
* Note that A is a positive definite symmetric matrix (this fact is not uti-
li zed here).
"0 S m a l l Oscillations [Ch. 6 Sec. 461 R a y leigh's D issipatiue Function 23 1
or, in expanded form, If we have two real roots y and p' and if we denote the correspon-
n ding columns by U and U', then by multiplying both sides of the ith
2 (a&'
h= i
+ bikp + CIR)uk =0 (i = I , . . ., n) (40 1
equation (4') by U; (in place of Li), we get the following equation
in place of (5):
Multiplying both parts of the i t h equation of (4') by ui (ill is the
complex conjugate of ui) and summing over i, we find
n n
Interchanging the roles of the vectors U and U', we conclude that
the number p' also satisfies the equation (8). Therefore
or in abridged notation
= He {[Fv -Gzu + i ( F w + Gu)] eyt (cos 6t + i sin 6t)) = and cancelling ept, we get the following system of linear equations:
= eyt [(Fu - Gw) cos 6t - (Fw +Gv) sin 6t]
* See 5' on page 206.
** See formula (20) on page 206.
I
234 Small Oscillations [Ch. G Sec. 471 E f e c t of Time-Dependent Esternal Force on Small Oscillations 235
Equating the determinant of this system to zero, we find the Taking the linear combination of the given oscillation and the
secular equation: complex conjugate oscillation, we get a "principal" oscillation which
corresponds to the roots
- P
p i = ----!-+ioiB2 and p i = - 2 -2 i q ;
-
Let us find the amplitudes X,, xz, .... xn for p pi = - -P1_ 4-im i '
2
Substituting this value of y into the coefficients of the last n - l
47. The Effect of a Time-Dependent External Force on
Sniall Oscillations of a Scleronornic System. The
equations (14) and dividing the left sides of the equations by p,, Amplitude-Phase Characteristic
we get In addition to the forces spoken of in Sec. 45, let the forces Q i(t)
(i = 1, . . . . n) act on a scleronomic system. Then the Lagrange
equations for small oscillations of the system will differ from the
equations (7) on page 229 solely in the presence of nonzero right-
hand sides:
small, then the amplitude of the response is extremely small com- Therefore, proceeding from the principle of the linear superposition
pared with the amplitude of the "excitation" A sin Qt of the given of responses, we find
hequency Q . On the contrary, if for a given Q the corresponding
R I , ( Q ) is very great, then the response amplitude is great in compa-
rison with the amplitude of the generalized force Q i . Thus, selecting
qk = --I
2n
+Sm
-cc
W i h(iQ)F (Q) eiQtdQ
qk =
m=O
R i k (mQ)A, sin [mQt fr p , 4-y i k (mQ)l 2n
[G (Q) -1iH (B)][COSQt + i sin Qt] dQ =
-cc
(k=!, . . ., n ) (15)
Now let Qi ( t ) be an arbitrary nonperiodic function f ( t ) of t ,
which may be given in the form of a Fourier integral
- 17
2n
-cc
[G (Q) cos Qt -H (R) sin Qtl d n +
we will have
In,
Now suppose that
Qi ( t ) =0 ,
The function F,(S2) is called the complex spectrum of the function qk(t)=O (k=1, ..., n ) for t <0
Qi = f ( 4 . then
The action
1
-2Jc
F ( Q ) dQeiQt 0 =l
2% 7 [G (Q) cos Qt - H ( Q ) sin RI] dQ (for t <0 )
will give rise to the response
1 W l k (iQ)F ( Q ) dQeiQt " A real system cannot have a frequency characteristic that does not sa-
2n tisfy this condition.
240 Small Oscillations [Ch. 6
? Sec. 471 Efect of Time-Dependent Ezternal Force on Small 0scillation.s 241
I
Replacing here t by -t, we have i where Qj,, and A j are shown i n Fig. 55, and A j is the area of the
trapezoid. Therefore
0=1
2n
7
-m
[G (Q) cos Qt + H (Q) sin Qt] dQ (for f > 0) (23)
1
i qk F
1
2 sin Qj,,t sin A jt
Aj Q1av
i
Ajt
Adding the equations (21) and (23) termwise, we have I where the summation is taken over all trapezoids obtained in the
l approximation of G (Q) by a polygonal line.
Tables of the functions may be used for such a n approximation
Fig. 54 Fig. 55
and for zero initial conditions *. The function Wik (Q) is constru-
cted directly from the coefficients a i k , bik and cik, which appear in
equations (l), and the function F (Q) is determined by the expre-
ssion (17). After that- the problem of determining the motion
described by equations (1) reduces to a single quadrature with the
help of (24).
For this reason, any method of approximate integration is suitable
for an approximate determination of the motion. For example, it
is possible to construct a graph of the function G (Q), replace i t with
a polygonal line and through the salient points draw horizontal
lines to the axis of ordinates. Then the function G (Q) is approxima-
tely replaced by the sum of the functions g j (Q), the graph of each
of which is a trapezoid (a triangle, in the special case), as shown
in Fig. 54.
The integral (24) may be computed for one such function
g j (Q), as follows:
cc
1 A j sin Qj,,t sin h$
qjk = gj (Q) cos Rt dQ = _
Qjao Ajt
-m
* This follows from the fact that expression (20) defines the Fourier trans-
form of the solution for zero initial conditions, and expression (24) defines the
inverse Fourier transform.
Sec. 481 Reduced System. R o u t h Potential. H i d d e n Motions 243
CHAPTER 7
Here, baR and yai are functions of noncyclic (or, as they are
sometimes called, position) coordinates qi (i = l , . . . , m). Putting
Systems with Cyclic Coordinates
expressions (6) for h,
into formula ( l ) , we get the expression T^
for the kinetic energy in Routh variables:
m n m n
48. Reduced Systcm. The Routh Potential. Hidden Motions.
Hertz' Conception of the Kinetic Origin of Potential
Energy
In the present chapter the general propositions given in Chapters
A remarkable circumstance (one noticed by Routh) is t h a t -
2 and 5 are used for investigating the motion of a holonomic sclero- in this formula all the a;, = 0, i.e. the e.upressi0.n for T is the sum
nomic system with cyclic coordinates q, ( a = m 4- 1 , . . ., n). of the quadratic form in the position velocities pi, . . . , Q m and
The kinetic energy of such a system is of the form the quadratic form in the generalized momenta p,+i, . . . , prim*
n Indeed.
Let us find an expression for the kinetic energy i11 Routh variables n
q i , qi, p, (i ==l , . . ., m; a = m + l , . . ., n). To do this, express since 2 baBpRis dependent only on the variables qi and pe,
all q, in terms of p, (U = m +
1 , . . ., n), utilizing the initial
P=m+ i
which are regarded as independent with respect to the
relations
m n
qi ( i = 1 , . . . , m; p = m + l , . . ., n).
Now compute the coefficients a&:
n Consider the function H* (t, qi, p,), which we shall call the
a -- 3 T
[$l.
a2T dq,
Routh potential:*
.. . .
aqi @- j + a=m+i
-7=
aqj 39, aqi n
q=
,
n*==II+ 1
2 bafipaps (13)
a,B=m+ l
Then, according to (12), the function -41, which for the posi-
tion coordinates plays the role of the Lagrangian function, is
Here, the coefficients a$ and bafi are determined by the equations
(4) and (10). where V is the generalized potential defined by the equation
Let the forces impressed on the scleronomic system have the
potential II = ll (t, qi). Then, L T - IT. Compute the Routh fun-
ction (see Sec. 13):
-
n
Let us now consider some motion of the initial system. In this
motion,
Pa=cc)nst=ca (a=m+1, ., n) ..
(17)
and the variation of the position coordinates qi = qi (t) (i = 1, .. .
. . . , m) may be determined from the differential equations (8) on
page 81, in which p, should everywhere be replaced by c, (a =; m +
+ .
1, . . , n). But these equations are Lagrange equations (with the
Lagrangian function -R = T* - V) for a certain auxiliary natural
scleronomic system with m degrees of freedom having the kinetic
i, j=i
V-- - 2( 2:
i=i a=m-ki
,i- ll* (tf yi, C,).
y a i ~ a ); The Routh potential
In this case, the initial system has the kinetic energy
TT* ( t , qi, ca) is the potential energy of this system. From formu-
las ( 1 1 ) to ( 1 3 ) i t follows that T = -1 2 . . +81 2
a 2/9iqj
.. . b a ~ ~ a ~ B
2
i, j = l p=m+i a,
and the potential energy IT = 11 ( t , qi) while the reduced system
We shall call this auxiliary system a reduced system.
Thus, the variation of the position coordinates q , , . . ., q,,, deter-
1
n
..
mines ihe molion of a reduced system (with m degrees cf freedoln) with
has the kinetic energy T* = -
2
2 i, j=m+i ai jqiqj and potential energy
kinetic energy T* and with generalized potential V -- V , +
II*, where n
IT* is the R o ~ ~ potential.
th Given appropriate motions of the initial
and reduced systems, the total energies of these systems are equal.
When the functions q, = qi ( t ) ( i = 1 , . . ., m) which define the
2
n
*
an*
The reduced system is acted on by potential forces --8 4 ; and gyros-
copic forces determined by the potential Vi. In the case of a ~ ~ y r o s c o p i c a l l y
free system V i = O and gyroscopic forces arc absent.
248 Systems with Cyclic Coordinates [Ch. 7
Sec. 481 Reduced System. Routh Potential. Hidden Motions 249
Rut then for p,+,= h t i =1/% angle of pure rotation. Let 1 = OD and A and C be the equatorial and axial
moments of inertia, respectively. Then
n* -
Thus, in the given conservative system, T* is the kinetic, and
II* (qi)is the potential energy, whereas in the new "extended"
system we have, respectively, T = T* + It* (gi) and II == 0.
where p, g, r a r e the projections of the angular velocity o on the principal
axes of inertia 06,011,05. But
T h e potential energy of the given system results from the kinetic energy
of the "extended" system which has a greaier number of degrees of freedom. therefore, we finally have
Motions, under which only cyclic (hidden) coordinates vary are 2~=~(h+@sin20)+~(cp'+$cos0)2,
called hidden motions. *
Above we saw t h a t the potential energy oE a conservative system II= Mgl cos 0 (21)
can always be regarded as the kinetic energy of hidden motions. Find expressions for the generalized momenta p,, p* corresponding t o
This conception about the kinetic origin of potential energy and, t,he cyclic coordinates cp, 9:
hence, about the kinetic origin of forces applied to bodies performing
explicit (nonhidden) motions was broadly developed by Hertz in
1894. **
Example. Let us consider the motion of a rigid body with fixed point 0
in the Lagrangian case when the body is acted upon by the force of gravity My, Solving these relations for 6 and 6,we have
when there is an axis of dynamic symmetry, and the centre of gravity D is locat-
ed on this axis. . Pu-COS 0pq
1
'=
.
cp=
Asin20
--c cos ep, +(A sin2 0 + C cos2 8) p,
AC sin2 0
/
J
(23)
The coefficients of p* and p, o?i the right sides of (23) are the quanti-
ties bU0 The expression for the kinetic energy in the Routh variables 8,
8, p*, p, is obtained by substituting expressions (23) for cp and $ into (21)
for 2T or straightway by formula (11)*:
(A sin2 0 + C cos2 0) p;
2~ = A & + Cp$ -2C cos Op,,,p,AC+sin2 0 (24)
Then the polynomial f (U) has three real roots cos Oi, u2 = cos O2 and
1 -l<ui<uz<l<~L'
U,= U':
and [since f ( + m ) = + m ] the graph of the polynomial f (U) has the form
shown in Fig. 57. , 1
Fig. 58
5:
du
1m--
t $ const, 8 = a r c cos u
- (31)
The plus sign is taken when 0 varies from O2 to 8, and the minus sign when
i t varies in the reverse direction. I t is obvious that the variation in time of
i
Fig. 57 l
1
Since when the body is in motion, -1 ,< u=cos 8 ,<+l and f (U)=
1 I
> 0, i t follows that U = cos 8 must vary in the interval ui U 4, <
>
i.e. 8' > 8 02. The angular velocity of precession is determined from the
first formula in (23):
*=
a-bcosO
Asin28 (30)
If the ratio lies outside the interval ui ,< u ,< u 2 , then the velocity nf preces- Fig. 59 Fig. 60
b
the angle (3 will be a periodic function 8 (t) with period
sion 11, retains a constant slgn and precessional motion occurs all the time in one
direction. In this case the trace left by the axis 05 on a fixed sphere n i t h centre U"
Let us now consider the motion of a rigid body passing through the ~Lsingular*? these quantities are the integrals of motion:
position 0 = 0. At this point the kinetic energy is given by the degenerate quad-
ratic form [see expression (21) for 0 = 01 H ( q i , Pi, pa)=H(P!, PP, P:)
I p a = p k ( a = m + I , . . ., n) (3)
According to formulas (22), the equation p + = p m t h a t is The motion of a system is called stationary if during i t all the
position coordinates retain constant values qi = const = q! (i =
should occur a t the singular point 0=0. Assuming t h a t the arbitrary con- = 1 , . . ., m).
stants n and b are connected by the relation (34), we readily evaluate the In stationarv motion all nosition velocities are zero and therefore,
indeterminate form in the expression (26) for the Routh potential:* , by equations "(l) and eqkality (a),
..-
m n
~ , = q k ( t - t ~ ) + & ( a = m + j , . . ., n) (7)
The initial cyclic coordinates q i are not arbitrary constants and do
not enter into the conditions (5).
where the total energy of the systein I$ =H (gi, p i , p,) has the form Thus, in stationary motion the position coordinates retain constant
I value while the cyclic coordinates vary in accordance with a linear law.
Example.' The regular precession of a heavy symmetric gyroscope is a n
instance of stationary motion.
Indeed, regular precession is characterized by the equations
where the quadratic form on the right side is positive definite **. O = c 0 n s t = 0 ~ , $=const, cp=const
When the system is in motion, the function H and the generalized where the angle of precession $ and the angle of pure rotation rp are cyclic coordi-
momenta p, (a = m -G 1 , . . ., n) do not alter their values, i.e.
* Relations (4) may be solved f o r the position momenta ph, since the
* I n the expression for II* we discard the constant term 62 1 determinant det [cik (q!)]? h=i is differeiit from zero, inasmuch as the
:W This quadratic form is the kinetic energy of the system expressed in terms
of generalized rnomenta.
quadistic form 5
r , s=i
sr,prps is positive definite.
254 Systems with Cyclic Coordinates [Ch. 7 Sec. 491 Stabilitu o f Stationaru Motions 255
l
nates, while the angle of nutation 0-an angle formed by the axis of the gyros- for the Lyapunov function. This function is the integral of motion
I cope and the vertical-is a position coordinate.* and has a strict minimum equal to zero a t gi = 0, q i = 0, q, = 0
l
Note that in accordance with relations (6), a slight change in the ( i = 1 , . . ., m; a - - m + 1 , . ., n). .
i initial quantities q:, p:, pO, yields a small change in the original
cyclic velocities qi (E = m $- 1, . . ., n). However, a small
Let us establish an analogy between the stability of the state of
equilibrium and the stability of a stationary motion. Consider a re-
duced system with m independent coordinates q,, . ., q, and with .
change in the quantities g:, according to formula (7), yields, as time potential energy equal to the Routh potential:
progresses, an arbitrarily large change in the cyclic coordinates
themselves. For this reason, stationary motion cannot be stable with
respect to cyclic coordinates.
Henceforward, by stability of stationary motion we shall mean
coordinates qi (i = 1 , . . ., m: a -
the stability with respect to all momenta p i and p, and position
m -F 1, . . ., n). **
We then have the following criterion of stability of stationary
(see preceding section.). The reduced system is acted upon by gyro-
an*
scopic forces in addition t o the potential forces - a(l; (i = 1 , . . .
motion. . . ., m). Since to the stationary motion of the i n i t i d system qi =
Motion with the initial condztions q!, pi, pO, (i = 1 , . ., m; . - 47, pa = p: (i = 1 , . . ., m; a = m +
1 , . . ., n) there corre-
a - m +
l , . . ., i t ) is stable stationary motion if the function
H (qi, pi, p:) at the point qi = q:, p i = p: (i = 1. . . ., m) has
sponds an equilibrium position of the reduced system, i t follows
that the quantities q?, pO, must satisfy the equations
a strict estremum.
Indeed, the motion under consideration will be stationary inasmuch
as i t follows from the existence of the extremum of the function These are necessary and sufficient conditions for the existence of statio-
H (gi, pi, p:) t h a t the quantities g:, pp (i = 1, . . ., m) together
with the quantities p i ( a = m +
1 , . . ., n) satisfy equations (5).
nary motion. They are obviously equivalent to the conditions (5)
and are obtained from the latter by elimination of the quantities
We introduce the deviations .
p i (i = 1 , . ., m). Applying the Lagrange theorem t o the position
kxqi-q;, q i = p ~ - ~ ; , qaypa-p:. of equilibrium qi = q? of the reduced system, we get the criterion
Then, utilizing the motion integral H (g: + gi, p: +
q i , p:) as the of stability of stationary motion in the following form.
Lyapur~ovfunction, we can conclucle (see page 185) that the zero Motion with the initial conditions q:, q: = 0, p i (i = 1 , . . ., m;
solution gi = 0, q i = 0 (i.e. the stationary motion) is stable on the a =m +
1 , . . ., n) is a stable stationary motion if the Routh poten-
assumption that the cyclic momenta p, do not experience perturba- tial II* (gi, p:) has a strict minimum a t qi = q4 (i = 1 , . . ., m).
tions (i.e. that these quantities have the same values p: for pertur- By applying the Lagrange theorem to a reduced system, we fixed
bed motion as for unperturbed motion). *** the constant values of the cyclic momenta p, = pO, ( a = m 1, .. . +
However, the above-formulated criterion of stability is valid in . . ., n). However, the criterion is still valid for variations of
the general case as well, when for perturbed motion the quantities momenta p: as well. To establish this fact i t is sufficient to take,
11, = p, - p!' ( a = m + .
1 , . ., n) are different from zero. To for the Lyapunov function, the integral of motion
see this, it will suffice to use a corollary to the Lyapunov theorem 11.
where
Fig. 61
the moment df inertia about the OD axis is C, and the two other principal cen-
tral moments of inertia are equal: A = B (Fig. 61).*
For the independent coordinates, take two horizontal coordinates of the
centre of gravity X,, y, and the three Euler angles rp, $, 0. Here, the angle cp
is the angle of '$pure rotation" about the axis of the dynamic symmetry 05
passing through the points D and 0;the direction of the 05 axis coincides with
the direction of the vector DO. Write the expressions for the kinetic and poten-
tial energies:
Suppose that' the equation f' (u)=O has a root U such that l U l l. <
I t is to this value I U I =cos 0 that the stationary motion of a sphere corres-
ponds, for which motion the centre of the sphere is in uniform rectilinear
Here p, .q, r are projections of the angular velocity w on the central axes motion and the angles cp and $ vary by a linear law.
of inertla. But
. . sin2 0, r=cp+$
p2+q2=02+$2
. . cos 0, zD= -d cos 0 >
To find the stability of stationary motion, we shall first prove that
<
f " ( U ) 0 when l U l l. Indeed, if f" (U) were equal to zero for 1 U l l, <
1+3uz
Therefore then from the expression for f " (U) it would follow that p=-. From
+
2T= ( A + Mdz sin2 0) 6 2 +A@ sin2 0 Crz +M
. +y.g )
(X&
> <
this i t is readily seen that I p ( 1 for I U I 1, which is igpo&ible, since
II = -Mgd cos 0 ,,(, <
p=- v 2 ~ 6 . Consequently, f " (U) # 0 when 1 U / 1, i.e. f;' (U) retains its
The coordinates XD, YD, cp and $ are cyclic. During motion, the appro-
sign 'in 'the interval (-1, + l ) . But fn (0)=y2+62 > 0. > 0 for
Hence, f " (U)
priate momenta retain constant values, namely: l u l < l. Since
p*= A$ sin2 0 4 Cr cos 0 = 6 1 * We do not consider the singular values 0 = 0 and 0 = n . Therefore
* The rigid body considered in this problem is a physical pendulum, the sin 0 # 0.
axis of suspension being the axis of dynamic symmetry, and t h e point of sup i ** Here y2+62>O since for y = 6 = 0 the function II*=-Mgdcos0 has
port 0 can slide freely (without friction) on the horizontal plane. a strict minimum at 0=0.
258 Systems with Cyclic Coordinates [Ch. 7
References
i t follows that for the value of 0 under consideration the function II* has
a strict minimum, i.e. the appropriate stationary motion is stable.
The condition for the existence of stationary motion f f ( u ) = O may be
. .
transformed by putting 6 = yu f A$ (1-us).
If we then put y = Cr = C (cpf 9 cos 0) into t h e equation obtained, this
condition will take the final form
..
Ccpll,f (C-A)$2cos 04-Mgd=O (15) 1. A1,~ell P. E. Trait6 de m k a n i q u e rationelle. Vols. I and 11. Gauthier-
~ i f l a r s ,P.aris, 1909.
This is the well-known condition for t_he existence of regular precession 2. Babakov L. M. Theory of Oscillations. Gostekhizdat, Moscow, 1958 (in Rus-
under the action of an external moment Mgd s i n e (the 111ornent of the ver- sian).
tical reaction N = M g about the pole D). 3. Bulgakov B. V. Oscillations. Gostekhizdat, Moscow, 1954 (in Russian).
Consider three separate cases. 4. Cartan E . Legons sur les invariants intkgraux. Ilermann, Paris, 1922.
>
1". If ( M ~ ~ + cl ; $I -4-C l @ then the condition (15) is not fulfil- 5. Chetayev N. G. Stability of Motion, 3rd ed. & & N a ~ kMoscow,
Russian).
a ~ ~ , 1965 (in
led for a n y real value of 0, and there does not exist a n y stationary motion
with such angular velocities. 6. Corden H. C.. Stehle P. Classical Mechanics. Wiley, New York; Chapman,
London, 1950.
<
2". If I Mgdf C;$ I IA-C 1 6 2 and the quantities M g d + c i $ and A-C 7. Gantmacher F. R., Krein M. G. Oscillatory Matrices and Nuclei and Small
have the same sign, then for such angular velocities there exists stationary Oscillations of Mechanical Systems, 2nd ed. Gostekhizdat, Moscow, 1950
>
motion with cos 0 0.
.. (in Russian).
<
3O. But if I Mgdf C@$ I IA-Cl and t h e quantities Mgd+Ccp$ and 8. Goldstein M. Classical Mechanics. Addison-Wesley, Reading,
setts, 1951.
- Massachu-
A-C have different signs, then cos 0 < O in the case of stationary motion.
I n this case there exists stable stationary motion such that the centre of 9. Jacobi K.G. J . Vorlesungen uber Dynamik. Clebsch, 1866.
located above the geometric centre of the sphere. 10. Lagraage J . L. MQcanique analytique. Paris, 1788.
Now consider special cases. 11. Lanczos C. The Variational Principles of Mechanics. University of Toronto
(a) 00=0: Then from formulas (12) i t follows t h a t y =6. Therefore Press, Toronto, 1949.
12. Landan L. D., ~ i f s h i t sE. M. Mechanics. Fizmatgiz, 1958 (in Russian).
t.3. La Salle J., Lefschetz S . Stability by Lyapunov's Direct Method with
Applications. Academic Press, New York and London. 1961.
14. La Vall6e-Poussin Ch. J . de, Legons de mecanique analytique, tome 1-2.
Paris, 1925.
15. Loitsyansky L. G., Lurie A. I. Theoretical Mechanics, Part 111. ONTI.
Moscow, 1934 (in Russian).
16. Lyapunov A. M. The General Problem of Stability of Motion. Gostekhizdat,
Moscow, 1950 (in Russian).
The stationary motion is always stable. 17. MacMillan W. D. Dynamics of Rigid Bodies. McGraw-Hill, New York
(b) 00= n. From the formulas (12) we find y= -6. Therefore and London, 4936.
18. bialkin I. G. Theory of Stability of Motion. Gostekhizdat, Moscow, 1952
(in H ussian) .
19. Merkin D. R. Gyroscopic Systems. Gostekhizdat, Moscow, 1956 (in Russian).
20. Hose N. V. Lectures in Analytical Mechanics, Part I . Leningrad Univer-
sity Press, .Leningrad, 1938 (in Russian).
21. Routh E . T. The Advanced Part of a Treatise on the Dynamics of a System
of Rigid Bodies, 6th ed. Macmillan, London, 1905.
22. Siege1 C. L. Vorlesungen iiber Himmelsmechanik. Springer, Berlin, 1956.
23. Sommerfeld A. Mechanik. 4te neubearb. Aufl. Geest und Portig, Leipzig,
2 1948.
The stationary motion will be stable if the condition L
4
>K is fulfil- 24. Suslov G. K . The Principles of Analytical Mechanics, 2nd ed. Kiev, 1911-
1912; 3rd ed. revised by N. N. Buchholte and V. K. Goltzman, entitled:
led, which in expanded notation comes out like this: Theoretical Mechanics. Gostekhizdat, Moscow, 1944 (in Russian).
>
C2r2 4AMgd 25. Synge J . L. Classical Dynamics. McGraw-Will, New York, 1958.
26. Variational Principles. Collection of articles, ed. b y L. S. Polak. Fizmatgiz.
If inequality (16) occurs, then, although in the case under consideration the Moscow, 1959 (in Russian).
centre of gravity is located over the geometric centre of the sphere, rotation 27. Whittaker E . 'I'A . Treatise on the Analytical Dynamics of Particles and
about the vertical axis will be stable stationary motion. Rigid Bodies. Dover Publications, New York. 1944.
Name Index Subject Index