Abstract
In this paper, we study the existence of infinitely many periodic solutions to planar radially symmetric systems with certain strong repulsive singularities near the origin and with some semilinear growth near infinity. The proof of the main result relies on topological degree theory. Recent results in the literature are generalized and complemented.
MSC: 34C25.
Keywords:
periodic solution; singular systems; topological degree1 Introduction
In this work, we are concerned with the existence of positive periodic solutions for the following radically symmetric system:
where is Tperiodic in the time variable t for some and satisfies the Carathéodory condition. Setting , may be singular at , we therefore look for noncollision solutions, i.e., solutions which never attain the singularity.
Roughly speaking, system (1.1) is singular at 0 means that becomes unbounded when . We say that (1.1) is of repulsive type (attractive type) if (respectively ) when .
Such a type of singular systems appears in many problems of applications. Such as, if we take (), it is the famous Newtonian equation
which describes the motion of a particle subjected to the gravitational attraction of a sun that lies at the origin. If we take (), (1.1) may be used to model Rutherford’s scattering of α particles by heavy atomic nuclei.
The question about the existence of noncollision periodic orbits for scalar equations and dynamical systems with singularities has attracted much attention of many researchers over many years [110]. There are two main lines of research in this area. The first one is the variational approach [1113]. Usually, the proof requires some strong force condition, which was first introduced with this name by Gordon in [14], although the idea goes back at least to Poincaré [15]. Gordon’s result, later improved by Capozzi, Greco and Salvatore [16], is stated as follows.
Theorem 1.1Letand the following assumptions hold.
() The functionVisTperiodic int, differentiable inwith continuous gradient, and such that
() There existand positive constants, such that
() There are afunction, a neighborhoodof 0 and a positive constantsuch that
for every, then, for every integer, the system
has a periodic solution with a minimal periodkT.
The strong force conditions (), () guarantee that the minimization procedure does not lead to a collision orbit. This similar condition has been widely used for a voiding collisions in the singularity case. For example, if we consider the system
the strong force condition corresponds to the case .
Besides the variational approach, topological methods have been widely applied, starting with the pioneering paper of Lazer and Solimini [17]. In particular, some classical tools have been used to study singular differential equations and dynamical systems in the literature, including the degree theory [1823], the method of upper and lower solutions [24,25], Schauder’s fixed point theorem [2628], some fixed point theorems in cones for completely continuous operators [2932] and a nonlinear LeraySchauder alternative principle [3336]. Contrasting with the variational setting, the strong force condition plays here a different role linked to repulsive singularities. A counterexample in the paper of Lazer and Solimini [17] shows that a strong force assumption (unboundedness of the potential near the singularity) is necessary in some sense for the existence of positive periodic solutions in the scalar case.
However, compared with the case of strong singularities, the study of the existence of periodic solutions under the presence of weak singularities by topological methods is more recent and the number of references is much smaller. Several existence results can be found in [7,26,28].
As mentioned above, this paper is mainly motivated by the recent papers [19,20]. The aim of this paper is to show that the topological degree theorem can be applied to the periodic problem. We prove the existence of largeamplitude periodic solutions whose minimal period is an integer multiple of T.
The rest of this paper is organized as follows. In Section 2, some preliminary results will be given. In Section 3, by the use of topological degree theory, we will state and prove the main results.
2 Preliminaries
In this section, we present some results which will be applied in Section 3. We may write the solutions of (1.1) in polar coordinates as follows:
Eq. (1.1) is then equivalent to the system
where μ is the (scalar) angular momentum of . Recall that μ is constant in time along any solution. In the following, when considering a solution of (2.2), we will always implicitly assume that and .
If x is a Tradially periodic, then r must be Tperiodic. We will prove the existence of a Tperiodic solution r of the first equation in (2.2). We thus consider the boundary value problem
Let , (2.3) can be written as the Tperiodic problem
Let X be a Banach space of functions such that with continuous immersions, and set .
Define the following two operators:
and
Taking not belonging to the spectrum of L, (2.4) can be translated to the fixed problem
We will say that a set is uniformly positively bounded below if there is a constant such that for every . In order to prove the main result of this paper, we need the following theorem, which has been proved in [18].
Theorem 2.1Let Ω be an open bounded subset ofX, uniformly positively bounded below. Assume that there is no solution of (2.4) on the boundary∂Ω, and that
Then, there exists asuch that, for every integer, system (1.1) has a periodic solutionwith a minimal periodkT, which makes exactly one revolution around the origin in the period timekT. The functionisTperiodic and, when restricted to, it belongs to Ω. Moreover, ifdenotes the angular momentum associated to, then
3 Main results
First we introduce some known results on eigenvalues. Let be a Tperiodic potential such that . Consider the eigenvalue problems of
with the periodic boundary condition (PC): , , or with the antiperiodic boundary condition (): , . We use to denote all the eigenvalues of (3.1) with the Dirichlet boundary condition (DC): .
The following are the standard results for eigenvalues. See, e.g., reference [37].
() With respect to the periodic and antiperiodic eigenvalues, there exist sequences
where (as ), such that λ is an eigenvalue of (3.1)(PC) if and only if or with n is even; and λ is an eigenvalue of (3.1)() if and only if or with n is odd.
() The comparison results hold for all of these eigenvalues. If , then
() The eigenvalues and can be recovered from the Dirichlet eigenvalues in the following way. For any ,
where denotes the translation of : .
Now we present our main result.
Theorem 3.1Let the following assumptions hold.
() There exist a constantand a functionsuch that
for alltand all, wheresatisfies
and
() There exist positiveTperiodic continuous functionsϕ, Φ such that
uniformly int. Moreover,
Then Eq. (2.4) has aTperiodic solution, and there exists asuch that, for every integer, Eq. (1.1) has a periodic solution with a minimal periodkT, which makes exactly one revolution around the origin in the period timekT. Moreover, there exists a constant (independent ofμandk) such that
and ifdenotes the angular momentum associated to, then
In order to apply Theorem 2.1, we consider the Tperiodic problem (2.4).
Lemma 3.2Suppose thatsatisfies () andϕ, Φ satisfy (). Then Eq. (2.4) has at least one positiveTperiodic solution.
Now we begin by showing that Lemma 3.2 holds, and use topological degree theory. To this end, we deform (2.4) to a simpler singular autonomous equation
where a for some positive constant satisfies for all t. Consider the following homotopy equation:
where . We need to find a priori estimates for the possible positive Tperiodic solutions of (3.4).
Note that satisfies the conditions () uniformly with respect to . Moreover, for each , satisfies (3.2) with and . We will prove that satisfy (3.3) uniformly in . The usual norm is denoted by , and the supremum norm of is denoted by .
This follows from the convexity of the first eigenvalues with respect to potentials.
Lemma 3.3Given. Then, for all,
For (3.5), applying to , where , we have
Hence (3.5) holds. □
Applying Lemma 3.3 to and , we have
Thus defined above satisfy (3.3) uniformly in .
In the obtention of a priori estimates for all possible positive solutions to (3.4)(PC), we simply prove this for all possible positive solutions to (2.4)(PC), because , satisfy (3.3) and also (3.2) uniformly in .
Lemma 3.4Assume thatof the equation, then
Proof By the results for eigenvalues in (), we have
Then, by the theory of linear secondorder differential operators [38], the eigenvalues of with Dirichlet boundary conditions form a sequence which tends to +∞, and the corresponding eigenfunctions are an orthonormal base of . Hence, given and , we can write
and
This completes the proof. □
Lemma 3.5Under the assumptions as in Theorem 3.1, there existsuch that any positiveTperiodic solutionof (2.4)(PC) satisfies
Proof Let be a positive Tperiodic solution of (2.4)(PC). By (), there is such that
Integrating (2.4) from 0 to T, we get
Thus , there exist such that .
Take some constant , where is the average of . From () there is () large enough such that
for all t and . We assert that for some . Otherwise, assume that for all t.
Let
Moreover, write r as , then satisfies the following differential equation:
Integrating (3.8) from 0 to T, we have
Multiplying (3.8) by and integrating, we get
Note that for some , , so . We assert that . On the contrary, assume that . Now, by (3.10), the first Dirichlet eigenvalue
So,
This is a contradiction.
Now it follows from (3.9) that and , a contradiction to the positiveness of . We have proved that for some and for some . Thus the intermediate value theorem implies that (3.6) holds. □
Lemma 3.6There exist, such that any positiveTperiodic solutionof (2.4)(PC) satisfies
Proof From () and (3.7), we know that there is such that
Multiplying (2.4) by r and then integrating over , we get
Note from Lemma 3.5 that there exists satisfying . Let , then . Thus
The other terms in (3.11) by the Hölder inequality can be estimated as follows:
Thus (3.11) reads as
where , are positive constants.
On the other hand, using Lemma 3.4,
we get from (3.12) that
Consequently, for some . By (3.12), one has for some . From these, for any ,
As , thus . Since , there exists such that . Therefore
Next, the positive lower estimates for are obtained from the condition ().
Lemma 3.7There exists a constantsuch that any positive solutionof (2.4)(PC) satisfies
Proof From (), we fix some such that
for all t and all . Assume now that
By Lemma 3.5, . Let be the first time instant such that . Then, for any , we have . Hence, for ,
As , for . Therefore, the function has an inverse denoted by ξ.
Now multiplying (2.4) by and integrating over , we get
for some , where the results from Lemma 3.6 are used. By (),
if . Thus we know from (3.13) that for some constant . □
Now we give the proof of Lemma 3.2. Consider the homotopy equation (3.4), we can get a priori estimates as in Lemmas 3.5, 3.6, 3.7. That is, any positive Tperiodic solution of (3.4) satisfies
for some positive constants , , . Define and let the open bounded in X be
By the homotopy invariance of degree and the result of Capietto, Mawhin and Zanolin [39],
Thus (3.4), with , has at least one solution in Ω, which is a positive Tperiodic solution of (2.4). By Theorem 2.1, the proof of Theorem 3.1 is thus completed.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Acknowledgements
The authors express their thanks to the referees for their valuable comments and suggestions. This work is supported by the National Natural Science Foundation of China (Grant No. 11161017), Hainan Natural Science Foundation (Grant No. 113001).
References

