Abstract
In this paper, we investigate many types of stability, like uniform stability, asymptotic stability, uniform asymptotic stability, global stability, global asymptotic stability, exponential stability, uniform exponential stability, of the homogeneous firstorder linear dynamic equations of the form
where A is the generator of a
1 Introduction and preliminaries
The history of asymptotic stability of dynamic equations on a time scale goes back to Aulbach and Hilger [3]. For a real scalar dynamic equation, stability and instability results were obtained by Gard and Hoffacker [12]. Pötzche [20] provides sufficient conditions for the uniform exponential stability in Banach spaces, as well as spectral stability conditions for timevarying systems on time scales. Doan, Kalauch, and Siegmund [10] established a necessary and sufficient condition for the existence of uniform exponential stability and characterized the uniform exponential stability of a system by the spectrum of its matrix. Properties of exponential stability of a time varying dynamic equation on a time scale have been also investigated recently by Bohner and Martynyuk [7], DaCunha [9], Du and Tien [11], Hoffacker and Tisdell [16], Martynyuk [17], and Peterson and Raffoul [19].
The theory of dynamic equations on time scales was introduced by Stefan Hilger in
1988 [14], in order to unify continuous and discrete calculus [4,15]. A time scale
(i) f is continuous at every rightdense point
(ii)
The set of rdcontinuous functions
A function
In this case, we denote the α by
A function
where F is an antiderivative of f. Every rdcontinuous function
Definition 1.1 A mapping
is regressive if A is regressive. We say that a real valued function
It is well known that if
has the unique solution
Here,
whose solution has the closed form
where
and
It can be seen that for
Indeed, by taking
This implies that the claim is true.
In the sequel, we denote by
(i)
(ii)
(iii)
If in addition
where the domain
In Section 2 of this paper we present some results from [1] that we need in our study. One of them is that an abstract Cauchy problem
has the unique solution
when A is the generator of the
S. K. Choi, D. M. Im, and N. Koo in [8], Theorem 3.5] proved that the stability of the time variant abstract Cauchy problem
where
In Section 4, we extend these results for the case where A is the generator of T and we prove that the concepts of stability and uniform stability are same.
Sections 5 and 6 are devoted to establishing characterizations for many other types of stability, like asymptotic stability, uniform asymptotic stability, global asymptotic stability, exponential stability, and uniform exponential stability for the abstract Cauchy problem (1.11).
We end this paper with a new illustrative example including nonregressive dynamic equation and we investigate its stability.
2 The existence and uniqueness of solutions of dynamic equations
Our aim in this section is to prove that the first order initial value problem
has the unique solution
when A is the generator of a
At first, we establish some properties of T and its generator A which we use to arrive at our aim.
Theorem 2.1For
1. For
and
2. For
and
Proof 1. Set
Also, we have
and
where
2. Let
□
Theorem 2.2For
1. For
2. For
and
Proof 1. Let
Now, we show that
We have either
On the other hand,
When
2. Relations (2.7) and (2.8) can be obtained by integrating both sides of Eq. (2.6) from s to t. Relation (2.9) follows from Eqs. (2.5) and (2.7). □
Corollary 2.3IfAis the generator of a
Proof For every
Theorem 2.1 implies that
By the same theorem,
To prove its closeness, let
The integrand on the righthand side of (2.10) converges to
Dividing Eq. (2.11) by
Theorem 2.4Equation (2.1) has the unique solution
Proof The existence of the solution
where
On the other hand, we have
from which we obtain that
3 Types of stability
In this section, the definitions of the various types of stability for dynamic equations of the form
are presented, where
Definition 3.1 Equation (3.1) is said to be stable if, for every
Definition 3.2 Equation (3.1) is said to be uniformly stable if, for each
Definition 3.3 Equation (3.1) is said to be asymptotically stable if it is stable and for every
Definition 3.4 Equation (3.1) is said to be uniformly asymptotically stable if it is uniformly stable
and there exists a
Definition 3.5 Equation (3.1) is said to be globally asymptotically stable if it is stable and for
any solution
Definition 3.6 Equation (3.1) is said to be exponentially stable if there exists
Definition 3.7 Equation (3.1) is said to be uniformly exponentially stable if there exists
4 Characterization of stability and uniformly stability
In this section, we obtain some results concerning characterizations of stability and uniform stability of linear dynamic equations of the form
where A is the generator of T. The initial value problem
In the following two lemmas, by linearity of
Lemma 4.1The following statements are equivalent:
(i)
(ii) For every
Lemma 4.2The following statements are equivalent:
(i)
(ii) For every
S. K. Choi, D. M. Im, and N. Koo in [8], Theorem 3.5] proved that the stability of (1.12) is equivalent to the boundedness
of all its solutions when
In the following theorem, we extend these results for the case where A is the generator of a
Theorem 4.3The following statements are equivalent:
(i)
(ii)
(iii)
Proof (i) ⟹ (ii) Assume
Let
i.e.
The density of
Thus, for every
(ii) ⟹ (iii) Assume that there is
5 A characterization of global asymptotic stability
In the following result, we establish necessary and sufficient conditions for
Theorem 5.1The following statement are equivalent:
(i)
(ii)
(iii)
(iv)
Proof (i) ⟹ (ii) Suppose that
Hence,
Consequently, we obtain
By the boundedness of
(ii) ⟹ (iii) Condition (ii) implies that
(iii) ⟹ (iv) Condition (iii) implies that
6 A characterization of exponential stability and uniform exponential stability
We need the following lemmas to establish a characterization of the exponential stability
of
Lemma 6.1
Lemma 6.2
In the following two theorems, we extend the results of DaCunha [9], Theorem 2.2] when
Theorem 6.3The following statements are equivalent:
(i)
(ii) There exists
Proof (i) ⟹ (ii) Let
Fix
Using
This implies that
(ii) ⟹ (i) Assume there exists
Let
□
By same way as in the proof of Theorem 6.3, we can obtain the following result.
Theorem 6.4The following statements are equivalent:
(i)
(ii) There exists
From Theorem 5.1 (Theorem 6.4), Lemma 6.1 (Lemma 6.2), and relation (1.7), we get the following result.
Corollary 6.5If
7 Example
Choi in [8] gave an example to illustrate many types of stability. He considered the linear dynamic system
where
We see that the generalized exponential function
and
The following stability results [8] for (7.1) were obtained in different cases of
(1) If
(2) If
(3) If
(4) If
Now we consider the time scale
Indeed, for
Then
Consequently,
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
References

