The necessary and sufficient conditions for solvability of the family of difference equations with periodic boundary condition were obtained using the notion of relative spectrum of linear bounded operator in the Banach space and the ergodic theorem. It is shown that when the condition of existence is satisfied, then such periodic solutions are built using the formula for the generalized inverse operator to the linear limited one.

1. The Problem and The Main Statement

The problem of existence of periodic solutions for classes of equations is well known. Though it is hard to mention all the contributors in a single paper, we would like to mark out well-developed Floke theory [1], which is used in analysis of linear differential equation systems by the means of monodromy matrix. Operator analogy of such theory in noncritical case (when there is single solution) for differential equations in Banach space was developed by Daletskyi and Krein [2].

This paper is dedicated to obtaining analogous conditions for a family of difference equations in Banach space and to building representations of corresponding solutions. The proposed approach allows obtaining solutions for both critical and noncritical cases. Note that this problem can be approached using well-developed pseudoinverse techniques in theory of boundary value problems [3]. In this paper we firstly build a new representation of the pseudoinverse operator based on results of ergodic theory, and then we provide the necessary and sufficient conditions that guarantee the existence of the corresponding solutions.

Let -complex Banach space with norm and zero-element ; -Banach space of bounded linear operators from to . In this paper we consider existence of periodic solutions of the equation with periodicity condition where , , for all , is a complex parameter, and is a sequence in . The solution of the corresponding homogeneous equation to (1.1) has the following form [4]: where is evolution operator for problem (1.1); , where is identity operator. Let us remark that and . Operator is traditionally called monodromy operator.

We can represent [4] the solution (1.1) with arbitrary initial condition in the form where If we substitute this representation in boundary condition (1.2), we obtain operator equation According to notations, we get operator equation

Boundary value problem (1.1), (1.2) has periodic solution if and only if operator equation (1.8) is solvable.

Following the paper [5], point is called right stable point if monodromy operator satisfies inequality .

Denote (this set coincides with the set of all such that operator is normally solvable). It follows easily that resolvent set of the operator lies in .

In the sequel we assume that is reflexive for simplicity [6].

The main result of this paper is contained in Theorem 1.1.

Theorem 1.1. Let be right stability point for (1.1). Then (a) boundary value problem (1.1), (1.2) has solutions if and only if sequence satisfies condition (b)under condition (1.9), solutions of boundary value problem (1.1), (1.2) have the following form: where is an arbitrary element of Banach space , -generalized Green operator of boundary value (1.1), (1.2), which is defined by equality

2. Auxiliary Result

Let us formulate and prove a number of auxiliary lemmas, which entail the theorem.

Lemma 2.1. If , then boundary value problem (1.1), (1.2) is solvable if and only if sequence satisfies the condition

Proof. From the assumption above it follows that the conditions of statistical ergodic theorem hold [6]. Then It follows from the equation above that element lies in value set of the operator if and only if which proves the lemma.

Consider the following consequences of the assumptions above for further reasoning. Suppose that and is right stable point of the monodromy operator, such that define eigenspace , which coincides with the values set of operator . This operator satisfies the following conditions [6]:

Lemma 2.2. Operator has bounded inverse of the form for all .

Proof. Let us show that . Indeed, if , then Since and [6], subspaces and intersect only at zero point, and condition (2.6) is satisfied if and only if and . This is possible if and only if . Let us show that . Note [6] . It follows from the last decomposition that any element has the form , where , which proves that . Hence according to the Banach theorem [6] original operator has inverse since it bijectively maps to itself. Therefore point is regular [6] for the operator . Since powers of the operator are uniformly bounded and spectral radius (, then ). It is well known [6] that resolvent set of a bounded operator is open. Number ; thus there exist a neighborhood of such that each point from the neighborhood belongs to resolvent set. For any point that belongs to the neighborhood there exists a resolvent [6], which has the form of converging in the norm series
Using the analyticity of the resolvent and well-known identity for points such that we obtain Finally, by substituting the series in the equation above, we get (2.5), which proves the lemma.

Let us introduce some notation first before proving next statement.

Definition 2.3. Operator is called generalized inverse for operator [3] if the following conditions hold:

Lemma 2.4. Operator is generalized inverse and or in the form of converging operator series for all .

Proof. It suffices to check conditions (1) and (2) of the Definition 2.3. We use both representations (2.10), (2.11) and the expression (2.4) for operator . Consider the following product: Note that for any (this directly follows from (2.4) using formula of binominal coefficient). Now, prove that Indeed Thus We have that the operator satisfies condition (1) of the Definition 2.3. Let us check condition (2)

3. Proof of Theorem 1.1

According to general theory of linear equations solvability [3], we obtain that the problem (1.1), (1.2) is solvable for sets that satisfy the condition This condition along with Lemma 2.1 is equivalent to represantion (a) of the Theorem 1.1.

Under such a condition, all solutions of the problem (1.1), (1.2) have the form which along with notations introduced is equivalent to representation (b) of the theorem.

4. Comments and Examples

Remark 4.1. Suppose is Hilbert space, in such case we can show that formulas (2.10), (2.11) give us the representation for the Moore-Penrose pseudoinverse [7, 8] for with being self-adjoint operator (orthogonal projector) [6].

Remark 4.2. Supposing () exist for all , then the following equation holds: . This allows representing the solutions of (1.1), (1.2) using only the family of operators and their inverse.

Let us illustrate the statements proved above on example of two-dimensional systems.

(1) Consider equation with periodicity condition where , , It is easy to see that where Then the following hold for all By substituting periodicity condition (4.2) into (4.4) we obtain an equation depending on Consider the case when . In such case (4.7) turns into which holds for arbitrary initial vector . Obviously and . According to Theorem 1.1, all periodic solutions of (4.1) have the form for all .

(2) We can search for periodic solutions of any period in previous problem. They have common view where are parameters.

To illustrate complexity of the set we did the following.

Recall that the length of vector is . System (4.9) was implemented using the Wolfram Mathematica 7 framework. -axis corresponds to time, while -axis corresponds to the length of the vector. The length of the vector was calculated in the integer moments of time . The points obtained in such way were connected in a piecewise linear way. The results obtained for particular values of the parameters are depicted on the following figures.

We can see how the trajectory of vector length densely fills rectangle or turns into a line (Figures 3 and 4). Figures 1, 2, 5, and 6 demonstrate that the trajectory can fill structured sets. The structure depicted on Figure 1 resembles fractal.

This allows us to conclude that behavior of the system is rather complex; it can undergo unpredictable changes with the slightest variations of a single parameter. We must admit that effects described need further theoretical investigation.


A. A. Boichuk was supported by the Grant 1/0090/09 of the Grant Agency of Slovak Republic (VEGA) and by the Project APVV-0700-07 of the Slovak Research and Development Agency.