Advances in Difference Equations

, 2019:105 | Cite as

On the existence and uniqueness of \((N,\lambda )\)-periodic solutions to a class of Volterra difference equations

  • Edgardo Alvarez
  • Stiven Díaz
  • Carlos LizamaEmail author
Open Access


In this paper we introduce the class of \((N,\lambda )\)-periodic vector-valued sequences and show several notable properties of this new class. This class includes periodic, anti-periodic, Bloch and unbounded sequences. Furthermore, we show the existence and uniqueness of \((N, \lambda )\)-periodic solutions to the following class of Volterra difference equations with infinite delay:
$$ u(n+1)=\alpha \sum_{j=-\infty }^{n}a(n-j)u(j)+f \bigl(n,u(n) \bigr), \quad n \in \mathbb{Z}, \alpha \in \mathbb{C}, $$
where the kernel a and the nonlinear term f satisfy suitable conditions.


Discrete periodic functions Periodic functions of the second kind \((N, \lambda )\)-periodic discrete functions Volterra difference equations 


34C25 39A23 39A60 39A11 

1 Introduction

In this paper, we define and investigate a new class of vector-valued functions defined on \(\mathbb{Z}\) called \((N,\lambda )\)-periodic discrete functions. This type of sequences is the discrete version of the vector-valued \((\omega ,c)\)-periodic functions introduced in [5]. Thus, we say that a function f is \((N,\lambda )\)-periodic discrete function if there exist \(N\in \mathbb{Z}_{+}\) and \(\lambda \in \mathbb{C}\setminus \{0\}\) such that \(f(n+N)=\lambda f(n)\) for all integers n. This definition includes: discrete periodic functions (\(\lambda =1\)), discrete anti-periodic functions (\(\lambda =-1\)), discrete Bloch-periodic functions (\(\lambda =e^{ikN}\)) and unbounded functions (\(|\lambda |\neq 1\)). Additionally, we establish a criterion of the existence and uniqueness of \((N, \lambda )\)-periodic discrete solutions to the linear and nonlinear Volterra difference equations in Banach spaces.

The real-valued \((\omega ,c)\)-periodic functions were introduced and studied by G. Floquet in [12]. He called this set of functions as periodic functions of the second kind. In that paper, Floquet considered a linear system with time-periodic coefficients with some periodicity T and a given initial condition
$$\begin{aligned}& x'(t) = A(t)x(t),\quad t\in \mathbb{R}; \\& A(t) = A(t+T),\quad t\in \mathbb{R}; \\& x(0) = x_{0}, \end{aligned}$$
where \(x:\mathbb{R}\to \mathbb{R}^{n\times n}\) and \(A:\mathbb{R} \to \mathbb{R}^{n\times n}\) is continuous. He proved that, if \(\varPhi (t)\) is a principal fundamental matrix (which exists by elementary theory of ODEs), then \(\varPhi (t+T)=\varPhi (t)C\) where \(C=\varPhi (T)\) is a constant nonsingular matrix which is know as the monodromy matrix. Moreover, for a matrix L such that \(e^{LT}=\varPhi (T)\), there is a periodic matrix function \(t\mapsto Z(t)\) such that \(x(t)=Z(t)e^{LT}x _{0}\) where \(L,Z(t)\in \mathbb{C}^{n\times n}\) and \(Z(t)=z(t+T)\). An application of this result to the model of predator–prey interactions can be seen in [7]. For additional related applications, see [9, 11] and the references therein. On the other hand, in the discrete (real-valued) case, there are some analogous results to the Floquet’s theory. For example, for a system of difference equations
$$ X(n+1)=B(n)X(n),\quad n\in \mathbb{Z}_{+}, $$
where B is a periodic matrix with period N, Kelley and Peterson [15], Agarwal [2] and Elaydi [13] studied analogous results to the continuous case. Although several authors have worked with such real-valued sequences, so far none has mentioned the vector-valued case. Moreover, characterizations in terms of the N-periodic functions, Banach space structure of the set of \((N,\lambda )\)-periodic discrete functions, as well as composition and convolution results, are problems that have not been studied, yet. These aspects are our main motivation for this work.
On the other hand, problems of existence and uniqueness of periodic and anti-periodic solutions of Volterra difference equations have been considered by several authors due to their various applications in mathematical biology, problems related to signals and systems, integral equations, the foundation of functional analysis and numerical methods for solving Volterra integral or integro-differential equations. The papers [1, 4, 8, 10, 14] cover many of these applications. Araya et al. in [6] studied the existence and uniqueness of almost automorphic discrete solutions for a class of nonlinear Volterra difference equations of convolution type on a Banach space \(\mathbb{X}\) with norm \(\|\cdot \| _{\mathbb{X}}\), namely
$$ u(n+1)=\alpha \sum_{j=-\infty }^{n}a(n-j)u(j)+f \bigl(n,u(u) \bigr), $$
where α is a complex number or a bounded linear operator defined on \(\mathbb{X}\), \(a:\mathbb{N}_{0} \rightarrow \mathbb{C}\) is summable, i.e., \(\sum^{\infty }_{n=0}\vert a(n) \vert < +\infty \) and f is almost automorphic discrete function. However, no-one has studied the problem of the existence and uniqueness of \((N,\lambda )\)-periodic discrete solutions for (1.1). In this paper, we have successfully solved this problem by using fixed point techniques.

