 Research
 Open access
 Published:
Semiperiodic solutions of difference and differential equations
Boundary Value Problems volume 2012, Article number: 141 (2012)
Abstract
The spaces of semiperiodic sequences and functions are examined in the relationship to the closely related notions of almostperiodicity, quasiperiodicity and periodicity. Besides the main theorems, several illustrative examples of this type are supplied. As an application, the existence and uniqueness results are formulated for semiperiodic solutions of quasilinear difference and differential equations.
MSC:34C15, 34C27, 34K14, 39A10, 42A16, 42A75.
Introduction
In [1], it is observed that although the set of periodic sequences forms a linear space, its uniform closure is not the space of almostperiodic sequences but of semiperiodic sequences. In fact, the space of semiperiodic sequences was shown there to be Banach.
The whole Sections I.6, I.7 in [2] and Sections II.4, II.5 in [3] are devoted to semiperiodic continuous functions, called there limit periodic functions (cf. also [[4], p.129]). This class was shown there to be identical with the one of uniformly almostperiodic functions with oneterm ℚbase and, in case of integral oneterm base, it reduces to the one of purely periodic functions. For some more references concerning limit periodic functions, see, e.g., [5, 6]. In fact, limit periodic functions were already considered by Bohr in 1925, as pointed out in [[3], p.113].
In the following section, we define analogously to [1] the class of semiperiodic continuous functions (with values in a Banach space) and show that it is the same as the class of limit periodic functions considered in [2, 3] (see Theorem 1 below). Let us note that many different notions with the same name (i.e., semiperiodic), like functions satisfying Floquet boundary conditions (see, e.g., [7, 8]) or those describing Bloch waves (see, e.g., [7], and the references therein), exist in the literature (cf. also [9, 10]).
Hence, after giving a definition of semiperiodic functions, which is analogous to [1], we prove that the uniform closure of the set of periodic functions is again the one of semiperiodic functions. Unlike in the discrete case, the space of semiperiodic functions is, however, not linear and so not Banach. In order to clarify transparently the position of semiperiodic sequences and functions in the hierarchy of closely related spaces, we decided to illustrate it by means of Venn’s diagrams. Thus, the spaces of almostperiodic, semiperiodic, quasiperiodic and periodic functions and sequences and some of their sums (in the continuous case) are compared in this way. For this, the semiperiodicity is considered by means of the FourierBohr coefficients.
There are even more general interesting classes of almostperiodic functions (for their hierarchy, see, e.g., [11, 12]), but for our needs here only those which are uniformly (Bohr) a.p. will be taken into account. It is well known that uniformly continuous Stepanov a.p. functions are Bohr a.p. (see, e.g., [4, 11]). Another nontraditional characterization of Bohr almostperiodicity was recently done in [13], namely that Stepanov a.p. functions with Stepanov a.p. derivatives are also Bohr a.p.
In order to make applications to difference and differential equations, we still need to define the notion of uniform semiperiodicity and prove that the associated Nemystkii operators map the set of semiperiodic sequences into themselves. This is unfortunately not true in the case of functions. On this basis, we finally give two examples about the existence of semiperiodic solutions in the form of theorems, both in the discrete and in the continuous cases. Although many various sorts of periodictype solutions were investigated (for their panorama, see [7]), as far as we know, semiperiodic solutions in the sense of definitions below of difference or differential equations have been only considered in [14] and in a certain sense also in [5]. Nevertheless, as pointed out in [14], Johnson [15] and Millionshchikov [16] have already given examples of limit periodic differential equations which admit almost automorphic solutions, but not limit periodic ones.
Before passing to semiperiodic functions in the next section, it will be convenient to mention some facts about semiperiodic sequences.
Hence, denoting as usually by (\mathbb{N}) ℤ the set of (positive) integers and letting \mathbb{E} to be a Banach space endowed with the norm {\cdot }_{\mathbb{E}}, let us recall the definition of semiperiodic sequences (cf. [1]).
Definition 1 A sequence \underline{x}\in {\mathbb{E}}^{\mathbb{Z}} is called semiperiodic (s.p.) if
One can readily check that Definition 1 can be regarded as a discrete version of Definition 2 below for semiperiodic functions. Similarly, the definition of quasiperiodic (q.p.) sequences can be regarded as a discretized (i.e., restricted to ℤ) version of the one for quasiperiodic functions recalled below. A q.p. extending function has the FourierBohr expansion with Mod(\cdot ) to be finitely generated which is also true for q.p. sequences. For more properties and details concerning q.p. functions, see, e.g., [17].
In this light, since the analogy of Theorem 2 below holds for sequences (see Remark 4) and since the discrete (i.e., restricted to ℤ) analogies of Examples 13 below can be constructed, one can illustrate the relationship of these classes by means of Venn’s diagram in Figure 1. For more properties about s.p. sequences, see, e.g., [1, 18, 19].
On the other hand, the situation in Figure 1 is much simpler than in Figure 2 for continuous functions, because under the restriction to ℤ, the sum of (semi)periodic sequences remains (semi)periodic while Stepanov almostperiodic (a.p.) sequences were shown in [20] to coincide with Bohr a.p. sequences.
Continuous semiperiodic functions
Let {\mathrm{C}}_{T}^{0}(\mathbb{R},\mathbb{E}) be the set of continuous Tperiodic functions,
be the set of periodic functions and {BC}^{0}(\mathbb{R},\mathbb{E}) be the set of continuous bounded functions. The last one is a Banach space with the uniform norm (written {\parallel \cdot \parallel}_{\mathrm{\infty}}).
Definition 2 A continuous function f\in {\mathrm{C}}^{0}(\mathbb{R},\mathbb{E}) is said to be semiperiodic (s.p.) if
Such a T will be called an εsemiperiod of f.
Let \mathcal{S}(\mathbb{R},\mathbb{E}) denote the set of semiperiodic functions.
It is easy to see from the definition that every continuous periodic function is semiperiodic. Moreover, if f is semiperiodic, then f is uniformly (Bohr) almostperiodic (i.e., f\in {AP}^{0}(\mathbb{R},\mathbb{E})), and so it is bounded. Thus, we can rewrite Definition 2 as follows.
Definition 3 A (bounded) continuous function f\in {\mathrm{C}}^{0}(\mathbb{R},\mathbb{E}) is said to be semiperiodic (s.p.) if
We have
From this, we can consider \mathcal{S}(\mathbb{R},\mathbb{E}) as a metric space, when using
As we will see later, \mathcal{S}(\mathbb{R},\mathbb{E}) is not a linear space, but \mathcal{S}(\mathbb{R},\mathbb{E}) is a complete metric space.
Lemma 1 Let f\in \mathcal{S}(\mathbb{R},\mathbb{E}), \epsilon >0 and {T}_{\epsilon} be an εsemiperiod of f. Then there exists a continuous {T}_{\epsilon}periodic function φ s.t.
Proof Consider a {T}_{\epsilon}periodic function ψ such that its restriction to [0;{T}_{\epsilon}) is the same as the one of f. For each x\in \mathbb{R}, we can write x=t+n{T}_{\epsilon} with n\in \mathbb{Z} and t\in [0;{T}_{\epsilon}). Thus, we get
Since ψ is not necessarily continuous, consider still \tau \in (0;{T}_{\epsilon}) such that, for any t\in [{T}_{\epsilon}\tau ,{T}_{\epsilon}], {f(t)f({T}_{\epsilon})}_{\mathbb{E}}\le \epsilon. Define a {T}_{\epsilon}periodic continuous function φ which is equal to ψ on [0,{T}_{\epsilon}\tau ] and which is linear on [{T}_{\epsilon}\tau ,{T}_{\epsilon}]. For t\in [{T}_{\epsilon}\tau ,{T}_{\epsilon}], we obtain
and subsequently
□
Remark 1 For \mathbb{E}=\mathbb{R}, unlike for semiperiodic functions in the sense of Definition 2 or Definition 3, in fact the same lemma was already proved in [[3], pp.114115], but for limit periodic functions. As already pointed out in the foregoing section, these classes will be shown to coincide by Theorem 1 below, whose proof is just based on Lemma 1.
We are ready to give the first theorem.
Theorem 1 \mathcal{S}(\mathbb{R},\mathbb{E}) is the closure of Per(\mathbb{R},\mathbb{E}) in the supnorm.
Proof Assume firstly that f is s.p. Taking in Lemma 1 {\epsilon}_{n}=1/n, we obtain a sequence of periodic functions {({\phi}_{n})}_{n} s.t. {\parallel f{\phi}_{n}\parallel}_{\mathrm{\infty}}\le {\epsilon}_{n}\to 0.
Reversely, assume that f is in the closure of the set of continuous Tperiodic functions. Then, for any \epsilon >0, we can find a periodic φ s.t. {f(t)\phi (t)}_{\mathbb{E}}\le \epsilon. Let T be its period. Then, for any t\in \mathbb{R},
□
Remark 2 In view of Theorem 1, one can now also define a semiperiodic function, equivalently w.r.t. Definition 2 and Definition 3, as the uniform limit of a uniformly convergent sequence of continuous purely periodic functions. This was so done, e.g., in [2, 3, 5, 6, 14].
In the following proposition, we look for the link between s.p. sequences and functions. Given a sequence \underline{x}={({x}_{t})}_{t\in \mathbb{Z}}, we set {f}_{\underline{x}}:\mathbb{R}\to \mathbb{E}, the function s.t. its restriction to ℤ is \underline{x} and which is linear on each [k,k+1], k\in \mathbb{Z}, i.e.,
where \{u\} is the fractional part of u, i.e., \{u\}\in [0,1) and u\{u\}\in \mathbb{Z}.
Proposition 1 Let \underline{x}\in {\mathbb{E}}^{\mathbb{Z}}. All the following statements are equivalent:

