Volume 2011, Issue 1 703189
Research Article
Open Access

Practical Stability in terms of Two Measures for Impulsive Differential Equations with “Supremum”

S. G. Hristova

Corresponding Author

S. G. Hristova

Plovdiv University "Paisii Hiledarski", 4000 Plovdiv, Bulgaria uni-plovdiv.bg

Search for more papers by this author
A. Georgieva

A. Georgieva

Plovdiv University "Paisii Hiledarski", 4000 Plovdiv, Bulgaria uni-plovdiv.bg

Search for more papers by this author
First published: 13 October 2011
Citations: 11
Academic Editor: Jianshe Yu

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 [18]. 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, 1114].

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 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.

Consider the system of nonlinear impulsive differential equations with “supremum”:
()
with initial condition
()
where xn, f : + × n × nn, Ik : nn, k = 1,2, 3, …,  t0+, and ϕ : [t0r, t0] → n.
Note that for x : [tr, t] → n,   x = (x1, x2, …, xn) we denote
()

Denote by PC(X, Y)  (X  , Yn) the set of all functions u : XY which are piecewise continuous in X with points of discontinuity of the first kind at the points τkX and which are continuous from the left at the points τkX, u(τk) = u(τk − 0).

In our further investigations, we will assume that for any initial function ϕ ∈ PC([t0r, t0], n) the solution of the initial value problem for system of impulsive differential equations with “supremum” (2.1) and (2.2) exists on [t0r, ). 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 τkX.

We will define the following sets of measures:
()

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 .

Let h0 ∈ Γ, t0+, and ϕ ∈ PC([t0r, t0], n). We will use the following notation:
()
Let ρ > 0 be a fixed number and h ∈ Γ. 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 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([t0r, t0], n) inequality H0(t0, ϕ) < λ implies h(t, x(t; t0, ϕ)) < A for tt0, 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 use the initial value problem for the comparison scalar impulsive differential equation:
()
()
where u, u0, g : + × ,   ξk : , and k = 1,2, ….

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 tt0, 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) = et|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).

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 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 kZ(Δ) and x ∈ Ω, there exist the finite limits

    ()

  • (3)

    function V(t, x) is Lipschitz with respect to its second argument in the set Δ × Ω.

