• No results found

New existence results for periodic boundary value problems with impulsive effects

N/A
N/A
Protected

Academic year: 2020

Share "New existence results for periodic boundary value problems with impulsive effects"

Copied!
10
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

New existence results for periodic

boundary value problems with impulsive

effects

Weibing Wang

*

and Li Guo

*Correspondence:

[email protected]

Department of Mathematics, Hunan University of Science and Technology, Xiangtan, Hunan 411201, P.R. China

Abstract

New results as regards the existence of positive solutions for first order impulsive differential equations are provided. The method of proof relies on the fixed point theorem and degree theory. Some examples are presented to illustrate the main results.

MSC: 34B18; 34B37

Keywords: positive solutions; periodic boundary value problem; fixed point; degree

1 Introduction

In this paper, we study the existence of positive solutions for the following boundary value problem with impulsive effects:

⎧ ⎪ ⎨ ⎪ ⎩

x(t) +a(t)x(t) =f(t,x(t)), t=tk,tJ,

x(tk) =Ik(x(tk)), k= , , . . . ,p,

x() =x(T),

(.)

whereJ= [,T],  =t<t<t<· · ·<tp<  =tp+,x(tk) =x(tk+) –x(tk–),x(t+k), andx(tk)

represent the right limit and left limits ofu(t) attk, respectively.

Impulsive differential equations serve as basic models to study the dynamics of processes that are subject to sudden changes in their states and its theory has developed fast during the past few years. There has been increasing interest in the investigation for boundary value problems of nonlinear impulsive differential equations and much literature has been published about the existence of solutions for impulsive differential equations, see [–] and the references therein. There are some common techniques to approach those prob-lems: the fixed point theorems [–], the method of upper and lower solutions [–], the topological degree theory [, ], the variational method [–] and so on. Recently, using the fixed point theorem, Zhanget al.[] obtained the existence of a positive solu-tion of (.), where they required that the funcsolu-tionais of definite sign. In this paper, we continue to discuss (.). By using the fixed point theorem in a cone different from the one in [] and degree theory, we obtain some new conditions which guarantee the existence of single and multiple positive solutions for (.). Our results are different from the results in [] and are new even ifIk≡.

(2)

2 Main results

LetJ∗=J\{t,t, . . . ,tp},PC(J) ={u:JR|uC(J∗),u(ti+),u(ti) exist andu(ti) =u(ti),i=

, , . . . ,p}.PC(J) is a Banach space with the normu=sup{|u(t)|:tJ}.

Lemma .[] The function xPC(J)is a solution of(.)if and only if x is a solution of the following impulsive integral equation:

x(t) = T

G(t,s)fs,x(s)ds+

p k=

G(t,tk)Ik

x(tk)

,

where

G(t,s) = ⎧ ⎪ ⎨ ⎪ ⎩

e

s

t a(r)dr

e

T

a(s)ds–, if≤t<sT,

e

s t a(r)dre

T

a(r)dr

e

T

a(s)ds–

, if≤stT.

Set

+=

aC(J,R) : T

a(r)dr> 

, –=

aC(J,R) : T

a(r)dr< 

,

M=maxG(t,s) :t,sJ, m=minG(t,s) :t,sJ.

The Green’s functionGis of definite sign ifa+. Moreover,M>m>  ifa+;

m<M<  ifa.

Define the operatorAand coneKonPC(J) by

(Ax)(t) = T

G(t,s)fs,x(s)ds+

p k=

G(t,tk)Ik

x(tk)

,

K=xPC(J) :x(t)δx,

whereδ=m

M ifa

+;δ=M

m ifa

.

Lemma .[] Let X be a Banach space and K be a cone in X.Supposeandare

open subsets of X such that∈⊂ ¯⊂and suppose that

:K∩(¯\)→K

is a completely continuous operator such that:

(i) infu> ,u=μuforuKandμ≥,andu=μuforuKand <μ≤,or

(ii) infu> ,u=μuforuKandμ≥,andu=μuforuKand <μ≤.

Thenhas a fixed point in K∩(¯\).

Set

ϕ(s) =T sup (t,u)∈J×[δs,s]