In order to obtain our results, first we show a characterization of the \((N,\lambda )\)-periodic discrete functions, which says that \(f:\mathbb{Z}\to \mathbb{X}\) is an \((N,\lambda )\)-periodic discrete function if and only if there exists an N-periodic function u such that \(f(n)=\lambda ^{n/N}u(n)\) for all \(n\in \mathbb{Z}\).

Using this characterization, we prove that the set of \((N,\lambda )\)-periodic discrete functions is a Banach space with the norm
$$ \Vert f \Vert _{N\lambda }:=\max_{n\in [0,N]} \bigl\Vert \lambda ^{-n/N}f(n) \bigr\Vert _{ \mathbb{X}}. $$
Note that the norm is well defined by the characterization mentioned above. We shall denote this Banach space by \(\mathbb{P}_{N \lambda }( \mathbb{Z},\mathbb{X})\). We prove that the convolution \((b\ast f)(n):= \sum_{j=-\infty }^{n}b(n-j)f(j)\), \(n\in \mathbb{Z}\), is an \((N,\lambda )\)-periodic discrete function whenever the sequence \(b^{\backsim }(n):= \lambda ^{-n/N}b(n)\) is summable and f is an \((N,\lambda )\)-periodic discrete function. Also, we prove that the Nemytskii operator \(\mathcal{N}(\phi )(\cdot ):=f(\cdot ,\phi (\cdot ))\) is an \((N,\lambda )\)-periodic discrete function if and only if u is an \((N,\lambda )\)-periodic discrete function and \(f(n+N,\lambda x)= \lambda f(n,x)\) for all \(n\in \mathbb{Z}\) and for all \(x\in \mathbb{X}\). With these tools, we prove that equation (1.1) has a unique solution on \(\mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\).

This paper is organized as follows: In Sect. 2, we introduce the definition of vector-valued \((N,\lambda )\)-periodic discrete functions and show essential properties of this class of sequences. Section 3 is devoted to studying the existence and uniqueness of \((N,\lambda )\)-periodic discrete solutions to linear and semilinear Volterra equations of convolution type. Also, some enlightening examples are given throughout the paper to illustrate the theory.

2 \((N,\lambda )\)-Periodic discrete functions

In this section we introduce the concept of an \((N,\lambda )\)-periodic discrete vector-valued function and show some remarkable properties of this class of vector-valued sequences.

Notation. Let \(\mathbb{X}\) be a complex Banach space equipped with the norm \(\Vert \cdot \Vert _{\mathbb{X}}\) and, \(\mathbb{N}_{0}\), \(\mathbb{Z}_{+}\), \(\mathbb{Z}\), \(\mathbb{Q}\), \(\mathbb{R}\) and \(\mathbb{C}\) be the sets of all natural numbers with 0, positive integers, integers, and rational, real and complex numbers, respectively.

We recall that a sequence \(a:\mathbb{N}_{0} \rightarrow \mathbb{C}\) is said to be summable (or complex summable) if \(\sum_{n=0}^{\infty } \vert a(n) \vert < \infty \). The space of these sequences is denoted by \(\ell _{1}(\mathbb{N}_{0})\) and it is equipped with the norm
$$ \Vert a \Vert _{\ell _{1}}=\sum_{n=0}^{\infty } \bigl\vert a(n) \bigr\vert . $$
The forward difference operator of the first-order is denoted by Δ, that is, \(\Delta u(n):=u(n+1)-u(n)\). Additionally, \(Z[f(n)]\) will denote the Z-transform of a given sequence \(f:\mathbb{Z} \to \mathbb{X}\) defined as identically zero for negative integers n and
$$\begin{aligned} Z \bigl[f(n) \bigr]=\tilde{f}(z)=\sum _{j=0}^{\infty }f(j)z^{-j}, \end{aligned}$$
valid for all \(z\in \mathbb{C}\) with \(|z|\) sufficiently large. For instance, for a given complex number a we have
$$\begin{aligned} &Z \bigl[a^{n} \bigr] =\frac{z}{z-a} \quad \text{for all } \vert z \vert > \vert a \vert , \\ &Z \bigl[f(n+1) \bigr] =z\tilde{f}(z)-zf(0) \quad \text{for all } \vert z \vert > R, \end{aligned}$$
where R denotes the radius of convergence of the series \(\tilde{f}(z)\). For more information about the standard definitions and properties, see [13].

We introduce the following definition.

Definition 2.1

A vector-valued function \(f:\mathbb{Z}\rightarrow \mathbb{X}\) is called an \((N,\lambda )\)-periodic discrete function (or \((N,\lambda )\)-periodic sequence) if there exist \(N\in \mathbb{Z}_{+}\) and \(\lambda \in \mathbb{C}\setminus \{ 0 \}\) such that \(f(n+N)=\lambda f(n)\) for all \(n\in \mathbb{Z}\); N is called the λ-period of f. The collection of these sequences with the same λ-period N will be denoted by \(\mathbb{P}_{N\lambda }( \mathbb{Z},\mathbb{X})\).

In case \(\lambda =1\), we denote simply by \(\mathbb{P}_{N}(\mathbb{Z}, \mathbb{X})\) the set of all N-periodic sequences.

The following property gives a useful characterization of \((N,\lambda )\)-periodic discrete functions.

Proposition 2.2

A functionfis an\((N,\lambda )\)-periodic discrete function if and only if there exists\(u\in \mathbb{P}_{N}(\mathbb{Z},\mathbb{X})\)such that
$$\begin{aligned} f(n)=\lambda ^{\wedge }(n)u(n), \quad \textit{for all } n\in \mathbb{Z}, \end{aligned}$$
where\(\lambda ^{\wedge }(n):=\lambda ^{n/N}\).


