 Research
 Open Access
 Published:
Existence of antiperiodic solutions for secondorder ordinary differential equations involving the Fučík spectrum
Boundary Value Problems volume 2012, Article number: 149 (2012)
Abstract
In this paper, we study the existence of antiperiodic solutions for a secondorder ordinary differential equation. Using the interaction of the nonlinearity with the Fučík spectrum related to the antiperiodic boundary conditions, we apply the LeraySchauder degree theory and the Borsuk theorem to establish new results on the existence of antiperiodic solutions of secondorder ordinary differential equations. Our nonlinearity may cross multiple consecutive branches of the Fučík spectrum curves, and recent results in the literature are complemented and generalized.
1 Introduction and main results
In this paper, we study the existence of antiperiodic solutions for the following secondorder ordinary differential equation:
where f\in C({\mathbb{R}}^{2},\mathbb{R}), f(t+\frac{T}{2},s)=f(t,s), \mathrm{\forall}t,s\in \mathbb{R} and T is a positive constant. A function x(t) is called an antiperiodic solution of (1.1) if x(t) satisfies (1.1) and x(t+\frac{T}{2})=x(t) for all t\in \mathbb{R}. Note that to obtain antiperiodic solutions of (1.1), it suffices to find solutions of the following antiperiodic boundary value problem:
In what follows, we will consider problem (1.2) directly.
The problem of the existence of solutions of (1.1) under various boundary conditions has been widely investigated in the literature and many results have been obtained (see [1–13]). Usually, the asymptotic interaction of the ratio \frac{f(t,s)}{s} with the Fučík spectrum of {x}^{\u2033} under various boundary conditions was required as a nonresonance condition to obtain the solvability of equation (1.1). Recall that the Fučík spectrum of {x}^{\u2033} with an antiperiodic boundary condition is the set of real number pairs ({\lambda}_{+},{\lambda}_{})\in {\mathbb{R}}^{2} such that the problem
has nontrivial solutions, where {x}^{+}=max\{0,x\}, {x}^{}=max\{0,x\}; while the concept of Fučík spectrum was firstly introduced in the 1970s by Fučík [14] and Dancer [15] independently under the periodic boundary condition. Since the work of Fonda [6], some investigation has been devoted to the nonresonance condition of (1.1) by studying the asymptotic interaction of the ratio \frac{2F(t,s)}{{s}^{2}}, where F(t,s)={\int}_{0}^{s}f(t,\tau )\phantom{\rule{0.2em}{0ex}}d\tau, with the spectrum of {x}^{\u2033} under different boundary conditions; for instance, see [10] for the periodic boundary condition, [16] for the twopoint boundary condition. Note that
we can see that the conditions on the ratio \frac{2F(t,s)}{{s}^{2}} are more general than those on the ratio \frac{f(t,s)}{s}. In fact, by using the asymptotic interaction of the ratio \frac{2F(t,s)}{{s}^{2}} with the spectrum of {x}^{\u2033}, the ratio \frac{f(t,s)}{s} can cross multiple spectrum curves of {x}^{\u2033}. In this paper, we are interested in the nonresonance condition on the ratio \frac{2F(t,s)}{{s}^{2}} for the solvability of (1.1) involving the Fučík spectrum of {x}^{\u2033} under the antiperiodic boundary condition.
Note that the study of antiperiodic solutions for nonlinear differential equations is closely related to the study of periodic solutions. In fact, since f(t,s)=f(t+\frac{T}{2},s)=f(t+T,s), x(t) is a Tperiodic solution of (1.1) if x(t) is a \frac{T}{2}antiperiodic solution of (1.1). Many results on the periodic solutions of (1.1) have been worked out. For some recent work, one can see [2–5, 8–10, 17]. As special periodic solutions, the existence of antiperiodic solutions plays a key role in characterizing the behavior of nonlinear differential equations coming from some models in applied sciences. During the last thirty years, antiperiodic problems of nonlinear differential equations have been extensively studied since the pioneering work by Okochi [18]. For example, in [19], antiperiodic trigonometric polynomials are used to investigate the interpolation problems, and antiperiodic wavelets are studied in [20]. Also, some existence results of ordinary differential equations are presented in [17, 21–24]. Antiperiodic boundary conditions for partial differential equations and abstract differential equations are considered in [25–32]. For recent developments involving the existence of antiperiodic solutions, one can also see [33–35] and the references therein.
Denote by Σ the Fuc̆ík spectrum of the operator {x}^{\u2033} under the antiperiodic boundary condition. Simple computation implies that \mathrm{\Sigma}={\bigcup}_{m=1}^{+\mathrm{\infty}}{\mathrm{\Sigma}}_{m}, where
It is easily seen that the set Σ can be seen as a subset of the Fuc̆ík spectrum of {x}^{\u2033} under the corresponding Dirichlet boundary condition; one can see the definition of the set {\mathrm{\Sigma}}_{2i+1}, i\in \mathbb{N}, or Figure 1 in [12]. Without loss of generality, we assume that {\phi}_{m} is an eigenfunction of (1.3) corresponding to ({\lambda}_{+},{\lambda}_{})\in {\mathrm{\Sigma}}_{m} such that {\phi}_{m}(0)=0 and {\phi}_{m}^{\prime}(0)=a\in \mathbb{R}\setminus \{0\}. Denote {\mathrm{\Sigma}}_{m,1}=\{({\lambda}_{+},{\lambda}_{})\in {\mathbb{R}}^{2}:\frac{(m+1)\pi}{\sqrt{{\lambda}_{+}}}+\frac{m\pi}{\sqrt{{\lambda}_{}}}=\frac{T}{2},m\in {\mathbb{Z}}^{+}\} and {\mathrm{\Sigma}}_{m,2}=\{({\lambda}_{+},{\lambda}_{})\in {\mathbb{R}}^{2}:\frac{m\pi}{\sqrt{{\lambda}_{+}}}+\frac{(m+1)\pi}{\sqrt{{\lambda}_{}}}=\frac{T}{2},m\in {\mathbb{Z}}^{+}\}. Then if a>0, we obtain only a onedimensional function {\phi}_{m}, denoted by {\phi}_{m,1}, corresponding to the point ({\lambda}_{+},{\lambda}_{})\in {\mathrm{\Sigma}}_{m,1}, and if a<0, we obtain only a onedimensional function {\phi}_{m}, denoted by {\phi}_{m,2}, corresponding to the point ({\lambda}_{+},{\lambda}_{})\in {\mathrm{\Sigma}}_{m,2}.
In this paper, together with the LeraySchauder degree theory and the Borsuk theorem, we obtain new existence results of antiperiodic solutions of (1.1) when the nonlinearity f(t,s) is asymptotically linear in s at infinity and the ratio \frac{F(t,s)}{{s}^{2}} stays asymptotically at infinity in some rectangular domain between Fučík spectrum curves {\mathrm{\Sigma}}_{m} and {\mathrm{\Sigma}}_{m+1}.
Our main result is as follows.
Theorem 1.1 Assume that f\in C({\mathbb{R}}^{2},\mathbb{R}), f(t+\frac{T}{2},s)=f(t,s). If the following conditions:

