# Anti-periodic solutions for nonlinear evolution equations

- Yi Cheng
^{1, 2}, - Fuzhong Cong
^{1}Email author and - Hongtu Hua
^{1, 2}

**2012**:165

https://doi.org/10.1186/1687-1847-2012-165

© Cheng et al.; licensee Springer 2012

**Received: **26 April 2012

**Accepted: **4 September 2012

**Published: **19 September 2012

## Abstract

In this paper, we use the homotopy method to establish the existence and uniqueness of anti-periodic solutions for the nonlinear anti-periodic problem

where $A(t,x)$ is a nonlinear map and *B* is a bounded linear operator from ${R}^{N}$ to ${R}^{N}$. Sufficient conditions for the existence of the solution set are presented. Also, we consider the nonlinear evolution problems with a perturbation term which is multivalued. We show that, for this problem, the solution set is nonempty and weakly compact in ${W}^{1,2}(I,{R}^{N})$ for the case of convex valued perturbation and prove the existence theorems of anti-periodic solutions for the nonconvex case. All illustrative examples are provided.

### Keywords

anti-periodic solution evolution equation Leray-Schauder alternative theorem measurable selection continuous selection## 1 Introduction

Anti-periodic problems have important applications in auto-control, partial differential equations and engineering, and they have been studied extensively in the past ten years. For example, anti-periodic trigonometric polynomials are important in the study of interpolation problems [1], and anti-periodic wavelets are discussed in [2]. Recently, anti-periodic boundary conditions have been considered for the Schrödinger and Hill differential operator [3, 4]. Also, anti-periodic boundary conditions appear in the study of difference equations [5, 6]. Moreover, anti-periodic boundary conditions appear in physics in a variety of situations, see [7–10].

*u*and $\frac{{T}^{2}}{4}\parallel {A}^{2}\parallel <1$. We do not need these assumptions and consider the following semilinear anti-periodic problem:

where $A:{R}^{N}\to {R}^{N}$ is a hemicontinuous function satisfying $A(t+T,x)=-A(t,-x)$, $f:R\to {R}^{N}$ is a measurable function satisfying $f(t+T)=-f(t)$ for all $t\in R$ and *B* is a bounded linear operator from ${R}^{N}$ to ${R}^{N}$. We will establish some sufficient conditions for the existence and uniqueness of anti-periodic solutions of Eq. (1.2) by the theory of topological degree.

where $I=[0,T]$. We refer the reader to the work of [18, 19]. These works focused on the problem in which the multivalued term $F(t,x)$ is an even lower semi-continuous convex function with a compact assumption. But, in this paper, we prove the existence theorems of anti-periodic solutions for the cases of a convex and of a nonconvex valued perturbation term which is multivalued based on the techniques and results of the theory of set-valued analysis and the Leray-Schauder fixed point theorem. As far as we know, there are few papers which deal with this type of anti-periodic problems. For recent developments involving the existence of anti-periodic solutions of differential equations, inequalities and other interesting results on anti-periodic boundary value problems, the reader is referred to [20–27] and the references therein.

On the one hand, it is well known that the neural networks have been successfully applied to signal and image processing, pattern recognition and optimization. However, many neural networks with discontinuous neuron activation functions appear in the theoretical study on dynamics of neural networks, see [28, 29]. In order to solve some practical engineering problems, people also need to present new neural networks with discontinuous activation functions. Therefore, developing a new class of neural networks with discontinuous neuron activation functions and giving the conditions of the stability are very valuable in both theory and practice. Motivated by the above discussions, in this paper, we present a class of neural networks with discontinuous neuron activation functions. Based on our results, the existence and uniqueness of the equilibrium point is investigated.

where the control sets $U(\cdot ,\cdot )$ may also depend on the state variable *x*. Let $F(t,x)=f(t,x,U(t,x))$. Then Eq. (1.4) is reduced to $\dot{x}\in F(t,x)$, which is a particular case of the inclusion relation in Eq. (1.3). Hence, we present an example of a nonlinear anti-periodic distributed parameter control system with *a priori* feedback for our results.

This paper is organized as follows. In Section 2, we state some basic knowledge from multivalued analysis. In Section 3, we first establish the existence of anti-periodic solutions for an evolution equation by the theory of topological degree, and then, by applying the Leray-Schauder fixed point theorem, we prove the existence of anti-periodic solutions for convex and nonconvex cases. Finally, two examples for our results are presented in Section 4.

## 2 Preliminaries

*X*be a separable Banach space. Denote

