Abstract
We prove the existence and uniqueness of a weighted pseudo asymptotically mild solution to the following class of abstract semilinear difference equations:
where A is the generator of a resolvent sequence \(\{S(n)\}_{n\in \mathbb{N}_{0}}\) of bounded and linear operators defined in a Banach space X, the sequences \(a, b\) are complex-valued, and \(f\in l^{1}( \mathbb{Z}\times X, X)\).
Similar content being viewed by others
1 Introduction
Nowadays, continuous-time models for systems arising in science, engineering business, and social sciences have been widely studied by many researchers. However, it is sometimes necessary to discretize the continuous models for practical purposes. In some cases, the natural models can be discrete; in addition, the results of the discrete time models are more accurate and convenient than continuous models to describe phenomena such as infectious diseases, traffic dynamics, radioactivity, among others. Discrete models should preserve as much as possible the qualitative properties of the corresponding continuous time models [2, 7, 8, 12, 23, 24].
A systematic study of difference equations may be traced to papers by different authors [11, 15, 17, 26, 30, 32, 33]. In [33] Xia established some sufficient criteria for the existence and uniqueness of the discrete weighted pseudo almost automorphic solutions to the Volterra difference equations of convolution type as well as to nonautonomous semilinear difference equations. Elaydi obtained some of the fundamental results on the stability and asymptotic behavior of linear Volterra difference equations using the method of Z-transform for equations of convolution type in [17].
The problem of the existence and uniqueness of solutions for differential-difference equations, that is, continuous in space and discrete in time, has been the subject of increasing interest in the last years. They are frequently analyzed in an abstract setting of Banach space. For instance, the study of maximal regularity for discrete time abstract Cauchy problems in Banach spaces has been addressed in [4, 9, 10, 21, 22, 27]. Blunck established sufficient conditions for maximal regularity of an operator T on \(L_{p}\) in [10]. Kemmochi [21, 22] considered a discrete Cauchy problem in a Banach space X, and showed that continuous maximal regularity implies discrete maximal regularity for general θ-methods in the case of UMD spaces. In [27] Lizama and Murillo presented a method based on operator-valued Fourier multipliers to characterize the existence and uniqueness of \(l_{p}\)-solutions for some discrete time fractional models.
Recently, in [1, 5, 34] the authors considered the nonlinear difference equations
for \(0< \alpha \leq 1\), where A is the generator of a resolvent sequence contained in the space of all bounded linear operators defined in a Banach space. Here \(\Delta ^{\alpha }\) denotes fractional difference in the Weyl-like sense (see Definition 3.16), and f satisfies Lipschitz conditions of global and local type. The authors studied existence, uniqueness of discrete weighted pseudo S-asymptotically ω-periodic mild solutions and asymptotic behavior for nonlinear fractional difference equations.
The most interesting feature of the works cited above is that the authors studied the fractional modeling of partial differential equations that can be modeled in discrete time as well as in continuous space. It is worthwhile to observe that if \(\alpha = \tau = \theta =1\), then the discrete Cauchy problem in X,
where \(\tau >0\) is the time step, \(\theta \in [0, 1]\) is a fixed parameter, \(u=u(n)\) is an unknown X-valued sequence, and \(f=f(n)\) is a given one, which was studied in [21] can be represented abstractly by (1.1).
Our motivation in this paper arises from the observation that equations of type (1.1) are subsumed under the general framework of nonlinear fractional difference equations of the type
where \(a(n), b(n)\) are appropriately chosen sequences. Equation (1.2) corresponds to the special case where \(a(n)=b(n)=k^{\alpha }(n)\), with
These coefficients appear in the definition of the discrete fractional Laplacian which has been the subject of many studies in recent years (see, e.g., [26] and the references therein). Example 3.14 will provide more details on this class of equations.
Linear and nonlinear systems of differential-difference equations of Volterra type are often used to model biological populations, see [13, 16, 29]. The theory of linear Volterra difference equations of both convolution and nonconvolution types has been studied by Elaydi, Gronek, and Schmeidel in [17, 20]; the second author proved the existence of bounded solutions via Darbo’s fixed point theorem using a measure of noncompactness in the space of bounded sequences.
However, the vast majority of research works related to the class of nonlinear discrete time evolution equations (1.3) are focused either in finite dimensional cases or are restricted to the case of a bounded operator A. Moreover, the problem of existence and uniqueness of weighted pseudo asymptotically mild solutions to (1.3) appears not to have been considered in the literature.
In this paper we have successfully solved this problem by means of an operator theoretic approach. In this way, one of our main contributions in this paper is that we propose a new definition of discrete resolvent family \(\{S(n)\}_{n\in \mathbb{N}_{0}} \subset \mathcal{B}(X)\) generated by the operator A in order to represent the solution of (1.3). This new concept improves [1, 34, Definition 3.1] and [5, Definition 2.11] in the special case of (1.1).
The paper is organized as follows: Sect. 2 is devoted to some notations and to recalling preliminary results. In Sect. 3, we consider two complex-valued sequences \(a, b\), and under certain conditions on \(f:\mathbb{Z} \to X\) and the resolvent family generated by the operator A, we show that
is a strong solution of the linear version of (1.3). More precisely, it is a solution of the nonhomogeneous equation in which f does not depend on u. The operator-valued sequence \(\{S(n)\} _{n\in \mathbb{N}_{0}}\) is the discrete resolvent family associated with the system (see Definition 3.2).
Another relevant result of our work is that we give necessary conditions in terms of generators of \(C_{0}\)-semigroups in order to prove the existence and summability of a discrete resolvent family (Theorem 3.9). It should be noted that we give an explicit form of the family involving the well-known Poisson distribution in the spirit of the work [26]. This is necessary in order to establish reasonable conditions for a new result on the existence of strong solutions for our problem, see Theorem 3.13. Additionally, we will prove that in case \(a(n)=b(n), n\in \mathbb{Z}_{+}\), then the sequence of operators \(S(n)\) have the following interesting representation:
\(S(0)x= a(0)R(A)x\), \(S(1)x=a(1)R^{2}(A)x\), where \(R(A):= (1- a(0)A)^{-1}\), \(\phi _{0}(n)=a(n), \phi _{1}(n)=\sum_{k=1}^{n-1}a(n-k)a(k)\), and the sequence \((\phi _{j}(\cdot ))\) is defined recursively by
In Sect. 4, we present results related to the asymptotic behavior and weighted pseudo S-asymptotic ω-periodic mild solutions to (1.3). We use as the main tools various fixed point theorems, namely the Banach fixed point theorem, Matkowski’s fixed point theorem, and the Leray–Schauder alternative theorem in combination with the useful Lemma 2.1 from [34] about compactness in the vector-valued sequence space, in which we seek solutions. In the main result of Sect. 4, we suppose that A is the generator of a summable discrete resolvent family \(\{S(n)\}_{n\in \mathbb{N}_{0}}\subset \mathcal{B}(X)\), f satisfies a θ-Lipschitz condition, and using the Leray–Schauder alternative theorem, we show that there exist a sequence \((h(n))_{n\in \mathbb{Z}}\) and a mild solution u of (1.3) such that \(u(n)= o(h(n))\), where the positive sequence \(h: \mathbb{Z}\to \mathbb{R}^{+}\) satisfies appropriate convergence properties. The precise description of this result is in the context of Theorem 4.6. Finally, in the last section, we include a constructive example to illustrate the relevance and feasibility of the given hypotheses.
2 Preliminaries
Let \((X,\|\cdot \|)\) be a Banach space. We denote the linear space consisting of all vector-valued sequences \(f: \mathbb{Z}_{+}\rightarrow X\) by \(s(\mathbb{Z}_{+},X)\), where \(\mathbb{Z}_{+}=\mathbb{N}\cup \{0 \}\). Note that we also use the notation \(\mathbb{N}_{0}\) for the same purpose. We also use \(\mathbb{Z}^{+} \setminus \{ 0 \}\) or \(\mathbb{Z}_{+} \setminus \{ 0 \}\) for the natural numbers at several places. Let \(a: \mathbb{Z}_{+}\rightarrow \mathbb{C}\) be given. If \(\sum_{k=0}^{\infty } |a(k)|< \infty \), then we say that a is a summable sequence. We introduce some notation on the vector-valued spaces used in the sequel.
-
(i)
Given two Banach spaces X and Y, we denote by \(\mathcal{B}(X, Y )\) the Banach space of all bounded linear operators from X to Y. The space \(\mathcal{B}(X, Y )\) will be endowed with the operator topology or the strong operator topology depending on the context. In case \(X=Y\), we write simply \(\mathcal{B}(X)\).
-
(ii)
The Sobolev space \(W^{l, p}(\mathbb{R}_{+})\) of all functions \(f\in L^{p}(\mathbb{R}_{+})\) whose derivatives in the sense of distributions up to order l belong to \(L^{p}(\mathbb{R}_{+})\).
-
(iii)
\(l^{\infty }(\mathbb{Z}, X):= \{f: \mathbb{Z}\rightarrow X:\|f\|_{\infty }:= \sup_{n\in \mathbb{Z}} \|f(n)\|< \infty \}\).
-
(iv)
\(l_{\rho }^{p}(\mathbb{Z}, X):= \{f: \mathbb{Z}\rightarrow X: \|f\|_{l_{\rho }^{p}}:= \sum_{n=-\infty }^{\infty } \|f(n)\|^{p} \rho (n)< \infty \}\), where \(\rho: \mathbb{Z} \rightarrow (0, \infty )\) is a positive sequence.
-
(v)
\(C_{0}(\mathbb{Z}, X):= \{ f\in l^{\infty }(\mathbb{Z}, X): \lim_{n\rightarrow \infty }\|f(n)\|=0\}\).
-
(vi)
\(C_{\omega }(\mathbb{Z}, X):= \{ f\in l^{\infty }( \mathbb{Z}, X): f \text{ is } \omega \text{-periodic}\} \), where \(\omega \in \mathbb{Z}_{+}\setminus \{0\} \) is fixed.
-
(vii)
\(\mathcal{UC}(\mathbb{Z} \times X, X)\) is the set of all functions \(f: \mathbb{Z} \times X\rightarrow X \) satisfying that, for all \(\epsilon >0\), there exists \(\delta >0\) such that \(\|f(k, x)-f(k, y)\|\leq \epsilon \) for all \(k\in \mathbb{Z}\) and for all \(x, y \in X\) with \(\|x- y\|< \delta \).
-
(viii)
\(\overline{\mathcal{UC}}(\mathbb{Z} \times X, X)\) is the set of all functions \(f: \mathbb{Z} \times X\rightarrow X \) satisfying that, for all \(\epsilon >0\), there exists \(\delta >0\) such that \(\|f(k, x)-f(k, y)\|\leq L_{f}(k) \epsilon \) for all \(k\in \mathbb{Z}\) and \(x, y \in X\) with \(\|x- y\|\leq \delta \), where \(L_{f} \in l^{p}( \mathbb{Z})\).
Let \(h: \mathbb{Z}\rightarrow \mathbb{R}^{+}\) be a sequence such that \(h(n)\geq 1\) for all \(n \in \mathbb{Z}\), and \(h(n)\rightarrow \infty \) as \(|n|\rightarrow \infty \). Define
endowed with the norm \(\|\xi \|_{h}= \sup_{n\in \mathbb{Z}}\frac{\|\xi (n)\|}{h(n)}\).
It is clear that \(\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\) is a Banach space isometrically isomorphic with the space \(C_{0}(\mathbb{Z}, X)\) consisting of all sequences \(\xi: \mathbb{Z}\rightarrow X\) that vanish at ±∞.
We recall a compactness criterion, the Leray–Schauder alternative theorem, and Matkowski’s fixed point theorem which will be useful later to prove the existence and uniqueness of solution to (1.3).
Lemma 2.1
([34, Lemma 2.1])
Let \(h: \mathbb{Z}\rightarrow \mathbb{R}^{+}\) be a function such that \(h(n)\geq 1\) for all \(n \in \mathbb{Z}\) and \(h(n)\rightarrow \infty \) as \(|n|\rightarrow \infty \). Let S be a subset of \(\mathcal{C}_{h} ^{0}(\mathbb{Z}, X)\). Suppose that the following conditions are satisfied:
-
(a)
The set \(\mathcal{H}(S)= \{\frac{u(n)}{h(n)}:u\in S \}\) is relatively compact in X for all \(n\in \mathbb{Z}\).
-
(b)
S is weighted equiconvergent at ±∞, that is, for every \(\epsilon >0\), there is \(T>0\) such that \(\|u(n)\|<\epsilon h(n)\) for each \(|n|\geq T\) for all \(u\in S\).
Then S is relatively compact in \(\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\).
Theorem 2.2
([28, Matkowski’s fixed point theorem])
Let \((X, d)\) be a complete metric space, and let \(\mathcal{F}: X\to X\) be a map such that \(d(\mathcal{F}x, \mathcal{F}y)\leq \phi (d(x, y))\) for all \(x, y \in X\), where \(\phi:[0, \infty )\to [0, \infty )\) is a nondecreasing function such that \(\lim_{n\to \infty }\phi ^{n}(t)=0\) for all \(t>0\), where \(\phi ^{n}\) is the nth iterate of ϕ. Then \(\mathcal{F}\) has a unique fixed point \(z\in X\).
Theorem 2.3
([19, Leray–Schauder alternative theorem])
Let Ω be a closed convex subset of the Banach space X such that \(0\in \varOmega \). Let \(\mathcal{F}: \varOmega \rightarrow \varOmega \) be a completely continuous map. Then the set \(\{x\in \varOmega: x=\lambda \mathcal{F}(x), 0< \lambda <1\}\) is unbounded or the map \(\mathcal{F}\) has a fixed point in Ω.
Let U be the collection of positive sequences \(\rho: \mathbb{Z} \rightarrow (0, \infty )\). For \(\rho \in U\) and for \(n\in \mathbb{Z_{+}}\), we use the notation
Hence, \(\nu (n,\rho )\) are the symmetric partial sums, \(U_{\infty }\) consists of those positive sequences ρ over \(\mathbb{Z}\) for which the sequence \((\nu (n,\rho ))_{n\in \mathbb{N}}\) is unbounded, while \(U_{b}\) consists of the positive sequences ρ such that, for some fixed \(\tau >0\), \(\rho (n)\ge \tau \) for all \(n\in \mathbb{Z}\).
Let \(\rho _{1}, \rho _{2}\in U_{\infty }\) be given. The sequence \(\rho _{1}\) is said to be equivalent to \(\rho _{2}\) (i.e., \(\rho _{1} \sim \rho _{2}\)) if \(\rho _{1}/\rho _{2} \in U_{b}\). It can be proved that \(U_{\infty }=\bigcup_{\rho \in U_{\infty }}\{\varrho \in U_{\infty }: \rho \sim \varrho \}\). For \(\rho \in U_{\infty }\) and \(m\in \mathbb{Z}\), we define \(\rho _{m}(n)=\rho (m+n)\) for \(n\in \mathbb{Z}\) and \(U_{T}=\{\rho \in U_{\infty }: \rho \sim \rho _{m} \text{ for each } m\in \mathbb{Z}\}\).
A sequence \(f:\mathbb{Z}\rightarrow X\) is called almost automorphic if, for every integer sequence \(\{k^{\prime }_{n}\}\), there exists a subsequence \(\{k_{n}\}\) such that
is well defined for each \(k\in \mathbb{Z}\) and \(\lim_{n\rightarrow \infty } \overline{f}(k- k_{n})=f(k)\). The set of such sequences is denoted by \(AA_{d}(\mathbb{Z}, X)\). It is well known that the set \(AA_{d}(\mathbb{Z}, X)\) endowed with the norm \(\|f\|_{ \infty }:= \sup_{k\in \mathbb{Z}}\|f(k)\|\) is a Banach space (see [6]). A function \(f:\mathbb{Z} \times X\rightarrow X\) is called almost automorphic if \(f(k, x)\) is almost automorphic in \(k\in \mathbb{Z}\) for any \(x\in X\). We denote the space of all such functions by \(AA_{d}( \mathbb{Z}\times X, X)\).
For \(\rho _{1}, \rho _{2} \in U_{\infty }\) [33], we define the space
Let \(\rho _{1}, \rho _{2} \in U_{\infty }\) be given. A sequence \(f:\mathbb{Z}\rightarrow X\) is called discrete weighted pseudo almost automorphic if it can be represented as \(f=g+\varphi \), where \(g\in AA_{d}(\mathbb{Z}, X) \) and \(\varphi \in PAA_{0}S(\mathbb{Z}, X, \rho _{1}, \rho _{2})\). The space of such functions is denoted by \(WPAA_{d}(\mathbb{Z}, X)\). The space \(WPAA_{d}(\mathbb{Z}, X)\) endowed with the norm \(\|f\|_{\infty }:= \sup_{k\in \mathbb{Z}}\|f(k)\|\) is a Banach space (see [33, Lemma 10]). A function \(f:\mathbb{Z} \times X\rightarrow X\) is called discrete weighted almost automorphic in \(k\in \mathbb{Z}\) for each \(x\in X\) if it can be expressed as \(f=g+\varphi \), where \(g\in AA_{d}(\mathbb{Z}\times X, X) \) and \(\varphi \in PAA_{0}S( \mathbb{Z}\times X, X, \rho _{1}, \rho _{2})\). The space of such functions is denoted by \(WPAA_{d}(\mathbb{Z}\times X, X)\). In what follows, we denote by \(V_{\infty }\) the set of all functions \(\rho _{1}, \rho _{2} \in U_{\infty }\) satisfying the following: there exists an unbounded set \(\varOmega \subset \mathbb{Z}\) such that, for all \(m\in \mathbb{Z}\),
A function \(f: \mathbb{Z}\times X\rightarrow X\) is said to be locally Lipschitz-continuous with respect to the second variable if, for each positive number r, for all \(k \in \mathbb{Z}\), and for all \(x, y \in X\) with \(\|x\|\leq r\) and \(\|y\|\leq r\), we have \(\|f(k, x)- f(k, y)\| \leq L(r)\|x - y\|\), where \(L: \mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\) is a nondecreasing function.
A sequence \(f\in l^{\infty }(\mathbb{Z}, X)\) is called discrete asymptotically ω-periodic if there exist \(g\in C_{\omega }( \mathbb{Z}, X)\), \(\varphi \in C_{0}(\mathbb{Z}, X)\) such that \(f= g+\varphi \). The collection of all such sequences is denoted by \(AP_{\omega }(\mathbb{Z}, X)\). A sequence \(f\in l^{\infty }( \mathbb{Z}, X)\) is called discrete S-asymptotically ω-periodic if there exists \(\omega \in \mathbb{Z^{+}} \setminus \{0\}\) such that \(\lim_{n\rightarrow \infty }(f(n+\omega )-f(n))=0\). The collection of all such sequences is denoted by \(SAP_{\omega }(\mathbb{Z}, X)\) (see [33, Definition 5]).
Let \(\rho \in U_{\infty }\) be given. A sequence \(f\in l^{\infty }( \mathbb{Z}, X)\) is called discrete S-asymptotically ω-periodic if there exists \(\omega \in \mathbb{Z^{+}} \setminus \{0\}\) such that \(\lim_{n\rightarrow \infty }\frac{1}{2n}\sum_{k=-n}^{n}\|f(k+\omega )-f(k) \|=0\). The collection of such sequences is denoted by \(PSAP_{\omega }( \mathbb{Z}, X)\) (see [33, Definition 6]).
Let \(\rho _{1}, \rho _{2}\in U_{\infty }\). A sequence \(f\in l^{\infty }( \mathbb{Z}, X)\) is called discrete weighted pseudo S-asymptotically ω-periodic if there exists \(\omega \in \mathbb{Z}^{+}\setminus \{0\}\) such that
Denote by \(WPSAP_{\omega }(\mathbb{Z}, X)\) the set of such sequences (see [34, Definition 2.5]). Next, we will recall some properties of \(WPSAP_{\omega }(\mathbb{Z}, X, \rho _{1}, \rho _{2})\) proved in [34].
Lemma 2.4
([34, Lemma 2.2])
Let \(\rho _{1}, \rho _{2}\in V_{\infty }\) be given, then
-
(a)
For each \(l\in \mathbb{Z}\), one has
$$ \limsup_{n \rightarrow \infty }\frac{\nu (n+l, \rho _{2})}{\nu (n, \rho _{1})}< \infty. $$ -
(b)
\(WPSAP_{\omega }(\mathbb{Z}, X, \rho _{1}, \rho _{2})\), where \(\omega \in \mathbb{Z_{+}}\setminus \{0\}\), is translation invariant, that is, \(f(\cdot +l)\in WPSAP_{\omega }(\mathbb{Z}, X, \rho _{1}, \rho _{2})\) for each \(l\in \mathbb{Z}\), if \(f\in WPSAP_{\omega }(\mathbb{Z}, X, \rho _{1}, \rho _{2})\).
-
(c)
\(WPSAP_{\omega }(\mathbb{Z}, X, \rho _{1}, \rho _{2})\), where \(\omega \in \mathbb{Z_{+}}\setminus \{0\}\), is a closed subspace of \(l^{\infty }(\mathbb{Z},X)\).
Remark 2.5
It is easy to see that the following inclusions hold: For \(\omega \in \mathbb{Z_{+}}\setminus \{0\}\),
Let \(\rho _{1}, \rho _{2} \in U_{\infty }\) be given, and \(\omega \in \mathbb{Z_{+}}\setminus \{0\}\). In what follows, we will consider the sets \(\mathcal{M}(\mathbb{Z}, X):= \{WPAA_{d}(\mathbb{Z}, X), WPSAP _{\omega }(\mathbb{Z}, X)\}\) and \(\mathcal{M}(\mathbb{Z}\times X, X):= \{WPAA_{d}(\mathbb{Z}\times X, X), WPSAP_{\omega }(\mathbb{Z}\times X, X)\}\).
3 Solutions for abstract difference equations of convolution type
We consider the following abstract difference equation of convolution type:
where \(A: D(A)\subset X\rightarrow X\) is a closed linear operator on X, \(f\in l^{1}(\mathbb{Z}\times X, X)\), and \(a, b:\mathbb{Z}_{+} \to \mathbb{R}_{+} \) are given bounded positive sequences. Note that the associated nonhomogeneous linear equation is given by
We begin with the definition of solution for the equations under consideration. We write \([D(A)]\) for the space \(D(A)\) equipped with the graph norm (which turns it into a Banach space).
Definition 3.1
Given \(a, b \in s(\mathbb{Z}, X)\) bounded positive sequences and \(f\in l^{1}(\mathbb{Z}, X)\), a sequence \(u:\mathbb{Z}\rightarrow [D(A)]\) is called a strong solution for equation (3.1) if \(u \in l ^{1}( \mathbb{Z}; [D(A)])\) and satisfies (3.1).
We now define the concept of discrete resolvent family which will be a crucial tool for the solution of equation (3.1).
Definition 3.2
Let A be a closed linear operator with domain \(D(A)\) defined on a Banach space X. Let a and b be scalar-valued sequences. An operator-valued sequence \(\{S(n)\}_{n\in \mathbb{N}_{0}} \subset \mathcal{B}(X)\) is called a discrete resolvent family generated by A if it satisfies the following conditions:
-
(i)
\(S(n)(X) \subset D(A)\), and \(S(n)Ax=AS(n)x\) for all \(x \in D(A)\) and \(n\in \mathbb{N}_{0}\);
-
(ii)
\(S(n)x= b(n)x+ A \sum_{k=0}^{n} a(n-k)S(k)x\) for \(n\in \mathbb{N}_{0}\) and \(x\in X\).
Remark 3.3
Note that Definition 3.2 corresponds to the resolvent sequence defined in [1, 5] when \(b(n)=a(n)=k^{\alpha }(n):= \frac{\varGamma (\alpha +n)}{\varGamma (\alpha )n!}\) for \(\alpha >0, n \in \mathbb{N}_{0}\). Sequences of operators for abstract difference equations with the kernel \(k^{\alpha }(n)\) were introduced by Lizama in [26] and [25] in connection with abstract difference equations of fractional order.
Remark 3.4
If \(a(0)=b(0)=1\), then by Definition 3.2 we have that
and
Therefore \(1 \in \rho (A)\) and
Here, \(\rho (A)\) denotes the resolvent set of A.
Proposition 3.5
If \(1/a(0)\in \rho (A)\), and there exists a discrete resolvent family corresponding to the kernels a and b, then it is unique.
Proof
Suppose that \(S(n)\) and \(R(n)\) are resolvent families generated by A. Let \(x \in X\) and define \(\varphi (n)= S(n)x-R(n)x, n \in \mathbb{N}_{0}\). Note that \(\varphi (n) \in D(A)\) for all \(k \in \mathbb{N}_{0}\) and
Let us consider two cases according to whether \(a(0)=0\) or \(a(0) \neq 0\). In the case \(a(0)=0\), expanding the sum in (3.2), we obtain \(\varphi (n)=0\) for all \(n\in \mathbb{N}_{0}\). If \(a(0)\neq 0\), then by Definition 3.2 and since \(1/a(0)\in \rho (A)\), we obtain \(S(0)=b(0)(I-a(0)A)^{-1}= R(0)\). Therefore \(\varphi (0)=0\). Using (3.2), we obtain \((I-a(0)A)\varphi (n)=0\) for all \(n\in \mathbb{N}_{0}\). Then the invertibility of \((I-a(0)A)\) implies \(S(n)x= R(n)x\) for all \(n\in \mathbb{N}_{0}\) and \(x \in X\). □
Remark 3.6
Note that if \(b(0)\neq0\), then \(\frac{S(0)}{b(0)}(1-Aa(0))x=x\) for all \(x\in D(A)\). Thus combining with Definition 3.2 part (i), we have \(1/a(0)\in \rho (A)\). Then the conclusion of the previous theorem holds.
In what follows â denotes the Laplace transform of the kernel a, whenever it exists. We recall [31, Sect. 3.2 p. 69] that a function \(a \in L^{1}_{\mathrm{loc}}( \mathbb{R}_{+})\) of subexponential growth is called k-regular if there is a constant \(c>0\) such that
Also a is said to be of positive type if \(|\arg \widehat{a}(\lambda )| \leq \frac{\pi }{2}\) for all \(\operatorname{Re} \lambda >0\).
Definition 3.7
Let \(a\in L^{1}_{\mathrm{loc}}(\mathbb{R}_{+})\) and \(k\geq 2\). We say that \(a(t)\) is k-monotone if \(a\in C^{k-2}(0, \infty )\), \((-1)^{n}a ^{(n)}(t)\geq 0\) for all \(t>0, 0\leq n \leq k-2\), and the function \((-1)^{k-2}a^{(k-2)}(t)\) is nonincreasing and convex.
Theorem 3.8
Suppose that A generates a discrete resolvent family \(\{S(n)\}_{n \in \mathbb{N}_{0}}\subset \mathcal{B}(X)\) with \(a(n)=b(n) \in s( \mathbb{N}_{0}, \mathbb{R}^{+})\) such that \(1/a(0)\in \rho (A)\). Then the following statements hold:
-
(a)
For all \(x \in X\), we have that \(S(0)x= a(0)R(A)x\), \(S(1)x= a(1) R^{2}(A)x\), and
$$ S(n)x=\Biggl[\sum_{j=0}^{n-1} \phi _{j}(n) \bigl(AR(A)\bigr)^{j}\Biggr]R^{2}(A)x,\quad n \geq 2, $$where \(R(A):= (1- a(0)A)^{-1}\) and \(\phi _{0}(n)=a(n), \phi _{1}(n)= \sum_{k=1}^{n-1}a(n-k)a(k)\), and
$$ \phi _{j}(n)=\sum_{k=j}^{n-1} a(n-k)\phi _{j-1}(k), \quad j\geq 2. $$ -
(b)
\(S(n)X \subset D(A)\) and \(S(n)Ax=AS(n)x\) for all \(x \in D(A)\), and \(n\in \mathbb{N}_{0}\).
Proof
Clearly, by Definition 3.2 part (ii), we obtain that
Now, let \(x\in X\), we have that
then
Thus
where we have used that \(AR(A)=\frac{1}{a(0)}(-1+R(A))\). By induction, we suppose that
For \(x\in X\), we write, using the definition:
Then we obtain
Therefore, since \(R(A)(1+AS(0))=R^{2}(A)\), we obtain
Next, we prove (b). Note that
and
Therefore, for all \(x\in X\), it is a straightforward consequence of the above representation of \(S(n)\) that (b) holds. □
The next theorem gives necessary conditions in terms of \(C_{0}\)-semigroups in order to ensure the existence and summability of a discrete resolvent family. We will denote by \(f\ast g:=\int _{0}^{t}f(t-s)g(s)\,ds\) the Laplace convolution of the functions f and g, and \(\rho _{n}(t)\) will be the function \(\rho _{n}(t)=\frac{e^{-t}t^{n}}{n!}\). The notion of 2-regular function is taken from the reference [31].
Theorem 3.9
Let A be the generator of a bounded analytic \(C_{0}\)-semigroup on a Banach space X. Let \(k(t), g(t) \geq 0\) be given by \(a(n)=\int _{0} ^{\infty }\rho _{n}(t)k(t)\,dt\), \(b(n)=\int _{0}^{\infty }\rho _{n}(t)g(t)\,dt\), where \(k\in L^{1}_{\mathrm{loc}}( \mathbb{R}_{+})\) is 2-regular and of subexponential growth, of positive type, such that \(\frac{1}{\lambda \widehat{k}(\lambda )}\) defined for \(\lambda \ne 0\) has a locally analytic extension at \(\lambda =0\), \(g(0)=0\), \(g\in W^{1,1}(\mathbb{R}_{+})\), and \(0\in \rho (A)\). Then A generates a summable discrete resolvent family \(\{R(n)\}_{n\in \mathbb{N}_{0}}\), with sequences \(b(n)\) and \(a(n)\).
Proof
By [31, Corollary 3.1] \(\widehat{k}(\lambda )\neq 0, \frac{1}{ \widehat{k}(\lambda )}\in \rho (A)\) for all \(\operatorname{Re} \lambda >0\), and there exists a constant \(M\geq 1\) such that \(H(\lambda )= (I-\widehat{k}( \lambda )A)^{-1}/\lambda \) satisfies \(\|H(\lambda )\|\leq \frac{M}{| \lambda |}\) for all \(\operatorname{Re} \lambda >0\). Then, by [31, Theorem 10.2], there exists a resolvent family \(S (t)\) which is uniformly integrable. By [31, Definition 1.3, (S3)] for all \(x\in X\) and \(t>0\), we have that
Define \(T(t)x:= (g^{\prime }\ast S)(t)x \) for all \(x\in X\) and \(t\geq 0\). Note that \(T(t)\in L^{1}(\mathbb{R}_{+}, X)\) since \(S (t)\) is uniformly integrable and \(g^{\prime }\in L^{1}(\mathbb{R} _{+})\). Moreover, since \(g(0)=0\), it follows that \((g^{\prime }\ast 1)(t)= \int _{0}^{t} g^{\prime }(s)\,ds= g(t)\). Thus, for all \(x\in X\) and \(t\geq 0\), we obtain from (3.3)
Define
Then \(R(n)x \in D(A)\) for all \(x \in X\). Now, from \(a(n)= \int _{0} ^{\infty } \rho _{n}(t)a(t)\,dt\) and \(b(n)= \int _{0}^{\infty } \rho _{n}(t)g(t)\,dt\), and using [26, Theorem 3.4], we have that, for all \(x \in X\),
Finally, we prove that \(R(n)\) is summable. In fact, since \(T(t)\in L ^{1}(\mathbb{R}_{+}, X)\), we have that
□
Remark 3.10
We note that the family T defined in the previous theorem is the convolution of a function \(g^{\prime }\) with a resolvent family S. The resolvent families have been studied extensively by Prüss in [31]. It is well known that under certain conditions on the function k, we can obtain resolvent families with various additional properties: analytic, differentiable, exponentially bounded, uniform integrable, among others, see [31]. Next, we will give conditions on g in order that the family T have the same properties of S.
-
By Young’s inequality, if \(S (t)\) is uniformly integrable and \(g^{\prime }\in L^{1}(\mathbb{R}_{+})\), then \(T(t)\in L^{1}( \mathbb{R}_{+}, X)\).
-
Suppose that S is differentiable, then by [31, Definition 1.4] we see that \(S(\cdot )x\in W_{\mathrm{loc}}^{1, 1}( \mathbb{R}_{+}, X)\) for each \(x\in D(A)\), and there is \(\varphi \in L_{\mathrm{loc}}^{1}(\mathbb{R}_{+})\) such that \(\|{S}'(t)x\|\leq \varphi (t)\|x\|_{A}\) a.e. on \(\mathbb{R}_{+}\), for each \(x\in D(A)\). If \(g\in W_{\mathrm{loc}}^{1, 1}(\mathbb{R}_{+})\), then \(T(t)\in W_{\mathrm{loc}}^{1, 1}( \mathbb{R}_{+})\). Moreover,
$$\begin{aligned} \biggl\Vert \frac{d}{dt}\bigl(g^{\prime }\ast S\bigr) (t)x \biggr\Vert \leq {}& \bigl\Vert S(0)g^{\prime }(t)x \bigr\Vert + \biggl\Vert \int _{0}^{t}{S}'(t-s)g^{\prime }(s)x\,ds \biggr\Vert \\ \leq{}& M \vert x \vert _{A}+ M \int _{0}^{t} \bigl\Vert {S}'(t-s)x \bigr\Vert \,ds \\ \leq{}& M \vert x \vert _{A}+ M \int _{0}^{t} \varphi (t-s) \Vert x \Vert _{A} \,ds \leq (M+K) \Vert x \Vert _{A}, \end{aligned}$$where \(M= \sup_{t\in \mathbb{R}_{+}}|g^{\prime }(t)|\) and \(K=M\int _{0}^{t} \varphi (t-s)\,ds\). Thus \(T(t)\) is differentiable.
Remark 3.11
The conditions imposed on the sequences \(a(n)\) and \(b(n)\) in Theorem 3.9 are sufficient but not necessary. In [1, Theorem 3.5] the authors proved that if \(0<\alpha <1\) and A is the generator of an exponentially stable \(C_{0}\)-semigroup \(\{T(t)\}_{t\geq 0}\), defined on a Banach space X, then A generates a summable discrete resolvent family \(\{S_{\alpha }(n)\}_{n\in \mathbb{N}_{0}}\) defined by
where \(f_{t, \alpha }(\lambda )\) is a probability density function frequently called stable Lévy process. The latter is defined by [35]
where the branch of \(z^{\alpha }\) is so taken that \(\operatorname{Re}(z^{\alpha })>0\) for \(\operatorname{Re}(z)>0\).
Let \(f, g\) be sequences (defined on \(\mathbb{Z}_{+}\)). We define two convolution products \((f\circ g)(n)\) and \((f \ast g)(n)\) as follows:
For the second product, no condition on the sequences is required, while for the first we may for example assume that one of the sequences is summable and the other is bounded. In the sequel, we derive a result which describes properties of the above operations.
Theorem 3.12
For \(f, g, h\) given sequences, the following properties hold:
-
(i)
\((f \ast g)(n)= (g \ast f)(n)\).
-
(ii)
\(((f\ast g)\circ h)(n)= (g\circ (f\circ h))(n)\).
-
(iii)
\((g\circ (f\circ h))(n)= (f\circ (g\circ h))(n)\).
Proof
(i) is obvious. Now, we will prove (ii). By Fubini’s theorem,
This proves (ii). Now, (iii) follows from (i) and (ii). □
The following theorem gives conditions for better regularity.
Theorem 3.13
Let \(\{S(n)\}_{n\in \mathbb{N}_{0}} \subset \mathcal{B}(X)\) be a summable discrete resolvent family generated by A and \(f\in l^{1}( \mathbb{Z}, [D(A)]) \), then
is a strong solution of (3.1).
Proof
Note that u is clearly well defined and \(u\in l^{1}(\mathbb{Z}, [D(A)])\). Now we will prove that u satisfies (3.1). Indeed, by Definition 3.2 and Theorem 3.12,
Thus,
This proves the claim. □
Example 3.14
Consider the special case \(a(n)=b(n)= k^{\alpha }(n), n\in \mathbb{Z}\), and \(\{S(n)\}_{n\in \mathbb{N}}\) satisfying Definition 3.2, then the nonlinear fractional difference equation
for \(0< \alpha <1\), can be written in the form (3.1). Here, A is the generator of an α resolvent sequence \(\{S(n)\}_{n \in \mathbb{N}_{0}}\) in \(\mathcal{B}(X),\Delta ^{\alpha }\) denotes fractional difference in Weyl-like sense (see [1, 5]), and f satisfies Lipschitz conditions of global and local type.
Indeed, first we recall the following definitions.
Definition 3.15
([1])
Let \(\alpha >0\) be given and \(\rho (n)=|n|^{\alpha -1}, n\in \mathbb{Z} \). The αth fractional sum of a sequence \(f\in l_{\rho }^{1}(\mathbb{Z}, X)\) is defined by
Definition 3.16
([1])
Let \(\alpha >0\) be given and \(\rho (n)=|n|^{\alpha -1}, n\in \mathbb{Z} \). The αth fractional difference of a sequence \(f\in l_{\rho }^{1}(\mathbb{Z}, X)\) is defined by
where \(m=[\alpha ]+1, [\cdot ]\) is the greatest integer function.
Now if
then
Note that
Analogously,
Thus,
Then
More information on the sequences \(k^{\alpha }(n)\) can be found in the reference [26], in particular the semi group identity \(k^{\alpha } \ast k^{\beta }=k^{\alpha +\beta }, \alpha, \beta >0\).
In the next result, borrowing ideas from [5], we prove regularity under convolution in the above mentioned spaces.
Theorem 3.17
Let \(\rho _{1}, \rho _{2} \in V_{\infty }\) and \(\rho \in U_{T}\) be given. Assume that A generates a summable discrete resolvent family \(\{S(n)\}_{n\in \mathbb{N}_{0}} \subset \mathcal{B}(X)\). If f belongs to one of the spaces \(\varOmega \in \mathcal{M}(\mathbb{Z}, X)\), then the sequence u defined by
belongs to the same space Ω.
Proof
Note that \(u(n+1)\) is well defined and \(\|u(n+1)\|\leq \|S\|_{1}\|f\| _{\infty }\) for all \(n\in \mathbb{Z}\). First, we consider \(f\in WPAA _{d}(\mathbb{Z}, X)\). Let \(f=f_{1}+f_{2}\), where \(f_{1}\in AA_{d}( \mathbb{Z}, X)\) and \(f_{2} \in PAA_{0}S(\mathbb{Z},X,\rho _{1}, \rho _{2})\) is the decomposition of f. Then
From [6, Theorem 2.12], \(u_{1} \in AA_{d}(\mathbb{Z}, X)\). Now, we will prove that \(u_{2}\in PAA_{0}S(\mathbb{Z},X,\rho _{1}, \rho _{2})\). Indeed,
By [33, Lemma 10] the space \(PAA_{0}S(\mathbb{Z},X,\rho _{1}, \rho _{2})\) is invariant under translations, then \(f_{2}(\cdot -m) \in PAA_{0}S(\mathbb{Z},X,\rho _{1}, \rho _{2})\). Thus, by the Lebesgue dominated convergence theorem, we obtain
This proves the claim for such a space. Now, let \(f\in WPSAP_{\omega }(\mathbb{Z}, X, \rho _{1}, \rho _{2})\). Then there exists \(\omega \in \mathbb{Z}^{+}\setminus \{0\}\) such that
Now, we have
By [34, Lemma 2.2] \(WPSAP_{\omega }(\mathbb{Z}, X)\) is invariant under translations. Thus, applying again the Lebesgue dominated convergence theorem, we obtain
□
4 Semilinear difference equations
In this section we use the above defined resolvent families to investigate the existence and uniqueness of solutions for the following class of abstract semilinear difference equations:
where A is the generator of a discrete resolvent family \(\{S(n)\} _{n\in \mathbb{N}_{0}}\) in \(\mathcal{B}(X)\), \(f:\mathbb{Z}\times X \to X\) is a function bounded on bounded subsets of X, and \(a, b\) are given such that (4.1) makes sense.
We introduce the following conditions in order to prove our main results about the asymptotic behavior of mild solutions.
-
(H2)
A is the generator of a summable discrete resolvent family \(\{S(n)\}_{n\in \mathbb{N}_{0}}\subset \mathcal{B}(X)\).
-
(F1)
f satisfies the Lipschitz condition
$$ \bigl\Vert f\bigl(k, h(k)u\bigr)-f\bigl(k, h(k)v\bigr) \bigr\Vert \leq L_{f} \Vert u-v \Vert \quad\text{for all } k\in \mathbb{Z}, u, v\in X, $$where \(L_{f}>0\) is a constant and h is given in Lemma 2.1.
-
(F2)
f satisfies the local Lipschitz condition, that is, for each positive number r and all \(u, v\in X\) with \(\|u\|\leq r, \|v\| \leq r\), we have
$$ \bigl\Vert f\bigl(k, h(k)u\bigr)-f\bigl(k, h(k)v\bigr) \bigr\Vert \leq L_{f}(r) \Vert u-v \Vert \quad\text{for all } k\in \mathbb{Z}, $$where \(L_{f}:\mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\) is a nondecreasing function and h is given in Lemma 2.1.
-
(F3)
f satisfies the following condition:
$$ \bigl\Vert f\bigl(k, h(k)u\bigr)-f\bigl(k, h(k)v\bigr) \bigr\Vert \leq L_{f}(k) \Vert u-v \Vert \quad\text{for all } k\in \mathbb{Z}, u, v\in X, $$where \(L_{f}:\mathbb{Z}\rightarrow \mathbb{R}^{+}\) is a summable function and h is given in Lemma 2.1.
-
(F4)
f satisfies
$$ \bigl\Vert f\bigl(k, h(k)u\bigr)-f\bigl(k, h(k)v\bigr) \bigr\Vert \leq \phi \bigl( \Vert u-v \Vert \bigr) \quad\text{for all } k\in \mathbb{Z}, u, v\in X, $$where \(\phi:\mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\) is a nondecreasing function and h is given in Lemma 2.1.
-
(F5)
f satisfies
$$ \bigl\Vert f(k, u)-f(k, v) \bigr\Vert \leq L_{f}(k) \Vert u-v \Vert ^{\theta } \quad\text{for all } k\in \mathbb{Z}, u, v\in X, $$where \(\theta \in (0,1), L_{f}:\mathbb{Z}\rightarrow \mathbb{R}^{+}\) is a sequence (depending on f) such that \(\lim_{|k|\to \infty }L_{f}(k)=0 \).
Next we introduce the definition of solution for the semilinear difference equation.
Definition 4.1
Let A be the generator of a discrete resolvent family \(\{S(n)\}_{n \in \mathbb{N}_{0}}\subset \mathcal{B}(X)\) and \(f: \mathbb{Z}\times X \rightarrow X\). We say that a sequence \(u: \mathbb{Z}\rightarrow \mathbb{X}\) is a mild solution of (4.1) if \(k\rightarrow S(n-k)f(k, u(k))\) is summable on \(\mathbb{N}_{0}\) for each \(n\in \mathbb{Z} \) and u satisfies
In the next Theorems 4.2, 4.3, and 4.4, we show existence, uniqueness, and asymptotic behavior of discrete mild solutions of (4.1). We assume that f satisfies Lipschitz and locally Lipschitz conditions, the proofs are based on the Banach fixed point theorem.
Theorem 4.2
Assume that (H2), (F1) hold and \(L_{f}\|S\|_{1}<1\), then there exists a unique mild solution \(u(n)\) of (4.1) such that \(\lim_{|n|\to \infty }\frac{\|u(n)\|}{h(n)}=0\).
Proof
Consider the operator \(F: \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\rightarrow \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\) defined by
Note that F is well defined. Indeed,
hence \(\lim_{|n|\to \infty }\frac{\|(Fu)(n)\|}{h(n)}=0\), which implies that F is well defined. In addition, for \(u, v \in \mathcal{C}_{h}^{0}( \mathbb{Z}, X)\) and \(n\in \mathbb{Z}\), the following inequality holds:
therefore, \(\|Fu- Fv\|_{h} \leq L_{f} \|S\|_{1}\|u-v\|_{h}\). From the assumption \(L_{f} \Vert S\Vert _{1}<1\) we see that F is a contraction, and using the Banach fixed point theorem, we conclude that there exists a unique discrete mild solution of (4.1) such that \(\lim_{|n|\to \infty }\frac{\|u(n)\|}{h(n)}=0\). □
In the following theorem, we make a modification on the previous hypothesis on the Lipschitz condition, namely we consider a local condition instead of the global one.
Theorem 4.3
Suppose (H2), (F2) and that there exists \(r_{0}>0\) such that \(\|S \|_{1} (L_{f}(r_{0})+\frac{1}{r_{0}} \sup_{k\in \mathbb{Z}}\|f(k,0)\| )<1\), then there exists a unique mild solution \(u(n)\) of (4.1) such that \(\lim_{|n|\to \infty }\frac{\|u(n)\|}{h(n)}=0\).
Proof
Define the operator F as in (4.2), then H is well defined. Let
For \(u\in B_{r_{0}}\),
Therefore, \(\|Fu\|\leq r_{0}\), that is, \(Fu\in B_{r_{0}}\). Moreover, for \(u, v\in B_{r_{0}}\), we have
then there is a unique fixed point \(u\in B_{r_{0}}\), so there is a unique mild solution \(u(n)\) of (4.1) such that \(\lim_{|n|\to \infty }\frac{\|u(n)\|}{h(n)}=0\). □
Theorem 4.4
Assume that (H2), (F3) hold, then there exists a unique mild solution \(u(n)\) of (3.1) such that \(\lim_{|n|\to \infty }\frac{\|u(n)\|}{h(n)}=0\).
Proof
Define the operator F as in (4.2). Then by hypothesis (F4), we have that
where \(\|L_{f}\|_{1}:= \sum_{k=-\infty }^{\infty } L_{f}(k)\), so F is well defined.
For \(u, v\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\), one has
Similarly, by [14, Lemma 3.2],
By induction, one can easily see that
Therefore, \(\|F^{n}u-F^{n}v\|_{h}\leq \frac{(\|S\|_{\infty }\|L_{f}\| _{1})^{n}}{n!} \|u-v\|_{h}\). For sufficiently large n, we have \(\frac{(\|S\|_{\infty }\|L_{f}\|_{1})^{n}}{n!}<1\). By the Banach contraction mapping principle, F has a unique fixed point in \(\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\), so there is a unique mild solution \(u(n)\) of (3.1) such that \(\lim_{|n|\to \infty }\frac{\|u(n)\|}{h(n)}=0\). □
The following theorem establishes the existence of a mild solution of (4.1) in \(\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\), based on the fixed point theorem of Matkowski.
Theorem 4.5
Let (H2), (F4) hold and assume further that \((\|S\|_{1}\phi )^{n}(t) \to 0\) as \(n\to \infty \) for each \(t>0\). Then there exists a unique mild solution \(u(n)\) of (4.1) such that \(\lim_{|n|\to \infty }\frac{\|u(n)\|}{h(n)}=0\).
Proof
Define the operator F as in (4.2), then by hypothesis (F3), we have that
Thus, F is well defined. For \(u, v\in \mathcal{C}_{h}^{0}( \mathbb{Z}, X)\), we have
Therefore, \(\|Fu-Fv\|_{h}\leq \|S\|_{1}\phi (\|u-v\|_{h})\). Since \((\|S\|_{1}\phi )^{n}(t) \to 0\) as \(n\to \infty \) for each \(t>0\), by Matkowski’s fixed point theorem, F has a unique fixed point \(u\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\), so there exists a unique mild solution \(u(n)\) of (4.1) such that \(\lim_{|n|\to \infty }\frac{\|u(n)\|}{h(n)}=0\). □
In the next theorem, the main tool used in proving the existence of solutions of (4.1) is the classical Leray–Schauder alternative theorem combined with Lemma 2.1.
Theorem 4.6
Suppose (H2), (F5). Then under the following additional condition: (A1) For all \(a, b\in \mathbb{Z}, a\leq b\), and \(\sigma >0\), the set \(\{f(k, x): a\leq k\leq b, \|x\|\leq \sigma \}\) is relatively compact in X; there exists a function \(h:\mathbb{Z}\to [1, \infty )\) such that \(h(n)\to \infty \) as \(|n|\to \infty \) and a mild solution \(u(n)\) of (4.1) such that \(\lim_{|n|\to \infty }\frac{\|u(n)\|}{h(n)}=0\).
Proof
Define the function \(h:\mathbb{Z}\to \mathbb{R}^{+}\) by \(h(k):= (\frac{L_{\infty }}{L_{f}(k)} )^{1/\theta }\), where \(L_{\infty }= \sup_{k\in \mathbb{Z}} L_{f}(k)\), \(k\in \mathbb{Z}\). Note that \(h(k)\geq 1\) for all \(k\in \mathbb{Z}\), and since \(\lim_{\vert k\vert \to \infty }L_{f}(k)=0\), we also have \(\lim_{\vert k\vert \to \infty }h(k)=\infty \). Consider the operator F as defined in (4.2). Using the Leray–Schauder alternative theorem, we will show that F has a fixed point in \(\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\). The proof will be carried out in several steps.
-
(i)
F is well defined. For \(u\in \mathcal{C}_{h}^{0}( \mathbb{Z}, X)\), one has
$$\begin{aligned} \bigl\Vert (Fu) (n) \bigr\Vert \leq {}& \sum_{k=-\infty }^{n-1} \bigl\Vert S(n-1-k) \bigr\Vert \bigl(L_{f}(k) \bigl\Vert u(k) \bigr\Vert ^{\theta }+ \bigl\Vert f(k, 0) \bigr\Vert \bigr)\\ \leq{}& \Vert S \Vert _{1}\Bigl(L_{\infty } \Vert u \Vert _{h}^{\theta }+ \sup_{k\in \mathbb{Z}} \bigl\Vert f(k, 0) \bigr\Vert \Bigr), \end{aligned}$$whence \(\lim_{|n|\to \infty }\frac{\|(Fu)(n)\|}{h(n)}=0\). Thus F is \(\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\)-valued.
-
(ii)
\(F:\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\to \mathcal{C}_{h} ^{0}(\mathbb{Z}, X)\) is a continuous map. In fact, for \(u, v\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\), one has
$$\begin{aligned} &\bigl\Vert (Fu) (n)- (Fv) (n) \bigr\Vert \\ &\quad\leq \sum _{k=-\infty }^{n-1} \bigl\Vert S(n-1-k) \bigr\Vert L_{f}(k)h(k)^{\theta } \biggl(\frac{ \Vert u(k)- v(k) \Vert }{h(k)} \biggr)^{\theta } \\ &\quad \leq L_{\infty } \Vert S \Vert _{1} \Vert u-v \Vert _{h}^{\theta }. \end{aligned}$$Since that \(h(k)= (\frac{L_{\infty }}{L_{f}(k)} )^{1/\theta } \geq 1\), for all \(k\in \mathbb{Z}\), then
$$ \sup_{n\in \mathbb{Z}} \frac{ \Vert (Fu)(n)-(Fv)(n) \Vert }{h(n)}\leq L_{\infty } \Vert S \Vert _{1} \Vert u-v \Vert _{h}^{\theta }. $$So \(\|Fu- Fv\|_{h}\leq L_{\infty }\|S\|_{1}\|u-v\|_{h}^{\theta }\). Hence F is a continuous map.
-
(iii)
F is a completely continuous map. Let r be a positive real number and \(B_{r}(Z)\) be a closed ball with center at 0 and radius r in the space Z. We set \(V=F(B_{r}(\mathcal{C}_{h}^{0}( \mathbb{Z}, X)))\) and \(v=Fu\) for \(u\in B_{r}(\mathcal{C}_{h}^{0}( \mathbb{Z}, X))\). We prove that, for each \(n\in \mathbb{Z}\),
$$ \varOmega _{n}(V):= \biggl\{ \frac{v(n)}{h(n)}: v\in V \biggr\} $$is relatively compact in X. Indeed, for \(\epsilon >0\), we choose \(l\in \mathbb{Z}^{+}\) such that
$$ \sum_{k=l}^{\infty } \bigl\Vert S(k) \bigr\Vert \Bigl(L_{\infty }r^{\theta }+ \sup_{k\in \mathbb{Z}} \bigl\Vert f(k, 0) \bigr\Vert \Bigr)\leq \epsilon. $$Since \(v= Fu\) for \(u\in B_{r}(\mathbb{C}_{h}^{0}(\mathbb{Z}, X))\),
$$ v(n)= \sum_{k=0}^{l-1} S(k)f\bigl(n-1-k, u(n-1-k)\bigr)+ \sum_{k=l}^{\infty } S(k)f \bigl(n-1-k, u(n-1-k)\bigr). $$Thus,
$$\begin{aligned} \frac{v(n)}{h(n)}= {}&\frac{l}{h(n)} \Biggl(\frac{1}{l} \sum _{k=0}^{l-1} S(k)f\bigl(n-1-k, u(n-1-k)\bigr) \Biggr)\\ &{} + \frac{1}{h(n)} \sum_{k=l}^{\infty } S(k)f \bigl(n-1-k, u(n-1-k)\bigr). \end{aligned}$$Note that
$$\begin{aligned} &\frac{1}{h(n)} \Biggl\Vert \sum_{k=l}^{\infty } S(k)f\bigl(n-1-k, u(n-1-k)\bigr) \Biggr\Vert \\ &\quad\leq \frac{1}{h(n)} \sum _{k=l}^{\infty } \bigl\Vert S(k) \bigr\Vert \Bigl(L_{\infty }r^{ \theta }+ \sup_{k\in \mathbb{Z}} \bigl\Vert f(k, 0) \bigr\Vert \Bigr)\leq \epsilon. \end{aligned}$$Therefore
$$ \frac{v(n)}{h(n)} \in \frac{l}{h(n)}\overline{\mathrm{co}(K)}+B_{\epsilon }(X), $$(4.3)where \(\overline{\mathrm{co}(K)}\) denotes the closed convex hull of K and
$$ K= \bigcup_{k=0}^{l-1}\bigl\{ S(k)f(\xi, x): \xi \in [n-l, n-1]\cap \mathbb{Z}, \Vert x \Vert \leq R\bigr\} , $$where \(R= r \max \{h(\xi ): \xi \in [n-l, n-1]\cap \mathbb{Z}\}\). Hence, K is relatively compact since \(S(k)\in \mathcal{B}(X)\) for all \(k\in \mathbb{N}_{0}\), and \(\{f(k, x): a\leq k\leq b, \|x\|\leq \sigma \}\) is relatively compact in X for all \(a, b\in \mathbb{Z}, a \leq b\), and \(\sigma >0\). In view of
$$ \varOmega _{n}(V)\subseteq \frac{l}{h(n)}\overline{\mathrm{co}(K)}+B_{\epsilon }(X), $$we deduce that \(\varOmega _{n}(V)\) is relatively compact in X.
Next, we prove that V is weighted equiconvergent at ±∞. Indeed, proceeding as in (i), we have
$$\begin{aligned} \frac{ \Vert v(n) \Vert }{h(n)}\leq{}& \frac{1}{h(n)} \sum_{k=-\infty }^{n-1} \bigl\Vert S(n-1-k) \bigr\Vert \bigl(L_{\infty } \Vert u \Vert _{h}^{\theta }+ \bigl\Vert f(k, 0) \bigr\Vert \bigr) \\ \leq{}& \frac{1}{h(n)} \Vert S \Vert _{1}\Bigl(L_{\infty }r^{\theta }+ \sup_{k\in \mathbb{Z}} \bigl\Vert f(k, 0) \bigr\Vert \Bigr), \end{aligned}$$therefore \(\frac{\|v(n)\|}{h(n)}\to 0\) as \(|n|\to \infty \), and this convergence is independent of \(u\in B_{r}(\mathcal{C}_{h}^{0}( \mathbb{Z}, X))\). Hence V satisfies the conditions of Lemma 2.1, so V is a relatively compact set in \(\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\).
-
(iv)
Now, we will prove that the set \(\mathcal{C}:=\{u\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X): u=\lambda Fu, \lambda \in (0, 1) \}\) is bounded. In fact, if \(u\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\) is a solution of \(u=\lambda Fu\) for \(0<\lambda <1\), then
$$\begin{aligned} \frac{ \Vert u(n) \Vert }{h(n)}\leq{}& \sum_{k=-\infty }^{n-1} \bigl\Vert S(n-1-k) \bigr\Vert \Bigl(L_{\infty } \Vert u \Vert _{h}^{\theta }+ \sup_{k\in \mathbb{Z}} \bigl\Vert f(k, 0) \bigr\Vert \Bigr) \\ \leq{}& \Vert S \Vert _{1}\Bigl(L_{\infty } \Vert u \Vert _{h}^{\theta }+ \sup_{k\in \mathbb{Z}} \bigl\Vert f(k, 0) \bigr\Vert \Bigr). \end{aligned}$$Hence
$$ \frac{ \Vert u \Vert _{h}}{ \Vert S \Vert _{1}(L_{\infty } \Vert u \Vert _{h}^{\theta }+ \sup_{k\in \mathbb{Z}} \Vert f(k, 0) \Vert )}\leq 1. $$Observe that in view of the condition \(\theta <1\), it follows that \(\mathcal{C}\) is bounded.
-
(v)
There exists \(r_{0}>0\) such that \(F(B_{r_{0}}(\mathcal{C} _{h}^{0}(\mathbb{Z}, X)))\subset B_{r_{0}}(\mathcal{C}_{h}^{0}( \mathbb{Z}, X))\). Assume that the assertion is false, then for all \(r>0\), arguing similarly as in (iv), we deduce that \(1\leq \|S\| _{1} ( L_{\infty }r^{\theta -1}+\frac{1}{r} \sup_{k\in \mathbb{Z}} \|f(k, 0)\| )\), which is a contradiction because \(\theta <1\).
-
(vi)
Finally, by Theorem 2.3, F has a fixed point \(u\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\).
□
In the next results, we study the existence and uniqueness of \(WPAA_{d}\) and \(WPSAP_{\omega }\) mild solutions of (4.1).
Theorem 4.7
Let \(\rho _{1}, \rho _{2} \in V_{\infty }\) and \(\rho \in U_{T}\) be given. Assume that (H2) holds, \(f\in \varOmega \in \mathcal{M} (\mathbb{Z} \times X, X)\) is globally Lipschitz in the following sense:
where \(L< \frac{1}{\|S\|_{1}}\), then (4.1) has a unique mild solution u which belongs to the corresponding subset \(\varOmega \in \mathcal{M} (\mathbb{Z}, X)\).
Proof
Consider the operator \(F: WPAA_{d}(\mathbb{Z}, X)\rightarrow WPAA_{d}( \mathbb{Z}, X)\) defined by
where \(f\in WPAA_{d}(\mathbb{Z}, X)\). Note that F is well defined by [33, Theorem 3.1] and Theorem 3.17. In addition, for \(u, v \in WPAA_{d}(\mathbb{Z},X)\) and \(n\in \mathbb{Z}\), the following inequality holds:
Since \(\Vert S\Vert _{1} L<1\), we conclude that F is a contraction, and using the Banach fixed point theorem we get that there exists a unique discrete weighted pseudo almost automorphic solution of (4.1). The proof for the space of S-asymptotic ω-periodic sequences is analogous, but in this case, we use [34, Theorem 2.3] and Theorem 3.17 in order to prove that F is well defined. □
In the following theorem, we show that with a local Lipschitz condition on f the conclusion of the previous theorem holds.
Theorem 4.8
Let \(\rho _{1}, \rho _{2} \in V_{\infty }\) and ρ in \(U_{T}\) be given. Assume that (H2) holds, and let \(f\in \mathcal{M}(\mathbb{Z} \times X, X)\) that satisfies a local Lipschitz condition. If there exists \(r_{0}>0\) such that
then the semilinear difference equation (4.1) has a unique mild solution u which belongs to the same space as f with \(\|u\|_{ \infty }\leq r_{0}\).
Proof
Consider \(f\in WPAA_{d}(\mathbb{Z}\times X, X)\). Note that \(F: WPAA _{d}(\mathbb{Z}, X)\rightarrow WPAA_{d}(\mathbb{Z}, X)\) given by (4.4) is well defined by Corollary [5, Corollary 2.4] and Theorem 3.17.
Let
We show that \(F(B_{r_{0}}(0))\subset B_{r_{0}}(0)\). Indeed, let u be in \(B_{r_{0}}(0)\). Since f is locally Lipschitz, we obtain
Moreover, we have the estimate
proving the claim. On the other hand, for \(u, v\in B_{r_{0}}(0)\), we have that
Observing that \(\|S\|_{1}L(r_{0})<1\), it follows that F is a contraction in \(B_{r_{0}}(0)\). Then there is a unique \(u\in B_{r_{0}}(0)\) such that \(Fu=u\). Analogously, we can prove the theorem for \(f \in WPSAP_{\omega }(\mathbb{Z}\times X, X, \rho )\). For that purpose, we use [34, Theorem 2.3] and Theorem 3.17 in order to prove that F is well defined, and we just have to take the ball of radius \(r_{0}\) in \(WPSAP_{\omega }( \mathbb{Z}\times X, X, \rho )\). □
Theorem 4.9
Let \(\rho _{1}, \rho _{2} \in V_{\infty }\) and \(\rho \in U_{T}\) be given. Assume that (H2) holds and \(f\in \varOmega \in \mathcal{M} (\mathbb{Z} \times X, X)\) satisfies the following condition:
where \(\phi:\mathbb{R}^{+}\to \mathbb{R}^{+}\) is a nondecreasing function. Then (4.1) has a unique mild solution u which belongs to the corresponding subset \(\varOmega \in \mathcal{M} (\mathbb{Z}, X)\), provided \((\|S\|\phi )^{n}(t)\to 0\) as \(n\to \infty \) for each \(t>0\).
Proof
Consider the operator \(F: WPAA_{d}(\mathbb{Z}, X)\rightarrow WPAA_{d}( \mathbb{Z}, X)\) defined by
where \(f\in WPAA_{d}(\mathbb{Z}, X)\). Note that F is well defined by [34, Theorem 2.3] and Theorem 3.17. In addition, for \(u, v \in WPAA_{d}(\mathbb{Z},X)\) and \(n\in \mathbb{Z}\), the following inequality holds:
Since \((\|S\|_{1}\phi )^{n}(t) \to 0\) as \(n\to \infty \) for each \(t>0\), by Matkowski’s fixed point theorem (Theorem 2.2), F has a unique fixed point \(u\in WPAA_{d}(\mathbb{Z}, X)\), so there is a unique mild solution \(u(n)\) of (4.1). The proof for the space of S-asymptotic ω-periodic sequences is analogous, we just use Theorem [34, Theorem 2.3] and Theorem 3.17 in order to prove that F is well defined. □
In the following theorem, we study under certain non-Lipschitz conditions on the function f the existence of solutions in \(WPSAP_{\omega }(Z \times X,X)\) of equation (4.1). We consider functions \(f: \mathbb{Z}\times X\rightarrow X \) to establish our result.
Remark 4.10
Hypothesis (B1) has also been considered previously in [3] and [34] in order to prove the existence of mild solutions for a class of semilinear difference equations in a Banach space X.
Theorem 4.11
Assume that \(f\in WPSAP_{\omega }(Z \times X,X) \cap \mathcal{UC}_{k}( \mathbb{Z}\times X, X), \rho _{1}, \rho _{2} \in V_{\infty }\) and that the assumptions (H1), (H2), and (A1) hold. Under the following additional conditions:
-
(B1)
There exist a nondecreasing function \(W: \mathbb{R}^{+} \to \mathbb{R}^{+}\) and a function \(M: \mathbb{Z}\to \mathbb{R}^{+}\) such that \(\|f(k, x)\|\leq M(k)W( \|x\|)\) for all \(k\in \mathbb{Z}, x \in X\).
-
(B2)
For each \(\nu >0, \lim_{|n|\to \infty } \frac{1}{h(n)}\sum_{k=-\infty }^{n-1}\|S(n-k-1) \| M(k) W(\nu h(k))=0\), where h is given in Lemma 2.1.
-
(B3)
For each \(\epsilon >0\), there exists \(\delta >0\) such that, for \(u, v\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X), \|u-v\|_{h}\leq \delta \) implies that \(\sum_{k=-\infty }^{n} \|S(n-k)\| \|f(k,u(k)- f(k, v(k))\|\leq \epsilon \) for all \(n\in \mathbb{Z}\).
-
(B4)
\(\liminf_{r\to \infty } \frac{r}{\beta (r)}>1\), where
$$ \beta (r)= \sup_{n\in \mathbb{Z}} \Biggl(\frac{1}{h(n+1)}\sum _{k=-\infty }^{n} \bigl\Vert S(n-k) \bigr\Vert M(k) W \bigl(rh(k)\bigr) \Biggr). $$
Then (4.1) has a mild solution in \(WPSAP_{\omega }(Z \times X,X)\).
Proof
Consider the operator \(F: \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\rightarrow \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\) defined by
by Leray–Schauder theorem, we will prove that F has a fixed point in \(WPSAP_{\omega }(Z \times X,X)\). We divide the proof into several steps.
-
(i)
F is well defined. For \(u\in \mathcal{C}_{h}^{0}( \mathbb{Z}, X)\), by (B1), one has
$$\begin{aligned} \bigl\Vert (Fu) (n) \bigr\Vert \leq {}& \sum_{k=-\infty }^{n-1} \bigl\Vert S(n-1-k) \bigr\Vert M(k) W\bigl( \bigl\Vert u(k) \bigr\Vert \bigr) \\ \leq{}& \sum_{k=-\infty }^{n-1} \bigl\Vert S(n-1-k) \bigr\Vert M(k) W\bigl( \Vert u \Vert _{h} h(k)\bigr), \end{aligned}$$whence \(\frac{\|(Fu)(n)\|}{h(n)}\leq \frac{1}{h(n)} \sum_{k=-\infty }^{n-1} \|S(n-1-k)\| M(k) W(\|u\|_{h} h(k))\). It follows from (B2) that F is \(\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\)-valued.
-
(ii)
F is continuous. In fact, for each \(\epsilon >0\), by (B3) there exists \(\delta >0\) such that, for \(u, v\in \mathcal{C} _{h}^{0}(\mathbb{Z}, X), \|u-v\|_{h}\leq \delta \), one has
$$ \bigl\Vert (Fu) (n)-(Fv) (n) \bigr\Vert \leq \sum _{k=-\infty }^{n-1} \bigl\Vert S(n-1-k) \bigr\Vert \bigl\| f(k, u(k)- f\bigl(k, v(k)\bigr)\bigr\| , $$since \(h(n)\geq 1\), by (B3), one has \(\|Fu-Fv\|_{h}\leq \epsilon \), hence F is continuous.
-
(iii)
F is completely continuous. Let \(V= F(B_{r}( \mathcal{C}_{h}^{0}(\mathbb{Z}, X)))\) and \(v= Fu\) for \(u\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\). First, we prove that \(\varOmega _{n}(V):= \{\frac{v(n)}{h(n)}: v\in V \}\) is relatively compact in X for each \(n\in \mathbb{Z}\). By (B2), for \(\epsilon >0\), we can choose \(l\in \mathbb{Z}^{+}\) such that
$$ \sum_{k=l}^{\infty } \bigl\Vert S(k) \bigr\Vert M(n-1-k)W\bigl(rh(n-1-k)\bigr)\leq \epsilon. $$Since \(v= Fu\) for \(u\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\), then
$$\begin{aligned} \frac{v(n)}{h(n)}={} &\frac{l}{h(n)} \Biggl(\frac{1}{l} \sum_{k=0}^{l-1} S(k)f\bigl(n-1-k, u(n-1-k) \bigr) \Biggr) \\ &{}+ \frac{1}{h(n)} \sum_{k=l}^{\infty } S(k)f\bigl(n-1-k, u(n-1-k)\bigr). \end{aligned}$$Note that
$$\begin{aligned} &\frac{1}{h(n)} \Biggl\Vert \sum_{k=l}^{\infty } S(k)f\bigl(n-1-k, u(n-1-k)\bigr) \Biggr\Vert \\ &\quad \leq \frac{1}{h(n)} \sum _{k=l}^{\infty } \|S(k) \bigl\Vert M(n-1-k)W \bigl(rh(n-1-k)\bigr) \bigr\Vert \leq \epsilon. \end{aligned}$$So (4.3) holds. Then \(\varOmega _{n}(V)\) is relatively compact in X for all \(n\in \mathbb{Z}\). Next, we show that V is weighted equiconvergent at ±∞. In fact,
$$ \frac{ \Vert v(n) \Vert }{h(n)} \leq \frac{1}{h(n)} \sum_{k=-\infty }^{n-1} \bigl\Vert S(n-1-k) \bigr\Vert M(k)W\bigl(rh(k)\bigr), $$hence \(\frac{\|v(n)\|}{h(n)}\to 0\) as \(|n|\to \infty \) by (B2), and this convergence is independent of \(u \in B_{r}(\mathcal{C}_{h}^{0}( \mathbb{Z}, X))\), V is a relatively compact set in \(\mathcal{C}_{h} ^{0}(\mathbb{Z}, X)\) by Lemma 2.1.
-
(iv)
Now, we will prove that the set
$$ \bigl\{ u\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X): u=\lambda Fu, \lambda \in (0, 1)\bigr\} $$(4.5)is bounded. In fact, if \(u\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\) is a solution of \(u=\lambda Fu\) for \(0<\lambda <1\), then
$$\begin{aligned} \bigl\Vert u(n) \bigr\Vert &\leq \sum_{k=-\infty }^{n-1} \bigl\Vert S(n-1-k) \bigr\Vert M(k)W\bigl( \Vert u \Vert _{h} h(k)\bigr) \leq h(n) \beta \bigl( \Vert u \Vert _{h}\bigr). \end{aligned}$$Hence, \(\frac{\|u\|_{h}}{\beta (\|u\|_{h})}\leq 1\). We conclude using (B4).
-
(v)
There exists \(r_{0}>0\) such that \(F(B_{r_{0}}(\mathcal{C} _{h}^{0}(\mathbb{Z}, X)))\subset B_{r_{0}}(\mathcal{C}_{h}^{0}( \mathbb{Z}, X))\). Assume that the assertion is false, then for all \(r>0\), we can choose \(u^{r}\in B_{r_{0}}(\mathcal{C}_{h}^{0}( \mathbb{Z}, X)) \) such that \(\|Fu^{r}\|_{h}>r\). Similar as (iv), we deduce that \(\frac{r}{\beta (r)}\leq 1\), then \(\liminf_{\xi \to \infty }\frac{\xi }{\beta (\xi )}\leq 1\), which contradicts condition (B4).
-
(vi)
It follows from Theorem [34, Theorem 2.3] and Theorem 3.17, that the vector-valued space \(WPSAP_{\omega }( \mathbb{Z}, X)\) is invariant under F. Consequently, combining this with step (iv), we have that
$$ F\bigl(B_{r_{0}}\bigl(\mathcal{C}_{h}^{0}( \mathbb{Z}, X)\bigr)\cap WPSAP_{\omega }( \mathbb{Z}, X)\bigr)\subseteq B_{r_{0}}\bigl(\mathcal{C}_{h}^{0}(\mathbb{Z}, X) \bigr) \cap WPSAP_{\omega }(\mathbb{Z}, X). $$Hence, we arrive at the following conclusion:
$$\begin{aligned} &F \bigl(\overline{B_{r_{0}}\bigl(\mathcal{C}_{h}^{0}( \mathbb{Z}, X)\bigr) \cap WPSAP _{\omega }(\mathbb{Z}, X)}^{\mathcal{C}_{h}^{0}(\mathbb{Z}, X)} \bigr) \\ & \quad\subseteq \overline{F\bigl(B_{r_{0}}\bigl(\mathcal{C}_{h}^{0}( \mathbb{Z}, X)\bigr) \cap WPSAP_{\omega }(\mathbb{Z}, X)\bigr)}^{\mathcal{C}_{h}^{0},( \mathbb{Z}, X)} \\ &\quad\subseteq \overline{B_{r_{0}}\bigl(\mathcal{C}_{h}^{0}( \mathbb{Z}, X)\bigr) \cap WPSAP_{\omega }(\mathbb{Z}, X)}^{\mathcal{C}_{h}^{0},(\mathbb{Z}, X)}, \end{aligned}$$where \(\overline{B}^{\mathcal{C}_{h}^{0}(\mathbb{Z}, X)}\) denotes the closure of a set B in the space \(\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\). Thus, we can consider the following application:
$$ F: \overline{B_{r_{0}}\bigl(\mathcal{C}_{h}^{0}( \mathbb{Z}, X)\bigr)\cap WPSAP _{\omega }(\mathbb{Z}, X)}^{\mathcal{C}_{h}^{0}(\mathbb{Z}, X)}\to \overline{B _{r_{0}}\bigl(\mathcal{C}_{h}^{0}( \mathbb{Z}, X)\bigr)\cap WPSAP_{\omega }( \mathbb{Z}, X)}^{\mathcal{C}_{h}^{0}(\mathbb{Z}, X)}. $$By (i)–(iii), we have that F is completely continuous. Applying (iv) and the Leray–Schauder theorem (Theorem 2.3), F has a fixed point u which belongs to the space \(\overline{B_{r_{0}}( \mathcal{C}_{h}^{0}(\mathbb{Z}, X))\cap WPSAP_{\omega }(\mathbb{Z}, X)} ^{\mathcal{C}_{h}^{0}(\mathbb{Z}, X)}\).
-
(vii)
Finally, we prove that u (the fixed point of F given in (vi)) is discrete weighted pseudo S-asymptotically ω-periodic. Indeed, let \((u_{m})_{m}\) be a sequence in \(B_{r_{0}}(\mathcal{C}_{h}^{0}(\mathbb{Z}, X))\cap WPSAP_{\omega }( \mathbb{Z}, X)\) such that \(u_{m}\to u\), as \(m\to \infty \) in the norm \(\mathcal{C}_{h}^{0}(\mathbb{Z}, X)\). For \(\epsilon >0\), let \(\delta >0\) be the constant in (B3), that is, there exists \(m_{0}\in \mathbb{Z}^{+}\) such that \(\|u_{m}-u\|_{h}\leq \delta \) for all \(m\geq m_{0}\). Note that for \(m\geq m_{0}\),
$$ \Vert Fu_{m}- Fu \Vert _{\infty }\leq \sup _{n\in \mathbb{Z}}\sum_{k=-\infty }^{n-1} \bigl\Vert S(n-1-k) \bigr\Vert \bigl\Vert f\bigl(k, u_{m}(k)\bigr)- f \bigl(k.u(k)\bigr) \bigr\Vert \leq \epsilon, $$which implies that \((Fu_{m})_{m}\) converges to \(Fu=u\) uniformly in \(\mathbb{Z}\). Since \(Fu_{m}\) belongs to \(WPSAP_{\omega }(\mathbb{Z}, X)\), we get that \(u\in WPSAP_{\omega }(\mathbb{Z}, X)\).
□
Theorem 4.12
Assume that \(f\in WPSAP_{\omega }(Z \times X,X), \rho _{1}, \rho _{2} \in V_{\infty }\), (H2), (A1) hold and the following conditions are satisfied:
-
(B5)
There exists a nondecreasing and surjective function \(\mathcal{W}: \mathbb{R}^{+}\to \mathbb{R}^{+}\) such that
$$ \bigl\| f\bigl(k, h(k)u\bigr)-f(k, h(k)v\bigr\| \leq \mathcal{W}\bigl( \Vert u-v \Vert \bigr)\quad \textit{for all } k\in \mathbb{Z}, u, v\in X, $$where h is given in Lemma 2.1.
-
(B6)
\(\liminf_{\tau \to \infty }\frac{\tau }{\|S\|_{1}(\mathcal{W}(\tau )+ \sup_{k\in \mathbb{Z}}\|f(k, 0)\|)}>1\).
Then (3.1) has a mild solution \(u\in WPSAP_{\omega }(\mathbb{Z}, X)\).
Proof
Consider the operator \(F: \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\rightarrow \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\) defined by
For \(u, v\in \mathcal{C}_{h}^{0}(\mathbb{Z}, X)\), we have the following estimates:
and \(\|f(k, u)- f(k, v)\|\leq \mathcal{W} (\frac{\|u-v\|}{h(k)} )\leq \mathcal{W}(\|u-v\|)\), hence F is well defined and \(f \in \mathcal{UC}(\mathbb{Z}\times X, X)\). For \(u, v\in \mathcal{C} _{h}^{0}(\mathbb{Z}, X)\), we have
which implies that F is continuous. Next, let \(V= F(B_{r}( \mathcal{C}_{h}^{0}(\mathbb{Z}, X)))\) and \(v=Fu\) for \(u\in B_{r}( \mathcal{C}_{h}^{0}(\mathbb{Z}, X))\). For \(\epsilon >0\), we choose \(l\in \mathbb{Z}^{+}\) such that \(\sum_{k=l}^{\infty }\|S(k)\| (\mathcal{W}(r)+\sup_{k\in \mathbb{Z}} \|f(k, 0)\| )\leq \epsilon \). Let \(u\in B_{r}(\mathcal{C}_{h}^{0}( \mathbb{Z}, X))\), we have
From (4.3), (4.7), and \((A1)\), we have that \(\varOmega _{n}(V)\) is relatively compact in X for all \(n\in \mathbb{Z}\). For \(u\in B_{r}(\mathcal{C}_{h}^{0}(\mathbb{Z}, X))\), by (4.6), we have
Hence \(\lim_{|n|\to \infty }\frac{\|v(n)\|}{h(n)}=0\) uniformly in \(u\in B _{r}(\mathcal{C}_{h}^{0}(\mathbb{Z}, X))\). By Lemma 2.1, F is completely continuous.
Finally, we prove the boundedness of the set defined in (4.5). If \(u\in B_{r}(\mathcal{C}_{h}^{0}(\mathbb{Z}, X))\) is a solution of \(u=\lambda Fu\) for \(0<\lambda <1\), then by (4.6)
From (B6), we conclude that the set (4.5) is bounded. Similar as the proof of Theorem 4.11, (4.1) has a mild solution \(u\in WPSAP_{\omega }(\mathbb{Z}, X)\) by Theorem 2.3. □
5 An example
Let \(a>0\). Define \(a(n)= \frac{1}{a}(1- \frac{1}{(1+a)^{n+1}})\) and \(b(n)=1- \frac{n-1}{2^{n+2}}\). Then one can verify that \(a(n)= \int _{0}^{ \infty }\rho _{n}(t)k(t)\,dt\) and \(b(n)= \int _{0}^{\infty }\rho _{n}(t)g(t)\,dt\), where \(k(t)= \int _{0}^{t} e^{-as}\,ds\) and \(g(t)= 1-e^{-t}(t+1)\) in a straightforward way. Denote \(a_{1}(t)= e^{-at}, t\geq 0\), then \(a_{1}\in L^{1}(\mathbb{R}_{+}), a _{1}(t)\geq 0\), and \(-a_{1}'(t)\geq 0\) for all \(t>0\), nonincreasing and convex, so \(a_{1}\) is 3-monotone. Thus \(a_{1}(t)\) is 2-regular and of positive type by [31, Proposition 3.3]. It is easy to see that \(k(t)\) is of positive type, and by the remarks following [31, Definition 3.3] it follows that \(k(t)\) is 2-regular too.
Clearly \(g(0)=0\) and \(g\in W^{1, 1}(\mathbb{R}_{+})\). Note that
By [31, p. 266] \(\frac{1}{\lambda \widehat{k}(\lambda )}\) is locally analytic at \(\lambda =0\). Thus \(k(t)\) satisfies the hypotheses of Theorem 3.9. Therefore, A generates a summable discrete resolvent family \(\{R(n)\}_{n\in \mathbb{N}_{0}}\) with \(a(n)= \frac{1}{a}(1- \frac{1}{(1+a)^{n+1}})\) and \(b(n)=1- \frac{n-1}{2^{n+2}}\) such that \(\|R(n)\|\leq M, M>0\) for all \(n\in \mathbb{N}\). We set \(X= L^{2}([0,1])\), and we consider the second order differential operator \(Az(\xi )= \partial ^{2}_{\xi \xi } z( \xi )\) with domain \(D(A)=\{z\in H^{2}[0, 1]: z(0)=z(1)=0\}\). It is well known that A generates a bounded analytic semigroup on \(L^{2}[0,1]\) (see [18, Example 4.8]). Let us consider the following differential-difference Volterra equation on \(X=L^{2}([0,1])\):
where \(f(k,u)=\frac{\sin u}{e^{k^{2}}K}\), with \(K>M\). Consider \(h(n)= e^{n^{2}}\), then \(h(n)\geq 1\) for all \(n\in \mathbb{Z}\) and \(\lim_{|n|\to \infty }h(n)= \infty \). On the other hand,
Therefore, (H2), (F1) hold and \(L_{f}\|R\|_{1}<1\) with \(L_{f}=1/K\). Thus by Theorem 4.2 there is a unique mild solution \(u(n)\) of (5.1) such that \(\lim_{|n|\to \infty }\frac{\|u(n)\|}{h(n)}=0\).
References
Abadias, L., Lizama, C.: Almost automorphic mild solutions to fractional partial difference-differential equations. Appl. Anal. 95(6), 1347–1369 (2016)
Abu-Saris, R., Al-Mdallal, Q.: On the asymptotic stability of linear system of fractional-order difference equations. Fract. Calc. Appl. Anal. 16(3), 613–629 (2013)
Agarwal, R., Cuevas, C., Dantas, F.: Almost automorphy profile of solutions for difference equations of Volterra type. J. Appl. Math. Comput. 42, 1–18 (2013)
Agarwal, R.P., Cuevas, C., Lizama, C.: Regularity of Difference Equations on Banach Spaces. Springer, Cham (2014)
Alvarez, E., Lizama, C.: Weighted pseudo almost automorphic and S-asymptotically ω-periodic solutions to fractional difference-differential equations. Electron. J. Differ. Equ. 2016, 270 (2016)
Araya, D., Castro, R., Lizama, C.: Almost automorphic solutions of difference equations. Adv. Differ. Equ. 2009, Article ID 591380 (2009)
Atici, F.M., Eloe, P.W.: Initial value problems in discrete fractional calculus. Proc. Am. Math. Soc. 137(3), 981–989 (2009)
Bateman, H.: Some simple differential difference equations and the related functions. Bull. Am. Math. Soc. 49, 494–512 (1943)
Blunck, S.: Maximal regularity of discrete and continuous time evolution equations. Stud. Math. 146(2), 157–176 (2001)
Blunck, S.: Analyticity and discrete maximal regularity on \(L_{p}\)-spaces. J. Funct. Anal. 183(1), 211–230 (2001)
Boor, C., Höllig, K., Sherma, S.: Some simple differential difference equations and the related functions. Am. J. Math. 111(3), 403–415 (1989)
Braverman, H.E., Saker, S.H.: Permanence, oscillation and attractivity of the discrete hematopoiesis model with variable coefficients. Nonlinear Anal. 67, 2955–2965 (2007)
Chen, L., Meng, X.: Periodic solution and almost periodic solution for a nonautonomous Lotka–Volterra dispersal system with infinite delay. J. Math. Anal. Appl. 339, 125–145 (2008)
Cuevas, C., Lizama, C.: Semilinear evolution equation of second order via maximal regularity. Adv. Differ. Equ. 2008, 316207 (2008)
Cuevas, C., Pinto, M.: Convergent solutions of linear functional difference equations in phase space. J. Math. Anal. Appl. 277, 324–341 (2003)
Diamond, P.: Domains of stability and resilience for biological populations obeying difference equations. J. Theor. Biol. 61, 287–306 (1976)
Elaydi, S.: Stability and asymptoticity of Volterra difference equations: a progress report. J. Comput. Appl. Math. 228(2), 504–513 (2009)
Engel, K.J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations. Springer, Berlin (2000)
Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)
Gronek, T., Schmeidel, E.: Existence of bounded solution of Volterra difference equations via Darbo’s fixed-point theorem. J. Differ. Equ. Appl. 19(10), 1645–1653 (2013)
Kemmochi, T.: Discrete maximal regularity for abstract Cauchy problems. Stud. Math. 234(3), 241–263 (2016)
Kemmochi, T., Saito, N.: Discrete maximal regularity and the finite element method for parabolic equations. Numer. Math. 138(4), 905–937 (2018)
Kulenović, M.R.S., Nurkanović, M.: Asymptotic behavior of a system of linear fractional difference equations. J. Inequal. Appl. 2005, 741584 (2005)
Li, Y., Sun, D.: Microscopic car-following model for the traffic flow: the state of the art. J. Control Theory Appl. 10(2), 133–143 (2012)
Lizama, C.: \(\ell _{p}\)-maximal regularity for fractional difference equations on UMD spaces. Math. Nachr. 288(17/18), 2079–2092 (2015)
Lizama, C.: The Poisson distribution, abstract fractional difference equations, and stability. Proc. Am. Math. Soc. 145, 3809–3827 (2017)
Lizama, C., Murillo, M.: Maximal regularity in \(l_{p}\) spaces for discrete time fractional shifted equations. J. Differ. Equ. 263, 3175–3196 (2017)
Matkowski, J.: Integrable solutions of functional equations. Diss. Math. 127, 1–68 (1975)
Mazanov, A.: Acceptor control in model ecosystems. J. Theor. Biol. 71(1), 21–38 (1978)
Nieto, J., Ouahab, A., Slimani, M.: Existence and boundedness of solutions for systems of difference equations with infinite delay. Glas. Mat. 53(73), 123–141 (2018)
Prüss, J.: Evolutionary Integral Equations and Applications. Monographs in Mathematics, vol. 87. Birkhäuser Verlag, Basel (1993)
Song, Y.: Positive almost periodic solutions of nonlinear discrete systems with finite delay. Comput. Math. Appl. 58, 128–134 (2009)
Xia, Z.: Discrete weighted pseudo-almost automorphy and applications. J. Appl. Math. 2014, 984946 (2014)
Xia, Z., Wang, D.: Asymptotic behavior of mild solutions for nonlinear fractional difference equations. Fract. Calc. Appl. Anal. 21(2), 527–551 (2018)
Yosida, K.: Functional Analysis. Springer, Berlin (1980)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
The work of VK and MW is partially supported by the Air Force Office of Scientific Research (AFOSR) under Award NO: FA9550-18-1-0242; CL was partially supported by FONDECYT, Grant Nº 1180041; SR was funded by the CONICYT-PFCHA/Doctorado Nacional/2017-21171405.
Author information
Authors and Affiliations
Contributions
The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Keyantuo, V., Lizama, C., Rueda, S. et al. Asymptotic behavior of mild solutions for a class of abstract nonlinear difference equations of convolution type. Adv Differ Equ 2019, 251 (2019). https://doi.org/10.1186/s13662-019-2189-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2189-y