JFS Journal of Function Spaces 2314-8888 2314-8896 Hindawi 10.1155/2017/4247365 4247365 Research Article Odd Periodic Solutions of Fully Second-Order Ordinary Differential Equations with Superlinear Nonlinearities http://orcid.org/0000-0002-6913-4387 Li Yongxiang 1 Guo Lanjun 1 Liu Lishan Department of Mathematics Northwest Normal University Lanzhou 730070 China nwnu.edu.cn 2017 2382017 2017 17 01 2017 02 06 2017 26 07 2017 2382017 2017 Copyright © 2017 Yongxiang Li and Lanjun Guo. 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.

This paper is concerned with the existence of periodic solutions for the fully second-order ordinary differential equation u(t)=ft,ut,ut, tR, where the nonlinearity f:R3R is continuous and f(t,x,y) is 2π-periodic in t. Under certain inequality conditions that f(t,x,y) may be superlinear growth on (x,y), an existence result of odd 2π-periodic solutions is obtained via Leray-Schauder fixed point theorem.

National Natural Science Foundation of China 11661071 11261053 11361055
1. Introduction and Main Result

In this paper, we discuss the existence of odd 2π-periodic solutions for the fully second-order ordinary differential equation (1)ut=ft,ut,ut,tR,where the nonlinearity f:R3R is continuous and f(t,x,y) is 2π-periodic with respect to t.

The existence of periodic solutions for nonlinear second-order ordinary differential equations is an important topic in ordinary differential equation qualitative analysis. It has attracted many authors’ attention and concern, and the most works are on the special equation (2)ut=ft,ut,tRwhich does not contain explicitly first-order derivative term in nonlinearity. Many theorems and methods of nonlinear functional analysis have been applied to the periodic problems of (2), such as the upper and lower solutions method and monotone iterative technique , the continuation method of topological degree , variational method and critical point theory , method of phase-plane analysis , the Krasnoselskii’s type fixed point theorem in cone , and the theory of fixed point index .

However, there are not so many existence results for the second-order periodic problem that nonlinearity is dependent on the derivative. See . In [27, 28], the authors discussed some special cases that nonlinearity is with a separated derivative term gu. By finding the fixed point of the Poincaré mapping, they obtained several existence results. In , Hakl et al. considered the second-order periodic problem with linear derivative term (3)ut+futut+gut=ht,ut,t0,ω,u0=uω,u0=uωby the method of lower and upper solutions. In , Li and Jiang researched the existence of positive 2π-periodic solution of the general second-order differential equation (1) by employing fixed point index theory in cones under the nonlinearity f(t,x,y) satisfying a sign condition. Contrary to the results in , whether BVP (1) has a sign-changing periodic solution, especially an odd periodic solution, is an interesting problem. For the special second-order ordinary differential equation (2), the existence of odd periodic solutions has been discussed by the present author in . But no one has discussed the general second-order equation (1). The main purpose of this paper is to obtain the existence of odd 2π-periodic solutions for the general second-order equation (1). Our main result is as follows.

Theorem 1.

Assume that f:R3R is continuous; f(t,x,y) is 2π-periodic with respect to t and satisfies the following conditions:

f(-t,-x,y)=-f(t,x,y), (t,x,y)R3.

there exist nonnegative constants a and b satisfying a+b<1 and a positive constant C0, such that (4)ft,x,yx-ax2-by2-C0,t,x,yR3.

For any given M>0, there is a positive continuous function gM(ρ) on R+ satisfying (5)0+ρdρgMρ+1=+,

such that (6)ft,x,ygMy,t,x,y0,2π×-M,M×R.

Then (1) has at least one odd 2π-periodic solution.

In Theorem 1, condition (F1) means that f(t,x,y) is an odd function on (t,x). Condition (F2) allows that f(t,x,y) may be superlinear growth on x and y. Condition (F3) is a Nagumo type growth condition on y, which requests the growth of f on y which cannot be hyperquadric.

The proof of Theorem 1 is based on the Leray-Schauder fixed point theorem, which will be given in the next section. Two examples to illustrate the applicability of our main result are presented at the end of Section 2. Our result and method are different from those in the references mentioned above.