*x*to

*A*is given by $d(x,A)=inf\{|x-a|:a\in A\}$. A multifunction $F:I\to {P}_{f}(X)$ is said to be measurable if and only if, for every $z\in X$, the function $t\to d(z,F(t))=inf\{\parallel z-x\parallel :x\in F(t)\}$ is measurable. A multifunction $G:I\to {2}^{X}\mathrm{\setminus}\{\mathrm{\varnothing}\}$ is said to be graph measurable if $GrG=\{(t,x):x\in G(t)\}\in \mathrm{\Sigma}\times B(X)$ with $B(X)$ being the Borel

*σ*-field of

*X*. On ${P}_{f}(X)$ we can define a generalized metric known in the literature as the ‘Hausdorff metric’, by setting

for all $A,B\in {P}_{f}(X)$. It is well known that $({P}_{f}(X),h)$ is a complete metric space and ${P}_{fc}(X)$ is a closed subset of it. When *Z* is a Hausdorff topological space, a multifunction $G:Z\to {P}_{f}(X)$ is said to be *h*-continuous if it is continuous as a function from *Z* into $({P}_{f}(X),h)$.

*Y*,

*Z*be Hausdorff topological spaces and $G:Y\to {2}^{Z}\mathrm{\setminus}\{\varphi \}$. We say that $G(\cdot )$ is ‘upper semicontinuous (USC)’ (resp. ‘lower semicontinuous (LSC)’), if for all $C\subseteq Z$ nonempty closed, ${G}^{-}(C)=\{y\in Y:G(y)\cap C\ne \varphi \}$ (resp. ${G}^{+}(C)=\{y\in Y:G(y)\subseteq C\}$) is closed in

*Y*. A USC multifunction has a closed graph in $Y\times Z$, while the converse is true if

*G*is locally compact (

*i.e.*, for every $y\in Y$, there exists a neighborhood

*U*of

*y*such that $\overline{F(U)}$ is compact in

*Z*). A multifunction which is both USC and LSC is said to be ‘continuous’. If

*Y*,

*Z*are both metric spaces, then the above definition of LSC is equivalent to saying that for all $z\in Z$, $y\to {d}_{Z}(z,G(y))=inf\{{d}_{Z}(z,v):v\in G(y)\}$ is upper semicontinuity as ${R}_{+}$-valued function. Also, lower semicontinuity is equivalent to saying that if ${y}_{n}\to y$ in

*Y*as $n\to \mathrm{\infty}$, then

A set $D\subseteq {L}^{2}(I,X)$ is said to be ‘decomposable’, if for every ${g}_{1},{g}_{2}\in D$ and for every $J\subseteq I$ measurable, we have ${\chi}_{J}{g}_{1}+{\chi}_{{J}^{c}}{g}_{2}\in D$. The following lemmas are still needed in the proof of our main theorems.

**Lemma 2.1** (see [31])

*If*

*X*

*is a Banach space*, $C\subset X$

*is nonempty*,

*closed and convex with*$0\in C$,

*and*$G:C\to {P}_{kc}(C)$

*is an upper semicontinuous multifunction which maps bounded sets into relatively compact sets*,

*then one of the following statements is true*:

- (i)
*the set*$\mathrm{\Gamma}=\{x\in C:x\in \lambda G(x),\lambda \in (0,1)\}$*is unbounded*; - (ii)
*the*$G(\cdot )$*has a fixed point*,*i*.*e*.,*there exists*$x\in C$*such that*$x\in G(x)$.

Let *X* be a Banach space and let ${L}^{2}(I,X)$ be the Banach space of all functions $u:I\to X$ which are Bochner integrable. $D({L}^{2}(I,X))$ denotes the collection of nonempty decomposable subsets of ${L}^{2}(I,X)$. Now, let us state the Bressan-Colombo continuous selection theorem.

**Lemma 2.2** (see [32])

*Let* *X* *be a separable metric space and let* $F:X\to D({L}^{2}(I,X))$ *be a lower semicontinuous multifunction with closed decomposable values*. *Then* *F* *has a continuous selection*.

## 3 Main results

### 3.1 The evolution equation

*x*. ${C}_{T}$ is a Banach space under the norm ${\parallel x\parallel}_{c}={max}_{t\in R}|x|$. Equipped with the norm

${W}^{1,2}$ becomes a separable Banach space. The following is our main result of this part.

**Theorem 3.1**

*Assume the following hold*:

- (i)
$f(t+T)=-f(t)$

