Skip to main content

Theory and Modern Applications

Periodic boundary value problems for fırst order dynamic equations on time scales

Abstract

In this work, the existence criteria of extremal solutions of periodic boundary value problems for the first-order dynamic equations on time scales are given by using the method of lower and upper solutions coupled with the monotone iterative technique. Our results generalize and improve some existing results. Two examples are provided to show the effectiveness and feasibility of the obtained results.

1. Introduction

Recently, the theory of impulsive differential equations has been investigated extensively in simulating processes and phenomena subject to short-time perturbations during their evolution, moreover, such equations have a tremendous potential for applications in biology, physics, epidemic models, engineering, ect. (see [14]). Especially, the study of impulsive dynamic equations on time scales has also attracted much attention since it provides an unifying structure for differential equations in the continuous cases and the finite difference equations in the discrete cases, see [517] and references therein. Most of them were devoted to the existence of solutions for periodic boundary value problems (PBVP) by means of some fixed point theorems [1822] such as the Tarski's fixed point theorem [17], Guo-Krasnoselskii fixed-point theorem [18], and twin fixed-point theorem in a cone [19], etc..

Li et al. [4] considered the following periodic boundary value problem with impulses

u ( t ) = g ( t , u ( t ) , u ( θ ( t ) ) ) , t J = [ 0 , T ] , t t k , Δ u ( t k ) = I k ( u ( t k ) ) , k = 1 , 2 , . . . , p , u ( 0 ) = u ( T ) ,
(1.1)

where 0 = t0 < t1 < t2 < ... < t p < tp+1= T, J0 = J\{t1, ..., t p }, g C(J × R2, R), and θ C(J, R), 0 ≤ θ(t) ≤ t, t J, Δu ( t k ) =u ( t k + ) -u ( t k ) .

In [6], the authors discussed the following periodic boundary value problem by using the upper and lower solution method and monotone iterative technique

y Δ ( t ) = f ( t , y ( t ) ) , t J : = [ 0 , T ] T , t t k , k = 1 , 2 , . . . , m , I m p ( y ) ( t k ) : = I k ( y ( t k - ) ) , k = 1 , 2 , . . . , m , y ( 0 ) = y ( σ ( T ) ) .
(1.2)

Although, the existence of extremal solutions to equation (1.2) was studied in [6] by using the outlined method, the results were obtained only under the case: α β, where α and β are the lower and upper solutions of PBVP (1.2), respectively. To the best of our knowledge, while using the method of lower and upper solutions, one can consider the problem under another case: α β, the readers can refer to [12, 2325] and references therein. For example, in [23], He and Zhang analyzed the existence for the extremal solutions to first order impulsive difference equations with periodic boundary conditions by utilizing the monotone iterative technique under these two cases. However, there are few papers to deal with the existence for the extremal solutions to periodic boundary value problems of first order dynamic equations on time scales based on the method of lower and upper solutions coupled with monotone iterative technique under these two cases. Thus, in this paper, we make the first attempt to consider the following periodic boundary value problem of first order dynamical equation on time scales:

y Δ ( t ) + p ( t ) y σ ( t ) = f ( t , y σ ( t ) ) , t J : = [ 0 , T ] T , t t k , k = 1 , 2 , . . . , q , Δ y ( t k ) = I k ( y ( t k - ) ) , k = 1 , 2 , . . . , q , y ( 0 ) = y ( σ ( T ) ) ,
(1.3)

where T is a time scale, T > 0 is fixed. f C(J × R, R), I k C(R, R), p : [0, T ] T [0, ) is rd-continuous, t k [0, T] ∩ T and 0 < t1 < ... < t q < T. Δy ( t k ) =y ( t k + ) -y ( t k - ) , y ( t k + ) and y ( t k - ) denote right and left limits of y(t) at t = t k in the sense of time scales respectively, that is, t k + h [0, T] ∩ T for each h in a neighborhood of 0. σ is a function that will be defined later and yσ(t) = y(σ(t)). The aim of this paper is to obtain the existence criteria of extremal solutions of PBVP (1.3) under the two cases expressed above. Our results extend and generalize the results of Geng et al. [6].

The remainder of this paper is organized as follows. Some preliminary definitions, lemmas and notations on time scales are given in Section 2. In Sections 3 and 4, by means of lower and upper solutions and monotone iterative technique, the existence of extremal solutions for PBVP (1.3) is proved under two cases: the lower and upper solutions with well-order and with reverse-order, respectively. Finally, two examples are simplified to illustrate the effectiveness and feasibility of the obtained results.

2. Preliminaries

In this section, we state some fundamental definitions and results on time scales, we refer readers to [511].

Let T be a nonempty closed subset (time scale) of R. We denote the forward and backward jump operators σ, ρ : T T as follows:

σ ( t ) = inf { s T | s > t } and ρ (t) = sup{s T | s < t} .

A point t T is called right-scattered, right-dense, left-scattered, left-dense respectively if σ (t) > t, σ (t) = t, ρ(t) < t, ρ(t) = t holds. If T has a right-scattered minimum m, then T k = T\{m}; otherwise T k = T. If T has a left-scattered maximum M, then Tk = T\{M}; otherwise Tk = T.

A function f : T R is called right-dense continuous provided it is continuous at every right-dense points in T and its left-side limits exist at every left-dense points in T, write f C rd (T) = C rd (T, R).

Definition 2.1. For x : T R and t Tk, we define the delta derivative of x(t), xΔ(t), to be the number (when it exists) with the property that, for any ε > 0, there is a neighborhood U of t such that

| [ x ( σ ( t ) ) - x ( s ) ] - x Δ ( t ) [ σ ( t ) - s ] | < ε | σ ( t ) - s | , for all  s U .

Remark 2.1. If T = R, xΔ(t) = x'(t) is the ordinary derivative, and if T = Z, xΔ(t) = x(t + 1) − x(t) is the usual forward difference operator.

Definition 2.2. F is called an antiderivative of a function f defined on T if FΔ(t) = f(t) holds on Tk, then the delta integral is defined by

a t f ( s ) Δ s = F ( t ) - F ( a ) .

Lemma 2.1 ([9]). If fΔ 0, then f is increasing.

Lemma 2.2 ([9]). Assume that f, g : T R are delta differentiable at t, then

( f g ) Δ ( t ) = f Δ ( t ) g ( t ) + f ( σ ( t ) ) g Δ ( t ) = g Δ ( t ) f ( t ) + g ( σ ( t ) ) f Δ ( t ) .

