Skip to main content

Derivation of dynamical integral inequalities based on two-dimensional time scales theory

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.

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 [117]). 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 [1921] and the references therein. Pachpatte [22] initially unifies the existing fundamental inequality

$$ x(r)\leq b(r)+ \int _{r_{0}}^{r} h(u)x(u)\Delta u, \quad r\in \mathbb{T}, $$

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

$$ x(r)\leq x_{0}+ \int _{r_{0}}^{r} \bigl[h(u)x(u)+m(u) \bigr]\Delta u+ \int _{r_{0}}^{r}g(u) \bigl[z(u,l)x(l)\Delta l \bigr] \Delta u, $$

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

$$ x(r)\leq b(r)+j(r) \int _{r_{0}}^{r} \bigl[h(u)x(u)+g(u)x^{\xi } \bigl(\sigma (u)\bigr)-z(u)x^{ \psi }\bigl(\sigma (u)\bigr) \bigr]\Delta u, $$

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 [2529]. 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.

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

$$ \bigl\vert \bigl[\varPi \bigl(\sigma (\zeta ),\eta \bigr)-\varPi (s,a)\bigr]- \varPi ^{\Delta }(\zeta,a)\bigl[ \sigma (\zeta )-s\bigr] \bigr\vert \leq \epsilon \bigl\vert \sigma (\zeta )-s \bigr\vert ,\quad s\in \varSigma ^{\ast }, $$

where \(\varPi ^{\Delta }\)symbolizes the derivative of Π w.r.t. the first variable, and so

$$ x(\zeta )= \int _{\zeta _{0}}^{\zeta }\varPi (\zeta,a)\Delta a $$

yields

$$ x^{\Delta }(\zeta )= \int _{\zeta _{0}}^{\zeta }\varPi ^{\Delta }(\zeta,a) \Delta a+\varPi \bigl(\sigma (\zeta ),\zeta \bigr). $$

Lemma 2.2

([31])

Let \(z^{\ast }>0\), \(c^{\ast }>0\), \(\xi >0\), \(\psi >0\)be given, then for each \(x\geq 0\),

$$ zx^{\xi }-cx^{\psi }\leq \frac{z(\psi -\xi )}{(\psi -1)} \biggl( \frac{(\psi -1)c}{(\xi -1)z} \biggr)^{\frac{\xi -1}{\xi -\psi }}x $$

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

$$ x^{\Delta }(\zeta )\leq z(\zeta )x(\zeta )+c(\zeta ),\quad \zeta \in \mathbb{T}, $$

implies

$$ x(\zeta )\leq x(\zeta _{0})e_{z}(\zeta,\zeta _{0})+ \int _{\zeta _{0}}^{ \zeta }e_{z}\bigl(\zeta,\sigma (a) \bigr)c(a)\Delta a,\quad \zeta \in \mathbb{T}. $$

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

$$ x(\zeta )\leq z(\zeta )+ \int _{\zeta _{0}}^{\zeta }c(s)x(s)\Delta s,\quad \zeta \in [\zeta _{0},\infty )_{\mathbb{T}}, $$

then

$$ x(\zeta )\leq z(j)e_{c}(\zeta,\zeta _{0}),\quad \zeta \in [r_{0}, \infty )_{\mathbb{T}}. $$

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

$$\begin{aligned} x(\zeta,r)\leq{}& y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o, \varrho )x(o,\varrho )\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi (\zeta,r,o, \varrho ) \bigl[u(o, \varrho )x(o,\varrho )+z(o,\varrho )x^{\xi }\bigl( \sigma (o),\varrho \bigr) \\ &{}-c(o,\varrho )x^{\psi }\bigl(\sigma (o),\varrho \bigr) \bigr] \Delta \varrho \Delta o \\ &{}+ \int _{\zeta _{0}}^{S}m(o,r)x(o,r)\Delta o, \quad (\zeta,r)\in \varUpsilon, \end{aligned}$$
(1)

provided with

$$ \mu (\zeta,r)\varTheta (\zeta,r)< 1,\qquad \int _{\zeta _{0}}^{S}m(o,r)e_{V \oplus W}(o,\zeta _{0})\Delta o< 1. $$
(2)

Then

$$\begin{aligned} x(\zeta,r)\leq{}& y(\zeta,r)+ \frac{\int _{\zeta _{0}}^{S}m(o,r) [y(o,r)+\int _{\zeta _{0}}^{o}e_{V\oplus W}(o,\sigma (\tau ))D(\tau,r)\Delta \tau ]\Delta o}{1-\int _{\zeta _{0}}^{S}m(o,r)e_{V\oplus W}(o,\zeta _{0})\Delta o}e_{V \oplus W}( \zeta,\zeta _{0}) \\ &{}+ \int _{\zeta _{0}}^{S}m(o,r)e_{V\oplus W}\bigl(\tau, \sigma (o)\bigr)\Delta o, \end{aligned}$$
(3)

where

$$\begin{aligned} \varTheta (\zeta,r)={}&t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{ \sigma (\zeta )} \int _{r_{0}}^{r}\varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl(u(o,\varrho )+H(o,\varrho ) \bigr)\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho )H(o,\varrho )\Delta \varrho \Delta o \\ &{}+ \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r,\zeta,\varrho \bigr)H( \zeta,\varrho )\Delta \varrho, \end{aligned}$$
(4)
$$\begin{aligned} W(\zeta,r)={}& \int _{r_{0}}^{r}l(\zeta,\varrho )\Delta \varrho +t( \zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho )u(o,\varrho )\Delta \varrho \Delta o \\ &{}+ \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r,\zeta,\varrho \bigr)u( \zeta,\varrho )\Delta \varrho, \end{aligned}$$
(5)
$$\begin{aligned} \eta (\zeta,r)={}& \int _{r_{0}}^{r}l(\zeta,\varrho )y(\zeta,\varrho ) \Delta \varrho +t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{\sigma (j)} \int _{r_{0}}^{r}\varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl(u(o,\varrho )y(o, \varrho ) \\ &{}+H(o,\varrho )y\bigl(\sigma (o), \varrho \bigr) \bigr)\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho ) \bigl(u(o,\varrho )y(o,\varrho )+H(o, \varrho )y\bigl(\sigma (o),\varrho \bigr) \bigr) \Delta \varrho \Delta o \\ &{}+ \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r,\zeta, \varrho \bigr) \bigl(u(\zeta,\varrho )y(\zeta,\varrho )+H(\zeta, \varrho )y\bigl( \sigma (\zeta ),\varrho \bigr) \bigr)\Delta \varrho, \end{aligned}$$
(6)
$$\begin{aligned} H(\zeta,r)={}&\frac{z(\zeta,r)(\psi -\xi )}{(\psi -1)} \biggl( \frac{(\psi -1)c(\zeta,r)}{(\xi -1)z(\zeta,r)} \biggr)^{ \frac{\xi -1}{\xi -\psi }}, \end{aligned}$$
(7)
$$\begin{aligned} V(\zeta,r)={}& \frac{\varTheta (\zeta,r)}{1-\mu (\zeta,r) \varTheta (\zeta,r)}, D( \zeta,r)=\bigl(1+\mu (\zeta,r) V(\zeta,r)\bigr)\eta (\zeta,r). \end{aligned}$$
(8)