f(t,u) u +sup

p

k= ln

 +Ik(vk) vk

:vk∈[δs,s]

(3)

ψ(s) =T inf (t,u)∈J×[δs,s]

f(t,u) u +inf

p

k= ln

 +Ik(vk) vk

:vk∈[δs,s]

,

ϕ= lim

s→+ϕ(s), ϕ∞=slim+ϕ(s), ψ=slim+ψ(s), ψ∞=slim+ψ(s). The following theorems are the main results of this paper.

Theorem . Assume that a+and there exist two positive constants r<R such that

fCJ×[δr,R], [, +∞), IkC

[δr,R], [, +∞) (≤kp). (.)

Then(.)has at least one solution x with r≤ x ≤R if one of the following conditions is satisfied:

(H) ϕ(r) <

T

a(s)dsandψ(R) >

T

a(s)ds;

(H) ϕ(R) <

T

a(s)dsandψ(r) >

T

a(s)ds.

Proof Here, we only prove the case in which (H) is satisfied. LetR={x∈K:x<R},

r={x∈K:x<r}. At first, we show thatA:¯R\rK. For anyx∈ ¯R\r,δr

x(t)R,tJ. From  <mG(t,s)Mand (.), we obtain, forx∈ ¯R\r,

≤(Ax)(t)≤M

T

fs,x(s)ds+

p k=

Ik

x(tk)

MTmaxf(t,u) :tJ,δruR

+pMmaxIk(u) :δruR, kp

< +∞,

(Ax)(t)≥m

T

fs,x(s)ds+

p k=

Ik

x(tk)

δAx.

Hence,A:¯R\rK. In addition, one easily checks thatAis completely continuous.

Next, we show that:

(a) x=μAxforxK∂rand <μ≤,

(b) infAx> ,x=μAuforxK∂Randμ≥.

If (a) is not true, there existxK∂rand  <μ≤ withx=μAx. Hence,

⎧ ⎪ ⎨ ⎪ ⎩

x(t) +a(t)x(t) =μf(t,x(t)), t=tk,tJ,

x(t+

k) =x(tk) +μIk(x(tk)), k= , , . . . ,p,

x() =x(T).

(.)

Sincex(t)δr> , we rewrite (.) as

⎧ ⎪ ⎨ ⎪ ⎩

(lnx(t))+a(t) =μf(xt(,tx)(t)), t=tk,tJ,

lnx(tk) =ln( +

μIk(x(tk))

x(tk) ), k= , , . . . ,p,

x() =x(T).

(4)

Integrating the first equality in (.) from  toT, we obtain

which is a contradiction.

Suppose thatinfxK∂RAx= . There exists the sequencexnK∂R such that

which implies thatψ(R) = , a contradiction.

Suppose that there existuK∂Randμ≥ withu=μAu. Then

Integrating the first equality in (.) from  toT, we obtain

T

which is a contradiction.

By Lemma ., there existsx∈ ¯R\rwithAx=x, which is the positive solution of (.).

The proof is complete.

(5)

Theorem . Assume that a+and there exist N+ positive constants p

<p<· · ·<

pN<pN+such that

fCJ×[δp,pN+], [, +∞)

, IkC

[δp,pN+], [, +∞)

(≤kp).

Further suppose that one of the following conditions is satisfied: () ϕ(pk–) <

T

a(s)ds,k= , , . . . , [(N+ )/],ψ(pk) >

T

a(s)ds,

k= , , . . . , [(N+ )/],or

() ψ(pk–) >

T

a(s)ds,k= , , . . . , [(N+ )/],ϕ(pk) <

T

a(s)ds,

k= , , . . . , [(N+ )/],

where[d]denotes the integer part of d.Then(.)has at least N positive solutions xkX,

k= , , . . . ,N with pk<xk<pk+.

Proof Assume that () holds. The case in which () holds is similar. Sinceϕ,ψare contin-uous functions, for any ≤jN, there existrj,Rjsuch thatpj<rj<Rj<pj+and

ϕ(rj) <

T

a(s)ds, ψ(Rj) >

T

a(s)ds, jis odd,

ϕ(Rj) <