2. Proof of the Main Result

Let C2π(R) denote the Banach space of all continuous 2π-periodic function u(t) in R with norm u=max0t2πut and C2πn(R) the Banach space of all nth-order continuously differentiable 2π-periodic functions u(t) in R with the norm uCn=maxuC,uC,,unC, where n is a positive integer. Let L2π2(R) be the Hilbert space of locally square integrable 2π-periodic functions in R with the interior product (u,v)=02πutvtdt and the norm u2=(02πut2dt)1/2. Let H2πn(R) be the Sobolev space of 2π-periodic functions with the norm un,2=(i=0nu(i)22)1/2. uH2πn(R) means that uC2πn-1(R) and u(n-1)(t) is absolutely continuous on any finite interval of R and u(n)L2π2(R). Let V be the subspace of odd functions in L2π2(R). Denote Vn=H2πn(R)V, W=C2π(R)V, and Wn=C2πn(R)V. Clearly, Vn is a closed subspace of H2πn(R) and hence it is a Banach space by the norm un,2 of H2πn(R), Wn is a closed subspace of C2πn(R), and hence it is a Banach space by the norm uCn of C2πn(R).

Given hV, we consider the existence of odd 2π-periodic solution for the linear second-order differential equation (7)ut=ht,tR.

Lemma 2.

For every hV, the linear equation (7) has a unique odd 2π-periodic solution uShV2, and it satisfies (8)u2u2.Moreover, when hW the solution u=ShW2 and S:WW1 is a completely continuous linear operator.

Proof.

Let hV. Since hL2π2(R) is an odd function, it can be expressed by the Fourier sine series expansion (9)ht=k=1bksinkt,where bk=(2/π)0πhssinksds, k=1,2,, and the Parseval equality (10)h22=π2k=1bk2holds. It is easy to verify that (11)ut=-k=1bkk2sinktShtbelongs to V2 and is a unique odd 2π-periodic solution of the linear equation (7) in Carathéodory sense. If hW, the solution uW2 is a classical solution. From (11) we can easily see that S:VV2 is a linearly bounded operator. By the compactness of the Sobolev embedding H2π2(R)C2π1(R), we see that the embedding V2W1 is compact. Hence, by the boundedness of the embedding WV, S maps W into W1 and S:WW1 is completely continuous.

On the other hand, since uL2π2R is an even function, it can be expressed by the cosine series expansion (12)ut=a02+k=1akcoskt,where(13)a0=2π0πusds=uπ-u0=0,ak=2π0πuscosksds=-2πk0πussinksds=-2πk0πhssinksds=-bkk,k=1,2,.Hence we obtain the cosine series expansion of u: (14)ut=-k=1bkkcoskt.By the expansions (11) and (14), using Parseval equality, we obtain that (15)u22=π2k=1bkk22π2k=1bkk2=u22.Hence (8) holds.

Proof of Theorem <xref ref-type="statement" rid="thm1.1">1</xref>.

For every uW1, set (16)Futft,ut,ut.By the continuity of f and Assumption (F1), F:W1W is continuous and it maps every bounded set of W1 into a bounded set of W. Define a mapping by (17)A=SF.By Lemma 2, S:WW1 is a completely continuous linear operator. Hence the composite mapping A:W1W1 is completely continuous. By the definition of the operator S, the odd 2π-periodic solution of (1) is equivalent to the fixed point of A. We will use the Leray-Schauder fixed point theorem  to show that A has a fixed point. To do this, we consider the homotopic family of the operator equations (18)u=λAu,0<λ<1.We need to prove that the set of the solutions of the equations (18) is bounded in the space W1.

