with continuous argument t ∈ R, where x ∈ R, A is a real constant n × n matrix, and f(t) is a T -periodic vector function of dimension n. There is a vast literature in which the theory of such systems is developed; a rather comprehensive bibliography can be found, e.g., in [1, 2]. Most papers deal with the construction of a general or special solution of such systems [4–7]; in particular, the general form and conditions for the existence and uniqueness of periodic solutions of finite-difference systems with continuous argument in the case of an integer period were obtained, for example, in [2, 5, 6]. The existence of periodic solutions of difference equations was analyzed in [3, Chap. 5], where the considerations were not restricted to the case of an integer period. However, the assumption on the Fredholm property of the operator of the system restricted the class of periodic solutions to a finite-dimensional space, which is solely due to the method based on the Fredholm alternative. The main goal of the present paper is to clarify conditions under which system (1.1) has a solution periodic with period rationally commensurable with the time increment; the space of such solutions can be infinite-dimensional. In Section 2, we consider the problem on the existence of a periodic solution (with rational or irrational period) of the homogeneous system corresponding to (1.1). The existence conditions are given in Theorem 1. The form of such a solution (if it exists at all) is discussed in Section 3 and given in Theorem 2. Section 4 contains the main results, stated in Theorems 3 and 4. It deals with existence conditions for periodic solutions of the nonhomogeneous system. If these conditions are satisfied, then one can obtain a periodic solution of system (1.1) in the form described in Theorems 5 and 6 (which are proved in Section 5). In conclusion, we consider examples.
Read full abstract