• No results found

Existence of periodic solutions of a Liénard equation with a singularity of repulsive type

N/A
N/A
Protected

Academic year: 2020

Share "Existence of periodic solutions of a Liénard equation with a singularity of repulsive type"

Copied!
10
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

Existence of periodic solutions of a Liénard

equation with a singularity of repulsive type

Shiping Lu, Yajiao Wang

*

and Yuanzhi Guo

*Correspondence:

[email protected]

College of Math & Statistics, Nanjing University of Information Science & Technology, Nanjing, 210044, China

Abstract

In this paper, the problem of positive periodic solutions is studied for the Liénard equation with a singularity of repulsive type,

x+f(x)x

α

(t)

=h(t),

wheref: (0, +∞)→Ris continuous,

α

,hare continuous withT-periodic and

α

(t)≥0 for alltR,

μ

∈(0, +∞) is a constant. By means of a Manásevich-Mawhin’s

continuation theorem, a sufficient and necessary condition is obtained for the existence of positiveT-periodic solutions of the equation. The interesting point is that the weak singularity of restoring forceαx(μt)atx= 0 is allowed andfmay have a singularity atx= 0.

Keywords: Liénard equation; Manásevich-Mawhin’s continuation theorem; singularity; periodic solution

1 Introduction

In the past years, much attention from researchers in differential equations was paid to investigating the problem of periodic solutions for second order differential equations with singularities. This is due to the fact that the singularity has a significant background in applied sciences and physics (see [–] and the references therein). The first study on the periodic problem for second order singular differential equations seems to be the work of Nagumo [] in . After some work [–], the interest increased in this area with the pioneering paper of Lazer and Solimini []. They considered the existence of periodic solutions for the equation with a singularity of repulsive type,

x– 

(t)=h(t), (.)

whereh:RRis continuous withT-periodic,α∈(, +∞) is a constant. Forα∈[, +∞) (called the strong force condition), by using topological degree methods, they found that the necessary and sufficient condition for the existence of positive periodic solutions for equation (.) is

h:= 

T

T

h(s)ds< .

(2)

Forα∈(, ) (weak singularity condition), they produced some examples ofh(t) withh<  and such that equation (.) does not have any positiveT-periodic solution. After that, the strong force conditionα≥ was regarded as crucial assumption in [–]. By using some fixed point theorems in cones, the existence of periodic solutions has been widely studied recently for the conservative equation of repulsive type,

x+a(t)xb(t)

(t)=c(t), (.)

where a,b,cL[,T] witha(t),b(t) for a.e.t[,T] and being positive in a

set of positive measure [–]. Most of them focus on the case in which the singular nonlinearity was allowed to have a weak singularity (α∈(, )). Compared with the study of conservative equations with weak singularities, the corresponding ones of the Liénard equation with a weak singularity of repulsive type is considerably neglected. We find that the strong singularity is needed in the most recent papers associated to singular Liénard equation of repulsive type [–]. For example, Jebelean and Mawhin in [] considered the problem of the existence of positive periodic solutions for ap-Laplacian Liénard equa-tion like

xp–x+f(x)xβ

=h(t), (.)

where p> ,β> ,μ>  are constants,f : [, +∞)→Ris continuous,h:R→Ris a

T-periodic function withhL∞[,T]. Under the condition of strong singularityμ≥, they found that the necessary and sufficient condition for the existence of positive periodic solutions for equation (.) ish< . Wang in [] further studied the existence of positive periodic solutions for a delay Liénard equation with a strong singularity (μ∈[, +∞)) of repulsive type,

x+f(x)x+a(t)x(tτ) – β

(tτ)=h(t). (.)

Hakl, Torres and Zamora in [] considered the periodic problem for the singular equation of repulsive type,

u(t) +fu(t)u(t) +ϕ(t)u(t)δ+gu(t)= , (.)

where δ ∈(, ] is a constant, ϕ is a T-periodic function with ϕL([,T],R), fC((, +∞),R) may be singular at x= ,gC((, +∞),R) has a repulsive singularity at

x= ,i.e.,g(x)→–∞asx→+. By using Schauder’s fixed point theorem, some results

on the existence of positiveT-periodic solutions are obtained. However, a strong singu-larity,g(s)ds= –∞, is also required.

Now, the question is how to study the periodic problem of equation (.) under the condition of weak singularityg(s)ds> –∞. Motivated by this, the purpose of this paper is to investigate the existence of positiveT-periodic solutions for Liénard equation with a singularity of repulsive type