Proof

Employing Lemma 2.2 in (1), we get

$$\begin{aligned} x(\zeta,r)\leq{}& y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o, \varrho )x(o,\varrho )\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi (\zeta,r,o, \varrho ) \bigl[u(o, \varrho )x(o,\varrho )+H(o,\varrho )x\bigl(\sigma (o), \varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &{}+ \int _{\zeta _{0}}^{S}m(o,r)x(o,r)\Delta o, \\ \leq{}& y(\zeta,r)+A(\zeta,r), \end{aligned}$$
(9)

where \(H(\zeta,r)\) is as in (7) and a nondecreasing function \(A(\zeta,r)\) is defined by

$$\begin{aligned} A(\zeta,r)={}& \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o,\varrho )x(o, \varrho )\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi (\zeta,r,o, \varrho ) \bigl[u(o, \varrho )x(o,\varrho )+H(o,\varrho )x\bigl(\sigma (o), \varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &{}+ \int _{\zeta _{0}}^{S}m(o,r)x(o,r)\Delta o \end{aligned}$$
(10)

and

$$ A(\zeta _{0},r)= \int _{\zeta _{0}}^{S}m(o,r)x(o,r)\Delta o. $$
(11)

From Lemma 2.1 and by using the delta derivative (10) with respect to j, we deduce

$$\begin{aligned} &A^{\Delta _{1}}(\zeta,r)\\ &\quad \leq \int _{r_{0}}^{r}l(\zeta,\varrho )x( \zeta,\varrho ) \Delta \varrho \\ &\qquad{}+t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{\sigma (\zeta )} \int _{r_{0}}^{r} \varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl[u(o,\varrho )x(o,\varrho )+H(o, \varrho )x\bigl(\sigma (o), \varrho \bigr) \bigr]\Delta \varrho \Delta a \\ &\qquad{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho ) \bigl[u(o,\varrho )x(o,\varrho )+H(o, \varrho )x\bigl(\sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta a \\ &\qquad{}+t(\zeta,r) \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r, \zeta,\varrho \bigr) \bigl[u(\zeta,\varrho )x(\zeta,\varrho )+H(\zeta, \varrho )x\bigl(\sigma (\zeta ),\varrho \bigr) \bigr]\Delta \varrho, \end{aligned}$$

where, using (9) in the last inequality, we get

$$\begin{aligned} A^{\Delta _{1}}(\zeta,r)\leq{}& \int _{r_{0}}^{r}l(\zeta,\varrho ) \bigl(y(\zeta,\varrho )+A(\zeta,\varrho ) \bigr)\Delta v \\ &{}+t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{\sigma (\zeta )} \int _{r_{0}}^{r} \varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl[u(o,\varrho ) \bigl(y(o, \varrho ) +A(o,\varrho ) \bigr) \\ &{}+H(o, \varrho ) \bigl(y\bigl(\sigma (o), \varrho \bigr)+A\bigl(\sigma (o),\varrho \bigr) \bigr) \bigr]\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho ) \bigl[u(o,\varrho ) \bigl(y(o,\varrho )+A(o, \varrho ) \bigr) \\ &{}+H(o, \varrho ) \bigl(y\bigl(\sigma (o),\varrho \bigr)+A\bigl(\sigma (o), \varrho \bigr) \bigr) \bigr]\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r, \zeta,\varrho \bigr) \bigl[u(\zeta,\varrho ) \bigl(y(\zeta,\varrho )+A( \zeta,\varrho ) \bigr) \\ &{}+H(\zeta,\varrho ) \bigl(y\bigl(\sigma (\zeta ), \varrho \bigr)+A\bigl(\sigma (\zeta ),\varrho \bigr) \bigr) \bigr]\Delta \varrho, \end{aligned}$$

so that

$$\begin{aligned} &A^{\Delta _{1}}(\zeta,r)\\ &\quad \leq \int _{r_{0}}^{r}l(\zeta,\varrho )y( \zeta,\varrho ) \Delta \varrho + \int _{r_{0}}^{r}l(\zeta,\varrho )A( \zeta,\varrho ) \Delta \varrho \\ &\qquad{}+t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{\sigma (\zeta )} \int _{r_{0}}^{r} \varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl[u(o,\varrho )y(o,\varrho )+H(o, \varrho )y\bigl(\sigma (o), \varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &\qquad{}+A\bigl(\sigma (\zeta ),r\bigr) \biggl[t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{ \sigma (\zeta )} \int _{r_{0}}^{r}\varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl(u(o,\varrho )+H(o,\varrho ) \bigr)\Delta \varrho \Delta o \biggr] \\ &\qquad{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(p,r,o,v) \bigl[u(o,\varrho )y(o,\varrho )+H(o,\varrho )y\bigl( \sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho )u(o,\varrho )A(o,\varrho )\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho )H(o,\varrho )A\bigl(\sigma (o),\varrho \bigr) \Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r, \zeta,\varrho \bigr) \bigl[u(\zeta,\varrho )y(\zeta,\varrho )+H(\zeta, \varrho )y\bigl(\sigma (\zeta ),\varrho \bigr) \bigr]\Delta \varrho \\ &\qquad{}+t(\zeta,r) \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r, \zeta,\varrho \bigr)u(\zeta,\varrho )A(\zeta,\varrho )\Delta \varrho \\ &\qquad{}+t(\zeta,r) \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r, \zeta,\varrho \bigr)H(\zeta,\varrho )A\bigl(\sigma (\zeta ),\varrho \bigr)\Delta \varrho, \end{aligned}$$

which leads to

$$\begin{aligned} &A^{\Delta _{1}}(\zeta,r) \\ &\quad \leq\biggl[t^{\Delta _{1}}(\zeta,r) \int _{ \zeta _{0}}^{\sigma (\zeta )} \int _{r_{0}}^{r}\varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl(u(o,\varrho )+H(o,\varrho ) \bigr)\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho )H(o,\varrho )\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r, \zeta,\varrho \bigr)H(\zeta,\varrho )\Delta \varrho \biggr] A\bigl( \sigma ( \zeta ),\varrho \bigr) \\ &\qquad{}+ \biggl[ \int _{r_{0}}^{r}l(\zeta,\varrho )\Delta \varrho +t( \zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2}\Delta _{1}}( \zeta,r,o, \varrho )u(o,\varrho )\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r, \zeta,\varrho \bigr)u(\zeta,\varrho )\Delta \varrho \biggr]A(\zeta,r)+ \int _{r_{0}}^{r}l(\zeta,\varrho )y(\zeta,\varrho ) \Delta \varrho \\ &\qquad{}+t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{\sigma (\zeta )} \int _{r_{0}}^{r} \varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl[u(o,\varrho )y(o,\varrho )+H(o, \varrho )y\bigl(\sigma (o), \varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho ) \bigl[u(o,\varrho )y(o,\varrho )+H(o, \varrho )y\bigl(\sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r, \zeta,\varrho \bigr) \bigl[u(\zeta,\varrho )y(\zeta,\varrho )+H(\zeta, \varrho )y\bigl(\sigma (\zeta ),\varrho \bigr) \bigr]\Delta \varrho \\ &\quad\leq \varTheta (\zeta,r)A\bigl(\sigma (\zeta ),r\bigr)+W(\zeta,r)A(\zeta,r)+ \eta (\zeta,r), \end{aligned}$$
(12)

with \(\varTheta (\zeta,r)\), \(W(\zeta,r)\), \(\eta (\zeta,r)\) defined as in (4), (5), and (6). From (8), we obtain

$$ \varTheta (\zeta,r)=\frac{V(\zeta,r)}{1+\mu (\zeta,r)V(\zeta,r)}. $$
(13)

In view of (12) and (13), we obtain

$$\begin{aligned} A^{\Delta _{1}}(\zeta,r)&\leq \varTheta (\zeta,r) \bigl(A(\zeta,r)+ \mu ( \zeta,r)A^{\Delta _{1}}(\zeta,r) \bigr)+W(\zeta,r)A(\zeta,r)+ \eta (\zeta,r) \\ &\leq \frac{V(\zeta,r)}{1+\mu (\zeta,r)V(\zeta,r)} \bigl(A(\zeta,r)+ \mu (\zeta,r)A^{\Delta _{1}}(\zeta,r) \bigr)+W(\zeta,r)A(\zeta,r)+ \eta (\zeta,r), \end{aligned}$$

which yields

$$ \frac{1}{1+\mu (\zeta,r)V(\zeta,r)}A^{\Delta _{1}}(\zeta,r)\leq \frac{V(\zeta,r)+W(\zeta,r)+\mu (\zeta,r) V(\zeta,r)W(\zeta,r)}{1+\mu (\zeta,r)V(\zeta,r)}A( \zeta,r)+\eta (\zeta,r), $$

or

$$\begin{aligned} A^{\Delta _{1}}(\zeta,r)\leq {}&\bigl(V(\zeta,r)+W(\zeta,r)+\mu ( \zeta,r) V(\zeta,r)W(\zeta,r) \bigr)A(\zeta,r) \\ &{}+ \bigl(1+\mu (\zeta,r)V( \zeta,r) \bigr)\eta (\zeta,r) \\ \leq{}& (V\oplus W) (\zeta,r)A(\zeta,r)+D(\zeta,r). \end{aligned}$$
(14)

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

$$ A(\zeta,r)\leq A(\zeta _{0},r)e_{V\oplus W}(\zeta, \zeta _{0})+ \int _{ \zeta _{0}}^{\zeta }e_{V\oplus W}\bigl(\tau,\sigma (o) \bigr)D(o,r)\Delta o. $$
(15)

Substituting (9) and (15) on the right side of (11), we have

$$ A(\zeta _{0},r)\leq \frac{\int _{\zeta _{0}}^{S}m(o,r) [y(o,r)+\int _{\zeta _{0}}^{o}e_{V\oplus W}(o,\sigma (\tau ))D(\tau,r)\Delta \tau ) ]\Delta o}{1-\int _{\zeta _{0}}^{S}m(o,r)e_{V\oplus W}(o,\zeta _{0})\Delta o}, $$
(16)

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

$$\begin{aligned} &x(\zeta,r) \\ &\quad \leq y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o, \varrho )x(o,\varrho )\Delta \varrho \Delta o +t(\zeta,r) \int _{ \zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi (\zeta,r,o,\varrho ) \\ &\qquad{}\times \bigl[u(o,\varrho )x(o,\varrho )+z(o,\varrho )x^{\xi }\bigl( \sigma (o), \varrho \bigr)-c(o,\varrho )x^{\psi }\bigl(\sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta o,\quad (\zeta,r)\in \varUpsilon, \end{aligned}$$

implies

$$\begin{aligned} x(\zeta,r)\leq y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta }e_{V\oplus W}\bigl( \tau,\sigma (o) \bigr)D(o,r)\Delta o, \end{aligned}$$

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

$$\begin{aligned} x(\zeta,r)\leq{}& y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o, \varrho )x(o,\varrho )\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r} \bigl[u(o, \varrho )x(o,\varrho )+z(o, \varrho )x^{\xi }\bigl(\sigma (o),\varrho \bigr)-c(o, \varrho )x^{\psi }\bigl(\sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &{}+ \int _{\zeta _{0}}^{S}m(o,r)x(o,r)\Delta o, \quad(\zeta,r)\in \varUpsilon, \end{aligned}$$

then

$$\begin{aligned} x(\zeta,r)\leq{}& y(\zeta,r)+ \frac{\int _{\zeta _{0}}^{S}m(a,r) [y(o,r)+\int _{\zeta _{0}}^{o}e_{V_{1}\oplus W_{1}}(o,\sigma (\tau ))D_{1}(\tau,r)\Delta \tau ]\Delta o}{1-\int _{\zeta _{0}}^{S}m(o,r)e_{V_{1}\oplus W_{1}}(o,\zeta _{0})\Delta o}e_{V_{1} \oplus W_{1}}(\zeta,\zeta _{0}) \\ &{}+ \int _{\zeta _{0}}^{S}m(o,r)e_{V_{1}\oplus W_{1}}\bigl(\tau, \sigma (o)\bigr) \Delta o, \end{aligned}$$

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)\),