First, we assume that \(f\in \mathbb{P}_{N\lambda }(\mathbb{Z}, \mathbb{X})\) and define \(u(n):=\lambda ^{\wedge }(-n)f(n)\). Then,
$$\begin{aligned} u(n+N) &=\lambda ^{\wedge } \bigl(-(n+N) \bigr)f(n+N) =\lambda ^{\wedge }(-n)f(n)=u(n). \end{aligned}$$
Hence \(u\in \mathbb{P}_{N}(\mathbb{Z},\mathbb{X})\) and \(f (n)= \lambda ^{\wedge }(n)u(n)\). Conversely, we suppose \(f(n)=\lambda ^{ \wedge }(n)u(n)\). Then
$$\begin{aligned} f(n+N) &=\lambda ^{\wedge }(n+N)u(n+N) =\lambda \cdot \lambda ^{\wedge }(n)u(n)= \lambda f(n). \end{aligned}$$

Example 2.3

The function \(f(n)=\cos (\pi n / 6)\) is a \((6,-1)\)-periodic discrete function. It follows from Proposition 2.2 that f has decomposition \(f(n)=\lambda ^{\wedge }(n)u(n)\) where
$$ \lambda ^{\wedge }(n)=(-1)^{n/6}=\cos (n\pi /6)+i\sin (n\pi /6), $$
$$ u(n)=(-1)^{-n/6}f(n)=\cos (n\pi /6) \bigl[\cos (n\pi /6)-i\sin (n\pi /6) \bigr]. $$

Example 2.4

Let \(\mathcal{A}\) be a \(k\times k\) matrix. Assume that there exists \(N\in \mathbb{Z}_{+}\) (sufficiently large) such that \(\mathcal{A}(n+N)= \mathcal{A}(n)\) for all \(n\in \mathbb{Z}_{+}\). Let \(\mathcal{B}\) be the \(k\times k\) matrix defined as follows:
$$\begin{aligned} \mathcal{B}:=\prod_{i=0}^{N-1} \mathcal{A}(i), \quad n\in \mathbb{Z} _{+}, \end{aligned}$$
where \(\prod_{i=0}^{N-1}\mathcal{A}(i):=\mathcal{A}(N-1)\mathcal{A}(N-2) \cdots \mathcal{A}(0)\). Furthermore, let \(\lambda _{0}\in \mathbb{C} \setminus \{0\}\) be any eigenvalue of \(\mathcal{B}\) with corresponding eigenvector \(X_{0}\). It can be proved that the solution of the system
$$\begin{aligned} &U(n+1) =\mathcal{A}(n)U(n), \quad \text{for } n\in \mathbb{Z}_{+} \\ &U(0) =X_{0} , \end{aligned}$$
is given by
$$\begin{aligned} U(n)=\prod_{i=0}^{n-1} \mathcal{A}(i)X_{0}. \end{aligned}$$
$$\begin{aligned} U(n+N) &=\prod_{i=0}^{n+N-1} \mathcal{A}(i)X_{0}=\prod_{i=N}^{n+N-1} \mathcal{A}(i)\prod_{i=0}^{N-1} \mathcal{A}(i)X_{0} \\ &=\prod_{i=N}^{n+N-1}\mathcal{A}(i)\mathcal{B} \lambda _{0}=\prod_{i=0} ^{n-1} \mathcal{A}(i) \lambda _{0} X_{0} =\lambda _{0} \prod_{i=0}^{n-1} \mathcal{A}(i) X_{0}=\lambda _{0} U(n). \end{aligned}$$
Hence system (2.3) has an \((N,\lambda _{0})\)-periodic solution given by (2.4). Moreover, \(U(n)=\lambda _{0}^{\wedge }(n)P(n)\) where \(P(n):=\lambda _{0}^{\wedge }(-n)\prod_{i=0}^{n-1}\mathcal{A}(i)X_{0}\) is a periodic sequence of period N. As a particular example, if
A ( n ) = ( 0 3 + ( 1 ) n 2 3 ( 1 ) n 2 0 ) , Open image in new window
we have that \(N=2\) and the eigenvalues of \(\mathcal{B}:=\mathcal{A}(1) \mathcal{A}(0)\) are \(\lambda _{1}=1\) and \(\lambda _{2}=4\) with the corresponding eigenvectors
X 1 = ( 1 0 ) , X 2 = ( 0 1 ) , Open image in new window
respectively. If \(X(0)=X_{1}\), then system (2.3) has a \((2,1)\)-periodic solution and, if \(X(0)=X_{2}\), it has a \((2,4)\)-periodic solution.

Next, we present some algebraic properties of the \((N,\lambda )\)-periodic discrete functions.

Theorem 2.5

Letfandgbe\((N,\lambda )\)-periodic discrete functions, \(c\in \mathbb{C}\)and\(l\in \mathbb{Z}\). Then the following assertions are valid:
  1. (i)

    \(w:=f+g\)is an\((N,\lambda )\)-periodic discrete function.

  2. (ii)

    \(p:=cf\)is an\((N,\lambda )\)-periodic discrete function.

  3. (iii)

    For each fixedlin\(\mathbb{Z}\)the function\(f_{l}:\mathbb{Z}\rightarrow \mathbb{X}\)defined by\(f_{l}(n):=f(n+l)\)is an\((N,\lambda )\)periodic discrete function.



