Existence and Boundedness of Solutions for Nonlinear Volterra Difference Equations in Banach Spaces

and Applied Analysis 3 is invertible for each n ≥ 0. Song and Baker [16] deal with the existence of solutions of (4), defined on d-dimensional Euclidean spaces. In fact, considering implicit equations of the form x (n + 1) = ψn (x (0) , x (1) , . . . , x (n) , x (n + 1)) (9) and assuming appropriate conditions on {ψn}, they conclude that solutions of equations x = ψn (u0, u1, . . . , un, x) (10) are unique and can be expressed in the form x = φn (u0, u1, . . . , un) . (11) We present a different and more general approach to the problem of existence and uniqueness discussed in [16]. Namely, for a given general discrete operator T : S(Z+, X) → S(Z+, X), consider the equation u (n) = (Tu) (n) , n ∈ Z+, (12) where S(Z+, X) denotes the linear space of all sequences s : Z+ → X. We ask when the solutions of this equation belong to the space lp(Z+, X) of all functions x ∈ S(Z+, X) satisfying the condition


Introduction
In many phenomena of the real world, not only does their evolution prove to be dependent on the present state, but it is essentially specified by the entire previous history.These processes are encountered in the theory of viscoelasticity [1,2], optimal control problems [3], and also description of the motion of bodies with reference to hereditary [3][4][5].The mathematical description of these processes can be carried out with the aid of equations with the aftereffect, integral, and integrodifferential equations.A significant contribution to the development of this direction was made by V. Volterra, V. B. Kolmanovskii, N. N. Krasovskii, S. M. V. Lunel, A. D. Myshkis, and J. K. Hale.
The aim of this article is to develop a technique for investigating stability and boundedness of nonlinear implicit Volterra difference systems described by Volterra operator equations.Only a few papers deal with the theory of general Volterra equations and most of them are devoted to the stability analysis of explicit Volterra linear difference equations with constant coefficients or of convolution type.For example, in Minh [6], some results on asymptotic stability and almost periodicity are stated in terms of spectral properties of the equations and their solutions, which are linear Volterra equations of convolution type.In Minh [7], the asymptotic behavior of individual orbits of linear functional operator equations are established using an extension of the Katznelson-Tzafriri's theorem [8].In Nagabuchi [9], using the decomposition of the phase space, together with the variation of constants formula in the phase space, the existence of almost periodic solutions for forced linear Volterra difference equations in Banach spaces is derived.The considered equations are of convolution type.In Murakami and Nagabuchi [10], sufficient stability properties and the asymptotic almost periodicity for linear Volterra difference equations in Banach spaces are derived.González et al. [11] consider an implicit nonlinear Volterra difference equation in a Hilbert space and obtained sufficient conditions so that the solutions exist and have a bounded behavior.The coefficients of the considered equations are sequences of real numbers.In Song and Baker [12], several necessary and sufficient conditions for stability are obtained for solutions of the linear Volterra difference equations by considering the equations in various choices of Banach spaces.However, the main results of this article are established essentially to implicit linear Volterra difference equations.In Muroya and Ishiwata [13], considering a nonlinear Volterra difference equation with unbounded delay, sufficient conditions for the zero solution to be globally asymptotically stable are derived.However, only an explicit scalar Volterra difference is considered.In Győri and Horváth [14], sufficient conditions are presented under which the solutions to a linear nonconvolution Volterra difference equation converge to limits, which are given by a limit formula.In Kolmanovskii et al. [15], stability and boundedness problems of some class of scalar Volterra nonlinear difference equations are investigated.Stability conditions and boundedness are formulated in terms of the characteristics equations.In Song and Baker [16], the fixed point theory is used to establish sufficient conditions to ensure the stability of the zero solution of an implicit nonlinear Volterra difference equation.Besides, the existence of asymptotically periodic solutions is established.However, in this article equations with linear kernel are mainly considered.
One of the basic methods in the theory of stability and boundedness of Volterra difference equations is the direct Lyapunov method (see [1,3,17,18]).But finding the Lyapunov functionals for Volterra difference equations is still a difficult task.
In this paper, to establish boundedness conditions of solutions, we will interpret the Volterra difference equations with nonlinear kernels as operator equations in appropriate spaces.Such an approach for linear Volterra difference equations has been used by Myshkis [5], Kolmanovskii et al. [15], Kwapisz [19], and Medina [20,21].The knowledge of these bounds is important because they represent the error between the exact solution of the original problem and its difference approximation.
Existence and uniqueness problems for the Volterra difference equations were discussed by some authors.Usually the solutions were sought in the phase space    ( + , ),  > 0 and  + = {0, 1, 2, . ..} (e.g., see [15,19]).In this paper, formulating the Volterra discrete equations in the phase space   ( + , ), where  is an appropriate Hilbert space, and assuming that the kernel operator has the Volterra property, we obtain sufficient conditions for the existence and uniqueness problem.
Our results compare favorably with the above-mentioned works in the following sense: The remainder of this article is organized as follows: in Section 2, we introduce some notations, preliminary results, and the statement of the problem.In Section 3, the boundedness of solutions is derived using norm-estimates for the resolvents of completely continuous quasi-nilpotent operators.In Section 4, we discuss the boundedness of solutions of infinite-delay Volterra difference equations.Finally, Section 5 is devoted to the discussion of our results: we highlight the main conclusions.

