Skip to content


  • Research
  • Open Access

Connections between Hyers-Ulam stability and uniform exponential stability of discrete evolution families of bounded linear operators over Banach spaces

Advances in Difference Equations20162016:153

  • Received: 25 January 2016
  • Accepted: 29 May 2016
  • Published:


In this article, we prove that the ω-periodic discrete evolution family \(\Gamma:= \{\rho(n,k): n, k \in\mathbb{Z}_{+}, n\geq k\}\) of bounded linear operators is Hyers-Ulam stable if and only if it is uniformly exponentially stable under certain conditions. More precisely, we prove that if for each real number γ and each sequence \((\xi(n))\) taken from some Banach space, the approximate solution of the nonautonomous ω-periodic discrete system \(\theta _{n+1} = \Lambda_{n}\theta_{n}\), \(n\in\mathbb{Z}_{+}\) is represented by \(\phi _{n+1}=\Lambda_{n}\phi_{n}+e^{i\gamma(n+1)}\xi(n+1)\), \(n\in\mathbb{Z}_{+}\); \(\phi_{0}=\theta_{0}\), then the Hyers-Ulam stability of the nonautonomous ω-periodic discrete system \(\theta_{n+1} = \Lambda_{n}\theta_{n}\), \(n\in\mathbb{Z}_{+}\) is equivalent to its uniform exponential stability.


  • Hyers-Ulam stability
  • uniform exponential stability
  • discrete evolution family of bounded linear operators
  • periodic sequence


  • 39A30

1 Introduction

The stability theory is an important research area of the qualitative analysis of differential equations and difference equations. Ulam [1] proposed a question regarding the stability of functional equations for homomorphism as follows: when can an approximate homomorphism from a group \(G_{1}\) to a metric group \(G_{2}\) be approximated by an exact homomorphism? Assuming that \(G_{1}\) and \(G_{2}\) are Banach spaces, Hyers [2] brilliantly gave the first result to this question. Aoki [3] and Rassias [4] generalized this result. In particular, Rassias [4] improved the condition for the bound of the norm of the Cauchy difference \(f(x+y)-f(x)-f(y)\). Obłoza [5] established the connections between Hyers and Lyapunov stability of ordinary differential equations. Later on, Alsina and Ger [6] investigated the stability of the differential equation \(y'(x) = y(x)\), which was then extended to the Banach space-valued differential equation \(y'(x)=\lambda y(x)\) by Takahasi et al. [7]. We also refer the reader to [811] regarding the study of Hyers-Ulam stability of differential equations and differential operators.

The stability and nonstability of different classes of recurrences were studied by Brzdȩk et al. [1214] and Popa [15, 16]. Jung [17] proved the Hyers-Ulam stability of a first-order linear homogeneous matrix difference equation. Note that the investigation of the difference equations \(\theta_{n+1}=\Lambda_{n}\theta_{n}\) or \(\theta_{n+1}=\Lambda_{n}\theta_{n}+\xi_{n}\) leads to the idea of discrete evolution family. The main interest in this area is the asymptotic properties and stability of solutions to such systems. In recent years, the exponential stability of such systems has received a great deal of attention since it has been widely applied in research of control theory and engineering; see, e.g., [1825] and the references cited therein.

In this paper, we are concerned with the first-order linear system
$$ \theta_{n+1}=\Lambda_{n}\theta_{n}, \quad n \in\mathbb{Z}_{+}, $$
where \(\mathbb{Z}_{+}\) is the set of all nonnegative integers and \((\Lambda_{n})\) is an ω-periodic sequence of bounded linear operators on Banach space Ω. We proved that system (1.1) is Hyers-Ulam stable if and only if it is uniformly exponentially stable under certain conditions.

2 Notation and preliminaries

