SpringerOpen Newsletter

Receive periodic news and updates relating to SpringerOpen.

This article is part of the series Singular Boundary Value Problems for Ordinary Differential Equations.

Open Access Research Article

Recent Existence Results for Second-Order Singular Periodic Differential Equations

Jifeng Chu12* and JuanJ Nieto3

Author Affiliations

1 Department of Mathematics, College of Science, Hohai University, Nanjing 210098, China

2 Department of Mathematics, Pusan National University, Busan 609-735, South Korea

3 Departamento de Análisis Matemático, Facultad de Matemáticas, Universidad de Santiago de Compostela, 15782 Santiago de Compostela, Spain

For all author emails, please log on.

Boundary Value Problems 2009, 2009:540863  doi:10.1155/2009/540863


The electronic version of this article is the complete one and can be found online at: http://www.boundaryvalueproblems.com/content/2009/1/540863


Received:12 February 2009
Accepted:29 April 2009
Published:8 June 2009

© 2009 The Author(s)

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We present some recent existence results for second-order singular periodic differential equations. A nonlinear alternative principle of Leray-Schauder type, a well-known fixed point theorem in cones, and Schauder's fixed point theorem are used in the proof. The results shed some light on the differences between a strong singularity and a weak singularity.

1. Introduction

The main aim of this paper is to present some recent existence results for the positive -periodic solutions of second order differential equation

(11)

where are continuous and -periodic functions. The nonlinearity is continuous in and -periodic in . We are mainly interested in the case that has a repulsive singularity at :

(12)

It is well known that second order singular differential equations describe many problems in the applied sciences, such as the Brillouin focusing system [1] and nonlinear elasticity [2]. Therefore, during the last two decades, singular equations have attracted many researchers, and many important results have been proved in the literature; see, for example, [310]. Recently, it has been found that a particular case of (1.1), the Ermakov-Pinney equation

(13)

plays an important role in studying the Lyapunov stability of periodic solutions of Lagrangian equations [1113].

In the literature, two different approaches have been used to establish the existence results for singular equations. The first one is the variational approach [1416], and the second one is topological methods. Because we mainly focus on the applications of topological methods to singular equations in this paper, here we try to give a brief sketch of this problem. As far as the authors know, this method was started with the pioneering paper of Lazer and Solimini [17]. They proved that a necessary and sufficient condition for the existence of a positive periodic solution for equation

(14)

is that the mean value of is negative, , here , which is a strong force condition in a terminology first introduced by Gordon [18]. Moreover, if , which corresponds to a weak force condition, they found examples of functions with negative mean values and such that periodic solutions do not exist. Since then, the strong force condition became standard in the related works; see, for instance, [2, 810, 13, 1921], and the recent review [22]. With a strong singularity, the energy near the origin becomes infinity and this fact is helpful for obtaining the a priori bounds needed for a classical application of the degree theory. Compared with the case of a strong singularity, the study of the existence of periodic solutions under the presence of a weak singularity by topological methods is more recent but has also attracted many researchers [4, 6, 2328]. In [27], for the first time in this topic, Torres proved an existence result which is valid for a weak singularity whereas the validity of such results under a strong force assumption remains as an open problem. Among topological methods, the method of upper and lower solutions [6, 29, 30], degree theory [8, 20, 31], some fixed point theorems in cones for completely continuous operators [25, 3234], and Schauder's fixed point theorem [27, 35, 36] are the most relevant tools.

In this paper, we select several recent existence results for singular equation (1.1) via different topological tools. The remaining part of the paper is organized as follows. In Section 2, some preliminary results are given. In Section 3, we present the first existence result for (1.1) via a nonlinear alternative principle of Leray-Schauder. In Section 4, the second existence result is established by using a well-known fixed point theorem in cones. The condition imposed on in Sections 3 and 4 is that the Green function associated with the linear periodic equations is positive, and therefore the results cannot cover the critical case, for example, when is a constant, , , and is the first eigenvalue of the linear problem with Dirichlet conditions . Different from Sections 3 and 4, the results obtained in Section 5, which are established by Schauder's fixed point theorem, can cover the critical case because we only need that the Green function is nonnegative. All results in Sections 3–5 shed some lights on the differences between a strong singularity and a weak singularity.