(i)
There exist positive constants ρ, {C}_{1}, M such that
\rho \le \frac{f(t,s)}{s}\le {C}_{1},\phantom{\rule{1em}{0ex}}\mathrm{\forall}t\in \mathbb{R},\mathrm{\forall}s\ge M;(1.4) 
(ii)
There exist connect subset \mathrm{\Gamma}\subset {\mathbb{R}}^{2}\setminus \mathrm{\Sigma}, constants {p}_{1},{q}_{1},{p}_{2},{q}_{2}>0 and a point of the type (\lambda ,\lambda )\in {\mathbb{R}}^{2} such that
(\lambda ,\lambda )\in [{p}_{1},{q}_{1}]\times [{p}_{2},{q}_{2}]\subset \mathrm{\Gamma}(1.5)
and
hold uniformly for all t\in \mathbb{R},
then (1.1) admits a \frac{T}{2}antiperiodic solution.
In particular, if {\lambda}_{+}={\lambda}_{}, then problem (1.3) becomes the following linear eigenvalue problem:
Simple computation implies that the operator {x}^{\u2033} with the antiperiodic boundary condition has a sequence of eigenvalues {\lambda}_{m}=\frac{4{(2m1)}^{2}{\pi}^{2}}{{T}^{2}}, m\in {\mathbb{Z}}^{+}, and the corresponding eigenspace is twodimensional.
Corollary 1.2 Assume that f\in C({\mathbb{R}}^{2},\mathbb{R}), f(t,s)=f(t+\frac{T}{2},s). If (1.4) holds and there exist constants p, q and m\in {\mathbb{Z}}^{+} such that
holds uniformly for all t\in \mathbb{R}, then (1.1) admits a \frac{T}{2}antiperiodic solution.
Remark It is well known that (1.1) has a \frac{T}{2}antiperiodic solution if
for some {\sigma}_{1}>0 (see Theorem 3.1 in [22]), which implies that the ratio \frac{f(t,s)}{s} stays at infinity asymptotically below the first eigenvalue {\lambda}_{1} of (1.6). In this paper, this requirement on the ratio \frac{f(t,s)}{s} can be relaxed to (1.4), with some additional restrictions imposed on the ratio \frac{2F(t,s)}{{s}^{2}}. In fact, the conditions relative to the ratios \frac{f(t,s)}{s} and \frac{2F(t,s)}{{s}^{2}} as in Theorem 1.1 and Corollary 1.2 may lead to that the ratio \frac{f(t,s)}{s} oscillates and crosses multiple consecutive eigenvalues or branches of the Fučík spectrum curves of the operator {x}^{\u2033}. In what follows, we give an example to show this.
Denote {\lambda}_{m}=\frac{4{(2m1)}^{2}{\pi}^{2}}{{T}^{2}} for some positive integer m\ge 1. Define
where \delta \in (0,\frac{{\lambda}_{1}}{100}). Clearly,
In addition,
for all t\in \mathbb{R}, s\in \mathbb{R}, which imply that
for all t\in \mathbb{R}. It is obvious that (1.7) implies that the assumption (i) of Theorem 1.1 holds. Take {p}_{1}=\frac{{\lambda}_{m}+{\lambda}_{m+1}}{2}{\sigma}_{1}, {p}_{2}=\frac{{\lambda}_{m}+{\lambda}_{m+1}}{2}+{\sigma}_{1}, {q}_{1}=\frac{{\lambda}_{m}+{\lambda}_{m+1}}{2}{\sigma}_{2}, {q}_{2}=\frac{{\lambda}_{m}+{\lambda}_{m+1}}{2}{\sigma}_{2} such that [{p}_{1},{p}_{2}]\times [{q}_{1},{q}_{2}]\subset {\mathbb{R}}^{2}\setminus \mathrm{\Sigma}. Then (1.8) implies that the assumption (ii) of Theorem 1.1 holds. Thus, by Theorem 1.1 we can obtain a \frac{T}{2}antiperiodic solution of equation (1.1). Here the ratio \frac{2F(t,s)}{{s}^{2}} stays at infinity in the rectangular domain [{p}_{1},{p}_{2}]\times [{q}_{1},{q}_{2}] between Fučík spectrum curves {\mathrm{\Sigma}}_{m} and {\mathrm{\Sigma}}_{m+1}, while the ratio \frac{f(t,s)}{s} can cross at infinity multiple Fučík spectrum curves {\mathrm{\Sigma}}_{1},{\mathrm{\Sigma}}_{2},\dots ,{\mathrm{\Sigma}}_{m+1}.
This paper is organized as follows. In Section 2, some necessary preliminaries are presented. In Section 3, we give the proof of Theorem 1.1.
2 Preliminaries
Assume that T>0. Define
For x\in {C}_{\frac{T}{2}}^{k}, we can write the Fourier series expansion as follows:
Define an operator J:{C}_{\frac{T}{2}}^{k}\to {C}_{\frac{T}{2}}^{k+1} by
Clearly,
which implies that
Furthermore, we obtain
Note that
using the Parseval equality {\int}_{0}^{T}{x(s)}^{2}\phantom{\rule{0.2em}{0ex}}ds=\frac{T}{2}{\sum}_{i=0}^{\mathrm{\infty}}[{a}_{2i+1}^{2}+{b}_{2i+1}^{2}], we get
which implies that the operator J is continuous. In view of the ArzelaAscoli theorem, it is easy to see that J is completely continuous.
Denote by deg the LeraySchauder degree. We need the following results.
Lemma 2.1 ([[36], p.58])
Let Ω be a bounded open region in a real Banach space X. Assume that K:\overline{\mathrm{\Omega}}\to \mathbb{R} is completely continuous and p\notin (IK)(\partial \mathrm{\Omega}). Then the equation (IK)(x)=p has a solution in Ω if deg(IK,\mathrm{\Omega},p)\ne 0.
Lemma 2.2 ([[36], Borsuk theorem, p.58])
Assume that X is a real Banach space. Let Ω be a symmetric bounded open region with \theta \in \mathrm{\Omega}. Assume that K:\overline{\mathrm{\Omega}}\to \mathbb{R} is completely continuous and odd with \theta \notin (IK)(\partial \mathrm{\Omega}). Then deg(IK,\mathrm{\Omega},\theta ) is odd.
3 Proof of Theorem 1.1
Proof of Theorem 1.1 Consider the following homotopy problem:
where (\lambda ,\lambda )\in [{p}_{1},{p}_{2}]\times [{q}_{1},{q}_{2}], \mu \in [0,1].
We first prove that the set of all possible solutions of problem (3.1)(3.2) is bounded. Assume by contradiction that there exist a sequence of number \{{\mu}_{n}\}\subset [0,1] and corresponding solutions \{{x}_{n}\} of (3.1)(3.2) such that
Set {z}_{n}=\frac{{x}_{n}}{{\parallel {x}_{n}\parallel}_{{C}^{1}}}. Obviously, {\parallel {z}_{n}\parallel}_{{C}^{1}}=1 and {z}_{n} satisfies
By (1.4), (3.3) and the fact that f is continuous, there exist {n}_{0}\in {\mathbb{Z}}^{+}, {C}_{1}>0 such that
In view of {\mu}_{n}\in [0,1], together with the choice of (\lambda ,\lambda ), it follows that there exists {M}_{1}>0 such that, for all n\ge {n}_{0},
It is easily seen that \{{z}_{n}(t)\} and \{{z}_{n}^{\prime}(t)\} are uniformly bounded and equicontinuous on [0,T]. Then, using the ArzelaAscoli theorem, there exist uniformly convergent subsequences on [0,T] for \{{z}_{n}(t)\} and \{{z}_{n}^{\prime}(t)\} respectively, which are still denoted as \{{z}_{n}(t)\} and \{{z}_{n}^{\prime}(t)\}, such that
Clearly, {\parallel z\parallel}_{{C}^{1}}=1. Since {x}_{n}(t) is a solution of (3.1)(3.2), for each n, we get
which implies that there exists {t}_{n}\in [0,T] such that {x}_{n}({t}_{n})=0. Then
Owing to that the sequences \{{t}_{n}\} and \{{\mu}_{n}\} are uniformly bounded, there exist {t}_{0}\in [0,T] and {\mu}_{0}\in [0,1] such that, passing to subsequences if possible,
Multiplying both sides of (3.4) by {z}_{n}^{\prime}(t) and integrating from {t}_{n} to t, we get
Taking a superior limit as n\to \mathrm{\infty}, by (3.3) and (3.6)(3.8), we obtain
By the assumption (ii) and the choice of λ, if z(t)>0, we have
Similarly, we obtain
Note that z(t)\in {C}^{1}[0,T], the above inequalities can be rewritten as the following equivalent forms:
It is easy to see that {z}^{\prime}({t}_{0})\ne 0. In fact, if not, in view of (3.7)(3.10), we get z(t)=0, {z}^{\prime}(t)=0, \mathrm{\forall}t\in [0,T], which is contrary to {\parallel z\parallel}_{{C}^{1}}=1.
We claim that {z}^{\prime}(t) has only finite zero points on [0,T]. In fact, if not, we may assume that there are infinitely many zero points \{{\zeta}_{i}\}\subset [0,T] of {z}^{\prime}(t). Without loss of generality, we assume that there exists {\zeta}_{0}\in [0,T] such that {lim}_{i\to \mathrm{\infty}}{\zeta}_{i}={\zeta}_{0}. Letting t={\zeta}_{i} in (3.9)(3.10) and taking i\to \mathrm{\infty}, we can obtain that z({\zeta}_{0})\ne 0. Without loss of generality, we assume that z({\zeta}_{0})>0. Since z(t) is continuous, there exist \eta ,\delta >0 such that z(t)\ge \eta >0, \mathrm{\forall}t\in [{t}_{0}\delta ,{t}_{0}+\delta ]. Then there exists {n}_{1}>0 such that, if n>{n}_{1}, we have
Clearly, {z}_{n}^{}(t)=0, \mathrm{\forall}t\in [{t}_{0}\delta ,{t}_{0}+\delta ]. Take {\zeta}_{\ast},{\zeta}^{\ast}\in [{t}_{0}\delta ,{t}_{0}+\delta ] with {\zeta}_{\ast}<{\zeta}^{\ast} such that {z}^{\prime}({\zeta}^{\ast})={z}^{\prime}({\zeta}_{\ast})=0. Integrating (3.4) from {\zeta}_{\ast} to {\zeta}^{\ast},
By (3.3), (3.11), we obtain
holds uniformly for t\in [{\zeta}_{\ast},{\zeta}^{\ast}]. Thus, using (1.4), we get
which implies that
Then, together with (3.6), (3.8) and (3.12), we obtain
a contradiction.
Now, we show that (3.9)(3.10) has only a trivial antiperiodic solution. In fact, if not, we assume that (3.9)(3.10) has a nontrivial antiperiodic solution \overline{z}(t). Without loss of generality, we assume {t}_{0}=0. Firstly, we consider the case that {\overline{z}}^{\prime}(0)>0. Assume that {z}_{1}, {z}_{2} satisfy the following equations respectively:
with
Take {t}_{1} as the first zero point of \overline{z}(t) on (0,T]. Then by (3.13)(3.16) it follows that
In fact, by (3.15)(3.16) and the fact that \overline{z}, {z}_{1}, {z}_{2} are continuous differential, it is easy to see that there exists sufficiently small \u03f5\in (0,{t}_{1}) such that
If there is \overline{t}\in (\u03f5,{t}_{1}) such that \overline{z}(\overline{t})={z}_{1}(t), then comparing (3.9) with (3.13), we can obtain that {\overline{z}}^{\prime}(\overline{t})\ge {z}_{1}^{\prime}(\overline{t}), which implies that if t>\overline{t}, we have \overline{z}(\overline{t})\ge {z}_{1}(\overline{t}). Then \overline{z}(t)\ge {z}_{1}(t) for t\in (0,{t}_{1}]. Similarly, we have \overline{z}(t)\le {z}_{2}(t), \mathrm{\forall}t\in [0,{t}_{1}]. Hence, (3.17) holds.
Similarly, if {z}_{1}, {z}_{2} satisfy
and
then we obtain
where {t}_{2} is the first zero point on ({t}_{1},T).
Since {z}^{\prime}(t) has finite zero points, (3.13), (3.14), (3.18), (3.19) can be transformed into the following equations respectively:
Then there exist A,B,C,D>0 such that
It is easy to get
Since \overline{z} is antiperiodic and {\overline{z}}^{\prime}(0)>0, there exists m\in {\mathbb{Z}}^{+} such that
which implies that there exists a real number pair ({p}^{\ast},{q}^{\ast})\in [{p}_{1},{p}_{2}]\times [{q}_{1},{q}_{2}] such that
On the other hand, in view of the assumption (ii), by the definition of Σ and ({p}^{\ast},{q}^{\ast})\in [{p}_{1},{p}_{2}]\times [{q}_{1},{q}_{2}], it follows that
which is contrary to (3.22).
If {\overline{z}}^{\prime}(0)<0, then by the assumption (ii), we can obtain a contradiction using similar arguments.
In a word, we can see that there exists C>0 independent of μ such that
Set
Clearly, Ω is a bounded open set in {C}_{\frac{T}{2}}^{1}. Note that, for x\in {C}_{\frac{T}{2}}^{1}, using the assumption on f, we obtain
which implies that \phi \in {C}_{\frac{T}{2}}^{0}.
Define {G}_{\mu}:\overline{\mathrm{\Omega}}\to {C}_{\frac{T}{2}}^{2} by
Clearly, {G}_{\mu} is completely continuous, and by (2.1) and (3.1) it follows that the fixed point of {G}_{1} in \overline{\mathrm{\Omega}} is the antiperiodic solution of problem (1.1). Define the homotopy H:\overline{\mathrm{\Omega}}\times [0,1]\to {C}_{\frac{T}{2}}^{1} as follows:
In view of (3.23), it follows that
Hence,
Note that the operator {G}_{0} is odd. By Lemma 2.2 it follows that deg(I{G}_{0},\mathrm{\Omega},0)\ne 0. Thus,
Now, using Lemma 2.1, we can see that (1.2) has a solution and hence (1.1) has a \frac{T}{2}antiperiodic solution. The proof is complete. □
References
Bravo JL, Torres PJ: Periodic solutions of a singular equation with indefinite weight. Adv. Nonlinear Stud. 2010, 10: 927938.
Chu J, Fan N, Torres PJ: Periodic solutions for second order singular damped differential equations. J. Math. Anal. Appl. 2012, 388: 665675. 10.1016/j.jmaa.2011.09.061
Chu J, Torres PJ: Applications of Schauder’s fixed point theorem to singular differential equations. Bull. Lond. Math. Soc. 2007, 39: 653660. 10.1112/blms/bdm040
Chu J, Torres PJ, Zhang M: Periodic solutions of second order nonautonomous singular dynamical systems. J. Differ. Equ. 2007, 239: 196212. 10.1016/j.jde.2007.05.007
Chu J, Zhang Z: Periodic solutions of singular differential equations with signchanging potential. Bull. Aust. Math. Soc. 2010, 82: 437445. 10.1017/S0004972710001607
Fonda A: On the existence of periodic solutions for scalar second order differential equations when only the asymptotic behaviour of the potential is known. Proc. Am. Math. Soc. 1993, 119: 439445. 10.1090/S00029939199311542464
Habets P, Omari P, Zanolin F: Nonresonance conditions on the potential with respect to the Fučík spectrum for the periodic boundary value problem. Rocky Mt. J. Math. 1995, 25: 13051340. 10.1216/rmjm/1181072148
Halk R, Torres PJ: On periodic solutions of secondorder differential equations with attractiverepulsive singularities. J. Differ. Equ. 2010, 248: 111126. 10.1016/j.jde.2009.07.008
Halk R, Torres PJ, Zamora M: Periodic solutions of singular second order differential equations: the repulsive case. Topol. Methods Nonlinear Anal. 2012, 39: 199220.
Liu W, Li Y: Existence of 2 π periodic solutions for the nondissipative Duffing equation under asymptotic behaviors of potential function. Z. Angew. Math. Phys. 2006, 57: 111.
Omari P, Zanolin F: Nonresonance conditions on the potential for a secondorder periodic boundary value problem. Proc. Am. Math. Soc. 1993, 117: 125135. 10.1090/S00029939199311430212
Tomiczek P: Potential LandesmanLazer type conditions and the Fučík spectrum. Electron. J. Differ. Equ. 2005., 2005: Article ID 94
Zhang M: Nonresonance conditions for asymptotically positively homogeneous differential systems: the Fučík spectrum and its generalization. J. Differ. Equ. 1998, 145: 332366. 10.1006/jdeq.1997.3403
Fučík S: Boundary value problems with jumping nonlinearities. Čas. Pěst. Mat. 1976, 101: 6987.
Dancer EN: Boundaryvalue problems for weakly nonlinear ordinary differential equations. Bull. Aust. Math. Soc. 1976, 15: 321328. 10.1017/S0004972700022747
Marcos A: Nonresonance conditions on the potential for a semilinear Dirichlet problem. Nonlinear Anal. 2009, 70: 335351. 10.1016/j.na.2007.12.006
Gao E, Song S, Zhang X: Solving singular secondorder initial/boundary value problems in reproducing kernel Hilbert space. Bound. Value Probl. 2012., 2012: Article ID 3
Okochi H: On the existence of periodic solutions to nonlinear abstract parabolic equations. J. Math. Soc. Jpn. 1988, 40: 541553. 10.2969/jmsj/04030541
Delvos FJ, Knoche L: Lacunary interpolation by antiperiodic trigonometric polynomials. BIT Numer. Math. 1999, 39: 439450. 10.1023/A:1022314518264
Chen H: Antiperiodic wavelets. J. Comput. Math. 1996, 14: 3239.
Chen Y: Note on Massera’s theorem on antiperiodic solution. Adv. Math. Sci. Appl. 1999, 9: 125128.
Chen T, Liu W, Yang C: Antiperiodic solutions for Liénardtype differential equation with p Laplacian operator. Bound. Value Probl. 2010., 2010: Article ID 194824
Chen T, Liu W, Zhang J, Zhang H: Antiperiodic solutions for higherorder nonlinear ordinary differential equations. J. Korean Math. Soc. 2010, 47: 573583. 10.4134/JKMS.2010.47.3.573
Chen Y, Nieto JJ, O’Regan D: Antiperiodic solutions for fully nonlinear firstorder differential equations. Math. Comput. Model. 2007, 46: 11831190. 10.1016/j.mcm.2006.12.006
Aizicovici S, McKibben M, Reich S: Antiperiodic solutions to nonmonotone evolution equations with discontinuous nonlinearities. Nonlinear Anal. 2001, 43: 233251. 10.1016/S0362546X(99)001923
Chen Y, Nieto JJ, O’Regan D: Antiperiodic solutions for evolution equations associated with maximal monotone mappings. Appl. Math. Lett. 2011, 24: 302307. 10.1016/j.aml.2010.10.010
Chen Y, O’Regan D, Agarwal RP: Antiperiodic solutions for semilinear evolution equations in Banach spaces. J. Appl. Math. Comput. 2012, 38: 6370. 10.1007/s121900100463y
Ji S: Timeperiodic solutions to a nonlinear wave equation with periodic or antiperiodic boundary conditions. Proc. R. Soc. Lond. Ser. A 2009, 465: 895913. 10.1098/rspa.2008.0272
Ji S, Li Y: Time periodic solutions to one dimensional wave equation with periodic or antiperiodic boundary conditions. Proc. R. Soc. Edinb., Sect. A, Math. 2007, 137: 349371. 10.1017/S0308210505001174
Liu Z: Antiperiodic solutions to nonlinear evolution equations. J. Funct. Anal. 2010, 258: 20262033. 10.1016/j.jfa.2009.11.018
Nakao M: Existence of antiperiodic solution for the quasilinear wave equation with viscosity. J. Math. Anal. Appl. 1996, 204: 754764. 10.1006/jmaa.1996.0465
N’Guérékata GM, Valmorin V: Antiperiodic solutions of semilinear integrodifferential equations in Banach spaces. Appl. Math. Comput. 2012, 218: 1111811124. 10.1016/j.amc.2012.05.005
Anahtarci B, Djakov P: Refined asymptotics of the spectral gap for the Mathieu operator. J. Math. Anal. Appl. 2012, 396: 243255. doi:10.1016/j.jmaa.2012.06.019 10.1016/j.jmaa.2012.06.019
Ahmad B, Nieto JJ: Existence of solutions for impulsive antiperiodic boundary value problems of fractional order. Taiwan. J. Math. 2011, 15: 981993.
Pan L, Cao J: Antiperiodic solution for delayed cellular neural networks with impulsive effects. Nonlinear Anal. 2011, 12: 30143027.
Deimling K: Nonlinear Functional Analysis. Springer, New York; 1985.
Acknowledgements
The authors sincerely thank Prof. Yong Li for his instructions and many invaluable suggestions. This work was supported financially by NSFC Grant (11101178), NSFJP Grant (201215184), and the 985 Program of Jilin University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
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
Zhao, X., Chang, X. Existence of antiperiodic solutions for secondorder ordinary differential equations involving the Fučík spectrum. Bound Value Probl 2012, 149 (2012). https://doi.org/10.1186/168727702012149
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168727702012149
Keywords
 antiperiodic solutions
 Fučík spectrum
 LeraySchauder degree theory
 Borsuk theorem