$$\begin{aligned} &\varTheta _{1}(\zeta,r)=t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{ \sigma (\zeta )} \int _{r_{0}}^{r} \bigl(u(o,\varrho )+H(o,\varrho ) \bigr)\Delta \varrho \Delta o+t(\zeta,r) \int _{r_{0}}^{r}H(\zeta, \varrho )\Delta \varrho, \\ &W_{1}(\zeta,r)= \int _{r_{0}}^{r}l(\zeta,\varrho )\Delta \varrho +t( \zeta,r) \int _{r_{0}}^{r}u(\zeta,\varrho )\Delta \varrho, \\ &\eta _{1}(\zeta,r)= \int _{r_{0}}^{r}l(\zeta,\varrho )y(\zeta, \varrho ) \Delta v\varrho \\ &\phantom{\eta _{1}(\zeta,r)=}{}+t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{ \sigma (\zeta )} \int _{r_{0}}^{r} \bigl(u(o,\varrho )y(o,\varrho )+H(o, \varrho )y\bigl(\sigma (\varrho ),o\bigr) \bigr)\Delta \varrho \Delta o \\ &\phantom{\eta _{1}(\zeta,r)=}{}+t(\zeta,r) \int _{r_{0}}^{r} \bigl(u(\zeta,\varrho )y(\zeta, \varrho )+H(\zeta,\varrho )y\bigl(\sigma (\zeta ),\varrho \bigr) \bigr)\Delta \varrho. \end{aligned}$$

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