Adachi, S: Noncollision periodic solutions of prescribed energy problem for a class of singular Hamiltonian systems. Topol. Methods Nonlinear Anal.. 25, 275–296 (2005)

Atici, FM, Guseinov, GS: On the existence of positive solutions for nonlinear differential equations with periodic boundary conditions. J. Comput. Appl. Math.. 132, 341–356 (2001). Publisher Full Text

Bravo, JL, Torres, PJ: Periodic solutions of a singular equation with indefinite weight. Adv. Nonlinear Stud.. 10, 927–938 (2010)

Chu, J, Lin, X, Jiang, D, O’Regan, D, Agarwal, RP: Multiplicity of positive solutions to second order differential equations. Bull. Aust. Math. Soc.. 73, 175–182 (2006). Publisher Full Text

Ferrario, DL, Terracini, S: On the existence of collisionless equivariant minimizers for the classical nbody problem. Invent. Math.. 155, 305–362 (2004). Publisher Full Text

Franco, D, Webb, JRL: Collisionless orbits of singular and nonsingular dynamical systems. Discrete Contin. Dyn. Syst.. 15, 747–757 (2006)

Ramos, M, Terracini, S: Noncollision periodic solutions to some singular dynamical systems with very weak forces. J. Differ. Equ.. 118, 121–152 (1995). PubMed Abstract  Publisher Full Text

