Abstract
This paper is concerned with the solvability of antiperiodic boundary value problems for secondorder nonlinear differential equations. By using topological methods, some sufficient conditions for the existence of solution are obtained, which extend and improve the previous results.
MSC: 34B05.
Keywords:
antiperiodic boundary value problem; existence of solution; nonlinear1 Introduction
In this paper, we will consider the existence of solutions to secondorder differential equations of the type
subject to the antiperiodic boundary conditions
where T is a positive constant and is continuous. Equation (1.1) subject to (1.2) is called an antiperiodic boundary value problem.
Antiperiodic problems have been studied extensively in recent years. For example, antiperiodic boundary value problems for ordinary differential equations were considered in [19]. Also, antiperiodic boundary conditions for impulsive differential equations, partial differential equations and abstract differential equations were investigated in [1016]. The methods and techniques employed in these papers involve the use of the LeraySchauder degree theory [7,8], the upper and lower solutions [2,1012], and a fixed point theorem [1]. By using Schauder’s fixed point theorem and lower and upper solutions method, Wang and Shen in [3] considered the antiperiodic boundary value problem (1.1) and (1.2) when a firstorder derivative is not involved explicitly in the nonlinear term f, namely equation (1.1) reduces to
They proved the following theorems.
Theorem 1.1 ([[3], Theorem 2.2])
Assume there exist constants, , and functionssuch that
where. Then (1.2) and (1.3) have at least one solution.
Theorem 1.2 ([[3], Theorem 1.2])
Letγbe a positive constant. Assume there exist a continuous and nondecreasing functionand a nonnegative functionwith
Then (1.2) and (1.3) have at least one solution.
In this paper, we are interested in the existence of a solution to the antiperiodic boundary value problem (1.1) and (1.2). The significant point here is that the righthand side of (1.1) may depend on . The dependence of righthand side on is naturally seen in many physical phenomena, and we refer the readers to [17,18] for some nice examples. If there appears in nonlinear term, the relative boundary value problem will be more complicated. Meanwhile, we note equation (1.4) or (1.5) implies that is at most linear for x, so the problem has not been solved when is superlinear for x. Motivated by the above two aspects, we devote ourselves to studying the antiperiodic boundary value problem (1.1) and (1.2).
The paper is organized as follows. In Section 2, we reformulate the antiperiodic boundary value problem (1.1) and (1.2) as an equivalent integral equation, which is a widely used technique in the theory of boundary value problem. In Section 3, a general existence result is presented for (1.1) and (1.2). The result provides a natural motivation for the obtention of a priori bounds on solutions and greatly minimizes the proofs of the new results in the following section. The main tool used here is the LeraySchauder topological degree. In Section 4, some new conditions are presented for (1.1) and (1.2). The new conditions involve linear or quadratic growth constraints on in .
2 Preliminaries
If a function satisfies equations (1.1) and (1.2), we call x a solution of (1.1) and (1.2). Let be a Banach space with the norm , where , .
Let , and consider the antiperiodic boundary value problem
Lemma 2.1xis a solution of (2.1) if and only ifxsatisfies
where
Proof Suppose is a solution of (2.1) and denote , then the first equation of (2.1) can be rewritten as
Let
then from (2.3), we have
Multiplying both sides of the above equation by and integrating from 0 to t yields
Similarly, multiplying the two sides of (2.4) by and integrating from 0 to t yields
By direct computation, we get
Substituting (2.6) into (2.5),
Hence,
Further from (2.7),
and therefore
Taking into account , , we obtain
and
Substituting (2.8) and (2.9) into (2.7), we get
That is, is a solution of (2.2).
On the other hand, assume is a solution of (2.2). Then
where
And
Direct computation yields
Hence, is a solution of (2.1). This proof is complete. □
For later use, we present the following estimations:
Remark 2.1 The integral equation (2.2) we obtained is much simpler than that in [3] which needs a double integral.
Combining Lemma 2.1 and equation (1.1), we can easily get
Theorem 2.1The antiperiodic boundary value problem (1.1) and (1.2) is equivalent to the following integral equation:
whereandis defined in Lemma 2.1.
Lemma 2.2is completely continuous.
Proof Noting the continuity of f, this follows in a standard stepbystep process and so is omitted. □
In view of Theorem 2.1, we obtain
Theorem 2.2is a solution of the antiperiodic boundary value problem (1.1) and (1.2) if and only ifis the fixed point of the operatorT.
3 General existence
In this section, an abstract existence result is presented for (1.1) and (1.2). The obtained result emphasizes the natural search for a priori bounds on solutions to the boundary value problem, which will be conducted in the following section.
Firstly, we introduce some basic properties of the LeraySchauder degree. For more detail, we refer an interested reader to [19,20].
Theorem 3.1The LeraySchauder degree has the following properties.
(i) (Homotopy invariance) Letbe a bounded open set, and letbe compact. Iffor each, thenis independent oft.
Now, we give the main result of this section.
Theorem 3.2LetM, Nandλbe positive constants inRandbe continuous. Consider the family of antiperiodic boundary value problems:
If all potential solutions to (3.1) satisfy
withMandNindependent ofμ, then the antiperiodic boundary value problem (1.1) and (1.2) has at least one solution.
Proof In view of Theorem 2.2, we want to show there exists at least one with x satisfying . This solution will then naturally be in .
Consider the family of problems associated with (2.12), namely
Note that (3.2) is equivalent to the family of antiperiodic boundary value problems (3.1).
From Lemma 2.2, we know that is completely continuous. Therefore, is a compact mapping. By the assumption of the theorem, all possible solutions must satisfy , and thus
Hence, the following LeraySchauder degrees are defined and the homotopy invariance principle in Theorem 3.1 applies:
since . By the existence property of the LeraySchauder degree, (3.2) has at least one solution in Ω for all . And hence (1.1) and (1.2) has at least one solution. □
4 Main results
In this section, some existence theorems are presented.
Theorem 4.1Let, andbe nonnegative constants and. Iffis continuous and satisfies
with
and
then the antiperiodic boundary problem (1.1) and (1.2) has at least one solution.
Proof Consider the family (3.1). We want to show the conditions of Theorem 3.2 hold for some positive constants M and N.
Let be a solution to (3.1) and consider the equivalent equation (3.2), that is,
Since
it follows that
Differentiating both sides of (4.1), we get
then
and because of
Therefore,
The rearrangement yields
By substituting (4.3) into (4.2) and rearranging, we obtain
So,
Hence, Theorem 3.2 holds for positive constants and . The solvability of (1.1) and (1.2) now follows. □
Theorem 4.2Assume there exist nonnegative constants, andsuch that
then the antiperiodic boundary value problem (1.1) and (1.2) has at least one solution.
Proof Suppose is a solution of (3.1), and in view of (2.10), we have
Similarly,
Therefore, Theorem 3.2 holds for positive constants and . The solvability of (1.1) and (1.2) now follows. □
Example 4.1 Consider the antiperiodic boundary value problem
We claim (4.4) has at least one solution.
Proof Let , and in Theorem 4.2. Choose , we get for that
and
Then the conclusion follows from Theorem 4.2. □
Now, we reconsider the problem (1.2) and (1.3). The following result is obtained.
Theorem 4.3Supposeis continuous. If there exist nonnegative constants, andsuch that
then (1.2) and (1.3) has at least one solution.
Proof The proof is similar to Theorem 4.2 and here we omit it. □
An example to highlight the Theorem 4.3 is presented.
Example 4.2 Consider the antiperiodic boundary value problem given by
We claim (4.5) has at least one solution.
Proof Let and see that for . For , and λ to be chosen below, see that
Thus, the conditions of Theorem 4.3 hold and the solvability follows. □
Remark 4.1 The results of [3] do not apply to the above example since grows more than linearly in . Therefore, we improve the previous results.
Finally, in order to illustrate our main results, we use the ‘bvp4c’ package in MATLAB to simulate. As shown in Figure 1(a) and (b), numerical simulations also suggest that Examples 4.1 and 4.2 with the given coefficients admit at least one solution.
Figure 1. Solutions found by numerical stimulations with (a):,in equation (4.5); (b):,in equation (4.4).
Competing interests
The author declares that they have no competing interests.
Author’s contributions
The author typed, read and approved the final manuscript.
Acknowledgements
The author would like to thank anonymous referees very much for helpful comments and suggestions which led to the improvement of presentation and quality of work. This research was partially supported by the NNSF of China (No. 11001274) and the Postdoctoral Science Foundation of Central South University and China (No. 2011M501280).
References

