- Research
- Open access
- Published:
Basic theory of differential equations with mixed perturbations of the second type on time scales
Advances in Difference Equations volume 2019, Article number: 268 (2019)
Abstract
In this paper, we develop the theory of differential equations with mixed perturbations of the second type on time scales. We give an existence theorem for differential equations with mixed perturbations of the second type on time scales under Lipschitz condition. We also present some fundamental differential inequalities on time scales, which are utilized to investigate the existence of extremal solutions. We establish the comparison principle for differential equations with mixed perturbations of the second type on time scales. Our results in this paper extend and improve some well-known results.
1 Introduction
In this paper, we discuss the following differential equations with mixed perturbations of the second type on time scales (DETS):
where \(f\in C_{\mathrm{rd}}(J\times \mathbb{R},\mathbb{R}\setminus \{0 \})\) and \(k,g\in C_{\mathrm{rd}}(J\times \mathbb{R},\mathbb{R})\).
Let \(\mathbb{T}\) be a time scale, and let \(J=[t_{0},t_{0} +a]_{ \mathbb{T}}=[t_{0},t_{0} +a]\cap \mathbb{T}\) be a bounded interval in \(\mathbb{T}\) for some \(t_{0}\in \mathbb{R}\) and \(a>0\). We denote by \(C_{\mathrm{rd}}(J\times \mathbb{R},\mathbb{R})\) the class of rd-continuous functions \(g: J\times \mathbb{R}\to \mathbb{R}\). For basic definitions and useful lemmas from the theory of calculus on time scales, we refer to [1].
By a solution of the DETS (1) we mean a Δ-differentiable function u such that
-
(i)
the function \(t\mapsto {\frac{u-k(t,u)}{f(t,u)}}\) is Δ-differentiable for each \(u\in \mathbb{R}\), and
-
(ii)
u satisfies equations (1).
The theory of time scales has been drawn a lot of attention since 1988 (see [1,2,3,4,5,6,7,8,9]). In recent years the theory of nonlinear differential equations with perturbations has been a hot research topic; see [10,11,12,13,14,15]. Dhage [13] discussed the following first-order hybrid differential equation with mixed perturbations of the second type:
where \([t_{0},t_{0}+a]\) is a bounded interval in \(\mathbb{R}\) for some \(t_{0}\in \mathbb{R}\) and \(a>0\), \(f\in C([t_{0},t_{0}+a]\times \mathbb{R},\mathbb{R}\setminus \{0\})\), and \(k, g\in C([t_{0},t_{0}+a] \times \mathbb{R},\mathbb{R})\). They developed the theory of hybrid differential equations with mixed perturbations of the second type and gave some original and interesting results.
As far as we know, there are no results for the DETS (1). From the works mentioned we consider the theory of DETS (1). We give an existence theorem for the DETS (1) under Lipschitz conditions. We also present some fundamental differential inequalities on time scales (DITS), which are utilized to investigate the existence of extremal solutions. We establish the comparison principle for the DETS (1). Our results in this paper extend and improve some well-known results.
The paper is organized as follows. In Sect. 2, we give an existence theorem for the DETS (1) under Lipschitz conditions by the fixed point theorem in Banach algebra due to Dhage. In Sect. 3, we establish some fundamental DITS to strict inequalities for the DETS (1). In Sect. 4, we present existence results of maximal and minimal solutions for HDTS. In Sect. 5, we prove the comparison principle for the DETS (1), which is followed by the conclusion in Sect. 6.
2 Existence result
In this section, we discuss the existence results for the DETS (1). We place the DETS (1) in the space \(C_{ \mathrm{rd}}(J, \mathbb{R})\) of rd-continuous functions defined on J with the supremum norm \(\|\cdot \|\) defined as
and the multiplication “⋅” in \(C_{\mathrm{rd}}(J, \mathbb{R})\) defined as
for \(u, v\in C_{\mathrm{rd}}(J, \mathbb{R})\). Clearly, \(C_{ \mathrm{rd}}(J,\mathbb{R})\) is a Banach algebra with respect to these norm and multiplication. By \(L^{1} (J,\mathbb{R})\) we denote the space of Lebesgue Δ-integrable functions on J equipped with the norm \(\|\cdot \|_{L^{1}}\) defined as
The following fixed point theorem in a 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 bounded subset of a Banach space P, and let \(A, C: P\to P\) and \(B: Q\to P\) be three operators such that
-
(a)
A and C are Lipschitz with Lipschitz constants α and β, respectively,
-
(b)
B is compact and continuous,
-
(c)
\(u=AuBv+Cu\) for all \(v\in Q\Rightarrow u\in Q\), and
-
(d)
\(\alpha M+\beta <1\), where \(M=\|B(Q)\|=\sup \{\|B(u)\|: u \in Q\}\).
Then the operator equation \(AuBu+Cu=u\) has a solution in Q.
We present the following hypotheses.
- \((A_{0})\) :
-
The function \(u\mapsto \frac{u-k(t,u)}{f(t,u)}\) is increasing in \(\mathbb{R}\) for all \(t\in J\).
- \((A_{1})\) :
-
There exist constants \(L_{1}>0\) and \(L_{2}>0\) such that
$$ \bigl\vert f(t,u)-f(t,v) \bigr\vert \leq L_{1} \vert u-v \vert $$and
$$ \bigl\vert k(t,u)-k(t,v) \bigr\vert \leq L_{2} \vert u-v \vert $$for all \(t\in J\) and \(u, v\in \mathbb{R}\). Moreover, \(L\leq M\).
- \((A_{2})\) :
-
There exists a function \(h\in L^{1}(J, \mathbb{R})\) such that
$$ \bigl\vert g(t,u) \bigr\vert \leq h(t),\quad t\in J, $$for all \(u\in \mathbb{R}\).
Lemma 2.2
Suppose that \((A_{0})\) holds. Then for any \(v\in L^{1}(J, \mathbb{R})\), the Δ-differentiable function u is a solution of the DETS
and
if and only if u satisfies the integral equation
Proof
Let u be a solution of problem (2)–(3). Applying the Δ-integral to (2) from \(t_{0}\) to t, we obtain
that is,
Thus (4) holds.
Conversely, suppose that u satisfies equation (4). By direct differentiation, applying the Δ-derivative to both sides of (4), we get that (2) is satisfied. Thus, substitute \(t=t_{0}\) in (4) implies
Since the map \(u\mapsto \frac{u-k(t,u)}{f(t,u)}\) is increasing in \(\mathbb{R}\) for \(t\in J\), the map \(u\mapsto \frac{u-k(t_{0},u)}{f(t _{0},u)}\) is injective in \(\mathbb{R}\), and \(u(t_{0})=u_{0}\). Hence (3) also holds. □
Now we will give the following existence theorem for the DETS (1).
Theorem 2.1
Suppose that \((A_{0})\)–\((A_{2})\) hold. If
then the DETS (1) has a solution defined on J.
Proof
Set \(U=C_{\mathrm{rd}}(J,\mathbb{R})\) and define the subset S of U by
where
\(F_{0}=\sup_{t\in J}|f(t,0)|\), and \(K_{0}=\sup_{t\in J}|k(t,0)|\).
Clearly, S is a closed, convex, and bounded subset of the Banach space U. By Lemma 2.2 the DETS (1) is equivalent to the nonlinear integral equation
Define three operators \(A, C: U\to U\) and \(B: S\to U\) by
and
Then equation (6) is transformed into the operator equation as
Next, we prove that the operators A, B, and C satisfy all the conditions of Lemma 2.1.
First, we prove that A is a Lipschitz operator on U with Lipschitz constant \(L_{1}\). Let \(u, v\in U\). Then by \((A_{1})\)
for all \(t\in J\). Taking the supremum over t, then we have
for all \(u, v\in U\). This shows that A is a Lipschitz operator on U with Lipschitz constant \(L_{1}\). Similarly, we can get that C is also a Lipschitz operator on U with Lipschitz constant \(L_{2}\).
Next, we prove that B is a compact continuous operator from S into U. First, we prove that B is continuous on S. Let \(\{u_{n}\}\) be a sequence in S converging to a point \(u\in S\). Then by the Lebesgue dominated convergence theorem adapted to time scale we have
for all \(t\in J\). This shows that B is a continuous operator on S.
Next, we prove that B is a compact operator on S. It suffices to show that \(B(S)\) is a uniformly bounded and equicontinuous set in U. Take arbitrary \(u\in S\). Then by \((A_{2})\)
for all \(t\in J\). Taking the supremum over t, we have
for all \(u\in S\). This shows that B is uniformly bounded on S.
On the other hand, let \(t_{1}, t_{2}\in J\). Then for any \(u\in S\), we get
where \(p(t)=\int _{t_{0}}^{t} h(s)\Delta s\). Since the function p is continuous on compact J, it is uniformly continuous. Hence, for \(\varepsilon >0\), there exists \(\delta >0\) such that
for all \(t_{1},t_{2}\in J\) and \(u\in S\). This shows that \(B(S)\) is an equicontinuous set in U. Now the set \(B(S)\) is uniformly bounded and equicontinuous set in U, so it is compact by Arzelà–Ascoli theorem. Thus B is a compact operator on S.
Next, we show that \((c)\) of Lemma 2.1 is satisfied. Let \(u\in U\) and \(v\in S\) be such that \(u=AuBv+Cu\). Then by assumption \((A_{1})\) we have
Thus we get
Taking the supremum over t, we have
This shows that \((c)\) of Lemma 2.1 is satisfied.
Finally, we obtain
and so
Thus all the conditions of Lemma 2.1 are satisfied, and hence the operator equation \(AuBu+Cu=u\) has a solution in S. Therefore the DETS (1) has a solution defined on J. □
3 Differential inequalities on time scales
In this section, we establish DITS for the DETS (1).
Theorem 3.1
Suppose that \((A_{0})\) holds. Assume that there exist Δ-differentiable functions v, w such that
and
one of the inequalities being strict. Then \(v(t_{0})< w(t_{0})\) implies
for all \(t\in J\).
Proof
Assume that inequality (11) is strict. Suppose that the claim is false. Then there exists \(t_{1}\in J\), \(t_{1}>t_{0}\), such that \(v(t_{1})=w(t_{1})\) and \(v(t)< w(t)\) for \(t_{0}\leq t< t_{1}\).
Define
for all \(t\in J\). Then we obtain \(V(t_{1})=W(t_{1})\), and by \((A_{0})\) we have \(V(t)< W(t)\) for all \(t< t_{1}\).
Since \(V(t_{1})=W(t_{1})\), we get
for sufficiently small \(h<0\). This inequality implies that
because of \((A_{0})\). Then we obtain
This is a contradiction with \(v(t_{1})=w(t_{1})\). Hence inequality (12) is valid. □
The next result is concerned with nonstrict DITS, which needs a Lipshitz condition.
Theorem 3.2
Suppose that the conditions of Theorem 3.1 hold with inequalities (10) and (11). Suppose that there exists a real number \(K>0\) such that
for all \(u_{1}, u_{2}\in \mathbb{R}\) with \(u_{1}\geq u_{2}\). Then \(v(t_{0})\leq w(t_{0})\) implies \(v(t)\leq w(t)\) for all \(t\in J\).
Proof
Let \(\varepsilon >0\) and \(K>0\) be given. Define
so that we get
Let \(W_{\varepsilon }(t)=\frac{w_{\varepsilon }(t)-k(t,w_{\varepsilon }(t))}{f(t,w_{\varepsilon }(t))}\), so that \(W(t)= \frac{w(t)-k(t,w(t))}{f(t,w(t))}\) for \(t\in J\). Then by (11) we obtain
Then from (13) we have
for all \(t\in J\), and thus
that is,
for all \(t\in J\). Also, we get \(w_{\varepsilon }(t_{0})>w(t_{0})>v(t _{0})\). Hence Theorem 3.1 with \(w=w_{\varepsilon }\) implies that \(v(t)< w_{\varepsilon }(t)\) for all \(t\in J\). By the arbitrariness of \(\varepsilon >0\), taking the limits as \(\varepsilon \to 0\), we have \(v(t)\leq w(t)\) for all \(t\in J\). □
4 Existence of maximal and minimal solutions
In this section, we prove the existence of maximal and minimal solutions for the DETS (1) on \(J=[t_{0},t_{0}+a]_{\mathbb{T}}\).
Definition 4.1
A solution r of the DETS (1) is said to be maximal if for any other solution u to the DETS (1), we have \(u(t)\leq r(t)\) for all \(t\in J\). Similarly, a solution ρ of the DETS (1) is said to be minimal if \(\rho (t)\leq u(t)\) for all \(t\in J\), where u is any solution of the 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 arbitrary small number \(\varepsilon >0\), we discuss the following initial value problem of DETS:
where \(f\in C_{\mathrm{rd}}(J\times \mathbb{R},\mathbb{R}\setminus \{0 \})\) and \(k, g\in C_{\mathrm{rd}}(J\times \mathbb{R},\mathbb{R})\).
An existence theorem for the DETS (14) can be stated as follows.
Theorem 4.1
Suppose that \((A_{0})\)–\((A_{2})\) and inequality (5) hold. Then for every small number \(\varepsilon >0\), the DETS (14) has a solution defined on J.
Proof
By hypothesis, since
there exists \(\varepsilon _{0}>0\) such that
for all \(0<\varepsilon \leq \varepsilon _{0}\). The rest of the proof is similar to that of Theorem 2.1, and we omit it. □
Our main existence theorem for maximal solution for the DETS (1) is the following:
Theorem 4.2
Suppose that \((A_{0})\)–\((A_{2})\) and inequality (5) hold. Then the DETS (1) has a maximal solution defined on J.
Proof
Let \(\{\varepsilon _{n}\}_{0}^{\infty }\) be a decreasing sequence of positive numbers such that \(\lim_{n\to \infty }\varepsilon _{n}=0\), where \(\varepsilon _{0}\) is a positive number satisfying the inequality
Such a number \(\varepsilon _{0}\) exists in view of inequality (5). Then for any solution x of the DETS (1), by Theorem 4.1 we get
for all \(t\in J\) and \(n\in \mathbb{N}\cup \{0\}\), where \(r(t, \varepsilon _{n})\) defined on J is a solution of the DETS
By Theorem 3.2, \(\{r(t,\varepsilon _{n})\}\) is a decreasing sequence of positive numbers, and thus the limit
exists. We prove that the convergence in (16) is uniform on J. Next, we show that the sequence \(\{r(t,\varepsilon _{n})\}\) is equicontinuous in \(C_{\mathrm{rd}}(J, \mathbb{R})\). Let \(t_{1}, t_{2} \in J\) with \(t_{1}< t_{2}\) be arbitrary. Then we have
where \(F=\sup_{(t,u)\in J\times [-N,N]}|f(t,u)|\) and \(p(t)=\int _{t_{0}}^{t} h(s)\Delta s\).
Since f and k are continuous on the compact set \(J\times [-N, N]\), they are uniformly continuous. Hence
and
uniformly for all \(n\in \mathbb{N}\). Similarly, since the function p is continuous on the compact set J, it is uniformly continuous, and hence
Therefore we obtain
uniformly for all \(n\in \mathbb{N}\). Therefore
for all \(t\in J\).
Next, we prove that the function \(r(t)\) is a solution of the DETS (1) defined on J. Since \(r(t,\varepsilon _{n})\) is a solution of the DETS (15), we get
for all \(t\in J\). Taking the limit as \(n\to \infty \) in (17) implies
for all \(t\in J\). Thus the function r is a solution of the DETS (1) on J. Finally, from inequality (15) it follows that \(x(t)\leq r(t)\) for all \(t\in J\). Hence the 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 the DETS (1). In this section, we present the maximal and minimal solutions serving as bounds for the solutions of the related DITS to the DETS (1) on \(J=[t_{0},t _{0}+a]_{\mathbb{T}}\).
Theorem 5.1
Suppose that \((A_{0})\)–\((A_{2})\) and inequality (5) hold. Assume that there exists a Δ-differentiable function u such that
Then
for all \(t\in J\), where r is a maximal solution of the the DETS (1) on J.
Proof
Let \(\varepsilon >0\) be arbitrarily small. By Theorem 4.2, \(r(t,\varepsilon )\) is a maximal solution of the DETS (14), the limit
is uniform on J, and the function r is a maximal solution of the DETS (1) on J. Hence we have
By the above inequality it implies that
Now, applying Theorem 3.2 to inequalities (18) and (21), we conclude that \(x(t)< r(t,\varepsilon )\) for all \(t \in J\). Thus (20) implies that inequality (19) holds on J. □
Theorem 5.2
Suppose that \((A_{0})\)–\((A_{2})\) and inequality (5) hold. Assume that there exists a Δ-differentiable function u such that
Then
for all \(t\in J\), where ρ is a minimal solution of the DETS (1) on J.
Note that Theorem 5.1 is useful to prove the boundedness and uniqueness of the solutions for the DETS (1) on J. We have a following result.
Theorem 5.3
Suppose that \((A_{0})\)–\((A_{2})\) and inequality (5) hold. Assume that there exists a function \(G: J\times \mathbb{R}^{+}\to \mathbb{R}^{+}\) such that
for all \(u_{1}, u_{2}\in \mathbb{R}\) with \(u_{1}\geq u_{2}\). If the identically zero function is the only solution of the differential equation
then the DETS (1) has a unique solution on J.
Proof
By Theorem 2.1 the DETS (1) has a solution defined on J. Suppose that there are two solutions \(x_{1}\) and \(x_{2}\) of the DETS (1) existing on J with \(x_{1}>x_{2}\). Define \(m: J\to \mathbb{R}^{+}\) by
Since \((|x(t)|)^{\Delta }\leq |x^{\Delta }(t)|\), we obtain that
for \(t\in J\) and \(m(t_{0})=0\).
Now we apply Theorem 5.1 with \(k(t,u)\equiv 0\) and \(f(t,u) \equiv 1\) to get that \(m(t)\leq 0\) for all \(t\in J\), where the identically zero function is the only solution of the DETS (22), which is a contradiction with \(m(t)>0\). This implies
for all \(t\in J\). Then we have \(x_{1}=x_{2}\). □
Remark 5.1
When \(k\equiv 0\), \(f\equiv 1\), and \(\mathbb{T}=\mathbb{R}\) in our results, we obtain the differential inequalities and other related results of Lakshmikantam and Leela [17] for the IVP of ordinary nonlinear differential equation
Remark 5.2
The main results in this paper extend and improve some well-known results in [13] when \(\mathbb{T}= \mathbb{R}\).
6 Conclusion
In this paper, we have developed the theory of the DETS (1). By the fixed point theorem in Banach algebra due to Dhage we have presented an existence theorem for the DETS (1) under Lipschitz conditions. We have also established some DITS for the DETS (1), which are used to investigate the existence of extremal solutions, and the comparison principle for the DETS (1). Our results in this paper extend and improve some well-known results.
References
Hilger, S.: Analysis on measure chains – a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)
Agarwal, R.P., Bohner, M., Li, T.: Oscillatory behavior of second-order half-linear damped dynamic equations. Appl. Math. Comput. 254, 408–418 (2015)
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)
Bohner, M., Li, T.: Kamenev-type criteria for nonlinear damped dynamic equations. Sci. China Math. 58, 1445–1452 (2015)
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)
El-Deeb, A.A., Xu, H., Abdeldaim, A., et al.: Some dynamic inequalities on time scales and their applications. Adv. Differ. Equ. 2019, Article ID 130 (2019)
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)
Chatzarakis, G.E., Li, T.: Oscillation criteria for delay and advanced differential equations with nonmonotone arguments. Complexity 2018, Article ID 8237634 (2018)
Zhang, C., Agarwal, R.P., Bohner, M., et al.: Oscillation of fourth-order delay dynamic equations. Sci. China Math. 58, 143–160 (2015)
Samei, M.E., Hedayati, V., Rezapour, S.: Existence results for a fraction hybrid differential inclusion with Caputo–Hadamard type fractional derivative. Adv. Differ. Equ. 2019, Article ID 163 (2019)
Derbazi, C., Hammouche, H., Benchohra, M., et al.: Fractional hybrid differential equations with three-point boundary hybrid conditions. Adv. Differ. Equ. 2019, Article ID 125 (2019)
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)
Dhage, B.C.: Basic results in the theory of hybrid differential equations with mixed perturbations of second type. Funct. Differ. Equ. 19, 87–106 (2012)
Zhao, Y., Sun, S., Han, Z., et al.: Theory of fractional hybrid differential equations. Comput. Math. Appl. 62, 1312–1324 (2011)
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)
Dhage, B.C.: A fixed point theorem in Banach algebras with applications to functional integral equations. Kyungpook Math. J. 44, 145–155 (2004)
Lakshmikantham, V., Leela, S.: Differential and Integral Inequalities. Academic Press, New York (1969)
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.
Availability of data and materials
Not applicable.
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, ZR2017LF012), the Project of Shandong Province Higher Educational Science and Technology Program (J18KA230, J17KA157), and the Scientific Research Foundation of University of Jinan (1008399, 160100101).
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access 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, provided 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.
About this article
Cite this article
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, 268 (2019). https://doi.org/10.1186/s13662-019-2212-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2212-3