for
1,2,...,3kn= , where T is an independent of
k
V and t time constant, while τ is a
time constant equal to unity, are satisfied, then it exists a unique solution
()
kk
XXt= ,
()
kk
VVt= of the system (11.1.11'), which satisfies the initial conditions (11.1.11'')
and is defined on the interval
00
tTttT−≤≤+, where
00
0
min , , ,
kk
XV
Tt
τ
⎛⎞
≤
⎜⎟
⎝⎠
T
VV
,
()
max ,
kk
VQτ=V in D.
According to Peano’s theorem, the existence of the solution is ensured by the
continuity of the functions
k
V
and
k
Q
on the interval D. For the uniqueness of the
solution, Lipschitz’s conditions must be fulfilled too; the latter conditions can be
replaced by other more restrictive ones according to which the partial derivatives of
first order of the functions
k
V
and
k
Q
, 1,2,...,3kn= , must exist and be bounded in
absolute value on the interval
D, as it was shown by Picard, using a method of
successive approximations. As a matter of fact, the Theorem 11.1.1 can be
demonstrated by an analogous method. We must mention that the conditions in
Theorem 11.1.1 are sufficient conditions of existence and uniqueness, which are not
necessary too.
The existence and the uniqueness of the solution have been put in evidence only on
the interval
00
,tTtT−+, in the vicinity of the initial moment
0
t
(in fact,
0
t
can be
an arbitrary chosen moment, not necessarily the initial one); taking, for instance,
0
tT+
as initial moment, by repeating the above reasoning, it is possible to extend the
solution on an interval
1
2T
,
1
TT>
(obviously, if the sufficient conditions of
existence and uniqueness of the Theorem 11.1.1 are fulfilled in the vicinity of this new
initial moment). We can obtain thus a prolongation of the solution for
12
,ttt∈ ,
corresponding to an arbitrary interval of time in which the considered mechanical
phenomenon takes place or even for
(,)t ∈−∞+∞.
As in the case of a single particle (see Chap. 6, Sect. 1.2.1), we can put in evidence
some important properties of this solution; we thus state:
Theorem 11.1.2 (on the continuous dependence of the solution on a parameter). If the
functions
()
;,
kl
VXtμ ,
()
,;,
kll
QXVtμ are continuous with respect to the parameter
12
,μμμ∈ and satisfy the conditions of the theorem of existence and uniqueness,
and if the constant
T of Lipschitz does not depend on μ, then the solution (, )
k
Xtμ ,
(, )
k
Vtμ , 1,2,...,3kn= , of the system (11.1.11') which satisfies the conditions
(11.1.11'') depends continuously on
μ.
Theorem 11.1.3 (on the analytical dependence of the solution on a parameter;
Poincaré). The solution
(, )
k
Xtμ , (, )
k
Vtμ , 1,2,...,3kn= , of the system (11.1.11')
which satisfies the conditions (11.1.11''), depends analytically on the parameter
12
,μμμ∈ in the neighbourhood of the value
0
μμ= if, in the interval
12
,μμ×D , the functions
k
V and
k
Q are continuous with respect to t and analytic
with respect to
k
X ,
k
V , 1,2,...,3kn= , and μ.
11 Dynamics of Discrete Mechanical Systems
7