Throughout, \(\mathbb{R}\) stands for the set of all real numbers, Ω denotes a real or complex Banach space, \(\mathcal{L}(\Omega)\) is the Banach algebra of all linear and bounded operators over Ω, \(\mathcal{L}(\mathbb{Z}_{+}, \Omega)\) is the space of all Ω-valued bounded sequences endowed with the sup norm denoted by \(\Vert \cdot \Vert _{\infty}\), \(P_{0}^{\omega }(\mathbb{Z_{+}},\Omega)\) stands for the space of all ω-periodic bounded sequences \((\xi(n))\) satisfying \(\xi(0)=0\), and we denote by \(\Vert \cdot \Vert \) the norms in Ω and \(\mathcal {L}(\Omega)\).

Let \(\mathcal{H}\) belong to \(\mathcal{L}(\Omega)\) and \(\sigma(\mathcal {H})\) be its spectrum. The spectral radius of \(\mathcal{H}\) is denoted by \(r(\mathcal{H}):=\sup \{\vert \lambda \vert : \lambda\in\sigma(\mathcal{H})\} =\lim_{n \rightarrow\infty} \Vert \mathcal{H}^{n}\Vert ^{\frac{1}{n}}\).

Definition 2.1

The operator \(\mathcal{H}\) is said to be power bounded if there exists a positive constant M such that \(\Vert \mathcal{H}^{n}\Vert \leq M\) for all \(n\in\mathbb{Z}_{+}\).

We need the following auxiliary lemma.

Lemma 2.2

(See [21])

If \(\mathcal{H}\in\mathcal{L}(\Omega)\) and
$$\sup_{\gamma\in\mathbb{R}}\sup_{n\in \mathbb{Z}_{+}} \Biggl\Vert \sum _{k=0}^{n}e^{i\gamma k} \mathcal{H}^{k} \Biggr\Vert < \infty, $$
then \(r(\mathcal{H})< 1\).
The family \(\Gamma:= \{\rho(n,m): n, m \in\mathbb{Z}_{+}, n\geq m\} \) of bounded linear operators is called an ω-periodic discrete evolution family for a fixed integer \(\omega\in\{2,3,\ldots\}\) if it satisfies the following properties:
  • \(\rho(n,n)=I\) for all \(n \in\mathbb{Z}_{+}\).

  • \(\rho(n,m)\rho(m,r)=\rho(n,r)\) for all \(n\geq m\geq r\), \(n,m, r \in\mathbb{Z}_{+}\).

  • \(\rho(n+\omega,m+\omega)=\rho(n,m)\) for all \(n\geq m\), \(n, m\in \mathbb{Z}_{+}\).

It is well known that any ω-periodic discrete evolution family Γ is exponentially bounded, that is, there exist a \(\tau\in\mathbb{R}\) and an \(M_{\tau}\geq0\) such that
$$ \bigl\Vert \rho(n,m) \bigr\Vert \leq M_{\tau}e^{\tau(n-m)} \quad \mbox{for all } n\geq m, n, m\in{\mathbb{Z}_{+}}. $$
When the family Γ is exponentially bounded, its growth bound \(\tau_{0}(\Gamma)\) is the infimum of all \(\tau\in\mathbb{R}\) for which there exists an \(M_{\tau}\geq1\) such that inequality (2.1) is fulfilled. It is well known that
$$\tau_{0}(\Gamma)=\lim_{n\rightarrow\infty}{\frac{\ln \Vert \rho (n,0)\Vert }{n}}={ \frac{1}{\omega}}\ln \bigl(r \bigl(\rho(\omega,0) \bigr) \bigr). $$
The family Γ is uniformly exponentially stable if \(\tau_{0}(\Gamma )\) is negative or, equivalently, there exist an \(M>0\) and a \(\tau>0\) such that \(\Vert \rho(n,m)\Vert \leq Me^{-\tau(n-m)}\) for all \(n\geq m\in{\mathbb{Z}_{+}}\). Thus, we have the following lemma.

Lemma 2.3

The discrete evolution family Γ is uniformly exponentially stable if and only if \(r(\rho{(\omega,0))}<1\).