T

a(s)ds, ψ(rj) >

T

a(s)ds, jis even.

By Theorem ., (.) has at least one positive solutionxjwithrjxjRj. This ends the

proof.

Theorem . Assume that aand there exist two positive constants r<R such that

fCJ×[δr,R], (–∞, ], IkC

[δr,R], (–∞, ] (≤kp). (.)

Further suppose that(H)or(H)is satisfied,wherelnα= –∞ifα≤.Then(.)has at

least one solution x with r≤ x ≤R.

The proof of Theorem . is similar to that of Theorem . and we omit it.

Theorem . Assume that a+and the following conditions are satisfied:

(D) There exist constants <α<βsuch thatf(t,u),Ik(u)are nondecreasing inu∈[α,β]

and

T

f(t,α)dt+

p k=

Ik(α) >

α

m,

T

f(t,β)dt+

p k=

Ik(β) <

β

M.

(D) There existsγ >βsuch that

fCJ×[,γ], [, +∞), IkC

[,γ], [, +∞),

T

 sup ≤uγ

f(t,u)dt+

p k=

sup ≤uγ

Ik(u)≤

γ

(6)

(D)

lim

x→+ f(t,x)

x = , xlim→+ Ik(u)

u = .

Then(.)has at least two positive solutions in Uγ ={x∈PC(J) :x ≤γ}.

Proof Set

f =

f(t,|u|), |u| ≤γ,

f(t,γ) |u|>γ, Ik=

Ik(|u|), |u| ≤γ,

Ik(γ), |u|>γ,

(Tλu)(t) =λ

T

G(t,s)fs,u(s)ds+λ

p k=

G(t,tk)Ik

u(tk)

, λ∈[, ],uPC(J),

λ=I, V=

xPC(J),α<x<β,

whereI denotes the identity map. It is easy to check that: [, ]×PC(J)PC(J) is

compact. We show: () T(V)⊂V.

() λ(u) = implies thatu ≤γ.

() There existsc∈(,α)such thatλ(u) = admits only the trivial solution inUc.

The proof of (). From (D), we obtain, for∀uV,

f(t,α)≤f(t,u)f(t,β),

Ik(α)≤Ik(u)≤Ik(β).

Thus, for alluV,

T(u) =

T

G(t,s)fs,u(s)ds+

p k=

G(t,tk)Ik(u)≤M

T

f(s,β)ds+

p k=

Ik(β)

<β,

T(u)≥m

T

f(s,α)ds+

p k=

Ik(α)

>α.

That is,T(V)⊂V.

The proof of (). Ifϕλ(u) = , then

|u|=(u)=

T

G(t,s)fs,u(s)ds+

p k=

G(t,tk)Ik

u(tk)

M T

 sup ≤uγ

f(s,u)ds+M

p k=

sup ≤uγ

Ik(u)≤γ.

The proof of (). From (D), there exists  <c<αsuch that

f(t,u)u

MT, Ik(u)≤ u

(7)

IfuUcwithu=Tλu, we have By the additivity property of the degree, one obtains

d,Ucγ, 

positive solutions in. The proof is complete.

(8)

Seth∗=min{h(t) :tJ}andh∗=max{h(t) :tJ}. We claim that (.) has at least one positive solution provided that the following conditions hold:

γ=

p k=

ln( +ck) <κT, ifh∗≥, (.)

γ=:

h∗–eλκTheκT

–h∗ a

λ

<κ–  T

p k=

ln( +ck), ifh∗< . (.)

In fact,f(t,u) =au–λ+h(t),ψ

= +∞. Moreover,ϕ∞=γifh∗≥. Ifh∗< , chooseb=

λ

a/(–h∗), ≤f(t,u)au–λ+h∗≤γufor (t,u)J×[δb,b] andϕ(b) =γT+γ<κT. By

Theorem ., (.) has one positive solution.

Remark . The conditions (.) and (.) are different from those of Corollary . in [].

Example . Consider the differential equation

⎧ ⎪ ⎨ ⎪ ⎩

x(t) + x(t) =x

(t)exp(–.x(t)), t[,t

)∪(t, ], x(t) = x

