Zhao et al.

Boundary Value Problems (2019) 2019:183

https://doi.org/10.1186/s13661-019-01301-7

RESEARCH Open Access

Basic theory of differential equations

with linear perturbations of second type
on time scales
Yige Zhao1* , Yibing Sun1 , Zhi Liu2 and Zhanbing Bai3
*
Correspondence:
[email protected] Abstract
1
School of Mathematical Sciences,
University of Jinan, Jinan, P.R. China In this paper, we develop the theory of differential equations with linear perturbations
Full list of author information is of second type on time scales. An existence theorem for differential equations with
available at the end of the article linear perturbations of second type on time scales is given under D-Lipschitz
conditions. Some fundamental differential inequalities on time scales, which are
utilized to investigate the existence of extremal solutions, are also presented. The
comparison principle on differential equations with linear perturbations of second
type on time scales is established. Our results in this paper extend and improve some
well-known results.
MSC: 34N05; 34A12
Keywords: Linear perturbations; Existence; Differential inequalities; Comparison
principle; Time scales

1 Introduction
In this paper, we discuss the following differential equations with linear perturbations of
second type on time scales (in short DETS):


[u(t) – f (t, u(t))] = g(t, u(t)), t ∈ J,
(1)
u(t0 ) = u0 ,

where f , g ∈ Crd (J × R, R).

Let T be a time scale and J = [t0 , t0 + a]T = [t0 , t0 + a] ∩ T be a bounded interval in T for
some t0 , a ∈ R with a > 0. Let Crd (J × R, R) denote the class of rd-continuous functions
f : J × R → R. For the basic definitions and useful lemmas from the theory of calculus on
time scales, one can be referred to [1].
By a solution of DETS (1), we mean a -differentiable function u such that
(i) the function t → u(t) – f (t, u(t)) is -differentiable for each u ∈ R, and
(ii) u satisfies the equations in (1).
The theory of time scales has drawn a lot of attention since 1988 (see [1–9]). In recent
years, the theory of nonlinear differential equations with linear perturbations has been a
hot research topic, see [9–15]. Dhage and Jadhav [12] discussed the following first order