Let uW1 be a solution of an equation of (18) for λ(0,1). Then u=S(λF(u)). Set h=λF(u). Since hW, by the definition of S, u=Sh is the unique odd 2π periodic solution of the linear equation (7). Hence uW2 satisfies the differential equation (19)ut=λft,ut,ut,tR.Multiplying this equation by u(t) and using Assumption (F2), we have(20)utut=λft,ut,ututλ-aut2-but2-C0=-aut2-but2-C0,tR.Integrating this inequality on [0,2π], using integration by parts for the left side and (8), we have(21)-u22-au22-bu22-2πC0-a+bu22-2πC0.From this inequality it follows that (22)u222πC01-a+b.By this and (8) we obtain that (23)u1,2u22+u221/22u22πC01-a+b1/2C1.Hence, by the continuity of the Sobolev embedding H2π1(R)C2π(R), we have (24)uCCu1,2CC1M,where C is the Sobolev embedding constant.

For this M>0, by Assumption (F3), there is a positive continuous function gM(ρ) on R+ satisfying (5) such that (6) holds. Hence by (6) and (24), (25)ft,ut,utgMut,tR.By (5), there exists M1>M such that (26)0M1ρdρgMρ>2M.We use (25) and (26) to show that (27)uCM1.

Let ut0. By the periodicity of u, there exist t0(0,2π) and t1[0,2π], t1t0, such that (28)ut0=0,uC=ut1>0.Clearly, one of the following cases holds.

Case  1. u t 1 > 0 , t0<t1.

Case  2. u t 1 > 0 , t0>t1.

Case  3. u t 1 < 0 , t0<t1.

Case  4. u t 1 < 0 , t0>t1.

We only consider Case  1; the other cases can be dealt with by a similar method. Let Case  1 hold. Set (29)s1=supst0,t1:us=0.Then s1<t1, and by the definition of supremum, (30)ut>0,ts1,t1;us1=0.Hence, for every t[s1,t1], by (19) and (25), we have(31)ut=λft,ut,utλft,ut,utft,ut,utgMut,so we obtain that (32)ututgMutut,ts1,t1.Integrating both sides of this inequality on s1,t1 and making the variable transformation ρ=ut for the left side, we have (33)0ut1ρdρgMρut1-us12uC2M.From this inequality and (26) it follows that ut1M1. Hence, uC=u(t1)M1; namely, (27) holds.

Now by (24) and (27), we have (34)uC1M1.This means that the set of the solutions of the equations (18) is bounded in W1. By the Leray-Schauder fixed point theorem, A has a fixed point in W1, which is an odd 2π-periodic solution of (1).

The proof of Theorem 1 is completed.

In the above proof, applying the Leray-Schauder fixed point theorem and the technique of prior estimation we proved Theorem 1. Since the nonlinearity f(t,x,y) may be superlinear growth on x and y, Theorem 1 cannot be proved by the simple Schauder fixed point theorem.

Example 3.

Consider the superlinear second-order ordinary differential equation(35)ut=u3t+utut2+sint,tR.We verify that the corresponding nonlinearity (36)ft,x,y=x3+xy2+sintsatisfies the conditions of Theorem 1. Clearly, f(t,x,y) satisfies conditions (F1) and (F3). For any (t,x,y)R3, by definition (36) we have(37)ft,x,yx=x4+x2y2+xsintxsint-12x2-12sin2t-12x2-12;that is, f satisfies condition (F2) for a=1/2, b=0, and C0=1/2. Hence f satisfies the conditions of Theorem 1. By Theorem 1, (35) has at least one odd 2π-periodic solution.

Example 4.

Consider the sublinear second-order ordinary differential equation (38)ut=ut3cost+ut3sint+sin2t,tR.Evidently, the corresponding nonlinearity (39)ft,x,y=x3cost+y3sint+sin2tsatisfies conditions (F1) and (F3). We show that it also satisfies condition (F2). For any (t,x,y)R3, by definition (39),(40)ft,x,yxx4/3+y1/3x+x16x2+163+13y+23x+x16x2+163+16y2+16x2+53x13x2+16y2+163+130x2+12561130x2+16y2+1576,which is derived by using the Young inequality (41)AB1pAp+1qBq,A,B0,p,q>1,1p+1q=1to the terms of |x|4/3, |y|1/3, 1/3yx, and (5/3)|x|. From this inequality it follows that (42)ft,x,yx-ft,x,yx-1130x2-16y2-1576,t,x,yR3.Hence, f satisfies condition (F2). By Theorem 1, (38) has at least one odd 2π-periodic solution.