(t )

+x(t ), x() =x().

(.)

Letf(t) =te–.t,I

(t) = t/( +t),α= .,β= ,γ = . It is easy to check that the

conditions (D)-(D) hold. Hence, (.) has at least two positive solutions.

3 Application

In this section, we consider the differential equation

⎧ ⎪ ⎨ ⎪ ⎩

x(t) = –x((tt))+f(x(t)), t=tk,tJ,

x(tk) =ckx(tk), k= , , . . . ,p,

x() =x(T),

(.)

whereλ≥.

Sety=exp(xλ+(t)/(λ+ )) andF(u) =uλf(u), then

⎧ ⎪ ⎨ ⎪ ⎩

y(t) +a(t)y(t) =y(t)F(((λ+ )lny(t))λ+), t=tk,tJ,

y(tk) =y(tk)(+ck)

λ+

y(tk), k= , , . . . ,p,

y() =y(T).

(.)

If (.) has a solutiony(t) > ,tJ, thenx(t) = ((λ+ )lny(t))λ+ is the positive solution of (.). By Theorem ., we have the following result.

Theorem . Assume that a+,fC((, +∞), [, +∞)),c

k> .If there exist constants

δ–<r<R such that

T sup δrur

F(λ+ )lnu

λ++r

p k=

( +ck)λ+– 

<

T

(9)

T inf δRuRF

(λ+ )lnu

λ++lnδ–R

p k=

( +ck)λ+– 

>

T

a(t)dt

or

T sup δRuR

F(λ+ )lnu

λ++lnR

p k=

( +ck)λ+– 

<

T

a(t)dt,

T inf δrurF

(λ+ )lnu

λ++lnδ–r

p k=

( +ck)λ+– 

>

T

a(t)dt,

then(.)has at least one positive solution.

Example . Consider the differential equation

⎧ ⎪ ⎨ ⎪ ⎩

x(t) = –x((tt))+μf(x(t)), t=tk,tJ,

x(tk) =μx(tk), k= , , . . . ,p,

x() =x(T),

(.)

whereλ≥,a+,fC((, +∞), [, +∞)),μis a positive real parameter.

Corollary . There existsμ∗> such that(.)has at least a positive solution for any

μ∈(,μ∗).

Proof Choosingr=δ–+. Sincef(u) is continuous in (, +∞) andlnu>  foru[δr,r],

we obtain

≤ sup δrur

(λ+ )lnu

λ

+λf(λ+ )lnuλ+≤C

for someC> . On the other hand, since [( +μ)λ+– ]/μ +λasμ+, there is σ>  such that

( +μ)λ+– ≤( +λ)μ,  <μσ.

Setμ∗=min{σ,Ta(s)ds/[CT+ p(λ+ )lnr]}, forμ<μ∗, we have

T sup δrur

F(λ+ )lnu

λ++lnr

p k=

( +μ)λ+– 

<μCT+ p(λ+ )lnr<

T

a(t)dt.

Taking

R=max

exp

T

a(t)dt

p( +μ)+λp,δ

(10)

one easily checks that

T inf δRuRF

(λ+ )lnu

λ++lnδ–R

p k=

( +μ)λ+– >

T

a(t)dt.

By Theorem ., (.) has one positive solution.

Remark . Corollary . admits the case that the functionachanges sign. As far as we know, no paper discussed (.) whenachanges sign.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Authors typed, read, and approved the final draft.

Acknowledgements

The authors wish to express their thanks to the referee for his/her very valuable suggestions and careful corrections. The work is supported by the NNSF of China (11171085), Hunan Provincial Natural Science Foundation of China (2015JJ2068).

Received: 1 March 2015 Accepted: 10 August 2015 References

1. Bainov, DD, Simeonov, PS: Impulsive Differential Equations: Periodic Solutions and Applications. Longman, Harlow (1993)

2. Bainov, DD, Hristova, SG, Hu, S, Lakshmikantham, V: Periodic boundary-value problem for systems of first-order impulsive differential equations. Differ. Integral Equ.2, 37-43 (1989)

