Skip to main content

Multiple periodic solutions in shifts δ ± for an impulsive functional dynamic equation on time scales

Abstract

In this paper, based on the theory of calculus on time scales, by using a multiple fixed point theorem in cones, some criteria are established for the existence and multiplicity of positive periodic solutions in shifts δ ± for an impulsive functional dynamic equation on time scales of the following form: x Δ (t)=a(t)x(t)+b(t)f(t,x(g(t))), t t j , tT, x( t j + )=x( t j )+ I j (x( t j )), where TR be a periodic time scale in shifts δ ± with period P [ t 0 , ) T and t 0 T is nonnegative and fixed. Finally, some numerical examples are presented to illustrate the feasibility and effectiveness of the results.

MSC:34K13, 34K45, 34N05.

1 Introduction

The time scales approach unifies differential, difference, h-difference, and q-differences equations and more under dynamic equations on time scales. The theory of dynamic equations on time scales was introduced by Hilger in his PhD thesis in 1988 [1]. The existence problem of periodic solutions is an important topic in qualitative analysis of functional dynamic equations. Up to now, there are only a few results concerning periodic solutions of dynamic equations on time scales; see, for example, [2, 3]. In these papers, authors considered the existence of periodic solutions for dynamic equations on time scales satisfying the condition ‘there exists a ω>0 such that t±ωT, tT’. Under this condition all periodic time scales are unbounded above and below. However, there are many time scales such as q Z ¯ ={ q n :nZ}{0} and N ={ n :nN} which do not satisfy the condition. Adıvar and Raffoul introduced a new periodicity concept on time scales which does not oblige the time scale to be closed under the operation t±ω for a fixed ω>0. They defined a new periodicity concept with the aid of shift operators δ ± which are first defined in [4] and then generalized in [5].

Recently, based on a fixed point theorem in cones, Çetin et al. studied the existence of positive periodic solutions in shifts δ ± for some nonlinear first-order functional dynamic equation on time scales; see [6, 7].

However, to the best of our knowledge, there are few papers published on the existence of positive periodic solutions in shifts δ ± for a functional dynamic equation with impulses. As we know, impulsive functional dynamic equation on time scales plays an important role in applications; see, for example, [8, 9].

Motivated by the above, in the present paper, we consider the following system:

{ x Δ ( t ) = a ( t ) x ( t ) + b ( t ) f ( t , x ( g ( t ) ) ) , t t j , t T , x ( t j + ) = x ( t j ) + I j ( x ( t j ) ) ,
(1.1)

where TR be a periodic time scale in shifts δ ± with period P [ t 0 , ) T and t 0 T is nonnegative and fixed; a,bC(T,(0,)) are Δ-periodic in shifts δ ± with period ω and a R + ; fC(T×(0,),(0,)) is periodic in shifts δ ± with period ω with respect to the first variable; gC(T,T) is periodic in shifts δ ± with period ω; x( t j + ) and x( t j ) represent the right and the left limit of x( t j ) in the sense of time scales, in addition, if t j is right-scattered, then x( t j + )=x( t j ), whereas, if t j is left-scattered, then x( t j )=x( t j ); I j C((0,),[0,)), jZ. Assume that there exists a positive constant q such that t j + q = δ + ω ( t j ), I j + q = I j , jZ. For each interval I of , we denote I T =IT, without loss of generality, set [ t 0 , δ + ω ( t 0 ) ) T { t j ,jZ}={ t 1 , t 2 ,, t q }.

The main purpose of this paper is to establish some sufficient conditions for the existence of at least three positive periodic solutions in shifts δ ± of system (1.1) using a multiple fixed point theorem (Avery-Peterson fixed point theorem) in cones.

The organization of this paper is as follows. In Section 2, we introduce some notations and definitions and state some preliminary results needed in later sections; then we give the Green’s function of system (1.1), which plays an important role in this paper. In Section 3, we establish our main results for positive periodic solutions in shifts δ ± by applying Avery-Peterson fixed point theorem. In Section 4, some numerical examples are presented to illustrate that our results are feasible and more general.

2 Preliminaries

Let T be a nonempty closed subset (time scale) of . The forward and backward jump operators σ,ρ:TT and the graininess μ:T R + are defined, respectively, by

σ(t)=inf{sT:s>t},ρ(t)=sup{sT:s<t}andμ(t)=σ(t)t.

A point tT is called left-dense if t>infT and ρ(t)=t, left-scattered if ρ(t)<t, right-dense if t<supT and σ(t)=t, and right-scattered if σ(t)>t. If T has a left-scattered maximum m, then T k =T{m}; otherwise T k =T. If T has a right-scattered minimum m, then T k =T{m}; otherwise T k =T.

A function f:TR is right-dense continuous provided it is continuous at right-dense point in T and its left-side limits exist at left-dense points in T. If f is continuous at each right-dense point and each left-dense point, then f is said to be a continuous function on T. The set of continuous functions f:TR will be denoted by C(T)=C(T,R).

For the basic theories of calculus on time scales, see [10].

A function p:TR is called regressive provided 1+μ(t)p(t)0 for all t T k . The set of all regressive and rd-continuous functions p:TR will be denoted by R=R(T,R). Define the set R + = R + (T,R)={pR:1+μ(t)p(t)>0,tT}.

If r is a regressive function, then the generalized exponential function e r is defined by

e r (t,s)=exp { s t ξ μ ( τ ) ( r ( τ ) ) Δ τ }

for all s,tT, with the cylinder transformation

ξ h (z)= { Log ( 1 + h z ) h if  h 0 , z if  h = 0 .

Let p,q:TR be two regressive functions, define

pq=p+q+μpq,p= p 1 + μ p ,pq=p(q).

Lemma 2.1 [10]

Assume that p,q:TR be two regressive functions, then

  1. (i)

    e 0 (t,s)1 and e p (t,t)1;

  2. (ii)

    e p (σ(t),s)=(1+μ(t)p(t)) e p (t,s);

  3. (iii)

    e p (t,s)= 1 e p ( s , t ) = e p (s,t);

  4. (iv)

    e p (t,s) e p (s,r)= e p (t,r);

  5. (v)

    ( e p ( t , s ) ) Δ =(p)(t) e p (t,s).

The following definitions and lemmas about the shift operators and the new periodicity concept for time scales can be found in [7, 11].

Let T be a nonempty subset of the time scale T and t 0 T be a fixed number, define operators δ ± :[ t 0 ,)× T T . The operators δ + and δ associated with t 0 T (called the initial point) are said to be forward and backward shift operators on the set T , respectively. The variable s [ t 0 , ) T in δ ± (s,t) is called the shift size. The values δ + (s,t) and δ (s,t) in T indicate s units translation of the term t T to the right and left, respectively. The sets

D ± := { ( s , t ) [ t 0 , ) T × T : δ ( s , t ) T }

are the domains of the shift operator δ ± , respectively. Hereafter, T is the largest subset of the time scale T such that the shift operators δ ± :[ t 0 ,)× T T exist.

Definition 2.1 (Periodicity in shifts δ ± [11])

Let T be a time scale with the shift operators δ ± associated with the initial point t 0 T . The time scale T is said to be periodic in shifts δ ± if there exists p ( t 0 , ) T such that (p,t) D ± for all t T . Furthermore, if

P:=inf { p ( t 0 , ) T : ( p , t ) δ ± , t T } t 0 ,

then P is called the period of the time scale T.

Definition 2.2 (Periodic function in shifts δ ± [11])

Let T be a time scale that is periodic in shifts δ ± with the period P. We say that a real-valued function f defined on T is periodic in shifts δ ± if there exists ω [ P , ) T such that (ω,t) D ± and f( δ ± ω (t))=f(t) for all t T , where δ ± ω := δ ± (ω,t). The smallest number ω [ P , ) T is called the period of f.

Definition 2.3 (Δ-periodic function in shifts δ ± [11])

Let T be a time scale that is periodic in shifts δ ± with the period P. We say that a real-valued function f defined on T is Δ-periodic in shifts δ ± if there exists ω [ P , ) T such that (ω,t) D ± for all t T , the shifts δ ± ω are Δ-differentiable with rd-continuous derivatives and f( δ ± ω (t)) δ ± Δ ω (t)=f(t) for all t T , where δ ± ω := δ ± (ω,t). The smallest number ω [ P , ) T is called the period of f.

Lemma 2.2 [11]

δ + ω (σ(t))=σ( δ + ω (t)) and δ ω (σ(t))=σ( δ ω (t)) for all t T .

Lemma 2.3 [7]

Let T be a time scale that is periodic in shifts δ ± with the period P. Suppose that the shifts δ ± ω are Δ-differentiable on t T where ω [ P , ) T and pR is Δ-periodic in shifts δ ± with the period ω. Then

  1. (i)

    e p ( δ ± ω (t), δ ± ω ( t 0 ))= e p (t, t 0 ) for t, t 0 T ;

  2. (ii)

    e p ( δ ± ω (t),σ( δ ± ω (s)))= e p (t,σ(s))= e p ( t , s ) 1 + μ ( t ) p ( t ) for t,s T .

Lemma 2.4 [11]

Let T be a time scale that is periodic in shifts δ ± with the period P, and let f be a Δ-periodic function in shifts δ ± with the period ω [ P , ) T . Suppose that f C rd (T), then

t 0 t f(s)Δs= δ ± ω ( t 0 ) δ ± ω ( t ) f(s)Δs.

Lemma 2.5 [10]

Suppose that r is regressive and f:TR is rd-continuous. Let t 0 T, y 0 R, then the unique solution of the initial value problem

y Δ =r(t)y+f(t),y( t 0 )= y 0

is given by

y(t)= e r (t, t 0 ) y 0 + t 0 t e r ( t , σ ( τ ) ) f(τ)Δτ.

Define

PC(T)= { x : T R x | ( t j , t j + 1 ) C ( t j , t j + 1 ) , x ( t j ) = x ( t j ) , x ( t j + ) , j Z } .

Set

X= { x : x P C ( T ) , x ( δ + ω ( t ) ) = x ( t ) }

with the norm x= sup t [ t 0 , δ + ω ( t 0 ) ] T |x(t)|, then X is a Banach space.

Lemma 2.6 x(t)X is an ω-periodic solution in shifts δ ± of system (1.1) if and only if x(t) is an ω-periodic solution in shifts δ ± of

x(t)= t δ + ω ( t ) G(t,s)b(s)f ( s , x ( g ( s ) ) ) Δs+ j : t j [ t , δ + ω ( t ) ) T G(t, t j ) e a ( σ ( t j ) , t j ) I j ( x ( t j ) ) ,
(2.1)

where

G(t,s)= e a ( t , σ ( s ) ) e a ( t 0 , δ + ω ( t 0 ) ) 1 .

Proof If x(t) is an ω-periodic solution in shifts δ ± of system (1.1). For any tT, there exists jZ such that t j is the first impulsive point after t. By using Lemma 2.5, for s [ t , t j ] T , we have

x(s)= e a (s,t)x(t)+ t s e a ( s , σ ( θ ) ) b(θ)f ( θ , x ( g ( θ ) ) ) Δθ,

then

x( t j )= e a ( t j ,t)x(t)+ t t j e a ( t j , σ ( θ ) ) b(θ)f ( θ , x ( g ( θ ) ) ) Δθ.
(2.2)

Again using Lemma 2.5 and (2.2), for s ( t j , t j + 1 ] T , then

x ( s ) = e a ( s , t j ) x ( t j + ) + t j s e a ( s , σ ( θ ) ) b ( θ ) f ( θ , x ( g ( θ ) ) ) Δ θ = e a ( s , t j ) x ( t j ) + t j s e a ( s , σ ( θ ) ) b ( θ ) f ( θ , x ( g ( θ ) ) ) Δ θ + e a ( s , t j ) I j ( x ( t j ) ) = e a ( s , t ) x ( t ) + t s e a ( s , σ ( θ ) ) b ( θ ) f ( θ , x ( g ( θ ) ) ) Δ θ + e a ( s , t j ) I j ( x ( t j ) ) .

Repeating the above process for s [ t , δ + ω ( t ) ] T , we have

x(s)= e a (s,t)x(t)+ t s e a ( s , σ ( θ ) ) b(θ)f ( θ , x ( g ( θ ) ) ) Δθ+ j : t j [ t , s ) T e a (s, t j ) I j ( x ( t j ) ) .

Let s= δ + ω (t) in the above equality, we have

x ( δ + ω ( t ) ) = e a ( δ + ω ( t ) , t ) x ( t ) + t δ + ω ( t ) e a ( δ + ω ( t ) , σ ( θ ) ) b ( θ ) f ( θ , x ( g ( θ ) ) ) Δ θ + j : t j [ t , δ + ω ( t ) ) T e a ( δ + ω ( t ) , t j ) I j ( x ( t j ) ) .

Noticing that x( δ + ω (t))=x(t), e a (t, δ + ω (t))= e a ( t 0 , δ + ω ( t 0 )), by Lemma 2.1, then x satisfies (2.1).

Let x be an ω-periodic solution in shifts δ ± of (2.1). If t t i , iZ, then by (2.1) and Lemma 2.2, we have

x Δ ( t ) = a ( t ) x ( t ) + G ( σ ( t ) , δ + ω ( t ) ) b ( δ + ω ( t ) ) δ + Δ ω ( t ) f ( δ + ω ( t ) , x ( g ( δ + ω ( t ) ) ) ) G ( σ ( t ) , t ) b ( t ) f ( t , x ( g ( t ) ) ) = a ( t ) x ( t ) + b ( t ) f ( t , x ( g ( t ) ) ) .

If t= t i , iZ, then by (2.1), we have

x ( t i + ) x ( t i ) = j : t j [ t i + , δ + ω ( t i + ) ) T G ( t i , t j ) e a ( σ ( t j ) , t j ) I j ( x ( t j ) ) j : t j [ t i , δ + ω ( t i ) ) T G ( t i , t j ) e a ( σ ( t j ) , t j ) I j ( x ( t j ) ) = G ( t i , δ + ω ( t i ) ) e a ( σ ( δ + ω ( t i ) ) , δ + ω ( t i ) ) I i ( x ( δ + ω ( t i ) ) ) G ( t i , t i ) e a ( σ ( t i ) , t i ) I i ( x ( t i ) ) = I i ( x ( t i ) ) .

So, x is an ω-periodic solution in shifts δ ± of system (1.1). This completes the proof. □

It is easy to verify that the Green’s function G(t,s) satisfies the property

0< 1 ξ 1 G(t,s) ξ ξ 1 ,s [ t , δ + ω ( t ) ] T ,
(2.3)

where ξ= e a ( t 0 , δ + ω ( t 0 )). By Lemma 2.3, we have

G ( δ + ω ( t ) , δ + ω ( s ) ) =G(t,s),t T ,s [ t , δ + ω ( t ) ] T .
(2.4)

In order to obtain the existence of periodic solutions in shifts δ ± of system (1.1), we need the following concepts and Avery-Peterson fixed point theorem.

Let X be a Banach space and K be a cone in X, define K r ={xKxr}. A map α is said to be a nonnegative continuous concave functional on K if α:K[0,+) is continuous and

α ( λ x + ( 1 λ ) y ) λα(x)+(1λ)α(y)for all x,yK,0<λ<1.

Let γ and θ be nonnegative continuous convex functionals on K, α be a nonnegative continuous concave functional on K, and ψ be a nonnegative continuous functional on K. Then for positive real numbers a, b, c, and d, we define the following convex sets:

K ( γ , d ) = { x K γ ( x ) < d } , K ( γ , α , b , d ) = { x K b α ( x ) , γ ( x ) d } , K ( γ , θ , α , b , c , d ) = { x K b α ( x ) , θ ( x ) c , γ ( x ) d } ,

and a closed set R(γ,ψ,a,d)={xKaψ(x),γ(x)d}.

Lemma 2.7 (Avery-Peterson fixed point theorem [12])

Let γ and θ be nonnegative continuous convex functionals on K, α be a nonnegative continuous concave functional on K, and ψ be a nonnegative continuous functional on K satisfying ψ(ρx)ρψ(x) for 0ρ1, such that for some positive numbers E and d,

α(x)ψ(x)andxEγ(x)
(2.5)

for all x K ( γ , d ) ¯ . Suppose H: K ( γ , d ) ¯ K ( γ , d ) ¯ is completely continuous and there exist positive numbers a, b, and c with a<b such that:

  1. (1)

    {xK(γ,θ,α,b,c,d)α(x)>b} and α(Hx)>b for xK(γ,θ,α,b,c,d),

  2. (2)

    α(Hx)>b, for xK(γ,α,b,d) with θ(Hx)>c,

  3. (3)

    0 ¯ R(γ,ψ,a,d) and ψ(Hx)<a for xR(γ,ψ,a,d) with ψ(x)=a.

Then H has at least three fixed points x 1 , x 2 , x 3 K ( γ , d ) ¯ such that

γ ( x i ) d for  i = 1 , 2 , 3 , b < α ( x 1 ) , a < ψ ( x 2 ) , with  α ( x 2 ) < b and ψ ( x 3 ) < a .

Define K, a cone in X, by

K= { x X : x ( t ) 1 ξ x , t [ t 0 , δ + ω ( t 0 ) ] T }
(2.6)

and an operator H:KX by

( H x ) ( t ) = t δ + ω ( t ) G ( t , s ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + j : t j [ t , δ + ω ( t ) ) T G ( t , t j ) e a ( σ ( t j ) , t j ) I j ( x ( t j ) ) .
(2.7)

For convenience, we denote

A u := sup t [ t 0 , δ + ω ( t 0 ) ) T a(t), B u := sup t [ t 0 , δ + ω ( t 0 ) ) T b(t),B:= t 0 δ + ω ( t 0 ) b(s)Δs.

In the following, we shall give some lemmas concerning K and H defined by (2.6) and (2.7), respectively.

Lemma 2.8 H:KK is well defined.

Proof For any xK, it is clear that HxPC(T). In view of (2.7), by Lemma 2.4 and (2.4), for tT, we have

( H x ) ( δ + ω ( t ) ) = δ + ω ( t ) δ + ω ( δ + ω ( t ) ) G ( δ + ω ( t ) , s ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + j : t j [ δ + ω ( t ) , δ + ω ( δ + ω ( t ) ) ) T G ( δ + ω ( t ) , t j ) e a ( σ ( t j ) , t j ) I j ( x ( t j ) ) = t δ + ω ( t ) G ( δ + ω ( t ) , δ + ω ( s ) ) b ( δ + ω ( s ) ) δ + Δ ω ( s ) f ( δ + ω ( s ) , x ( g ( δ + ω ( s ) ) ) ) Δ s + k : t k [ t , δ + ω ( t ) ) T G ( δ + ω ( t ) , δ + ω ( t k ) ) e a ( σ ( δ + ω ( t k ) ) , δ + ω ( t k ) ) I k ( x ( δ + ω ( t k ) ) ) = t δ + ω ( t ) G ( t , s ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + k : t k [ t , δ + ω ( t ) ) T G ( t , t k ) e a ( σ ( t k ) , t k ) I k ( x ( t k ) ) = ( H x ) ( t ) ,

that is, HxX.

Furthermore, for any xK, t [ t 0 , δ + ω ( t 0 ) ] T , we have

( H x ) ( t ) 1 ξ 1 t δ + ω ( t ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + 1 ξ 1 j = 1 q I j ( x ( t j ) ) = 1 ξ [ ξ ξ 1 t 0 δ + ω ( t 0 ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + ξ ξ 1 j = 1 q I j ( x ( t j ) ) ] 1 ξ H x ,

that is, HxK. This completes the proof. □

Lemma 2.9 H:KK is completely continuous.

Proof Firstly, we show that H is continuous. Because of the continuity of f and I j , jZ, for any ν>0 and ε>0, there exists δ 0 >0 such that

{ ϕ , ψ C ( T , ( 0 , ) ) , ϕ ν , ψ ν , ϕ ψ < δ 0 }

imply

|f ( s , ϕ ( g ( s ) ) ) f ( s , ψ ( g ( s ) ) ) |< ( ξ 1 ) ε 2 ξ B

and

| I j (ϕ) I j (ψ)|< ( ξ 1 ) ε 2 ξ q ,jZ.

Therefore, if x,y,K with xν, yν, xy< δ 0 , then

| ( H x ) ( t ) ( H y ) ( t ) | | t δ + ω ( t ) G ( t , s ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + j : t j [ t , δ + ω ( t ) ) T G ( t , t j ) e a ( σ ( t j ) , t j ) I j ( x ( t j ) ) t δ + ω ( t ) G ( t , s ) b ( s ) f ( s , y ( g ( s ) ) ) Δ s j : t j [ t , δ + ω ( t ) ) T G ( t , t j ) e a ( σ ( t j ) , t j ) I j ( y ( t j ) ) | ξ ξ 1 t δ + ω ( t ) b ( s ) | f ( s , x ( g ( s ) ) ) f ( s , y ( g ( s ) ) ) | Δ s + ξ ξ 1 j = 1 q | I j ( x ( t j ) ) I j ( y ( t j ) ) | < ξ ξ 1 ( B ( ξ 1 ) ε 2 ξ B + q ( ξ 1 ) ε 2 ξ q ) = ε ,

which yields HxHy= sup t [ t 0 , δ + ω ( t 0 ) ] T |(Hx)(t)(Hy)(t)|ε, that is, H is continuous.

Next, we show that H maps any bounded sets in K into relatively compact sets. We first prove that f maps bounded sets into bounded sets. Indeed, let ε=1, for any ν>0, there exists δ 0 >0 such that {x,yK,xν,yν,xy< δ 0 ,s [ t 0 , δ + ω ( t 0 ) ] T } imply

|f ( s , x ( g ( s ) ) ) f ( s , y ( g ( s ) ) ) |<1

and

| I j ( x ( t j ) ) I j ( y ( t j ) ) |<1,jZ.

Choose a positive integer N such that ν N < δ 0 . Let xK and define x k ()= x ( ) k N , k=0,1,2,,N. If x<ν, then

x k x k 1 = sup t [ t 0 , δ + ω ( t 0 ) ] T | x ( ) k N x ( ) ( k 1 ) N |x 1 N ν N < δ 0 .

Thus

|f ( s , x k ( g ( s ) ) ) f ( s , x k 1 ( g ( s ) ) ) |<1

for all s [ t 0 , δ + ω ( t 0 ) ] T , and

| I j ( x k ( t j ) ) I j ( x k ( t j ) ) |<1,jZ,

and these yield

f ( s , x ( g ( s ) ) ) = f ( s , x N ( g ( s ) ) ) k = 1 N | f ( s , x k ( g ( s ) ) ) f ( s , x k 1 ( g ( s ) ) ) | + f ( s , 0 ) < N + sup s [ t 0 , δ + ω ( t 0 ) ] T f ( s , 0 ) = : W
(2.8)

and

I j ( x ( t j ) ) = I j ( x N ( t j ) ) k = 1 N | I j ( x N ( t j ) ) I j ( x N 1 ( t j ) ) | + I j ( 0 ) < N + max 1 j q I j ( 0 ) = : U , j Z .
(2.9)

It follows from (2.7), (2.8), and (2.9) that for t [ t 0 , δ + ω ( t 0 ) ] T ,

H x = sup t [ t 0 , δ + ω ( t 0 ) ] T ( H x ) ( t ) ξ ξ 1 ( t 0 δ + ω ( t 0 ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + j = 1 q I j ( x ( t j ) ) ) < ξ ξ 1 ( B W + q U ) : = D .

Furthermore, for tT, we have

( H x ) Δ (t)=a(t)(Hx)(t)+b(t)f ( t , x ( g ( t ) ) )

and

( H x ) Δ ( t ) sup t [ t 0 , δ + ω ( t 0 ) ] T |a(t)(Hx)(t)+b(t)f ( t , x ( g ( t ) ) ) | A u D+ B u W.

To sum up, {Hx:xK,xν} is a family of uniformly bounded and equicontinuous functionals on [ t 0 , δ + ω ( t 0 ) ] T . By a theorem of Arzela-Ascoli, the functional H is completely continuous. This completes the proof. □

3 Main result

Now, we fix η,l [ t 0 , δ + ω ( t 0 ) ] T , ηl, and let the nonnegative continuous concave functional α, the nonnegative continuous convex functionals θ, γ, and the nonnegative continuous functional ψ be defined on the cone K by

α ( x ) = inf t [ η , l ] T x ( t ) , ψ ( x ) = θ ( x ) = sup t [ t 0 , δ + ω ( t 0 ) ] T x ( t ) , γ ( x ) = sup t [ t 0 , δ + ω ( t 0 ) ] T ( Φ x ) ( t ) ,
(3.1)

respectively, where (Φx)(t)= t 0 δ + ω ( t 0 ) h(t,s)x(s)Δs, h(t,s)C( T 2 ,(0,)).

The functionals defined above satisfy the following relations:

α(x)ψ(x)=θ(x),xK.
(3.2)

Lemma 3.1 For xK, there exists a constant E>0 such that

sup t [ t 0 , δ + ω ( t 0 ) ] T x(t)E sup t [ t 0 , δ + ω ( t 0 ) ] T (Φx)(t).

Proof For xK, we have

sup t [ t 0 , δ + ω ( t 0 ) ] T ( Φ x ) ( t ) = sup t [ t 0 , δ + ω ( t 0 ) ] T t 0 δ + ω ( t 0 ) h ( t , s ) x ( s ) Δ s 1 ξ x sup t [ t 0 , δ + ω ( t 0 ) ] T t 0 δ + ω ( t 0 ) h ( t , s ) Δ s = L ξ sup t [ t 0 , δ + ω ( t 0 ) ] T x ( t ) ,

where L:= sup t [ t 0 , δ + ω ( t 0 ) ] T t 0 δ + ω ( t 0 ) h(t,s)Δs. Setting E:= ξ L . This completes the proof. □

Moreover, for each xK,

x= sup t [ t 0 , δ + ω ( t 0 ) ] T x(t) ξ L sup t [ t 0 , δ + ω ( t 0 ) ] T (Φx)(t)=Eγ(x),
(3.3)

and ψ(ρx)=ρψ(x), ρ[0,1], for all xK. It follows from (3.2) and (3.3) that condition (2.5) in Lemma 2.7 is satisfied.

For convenience in the following discussion, we introduce the following notations:

I 1 M = max 0 u E d j = 1 q I j (u), I 2 M = max 0 u a j = 1 q I j (u), I m = min b u b ξ j = 1 q I j (u).

To present our main result, we assume that there exist constants a,b,d>0 with a<b<bξ< d L such that:

(S1) f(t,u)< ( ξ 1 ) d ξ B L I 1 M B , for 0uEd, t [ t 0 , δ + ω ( t 0 ) ] T ;

(S2) f(t,u)> ( ξ 1 ) b B I m B , for bubξ, t [ η , l ] T ;

(S3) f(t,u)< ( ξ 1 ) a ξ B I 2 M B , for 0ua, t [ t 0 , δ + ω ( t 0 ) ] T .

Theorem 3.1 Under assumptions (S1)-(S3), system (1.1) has at least three positive ω-periodic solutions x 1 , x 2 , and x 3 in shifts δ ± satisfying

sup t [ t 0 , δ + ω ( t 0 ) ] T ( Φ x i ) ( t ) d , i = 1 , 2 , 3 , b < inf t [ t 0 , δ + ω ( t 0 ) ] T x 1 ( t ) , a < sup t [ t 0 , δ + ω ( t 0 ) ] T x 2 ( t ) , with  inf t [ η , l ] T x 2 ( t ) < b and sup t [ t 0 , δ + ω ( t 0 ) ] T x 3 ( t ) < a .

Proof For x K ( γ , d ) ¯ , then xK and γ(x)= sup t [ t 0 , δ + ω ( t 0 ) ] T (Φx)(t)d. From Lemma 3.1, we have sup t [ t 0 , δ + ω ( t 0 ) ] T x(t)Ed, that is, 0x(t)Ed, for t [ t 0 , δ + ω ( t 0 ) ] T . Then, by Lemma 2.8 and assumption (S1), for x K ( γ , d ) ¯ , we have HxK, and

( H x ) ( t ) = t δ + ω ( t ) G ( t , s ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + j : t j [ t , δ + ω ( t ) ) T G ( t , t j ) e a ( σ ( t j ) , t j ) I j ( x ( t j ) ) ξ ξ 1 t 0 δ + ω ( t 0 ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + ξ ξ 1 j = 1 q I j ( x ( t j ) ) B ξ ξ 1 ( ( ξ 1 ) d ξ B L I 1 M B ) + ξ ξ 1 I 1 M = d L ,

then

γ ( H x ) ( t ) = sup t [ t 0 , δ + ω ( t 0 ) ] T Φ ( H x ) ( t ) = sup t [ t 0 , δ + ω ( t 0 ) ] T t 0 δ + ω ( t 0 ) h ( t , s ) ( H x ) ( s ) Δ s sup t [ t 0 , δ + ω ( t 0 ) ] T { T h ( t , s ) Δ s } d L = d .

Therefore, H: K ( γ , d ) ¯ K ( γ , d ) ¯ .

To check condition (1) in Lemma 2.7, we take x ˜ =bξ. It is easy to verify that x ˜ K(γ,θ,α,b,bξ,d), and α( x ˜ )=bξ>b, and so {xK(γ,θ,α,b,bξ,d)α(x)>b}.

For xK(γ,θ,α,b,bξ,d), we have

inf t [ η , l ] T x(t)b, sup t [ t 0 , δ + ω ( t 0 ) ] T x(t)bξ, sup t [ t 0 , δ + ω ( t 0 ) ] T (Φx)(t)d,

that is, bx(t)bξ, 0(Φx)(t)d, for t [ η , l ] T .

Then, by assumption (S2), we have

α ( H x ) ( t ) = inf t [ η , l ] T { t δ + ω ( t ) G ( t , s ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + j : t j [ t , δ + ω ( t ) ) T G ( t , t j ) e a ( σ ( t j ) , t j ) I j ( x ( t j ) ) } inf t [ t 0 , δ + ω ( t 0 ) ] T { t δ + ω ( t ) G ( t , s ) b ( s ) f ( s , x s ) Δ s + j : t j [ t , δ + ω ( t ) ) T G ( t , t j ) e a ( σ ( t j ) , t j ) I j ( x ( t j ) ) } 1 ξ 1 t 0 δ + ω ( t 0 ) b ( s ) f ( s , x ( g ( s ) ) ) Δ s + 1 ξ 1 j = 1 q I j ( x ( t j ) ) > B ξ 1 ( ( ξ 1 ) b B I m B ) + 1 ξ 1 I m = b ,

that is, α(Hx)>b for all xK(γ,θ,α,b,bξ,d). This shows that condition (1) in Lemma 2.7 is satisfied.

Secondly, by (3.1) and the cone K we defined in (2.6), we can get α(Hx) 1 ξ θ(Hx)> 1 ξ (bξ)=b for all xK(γ,α,b,d) with θ(Hx)>bξ. Thus condition (2) in Lemma 2.7 is satisfied.

Finally, we show that condition (3) in Lemma 2.7 also holds. Clearly, as ψ(0)=0<a, we have 0 ¯ R(γ,ψ,a,d). Suppose that xR(γ,ψ,a,d) with ψ(x)=a, this implies that for t [ t 0 , δ + ω ( t 0 ) ] T , there is sup t [ t 0 , δ + ω ( t 0 ) ] T x(t)=a, sup t [ t 0 , δ + ω ( t 0 ) ] T (Φx)(t)d. Hence,

0x(t)a,0(Φx)(t)dfor t [ t 0 , δ + ω ( t 0 ) ] T .

By assumption (S3), we have

ψ ( H x ) = sup t [ t 0 , δ + ω ( t 0 ) ] T ( H x ) ( t ) ξ ξ 1 ω b ( s ) f ( s , x ( g ( s ) ) ) Δ s + ξ ξ 1 j = 1 q I j ( x ( t j ) ) < B ξ ξ 1 ( ( ξ 1 ) a ξ B I 2 M B ) + ξ ξ 1 I 2 M = a .

So, condition (3) in Lemma 2.7 is satisfied.

To sum up, all conditions in Lemma 2.7 are satisfied. Hence, H has at least three fixed points, that is, system (1.1) has at least three positive ω-periodic solutions in shifts δ ± . This completes the proof. □

4 Numerical examples

Consider the following system with impulses:

{ x Δ ( t ) = a ( t ) x ( t ) + b ( t ) f ( t , x ( g ( t ) ) ) , t t j , t T , x ( t j + ) = x ( t j ) + I j ( x ( t j ) ) .
(4.1)

Example 1 Let

a ( t ) = 0.5 , b ( t ) = 1 0.5 sin 2 π t , f ( t , x ) = { | sin π t | 5 + x 10 , x 5 , 10 + x 15 + 5 | sin π t | , x > 5 , I j ( x ( t j ) ) = 0.01 | sin ( x ( t j ) ) | , j = 1 , 2 , , 10 ,

in system (4.1), then

ω=1; I 1 M , I 2 M , I m [0,0.1].

Case I: Let T=R, t 0 =0, then δ + ω (t)=t+1. It is easy to verify a(t), b(t), f(t,x) satisfy

a ( δ + ω ( t ) ) δ + Δ ω (t)=a(t),b ( δ + ω ( t ) ) δ + Δ ω (t)=b(t),f ( δ + ω ( t ) , x ) =f(t,x),t T ,

and a R + .

By a direct calculation, we can get

ξ= e 0.5 =1.6487,B= 0 1 (10.5sin2πt)Δt= ( t + cos 2 π t 4 π ) | 0 1 =1.

Choose a=5, b=10, L=1, d=50, then

f ( t , x ) 10 + 5.4957 = 15.4957 < 19.6735 I 1 M for  x [ 0 , 82.4361 ] , f ( t , x ) > 10 + 10 20 = 10.5 > 6.4872 I m for  x [ 10 , 16.4872 ] , f ( t , x ) < 1 5 + 5 10 = 0.7 < 1.9673 I 2 M for  x [ 0 , 5 ] .

According to Theorem 3.1, when T=R, for system (4.1) there exist at least three positive periodic solutions x ˆ 1 , x ˆ 2 , x ˆ 3 in shifts δ ± with period ω=1, and

sup t [ t 0 , δ + ω ( t 0 ) ] T x ˆ 3 (t)<5< sup t [ t 0 , δ + ω ( t 0 ) ] T x ˆ 2 (t), inf t [ η , l ] T x ˆ 2 (t)<10< inf t [ t 0 , δ + ω ( t 0 ) ] T x ˆ 1 (t).

Case II: Let T=Z, t 0 =0, then δ + ω (t)=t+1. It is easy to verify a(t), b(t), f(t,x) satisfy

a ( δ + ω ( t ) ) δ + Δ ω (t)=a(t),b ( δ + ω ( t ) ) δ + Δ ω (t)=b(t),f ( δ + ω ( t ) , x ) =f(t,x),t T ,

and a R + .

By a direct calculation, we can get

ξ= ( 0.5 ) 1 =2,B= 0 1 (10.5sin2πt)Δt=(t0.5tsin2πt) | 0 1 =1.

Choose a=5, b=10, L=1, d=30, then

f ( t , x ) 10 + 4 = 14 < 15 I 1 M for  x [ 0 , 60 ] , f ( t , x ) > 10 + 10 20 = 10.5 > 10 I m for  x [ 10 , 20 ] , f ( t , x ) < 1 5 + 5 10 = 0.7 < 2.5 I 2 M for  x [ 0 , 5 ] .

According to Theorem 3.1, when T=Z, for system (4.1) there exist at least three positive periodic solutions x ˜ 1 , x ˜ 2 , x ˜ 3 in shifts δ ± with period ω=1, and

sup t [ t 0 , δ + ω ( t 0 ) ] T x ˜ 3 (t)<5< sup t [ t 0 , δ + ω ( t 0 ) ] T x ˜ 2 (t), inf t [ η , l ] T x ˜ 2 (t)<10< inf t [ t 0 , δ + ω ( t 0 ) ] T x ˜ 1 (t).

Example 2 Let

a ( t ) = 1 5 t , b ( t ) = 1 b 0 t , f ( t , x ) = { | sin π 4 t | 5 + x 10 , x 5 , 12 + x 15 + 5 | sin π 4 t | , x > 5 , I j ( x ( t j ) ) = 0.01 | sin ( x ( t j ) ) | , j = 1 , 2 , , 10 ,

in system (4.1), where b 0 = 1 4 1 t Δt, then

ω=4; I 1 M , I 2 M , I m [0,0.1].

Let T= 2 N 0 , t 0 =1, then δ + ω (t)=4t. It is easy to verify a(t), b(t), f(t,x) satisfy

a ( δ + ω ( t ) ) δ + Δ ω (t)=a(t),b ( δ + ω ( t ) ) δ + Δ ω (t)=b(t),f ( δ + ω ( t ) , x ) =f(t,x),t T ,

and a R + .

By a direct calculation, we can get

ξ= t [ 1 , 4 ) ( 1 + t 5 t ) =2.0833,B= 1 4 1 b 0 t Δt=1.

Choose a=5, b=10, L=1, d=50, then

f ( t , x ) 12 + 6.9444 = 18.9444 < 26 I 1 M for  x [ 0 , 104.1667 ] , f ( t , x ) > 12 + 10 20 = 12.5 > 10.8333 I m for  x [ 10 , 20.8333 ] , f ( t , x ) < 1 5 + 5 10 = 0.7 < 2.6 I 2 M for  x [ 0 , 5 ] .

According to Theorem 3.1, when T= 2 N 0 , for system (4.1) there exist at least three positive periodic solutions x ˆ 1 , x ˆ 2 , x ˆ 3 in shifts δ ± with period ω=4, and

sup t [ t 0 , δ + ω ( t 0 ) ] T x ˆ 3 (t)<5< sup t [ t 0 , δ + ω ( t 0 ) ] T x ˆ 2 (t), inf t [ η , l ] T x ˆ 2 (t)<10< inf t [ t 0 , δ + ω ( t 0 ) ] T x ˆ 1 (t).

References

  1. 1.

    Hilger, S: Ein Masskettenkalkl mit Anwendug auf Zentrumsmanningfaltigkeiten. PhD thesis, Universität Würzburg (1988)

    Google Scholar 

  2. 2.

    Kaufmann ER, Raffoul YN: Periodic solutions for a neutral nonlinear dynamical equation on a time scale. J. Math. Anal. Appl. 2006, 319(1):315–325. 10.1016/j.jmaa.2006.01.063

    MathSciNet  Article  MATH  Google Scholar 

  3. 3.

    Liu X, Li W: Periodic solutions for dynamic equations on time scales. Nonlinear Anal. TMA 2007, 67(5):1457–1463. 10.1016/j.na.2006.07.030

    Article  MathSciNet  MATH  Google Scholar 

  4. 4.

    Adıvar M: Function bounds for solutions of Volterra integro dynamic equations on the time scales. Electron. J. Qual. Theory Differ. Equ. 2010., 2010: Article ID 7

    Google Scholar 

  5. 5.

    Adıvar M, Raffoul YN: Existence of resolvent for Volterra integral equations on time scales. Bull. Aust. Math. Soc. 2010, 82(1):139–155.

    MathSciNet  Article  MATH  Google Scholar 

  6. 6.

    Çetin E:Positive periodic solutions in shifts δ ± for a nonlinear first-order functional dynamic equation on time scales. Adv. Differ. Equ. 2014., 2014: Article ID 76

    Google Scholar 

  7. 7.

    Çetin E, Topal FS:Periodic solutions in shifts δ ± for a nonlinear dynamic equation on time scales. Abstr. Appl. Anal. 2012., 2012: Article ID 707319

    Google Scholar 

  8. 8.

    Hu M, Wang L: Positive periodic solutions for an impulsive neutral delay model of single-species population growth on time scales. WSEAS Trans. Math. 2012, 11(8):705–715.

    Google Scholar 

  9. 9.

    Zhang H, Li Y: Existence of positive periodic solutions for functional differential equations with impulse effects on time scales. Commun. Nonlinear Sci. Numer. Simul. 2009, 14: 19–26. 10.1016/j.cnsns.2007.08.006

    MathSciNet  Article  MATH  Google Scholar 

  10. 10.

    Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston; 2003.

    Google Scholar 

  11. 11.

    Adıvar M: A new periodicity concept for time scales. Math. Slovaca 2013, 63(4):817–828. 10.2478/s12175-013-0127-0

    MathSciNet  MATH  Google Scholar 

  12. 12.

    Avery RI, Peterson AC: Three positive fixed points of nonlinear operators on ordered Banach spaces. Comput. Math. Appl. 2001, 42(3–5):313–332. 10.1016/S0898-1221(01)00156-0

    MathSciNet  Article  MATH  Google Scholar 

Download references

Acknowledgements

This work is supported by the Basic and Frontier Technology Research Project of Henan Province (Grant No. 142300410113).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Meng Hu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Both authors contributed equally and significantly in writing this paper. Both authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Hu, M., Wang, L. Multiple periodic solutions in shifts δ ± for an impulsive functional dynamic equation on time scales. Adv Differ Equ 2014, 152 (2014). https://doi.org/10.1186/1687-1847-2014-152

Download citation

Keywords

  • periodic solution
  • functional dynamic equation
  • impulse
  • shift operator
  • time scale