The map \(\rho(\omega,0)\) is also called the Poincaré map of the evolution family Γ.

Consider the following discrete Cauchy problem:
$$ \textstyle\begin{cases} \phi_{n+1} = \Lambda_{n} \phi_{n} + e^{i\gamma(n +1)}\xi(n+1),& n \in\mathbb{Z}_{+}, \cr \phi_{0} = \theta_{0}, \end{cases}\displaystyle \hspace{134pt}(\Lambda_{n}, \gamma, \theta_{0})$$
where \(\gamma\in\mathbb{R}\), the sequence \((\Lambda_{n})\) is ω-periodic, i.e., \(\Lambda(n + \omega)=\Lambda(n)= \Lambda_{n}\) for all \(n \in\mathbb {Z}_{+}\) and a fixed \(\omega\in\{2,3,\ldots\}\). Let
$$\rho(n,k):= \textstyle\begin{cases} \Lambda_{n-1} \Lambda_{n-2} \cdots\Lambda_{k}& \mbox{if } k \leq n-1, \cr I& \mbox{if } k=n. \end{cases} $$
Then the family \(\{\rho(n,k)\}_{n\geq k \geq0}\) is a discrete ω-periodic evolution family. Over finite dimensional spaces, the uniform exponential stability of the Cauchy problem (\(\Lambda_{n}, \gamma, \theta_{0}\)) in discrete and continuous autonomous cases has been investigated in [20, 23].

Definition 2.4

System (1.1) is said to be Hyers-Ulam stable if
$$\Vert \phi_{n+1}-\Lambda_{n}\phi_{n}\Vert \leq \epsilon\quad \mbox{for any } n\in\mathbb{Z}_{+} \mbox{ and } \epsilon>0, $$
and there exist an exact solution \(\theta_{n}\) of (1.1) and a constant \(L\geq0\) such that
$$\Vert \phi_{n}-\theta_{n}\Vert \leq L\epsilon\quad \mbox{for any } n\in \mathbb{Z}_{+} \mbox{ and } \epsilon>0. $$

Remark 2.5

If \(\phi_{n}\) is an approximate solution of (1.1), then \(\phi_{n+1}\approx\Lambda_{n}\phi_{n}\). Therefore, letting \((\xi(n))\) be an error sequence, then \(\phi_{n}\) is the exact solution of \(\phi _{n+1}=\Lambda_{n}\phi_{n}+\xi(n)\).

With the help of Remark 2.5, Definition 2.4 can be modified as follows.

Definition 2.6

System (1.1) is termed Hyers-Ulam stable if \(\Vert \xi (n)\Vert \leq\epsilon\) holds for any \(n\in\mathbb{Z}_{+}\) and \(\epsilon>0\), and there exist an exact solution \(\theta_{n}\) of (1.1) and a constant \(L\geq0\) such that
$$\Vert \phi_{n}-\theta_{n}\Vert \leq L\epsilon\quad \mbox{for any } n\in \mathbb{Z}_{+} \mbox{ and } \epsilon>0. $$

3 Main results