To illustrate our results, in Sections 3–5, we have selected the following singular equation:

(15)

here , and is a given parameter. The corresponding results are also valid for the general case

(16)

with . Some open problems for (1.5) or (1.6) are posed.

In this paper, we will use the following notation. Given , we write if for a.e. and it is positive in a set of positive measure. For a given function essentially bounded, we denote the essential supremum and infimum of by and , respectively.

2. Preliminaries

Consider the linear equation

(21)

with periodic boundary conditions

(22)

In Sections 3 and 4, we assume that

(A)the Green function associated with (2.1)–(2.2), is positive for all .

In Section 5, we assume that

(B)the Green function associated with (2.1)–(2.2), is nonnegative for all

When condition (A) is equivalent to and condition (B) is equivalent to . In this case, we have

(23)

For a nonconstant function , there is an -criterion proved in [37], which is given in the following lemma for the sake of completeness. Let denote the best Sobolev constant in the following inequality:

(24)

The explicit formula for is

(25)

where is the Gamma function; see [21, 38]

Lemma 2.1.

Assume that and for some . If

(26)

then the condition (A) holds. Moreover, condition (B) holds if

(27)

When the hypothesis (A) is satisfied, we denote

(28)

Obviously, and .

Throughout this paper, we define the function by

(29)

which corresponds to the unique -periodic solution of

(210)

3. Existence Result (I)

In this section, we state and prove the first existence result for (1.1). The proof is based on the following nonlinear alternative of Leray-Schauder, which can be found in [39]. This part can be regarded as the scalar version of the results in [4].

Lemma 3.1.

Assume is a relatively compact subset of a convex set in a normed space . Let be a compact map with . Then one of the following two conclusions holds:

(a) has at least one fixed point in

(b)thereexist and such that

Theorem 3.2.

Suppose that satisfies (A) and satisfies the following.

(H1)There exist constants and such that

(31)

(H2)There exist continuous, nonnegative functions and such that

(32)

is nonincreasing and is nondecreasing in .

(H3)There exists a positive number such that and

(33)

Then for each , (1.1) has at least one positive periodic solution with for all and .

Proof.

The existence is proved using the Leray-Schauder alternative principle, together with a truncation technique. The idea is that we show that

(34)

has a positive periodic solution satisfying for and If this is true, it is easy to see that will be a positive periodic solution of (1.1) with since

(35)

Since () holds, we can choose such that and

(36)

Let . Consider the family of equations

(37)

where and

(38)

Problem (3.7) is equivalent to the following fixed point problem:

(39)

where is defined by

(310)

We claim that any fixed point of (3.9) for any must satisfy . Otherwise, assume that is a fixed point of (3.9) for some such that . Note that

(311)

By the choice of , . Hence, for all , we have

(312)

Therefore,

(313)

Thus we have from condition (), for all ,

(314)

Therefore,

(315)

This is a contradiction to the choice of and the claim is proved.

From this claim, the Leray-Schauder alternative principle guarantees that

(316)

has a fixed point, denoted by , in , that is, equation

(317)

has a periodic solution with . Since for all and is actually a positive periodic solution of (3.17).

In the next lemma, we will show that there exists a constant such that

(318)

for large enough.

In order to pass the solutions of the truncation equations (3.17) to that of the original equation (3.4), we need the following fact:

(319)

for some constant and for all . To this end, by the periodic boundary conditions, for some . Integrating (3.17) from 0 to , we obtain

(320)

Therefore

(321)

The fact and (3.19) show that is a bounded and equicontinuous family on . Now the Arzela-Ascoli Theorem guarantees that has a subsequence, , converging uniformly on to a function . Moreover, satisfies the integral equation

(322)

Letting , we arrive at

(323)

where the uniform continuity of on is used. Therefore, is a positive periodic solution of (3.4).

Lemma 3.3.

There exist a constant and an integer such that any solution of (3.17) satisfies (3.18) for all .

Proof.

The lower bound in (3.18) is established using the strong force condition () of . By condition (), there exists small enough such that

(324)

Take such that and let . For , let

(325)

We claim first that . Otherwise, suppose that for some . Then from (3.24), it is easy to verify

(326)

Integrating (3.17) from 0 to , we deduce that

(327)

This is a contradiction. Thus .