$$\begin{aligned} x(\zeta,r)\leq{}& y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o, \varrho )x\bigl(\sigma (o),\varrho \bigr)\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi (\zeta,r,o, \varrho ) \bigl[u(o, \varrho )x(o,\varrho )+z(o,\varrho )x^{\xi }\bigl( \sigma (o),\varrho \bigr) \\ &{}-c(o,\varrho )x^{\psi }\bigl(\sigma (o),\varrho \bigr) \bigr] \Delta \varrho \Delta o \\ &{}+t(S,R) \int _{\zeta _{0}}^{S} \int _{r_{0}}^{R}\varPi (\zeta,r,o, \varrho ) \bigl[u(o,\varrho )x(o,\varrho )+z(o,\varrho )x^{\xi }\bigl( \sigma (o), \varrho \bigr) \\ &{}-c(o,\varrho )x^{\psi }\bigl(\sigma (o),\varrho \bigr) \bigr] \Delta \varrho \Delta o, \end{aligned}$$
(17)

for \((p,r)\in \varUpsilon \). If

$$\begin{aligned} \varOmega &= \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi (\zeta,r,o, \varrho ) \bigl[u(o, \varrho )e_{V_{2}\oplus W_{2}}(o,\zeta _{0})+H(o, \varrho )e_{V_{2}\oplus W_{2}} \bigl(\sigma (o),\zeta _{0}\bigr) \bigr]\Delta \varrho \Delta o \\ &< \frac{1}{t(\zeta,r)}, \end{aligned}$$
(18)

then

$$\begin{aligned} x(\zeta,r)&\leq \frac{y(S,R)}{1-\varOmega t(S,R)}e_{V_{2}\oplus W_{2}}( \zeta,\zeta _{0}), \end{aligned}$$
(19)

so that

$$\begin{aligned} & \varTheta _{2}(\zeta,r)= \int _{r_{0}}^{r} l(\zeta,\varrho )\Delta \zeta +t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{\sigma (\zeta )} \int _{r_{0}}^{r}\varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl(u(o,\varrho )+H(o, \varrho ) \bigr)\Delta \varrho \Delta o \\ &\phantom{\varTheta _{2}(\zeta,r)=}{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho )H(o,\varrho )\Delta \varrho \Delta o \\ &\phantom{\varTheta _{2}(\zeta,r)=}{}+ \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r,\zeta,v\bigr)H( \zeta,\varrho )\Delta \varrho, \end{aligned}$$
(20)
$$\begin{aligned} & W_{2}(\zeta,r)=t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r} \varPi ^{\Delta _{2}\Delta _{1}}(\zeta,r,o, \varrho )u(o,\varrho ) \Delta \varrho \Delta o \\ &\phantom{W_{2}(\zeta,r)=}{}+ \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r,\zeta,\varrho \bigr)u(\zeta,\varrho )\Delta \varrho, \end{aligned}$$
(21)
$$\begin{aligned} & V_{2}(\zeta,r)= \frac{\varTheta _{2}(\zeta,r)}{1-\mu (\zeta,r) \varTheta _{2}(\zeta,r)}. \end{aligned}$$
(22)

Proof

Inequality (17), by applying Lemma 2.2, gives