Statement of the Problem
Let  be a complex Hilbert space with norm ‖ ⋅ ‖  fl ‖ ⋅ ‖.Let   =   ( + , ) and  ∞ =  ∞ ( + , ) be the spaces of sequences ℎ = {ℎ()} ∞ =1 such that The spaces   , 1 ≤  ≤ ∞, equipped with the standard norms are Banach spaces.Denote We consider Volterra difference equations on a separable Hilbert space   () =  () where is the kernel,  + denotes the set of nonnegative integers, and  :  + →  is a given sequence.Equation ( 4) can be regarded as the discrete-time analog of the classical integral Volterra equation of the second kind We point out the distinction between (4) and the explicit Volterra equation The first step is to establish the solvability of (4).In the linear case, in which we write (4) as with (, ) being a finite-dimensional matrix, the existence of () for each  follows from the property that ( − (, )) is invertible for each  ≥ 0. Song and Baker [16] deal with the existence of solutions of (4), defined on -dimensional Euclidean spaces.In fact, considering implicit equations of the form  ( + 1) =   ( (0) ,  (1) , . . .,  () ,  ( + 1)) (9) and assuming appropriate conditions on {  }, they conclude that solutions of equations are unique and can be expressed in the form We present a different and more general approach to the problem of existence and uniqueness discussed in [16].
We ask when the solutions of this equation belong to the space   ( + , ) of all functions  ∈ ( + , ) satisfying the condition Assumption A. The operator  is a causal operator; that is, for any  ∈  + , That is, the value of () at  is determined by the values of () for  = 0, 1, . . .,  − 1 (e.g., see Corduneanu [22]).
Remark 1.The causal property of the operator  guarantees the existence and uniqueness of the solutions of (12).Consequently, when the operator  of ( 12) has, for instance, the form we can establish existence and uniqueness results for the solutions of (4).
Theorem 2. If the operator  defined in ( 15) is a causal operator, then there exists a solution of ( 4).
Finally, we will determine sufficient conditions on the coefficients of (4) such that its solutions belong to the space   ( + , ), 1 ≤  ≤ ∞.
In the finite-dimensional case, the spectrum of a linear operator consists of its eigenvalues.The spectral theory of bounded linear operators on infinite-dimensional spaces is an important but challenging area of research.For example, an operator may have a continuous spectrum in addition to, or instead of, a point spectrum of eigenvalues.A particularly simple and important case is that of compact, self-adjoint operators.Compact operators may be approximated by finitedimensional operators, and their spectral theory is close to that of finite-dimensional operators.
To formulate the next result, let us introduce the following notations and definitions: let  be a separable Hilbert space and  a linear compact operator in .If {  } ∞ =1 is an orthogonal basis in  and the series ∑ ∞ =1 (  ,   ) converges, then the sum of the series is called the trace of the operator  and is denoted by Definition 3.An operator  satisfying the relation tr( * ) < ∞ is said to be a Hilbert-Schmidt operator, where  * is the adjoint operator of .The norm is called the Hilbert-Schmidt norm of .
Definition 4. A bounded linear operator  is said to be quasi-Hermitian if its imaginary component is a Hilbert-Schmidt operator, where  * is the adjoint operator of .
is true.

Main Results
Let   denote the infinite matrix with components Assume that which implies where 1/ + 1/ = 1. Denote Theorem 6. Assume that  ∈   ( + , ) and condition (21) holds.Then any solution  = ( 1 ,  2 , . ..) of ( 4) belongs to   ( + , ) and satisfies the inequalities provided that Proof of Theorem 6.We will decompose the proof of Theorem 6 in the following lemmas.

Volterra Difference Equations with Infinite Delay
Consider the Volterra difference equation of the form which can be regarded as a retarded equation whose delay is infinite.In general this problem requires that one give an "initial function" on (−∞, 0], in order to obtain a unique solution, after which the equation can be treated with the techniques of standard Volterra equations.The nonuniqueness of solutions of ( 47) is an intrinsic feature (e.g., see [25]).
so that the initial function  becomes part of the sequence { f()}.Under these conditions, we can apply Theorem 5 to (48), so that the next result is obtained.

Conclusions
New conditions for the existence, uniqueness, and boundedness of solutions of infinite-dimensional nonlinear Volterra difference systems are derived.Unlike the classic method of stability analysis, we do not use the technique of the Lyapunov functions in the process of construction of the estimates for the solutions.The proofs are carried out using estimates for the norm of powers of quasi-nilpotent operators.That is, we interpreted the Volterra difference equations, with nonlinear kernels, as operator equations defined in the Banach spaces   ( + , ).We want to point out that the results of this paper can be useful for discussions of   ( + , ) stability of the zero solution of the homogeneous Volterra equation corresponding to (4).
In connection with the above investigations, some open problems arise.The richness of the spectral properties of operators acting on infinite-dimensional Hilbert spaces will need new stability formulations.Consequently, natural directions for future research is the generalization of our results to local exponential stabilizability of nonlinear Volterra difference equations or investigating the feedback stabilization of implicit nonlinear Volterra systems defined by operator Volterra equations.
(a) Sufficient conditions for the existence and uniqueness of solutions of implicit nonlinear Volterra difference equations are obtained.(b) We established a theory on the asymptotic behavior of implicit nonlinear Volterra difference systems which are described by Volterra operator equations.(c) Explicit estimates for the solutions of nonlinear Volterra operator equations in Hilbert spaces are derived.