Nonoscillation, maximum principles, and exponential stability of second order delay differential equations without damping term
Journal of Inequalities and Applications volume 2014, Article number: 361 (2014)
Delays, arising in nonoscillatory and stable ordinary differential equations, can induce oscillation and instability of their solutions. That is why the traditional direction in the study of nonoscillation and stability of delay equations is to establish a smallness of delay, allowing delay differential equations to preserve these convenient properties of ordinary differential equations with the same coefficients. In this paper, we find cases in which delays, arising in oscillatory and asymptotically unstable ordinary differential equations, induce nonoscillation and stability of delay equations. We demonstrate that, although the ordinary differential equation can be oscillating and asymptotically unstable, the delay equation , where , can be nonoscillating and exponentially stable. Results on nonoscillation and exponential stability of delay differential equations are obtained. On the basis of these results on nonoscillation and stability, the new possibilities of non-invasive (non-evasive) control, which allow us to stabilize a motion of single mass point, are proposed. Stabilization of this sort, according to common belief, requires a damping term in the second order differential equation. Results obtained in this paper refute this delusion.
Let us start with one of motivations of this study considering a simplified model for motion of a single mass point
where , . Let a solution , which defines the trajectory we want to ‘hold’, be known and our purpose is to hold our object ‘close’ to this trajectory. It is impossible to ‘achieve’ this proximity on the semiaxis, because of instability of system (1.1). As a result, we have to make corrections of the motion changing the right-hand side f. We try to construct a control which makes this correction automatically. A standard approach is to construct a feedback control which depends on the difference or more exactly on the difference since in real systems delay in receiving signal and in reaction on this signal arises. The control terms like
(here are matrices, ) are usually called non-invasive (non-evasive by other authors). Note that in laser physics the term ‘Pyragas control’ is widely used. Adding this control into the equation of motion, we get
is the known right-hand side. Using the fact that satisfies (1.1), i.e. , and subtracting this equality from (1.3), we get the following system:
for the difference .
The problem of stabilization has been reduced to the exponential stability of this system. In the simplest case of diagonal matrices , we get three separate equations. In the case of absence of delays (, , ) and constant diagonal entries, we get existence of positive roots of characteristic equation in the case of negative entries and pure imaginary roots in the case of positive ones. Thus, even in the case of the positive entries, each of these equations is Lyapunov stable, but not exponentially stable and, as a result, there is no stability with respect to the right-hand side (in the sense that small changes in the right-hand side could imply very essential changes in the solutions). In this paper we limit ourselves to diagonal matrices () in order to be concentrated on the scalar second order equation
and its natural generalizations with variable coefficients and delays
and are measurable essentially bounded functions (below we write this as ) ().
We understand the solution of (1.7) in the traditional sense like in the book , i.e. as a function with absolutely continuous derivative on every finite interval such that , satisfying (1.7).
Note that the delay equation (1.7) usually inherits the oscillation properties of the corresponding ODE
For example, it was proven by Brands  that for every nonnegative and bounded delay , (1.7) is oscillatory if and only if corresponding ordinary differential equation (1.10) is oscillatory. The asymptotic behavior of ODE (1.10) is not inherited by (1.7): Hale in his well-known book [, Chapter 5, Section 5.4], discussed the characteristic equation
for (1.6) and demonstrated that there exist at least two roots with positive real parts in the case . Myshkis, analyzing the roots of the characteristic equation (1.11), proved instability of equation (1.6) for each couple of positive constants p and τ (see [, Chapter III, Section 16, pp.105-106]). Note that the degree of instability of (1.6) (the maximum among positive real parts of the roots to (1.11)) tends to zero when and . The results on existence of unbounded solutions in the case of variable coefficients and delays were obtained on the basis of a growth of the Wronskians in  and developed in [6, 7]. One of the results can be formulated as follows : if there exists a positive constant ε such that and , then there exist unbounded solutions to (1.7). In the paper  results on the instability of the system
where and is an ω-periodic symmetric matrix function, were obtained.
Results on the boundedness of solutions to the delay equation (1.7) in the case of nondecreasing coefficient and for a corresponding α were obtained in the paper . The asymptotic formulas of solutions to the second order equation (1.6) are presented in [, Chapter III, Section 16] and to (1.7) with a delay summable on the semiaxis in [10, 11]. In  it was found that all solutions of (1.7) with positive nondecreasing and bounded coefficient and nondecreasing are bounded if and only if
Note that an approach for studying asymptotic properties of equations with linear transformations of arguments
where , q and λ are constants, was proposed in  and developed in , where the equations with a combination of delayed and advanced arguments are considered. A study of advanced equations (see, for example, (1.7), where ) can be found in the paper  in which results on boundedness, stability, and asymptotic representations of solutions are obtained.
Summarizing, we can conclude that it appears to be impossible to obtain results as regards the exponential stability for one term of (1.7). It means that the control of the form
without damping term cannot help us in the stabilization of system (1.1). Stability and instability of the second order delay differential equation
with constant coefficients was studied in [15, 16], where it was noted that this equation in the case is of interest in machine tool analysis, in biology in explaining self-balancing of the human body and in robotics in constructing biped robots (see the bibliography therein). Results on the stability of the equation
with constant delay τ and coefficients and and without damping term were obtained in the paper . These results were based on Pontryagin’s technique for analysis of the roots of quasi-polynomials  and could not be used in the case of (1.8) with variable coefficients and/or delays. Note also that the assumption as regards the absence of the delay in the first term does not allow us to use this result of  in the stabilization in the model of the motion described in (1.1) by the delay control (1.2). Let us try to imagine situations in which variable delays and coefficients arising in the delayed feedback control may be important: (1) the case of control for missiles, where the delay depends on their distance from the controller and is variable; (2) spending of fuel implies the change of the mass of the missiles, which leads to variable coefficients in the delay system. As a conclusion, it should be stressed that there are no results for the exponential stability of the second order equation (1.8) without damping term in the case of variable coefficients and/or delays.
It will be demonstrated that the control of the form (1.2), where , can stabilize system (1.1). We obtain results as regards the exponential stability of (1.8), which are based on the maximum principles for the second order delay differential equation (1.8). Denoting , we can formulate the maximum inequalities principle  in the form: it follows from the inequalities , , that for all . Using the solutions’ representation (see (2.5) below), we can see that this principle is reduced to positivity of the Cauchy (fundamental) function of (1.8) and positivity of its nontrivial solution with nonnegative initial conditions. Nonoscillation of solutions in many cases leads to this property of the solution of second order equation (1.8). The positivity of the Cauchy function will open a way to the analysis of the asymptotic stability of nonlinear delay differential equations on the basis of the known schemes of upper and lower functions. The maximum boundedness principle  can be described in the form: there exists a constant Ω such that the solution of the initial value problem , , satisfies the inequality for . A generalization of the Perron theorem (see, for example, Theorem 3.5 in ) claims the exponential stability in this case.
The paper is organized as follows. After formulation of stabilization problem in Section 1, we discuss formulas of solution representations in Section 2. Simple results on stability of delay differential equations in the case , which will be proven on the basis of general assertions obtained in Section 5, are formulated in Section 3. Auxiliary results used in the proof of our main assertions can be found in Section 4. Results on the positivity of the Cauchy function , nonoscillation and exponential stability are obtained in Sections 5 and 6. Discussion and open problems are presented in Section 7.
2 About representation of solutions for second order delay differential equations
The main object of this paper is the second order delay differential equation
with the initial function (2.2). If (2.3), (2.2) are considered for all possible continuous functions φ, the space of its solutions is infinite-dimensional. In  a homogeneous equation was defined as (2.3) with the zero initial function
This definition of the homogeneous equation allows researchers to build an analog of the classical general theory of ordinary differential equations (ODEs) for functional differential equations using the key notions of the classical ODEs theory, and it is based on the fact that the space of the solutions of the second order equation (2.3), (2.4) becomes two-dimensional. Note that (2.3), (2.2) can be written as (2.1), (2.4), where , for , and for . Thus (2.1), (2.4) is a nonhomogeneous one according to the approach of the book .
The general solution of (2.1), (2.4) (we understand the notion of the general solution exactly like in the theory of ODEs) can be represented in the form 
where , are two solutions of the homogeneous equation (2.3), (2.4) satisfying the conditions
and the kernel in this representation is called the Cauchy function of (2.1). Comparing this representation with the variation-of-constant formula of Hale [, Chapter 6, Section 6.1], we see that they almost coincide; the kernel in the integral term is called the fundamental function by his numerous followers. For every fixed s the function as a function of the variable t satisfies the equation [1, 26]
and the initial conditions , . Note that we will use this definition of the Cauchy function for the construction of below. The behavior of the fundamental system , of solutions of (2.3), (2.4) determines the existence and uniqueness of solutions of the boundary value problems for this equation. Positivity of the Cauchy function of (2.1), (2.4) is a basis of various theorems about differential inequalities (under corresponding conditions, the solution of an inequality is greater than the solution of an equation). These theorems help essentially in the study of stability for delay differential equations and their natural generalization - functional differential equations (FDEs) .
Let us formulate several definitions concerning stability.
Definition 2.1 Equation (2.3) is uniformly exponentially stable if there exist and , such that the solution of (2.3), (2.9), where
satisfies the estimate
where N and α do not depend on .
Definition 2.2 We say that the Cauchy function of (2.1) satisfies the exponential estimate if there exist positive N and α such that
It is well known that for (2.1) with bounded delays these two definitions are equivalent .
3 Tests of positivity of the Cauchy functions and stability
Let us try to understand in which direction nonoscillation of (1.8) can be established. Taking into account the well-known oscillation results , we come to the conclusion: only such smallness of the nonnegative coefficient that its integral on the semiaxis is bounded may be suitable for nonoscillation of (1.7). In the case of (2.1) the analogous smallness of the sum of the nonnegative coefficients should be required for nonoscillation. Regarding stability, we know that the smallness of the delay (1.13) is necessary and sufficient for boundedness of all solutions to (1.7) with constant coefficient . It seems strange even to hope that assertions on nonoscillation and exponential stability can be achieved in the cases of non-tending to zero coefficients and delays. We will demonstrate that, although the ordinary differential equation
can be oscillating and asymptotically unstable, the delay equation (2.3), (2.4) under corresponding conditions on the coefficients and delays is nonoscillating and exponentially stable. The basic idea of our approach is to avoid the condition on the nonnegativity of the coefficients for all , and to allow terms with positive and terms with negative coefficients to compensate each other.
In order to formulate several simple corollaries of the main results proven below in Section 5, let us consider the equation
where , , , and are measurable essentially bounded nonnegative functions. We denote
Theorem 3.1 Assume that , ,
the Cauchy function of (3.2) is nonnegative for ;
if there exists such positive ε such that(3.7)
then the Cauchy function of (3.2) satisfies the exponential estimate (2.11) and the integral estimate
if there exists , with , then(3.9)
Corollary 3.1 Assume that the delays , are constants and
Then the assertions of Theorem 3.1 are true.
Consider the equation
There exist unbounded solutions of corresponding homogeneous equation , (see, for example, [, Chapter III, Section 16, p.106] in the case of constant a, and noted above in Section 1 sufficient conditions for existence of unbounded solutions from the paper ). Together with the fact of the oscillation  of all solutions this leads to chaos in behavior of solutions in the sense that small errors in a measurement of and can imply unpredictable changes in and . Thus (3.12) is unstable. To stabilize its solution to the given ‘trajectory’ satisfying this equation, we choose the control in the form
Subtracting the equality
from the equation
we get the equation
for the difference . The stabilization has been reduced to the stability of this equation. A possible algorithm to construct this stabilizing control is clear now: first we choose the delay θ close to τ such that condition (3.11) is fulfilled, then we choose close to such that condition (3.10) is fulfilled.
Example 3.1 Stabilizing (3.12), where , let us choose the control in the form (3.13) with constant coefficient . We come to the study of the exponential stability of the equation
with constant coefficient and delays and . We can choose from (3.11); then from (3.10) we get the following condition of the exponential stability:
Example 3.2 The equation
where , possesses oscillating solutions with amplitudes tending to infinity  that leads to the chaos in behavior of its solutions. This equation can also be stabilized by the control in the form (3.13). Consider, for example, the equation
If we choose , , then the stabilization can be achieved by the control (3.13) with the parameters satisfying the inequalities
In the following assertion we assume the smallness of the difference of the delays and do not assume the smallness of the delay θ.
Consider for simplicity the equation
with constant delays τ and θ and positive coefficients and .
Theorem 3.2 Assume that , there exists a positive ε such that
the Cauchy function of (3.19) is nonnegative for ;
the solutions , of (3.19), satisfying initial conditions (2.6), are nonegative for ;
the Cauchy function of (3.19) satisfies the exponential estimate (2.11) and the integral estimate (3.8);
if there exists , then equality (3.9) is fulfilled.
Example 3.3 Consider the equation
It is clear from the definition of the Cauchy function (see (2.7) and (2.8)) that for , this equation is equivalent to the ordinary differential equation
which Cauchy function is . Let us demonstrate that condition (3.6) is essential for positivity of the Cauchy function in Theorem 3.1, assuming that the numbers b and θ are chosen such that all other conditions of Theorem 3.1 are fulfilled. If , then in the triangle , its Cauchy function changes its sign. The same example demonstrates that condition (3.22) is essential in Theorem 3.2 for the positivity of . Note that in the case , the solution satisfying conditions (2.6) changes its sign on the interval . It is clear that inequality (3.22) implies .
Remark 3.1 Note the closely related results for the first order delay differential equation
can oscillate and the amplitudes of their solutions tend to infinity, the solutions of (3.25) cannot oscillate and tend to zero exponentially. For example, consider the equation
with constant coefficient and delay, which has oscillating solutions with amplitudes tending to infinity, but the equation
is nonoscillating and exponentially stable if , , .
4 Auxiliary results
Let us formulate several results on systems of functional differential equations with Volterra operators. We mean the Volterra operators according to the following Tikhonov definition. Assume that is a linear bounded operator, where and are the spaces of continuous and essentially bounded functions respectively.
Definition 4.1 We say that an operator is a Volterra one if for every two functions and and every ω, the equality for implies the equality for .
Consider the system
where are linear bounded Volterra operators for . The general solution of this system can be represented in the form 
where is called the Cauchy matrix of system (4.1), , .
Lemma 4.1 Let the Cauchy function of the scalar equation
be positive in , and be positive operators. Then the following assertions are equivalent:
and for ;
there exists a vector function with absolutely continuous components and essentially bounded derivatives such that(4.4)
This lemma follows from Theorem 16.6 for the case (see [, p.409]).
In order to formulate the conditions of positivity of the Cauchy function of the scalar first order equation (4.3), let us introduce the function which describes the ‘size’ of the memory of the operator .
Definition 4.2 Let us define the function as the maximal possible value on for which the equality for for every two continuous functions and implies the equality for almost every .
Lemma 4.2 Let be a positive linear Volterra operator and
then nontrivial solutions of the homogeneous equation
have no zeros for and its Cauchy function for .
This lemma follows from Theorem 15.7 (see [, p.358]).
Denoting the norm of the operator , as a corollary of this assertion we get the following.
Lemma 4.3 If , then the Cauchy function of (4.3) is positive for .
Remark 4.1 Let us consider the second order scalar functional differential equation
and the corresponding system
The Cauchy function of (4.7) coincides with the entry of the Cauchy matrix of system (4.8) and coincides with the entry . If the function is the solution of the initial value problem
then and . Note that if is the solution of the initial value problem consisting of equation (4.9) and the conditions
then , .
5 Main results
Let us consider the equation
and the corresponding homogeneous equation
Theorem 5.1 Let for , for , , and the Cauchy function of the first order equation
be positive for . Then the following assertions are equivalent:
there exists a function v with absolutely continuous and essentially bounded derivative and essentially bounded derivative such that(5.4)
there exists a bounded absolutely continuous function u with essentially bounded derivative such that(5.5)
the Cauchy function of (5.1) is nonnegative for , and solutions , of (5.2), satisfying initial conditions (2.6), are such that , for .
The proof of Theorem 5.1 is based on several auxiliary results.
Lemma 5.1 Assertions (1) and (2) of Theorem 5.1 are equivalent.
Proof (2) ⇒ (1). In order to prove this implication, let us choose the function in the condition (1) in the form
and demonstrate that it satisfies the condition (1). Differentiating, we get
We see that , . In the calculation of , one gets, carrying the exponent (5.6) out of the brackets,
It is clear now that inequalities (5.5) imply that . The implication (2) ⇒ (1) has been proven.
(1) ⇒ (2). Denote , where the function from the assertion (1), and demonstrate that this function satisfies the assertion (2). Obviously the function is nonnegative. The function satisfies the equation and consequently it can be represented in the form (5.6). The derivatives of the function are defined by (5.7) and (5.8). From the inequality we get inequality (5.9) and consequently condition (5.5) is fulfilled.
The implication (1) ⇒ (2) has been proven. □
Proof of Theorem 5.1 (1) ⇒ (3). Let us rewrite (5.1) in the form
Consider the system
To compare this system with system (4.1), we observe that the operators are of the following forms:
Under the conditions , , of Theorem 5.1, the operators , , and are positive. Note that, according to the condition of Theorem 5.1, the Cauchy function of the first order equation (5.3) is positive for . The vector function , where , , satisfies all conditions of assertion (2) of Lemma 4.1. According to Lemma 4.1, we get the positivity of the element and the nonnegativity of the element of the Cauchy matrix of system (5.11) for . Remark 4.1 completes now the proof of the implication (1) ⇒ (3).
To prove the implication (3) ⇒ (1) we choose , where is the solution of the initial problem
Noting that the equivalence (1) ⇔ (2) was obtained in Lemma 5.1, we can conclude that Theorem 5.1 has been proven. □
Denote . For bounded for , we have .
Remark 5.1 The inequality
Remark 5.2 There is a corresponding inconvenience in choosing the functions because of the equality for . Trying to avoid this inconvenience, we can make the following trick.
Let us define the auxiliary operator , where and are the spaces of continuous and of essentially bounded functions , respectively, by the formula
where the parameter β will be defined below in the formulation of Theorem 5.2. Define the norm of this operator as .
Let us define , for and for , on the interval , and consider the equation
where is a measurable essentially bounded function and
with the same β as in (5.18), which will be defined below.
It is clear from the definition of the Cauchy function by (2.7), (2.8) that the Cauchy functions of (5.1) and (5.19) coincide in .
Theorem 5.2 Assume that for , , for and and there exists a real positive number α such that
, where in (5.18) defining the operator B;
the Cauchy function of (5.19) is nonnegative for ;
if in addition there exists a positive ε such that(5.21)
then the Cauchy function of (5.1), its derivative and solutions of the homogeneous equation satisfy the exponential estimate and the estimate
Proof of Theorem 5.2 Let us start with the proof of the assertion (1). We set for in the assertion (1) of the following reformulation of the assertion (1) ⇒ (3) of Theorem 5.1 for (5.19).
Lemma 5.2 Let for , , for , and the Cauchy function of the first order equation
where , be positive for . Then the assertion (2) follows from the assertion (1), where
there exists a function v with absolutely continuous and essentially bounded derivative and essentially bounded derivative such that
the Cauchy function of (5.19) is nonnegative for , and the solutions , of the homogeneous equation
satisfying the initial conditions (2.6), are such that , for .
Substituting this function into the differential operation M defined by (5.19), we obtain the following two inequalities on and . The first one is
and it is satisfied for . This explains how to choose β in the definition of the operator B by (5.18) and the coefficient in (5.19). The second inequality is
and, after carrying the exponent out of the brackets, we get inequality (5.20). Thus inequalities (5.24) and (5.25) are results of a choice of the corresponding function in assertion (1) of Lemma 5.2.
Equation (5.19) can be rewritten in the form
where the operator B is defined by (5.18). The condition (a) implies, according to Lemma 4.3, the positivity of the Cauchy function of the first order equation (5.23).
Now we see that all conditions of Lemma 5.2 and assertion (1) are fulfilled. According to Lemma 5.2, we obtain assertion (1) of Theorem 5.2.
Let us prove assertion (2) of Theorem 5.2. The general solution of (5.19) can be represented in the form
where solutions and of the homogeneous equation , satisfy the conditions
The function satisfies the initial conditions
and the equality
Using condition (5.21), we obtain
From representation (5.26), using (5.27)-(5.30), we get
and, taking into account the nonnegativity of , we get
Positivity of and nonnegativity of imply that
this proves the integral estimate (5.22). It is clear that
for every measurable essentially bounded f such that for . It means that the function
is bounded for every function f measurable and bounded on the semiaxis . Each of the solutions of (5.19) can be presented on as a solution of the equation
where is a corresponding measurable bounded function such that for . Then the solution x of (5.36) is bounded and consequently the solution of (5.19) is bounded for every measurable bounded function , and
is bounded for every measurable bounded function f.
Let us prove that the function is bounded on the semiaxis . The function satisfies the Cauchy problem
where the differential operation M defined by (5.19) and . It is clear that this function f is bounded on the semiaxis . The solution y of (5.38), (5.39) can be written in the form
It follows now from the boundedness of the integral (5.37) for every bounded f that is bounded for .
Consider the system
If α satisfies inequality (5.20), the functions , satisfy the assertion (2) of Lemma 4.1. The condition (a) implies that all other conditions of Lemma 4.1 are also fulfilled. Now, according to Lemma 4.1, the entries in the second row of the Cauchy matrix of system (5.41) satisfy the inequalities , for . Let us substitute the constant vector , where and instead of and , respectively, into system (5.41). Condition (5.21) implies that , . Consider now system (5.41), where , for . From representation (4.2) of the solution we get for the second component of the solution vector
In Remark 4.1 we explained that , , , where is the Cauchy function and , are solutions of the equation
satisfying conditions (5.27). Now it follows from the boundedness of the integral and solutions , that the integral is bounded, and, using the positivity of , we can claim that the integral is bounded for every measurable bounded , . We see that the component of the solution vector to system (5.41) is bounded for every measurable bounded and . The positivity of the Cauchy function of the first order equation (5.25) together with condition (5.21) imply the boundedness of the component of solution vector to system (5.41). Now a generalization of the Perron theorem (see, for example, Theorem 3.5 in ) claims that all entries of the Cauchy matrix satisfy the exponential estimate (2.11). Each of the solutions of (5.1) coincides with a corresponding solution of (5.19) with the measurable essentially bounded right-hand side such that for . Thus for every bounded right-hand side, the solution of (5.1) is bounded, and the exponential estimate (2.11) of the Cauchy function of (5.1), its derivative , and the solutions of the homogeneous equation satisfy the exponential estimate (2.11). □
Corollary 5.1 If under the conditions of Theorem 5.2 there exists a positive limit
The proof of Corollary 5.1 can be obtained from equality (5.31) and the fact of the exponential estimate of all elements of the Cauchy matrix of system (5.41).
Remark 5.3 The positivity of ε in condition (5.21) is essential, as the following example demonstrates. Consider the equation
Here and one of solutions is a constant and does not tend to zero when .
Consider the equation
and the corresponding homogeneous equation
, , and are measurable essentially bounded functions for , .
Theorem 5.3 Let all assumptions of Theorem 5.2 be fulfilled.
if for , then the Cauchy function of (5.47) is positive for ;
if there exist positive and ε such that(5.50)
then the Cauchy function of (5.47) satisfies the exponential estimate (2.11) and the integral estimate
Proof Using the formula of the solutions’ representation (2.5), we can conclude that the solution of the initial problem (5.47), (5.49), (5.52), where
satisfies the integral equation
and the operator is defined by equalities (5.54), (5.49), where
where is the Cauchy function of (5.1), and
According to Theorem 5.2, we obtain the positivity of . The operator K in the case of nonpositive is positive. If we consider this operator K on every finite interval its spectral radius is zero, and one can write
If , then and consequently . Reference to (2.5) completes the proof of the assertion (1).
In order to prove the assertion (2), we have to demonstrate that the solution x is bounded for every bounded right-hand side f and then the extension of the Bohl-Perron implies the exponential estimate (2.11) of the Cauchy matrix (see Theorem 3.5 in the book ). According to Theorem 5.2, the Cauchy function of (5.1) satisfies the exponential estimate (2.11). This implies the boundedness of ψ for every bounded f. If the norm of the operator is less than one, then the bounded operator exists. We have only to prove that .
All conditions of Theorem 5.2 are fulfilled. According to Theorem 5.2, we have
This, according to our observations above, completes the proof of exponential estimate (2.11) of the Cauchy function of (5.47).
Now let us prove estimate (5.51). For the solution x of the initial problem (5.47), (5.49), (5.52), we have two representations
and (5.56). Estimating for , we obtain
This completes the proof of the assertion (2) of Theorem 5.3. □
6 Proofs of Theorems 3.1 and 3.2
Proof of Theorem 3.1 For (3.2), inequality (5.20) is of the following form:
which can be written as
or, using the Lagrange theorem,
where . Setting we get
which is fulfilled if
The inequality in the condition (a) of Theorem 5.2 is fulfilled if inequality (3.6) is satisfied.
Now Theorem 3.1 follows from Theorem 5.2 and Corollary 5.1. □
Remark 6.1 We have not yet used the assertion (2) of Theorem 5.1 to obtain sufficient conditions for the positivity of the Cauchy function of (3.2). Let us build the function , proving the following assertion.
Proof of Theorem 3.2 To construct the function on the interval we solve the equation . Its solution is
where is a constant. We will explain below how to choose . On the interval we solve the inequality
Separating variables and integrating, one gets
where is a constant, and
Choosing such that
For positivity of the function for , we have to assume that , which follows from inequality (3.22).
Let us now choose the constant in (6.7) such that
where is defined by (6.10), (6.12).
we have built the positive absolutely continuous function satisfying the condition (2) of Theorem 5.1. Now reference to Theorem 5.1 completes the proof of the assertions (1) and (2) of Theorem 3.2. To prove assertions (3) and (4) we actually repeat the proof of the assertion (2) of Theorem 5.2 (in the case ).
The proof of Theorem 3.2 have been completed. □
7 Open problems
Let us formulate a list of problems to be solved in the future.
To obtain results on the exponential stability of the equation(7.1)
To obtain results as regards stabilization of the equation , where , to the trajectory by the control of the form(7.2)
without derivatives, i.e. to obtain results about the exponential stability of the equation
Results of this type were considered impossible.
To obtain results on oscillation/nonoscillation, existence of solutions tending to zero or tending to infinity for the second order equation (2.3) without the assumption of the nonnegativity of the coefficients.
To obtain results on stabilization of system (1.1) to the trajectory by the control of the form(7.4)
in the case of more general than diagonal matrices , i.e. to obtain results on the exponential stability of the system
To obtain results as regards the exponential stability of systems of functional differential equations of different orders.
Azbelev NV, Maksimov VP, Rakhmatullina LF: Introduction to Theory of Functional-Differential Equations. Nauka, Moscow; 1991.
Brands JJAM: Oscillation theorems for second-order functional-differential equations. J. Math. Anal. Appl. 1978, 63: 54-64. 10.1016/0022-247X(78)90104-X
Hale JK: Theory of Functional Differential Equations. Springer, New York; 1977.
Myshkis AD: Linear Differential Equations with Delayed Argument. Nauka, Moscow; 1972.
Domoshnitsky A: Properties of Wronskian. In Kraevye Zadachi. Politekh. Inst. Perm, Perm; 1983: (in Russian)57-60. (in Russian)
Domoshnitsky A: Unboundedness of solutions and instability of differential equations of the second order with delayed argument. Differ. Integral Equ. 2001,14(5):559-576.
Paatashvili DV: About unbounded solutions of linear differential equations of second order with delay argument. Differ. Uravn. 1989, 25: 774-780.
Dolgii YF, Nikolaev SG: Instability of a periodic delay system. Differ. Uravn. 1998, 34: 463-468.
Izjumova DV: About boundedness and stability of solutions of nonlinear functional-differential equations of the second order. Proc. Georgian Acad. Sci. 1980 (in Russian),100(2):285-288. (in Russian)
Pinto M: Nonlinear delay-differential equations with small lag. Int. J. Math. Math. Sci. 1997, 20: 137-146. 10.1155/S0161171297000203
Pinto M: Asymptotic solutions for second order delay differential equations. Nonlinear Anal. 1999, 28: 1729-1740.
Romanenko EY, Sharkovskii AN: Asymptotic Behavior of Solutions of Linear Functional-Differential Equations. Akad. Nauk of Ukraina, Inst. Math., Kiev; 1978.
Derfel GA, Molchanov SA: On T. Kato’s problem regarding bounded solutions of differential-functional equations. Funkc. Anal. Prilozh. 1990, 24: 67-69. 10.1007/BF01077925
Dosla Z, Kiguradze IT: On boundedness and stability of solutions of second order linear differential equations with advanced arguments. Adv. Math. Sci. Appl. 1999,9(1):1-24.
Cahlon B, Schmidt D: Stability criteria for second-order delay differential equations with mixed coefficients. J. Comput. Appl. Math. 2004, 170: 79-102. 10.1016/j.cam.2003.12.043
Cahlon B, Schmidt D: Stability criteria for certain second-order delay differential equations. Dyn. Contin. Discrete Impuls. Syst. 2003, 10: 593-621.
Burton TA Mathematics in Science and Engineering 178. In Stability and Periodic Solutions of Ordinary Differential and Functional Differential Equations. Academic Press, San Diego; 1985.
Burton TA: Stability by Fixed Point Theory for Functional Differential Equations. Dover, New York; 2006.
Domoshnitsky A: About applicability of Chaplygin’s theorem to one component of the solution vector. Differ. Uravn. 1990, 26: 1699-1705.
Bainov D, Domoshnitsky A: Stability of a second-order differential equations with retarded argument. Dyn. Stab. Syst. 1994,9(2):145-151. 10.1080/02681119408806173
Berezansky L, Braverman E, Domoshnitsky A: Stability of the second order delay differential equations with a damping term. Differ. Equ. Dyn. Syst. 2008,16(3):185-205. 10.1007/s12591-008-0012-4
Pontryagin LS: On zeros of some transcendental functions. Izv. Akad. Nauk SSSR, Ser. Mat. 1942 (the English translation in Am. Math. Soc. Transl., Ser. 2 1, 95-110 (1955)), 6: 115-134. (the English translation in Am. Math. Soc. Transl., Ser. 2 1, 95-110 (1955))
Domoshnitsky A: Maximum principles and nonoscillation intervals for first order Volterra functional differential equations. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 2008, 15: 769-814.
Ladde GS, Lakshmikantham V, Zhang BG: Oscillation Theory of Differential Equations with Deviating Argument. Dekker, New York; 1987.
Norkin SB Transl. Math. Monographs 31. In Differential Equations of the Second Order with Retarded Argument. Am. Math. Soc., Providence; 1972.
Azbelev NV: About zeros of solutions of linear differential equations of the second order with delayed argument. Differ. Uravn. 1971,7(7):1147-1157.
Koplatadze RG: On oscillatory properties of solutions of functional differential equations. Mem. Differ. Equ. Math. Phys. 1994, 3: 1-179.
Agarwal RP, Berezansky L, Braverman E, Domoshnitsky A: Nonoscillation Theory of Functional Differential Equations with Applications. Springer, New York; 2012.
The author declares that he has no competing interests.
About this article
Cite this article
Domoshnitsky, A. Nonoscillation, maximum principles, and exponential stability of second order delay differential equations without damping term. J Inequal Appl 2014, 361 (2014). https://doi.org/10.1186/1029-242X-2014-361
- exponential stability
- maximum principles
- Cauchy function
- positivity of solutions
- positivity of the Cauchy function
- differential inequalities