Wang, KZ: A new existence result for nonlinear firstorder antiperiodic boundary value problems. Appl. Math. Lett.. 21, 1149–1154 (2008). Publisher Full Text

Franco, D, Nieto, JJ, O’Regan, D: Antiperiodic boundary value problem for nonlinear first order ordinary differential equations. Math. Inequal. Appl.. 6, 477–485 (2003)

Wang, WB, Shen, JH: Existence of solution for antiperiodic boundary value problems. Nonlinear Anal.. 70, 598–605 (2008)

Jankowski, T: Ordinary differential equations with antiperiodic and nonlinear boundary value conditions of antiperiodic type. Comput. Math. Appl.. 47, 1429–1436 (2004). Publisher Full Text

Yin, Y: Monotone iterative technique and quasilinearization for some antiperiodic problem. Nonlinear World. 3, 253–266 (1996)

Aftabizadeh, AR, Aizicovici, S, Pavel, NH: On a class of secondorder antiperiodic boundary value problems. J. Math. Anal. Appl.. 171, 301–320 (1992). Publisher Full Text

Aftabizadeh, AR, Huang, Y, Pavel, N: Nonlinear thirdorder differential equations with antiperiodic boundary conditions and some optimal control problems. J. Math. Anal. Appl.. 192, 266–293 (1995). Publisher Full Text

