1. Introduction
We consider the following second-order delay differential equation:
where
,
,
,
,
are parameters,
is a continuous
T-periodic function such that the following equality holds:
is a smooth real-valued vector-function,
, and
is a delay. Our aims are to obtain the conditions for the asymptotic stability of the zero solution to (1), to establish estimates for attraction sets of the zero solution and estimates for decay rates of solutions to (1) as
.
In the case
(1) coincides with the equation of the “inverted pendulum”, (
,
), with the oscillating suspension point along the vertical line according to the law
[
1,
2]. In the literature, this pendulum is often called the Kapitsa pendulum. (1) describes oscillations of a “controlled inverted pendulum”, the suspension point of which performs arbitrary periodic oscillations.
It should be noted that a large number of works are devoted to the study of inverted pendulums with vibrating suspension points, pendulums on carts, systems consisting of several pendulums, with control, etc. (for example, refer to [
3,
4] and the bibliography therein). One of the main problems is the stability problem for these mechanical systems. Many papers are devoted to finding stability conditions, but very few papers contain estimates characterizing stabilization rates to equilibrium positions.
The present paper continues a cycle of authors’ research [
5,
6,
7,
8,
9,
10,
11] on the stability of solutions to ordinary differential equations and delay equations with periodic coefficients in linear terms. In [
5], the following systems of linear differential equations were considered:
where
is an
matrix with continuous
T-periodic entries. The following criterion for the asymptotic stability of the zero solution to (3) was established in terms of solvability of a special boundary value problem for the Lyapunov differential equation
Theorem 1 ([
5])
. The zero solution to (3) is asymptotically stable if and only if there is a Hermitian solution to the boundary value problem:where the Hermitian matrix with continuous entries on is positive definite. Here and further,
(
) denotes that
S is a positive (negative) definite Hermitian matrix. We use the spectral matrix norm everywhere. Note that differential equations of the form (4) have been considered in many papers when studying qualitative behavior of solutions to differential equations with variable coefficients (for example, see [
12,
13,
14,
15,
16,
17]).
Using the solution
to the boundary value problem (5), we can point out the radius of the disk containing all the multipliers of (3) and obtain estimates characterizing the decay rate of solutions to (3) at infinity [
5].
Theorem 2 ([
5])
. If the zero solution to (3) is asymptotically stable, then the following estimate holds for its solutions:where is a T-periodic extension of the solution to (5) on the semi-axis , is the minimal eigenvalue of the matrix . Remark 1. Estimate (6) coincides with Krein’s estimate for systems of differential equations with constant coefficients (for instance, refer to [13]). Remark 2. Theorems 1 and 2 allow us to study the asymptotic stability of the zero solution to (3) without finding multipliers.
Using the results mentioned above, the authors investigated the asymptotic stability of the zero solution to the following nonlinear systems [
6]:
where
is a smooth real-valued vector-function,
. Using the solution
to the boundary value problem (5), estimates for attraction sets of the zero solution were obtained and estimates of exponential decrease of solutions to (7) at infinity were established.
On the basis of these studies, introducing special Lyapunov–Krasovskii functionals, the authors investigated the stability of solutions to some classes of delay differential equations with periodic coefficients in linear terms (for example, see [
7,
8,
9,
10,
11]). Conditions for the asymptotic stability of the zero solution and estimates characterizing decay rates of solutions as
were obtained in these papers. These estimates are analogs of Krein’s estimate.
We will use some assertions that follow from [
7,
8,
11]. Consider the following system of delay differential equations:
where
,
are
matrices with continuous real-valued
T-periodic entries,
is a delay and
is a continuous real-valued vector-function on
. We assume that
satisfies the Lipschitz condition with respect to
u on every compact set
and the following estimate:
for some constants
,
.
At first we formulate our results for the linear systems.
Theorem 3 ([
7])
. Let . Suppose that there are matricessuch thatand the following differential inequalityholds. Then the zero solution to (8) is asymptotically stable. We introduce the following matrix:
If the conditions of Theorem 3 hold, then
. Denote by
the minimal eigenvalue of the matrix
and by
the maximal number such that the following inequality holds:
Consider the initial value problem for (8):
where
is a given vector-function.
Theorem 4 ([
7,
8])
. Let . Suppose that there are matrices and satisfying the conditions of Theorem 3. Then the following estimate holds for the solution to (12):where is the minimal eigenvalue of the matrix . Inequality (13) is an analog of Krein’s estimate. Consider nonlinear systems of the form (8). Supposing that the conditions of Theorem 3 hold, we define
R as follows:
Theorem 5 ([
7,
11])
. Let the conditions of Theorem 3 hold. Then, the zero solution to (8) is asymptotically stable and the set of real-valued functionsis an attraction set of the zero solution. Moreover, the solution to the initial value problem (12) with satisfies the following estimate: Using the results mentioned above, auxiliary transforms are performed and preliminary assertions are proved in
Section 2. The main results are formulated and proved in
Section 3.
2. Auxiliary Results
Consider the following linear equation:
where the function
satisfies (2). In the next section we prove that the zero solution to (14) is asymptotically stable under certain conditions on the function
and parameters
,
,
,
, and
. In order to prove this result, we need to perform a number of transforms.
Using the following change of variables:
we rewrite (14) as follows:
We introduce the vector-function:
This equation is equivalent to the system of linear delay differential equations:
where
We introduce the following functions:
Then, (15) is reduced to the following system:
where the entries of
have the following form:
We show below that there are
T-periodic functions
,
,
such that the vector-function
satisfies the following system:
By analogy with [
6], we take
and choose the functions
,
such that the following equalities hold:
Hence, we have (17), where
Using the following representation:
we rewrite
as follows:
where
We show below that there are the functions
,
satisfying (18), such that the spectrum of the matrix
belongs to the left half-plane, the matrix
is
T-periodic, and the following equality holds:
Taking into account (18), we seek the functions
,
in the following form:
Clearly,
,
must be such that the following equalities hold:
At first we construct the function
. Obviously, by the mean value theorem, there exists
such that the following equality holds:
Taking into account the following equalities:
we can rewrite (25) as follows:
Take the function
in the form (23) with
defined above. By (2), the function
is
T-periodic; moreover, from (26), we have
We now construct the function
. At first, we show that there exists
such that the relation holds:
Indeed, we can represent the right-hand side in the following form:
Obviously, for the first summand, the equality is valid:
By the mean value theorem, the second summand can be written as follows:
where
. Hence we obtain (27).
We show that (27) can be rewritten in the following form:
Indeed, integrating by parts, we have
Consequently, (27) is equivalent to (28). Therefore, the function
can be taken in the form (24) with
defined above.
We now show that
is
T-periodic. Indeed, according to the definition, we have the following identities:
On the other hand, by the properties of the function
, we have
Hence,
.
Thus, we have specified the functions
and
satisfying (18) such that the matrix
is
T-periodic and the following equality holds:
Lemma 1. The spectrum of the matrix belongs to the left half-plane if and only if and Proof. From the explicit form (20) of the matrix
, it follows that its spectrum belongs to the left half-plane if and only if
and
We show below that this inequality is equivalent to (30). To perform this, we make a series of transforms of the integral in (31). Integrating by parts and taking into account (2), we have
By (24), this equality can be written as follows:
Using (25), we obtain
Taking into account (2), we have
The equivalence of (30) and (31) follows immediately from this formula.
The lemma is proved. □
3. Main Results
At first we consider (14). We introduce the following notation:
Taking into account the transforms performed in the previous section, the matrix
given in (20) has the following form:
If
,
, then its spectrum belongs to the left half-plane. In this case the following Lyapunov equation:
has a unique solution
; moreover, it can be written as follows (for example, see [
13]):
We establish below some conditions for the coefficients of (14) under which it is possible to guarantee the asymptotic stability of the zero solution to (14).
Theorem 6. If , andthen, the zero solution to (14) is asymptotically stable for sufficiently small . Proof. We will use the transforms performed in the previous section. According to the notation, . We assume that . By (24), this condition guarantees that .
Taking into account these transforms, in order to prove the theorem, it is sufficient to establish the asymptotic stability of the zero solution to the linear system of delay differential equations:
where
the matrices
,
, and
are defined in (19), (21), and (22), respectively. According to Theorem 3, if there are matrices
and
satisfying (10) and (11) and such that the following matrix inequality holds:
then the zero solution to (32) is asymptotically stable.
It is not difficult to calculate the spectral norm of the matrix
given in (19); moreover,
Using (23) and (24), we have the following estimates:
Hence, by the conditions of the theorem, we obtain
We take
such that
.
Consider the following matrix:
where
is the above solution to the Lyapunov equation,
Obviously,
and, by (29), we have
. Clearly,
where
By construction, there is
,
, such that the following inequality holds:
for
. Then there exists
,
, such that the following estimate is valid:
for
. Hence, the matrix
is a Hermitian solution to the problem of the form (5). Consequently, as shown in [
5],
We take the following matrix:
Clearly, the matrices
and
satisfy (10) and (11). We now show that (33) is valid for
. From (34), (36) we have
Hence, it remains to show that the following inequality holds:
for
. Indeed, by (35), we obtain
In other words, (37) holds.
The theorem is proved. □
Example 1. LetIn this case, the condition has the following form: Using Theorem 4, we have estimates characterizing decay rates of solutions to (32) at infinity. Making the inverse change of variables, we obtain asymptotic estimates for solutions to (15) and for solutions to (14).
We now consider nonlinear Equation (
1). Suppose that the function
satisfies the following estimate:
and
. Rewrite (1) as follows:
Consider the following linear equation:
Introducing the notation
and
, we obtain an equation of the form (14), for solutions to which the assertions proved above are valid. Using the following change of variables:
we rewrite (39) as follows:
Introduce the following vector-function:
By (39), we have the nonlinear system of delay differential equations:
where
From (38) we obtain the following estimate:
Hence, (42) is included in the class of systems of the form (8) with the right-hand side satisfying (9). Then, by Theorem 5, we obtain an attraction set for the zero solution to (1) and the estimates of the exponential decrease of solutions to (1) with the initial data from this attraction set.
Theorem 7. If ,andthen the zero solution to (1) is asymptotically stable for sufficiently small . Remark 3. As was mentioned above, in the case , (1) coincides with the equation of the “inverted pendulum” (, ) with the oscillating suspension point along the vertical line by according to the law [1,2]. The conditions of the asymptotic stability of the form (43) coincide with known N.N. Bogolyubov’s conditions obtained by the averaging method (for instance, refer to [18,19]).