• No results found

Multiple solutions for a class of perturbed second-order differential equations with impulses

N/A
N/A
Protected

Academic year: 2020

Share "Multiple solutions for a class of perturbed second-order differential equations with impulses"

Copied!
16
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

Multiple solutions for a class of perturbed

second-order differential equations with

impulses

Shapour Heidarkhani

1*

, Massimiliano Ferrara

2

, Amjad Salari

1

and Giuseppe Caristi

3

*Correspondence:

[email protected] 1Department of Mathematics,

Faculty of Sciences, Razi University, Kermanshah, 67149, Iran Full list of author information is available at the end of the article

Abstract

The present paper is an attempt to investigate the existence of weak solutions for perturbed impulsive problems containing a Lipschitz nonlinear term. The study bases itself on the most recent variational approaches to the smooth functionals which are defined on reflexive Banach spaces. The findings of the study, finally, revealed that, under appropriate conditions, such problems possess at least three weak solutions. According to the results, these solutions are generated by impulses when the Lipschitz nonlinear term is zero.

Keywords: multiple solutions; perturbed impulsive differential equation; critical point theory; variational methods

1 Introduction

This paper attempts to study the existence of three weak solutions for the perturbed im-pulsive problem

⎧ ⎪ ⎨ ⎪ ⎩ ¨

u(t) +Vu(t,u(t)) =h(u(t)), t∈(sk–,sk), u˙(sk) =λfk(u(sk)) +μgk(u(sk)),

u() –u(T) =u˙() –u˙(T) = ,

()

wheresk,k= , , . . . ,m, are instants in which the impulses occur and  =s<s<s· · ·<

sm <sm+ =T, u˙(sk) =u˙(sk+) –u˙(sk–) with u˙(sk±) =limtsk±u˙(t), fk(ξ) =gradξFk(ξ),

gk(ξ) =gradξGk(ξ), h(ξ) =gradξH(ξ), Fk,Gk,H ∈ C(RN,R), V ∈ C([,T]× RN,R),

(t,ξ) =gradξV(t,ξ),h:RN→RNis a Lipschitz continuous function with the Lipschitz constantL> ,i.e.,

h(ξ) –h(ξ)≤L|ξ–ξ|

for everyξ,ξ∈RN andh() = , andλ>  andμ≥ are two parameters.

Impulsive differential equations emerge from the real world problems and are accli-mated to be employed as handy means for the description of the processes which are en-dowed with abrupt discontinuous jumps. As for this, these processes are used in such a vast array of fields as control theory, biology, impact mechanics, physics, chemistry,

(2)

chemical engineering, population dynamics, biotechnology, economics, optimization the-ory, and the inspection process in operations research. That is why the theory of impul-sive differential equations is now highly appreciated as a natural theoretical basis for the mathematical modeling of the natural phenomena of various kinds. For a comprehensive background in the theory and the applications of the impulsive differential equations, we hereby refer the interested reader to [–].

There is already a large body of research on the notion of impulsive differential equa-tions in the literature. The findings of most of these studies are mainly achieved through some such theories as fixed point theory, topological degree theory (including continu-ation method and coincidence degree theory) and comparison method (including upper and lower solutions method and monotone iterative method) (see, for example, [–] and references therein). Recently, the existence and multiplicity of solutions for impul-sive problems have been thoroughly investigated by [–] using variational methods and the critical point theory, the whole findings of which can be considered as nothing but generalizations of the corresponding ones for the second-order ordinary differential equations. Put differently, the aforementioned achievements can be applied to impulsive systems in the absence of the impulses and still give the existence of solutions in this sit-uation. This is, somehow, to say that the nonlinear termVufunctions more significantly as compared to the role played by the impulsive termsfk in guaranteeing the existence of solutions in these results. In [], which is a probe into the existence of periodic and homoclinic solutions for a class of second-order differential equations of the form () in the caseμ= , via variational methods, the results signify that such a system enjoys at least one non-zero periodic solution as well as one non-zero homoclinic solution under appropriate conditions, and these solutions are generated by impulses whenf= . Based on the variational methods and the critical point theory, [] has examined problem () in the caseμ= , by means of which the authors have proved that such a problem ad-mits at least one non-zero, two non-zeros, or an infinite number of periodic solutions as yielded by the impulses under different assumptions, respectively. Most particularly, us-ing a smooth version of Theorem . in [] which is a more precise version of Ricceri’s variational principle ([], Theorem .) under some hypotheses on the behavior of the nonlinear terms at infinity, under conditions on the potentials offkandgk, [] has proved that the existence of definite intervals aboutλandμ, in which problem () in the caseh≡ admits an unbounded sequence of solutions generated by impulses. Moreover, it has been proved that replacing the conditions at infinity of the nonlinear terms with a similar one at zero admits the same results.