Definition 2.3. A function p : T R is called regressive if 1 + µ(t)p(t) ≠ 0 for all t T, where µ(t) = σ(t) − t, which is said to be the graininess function.

Definition 2.4. If p is a regressive function, then the generalized exponential function e p is defined by

e p ( t , s ) = exp s t ξ μ ( τ ) ( p ( τ ) ) Δ τ , for  s , t T

with the cylinder transformation

ξ h ( z ) = log ( 1 + h z ) h , if h 0 , z , if h = 0 ,

Let p, q : T R be two regressive functions, we define

p q = p + q + μ p q , p : = - p 1 + μ p , p q : = p ( q ) .

Then, the exponential function has some properties as follows.

Lemma 2.3 ([9]). Assume that p, q : T R are two regressive functions, then

  1. (1)

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

  2. (2)

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

  3. (3)

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

  4. (4)

    e p Δ ( t , t 0 ) =p ( t ) e p ( t , t 0 ) for t Tk, t0 T.

3. Well-ordered lower and upper solutions

In this section, we prove the existence theorem of extremal solutions for periodic boundary value problem of first-order dynamic equations on time scales under the case of α β, where α and β are lower and upper solutions of PBVP (1.3).

We assume for the remainder of this paper that the impulsive points t k , k = 1, 2, ..., q are right dense, other cases may be considered similarly. Define the following space

P C = { y : [ 0 , σ ( T ) ] R | y k C ( J k , R ) , k = 1 , 2 , , q and there exist y ( t k + ) and y ( t k ) with y ( t k ) = y ( t k ) , k = 1 , 2 , , q } ,

which is a Banach space with the norm | | y | | P C = max { | | y k | | J k , k = 0 , 1 , , q } , where y k is the restriction of y to J k = (t k , tk+1] (0, σ(T) T ], k = 1, 2, ..., q and J0 = [0, t1], tq+1= σ(T ).

Definition 3.1. A function y PCC1(J\{t1, t2, ..., t q }, R) is said to be a solution of PBVP (1.3) if and only if y satisfies the dynamic equation

y Δ ( t ) + p ( t ) y σ ( t ) = f ( t , y σ ( t ) ) , everywhere on J \ { t k } , k = 1 , 2 , , q ,

the impulsive condition

Δ y ( t k ) = y ( t k + ) - y ( t k + ) = I k ( y ( t k - ) ) , k = 1 , 2 , , q ,

and the periodic boundary condition

y ( 0 ) =y ( σ ( T ) ) .

Let h : T R be a rd-continuous function and consider the following periodic boundary value problem

y Δ ( t ) + m ( t ) y σ ( t ) = h ( t ) , t J \ { t k } , k = 1 , 2 , , q , Δ y ( t k ) = - L k y ( t k ) + I k ( η ( t k ) ) + L k η ( t k ) , k = 1 , 2 , , q , y ( 0 ) = y ( σ ( T ) ) .
(3.1)

Lemma 3.1. y PC is a solution of PBV P (3.1) if and only if

y ( t ) = 0 σ ( T ) G ( t , s ) h ( s ) Δ s + 0 < t k < σ ( T ) G ( t , t k ) [ - L k y ( t k ) + I k ( η ( t k ) ) + L k η ( t k ) ] ,
(3.2)

where η PC and

G ( t , s ) = e m ( s , t ) e m ( σ ( T ) , 0 ) e m ( σ ( T ) , 0 ) - 1 , 0 s t σ ( T ) , e m ( s , t ) e m ( σ ( T ) , 0 ) - 1 , 0 t < s σ ( T ) .

Proof. For the convenience of the reader, letting w(t k ) = −L k y(t k ) + I k (η(t k )) + L k η(t k ), k = 1, 2, ..., q.

If y is a solution of PBVP (3.1), for t (0, t1], we have

y ( t ) = e m ( 0 , t ) y ( 0 ) + 0 t e m ( s , t ) h ( s ) Δ s ,
(3.3)

and

y ( t 1 - ) = e m ( 0 , t 1 ) y ( 0 ) + 0 t 1 e m ( s , t 1 ) h ( s ) Δ s .
(3.4)

For any t (t1, t2], in a similar way, we deduce that

y ( t ) = e m ( t 1 , t ) y ( t 1 + ) + t 1 t e m ( s , t ) h ( s ) Δ s .
(3.5)

From the fact that y ( t 1 + ) =y ( t 1 - ) +w ( t 1 ) , this together with (3.4) and (3.5) yields that

y ( t ) = e m ( 0 , t ) y ( 0 ) + 0 t e m ( s , t ) h ( s ) Δ s + e m ( t 1 , t ) w ( t 1 ) , t ( t 1 , t 2 ] .

Repeating the above procession, for t (t k , tk+1], it is not difficult to see that

y ( t ) = e m ( t k , t ) y ( t k + ) + t k t e m ( s , t ) h ( s ) Δ s ,
(3.6)

with

y ( t k - ) = e m ( 0 , t k ) y ( 0 ) + 0 t k e m ( s , t k ) h ( s ) Δ s + 0 < t j < t k e m ( t j , t k ) w ( t j ) .

Consequently, it turns out that

y ( t ) = e m ( 0 , t ) y ( 0 ) + 0 t e m ( s , t ) h ( s ) Δ s + 0 < t k < t e m ( t k , t ) w ( t k ) for all  t J .
(3.7)

Since y(0) = y(σ (T)), then we have

y ( 0 ) = e m ( 0 , σ ( T ) ) y ( 0 ) + 0 σ ( T ) e m ( s , σ ( T ) ) h ( s ) Δ s + 0 < t k < σ ( T ) e m ( t k , σ ( T ) ) w ( t k ) ,

it follows

y ( 0 ) = 1 1 - e m ( 0 , σ ( T ) ) 0 σ ( T ) e m ( s , σ ( T ) ) h ( s ) Δ s + 0 < t k < σ ( T ) e m ( t k , σ ( T ) ) w ( t k ) .
(3.8)

Substituting (3.8) into (3.7), we obtain

