 Research
 Open Access
 Published:
On almost periodicity of solutions of secondorder differential equations involving reflection of the argument
Advances in Difference Equations volume 2019, Article number: 4 (2019)
Abstract
We study almost periodic solutions for a class of nonlinear secondorder differential equations involving reflection of the argument. We establish existence results of almost periodic solutions as critical points by a variational approach. We also prove structure results on the set of strong almost periodic solutions, existence results of weak almost periodic solutions, and a density result on the almost periodic forcing term for which the equation possesses usual almost periodic solutions.
1 Introduction
The study of existence, uniqueness, and stability of periodic and almost periodic solutions has become one of the most attractive topics in the qualitative theory of ordinary and functional differential equations for its significance in the physical sciences, mathematical biology, control theory, and other fields; see, for instance, [3, 8, 11, 19, 20, 28] and the references cited therein. Indeed, the almost periodic functions are closely connected with harmonic analysis, differential equations, and dynamical systems; cf. Corduneanu [12] and Fink [14]. These functions are basically generalizations of continuous periodic and quasiperiodic functions. Almost periodic functions are further generalized by many mathematicians in various ways; see Šarkovskii [26].
On the other hand, differential equations involving reflection of the argument have numerous applications in the study of stability of differentialdifference equations. Such equations show very interesting properties by themselves, and so many authors have worked on this category of equations. Wiener and Aftabizadeh [29] initiated the analysis of boundary value problems involving reflection of the argument. Later on, Gupta [15,16,17] considered boundary value problems for this class of equations. Aftabizadeh et al. [1] studied the existence of a unique bounded solution of the equation
They proved that \(t\mapsto x(t)\) is almost periodic by assuming the existence of bounded solutions. Further results were extended and improved by several authors; see, for instance, the papers by Hai [18], O’Regan [22], Piao [23, 24], Piao and Sun [25], and Zima [30]. In particular, Piao [23, 24] investigated the existence and uniqueness of periodic, almost periodic, and pseudo almost periodic solutions of the equations
and
whereas Piao and Sun [25] studied the existence and uniqueness of Besicovitch almost periodic solutions for a class of secondorder differential equations involving reflection of the argument.
In the sequel, the linear space \(\mathbb{R}^{n}\) is endowed with its standard inner product \(x\cdot y:=\sum_{k=1}^{n}x_{k} y_{k}\) and \(\vert \cdot\vert\) denotes the associated Euclidean norm. For a function \(f:\mathbb{R}^{n}\times\mathbb{R}^{n}\rightarrow\mathbb{R}\), \((X,Y)\mapsto f(X,Y)\), we consider the secondorder differential equation with reflection of the argument
where \(D_{1}\) and \(D_{2}\) denote the (partial) differential with respect to X and Y, respectively, \(e:\mathbb{R}\rightarrow\mathbb{R}^{n}\) is an almost periodic forcing term. Equation (1.1) appears as an Euler–Lagrange equation.
By a strong almost periodic solution of equation (1.1) we mean a function \(u:\mathbb{R}\rightarrow\mathbb{R}^{n}\) which is twice differentiable (in ordinary sense) such that u, \(u'\), and \(u''\) are almost periodic in the sense of Bohr [9] and u satisfies (1.1) for all \(t\in\mathbb{R}\). This solution is also called \({\mathcal {C}}^{2}\)almost periodic in some earlier work.
A weak almost periodic solution of equation (1.1) is a function \(u:\mathbb{R}\rightarrow\mathbb{R}^{n}\) which is almost periodic in the sense of Besicovitch [4] and possesses a firstorder and a secondorder generalized derivatives such that u satisfies (1.1) for all \(t\in\mathbb{R}\) and the difference between the two members of equation (1.1) has a quadratic mean value equal to zero. It is natural that a strong almost periodic solution is also a weak almost periodic solution.
The variational method was used for the study of ordinary and functional differential equations; see, for instance, [3, 5,6,7] and the references cited therein. By using a variational method in the mean, we investigate almost periodic solutions for equation (1.1). The almost periodic solutions of (1.1) are characterized as critical points of functionals having the following form:
on the Banach space of almost periodic functions.
This paper is organized as follows. Section 2 presents the considered notation for the various function spaces and auxiliary assumptions. In Sect. 3, we develop variational principles to study the almost periodic solutions of (1.1) and critical points of functionals defined on spaces of almost periodic functions. In Sect. 4, we establish some results about the structure of the set of strong almost periodic solutions of (1.1). Finally, in Sect. 5, we establish an existence result of weak almost periodic solutions of (1.1) by using the techniques in the spirit of the direct methods of calculus of variations, and a result on the density of the almost periodic forcing term for which (1.1) possesses a strong almost periodic solution.
2 Notation and preliminaries
First, we review some facts about Bohr almost periodic and Besicovitch almost periodic functions. For more details on almost periodic functions, we refer the reader to the monographs [4, 9, 12, 14, 21].
Let \(AP^{0}(\mathbb{R}^{n})\) be the space of the almost periodic functions from \(\mathbb{R}\) into \(\mathbb{R}^{n}\) in the sense of Bohr [9], endowed with the norm
It is easy to see that the space \(AP^{0}(\mathbb{R}^{n})\) is a Banach space [9] endowed with the above norm.
\(\mathbb{N}\) is the set of all nonnegative integers, for \(1 \leq k \in \mathbb{N}\), \(AP^{k}(\mathbb{R}^{n})\) stands for the space of functions \(u\in\mathcal{C}^{k}(\mathbb{R},\mathbb{R}^{n})\cap AP^{0}(\mathbb{R}^{n})\) such that \(u^{(j)}:=\frac{d^{j} u}{dt^{j}}\in AP^{0}(\mathbb{R}^{n})\) for all \(j=1,\ldots,k\). It is a Banach space endowed with the norm
Every almost periodic function u possesses a mean time
For \(\lambda\in\mathbb{R}\), \(a(u,\lambda):=\mathcal{M} \{ u(t)e^{i\lambda t} \}_{t}\) is the Fourier–Bohr coefficient of u associated to λ. We denote by \(\varLambda(u):= \{\lambda\in \mathbb{R}: a(u,\lambda)\neq0 \}\) the set of exponents of u. We use the notation \(\operatorname{mod}(u)\) for the module of u which is the additive group generated by \(\varLambda(u)\).
Remark 2.1
For \(p \in[1,\infty)\), \(B^{p}(\mathbb{R}^{n})\) is the completion of \(AP^{0}(\mathbb{R}^{n})\) in \(L^{p}_{\mathrm{loc}}(\mathbb{R},\mathbb{R}^{n})\) (Lebesgue space) with respect to the norm
Remark 2.2
For \(p=2\), \(B^{2}(\mathbb{R}^{n})\) is a Hilbert space and its norm \(\\cdot \_{2}\) is associated to the inner product \((u\mid v):=\mathcal{M} \{ u\cdot v \}\). The elements of these spaces \(B^{p}(\mathbb{R}^{n})\) are called Besicovitch almost periodic functions, cf. [4].
Now, we recall the definitions of some spaces, like Sobolev space, special to the almost periodicity introduced by Blot [7]. Following VoKhac [27], the generalized derivative of \(u\in B^{2}(\mathbb{R}^{n})\) (when it exists) is \(\nabla u\in B^{2}(\mathbb{R}^{n})\) such that
The space \(B^{1,2}(\mathbb{R}^{n})\) is the collection of all functions \(u\in B^{2}(\mathbb{R}^{n})\) such that ∇u exists in \(B^{2}(\mathbb {R}^{n})\), and the space \(B^{2,2}(\mathbb{R}^{n})\) is the space of \(u\in B^{1,2}(\mathbb {R}^{n})\) such that \(\nabla^{2} u=\nabla(\nabla u)\) exists in \(B^{2}(\mathbb {R}^{n})\). It is easy to verify that the abovementioned spaces are Hilbert spaces with the respective norms
For the function \(f:\mathbb{R}^{n}\times\mathbb{R}^{n}\longrightarrow\mathbb {R}\), \((x,y)\mapsto f(x,y)\) of equation (1.1), we give the following hypotheses:
 (H_{1}):

\(f\in\mathcal{C}^{1}(\mathbb{R}^{n}\times\mathbb {R}^{n},\mathbb{R})\);
 (H_{2}):

\(\vert Df(X)Df(Y) \vert \leq a\cdot \vert XY \vert \) for some constant \(a>0\) and for all \(X,Y\in\mathbb {R}^{n}\times\mathbb{R}^{n}\);
 (H_{3}):

f is a convex function on \(\mathbb{R}^{n}\times\mathbb{R}^{n}\);
 (H_{4}):

\(f(x,y)\geq c \vert \zeta \vert ^{2}+d\) for two numbers \(c>0\) and \(d\in\mathbb{R}\) and for all \((x,y)\in\mathbb {R}^{n}\times\mathbb{R}^{n}\), where \(\zeta=x\mbox{ or }y\).
3 Variational principles
We begin this section by establishing two lemmas which contain general properties of almost periodic functions.
Lemma 3.1
If \(u\in AP^{0}(\mathbb{R}^{n})\), then \([t\mapsto u(t) ]\in AP^{0}(\mathbb{R}^{n})\). Furthermore, if τ is an ϵtranslation of \(u(t)\), then τ is also an ϵtranslation number of \(u(t)\) and \(\operatorname{mod}(u(t))=\operatorname{mod}(u(t))\).
Proof
The proof can be completed by using Bohr’s definition [9, p. 32]. □
Lemma 3.2
If \(u\in B^{p}(\mathbb{R}^{n})\), then the following assertions hold.

(1)
\(\mathcal{M} \{u(t) \}_{t}=\mathcal{M} \{u(t) \}_{t}\).

(2)
\([t\mapsto u(t) ]\in B^{p}(\mathbb{R}^{n})\).
Proof
The relation
gives assertion (1). For assertion (2), note that if \((u_{m})_{m}\) is a sequence in \(AP^{0}(\mathbb{R}^{n})\) such that \(\lim_{m\to \infty}\uu_{m}\_{p}=0\), then using Lemma 3.1 and the facts that \((u_{m}(t))_{m}\) is a sequence in \(AP^{0}(\mathbb{R}^{n})\) and \(\uu_{m}\_{p}= \ u(t)u_{m}(t)\_{p}\), we obtain
which implies that \([t\mapsto u(t) ]\in B^{p}(\mathbb{R}^{n})\). The proof is complete. □
Lemma 3.3
Under condition (H_{1}), the functional \(J_{0}:AP^{1}(\mathbb{R}^{n})\rightarrow\mathbb{R}\) defined by
is of class \(\mathcal{C}^{1}\), and for all \(u,v\in AP^{0}(\mathbb{R}^{n})\),
Proof
We consider the operator \(Q_{0}:AP^{1}(\mathbb{R}^{n})\rightarrow\mathbb{R}\) defined by \(Q_{0}(u):=\mathcal{M} \{\frac{1}{2} \vert u' \vert ^{2} \}\). The mapping \(q: \mathbb{R}^{n} \rightarrow\mathbb{R}\), \(q(x)=\frac{1}{2} \vert x \vert ^{2}\), is of class \({\mathcal {C}}^{1}\), so the Nemytskiĭ operator \({\mathcal {N}}^{0}_{q} :AP^{0}(\mathbb{R}^{n}) \rightarrow AP^{0}(\mathbb {R})\), \({\mathcal {N}}^{0}_{q}(\phi):= [t\mapsto\frac{1}{2} \vert \phi (t) \vert ^{2}]\), is of class \({\mathcal {C}}^{1}\), cf. [5]. The operator \(\frac{d}{dt}: AP^{1}(\mathbb{R}^{n}) \rightarrow AP^{0}(\mathbb {R}^{n})\) defined by \(\frac{d}{dt}(u):= u'\) is linear continuous, therefore, it is of class \({\mathcal {C}}^{1}\). The functional \({\mathcal {M}}^{0}: AP^{0}(\mathbb{R}) \rightarrow\mathbb {R}\) defined by \({\mathcal {M}}^{0}(\phi):={\mathcal {M}}^{0}_{t}\{\phi(t)\}\) is linear continuous, and hence it is of class \({\mathcal {C}}^{1}\).
Since \(Q_{0}= {\mathcal {M}}^{0} \circ{\mathcal {N}}^{0}_{q} \circ\frac{d}{dt}\), \(Q_{0}\) is of class \({\mathcal {C}}^{1}\) as composition of \({\mathcal {C}}^{1}\)mappings. Hence, by the chain rule, we have \(DQ_{0}(u)v=\mathcal{M} \{u' \cdot v' \}\).
Furthermore, the operator \(\varTheta_{0}:AP^{1}(\mathbb{R}^{n})\rightarrow \mathbb{R}\) defined by \(\varTheta_{0}(u):=\mathcal{M} \{e \cdot u \} \) is linear continuous, so it is of class \({\mathcal {C}}^{1}\) and its differential is given by \(D\varTheta _{0}(u)v=\mathcal{M} \{e \cdot v \}\).
We consider the operator \(\varPhi_{0}:AP^{1}(\mathbb{R}^{n})\rightarrow\mathbb {R}\) defined by \(\varPhi_{0}(u):=\mathcal{M} \{f (u (t ),u (t ) ) \}_{t}\). It is not difficult to observe that the operator \(L_{0}:AP^{0}(\mathbb {R}^{n})\rightarrow AP^{0}(\mathbb{R}^{n})\times AP^{0}(\mathbb{R}^{n})\) defined by \(L_{0}(u)(t):=(u(t),u(t))\) is linear. Both components of \(L_{0}\) are continuous and hence \(L_{0}\) is continuous. Therefore, \(L_{0}\) is of class \(\mathcal{C}^{1}\) and \(DL_{0}(u)v=L_{0}(v)\) for all \(u,v\in AP^{0}(\mathbb{R}^{n})\).
Now, under assumption (H_{1}), the Nemytskiĭ operator \(\mathcal {N}_{f}^{0}:AP^{0}(\mathbb{R}^{n}\times\mathbb{R}^{n})\rightarrow AP^{0}(\mathbb {R})\) defined by \(\mathcal{N}_{f}^{0}(U)(t):=f (U(t) )\) is of class \(\mathcal{C}^{1}\) (see [6] for details). Moreover, for all \(U,V\in (AP^{0}(\mathbb{R}^{n}) )^{2}\), \(D\mathcal{N}_{f}^{0}(U)\cdot V=Df(U)\cdot V\).
Note that the linear operator \(\mathcal{M}_{0}:AP^{0}(\mathbb{R})\rightarrow \mathbb{R}\) defined by \(\mathcal{M}_{0}(u):=\mathcal{M} \{u(t) \}_{t}\) is continuous. It is of class \(\mathcal{C}^{1}\) and thus \(D\mathcal {M}_{0}(\phi)\psi=\mathcal{M}(\psi)\) for all \(\phi,\psi\in AP^{0}(\mathbb {R})\). Further, the linear operator \(in_{0}:AP^{1}(\mathbb{R}^{n})\rightarrow AP^{0}(\mathbb{R}^{n})\), \(in_{0}(u):=u\) is continuous, and consequently it is of class \(\mathcal{C}^{1}\) and so \(Din_{0}(u)v=in_{0}(v)\). Since \(\varPhi _{0}=\mathcal{M}_{0}\circ\mathcal{N}_{f}^{0}\circ L_{0}\circ in_{0}\), \(\varPhi_{0}\) is of class \(\mathcal{C}^{1}\) as a composition of \(\mathcal{C}^{1}\) operators. Using the chain rule, for all \(u,v\in AP^{1}(\mathbb{R}^{n})\),
By virtue of \(J_{0}=Q_{0}+\varPhi_{0}+\varTheta_{0}\), \(J_{0}\) is of class \(\mathcal {C}^{1}\) as a sum of three \(\mathcal{C}^{1}\) functionals. Therefore, for all \(u,v\in AP^{1}(\mathbb{R}^{n})\), we have (3.1). This completes the proof. □
Lemma 3.4
Assume that assumptions (H_{1}) and (H_{2}) are satisfied. Then the Nemytskiĭ operator \(\mathcal{N}^{1}_{f}:B^{2}(\mathbb{R}^{n}\times\mathbb{R}^{n})\rightarrow B^{1}(\mathbb{R})\) defined by \(\mathcal{N}^{1}_{f}(U)(t):=f (U(t) )\) is well defined and is of class \(\mathcal{C}^{1}\), and \(D\mathcal{N}^{1}_{f}(U) \cdot V=Df(U)\cdot V\) for all \(U, V \in B^{2}(\mathbb{R}^{n}\times\mathbb{R}^{n})\).
Proof
It suffices to remark that if (H_{1}) and (H_{2}) hold, then, for all \(X\in\mathbb{R}^{n}\),
Using the mean value theorem (see [2, p. 144]), we deduce that, for all \(X\in\mathbb{R}^{n}\),
Now, arguing as in [7, Theorem 2], we obtain the result. The proof is complete. □
Proposition 3.5
Under condition (H_{1}), the following assertions are equivalent.

(1)
u is a critical point of \(J_{0}\) on \(AP^{1}(\mathbb{R}^{n})\).

(2)
u is a strong almost periodic solution of (1.1).
Proof
Define
We know that \(q\in AP^{0}(\mathbb{R}^{n})\) for \(u\in AP^{0}(\mathbb{R}^{n})\). Let us first assume assertion (1). Since the mean value is invariant by reflection of the argument, we have
Hence, by Lemma 3.3, for all \(v\in AP^{1}(\mathbb{R}^{n})\), we get \(0 =\mathcal{M} \{u'\cdot v'+q\cdot v \}\). Finally, by using the same reasoning as in the proof of [5, Theorem 1], we obtain \(u\in AP^{2}(\mathbb{R}^{n})\) and \(u''=q\), which is exactly (1.1).
Conversely, if u is a strong almost periodic solution of (1.1), then we have \(u''=q\). Hence, for all \(v\in AP^{1}(\mathbb{R}^{n})\), we obtain
This completes the proof. □
Lemma 3.6
If conditions (H_{1}) and (H_{2}) are fulfilled, then the functional \(J_{1}:B^{1,2}(\mathbb{R}^{n})\rightarrow\mathbb{R}\) defined by
is of class \(\mathcal{C}^{1}\). Moreover, for all \(u,v\in B^{1,2}(\mathbb{R}^{n})\),
Proof
We consider the operator \(Q_{1}:B^{1,2}(\mathbb{R}^{n})\rightarrow\mathbb {R}\) defined by \(Q_{1}(u):=\mathcal{M} \{\frac{1}{2} \vert \nabla u \vert ^{2} \}\). The mapping \(q: \mathbb{R}^{n} \rightarrow\mathbb{R}\), \(q(x)=\frac{1}{2} \vert x \vert ^{2}\), is of class \({\mathcal {C}}^{1}\). Since \(Dq(x)=x\) satisfies conditions of [13, Theorem 2.6], the Nemytskiĭ operator \({\mathcal {N}}_{q}: B^{2}(\mathbb{R}^{n}) \rightarrow B^{1}(\mathbb {R})\) defined by \({\mathcal {N}}_{q}(v):= [t\mapsto\frac{1}{2} \vert v(t) \vert ^{2}]\) is of class \({\mathcal {C}}^{1}\) and \(D{\mathcal {N}}_{q}(v) \cdot h=[t\mapsto v(t) \cdot h(t)]\) for all \(v, h \in B^{2}(\mathbb{R}^{n})\).
Since the derivation operator \(\nabla: B^{1,2}(\mathbb{R}^{n})\rightarrow B^{2}(\mathbb{R})\) and the operator \({\mathcal {M}} : B^{1}(\mathbb{R}) \rightarrow\mathbb{R}\) are linear continuous, ∇ and \({\mathcal {M}}\) are of class \({\mathcal {C}}^{1}\). Therefore, \(Q_{1}={\mathcal {M}} \circ {\mathcal {N}}_{q} \circ\nabla\) is of class \({\mathcal {C}}^{1}\) as a composition of \({\mathcal {C}}^{1}\)mappings. Moreover, using the chain rule, we have \(DQ_{1}(u)\cdot v=\mathcal{M} \{\nabla u \cdot\nabla v \}\) for all \(u, v \in B^{1,2}(\mathbb{R}^{n})\).
Now, the operator \(\varTheta_{1} :B^{1,2}(\mathbb{R}^{n})\rightarrow\mathbb {R}\) defined by \(\varTheta_{1}(u):=\mathcal{M} \{e \cdot u \}\) is linear continuous, and thus it is of class \(\mathcal{C}^{1}\) and its differential is given by \(D\varTheta_{1}(u)v=\mathcal{M} \{e \cdot v \}\).
Let us consider the operator \(\varPhi_{1}:B^{1,2}(\mathbb{R}^{n})\rightarrow \mathbb{R}\) defined by \(\varPhi_{1}(u):=\mathcal{M} \{f (u (t ),u (t ) ) \}_{t}\). Note that the linear operator \(L_{1}:B^{2}(\mathbb{R}^{n})\rightarrow B^{2}(\mathbb{R}^{n})\times B^{2}(\mathbb{R}^{n})\) defined by \(L_{1}(u)(t):=(u(t),u(t))\) is continuous and so it is of class \(\mathcal{C}^{1}\). Moreover, for all \(u,v\in B^{2}(\mathbb{R}^{n})\), we have \(DL_{1}(u)v=L_{1}(v)\).
Under assumptions (H_{1}) and (H_{2}), by virtue of Lemma 3.4, the Nemytskiĭ operator \(\mathcal{N}^{1}_{f}:B^{2}(\mathbb{R}^{n}\times \mathbb{R}^{n})\rightarrow B^{1}(\mathbb{R})\) defined by \(\mathcal {N}^{1}_{f}(U)(t):=f (U(t) )\) is of class \(\mathcal{C}^{1}\) and for all \(U,V\in B^{2}(\mathbb{R}^{n}\times\mathbb{R}^{n})\), \(D\mathcal {N}^{1}_{f}(U) \cdot V=Df(U) \cdot V\).
The continuous linear operator \(\mathcal{M}_{1}:B^{1}(\mathbb{R})\rightarrow \mathbb{R}\) defined by \(\mathcal{M}_{1}(u):=\mathcal{M} \{u(t) \} _{t}\) is of class \(\mathcal{C}^{1}\) and for all \(\phi,\psi\in B^{1}(\mathbb {R})\), \(D\mathcal{M}_{1}(\phi)\psi=\mathcal{M}(\psi)\). Besides, the linear operator \(in_{1}:B^{1,2}(\mathbb{R}^{n})\rightarrow B^{2}(\mathbb {R}^{n})\), \(in_{1}(u)=u\) is of class \(\mathcal{C}^{1}\) and \(Din_{1}(u)v=in_{1}(v)\).
Since \(\varPhi_{1}=\mathcal{M}_{1}\circ\mathcal{N}^{1}_{f}\circ L_{1}\circ in_{1}\), \(\varPhi_{1}\) is of class \(\mathcal{C}^{1}\) as it is composition of \(\mathcal {C}^{1}\) operators. Hence, by the chain rule, for all \(u,v\in B^{1,2}(\mathbb{R}^{n})\),
By virtue of \(J_{1}=Q_{1}+\varPhi_{1}+\varTheta_{1}\), \(J_{1}\) is of class \(\mathcal {C}^{1}\) as a sum of three \(\mathcal{C}^{1}\) functionals. Thus, for all \(u,v\in B^{1,2}(\mathbb{R}^{n})\), we obtain (3.2). The proof is complete. □
Proposition 3.7
Under conditions (H_{1}) and (H_{2}), the following assertions are equivalent.

(1)
u is a critical point of \(J_{1}\) on \(B^{1,2}(\mathbb{R}^{n})\).

(2)
u is a weak almost periodic solution of (1.1).
Proof
Set
It is well known that \(p\in B^{2}(\mathbb{R}^{n})\) if \(u\in B^{2}(\mathbb {R}^{n})\). Now if we assume that \(u\in B^{1,2}(\mathbb{R}^{n})\) is a critical point of \(J_{1}\), then the condition \(DJ_{1}(u)=0\) can be written as \(\mathcal{M} \{\nabla u\cdot\nabla v \}=\mathcal{M} \{ p\cdot v \}\) for all \(v\in B^{1,2}(\mathbb{R}^{n})\). Hence, using [7, Proposition 10], the last condition implies that \(\nabla u\in B^{1,2}(\mathbb{R}^{n})\), i.e., \(u\in B^{2,2}(\mathbb{R}^{n})\) and \(\nabla^{2} u=p\), which exactly means that u is a weak almost periodic solution of (1.1).
Conversely, assume that the assertion (2) is true. Then \(\nabla u\in B^{1,2}(\mathbb{R}^{n})\). Using the fact that \(\mathcal{M} \{\nabla w \}=0\) for all \(w\in B^{1,2}(\mathbb{R}^{n})\) (see [7, Proposition 3] for details) and [7, Proposition 9], we have, for all \(h\in AP^{1}(\mathbb{R}^{n})\),
Since \(AP^{1}(\mathbb{R}^{n})\) is dense in \(B^{1,2}(\mathbb{R}^{n})\), we have \(DJ_{1}(u) \cdot h=0\) for all \(h\in B^{1,2}(\mathbb{R}^{n})\). Therefore, \(DJ_{1}(u)=0\), which proves our claim. This completes the proof. □
4 Structure results on \(AP^{0}(\mathbb{R}^{n})\)
In this section, we give some structure results on the set of strong almost periodic solutions of equation (1.1). The main tool is the variational structure of the problem.
Theorem 4.1
Under assumptions (H_{1}) and (H_{3}), the following assertions hold.

(1)
The set of the strong almost periodic solutions of (1.1) is a convex closed subset of \(AP^{1}(\mathbb{R}^{n})\).

(2)
If \(u_{1}\) is a \(T_{1}\) periodic solution of (1.1), \(u_{2}\) is a \(T_{2}\) periodic solution of (1.1), and \(T_{1}/T_{2}\) is not rational, then \((1\theta)u_{1}+\theta u_{2}\) is a strong almost periodic but nonperiodic solution of (1.1) for all \(\theta\in(0,1)\).
Proof
Since f is convex and is of class \(\mathcal{C}^{1}\), the operator \(J_{0}\) is convex and is of class \(\mathcal{C}^{1}\) on \(AP^{1}(\mathbb{R}^{n})\). Therefore,
is closed and convex, and hence assertion (1) becomes a consequence of Proposition 3.5. The assertion (2) is a straightforward consequence of (1). The proof is complete. □
Theorem 4.2
Under assumptions (H_{1}) and (H_{3}), if \(e=0\), then the following assertions hold.

(1)
If u is a strong almost periodic solution of (1.1) and \(T\in(0,\infty)\) satisfies \(a (u,2\pi/T )\neq0\), then there exists a nonconstant T periodic solution of (1.1).

(2)
If u is a strong almost periodic solution of (1.1), then \(\mathcal{M} \{u \}\) is a constant solution of (1.1).
Proof
Define \(C_{T,\nu}(u)(t):=\frac{1}{\nu}\sum_{k=0}^{\nu1}u(t+kT)\) for all \(\nu\in\mathbb{N}^{\ast}\), where u is a strong almost periodic solution of (1.1). According to the Besicovitch theorem [4, p. 144], there exists a T periodic continuous function denoted by \(u_{T}\) such that
Thus we can easily verify that
Since \(e=0\), \(t\mapsto u(t+kT)\) is a strong almost periodic solution. Furthermore, since \(C_{T,\nu}(u)\) is a convex combination of strong almost periodic solutions of (1.1), \(C_{T,\nu}(u)\) is also a strong almost periodic solution of (1.1), and hence \(u_{T}\) is also strong almost periodic by using the closedness of the set of strong almost periodic solutions. Thus \(u_{T}\) is a T periodic solution of (1.1). Now, using a straightforward calculation, we can easily observe that \(a (C_{T,\nu}(u),\frac{2\pi}{T} )=a (u,\frac{2\pi}{T} )\) and consequently \(a (u_{T},\frac{2\pi}{T} )=a (u,\frac {2\pi}{T} )\neq0\), then \(u_{T}\) is not constant which proves assertion (1).
To prove assertion (2), it suffices to choose \(T\in(0,\infty)\) such that \(\frac{2\pi}{T} (\mathbb{Z} \{0 \} )\cap\varLambda (u)=\emptyset\). So all the Fourier–Bohr coefficients of \(u_{T}\) are zero except (perhaps) the mean value of \(u_{T}\) which is equal to \(\mathcal {M} \{u \}\). This completes the proof. □
5 Existence results
In this section, we study the weak almost periodic solutions of equation (1.1). In the previous section, we use a variational viewpoint but here the Hilbert structure of \(B^{2}(\mathbb{R}^{n})\) permits us to obtain an existence theorem by using direct methods of calculus of variations. Finally, in Theorem 5.2, we give a result of density of the almost periodic forcing term for which equation (1.1) possesses usual almost periodic solutions.
Theorem 5.1
Under assumptions (H_{1})–(H_{4}), for each \(e\in B^{2}(\mathbb{R}^{n})\), there exists a \(u\in B^{2,2}(\mathbb{R}^{n})\) which is a weak almost periodic solution of (1.1). Moreover, the set of the weak almost periodic solutions of (1.1) is a convex set.
Proof
Using Lemma 3.6, under assumptions (H_{1}) and (H_{2}), the functional \(J_{1}\) is of class \(\mathcal{C}^{1}\). It follows from (H_{3}) that \(J_{1}\) is a convex functional. Since the mean value is invariant by reflection, assumption (H_{4}) implies that, for all \(u\in B^{1,2}(\mathbb{R}^{n})\),
where \(\alpha:=\min \{\frac{1}{2},c \}\). Consequently, \(J_{1}\) is coercive on \(B^{1,2}(\mathbb{R}^{n})\), i.e., \(J_{1}(u)\to\infty\) as \(\u\_{1,2}\to\infty\), and so (see [10, p. 46]) there exists a \(u\in B^{1,2}(\mathbb{R}^{n})\) such that \(J_{1}(u)=\inf J_{1} (B^{1,2}(\mathbb{R}^{n}) )\). Therefore, we conclude that \(DJ_{1}(u)=0\) and u is a weak almost periodic solution of (1.1) by using Proposition 3.7. Hence, the existence is proved.
On the basis of Lemma 3.6, the set of the weak almost periodic solutions of (1.1) is equal to the set \(\{u\in B^{1,2}(\mathbb {R}^{n}) : DJ_{1}(u)=0 \}\). Since \(J_{1}\) is convex, this set is also equal to \(\{u\in B^{1,2}(\mathbb{R}^{n}) : J_{1}(u)= \inf J_{1} (B^{1,2}(\mathbb{R}^{n}) ) \}\) which is a convex set. Thus, the set of the weak almost periodic solutions of (1.1) is convex. The proof is complete. □
Theorem 5.2
Assume that (H_{1})–(H_{4}) hold. Then, for each \(e\in AP^{0}(\mathbb {R}^{n})\) and for each \(\epsilon>0\), there exist an \(e_{\epsilon}\in AP^{0}(\mathbb{R}^{n})\) and a \(u_{\epsilon}\in AP^{2} (\mathbb {R}^{n})\) such that \(\ee_{\epsilon}\_{2}<\epsilon\) and
Proof
Consider the operator \(\varGamma:B^{2,2}(\mathbb{R}^{n})\rightarrow B^{2}(\mathbb{R}^{n})\) defined by
Under (H_{1}) and (H_{2}), the operators
and
are continuous (cf. [7, Theorem 1]). Since the operator \(\nabla ^{2}:B^{2,2}(\mathbb{R}^{n})\rightarrow B^{2}(\mathbb{R}^{n})\) is continuous, Γ is continuous.
From Theorem 5.1, we know that \(\varGamma (B^{2,2}(\mathbb {R}^{n}) )=B^{2}(\mathbb{R}^{n})\), and so \(AP^{0}(\mathbb {R}^{n})\subset\varGamma (B^{2,2}(\mathbb{R}^{n}) )\). Let \(e\in AP^{0}(\mathbb{R}^{n})\). Then \(e\in\varGamma ( B^{2,2}(\mathbb {R}^{n}) )\), and thus there exists a \(u\in B^{2,2}(\mathbb {R}^{n})\) such that \(\varGamma(u)=e\). Since \(AP^{2}(\mathbb{R}^{n})\) is dense in \(B^{2,2}(\mathbb{R}^{n})\), for each \(\epsilon\in(0,\infty)\), there exists a \(u_{\epsilon}\in AP^{2}(\mathbb{R}^{n})\) such that \(\ u_{\epsilon}u\_{2,2}<\epsilon\). An application of continuity of Γ implies that \(\\varGamma(u_{\epsilon})e\_{2}<\epsilon\). Taking into account that \(\varGamma(u_{\epsilon})\in AP^{0}(\mathbb{R}^{n})\), let \(e_{\epsilon}:=\varGamma(u_{\epsilon})\). Then \(e_{\epsilon}\) and \(u_{\epsilon}\) satisfy the desired results. This completes the proof. □
References
Aftabizadeh, A.R., Huang, Y.K., Wiener, J.: Bounded solutions for differential equations with reflection of the argument. J. Math. Anal. Appl. 135, 31–37 (1988)
Alexeev, V.M., Tihomirov, V.M., Fomin, S.V.: Commande Optimale, French edn. MIR, Moscow (1982)
Ayachi, M., Lassoued, D.: On the existence of Besicovitch almost periodic solutions for a class of neutral delay differential equations. Facta Univ., Ser. Math. Inform. 29, 131–144 (2014)
Besicovitch, A.S.: Almost Periodic Functions. Cambridge University Press, Cambridge (1932)
Blot, J.: Calculus of variations in mean and convex Lagrangians. J. Math. Anal. Appl. 134, 312–321 (1988)
Blot, J.: Une approche variationnelle des orbites quasipériodiques des systèmes hamiltoniens. Ann. Sci. Math. Qué. 13, 7–32 (1990) (French)
Blot, J.: Oscillations presquepériodiques forcées d’équations d’Euler–Lagrange. Bull. Soc. Math. Fr. 122, 285–304 (1994) (French)
Blot, J., Lassoued, D.: Bumps of potentials and almost periodic oscillations. Afr. Diaspora J. Math. 12, 122–133 (2011)
Bohr, H.: Almost Periodic Functions. Chelsea, New York (1956)
Brézis, H.: Analyse Fonctionnelle. Théorie et Applications. Masson, Paris (1983) (French)
Bu̧se, C., Lassoued, D., Nguyen, T.L., Saierli, O.: Exponential stability and uniform boundedness of solutions for nonautonomous periodic abstract Cauchy problems. An evolution semigroup approach. Integral Equ. Oper. Theory 74, 345–362 (2012)
Corduneanu, C.: Almost Periodic Functions, 2nd English edn. Chelsea, New York (1989)
de Figueiredo, D.G.: The Ekeland Variational Principle with Applications and Detours, Tata Institute of Fundamental Research, Bombay. Springer, Berlin (1989)
Fink, A.M.: Almost Periodic Differential Equations. Lecture Notes in Mathematics. Springer, Berlin (1974)
Gupta, C.P.: Boundary value problems for differential equations in Hilbert spaces involving reflection of the argument. J. Math. Anal. Appl. 128, 375–388 (1987)
Gupta, C.P.: Existence and uniqueness theorems for boundary value problems involving reflection of the argument. Nonlinear Anal. 11, 1075–1083 (1987)
Gupta, C.P.: Twopoint boundary value problems involving reflection of the argument. Int. J. Math. Math. Sci. 10, 361–371 (1987)
Hai, D.D.: Two point boundary value problem for differential equations with reflection of argument. J. Math. Anal. Appl. 144, 313–321 (1989)
Lassoued, D.: Exponential dichotomy of nonautonomous periodic systems in terms of the boundedness of certain periodic Cauchy problems. Electron. J. Differ. Equ. 2013, 89 (2013)
Lassoued, D.: New aspects of nonautonomous discrete systems stability. Appl. Math. Inf. Sci. 9, 1693–1698 (2015)
Levitan, B.M., Zhikov, V.V.: Almost Periodic Functions and Differential Equations. Cambridge University Press, Cambridge (1982)
O’Regan, D.: Existence results for differential equations with reflection of the argument. J. Aust. Math. Soc. A 57, 237–260 (1994)
Piao, D.: Periodic and almost periodic solutions for differential equations with reflection of the argument. Nonlinear Anal. 57, 633–637 (2004)
Piao, D.: Pseudo almost periodic solutions for differential equations involving reflection of the argument. J. Korean Math. Soc. 41, 747–754 (2004)
Piao, D., Sun, J.: Besicovitch almost periodic solutions for a class of second order differential equations involving reflection of the argument. Electron. J. Qual. Theory Differ. Equ. 2014, 41 (2014)
Šarkovskii, A.N.: Functionaldifferential equations with a finite group of argument transformations. In: Asymptotic Behavior of Solutions of FunctionalDifferential Equations, pp. 118–142, 157. Akad. Nauk Ukrain. SSR, Inst. Mat., Kiev (1978)
VoKhac, K.: Étude des fonctions quasistationnaires et de leurs applications aux équations différentielles opérationnelles. Bull. Soc. Math. France Mém. 6 (1966) (French)
Wang, Y., Zada, A., Ahmad, N., Lassoued, D., Li, T.: Uniform exponential stability of discrete evolution families on space of pperiodic sequences. Abstr. Appl. Anal. 2014, Article ID 784289 (2014)
Wiener, J., Aftabizadeh, A.R.: Boundary value problems for differential equations with reflection of the argument. Int. J. Math. Math. Sci. 8, 151–163 (1985)
Zima, M.: On positive solutions of functionaldifferential equations in Banach spaces. J. Inequal. Appl. 6, 359–371 (2001)
Acknowledgements
The authors express their sincere gratitude to the editors for the careful reading of the original manuscript and useful comments that helped to improve the presentation of the results and accentuate important details.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Funding
This research is supported by NNSF of P.R. China (Grant Nos. 11771115, 11271106, and 61503171), CPSF (Grant No. 2015M582091), NSF of Shandong Province (Grant No. ZR2016JL021), KRDP of Shandong Province (Grant No. 2017CXGC0701), DSRF of Linyi University (Grant No. LYDX2015BS001), and the AMEP of Linyi University, P.R. China.
Author information
Authors and Affiliations
Contributions
All five authors contributed equally to this work. They all read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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.
About this article
Cite this article
Wang, P., Lassoued, D., Abbas, S. et al. On almost periodicity of solutions of secondorder differential equations involving reflection of the argument. Adv Differ Equ 2019, 4 (2019). https://doi.org/10.1186/s1366201819387
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201819387
MSC
 34K14
 47H30
 58E30
Keywords
 Almost periodic solution
 Secondorder differential equation
 Reflection of the argument
 Variational principle