*and*$A(t+T,-x)=-A(t,x)$*for all*$(t,x)\in R\times {R}^{N}$; - (ii)
$t\to A(t,x)$

*is measurable and*$f\in {L}^{2}([0,T];{R}^{N})$; - (iii)
*for each*$t\in R$,*the operator*$A(t,\cdot ):{R}^{N}\to {R}^{N}$*is uniformly monotone and hemicontinuous*,*that is*,*there exists a constant*$p>0$*such that*$(A(t,{x}_{1})-A(t,{x}_{2}),{x}_{1}-{x}_{2})\ge p{|{x}_{1}-{x}_{2}|}^{2}$*for all*${x}_{1},{x}_{2}\in {R}^{N}$,*and the map*$s\to (A(t,x+sz),y)$*is continuous on*$[0,1]$*for all*$x,y,z\in {R}^{N}$; - (iv)$B:{R}^{N}\to {R}^{N}$
*is a bounded linear operator and there exists*$c\in {R}^{+}$*such that*$(Bx,x)\ge c{|x|}^{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall}x\in {R}^{N},$

*then the problem* (1.2) *has a unique T*-*anti*-*periodic solution*.

In order to complete the proof of Theorem 3.1, we need the following lemmas.

**Lemma 3.1** (see [33])

*Suppose* Γ *is a bounded open set of a normal space* *X*, *f* *is compact in* $\overline{\mathrm{\Gamma}}$ *and* $p\in X\mathrm{\setminus}f(\partial \mathrm{\Gamma})$. *Then the equation* $f(x)=p$ *has at least one solution in* Γ, *provided with* $deg(f,\mathrm{\Gamma},p)\ne 0$.

**Lemma 3.2**

*Consider the equation*

*where* $B:{R}^{N}\to {R}^{N}$ *is a bounded linear operator*, *and there exists* $c\in {R}^{+}$ *such that* $(Bx,x)\ge c{|x|}^{2}$ *for all* $x\in {R}^{N}$, $f(t+T)=-f(t)$ *and* $f\in {L}^{2}([0,T];{R}^{N})$. *Then the problem* (3.1) *has a unique* *T*-*anti*-*periodic solution*.

*Proof* Let *x* be a solution of (3.1) satisfying the boundary value condition $x(0)=-x(T)$. Then *x* is a *T*-anti-periodic solution of (3.1). Denote $Lx=\dot{x}+Bx$ for all $x\in {W}^{1,2}$, then $L:{W}^{1,2}\to {L}^{2}([0,T];{R}^{N})$ is a linear operator.

*T*and the relation $x(0)=-x(T)$, one can see that

*B*is a linear bounded operator, then

Hence, ${x}_{1}={x}_{2}$ a.e. $t\in R$.

the solution of the problem (3.2) is an anti-periodic solution of the problem (3.1). This completes the proof. □

*Proof of Theorem 3.1*Consider the homotopic systems of (1.2),

where $\lambda \in [0,1]$. Obviously, $\lambda f(t)-\lambda A(t,x)$ is hemicontinuous.

*a priori*bound of the solution set is derived. We claim that there is

*a priori*bound in ${W}^{1,2}$ for the possible solution $x(t)$ of (3.3). Take the inner product with $x(t)$, and then integrate from 0 to

*T*. It follows that

*τ*to

*t*, we have that

*λ*) such that

*A*is hemicontinuous, and

*B*is a bounded linear operator, we show that

where the constants ${M}_{4},{M}_{5}>0$. The claim is proved.

*N*is compact. Hence, the fixed point of

*N*in $\overline{\mathrm{\Gamma}}$ is the anti-periodic solutions of Eq. (1.2). Let ${h}_{\lambda}(x):\overline{\mathrm{\Gamma}}\times [0,1]\to {W}^{1,2}$

where *id* is the identity. Consequently, *N* has a fixed point in Γ by Lemma 3.1. Namely, Eq. (1.2) has an anti-periodic solution.

*T*and the relation $x(0)=-x(T)$, one can see that

Hence, ${x}_{1}={x}_{2}$ a.e. $t\in R$. This ends the proof. □

### 3.2 The evolution inclusions

Let $I=[0,T]$ and $C(I;{R}^{N})$ be all the continuous functions from *I* to ${R}^{N}$ with the max norm. Let ${C}_{\beta}=\{v(\cdot )\in C(I;{R}^{N}):v(0)=-v(T)\}$, and ${W}^{1,2}(I,{R}^{N})=\{u(\cdot )\in {C}_{\beta}:\dot{u}(\cdot )\in {L}^{2}(I;{R}^{N})\}$. ${W}^{1,2}(I,{R}^{N})$ is a separable Banach space under the norm ${\parallel \cdot \parallel}_{1,2}$.