Consider the Cauchy problem (\(\Lambda_{n}, \gamma, \theta_{0}\)). The solution of the Cauchy problem (\(\Lambda_{n}, \gamma, \theta_{0}\)) is given by
$$\phi_{n}=\rho(n,0)\theta_{0}+\sum _{k=0}^{n}e^{i\gamma k}\rho(n,k)\xi(k). $$
Let us divide n by ω, i.e., \(n=l\omega+r\) for some \(l\in \mathbb{Z}_{+}\), where \(r \in\{0,1, \ldots, \omega-1\}\). We consider the following sets, which will be useful in this paper:
$$\mathcal{A}_{j}:=\bigl\{ 1+j\omega,2+j\omega,\ldots, (j+1)\omega-1 \bigr\} \quad \mbox{for all } j\in\mathbb{Z}_{+}. $$
If \(r\in\{1,2,\ldots,\omega-1\}\), then define
$$B_{l}:=\{l\omega+1, l\omega+2,\ldots, l\omega+r\} $$
$$C:=\{0,\omega,2\omega,\ldots, l\omega\}. $$
It is clear that
$$ \bigcup_{j=0}^{l-1}A_{j} \bigcup B_{l}\bigcup C=\{0,1,2,\ldots,n\}. $$
On the basis of partition (3.1), we construct the space \(\mathcal {W}\), which consists of all the sequences of the form
$$ \xi(k):= \textstyle\begin{cases} (k-j\omega)[(1+j)\omega-k]\rho(k-j\omega,0) & \mbox{if } k \in \mathcal{A}_{j}, \cr k(\omega-k)\rho(k,0) & \mbox{if } k \in B_{l},\cr 0 & \mbox{if } k \in C. \end{cases} $$
That is,
$$\mathcal{W}:= \bigl\{ \bigl(\xi(n)\bigr): \xi(n) \mbox{ satisfies (3.2)} \bigr\} . $$
Obviously, \(\mathcal{W}\) is the subspace of \(P_{0}^{\omega}(\mathbb{Z}_{+}, \Omega)\).

Now, we state and prove the main results.

Theorem 3.1

Let \(\Gamma:=\{\rho(n,k):n\geq k\in\mathbb{Z}_{+}\}\) be the ω-periodic discrete evolution family on Ω and let \(\phi_{n+1} = \Lambda_{n} \phi_{n}+e^{i\gamma(n+1)}\xi(n+1)\), \(\phi _{0}=\theta_{0}\) be the approximate solution of (1.1) with the error term \(e^{i\gamma(n+1)}\xi(n+1)\), where \(\gamma\in\mathbb{R}\) and \((\xi(n))\in P_{0}^{\omega}(\mathbb {Z}_{+},\Omega)\). Then the following statements are true.
  1. (1)

    If system (1.1) is uniformly exponentially stable, then it is Hyers-Ulam stable.

  2. (2)

    If system (1.1) is Hyers-Ulam stable for each \(\gamma\in\mathbb{R}\) and each ω-periodic sequence \((\xi(n))\in\mathcal{W}\subset P_{0}^{\omega }(\mathbb{Z}_{+},\Omega)\), then system (1.1) is uniformly exponentially stable, i.e., Γ is uniformly exponentially stable.