(3)

employed by [–] to ensure the presence of at least three solutions for the perturbed boundary value problems.

The curious reader is also referred to [–], which have verified the existence of mul-tiple solutions for boundary value problems. For a thorough study of the subject, we also refer the reader to [–].

The organization of the present paper is as follows. In Section  we recall some basic definitions and preliminary results, while Section  is devoted to the existence of multiple solutions for the impulsive differential problem ().

2 Preliminaries

Our fundamental tool consists of three critical point theorems. In the first one, the coer-civity of the functionalλ is essential. In the second one, a proper sign hypothesis has been assumed.

Theorem .([], Theorem .) Let X be a reflexive real Banach space,:X→Rbe a coercive continuously Gâteaux differentiable and sequentially weakly lower semicontin-uous functional whose Gâteaux derivative admits a continsemicontin-uous inverse on X∗,:X→R be a continuously Gâteaux differentiable functional whose Gâteaux derivative is compact such that() =() = .

Assume that there exist r> and¯vX,with r<(v¯)such that

(a) sup(u)≤r(u)

r < (v)¯ (¯v);

(a) for eachλr:= ]((¯v)v)¯ ,sup(u)rr(u)[the functionalλis coercive.

Then,for eachλrthe functionalλhas at least three distinct critical points in X.

Theorem .([], Theorem .) Let X be a reflexive real Banach space,:X→Rbe a convex,coercive and continuously Gâteaux differentiable functional whose derivative ad-mits a continuous inverse on X∗,:X→Rbe a continuously Gâteaux differentiable func-tional whose derivative is compact,such that

. infX=() =() = ;

. for everyλ> and for everyu,u∈Xwhich are local minima for the functional λand such that(u)≥and(u)≥,one has

inf s∈[,]

su+ ( –s)u

≥.

Assume that there are two positive constants r,randv¯∈X,withr<(v¯) <r,such

that

(b) supu–(]–∞,r[)(u)

r <

 

(v)¯ (¯v); (b)

supu

–(]–∞,r[)(u)

r <

 

(¯v) (¯v).

Then,for eachλ∈]((v)¯¯v),min{ r

supu–(]–,r

[)(u)

,

r

supu–(]–,r

[)(u)}