1.
{f}_{\underline{x}} is s.p. with a semiperiod in ℕ,

2.
there exists a s.p. function with a semiperiod in ℕ whose restriction to ℤ is \underline{x},

3.
\underline{x} is s.p.
Proof For (1) ⇒ (2), take {f}_{\underline{x}} in (2). For (2) ⇒ (3), take T as an εsemiperiod for the function f in (2). Then we have
For (3) ⇒ (1), given T as an εsemiperiod of \underline{x}, we have for all t\in \mathbb{Z}
□
Let us now consider the Fourier expansion of a semiperiodic function. Recall that every a.p. function has the FourierBohr expansion,
where
and
is the mean operator (see, e.g., [3, 4, 11]). It follows from the above formula that f\mapsto {a}_{\lambda}(f) is 1Lipschizian (and so it is continuous) from {AP}^{0}(\mathbb{R},\mathbb{E}) to \mathbb{E}.
Set \mathrm{\Lambda}(f):=\{\lambda ,{a}_{\lambda}(f)\ne 0\} and denote by Mod(f) the ℤmodulus generated by \mathrm{\Lambda}(f). Recall that an a.p. function is quasiperiodic (q.p.) if Mod(f) has a finite ℤbasis, and that T is a period of f if and only if \mathrm{\Lambda}(f)\subset \frac{2\pi}{T}\mathbb{Z} (see, e.g., [4, 17]).
Proposition 2 (for \mathbb{E}=\mathbb{R}, cf. [[2], p.32])
Set \mathbb{Q}:=\{{r}_{n},n\in \mathbb{N}\} and consider
for a fixed \theta >0, where
Then f is s.p.
Proof Consider
Clearly, if {r}_{n}=\frac{{p}_{n}}{{q}_{n}}, then \frac{2\pi {q}_{n}}{{p}_{n}\theta} is a period of the n th term. The same is obviously true for \frac{2\pi {q}_{n}}{\theta}. Thus, \frac{2\pi {q}_{1}\cdots {q}_{N}}{\theta} is a period of {f}_{N} which is so periodic. Moreover,
which already proves that f is s.p. □
The following result is also, at least for \mathbb{E}=\mathbb{R}, well known (see, e.g., [14], [[3], pp.118119], and the references therein).
Lemma 2 If f\in \mathcal{S}(\mathbb{R},\mathbb{E}), then there exists \theta >0 s.t.
Proof Let us consider λ and μ s.t. {a}_{\lambda}(f)\ne 0 and {a}_{\mu}(f)\ne 0 and a sequence of periodic functions {({f}_{n})}_{n} s.t. {f}_{n}\to f, uniformly. It follows from the continuity that, for sufficiently large N, {a}_{\lambda}({f}_{N})\ne 0 and {a}_{\mu}({f}_{N})\ne 0, but since {f}_{N} is periodic, it follows that \lambda /\mu \in \mathbb{Q}. □
Remark 3