The proof is immediate. Indeed, for all \(n\in \mathbb{Z}\) we have that
  1. (i)

    \(w(n+N)=(f+g)(n+N)=\lambda w(n) \);

  2. (ii)

    \(p(n+N)=(cf)(n+N)=\lambda p(n) \);

  3. (iii)

    \(f_{l}(n+N)=f(n+N+l)=f(n_{0}+N)=\lambda f_{l}(n)\). □


Theorem 2.6

If\(f\in \mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\), then\(\Delta f\in \mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\).


Since \(\Delta f(n)=f(n+1)-f(n)\), then by (i) and (iii) of Theorem 2.5, we have that Δf is an \((N,\lambda )\)-periodic discrete function. □

In order to give a Banach structure to the vector space \(\mathbb{P} _{N\lambda }(\mathbb{Z},\mathbb{X})\), we need to define a suitable norm. We recall that the space of N-periodic discrete functions equipped with the norm
$$ \Vert u \Vert := \max_{n\in [0,N]} \bigl\Vert u(n) \bigr\Vert _{\mathbb{X}} $$
is a Banach space.

Proposition 2.7

\(\mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\) is a Banach space with the norm
$$\begin{aligned} \Vert f \Vert _{N \lambda }:= \max_{n\in [0,N]} \bigl\Vert \lambda ^{\wedge }(-n)f(n) \bigr\Vert _{\mathbb{X}}. \end{aligned}$$


The proof follows from Proposition 2.2 and the fact that \(\mathbb{P}_{N}(\mathbb{Z},\mathbb{X})\) is a Banach space with the norm (2.5). □

Next, we present a convolution theorem. This result is a useful tool in order to study the existence and uniqueness of \((N,\lambda )\)-periodic discrete solutions of abstract Volterra difference equations.

Theorem 2.8

Let\(f\in \mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\)and assume that\(b:\mathbb{N}_{0} \rightarrow \mathbb{C}\)is such that the sequence\(b^{\backsim }(n):=\lambda ^{\wedge }(-n)b(n)\)is summable. Then\(b\ast f\)defined by
$$ (b\ast f) (n)=\sum_{j=-\infty }^{n}b(n-j)f(j), \quad n\in \mathbb{Z}, $$
is well defined with respect to the norm\(\|\cdot \|_{N\lambda }\)and belongs to\(\mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\).


Let \(p(n):=(b\ast f)(n)\), \(n\in \mathbb{Z}\). First, note that p is well defined with respect to the norm \(\|\cdot \|_{N\lambda }\). Indeed,
$$\begin{aligned} \bigl\Vert \lambda ^{\wedge }(-n)p(n) \bigr\Vert _{\mathbb{X}} &\leq \sum_{j=-\infty }^{n} \bigl\vert {\lambda ^{\wedge } \bigl(-(n-j) \bigr) b(n-j)} \bigr\vert \bigl\Vert \lambda ^{\wedge }(-j) f(j) \bigr\Vert _{\mathbb{X}} \\ &\leq \Vert f \Vert _{N\lambda } \sum_{j=-\infty }^{n} \bigl\vert {\lambda ^{\wedge } \bigl(-(n-j) \bigr) b(n-j)} \bigr\vert = \Vert f \Vert _{N\lambda } \sum_{j=0}^{\infty } \bigl\vert {b^{\backsim }(j) } \bigr\vert . \end{aligned}$$
Therefore \(\| p \|_{N\lambda } \leq \|f\|_{N\lambda } \|b^{\backsim }\|_{\ell _{1}}\). Next, we prove that p is \((N,\lambda )\)-periodic discrete. In fact,
$$\begin{aligned} p(n+N) &=\sum_{j=-\infty }^{n+N}b(n+N-j)f(j) =\sum _{j=-\infty }^{n+N}b \bigl(n-(j-N) \bigr)f(j) \\ &= \sum_{r=-\infty }^{n}b(n-r)f(r+N) =\lambda \sum _{r=-\infty }^{n}b(n-r) f(r) = \lambda p(n). \end{aligned}$$
Hence \(p\in \mathbb{P}_{N\lambda }(\mathbb{Z},\mathbb{X})\). □

In order to prove the next composition result, we need the following useful lemma.

Lemma 2.9

For every\((m,x)\in \mathbb{Z}\times \mathbb{X}\), there exists\(\phi \in \mathbb{P}_{N\lambda }(\mathbb{Z},\mathbb{X})\)such that
$$ \phi (m)=x. $$


It is enough to consider \(\phi (n):=\lambda ^{\wedge }(n-m)x\). □

Let \(g:\mathbb{Z}\times \mathbb{X}\rightarrow \mathbb{X}\) and \(\phi \in \mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\). We recall that the operator \(\mathcal{N}(\phi )(\cdot ):=g(\cdot ,\phi (\cdot ))\) is called the Nemytskii discrete composition operator. We study the invariance of \(\mathcal{N}\) on \(\mathbb{P}_{N \lambda }(\mathbb{Z}, \mathbb{X})\).

Theorem 2.10

Let\(g:\mathbb{Z}\times \mathbb{X}\rightarrow \mathbb{X}\). Then the following assertions are equivalent:
  1. (i)

    for every\(\phi \in \mathbb{P}_{N \lambda }(\mathbb{Z}, \mathbb{X})\)we have that\(\mathcal{N}(\phi )\)is\((N,\lambda )\)-periodic discrete.

  2. (ii)

    gisN-periodic in the first variable and homogeneous in the second variable, that is, \(g(n+N,\lambda x)=\lambda g(n,x)\)for all\((n,x)\in \mathbb{Z}\times \mathbb{X}\).



