Abstract
The main goal of this paper is to set up some new estimates of a specific class of dynamic integral inequalities (DII) which are partially linear on a time scale \(\mathbb{T}\) with two independent variables. These, from the one hand, sum up and, on the other hand, offer a helpful method for both the qualitative and quantitative study of dynamic equations on time scales. Some applications are taken into consideration to show the validity of the fundamental results.
Similar content being viewed by others
1 Introduction
Differential and integral inequalities have ended up being valuable instruments in investigating the differential and integral equations that are constructed by numerous analysts (see [1–17]). The analysis of the theory of time-scale dynamic equations, which goes back to its author Hilger [18], is a recent field of mathematics that has gained much interest. The trendy thought is to demonstrate an equation for a dynamic circumstance or a dynamic inequality wherein the area of the unknown characteristic is a presumed time scale \(\mathbb{T}\). The justification for considering time scales is to unify continuous and discrete inspection. Among diverse aspects of the concept, we observe that dynamic inequalities increase and unify different views of both difference and differential equations in an anticipated mode; see [19–21] and the references therein. Pachpatte [22] initially unifies the existing fundamental inequality
provided with x, h being right-dense continuous functions, \(x\geq 0\).
After that in 2009, Li [23] achieved an integral inequality of the form
where \(z(u,l)\geq 0\), \(z^{\Delta }(u,l)\geq 0\) for \(r,l\in \mathbb{T}\) and \(l\leq r\). Recently, Sun and Hassan [24] discovered a nonlinear integral inequality related to time scales given by
where \(b, j, h, g, z:\mathbb{T}^{\kappa }\rightarrow \mathbb{R}_{+}\) are rd-continuous functions and \(\xi, \psi \) are positive constants with \(0<\xi <1<\psi \).
During the last couple of years, many researchers have proved a few integral inequalities utilizing dynamic time scale equations [25–29]. In light of the above work, we proceed with our examination to acquire some new two-dimensional integral inequalities that are partially linear on time scales. The obtained results additionally supply a reachable device for the look at qualitative properties of solutions of integral and dynamic equations.
The rest of the paper is composed as follows. In Sect. 2, we describe principal relations and tentative lemmas that are strategic guides for our principle results. The hypothetical discussions with finishing up corollaries and remarks are gathered in Sect. 3. The last section is considered to delineate the uses of the theoretical investigations.
2 Essentials and lemmas on time scales
Without loss of generality, at some point of in this work, let time scales \(T^{\ast }\) and \(T^{\diamond }\) with delta differentiation operators \(\sigma _{1}, \sigma _{2}\) and \(\Delta _{1}, \Delta _{2}\) respectively, contain at least two points \(\zeta _{0},\xi \in T^{\ast }\), \(r_{0},\psi \in T^{\diamond }\), \(\xi >\zeta _{0}\), \(\psi >r_{0}\), \(T^{\ast }_{1}=[\zeta _{0},\infty )\cap T^{\ast }\), \(T^{\diamond }_{1}=[r_{0},\infty )\cap T^{\diamond }\), \(\varUpsilon =T^{\ast }\times T^{\diamond }\); \(x^{\Delta _{1}}(\zeta,r)\), \(x^{\Delta _{2}}(\zeta,r)\), and \(x^{\Delta _{1} \Delta _{2}}(\zeta,r) = x^{\Delta _{2} \Delta _{1}}(\zeta,r)\) are the delta derivatives of a function \(x(\zeta,r)\) with respect to \(\zeta,r\), and pr, respectively, for \(\zeta,r \in \mathbb{R}\); \(\mathbb{R}\) stands for the set of real numbers, \(\mathbb{R}_{+}=[0,\infty )\), \(j_{0}\in \mathbb{T}_{k}\), \(\mathbb{T}\in \mathbb{T}^{k}\), \(\mathbb{T}>\zeta _{0}\), \(C_{rd}\) is the set of all rd-continuous functions, ℜ defines the set of all regressive and rd-continuous functions and \(\Re ^{+}= \{ x\in \Re: 1+\varsigma (\zeta )x(\zeta )>0, \zeta \in \mathbb{T} \} \), \((x\oplus c)(\zeta ):=x(\zeta )+c(\zeta )+\varsigma (\zeta )x(\zeta )c( \zeta )\) for all \(\zeta \in \mathbb{T}^{k}\). On time scales, the user is supposed to be comfortable with the theory and basic ideas regarding the analytics. The monograph [30] is recommended for further details of time scale ideology.
Some important lemmas in this paper are as follows:
Lemma 2.1
([23])
Let \(\zeta _{0}\in \mathbb{T}^{k}\)and \(\varPi :\mathbb{T}\times \mathbb{T}^{k} \rightarrow \mathbb{R}\)be continuous at \((\zeta,\zeta )\), where \(\zeta >\zeta _{0}\)and \(\zeta \in \mathbb{T}^{k}\). Assume that \(\varPi ^{\Delta }(\zeta,\cdot )\)is rd-continuous on \([\zeta _{0},\sigma (\zeta )]_{\mathbb{T}}\)and for every \(\epsilon >0\), a neighborhood \(\varSigma ^{\ast }\)of ζ, independent of \(a\in [\zeta _{0},\sigma (\zeta )]_{\mathbb{T}}\), such that
where \(\varPi ^{\Delta }\)symbolizes the derivative of Π w.r.t. the first variable, and so
yields
Lemma 2.2
([31])
Let \(z^{\ast }>0\), \(c^{\ast }>0\), \(\xi >0\), \(\psi >0\)be given, then for each \(x\geq 0\),
holds for the cases \(1<\xi <\psi \)or \(0<\psi <\xi <1\).
Lemma 2.3
([32])
Suppose \(x, z\in C_{rd}\), \(c\in \mathbb{R}_{+}\). Then
implies
Lemma 2.4
([22])
Assume that \(x, z, c\in C_{rd}([\zeta _{0},\infty )_{\mathbb{T}}, \mathbb{R}_{+})\), where z is nondecreasing and not identically zero. If
then
3 Dynamic integral inequalities (DII) in two dimensions
Now we state and demonstrate our primary results:
Theorem 3.1
Suppose \(x, y, l, t, u, m\in C_{rd}(\varUpsilon,\mathbb{R}_{+})\), \(z, c\in C_{rd}(\varUpsilon, (0,\infty ))\), y is nondecreasing and not identically zero, \(\xi, \psi \)are positive constants, \(1<\xi <\psi \)or \(0<\psi <\xi <1\). Moreover, \(m\in C_{rd}(\varUpsilon,\mathbb{R}_{+})\)is nondecreasing in ζ, Π is defined as in Lemma 2.1such that \(\varPi ^{\Delta _{1}}(\zeta,r,o,\varrho )\geq 0\), \(\varPi ^{\Delta _{2}\Delta _{1}}(\zeta,r,o,\varrho )\geq 0\)for \(\zeta \geq o, r\geq \varrho \)and
provided with
Then
where
Proof
Employing Lemma 2.2 in (1), we get
where \(H(\zeta,r)\) is as in (7) and a nondecreasing function \(A(\zeta,r)\) is defined by
and
From Lemma 2.1 and by using the delta derivative (10) with respect to j, we deduce
where, using (9) in the last inequality, we get
so that
which leads to
with \(\varTheta (\zeta,r)\), \(W(\zeta,r)\), \(\eta (\zeta,r)\) defined as in (4), (5), and (6). From (8), we obtain
In view of (12) and (13), we obtain
which yields
or
Here \(D(\zeta,r)\) is as in (8). As we know that \(A(\zeta,r)\) is rd-continuous and \(V\oplus W\in \Re ^{+}\). Therefore, inequality (14) with the use of Lemma 2.3 and (11) implies the estimate
Substituting (9) and (15) on the right side of (11), we have
and, from (9), (15), and (16), we get the required bound in (3). □
A useful corollary of Theorem 3.1 with \(m(\zeta,r)=0\) can be obtained as follows:
Corollary 3.2
Under the same assumptions on \(x, y, l,t, u, z, c, \xi, \psi, \varPi, \varTheta, V, W, \eta \), and H in Theorem 3.1, the inequality
implies
If \(\varPi (\zeta,r,o,\varrho )=1\) in Theorem 3.1, we can produce the following corollary:
Corollary 3.3
Suppose that \(x, y, l,t, u, m, z, c, \xi, \psi \)and H are same as in Theorem 3.1. If
then
where \(V_{1}(\zeta,r)= \frac{\varTheta _{1}(\zeta,r)}{1-\mu (\zeta,r) \varTheta _{1}(\zeta,r)}, D_{1}(\zeta,r)=(1+\mu (\zeta,r) V_{1}(\zeta,r))\eta _{1}( \zeta,r)\),
Remark 3.4
Theorem 3.1 yields Lemma 3.1 of [33] by taking \(x(\zeta,r)=u(t), y(\zeta,r)=m(t)\), \(t(\zeta,r)=l(t), l(\zeta,r)=z(\zeta,r)=c(\zeta,r)=m(\zeta,r)=0\), \(\varPi (\zeta,r,o,\varrho )=1\), \(u(\zeta,r)=n(t)\) for fixed r and \(m(t)\) being a nondecreasing function.
Remark 3.5
As a distinctive case with r fixed, Theorem 3.1 reduces to Theorem 5 of [34] if we put \(x(\zeta,r)=x^{\beta }(t)\), \(\beta \geq 1\) being a constant, \(y(\zeta,r)=a(t), l(\zeta,r)=b(t), t(\zeta,r)=1, z(\zeta,r)=1, u( \zeta,r)=m(\zeta,r)=c(\zeta,r)=0\), \(\varPi (\zeta,r,o,\varrho )=1\), \(x(\sigma (\zeta ),r)=L(t, x(\tau (s)))\) and \(\xi =1\).
Theorem 3.6
Assume that \(x, y, l, t, u, m, z, c, \xi, \psi, \varPi, \varPi ^{\Delta _{1}}, \varPi ^{ \Delta _{2} \Delta _{1}}\)and H are as in Theorem 3.1. Also let
for \((p,r)\in \varUpsilon \). If
then
so that
Proof
Inequality (17), by applying Lemma 2.2, gives
Denote \(A_{1}(\zeta,r)\) a nondecreasing function as
then, from (23) and (24), we get
and
Using Lemma 2.1 and delta differentiation (24) with respect to j, we have
The above inequality with the help of (25) takes the form of
with \(\varTheta _{2}(\zeta,r)\), \(W_{2}(\zeta,r)\) as in (20) and (21), respectively. It can be observed from (22) that
Substituting (28) in (27), we acquire
which implies
Since \(A_{1}(\zeta,r)\) is rd-continuous and \(V_{2}\oplus W_{2}\in \Re ^{+}\), inequality (29), with Lemma 2.4, (25) and (26), produces
where
Here Ω is defined as in (18). The conclusion in (19) can be achieved from (25), (30), and (31). Details are omitted. □
Remark 3.7
If \(x(\zeta,r)=u^{\beta }(x,y), y(\zeta,r)=c\), \(c>0\), \(t(\zeta,r)=0, l(\zeta,r)=f(x,y), x(\sigma (\zeta ),r)=\omega (u( \tau _{1}(t), \tau _{2}(t)))\), then Theorem 3.6 can be transformed into the inequality of Theorem 2.14 stated by Zheng et al. [35].
Remark 3.8
If \(x(\zeta,r)=x(\sigma (\zeta ),r)=u(t,s), y(p,r)=a(t,s), l(\zeta,r)=b(t,s)\) and \(t(\zeta,r)=0\), then we can conveniently reach Theorem 1 of [36] from Theorem 3.6.
Theorem 3.9
Let \(x, y, l, u, z, c, H, \xi \)and ψ be as in Theorem 3.1. In addition, suppose \(m\in C_{rd}(\varUpsilon \times \varUpsilon,\mathbb{R}_{+})\)is nondecreasing in j and
with
Then
where
Proof
From (32) and Lemma 2.2, we have
Clearly, \(x(\zeta,r)\) is nonnegative. Also \(\int _{\zeta _{0}}^{S}m(\zeta,o,r)x(o,r)\Delta o\) is a nondecreasing function because \(m(\zeta,o,\varrho )\) is a nondecreasing function for \((\zeta,r)\in \varUpsilon \), By delta-differentiating (38), we get
so that
and
From inequality (39), again by delta differentiating with respect to j and using (40) and (41), we get
Further, the above inequality, by utilizing Lemma 2.4, (37), and the fact that \(A_{2}(\zeta _{0},r)=y(\zeta,r)+\int _{\zeta _{0}}^{P}m(\zeta,o,r)x(o,r) \Delta o\), gives the bound
where \(\varTheta _{3}\), \(W_{3}\), \(V_{3}\) are defined as in (35), (36), and (37), respectively. The monotonicity of y and m in the last inequality yields
where
From the definition of \(B_{1}(\zeta,r)\), (41) and (42), we obtain
so the required bound in (34) can be acquired by combining (41), (42), and (43). □
Remark 3.10
If we fix r and \(x(\zeta,r)=u(t), y(\zeta,r)=c\), \(c\geq 0\), \(l(\zeta,r,o,\varrho )=f(t), u(\zeta,r)=c(\zeta,r)=m(\zeta,r)=0\), \(z(\zeta,r)=\omega (t,s)\) in Theorem 3.9, where \(\omega (t,s)\geq 0 \), then we get the inequality obtained by Li et al. in [37]; see their Theorem 3.1.
4 Applications
In this section we focus on some of the applications of Theorem 3.1 to research certain properties of differential equation solutions. Let us discuss the following dynamic integral equation on time scales:
where \(P\in C_{rd}(\varUpsilon ^{2}\times \mathbb{R}^{2},\mathbb{R})\) and \(Y, T\in C_{rd}(\varUpsilon \times \mathbb{R},\mathbb{R})\).
The ensuing example addresses the global existence on the solutions of (44).
Example 4.1
Suppose that
for \((\zeta,r)\in \varUpsilon \), \(d,\varrho \in \mathbb{R}\), then \(x(\zeta,r)\) is a solution of (44) with
and satisfies
where \(x, l, t, y, u, z, c, m, \varPi, \xi, \psi, \varTheta, W, V\) and D are as in Theorem 3.1.
Proof
Equation (44) by utilizing (45)–(47) can be restated as
We attain (48) by applying the same procedure as in the proof of Theorem 3.1 to (49). □
Example 4.2
Let us consider the following hypotheses:
then the dynamic integral equation (44) has a unique solution.
Proof
If \(x_{1}(\zeta,r)\) and \(x_{2}(\zeta,r)\) are solutions of (44), then
From (50)–(52) used to the previous equation, we get
so applying a similar method as that in Theorem 3.1 with suitable changes to the function \(|x_{1}(p,r)-x_{2}(p,r)|\) in (53), we have
Hence \(x_{1}(\zeta,r)=x_{2}(\zeta,r)\). Thus the dynamic equation (44) has one positive solution. □
5 Conclusion
Like other recognized and proven inequalities in the literature, Theorems 3.1, 3.6, and 3.9 examined such dynamic integral inequalities with suggested remarks for two independent variables on time scales. In order to overcome the conceptual classifications of differential equations, one may also apply the introduced corollaries. Our results may be extended by using the basic methodology to solve the difficulty of achieving estimates on the specific bounds of unknown functions and therefore to expand and unify continuous inequalities. This investigation offers the foundation for further advancement of the idea of integral inequality for time scale calculus implementations, providing scope for maximizing efforts to reach a desirable outcome.
References
El-Owaidy, H., Ragab, A.A., Abuleela, W., El-Deeb, A.A.: On some new nonlinear integral inequalities of Gronwall–Bellman type. Kyungpook Math. J. 54, 555–575 (2014)
Kim, Y.H.: Gronwall, Bellman and Pachpatte type integral inequalities with applications. Nonlinear Anal., Theory Methods Appl. 71(12), e2641–e2656 (2009)
Khan, Z.: Further nonlinear version of inequalities and their applications. Filomat 33(18), 6005–6014 (2019)
Li, L., Meng, F., Ju, P.: Some new integral inequalities and their applications in studying the stability of nonlinear integro differential equations with time delay. J. Math. Anal. Appl. 377, 853–862 (2011)
Abdeljawad, T., Jarad, F., Baleanu, D.: Variational optimal-control problems with delayed arguments on time scales. Adv. Differ. Equ. 2009, 1 (2009)
Khan, H., Abdeljawad, T., Tun, C., Alkhazzan, A., Khan, A.: Minkowski’s inequality for the AB-fractional integral operator. J. Inequal. Appl. 2019, 96 (2019)
Abdeljawad, T., Alzabut, J.: The q fractional analogue for Gronwall-type inequality. J. Funct. Spaces Appl. 2013, 9 (2013)
Kh, F.M., El-Deeb, A.A., Abdeldaim, A., Khan, Z.: On some generalizations of dynamic Opial-type inequalities on time scales. Adv. Differ. Equ. 2019, 323 (2019)
Khan, H., Jarad, F., Abdeljawad, T., Khan, A.: A singular ABC-fractional differential equation with p-Laplacian operator. Chaos Solitons Fractals 2019(1), 129 (2019)
Rashid, S., Jarad, F., Chu, Y.M.: A note on reverse Minkowski inequality via generalized proportional fractional integral operator with respect to another function. Math. Probl. Eng. 2020, Article ID 7630260 (2020)
Rashid, S., Jarad, F., Kalsoom, H., Chu, Y.M.: On Pólya, Szegö and Čhebyšev type inequalities via generalized k-fractional integrals. Adv. Differ. Equ. 2020, Article ID 125 (2020)
Rashid, S., Jarad, F., Noor, M.A., Kalsoom, H., Chu, Y.M.: Inequalities by means of generalized proportional fractional integral operators with respect another function. Mathematics 7(12), 1225 (2019)
Rashid, S., Noor, M.A., Noor, K.I., Chu, Y.M.: Ostrowski type inequalities in the sense of generalized k-fractional integral operator for exponentially convex functions. AIMS Math. 5(3), 2629–2645 (2020)
Zhou, S.S., Rashid, S., Jarad, F., Kalsoom, H., Chu, Y.M.: New estimates considering the generalized proportional Hadamard fractional integral operators. Adv. Differ. Equ. 2020, Article ID 275 (2020)
Khan, A., Khan, H., Gomez-Aguilar, J.F., Abdeljawad, T.: Existence and Hyers–Ulam stability for a nonlinear singular fractional differential equations with Mittag-Leffler kernel. Chaos Solitons Fractals 2019, 127 (2019)
Abdeljawad, T., Ullah, K., Ahmad, J., Malaiki, N.M.: Iterative approximation of endpoints for multivalued mappings in Banach spaces. J. Funct. Spaces 2020, Article ID 2179059 (2020)
Jarad, F., Abdeljawad, T., Shah, K.: On the weighted fractional operators of a function with respect to another function. Fractals (2020)
Hilger, S.: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)
Khan, Z.: On some explicit bounds of integral inequalities related to time scales. Adv. Differ. Equ. 2019, 243 (2019)
Khan, Z.: Study on the estimates of Gronwall–Ou–Iang dynamic integral inequalities by means of diamond-α derivatives. Adv. Differ. Equ. 2020, 240 (2020)
Khan, Z.: Solvability for a class of integral inequalities with maxima on the theory of time scales and their applications. Bound. Value Probl. 2019, 146 (2019)
Pachpatte, D.B.: Explicit estimates on integral inequalities with time scales. J. Inequal. Pure Appl. Math. 7(4), 143 (2006)
Li, W.N.: Some Pachpatte type inequalities on time scales. Comput. Math. Appl. 57, 275–282 (2009)
Sun, Y.G., Hassan, T.: Some nonlinear dynamic integral inequalities on time scales. Appl. Math. Comput. 220(4), 221–225 (2013)
Gu, J., Meng, F.W.: Some new nonlinear Volterra–Fredholm type dynamic integral inequalities on time scales. Appl. Math. Comput. 245(1), 235–242 (2014)
Khan, Z.: Hadamard type fractional differential equations for the system of integral inequalities on time scales. Integral Transforms Spec. Funct. 31(5), 412–423 (2020)
Mi, Y.: A generalized Gronwall–Bellman type delay integral inequality with two independent variables on time scales. J. Math. Inequal. 11(4), 1151–1160 (2017)
Khan, Z.: Analysis on some powered integral inequalities with retarded argument and application. J. Taibah Univ. Sci. 14(1), 488–495 (2020)
El-Deeb, A.A., Khan, Z.: Certain new dynamic nonlinear inequalities in two independent variables and applications. Bound. Value Probl. 2020(1), 31 (2020)
Bohner, M.: Partial differentiation on time scales. In: Multivariable Dynamic Calculus on Time Scales, pp. 303–447 (2016)
Liu, H.D., Li, C.Y., Shen, F.C.: A class of new nonlinear dynamic integral inequalities containing integration on infinite interval on time scales. Adv. Differ. Equ. 2019, 311 (2019)
Bohner, M., Georgiev, S.G.: Multivariable Dynamic Calculus on Time Scales. Springer, Cham (2016)
Boukerrioua, K., Meziri, I., Chiheb, T.: Some refinements of certain Gamidov integral inequalities on time scales and applications. Kragujev. J. Math. 42(1), 131–152 (2018)
Li, W.N.: Some delay integral inequalities on time scales. Comput. Math. Appl. 59, 1929–1936 (2010)
Zheng, B., Zhang, Y.M., Feng, Q.: Some delay integral inequalities in two independent variables on time scales. J. Appl. Math. 1, Article ID 659563 (2011)
Li, W.N.: Some integral inequalities useful in the theory of certain dynamic equations on time scales. Comput. Math. Appl. 61, 1754–1759 (2011)
Li, W.N., Sheng, W.: Some Gronwall type inequalities on time scales. J. Math. Inequal. 4(1), 67–76 (2010)
Acknowledgements
The authors would like to thank the editor and the referees for their careful reading and for their helpful comments and suggestions that led to considerable improvements of the paper.
Availability of data and materials
Not applicable.
Funding
This research was funded by the Deanship of Scientific Research at Princess Nourah bint Abdulrahman University through the Fast-track Research Funding Program.
Author information
Authors and Affiliations
Contributions
The authors contributed equally in writing the final version of this article. All authors read and approved the final manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that there are no financial and nonfinancial competing interests.
Additional information
Abbreviations
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Khan, Z.A., Jarad, F., Khan, A. et al. Derivation of dynamical integral inequalities based on two-dimensional time scales theory. J Inequal Appl 2020, 209 (2020). https://doi.org/10.1186/s13660-020-02475-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02475-w