1.
This proof also demonstrates that, for a sufficiently large n, the period {T}_{n} of {f}_{n} satisfies {T}_{n}\theta \in 2\pi \mathbb{Q}.

2.
It indicates that \mathcal{S}(\mathbb{R},\mathbb{E}) is not a linear space. For instance, a simple q.p. function t\mapsto cos(t)+cos(t\sqrt{2}) is not s.p. although it is a sum of two s.p. functions. On the other hand, the sum of two a.p. functions is trivially a.p.
Example 1 On the basis of Proposition 2 and Lemma 2, we can easily give the following example of a purely s.p. (i.e., not periodic) function:
Moreover, one can readily check that the function f can be obtained as a uniform limit of the sequence {({f}_{N})}_{N}, where {f}_{N} is a continuous 2\pi N!periodic function,
Theorem 2 Every s.p. function which is also q.p. is in fact periodic:
Proof Let f\in \mathcal{S}(\mathbb{R},\mathbb{E})\cap {QP}^{0}(\mathbb{R},\mathbb{E}). Since f is q.p., we can find {\omega}_{1},\dots ,{\omega}_{m} such that
Set {G}_{1}:=\mathbb{Z}{\omega}_{1}+\cdots +\mathbb{Z}{\omega}_{m}. {G}_{1} is an additive subgroup of ℝ. Since f\in \mathcal{S}(\mathbb{R},\mathbb{E}), we can find \theta >0 s.t. \mathrm{\Lambda}(f)\subset \theta \mathbb{Q}. Set {G}_{2}:=\theta \mathbb{Q}. {G}_{2} is another additive subgroup of ℝ, so G={G}_{1}\cap {G}_{2} is a subgroup of {G}_{1} which contains \mathrm{\Lambda}(f). Since G is a subgroup of {G}_{1}, there exist p\in \{1,\dots ,m\} and positive ℤindependent real numbers {\zeta}_{1},\dots ,{\zeta}_{p} s.t.
Let us show that p=1. Once we have it, we can conclude that \mathrm{\Lambda}(f)\subset {\zeta}_{1}\mathbb{Z} which proves that \frac{2\pi}{{\zeta}_{1}} is a period of f. Since, for each i, {\zeta}_{i}\in G\subset {G}_{2}, we know that, for each i, we can find {q}_{i}\in \mathbb{Q} s.t. {\zeta}_{i}={q}_{i}\theta. This proves that {\zeta}_{i}/{\zeta}_{j}\in \mathbb{Q}, for i\ne j, which is impossible. □
Remark 4 In view of Proposition 1 and its analogy for q.p. sequences mentioned in the foregoing section, a discrete (i.e., restricted to ℤ) analogy of Theorem 2 holds for sequences.
Example 2 As an example of a function which is almostperiodic (a.p.) but neither quasiperiodic nor a sum of semiperiodic functions, consider
where the {\sigma}_{k}’s are constructed by induction, say for all k,
We will prove that we cannot find a finite set of numbers {\theta}_{1},\dots ,{\theta}_{q} s.t.
Firstly, assume this has already been proved. Then if f is a sum of semiperiodic functions {f}_{j}, say f={\sum}_{j=1}^{q}{f}_{j}, we could find, according to Lemma 2, for each j a {\theta}_{j} s.t. \mathrm{\Lambda}({f}_{j})\subset {\theta}_{j}\mathbb{Q}. This implies that
which is not true. If f were quasiperiodic, we could find {\theta}_{1},\dots ,{\theta}_{q} s.t.
which is again wrong. Now, we can make the first part of the proof. So, let us assume
We have \mathrm{\Lambda}(f)=\{{\sigma}_{i},i\ge 1\}. Thus, for any i\ge 1, we can find ({a}_{i1},\dots ,{a}_{iq})\in {\mathbb{Q}}^{q}\setminus \{0\} s.t.
Let us now consider the square matrix
If it is invertible, we can express {\theta}_{1},\dots ,{\theta}_{q} linearly (with rational coefficients) depending on {\sigma}_{1},\dots ,{\sigma}_{q}. This proves that {\sigma}_{q+1} should be a (rational) linear combination of {\sigma}_{1},\dots ,{\sigma}_{q}, which is not true.
Assuming that the matrix is singular, its rows are linearly dependent. So, we can find ({\mu}_{1},\dots ,{\mu}_{q})\in {\mathbb{Q}}^{q}\setminus \{0\} s.t. {\sum}_{i}{\mu}_{i}{a}_{ij}=0, for each j. Multiplying it by {\theta}_{j} and then summing over j, we obtain {\sum}_{i}{\mu}_{i}{\sigma}_{i}=0 which is not possible.
Example 3 As an example of a function which is quasiperiodic (q.p.) but not a sum of periodic functions, consider
Here \mathrm{\Lambda}(f)=\{1+n\sqrt{2},n\in \mathbb{N}\}, thus Mod(f)=\mathbb{Z}+\sqrt{2}\mathbb{Z}, i.e., f is q.p. Assume that f is a sum of a finite number of periodic functions. Let {T}_{1},\dots ,{T}_{k} be the periods. According to [21], we have
where
An easy calculation yields
by which
Since ℕ is infinite, we can find two different integers m, n with the same {T}_{j}. Thus, there exist two integers {k}_{m}, {k}_{n} s.t.
This implies that {k}_{m}\ne {k}_{n}, and we obtain
which is not possible.
Remark 5 We know (see, e.g., [4, 11]) that every almostperiodic (a.p.) f is a uniform limit of a sequence of a finite sum of periodic functions {({f}_{n})}_{n}. Writing
we can see that every a.p. function can be expressed as a series of periodic functions. Reversely, a uniformly convergent series of periodic functions is a.p.
Summing up the above observations, we can present in Figure 2 Venn’s diagram for continuous functions under our investigation. The classes of almostperiodic, semiperiodic and quasiperiodic functions are in circles, while sums of semiperiodic functions are in the ellipse. Sums of periodic functions are in the intersection of the classes of quasiperiodic functions and sums of semiperiodic functions. In fact, one can check by similar arguments as in the proof of Theorem 2 that a sum of periodic functions is exactly the sum of semiperiodic functions which is quasiperiodic. Periodic functions are, according to Theorem 2, at the same time semiperiodic and quasiperiodic. Purely semiperiodic functions are in the grey strip.
Now, consider the primitives of s.p. functions.
Lemma 3 Assume that f is a.p. and consider F(t):={\int}_{0}^{t}f(s)\phantom{\rule{0.2em}{0ex}}ds. Assume that there exists \phi \in {AP}^{0}(\mathbb{R},\mathbb{E}) and a\in \mathbb{E} s.t.,
Then a=\mathcal{M}\{f\}.
Indeed, φ is necessarily differentiable, and integrating the equality f={\phi}^{\prime}+a, we obtain
because φ is bounded. This already proves Lemma 3. It is well known that \mathcal{M}\{f\}=0 is a necessary and sufficient condition for F to be periodic, provided f is so. It is, however, not sufficient in the case of a.p. functions. For more details, see, e.g., [22]. Despite the approximation by periodic functions, it is also not sufficient in the case of s.p. functions, as demonstrated by the following example.
Example 4 Let us consider the s.p. function
We have a normal convergence, so the series exists and defines a s.p. function for which \mathcal{M}\{f\}=0. A formal candidate to be its primitive is
We have a uniform convergence on each compact set, because sin(u)\le u. Thus, this series also exists and defines a primitive of f. If F were s.p., it should be a.p. which is obviously not true, because the Parseval equality does not apply.
Uniformly semiperiodic functions with respect to a parameter
Definition 4 Let f:\mathbb{R}\times M\to {\mathbb{R}}^{k}, where M is a subset of {\mathbb{R}}^{n}. We say that f is uniformly semiperiodic (u.s.p.) if for any compact set K\subset M\subset {\mathbb{R}}^{n}, we have
Since such a function is u.a.p., we know that given a compact subset K of M, f is bounded and uniformly continuous on \mathbb{R}\times K.
Proposition 3 Any u.s.p. function is a uniform limit, on each \mathbb{R}\times K, of a sequence of continuous functions which are periodic w.r.t. their first variables.
Proof Let T be given by the definition and consider a Tperiodic function \phi (\cdot ,\alpha ) such that its restriction to [0;T) is the same as the one of f(\cdot ,\alpha ). For each x\in \mathbb{R}, we can write x=t+nT with n\in \mathbb{Z} and t\in [0;T). Thus, we get
uniformly w.r.t. \alpha \in K. Since φ is not necessarily continuous, consider still \tau \in (0;T) such that, for any t\in [T\tau ,T] and any \alpha \in K, {f(t,\alpha )f(T,\alpha )}_{\mathbb{E}}\le \epsilon. This is possible, because K is compact. Define a Tperiodic continuous function \psi (\cdot ,\alpha ) which is equal to \phi (\cdot ,\alpha ) on [0,T\tau ] and which is linear on [T\tau ,T]. For t\in [T\tau ,T], we obtain
and subsequently
□
Remark 6 Assume that f is LLipschitzian w.r.t. its second variable. It follows from the proof that so is φ, from which we can deduce the same for ψ. So, a u.s.p. function Lipschitzian w.r.t. its second variable can be approximated uniformly on each \mathbb{R}\times K (K compact) by a sequence of functions which are periodic w.r.t. their first variables and Lipschitzian (with the same constant L) w.r.t. their second variables.
Remark 7 It is possible to define the same for the discrete case and to obtain analogous results. This will be omitted here, because the proofs are quite similar.
Concerning the Nemytskii operator, in the continuous case, it is not true that if f is u.s.p. and ϕ is s.p., then t\mapsto f(t,\varphi (t)) is s.p. As an example, take f(t,x)=sin(t)+x and \varphi (t)=sin(\pi t). On the other hand, it is true in the discrete case.
Proposition 4 Assume that f:\mathbb{Z}\times M\to {\mathbb{R}}^{p} is s.p. and that \underline{x}={({x}_{t})}_{t} is s.p. with the range in M\subset {\mathbb{R}}^{n}. Then the sequence {(f(t,{x}_{t}))}_{t\in \mathbb{Z}} is s.p.
Proof Set K=\overline{\{{x}_{t},t\in \mathbb{Z}\}}. Since \underline{x} is a.p., K is a compact subset of M. So, given \epsilon >0, we can find \eta >0 s.t.
Set {\eta}^{\prime}:=min\{\eta ,\epsilon \}. We know that we can find two integers {T}_{1}, {T}_{2} s.t.
Let T be a common multiplier of {T}_{1} and {T}_{2} (for instance, T={T}_{1}{T}_{2}). The last inequalities remain true, when replacing every {T}_{i} by T. Thus, for any (t,n)\in {\mathbb{Z}}^{2},
□
For an alternative proof, one can employ the approximation by periodic sequences.
Semiperiodic solutions of difference equations
In this section, we are interested in semiperiodic solutions of the difference equation in {\mathbb{R}}^{p},
where A is a real square p\times p matrix.
Theorem 3 Assuming that A has no eigenvalues with modulus one and that f is u.s.p. and Lipschitzian w.r.t. the second variable with a sufficiently small constant, there exists a unique semiperiodic solution for the difference equation (1).
Proof We know (see, e.g., Proposition 2.2 in [23]) that, for each a.p. sequence {({b}_{t})}_{t} with values in {\mathbb{R}}^{p}, there exists a unique a.p. solution to
Denoting by AP(\mathbb{Z},{\mathbb{R}}^{p}) the Banach space of a.p. sequences (cf. [23]), the linear operator T:AP(\mathbb{Z},{\mathbb{R}}^{p})\to AP(\mathbb{Z},{\mathbb{R}}^{p}), determined by the lefthand side of (2), is obviously invertible. Since T is continuous satisfying \parallel T\parallel \le 1+\parallel A\parallel, we know from the wellknown Banach theorem that {T}^{1} must be continuous as well.
Now, consider a s.p. sequence {({q}_{t})}_{t} with values in {\mathbb{R}}^{p}. We are firstly interested in the a.p. solution to the equation
By the hypothesis imposed on f and in view of Proposition 4, {(f(t,{q}_{t}))}_{t} is s.p. Therefore, there exists a unique a.p. solution of (3) (see again Proposition 2.2 in [23]). We can now consider {T}^{1}({(f(t,{q}_{t}))}_{t}). Since {T}^{1} maps the space of periodic sequences into itself, by the unique solvability of (3) in AP(\mathbb{Z},{\mathbb{R}}^{n}) and by the continuity of {T}^{1}, the mapping
maps \mathcal{S}(\mathbb{Z},{\mathbb{R}}^{p}) into itself. Denote by L the Lipschitz constant to all f(t,\cdot ). It is easy to see that \parallel {T}^{1}\parallel L is a Lipschitz constant for \mathcal{T}.
Assuming that L<1/\parallel {T}^{1}\parallel, the mapping T is a contraction in the Banach space \mathcal{S}(\mathbb{Z},{\mathbb{R}}^{p}). So it has a unique fixed point representing the desired s.p. solution of (1). □
Remark 8 Using a triangular form of −A (like Jordan’s one) (see, e.g., [[4], Proposition 6.14 and Remark 6.26]), it is possible to compute explicitly a constant c s.t. \parallel {T}^{1}\parallel \le c. For such a constant, it is sufficient to assume L<1/c in order to justify Theorem 3.
Semiperiodic solutions of differential equations
Let us consider the equation
We assume that a real square k\times k matrix A has an exponential dichotomy property, i.e., that there exist a projection matrix P (P={P}^{2}) and constants \mathcal{C}>0, \lambda >0, such that
where X is the fundamental matrix of {x}^{\prime}+Ax=0 satisfying X(0)=I, i.e., the unit matrix (see, e.g., [[8], Chapter III.5]). Furthermore, let f:\mathbb{R}\times {\mathbb{R}}^{k}\to {\mathbb{R}}^{k} be u.s.p. with respect to the variable x.
Setting
where
is the Green function associated to A, and {P}_{}, {P}_{+} stand for the corresponding spectral projections on the invariant subspaces of A, we can formulate the following theorem.
Theorem 4 Assume still that f is LLipschitzian w.r.t. the second variable with L<(\lambda /2\mathcal{C}\le )1/C(A). Then there exists a unique semiperiodic solution of the equation (4).
Proof Let {({f}_{n})}_{n} be a sequence of periodic functions w.r.t. their first variables s.t. {f}_{n}\to f, uniformly. We can assume without any loss of generality (see Remark 3) that each {f}_{n} is LLipschitzian w.r.t. its second variable. Let {x}_{n} be the unique bounded (in fact, periodic) solution of the equation
and \overline{x} be the unique bounded solution of (4). Such solutions exist; for more details, see, e.g., [[8], Chapter III.5].
It will be sufficient to show that {x}_{n}\to \overline{x}, uniformly.
We have the integral representations (see again, e.g., [[8], Chapter III.5])
It can be easily checked that, in view of uniqueness of bounded solutions, the periods {T}_{n} of {f}_{n} are also periods of {x}_{n}. It holds
Now, let us prove that there exists a uniform estimate to all {x}_{n}. We have
and
Thus,
and, according to \mathrm{C}(A)L<1, still
where R is the desired bound. Putting K=\overline{B(0,R)}, we arrive at
where {\epsilon}_{n}={sup}_{\mathbb{R}\times K}\parallel {f}_{n}f\parallel \to 0. Thus, we finally get
Since {x}_{n} are {T}_{n}periodic, we conclude that \overline{x} is semiperiodic. □
Concluding remarks
Remark 9 Because of the righthand side f(t,x) in (4), even in the scalar case, Theorem 4 cannot be deduced from the results in [14], where the scalar equation {x}^{\prime}+g(x)=f(t) was considered.
Remark 10 Since Theorem 3 and Theorem 4 represent only illustrative examples, the obtained existence and uniqueness criteria were tendentiously very simple. More sophisticated situations will be considered by ourselves elsewhere.
Remark 11 Analogously as in [24, 25], where almostperiodic solutions were under consideration, it would be interesting to obtain similar results concerning semiperiodic solutions of monotone systems or those treated by means of variational methods.
References
Berg JD, Wilansky A: Periodic, almostperiodic, and semiperiodic sequences. Mich. Math. J. 1962, 9: 363368.
Besicovitch AS: Almost Periodic Functions. Dover, New York; 1954.
Levitan BM: AlmostPeriodic Functions. GITTL, Moscow; 1953. in Russian
Corduneanu C: Almost Periodic Oscillations and Waves. Springer, Berlin; 2009.
Bell H, Meyer KR: Limit periodic functions, adding machines, and solenoids. J. Dyn. Differ. Equ. 1995, 7: 409422. 10.1007/BF02219369
Schwarz W, Spilker J: Arithmetical Functions. Cambridge University Press, Cambridge; 1994.
Andres J: Periodictype solutions of differential inclusions. 8. In Advances in Mathematical Research. Edited by: Baswell AR. Nova Sciences Publishers, New York; 2009:295353.
Andres J, Górniewicz L: Topological Fixed Point Principles for Boundary Value Problems. Kluwer Academic, Dordrecht; 2003.
Ichihara N, Ishii H: Asymptotic solutions of HamiltonJacobi equations with semiperiodic Hamiltonians. Commun. Partial Differ. Equ. 2008, 33: 784807. 10.1080/03605300701257427
Lorenz EN: Noisy periodicity and reverse bifurcation. Annals of the New York Academy of Sciences 357. Nonlinear Dynamics 1980, 282291.
Andres J, Bersani AM, Grande RF: Hierarchy of almostperiodic function spaces. Rend. Mat. Appl. 2006, 26: 121188.
Corduneanu C: A scale of almost periodic function spaces. Differ. Integral Equ. 2011, 24: 128.
Andres J, Pennequin D: On the nonexistence of purely Stepanov almostperiodic solutions of ordinary differential equations. Proc. Am. Math. Soc. 2012, 140: 28252834. 10.1090/S000299392012111542
Alonso AI, Obaya R, Ortega R: Differential equations with limitperiodic forcings. Proc. Am. Math. Soc. 2002, 131: 851857.
Johnson RA: On almostperiodic linear differential systems of Milionshchikov and Vinograd. J. Math. Anal. Appl. 1982, 85: 452460. 10.1016/0022247X(82)900117
Millionshchikov VM: Proof of the existence of irregular systems of linear differential equations with almost periodic coefficients. Differ. Equ. 1968, 4: 203205.
Blot J, Pennequin D: Spaces of quasiperiodic functions and oscillations in differential equations. Acta Appl. Math. 2001, 65: 83113. 10.1023/A:1010631520978
Goes G: FourierStieltjes transforms of discrete measures; periodic and semiperiodic functions. Math. Ann. 1967, 174: 148156. 10.1007/BF01360815
Jiménez MN: Multipliers on the space of semiperiodic sequences. Trans. Am. Math. Soc. 1985, 291: 801811.
Andres J, Pennequin D: On Stepanov almostperiodic oscillations and their discretizations. J. Differ. Equ. Appl. 2012, 18: 16651682. 10.1080/10236198.2011.587813
Mortola S, Peirone R: The sum of periodic functions. Boll. Unione Mat. Ital. 1999, 8: 393396.
Andres J, Bednařík D, Pastor K: On the notion of derivoperiodicity. J. Math. Anal. Appl. 2005, 303: 405417. 10.1016/j.jmaa.2004.08.020
Pennequin D: Existence of almost periodic solutions of discrete time equations. Discrete Contin. Dyn. Syst. 2001, 7: 5160.
Blot J, Cieutat P, Mawhin J: Almost periodic oscillations of monotone secondorder systems. Adv. Differ. Equ. 1997, 2: 693714.
Mawhin J: Bounded and almost periodic solutions of nonlinear differential equations: variational vs nonvariational approach. Res. Notes Math. 410. In Calculus of Variations and Differential Equations. Edited by: Ioffe A, Reich S, Shafrir I. Chapman & Hall/CRC, Boca Raton; 1999:167184.
Acknowledgements
The first author was supported by the project AMathNet Applied Mathematics Knowledge Transfer Network No CZ.1.07/2.4.00/17.0100.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally in this article. They read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Andres, J., Pennequin, D. Semiperiodic solutions of difference and differential equations. Bound Value Probl 2012, 141 (2012). https://doi.org/10.1186/168727702012141
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168727702012141