Assume (ii), then for \(\phi \in \mathbb{P}_{N \lambda }(\mathbb{Z}, \mathbb{X})\) and all \(n \in \mathbb{Z}\) we have
$$\begin{aligned} \mathcal{N}(\phi ) (n+N)= g \bigl(n+N,\phi (n+N) \bigr) = g \bigl(n+N,\lambda \phi (n) \bigr) = \lambda \mathcal{N}(\phi ) (n). \end{aligned}$$
Thus, we conclude that \(\mathcal{N}(\phi )\in \mathbb{P}_{N \lambda }( \mathbb{Z},\mathbb{X})\). Suppose (i) and let \((n,x)\in \mathbb{Z} \times \mathbb{X}\) be arbitrary. By Lemma 2.9 there exists \(\phi \in \mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\), such that \(\phi (n)=x\). Therefore, for such ϕ we have
$$\begin{aligned} \lambda g(n,x)&= \lambda g \bigl(n,\phi (n) \bigr) = \lambda \mathcal{N}( \phi ) (n) = \mathcal{N}(\phi ) (n+N) = g \bigl(n+N, \phi (n+N) \bigr) \\ &= g \bigl(n+N,\lambda \phi (n) \bigr) = g(n+N,\lambda x), \end{aligned}$$
which gives the claim. □

3 \((N,\lambda )\)-Periodic discrete solutions of abstract Volterra difference equations

3.1 The linear case

In this part, we establish the existence of \((N,\lambda )\)-periodic discrete solutions for the following class of linear Volterra difference equations defined on a Banach space \(\mathbb{X}\) (see [10]):
$$\begin{aligned} u(n+1)=\alpha \sum_{j=-\infty }^{n}a(n-j)u(j)+f(n), \quad n\in \mathbb{Z}, \end{aligned}$$
where α is a given complex number, a is summable, and \(f\in \mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\) for N, λ fixed. Let \(s(\alpha ,k)\) be the solution of the difference equation
$$\begin{aligned} \begin{aligned} &s(\alpha ,n+1) = \alpha \sum _{j=0}^{n} a(n-j)s(\alpha ,j), \quad n\in \mathbb{N}_{0}, \\ &s(\alpha ,0) =1, \end{aligned} \end{aligned}$$
and define the set
$$ \varOmega _{\lambda s}^{N}:= \Biggl\{ \alpha \in \mathbb{C}: \sum _{j=0} ^{\infty } \bigl\vert s^{\backsim }( \alpha ,j) \bigr\vert < \infty \Biggr\} , $$
where \(s^{\backsim }(\alpha ,j)=\lambda ^{\wedge }(-j) s(\alpha ,j)\). Note that \(0\in \varOmega _{\lambda s}^{N}\).

Theorem 3.1

Let\(a:\mathbb{N}_{0} \to \mathbb{C}\)and\(f\in \mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\)be given. Suppose thatais summable and\(\alpha \in \varOmega _{\lambda s}^{N}\). Then there is an\((N,\lambda )\)-periodic discrete solution of (3.1) given by
$$\begin{aligned} u(n+1)=\sum^{n}_{j=-\infty }s( \alpha ,n-j)f(j). \end{aligned}$$


Since \(f\in \mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\) and \(\alpha \in \varOmega _{\lambda s}^{N}\), applying Theorem 2.8 we obtain that (3.3) is a well defined \((N,\lambda )\)-periodic discrete function. Moreover, since a is summable, following the same lines as in the proof of [10, Theorem 3.1], we find that u satisfies (3.1). Indeed,
$$\begin{aligned} &\alpha \sum_{j=-\infty }^{n}a(n-j)u(j)+f(n)\\ &\quad = \alpha \sum_{j=-\infty }^{n}a(n-j) \Biggl(\sum ^{j-1}_{i=-\infty }s(\alpha ,j-1-i)f(i) \Biggr)+f(n) \\ &\quad = \alpha \sum_{j=-\infty }^{n-1}\sum ^{j}_{i=-\infty }a(n-1-j) s(\alpha ,j-i)f(i)+f(n) \\ &\quad = \alpha \sum_{i=-\infty }^{n-1}\sum ^{n-1}_{j=i}a(n-1-j) s(\alpha ,j-i)f(i)+f(n) \\ &\quad =\alpha \sum_{i=-\infty }^{n-1} \Biggl(\sum ^{n-1-i}_{j=0}a(n-1-i-j) s(\alpha ,j) \Biggr)f(i)+f(n) \\ &\quad = \sum_{i=-\infty }^{n-1} s(\alpha ,n-i) f(i)+s( \alpha ,0)f(n) = \sum_{i=-\infty }^{n} s(\alpha ,n-i) f(i)=u(n+1). \end{aligned}$$

Remark 3.2

Uniqueness of solutions to the linear case follows directly from [3, Remark 2.4].

3.2 The semilinear case