[,the functional–λ

has at least three distinct critical points which lie in–(] –∞,r[).

In this paper we consider the Hilbert space

(4)

with the inner product

u,v=

T

u(t),v(t)+u˙(t),v˙(t)dt for allu,vX,

where (·,·) is the inner product inRN. Obviously, the corresponding norm into the above inner product is as follows:

u=

T

u˙(t)+u(t)dt

for alluX,

andXwith this norm is a separable and uniformly convex Banach space. Since the embeddingX→C([,T],RN) is compact (see []), one has

C:= sup uX\{}

maxt∈[,T]|u(t)|

u <∞. ()

We say thatuXis a weak solution of the problem () if

T

˙

u(t),v˙(t)–Vu

t,u(t),v(t)+hu(t),v(t)dt+λ m

k=

fk

u(sk),v(sk)

+μ m

k=

gk

u(sk),v(sk)= 

for everyvX. Moreover, set

:=max

|t|≤θ

m

k=

Gk(t)

for everyθ>  and

:=inf [,η]

m

k=

Gk(t)

for everyη> . It is obvious that andG η≤. We consider the following assumptions onV:

(A) Vis continuously differentiable and there exist two positive constantsa,a> so thata|ξ|≤–V(t,ξ)≤a|ξ|for all(t,ξ)∈[,T]×RN;

(A) –V(t,ξ)≤–((t,ξ),ξ)≤–V(t,ξ)for all(t,ξ)∈[.T]×RN; (A) –ξ(t,ξ–ξ) =(t,ξ) –(t,ξ)for allt∈[,T]andξ,ξ∈R

N.

We assume throughout and without further mention that the Lipschitz constantL>  of the functionhmeets the condition

min

 ,a

>TLC.

(5)

Proposition . Let the assumptions(A), (A),and(A)be satisfied and K:XXbe the operator defined by

K(u)v=

T

˙

u(t),v˙(t)–Vu

t,u(t),v(t)+hu(t),v(t)dt.

Then K admits a continuous inverse on X∗.

Proof Since|h(ξ) –h(ξ)| ≤L|ξ–ξ|for everyξ,ξ∈RN, using the Cauchy-Schwarz inequality one has –L|ξ–ξ|≤(h(ξ) –h(ξ),ξ–ξ)≤L|ξ–ξ|for everyξ,ξ∈RN. So, taking () into account, bearing in mind thath() = , we have

K(u),u=

T

u˙(t)–Vu

t,u(t),u(t)+hu(t),u(t)dt

T

u˙(t)+au(t) 

dtL

T

u(t)dt

≥min{,a}–TLC

u,

and becausemin{,a} ≥min{,a}>TLC, we havelimu→∞K(u),uu = +∞, that is,K is coercive. For anyu,vXone has

K(u) –K(v),uv=

T

˙

u(t) –v˙(t),u˙(t) –v˙(t)dt

T

Vu

t,u(t)–Vv

t,v(t),u(t) –v(t)dt

+

T

hu(t)–hv(t),u(t) –v(t)dt

T

u˙(t) –˙v(t)dt+

T

au(t) –v(t) 

dt

L

T

u(t) –v(t)dt

≥min{,a}–TLC

uv,

soK is uniformly monotone. By Theorem .A(d) in [],K–exists and is continuous

onX∗.

3 Main results

In this section, we show our main results of the existence of at least three weak solutions for the problem ().

To obtain our first result, we take the two positive constantsθ andηin such a way that

(a+LTC) –mk=Fk(η)

< (a–LTC

Cmax| t|≤θ[–

m

k=Fk(t)] and taking

λ :=

(a+LTC) –mk=Fk(η) ,

(a–LTC)θ

Cmax|

t|≤θ[–mk=Fk(t)]

(6)

set

δλ=min

θ Cλ

(a–LTC)max|t|≤θ[–

m

k=Fk(t)] C

(a–LTC)G

θ ,

η λ (a+LTC)T[–

m

k=Fk(η)]

(a+LTC)T

()

and

¯

δλ:=min

δλ,

max{,(a C

–LTC)lim sup|t|→∞

supmk=[–Gk(t)]

|t| }

, ()

where we sayρ/ = +∞, so that, for example,δ¯λ= +∞when

lim sup

|t|→∞

supmk=[–Gk(t)]

|t| ≤

and== .

Theorem . Suppose that V satisfies the assumptions(A), (A),and(A).Assume that there exist two positive constantsθ andηsuch thatθ<√TCηand

(A) max|t|≤θ[–mk=Fk(t)]

θ <

a–LTC

C(a +LTC)T

mk=Fk(η)

η ,wherea=min{  ,a}; (A) lim sup|t|→+

m k=[–Fk(t)]

|t| ≤.

Then,for each λ and for each arbitrary function Gk∈C(RN,R)denoting gk(ξ) = gradξGk(ξ)for eachξ∈RN for k= , , . . . ,m,fulfilling the condition

lim sup

|t|→∞

m

k=[–Gk(t)]

|t| < +∞,

there existsδλ¯ > given by()such that,for eachμ∈[,δλ[,¯ the problem()admits at least three distinct weak solutions in X.

Proof Fixλ,Gkfork= , , . . . ,mandμas in the conclusion. Our aim is applying Theo-rem . for the functionals,:X→R, defined by

(u) =

T

 u˙(t)

Vt,u(t)dt+

T

Hu(t)dt

and

(u) = –

m

k=

Fk

u(sk)+μ λ

m

k=

Gk

u(sk)

.

It is easily observable thatis a Gâteaux differentiable functional and sequentially weakly upper semicontinuous whose Gâteaux derivative at the point uX is the functional (u)∈X∗, given by

(u)v= –

m

k=

fk

u(sk),v(sk)+μ λ

m

k=

gk

u(sk),v(sk)

(7)

and:XX∗is a compact operator. Moreover,is a Gâteaux differentiable functional whose Gâteaux derivative at the pointuXis the functional(u)∈X∗, given by

(u)v=

T

˙

u(t),v˙(t)–Vu

t,u(t),v(t)dt

+

T

hu(t),v(t)dt

for every vX, while Proposition . shows that admits a continuous inverse onX∗. Furthermore,is sequentially weakly lower semicontinuous. Indeed, letunX with unu weakly in X, taking weakly lower semicontinuity of the norm, we have lim infn→+∞un ≥ uandunuuniformly on [,T]. Hence, sinceV andHare con-tinuous, we have

lim n→+∞

 

T

u˙n(t)

Vt,un(t)dt+

T

Hun(t)dt

≥

T

u˙(t)–Vt,u(t)dt+

T

Hu(t)dt.

Thuslim infn→+∞(un)(u), that is,is sequentially weakly lower semicontinuous. Like the proof of Lemma  of [], we observe that the weak solutions of the problem () are concisely the solutions of the equation(u) –λ(u) = . Since –L|ξ| ≤ |h(ξ)| ≤L|ξ|for everyξ∈RN, we have|H(ξ)| ≤L|ξ|for allξRN. In parallel lines with the assumption (A),

a–LTC

u(u)a

+LTC

u, ()

where a=min{,a}. Put r:= θ

(a –LTC)

C and w(t) :=η for every t∈[,T]. Because

min{

,a}>TLC

, we havemin{,a

}>TLC, which meansa–LTC> , and sor> . It is clear thatwXand

w=Tη.

Sinceθ <√TCη, using (), we have  <r<(w). Taking () into account, from () we observe that

–]–∞,r[= uX;(u)≤r

uX;a–LTC

u≤ruX;u(t)≤θ for eacht∈[,T],

and it follows that

sup u–(]–∞,r])

(u) = sup u–(]–∞,r])

