Abstract
The main objective of the present article is to prove some new delay nonlinear dynamic inequalities of Gronwall–Bellman–Pachpatte type on time scales. We introduce very important generalized results with the help of Leibniz integral rule on time scales. For some specific time scales, we further show some relevant inequalities as special cases: integral inequalities and discrete inequalities. Our results can be used as handy tools for the study of qualitative and quantitative properties of solutions of dynamic equations on time scales. Some examples are provided to demonstrate the applications of the results.
Similar content being viewed by others
1 Introduction
In 1919 Thomas Gronwall [1] discovered a vital inequality, which can be used as an effective tool in the study of existence, uniqueness, boundedness, stability, and other qualitative properties of solutions of certain nonlinear differential and difference equations. The Gronwall inequality is stated as follows: If u is a continuous function defined on the interval \(D=[a,a +h]\) and
where a, ξ, ζ, and h are nonnegative constants, then
In 1943, Richard Bellman [2] proved the fundamental inequality, named Gronwall–Bellman’s inequality, as a generalization for Gronwall’s inequality. He proved that: If u and f are continuous and nonnegative functions defined on \([a,b]\), and let c be a nonnegative constant, then the inequality
implies that
As a generalization of (1.1), Bellman himself [3] proved that: If u, f, a, \(\in C(\mathbb{R}_{+},\mathbb{R}_{+})\) and a is nondecreasing, then the inequality
implies
The discrete version of (1.2) was studied by Pachpatte in [4]. In particular, he proved that: If \(\Omega (n)\), \(f(n)\), \(\gamma (n)\) are nonnegative sequences defined for \(n\in \mathbb{N}_{0}\), and \(f(n)\) is nondecreasing for \(n\in \mathbb{N}_{0}\), then
implies
In [5], Pachpatte studied the following inequalities:
and
where Ω, a, b, g, h and \(c\in \mathcal{C}(\mathbb{R}\mathbbm{_{+}},\mathbb{R}\mathbbm{_{+}})\), \(k(t,s)\) and its partial derivative \(\frac{\partial k(t,s)}{\partial t}\) are real-valued nonnegative continuous functions for \(0\leq s\leq t\leq \infty \), \(f:\mathbb{R}_{+}\times \mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\) is a continuous function, and \(p>1\) is a constant.
On the other hand, also in [5], Pachpatte investigated the following discrete analogues of (1.4), (1.5), and (1.6):
where \(\Omega (n)\), \(a(n)\), \(b(n)\), \(g(n)\), \(h(n)\), and \(c(n)\) are real-valued nonnegative sequences, \(F: \mathbb{N}_{0}\times \mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\), and \(k(n,s)\), \(\Delta _{1}k(n,s)\) are real-valued nonnegative functions for \(n_{0}\leq s\leq n\), \(n\in \mathbb{N}_{0}\).
In 2014, El-Owaidy et al. [6] proved the following new form:
In the same paper [6], the authors also studied the following inequality:
where Ω, ϵ, \(\varepsilon \in \mathcal{C}(I_{1},\mathbb{R}\mathbbm{_{+}})\), \(\alpha ,\in \mathcal{C}^{1}(I_{1},I_{1})\) are nondecreasing functions, with \(\alpha _{i}(t)\leq t\), \(\alpha _{i}(a)=a\), \(\alpha _{i}^{\prime }(t)\geq 0\), \(i=1,2\), and \(w_{i}\in (\mathbb{R}_{+},\mathbb{R}_{+})\) is a nondecreasing function, and \(k(t,s)\in \mathcal{C}(I_{1}\times I_{1},\mathbb{R}\mathbbm{_{+}})\) with \(\frac{\partial k(t,s)}{\partial t}\in \mathcal{C}(I_{1}\times I_{1}, \mathbb{R}\mathbbm{_{+}})\).
In 2015, Abdeldaim and El-Deeb [7] discussed the new form:
where γ, \(\epsilon \in \mathcal{C}(\mathbb{R}_{+},\mathbb{R}_{+})\) and φ, \(\varphi '\), \(\alpha \in \mathcal{C}^{1}(\mathbb{R}_{+},\mathbb{R}_{+})\) are increasing functions, with \(\varphi '(t)\leq k\), \(\varphi >0\), \(\alpha (t)\leq t\), \(\alpha (0)=0\) and k, \(\Omega _{0}\) are positive constants.
In the same paper [7], by using the composite function, the authors introduced a new inequality with a different kernel as follows:
where \(\varphi _{1}\), \(\varphi _{2}\), \(\alpha \in \mathcal{C}^{1}(\mathbb{R}_{+},\mathbb{R}_{+})\) are increasing functions with \(\alpha (t)\leq t\), \(\varphi _{i}(t)>0\), \(i=1,2\), \(\alpha (0)=0\) and \(\varphi _{1}'(t)=\varphi _{2}(t)\), \(p\geq 1\) and \(\Omega _{0}\) are positive constants.
In [8], one of the new generalizations of Gronwall type inequalities has been proved by Abdeldaim and El-Deeb, and it can be written as follows:
with \(\alpha (t)\leq t\), \(\varphi _{i}(t)>0\), \(i=1,2\), \(\alpha (0)=0\), \(\varphi _{1}'(t)=\varphi _{2}(t)\), and \(\varphi _{1}^{-1}(t)\) is a submultiplicative function and \(\Omega _{0}\) is a positive constant.
Recently, in 2017, El-Deeb and Ahmed [9] studied the following inequality with retardation \(\alpha (t)\leq t\):
where Ω, γ, \(\epsilon \in \mathcal{C}([a,b],\mathbb{R}_{+})\) and α, \(c\in \mathcal{C}^{1}([a,b],\mathbb{R}_{+})\) with \(\alpha (t)\leq t\), \(\alpha (a)=0\) and \(p\geq 1\) is a constant.
Lately, in 2019, Li and Wang [10] established the following inequality:
where Ω, a, γ, \(\epsilon \in \mathcal{C}(\mathbb{R}_{+},\mathbb{R}_{+})\) and α is a continuously differentiable nondecreasing function on \([t_{0},+\infty )\) with \(\alpha (t)\leq t\), \(\alpha (t_{0})=0\) and p, m, \(n\in (0,1]\) are positive constants.
Many generalizations, refinements, and extensions of Gronwall–Bellman type inequalities can be found in [11–17].
Stefan Hilger was the first to discover the theory of time scales which he demonstrated in his PhD thesis [18]. For further information and details on the time scales, we refer the reader to books [19, 20]. Many dynamic inequalities have been investigated by different authors during the past decade (see [21–40] and the references cited therein). Throughout this paper, knowledge and understanding of the time scales notion and time scale calculus are assumed.
In [35, Theorem 6.4, page 256], Bohner and Peterson introduced a dynamic inequality on a time scale \(\mathbb{T}\) which unifies the continuous version inequality (1.2) and the discrete version inequality (1.3) as follows: If Ω, ζ are right dense continuous functions and \(\gamma \geq 0\) is a regressive and right-dense continuous function, then
implies
In this paper, motivated by the above-mentioned inequalities, we prove some new delay dynamic inequalities of Gronwall–Bellman–Pachpatte type on time scales. Some special cases of our results contain continuous Gronwall type inequalities and their discrete analogues. We also present some application examples to illustrate our results at the end. The paper is organized as follows: Sect. 2 contains the main results of this paper. In Sect. 3, an application to study some qualitative properties of the solutions of certain retarded dynamic equations are demonstrated. In Sect. 4, we state the conclusion.
Before we arrive at the main results in the next section, we need the following lemmas and essential relations on some time scales such as \(\mathbb{R}\), \(\mathbb{Z}\), \(h \mathbb{Z}\), and \(\overline{q^{\mathbb{Z}}}\). Note that:
-
(i)
If \(\mathbb{T}=\mathbb{R}\), then
$$ \begin{aligned} &\sigma (\tau )=\tau , \qquad \mu (\tau )=0,\qquad f^{\Delta }(\tau )=f'( \tau ), \\ &\int _{a}^{b}f(\tau )\Delta \tau = \int _{a}^{b}f(\tau )\,d\tau ; \end{aligned}$$(1.8) -
(ii)
If \(\mathbb{T}=\mathbb{Z}\), then
$$ \begin{aligned} &\sigma (\tau )=\tau +1, \qquad \mu (\tau )=1,\qquad f^{\Delta }(\tau )= \Delta f(\tau ), \\ &\int _{a}^{b}f(\tau )\Delta \tau =\sum _{\tau =a}^{b-1}f( \tau ); \end{aligned}$$(1.9) -
(iii)
If \(\mathbb{T}=\overline{q^{\mathbb{Z}}}=\{q^{k}: k\in \mathbb{Z}\}\cup \{0\}\), \(q>1\), then
$$ \begin{aligned} &\sigma (\tau )=q\tau ,\qquad \mu (\tau )=(q-1)\tau , \\ &\int _{a}^{b}f( \tau )\Delta \tau =(q-1)\sum _{k=\log _{q}(a)}^{\log _{q}(b)-1}q^{k}f \bigl(q^{k}\bigr), \quad \forall a,b \in q^{\mathbb{N}_{0}}. \end{aligned}$$(1.10)
If \(\lambda \in C_{rd}(\mathbb{T})\) (see [35]), then the Cauchy integral \(\Lambda (\tau ) :=\int _{\tau _{0}}^{\tau } \lambda (s)\Delta s\) exists, \(\tau _{0} \in \mathbb{T}\), and satisfies \(\Lambda ^{\Delta }(\tau ) = \lambda (\tau )\), \(\tau \in \mathbb{T}\). An infinite integral follows
The function \(\eta : \mathbb{T}\rightarrow \mathbb{R}\) is called regressive provided \(1+\mu (t)\eta (t)\neq 0\) for all \(t\in \mathbb{T}^{\kappa }\). The set of all positively regressive elements of ℜ is \(\Re ^{+}=\{\eta \in \Re : 1+\mu (t)\eta (t)>0,\forall t\in \mathbb{T}\}\). We form an Abelian group under the addition ⊕ by the set of all regressive functions on a time scale \(\mathbb{T}\) by \(\eta \oplus \zeta =\eta +\zeta +\mu \eta \zeta \). If \(\eta \in \Re \), then the exponential function is defined by
where \(\hat{\xi }_{\hat{h}}(z)\) is the cylinder transformation, which is defined by
If \(\eta \in \Re \), then \(e_{\eta }(\tau ,s)\) is real-valued and nonzero on \(\mathbb{T}\). If \(\eta \in \Re ^{+}\), then \(e_{\eta }(\tau ,\tau _{0})\) is always positive.
Note that:
-
If \(\mathbb{T}=\mathbb{R}\), then
$$ e_{b}(\tau ,\tau _{0})=\exp \biggl( \int _{\tau _{0}}^{\tau }b(s)\,ds \biggr). $$(1.11) -
If \(\mathbb{T}=\mathbb{Z}\), then
$$ e_{b}(\tau ,\tau _{0})=\prod _{s=\tau _{0}}^{\tau -1} \bigl(1+b(s) \bigr). $$(1.12) -
If \(\mathbb{T}=q^{\mathbb{N}_{0}}\), then
$$ e_{b}(\tau ,\tau _{0})=\prod _{s=\tau _{0}}^{\tau -1} \bigl(1+(q-1)sb(s) \bigr). $$(1.13)
Lemma 1.1
([41])
If \(\eta \in \Re \) and a, b, \(d \in \mathbb{T}\), then
-
1.
\(e_{\eta }(\tau ,\tau )=1\) and \(e_{0}(\tau ,s)=1\);
-
2.
\(e_{\eta }(\sigma (\tau ),s)=(1+\mu (\tau )\eta (\tau ))e_{\eta }(\tau ,s)\);
-
3.
If \(\eta \in \Re ^{+}\), then \(e_{\eta }(\tau ,\tau _{0})>0\), \(\forall \tau \in \mathbb{T}\);
-
4.
\(\int _{a}^{b}\eta (\tau )e_{\eta }(d,\sigma (\tau ))\Delta \tau =- \int _{a}^{b}[e_{\eta }(d,\cdot )]^{\Delta }\Delta \tau =e_{\eta }(d,a)-e_{\eta }(d,b)\).
Lemma 1.2
(See [41])
Let \(\chi :\mathbb{T}\rightarrow \mathbb{R}\) be a delta differentiable function. If \(\eta \in \Re \) and fix \(t_{0}\in \mathbb{T}\), then the exponential function \(e_{\eta }(t,t_{0})\) is the unique solution of the following initial value problem:
Lemma 1.3
(See [41])
Let \(t_{0}\in \mathbb{T}^{\kappa }\) and \(\varsigma :\mathbb{T} \times \mathbb{T}^{\kappa }\rightarrow \mathbb{R}\) be continuous at \((t,t)\), where \(t>t_{0}\) and \(t\in \mathbb{T}^{\kappa }\). Assume that \(\varsigma ^{\Delta }(t,\cdot )\) is rd-continuous on \([t_{0},\sigma (t)]_{\mathbb{T}}\). If for any \(\varepsilon > 0\) there exists a neighborhood U of t, independent of \(\lambda \in [t_{0},\sigma (t)]_{\mathbb{T}}\), such that
where \(\varsigma ^{\Delta }\) denotes the derivative of ς with respect to the first variable, then
implies
Lemma 1.4
([41])
Suppose χ, \(b\in C_{rd}\), \(a\in \Re ^{+}\), then
implies
Lemma 1.5
([42])
If \(x\geq 0\) and \(p\geq 1\), then
where \(m_{1}=\frac{1}{p}K^{(1-p)/p}\), \(m_{2}=\frac{p-1}{p}K^{1/p}\), and \(K>0\).
Theorem 1.6
([43, Leibniz integral rule on time scales])
In the following, by \(f^{\Delta }(t,s)\) we mean the delta derivative of \(f(t,s)\) with respect to t. Similarly, \(f^{\nabla }(t,s)\) is understood. If f, \(f^{\Delta }\), and \(f^{\nabla }\) are continuous and \(u,h:\mathbb{T}\rightarrow \mathbb{T}\) are delta differentiable functions, then the following formulas hold \(\forall t\in \mathbb{T^{\kappa }}\):
-
(i)
\([ \int ^{h(t)}_{u(t)}f(t,s)\Delta s ]^{\Delta }= \int ^{h(t)}_{u(t)}f^{\Delta }(t,s)\Delta s + h^{\Delta }(t)f(\sigma (t),h(t))- u^{\Delta }(t)f(\sigma (t),u(t))\);
-
(ii)
\([ \int ^{h(t)}_{u(t)}f(t,s)\Delta s ]^{\nabla }= \int ^{h(t)}_{u(t)}f^{\nabla }(t,s)\Delta s + h^{\nabla }(t)f(\rho (t),h(t))- u^{\nabla }(t)f(\rho (t),u(t))\);
-
(iii)
\([ \int ^{h(t)}_{u(t)}f(t,s)\nabla s ]^{\Delta }= \int ^{h(t)}_{u(t)}f^{\Delta }(t,s)\nabla s + h^{\Delta }(t)f(\sigma (t),h(t))- u^{\Delta }(t)f(\sigma (t),u(t)) \);
-
(iv)
\([ \int ^{h(t)}_{u(t)}f(t,s)\nabla s ]^{\nabla }= \int ^{h(t)}_{u(t)}f^{\nabla }(t,s)\nabla s + h^{\nabla }(t)f(\rho (t),h(t))- u^{\nabla }(t)f(\rho (t),u(t)) \).
2 Main results
In this section, the authors state and justify the main results and investigate some dynamic Gronwall–Bellman inequalities on time scales.
Theorem 2.1
Let \(a,b\in \mathbb{T}^{k}\) with \(a< b\), and let ℑ, f, g, \(c \in C_{rd}([a,b]_{\mathbb{T}},\mathbb{R}\mathbbm{_{+}})\) and \(\alpha :\mathbb{T}\rightarrow \mathbb{T}\). Furthermore, assume that α and c are delta-differentiable on \(\mathbb{T}\) with \(c^{\Delta }(t)\geq 0\), \(\alpha ^{\Delta }(t)\geq 0\), \(\alpha (t)\leq t\) and \(\alpha (a)=a\). For any constant \(p\geq 1\), if
then
where
such that
and
where \(m_{1}\), \(m_{2}\) are defined as in Lemma 1.5.
Proof
Define a function \(\chi _{1}(t)\) by
We notice that \(\chi _{1}(t)\geq 0\) and nondecreasing on \([a,b]_{\mathbb{T}}\). Since \(\alpha (a)=a\), we get that
Then from (2.1), (2.6) and by using the monotonicity of \(\chi _{1}(t)\), we get
which implies
From (2.6), (2.8) and using Theorem 1.6, we have
Therefore, using (2.9) and Lemma 1.5, we get that
where \(\Gamma _{1}(t)\) and \(\ell _{1}(t)\) are defined as in (2.4) and (2.5), respectively.
Now an application of Lemma 1.4 to (2.10) yields
From (2.8) and (2.11), we get that
From (2.7) and (2.12), we have
Thus, from (2.13), we obtain
where \(\Lambda _{1}\) is defined as in (2.3).
Then we get the desired inequality (2.2) by combining (2.12) and (2.14). This completes the proof. □
Remark 2.2
If we take \(\mathbb{T}=\mathbb{R}\), \(\alpha (t)=t\), and \(p=1\), then, using relations (1.8), Theorem 2.1 reduces to [44, Theorem 1.5.1].
Remark 2.3
If we take \(\mathbb{T}=\mathbb{R}\) and \(\alpha (t)=t\), then, using relations (1.8), Theorem 2.1 reduces to [45, Theorem 2.1].
Remark 2.4
If we take \(\mathbb{T}=\mathbb{R}\), then, using relations (1.8), Theorem 2.1 reduces to [9, Theorem 2.1].
As a special case of Theorem 2.1, if we take \(\mathbb{T}=\mathbb{Z}\) and the delay function \(\alpha (n)=n-\tau \), where \(\tau >0\), and so \(\Delta \alpha (n)=1>0\), then, using relations (1.9) and (1.12), we obtain the following completely new discrete result.
Corollary 2.5
Assume that \(\Im (n)\), \(g(n)\), \(c(n)\), and \(f(n)\) are nonnegative sequences defined for \(n\in \mathbb{N}_{0}\), with \(\Delta c(n)\geq 0\) for \(n\in \mathbb{N}_{0}\). If \(\Im (n)\) satisfies the following delay discrete inequality:
then
where
such that
and
Theorem 2.6
Let \(a,b\in \mathbb{T}^{k}\) with \(a< b\), and let ℑ, \(g, c \in C_{rd}([a,b]_{\mathbb{T}},\mathbb{R}\mathbbm{_{+}})\) and \(\alpha :\mathbb{T}\rightarrow \mathbb{T}\). Further, assume that α and c are delta-differentiable on \(\mathbb{T}\) with \(c^{\Delta }(t)\geq 0\), \(\alpha ^{\Delta }(t)\geq 0\), \(\alpha (t)\leq t\), and \(\alpha (a)=a\). Moreover, assume that \(k(t,s)\), \(k^{\Delta }(t,s) \in C_{rd}([a,b]_{\mathbb{T}}\times [a,b]_{\mathbb{T}}, \mathbb{R}_{+})\) for \(a\leq s\leq t\leq b\). For any constant \(p\geq 1\), if
then
where
such that
and
where \(m_{1}\), \(m_{2}\) are defined as in Lemma 1.5.
Proof
Define a function \(\chi _{2}(t)\) by
Clearly, \(\chi _{2}(t)\) is nonnegative nondecreasing on \([a,b]_{\mathbb{T}}\). As \(\alpha (a)=a\), we have
Then from (2.15), (2.19) and by using the monotonicity of \(\chi _{2}(t)\), we obtain
Using Theorem 1.6 to delta differentiating (2.19) and from (2.21), we get
Using Lemma 1.5, inequality (2.22) can be rewritten as
where \(\ell _{2}(t)\) and \(\Gamma _{2}(t)\) are defined as in (2.18) and (2.17), respectively.
Now, applying Lemma 1.4 to (2.23) yields
From (2.21) and (2.24), we get that
From (2.20) and (2.25), we have
Thus, from (2.26) we obtain
Our desired result (2.16) follows directly from (2.25) and (2.27). This concludes the proof. □
Remark 2.7
If we take \(\mathbb{T}=\mathbb{R}\), \(\alpha (t)=t\), and \(p=1\), then, using relations (1.8), Theorem 2.6 reduces to [44, Theorem 1.5.2 \((b_{1})\)].
Remark 2.8
If we take \(\mathbb{T}=\mathbb{R}\) and \(\alpha (t)=t\), then, using relations (1.8), Theorem 2.6 reduces to [45, Theorem 2.3].
Remark 2.9
If we take \(\mathbb{T}=\mathbb{R}\), then, using relations (1.8), Theorem 2.6 reduces to [9, Theorem 2.2].
As a special case of Theorem 2.6, if we take \(\mathbb{T}=\mathbb{Z}\) and the delay function \(\alpha (n)=n-\tau \), where \(\tau >0\), and so \(\Delta \alpha (n)=1>0\), then, using relations (1.9) and (1.12), we obtain the following completely new discrete result.
Corollary 2.10
Assume that \(\Im (n)\), \(g(n)\), \(c(n)\) \(\alpha (n)\), and \(f(n)\) are nonnegative sequences defined for \(t\in \mathbb{N}_{0}\), with \(\Delta c(n)\geq 0\) and \(k(n,s)\), \(\Delta k(n,s)\) are nonnegative sequences defined on \(E=\{(m,n)\in \mathbb{N}_{0}^{2}: 0\leq n \leq m< \infty \}\). If \(\Im (n)\) satisfies the following delay discrete inequality
then
where
such that
and
Theorem 2.11
Assume that \(a, b\in \mathbb{T}^{k}\) with \(a< b\), and let ℑ, α, and c be defined as in Theorem 2.6. Further, suppose that \(k_{1}(t,s)\), \(k_{2}(t,s)\), \(k_{1}^{\Delta }(t,s)\), and \(k_{2}^{\Delta }(t,s) \in C_{rd}([a,b]_{\mathbb{T}}\times [a,b]_{\mathbb{T}}, \mathbb{R}\mathbbm{_{+}})\) for \(a\leq s\leq t\leq b\). For any constant \(p\geq 1\), if
then
where
such that
and
where \(m_{1}\), \(m_{2}\) are defined as in Lemma 1.5.
Proof
Define a function \(\chi _{3}(t)\) by
We notice that \(\chi _{3}(t)\) is nonnegative nondecreasing on \([a,b]_{\mathbb{T}}\). Since \(\alpha (a)=a\), we get that
Then from (2.28), (2.32) and by using the monotonicity of \(\chi _{1}(t)\), we obtain
which implies
From (2.32), (2.34) and by using Theorem 1.6, we have
By applying Lemma 1.5 to (2.35), we get
Therefore, using Lemma (1.4) in (2.36), we get that
Combining (2.34) and (2.37) yields
From (2.33) and (2.38), we have
Therefore, from (2.39) we obtain
where \(\Lambda _{3}\) is defined as in (2.30).
We obtain the desired inequality (2.29) by combining (2.38) and (2.40). The proof is complete. □
Remark 2.12
If we take \(\mathbb{T}=\mathbb{R}\), \(\alpha (t)=t\), \(p=1\), then, using relations (1.8), Theorem 2.6 reduces to [44, Theorem 1.5.2 \((b_{2})\)].
Remark 2.13
If we take \(\mathbb{T}=\mathbb{R}\) and \(\alpha (t)=t\), then, using relations (1.8), Theorem 2.6 reduces to [45, Theorem 2.3].
Remark 2.14
If we take \(\mathbb{T}=\mathbb{R}\), then, using relations (1.8), Theorem 2.6 reduces to [9, Theorem 2.3].
As a special case of Theorem 2.11, if we take \(\mathbb{T}=\mathbb{Z}\) and the delay function \(\alpha (n)=n-\tau \), where \(\tau >0\), and so \(\Delta \alpha (n)=1>0\), then, using relations (1.9) and (1.12), we obtain the following completely new discrete result.
Corollary 2.15
Assume that \(\Im (n)\), \(g(n)\), \(c(n)\), and \(\alpha (n)\) are nonnegative sequences defined for \(t\in \mathbb{N}_{0}\), with \(\Delta c(n)\geq 0\) and \(k_{1}(n,s)\), \(k_{2}(n,s)\), \(\Delta k_{1}(n,s)\), \(\Delta k_{2}(n,s)\) are nonnegative sequences defined on \(E=\{(m,n)\in \mathbb{N}_{0}^{2}: 0\leq n \leq m< \infty \}\). If \(\Im (n)\) satisfies the following delay discrete inequality:
then
where
such that
and
3 Applications
In this section, by using Theorem 2.11, we demonstrate the global existence of solutions for a class of nonlinear retarded dynamic integral equations of the form
where \(\Upsilon \in C_{rd}([a,b]_{\mathbb{T}}\times \mathbb{R}\mathbbm{_{+}}\times \mathbb{R}\mathbbm{_{+}},\mathbb{R}\mathbbm{_{+}})\).
Now, in the following theorem, we obtain the explicit estimates for the solution of (3.1).
Theorem 3.1
Consider the retarded dynamic integral equation (3.1), and assume the following:
where ℑ, c, h, \(\in C_{rd}([a,b]_{\mathbb{T}},\mathbb{R}\mathbbm{_{+}})\), c is delta-differentiable on \(\mathbb{T}^{k}\) with \(c^{\Delta }(t)\geq 0\), \(k_{1}(t,s)\), \(k_{1}^{\Delta }(t,s)\), \(k_{2}(t,s)\), \(k_{2}^{\Delta }(t,s) \in C_{rd}([a,b]_{\mathbb{T}}\times [a,b]_{\mathbb{T}}, \mathbb{R}\mathbbm{_{+}})\) for \(a\leq s\leq t\leq b\) and \(p\geq 1\) is a constant. Then we have the explicit bound estimation for the solution ℑ of (3.1) as follows:
where
such that
and
where \(m_{1}\), \(m_{2}\) are defined as in Lemma 1.5.
Proof
Now, applying Theorem 2.11 to inequality (3.4), we get
which is the desired estimation in (3.3). This completes the proof. □
4 Conclusion
First, we introduced Theorem 1.6 which was needed in the proofs of the rest of results. Second, we generalized a number of Gronwall–Pachpatte type inequalities, in two independent variables, to a general time scale. We applied our results to study the uniqueness and global existence of solutions for a class of nonlinear retarded Volterra–Fredholm dynamic integral equations.
Availability of data and materials
Not applicable.
References
Gronwall, T.H.: Note on the derivatives with respect to a parameter of the solutions of a system of differential equations. Ann. Math. (2) 20(4), 292–296 (1919)
Bellman, R.: The stability of solutions of linear differential equations. Duke Math. J. 10, 643–647 (1943)
Bellman, R.: Asymptotic series for the solutions of linear differential-difference equations. Rend. Circ. Mat. Palermo 7, 1–9 (1958)
Pachpatte, B.G.: On some fundamental integral inequalities and their discrete analogues. J. Inequal. Pure Appl. Math. 2(2), 1–13 (2001)
Pachpatte, B.G.: On some new inequalities related to a certain inequality arising in the theory of differential equations. J. Math. Anal. Appl. 251(2), 736–751 (2000)
Abdeldaim, A., El-Deeb, A.A.: Some new retarded nonlinear integral inequalities with iterated integrals and their applications in retarded differential equations and integral equations. J. Fract. Calc. Appl. 5(suppl. 3S), 9 (2014)
Abdeldaim, A., El-Deeb, A.A.: On some generalizations of certain retarded nonlinear integral inequalities with iterated integrals and an application in retarded differential equation. J. Egypt. Math. Soc. 23(3), 470–475 (2015)
Abdeldaim, A., El-Deeb, A.A.: On generalized of certain retarded nonlinear integral inequalities and its applications in retarded integro-differential equations. Appl. Math. Comput. 256, 375–380 (2015)
El-Deeb, A.A., Ahmed, R.G.: On some generalizations of certain nonlinear retarded integral inequalities for Volterra–Fredholm integral equations and their applications in delay differential equations. J. Egypt. Math. Soc. 25(3), 279–285 (2017)
Li, Z., Wang, W.-S.: Some nonlinear Gronwall–Bellman type retarded integral inequalities with power and their applications. Appl. Math. Comput. 347(2), 839–852 (2019)
El-Deeb, A.A.: A variety of nonlinear retarded integral inequalities of Gronwall type and their applications. In: Advances in Mathematical Inequalities and Applications, pp. 143–164. Springer, Berlin (2018)
El-Deeb, A.A., Ahmed, R.G.: On some explicit bounds on certain retarded nonlinear integral inequalities with applications. Adv. Inequal. Appl. 2016, Article ID 15 (2016)
El-Owaidy, H.M., Ragab, A.A., Eldeeb, A.A., Abuelela, W.M.K.: On some new nonlinear integral inequalities of Gronwall–Bellman type. Kyungpook Math. J. 54(4), 555–575 (2014)
Abdeldaim, A., El-Deeb, A.A.: On some new nonlinear retarded integral inequalities with iterated integrals and their applications in integro-differential equations. Br. J. Math. Comput. Sci. 5(4), 479–491 (2015)
El-Owaidy, H., Abdeldaim, A., El-Deeb, A.A.: On some new retarded nonlinear integral inequalities and their applications. Math. Sci. Lett. 3(3), 157 (2014)
Abdeldaim, A., El-Deeb, A.A.: Some new retarded nonlinear integral inequalities with iterated integrals and their applications in retarded differential equations and integral equations. J. Fract. Calc. Appl. 5(suppl. 3S), 9 (2014)
El-Deeb, A.A.: On Integral Inequalities and their Applications Lambert. LAP Lambert Acad. Pub. (2017)
Hilger, S.: Analysis on measure chains–a unified approach to continuous and discrete calculus. Results Math. 18(1–2), 18–56 (1990)
Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)
Bohner, M., Erbe, L., Peterson, A.: Oscillation for nonlinear second order dynamic equations on a time scale. J. Math. Anal. Appl. 301(2), 491–507 (2005)
Saker, S.H., Osman, M.M., O’Regan, D., Agarwal, R.P.: Hardy-type operators with general kernels and characterizations of dynamic weighted inequalities. In: Annales Polonici Mathematici, vol. 126, pp. 55–78. Instytut Matematyczny Polskiej Akademii Nauk (2021)
Saker, S.H., Osman, M.M., Anderson, D.R.: On a new class of dynamic Hardy-type inequalities and some related generalizations. Aequ. Math., 1–21 (2021)
Saker, S.H., Osman, M.M., O’Regan, D., Agarwal, R.P.: Characterizations of reverse dynamic weighted Hardy-type inequalities with kernels on time scales. Aequ. Math. 95(1), 125–146 (2021)
Saker, S.H., Osman, M.M., Anderson, D.R.: Two weighted norm dynamic inequalities with applications on second order half-linear dynamic equations. Qual. Theory Dyn. Syst. 21(1), 1–26 (2022)
El-Deeb, A.A., Xu, H., Abdeldaim, A., Wang, G.: Some dynamic inequalities on time scales and their applications. Adv. Differ. Equ. 2019, 130 (2019)
El-Deeb, A.A.: On some generalizations of nonlinear dynamic inequalities on time scales and their applications. Appl. Anal. Discrete Math. (to appear)
Tian, Y., El-Deeb, A.A., Meng, F.: Some nonlinear delay Volterra–Fredholm type dynamic integral inequalities on time scales. Discrete Dyn. Nat. Soc. 2018, Article ID 5841985 (2018)
El-Deeb, A.A., Cheung, W.-S.: A variety of dynamic inequalities on time scales with retardation. J. Nonlinear Sci. Appl. 11(10), 1185–1206 (2018)
El-Deeb, A.A., Elsennary, H.A., Nwaeze, E.R.: Generalized weighted Ostrowski, trapezoid and Grüss type inequalities on time scales. Fasc. Math. 60, 123–144 (2018)
Abdeldaim, A., El-Deeb, A.A., Agarwal, P., El-Sennary, H.A.: On some dynamic inequalities of Steffensen type on time scales. Math. Methods Appl. Sci. 41(12), 4737–4753 (2018)
El-Deeb, A.A.: Some Gronwall–Bellman type inequalities on time scales for Volterra-Fredholm dynamic integral equations. J. Egypt. Math. Soc. 26(1), 1–17 (2018)
Saker, S.H., El-Deeb, A.A., Rezk, H.M., Agarwal, R.P.: On Hilbert’s inequality on time scales. Appl. Anal. Discrete Math. 11(2), 399–423 (2017)
El-Deeb, A.A., El-Sennary, H.A., Khan, Z.A.: Some Steffensen-type dynamic inequalities on time scales. Adv. Differ. Equ. 2019, 246 (2019)
KH, F.M., El-Deeb, A.A., Abdeldaim, A., Khan, Z.A.: On some generalizations of dynamic Opial-type inequalities on time scales. Adv. Differ. Equ. 2019, 323 (2019)
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales. Birkhäuser, Boston (2001) An introduction with applications
Saker, S.H., O’Regan, D.: Hardy’s type integral inequalities on time scales. Appl. Math. Inf. Sci. 9(6), 2955–2962 (2015)
Li, W.N., Han, M.: Bounds for certain nonlinear dynamic inequalities on time scales. Discrete Dyn. Nat. Soc. 2009, Article ID 897087 (2009)
Saker, S.H.: Some nonlinear dynamic inequalities on time scales and applications. J. Math. Inequal. 4(4), 561–579 (2010)
Li, W.N., Zhang, Q., Qiu, F.: Some nonlinear delay discrete inequalities and their applications. Demonstr. Math. 39(4), 771–782 (2006)
Agarwal, R.P., Bohner, M., Peterson, A.: Inequalities on time scales: a survey. Math. Inequal. Appl. 4(4), 535–557 (2001)
Li, W.N.: Some Pachpatte type inequalities on time scales. Comput. Math. Appl. 57(2), 275–282 (2009)
Mitrinovic, D.S., Vasic, P.M.: Analytic Inequalities, vol. 1. Springer, Berlin (1970)
El-Deeb, A.A., Rashid, S.: On some new double dynamic inequalities associated with Leibniz integral rule on time scales. Adv. Differ. Equ. 2021(1), 1 (2021)
Pachpatte, B.G.: Integral and Finite Difference Inequalities and Applications. North-Holland, Amsterdam (2006)
Kendre, S.D., Latpate, S.G., Ranmal, S.S.: Some nonlinear integral inequalities for Volterra–Fredholm integral equations. Adv. Inequal. Appl. 2014, 11–21 (2014)
Acknowledgements
Not applicable.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Contributions
Resources and methodology, AAE-D and DB; investigation, DB; data curation, AAE-D; writing—original draft preparation, AAE-D; conceptualization, writing—review and editing, DB; administration, project, AAE-D and DB. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
El-Deeb, A.A., Baleanu, D. Some new dynamic Gronwall–Bellman–Pachpatte type inequalities with delay on time scales and certain applications. J Inequal Appl 2022, 45 (2022). https://doi.org/10.1186/s13660-022-02778-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02778-0