y ( t ) = e m ( 0 , t ) 1 - e m ( 0 , σ ( T ) ) 0 σ ( T ) e m ( s , σ ( T ) ) h ( s ) Δ s + 0 < t k < σ ( T ) e m ( t k , σ ( T ) ) w ( t k ) + 0 t e m ( s , t ) h ( s ) Δ s + 0 < t k < t e m ( t k , t ) w ( t k ) = 0 t e m ( 0 , t ) e m ( s , σ ( T ) ) 1 - e m ( 0 , σ ( T ) ) + e m ( s , t ) h ( s ) Δ s + t σ ( T ) e m ( 0 , t ) e m ( s , σ ( T ) ) 1 - e m ( 0 , σ ( T ) ) h ( s ) Δ s + 0 < t k < t e m ( 0 , t k ) e m ( t k , σ ( T ) ) 1 - e m ( 0 , σ ( T ) ) + e m ( t k , t ) w ( t k ) + t < t k < σ ( T ) e m ( 0 , t ) e m ( t k , σ ( T ) ) 1 - e m ( 0 , σ ( T ) ) w ( t k ) = 0 t e m ( s , t ) e m ( σ ( T ) , 0 ) e m ( σ ( T ) , 0 ) - 1 h ( s ) Δ s + t σ ( T ) e m ( s , t ) e m ( σ ( T ) , 0 ) - 1 h ( s ) Δ s + 0 < t k < t e m ( t k , t ) e m ( σ ( T ) , 0 ) e m ( σ ( T ) , 0 ) - 1 w ( t k ) + t < t k < σ ( T ) e m ( t k , t ) e m ( σ ( T ) , 0 ) - 1 w ( t k ) = 0 σ ( T ) G ( t , s ) h ( s ) Δ s + 0 < t k < σ ( T ) G ( t , t k ) w ( t k ) .

On the other hand, assume y(t) satisfies (3.2) and notice that