m

k=

Fk

u(sk)μ λ

m

k=

Gk

u(sk)

≤max

|ξ|≤θ

m

k=

Fk(ξ)

+μ λG

(8)

Moreover, we have

(w) = – m

k=

Fk

w(t)–μ λ

m

k=

Gk

w(t)

≥– m

k=

Fk(η) +μ λGη.

So, we obtain

supu–(]–,r])(u)

r =

supu–(]–,r])[–

m

k=[Fk(u(sk)) + μ

λGk(u(sk))]]

r

≤max|ξ|≤θ[–

m

k=Fk(ξ)] + μ λG

θ

θ(a –LTC)

C

()

and

(w) (w)≥

mk=Fk(w(t)) –μλ

m

k=Gk(w(t)) (a+LTC)η

C

≥–

m

k=Fk(η) + μ λGη (a+LTC)η

C

. ()

Sinceμ<δλ, one has

μ<

θ C

a–LTCλmax|ξ|≤θ[–

m

k=Fk(ξ)] C

(a–LTC)G

θ ,

this means

max|ξ|≤θ[–

m

k=Fk(ξ)] + μ λG

θ

θ(a –LTC)

C

<  λ.

Furthermore,

μ<

η Ca–LTCλ[–

m

k=Fk(η)] C

a–LTC

,

this means

mk=Fk(η) +μλ η(a–LTC)

C

> λ.

Then

max|ξ|≤θ[–

m

k=Fk(ξ)] + μ λG

θ

θ(a–LTC)

C

<  λ<

mk=Fk(η) +μλ η(a–LTC)

C

(9)

Hereupon, from ()-() we infer that the condition (a) of Theorem . is achieved. Even-tually, sinceμ<δλ, we can fix¯ l>  in such a manner that

lim sup

|ξ|→∞

m

k=[–Gk(ξ)]

|ξ| <l

andμl<a–LTC

C . Therefore, there exists a constantqsuch that

m

k=

Gk(u)≤l|u|+q for allu∈RN ()

fork= , , . . . ,m. Now, fix  <ε< a–LTC

Cλμlλ. Owing to the assumption (A) there is a

constantsuch that

m

k=

Fk(u)≤ε|u|+ for allu∈RN ()

fork= , , . . . ,m. Due to (), (), and () we have

(u) –λ(u) =

T

 u˙(t)

Vt,u(t)+Hu(t)dt

λ

m

k=

Fk

u(sk)+μ λG

u(sk)

a–LTC

u–λε|u|–λqεμl|u|–μq

a–LTC–λCεμCl

uλq εμq.

This means that the functional–λis coercive, and the assumption (a) of Theorem . is verified. From () and (),

λ

(w) (w),

r

sup(u)r(u)

and Theorem . (withv¯=w) ensures that the problem () possesses at least three weak

solutions inX.

We now offer another version of Theorem . within which no asymptotic condition on the nonlinear term is necessary; contrarily, each constituent offkandgkfork= , , . . . ,m is considered to be negative.

Fix positive constantsθ,θ, andηin such a way that

 

(a+LTC) [–mk=F(η)]

<a–LTC

C min

θ max|ξ|≤θ[–

m

k=Fk(ξ)]

, θ

  max|ξ|≤θ[–

m

k=Fk(ξ)]

(10)

and put

:=

 

(a+LTC) [–mk=F(η)] ,

a–LTC

C min

θ  max|ξ|≤θ[–

m

k=Fk(ξ)]

, θ

  max|ξ|≤θ[–

m

k=Fk(ξ)]

.

By the above symbolization, we obtain the following multiplicity result.

Theorem . Order the Banach space X by the positive cone X+(see Section.of[]),

and suppose that V satisfies in the assumptions(A), (A),and(A),FkC(RN,R),each

component of fk(ξ) =gradξFk(ξ)for k= , , . . . ,m is negative and there exist three positive constantsθ,θ,andηsuch thatθ<C

Tη<

θ

a–LTC

a+LTC where a=min{

,a}and

(B) max

max|ξ|≤θ[–

m

k=Fk(ξ)]

θ ,

max|ξ|≤θ[–

m

k=Fk(ξ)] θ