$$\begin{aligned} x(\zeta,r)={}& y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o, \varrho )x\bigl(\sigma (o),\varrho \bigr)\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi (\zeta,r,o, \varrho ) \bigl[u(o, \varrho )x(o,\varrho )+z(o,\varrho )x^{\xi }\bigl( \sigma (o),\varrho \bigr) \\ &{}-c(o,\varrho )x^{\psi }\bigl(\sigma (o),\varrho \bigr) \bigr] \Delta \varrho \Delta o \\ &{}+t(S,R) \int _{\zeta _{0}}^{S} \int _{r_{0}}^{R}\varPi (\zeta,r,o, \varrho ) \bigl[u(o,\varrho )x(o,\varrho )+z(o,\varrho )x^{\xi }\bigl( \sigma (o), \varrho \bigr) \\ &{}-c(o,\varrho )x^{\psi }\bigl(\sigma (o),\varrho \bigr) \bigr] \Delta \varrho \Delta o \\ \leq{}& y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o, \varrho )x\bigl(\sigma (o),\varrho \bigr)\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi (\iota,r,o, \varrho ) \bigl[u(o, \varrho )x(o,\varrho )+H(o,\varrho )x\bigl(\sigma (o), \varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &{}+t(S,R) \int _{\zeta _{0}}^{S} \int _{r_{0}}^{R}\varPi (\zeta,r,o, \varrho ) \bigl[u(o,\varrho )x(o,\varrho )+H(o,\varrho )x\bigl(\sigma (o), \varrho \bigr) \bigr]\Delta \varrho \Delta o. \end{aligned}$$
(23)

Denote \(A_{1}(\zeta,r)\) a nondecreasing function as

$$\begin{aligned} A_{1}(\zeta,r)={}& y(S,R)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o, \varrho )x\bigl(\sigma (o),\varrho \bigr)\Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi (\zeta,r,o, \varrho ) \bigl[u(o, \varrho )x(o,\varrho )+H(o,\varrho )x\bigl(\sigma (o), \varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &{}+t(S,R) \int _{\zeta _{0}}^{S} \int _{r_{0}}^{R}\varPi (S,R,o,\varrho ) \bigl[u(o, \varrho )x(o,\varrho )+H(o,\varrho )x\bigl(\sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta o, \end{aligned}$$
(24)

then, from (23) and (24), we get

$$ x(\zeta,r)\leq A_{1}(\zeta,r) $$
(25)

and

$$\begin{aligned} A_{1}(\zeta _{0},r)={}&y(S,R)+t(S,R) \int _{\zeta _{0}}^{S} \int _{r_{0}}^{R} \varPi (S,R,o,\varrho ) \bigl[u(o, \varrho )x(o,\varrho ) \\ &{}+H(o,\varrho ))x\bigl( \sigma (o),\varrho \bigr) \bigr] \Delta \varrho \Delta o. \end{aligned}$$
(26)

Using Lemma 2.1 and delta differentiation (24) with respect to j, we have

$$\begin{aligned} &A_{1}^{\Delta _{1}}(\zeta,r) \\ &\quad \leq \int _{r_{0}}^{r}l(\zeta,\varrho )x\bigl( \sigma (\zeta ),\varrho \bigr)\Delta \varrho \\ &\qquad{}+t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{\sigma (\zeta )} \int _{r_{0}}^{r} \varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl[u(o,\varrho )x(o,\varrho )+H(o, \varrho )x\bigl(\sigma (o), \varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho ) \bigl[u(o,\varrho )x(o,\varrho )+H(o, \varrho )x\bigl(\sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r, \zeta,\varrho \bigr) \bigl[u(p,\varrho )x(p,\varrho )+H(p,\varrho )x \bigl( \sigma (\zeta ),\varrho \bigr) \bigr]\Delta \varrho. \end{aligned}$$

The above inequality with the help of (25) takes the form of

$$\begin{aligned} & A_{1}^{\Delta _{1}}(\zeta,r) \\ &\quad \leq \int _{r_{0}}^{r}l(\zeta,\varrho )A_{1}\bigl( \sigma (\zeta ),\varrho \bigr)\Delta \varrho \\ &\qquad{}+t^{\Delta _{1}}(\zeta,r) \int _{\zeta _{0}}^{\sigma (\zeta )} \int _{r_{0}}^{r} \varPi \bigl(\sigma (\zeta ),r,o, \varrho \bigr) \bigl[u(o,\varrho )A_{1}(o, \varrho )+H(o,\varrho )A_{1}\bigl(\sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi ^{\Delta _{2} \Delta _{1}}(\zeta,r,o, \varrho ) \bigl[u(o,\varrho )A_{1}(o,\varrho )+H(o, \varrho )A_{1}\bigl(\sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta o \\ &\qquad{}+t(\zeta,r) \int _{r_{0}}^{r}\varPi ^{\Delta _{1}}\bigl(\sigma ( \zeta ),r, \zeta,\varrho \bigr) \bigl[u(\zeta,\varrho )A_{1}(\zeta, \varrho )+H( \zeta,\varrho )A_{1}\bigl(\sigma (\zeta ),\varrho \bigr) \bigr]\Delta \varrho \\ &\quad \leq \varTheta _{2}(\zeta,r)A_{1}\bigl(\sigma (\zeta ),r \bigr)+W_{2}(\zeta,r)A_{1}( \zeta,r), \end{aligned}$$
(27)

with \(\varTheta _{2}(\zeta,r)\), \(W_{2}(\zeta,r)\) as in (20) and (21), respectively. It can be observed from (22) that

$$ \varTheta _{2}(\zeta,r)= \frac{V_{2}(\zeta,r)}{1+\mu (\zeta,r)V_{2}(\zeta,r)}. $$
(28)

Substituting (28) in (27), we acquire

$$\begin{aligned} A_{1}^{\Delta _{1}}(\zeta,r)&\leq \varTheta _{2}(\zeta,r) \bigl(A_{1}( \zeta,r)+\mu (\zeta,r)A_{1}^{\Delta _{1}}( \zeta,r) \bigr)+W_{2}( \zeta,r)A_{1}(\zeta,r) \\ &\leq \frac{V_{2}(\zeta,r)}{1+\mu (\zeta,r)V_{2}(\zeta,r)} \bigl(A_{1}( \zeta,r)+\mu ( \zeta,r)A_{1}^{\Delta _{1}}(\zeta,r) \bigr)+W_{2}( \zeta,r)A_{1}(\zeta,r), \end{aligned}$$

which implies

$$\begin{aligned} A_{1}^{\Delta _{1}}(\zeta,r)\leq{}& \bigl(V_{2}(\zeta,r)+W_{2}(\zeta,r)+ \mu (\zeta,r) V_{2}(\zeta,r)W_{2}(\zeta,r) \bigr)A_{1}( \zeta,r) \\ &{}+ \bigl(1+\mu (\zeta,r)V_{2}(\zeta,r) \bigr) \\ \leq{}& (V_{2}\oplus W_{2}) (\zeta,r)A_{1}( \zeta,r). \end{aligned}$$
(29)

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

$$\begin{aligned} A_{1}(\zeta,r)\leq {}&A_{1}(\zeta _{0},r)e_{V_{2}\oplus W_{2}}(\zeta, \zeta _{0}) \\ \leq{}& \biggl\{ y(S,R)+t(S,R) \int _{\zeta _{0}}^{S} \int _{r_{0}}^{R}\varPi (S,R,o, \varrho ) \bigl[u(o, \varrho )A_{1}(o,\varrho ) \\ &{}+H(o,\varrho ))A_{1}\bigl( \sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta o \biggr\} e_{V_{2} \oplus W_{2}}(\zeta, \zeta _{0}) \\ ={}&B(S,R) e_{V_{2}\oplus W_{2}}(\zeta,\zeta _{0}), \end{aligned}$$
(30)

where

$$\begin{aligned} B(S,R)={}&y(S,R) \\ &{}+t(S,R) \int _{\zeta _{0}}^{S} \int _{r_{0}}^{R}\varPi (S,R,o, \varrho ) \bigl[u(o, \varrho )A_{1}(o,\varrho )+H(o,\varrho ))A_{1}\bigl( \sigma (o),\varrho \bigr) \bigr]\Delta \varrho \Delta o \\ \leq{}& y(S,R)+t(S,R) \int _{\zeta _{0}}^{S} \int _{r_{0}}^{R}\varPi (S,R,o, \varrho ) \\ &{}\times \bigl[u(o,\varrho )B(S,R) e_{V_{2}\oplus W_{2}}(o,\zeta _{0})+H(o, \varrho ))B\bigl(\sigma (S),R\bigr) e_{V_{2}\oplus W_{2}}\bigl(\sigma (o),\zeta _{0}\bigr) \bigr]\Delta \varrho \Delta o \\ \leq {}&\frac{y(S,R)}{1-\varOmega t(S,R)}. \end{aligned}$$
(31)

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

$$\begin{aligned} x(\zeta,r)\leq{}& y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l( \zeta,r,o,\varrho ) \biggl[x(o, \varrho ) \\ &{}+ \int _{\zeta _{0}}^{o} \int _{r_{0}}^{\varrho } \bigl(u(n,k)x\bigl(\sigma (n),k \bigr)+z(n,k)x^{ \xi }(n,k)-c(n,k)x^{\psi }(n,k) \bigr)\Delta k \Delta n \biggr]\Delta \varrho \Delta o \\ &{}+ \int _{\zeta _{0}}^{S}m(\zeta,o,r)x(o,r)\Delta o,\quad (\zeta,r) \in \varUpsilon, \end{aligned}$$
(32)

with

$$ \int _{\zeta _{0}}^{S}m(S,o,r)e_{V_{3}\oplus W_{3}}(o,\zeta _{0}) \Delta o< 1. $$
(33)

Then

$$ x(\zeta,r)\leq \frac{y(S,r)}{1-\int _{\zeta _{0}}^{S}m(S,o,r)e_{V_{3}\oplus W_{3}}(o,\zeta _{0})\Delta o}e_{V_{3} \oplus W_{3}}(\zeta,\zeta _{0}), $$
(34)

where

$$\begin{aligned} & \varTheta _{3}(\zeta,r)= \int _{r_{0}}^{r}u(\zeta,\varrho )\Delta \varrho, \end{aligned}$$
(35)
$$\begin{aligned} &W_{3}(\zeta,r)= \int _{r_{0}}^{r}l\bigl(\sigma (\zeta ),r,\zeta,\varrho \bigr) \Delta \varrho + \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l^{\Delta _{2} \Delta _{1}}(\zeta,r,o,\varrho ) \Delta \varrho \Delta o \\ &\phantom{W_{3}(\zeta,r)=}{}+ \int _{r_{0}}^{r}H( \zeta,\varrho )\Delta \varrho, \end{aligned}$$
(36)
$$\begin{aligned} & V_{3}(\zeta,r)= \frac{\varTheta _{3}(\zeta,r)}{1-\mu (\zeta,r) \varTheta _{3}(\zeta,r)}. \end{aligned}$$
(37)

Proof

From (32) and Lemma 2.2, we have

$$\begin{aligned} x(\zeta,r)\leq {}&y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l( \zeta,r,o,\varrho ) \biggl[x(o, \varrho ) \\ &{}+ \int _{\zeta _{0}}^{o} \int _{r_{0}}^{\varrho } \bigl(u(n,k)x\bigl(\sigma (n),k \bigr)+H(n,k)x(n,k) \bigr)\Delta k \Delta n \biggr]\Delta \varrho \Delta o \\ &{}+ \int _{\zeta _{0}}^{S}m(\zeta,o,r)x(o,r)\Delta o. \end{aligned}$$
(38)

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

$$\begin{aligned} x^{\Delta _{1}}(\zeta,r)={}& \int _{r_{0}}^{r}l\bigl(\sigma (\zeta ),r, \zeta,\varrho \bigr) \biggl[x(\zeta,\varrho )+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{\varrho } \bigl(u(o,k)x\bigl(\sigma (o),k \bigr) \\ &{}+H(o,k)x(o,k) \Delta k \Delta o \bigr) \biggr]\Delta \varrho \\ &{}+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l^{\Delta _{2}\Delta _{1}}( \zeta,r,o,\varrho ) \biggl[x(o,\varrho ) \\ &{}+ \int _{\zeta _{0}}^{o} \int _{r_{0}}^{v} \bigl(u(n,k)x\bigl(\sigma (n),k \bigr)+H(n,k)x(n,k) \bigr)\Delta k \Delta n \biggr] \Delta \varrho \Delta o \\ \leq{}& \biggl[ \int _{r_{0}}^{r}l\bigl(\sigma (\zeta ),r,\zeta,\varrho \bigr) \Delta v+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l^{\Delta _{2} \Delta _{1}}(\zeta,r,o,\varrho ) \Delta \varrho \Delta o \biggr]A_{2}( \zeta,r), \end{aligned}$$
(39)

so that

$$ A_{2}(\zeta,r)=x(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r} \bigl(u(o,\varrho )x\bigl(\sigma (o), \varrho \bigr)+H(o,\varrho )x(o,\varrho ) \bigr)\Delta \varrho \Delta o $$
(40)

and

$$ x(\zeta,r)\leq A_{2}(\zeta,r). $$
(41)

From inequality (39), again by delta differentiating with respect to j and using (40) and (41), we get

$$\begin{aligned} A^{\Delta _{1}}_{2}(\zeta,r)&\leq W_{3}( \zeta,r)A_{2}(\zeta,r)+ \varTheta _{3}(\zeta,r)A_{2} \bigl(\sigma (\zeta ),r\bigr). \end{aligned}$$

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

$$ A_{2}(\zeta,r)\leq \biggl(y(\zeta,r)+ \int _{\zeta _{0}}^{S}m(\zeta,o,r)x(o,r) \Delta o \biggr)e_{V_{3}\oplus W_{3}}(\zeta,\zeta _{0}), $$

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

$$\begin{aligned} A_{2}(\zeta,r)&\leq \biggl(y(S,r)+ \int _{\zeta _{0}}^{P}m(S,o,r)x(o,r) \Delta o \biggr)e_{V_{3}\oplus W_{3}}(\zeta,\zeta _{0}) \\ &=B_{1}(S,r)e_{V_{3}\oplus W_{3}}(\zeta,\zeta _{0}), \end{aligned}$$
(42)

where

$$ B_{1}(S,r)=y(S,r)+ \int _{\zeta _{0}}^{S}m(S,o,r)x(o,r)\Delta o. $$

From the definition of \(B_{1}(\zeta,r)\), (41) and (42), we obtain

$$ B_{1}(S,r)\leq \frac{y(S,r)}{1-\int _{\zeta _{0}}^{S}m(S,o,r)e_{V_{3}\oplus W_{3}}(o,\zeta _{0})\Delta o}, $$
(43)

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.

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:

$$\begin{aligned} x(\zeta,r)={}&y(\zeta,r)+ \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}Y \bigl(o,\varrho,x(o,\varrho ) \bigr) \Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}P \bigl(\zeta,r,o, \varrho,x(o,\varrho ),x\bigl(\sigma (o),\varrho \bigr) \bigr)\Delta \varrho \Delta o \\ &{}+ \int _{\zeta _{0}}^{\zeta }T \bigl(o,r,x(o,r) \bigr)\Delta o, \end{aligned}$$
(44)

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

$$\begin{aligned} & \bigl\vert Y(\zeta,r,d) \bigr\vert \leq l(\zeta,r) \vert d \vert , \end{aligned}$$
(45)
$$\begin{aligned} &\bigl\vert P(\zeta,r,o,\varrho,d,h) \bigr\vert \leq \varPi ( \zeta,r,o,\varrho ) \bigl[u(o, \varrho ) \vert d \vert +z(o,\varrho ) \vert h \vert ^{\xi }-c(o,\varrho ) \vert h \vert ^{\psi } \bigr], \end{aligned}$$
(46)
$$\begin{aligned} &\bigl\vert T(\zeta,r,d) \bigr\vert \leq m(\zeta,r) \vert d \vert , \end{aligned}$$
(47)

for \((\zeta,r)\in \varUpsilon \), \(d,\varrho \in \mathbb{R}\), then \(x(\zeta,r)\) is a solution of (44) with

$$ \mu (\zeta,r)\varTheta (\zeta,r)< 1,\qquad \int _{\zeta _{0}}^{S}m(o,r)e_{V \oplus W}(o,\zeta _{0})\Delta o< 1, $$

and satisfies

$$\begin{aligned} \bigl\vert x(\zeta,r) \bigr\vert \leq{}& \bigl\vert y( \zeta,r) \bigr\vert + \frac{\int _{\zeta _{0}}^{S}m(o,r) [ \vert y(o,r) \vert +\int _{\zeta _{0}}^{o}e_{V\oplus W}(o,\sigma (\tau ))D(\tau,r)\Delta \tau ]\Delta a}{1-\int _{\zeta _{0}}^{S}m(o,r)e_{V\oplus W}(o,\zeta _{0})\Delta o}e_{V \oplus W}(\zeta,\zeta _{0}) \\ &{}+ \int _{\zeta _{0}}^{S}m(o,r)e_{V\oplus W}\bigl(\tau, \sigma (o)\bigr)\Delta o, \end{aligned}$$
(48)

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

$$\begin{aligned} \bigl\vert x(\zeta,r) \bigr\vert \leq{}& \biggl\vert y(\zeta,r)+ \int _{\zeta _{0}}^{S} \int _{r_{0)}}^{r}Y \bigl(o,\varrho,x(o,\varrho ) \bigr) \Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{p} \int _{r_{0}}^{r}P \bigl(\zeta,r,o, \varrho,x(o,\varrho ),x\bigl(\sigma (o),\varrho \bigr) \bigr)\Delta v \Delta o \\ &{}+ \int _{\zeta _{0}}^{\zeta }T \bigl(o,r,x(o,r) \bigr)\Delta o \biggr\vert \\ \leq{}& \bigl\vert y(\zeta,r) \bigr\vert + \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r} \bigl\vert Y \bigl(o,\varrho,x(o, \varrho ) \bigr) \bigr\vert \Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r} \bigl\vert P \bigl( \zeta,r,o, \varrho,x(o,\varrho ),x\bigl(\sigma (o),\varrho \bigr) \bigr) \bigr\vert \Delta \varrho \Delta o \\ &{}+ \int _{\zeta _{0}}^{\zeta } \bigl\vert T \bigl(o,r,x(o,r) \bigr) \bigr\vert \Delta o \\ \leq{}& \bigl\vert y(\zeta,r) \bigr\vert + \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o, \varrho ) \bigl\vert x(o,\varrho ) \bigr\vert \Delta \varrho \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}\varPi (\zeta,r,o, \varrho ) \bigl[u(o, \varrho ) \bigl\vert x(o,\varrho ) \bigr\vert +z(o,\varrho ) \bigl\vert x \bigl(\sigma (o), \varrho \bigr) \bigr\vert ^{\xi } \\ &{}-c(o,\varrho ) \bigl\vert x\bigl(\sigma (o),\varrho \bigr) \bigr\vert ^{\psi } \bigr] \Delta \varrho \Delta o \\ &{}+ \int _{\zeta _{0}}^{S}m(o,r) \bigl\vert x(o,r) \bigr\vert \Delta o. \end{aligned}$$
(49)

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:

$$\begin{aligned} & \bigl\vert Y(\zeta,r,d_{1})-Y(\zeta,r,d_{2}) \bigr\vert \leq l(\zeta,r) \vert d_{1}-d_{2} \vert , \end{aligned}$$
(50)
$$\begin{aligned} &\bigl\vert P(\zeta,r,o,\varrho,d_{1},h_{1})-P( \zeta,r,o,\varrho,d_{2},h_{2}) \bigr\vert \leq \varPi ( \zeta,r,o,\varrho ) \bigl[u(o,\varrho ) \vert d_{1}-d_{2} \vert \\ &\phantom{\bigl\vert P(\zeta,r,o,\varrho,d_{1},h_{1})-P( \zeta,r,o,\varrho,d_{2},h_{2}) \bigr\vert \leq}{}+z(o,\varrho ) \vert h_{1}-h_{2} \vert ^{\xi }-c(o,\varrho ) \vert h_{1}-h_{2} \vert ^{\psi } \bigr], \end{aligned}$$
(51)
$$\begin{aligned} &\bigl\vert T(\zeta,r,d_{1})-T(\zeta,r,d_{2}) \bigr\vert \leq m(\zeta,r) \vert d_{1}-d_{2} \vert , \end{aligned}$$
(52)

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

$$\begin{aligned} x_{1}(\zeta,r)-x_{2}(\zeta,r) ={}& \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r} \bigl[Y \bigl(o,\varrho,x_{1}(o, \varrho ) \bigr)-Y \bigl(o,\varrho,x_{2}(o, \varrho ) \bigr) \bigr] \Delta v \Delta o \\ &{}+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r} \bigl[P \bigl( \zeta,r,o, \varrho,x_{1}(o,\varrho ),x_{1}\bigl(\sigma (o),\varrho \bigr) \bigr) \\ &{}-P \bigl(\zeta,r,o,\varrho,x_{2}(o,\varrho ),x_{2}\bigl(\sigma (o), \varrho \bigr) \bigr) \bigr]\Delta \varrho \Delta o \\ &{}+ \int _{\zeta _{0}}^{\zeta } \bigl[T \bigl(o,r,x_{1}(o,r) \bigr)-T \bigl(o,r,x_{1}(o,r) \bigr) \bigr]\Delta o. \end{aligned}$$