Hamza, AE, Oraby, KM: C0semigroups of operators on time scales. J. Math. Anal. Appl. (submitted)

Hamza, AE, AlQubaty, M: On the exponential operator functions on time scales. Adv. Dyn. Syst. Appl.. 7(1), 57–80 (2012)

Aulbach, B, Hilger, S: Linear dynamics processes with inhomogeneous time scales. Nonlinear Dynamics and Quantum Dynamical Systems (Gaussing, 1990), pp. 9–20. Akademie, Berlin (1990)

Aulbach, B, Hilger, S: A unified approach to continuous and discrete dynamics. Qualitative Theory of Differential Equations (Szeged, 1988), pp. 37–56. NorthHolland, Amsterdam (1990)

Bohner, M, Peterson, A: Dynamic Equations on Time Scales: An Introduction with Applications, Birkhäuser, Basel (2001)

Bohner, M, Peterson, A: Advances in Dynamic Equations on Time Scales, Birkhäuser, Basel (2003)

Bohner, M, Martynyuk, AA: Elements of stability theory of A. M. Lyapunov for dynamic equations on time scales. Prikl. Mat. Meh.. 43(9), 3–27 (2007) Translation in Nonlinear Dyn. Syst. Theory 7(3), 225257 (2007)

Choi, SK, Im, DM, Koo, N: Stability of linear dynamic systems on time scales. Adv. Differ. Equ.. 2008, (2008) Article ID 670203. doi:10.1155/2008/670203

DaCunha, JJ: Stability for time varying linear dynamic systems on time scales. J. Comput. Appl. Math.. 176, 381–410 (2005). Publisher Full Text

Doan, TS, Kalauch, A, Siegmund, S: Exponential stability of linear timeinvariant systems on time scales. Nonlinear Dyn. Syst. Theory. 9(1), 37–50 (2009)

Du, NH, Tien, LH: On the exponentially stability of dynamic equations on time scales. J. Math. Anal. Appl.. 331, 1159–1174 (2007). Publisher Full Text

Gard, T, Hoffacker, J: Asymptotic behavior of natural growth on time scales. Dyn. Syst. Appl.. 12(12), 131–148 (2003)

Hille, E: Functional Analysis and Semigroups, Am. Math. Soc., New York (1948)

Hilger, S: Ein Maßkettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten. PhD thesis, Universität Würzburg (1988)

Hilger, S: Analysis on measure chains  a unified approach to continuous and discrete calculus. Results Math.. 18, 18–56 (1990)

Hoffacker, J, Tisdell, CC: Stability and instability for dynamics equations on time scales. Comput. Math. Appl.. 49, 1327–1334 (2005). Publisher Full Text

Martynyuk, AA: On exponential stability of a dynamical system on a time scale. Dokl. Akad. Nauk SSSR. 421, 312–317 (2008)

AlQubaty, M: On theory of dynamics equations on time scales. PhD thesis, Ain Shams University (2010)

Peterson, A, Raffoul, RF: Exponential stability of dynamic equations on time scales. Adv. Differ. Equ.. 2005, 133–144 (2005)

Pötzche, C, Siegmund, S, Wirth, F: A spectral characterization of exponential stability for linear timeinvariant systems on time scales. Discrete Contin. Dyn. Syst.. 9, 1223–1241 (2003)

Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations (1983)