3. Guo, DJ: Multiple positive solutions for first order impulsive superlinear integro-differential equations on the half line. Acta Math. Sci.31(3), 1167-1178 (2011)

4. Agarwal, RP, O’Regan, D: A multiplicity result for second order impulsive differential equations via the Leggett Williams fixed point theorem. Appl. Math. Comput.161, 433-439 (2005)

5. Chen, JH, Tisdell, CC, Yuan, R: On the solvability of periodic boundary value problems with impulse. J. Math. Anal. Appl.331, 902-912 (2007)

6. Kaufmann, ER, Kosmatov, N, Raffoul, YN: A second-order boundary value problem with impulsive effects on an unbounded domain. Nonlinear Anal.69, 2924-2929 (2008)

7. Lin, XN, Jiang, DQ: Multiple positive solutions of Dirichlet boundary value problems for second order impulsive differential equations. J. Math. Anal. Appl.321, 501-514 (2006)

8. Zhang, XY, Li, XY, Jiang, DQ, Wang, K: Multiplicity positive solutions to periodic problems for first order impulsive differential equations. Comput. Math. Appl.52, 953-966 (2006)

9. Erbe, LH, Liu, XZ: Existence results for boundary value problems of second order impulsive differential equations. J. Math. Anal. Appl.149(1), 56-69 (1990)

10. Jankowski, T: Positive solutions to second order four-point boundary value problems for impulsive differential equations. Appl. Math. Comput.202, 550-561 (2008)

11. Luo, ZG, Nieto, JJ: New results for the periodic boundary value problem for impulsive integro-differential equations. Nonlinear Anal. TMA70, 2248-2260 (2009)

12. Nieto, JJ, Rodríguez-López, R: New comparison results for impulsive integro-differential equations and applications. J. Math. Anal. Appl.328, 1343-1368 (2007)

13. Chu, JH, Nieto, JJ: Impulsive periodic solutions of first-order singular differential equations. Bull. Lond. Math. Soc.40, 143-150 (2008)

14. Qian, DB, Li, XY: Periodic solutions for ordinary differential equations with sublinear impulsive effects. J. Math. Anal. Appl.303, 288-303 (2005)

15. Nieto, JJ: Variational formulation of a damped Dirichlet impulsive problem. Appl. Math. Lett.23, 940-942 (2010) 16. Sun, JT, Chen, HB, Nieto, JJ, Otero-Novoa, M: Multiplicity of solutions for perturbed second-order Hamiltonian

systems with impulsive effects. Nonlinear Anal. TMA72, 4575-4586 (2010)

17. Zhang, H, Li, ZX: Variational approach to impulsive differential equations with periodic boundary conditions. Nonlinear Anal., Real World Appl.11, 67-78 (2010)

References

Related documents

(?,c)$(\omega ,c)$ Periodic solutions for time varying impulsive differential equations Wang et al Advances in Difference Equations (2019) 2019 259 https //doi org/10 1186/s13662 019 2188

Existence of order 1 periodic solutions for a viral infection model with state dependent impulsive control Wang et al Advances in Difference Equations (2019) 2019 35 https //doi

Periodic boundary value problems for first order impulsive difference equations with time delay Tian et al Advances in Difference Equations (2018) 2018 79 https //doi org/10 1186/s13662

Impulsive integral boundary value problems of the higher order fractional differential equation with eigenvalue arguments Zhao Advances in Difference Equations (2015) 2015 382 DOI

Wavelet multilevel augmentation method for linear boundary value problems Utudee and Maleewong Advances in Difference Equations (2015) 2015 126 DOI 10 1186/s13662 015 0464 0 R E S E A R C

Periodic solutions for a seasonally forced SIR model with impact of media coverage Zu and Wang Advances in Difference Equations (2015) 2015 136 DOI 10 1186/s13662 015 0477 8 R E S E A R C

Existence results of second order impulsive neutral functional differential inclusions in Banach spaces Li and Li Advances in Difference Equations (2015) 2015 309 DOI 10 1186/s13662

Solvability of anti periodic boundary value problem for coupled system of fractional p Laplacian equation Jiang Advances in Difference Equations (2015) 2015 305 DOI 10 1186/s13662 015