- Research
- Open Access
- Published:
Connections between Hyers-Ulam stability and uniform exponential stability of discrete evolution families of bounded linear operators over Banach spaces
Advances in Difference Equations volume 2016, Article number: 153 (2016)
Abstract
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.
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 [8–11] 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. [12–14] 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., [18–25] and the references cited therein.
In this paper, we are concerned with the first-order linear system
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
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
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
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:
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
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
and there exist an exact solution \(\theta_{n}\) of (1.1) and a constant \(L\geq0\) such that
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
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
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:
If \(r\in\{1,2,\ldots,\omega-1\}\), then define
and
It is clear that
On the basis of partition (3.1), we construct the space \(\mathcal {W}\), which consists of all the sequences of the form
That is,
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)
If system (1.1) is uniformly exponentially stable, then it is Hyers-Ulam stable.
-
(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.
Proof
(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
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
By virtue of (3.2), we have
where
and
We write \(L_{1}\) in the form
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,
Therefore,
Since (1.1) is Hyers-Ulam stable,
is bounded, and so \(L_{1}\) is bounded, i.e.,
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.
References
Ulam, SM: A Collection of Mathematical Problems. Interscience Publishers, New York (1960)
Hyers, DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222-224 (1941)
Aoki, T: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 2, 64-66 (1950)
Rassias, ThM: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297-300 (1978)
Obłoza, M: Connections between Hyers and Lyapunov stability of the ordinary differential equations. Rocznik Nauk.-Dydakt. Prace Mat. 14, 141-146 (1997)
Alsina, C, Ger, R: On some inequalities and stability results related to the exponential function. J. Inequal. Appl. 2, 373-380 (1998)
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)
Huang, J, Li, Y: Hyers-Ulam stability of linear functional differential equations. J. Math. Anal. Appl. 426, 1192-1200 (2015)
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)
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)
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)
Brzdȩk, J, Popa, D, Xu, B: Remarks on stability of linear recurrence of higher order. Appl. Math. Lett. 23, 1459-1463 (2010)
Brzdȩk, J, Popa, D, Xu, B: Note on nonstability of the linear recurrence. Abh. Math. Semin. Univ. Hamb. 76, 183-189 (2006)
Brzdȩk, J, Popa, D, Xu, B: On nonstability of the linear recurrence of order one. J. Math. Anal. Appl. 367, 146-153 (2010)
Popa, D: Hyers-Ulam-Rassias stability of a linear recurrence. J. Math. Anal. Appl. 309, 591-597 (2005)
Popa, D: Hyers-Ulam stability of the linear recurrence with constant coefficients. Adv. Differ. Equ. 2005, 101-107 (2005)
Jung, S-M: Hyers-Ulam stability of the first-order matrix difference equations. Adv. Differ. Equ. 2015, 170 (2015)
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)
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)
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)
Buşe, C, Zada, A: Boundedness and exponential stability for periodic time dependent systems. Electron. J. Qual. Theory Differ. Equ. 2009, 37 (2009)
Chicone, C, Latushkin, Y: Evolution Semigroups in Dynamical Systems and Differential Equations. Mathematical Surveys and Monographs, vol. 70. Am. Math. Soc., Providence (1999)
Zada, A: A characterization of dichotomy in terms of boundedness of solutions for some Cauchy problems. Electron. J. Differ. Equ. 2008, 94 (2008)
Zada, A, Ahmad, N, Khan, IU, Khan, FM: On the exponential stability of discrete semigroups. Qual. Theory Dyn. Syst. 14, 149-155 (2015)
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
Acknowledgements
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally to this work and are listed in alphabetical order. They both read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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.
About this article
Cite this article
Li, T., Zada, A. Connections between Hyers-Ulam stability and uniform exponential stability of discrete evolution families of bounded linear operators over Banach spaces. Adv Differ Equ 2016, 153 (2016). https://doi.org/10.1186/s13662-016-0881-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0881-8
MSC
- 39A30
Keywords
- Hyers-Ulam stability
- uniform exponential stability
- discrete evolution family of bounded linear operators
- periodic sequence