Schechter, M: Periodic nonautonomous secondorder dynamical systems. J. Differ. Equ.. 223, 290–302 (2006). Publisher Full Text

Torres, PJ: Existence and stability of periodic solutions for second order semilinear differential equations with a singular nonlinearity. Proc. R. Soc. Edinb. A. 137, 195–201 (2007)

Zhang, S, Zhou, Q: Nonplanar and noncollision periodic solutions for Nbody problems. Discrete Contin. Dyn. Syst.. 10, 679–685 (2004)

Ambrosetti, A, Coti Zelati, V: Periodic Solutions of Singular Lagrangian Systems, Birkhäuser, Boston (1993)

Solimini, S: On forced dynamical systems with a singularity of repulsive type. Nonlinear Anal.. 14, 489–500 (1990). Publisher Full Text

Tanaka, K: A note on generalized solutions of singular Hamiltonian systems. Proc. Am. Math. Soc.. 122, 275–284 (1994). Publisher Full Text

Gordon, WB: Conservative dynamical systems involving strong forces. Trans. Am. Math. Soc.. 204, 113–135 (1975)

Poincaré, H: Sur les solutions périodiques et le priciple de moindre action. C. R. Math. Acad. Sci. Paris. 22, 915–918 (1896)

Cpozzi, A, Greco, C, Salvatore, A: Lagrangian systems in the presence of singularities. Proc. Am. Math. Soc.. 102(1), 125–130 (1988). Publisher Full Text