Now we consider the minimum values . Let . Without loss of generality, we assume that , otherwise we have (3.18). In this case,

(328)

for some . As , there exists (without loss of generality, we assume ) such that and for By (3.24), it can be checked that

(329)

Thus for , we have As , for all and the function is strictly increasing on . We use to denote the inverse function of restricted to .

In order to prove (3.18) in this case, we first show that, for ,

(330)

Otherwise, suppose that for some . Then there would exist such that and

(331)

Multiplying (3.17) by and integrating from to , we obtain

(332)

By the facts and one can easily obtain that the right side of the above equality is bounded. As a consequence, there exists such that

(333)

On the other hand, by the strong force condition (), we can choose large enough such that

(334)

for all . So (3.30) holds for

Finally, multiplying (3.17) by and integrating from to , we obtain

(335)

(We notice that the estimate (3.30) is used in the second equality above). In the same way, one may readily prove that the right-hand side of the above equality is bounded. On the other hand, if by (),

(336)

if Thus we know that for some constant .

From the proof of Theorem 3.2 and Lemma 3.3, we see that the strong force condition () is only used when we prove (3.18). From the next theorem, we will show that, for the case , we can remove the strong force condition (), and replace it by one weak force condition.

Theorem 3.4.

Assume that () and ()–() are satisfied. Suppose further that

(H4)for each constant , there exists a continuous function such that for all .

Then for each with (1.1) has at least one positive periodic solution with for all and .

Proof.

We only need to show that (3.18) is also satisfied under condition () and The rest parts of the proof are in the same line of Theorem 3.2. Since () holds, there exists a continuous function such that for all . Let be the unique periodic solution to the problems (2.1)–(2.2) with . That is

(337)

Then we have

(338)

here

(339)

Corollary 3.5.

Assume that satisfies () and . Then

(i)if then for each (1.5) has at least one positive periodic solution for all ;

(ii)if , then for each (1.5) has at least one positive periodic solution for each here is some positive constant.

(iii)if , then for each with (1.5) has at least one positive periodic solution for all ;

(iv)if , then for each with (1.5) has at least one positive periodic solution for each .

Proof.

We apply Theorems 3.2 and 3.4. Take

(340)

then () is satisfied, and the existence condition () becomes

(341)

for some . Note that condition () is satisfied when , while () is satisfied when . So (1.5) has at least one positive periodic solution for

(342)

Note that if and if . Thus we have (i)–(iv).

4. Existence Result (II)

In this section, we establish the second existence result for (1.1) using a well-known fixed point theorem in cones. We are mainly interested in the superlinear case. This part is essentially extracted from [24].

First we recall this fixed point theorem in cones, which can be found in [40]. Let be a cone in and is a subset of , we write and

Theorem 4.1 (see [40]).

Let be a Banach space and a cone in . Assume are open bounded subsets of with Let

(41)

be a completely continuous operator such that

(a) for

(b)There exists such that and all

Then has a fixed point in

In applications below, we take with the supremum norm and define

(42)

Theorem 4.2.

Suppose that satisfies () and satisfies ()–(). Furthermore, assume that

(H5)there exist continuous nonnegative functions such that

(43)

is nonincreasing and is nondecreasing in

(H6)there exists with such that

(44)

Then (1.1) has one positive periodic solution with .

Proof.

As in the proof of Theorem 3.2, we only need to show that (3.4) has a positive periodic solution with and

Let be a cone in defined by (4.2). Define the open sets

(45)

and the operator by

(46)

For each , we have . Thus for all Since is continuous, then the operator is well defined and is continuous and completely continuous. Next we claim that:

(i) for and

(ii)there exists such that and all

We start with (i). In fact, if then and for all Thus we have

(47)

Next we consider (ii). Let then Next, suppose that there exists and such that Since then for all As a result, it follows from () and () that, for all

(48)

Hence this is a contradiction and we prove the claim.

Now Theorem 4.1 guarantees that has at least one fixed point with Note by (4.7).

Combined Theorem 4.2 with Theorems 3.2 or 3.4, we have the following two multiplicity results.

Theorem 4.3.

Suppose that satisfies () and satisfies ()–() and ()–(). Then (1.1) has two different positive periodic solutions and with .

Theorem 4.4.