Let V(t, x) : Δ × Ω → +, V ∈ Λ. For any t ∈ Δ∩𝒢 and any function ψ ∈ PC([tr, t], Ω), we will define a derivative of the function V 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 f ∈ PC([t0, T] × Ω × Ω, n) and IkC(Ω, Ω) for kZ([t0, T)), where Ω ⊂ n, and t0, T : 0 ≤ t0 < T < are constants.

  • (2)

    The function ϕ ∈ PC([t0r, t0], Ω).

  • (3)

    The initial value problem (2.1) and (2.2) has a solution x(t) = x(t; t0, ϕ), such that x(t) ∈ Ω on [t0r, T].

  • (4)

    The functions g ∈ PC([t0, T] × +, +), g(t, 0) ≡ 0 for t ∈ [t0, T] and ξk𝒦, kZ((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 : [t0r, T] × Ω → +, V ∈ Λ is such that

    • (i)

      for any number t ∈ [t0, T] : tτk,   kZ((t0, T)) and any function ψ ∈ PC([tr, 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)), kZ((t0, T)), x ∈ Ω.

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 IkC(n, n) and Ik(0) = 0 for kZ(+).

  • (3)

    The functions h0, h ∈ Γ and .

  • (4)

    There exists a function V(t, x) : [−r, ) × n+ with V ∈ Λ such that

    • (i)

      , where a, bK;

    • (ii)

      for any number t+ : tτk, kZ(+) and any function ψ ∈ PC([tr, 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 xn, kZ(+), where ξk𝒦.

Then, the (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) where the positive constants λ,   A are given.

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

()
where u(t; t0, u0) is a solution of (2.7) and (2.8).

Choose a function ϕ∈ PC ([t0r, t0],n) such that

()
and let x(t; t0, ϕ) be a solution of (2.1) with initial condition (2.2).

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

()
From condition 4(i), we obtain for all s ∈ [−r, 0]
()
From inequalities (2.18) and , we obtain
()
From condition 4(i), and inequalities (2.15), (2.17), and (2.19), we get for  tt0
()
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 (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 xn, kZ(+).

  • (3)

    There exists a function with V ∈ Λ such that

    • (i)

      , where a, bK;

    • (ii)

      for any number t+ : tτk, kZ(+) and any function ψ ∈ PC([tr, 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), kZ(+), where ξk𝒦.

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

()
where u(t; t0, u0) is a solution of (2.7) and (2.8).

Choose a function ϕ∈ PC ([t0r, t0], n) such that

()
and let x(t; t0, ϕ) be a solution of (2.1) with initial condition (2.2).

We will prove that

()
holds for tt0.

From inclusion (t, ϕ(t)) ∈ S(h0, λ) for t ∈ [t0r, t0] and conditions (2) and 3(i), it follows that

()
that is, inequality (2.25) holds on [t0r, t0].

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, kZ((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

()
From condition 3(i), we obtain
()
or
()
From inequalities (2.23), (2.28), and (2.30), the choice of the point t*, and condition 3(i), we get
()
The obtained contradiction proves the validity of (2.25) for t > t0.

Case 2. Let there exists a number kZ((t0, )) such that h(t, x(t; t0, ϕ)) < A for t ∈ [t0r, τk) and h(τk, x(τk; t0, ϕ)) = A. Then, as in Case 1 for t* = τk, we obtain a contradiction. The obtained contradictions prove the validity of (2.25) for t > t0.

Remark 2.12. Note that if in condition (2) inequality h(τk, x) < A implies h(τk, Ik(x)) ≤ A for xn  , kZ(+), then the claim of Theorem 2.11 holds if functions ξ𝒦, ξ(x) > x, and kZ(+).

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 xn, kZ(+).

  • (3)

    There exists a function V(t, x) : [−r, ) × n+ with V ∈ Λ such that

    • (i)

      where a, bK;

    • (ii)

      for any number t+ : tτk, kZ(+) and any function ψ ∈ PC([tr, 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), kZ(+).

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).

Proof. The proof of Corollary 2.13 follows from the one of Theorem 2.10 for g(t, x) ≡ 0 and ξ(x) ≡ x. In this case, the scalar equation (2.7) is uniformly practically stable in terms of measures , and h*(t, u) = |u|.

3. Applications

Consider the following system of impulsive differential equations with “supremum”:
()
with initial conditions
()
where x, y, r > 0 is small enough constant, t0 ≥ 0, and a, b ∈ (1,2). Without loss of generality, we could assume that t0 < 1.

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) = s2K and b(s) = sK.

Let t+, tk, k = 1,2, … and ψ ∈ PC([tr, t], 2),   ψ = (ψ1, ψ2) be such that
()
or V(ψ1(t), ψ2(t)) > V(ψ1(t + s), ψ2(t + s)).

Let i = 1,2. If there exists a point η ∈ [tr, t] such that sup s∈[tr,t]ψi(s) = ψi(η), then .

The above inequality is also true if sup s∈[tr,t]ψi(s) > ψi(η) for all η ∈ [−r, t]; that is, there exists k ∈ (tr, t) such that sup s∈[tr,t]ψi(s) = ψi(k + 0).

Then, for i = 1,2, we obtain
()
Therefore, if inequality (3.3) is fulfilled, then we have
()
For any k, we obtain
()
where c = max (a, b) > 1.
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 t ∈ [k, k + 1), k = 1,2, …. Let numbers be given and |u0| < λ2. 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 sup s∈[−r,0](|ϕ1(s)| + 2|ϕ2(s)|) < λ implies e−3t(x2(t; t0, ϕ) + 2y2(t; t0, ϕ)) < A for tt0.

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.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.