Lazer, AC, Solimini, S: On periodic solutions of nonlinear differential equations with singularities. Proc. Am. Math. Soc.. 99, 109–114 (1987). Publisher Full Text

Fonda, A, Toader, R: Periodic solutions of radially symmetric perturbations of Newtonian systems. Proc. Am. Math. Soc.. 140, 1331–1341 (2012). Publisher Full Text

Fonda, A, Toader, R: Periodic orbits of radially symmetric Keplerianlike systems: a topological degree approach. J. Differ. Equ.. 244, 3235–3264 (2008). PubMed Abstract  Publisher Full Text

Fonda, A, Toader, R: Radially symmetric systems with a singularity and asymptotically linear growth. Nonlinear Anal.. 74, 2483–2496 (2011)

Yan, P, Zhang, M: Higher order nonresonance for differential equations with singularities. Math. Methods Appl. Sci.. 26, 1067–1074 (2003). Publisher Full Text

Zhang, M: A relationship between the periodic and the Dirichlet BVPs of singular differential equations. Proc. R. Soc. Edinb. A. 128, 1099–1114 (1998). Publisher Full Text

Zhang, M: Periodic solutions of equations of ErmakovPinney type. Adv. Nonlinear Stud.. 6, 57–67 (2006)

Bonheure, D, De Coster, C: Forced singular oscillators and the method of lower and upper solutions. Topol. Methods Nonlinear Anal.. 22, 297–317 (2003)

Rachunková, I, Tvrdý, M, Vrkoc̆, I: Existence of nonnegative and nonpositive solutions for second order periodic boundary value problems. J. Differ. Equ.. 176, 445–469 (2001). Publisher Full Text

Chu, J, Torres, PJ: Applications of Schauder’s fixed point theorem to singular differential equations. Bull. Lond. Math. Soc.. 39, 653–660 (2007). Publisher Full Text

Franco, D, Torres, PJ: Periodic solutions of singular systems without the strong force condition. Proc. Am. Math. Soc.. 136, 1229–1236 (2008)

Torres, PJ: Weak singularities may help periodic solutions to exist. J. Differ. Equ.. 232, 277–284 (2007). Publisher Full Text

Chu, J, Wang, F: An ordertype existence theorem and applications to periodic problems. Bound. Value Probl.. 2013, Article ID 37 (2013)

Torres, PJ: Existence of onesigned periodic solutions of some secondorder differential equations via a Krasnoselskii fixed point theorem. J. Differ. Equ.. 190, 643–662 (2003). Publisher Full Text

Torres, PJ: Noncollision periodic solutions of forced dynamical systems with weak singularities. Discrete Contin. Dyn. Syst.. 11, 693–698 (2004)

Wang, F, Zhang, F, Ya, Y: Existence of positive solutions of Neumann boundary value problem via a convex functional compressionexpansion fixed point theorem. Fixed Point Theory. 11, 395–400 (2010)

Chu, J, Torres, PJ, Zhang, M: Periodic solutions of second order nonautonomous singular dynamical systems. J. Differ. Equ.. 239, 196–212 (2007). Publisher Full Text

Chu, J, Li, M: Positive periodic solutions of Hill’s equations with singular nonlinear perturbations. Nonlinear Anal.. 69, 276–286 (2008). Publisher Full Text

Jiang, D, Chu, J, Zhang, M: Multiplicity of positive periodic solutions to superlinear repulsive singular equations. J. Differ. Equ.. 211, 282–302 (2005). PubMed Abstract  Publisher Full Text

Li, S, Liang, L, Xiu, Z: Positive solutions for nonlinear differential equations with periodic boundary condition. J. Appl. Math. doi:10.1155/2012/528719 (2012)

Magnus, W, Winkler, S: Hill’s Equations, Dover, New York (1979).

Everitt, WN, Kwong, MK, Zettl, A: Oscillations of eigenfunctions of weighted regular SturmLiouville problems. J. Lond. Math. Soc.. 27, 106–120 (1983)

Capietto, A, Mawhin, J, Zanolin, F: Continuation theorems for periodic perturbations of autonomous systems. Trans. Am. Math. Soc.. 329, 41–72 (1992). Publisher Full Text