Suppose that satisfies () and satisfies ()–(). Then (1.1) has two different positive periodic solutions and with .

Corollary 4.5.

Assume that satisfies () and . Then

(i)if , then for each (1.5) has at least two positive periodic solutions for each ;

(ii)if , then for each with (1.5) has at least two positive periodic solutions for each .

Proof.

Take Then () is satisfied and the existence condition () becomes

(49)

Since , it is easy to see that the right-hand side goes to 0 as . Thus, for any given , it is always possible to find such that (4.9) is satisfied. Thus, (1.5) has an additional positive periodic solution .

5. Existence Result (III)

In this section, we prove the third existence result for (1.1) by Schauder's fixed point theorem. We can cover the critical case because we assume that the condition (B) is satisfied. This part comes essentially from [35], and the results for the vector version can be found in [4].

Theorem 5.1.

Assume that conditions () and (), () are satisfied. Furthermore, suppose that

(H7)there exists a positive constant such that and here

Then (1.1) has at least one positive -periodic solution.

Proof.

A -periodic solution of (1.1) is just a fixed point of the map defined by (4.6). Note that is a completely continuous map.

Let be the positive constant satisfying () and Then we have . Now we define the set

(51)

Obviously, is a closed convex set. Next we prove

In fact, for each , using that and condition (),

(52)

On the other hand, by conditions () and (), we have

(53)

In conclusion, . By a direct application of Schauder's fixed point theorem, the proof is finished.

As an application of Theorem 5.1, we consider the case . The following corollary is a direct result of Theorem 5.1.

Corollary 5.2.

Assume that conditions () and (), () are satisfied. Furthermore, assume that

(H8)there exists a positive constant such that and

(54)

If then (1.1) has at least one positive -periodic solution.

Corollary 5.3.

Suppose that satisfies () and , , then for each with one hasthe following:

(i)if then (1.5) has at least one positive periodic solution for each .

(ii)if then (1.5) has at least one positive -periodic solution for each where is some positive constant.

Proof.

We apply Corollary 3.5 and follow the same notation as in the proof of Corollary 3.5. Then () and () are satisfied, and the existence condition () becomes

(55)

for some with . Note that

(56)

Therefore, (5.5) becomes

(57)

for some .

So (1.5) has at least one positive -periodic solution for

(58)

Note that if and if . We have the desired results (i) and (ii).

Remark 5.4.

The validity of (ii) in Corollary 5.3 under strong force conditions remains still open to us. Such an open problem has been partially solved by Corollary 3.5. However, we do not solve it completely because we need the positivity of in Corollary 3.5, and therefore it is not applicable to the critical case. The validity for the critical case remains open to the authors.

The next results explore the case when .

Theorem 5.5.

Suppose that satisfies () and satisfies condition (). Furthermore, assume that

(H9)there exists such that

(59)

If then (1.1) has at least one positive -periodic solution.

Proof.

We follow the same strategy and notation as in the proof of Theorem 5.1. Let be the positive constant satisfying () and then since . Next we prove

For each , by the nonnegative sign of and , we have

(510)

On the other hand, by () and (), we have

(511)

In conclusion, and the proof is finished by Schauder's fixed point theorem.

Corollary 5.6.

Suppose that satisfies () and , then for each with , one has the following:

(i)if then (1.5) has at least one positive -periodic solution for each

(ii)if , then (1.5) has at least one positive -periodic solution for each where is some positive constant.

Proof.

We apply Theorem 5.5 and follow the same notation as in the proof of Corollary 3.5. Then () is satisfied, and the existence condition () becomes

(512)

for some . So (1.5) has at least one positive -periodic solution for

(513)

Note that if and if . We have the desired results (i) and (ii).

Acknowledgments

The authors express their thanks to the referees for their valuable comments and suggestions. The research of J. Chu is supported by the National Natural Science Foundation of China (Grant no. 10801044) and Jiangsu Natural Science Foundation (Grant no. BK2008356). The research of J. J. Nieto is partially supported by Ministerio de Education y Ciencia and FEDER, Project MTM2007-61724, and by Xunta de Galicia and FEDER, project PGIDIT06PXIB207023PR.