*B*is a bounded linear operator from ${R}^{N}$ to ${R}^{N}$, and $F:R\times {R}^{N}\to {2}^{{R}^{N}}$ is a multifunction. By a solution

*x*of the problem (3.8), we mean a function $x\in {W}^{1,2}(I,{R}^{N})$, and there exists a function $f(t)\in F(t,x(t))$ such that

for all $v\in {R}^{N}$ and almost all $t\in I$.

In this section, we prove two existence theorems under the hypothesis that the multivalued nonlinearity *F* is convex-valued (‘convex existence theorem’) or nonconvex-valued (‘nonconvex existence theorem’). The precise hypotheses on the data of the problem (3.8) are as follows:

- (i)
$t\to A(t,x)$ is measurable;

- (ii)
for each $t\in I$, the operator $A(t,\cdot ):{R}^{N}\to {R}^{N}$ is uniformly monotone and hemicontinuous,

*that is*, there exists a constant $p>0$ such that $(A(t,{x}_{1})-A(t,{x}_{2}),{x}_{1}-{x}_{2})\ge p{|{x}_{1}-{x}_{2}|}^{2}$ for all ${x}_{1},{x}_{2}\in {R}^{N}$, and the map $s\mapsto (A(t,x+sz),y)$ is continuous on $[0,1]$ for all $x,y,z\in {R}^{N}$.

- (i)
$(t,x)\to F(t,x)$ is graph measurable;

- (ii)
for almost all $t\in I$, $x\to F(t,x)$ is LSC;

- (iii)there exists an nonnegative function $b(\cdot )\in {L}_{+}^{2}(I)$ and a constant ${c}_{1}>0$ such that$|F(t,x)|=sup\{\parallel f\parallel :f\in F(t,x)\}\le b(t)+{c}_{1}{|x|}^{\alpha},$

for all $x\in {R}^{N}$, $t\in T$, where $\alpha <1$ or $\alpha =1$ with ${c}_{1}<c$ (*c* in $H(B)$).

- (i)
$(t,x)\to F(t,x)$ is graph measurable;

- (ii)
for almost all $t\in I$, $x\to F(t,x)$ has a closed graph; and $H{(F)}_{1}$(iii) holds.

**Theorem 3.2** *If hypotheses* $H(A)$, $H(B)$ *and* $H{(F)}_{1}$ *hold*, *then the problem* (3.8) *has a solution* $x\in {W}^{1,2}(I,{R}^{N})$.

*Proof*Let $Lx=\dot{x}+A(t,x)+Bx$ for all $x\in {W}^{1,2}(I,{R}^{N})$. By Theorem 3.1, we have $L:{W}^{1,2}(I,{R}^{N})\to {L}^{2}([0,T];{R}^{N})$ is one to one and surjective, and so ${L}^{-1}:{L}^{2}([0,T];{R}^{N})\to {W}^{1,2}(I,{R}^{N})$ is well defined. So, we prove that

is completely continuous (*i.e.*, it is continuous and maps bounded sets into relatively compact sets). To this end, let $K\subset {L}^{2}([0,T];{R}^{N})$ be bounded. We shall show that ${L}^{-1}(K)$ is relatively compact in ${L}^{2}([0,T];{R}^{N})$. For this purpose, let $x\in {L}^{-1}(K)$, then $x={L}^{-1}(u)$ with $u\in K$. By (3.7), we have ${\parallel x\parallel}_{2}\le c{\parallel Lx\parallel}_{2}={\parallel u\parallel}_{2}\le c|K|=csup\{{\parallel u\parallel}_{2}:u\in K\}<+\mathrm{\infty}$ and ${\parallel \dot{x}\parallel}_{2}\le {\parallel u\parallel}_{2}+{\parallel A(x)\parallel}_{2}+{\parallel Bx\parallel}_{2}\le M$ for some constant $M>0$. From these bounds we infer that ${L}^{-1}(K)$ is bounded in ${W}^{1,2}(I,{R}^{N})$. But ${W}^{1,2}(I,{R}^{N})$ is compactly embedded in ${L}^{2}([0,T];{R}^{N})$. Therefore, ${L}^{-1}(K)$ is relatively compact in ${L}^{2}([0,T];{R}^{N})$. Also, from the fact that ${L}^{-1}$ is a compact operator, ${L}^{-1}:{L}^{2}([0,T];{R}^{N})\to {L}^{2}([0,T];{R}^{N})$ is continuous.

