MECHANICAL SYSTEMS, CLASSICAL MODELS
516
∗
−≥ >0EE ; but the continuous function E vanishes at the origin, hence it will
exist always a
δ -neighbourhood ( ≤δε) of the point O so that, in this
neighbourhood,
∗
<EE. Therefore, at the initial moment the conditions (23.1.1') hold,
then the initial mechanical energy
0
E verifies the relation
∗
<
0
EE; but the discrete
mechanical system is conservative, so that we have – at any moment –
=
0
EE, hence
∗
<EE too. Consequently, we can state that, in its motion, the representative point P
cannot reach the frontier of the
ε -neighbourhood on which
∗
≥EE, being always in
its interior, We can thus state (we introduce the potential energy
=−VU
)
Theorem 23.1.2 (Lagrange–Dirichlet). If, for a certain position of a conservative
mechanical system
S , the potential energy has an isolated minimum, then this
position is a position of stable equilibrium for it.
This theorem has been enounced by J.-L. Lagrange in 1788, is his famous treatise
“Mécanique analytique” and has been accurately proved, afterwards, by
P.G. Lejeune-Dirichlet. It has been shown in Sect. 4.1.1.7 for the case of a single
particle (Theorem 4.1.4) (Lagrange, J.L., 1788).
If the potential energy
V
has an isolated minimum, then the potential function
=−UV has an isolated maximum.
In case of non-conservative generalized forces, we use the general study made in
Sect. 18.2.1.3, adding to the conservative part of the force a non-conservative part, so
that
∂
=+ = =
∂
12
, ( , ,..., ), 1,2,...,
s
jjjj
j
U
QQQQqqqjs
q
.
(23.1.13')
If the power of the non-potential generalized forces
=
j
QqP
vanishes ( = 0P ),
then these forces are gyroscopic, being conservative (they derive from a generalized
potential, depending – obviously – on the distribution of the generalized velocities); one
can use the conservation theorem of mechanical energy (indeed,
ddWV=− ) , so that
the above proof does not change, the Theorem 23.1.2 remaining, further, valid. If
0<P , then the non-potential generalized forces are dissipative. The mechanical
energy
=−ETU decreases in time, in this case, so that ≤
0
EE (instead of
=
0
EE); if
∗
<
0
EE, then it results
∗
<EE too during the motion and further the
Theorem 23.1.2 can be enounced.
One must also show that, in the cases mentioned above (for which
≤ 0P ,
| | , 1,2,...,
j
qj s<Δ =
), the position of equilibrium is maintained. We assume, as
above, that the position of equilibrium takes place for
0, 1,2,...,
j
qj s== . We
assume also that, among the functions
Q
, there exists at least one for which
≠(0,0,...,0) 0
j
Q ; in this case, due to the continuity, ≠ 0
j
Q in a Δ -neighbourhood
too. Because the canonical co-ordinates are independent, we can choose their values in
this neighbourhood so that
> 0P , which contradicts the hypotheses of gyroscopic