References

  1. Ding, T: A boundary value problem for the periodic Brillouin focusing system. Acta Scientiarum Naturalium Universitatis Pekinensis. 11, 31–38 (1965)

  2. del Pino, MA, Manásevich, RF: Infinitely many -periodic solutions for a problem arising in nonlinear elasticity. Journal of Differential Equations. 103(2), 260–277 (1993). Publisher Full Text OpenURL

  3. Chu, J, Lin, X, Jiang, D, O'Regan, D, Agarwal, RP: Multiplicity of positive periodic solutions to second order differential equations. Bulletin of the Australian Mathematical Society. 73(2), 175–182 (2006). Publisher Full Text OpenURL

  4. Chu, J, Torres, PJ, Zhang, M: Periodic solutions of second order non-autonomous singular dynamical systems. Journal of Differential Equations. 239(1), 196–212 (2007). Publisher Full Text OpenURL

  5. Chu, J, Nieto, JJ: Impulsive periodic solutions of first-order singular differential equations. Bulletin of the London Mathematical Society. 40(1), 143–150 (2008). Publisher Full Text OpenURL

  6. Rachůnková, I, Tvrdý, M, Vrkoč, I: Existence of nonnegative and nonpositive solutions for second order periodic boundary value problems. Journal of Differential Equations. 176(2), 445–469 (2001). Publisher Full Text OpenURL

  7. Solimini, S: On forced dynamical systems with a singularity of repulsive type. Nonlinear Analysis: Theory, Methods & Applications. 14(6), 489–500 (1990). PubMed Abstract | Publisher Full Text OpenURL

  8. Yan, P, Zhang, M: Higher order non-resonance for differential equations with singularities. Mathematical Methods in the Applied Sciences. 26(12), 1067–1074 (2003). Publisher Full Text OpenURL

  9. Zhang, M: A relationship between the periodic and the Dirichlet BVPs of singular differential equations. Proceedings of the Royal Society of Edinburgh. Section A. 128(5), 1099–1114 (1998). Publisher Full Text OpenURL

  10. Zhang, M: Periodic solutions of damped differential systems with repulsive singular forces. Proceedings of the American Mathematical Society. 127(2), 401–407 (1999). Publisher Full Text OpenURL

  11. Chu, J, Zhang, M: Rotation numbers and Lyapunov stability of elliptic periodic solutions. Discrete and Continuous Dynamical Systems. 21(4), 1071–1094 (2008)

  12. Lei, J, Li, X, Yan, P, Zhang, M: Twist character of the least amplitude periodic solution of the forced pendulum. SIAM Journal on Mathematical Analysis. 35(4), 844–867 (2003). Publisher Full Text OpenURL

  13. Zhang, M: Periodic solutions of equations of Emarkov-Pinney type. Advanced Nonlinear Studies. 6(1), 57–67 (2006)

  14. Adachi, S: Non-collision periodic solutions of prescribed energy problem for a class of singular Hamiltonian systems. Topological Methods in Nonlinear Analysis. 25(2), 275–296 (2005)

  15. Agarwal, RP, Perera, K, O'Regan, D: Multiple positive solutions of singular problems by variational methods. Proceedings of the American Mathematical Society. 134(3), 817–824 (2006). Publisher Full Text OpenURL

  16. Ambrosetti, A, Coti Zelati, V: Periodic Solutions of Singular Lagrangian Systems, Progress in Nonlinear Differential Equations and Their Applications, 10,p. xii+157. Birkhäuser, Boston, Mass, USA (1993)

  17. Lazer, AC, Solimini, S: On periodic solutions of nonlinear differential equations with singularities. Proceedings of the American Mathematical Society. 99(1), 109–114 (1987). Publisher Full Text OpenURL

  18. Gordon, WB: Conservative dynamical systems involving strong forces. Transactions of the American Mathematical Society. 204, 113–135 (1975)

  19. Fonda, A, Manásevich, R, Zanolin, F: Subharmonic solutions for some second-order differential equations with singularities. SIAM Journal on Mathematical Analysis. 24(5), 1294–1311 (1993). Publisher Full Text OpenURL

  20. Habets, P, Sanchez, L: Periodic solutions of some Liénard equations with singularities. Proceedings of the American Mathematical Society. 109(4), 1035–1044 (1990)

  21. Torres, PJ, Zhang, M: A monotone iterative scheme for a nonlinear second order equation based on a generalized anti-maximum principle. Mathematische Nachrichten. 251, 101–107 (2003). Publisher Full Text OpenURL

  22. Rachůnková, I, Stanek, S, Tvrdý, M: Solvability of Nonlinear Singular Problems for Ordinary Differential Equations, Hindawi, New York, NY, USA

  23. Cabada, A, Lomtatidze, A, Tvrdý, M: Periodic problem involving quasilinear differential operator and weak singularity. Advanced Nonlinear Studies. 7(4), 629–649 (2007)

  24. Chu, J, Li, M: Positive periodic solutions of Hill's equations with singular nonlinear perturbations. Nonlinear Analysis: Theory, Methods & Applications. 69(1), 276–286 (2008). PubMed Abstract | Publisher Full Text OpenURL

  25. Franco, D, Webb, JRL: Collisionless orbits of singular and non singular dynamical systems. Discrete and Continuous Dynamical Systems. 15(3), 747–757 (2006)

  26. Jiang, D, Chu, J, Zhang, M: Multiplicity of positive periodic solutions to superlinear repulsive singular equations. Journal of Differential Equations. 211(2), 282–302 (2005). Publisher Full Text OpenURL

  27. Torres, PJ: Weak singularities may help periodic solutions to exist. Journal of Differential Equations. 232(1), 277–284 (2007). Publisher Full Text OpenURL

  28. Torres, PJ: Existence and stability of periodic solutions for second-order semilinear differential equations with a singular nonlinearity. Proceedings of the Royal Society of Edinburgh. Section A. 137(1), 195–201 (2007)

  29. Bonheure, D, De Coster, C: Forced singular oscillators and the method of lower and upper solutions. Topological Methods in Nonlinear Analysis. 22(2), 297–317 (2003)

  30. Habets, P, Zanolin, F: Upper and lower solutions for a generalized Emden-Fowler equation. Journal of Mathematical Analysis and Applications. 181(3), 684–700 (1994). Publisher Full Text OpenURL

  31. Mawhin, J: Topological degree and boundary value problems for nonlinear differential equations. In: Furi M, Zecca P (eds.) Topological Methods for Ordinary Differential Equations (Montecatini Terme, 1991), Lecture Notes in Mathematics, vol. 1537, pp. 74–142. Springer, Berlin, Germany (1993).

  32. Chu, J, O'Regan, D: Multiplicity results for second order non-autonomous singular Dirichlet systems. Acta Applicandae Mathematicae. 105(3), 323–338 (2009). Publisher Full Text OpenURL

  33. Jiang, D, Chu, J, O'Regan, D, Agarwal, RP: Multiple positive solutions to superlinear periodic boundary value problems with repulsive singular forces. Journal of Mathematical Analysis and Applications. 286(2), 563–576 (2003). Publisher Full Text OpenURL

  34. Torres, PJ: Non-collision periodic solutions of forced dynamical systems with weak singularities. Discrete and Continuous Dynamical Systems. 11(2-3), 693–698 (2004)

  35. Chu, J, Torres, PJ: Applications of Schauder's fixed point theorem to singular differential equations. Bulletin of the London Mathematical Society. 39(4), 653–660 (2007). Publisher Full Text OpenURL

  36. Franco, D, Torres, PJ: Periodic solutions of singular systems without the strong force condition. Proceedings of the American Mathematical Society. 136(4), 1229–1236 (2008)

  37. Torres, PJ: Existence of one-signed periodic solutions of some second-order differential equations via a Krasnoselskii fixed point theorem. Journal of Differential Equations. 190(2), 643–662 (2003). Publisher Full Text OpenURL

  38. Zhang, M, Li, W: A Lyapunov-type stability criterion using norms. Proceedings of the American Mathematical Society. 130(11), 3325–3333 (2002). Publisher Full Text OpenURL

  39. O'Regan, D: Existence Theory for Nonlinear Ordinary Differential Equations, Mathematics and Its Applications,p. vi+196. Kluwer Academic Publishers, Dordrecht, The Netherlands (1997)

  40. Krasnosel'skii, MA: Positive Solutions of Operator Equations,p. 381. P. Noordhoff, Groningen, The Netherlands (1964)