Aftabizadeh, AR, Pavel, N, Huang, Y: Antiperiodic oscillations of some secondorder differential equations and optimal control problems. J. Comput. Appl. Math.. 52, 3–21 Oscillations in nonlinear systems: applications and numerical aspects (1994)
Oscillations in nonlinear systems: applications and numerical aspects
Publisher Full Text 
Yin, Y: Remarks on first order differential equations with antiperiodic and nonlinear boundary value conditions. Nonlinear Times Dig.. 2, 83–94 (1995)

Ding, W, Xing, YP, Han, MA: Antiperiodic boundary value problems for first order impulsive functional differential equations. Appl. Math. Comput.. 186, 45–53 (2007). Publisher Full Text

Ahmad, B, Nieto, JJ: Existence and approximation of solutions for a class of nonlinear impulsive functional differential equations with antiperiodic boundary conditions. Nonlinear Anal.. 69, 3291–3298 (2008). Publisher Full Text

Luo, ZG, Shen, JH, Nieto, JJ: Antiperiodic boundary value problem for firstorder impulsive ordinary differential equation. Comput. Math. Appl.. 49, 253–261 (2005). Publisher Full Text

Nakao, M: Existence of an antiperiodic solution for the quasilinear wave equation with viscosity. J. Math. Anal. Appl.. 204, 754–764 (1996). Publisher Full Text

Souplet, P: Optimal uniqueness condition for the antiperiodic solutions of some nonlinear parabolic equations. Nonlinear Anal.. 32, 279–286 (1998). Publisher Full Text

Aizicovici, S, Mckibben, S, Reich, S: Antiperiodic solutions to nonmonotone evolution equations with discontinuous nonlinearities. Nonlinear Anal.. 43, 233–251 (2001). Publisher Full Text

Okochi, H: On the existence of antiperiodic solutions to nonlinear evolution equations associated with odd subdifferential operators. J. Funct. Anal.. 91, 246–258 (1990). Publisher Full Text

Pennline, JA: Constructive existence and uniqueness for twopoint boundary value problems with a linear gradient term. Appl. Math. Comput.. 15(3), 233–260 (1984). Publisher Full Text

Granas, A, Guenther, R, Lee, J: Nonlinear Boundary Value Problems for Ordinary Differential Equations (1985)

Guo, DJ, Sun, JX, Liu, ZL: Functional Method of Nonlinear Ordinary Differential Equations, Shandong Science and Technology Press, Jinan (1995) in Chinese

Deimling, K: Nonlinear Functional Analysis, Springer, Berlin (1985)