Abstract
Let T be a bounded linear operator acting on a Banach space X. We obtain some results on Ulam stability for the linear difference equation \(x_{n+1}=Tx_n+a_n\) associated with an iterative process for the linear equation \(x-Tx=y.\) As applications, we get some stability results for the case when X is a finite-dimensional space and for the case when T is a Fredholm operator.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the most important methods of determining solutions of an equation is the successive approximation method. It is connected with the existence of a fixed point of an operator and with a recurrent sequence converging to the fixed point. In this paper, we deal with Ulam stability of the difference equation which defines the sequence of successive approximations. In what follows, let \({\mathbb {K}}\) be one of the fields \({\mathbb {R}}\) of real numbers or \({\mathbb {C}}\) of complex numbers, X a Banach space over \({\mathbb {K}}\), and \(T:X\rightarrow X\) a bounded linear operator. By \({\mathbb {N}}=\{0,1,2,\ldots \}\), we denote the set of all nonnegative integers.
Consider the equation:
where y is a given element in X. Under appropriate conditions on T, Eq. (1) admits a solution \(x^*\) which is the limit of the sequence \((x_n)_{n\ge 0}\) defined by the difference equation:
for some \(x_0\in X,\) called the sequence of successive approximations. In this connection, see also the early paper [24] by S. Reich.
In what follows, we consider the linear difference equation:
where \((a_n)_{n\ge 0}\) is a given sequence in X. We study its Ulam stability which concerns the behavior of the solutions of the equation (3) under perturbations. For various results on difference equations, we refer the reader to [12, 13].
Definition 1.1
Equation (3) is called Ulam stable if there exists \(L\ge 0\), such that for every \(\varepsilon >0\) and any \((x_n)_{n\ge 0}\) in X satisfying the relation:
there exists a sequence \((y_n)_{n\ge 0}\) in X, such that:
A sequence \((x_n)_{n\ge 0}\) which satisfies (4) for some \(\varepsilon >0\) is called approximate solution of Eq. (3).
In other words, we say that Eq. (3) is Ulam stable if, for every approximate solution of it, there exists an exact solution close to it. The number L from (6) is called an Ulam constant of Eq. (3). In what follows, we will denote by \(L_{R}\) the infimum of all Ulam constants of (3). If \(L_{R}\) is an Ulam constant for (3), then we call it the best Ulam constant or the Ulam constant of Eq. (3). In general, the infimum of all Ulam constants of an equation is not an Ulam constant of that equation (see [7, 22]). If, in the above definition, the number \(\varepsilon \) is replaced by a sequence of positive numbers \((\varepsilon _n)_{n\ge 0}\), we get the notion of generalized stability in Ulam sense. Let \(S^{+}\) be the set of all sequences of nonnegative numbers, \({\mathcal {E}}\subseteq S^{+}\), and \(U:{\mathcal {E}}\rightarrow S^{+}\) an operator.
Definition 1.2
We say that Eq. (3) is \(({\mathcal {E}}\), U)-stable or generalized stable in Ulam sense, if for every sequence \(\varepsilon =(\varepsilon _n)_{n\ge 0}\) in \({\mathcal {E}}\) and every sequence \((x_n)_{n\ge 0}\) in X satisfying:
there exists a sequence \((y_n)_{n\ge 0}\) in X, such that:
The problem of stability of functional equations was formulated by Ulam [25] in 1940 for the equation of the homomorphism of a metric group. The first answer to Ulam’s problem was given, a year later, by Hyers [14] for the Cauchy functional equation in Banach spaces. Since then, the topic was intensively studied by many authors, we can merely mention here a few papers on Ulam stability of functional equations as [2, 7, 15, 19]. Recall also the results obtained in [6, 16, 18] on Ulam stability of some second-order functional equations connected with Fibonacci and Lucas sequences.
Some results on Ulam stability for the linear difference equations in Banach spaces were obtained by Brzdek, Popa, and Xu in [8,9,10, 20]. Buse et al. [5, 11] proved that a discrete system \(X_{n+1}=A X_n,\)\(n\in {\mathbb {N}},\) where A is a \(m\times m\) complex matrix, is Ulam stable if and only if A possesses a discrete dichotomy. Recently, Baias and Popa obtained results on Ulam stability of linear difference equations of order one and two, and determined the best Ulam constant in [3, 4]. Popa and Rasa obtained an explicit representation of the best Ulam constant of some classical operators in approximation theory in [21, 23].
2 Main results
Recall first some classical results which will be used in the sequel. Let \(T:X\rightarrow X\) be a linear and bounded operator and consider the geometric series:
Theorem 2.1
[17, Théorèm 1, Section 4.2]. For any linear and bounded operator \(T:X\rightarrow X\), there exists:
Moreover, the series (7) is absolutely convergent for \(\rho <1\) and divergent for \(\rho >1.\)
Theorem 2.2
[17, Corollaire, Section 4.2]. The series (7) is absolutely convergent if and only if there exists \(p\in {\mathbb {N}}\), such that:
In what follows, we present some results on Ulam stability and generalized Ulam stability for Eq. (3). The following lemma is useful in the sequel.
Lemma 2.3
If \((x_n)_{n\ge 0}\) satisfies Eq. (3), then:
Proof
Induction on n. \(\square \)
The first result on generalized Ulam stability of (3) is contained in the next theorem.
Theorem 2.4
Suppose that T is an invertible operator and let \((\varepsilon _n)_{n\ge 0}\) be a sequence of positive numbers, such that the series:
is convergent. Then, for every sequence \((x_n)_{n\ge 0}\) in X satisfying:
there exists a sequence \((y_n)_{n\ge 0}\) in X with the properties:
Moreover, if
then the sequence \((y_n)_{n\ge 1}\) satisfying (13), (14) is unique.
Proof
Existence. Suppose that \((x_n)_{n\ge 0}\) satisfies relation (12) and let:
Then, \(\Vert b_n\Vert \le \varepsilon _n,\)\(n\ge 0\), and taking into account (10), we get:
Since:
it follows that the series:
is convergent, according to the comparison test for series with positive terms. Let
Define the sequence \((y_n)_{n\ge 0}\) by the relation:
Then, in view of Lemma 2.3, it follows:
Consequently:
Hence:
Uniqueness. Suppose that for a sequence \((x_n)_{n\ge 0}\) satisfying (12), there exist two sequences \((y_n)_{n\ge 0},\)\((z_n)_{n\ge 0}\) satisfying (13) and (14). Then:
On the other hand, taking account of Lemma 2.3, it follows:
Hence:
The convergence of the series (11) implies that:
Therefore, according to (15) and (16), we get \(y_0=z_0,\) and so \(y_n=z_n,\) for all \(n\in {\mathbb {N}}.\)\(\square \)
Corollary 2.5
Suppose that T is an invertible operator and \((\varepsilon _n)_{n\ge 0}\) is a sequence of positive numbers, such that there exists \(q\in (0,1)\) with the property:
Then, for every sequence \((x_n)_{n\ge 0}\) in X satisfying the relation (12), there exists a sequence \((y_n)_{n\ge 0}\) in X with the properties (13) and:
Proof
The series \(\sum \limits _{n=1}^{\infty }\Vert T^{-n}\Vert \varepsilon _{n-1} \) is convergent. Indeed:
Then, according to Theorem 2.4, for every sequence \((x_n)_{n\ge 0}\) satisfying (12), there exists a sequence \((y_n)_{n\ge 0}\):
such that
Taking account of (17), we get:
Hence:
The corollary is proved. \(\square \)
Corollary 2.6
Let T be an invertible operator with \(\Vert T^{-p}\Vert <1\) for some \(p\in {\mathbb {N}}.\) Then, Eq. (3) is Ulam stable with the Ulam constant:
Proof
The condition \(\Vert T^{-p}\Vert <1,\) leads to the convergence of the series \(\sum \limits _{n=1}^{\infty }\Vert T^{-n}\Vert ,\) in view of Theorem 2.2. The conclusion of the corollary follows letting \(\varepsilon _n=\varepsilon ,\)\(n\in {\mathbb {N}}\) and \(\sum \nolimits _{n=1}^{\infty }\Vert T^{-n}\Vert =L\) in Theorem 2.4.
Uniqueness holds since for \(\varepsilon _n=\varepsilon ,\)\(n\ge 0,\) the condition (15) is satisfied.
\(\square \)
Remark 2.7
If, in Corollary 2.6, we take \(p=1,\) i.e., \(\Vert T^{-1}\Vert <1,\) the conclusion holds with:
Indeed: \(\sum \nolimits _{n=1}^{\infty }\Vert T^{-n}\Vert \le \sum \nolimits _{n=1}^{\infty }\Vert T^{-1}\Vert ^{n}=\frac{\Vert T^{-1}\Vert }{1-\Vert T^{-1}\Vert }.\)
Similar results can be obtained replacing the condition on the operator \(T^{-1}\) with conditions on T in the previous theorems and corollaries.
Theorem 2.8
Let \((\varepsilon _n)_{n\ge 0}\) be a sequence of positive numbers and suppose that there exists \(q\in (0,1)\), such that:
Then, for every sequence \((x_n)_{n\ge 0}\) in X satisfying:
there exists a sequence \((y_n)_{n\ge 0}\) in X with the properties:
Proof
Let
for some sequence \((x_n)_{n\ge 0}\) satisfying (19). Then, \(\Vert b_n\Vert \le \varepsilon _n,\)\(n\in {\mathbb {N}},\) and according to Lemma 2.3, we get:
Consider the sequence \((y_n)_{n\ge 0}\) given by (20) with \(y_0=x_0,\) and then:
Consequently:
On the other hand, in view of (18), it follows:
and
\(\square \)
Theorem 2.9
Suppose \(\Vert T^{p}\Vert <1\) for some \(p\in {\mathbb {N}}.\) Then, Eq. (3) is Ulam stable with the Ulam constant:
Proof
Let \(\varepsilon >0\) and let \((x_n)_{n\ge 0}\) be a sequence in X satisfying:
with \(\Vert b_n\Vert <\varepsilon ,\)\(n\in {\mathbb {N}}.\) Then, in view of Lemma 2.3, we get:
Define the sequence \((y_n)_{n\ge 0}\) by \(y_{n+1}=Ty_n+a_n,\)\(n\in {\mathbb {N}},\)\(y_0=x_0.\) Then:
and
\(\square \)
Remark 2.10
If, in Corollary 2.9, we take \(p=1,\) i.e., \(\Vert T\Vert <1,\) then the conclusion holds with:
Proof
Indeed, according to Corollary 2.9, we obtain:
\(\square \)
Finally, we present a nonstability result for Eq. (3). Taking into account that the stability results hold in general for \(\Vert T\Vert <1\) or \(\Vert T^{-1}\Vert <1,\) we will consider for nonstability results the case \(\Vert T\Vert =1.\)
Theorem 2.11
Suppose that \(\Vert T\Vert =1\) and there exists \(u_0\in X\), such that:
Then, for every \(\varepsilon >0\), there exists a sequence \((x_n)_{n\ge 0}\) in X satisfying:
such that for every sequence \((y_n)_{n\ge 0}\) given by the recurrence:
we have:
i.e., Eq. (3) is not Ulam stable.
Proof
The sequence \((\Vert T^nu_0\Vert )_{n\ge 0}\) is decreasing (see Remark 2.14) and (22) shows that \(\Vert T^nu_0\Vert >0,\)\(n\in {\mathbb {N}}.\) Let \(\varepsilon >0\) and consider the sequence \((x_n)_{n\ge 0}\) defined by the relation:
Then, in view of Lemma 2.3, we get:
On the other hand:
and hence, \((x_n)_{n\ge 0}\) is an approximate solution of Eq. (3). Let \((y_n)_{n\ge 0}\) be an arbitrary sequence in X, \(y_{n+1}=Ty_n+a_n,\)\(n\ge 0,\)\(y_0\in X.\) Then:
therefore:
The sequence \((T^{n}(x_0-y_0))_{n\ge 0}\) is bounded, since:
Taking account of
we get \(\sum \limits _{k=1}^{\infty }\frac{1}{\Vert T^{k}u_0\Vert }=\infty .\)
It follows:
\(\square \)
Remark 2.12
Every linear and bounded operator T, which has an eigenvalue \(\lambda ,\)\(|\lambda |= 1,\) satisfies the condition (22).
Indeed, there exists \(u_0\ne 0\), such that \(Tu_0=\lambda u_0.\) Then, it is easy to check that \(T^n u_0=\lambda ^n u_0,\) for all \(n\in {\mathbb {N}},\) and the condition (22) is satisfied.
Remark 2.13
There exist operators T which do not satisfy condition (22). Indeed, if T is nilpotent, there exists \(p\ge 1\), such that \(T^p=0;\) therefore, \(T^nu_0=0\) for all \(n\ge p.\)
Remark 2.14
Let \(\Vert T\Vert =1,\)\(u_0\in X.\) Then:
i.e., the sequence \((\Vert T^nu_0\Vert )_{n\ge 0}\) is decreasing and convergent. Suppose that there exists \(p\in {\mathbb {N}}\), such that \(\Vert T^p\Vert <1.\) Then:
and so \(\lim \limits _{n\rightarrow \infty }T^{np}u_0=0.\) This implies \(\lim \limits _{n\rightarrow \infty }T^n u_0=0.\)
Briefly, if \(\lim \limits _{n\rightarrow \infty }T^n u_0\ne 0,\) as in Theorem 2.1, then \(\Vert T^n\Vert =1,\) for all \(n\in {\mathbb {N}}.\) An example is presented below.
Example 1
Let \({\mathcal {C}}[0,1]\) be the Banach space of continuous, real-valued functions defined on [0,1], endowed with the supremum norm. Consider the Bernstein operator:
Then, for a fixed m, each operator \(B_{m}^{n}\) is linear, positive, and reproduces the constant function 1. Therefore, \(\Vert B_{m}^{n}\Vert =1,\)\(n\in {\mathbb {N}}.\) Moreover:
uniformly on [0, 1]; see, e.g, Example 3.2.7, with \(b=0,\) in [1]. Hence \(\lim \limits _{n\rightarrow \infty }B_{m}^{n}f=0\) if and only if \(f(0)=f(1)=0.\)
Consequently, for \(T=B_m\), Eq. (3) is not Ulam stable.
On the other hand, the following result shows the stability of the equation (3) when T is a nilpotent operator.
Theorem 2.15
Let \(T:X\rightarrow X\) be a nilpotent operator, i.e., there exists \(p\ge 1\), such that \(T^p=0.\) Then, for every \(\varepsilon >0\) and every sequence \((x_n)_{n\ge 0}\) in X satisfying:
there exists a sequence \((y_n)_{n\ge 0}\) in X with the properties:
where \(L=1+\Vert T\Vert +\cdots +\Vert T\Vert ^{p-1}.\)
Proof
Let
for some sequence \((x_n)_{n\ge 0}\) satisfying (23). Then, in view of Lemma 2.3, we get:
Since T is a nilpotent operator, we have:
Define \((y_n)_{n\ge 0}\) by \(y_{n+1}=Ty_n+a_n,\)\(n\in {\mathbb {N}},\)\(y_0=x_0.\) Then:
or equivalently:
Therefore:
and
\(\square \)
3 Applications
Let \(X={\mathbb {K}}^p\) be endowed with the Euclidean norm \((\Vert x\Vert =\sqrt{|x_1|^2+\cdots +|x_p|^2},\)\(x=(x_1,x_2,\ldots ,x_p)\in {\mathbb {K}}^p)\) and \(T:{\mathbb {K}}^p\rightarrow {\mathbb {K}}^p,\)\(Tx=Ax,\) where A is a square matrix of order p with entries in \({\mathbb {K}}.\) Suppose that A is normal, denote by \(\lambda _1,\ldots ,\lambda _p\) and \(\Lambda _1,\ldots ,\Lambda _p\) the eigenvalues of A and \(A^*A,\) respectively. Recall that \(A^*\) denotes the conjugate transposed of A. Suppose that:
Then (see [17]) \(\Vert T\Vert =\sqrt{\Lambda _p},\) and, if A is an invertible matrix, \(\Vert T^{-1}\Vert =\frac{1}{\sqrt{\Lambda _1}}.\) Moreover, if A is a self-adjoint, invertible matrix, we obtain \(\Vert T\Vert =|\lambda _p|,\)\(\Vert T^{-1}\Vert =\frac{1}{|\lambda _1|}.\) Consequently, we get the following result on Ulam stability.
Theorem 3.1
Let \(\varepsilon >0\) and \((x_n)_{n\ge 0}\) be a sequence in \({\mathbb {K}}^p\) satisfying:
- i)
If \(\Lambda _p<1,\) then there exists a sequence \((y_n)_{n\ge 0}\) in \({\mathbb {K}}^p\), such that:
$$\begin{aligned}&y_{n+1}=Ay_n+a_n,\\&\Vert x_n-y_n\Vert \le \frac{\varepsilon }{1-\sqrt{\Lambda _p}},\ n\in {\mathbb {N}}. \end{aligned}$$ - ii)
If A is an invertible matrix and \(\Lambda _1>1,\) then there exists a sequence \((y_n)_{n\ge 0}\) in \({\mathbb {K}}^p\), such that:
$$\begin{aligned}&y_{n+1}=Ay_n+a_n, \\&\Vert x_n-y_n\Vert \le \frac{\varepsilon }{\sqrt{\Lambda _1}-1},\ n\in {\mathbb {N}}. \end{aligned}$$
Proof
The result follows from Remark 2.7 and Remark 2.10. \(\square \)
Remark 3.2
If A is a self-adjoint, invertible matrix Theorem 3.1 holds with \(|\lambda _1|,|\lambda _p|\) instead of \(\sqrt{\Lambda _1},\)\(\sqrt{\Lambda _p},\) respectively.
Consider the linear operator \(T:L^2[a,b]\rightarrow L^2[a,b]\) defined by:
where \(K:[a,b]\times [a,b]\rightarrow {\mathbb {R}}\) is symmetric, square-measurable and:
Then, T is a continuous operator and \(\Vert T\Vert =\frac{1}{|\lambda _1|},\) where \(\lambda _1\) is the eigenvalue of K of least absolute value (see [17]). Then, for the linear difference equation:
where \((a_n)_{n\ge 0}\) is a sequence in \(L^2[a,b]\); we get the following stability result.
Theorem 3.3
Suppose that \(|\lambda _1|>1.\) Then, for every \(\varepsilon >0\) and every \((x_n)_{n\ge 0}\) in \(L^2[a,b]\) satisfying
there exists a sequence \((y_n)_{n\ge 0}\), such that:
Proof
The result is a simple consequence of Remark 2.10\(\square \)
References
Altomare, F., Cappelletti, M., Leonessa, V., Rasa, I.: Markov Operators, Positive Semigroups and Approximation Processes, de Gruyter Studies in Mathematics 61. Walter de Gruyter GmbH, Berlin/Boston (2014)
Agarwal, R.P., Xu, B., Zhang, W.: Stability of functional equations in single variable. J. Math. Anal. Appl. 288(2), 852–869 (2003)
Baias, A.R., Blaga, F., Popa, D.: Best Ulam constant for a linear difference equation. Carpathian J. Math. 35, 13–22 (2019)
Baias, A.R., Popa, D.: On Ulam stability of a linear difference equation in Banach spaces. Bull. Malays. Math. Sci. Soc. 43, 1357–1371 (2020)
Barbu, D., Buşe, C., Tabassum, A.: Hyers-Ulam stability and discrete dichotomy. J. Math. Anal. Appl. 423, 1738–1752 (2015)
Brzdek, J., Jung, S.M.: Note on stability of a linear functional equation of second order connected with the Fibonacci numbers and Lucas sequences. J. Inequal. Appl. 2010, 10 (2010)
Brzdek, J., Popa, D., Raşa, I., Xu, B.: Ulam Stability of Operators. Academic Press (2018)
Brzdek, J., Popa, D., Xu, B.: Remarks on stability of linear recurrence of higher order. Appl. Math. Lett. 23(12), 1459–1463 (2010)
Brzdek, J., Popa, D., Xu, B.: On nonstability of the linear recurrence of order one. J. Math. Anal. Appl. 367, 146–153 (2010)
Brzdek, J., Popa, D., Xu, B.: Note on nonstability of the linear recurrence. Abh. Math. Sem. Univ. Hamburg 76, 183–189 (2006)
Buşe, C., O’Regan, D., Saierli, O., Tabassum, A.: Hyers-Ulam stability and discrete dichotomy for difference periodic systems. Bull. Sci. Math. 140, 908–934 (2016)
Elaydi, S.: An Introduction to Difference Equations. Springer, New York (2005)
Gil, M.: Difference Equations in Normed Spaces. Stability and Oscilations. North-Holland Mathematics Studies, New York (2007)
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27(4), 222–224 (1941)
Hyers, D.H., Isac, G., Rassias, T.M.: Stability of Functional Equations in Several Variables. Progress in Nonlinear Differential Equations and Their Applications. Birkhäuser, Basel (1998)
Jung, S.M.: Functional equation \(f(x) = pf(x-1) - qf(x-2)\) and its Hyers-Ulam stability. J. Inequal Appl 2009, 181678 (2009)
Kantorovich, L.V., Akilov, G.P.: Analyse Functionelle. Edition MIR, Moscou (1981)
Mortici, C., Rassias, M.T., Jung, S.M.: On the stability of a functional equation associated with the Fibonacci numbers. Abstr. Appl. Anal. 2014, 546046 (2014)
Onitsuka, M.: Influence of the stepsize on hyers-ulam stability of first-order homogeneous linear difference equations. Int. J. Difference Equ. 12(2), 281–302 (2017)
Popa, D.: Hyers-Ulam stability of the linear recurrence with constant coefficients. Adv. Differ. Equ. 2, 101–107 (2005)
Popa, D., Rasa, I.: On the stability of some classical operators from approximation theory. Expo. Math. 31, 205–214 (2013)
Popa, D., Raşa, I.: Best constant in stability of some positive linear operators. Aequat. Math. 90, 719–726 (2016)
Popa, D., Rasa, I.: On the best constant in Hyers-Ulam stability of some positive linear operators. J. Math. Anal. Appl. 412, 103–108 (2014)
Reich, S.: Iterative solution of linear operator equations in Banach spaces. Atti Accad. Naz. Lincei 54, 551–554 (1973)
Ulam, S.M.: A Collection of Mathematical Problems. Interscience, New York (1960)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Baias, A.R., Popa, D. & Raşa, I. Ulam stability of a successive approximation equation. J. Fixed Point Theory Appl. 22, 41 (2020). https://doi.org/10.1007/s11784-020-00777-6
Published:
DOI: https://doi.org/10.1007/s11784-020-00777-6