From (50)–(52) used to the previous equation, we get

$$\begin{aligned} &\bigl\vert x_{1}(\zeta,r)-x_{2}(\zeta,r) \bigr\vert \\ &\quad \leq \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r}l(o,\varrho ) \bigl\vert x_{1}(o,\varrho )-x_{2}(o,\varrho ) \bigr\vert \Delta \varrho \Delta o+t(\zeta,r) \int _{\zeta _{0}}^{\zeta } \int _{r_{0}}^{r} \varPi (\zeta,r,o,\varrho ) \\ &\qquad{}\times \bigl[u(o,\varrho ) \bigl\vert x_{1}(o,\varrho )-x_{2}(o,\varrho ) \bigr\vert +z(o, \varrho ) \bigl\vert x_{1}\bigl(\sigma (o),\varrho \bigr)-x_{2}\bigl(\sigma (o), \varrho \bigr) \bigr\vert ^{\xi } \\ &\qquad{}-c(o,\varrho ) \bigl\vert x_{1}\bigl(\sigma (o),\varrho \bigr)-x_{2}\bigl(\sigma (o),\varrho \bigr) \bigr\vert ^{ \psi } \bigr]\Delta \varrho \Delta o \\ &\qquad{}+ \int _{\zeta _{0}}^{S}m(o,r) \bigl\vert x_{1}(o,r)-x_{2}(o,r) \bigr\vert \Delta o, \end{aligned}$$
(53)

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