[ 0 σ ( T ) G ( t , s ) h ( s ) Δ s ] Δ = 1 e m ( σ ( T ) , 0 ) 1 [ e m ( σ ( T ) , 0 ) 0 t e m ( s , t ) h ( s ) Δ s + t σ ( T ) e m ( s , t ) h ( s ) Δ s ] = e m ( σ ( T ) , 0 ) e m ( σ ( T ) , 0 ) 1 [ 0 t e m Δ ( s , t ) h ( s ) Δ s + e m ( t , σ ( t ) h ( t ) ] + 1 e m ( σ ( T ) , 0 ) 1 [ t σ ( T ) e m Δ ( s , t ) h ( s ) Δ s e m ( t , σ ( t ) h ( t ) ] = m 0 σ ( T ) G ( t , s ) h ( s ) Δ s + h ( t ) .

Analogously,

0 < t k < σ ( T ) G ( t , t k ) w ( t k ) Δ = m 0 < t k < σ ( T ) G ( t , t k ) w ( t k ) .

As a result,

y Δ ( t ) = m 0 σ ( T ) G ( t , s ) h ( s ) Δ s + 0 < t k < σ ( T ) G ( t , t k ) w ( t k ) + h ( t ) = m y ( t ) + h ( t ) = - m ( t ) y σ ( t ) + h ( t ) .

Clearly, we have y ( t k + ) -y ( t k - ) =w ( t k ) , y(0) = y(σ(T)), for k = 1, 2, ..., q. The proof is completed. □

Define an operator F as follows:

F x ( t ) = 0 σ ( T ) G ( t , s ) h ( s ) Δ s + 0 < t k < σ ( T ) G ( t , t k ) - L k x ( t k ) + I k ( η ( t k ) ) + L k η ( t k ) , t [ 0 , σ ( T ) ] .

In view of | G ( t , t k ) | | e m ( σ ( T ) , 0 ) e m ( σ ( T ) , 0 ) - 1 | , for x, y PC

| F x ( t ) - F y ( t ) | 0 < t k < σ ( T ) G ( t , t k ) L k [ x ( t k ) - y ( t k ) ] e m ( σ ( T ) , 0 ) e m ( σ ( T ) , 0 ) - 1 k = 1 m | L k | | | x - y | | .

Under the condition of e m ( σ ( T ) , 0 ) e m ( σ ( T ) , 0 ) - 1 k = 1 q | L k | < 1 , the PBVP (3.1) has one unique solution.

Lemma 3.2. Suppose the following conditions hold

  1. (i)

    The sequence { t k } k = 1 q satisfies 0 ≤ t0 < t1 < ... < t q ;

  2. (ii)

    For k = 1, 2, ..., q, t ≥ t0, 1 − µ(t)m(t) > 0, there are

    y Δ ( t ) - m ( t ) y σ ( t ) ,
    (3.9)
    y ( t k + ) b k y ( t k ) ,
    (3.10)

where b k are constants and b k > 0.

Then

y ( t ) y ( t 0 ) t 0 < t k < t b k e m ( t , t 0 ) .

Proof. In view of (3.9), we have

[ e m ( t , t 0 ) y ( t ) ] Δ = e m ( t , t 0 ) y Δ ( t ) + y ( σ ( t ) ) e m ( t , t 0 ) m ( t ) 0 .

It means that e m (t, t0)y(t) is a non-increasing on [t0, σ(T )]. So we can easily get

y ( t ) y ( t 0 ) e m ( t , t 0 ) , t ( t 0 , t 1 ] .
(3.11)

For t (t1, t2], similarly, one can assert that

y ( t ) y ( t 1 + ) e m ( t , t 1 ) b 1 e m ( t , t 1 ) y ( t 1 ) y ( t 0 ) b 1 e m ( t , t 0 ) .

Continuing with this procedure, we can get that for t (t k , tk+1],

y ( t ) y ( t k + ) e m ( t , t k ) b k e m ( t , t k ) y ( t k ) b 1 b 2 b k y ( t 0 ) e m ( t , t 0 ) ,
(3.12)

proceed inductively to obtain

y ( t ) y ( t 0 ) t 0 < t k < t b k e m ( t , t 0 ) .

The proof is completed. □

Remark 3.1. If the inequalities of (3.9) and (3.10) are reversed, then the inequality in the conclusion is also reversed.

Lemma 3.3. Assume k = 1 q ( 1 - L k ) e m ( σ ( T ) , 0 ) < 1 , L k < 1 and

y Δ ( t ) - m ( t ) y σ ( t ) - r y ( t ) ,
(3.13)
Δ y ( t k ) - L k y ( t k ) - d y k .
(3.14)

Then, y(t) ≤ 0 for all t J, where

r y ( t ) = 0 , y ( 0 ) y ( σ ( T ) ) , m ( t ) σ ( t ) + 1 σ ( T ) [ y ( 0 ) - y ( σ ( T ) ) ] , y ( 0 ) > y ( σ ( T ) ) ,

and

d y k = 0 , y ( 0 ) y ( σ ( T ) ) , L k t k σ ( T ) [ y ( 0 ) - y ( σ ( T ) ) ] , y ( 0 ) > y ( σ ( T ) ) .

Proof. Case 1: when y(0) ≤ y(σ (T)), obviously, we have ry(t)= 0, d yk = 0. From Lemma 3.2, we see that,

y ( t ) y ( 0 ) 0 < t k < t ( 1 - L k ) e m ( t , 0 ) .
(3.15)

Let t = σ (T) to obtain

y ( 0 ) y ( σ ( T ) ) y ( 0 ) 0 < t k < σ ( T ) ( 1 - L k ) e m ( σ ( T ) , 0 ) .

It means

y ( 0 ) 1 - t 0 < t k < σ ( T ) ( 1 - L k ) e m ( σ ( T ) , 0 ) 0 ,

then y(0) ≤ 0, returning to (3.15) we have y(t) ≤ 0, t J.

Case 2: when y(0) > y(σ (T)), define ȳ ( t ) =y ( t ) +g ( t ) , where g ( t ) = t σ ( T ) y ( 0 ) - y ( σ ( T ) ) , t J. It is easy to check that g(0) = 0, ȳ ( 0 ) = ȳ ( σ ( T ) ) and g(t) ≥ 0. Next, from (3.13) and (3.14), one can deduce that

ȳ Δ ( t ) = y Δ ( t ) + g Δ ( t ) - m ( t ) y σ ( t ) - r y ( t ) + 1 σ ( T ) [ y ( 0 ) - y ( σ ( T ) ) ] = - m ( t ) y σ ( t ) - m ( t ) g σ ( t ) = - m ( t ) ȳ σ ( t ) , Δ ȳ ( t k ) = Δ y ( t k ) + Δ g ( t k ) - L k y ( t k ) - d y k = - L k [ y ( t k ) - g ( t k ) ] = - L k ȳ ( t k ) .

In view of case 1, one can easily see that ȳ ( t ) 0, it means y(t) + g(t) ≤ 0, this together with g(t) ≥ 0 for t J guarantees that y(t) ≤ 0, t J. The proof is completed. □

For α, β PC, we write αβ if α(t) ≤ β(t) for all t J. In such a case, we denote

[ α , β ] = { y P C : α ( t ) y ( t ) β ( t ) , t J } .

Now, we are in the position to establish the main result.

Theorem 3.1. Assumed that the following conditions are satisfied

(H1) There exist two functions : α, β PCC1(J\{t1, t2, ..., t q }, R) α(t) ≤ β(t) such that

α Δ ( t ) + p ( t ) α σ ( t ) f ( t , α σ ( t ) ) - r α ( t ) , t J , t t k Δ α ( t k ) I k ( α ( t k - ) ) - d α k , k = 1 , 2 , , q ,

and

β Δ ( t ) + p ( t ) β σ ( t ) f ( t , β σ ( t ) ) + r β ( t ) , t J , t t k , Δ β ( t k ) I k ( β ( t k - ) ) + d β k , k = 1 , 2 , , q ,

where 1 -μ(t)m(t) > 0, L k < 1, rα(t), rβ(t), d αk , d βk are given by

r α ( t ) = 0 , α ( 0 ) α ( σ ( T ) ) , m ( t ) σ ( t ) + 1 σ ( T ) [ α ( 0 ) - α ( σ ( T ) ) ] , α ( 0 ) > α ( σ ( T ) ) ,
d α k = 0 , α ( 0 ) α ( σ ( T ) ) , L k t k σ ( T ) [ α ( 0 ) - α ( σ ( T ) ) ] , α ( 0 ) > α ( σ ( T ) ) ,
r β ( t ) = 0 , β ( 0 ) β ( σ ( T ) ) , m ( t ) σ ( t ) + 1 σ ( T ) [ β ( σ ( T ) ) - β ( 0 ) ] , β ( 0 ) < β ( σ ( T ) ) ,
d β k = 0 , β ( 0 ) β ( σ ( T ) ) , L k t k σ ( T ) [ β ( σ ( T ) ) - β ( 0 ) ] , β ( 0 ) < β ( σ ( T ) ) ,

that is, α(t) and β(t) are lower and upper solutions of PBV P (13), respectively;

(H2) f(t, x):T × RR is rd - continuous at the first variable and continuous at the second variable such that

f ( t , y σ ( t ) ) - f ( t , x σ ( t ) ) [ p ( t ) - m ( t ) ] ( y σ ( t ) - x σ ( t ) ) ,

for α(t) ≤ x(t) ≤ y(t) ≤ β(t);

(H3) I k C(R, R) satisfies

I k ( y ( t k ) ) - I k ( x ( t k ) ) - L k ( y ( t k ) - x ( t k ) )

for α(t) ≤ x(t k ) ≤ y(t k ) ≤ β(t), k = 1, 2,. ···, q, 0 ≤ L k < 1;

(H4) There exists m(t) C(R, R) satisfying 1 -μ(t)m(t) > 0 and

k = 1 q ( 1 - L k ) e m ( σ ( T ) , 0 ) < 1 , e m ( σ ( T ) , 0 ) e m ( σ ( T ) , 0 ) - 1 k = 1 q L k < 1 .

Then, there exist monotone sequences α n (t) and β n (t) with α0 = α, β0 = β such that

lim n α n ( t ) = y * ( t ) , lim n β n ( t ) = y * ( t ) ,

uniformly on J, and y*(t), y * (t) are the minimal and maximal solutions of PBV P (1.3) such that y*yy * , where y is any solution of PBV P (1.3) satisfying αyβ on J.

Proof. For any η [α, β], consider the PBVP (3.1) with h(t) = f(t, η σ (t)) + [m(t) -p(t)] ησ (t). The condition (H4) and Lemma 3.1 guarantee that PBVP (3.1) has a unique solution y(t). Define the operator A : [α, β] → PC such that y(t) = . Next, we show that the operator A satisfies the two properties as follows:

  1. (i)

    α, β;

  2. (ii)

    A is a monotone nondecreasing function, i.e. for any η1, η2 [α, β],η1η2 implies 12.

To see (i), letting ȳ=α- α 1 , where α1 = . Owing to the condition (H1) and (3.1), we have

ȳ Δ ( t ) = α Δ ( t ) - α 1 Δ ( t ) f ( t , α σ ( t ) ) - r α ( t ) - p ( t ) α σ ( t ) - - m ( t ) α 1 σ ( t ) + f ( t , α σ ( t ) ) + ( m ( t ) - p ( t ) ) α σ ( t ) = - r α ( t ) - m ( t ) [ α σ ( t ) - α 1 σ ( t ) ] = - r ȳ ( t ) - m ( t ) ȳ σ ( t ) ,
Δ ȳ ( t k ) = Δ α ( t k ) - Δ α 1 ( t k ) I k ( α ( t k ) ) - d α k - - L k α 1 ( t k ) + I k ( α ( t k ) ) + L k α ( t k ) = - d α k - L k [ α ( t k ) - α 1 ( t k ) ] = - d α k - L k ȳ ( t k ) .

By virtue of Lemma 3.3, we achieve ȳ ( t ) 0 on J, i.e. αA α. Similarly, we can show that β.

To see (ii), let ȳ= y 1 - y 2 , where y1 = 1, y2 = 2. Applying the condition (H2) and (H3) together with (3.1) to obtain that

ȳ Δ ( t ) = y 1 Δ ( t ) - y 2 Δ ( t ) = f ( t , η 1 σ ( t ) ) + ( m ( t ) - p ( t ) ) η 1 σ ( t ) - m ( t ) y 1 σ ( t ) - f ( t , η 2 σ ( t ) ) - ( m ( t ) - p ( t ) ) η 2 σ ( t ) + m ( t ) y 2 σ ( t ) - m ( t ) [ y 1 σ ( t ) - y 2 σ ( t ) ] + f ( t , η 1 σ ( t ) ) - f ( t , η 2 σ ( t ) ) + ( m ( t ) - p ( t ) ) ( η 1 σ ( t ) - η 2 σ ( t ) ) - m ( t ) ȳ σ ( t ) ,
Δ ȳ ( t k ) = Δ y 1 ( t k ) - Δ y 2 ( t k ) = - L k y 1 ( t k ) + I k ( η 1 ( t k ) ) + L k η 1 ( t k ) - [ - L k y 2 ( t k ) + I k ( η 2 ( t k ) ) + L k η 2 ( t k ) ] - L k ȳ ( t k ) + I k ( η 1 ( t k ) ) - I k ( η 2 ( t k ) ) + L k [ η 1 ( t k ) - η 2 ( t k ) ] - L k ȳ ( t k ) .

The Lemma 3.3 yields that ȳ ( t ) 0 on J, i.e. 12.

Now, define the sequences αn+1= n , βn+1= n with α0 = α, β0 = β. Notice that

α n = 0 σ ( T ) G ( t , s ) h n - 1 ( s ) Δ s + 0 < t k < σ ( T ) - L k α n ( t k ) + I k ( α n - 1 ( t k ) ) + L k α n - 1 ( t k ) ,
β n = 0 σ ( T ) G ( t , s ) h ¯ n - 1 ( s ) Δ s + 0 < t k < σ ( T ) - L k β n ( t k ) + I k ( β n - 1 ( t k ) ) + L k β n - 1 ( t k ) ,

where

h n - 1 ( t ) = f ( t , α n - 1 σ ( t ) ) + [ m ( t ) - p ( t ) ] α n - 1 σ ( t ) , t [ 0 , σ ( T ) ] ,
h ̄ n - 1 ( t ) = f ( t , β n - 1 σ ( t ) ) + [ m ( t ) - p ( t ) ] β n - 1 σ ( t ) , t [ 0 , σ ( T ) ] .

The two properties of operator A guarantee that the sequences α n and β n satisfy

α = α 0 α 1 α n β n β 1 β 0 = β .

Consequently, there exist y * (t) and y* (t) such that

lim n α n ( t ) = y * ( t ) , and  lim n β n ( t ) = y * ( t ) ,

uniformly on J. It is obviously seen that y * (t) and y*(t) satisfy PBVP (1.3).

Let y(t) be any solution of PBVP (1.3) such that y [α, β]. Assuming that there exists a positive integer n such that α n (t) ≤ y(t) ≤ β n (t), since A is a monotone nondecreasing operator, we obtain αn+1(t) = n (t) ≤ Ay(t) = y(t), βn+1(t) = n (t) ≥ Ay(t) = y(t), furthermore, it follows αn+1(t) ≤ y(t) ≤ βn+1(t). In view of α0(t) ≤ y(t) ≤ β0(t), proceed inductively to obtain α n (t) ≤ y(t) ≤ β n (t) for any positive integer n. Therefore y * (t) ≤ y(t) ≤ y*(t) on J as n → +∞.

The proof is completed. □

Remark 3.2. Observe that Theorem 3.1 generalize the Theorem 3.1 of Geng et al. [6]. When p(t) = t, σ (t) = t, t [0, T] ∩ T, tt k , k = 1, 2, ..., q, the PBVP (1.3) becomes to the PBVP (1.2) which has been investigated in [6], moreover, we have the following corollary if we set m(t) = M.

Corollary 3.1 ([6]). Suppose the following conditions :

(H5) The functions α, β are lower and upper solutions of PBV P (1.2) respectively, such that α(t) ≤ β(t) for t J;

(H6) f (t, y):T × RR is rd - continuous at the first variable and continuous at the second variable such that

f ( t , y ) - f ( t , x ) - M ( y - x ) , f o r α ( t ) x ( t ) y ( t ) β ( t ) ;

(H7) I k C(R, R) satisfies

I k ( y ( t k ) ) - I k ( x ( t k ) ) - L k ( y ( t k ) - x ( t k ) )

for α(t) ≤ x(t k ) ≤ y(t k ) ≤ β(t), k = 1, 2, ..., q, 0 ≤ L k < 1;

(H8) There exists a constant M satisfying μ ( t ) < 1 M and 0 ≤ L k < 1 such that

1 1 - e - M ( σ ( T ) , 0 ) k = 1 q L k < 1 , k = 1 q ( 1 - L k ) e - M ( σ ( T ) , 0 ) < 1 .

Then, there exist monotone sequences α n (t) and β n (t) with α0 = α, β0 = β such that

lim n α n ( t ) = y * ( t ) , lim n β n ( t ) = y * ( t ) ,

uniformly on J, and y * (t), y*(t) are the minimal and the maximal solutions of PBV P (1.2), respectively, such that

α = α 0 α 1 α 2 α n y * y y * β n β 2 β 1 β 0 = β o n J

where y is any solution of PBVP (1.2) satisfying α(t) ≤ y(t) ≤ β(t) on J.

4. Lower and upper solutions in the reversed order

In this section, we obtain the existence criterion of extremal solutions for PBVP (1.3) under another case: αβ, where α and β are lower and upper solutions of PBVP (1.3).

Assume h : TR is rd-continuous, we consider the following periodic boundary value problem:

y Δ ( t ) - m ( t ) y σ ( t ) = h ( t ) , t J \ { t k } , k = 1 , 2 , , q , Δ y ( t k ) = L k y ( t k ) + I k ( η ( t k ) ) - L k η ( t k ) , k = 1 , 2 , , q , y ( 0 ) = y ( σ ( T ) ) .
(4.1)

Lemma 4.1. y PC is a solution of PBVP (4.1) if and only if

y ( t ) = 0 σ ( T ) ( t , s ) h ( s ) Δ s + 0 < t k < σ ( T ) ( t , t k ) [ L k y ( t k ) + I k ( η ( t k ) ) - L k η ( t k ) ] ,
(4.2)

where

( t , s ) = e - m ( s , t ) e - m ( σ ( T ) , 0 ) e - m ( σ ( T ) , 0 ) - 1 , 0 s t σ ( T ) , e - m ( s , t ) e - m ( σ ( T ) , 0 ) - 1 , 0 t < s σ ( T ) .

Proof. The detailed proof is very similar to one given in Lemma 3.1. Here, we omit it for brevity. □

Similarly, define an operator F ̄ :

F ̄ y ( t ) = 0 σ ( T ) ( t , s ) h ( s ) Δ s + 0 < t k < σ ( T ) ( t , t k ) L k y ( t k ) + I k ( η ( t k ) ) - L k η ( t k ) , t [ 0 , σ ( T ) ] .

Lemma 4.2. Assume k = 1 q ( 1 + L k ) e - m ( σ ( T ) , 0 ) < 1 , L k > -1 and

y Δ ( t ) m ( t ) y σ ( t ) + r ̄ y ( t ) ,
Δ y ( t k ) L k y ( t k ) + d ̄ y k .

Then, y(t) ≤ 0 for all t J, where

r ̄ y ( t ) = 0 , y ( σ ( T ) ) y ( 0 ) , m ( t ) [ σ ( T ) - σ ( t ) ] + 1 σ ( T ) [ y ( σ ( T ) ) - y ( 0 ) ] , y ( σ ( T ) ) > y ( 0 ) ,

and

d ̄ y k = 0 , y ( σ ( T ) ) y ( 0 ) , L k ( σ ( T ) - t k ) σ ( T ) [ y ( σ ( T ) ) - y ( 0 ) ] , y ( σ ( T ) ) > y ( 0 ) .

Proof. Following the similar lines as in Lemma 3.3, we can prove this Lemma. The detailed process is omitted here for brevity. □

Theorem 4.1. Assume that

(G1) There exist two functions : α, β PCC1(J\{t1, t2, ..., t q }, R), β(t) ≤ α(t) such that

α Δ ( t ) + p ( t ) α σ ( t ) f ( t , α σ ( t ) ) - r ̄ α ( t ) , t J , t t k Δ α ( t k ) I k ( α ( t k - ) ) - d ̄ α k , k = 1 , 2 , , q ,

and

β Δ ( t ) + p ( t ) β σ ( t ) f ( t , β σ ( t ) ) + r ̄ β ( t ) , t J , t t k , Δ β ( t k ) I k ( β ( t k - ) ) + d ̄ β k , k = 1 , 2 , , q ,

where 1 -μ(t)m(t) > 0, L k > -1, r ̄ α ( t ) , r ̄ β ( t ) , d ̄ α k , d ̄ β k are given by

r ̄ α ( t ) = 0 , α ( 0 ) α ( σ ( T ) ) , m ( t ) [ σ ( T ) - σ ( t ) ] + 1 σ ( T ) [ α ( 0 ) - α ( σ ( T ) ) ] , α ( 0 ) > α ( σ ( T ) ) ,
d ̄ α k = 0 , α ( 0 ) α ( σ ( T ) ) , L k [ σ ( T ) - t k ] σ ( T ) [ α ( 0 ) - α ( σ ( T ) ) ] , α ( 0 ) > α ( σ ( T ) ) ,
r ̄ β ( t ) = 0 , β ( 0 ) β ( σ ( T ) ) , m ( t ) [ σ ( T ) - σ ( t ) ] + 1 σ ( T ) [ β ( σ ( T ) ) - β ( 0 ) ] , β ( 0 ) < β ( σ ( T ) ) ,
d ̄ β k = 0 , β ( 0 ) β ( σ ( T ) ) , L k [ σ ( T ) - t k ] σ ( T ) [ β ( σ ( T ) ) - β ( 0 ) ] , β ( 0 ) < β ( σ ( T ) ) ,

that is, α(t) and β(t) are lower and upper solutions of PBV P (1.3), respectively;

(G2) f (t, x):T × RR is rd - continuous at the first variable and continuous at the second variable such that

f ( t , y σ ( t ) ) - f ( t , x σ ( t ) ) [ p ( t ) + m ( t ) ] ( y σ ( t ) - x σ ( t ) ) ,

for β(t) ≤ x(t) ≤ y(t) ≤ α(t);

(G3) I k C(R, R) satisfies

I k ( y ( t k ) ) - I k ( x ( t k ) ) L k ( y ( t k ) - x ( t k ) )

for β(t) ≤ x(t k ) ≤ y(t k ) ≤ α(t), k = 1, 2, ..., q, 0 ≤ L k < 1;

(G4) There exists m(t) satisfying 1 -μ(t)m(t) > 0 and

k = 1 q ( 1 + L k ) e - m ( σ ( T ) , 0 ) > 1 , 1 | e - m ( σ ( T ) , 0 ) - 1 | k = 1 q L k < 1 .

Then, there exist monotone sequences α n (t) and β n (t) with α0 = α, β0 = β such that

lim n β n ( t ) = y * ( t ) , lim n α n ( t ) = y * ( t ) ,

uniformly on J, and y * (t), y*(t) are the minimal and maximal solutions of PBV P (1.3) such that y * yy*, where y is any solution of PBV P (1.3) satisfying βyα on J.

Proof. Setting h(t) = f(t, ησ (t)) -[m(t) + p(t)] ησ (t), t J, by using Lemma 4.1 and Lemma 4.2 coupled with the monotone iterative technique, we can prove this result by imitating the proof of Theorem 3.1. □

5. Examples

In this section, we provide two examples to illustrate the feasibility and applicability of our obtained results. Under the case of lower and upper solutions with reverse-order, the first one is devoted to the existence of extremal solutions to PBVP (5.1) on a time scale defined as the real numbers set, and in the second one, the existence of extremal solutions to PBVP (5.5) on a time scale defined as a sequence of discrete points union a closed real interval is guaranteed.

Example 5.1. Let T = R and consider the following periodic boundary value problem

y Δ ( t ) = sin y ( t ) - 4 y ( t ) + e t , t [ 0 , 1 3 ] T , t 1 5 , Δ y ( 1 5 ) = 1 30 , y ( 0 ) = y ( 1 3 ) .
(5.1)

In this case, when xy, x, y R, we have

f ( t , y ) - f ( t , x ) = sin y - sin x - 4 ( y - x ) 3 ( y - x ) , for all  t [ 0 , 1 3 ] ,
(5.2)

then, the condition (G2) is satisfied for m(t) = 3.

Taking L 1 = 1 3 to verify (G4), it is easy to check that,

1 1 - e - m ( σ ( T ) , 0 ) k = 1 m L k = e 3 ( e - 1 ) < 1 , k = 1 m ( 1 + L k ) e - m ( σ ( T ) , 0 ) = 4 3 e > 1 .
(5.3)

It follows that the condition (G4) is valid.

Since I k = 1 30 , this together with L 1 = 1 3 guarantees that the condition (G3) holds.

Let

α ( t ) = e t - π 10 , β ( t ) = 0 . 46 , t [ 0 , 1 5 ] , 0 . 5 , t ( 1 5 , 1 3 ] .

Due to the fact that α ( 0 ) <α ( 1 3 ) , then r ̄ α = d ̄ α =0.

f ( t , α ( t ) ) - α Δ ( t ) = sin ( e t - π 10 ) + 4 ( e t - π 10 ) , min t [ 0 , 1 3 ] f ( t , α ( t ) ) - α Δ ( t ) = sin ( 1 - π 10 ) + 4 ( 1 - π 10 ) > 0 .
(5.4)

Then, we have

α Δ ( t ) f ( t , α ( t ) ) - r ̄ α ( t ) , t [ 0 , 1 3 ] ,

and

Δ α ( 1 5 ) = 0 1 30 ,

it follows that α is a lower solution of PBVP (5.1).

On the other hand, β ( 0 ) =0.46<0.50=β ( 1 3 ) , then r ̄ β =0.24-0.36t, d ̄ β = 2 375 . By virtue of βΔ(t) = 0 for t [ 0 , 1 3 ] \ { 1 5 } , it follows that

f ( t , β ( t ) ) + r ̄ β = sin ( 0 . 46 ) - 4 × 0 . 46 + e t + 0 . 24 - 0 . 36 t - 0 . 00664913 < 0 , t [ 0 , 1 5 ) , f ( t , β ( t ) ) + r ̄ β = sin ( 0 . 5 ) - 4 × 0 . 5 + e t + 0 . 24 - 0 . 36 t - 0 . 00496204 < 0 , t ( 1 5 , 1 3 ] ,

and

Δ β ( 1 5 ) = 0 . 04 1 30 + 2 375 ,

which implies that β is an upper solution of PBVP (5.1), and βα for t [ 0 , 1 3 ] . As a result, Theorem 4.1 guarantees there exist monotone sequences that approximate the extremal solutions of PBVP (5.1).

Example 5.2. Consider the following periodic boundary value problem on time scale

x Δ ( t ) - 2 x σ ( t ) = 3 sin x σ ( t ) + e t , t [ 0 , 1 3 ] T , t 1 5 , Δ y ( 1 5 ) = 1 15 , y ( 0 ) = y ( 1 3 ) ,
(5.5)

where T = { 1 5 - ( 1 5 ) N } [ 1 5 , 1 3 ] , N = {1, 2, ...}.

In this case, p(t) = -2, f(t, xσ(t)) = 3 sin xσ(t) + et, t [ 0 , 1 3 ] T, t 1 5 . Since

f ( t , y σ ( t ) ) - f ( t , x σ ( t ) ) = 3 sin y σ ( t ) - 3 sin x σ ( t ) 3 ( y σ ( t ) - x σ ( t ) )
(5.6)

for all xy, x, y R, t [ 0 , 1 3 ] , which shows the condition (G2) is satisfied for m(t) = 3.

Since I k = 1 15 , then the condition (G3) holds naturally.

Taking L 1 = 1 3 to calculate

1 1 - e - m ( σ ( T ) , 0 ) k = 1 m L k = e 3 ( e - 1 ) < 1 , k = 1 m ( 1 + L k ) e - m ( σ ( T ) , 0 ) = 4 3 e > 1 ,
(5.7)

which implies that condition (G4) is true.

Next, we show that

α ( t ) = 0 , β ( t ) = - 0 . 7 , t [ 0 , 1 5 ] T , - 0 . 6 , t ( 1 5 , 1 3 ] T

are a pair of lower and upper solutions of PBVP (5.5) which satisfy βα for all t [ 0 , 1 3 ] T.

we may see that α ( 0 ) <α ( 1 3 ) , thus r ̄ α ( t ) = d ̄ α k =0. Note that αΔ(t) = 0 for Δα ( 1 5 ) =0< 1 15 , α Δ ( t ) = 0 < e t = f ( t , α ( t ) ) - p ( t ) α σ ( t ) - r ̄ α ( t ) and Δα ( 1 5 ) =0< 1 15 , which yields α is a lower solution of PBVP (5.5).

On the other hand, β ( 0 ) =-0.7<-0.6=β ( 1 3 ) implies

r ̄ β ( t ) = 6 - 9 t 10 , t [ 1 5 , 1 3 ] , 114 250 - 9 t 50 , t { 1 5 - ( 1 5 ) N } , d ̄ β k = 1 75 ,

therefore

f ( t , β σ ( t ) ) + r ̄ β ( t ) - p ( t ) β σ ( t ) - β Δ ( t ) = 3 sin ( - 0 . 6 ) - 1 . 2 + e t + 6 - 9 t 10 - 1 . 19831 < 0 , t ( 1 5 , 1 3 ] , f ( t , β σ ( t ) ) + r ̄ β ( t ) - p ( t ) β σ ( t ) - β Δ ( t ) = 3 sin ( - 0 . 7 ) - 1 . 4 + e t + 114 250 - 9 t 50 - 1 . 69125 < 0 , t { 1 5 - ( 1 5 ) N } ,

and

Δ β ( 1 5 ) = 1 10 1 15 + 1 75 .

Consequently, β is an upper solution of PBVP (5.5). In view of Theorem 4.1, there exist monotone sequences that approximate the extremal solutions of PBVP (5.5).

References

  1. Lakshmikantham V, Bainov DD, Simeonov PS: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.

    Chapter  Google Scholar 

  2. Bainov DD, Simeonov PS: Impulsive Differential Equations: Periodic Solutions and Applications. Longman Scientific and Technical, Harlow; 1993.

    Google Scholar 

  3. Ding W, Mi J, Han M: Periodic boundary value problems for the first order impulsive functional differential equations. Appl Math Comput 2005, 165: 433-446. 10.1016/j.amc.2004.06.022

    Article  MATH  MathSciNet  Google Scholar 

  4. Li JL, Shen JH: Periodic boundary value problems for delay differential equations with impulses. J Comput Appl Math 2006, 193: 563-573. 10.1016/j.cam.2005.05.037

    Article  MATH  MathSciNet  Google Scholar 

  5. Aulbach B, Hilger S: Linear dynamical processes with inhomogeneous time scale. In Nonlinear Dynamics and Quantum Dynamical Systems. Akademie, Berlin; 1990.

    Google Scholar 

  6. Geng FJ, Xu YC, Zhu DM: Periodic boundary value problems for first-order impulsive dynamic equations on time scales. Nonlinear Anal 2008, 69: 4074-4087. 10.1016/j.na.2007.10.038

    Article  MATH  MathSciNet  Google Scholar 

  7. Agarwal RP, Bohner M, O'Regan D, Peterson A: Dynamic equations on time scales: a survey. J Comput Appl Math 2002, 141: 1-26. 10.1016/S0377-0427(01)00432-0

    Article  MATH  MathSciNet  Google Scholar 

  8. Lakshmikantham V, Sivasundaram S, Kaymakcalan B: Dynamic Systems on Measure Chains. Kluwer, Dordrecht; 1996.

    Chapter  Google Scholar 

  9. Bohner M, Peterson A: Dynamic equations on time scales: An Introduction with Applications. Birkhäuser, Boston; 2001.

    Chapter  Google Scholar 

  10. Chang YK, Li WT: Existence results for impulsive dynamic equations on time scales with nonlocal initial conditions. Math Comput Model 2006, 43: 377-384. 10.1016/j.mcm.2005.12.015

    Article  MATH  MathSciNet  Google Scholar 

  11. Wang DB: Positive solutions for nonlinear periodic boundary value problems of impulsive dynamic equations on time scales. Comput Math Appl 2008, 56: 1496-1504. 10.1016/j.camwa.2008.02.038

    Article  MATH  MathSciNet  Google Scholar 

  12. Benchohra M, Ntouyas SK, Ouahab A: Extremal solutions of second order impulsive dynamic equations on time scale. J Math Anal Appl 2006, 324: 425-434. 10.1016/j.jmaa.2005.12.028

    Article  MATH  MathSciNet  Google Scholar 

  13. Chen HB, Wang HH: Triple positive solutions for boundary value problem for p-Laplacian impulsive dynamic equations on time scales. Math Comput Model 2008, 47: 917-924. 10.1016/j.mcm.2007.06.012

    Article  MATH  Google Scholar 

  14. He ZM: Existence of two solutions of m-point boundary value problem for second order dynamic equations on time scales. J Math Anal Appl 2004, 296: 97-109. 10.1016/j.jmaa.2004.03.051

    Article  MATH  MathSciNet  Google Scholar 

  15. Song CX, Xiao CT: Positive solutions for p-Laplacian functional dynamic equations on time scales. Nonlinear Anal 2007, 66: 1989-1998. 10.1016/j.na.2006.02.036

    Article  MATH  MathSciNet  Google Scholar 

  16. Sun HR, Li WT: Positive solutions of second-order half-linear dynamic equations on time scales. Appl Math Comput 2004, 158: 331-344. 10.1016/j.amc.2003.08.089

    Article  MATH  MathSciNet  Google Scholar 

  17. Espinar VO, Vivero DR: Existence and approximation of extremal solutions to first-order infinite systems of functional dynamic equations. J Math Anal Appl 2008, 339: 590-597. 10.1016/j.jmaa.2007.06.031

    Article  MATH  MathSciNet  Google Scholar 

  18. Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, New York; 1988.

    Google Scholar 

  19. Avery RI, Chyan CJ, Henderson J: Twin solutions of a boundary value problems for ordinary differential equations and finite difference equations. Comput Math Appl 2001, 42: 695-704. 10.1016/S0898-1221(01)00188-2

    Article  MATH  MathSciNet  Google Scholar 

  20. Zhu CX: Research on some problems for nonlinear operators. Nonlinear Anal 2009, 71: 568-4571.

    Google Scholar 

  21. Zhu CX, Chen CF: Calculations of random fixed point index. J Math Anal Appl 2008, 339: 839-844. 10.1016/j.jmaa.2007.07.040

    Article  MATH  MathSciNet  Google Scholar 

  22. Zhu CX, Yin JD: Calculations of a random fixed point index of a random semi-closed 1-set-contractive operator. Math Comput Model 2010, 51: 1135-1139. 10.1016/j.mcm.2009.12.023

    Article  MATH  MathSciNet  Google Scholar 

  23. He ZM, Zhang XM: Monotone iterative technique for first order impulsive difference equations with periodic boundary conditions. Appl Math Comput 2004, 156: 605-620. 10.1016/j.amc.2003.08.013

    Article  MATH  MathSciNet  Google Scholar 

  24. Wang WB, Yang XX, Shen JH: Boundary value problems involving upper and lower solutions in reverse order. J Comput Appl Math 2009, 230: 1-7. 10.1016/j.cam.2008.10.040

    Article  MATH  MathSciNet  Google Scholar 

  25. Cabada A, Otero-Espinar V, Pouso RL: Existence and approximation of solutions for first-order discontinuous difference equations with nonlinear global conditions in the presence of lower and upper solutions. Comput Math Appl 2000, 39: 21-33. 10.1016/S0898-1221(99)00310-7

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgement

This work was supported by the National Natural Science Foundation of China(Grant Nos. 11071108, 10761007) and the Provincial Natural Science Foundation of Jiangxi, China (Grant Nos. 2010GZS0147, 2007GZS2051).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Chuanxi Zhu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

CZ conceived the main idea of the study, XZ carried out the main parts of the draft. CZ give many valuable suggestions and corrected the main theorems in the discussion. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Zhang, X., Zhu, C. Periodic boundary value problems for fırst order dynamic equations on time scales. Adv Differ Equ 2012, 76 (2012). https://doi.org/10.1186/1687-1847-2012-76

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-76

Keywords