(1) Let \(\epsilon> 0\) and \(\phi_{n}\) be the approximate solution of (1.1) such that \(\sup_{n\in\mathbb{Z}_{+}}\Vert \phi_{n+1}-\Lambda _{n}\phi_{n}\Vert =\sup_{n\in\mathbb{Z}_{+}}\Vert e^{i\gamma(n+1)}\xi (n+1)\Vert \), \(\phi_{0}=\theta_{0}\), and \(\sup_{n\in\mathbb{Z}_{+}}\Vert \xi(n)\Vert \leq\epsilon\), and let \(\theta_{n}\) be the exact solution of (1.1). Taking into account that Γ is uniformly exponentially stable, we conclude that there exist two positive constants M and ν such that
$$\begin{aligned} \sup_{n\in\mathbb{Z}_{+}}\Vert \phi_{n}-\theta_{n} \Vert =&\sup_{n\in\mathbb{Z}_{+}} \Biggl\Vert \rho(n,0) \theta_{0}+\sum_{k=0}^{n} e^{i \gamma k}\rho(n,k)\xi(k)-\rho(n,0)\theta_{0} \Biggr\Vert \\ =&\sup_{n\in\mathbb{Z}_{+}} \Biggl\Vert \sum_{k=0}^{n} e^{i \gamma k}\rho(n,k)\xi(k) \Biggr\Vert \\ \leq&\sum_{k=0}^{n}\sup _{n\in\mathbb{Z}_{+}} \bigl\Vert e^{i\gamma k}\rho(n,k)\xi(k) \bigr\Vert \\ =&\sum_{k=0}^{n} \bigl\Vert e^{i\gamma k} \bigr\Vert \sup_{n\in\mathbb{Z}_{+}} \bigl\Vert \rho(n,k) \bigr\Vert \bigl\Vert \xi(k) \bigr\Vert \\ =&\sum_{k=0}^{n}\sup_{n\in\mathbb{Z}_{+}} \bigl\Vert \rho(n,k) \bigr\Vert \bigl\Vert \xi(k) \bigr\Vert \\ \leq&\sum_{k=0}^{n}Me^{-\nu(n-k)} \epsilon \\ =&Me^{-\nu n}\sum_{k=0}^{n}e^{\nu k} \epsilon \\ =&Me^{-\nu n} \biggl(\frac{1-e^{(n+1)\nu}}{1-e^{\nu}} \biggr)\epsilon \\ =&L\epsilon, \end{aligned}$$
where \(L:=Me^{-\nu n}(1-e^{(n+1)\nu})/(1-e^{\nu})\). Thus, system (1.1) is Hyers-Ulam stable.
(2) Let \((\xi(n))\in\mathcal{W}\). Then
$$\begin{aligned} \sum_{k=1}^{n} e^{i \gamma k}\rho(n,k) \xi(k) =&\sum_{k=1}^{l\omega+r} e^{i \gamma k} \rho(l\omega+r,k)\xi(k) \\ =&\sum_{k\in\bigcup_{j=0}^{l-1}A_{j}\cup B_{l}\cup C}e^{i \gamma k}\rho (l\omega+r,k) \xi(k) \\ =&\sum_{k\in\bigcup_{j=0}^{l-1}A_{j}}e^{i \gamma k}\rho(l\omega+r,k)\xi(k) \\ & {}+ \sum_{k\in B_{l}}e^{i \gamma k}\rho(l\omega+r,k) \xi(k) \\ & {}+ \sum_{k\in C}e^{i \gamma k}\rho(l\omega+r,k) \xi(k) \\ =&\sum_{j=0}^{l-1}\sum _{k=1+j\omega}^{\omega-1+j\omega}e^{i \gamma k}\rho(l\omega+r,k)\xi(k) \\ & {}+\sum_{k=l\omega+1}^{l\omega+r}e^{i \gamma k}\rho(l \omega+r,k)\xi(k) \\ & {}+ \sum_{k\in C}e^{i \gamma k}\rho(l\omega+r,k) \xi(k). \end{aligned}$$
By virtue of (3.2), we have
$$\begin{aligned} \sum_{k=1}^{n} e^{i \gamma k}\rho(n,k) \xi(k) =& \sum_{j=0}^{l-1}\sum _{k=1+j\omega}^{\omega-1+j\omega}e^{i \gamma k}\rho(l\omega+r,k) (k-j \omega) \bigl[(1+j)\omega-k \bigr]\rho(k-j\omega,0) \\ & {}+\sum_{k=l\omega+1}^{l\omega+r}e^{i \gamma k}\rho(l \omega+r,k)k(\omega-k)\rho(k,0) \\ =&\sum_{j=0}^{l-1}\sum _{k=1+j\omega}^{\omega-1+j\omega}e^{i \gamma k}\rho(l\omega+r,k) (k-j \omega) \bigl[(1+j)\omega-k \bigr]\rho(k-j\omega,0) \\ & {}+\sum_{k=l\omega+1}^{l\omega+r}e^{i \gamma k}\rho(l \omega+r,k)k(\omega-k)\rho(k,0) \\ =&L_{1}+L_{2}, \end{aligned}$$
$$L_{1}:=\sum_{j=0}^{l-1}\sum _{k=1+j\omega}^{\omega-1+j\omega}e^{i \gamma k}\rho(l\omega+r,k) (k-j\omega)\bigl[(1+j)\omega-k\bigr]\rho(k-j\omega,0) $$
$$L_{2}:=\sum_{k=l\omega+1}^{l\omega+r}e^{i \gamma k} \rho(l\omega +r,k)k(\omega-k)\rho(k,0). $$
We write \(L_{1}\) in the form
$$\begin{aligned} L_{1} =&\sum_{j=0}^{l-1}\sum _{k=1+j\omega}^{\omega-1+j\omega}e^{i \gamma k}\rho(l\omega+r,k) (k-j\omega) \bigl[(1+j)\omega-k \bigr]\rho(k-j\omega,0) \\ =&\sum_{j=0}^{l-1}\sum _{k=1+j\omega}^{\omega-1+j\omega}e^{i \gamma k}\rho(l\omega+r,k) (k-j \omega) \bigl[(1+j)\omega-k \bigr]\rho(k,j\omega) \\ =&\sum_{j=0}^{l-1}\sum _{k=1+j\omega}^{\omega-1+j\omega}e^{i \gamma k}\rho(l\omega+r,j\omega) (k-j\omega) \bigl[(1+j)\omega-k \bigr] \\ =&\sum_{j=0}^{l-1}\rho(l\omega+r,j\omega) \sum_{k=1+j\omega}^{\omega-1+j\omega}e^{i \gamma k}(k-j\omega) \bigl[(1+j)\omega-k \bigr] \\ =&\sum_{j=0}^{l-1}\rho(l\omega+r,j\omega) \sum_{k=1+j\omega}^{\omega-1+j\omega}e^{i \gamma k}(k-j\omega) \bigl[\omega-(k-j\omega) \bigr] \\ =&\sum_{j=0}^{l-1}\rho(r,0) \rho^{l-j}(\omega,0)e^{i \gamma j\omega}\sum_{v=1}^{\omega-1}e^{i \gamma v}v( \omega-v) \\ =&\rho(r,0)\sum_{v=1}^{\omega-1}e^{i \gamma v}v( \omega-v)\sum_{j=0}^{l-1}e^{i \gamma j\omega} \rho^{l-j}(\omega,0) \\ =&\rho(r,0)\sum_{v=1}^{\omega-1}e^{i \gamma v}v( \omega-v)\sum_{\alpha=1}^{l}e^{i \gamma \omega{(l-\alpha)}} \rho^{\alpha}(\omega,0) \\ =&\rho(r,0)\sum_{v=1}^{\omega-1}e^{i \gamma v}v( \omega-v)e^{i \gamma l\omega}\sum_{\alpha=1}^{l}e^{-i \gamma \omega \alpha} \rho^{\alpha}(\omega,0) \\ =&G(\gamma,\omega)\sum_{\alpha=1}^{l}e^{-i \gamma \omega\alpha} \rho^{\alpha}(\omega,0), \end{aligned}$$
where \(G(\gamma,\omega):= \rho(r,0)\sum_{v=1}^{\omega-1}e^{i \gamma v}v(\omega-v)e^{i \gamma l\omega}\neq0\). Furthermore,
$$\begin{aligned} L_{2} =&\sum_{k=l\omega+1}^{l\omega+r}e^{i \gamma k} \rho(l\omega+r,k)k(\omega-k)\rho(k,0) \\ =&\sum_{k=l\omega+1}^{l\omega+r}e^{i \gamma k}\rho(l \omega+r,0)k(\omega-k) \\ =&\rho(l\omega+r,0)\sum_{k=l\omega+1}^{l\omega+r}e^{i \gamma k}k( \omega-k). \end{aligned}$$
$$\sum_{k=0}^{n} e^{i \gamma k}\rho(n,k) \xi(k)=G(\gamma,\omega)\sum_{\alpha=1}^{l}e^{-i \gamma \omega\alpha} \rho^{\alpha}(\omega,0) +\rho(l\omega+r,0)\sum_{k=l\omega+1}^{l\omega+r}e^{i \gamma k}k( \omega-k). $$
Since (1.1) is Hyers-Ulam stable,
$$\sup_{n\in\mathbb{Z}_{+}}\Vert \phi_{n}-\theta_{n} \Vert =\sup_{n\in \mathbb{Z}_{+}}\Biggl\Vert \sum _{k=1}^{n} e^{i \gamma k}\rho(n,k)\xi(k)\Biggr\Vert $$
is bounded, and so \(L_{1}\) is bounded, i.e.,
$$\sup_{l\geq0}\Biggl\Vert \sum_{\alpha=0}^{l} e^{-i \gamma \omega\alpha}{\rho^{\alpha}(\omega,0)}\Biggr\Vert < \infty. $$
Using Lemma 2.2, we deduce that \(r(\rho(\omega,0))<1\). Hence, by Lemma 2.3, Γ is uniformly exponentially stable. This completes the proof. □

