Abstract
By the utilization of diamond-α derivatives, certain new generalizations of Ou-Iang type of dynamic integral inequalities of one independent variable on time scales are examined. The resulting inequalities are significant in the study of various fields of dynamic equations. A few mathematical applications are also presented.
Similar content being viewed by others
1 Introduction
Integral inequalities have an extraordinarily advantageous position in strengthening the traditional differential and integral equations hypotheses. Gronwall [10] discussed the integral inequality
for some \(c\geq 0\). Ou-Iang inequalities and their subsequent developments have demonstrated to be valuable devices in the concept of stability, oscillation, and boundedness and in different fields of differential and integral equations. Like Gronwall’s inequality, Ou-Iang’s inequality is additionally utilized to obtain an explicit bound of unknown functions. An introduction to continuous and discrete OuIang inequalities can be found in [26, 27], and in [1, 7, 8, 13, 14, 24] one finds generalizations to numerous integrals. Pachpatte [19] introduced the following integral inequality:
c is a nonnegative constant and \(v\in \mathbb{R}_{+}\).
It is noteworthy that the dynamic inequalities assume the role of a necessary key in the improvement of the subjective concept of dynamic equations on time scales. Hilger [12] started the advancement of analysis of time scales. The general impression is to show an equation for a dynamic equation or a dynamic inequality where the domain of the unknown function is supposed to be a time scale \(\mathbb{T}\). The motivation behind the hypothesis of time scales is to unify continuous and discrete investigation. In the course of recent years, many authors completed an exhaustive examination of the properties and usage of various sorts of these types of inequalities on time scale; see [2, 3, 5, 9, 16–18, 23, 25] and the references therein. Bohner et al. [4] inspected the integral inequality on time scales of the kind
Consequently in 2010, Li [15] tested the subsequent nonlinear integral inequality of one independent variable associated with time scales
for \(v\in v_{0}\) with initial conditions \(y(v)=\varOmega (v)\), \(v\in [\beta ,v_{0}]\cap \mathbb{T}\), \(\varUpsilon (\rho (v))\leq (a(v))^{\frac{1}{\gamma }}\) for \(v\in v_{0}\), \(\rho (v)\leq v_{0}\), where \(\gamma \geq 1\) is a constant, \(\rho (v)\leq v\), \(-\infty <\beta =\inf \{ \rho (v),v\in \mathbb{T}_{0} \} \leq v_{0}\) and \(\varOmega (v)\in C_{\mathrm{rd}}([\beta ,v_{0}]\cap \mathbb{T},\mathbb{R}_{+})\). Meanwhile, Pachpatte [20] stepped forward to discover the extension of the integral inequality of the form
such that \(m(\tau ,\sigma )\geq 0\), \(m^{\Delta }(\tau ,\sigma )\geq 0\) for \(v,\sigma \in \mathbb{T}\) and \(\sigma \leq v\). Later, Haidong [11] proposed the generalization of the nonlinear integral inequality as follows:
where \(\lambda \geq 0\). Despite the fact that diamond-α derivatives cannot be identified as a standard derivative due to the absence of an antiderivative [21], its powerful distinct-alike pattern allows for accessibility in computational situations. Although there has been done much work on the integral inequalities related to the delta derivative or the nabla derivative, yet we do not carry out any significant research of integral inequalities based on diamond-α derivatives on time scales. In view of the work listed above and utilizing a similar setting to Gronwall–Bellman type inequalities, in this paper, we generalize and sum up the accompanying nonlinear integral inequalities of one variable by virtue of diamond alpha derivatives on time scales. The obtained results are useful to investigate the qualitative properties of different issues of certain classes of integral equations and evolution equations.
2 Basics on diamond-α derivatives and integrals
In what follows, denote \(\mathbb{R}_{+}=[0,\infty )\). A time scale \(\mathbb{T}\) is a nonempty closed subset of the real line \(\mathbb{R}\). For \(v\in \mathbb{T}\), the forward and backward jump operators \(\varpi , \varsigma :\mathbb{T}\rightarrow \mathbb{T}\) are defined by \(\varpi (v)=\inf (v,\infty )_{\mathbb{T}}\), and \(\varsigma (v)=\sup (-\infty ,v)_{\mathbb{T}}\) simultaneously, whereas the forward and backward graininess functions \(\varrho , \chi :\mathbb{T}\rightarrow [0,\infty )\) are defined by \(\varrho (v)=\varpi (v)-v\) and \(\chi (v)=v-\varsigma (v)\), respectively. We have the set \(\mathbb{T}^{k}=\mathbb{T}/(\varsigma (\sup \mathbb{T}),\mathbb{T}]\) and the set \(\mathbb{T}_{k}=\mathbb{T}/[\inf \mathbb{T},\varpi (\inf \mathbb{T}))\). A function \(p:\mathbb{T}\rightarrow \mathbb{R}\) is called regressive and ℜ defines the set of all regressive and rd-continuous functions if \(1+\varrho (v)p(v)\neq 0\) for \(v\in \mathbb{T}^{k}\). Also a function \(q:\mathbb{T}\rightarrow \mathbb{R}\) is known as v-regressive provided \(1-\chi (v)q(v)\neq 0\) for \(v\in \mathbb{T}_{k}\) and \(\Re _{v}\) are the set of all v-regressive and ld-continuous functions. The delta derivative of the function \(j :\mathbb{T} \rightarrow \mathbb{R}\), denoted by \(j^{\Delta }(t)\) is
for \(v\in \mathbb{T}^{k}\) with \(n\in \aleph \) where ℵ is a neighborhood of v and the nabla derivative of j, defined by \(j^{\nabla }(v)\) is
for \(v\in \mathbb{T}_{k}\) such that \(n\in \varLambda \) and Λ is a neighborhood of v. Similarly we have the \(\diamond _{\alpha }\)-derivative of n at \(v\in \mathbb{T}_{k}^{k}\), denoted by \(n^{\diamond _{\alpha }}(v)\) for all \(\epsilon >0\), and there is a neighborhood \(\aleph \subset \mathbb{T}\), for any \(n\in \aleph \),
The function \(e_{p}(v,v_{0})=\exp (\int _{v_{0}}^{v}\xi _{\varrho (\tau )}(p( \tau ))\Delta \tau )\) stands for the Δ-exponential function where \(p\in \Re \) and the cylinder transformation is \(\varepsilon _{h}(z)=\frac{1}{h}\log (1+zh)\), log is the principal logarithm function. Analogously, the ∇-exponential function is defined by \(e^{\wedge }_{p}(v,v_{0})=\exp (\int _{v_{0}}^{v}\xi ^{\wedge }_{\chi }(\tau )(p(\tau ))\nabla \tau )\), \(p\in \Re _{v}\) and the v-cylinder transformation is \(\varepsilon ^{\wedge }_{h}(z)=-\frac{1}{h}\log (1-zh)\). In addition, \({}_{\alpha }e_{p}(v_{0},v)=\exp (\alpha \int _{v_{0}}^{v}\xi _{ \varrho (\tau )}(p(\tau ))\Delta \tau +(1-\alpha )\int _{v_{0}}^{v} \xi ^{\wedge }_{\chi }(\tau )(p(\tau ))\nabla \tau )\), which is a combination of the Δ and ∇ exponential functions. \(C_{\mathrm{rd}}(\mathbb{T},\mathbb{R})\) denotes the class of real rd-continuous functions defined on a time scale \(\mathbb{T}\). If \(j\in C_{\mathrm{rd}}(\mathbb{T},\mathbb{R})\) is rd-continuous, i.e. it is continuous at right-dense points and left-sided limits exist at left-dense points in \(\mathbb{T}\), then there exists a function \(J(v)\) such that \(J^{\Delta }(v)=j(v)\). The delta integral is defined by \(\int _{a}^{b}j(v)\Delta v=J(b)-J(a)\). A function \(m:\mathbb{T}\rightarrow \mathbb{R} \) is ld-continuous if it is continuous at left-dense points and right-sided limits exist at right-dense points in \(\mathbb{T}\); the class of real ld-continuous functions on a time scale \(\mathbb{T}\) is denoted by \(C_{\mathrm{ld}}(\mathbb{T},\mathbb{R})\). If \(m\in C_{\mathrm{ld}}(\mathbb{T},\mathbb{R})\), then there exists a function \(M(v)\) such that \(M^{\nabla }(v)=m(v)\). The nabla integral is denoted \(\int _{a}^{b}m(v)\nabla v=M(b)-M(a)\). For the general primary ideas and background of time scale analysis, we refer to a book by Bohner et al. [6].
Presently, on time scales, we declare the essential lemmas that will be used later in the verifications of the paper.
Lemma 2.1
([22])
Let\(r, v\in \mathbb{T}\). If the left-sided limits of\(j:\mathbb{T}\rightarrow \mathbb{R}\)exist at left-dense points and the right-sided limits of the function exist at right-dense points in\(\mathbb{T}\), then\(\int _{a}^{v}j(\tau )\diamond _{\alpha }(\tau )\)is\(\diamond _{\alpha }\)-differentiable on\(\mathbb{T}\), and
3 Results and discussion
The statements of our main results are as follows.
Lemma 3.1
Let\(r,q\in \mathbb{T}\)where\(\mathbb{T}\)be a regulated time scale subject to\(\varpi (r)=r\). Further, \(k \in C^{l}([r,q]_{\mathbb{T}},\mathbb{R})\)with\(k^{\Delta }(v), k^{\nabla }(v)\geq 0\)and\(b\in C(\mathbb{R}_{+}, \mathbb{R}_{+})\)is a positive and non-decreasing function so that\(H(u)=\int _{u_{0}}^{u}\frac{d\varOmega }{b(\varOmega )}<\infty \), \(u_{0}>0\), \(u\geq 0\), and if\(H(u)=\int _{0}^{u}\frac{d\varOmega }{b(\varOmega )}=\infty \)then
Proof
Clearly
and
for \(\alpha \in (0,1)\), we get
and
by [3, 22], and the assumption of r, we have
□
Theorem 3.2
Assume that the function\(y(v)\in C([r,q]_{\mathbb{T}},\mathbb{R}_{+})\)for all\(v\in [r,q]_{\mathbb{T}}\). \(\mathbb{T}\)is regulated with\(\varpi (r)=r\). Moreover, let\(b,d,s\in C([r,q]_{\mathbb{T}},\mathbb{R}_{+})\)be nonnegative functions and the relation
be satisfied for some\(j>0\). Then there exist fixed constantsl, nsuch that
where
Proof
Let \(v_{0}\in [r,q]\) and define a non-decreasing function \(z(v)\) in \([r,v_{0}]\) by
for \(v\in [r,v_{0}]_{\mathbb{T}}\), then (1) can be modified as
since \(z^{\Delta }(v), z^{\nabla }(v)\geq 0\), from (5) and Lemma 2.1, we deduce
\(z(v)\) is non-decreasing, therefore the above inequality by using \(z(\varsigma (v))\geq z(v)\geq z(\varpi (v))\) implies that
\(z(v)\) is bounded as it is regulated in \([r,q]_{\mathbb{T}}\) and composed of \(C([r,q]_{\mathbb{T}}, \mathbb{R}_{+})\) and never will be zero. For a constant \(l=\max_{v \in [r,v_{0}]_{\mathbb{T}}} \frac{\sqrt{z(\varpi (v))}}{\sqrt{z(\varsigma (v))}}\), we multiply (6) by l, hence
which by integrating from r to v, using Lemma 3.1 and \(z(r)=j^{2}\), leads to
Take the right hand side of (7) as \(G(v)\), then \(\sqrt{z(v)} \leq G(v)\),
and
here \(G^{\diamond _{\alpha }}(v)\geq 0\) and by the delta and nabla derivative, i.e \(G^{\Delta }(v), G^{\nabla }(v)\geq 0\), we observe that \(G(\varpi ^{2}(v))\geq G(\varpi (v))\geq G(v)\geq G(\varsigma (v)) \geq G(\varsigma ^{2}(v))\). Therefore (9) yields
Put \(\varPi (v)=G(\varpi ^{2}(v))+\int _{r}^{\varpi ^{2}(v)}d(\tau )G(\tau ) \diamond _{\alpha }\tau \). By the definition of \(\varPi (v)\) and from (10), we obtain
\(\varPi ^{\diamond _{\alpha }}(v)\geq 0\), \(\varPi ^{\Delta }(v), \varPi ^{\nabla }(v)\geq 0\), obviously \(G(\varpi ^{2}(v))\leq \varPi (v)\), also \(\varPi (\varpi (v))\geq \varPi (v)\geq \varPi (\varsigma (v))\) and \(\varPi (\varpi (v))\geq G(\varpi ^{3}(v))\). Therefore, from (11), we get
there exists a fixed constant \(n=\max_{v \in [r,v_{0}]_{\mathbb{T}}} \frac{\varPi (\varpi (v))}{\varPi (\varsigma (v))}\), multiplying the last inequality by n, we have
which by using (8) gives the estimate
where \(\varLambda (v)\) is defined in (3). From (10) and (12), we obtain
or equivalently
The conclusion in (2) can be obtained by substituting the last inequality in \(\sqrt{z(v)}\leq G(v)\) and (5). □
The following theorem is useful.
Theorem 3.3
Suppose that\(y(v)\), b, d, ϖ, r, qare as mentioned in Theorem 3.2and\(\psi (v)\in C(\mathbb{R}_{+},\mathbb{R}_{+})\)is non-decreasing. If
where\(j>0\), then for fixed constants\(l_{1},n_{1} >0 \)we have
where\(\varUpsilon (u)= \int _{1}^{u}\frac{dp}{p+\psi (p)}\), \(u>0\).
Proof
Let \(v_{1}\in [r,q]\) and a non-decreasing function \(z_{1}(v)\) be defined by
(13) can be restated as
as \(z_{1}^{\Delta }(v), z_{1}^{\nabla }(v)\geq 0\), it is noticed from Lemma 2.1 that
\(z_{1}(v)\geq 0\), \(z_{1}(\varsigma (v))\geq z_{1}(v)\geq z_{1}(\varpi (v))\). Further, \(z_{1}(v)\) is bounded and regulated in \([r,q]_{\mathbb{T}}\) and belong to \(C([r,q]_{\mathbb{T}}, \mathbb{R}_{+})\) which does not tend to zero. Consider a constant \(l_{1}=\max_{v \in [r,v_{1}]_{\mathbb{T}}} \frac{\sqrt{z_{1}(\varpi (v))}}{\sqrt{z_{1}(\varsigma (v))}}\), multiplying the previous inequality by \(l_{1}\),
integrating (17) from r to v, using Lemma 3.1 and \(z_{1}(r)=j^{2}\), we have
where
By following the same steps from (8)–(10) to (19) with some alterations, we conclude
where \(\varPi _{1}(v)=G_{1}(\varpi ^{2}(v))+\int _{r}^{\varpi ^{2}(v)}d(\tau ) \psi (G_{1}(\tau ))\diamond _{\alpha }\tau \) and \(G_{1}(\varpi ^{2}(v))\leq \varPi _{1}(v)\). In view of \(\varPi _{1}(v)\geq 0\), \(\varPi _{1}^{\Delta }(v), \varPi _{1}^{\nabla }(v)\geq 0\), apparently \(\varPi _{1}(\varpi (v))\geq \varPi _{1}(v)\geq \varPi _{1}(\varsigma (v))\), \(\varPi _{1}(\varpi (v))\geq G_{1}(\varpi ^{3}(v))\). Thus from (20), we acquire
Multiply (21) by a fixed constant \(n_{1}\) so that \(n_{1}=\max_{v \in [r,v_{0}]_{\mathbb{T}}} \frac{\varPi _{1}(\varpi (v))}{\varPi _{1}(v)+\varPi _{1}(\varsigma (v))}\), then, by using the definition of ϒ and the fact that \(\varUpsilon (\varPi _{1}(r)=2j\), we have
which by the integration from r to v, using Lemma 3.1, (5) and \(G_{1}(r)=2j\), produces the required bound in (14). □
Remark 3.4
If \(j^{2}=a(v)\), \(a(v)\) is a non-decreasing function, \(y^{2}(v)=u(v)\), \(r=v_{0}\), \(d(v)=k(\tau ,v)\), \(2b(v)=f(v)\) and \(\psi (y(v))=1\), then Theorem 3.3 is converted into Theorem 3 in [20] with delta derivatives on time scales.
Remark 3.5
Put \(j^{2}=a(v)\), \(y^{2}(v)=u(v)\), \(r=v_{0}\), \(d(v)=0\) and \(2b(v)=f(v)\), then Theorem 3.3 changes into Corollary 3.11 in [4] related to delta derivatives.
4 Applications
Here, we will derive some applications of the established inequalities to discuss certain characteristics of the solutions of nonlinear dynamic integro-differential equation on time scales of the type
where \(x_{0}\) is a constant, and \(H:\mathbb{T}^{k}\times \mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}\), \(N:\mathbb{T}^{k}\times \mathbb{T}^{k}\times \mathbb{R}\rightarrow \mathbb{R}\) are continuous functions.
The boundedness on the solution of (23) can be addressed in the first example.
Example 1
Suppose that \(x(\xi )\) is a solution of (23), and the functions H and B in (23) satisfy the following conditions:
then
where b, d, ψ, ϒ, \(l_{1}\), \(n_{1}\) are given in Theorem 3.3.
Proof. Multiplying both sides of (23) by \(x(\xi )\), substituting \(\xi =\gamma \) and then integrating from 0 to ξ, we get
it follows from (24) and (25) that
The desired estimation in (26) follows from the suitable implementation of Theorem 3.3 to \(\vert x(\xi ) \vert \) in (28).
The uniqueness of the solution of (23) is studied in the second example.
Example 2
Assume that
then (23) has at most one positive solution on \(\xi \in \mathbb{T}^{k}\).
Proof. Let \(x(\xi )\) and \(\bar{x}(\xi )\) be two solutions of (23) and applying (27), (28), (29), we obtain
By making use of a similar procedure to Theorem 3.3 with appropriate modifications to the function \(\vert x^{2}(\xi )-\bar{x}^{2}(\xi ) \vert \) in (31), we obtain
Hence \(x=\bar{x}\) on \(\xi \in \mathbb{T}^{k}\).
References
Abdeldaim, A.: On some new Gronwall Bellman Ou-Iang type integral inequalities to study certain epidemic models. J. Integral Equ. Appl. 24(2), 149–166 (2012)
Anderson, D.R.: Dynamic double integral inequalities in two independent variables on time scales. J. Math. Inequal. 2, 163–184 (2008)
Atici, F.M., Guseinov, G.S.: On Green’s functions and positive solutions for boundary value problems on time scales. J. Comput. Appl. Math. 141(1–2), 75–99 (2002)
Bohner, A., Bohner, M., Akin, F.: Pachpatte inequalities on time scales. J. Inequal. Pure Appl. Math. 6, 1–13 (2005)
Bohner, M.: Partial differentiation on time scales. In: Multivariable Dynamic Calculus in Time Scales, pp. 303–447 (2016)
Bohner, M., Peterson, A.: Advances in Dynamics Equations on Time Scales. Birkhäuser, Boston (2003)
Cheung, W.S., Ma, Q.H.: On certain new Gronwall–Ou-Iang type integral inequalities in two variables and their applications. J. Inequal. Appl. 2005(4), 347–361 (2005)
Cho, Y.J., Kim, Y.H., Pecaric, J.: New Gronwall–Ou-Iang type integral inequalities and their applications. ANZIAM J. 50(1), 111–127 (2008)
Ferreira, R.A.C., Torres, D.F.M.: Generalized retarded integral inequalities. Appl. Math. Lett. 22, 876–881 (2009)
Gronwall, T.H.: Note on the derivatives with respect to a parameter of the solutions of a system of differential equations. Ann. Math. 20, 292–296 (1919)
Haidong, L.: A class of retarded Volterra–Fredholm type integral inequalities on time scales and their applications. J. Inequal. Appl. 2017, 293 (2017)
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.: Solvability for a class of integral inequalities. With maxima on the theory of time scales and their applications. Bound. Value Probl. 2019, 146 (2019)
Li, W.N.: Some delay integral inequalities on time scales. Comput. Math. Appl. 59, 1929–1936 (2010)
Ma, Q.H., Pecaric, J.: The bounds on the solutions of certain two-dimensional delay dynamic systems on time scales. Comput. Math. Appl. 61, 2158–2163 (2011)
Meng, F., Shao, J.: Some new Volterra–Fredholm type dynamic integral inequalities on time scales. Appl. Math. Comput. 223, 444–451 (2013)
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)
Pachpatte, B.G.: On some new inequalities related to certain inequalities in the theory of differential equations. J. Math. Anal. Appl. 189, 128–144 (1995)
Pachpatte, D.B.: Estimates of certain integral inequalities on time scales. J. Math. 2013, Article ID 902087 (2013)
Sheng, Q.: Hybrid approximations via second order crossed dynamic derivatives with the \(\diamond _{\alpha }\) derivative. Nonlinear Anal., Real World Appl. 9, 628–640 (2008)
Sheng, Q., Fadag, M., Henderson, J., Davis, J.M.: An exploration of combined dynamic derivatives on time scales and their applications. Nonlinear Anal., Real World Appl. 7, 395–413 (2006)
Wang, J., Meng, F., Gu, J.: Estimates on some power nonlinear Volterra–Fredholm type dynamic integral inequalities on time scales. Adv. Differ. Equ. 2017, Article ID 257 (2017)
Wang, W.S., Zhou, X.: A generalized Gronwall–Bellman–Ou-Iang type inequality for discontinuous functions and applications to BVP. Appl. Math. Comput. 216, 3335–3342 (2010)
Wong, F., Yeh, C.C., Hong, C.H.: Gronwall inequalities on time scales. Math. Inequal. Appl. 9, 75–86 (2006)
Yang, E.: On some nonlinear integral and discrete inequalities related to Ou-Iang’s inequality. Acta Math. Sin. 14(3), 353–360 (1998)
Yang-Liang, O.: The boundedness of solutions of linear differential equations \(y^{\prime \prime }+A(t)y=0\). Adv. Math. 3, 409–415 (1957)
Acknowledgements
The author is very obliged to the editor and referees for their supportive input and useful feedback.
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 author checked and endorsed the last original copy.
Corresponding author
Ethics declarations
Competing interests
The author declares that there are not 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
Khan, Z.A. Study on the estimates of Gronwall–Ou-Iang dynamic integral inequalities by means of diamond-α derivatives. Adv Differ Equ 2020, 240 (2020). https://doi.org/10.1186/s13662-020-02692-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02692-z