Next, let $N:{L}^{2}([0,T];{R}^{N})\to {2}^{{L}^{2}([0,T];{R}^{N})}$ be the multivalued Nemitsky operator corresponding to *F* and *N* be defined by $N(x)=\{v\in {L}^{2}([0,T];{R}^{N}):v(t)\in F(t,x(t))\}$ a.e. on *I*.

*I*. By hypothesis $H{(F)}_{1}$(iii), $v\in {L}^{2}([0,T];{R}^{N})$. Thus for every $x\in {R}^{N}$, $N(x)\ne \mathrm{\varnothing}$. To prove the lower semicontinuity of $N(\cdot )$, we only show that every $u\in {L}^{2}([0,T];{R}^{N})$, $x\to d(u,N(x))$ is a USC ${R}_{+}$-valued function. Note that

*I*as $n\to \mathrm{\infty}$. By hypothesis $H{(F)}_{1}$(ii), $x\to d(u,F(t,x))$ is an upper semicontinuous ${R}_{+}$-valued function. So, via Fatou’s lemma, we have

Therefore, $x\in {U}_{\lambda}$ and this proves the LSC of $N(\cdot )$.

We apply Lemma 2.2 and obtain a continuous map $f:{L}^{2}([0,T];{R}^{N})\to {L}^{2}([0,T];{R}^{N})$ such that $f(x)\in N(x)$. To finish our proof, we only need to solve the fixed point problem: $x={L}^{-1}f(x)$.

for some constant ${c}_{4}>0$. So, Γ is bounded in ${L}^{2}([0,T];{R}^{N})$. Invoking Leray-Schauder’s alternative theorem, we obtain there exists $x\in {W}^{1,2}(I,{R}^{N})$ such that $x={L}^{-1}f(x)$, *x* is a solution of the problem (3.8). This ends the proof. □

**Theorem 3.3** *If hypotheses* $H(A)$, $H(B)$ *and* $H{(F)}_{2}$ *hold*, *then the problem* (3.8) *has a solution* $x\in {W}^{1,2}(I,{R}^{N})$. *Moreover*, *the solution set is weakly compact in* ${W}^{1,2}(I,{R}^{N})$.

*Proof* The proof is as that of Theorem 3.2. So, we only present those particular points where the two proofs differ.

the last inclusion being a consequence of hypothesis $H{(F)}_{2}$(ii). So $f\in N(x)$. Thus we prove the nonemptiness of $N(\cdot )$.

*C*be a nonempty and weakly closed subset of ${L}^{2}([0,T];{R}^{N})$. We need to show that the set

*I*. Let ${f}_{n}\in N({x}_{n})\cap C$, $n\ge 1$. Then by virtue of hypothesis $H{(F)}_{2}$(iii) and the Dunford-Pettis theorem, we may assume that ${f}_{n}\to f\in C$ weakly in ${L}^{2}([0,T];{R}^{N})$. As before, we have

then $f\in N(x)\cap C$, *i.e.*, ${N}^{-}(C)$ is closed in ${W}^{1,2}(I,{R}^{N})$. This proves the upper semicontinuity of $N(\cdot )$ from ${W}^{1,2}(I,{R}^{N})$ into ${L}^{2}{([0,T];{R}^{N})}_{w}$.

is bounded, as in the proof of Theorem 3.2. Invoking Lemma 2.1, there exists $u\in {W}^{1,2}(I,{R}^{N})$ such that $u\in {L}^{-1}N(u)$. Evidently, this is a solution of the problem (3.8).

*S*denote the solution set of the problem (3.8). As in the proof of Theorem 3.2, we have that $|S|=sup\{{\parallel u\parallel}_{1,2}:u\in S\}\le M$, where $M>0$. By virtue of hypothesis $H{(F)}_{2}$(iii) and the Dunford-Pettis theorem, we may assume that ${u}_{n}\to u$ weakly in ${W}^{1,2}(I,{R}^{N})$. As before, we have

then $u\in S$, hence *S* is weakly compact in ${W}^{1,2}(I,{R}^{N})$. □

## 4 Examples