$$ \bigl\vert x_{1}(\zeta,r)-x_{2}(\zeta,r) \bigr\vert \leq 0,\quad (\zeta,r)\in \varUpsilon. $$

Hence \(x_{1}(\zeta,r)=x_{2}(\zeta,r)\). Thus the dynamic equation (44) has one positive solution. □

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

  1. 1.

    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)

    MathSciNet  MATH  Google Scholar 

  2. 2.

    Kim, Y.H.: Gronwall, Bellman and Pachpatte type integral inequalities with applications. Nonlinear Anal., Theory Methods Appl. 71(12), e2641–e2656 (2009)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Khan, Z.: Further nonlinear version of inequalities and their applications. Filomat 33(18), 6005–6014 (2019)

    Google Scholar 

  4. 4.

    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)

    MathSciNet  MATH  Google Scholar 

  5. 5.

    Abdeljawad, T., Jarad, F., Baleanu, D.: Variational optimal-control problems with delayed arguments on time scales. Adv. Differ. Equ. 2009, 1 (2009)

    MathSciNet  MATH  Google Scholar 

  6. 6.

    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)

    MathSciNet  Google Scholar 

  7. 7.

    Abdeljawad, T., Alzabut, J.: The q fractional analogue for Gronwall-type inequality. J. Funct. Spaces Appl. 2013, 9 (2013)

    MathSciNet  MATH  Google Scholar 

  8. 8.

    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)

    MathSciNet  Google Scholar 

  9. 9.

    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)

    MathSciNet  Google Scholar 

  10. 10.

    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)

    MathSciNet  Google Scholar 

  11. 11.

    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)

    Google Scholar 

  12. 12.

    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)

    Google Scholar 

  13. 13.

    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)

    Google Scholar 

  14. 14.

    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)

    MathSciNet  Google Scholar 

  15. 15.

    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)

    MathSciNet  Google Scholar 

  16. 16.

    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)

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Jarad, F., Abdeljawad, T., Shah, K.: On the weighted fractional operators of a function with respect to another function. Fractals (2020)

  18. 18.

    Hilger, S.: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Khan, Z.: On some explicit bounds of integral inequalities related to time scales. Adv. Differ. Equ. 2019, 243 (2019)

    MathSciNet  MATH  Google Scholar 

  20. 20.

    Khan, Z.: Study on the estimates of Gronwall–Ou–Iang dynamic integral inequalities by means of diamond-α derivatives. Adv. Differ. Equ. 2020, 240 (2020)

    MathSciNet  Google Scholar 

  21. 21.

    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)

    MathSciNet  Google Scholar 

  22. 22.

    Pachpatte, D.B.: Explicit estimates on integral inequalities with time scales. J. Inequal. Pure Appl. Math. 7(4), 143 (2006)

    MathSciNet  MATH  Google Scholar 

  23. 23.

    Li, W.N.: Some Pachpatte type inequalities on time scales. Comput. Math. Appl. 57, 275–282 (2009)

    MathSciNet  MATH  Google Scholar 

  24. 24.

    Sun, Y.G., Hassan, T.: Some nonlinear dynamic integral inequalities on time scales. Appl. Math. Comput. 220(4), 221–225 (2013)

    MathSciNet  MATH  Google Scholar 

  25. 25.

    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)

    MathSciNet  MATH  Google Scholar 

  26. 26.

    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)

    MathSciNet  MATH  Google Scholar 

  27. 27.

    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)

    MathSciNet  MATH  Google Scholar 

  28. 28.

    Khan, Z.: Analysis on some powered integral inequalities with retarded argument and application. J. Taibah Univ. Sci. 14(1), 488–495 (2020)

    Google Scholar 

  29. 29.

    El-Deeb, A.A., Khan, Z.: Certain new dynamic nonlinear inequalities in two independent variables and applications. Bound. Value Probl. 2020(1), 31 (2020)

    MathSciNet  Google Scholar 

  30. 30.

    Bohner, M.: Partial differentiation on time scales. In: Multivariable Dynamic Calculus on Time Scales, pp. 303–447 (2016)

    Google Scholar 

  31. 31.

    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)

    MathSciNet  Google Scholar 

  32. 32.

    Bohner, M., Georgiev, S.G.: Multivariable Dynamic Calculus on Time Scales. Springer, Cham (2016)

    Google Scholar 

  33. 33.

    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)

    MathSciNet  Google Scholar 

  34. 34.

    Li, W.N.: Some delay integral inequalities on time scales. Comput. Math. Appl. 59, 1929–1936 (2010)

    MathSciNet  MATH  Google Scholar 

  35. 35.

    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)

    MathSciNet  MATH  Google Scholar 

  36. 36.

    Li, W.N.: Some integral inequalities useful in the theory of certain dynamic equations on time scales. Comput. Math. Appl. 61, 1754–1759 (2011)

    MathSciNet  MATH  Google Scholar 

  37. 37.

    Li, W.N., Sheng, W.: Some Gronwall type inequalities on time scales. J. Math. Inequal. 4(1), 67–76 (2010)

    MathSciNet  MATH  Google Scholar 

Download references

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

Affiliations

Authors

Contributions

The authors contributed equally in writing the final version of this article. All authors read and approved the final manuscript.

Corresponding authors

Correspondence to Fahd Jarad or Aziz Khan.

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/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

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

Download citation

MSC

  • 26D10
  • 26D15
  • 26E70

Keywords

  • Integral inequalities
  • Time scales
  • Nondecreasing
  • Dynamic equations