< 

a–LTC

C(a

+LTC)T

[–mk=F(η)] η .

Then,for eachλand for every arbitrary function Gk∈C(RN,R)such that each

com-ponent of gk(ξ) =gradξGk(ξ)for everyξ ∈RN is negative for k= , , . . . ,m,there exists δλ> defined by

min

(a–LTC)θ–Cλmax|ξ|≤θ[–

m

k=F(ξ)]

CGθ ,

(a–LTC)θ– Cλmax|ξ|≤θ[–

m

k=Fk(ξ)] CGθ

such that,for eachμ∈[,δλ∗[,the problem()possesses at least three weak solutions u,u,

and usuch that ui(t)∈X+(or ui(t)≥)for all t∈[,T]and i= , , .

Proof Fixλ,Gkfork= , , . . . ,mandμas in the conclusion and takeX,, andas in the proof of Theorem .. Obviously, the regularity assumptions of Theorem . onand are satisfied. Our goal is to check (b) and (b). For this purpose, putw(t) =ηfor every

t∈[,T],

r:=

(a–LTC)θ

C

and

r:=

(a–LTC)θ

C .

According to conditionθ<C

Tη<

θ

a–LTC

a+LTC, and from (), we get

r<(w) <

(11)

Sinceμ<δλ∗and= , one has supu–(]–,r

])(u)

r

=supu–(]–∞,r])[–

m

k=[Fk(u(sk)) + μ

λGk(u(sk))]]

r

≤max|ξ|≤θ[–

m

k=Fk(ξ)] + μ λG

θ

(a–LTC)θ

C

<  λ<

 

[–mk=Fk(η)] +μλ (a+LTC)Tη

C

≤

(w) (w)

and

supu–(]–,r ])(u)

r

=supu–(]–∞,r])[–

m

k=[Fk(u(sk)) +μλGk(u(sk))]]

r

≤sup|ξ|≤θ[–

m

k=Fk(ξ)] +  μ λG

θ

(a–LTC)θ

C

<  λ<

 

[–mk=Fk(η)] +μλ (a+LTC)Tη

C

≤

(w) (w).

Therefore, (b) and (b) of Theorem . are fulfilled. In the following, we show thatλ satisfies the assumption  of Theorem .. Letu andu be two local minima for λ. Thenuanduare critical points forλ, and, thus, they are weak solutions for the problem (). We want to show that they are nonnegative. Letu be a nontrivial weak solution of problem (). Arguing by a contradiction, assume that the set A={t

[,T] :u(t) < }={t∈[,T] :  –u(t)∈X+,u(t)= }is non-empty and its measure is positive. Put

¯ v(t) =

, ≤u(t),

u(t), u(t) < 

for allt∈[,T]. Clearly,v¯∈X. Sinceuis a weak solution of () we have

T

˙

u(t),v˙¯(t)–Vu

t,u(t),v¯(t)+hu(t),¯v(t)dt

= –λ m

k=

fk

u(sk)v(sk)μ m

k=

gk

u(sk),v¯(sk).

Thus, from our sign assumptions on the data, since –L|ξ|(h),ξ)L|ξ|for every ξ∈RN, we have

≤min{,a}–TLC

uX(A)≤

A u˙(t)

+au(t) 

Lu(t)dt

T

˙

u(t),u˙(t)–Vu

(12)

Hence,u=  inAand this is absurd. Then we concludeu(t)≥ andu(t)≥ for every

t∈[,T]. Thus, it follows thatsu+ ( –s)u≥ for alls∈[, ], and that

–(λfk+μgk)

su+ ( –s)u

≥ fork= , , . . . ,m,

and consequently,(su+ ( –s)u)≥, for everys∈[, ]. Hence, since all the hypotheses of Theorem . are satisfied, it follows that, for every

λ

 

(w) (w),min

r supu–(]–,r

[)(u)

, r/ supu–(]–,r

[)(u)

,

the functionalλhas at least three distinct critical pointsuifori= , , , such that ≤ui(t) <θfor allt∈[,T] andi= , , , which are the weak solutions of the problem (), and the favorable result is achieved.

In the following, we present a special case of Theorem ..

Corollary . Suppose that V satisfies the assumptions(A), (A),and(A),and

lim inf ξ→

max|t|≤ξ[–

m

k=Fk(t)]

ξ =lim supξ +∞

m

k=[–Fk(ξ)] ξ = .

Then there isλ∗> such that for eachλ>λand every arbitrary function Gk∈C(RN,R),

denoting gk(ξ) =gradξGk(ξ)for everyξ∈RN for k= , , . . . ,m,satisfying the asymptotical

condition

lim sup

|t|→∞

m

k=[–Gk(t)]