x+f(x)xα(t)

(3)

where f : (, +∞)→Ris continuous, α, h are continuous T-periodic functions with

α(t)≥ for alltRandα(t)≡,μ∈(, +∞) is a constant. By using a continuation the-orem established by Mawhin and Manásevich [], some new results are obtained. The interesting point is that the weak singularity of restoring force term αx(t)μ atx=  is allowed andf may have a singularity atx= . Furthermore, under the condition off(s)ds=∞, a sufficient and necessary condition is obtained for the existence of positiveT-periodic solutions of equation (.).

2 Preliminary lemmas

Let CT =xC(R,R) :x(t+T) =x(t) for all t∈Rwith the norm defined by |x|∞ =

maxt∈[,T]|x(t)|. For any T-periodic solution h(t) with hCT, h+(t) and h–(t) is

de-noted by max{(h(t), )} and –min{(h(t), )}, respectively, and h= TTh(s)ds. Clearly,

h(t) =h+(t) –h–(t) for allt∈R, andh=h+–h–. Furthermore, ϕ p:= (

T  |ϕ(t)|

pdt)p,

p∈[, +∞),ϕCT.

The following lemma is a corollary of Theorem . in [].

Lemma . Assume that there exist positive constants M,Mand Mwith <M<M, such that the following conditions hold:

. for eachλ∈(, ],each possible positiveT-periodic solutionxto the equation

u+λf(u)uλα(t)

=λh(t),

satisfies the inequalitiesM<x(t) <Mand|x(t)|<Mfor allt∈[,T];

. each possible solutionx∈(, +∞)to the equation

α

+h= 

satisfies the inequalityM<x<M;

. the inequality

α

+h

α

+h

< 

holds.Then equation(.)has at least one positive T -periodic solution x(t)such that M< x(t) <Mfor all t∈[,T].

Lemma .([]) Let x(t)be a continuously differentiable T -periodic function.Then,for anyτ∈[,T],

T

x(t)dt

 

T

π

T

x(t)dt

 

+√Tx(τ).

In order to study the existence of positive periodic solutions to equation (.), we list the following assumptions:

(H) limx→+|

xf(s)ds|= +∞.

(H) (–αh) 