© The Author(s) 2019. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License
(http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, pro-
vided 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.
Zhao et al. Boundary Value Problems (2019) 2019:183 Page 2 of 13

hybrid differential equation with linear perturbations of second type:


d
dt
[x(t) – f (t, x(t))] = g(t, x(t)), t ∈ [t0 , t0 + a],
x(t0 ) = x0 ∈ R,

where [t0 , t0 + a] is a bounded interval in R for some t0 , a ∈ R with a > 0, and f , g ∈

C([t0 , t0 + a] × R, R). They developed the theory of hybrid differential equations with linear
perturbations of second type and gave some original and interesting results.
As far as we know, there are no results for DETS (1). From the above works, we consider
the theory of DETS (1). An existence theorem for DETS (1) is given under D-Lipschitz
conditions. Some fundamental differential inequalities on time scales (in short DITS),
which are utilized to investigate the existence of extremal solutions, are also presented.
The comparison principle on DETS (1) is established. Our results in this paper extend
and improve some well-known results.
The paper is organized as follows: Sect. 2 gives an existence theorem for DETS (1) un-
der D-Lipschitz conditions by the fixed point theorem in Banach algebra due to Dhage.
Section 3 establishes some fundamental DITS to strict inequalities for DETS (1). Section 4
presents existence results of maximal and minimal solutions for HDTS. Section 5 proves
the comparison principle for DETS (1), which is followed by the conclusion in Sect. 6.

2 Existence result
In this section, we discuss the existence results for DETS (1). We place DETS (1) in the
space Crd (J, R) of rd-continuous functions defined on J.  ·  denotes a supremum norm
in Crd (J, R) by
 
u = supu(t).
t∈J

Clearly Crd (J, R) is a Banach algebra with respect to the above norm. L1 (J, R) denotes the
space of Lebesgue -integrable functions on J equipped with the norm  · L1 defined by
 t0 +a  
uL1 = u(s)s.
t0

Some definitions and lemmas that will be used in our main results are given in what
follows.

Definition 2.1 ([12]) A mapping ϕ : R+ → R+ is called a dominating function or, in

short, D-function if it is an upper semi-continuous and nondecreasing function satisfying
ϕ(0) = 0. A mapping T : P → P is called D-Lipschitz if there is a D-function ϕ : R+ → R+
satisfying

 
Tu – Tv ≤ ϕ u – v

for all u, v ∈ P. The function ϕ is called a D-function of Q on P. If ϕ(t) = lt, l > 0, then T
is called Lipschitz with the Lipschitz constant l. In particular, if l < 1, then T is called a
contraction on X with the contraction constant l. Furthermore, if ϕ(t) < t for t > 0, then T
is called nonlinear D-contraction and the function ϕ is called D-function of T on X.
Zhao et al. Boundary Value Problems (2019) 2019:183 Page 3 of 13

The details of different types of contractions appear in the monographs of Dhage [16]
and Granas and Dugundji [17]. There do exist D-functions, and the commonly used D-
t
functions are ϕ(t) = lt and ϕ(t) = 1+t . These D-functions have been widely used in the
theory of nonlinear differential and integral equations for proving the existence results
via fixed point methods.
Another notion that we need in the sequel is the following definition.

Definition 2.2 ([12]) An operator T on a Banach space P mapping into itself is called
compact if T(P) is a relatively compact subset of P. T is called totally bounded if, for any
bounded subset Q of P, T(Q) is a relatively compact subset of P. If T is continuous and
totally bounded, then it is called completely continuous on P.

The following fixed point theorem in Banach algebra due to Dhage [16] is useful in the
proofs of our main results.

Lemma 2.1 ([16]) Let Q be a closed convex and bounded subset of the Banach space P,
and let A : P → P and B : Q → P be two operators such that
(a) A is a nonlinear D-contraction,
(b) B is compact and continuous, and
(c) u = Au + Bv for all v ∈ Q ⇒ u ∈ Q.
Then the operator equation Au + Bu = u has a solution in Q.

We present the following hypotheses:

(A0 ) The function u → u – f (t, u) is increasing in R for all t ∈ J.
(A1 ) There exists a constant L > 0 such that

  L|u – v|
f (t, u) – f (t, v) ≤
M + |u – v|

for all t ∈ J and u, v ∈ R. Moreover, L ≤ M.

(A2 ) There exists a function h ∈ L1 (J, R) such that
 
g(t, u) ≤ h(t), t∈J

for all u ∈ R.

Lemma 2.2 Suppose that (A0 ) holds. Then, for any v ∈ L1 (J, R), the -differentiable func-
tion u is a solution of the DETS
  
u(t) – f t, u(t) = v(t), t ∈ J, (2)

and

u(t0 ) = u0 ∈ R, (3)

if and only if u satisfies the integral equation


  t
u(t) = u0 – f (t0 , u0 ) + f t, u(t) + v(s)s, t ∈ J. (4)
t0
Zhao et al. Boundary Value Problems (2019) 2019:183 Page 4 of 13

Proof Let u be a solution of problem (2) and (3). Applying -integral to (2) from t0 to t,
we obtain

     t
u(t) – f t, u(t) – u0 – f (t0 , u0 ) = v(s)s,
t0

i.e.,

  t
u(t) = u0 – f (t0 , u0 ) + f t, u(t) + v(s)s, t ∈ J.
t0

Thus, (4) holds.

Conversely, suppose that u satisfies equation (4). By direct differentiation and applying
-derivative on both sides of (4), then (2) is satisfied. Thus, substituting t = t0 in (4) implies

 
u(t0 ) – f t0 , u(t0 ) = u0 – f (t0 , u0 ).

Since the map u → u–f (t, u) is increasing in R for t ∈ J, the map u → u–f (t0 , u) is injective
in R and u(t0 ) = u0 . Hence, (3) also holds. 

Now we will give the following existence theorem for DETS (1).

Theorem 2.1 Suppose that (A0 )–(A2 ) hold. Then DETS (1) has a solution defined on J.

Proof Set U = Crd (J, R) and define a subset S of U by

S = u ∈ U|u ≤ N ,

where N = |u0 – f (t0 , u0 )| + L + F0 + hL1 , and F0 = supt∈J |f (t, 0)|.

Clearly, S is a closed, convex, and bounded subset of the Banach space U. By Lemma 2.2,
DETS (1) is equivalent to the nonlinear integral equation

  t  
u(t) = u0 – f (t0 , u0 ) + f t, u(t) + g s, u(s) s, t ∈ J. (5)
t0

Define two operators A : U → U and B : S → U by

 
Au(t) = f t, u(t) , t ∈ J, (6)

and
 t  
Bu(t) = u0 – f (t0 , u0 ) + g s, u(s) s, t ∈ J. (7)
t0

Then equation (5) is transformed into the operator equation as follows:

Au(t) + Bu(t) = u(t), t ∈ J.

Next, we prove that the operators A and B satisfy all the conditions of Lemma 2.1.
Zhao et al. Boundary Value Problems (2019) 2019:183 Page 5 of 13

Firstly, we prove that A is a nonlinear D-contraction on U with a D-function ϕ. Let

u, v ∈ U. Then, by (A1 ),

       L|u(t) – v(t)| Lu – v

Au(t) – Av(t) = f t, u(t) – f t, v(t)  ≤ ≤
M + |u(t) – v(t)| M + u – v

for all t ∈ J. Taking supremum over t, we have

Lu – v
Au – Av ≤
M + u – v

for all u, v ∈ U. This shows that A is a nonlinear D-contraction on U with a D-function

Lt
ϕ defined by ϕ(t) = M+t .
Next, we prove that B is a compact and continuous operator on S into U. Firstly, we
prove that B is continuous on S. Let {un } be a sequence in S converging to a point u ∈ S.
Then, by Lebesgue dominated convergence theorem adapted to time scales, we have
  t 
 
lim Bun (t) = lim u0 – f (t0 , u0 ) + g s, un (s) s
n→∞ n→∞ t0
 t  
= u0 – f (t0 , u0 ) + lim g s, un (s) s
n→∞ t
0
 t
 
= u0 – f (t0 , u0 ) + lim g s, un (s) s
t0 n→∞
 t  
= u0 – f (t0 , u0 ) + g s, u(s) s
t0

= Bu(t)

for all t ∈ J. This shows that B is a continuous operator on S.

Next we prove that B is a compact operator on S. It is enough to show that B(S) is a
uniformly bounded and equicontinuous set in U. On the one hand, let u ∈ S be arbitrary.
Then, by (A2 ),
  t 
     
Bu(t) = u0 – f (t0 , u0 ) + g s, u(s) s 
 
t0

  t  
≤ u0 – f (t0 , u0 ) + g s, u(s) s
t0

  t
≤ u0 – f (t0 , u0 ) + h(s)s
t0
 
≤ u0 – f (t0 , u0 ) + hL1

for all t ∈ J. Taking supremum over t,

 
Bu ≤ u0 – f (t0 , u0 ) + hL1

for all u ∈ S. This shows that B is uniformly bounded on S.

Zhao et al. Boundary Value Problems (2019) 2019:183 Page 6 of 13

On the other hand, let t1 , t2 ∈ J. Then, for any u ∈ S, we get

  
   t1   t2   
Bu(t1 ) – Bu(t2 ) =  g s, u(s) s – g s, u(s) s

t0 t0
 t1 
    
≤  g s, u(s) s

t2
 t1 
 
≤  h(s)s
t2
 
= p(t1 ) – p(t2 ),

t
where p(t) = t0 h(s)s. Since the function p is continuous on compact J, it is uniformly
continuous. Hence, for ε > 0, there exists δ > 0 such that
 
|t1 – t2 | < δ ⇒ Bu(t1 ) – Bu(t2 ) < ε

for all t1 , t2 ∈ J and u ∈ S. This shows that B(S) is an equicontinuous set in U. Now the set
B(S) is a uniformly bounded and equicontinuous set in U, so it is compact by the Arzela–
Ascoli theorem. As a result, B is a complete continuous operator on S.
Next, we show that (c) of Lemma 2.1 is satisfied. Let u ∈ U and v ∈ S be arbitrary such
that u = Au + Bv. Then, by assumption (A1 ), we have
     
u(t) ≤ Au(t) + Bv(t)

     t  
= f t, u(t)  + u0 – f (t0 , u0 ) + g s, v(s) s
t0

      t  
≤ f t, u(t) – f (t, 0) + f (t, 0) + g s, v(s) s
t0

  t
≤ u0 – f (t0 , u0 ) + L + F0 + h(s)s
t0
 
≤ u0 – f (t0 , u0 ) + L + F0 + hL1 .

Taking supremum over t, we get

 
u ≤ u0 – f (t0 , u0 ) + L + F0 + hL1 = N.

This shows that (c) of Lemma 2.1 is satisfied.

Thus, all the conditions of Lemma 2.1 are satisfied, and hence the operator equation
Au + Bu = u has a solution in S. Therefore, DETS (1) has a solution defined on J. 

3 Differential inequalities on time scales

In this section, we establish DITS for DETS (1).

Theorem 3.1 Suppose that (A0 ) holds. Assume that there exist -differentiable functions
v, w such that

    
v(t) – f t, v(t) ≤ g t, v(t) , t ∈ J, (8)
Zhao et al. Boundary Value Problems (2019) 2019:183 Page 7 of 13

and

    
w(t) – f t, w(t) ≥ g t, w(t) , t ∈ J, (9)

one of the inequalities being strict. Then v(t0 ) < w(t0 ) implies

v(t) < w(t) (10)

for all t ∈ J.

Proof Assume that inequality (9) is strict. Suppose that the claim is false. Then there exists
t1 ∈ J, t1 > t0 such that v(t1 ) = w(t1 ) and v(t) < w(t) for t0 ≤ t < t1 .
Define

   
V (t) = v(t) – f t, v(t) and W (t) = w(t) – f t, w(t)

for all t ∈ J. Then we obtain V (t1 ) = W (t1 ) and, by (A0 ), we have V (t) < W (t) for all t < t1 .
By V (t1 ) = W (t1 ), we get

V (t1 + h) – V (t1 ) W (t1 + h) – W (t1 )

>
h h

for sufficiently small h < 0. The above inequality implies that

V  (t1 ) ≥ W  (t1 )

because of (A0 ). Then we obtain

   
g t1 , v(t1 ) ≥ V  (t1 ) ≥ W  (t1 ) > g t1 , w(t1 ) .

This is a contradiction with v(t1 ) = w(t1 ). Hence conclusion (10) is valid. 

The next result is concerned with nonstrict DITS which needs a Lipschitz condition.

Theorem 3.2 Suppose that the conditions of Theorem 3.1 hold with inequalities (8) and
(9). Suppose that there exists a real number K > 0 such that

     
g(t, u1 ) – g(t, u2 ) ≤ K sup u1 (s) – f s, u1 (s) – u2 (s) – f s, u2 (s) , t∈J (11)
t0 ≤s≤t

for all u1 , u2 ∈ R with u1 ≥ u2 . Then v(t0 ) ≤ w(t0 ) implies v(t) ≤ w(t) for all t ∈ J.

Proof Let ε > 0 and a real number K > 0 be given. Define

   
wε (t) – f t, wε (t) = w(t) – f t, w(t) + εe2L(t–t0 ) ,

so that we get

   
wε (t) – f t, wε (t) > w(t) – f t, w(t) ⇒ wε (t) > w(t).
Zhao et al. Boundary Value Problems (2019) 2019:183 Page 8 of 13

Let Wε (t) = wε (t) – f (t, wε (t)) so that W (t) = w(t) – f (t, w(t)) for t ∈ J. By (9), we obtain

 
Wε (t) = W  (t) + 2Kεe2L(t–t0 ) ≥ g t, w(t) + 2Lεe2L(t–t0 ) .

From (11), we have

     
g t, wε (t) – g t, w(t) ≤ K sup Wε (s) – W (s) = Kεe2L(t–t0 )
t0 ≤s≤t

for all t ∈ J, then we obtain

   
Wε (t) ≥ g t, wε (t) – Kεe2L(t–t0 ) + 2Kεe2L(t–t0 ) > g t, wε (t) ,

i.e.,

    
wε (t) – f t, wε (t) > g t, wε (t)

for all t ∈ J. Also, we get wε (t0 ) > w(t0 ) > v(t0 ). Hence, an application of Theorem 3.1 with
w = wε implies that v(t) < wε (t) for all t ∈ J. By the arbitrariness of ε > 0, taking the limits
as ε → 0, we have v(t) ≤ w(t) for all t ∈ J. 

4 Existence of maximal and minimal solutions

In this section, we give the existence of maximal and minimal solutions for DETS (1) on
J = [t0 , t0 + a]T .

Definition 4.1 A solution r of DETS (1) is said to be maximal if, for any other solution u
to DETS (1), one has u(t) ≤ r(t) for all t ∈ J. Similarly, a solution ρ of DETS (1) is said to
be minimal if ρ(t) ≤ u(t) for all t ∈ J, where u is any solution of DETS (1) on J.

We discuss the case of maximal solution only. Similarly, the case of minimal solution can
be obtained with the same arguments with appropriate modifications. Given an arbitrarily
small real number ε > 0, discuss the following initial value problem of DETS:

[u(t) – f (t, u(t))] = g(t, u(t)) + ε, t ∈ J,
(12)
u(t0 ) = u0 + ε,

where f , g ∈ Crd (J × R, R).

An existence theorem for DETS (12) can be stated as follows.

Theorem 4.1 Suppose that (A0 )–(A2 ) hold. Then, for every small number ε > 0, DETS (12)
has a solution defined on J.

Proof The proof is similar to that of Theorem 2.1, and we omit the proofs. 

Our main existence theorem for maximal solution for DETS (1) is as follows.

Theorem 4.2 Suppose that (A0 )–(A2 ) hold. Then DETS (1) has a maximal solution de-
fined on J.
Zhao et al. Boundary Value Problems (2019) 2019:183 Page 9 of 13

Proof Let {εn }∞

0 be a decreasing sequence of positive real numbers such that
limn→∞ εn = 0. Then, for any solution x of DETS (1), by Theorem 4.1, we get

x(t) < r(t, εn )

for all t ∈ J and n ∈ N ∪ {0}, where r(t, εn ) defined on J is a solution of the DETS

[u(t) – f (t, u(t))] = g(t, u(t)) + εn , t ∈ J,
(13)
u(t0 ) = u0 + εn .

By Theorem 3.2, {r(t, εn )} is a decreasing sequence of positive real numbers, the limit

r(t) = lim r(t, εn ) (14)

n→∞

exists. We prove that the convergence in (14) is uniform on J. Next, we show that the
sequence {r(t, εn )} is equicontinuous in Crd (J, R). Let t1 , t2 ∈ J with t1 < t2 be arbitrary.
Then we have
 
r(t1 , εn ) – r(t2 , εn )
 
   t1  
= u0 + εn – f (t0 , u0 + εn ) + f t1 , r(t1 , εn ) + g s, r(s, εn ) s
t0
 
t1  
+ εn s – u0 + εn – f (t0 , u0 + εn ) + f t2 , r(t2 , εn )
t0
  
t2   t2 
+ g s, r(s, εn ) s + εn s 
t0 t0

      t1  

≤ f t1 , r(t1 , εn ) – f t2 , r(t2 , εn ) + 
 g s, r(s, εn ) s
t0
    
t2     t1 t2 
– g s, r(s, εn ) s +  εn s – εn s
t0 t0 t0
   
      t2     t2 
 
= f t1 , r(t1 , εn ) – f t2 , r(t2 , εn ) +    
g s, r(s, εn ) s +  εn s
t1 t1
 t2 
      
≤ f t1 , r(t1 , εn ) – f t2 , r(t2 , εn )  +  h(s)s + |t1 – t2 |εn
t1
      
≤ f t1 , r(t1 , εn ) – f t2 , r(t2 , εn )  + p(t1 ) – p(t2 ) + |t1 – t2 |εn ,
t
where p(t) = t0 h(s)s.
Since f is continuous on a compact set J × [–N, N], it is uniformly continuous there.
Hence,
    
f t1 , r(t1 , εn ) – f t2 , r(t2 , εn )  → 0 as t1 → t2

uniformly for all n ∈ N. Similarly, since the function p is continuous on a compact set J, it
is uniformly continuous and hence
 
p(t1 ) – p(t2 ) → 0 as t1 → t2 .
Zhao et al. Boundary Value Problems (2019) 2019:183 Page 10 of 13

Therefore, we obtain
 
r(t1 , εn ) – r(t2 , εn ) → 0 as t1 → t2

uniformly for all n ∈ N. Therefore,

r(t, εn ) → r(t) as n → ∞

for all t ∈ J.
Next, we prove that the function r(t) is a solution of DETS (1) defined on J. Since r(t, εn )
is a solution of DETS (13), we get
 
  t   t
r(t, εn ) = u0 + εn – f (t0 , u0 + εn ) + f t, r(t, εn ) + g s, r(s, εn ) s + εn s (15)
t0 t0

for all t ∈ J. Taking the limit as n → ∞ in equation (15) implies


  t  
r(t) = u0 – f (t0 , u0 ) + f t, r(t) + g s, r(s) s
t0

for all t ∈ J. Thus, the function r is a solution of DETS (1) on J. Finally, from inequality
(13), it follows that x(t) ≤ r(t) for all t ∈ J. Hence, DETS (1) has a maximal solution on J. 

5 Comparison theorems on time scales

The main problem of the DITS is to estimate a bound for the solution set for the DITS
related to DETS (1). In this section, we present the maximal and minimal solutions serve
as bounds for the solutions of the related DITS to DETS (1) on J = [t0 , t0 + a]T .

Theorem 5.1 Suppose that (A0 )–(A2 ) hold. Assume that there exists a -differentiable
function u such that

[x(t) – f (t, x(t))] ≤ g(t, x(t)), t ∈ J,
(16)
x(t0 ) ≤ u0 .

Then

x(t) ≤ r(t) (17)

for all t ∈ J, where r is a maximal solution of DETS (1) on J.

Proof Let ε > 0 be arbitrarily small. From Theorem 4.2, r(t, ε) is a maximal solution of
DETS (12) and the limit

r(t) = lim r(t, ε) (18)

ε→0

is uniform on J, and the function r is a maximal solution of DETS (1) on J. Hence, we have

[r(t, ε) – f (t, r(t, ε))] = g(t, r(t, ε)) + ε, t ∈ J,
r(t0 , ε) = u0 + ε.
Zhao et al. Boundary Value Problems (2019) 2019:183 Page 11 of 13

The above inequality implies that


[r(t, ε) – f (t, r(t, ε))] > g(t, r(t, ε)), t ∈ J,
(19)
r(t0 , ε) > u0 .

Now, we apply Theorem 3.2 to inequalities (16) and (19) and conclude that x(t) < r(t, ε)
for all t ∈ J. Thus, (18) implies that inequality (17) holds on J. 

Theorem 5.2 Suppose that (A0 )–(A2 ) hold. Assume that there exists a -differentiable
function u such that

[y(t) – f (t, y(t))] ≥ g(t, y(t)), t ∈ J,
y(t0 ) ≥ u0 .

Then

ρ(t) ≤ y(t)

for all t ∈ J, where ρ is a minimal solution of DETS (1) on J.

Note that Theorem 5.1 is useful to prove the boundedness and uniqueness of the solu-
tions for DETS (1) on J. We have the following result.

Theorem 5.3 Suppose that (A0 )–(A2 ) hold. Assume that there exists a function G :
J × R+ → R+ such that
    
g(t, u1 ) – g(t, u2 ) ≤ G t, u1 – f (t, u1 ) – u2 – f (t, u2 ) , t∈J

for all u1 , u2 ∈ R with u1 ≥ u2 . If an identically zero function is the only solution of the
differential equation
 
m (t) = G t, m(t) , t ∈ J, m(t0 ) = 0, (20)

then DETS (1) has a unique solution on J.

Proof From Theorem 2.1, DETS (1) has a solution defined on J. Suppose that there are
two solutions x1 and x2 of DETS (1) existing on J with x1 > x2 . Define m : J → R+ by
     
m(t) = x1 (t) – f t, x1 (t) – x2 (t) – f t, x2 (t) .

By (A0 ), we conclude that m(t) > 0. Then we obtain

     
m (t) = x1 (t) – f t, x1 (t) – x2 (t) – f t, x2 (t)

= g(t, x1 ) – g(t, x2 )
 
x1 x2  
≤ G t, – = G t, m(t)
f (t, x1 ) f (t, x2 )

for t ∈ J, and that m(t0 ) = 0.

Zhao et al. Boundary Value Problems (2019) 2019:183 Page 12 of 13

Now, we apply Theorem 5.1 with f (t, u) ≡ 0 to get that m(t) ≤ 0 for all t ∈ J, where an
identically zero function is the only solution of DETS (20). m(t) ≤ 0 is a contradiction with
m(t) > 0. Then we have x1 = x2 . 

Remark 5.1 When f ≡ 0 and T = R in our results of this paper, we obtain the differential
inequalities and other related results given in Lakshmikantham and Leela [18] for the IVP
of ordinary nonlinear differential equation

 
u (t) = g t, u(t) , t ∈ [t0 , t0 + a], u(t0 ) = u0 .

Remark 5.2 The main results in this paper extend and improve some well-known results
in [12].

6 Conclusion
In this paper, we have developed the theory of DETS (1). By the fixed point theorem in
Banach algebra due to Dhage, we have presented an existence theorem for DETS (1) under
D-Lipschitz conditions. We have also established some DITS for DETS (1) which are used
to investigate the existence of extremal solutions. The comparison principle on DETS (1)
has been given. Our results in this paper extend and improve some well-known results.

Acknowledgements
The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the
present improved version of the original manuscript.

Funding
This research is supported by the National Natural Science Foundation of China (61703180, 61803176, 61877028,
61807015, 61773010), the Natural Science Foundation of Shandong Province (ZR2019MF032, ZR2017BA010), the Project
of Shandong Province Higher Educational Science and Technology Program (J18KA230, J17KA157), and the Scientific
Research Foundation of University of Jinan (1008399, 160100101).

Availability of data and materials

Not applicable.

Competing interests
The authors declare that they have no competing interests.

Authors’ contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and
approved the final manuscript.

Author details
1
School of Mathematical Sciences, University of Jinan, Jinan, P.R. China. 2 School of Automation and Electrical
Engineering, Key Laboratory of Complex systems and Intelligent Computing in Universities of Shandong, Linyi University,
Linyi, P.R. China. 3 College of Mathematics and System Science, Shandong University of Science and Technology, Qingdao,
P.R. China.

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

Received: 5 April 2019 Accepted: 3 October 2019

References
1. Hilger, S.: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results Math. 18,
18–56 (1990)
2. Agarwal, R.P., Bohner, M., Li, T.: Oscillatory behavior of second-order half-linear damped dynamic equations. Appl.
Math. Comput. 254, 408–418 (2015)
3. Bohner, M., Hassan, T.S., Li, T.: Fite–Hille–Wintner-type oscillation criteria for second-order half-linear dynamic
equations with deviating arguments. Indag. Math. 29, 548–560 (2018)
4. Bohner, M., Li, T.: Kamenev-type criteria for nonlinear damped dynamic equations. Sci. China Math. 58, 1445–1452
(2015)
Zhao et al. Boundary Value Problems (2019) 2019:183 Page 13 of 13

5. Sheng, K., Zhang, W., Bai, Z.: Positive solutions to fractional boundary value problems with p-Laplacian on time scales.
Bound. Value Probl. 2018, Article ID 70 (2018)
6. Agarwal, R.P., Bohner, M., Li, T., et al.: Oscillation criteria for second-order dynamic equations on time scales. Appl.
Math. Lett. 31, 34–40 (2014)
7. Li, T., Saker, S.H.: A note on oscillation criteria for second-order neutral dynamic equations on isolated time scales.
Commun. Nonlinear Sci. Numer. Simul. 19, 4185–4188 (2014)
8. Zhang, C., Agarwal, R.P., Bohner, M., et al.: Oscillation of fourth-order delay dynamic equations. Sci. China Math. 58,
143–160 (2015)
9. Zhao, Y., Sun, Y., Liu, Z., et al.: Basic theory of differential equations with mixed perturbations of the second type on
time scales. Adv. Differ. Equ. 2019, Article ID 268 (2019)
10. Lu, H., Sun, S., Yang, D., et al.: Theory of fractional hybrid differential equations with linear perturbations of second
type. Bound. Value Probl. 2013, Article ID 23 (2013)
11. Sitho, S., Ntouyas, S.K., Tariboon, J.: Existence results for hybrid fractional integro-differential equations. Bound. Value
Probl. 2015, Article ID 113 (2015)
12. Dhage, B.C., Jadhav, N.S.: Basic results in the theory of hybrid differential equations with linear perturbations of
second type. Tamkang J. Math. 44, 171–186 (2013)
13. Zhao, Y., Sun, S., Han, Z., et al.: Theory of fractional hybrid differential equations. Comput. Math. Appl. 62, 1312–1324
(2011)
14. Zhao, Y., Hou, X., Sun, Y., et al.: Solvability for some class of multi-order nonlinear fractional systems. Adv. Differ. Equ.
2019, Article ID 23 (2019)
15. Sun, S., Zhao, Y., Han, Z., et al.: The existence of solutions for boundary value problem of fractional hybrid differential
equations. Commun. Nonlinear Sci. Numer. Simul. 17, 4961–4967 (2012)
16. Dhage, B.C.: A fixed point theorem in Banach algebras with applications to functional integral equations. Kyungpook
Math. J. 44, 145–155 (2004)
17. Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)
18. Lakshmikantham, V., Leela, S.: Differential and Integral Inequalities. Academic Press, New York (1969)