In this subsection, we consider the problem of existence and uniqueness of \((N,\lambda )\)-periodic discrete solutions for the class of semilinear Volterra difference equations on a Banach space \(\mathbb{X}\) given by
$$\begin{aligned} u(n+1)=\alpha \sum_{j=-\infty }^{n}a(n-j)u(j)+f \bigl(n,u(n) \bigr),\quad n\in \mathbb{Z}, \end{aligned}$$
where \(\alpha \in \mathbb{C}\) and f satisfies suitable conditions. Here, we assume that \(a^{\backsim }(k):=\lambda ^{\wedge }(-k)a(k)\)\((k\in \mathbb{N}_{0})\) is such that \(\| a^{\backsim }\|_{\ell _{1}} < \infty \). For example, if a is summable and \(|\lambda |\geq 1\) then \(a^{\backsim } \in \ell _{1}(\mathbb{N}_{0})\).

Theorem 3.3

Let\(f:\mathbb{Z}\times \mathbb{X}\rightarrow \mathbb{X}\)be given. Assume the following conditions:
  1. (i)

    There exists\((N,\lambda )\in \mathbb{Z}\times (\mathbb{C} \setminus \{0\})\)such that\(f(n+N,\lambda x)=\lambda f(n,x)\)for all\((n,x)\in \mathbb{Z}\times \mathbb{X}\);

  2. (ii)
    There exists a constant\(L>0\)such that
    $$ \bigl\Vert f(n,x)-f(n,y) \bigr\Vert _{\mathbb{X}} \leq L \Vert x-y \Vert _{\mathbb{X}} $$
    for all\(x,y\in \mathbb{X}\)and\(n\in \mathbb{Z}\);
  3. (iii)

    \(\alpha \in \varOmega _{\lambda s}^{N} \);

  4. (iv)

    \(L \sum_{k=0}^{\infty } \vert s^{\backsim }(\alpha ,k) \vert <1\).

Then equation (3.4) has a unique solution in\(\mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\)satisfying
$$\begin{aligned} u(n+1)= \sum_{j=-\infty }^{n} s(\alpha ,n-j)f \bigl(j,u(j) \bigr). \end{aligned}$$