μ >T[T

π h + (T

 (–α

h) 

(4)

Remark . Ifh< , then there are constantsDandDwith  <D<Dsuch that

α

+h>  ∀x∈(,D)

and

α

+h<  ∀x∈(D,∞).

Now, we embed equation (.) into the following equations family with a parameter

λ∈(, ],

x+λf(x)xλα(t)

=λh(t), λ∈(, ]. (.)

3 Main results

Theorem . If(H)holds,then equation(.)has a positive T -periodic solution if and only if h< .

Proof Suppose that equation (.) has a positiveT-periodic solutiony(t), then

y+f(y)yα(t)

=h(t). (.)

Integrating (.) on the interval [,T], and by using

T

y(s)ds= T

fy(s)y(s)ds= ,

we have T

α(s)

(s)ds= –Th,

which together with the assumption ofα(t)≥ andy(t) >  for allt∈[,T] gives a neces-sary condition for the existence of a positiveT-periodic solution of equation (.):h< .

Below, we will show the proof of sufficiency. In order to do it, suppose thath< , and let

ube an arbitrary positiveT-periodic solution of (.). Then

u+λf(u)uλα(t)

=λh(t), λ∈(, ]. (.)

Integrating (.) over the interval [,T], we have

T

α(t)

dt= – T

h(t)dt= –Th. (.)

Due to the fact thatα(t) is non-negative, 

uμM T

α(t)dt

T

α(t) (t)dt≤ 

uμm T

α(t)dt, where um,uM are the global minimum and maximum, respectively, ofu. Then there is a point

η∈[,T] such that

(η) T

(5)

which results in

= –(η)Th,

and then

u(η) = –α hμ . (.)

Multiplying (.) withu(t), and integrating it over the interval [,T], we obtain

T

u(t)u(t)dtλ

T

α(t)u(t)

(t) dt=λ T

h(t)u(t)dt.

By usingTu(t)u(t)dt= –T|u(t)|dt, we have

T

u(t)dt+λ

T

α(t)u–μ(t)dt= –λ T

h(t)u(t)dt,

which together with the fact ofα(t)≥ for allt∈[,T] andα(t)≡ gives

T

u(t)dt< T

h(t)u(t)dt

T

h(t)d

  T

u(t)dt

 

. (.)

By Lemma ., we have

T

u(t)dt

  <T π T

u(t)dt

 

+√Tu(η).

It follows from (.) that

T

u(t)dt

  <T π T

u(t)dt

 

+√T

α hμ .

Substituting it into (.), we have

T

u(t)dt< T

h(t)dt

  T

π

T

u(t)dt

 

+√T

α hμ =T π T

h(t)dt

  T

u(t)dt

 

+T

α

h

μ T

h(t)dt

 

,

by the inequalityXAXB< , we can obtainX<A+B. LetX= (T

 |u(t)|dt)  ,

A=T

π( T

h

(t)dt),B=T(–α

h) 

μ(T

h

(t)dt), we have

T

u(t)dt

 

<T

π h +T

  –α h  μ h  

(6)

Combined (.) with (.), we have

u(t)≤u(η) +√Tu<

α

h

μ

+Tρ:=M. (.)

Lett,tbe the maximum point and the minimum point ofu(t) on [,T], respectively,

then t

t

u(t)dt+λ

t

t

fu(t)u(t)dtλ

t

t

α(t)

(t)dt=λ t

t

h(t)dt,

which together withu(t) =u(t) =  yields

Fu(t)

Fu(t)

=

t

t

α(t)

(t)dt+ t

t

h(t)dt,

whereF(x) =xf(s)ds, and then

Fu(t)≤F

u(t)+

T

α(t)

(t)dt+ T

h(t)dt.

It follows from (.) and (.) that

Fu(t)≤ max (–α

h)

μ≤z≤M

F(z)–Th+T|h|

≤ max

(–α

h)

μ≤z≤M

F(z)+ Th–. (.)

It is easy to see from (H) that there is a constantγ> , such that

F(z)= z

f(s)ds> max

(–α

h)

μ≤z≤M

F(z)+ Th– forz∈(,γ].

By (.), we have

u(t) >γ,

and then

u(t) >γ for allt∈[,T]. (.)

Next, ifuattains its maximum over [,T] att∈[,T], thenu(t) =  and we see from

(.) that

u(t) =λ

t

t

f(u)u+α(t)

+h(t)

(7)

Therefore,

u(t)≤λFu(t)–Fu(t)+λ

t+T

t

α(t)

(t)dt+λ t+T

t

h+(s)ds

≤λ max γ≤u≤M

F(u)+λ

T

α(t)

(t)dt+Th+. (.)

Substituting (.) into (.), we have

u(t)≤ max γ≤u≤M

F(u)–Th+Th+:=M∗ for allt∈[,T]

and then

u(t)≤M∗ for allt∈[,T]. (.)

From (.), (.), (.) and Remark ., we can chooseM:=min{γ,D}whereDis

de-termined in Remark .,M=MandM=M∗such that all the conditions of Lemma .

are satisfied. Thus, by using Lemma ., we see that equation (.) has at least one positive

T-periodic solution. The proof is complete.

Theorem . Suppose that h< and(H)holds.Then equation(.)has at least one positive T -periodic solution.

Proof Suppose thatuis an arbitrary positiveT-periodic solution of equation (.), then

u+λf(u)uλα(t)

=λh(t), λ∈(, ]. (.)

Similar to the proof of (.) and (.), we find that there is a pointξ∈[,T] such that

u(ξ) =

α

h

μ

(.)

and

T

u(t)dt

 

<T

π h +T

 

α

h

 μ

h  

 :=ρ. (.)

In view of the inequality

u(t) =u(ξ) + t

ξ

u(s)dsu(ξ) + ξ+T

ξ

u(s)ds

=u(ξ) + T

u(s)ds, t∈[ξ,ξ+T],

and by using (.), together with Schwarz inequality, we have

max

t∈[,T]u(t)≤

α

h

μ +T

T

u(s)ds

 

(8)

and

min

t∈[,T]u(t)≥u(ξ) –

ξtu(s)ds

α

h

μT

T

u(s)ds

 

. (.)

Substituting (.) into (.) and (.), respectively, we have

max

t∈[,T]u(t)≤

α

h

μ

+T T

π h +T

  –α h  μ h    (.) and min

t∈[,T]u(t)≥

α

h

μ

T T

π h +T

  –α h  μ h    . (.)

The rest of the proof works almost analogously to the corresponding ones of

Theo-rem ..

Example . Considering the following equation:

x(t) + x

(t)

x(t)

sint

x

= – +cost. (.)

Corresponding to equation (.), we havef(x) =x,μ=,α(t) =sint,h(t) = –+cost, and

thenT= π,f(s)ds= +∞. This implies that assumption (H) holds. Sinceh= – < ,

by using Theorem ., we find that equation (.) has at least one positive π-periodic solution.

Example . Considering the following equation:

x(t) + x

(t)

x(t)

–sin

t

x

= –cost. (.)

Corresponding to equation (.),f can be regarded asf(x) = 

x

,μ=,α(t) =sintand

h(t) = –cost. Since

f(s)ds= , it follows that assumption (H) does not hold. This

implies that Theorem . cannot be used to study the existence of periodic solutions to (.). But, by simple calculating, we can verify that

h

α = , h

 =

T

 ,

whereT=π

, and then

α

h

μ

T T

π h +

T

α

h

μ

h

  =  – √ π  +  √ π  > ,

which implies that assumption (H) holds. Thus, by using Theorem ., we find that (.)

has at least one positive π

(9)

Remark The above two examples can neither be studied by using the results in [, , ] and [], sincef(x) in (.) and in (.) are all singular atx= , nor be studied by using the results in [], since the restoring force terms ofsint

x

in (.) andsint

x

in (.)

have weak singularities atx= .

Acknowledgements

The authors thank the referees for valuable comments. This research is supported by the NSF of China (No. 11271197).

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All the authors read and approved the final manuscript.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Received: 5 April 2017 Accepted: 13 June 2017

References

1. Lei, J, Zhang, M: Twist property of periodic motion of an atom near a charged wire. Lett. Math. Phys.60(1), 9-17 (2002) 2. Bevc, V, Palmer, JL, Süsskind, C: On the design of the transition region of axi-symmetric magnetically focused beam

valves. J. Br. Inst. Radio Eng.18, 696-708 (1958)

3. Ye, Y, Wang, X: Nonlinear differential equations in electron beam focusing theory. Acta Math. Appl. Sin.1, 13-41 (1978) (in Chinese)

4. Huang, J, Ruan, S, Song, J: Bifurcations in a predator-prey system of Leslie type with generalized Holling type III functional response. J. Differ. Equ.257(6), 1721-1752 (2014)

5. Plesset, MS: The dynamics of cavitation bubbles. J. Appl. Mech.16, 228-231 (1949)

6. Habets, P, Sanchez, L: Periodic solutions of some Liénard equations with singularities. Proc. Am. Math. Soc.109, 1035-1044 (1990)

7. Tanaka, K: A note on generalized solutions of singular Hamiltonian systems. Proc. Am. Math. Soc.122, 275-284 (1994) 8. Terracini, S: Remarks on periodic orbits of dynamical systems with repulsive singularities. J. Funct. Anal.111, 213-238

(1993)

9. Gaeta, S, Manásevich, R: Existence of a pair of periodic solutions of an ode generalizing a problem in nonlinear elasticity via variational methods. J. Math. Anal. Appl.123, 257-271 (1988)

10. Fonda, A: Periodic solutions for a conservative system of differential equations with a singularity of repulsive type. Nonlinear Anal.24, 667-676 (1995)

11. Jebelean, P, Mawhin, J: Periodic solutions of singular nonlinear differential perturbations of the ordinaryp-Laplacian. Adv. Nonlinear Stud.2(3), 299-312 (2002)

12. Torres, PJ: Mathematical Models with Singularities - A Zoo of Singular Creatures. Atlantis Press, Amsterdam (2015). ISBN:978-94-6239-105-5

13. Nagumo, M: On the periodic solution of an ordinary differential equation of second order. In: Zenkoku Shijou Suugaku Danwakai, pp. 54-61 (1944) (in Japanese). English translation in Mitio Nagumo Collected Papers, Sringer, Berlin (1993)

14. Derwidué, L: Systemes différentiels non linéaires ayant solutions périodiques. Acad. R. Belg., Cl. Lett. Sci., V Ser.49, 11-32 (1963)

15. Fauré, R: Solutions périodiques d’équations différentielles et méthode de Leray-Schauder. Ann. Inst. Fourier14(1), 195-204 (1964)

16. Gordon, WB: Conservative dynamical systems involving strong forces. Trans. Am. Math. Soc.204, 113-135 (1975) 17. Lazer, AC, Solimini, S: On periodic solutions of nonlinear differential equations with singularities. Proc. Am. Math. Soc.

99, 109-114 (1987)

18. Torres, PJ: Existence of one-signed periodic solutions of some second order differential equations via a Krasnoselskii fixed point theorem. J. Differ. Equ.190, 643-662 (2003)

19. Torres, PJ, Zhang, M: Twist periodic solutions of repulsive singular equations. Nonlinear Anal.56, 591-599 (2004) 20. Torres, PJ: Bounded solutions in singular equations of repulsive type. Nonlinear Anal.32, 117-125 (1998) 21. Jiang, D, Chu, J, Zhang, M: Multiplicity of positive periodic solutions to superlinear repulsive singular equations.

J. Differ. Equ.211, 282-302 (2005)

22. del Pino, M, Manásevich, R: Infinitely manyT-periodic solutions for a problem arising in nonlinear elasticity. J. Differ. Equ.103, 260-277 (1993)

23. del Pino, M, Manásevich, R, Montero, A:T-Periodic solutions for some second order differential equations with singularities. Proc. R. Soc. Edinb., Sect. A120(3-4), 231-243 (1992)

24. Fonda, A, Manasevich, R, Zanolin, F: Subharmonics solutions for some second order differential equations with singularities. SIAM J. Math. Anal.24, 1294-1311 (1993)

25. Torres, PJ: Weak singularities may help periodic solutions to exist. J. Differ. Equ.232, 277-284 (2007)

26. Chu, J, Torres, PJ, Zhang, M: Periodic solutions of second order non-autonomous singular dynamical systems. J. Differ. Equ.239, 196-212 (2007)

27. Li, X, Zhang, Z: Periodic solutions for second order differential equations with a singular nonlinearity. Nonlinear Anal.

(10)

28. Hakl, R, Torres, PJ, Zamora, M: Periodic solutions of singular second order differential equations: upper and lower functions. Nonlinear Anal.74, 7078-7093 (2011)

29. Hakl, R, Torres, PJ: On periodic solutions of second order differential equations with attractive-repulsive singularities. J. Differ. Equ.248, 111-126 (2010)

30. Zhang, M: Periodic solutions of Liénard equations with singular forces of repulsive type. J. Math. Anal. Appl.203(1), 254-269 (1996)

31. Martins, R: Existence of periodic solutions for second-order differential equations with singularities and the strong force condition. J. Math. Anal. Appl.317, 1-13 (2006)

32. Wang, Z: Periodic solutions of Liénard equation with a singularity and a deviating argument. Nonlinear Anal., Real World Appl.16(1), 227-234 (2014)

33. Hakl, R, Torres, PJ, Zamora, M: Periodic solutions of singular second order differential equations: the repulsive case. Topol. Methods Nonlinear Anal.39, 199-220 (2012)

34. Lu, S: A new result on the existence of periodic solutions for Liénard equations with a singularity of repulsive type. J. Inequal. Appl.2017, 37 (2017). doi:10.1186/s13660-016-1285-8

35. Lu, S, Zhong, T, Gao, Y: Periodic solutions ofp-Laplacian equations with singularities. Adv. Differ. Equ.2016, 146 (2016). doi:10.1186/s13662-016-0875-6

References

Related documents

BLOCK: Bilinear Superdiagonal Fusion for Visual Question Answering and Visual Relationship Detection.. Hedi Ben-younes, 1 , 2 Remi Cadene, 1 Nicolas Thome, 3 Matthieu

It is found that the hybrid controller can effectively delay the generation of Hopf branch and increase the stability of wireless network.Besides, the linear stability of the model

It was concluded that considering biomass production and its quality in terms of chemical composition and nutritional values, Black Seed Moringa (Moringa oleifera) may be

Table 2 illustrates the average score of participants in different aspects of the ability to take medical history, showing that the aspect with the highest point was

Also, knowing an integral solution of the given hyperbola, integer solutions for other choices of hyperbolas and parabolas are presented.. Employing the solutions,

The paper has presented some unexplored design paradigms of software evaluation while designing the embedded systems well particular like polar satellite antenna

So it is very essential to develop the study on Γ-Hilbert Space, mainly Orthogonality and representation of any bounded linear functional on Γ-Hilbert Space .In his paper we

Steady- state mixed convection boundary layer flow, heat and mass transfer characteristics of Kuznetsov and Nield model nanofluid over an inclined porous vertical