Abstract
The object of investigations is a system of impulsive differential equations with “supremum.” These equations are not widely studied yet, and at the same time they are adequate mathematical model of many real world processes in which the present state depends significantly on its maximal value on a past time interval. Practical stability for a nonlinear system of impulsive differential equations with “supremum” is defined and studied. It is applied Razumikhin method with piecewise continuous scalar Lyapunov functions and comparison results for scalar impulsive differential equations. To unify a variety of stability concepts and to offer a general framework for the investigation of the stability theory, the notion of stability in terms of two measures has been applied to both the given system and the comparison scalar equation. An example illustrates the usefulness of the obtained sufficient conditions.
1. Introduction
One of the main qualitative problem in the theory of differential equations is stability. In some real world situations, it is desired that the state of a system may be mathematically unstable; however, the system may oscillate sufficiently close to the desired state, so that its performance is deemed acceptable. For example, an aircraft may oscillate around a mathematically, unstable path, yet its performance may be acceptable. In this case, it is appropriate to be used the so-called practical stability, which is defined and studied for various types of differential equations in [1–8]. To unify a variety of stability concepts and to offer a general framework for the investigation of the stability theory, the notion of stability in terms of two measures has been proved to be very powerful (see, e.g., [9] and cited therein references). One of the very useful methods of investigation of stability of solutions is Lyapunov-Razumikhin method combined with a comparison method. In fact, application of Lyapunov functions allows us to consider a scalar equation and to study stability properties of its solution. Sometimes, its solution is not stable in Lyapunov sense, applying regular norm. It requires using two measures not only for the given equation but also for the comparison equation.
In the last few decades, great attention has been paid to automatic control systems and their applications to computational mathematics and modeling. Many problems in control theory correspond to the maximal deviation of the regulated quantity (see [10]). Such kind of problems could be adequately modeled by differential equations that contain the maxima operator. Note that various conditions for stability for differential equations with “maxima” are obtained in [1, 11–14].
In the paper, practical stability for a nonlinear system of impulsive differential equations involving the maximal value of the unknown function over a past time interval is studied. It is applied Razumikhin method with piecewise continuous scalar Lyapunov functions and comparison results for scalar impulsive differential equations. In this paper, differently than the existing up-to-date results, two different measures are applied to both the given system and the comparison scalar equation. Sufficient conditions for practical stability in the entire space (Theorem 2.10) as well as in a ball (Theorem 2.11) are obtained. The case of a ball requires more desired conditions than the global case. The main accent of the paper is consideration of (i)a new type of functional differential equations which contain the supremum of the unknown function over a past time interval; (ii)the practical stability, which is more stronger than the stability; (iii) two pairs of different measures for both the comparison scalar equation and the given system.
An example illustrates the usefulness of the obtained sufficient conditions.
2. Main Results
Let be -dimensional Euclidean space with a norm , and .
Let be a sequence of fixed points in such that and . Let be a fixed constant.
Consider the system of nonlinear impulsive differential equations with “supremum”: with initial condition where , , , , , and .
Note that for we denote
Denote by the set of all functions which are piecewise continuous in with points of discontinuity of the first kind at the points and which are continuous from the left at the points , .
In our further investigations, we will assume that for any initial function the solution of the initial value problem for system of impulsive differential equations with “supremum” (2.1) and (2.2) exists on . Note that differential equations with maxima as well as impulsive differential equations with supremum are not well studied yet. Although these equations are delayed functional differential equations, not all results known in the literature for delay differential equations are applied to them. The main reason is the presence of maximum function which is very nonlinear one. Only some partial results for existence are obtained in the continuous case (see [15, 16]).
Let . Denote by the set of all integers such that .
We will define the following sets of measures:
Remark 2.1. Note that any norm in is a function from and any norm in is from both classes and . For example, the function .
Let , , and . We will use the following notation:
Let be a fixed number and . Define
We will introduce the definition of a practical stability for impulsive differential equations with “supremum,” based on the ideas of stability in terms of two measures considered in [8, 9].
Definition 2.2. Let the functions and the positive constants be given. The system of impulsive differential equations with “supremum” (2.1) is said to be(S1)practically stable with respect to in terms of both measures if there exists such that for any inequality implies for , where the function is defined by (2.5), and is a solution of (2.1) and (2.2);(S2)uniformly practically stable with respect to in terms of both measures if (S1) is satisfied for all .
Remark 2.3. In the case and , Definition 2.2 reduces to a definition of practical stability of impulsive differential equations, studied in [4].
In the case , , , and , the above-given definitions reduce to definitions for the corresponding types of practical stability of ordinary differential equations, given in the books [4, 6].
In our further investigations, we will use the initial value problem for the comparison scalar impulsive differential equation: where , , and .
In our further investigations, we will assume that for any initial point the solution of scalar impulsive equation (2.7) exists on , . For some existence results, see the book of Bainov and Simeonov [17].
Note that the definition for practical stability in terms of two measures for scalar impulsive differential equation (2.7) is given by the following definition.
Definition 2.4. Let the functions and the positive constants be given. The scalar impulsive differential equation (2.7) is said to be(S3)practically stable with respect to in terms of both measures if there exists such that for any the inequality implies for , where is a solution of (2.7) and (2.8);(S4)uniformly practically stable with respect to in terms of both measures if (S4) is satisfied for all .
Remark 2.5. In the case and , Definition 2.4 reduces to a definition for practical stability of zero solution of differential equations (see [6]).
We will give an example of a scalar differential equation which is not practically stable, but at the same time it is practically stable in terms of two measures.
Example 2.6. Consider scalar differential equation . The zero solution of this equation is not practically stable. At the same time, if we choose measures and , then the same scalar equation is uniformly practically stable in terms of two measures.
We will study the connection between practical stability in terms of two measures of the scalar impulsive differential equation (2.7) and the corresponding practical stability in terms of two measures for the system of impulsive differential equations with “supremum” (2.1).
Introduce the following notations:
We will introduce the class of piecewise continuous Lyapunov functions which will be used to investigate the practical stability of impulsive differential equations with “supremum.”
Definition 2.7. We will say that the function , , , , belongs to class if(1) is a continuous function in and for ,(2)for every and , there exist the finite limits (3)function is Lipschitz with respect to its second argument in the set .
Let , . For any and any function , we will define a derivative of the function along a trajectory of the solution of (2.1) as follows:
Consider the following sets:
In the further investigations, we will use the following comparison result.
Lemma 2.8 (Hristova [12]). Let the following conditions be fulfilled. (1)The functions and for , where , and are constants.(2)The function .(3)The initial value problem (2.1) and (2.2) has a solution , such that on .(4)The functions , for and , .(5)For any initial point , the initial value problem for the scalar impulsive differential equation (2.7) has a maximal solution , which is defined for .(6)The function , is such that(i)for any number and any function such that for , the inequality
holds.(ii).
Then, the inequality implies the inequality for .
Remark 2.9. Lemma 2.8 is valid when , that is, for .
We will obtain sufficient conditions for practical stability in terms of two measures for impulsive differential equations with “supremum.” We will use Lyapunov functions from class . The proof is based on Razumikhin method and a comparison method employing scalar impulsive differential equations.
In the case when the Lyapunov function satisfies globally the desired conditions, we obtain the following result.
Theorem 2.10. Let the following conditions be fulfilled. (1)The function PC and .(2)The functions and for .(3)The functions and .(4)There exists a function with such that(i), where ;(ii)for any number and any function such that for , the inequality holds, where and ;(iii), for , where .Then, the (uniform) practical stability with respect to in terms of both measures of scalar impulsive differential equation (2.7) implies (uniform) practical stability with respect to in terms of both measures of system of impulsive differential equations with “supremum” (2.1) where the positive constants are given.
Proof. Let scalar impulsive differential equation (2.7) be practically stable in both measures with respect to . Therefore, there exists a point such that implies
where is a solution of (2.7) and (2.8).
Choose a function PC such that
and let be a solution of (2.1) with initial condition (2.2).
Let . From Lemma 2.8 for and , it follows the validity of the inequality
From condition 4(i), we obtain for all
From inequalities (2.18) and , we obtain
From condition 4(i), and inequalities (2.15), (2.17), and (2.19), we get for
or
In the case when Lyapunov function does not satisfy globally the conditions 4(ii) and 4(iii) of Theorem 2.10, we obtain the following sufficient conditions.
Theorem 2.11. Let the following conditions be fulfilled. (1)The conditions and (2) of Theorem 2.10 are satisfied.(2)The functions , ; there exist positive constants and a function , such that for , and implies for , .(3)There exists a function with such that(i), where ;(ii)for any number and any function such that for , the inequality
holds, where and ;(iii), where .
Then, (uniform) practical stability with respect to in terms of both measures of scalar impulsive differential equation (2.7) implies (uniform) practical stability with respect to in terms of both measures of system of impulsive differential equations with “supremum” (2.1).
Proof. Let scalar impulsive differential equation (2.7) be practically stable with respect to in terms of both measures . Therefore, there exists a point such that implies
where is a solution of (2.7) and (2.8).
Choose a function PC such that
and let be a solution of (2.1) with initial condition (2.2).
We will prove that
holds for .
From inclusion for and conditions (2) and 3(i), it follows that
that is, inequality (2.25) holds on .
Assume that (2.25) does not hold for .
Consider the following two cases.
Case 1. Let there exists a point , such that
Let . From Lemma 2.8 for the function defined on the set , it follows the validity of the inequality
From condition 3(i), we obtain
or
From inequalities (2.23), (2.28), and (2.30), the choice of the point , and condition 3(i), we get
The obtained contradiction proves the validity of (2.25) for .Case 2. Let there exists a number such that for and . Then, as in Case 1 for , we obtain a contradiction. The obtained contradictions prove the validity of (2.25) for .
Remark 2.12. Note that if in condition (2) inequality implies for , , then the claim of Theorem 2.11 holds if functions , and .
Corollary 2.13. Let the following conditions be fulfilled.(1)Conditions and of Theorem 2.10 are satisfied.(2)The functions , and there exists a positive constant such that implies for , .(3)There exists a function with such that(i) where ; (ii)for any number and any function such that for , the inequality
holds;(iii).
Then, the system of impulsive differential equations with “supremum” (2.1) is uniformly practically stable with respect to in terms of both measures .
Proof. The proof of Corollary 2.13 follows from the one of Theorem 2.10 for and . In this case, the scalar equation (2.7) is uniformly practically stable in terms of measures , and .
3. Applications
Consider the following system of impulsive differential equations with “supremum”: with initial conditions where , is small enough constant, , and . Without loss of generality, we could assume that .
Let , , , and . Consider , . It is easy to check condition 3(i) of Theorem 2.10 for functions and .
Let and be such that or .
Let . If there exists a point such that , then .
The above inequality is also true if for all ; that is, there exists such that .
Then, for , we obtain Therefore, if inequality (3.3) is fulfilled, then we have For any , we obtain where .
Now, consider the initial value problem for the scalar comparison impulsive differential equation
The solution of the above initial value problem for impulsive differential equation is for . Let numbers be given and . Then, that is, scalar comparison equation is uniformly practically stable in terms of measures . Therefore, according to Theorem 2.10, the system of impulsive differential equations with “supremum” (3.1) is uniformly practically stable in terms of two measures, that is, the inequality implies for .
4. Conclusions
Two types of sufficient conditions for practical stability of impulsive differential equations with “supremum” are obtained. The global case and the case on a ball are considered. Both types of results are based on the application of Lyapunov piecewise continuous functions and comparison results for scalar impulsive differential equations. To unify a variety of stability concepts and to offer a general framework for the investigation of the stability theory, the notion of stability in terms of two measures has been applied to both the given system and the comparison scalar equation. Note that in studying stability of differential equations everywhere in the literature two different measures are applied only to the given equation. Also, in the particular case of identity impulsive functions, that is, , the obtained results reduce to results for practical stability of differential equations with “maxima” which are also new ones. The obtained results are generalizations of the results for practical stability of ordinary differential equations (see [4, 6]), results for impulsive differential equations (see [4]), results for differential difference equations, and results for impulsive differential difference equations (see [2, 5]).
Acknowledgment
The research was partially supported by NI11FMI004/30.05.2011, Fund “Scientific Research,” Plovdiv University.