where $x={({x}_{1},{x}_{2},\dots ,{x}_{N})}^{T}\in {R}^{N}$ is the vector of neuron state, $A=diag({a}_{1},{a}_{2},\dots ,{a}_{N})$ is an $N\times N$ diagonal matrix, where ${a}_{i}<0$, $i=1,2,\dots ,N$, are the neuron self-inhibitions; $B=({b}_{ij})$ is an $N\times N$ positive definite matrix, which represents the neuron interconnection matrix. Moreover, $g(x)={({g}_{1}({x}_{1}),{g}_{2}({x}_{2}),\dots ,{g}_{N}({x}_{N}))}^{T}:{R}^{N}\to {R}^{N}$ is a mapping where ${g}_{i}:i=1,2,\dots ,N$, represents the neuron input-output activation and $I(t)={({I}_{1}(t),{I}_{2}(t),\dots ,{I}_{N}(t))}^{T}:R\to {R}^{N}$ is the mapping of neuron inputs.

We set $A(t,x)=-Ag(x)$. It is easy to check $A(t,x)$ satisfies the condition of Theorem 3.1. Moreover, $I(t)$ is bounded and *B* is a positive definite matrix. Thus, by Theorem 3.1 we easily obtain the following theorem.

**Theorem 4.1** *If for any* $x,\overline{x}\in {R}^{N}$, *there exists a constant* $\alpha \in {R}_{+}$ *such that* $(g(x)-g(\overline{x}),x-\overline{x})\ge \alpha {|x-\overline{x}|}^{2}$, *and* $g(-x)=-g(x)$, $I(t+T)=-I(t)$ *for all* $t\in R$, $x\in {R}^{N}$, *then the problem* (4.1) *has a unique anti*-*periodic solution*.

Discontinuous dynamical systems, particularly neural networks with discontinuous activation functions, arise in a number of applications. Further, we need the following assumptions.

H(C): We have ${I}_{i}\in \mathrm{\Omega}$, for any $i=1,2,\dots ,N$, where Ω denotes the class of functions from ${R}^{N}$ to *R* which are monotone nondecreasing bounded and have at most a finite number of jump discontinuities in every compact interval.

*I*satisfies $H(C)$, then any ${I}_{i}$, $i=1,2,\dots ,N$, possesses only isolated jump discontinuities where ${I}_{i}$ is not necessary defined. Hence for all $x\in {R}^{N}$, we have

The existence and the stability of the equilibrium point of (4.1) were first discussed in [29] ($I(t)$ is constant). In [28], the authors proved the existence of periodic solutions of (4.1) when $I(t)$ is the continuous periodic input and $g(x)$ is discontinuous.

We set $F(t,x)=\mathrm{\Phi}[I(x)]$, it is easy to check $F(t,x)$ satisfies $H{(F)}_{2}$. Thus, by Theorem 3.3, we obtain the following theorem.

**Theorem 4.2** *If for any* $x,\overline{x}\in {R}^{N}$, *there exists a constant* $\alpha \in {R}_{+}$ *such that* $(g(x)-g(\overline{x}),x-\overline{x})\ge \alpha {|x-\overline{x}|}^{2}$, *and* $H(C)$ *hold*, *then the problem* (4.1) *has a nonempty set of solutions* $x\in {W}^{1,2}(I,{R}^{N})$.

*a priori*feedback (

*i.e.*, state dependent control constraint set). Let $T=[0,b]$, $\dot{x}=({\dot{x}}_{1},{\dot{x}}_{2},\dots ,{\dot{x}}_{N})$. We consider the following control system:

where *B* is a positive definite matrix. The hypotheses on the data (4.3) are as follows:

with ${\theta}_{1},{\theta}_{2}>0$, $0<\alpha <1$, ${\eta}_{1}(t)\in {L}_{+}^{2}(T)$, ${\eta}_{2}(t)\in {L}^{\mathrm{\infty}}(T)$.

- (i)
for all $x\in {R}^{N}$, $t\to U(t,x)$ is measurable;

- (ii)
for all $t\in T$, $x\to U(t,x)$ is

*h*-continuous; - (iii)
for almost all $t\in T$ and all $x\in {R}^{N}$, $|U(t,x)|\le \gamma $, with $\gamma >0$.

*A*satisfies hypothesis $H(A)$,

*B*satisfies hypothesis $H(B)$. Also, let $F:T\times {R}^{N}\to {P}_{k}({R}^{N})$ be defined by

Using hypotheses $H(a)$ and $H(U)$, it is straightforward to check that *F* satisfies hypothesis $H{(F)}_{1}$.

We can apply Theorem 3.2 on the problem (4.3) and obtain:

**Theorem 4.3** *If hypotheses* $H(a)$ *and* $H(U)$ *hold*, *then the problem* (4.3) *has a solution* $x\in {W}^{1,2}(I,{R}^{N})$.

## Declarations

### Acknowledgements

The authors would like to express their sincere appreciation to the reviewer for his/her helpful comments in improving the presentation and quality of the paper. This work is partially supported by NSFC Grants 11171350 and Natural Science Foundation of Jilin Province Grants 201115133. The second author was partially supported by NSFC Grant (11171350) and Natural Science Foundation of Jilin Province (201115133) of China.

## Authors’ Affiliations

## References

- Du JY, Han HL, Jin GX: On trigonometric and paratrigonometric Hermite interpolation.
*J. Approx. Theory*2004, 131: 74–99. 10.1016/j.jat.2004.09.005MathSciNetView ArticleMATHGoogle Scholar - Chen HL: Antiperiodic wavelets.
*J. Comput. Math.*1996, 14: 32–39.MathSciNetMATHGoogle Scholar - Djiakov P, Mityagin B: Spectral gaps of the periodic Schrödinger operator when its potential is an entire function.
*Adv. Appl. Math.*2003, 31: 562–596. 10.1016/S0196-8858(03)00027-7View ArticleMATHGoogle Scholar - Djiakov P, Mityagin B: Simple and double eigenvalues of the Hill operator with a two-term potential.
*J. Approx. Theory*2005, 135: 70–104. 10.1016/j.jat.2005.03.004MathSciNetView ArticleMATHGoogle Scholar - Cabada A, Vivero DR: Existence and uniqueness of solutions of higher-order antiperiodic dynamic equations.
*Adv. Differ. Equ.*2004, 4: 291–310.MathSciNetMATHGoogle Scholar - Wang Y, Shi YM: Eigenvalues of second-order difference equations with periodic and antiperiodic boundary conditions.
*J. Math. Anal. Appl.*2005, 309: 56–69. 10.1016/j.jmaa.2004.12.010MathSciNetView ArticleMATHGoogle Scholar - Abdurahman A, Anton F, Bordes J: Half-string oscillator approach to string field theory (ghost sector: I).
*Nucl. Phys. B*1993, 397: 260–282. 10.1016/0550-3213(93)90344-OView ArticleMathSciNetGoogle Scholar - Ahn C, Rim C: Boundary flows in general coset theories.
*J. Phys. A*1999, 32: 2509–2525. 10.1088/0305-4470/32/13/004MathSciNetView ArticleMATHGoogle Scholar - Kleinert H, Chervyakov A: Functional determinants from Wronski Green function.
*J. Math. Phys.*1999, 40: 6044–6051. 10.1063/1.533069MathSciNetView ArticleMATHGoogle Scholar - Pinsky S, Tritman U: Antiperiodic boundary conditions to supersymmetric discrete light cone quantization.
*Phys. Rev. D*2000., 62: Article ID 087701Google Scholar - Okochi H: On the existence of periodic solutions to nonlinear abstract parabolic equations.
*J. Math. Soc. Jpn.*1988, 40: 541–553. 10.2969/jmsj/04030541MathSciNetView ArticleMATHGoogle Scholar - Aizicovici S, McKibben M, Reich S: Anti-periodic solutions to nonmonotone evolution equations with discontinuous nonlinearities.
*Nonlinear Anal.*2001, 43: 233–251. 10.1016/S0362-546X(99)00192-3MathSciNetView ArticleMATHGoogle Scholar - Aizicovici S, Reich S: Anti-periodic solutions to a class of non-monotone evolution equations.
*Discrete Contin. Dyn. Syst.*1999, 5: 35–42.MathSciNetMATHGoogle Scholar - Aftabizadeh AR, Aizicovici S, Pavel NH: Anti-periodic boundary value problems for higher order differential equations in Hilbert spaces.
*Nonlinear Anal.*1992, 18: 253–267. 10.1016/0362-546X(92)90063-KMathSciNetView ArticleMATHGoogle Scholar - Chen YQ: Anti-periodic solutions for semilinear evolution equations.
*J. Math. Anal. Appl.*2006, 315: 337–348. 10.1016/j.jmaa.2005.08.001MathSciNetView ArticleMATHGoogle Scholar - Franco D, Nieto JJ, O’Regan D: Anti-periodic boundary value problem for nonlinear first order ordinary differential equations.
*Math. Inequal. Appl.*2003, 6: 477–485.MathSciNetMATHGoogle Scholar - Okochi H: On the existence of anti-periodic solutions to a nonlinear evolution equation associated with odd subdifferential operators.
*J. Funct. Anal.*1990, 91: 246–258. 10.1016/0022-1236(90)90143-9MathSciNetView ArticleMATHGoogle Scholar - Chen YQ, Cho YJ, O’Regan D: Anti-periodic solutions for evolution equations associated with monotone type mappings.
*Appl. Math. Lett.*2010, 23: 1320–1325. 10.1016/j.aml.2010.06.022MathSciNetView ArticleMATHGoogle Scholar - Haraux A: Anti-periodic solutions of some nonlinear evolution equations.
*Manuscr. Math.*1989, 63: 479–505. 10.1007/BF01171760MathSciNetView ArticleMATHGoogle Scholar - Chen Y, Kim J, Li Y: Viscosity periodic and anti-periodic solutions for nonlinear equations.
*Nonlinear Funct. Anal. Appl.*2005, 10(2):173–177.MathSciNetMATHGoogle Scholar - Park J, Ha T: Existence of antiperiodic solutions for hemivariational inequalities.
*Nonlinear Anal.*2008, 68(4):747–767. 10.1016/j.na.2006.11.032MathSciNetView ArticleMATHGoogle Scholar - Jankowski T: Ordinary differential equations with nonlinear boundary conditions of antiperiodic type.
*Comput. Math. Appl.*2004, 47: 1419–1428. 10.1016/S0898-1221(04)90134-4MathSciNetView ArticleMATHGoogle Scholar - Franco D, Nieto J, O’Regan D: Anti-periodic boundary value problem for nonlinear first order ordinary differential equations.
*Math. Inequal. Appl.*2003, 6: 477–485.MathSciNetMATHGoogle Scholar - Chen YQ, Cho YJ, O’Regan D: Anti-periodic solutions for evolution equations associated with monotone type mappings Anti-periodic solutions for evolution equations.
*Math. Nachr.*2005, 278: 356–362. 10.1002/mana.200410245MathSciNetView ArticleMATHGoogle Scholar - Liu Q: Existence of anti-periodic mild solutions for semilinear evolution equations.
*J. Math. Anal. Appl.*2011, 377: 110–120. 10.1016/j.jmaa.2010.10.032MathSciNetView ArticleMATHGoogle Scholar - Liu ZH: Anti-periodic solutions to nonlinear evolution equations.
*J. Funct. Anal.*2010, 258: 2026–2033. 10.1016/j.jfa.2009.11.018MathSciNetView ArticleMATHGoogle Scholar - Wang Y: Antiperiodic solutions for dissipative evolution equations.
*Math. Comput. Model.*2010, 51: 715–721. 10.1016/j.mcm.2009.10.021View ArticleMathSciNetMATHGoogle Scholar - Wu HQ: Stability analysis for periodic solution of neural networks with discontinuous neuron activations.
*Nonlinear Anal., Real World Appl.*2009, 10: 1717–1729. 10.1016/j.nonrwa.2008.02.024MathSciNetView ArticleMATHGoogle Scholar - Forti M, Nistri P: Global convergence of neural networks with discontinuous neuron activation.
*IEEE Trans. Circuits Syst. I*2003, 50: 1421–1435. 10.1109/TCSI.2003.818614MathSciNetView ArticleGoogle Scholar - Hu S, Papageorgiou NS:
*Handbook of Multivalued Analysis. Volume I: Theory*. Kluwer, Dordrecht; 1997.View ArticleMATHGoogle Scholar - Dugundji J, Granas A Monogr. Matematyczne 123.
*Fixed Point Theory*1986, 9–31.Google Scholar - Bressan A, Colombo G: Extensions and selection of maps with decomposable values.
*Stud. Math.*1988, 90: 69–86.MathSciNetMATHGoogle Scholar - Deimling K:
*Nonlinear Functional Analysis*. Springer, New York; 1985.View ArticleMATHGoogle Scholar - Hiai F, Umegaki H: Integrals, conditional expectations and martingales of multivalued functions.
*J. Multivar. Anal.*1977, 7: 149–182. 10.1016/0047-259X(77)90037-9MathSciNetView ArticleMATHGoogle Scholar - Papageoriou NS: Convergence theorems for Banach space valued integrable multifunctions.
*Int. J. Math. Math. Sci.*1987, 10: 433–442. 10.1155/S0161171287000516View ArticleMathSciNetGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.