On the basis of Theorem 3.1, we obtain the following corollary as the main result of this paper.

Corollary 3.2

Assume that for each \(\gamma\in\mathbb{R}\) and each sequence \((\xi (n))\in\mathcal{W}\), the approximate solution of the nonautonomous ω-periodic discrete system (1.1) is presented by \(\phi _{n+1}=\Lambda_{n}\phi_{n}+e^{i\gamma(n+1)}\xi(n+1)\), \(n\in\mathbb{Z}_{+}\); \(\phi_{0}=\theta_{0}\). Then the Hyers-Ulam stability of (1.1) is equivalent to its uniform exponential stability.



The authors express their sincere gratitude to the editors and two anonymous referees for the careful reading of the original manuscript and useful comments that helped to improve the presentation of the results and accentuate important details. This research is supported by NNSF of P.R. China (Grant Nos. 61503171, 61403061, and 11447005), CPSF (Grant No. 2015M582091), NSF of Shandong Province (Grant No. ZR2012FL06), DSRF of Linyi University (Grant No. LYDX2015BS001), and the AMEP of Linyi University, P.R. China.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

LinDa Institute of Shandong Provincial Key Laboratory of Network Based Intelligent Computing, Linyi University, Linyi, Shandong, 276005, P.R. China
School of Informatics, Linyi University, Linyi, Shandong, 276005, P.R. China
Department of Mathematics, University of Peshawar, Peshawar, 25000, Pakistan


  1. Ulam, SM: A Collection of Mathematical Problems. Interscience Publishers, New York (1960) MATHGoogle Scholar
  2. Hyers, DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222-224 (1941) MathSciNetView ArticleMATHGoogle Scholar
  3. Aoki, T: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 2, 64-66 (1950) MathSciNetView ArticleMATHGoogle Scholar
  4. Rassias, ThM: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297-300 (1978) MathSciNetView ArticleMATHGoogle Scholar
  5. Obłoza, M: Connections between Hyers and Lyapunov stability of the ordinary differential equations. Rocznik Nauk.-Dydakt. Prace Mat. 14, 141-146 (1997) MathSciNetMATHGoogle Scholar
  6. Alsina, C, Ger, R: On some inequalities and stability results related to the exponential function. J. Inequal. Appl. 2, 373-380 (1998) MathSciNetMATHGoogle Scholar
  7. Takahasi, S-E, Miura, T, Miyajima, S: On the Hyers-Ulam stability of the Banach space-valued differential equation \(y' =\lambda y\). Bull. Korean Math. Soc. 39, 309-315 (2002) MathSciNetView ArticleMATHGoogle Scholar
  8. Huang, J, Li, Y: Hyers-Ulam stability of linear functional differential equations. J. Math. Anal. Appl. 426, 1192-1200 (2015) MathSciNetView ArticleMATHGoogle Scholar
  9. Jung, S-M: Hyers-Ulam stability of a system of first order linear differential equations with constant coefficients. J. Math. Anal. Appl. 320, 549-561 (2006) MathSciNetView ArticleMATHGoogle Scholar
  10. Miura, T, Miyajima, S, Takahasi, S-E: A characterization of Hyers-Ulam stability of first order linear differential operators. J. Math. Anal. Appl. 286, 136-146 (2003) MathSciNetView ArticleMATHGoogle Scholar
  11. Zada, A, Shah, O, Shah, R: Hyers-Ulam stability of non-autonomous systems in terms of boundedness of Cauchy problems. Appl. Math. Comput. 271, 512-518 (2015) MathSciNetGoogle Scholar
  12. Brzdȩk, J, Popa, D, Xu, B: Remarks on stability of linear recurrence of higher order. Appl. Math. Lett. 23, 1459-1463 (2010) MathSciNetView ArticleMATHGoogle Scholar
  13. Brzdȩk, J, Popa, D, Xu, B: Note on nonstability of the linear recurrence. Abh. Math. Semin. Univ. Hamb. 76, 183-189 (2006) MathSciNetView ArticleMATHGoogle Scholar
  14. Brzdȩk, J, Popa, D, Xu, B: On nonstability of the linear recurrence of order one. J. Math. Anal. Appl. 367, 146-153 (2010) MathSciNetView ArticleMATHGoogle Scholar
  15. Popa, D: Hyers-Ulam-Rassias stability of a linear recurrence. J. Math. Anal. Appl. 309, 591-597 (2005) MathSciNetView ArticleMATHGoogle Scholar
  16. Popa, D: Hyers-Ulam stability of the linear recurrence with constant coefficients. Adv. Differ. Equ. 2005, 101-107 (2005) MathSciNetView ArticleMATHGoogle Scholar
  17. Jung, S-M: Hyers-Ulam stability of the first-order matrix difference equations. Adv. Differ. Equ. 2015, 170 (2015) MathSciNetView ArticleGoogle Scholar
  18. Ahmad, N, Khalid, H, Zada, A: Uniform exponential stability of discrete semigroup and space of asymptotically almost periodic sequences. Z. Anal. Anwend. 34, 477-484 (2015) MathSciNetView ArticleMATHGoogle Scholar
  19. Buşe, C, Khan, A, Rahmat, G, Tabassum, A: Uniform exponential stability for nonautonomous system via discrete evolution semigroups. Bull. Math. Soc. Sci. Math. Roum. 57, 193-205 (2014) MATHGoogle Scholar
  20. Buşe, C, Zada, A: Dichotomy and boundedness of solutions for some discrete Cauchy problems. In: Proceedings of IWOTA-2008. Operator Theory: Advances and Applications, vol. 203, pp. 165-174 (2010) Google Scholar
  21. Buşe, C, Zada, A: Boundedness and exponential stability for periodic time dependent systems. Electron. J. Qual. Theory Differ. Equ. 2009, 37 (2009) MathSciNetMATHGoogle Scholar
  22. Chicone, C, Latushkin, Y: Evolution Semigroups in Dynamical Systems and Differential Equations. Mathematical Surveys and Monographs, vol. 70. Am. Math. Soc., Providence (1999) MATHGoogle Scholar
  23. Zada, A: A characterization of dichotomy in terms of boundedness of solutions for some Cauchy problems. Electron. J. Differ. Equ. 2008, 94 (2008) MathSciNetMATHGoogle Scholar
  24. Zada, A, Ahmad, N, Khan, IU, Khan, FM: On the exponential stability of discrete semigroups. Qual. Theory Dyn. Syst. 14, 149-155 (2015) MathSciNetView ArticleMATHGoogle Scholar
  25. Zada, A, Arif, M, Khalid, H: Asymptotic behavior of linear and almost periodic discrete evolution systems on Banach space \(\mathcal{AAP}_{0}^{r}(\mathbb{Z}_{+}, \mathcal{W})\). Qual. Theory Dyn. Syst. (2015). doi:10.1007/s12346-015-0177-5 Google Scholar


© Li and Zada 2016