Practical Stability in terms of Two Measures for Impulsive Differential Equations with “Supremum”
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].
- (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 ℝn be n-dimensional Euclidean space with a norm ∥·∥, and ℝ+ = [0, ∞).
Let be a sequence of fixed points in ℝ+ such that τk+1 > τk and lim k→∞τk = ∞. Let r > 0 be a fixed constant.
Denote by PC(X, Y) (X ⊂ ℝ , Y ⊂ ℝn) the set of all functions u : X → Y which are piecewise continuous in X with points of discontinuity of the first kind at the points τk ∈ X and which are continuous from the left at the points τk ∈ X, u(τk) = u(τk − 0).
In our further investigations, we will assume that for any initial function ϕ ∈ PC([t0 − r, t0], ℝn) the solution of the initial value problem for system of impulsive differential equations with “supremum” (2.1) and (2.2) exists on [t0 − r, ∞). 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 X ⊂ ℝ+. Denote by Z(X) the set of all integers k such that τk ∈ X.
Remark 2.1. Note that any norm in ℝn is a function from Γ and any norm in ℝ is from both classes and . For example, the function .
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 h, h0 ∈ Γ and the positive constants λ, A be given. The system of impulsive differential equations with “supremum” (2.1) is said to be
- (S1)
practically stable with respect to (λ, A) in terms of both measures (h0, h) if there exists t0 ≥ 0 such that for any ϕ ∈ PC([t0 − r, t0], ℝn) inequality H0(t0, ϕ) < λ implies h(t, x(t; t0, ϕ)) < A for t ≥ t0, where the function H0 is defined by (2.5), and x(t; t0, ϕ) is a solution of (2.1) and (2.2);
- (S2)
uniformly practically stable with respect to (λ, A) in terms of both measures (h0, h) if (S1) is satisfied for all t0 ∈ ℝ+.
Remark 2.3. In the case r = 0 and h0(t, x) = h(t, x) = ∥x∥, Definition 2.2 reduces to a definition of practical stability of impulsive differential equations, studied in [4].
In the case r = 0, Ik(x) ≡ x, k = 1,2, …, and h0(t, x) = h(t, x) = ∥x∥, 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 assume that for any initial point (t0, u0) ∈ ℝ+ × ℝ the solution of scalar impulsive equation (2.7) exists on [t0, ∞), t0 ≥ 0. 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 λ, A be given. The scalar impulsive differential equation (2.7) is said to be
- (S3)
practically stable with respect to (λ, A) in terms of both measures if there exists t0 ≥ 0 such that for any u0 ∈ ℝ the inequality implies h*(t, u(t; t0, u0)) < A for t ≥ t0, where u(t; t0, u0) is a solution of (2.7) and (2.8);
- (S4)
uniformly practically stable with respect to (λ, A) in terms of both measures if (S4) is satisfied for all t0 ∈ ℝ+.
Remark 2.5. In the case h*(t, x) = ∥x∥ 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 u′ = u. The zero solution of this equation is not practically stable. At the same time, if we choose measures and h*(t, u) = e−t|u|, 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).
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 V(t, x) : Δ × Ω → ℝ+, Δ ⊂ [−r, ∞), Ω ⊂ ℝn, 0 ∈ Ω, belongs to class Λ if
- (1)
V(t, x) is a continuous function in (Δ∩𝒢) × Ω and V(t, 0) ≡ 0 for t ∈ Δ,
- (2)
for every k ∈ Z(Δ) and x ∈ Ω, there exist the finite limits
() - (3)
function V(t, x) is Lipschitz with respect to its second argument in the set Δ × Ω.
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 f ∈ PC([t0, T] × Ω × Ω, ℝn) and Ik ∈ C(Ω, Ω) for k ∈ Z([t0, T)), where Ω ⊂ ℝn, and t0, T : 0 ≤ t0 < T < ∞ are constants.
- (2)
The function ϕ ∈ PC([t0 − r, t0], Ω).
- (3)
The initial value problem (2.1) and (2.2) has a solution x(t) = x(t; t0, ϕ), such that x(t) ∈ Ω on [t0 − r, T].
- (4)
The functions g ∈ PC([t0, T] × ℝ+, ℝ+), g(t, 0) ≡ 0 for t ∈ [t0, T] and ξk ∈ 𝒦, k ∈ Z((t0, T)).
- (5)
For any initial point u0 ∈ ℝ+, the initial value problem for the scalar impulsive differential equation (2.7) has a maximal solution u*(t) = u*(t; t0, u0), which is defined for t ∈ [t0, T].
- (6)
The function V : [t0 − r, T] × Ω → ℝ+, V ∈ Λ is such that
- (i)
for any number t ∈ [t0, T] : t ≠ τk, k ∈ Z((t0, T)) and any function ψ ∈ PC([t − r, t], Ω) such that V(t, ψ(t)) ≥ V(t + s, ψ(t + s)) for s ∈ [−r, 0), the inequality
()holds. - (ii)
V(τk + 0, Ik(x)) ≤ ξk(V(τk, x)), k ∈ Z((t0, T)), x ∈ Ω.
- (i)
Then, the inequality sup s∈[−r,0]V(t0 + s, ϕ(t0 + s)) ≤ u0 implies the inequality V(t, x(t)) ≤ u*(t) for t ∈ [t0, T].
Remark 2.9. Lemma 2.8 is valid when T = ∞, that is, for t ∈ [t0, ∞).
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 f∈ PC [ℝ+ × ℝn × ℝn, ℝn] and f(t, 0,0) ≡ 0.
- (2)
The functions Ik ∈ C(ℝn, ℝn) and Ik(0) = 0 for k ∈ Z(ℝ+).
- (3)
The functions h0, h ∈ Γ and .
- (4)
There exists a function V(t, x) : [−r, ∞) × ℝn → ℝ+ with V ∈ Λ such that
- (i)
, where a, b ∈ K;
- (ii)
for any number t ∈ ℝ+ : t ≠ τk, k ∈ Z(ℝ+) and any function ψ ∈ PC([t − r, t], ℝn) such that V(t, ψ(t)) > V(t + s, ψ(t + s)) for s ∈ [−r, 0), the inequality
()holds, where g ∈ PC(ℝ+ × ℝ, ℝ+) and g(t, 0) ≡ 0; - (iii)
V(τk + 0, Ik(x)) ≤ ξk(V(τk, x)), for x ∈ ℝn, k ∈ Z(ℝ+), where ξk ∈ 𝒦.
- (i)
Proof. Let scalar impulsive differential equation (2.7) be practically stable in both measures with respect to (a(λ), b(A)). Therefore, there exists a point t0 ≥ 0 such that implies
Choose a function ϕ∈ PC ([t0 − r, t0],ℝn) such that
Let u0 = sup s∈[−r,0]V(t0 + s, ϕ(t0 + s)). From Lemma 2.8 for Δ = [−r, ∞) and Ω = ℝn, it follows the validity of the inequality
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 (1) and (2) of Theorem 2.10 are satisfied.
- (2)
The functions h0, h ∈ Γ, ; there exist positive constants λ, A and a function Ψ ∈ K, Ψ(x) ≤ x such that h(t, x) ≤ Ψ(h0(t, x)) for (t, x) ∈ S(h0, λ), and h(τk, x) < A implies h(τk, Ik(x)) < A for x ∈ ℝn, k ∈ Z(ℝ+).
- (3)
There exists a function with V ∈ Λ such that
- (i)
, where a, b ∈ K;
- (ii)
for any number t ∈ ℝ+ : t ≠ τk, k ∈ Z(ℝ+) and any function ψ ∈ PC([t − r, t], ℝn) : (t, ψ(t)) ∈ S(h, A) such that V(t, ψ(t)) > V(t + s, ψ(t + s)) for s ∈ [−r, 0), the inequality
()holds, where g ∈ PC(ℝ+ × ℝ, ℝ+) and g(t, 0) ≡ 0; - (iii)
V(τk + 0, Ik(x)) ≤ ξk(V(τk, x)) for (τk, x) ∈ S(h, A), k ∈ Z(ℝ+), where ξk ∈ 𝒦.
- (i)
Then, (uniform) practical stability with respect to (a(λ), b(A)) in terms of both measures of scalar impulsive differential equation (2.7) implies (uniform) practical stability with respect to (λ, A) in terms of both measures (h0, h) of system of impulsive differential equations with “supremum” (2.1).
Proof. Let scalar impulsive differential equation (2.7) be practically stable with respect to (a(λ), b(A)) in terms of both measures . Therefore, there exists a point t0 ≥ 0 such that implies
Choose a function ϕ∈ PC ([t0 − r, t0], ℝn) such that
We will prove that
From inclusion (t, ϕ(t)) ∈ S(h0, λ) for t ∈ [t0 − r, t0] and conditions (2) and 3(i), it follows that
Assume that (2.25) does not hold for t > t0.
Consider the following two cases.
Case 1. Let there exists a point t* > t0, t* ≠ τk, k ∈ Z((t0, ∞)) such that
Let u0 = sup s∈[−r,0]V(t0 + s, ϕ(t0 + s)). From Lemma 2.8 for the function V(t, x) defined on the set {(t, x) ∈ [t0, t*] × ℝn : h(t, x) ≤ A}, it follows the validity of the inequality
Remark 2.12. Note that if in condition (2) inequality h(τk, x) < A implies h(τk, Ik(x)) ≤ A for x ∈ ℝn , k ∈ Z(ℝ+), then the claim of Theorem 2.11 holds if functions ξ ∈ 𝒦, ξ(x) > x, and k ∈ Z(ℝ+).
Corollary 2.13. Let the following conditions be fulfilled.
- (1)
Conditions (1) and (2) of Theorem 2.10 are satisfied.
- (2)
The functions h0, h ∈ Γ, and there exists a positive constant A such that h(τk, x) < A implies h(τk, Ik(x)) < A for x ∈ ℝn, k ∈ Z(ℝ+).
- (3)
There exists a function V(t, x) : [−r, ∞) × ℝn → ℝ+ with V ∈ Λ such that
- (i)
where a, b ∈ K;
- (ii)
for any number t ∈ ℝ+ : t ≠ τk, k ∈ Z(ℝ+) and any function ψ ∈ PC([t − r, t], ℝn) : (t, ψ(t)) ∈ S(h, A) such that V(t, ψ(t)) > V(t + s, ψ(t + s)) for s ∈ [−r, 0), the inequality
()holds; - (iii)
V(τk + 0, Ik(x)) ≤ V(τk, x) for (τk, x) ∈ S(h, A), k ∈ Z(ℝ+).
- (i)
Then, the system of impulsive differential equations with “supremum” (2.1) is uniformly practically stable with respect to (λ, A) in terms of both measures (h0, h).
3. Applications
Let , h(t, x, y) = e−3t(x2 + y2), , and h*(t, u) = e−3t|u|. Consider V : ℝ2 → ℝ+, V(x, y) = x2 + 2y2. It is easy to check condition 3(i) of Theorem 2.10 for functions a(s) = s2 ∈ K and b(s) = s ∈ K.
Let i = 1,2. If there exists a point η ∈ [t − r, t] such that sup s∈[t−r,t]ψi(s) = ψi(η), then .
The above inequality is also true if sup s∈[t−r,t]ψi(s) > ψi(η) for all η ∈ [−r, t]; that is, there exists k ∈ (t − r, t) such that sup s∈[t−r,t]ψi(s) = ψi(k + 0).
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, Ik(x) ≡ x, k = 1,2, …, 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.