We define the operator \(G:\mathbb{P}_{N \lambda }(\mathbb{Z}, \mathbb{X})\rightarrow \mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\) by
$$\begin{aligned} G(u) (n):= \sum_{j=-\infty }^{n} s(\alpha ,n-j)f \bigl(j,u(j) \bigr). \end{aligned}$$
By hypothesis (i) and Theorems 2.10 and 2.8, we have that and \(G(u)\) is an \((N,\lambda )\)-periodic discrete function and therefore G is well defined. Now, for \(u,v\in \mathbb{P}_{N \lambda }(\mathbb{Z},\mathbb{X})\) we have by hypothesis (ii)
$$\begin{aligned} & \Biggl\Vert \lambda ^{\wedge }(-n)\sum_{j=-\infty }^{n} s(\alpha ,n-j) \bigl[f(j,u(j)-f(j,v(j) \bigr]\Biggr\Vert _{\mathbb{X}} \\ &\quad = \Biggl\Vert \sum_{j=-\infty }^{n} \lambda ^{\wedge } \bigl(-(n-j) \bigr)s(\alpha ,n-j)\lambda ^{\wedge }(-j) \bigl[f(j,u(j)-f(j,v(j) \bigr] \Biggr\Vert _{\mathbb{X}} \\ &\quad \leq \sum_{j=-\infty }^{n} \bigl\vert \lambda ^{\wedge } \bigl(-(n-j) \bigr) s(\alpha ,n-j) \bigr\vert \bigl\Vert \lambda ^{\wedge }(-j) \bigl[f(j,u(j)-f(j,v(j) \bigr] \bigr\Vert _{\mathbb{X}} \\ &\quad \leq \sum_{j=-\infty }^{n} \bigl\vert \lambda ^{\wedge } \bigl(-(n-j) \bigr) s(\alpha ,n-j) \bigr\vert \vert \lambda \vert ^{-j/N} \bigl\Vert \bigl[f(j,u(j)-f(j,v(j) \bigr] \bigr\Vert _{\mathbb{X}} \\ &\quad \leq L \sum_{j=-\infty }^{n} \bigl\vert \lambda ^{\wedge } \bigl(-(n-j) \bigr) s( \alpha ,n-j) \bigr\vert \vert \lambda \vert ^{-j/N} \bigl\Vert \bigl[ u(j)-v(j) \bigr] \bigr\Vert _{\mathbb{X}} \\ &\quad = L \sum_{j=-\infty }^{n} \bigl\vert \lambda ^{\wedge } \bigl(-(n-j) \bigr) s(\alpha ,n-j) \bigr\vert \vert \lambda \vert ^{-j/N} \bigl\Vert \lambda ^{\wedge }(j) \lambda ^{\wedge }(-j) \bigl[ u(j)-v(j) \bigr] \bigr\Vert _{\mathbb{X}} \\ &\quad = L \sum_{j=-\infty }^{n} \bigl\vert \lambda ^{\wedge } \bigl(-(n-j) \bigr) s(\alpha ,n-j) \bigr\vert \bigl\Vert \lambda ^{\wedge }(-j) \bigl[ u(j)-v(j) \bigr] \bigr\Vert _{\mathbb{X}} \\ &\quad \leq \Vert u -v \Vert _{N \lambda } L \sum_{k=0}^{\infty } \bigl\vert s^{\backsim }(\alpha ,k) \bigr\vert . \end{aligned}$$
By (iii) and (iv), we obtain
$$\begin{aligned} \bigl\Vert G(u)-G(v) \bigr\Vert _{N\lambda } &=\max_{n\in [0,N]} \Biggl\Vert \lambda ^{\wedge }(-n)\sum_{j=-\infty }^{n} s(\alpha ,n-j) \bigl[f(j,u(j)-f(j,v(j) \bigr] \Biggr\Vert _{\mathbb{X}} \\ & \leq \Vert u -v \Vert _{N \lambda } L \sum_{k=0}^{\infty } \bigl\vert s^{\backsim }(\alpha ,k) \bigr\vert < \Vert u -v \Vert _{N \lambda }. \end{aligned}$$
It follows that G is a contraction. Then there exists a unique function \(u\in \mathbb{P}_{N \lambda }(\mathbb{Z},X)\) such that \(Gu=u\). Hence u is the unique solution of equation (3.4). □

Example 3.4

We consider the following difference equation in the Banach space \(\mathbb{X}=\mathbb{R}\),
$$\begin{aligned} u(n+1)=\alpha \sum_{j=-\infty }^{n}p^{n-j}u(j)+ \nu g(n) \cos \bigl(h(n)u(n) \bigr),\quad n \in \mathbb{Z}, \end{aligned}$$
where \(g\in \mathbb{P}_{N\lambda }(\mathbb{Z},\mathbb{R})\), \(h\in \mathbb{P}_{N \frac{1}{\lambda }}(\mathbb{Z},\mathbb{R})\), \(p\in \mathbb{C}\) is such that \(\vert p \vert <1\) and
$$ \alpha \in \mathbb{D}:= \bigl\{ z\in \mathbb{C}: \vert z+p \vert < \vert \lambda \vert ^{1/N} \bigr\} . $$
Let \(\varphi (n):= g(n)h(n)\). Note that φ is a periodic function with period N. Then, there exists a constant τ such that \(\tau := \max_{n\in [0,N]}|\varphi (n)|\). We claim that if
$$\begin{aligned} \vert \nu \vert &< \frac{ \vert \lambda \vert ^{1/N}- \vert \alpha +p \vert }{ ( \vert \lambda \vert ^{1/N} - \vert \alpha +p \vert + \vert \alpha \vert ) \vert \tau \vert }, \end{aligned}$$
then (3.5) has a unique \((N,\lambda )\)-periodic discrete solution. In order to show this, first, let us determine the solution \(s(\alpha ,n)\) of the problem
$$\begin{aligned} &s(\alpha ,n+1) =\alpha \sum_{j=0}^{n} p^{k-j}s(\alpha ,j), \quad n\in \mathbb{N}_{0}, \\ &s(\alpha ,0) =1, \end{aligned}$$
using the Z-transform. Indeed, we have \(\mathit{Z} [s( \alpha ,n+1) ] =\alpha \mathit{Z} [ \sum_{j=0}^{n} p^{k-j}s(\alpha ,j) ]\), that is, \(z \tilde{s}(z) -zs(\alpha ,0) = \alpha \tilde{p}(z)\tilde{s}(z) \) or, equivalently, \(z \tilde{s}(z) -z = \alpha ( \frac{z}{z-p} )\tilde{s}(z) \). Then,
$$\begin{aligned} \tilde{s}(z) &= \frac{z}{z-\alpha (\frac{z}{z-p} )} = \frac{z-p}{z-p- \alpha }. \end{aligned}$$
$$\begin{aligned} s(\alpha ,n)=(\alpha +p)^{n}-p(p+\alpha )^{n-1}= \alpha (\alpha +p)^{n-1}, \quad n \geq 1. \end{aligned}$$
It follows that \(\alpha \in \mathbb{D}\subset \varOmega ^{N}_{\lambda s}\), which proves condition (iii) of Theorem 3.3.
On the other hand, note that \(f(n,x):=\nu g(n) \cos (h(n)x) \) satisfies hypotheses (i) and (ii) of Theorem 3.3:
  1. (i)
    $$\begin{aligned} f(n+N,\lambda x) &=\nu g(n+N) \cos \bigl(h(n+N)\lambda x \bigr) = \nu \lambda g(n) \cos \biggl(\frac{1}{\lambda } h(n) \lambda x \biggr) \\ & = \lambda \nu g(n) \cos \bigl(h(n) x \bigr) =\lambda f(n,x); \end{aligned}$$
  2. (ii)
    $$\begin{aligned} \bigl\vert f(n,x)-f(n,y) \bigr\vert & \leq \bigl\vert \nu g(n)h(n) \bigr\vert \vert x-y \vert \leq \vert \nu \tau \vert \vert x-y \vert :=L \vert x-y \vert . \end{aligned}$$
Next, we show part (iv) of Theorem 3.3. Indeed, using (3.6) and (3.7) we have that
$$\begin{aligned} &L \sum_{j=0}^{\infty } \bigl\vert s^{\backsim }(\alpha ,j) \bigr\vert \\ &\quad = \vert \nu \tau \vert \Biggl( 1+ \sum_{j=1}^{\infty } \bigl\vert \lambda ^{\wedge }(-j) \alpha (\alpha +p)^{n-1} \bigr\vert \Biggr) = \vert \nu \tau \vert \Biggl( 1 + \frac{ \vert \alpha \vert }{ \vert \lambda \vert ^{1/N}} \sum _{j=1}^{\infty } \biggl(\frac{ \vert \alpha +p \vert }{ \vert \lambda \vert ^{1/N}} \biggr)^{n-1} \Biggr) \\ &\quad = \vert \nu \tau \vert \biggl( 1 + \frac{ \vert \alpha \vert }{ \vert \lambda \vert ^{1/N}- \vert \alpha +p \vert } \biggr) = \vert \nu \tau \vert \frac{ \vert \lambda \vert ^{1/N} - \vert \alpha +p \vert + \vert \alpha \vert }{ \vert \lambda \vert ^{1/N}- \vert \alpha +p \vert } < 1. \end{aligned}$$
Thus, we have checked all the hypotheses of Theorem 3.3. Hence there exists a unique \((N,\lambda )\)-periodic discrete solution u of (3.5) satisfying
$$\begin{aligned} u(n+1)=\nu \sum_{j=-\infty }^{n} s(\alpha ,n-j) g(j) \cos \bigl(h(j)u(j) \bigr). \end{aligned}$$

Remark 3.5

As a particular case of the previous example, we can consider the functions \(h(n):=(1/2)^{n/8}\sin (n\pi /4)\) and \(g(n):=(2)^{n/8} \cos (n\pi /4)\).



Not applicable.

Availability of data and materials

Not applicable.

Authors’ contributions

The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.


This project was funded by Universidad del Norte under contract UN-J-2016-33455; E. Alvarez was partially supported by COLCIENCIAS, Grant Nº 121556933876; S. Diaz was supported by Universidad del Norte, Grant UN-OJ-2016-33455; C. Lizama was partially supported by FONDECYT, Grant Nº 1180041.

Competing interests

The authors declare that they have no competing interests.


  1. 1.
    Adivar, M., Koyuncuoglu, H.C., Raffoul, Y.N.: Periodic and asymptotically periodic solutions of systems of nonlinear difference equations with infinite delay. J. Differ. Equ. Appl. 19(12), 1927–1939 (2013) MathSciNetCrossRefGoogle Scholar
  2. 2.
    Agarwal, R.P.: Difference Equations and Inequalities, 2nd edn. Monographs and Textbooks in Pure and Applied Mathematics, vol. 228. Dekker, New York (2000) Theory, methods, and applications zbMATHGoogle Scholar
  3. 3.
    Agarwal, R.P., Cuevas, C., Dantas, F.: Almost automorphy profile of solutions for difference equations of Volterra type. J. Appl. Math. Comput. 42(1–2), 1–18 (2013) MathSciNetCrossRefGoogle Scholar
  4. 4.
    Agarwal, R.P., Popenda, J.: Periodic solutions of first order linear difference equations. Math. Comput. Model. 22(1), 11–19 (1995) MathSciNetCrossRefGoogle Scholar
  5. 5.
    Alvarez, E., Gómez, A., Pinto, M.: \(( \omega ,c)\)-periodic functions and mild solutions to abstract fractional integro-differential equations. Electron. J. Qual. Theory Differ. Equ. 2018, Article ID 16, 8 (2018) MathSciNetCrossRefGoogle Scholar
  6. 6.
    Araya, D., Castro, R., Lizama, C.: Almost automorphic solutions of difference equations. Adv. Differ. Equ. 2009, Article ID 591380 (2009) MathSciNetCrossRefGoogle Scholar
  7. 7.
    Bajeux, N., Grognard, F., Mailleret, L.: Augmentative biocontrol when natural enemies are subject to Allee effects. J. Math. Biol. 74(7), 1561–1587 (2017) MathSciNetCrossRefGoogle Scholar
  8. 8.
    Baker, C.T.H., Song, Y.: Periodic solutions of discrete Volterra equations. Math. Comput. Simul. 64(5), 521–542 (2004) MathSciNetCrossRefGoogle Scholar
  9. 9.
    Benner, P., Denißen, J., Kohaupt, L.: Trigonometric spline and spectral bounds for the solution of linear time-periodic systems. J. Appl. Math. Comput. 54(1–2), 127–157 (2017) MathSciNetCrossRefGoogle Scholar
  10. 10.
    Cuevas, C., Henríquez, H.R., Lizama, C.: On the existence of almost automorphic solutions of Volterra difference equations. J. Differ. Equ. Appl. 18(11), 1931–1946 (2012) MathSciNetCrossRefGoogle Scholar
  11. 11.
    de Araujo, A.L.A., Lemos, A., Alves, A.M., Pedroso, K.M.: Some results on Riccati equations, Floquet theory and applications. J. Fixed Point Theory Appl. 20(1), Article ID 43, 15 (2018) MathSciNetCrossRefGoogle Scholar
  12. 12.
    Floquet, G.: Sur les équations différentielles linéaires à coefficients périodiques. Ann. Sci. Éc. Norm. Supér. (2) 12, 47–88 (1883) CrossRefGoogle Scholar
  13. 13.
    Elaydi, S.: An Introduction to Difference Equations, 3rd edn. Undergraduate Texts in Mathematics. Springer, New York (2005) zbMATHGoogle Scholar
  14. 14.
    Song, Y., Tian, H.: Periodic and almost periodic solutions of nonlinear discrete Volterra equations with unbounded delay. J. Comput. Appl. Math. 205(2), 859–870 (2007) MathSciNetCrossRefGoogle Scholar
  15. 15.
    Walter, G.K., Peterson, A.C.: Difference Equations, 2nd edn. Harcourt/Academic Press, San Diego (2001) An introduction with applications zbMATHGoogle Scholar

Copyright information

© The Author(s) 2019

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

Authors and Affiliations

  1. 1.Departamento de Matemáticas y EstadísticaUniversidad del NorteBarranquillaColombia
  2. 2.Departamento de Matemática y Ciencia de la Computación, Facultad de CienciasUniversidad de Santiago de ChileSantiagoChile

Personalised recommendations