Example 3 shows that Theorem 1 is applicable to the superlinear fully second-order ordinary differential equation, and Example 4 shows that Theorem 1 is also applicable to the sublinear fully second-order ordinary differential equation. It should be pointed out that, in Theorem 1 since the nonlinearities contain derivative terms and do not have monotonicity, the conclusions of Examples 3 and 4 cannot be obtained from the known results of .

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This research is supported by NNSFs of China (11661071, 11261053, and 11361055).

Leela S. Monotone method for second order periodic boundary value problems Nonlinear Analysis 1983 7 4 349 355 10.1016/0362-546X(83)90088-3 MR696734 2-s2.0-0020733474 Nieto J. J. Nonlinear second-order periodic boundary value problems Journal of Mathematical Analysis and Applications 1988 130 1 22 29 10.1016/0022-247X(88)90383-6 MR926825 2-s2.0-0023960948 Cabada A. Nieto J. J. A generalization of the monotone iterative technique for nonlinear second order periodic boundary value problems Journal of Mathematical Analysis and Applications 1990 151 1 181 189 10.1016/0022-247X(90)90249-F MR1069454 Zbl0719.34039 2-s2.0-0025495231 Cabada A. The method of lower and upper solutions for second, third, fourth, and higher order boundary value problems Journal of Mathematical Analysis and Applications 1994 185 2 302 320 10.1006/jmaa.1994.1250 MR1283059 Zbl0807.34023 2-s2.0-0000934317 Gossez J.-P. Omari P. Periodic solutions of a second order ordinary differential equation: a necessary and sufficient condition for nonresonance Journal of Differential Equations 1991 94 1 67 82 10.1016/0022-0396(91)90103-G MR1133541 Zbl0743.34045 2-s2.0-0001918237 Omari P. Villari G. Zanolin F. Periodic solutions of the Li\'enard equation with one-sided growth restrictions Journal of Differential Equations 1987 67 2 278 293 10.1016/0022-0396(87)90151-3 MR879698 2-s2.0-0000981022 Ge W. G. On the existence of harmonic solutions of Lienard systems Nonlinear Analysis. Theory, Methods & Applications 1991 16 2 183 190 10.1016/0362-546X(91)90167-Y MR1090789 Fonda A. Toader R. Periodic orbits of radially symmetric Keplerian-like systems: a topological degree approach Journal of Differential Equations 2008 244 12 3235 3264 10.1016/j.jde.2007.11.005 MR2420520 Zbl1168.34031 2-s2.0-42649130663 Tian D. Multiple positive periodic solutions for second-order differential equations with a singularity Acta Applicandae Mathematicae 2016 144 1 10 10.1007/s10440-015-0030-5 MR3519170 2-s2.0-84964687259 Mawhin J. Willem M. Multiple solutions of the periodic boundary value problem for some forced pendulum-type equations Journal of Differential Equations 1984 52 2 264 287 10.1016/0022-0396(84)90180-3 MR741271 2-s2.0-0000912262 Coti Zelati V. Periodic solutions of dynamical systems with bounded potential Journal of Differential Equations 1987 67 3 400 413 10.1016/0022-0396(87)90134-3 MR884277 Zbl0646.34049 2-s2.0-38249033320 Lassoued L. Periodic solutions of a second order superquadratic system with a change of sign in the potential Journal of Differential Equations 1991 93 1 1 18 10.1016/0022-0396(91)90020-A MR1122304 2-s2.0-0003095840 Su J. Zhao L. Multiple periodic solutions of ordinary differential equations with double resonance Nonlinear Analysis 2009 70 4 1520 1527 10.1016/j.na.2008.02.031 MR2483575 Li C. Agarwal R. P. sca D. Infinitely many periodic solutions for a class of new superquadratic second-order Hamiltonian systems Applied Mathematics Letters. An International Journal of Rapid Publication 2017 64 113 118 10.1016/j.aml.2016.08.015 MR3564748 Tongren D. Nonlinear oscillations at resonance Science in China 1984 12A 1 12 Weigu L. A necessary and sufficient condition on the existence and uniqueness of 2π-periodic solution of Duffing equation Chinese Annals of Mathematics 1990 11 3 342 345 MR1074468 Fonda A. Ghirardelli L. Multiple periodic solutions of scalar second order differential equations Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal 2010 72 11 4005 4015 10.1016/j.na.2010.01.032 MR2606760 Fonda A. Sfecci A. Periodic bouncing solutions for nonlinear impact oscillators Advanced Nonlinear Studies 2013 13 1 179 189 10.1515/ans-2013-0110 MR3058214 2-s2.0-84884665081 Calamai A. Sfecci A. Multiplicity of periodic solutions for systems of weakly coupled parametrized second order differential equations NoDEA. Nonlinear Differential Equations and Applications 2017 24 1 Art. 4, 17 10.1007/s00030-016-0427-5 MR3584591 Zbl06706952 Merdivenci Atici F. Guseinov G. S. On the existence of positive solutions for nonlinear differential equations with periodic boundary conditions Journal of Computational and Applied Mathematics 2001 132 2 341 356 10.1016/S0377-0427(00)00438-6 MR1840633 Zbl0993.34022 2-s2.0-0035879124 Li Y. X. Positive periodic solutions of nonlinear second order ordinary differential equations Acta Mathematica Sinica. Chinese Series 2002 45 3 481 488 MR1915108 Torres P. J. Existence of one-signed periodic solutions of some second-order differential equations via a Krasnoselskii fixed point theorem Journal of Differential Equations 2003 190 2 643 662 10.1016/S0022-0396(02)00152-3 MR1970045 2-s2.0-0038702598 Zhu H. Li S. Multiplicity of positive periodic solutions to nonlinear boundary value problems with a parameter Journal of Applied Mathematics and Computing 2016 51 1-2 245 256 10.1007/s12190-015-0902-x MR3490969 Zbl1360.34055 2-s2.0-84931412831 Li Y. Positive periodic solutions of first and second order ordinary differential equations Chinese Annals of Mathematics. Series B 2004 25 3 413 420 10.1142/S025295990400038X MR2086133 Zbl1073.34041 2-s2.0-4444263029 Li F. Liang Z. Existence of positive periodic solutions to nonlinear second order differential equations Applied Mathematics Letters. An International Journal of Rapid Publication 2005 18 11 1256 1264 10.1016/j.aml.2005.02.014 MR2170881 Zbl1088.34038 2-s2.0-25144475912 Graef J. R. Kong L. Wang H. Existence, multiplicity, and dependence on a parameter for a periodic boundary value problem Journal of Differential Equations 2008 245 5 1185 1197 10.1016/j.jde.2008.06.012 MR2436827 Zbl1203.34028 2-s2.0-46449089630 Wang Z. Periodic solutions of the second order differential equations with asymmetric nonlinearities depending on the derivatives Discrete and Continuous Dynamical Systems. Series A 2003 9 3 751 770 10.3934/dcds.2003.9.751 MR1974537 Zbl1037.34036 Zamora M. New asymptotic stability and uniqueness results on periodic solutions of second order differential equations using degree theory Advanced Nonlinear Studies 2015 15 2 433 446 10.1515/ans-2015-0209 MR3337882 2-s2.0-84926363463 Hakl R. Torres P. J. Zamora M. Periodic solutions of singular second order differential equations: upper and lower functions Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal 2011 74 18 7078 7093 10.1016/j.na.2011.07.029 MR2833696 Li Y. Jiang X. Positive periodic solutions for second-order ordinary differential equations with derivative terms and singularity in nonlinearities Journal of Function Spaces and Applications 2012 2-s2.0-84877254690 10.1155/2012/945467 945467 Zbl1264.34040 Li Y. X. Oscillatory periodic solutions of nonlinear second order ordinary differential equations Acta Mathematica Sinica (English Series) 2005 21 3 491 496 10.1007/s10114-004-0444-x MR2145902 Zbl1090.34551 2-s2.0-21644437454 Deimling K. Nonlinear Functional Analysis 1985 Berlin , Germany Springer 10.1007/978-3-662-00547-7 MR787404 Zbl0559.47040