|t| < +∞,

there exists δλ∗>  such that, for eachμ∈[,δλ[, the problem()admits at least three distinct weak solutions in X.

Proof Fixλ>λ∗:=(a+LTC)Tη

mk=Fk(η) for someη> . Recalling

lim inf ξ→

max|t|≤ξ[–

m

k=Fk(t)]

ξ = ,

there exists a sequence{θn} ⊂], +∞[ with this feature thatlimn→∞θn=  and

lim n→∞

max|t|≤θn[–

m

k=Fk(t)] θ

n

= .

Hence, there existsθ¯>  such that

max|t|≤ ¯θ[–mk=Fk(t)]

¯

θ <min

a–LTC

C(a

+LTC)T

mk=Fk(η) η ;

a–LTCλC

andθ¯<√TCη. The conclusion follows from Theorem ..

Now, as an example, we present the following consequence of Theorem . withm=

(13)

Corollary . Suppose that V satisfies the assumptions(A), (A),and(A),f:R→Ris

a negative continuous function and h:R→Ris a Lipschitz continuous function with the Lipschitz constant L> such that h() = ,min{,a}> L,and a+ L< (a– L)where

a=min{,a}.Furthermore,assume that

lim ξ→+

f(ξ) ξ = 

and /

f(x) dx<  

a+ L

a– L

f(x) dx.

Then,for everyλ∈] a+L

/f(x) dx,

(a–L)

f(x) dx[, and for every arbitrary negative continuous

function g:R→R,there existsδλ∗> such that,for eachμ∈[,δλ[,the problem

⎧ ⎪ ⎨ ⎪ ⎩

u(t) +Vu(t,u(t)) =h(u(t)), t=s, u(s) =λf(u(s)) +μg(u(s)),

u() –u() =u() –u() = ,

()

possesses at least three weak solutions u,u,and usuch that≤ui(t) < for all t∈[,T]

and i= , , .

Proof Our goal is to use Theorem . by choosingm=T=N= ,θ=  andη=. Since

c=√, we observe that

 

(a+LTC) [–mk=Fk(η)] =

 

a+ L/f(x) dx

and

a–LTC

C

θ max|ξ|≤θ[–

m

k=Fk(ξ)]

= (a– L) –f(x) dx

.

Moreover, sincelimξ→+f(ξ)

ξ = , one has

lim ξ→+

ξf(x) dx

ξ = .

Then there exists a positive constantθ<such that

θ

f(x) dx θ

> 

a– L

a+ L

f(x) dx

and

θ 

θ

f(x) dx

<   f(x) dx

.

Finally, an easy calculation shows that all hypotheses of Theorem . are fulfilled, and the

(14)

Remark . From Assumptions (A), (A), and (A), we can show, by the same reasoning as given in Theorem  of [], that the problem () whenh≡ does not possess any non-zero weak solution in the cases where impulsive terms are non-zero. Consequently, the ensured weak solutions for the problem () whenh≡ in Theorems . and . and in Corollary . are generated by impulses when impulsive termsfk,gk=  for some ≤km, as well as for the problem () whenh≡ in Corollary . are generated by impulses when impulsive termsf,g= .

Remark . The methods used here can be applied studying discrete boundary value problems as in [].

4 Concluding remarks

The theory of impulsive dynamic equations is generally thought to provide a natural framework for mathematical modeling of many real world phenomena such as chemother-apy, population dynamics, optimal control, ecology, industrial robotics, physics phenom-ena, etc.The impulsive effects can be broadly found in numerous evolution processes where their states may undergo abrupt changes at specific moments of time. As far as the second-order dynamic equations are concerned, we often take into account the im-pulses in terms of position and velocity. In the motion of spacecraft, on the contrary, we are supposed to consider instantaneous impulses depending on the position leading to jump discontinuities in velocity, but with no changes in terms of position. Impulsive problems such as problem () are considered as highly important for the description of quite a large number of real world phenomena including biology (biological phenomena involving thresholds), medicine (bursting rhythm models), pharmacokinetics, mechanics, and engineering. To this end, we have established, in this paper, the existence criteria of at least three solutions for the perturbed impulsive problem () based on variational methods and the critical point theory, under suitable hypotheses. The results of the study, finally, illustrated that these solutions are generated by impulses whileh≡.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed to each part of this study equally and read and approved the final version of the manuscript.

Author details

1Department of Mathematics, Faculty of Sciences, Razi University, Kermanshah, 67149, Iran.2Department of Law and

Economics, University Mediterranea of Reggio Calabria, Via dei Bianchi, 2, Reggio Calabria, 89131, Italy. 3Department of Economics, University of Messina, Via dei Verdi, 75, Messina, Italy.

Received: 1 January 2016 Accepted: 29 March 2016 References

1. Bainov, D, Simeonov, P: Systems with Impulse Effect. Ellis Horwood Series: Mathematics and Its Applications. Ellis Horwood, Chichester (1989)

2. Benchohra, M, Henderson, J, Ntouyas, S: Theory of Impulsive Differential Equations. Contemporary Mathematics and Its Applications, vol. 2. Hindawi Publishing Corporation, New York (2006)

3. Carter, TE: Necessary and sufficient conditions for optimal impulsive rendezvous with linear equations of motion. Dyn. Control10, 219-227 (2000)

4. George, PK, Nandakumaran, AK, Arapostathis, A: A note on controllability of impulsive systems. J. Math. Anal. Appl.

241, 276-283 (2000)

5. Haddad, WM, Chellaboina, C, Nersesov, SG, Sergey, G: Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity and Control. Princeton University Press, Princeton (2006)

(15)

7. Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. Series in Modern Applied Mathematics, vol. 6. World Scientific, Teaneck (1989)

8. Liu, X, Willms, AR: Impulsive controllability of linear dynamical systems with applications to maneuvers of spacecraft. Math. Probl. Eng.2, 277-299 (1996)

9. Nieto, JJ, Rodríguez-López, R: Boundary value problems for a class of impulsive functional equations. Comput. Math. Appl.55, 2715-2731 (2008)

10. Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)

11. Zavalishchin, ST, Sesekin, AN: Dynamic Impulse System: Theory and Applications. Kluwer Academic, Dordrecht (1997) 12. Hernandez, E, Henriquez, HR, McKibben, MA: Existence results for abstract impulsive second-order neutral functional

differential equations. Nonlinear Anal. TMA70, 2736-2751 (2009)

13. Li, J, Nieto, JJ, Shen, J: Impulsive periodic boundary value problems of first-order differential equations. J. Math. Anal. Appl.303, 288-303 (2005)

14. 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)

15. Wang, H, Chen, H: Boundary value problem for second-order impulsive functional differential equations. Appl. Math. Comput.191, 582-591 (2007)

16. Bai, L, Dai, B: Application of variational method to a class of Dirichlet boundary value problems with impulsive effects. J. Franklin Inst.348, 2607-2624 (2011)

17. Bonanno, G, Di Bella, B, Henderson, J: Existence of solutions to second-order boundary-value problems with small perturbations of impulses. Electron. J. Differ. Equ.2013, 126 (2013)

18. Nieto, JJ, O’Regan, D: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl.10, 680-690 (2009)

19. Sun, J, Chen, H: Variational method to the impulsive equation with Neumann boundary conditions. Bound. Value Probl.2009, Article ID 316812 (2009)

20. Sun, J, Chen, H, Nieto, JJ, Otero-Novoa, M: The multiplicity of solutions for perturbed second-order Hamiltonian systems with impulsive effects. Nonlinear Anal. TMA72, 4575-4586 (2010)

21. Teng, K, Zhang, C: Existence of solution to boundary value problem for impulsive differential equations. Nonlinear Anal., Real World Appl.11(5), 4431-4441 (2010)

22. Tian, Y, Ge, W: Applications of variational methods to boundary value problem for impulsive differential equations. Proc. Edinb. Math. Soc.51, 509-527 (2008)

23. Zhang, D, Dai, B: Existence of solutions for nonlinear impulsive differential equations with Dirichlet boundary conditions. Math. Comput. Model.53, 1154-1161 (2011)

24. Zhang, Z, Yuan, R: An application of variational methods to Dirichlet boundary value problem with impulses. Nonlinear Anal., Real World Appl.11, 155-162 (2010)

25. Zhou, J, Li, Y: Existence and multiplicity of solutions for some Dirichlet problems with impulsive effects. Nonlinear Anal. TMA71, 2856-2865 (2009)

26. Zhang, H, Li, Z: Periodic and homoclinic solutions generated by impulses. Nonlinear Anal., Real World Appl.12, 39-51 (2011)

27. Yang, L, Chen, H: Existence and multiplicity of periodic solutions generated by impulses. Abstr. Appl. Anal.2011, Article ID 310957 (2011)

28. Bonanno, G, Molica Bisci, G: Infinitely many solutions for a boundary value problem with discontinuous nonlinearities. Bound. Value Probl.2009, Article ID 670675 (2009)

29. Ricceri, B: A general variational principle and some of its applications. J. Comput. Appl. Math.113, 401-410 (2000) 30. Heidarkhani, S, Ferrara, M, Salari, A: Infinitely many periodic solutions for a class of perturbed second-order differential

equations with impulses. Acta Appl. Math.139, 81-94 (2015)

31. Bonanno, G, Candito, P: Non-differentiable functionals and applications to elliptic problems with discontinuous nonlinearities. J. Differ. Equ.244, 3031-3059 (2008)

32. Bonanno, G, Marano, SA: On the structure of the critical set of non-differentiable functions with a weak compactness condition. Appl. Anal.89, 1-10 (2010)

33. Bonanno, G, Chinnì, A: Existence of three solutions for a perturbed two-point boundary value problem. Appl. Math. Lett.23, 807-811 (2010)

34. D’Aguì, G, Heidarkhani, S, Molica Bisci, G: Multiple solutions for a perturbed mixed boundary value problem involving the one-dimensionalp-Laplacian. Electron. J. Qual. Theory Differ. Equ.2013, 24 (2013)

35. Heidarkhani, S, Khademloo, S, Solimaninia, A: Multiple solutions for a perturbed fourth-order Kirchhoff type elliptic problem. Port. Math.71(1), 39-61 (2014)

36. Bonanno, G, D’Aguì, G: Multiplicity results for a perturbed elliptic Neumann problem. Abstr. Appl. Anal.2010, Article ID 564363 (2010)

37. Bonanno, G, Molica Bisci, G: Three weak solutions for elliptic Dirichlet problems. J. Math. Anal. Appl.382, 1-8 (2011) 38. Bonanno, G, Molica Bisci, G, R ˘adulescu, V: Existence of three solutions for a non-homogeneous Neumann problem

through Orlicz-Sobolev spaces. Nonlinear Anal. TMA74(14), 4785-4795 (2011)

39. Bonanno, G, Molica Bisci, G, R ˘adulescu, V: Multiple solutions of generalized Yamabe equations on Riemannian manifolds and applications to Emden-Fowler problems. Nonlinear Anal., Real World Appl.12, 2656-2665 (2011) 40. Ferrara, M, Heidarkhani, S: Multiple solutions for perturbedp-Laplacian boundary value problem with impulsive

effects. Electron. J. Differ. Equ.2014, 106 (2014)

41. Ferrara, M, Khademloo, S, Heidarkhani, S: Multiplicity results for perturbed fourth-order Kirchhoff type elliptic problems. Appl. Math. Comput.234, 316-325 (2014)

42. Afrouzi, G, Hadjian, A, R ˘adulescu, V: Variational analysis for Dirichlet impulsive differential equations with oscillatory nonlinearity. Port. Math.70(3), 225-242 (2013)

43. Afrouzi, G, Hadjian, A, R ˘adulescu, V: Variational approach to fourth-order impulsive differential equations with two control parameters. Results Math.65, 371-384 (2014)

(16)

45. Ferrara, M, Molica Bisci, G, Repovš, D: Existence results for nonlinear elliptic problems on fractal domains. Adv. Nonlinear Anal.5, 75-84 (2016)

46. R ˘adulescu, V: Qualitative Analysis of Nonlinear Elliptic Partial Differential Equations: Monotonicity, Analytic, and Variational Methods. Contemporary Mathematics and Its Applications, vol. 6. Hindawi Publishing Corporation, New York (2008)

47. R ˘adulescu, V, Repovš, D: Combined effects in nonlinear problems arising in the study of anisotropic continuous media. Nonlinear Anal. TMA75, 1524-1530 (2012)

48. Repovš, D: Stationary waves of Schrödinger-type equations with variable exponent. Anal. Appl.13(6), 645-661 (2015) 49. Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, Berlin (1989)

50. Zeidler, E: Nonlinear Functional Analysis and Its Applications, vol. II. Springer, Berlin (1985)

51. Drábek, P, Milota, J: Methods of Nonlinear Analysis: Applications to Differential Equations. Birkhäuser, Basel (2007) 52. Candito, P, Molica Bisci, G: Existence of two solutions for a second-order discrete boundary value problem. Adv.

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

The impact of social influence on behaviour is studied in Paper 4 through social norms messaging, and in Paper 5 through analysing the effects of peer monitoring and punishment

Keywords: Adverse effects, antidepressants, depression, emotional numbing, side effects, suicidality, withdrawal

They lack the level of risk awareness associated with taking precautionary measures, so they are more likely to be victims of cyber- crime.These findings were assessed using

This section concludes with an introduction to this present study which is an evaluation of Family SEAL (DfES, 2006); an intervention programme which involves parents

The major functions of the Ministry are to oversee the implementation of Part IX of the Constitution, inserted by the Constitution (Seventy Third Amendment)Act, 1992,

The univariate analyses showed about 21 out of the 35 tested covariates were associated with HT, separately (P &lt;0.01), and these significant covari- ates were: 1)

Due to siltation and petite water level, a number of freshwater fish species specially threatened one are gradually declined their abundance each year (Rahman et al.,