Abstract
The theory of dynamic equations on time scales which was formulated by Hilger is an area of mathematics which is currently receiving profuse attention. Despite the fact that the basic objective of times scales is to bring together the study of difference and differential equations, it also extends these classical cases to ‘in-between’. In the present article we present a version of Feng Qi integral inequalities on time scales which are in fact generalizations of results given in different articles.
Similar content being viewed by others
1 Introduction
In the past few years, time scales calculus has fascinated scientists by virtue of its tremendous application in many branches of sciences, e.g. population dynamics, finance, physics, etc. [1, 2]. During the last decade, with the evolution of integral and differential equations as in including difference equations, voluminous integral and differential inequalities have been disclosed [3–8]. These handy discoveries concern a significant part in the research of boundedness, comprehensive existence, stability of solutions of integral and differential equations, and likewise of difference equations. Subsequently, Hilger [9] put forward the time scales’ theory as a theory that combines differential and difference calculus in a sophisticated manner. Afterwards several researchers have talked about various facets of the dynamic equations on time scales including various inequalities in detail [8, 10]. However, the Feng Qi integral inequalities on time scales have been given limited attention.
In 2000, Feng Qi explored some new types of integral inequalities and presented his results through an analytic approach and mathematical induction. His work motivated many researchers and a group of people at different times continued the work of Feng Qi. Mohamed Akkouchi, [11] studied a general version of a problem posed by Feng Qi [12] in the context of a measured space equipped with a positive finite measure. Hong Yong [13] in his short note introduced some parameters and imposed sufficient conditions so that Qi type integral inequality holds.
Moreover, Kamel Brahim et al. [14] introduced some Feng Qi type q-integral inequalities, in quantum calculus.
Motivated by the afore-mentioned discussion, the present article is concerned with Feng Qi integral inequalities on time scales. To the best of the authors’ knowledge, no contribution is available in the literature about Feng Qi type integral inequalities on time scales.
2 Preliminaries
For the convenience of the reader, we provide some significant and main characteristics of time scale calculus, basic definitions, and results. By a time scale we understand any non-empty and closed subset of real numbers with the ordering inherited from the set of real numbers. Although [2] and [15] are good sources to study the basics of time scale and quantum calculus, we just state some definitions, important results, and notations necessary for our article. Throughout this paper we will denote a time scale by the symbol \(\mathbb {T}\) and we mean \([a,b]\cap\mathbb{T}\) by \([a,b]_{\mathbb{T}}\), where \([a,b]\subset\mathbb{R}\). From [2], we have extracted some definitions and results which are as follows.
Definition 2.1
For \(u\in\mathbb{T}\) we define the forward jump operator \(\sigma :\mathbb{T}\rightarrow\mathbb{T}\) by
and the backward jump operator \(\rho:\mathbb{T}\rightarrow\mathbb{T}\) is defined by
while the graininess function \(\mu:\mathbb{T}\rightarrow[0,\infty)\) is defined by
and \(\nu:\mathbb{T}\rightarrow[0,\infty)\) is defined as
Here we define \(\mathbb{T}^{k}\), \(\mathbb{T}_{k}\) as follows:
and
Proposition 2.2
Let \(\phi:\mathbb{T}\rightarrow\mathbb{R}\) be a continuous function.
-
(i)
If \(\sigma(u)>u\), then ϕ is Δ-differentiable at \(u\in\mathbb{T}^{k}\) with
$$\phi^{\Delta}(u)=\frac{\phi(\sigma(u))-\phi(u)}{\mu(u)}. $$ -
(ii)
If \(\rho(u)< t\), then ϕ is ∇-differentiable at \(u\in\mathbb{T}_{k}\) with
$$\phi^{\nabla}(u)=\frac{\phi(u)-\phi(\rho(u))}{\nu(u)}. $$
Proposition 2.3
Assume \(\phi,f:\mathbb{T}\rightarrow\mathbb{R}\) are Δ-differentiable at \(u\in\mathbb{T}^{k}\). Then:
-
(i)
The sum \(\phi+f:\mathbb{T}\rightarrow\mathbb{R}\) is Δ-differentiable at u with
$$(\phi+f)^{\Delta}(u)=\phi^{\Delta}(u)+f^{\Delta}(u). $$ -
(ii)
For any constant \(c, c \phi:\mathbb{T}\rightarrow\mathbb {R}\) is Δ-differentiable at u with
$$(c \phi)^{\Delta}(u)=c \phi^{\Delta}(u). $$
Proposition 2.4
Assume \(\phi,f:\mathbb{T}\rightarrow\mathbb{R}\) are ∇-differentiable at \(u\in\mathbb{T}_{k}\). Then:
-
(i)
The sum \(\phi+f:\mathbb{T}\rightarrow\mathbb{R}\) is ∇-differentiable at u with
$$(\phi+f)^{\nabla}(u)=\phi^{\nabla}(u)+f^{\nabla}(u). $$ -
(ii)
For any constant \(c, c f:\mathbb{T}\rightarrow\mathbb{R}\) is ∇-differentiable at u with
$$(c f)^{\nabla}(u)=c f^{\nabla}(u). $$
Proposition 2.5
Assume that \(f:\mathbb{T}\rightarrow\mathbb{R}\) is strictly increasing and \(\tilde{\mathbb{T}}:=f(\mathbb{T})\) is a time scale. Let \(\phi :f(\mathbb{R})\rightarrow\mathbb{R}\). If \(f^{\Delta}\) and \(\phi^{\tilde {\Delta}}\) exist for \(t \in\mathbb{T}^{k}\) then
Proposition 2.6
Every continuous function has an antiderivative. In particular if \(u_{0} \in\mathbb{T}\), then the pre-differentiable function φ defined by
is an antiderivative of ϕ.
Proposition 2.7
Let \(u_{0} \in\mathbb{T}\), \(v_{0}\in\mathbb{R}\) and \(\phi:\mathbb {T}^{k}\rightarrow\mathbb{R}\) be a continuous map. Then there exists a unique pre-differentiable function φ satisfying
where D is the region of differentiation.
Proposition 2.8
-
(i)
Assume that \(\phi:\mathbb{T}\rightarrow\mathbb{R}\) is Δ-differentiable on \(\mathbb{T}^{k}\). Then ϕ is ∇-differentiable at u and
$$\phi^{\nabla}(u)=\phi^{\Delta}\bigl(\rho(u)\bigr) $$for \(u \in\mathbb{T}_{k}\) such that \(\sigma(\rho(u))=u\).
-
(ii)
Assume that \(\phi:\mathbb{T}\rightarrow\mathbb{R}\) is ∇-differentiable on \(\mathbb{T}_{k}\), then ϕ is Δ-differentiable at u and
$$\phi^{\nabla}(u)=\phi^{\Delta}\bigl(\rho(u)\bigr) $$for \(u \in\mathbb{T}^{k}\) such that \(\rho(\sigma(u))=u\).
In this article, we are interested in a discrete time scale and the most significant discrete time scales are those originating from arithmetic and geometric sequences of real numbers, namely \(\mathbb{T}^{a}_{h}:=\{a+kh, k \in\mathbb{Z}\}\), \(h>0\), and \(\mathbb {T}^{a}_{q}:=\{aq^{k}, k \in\mathbb{Z}\}\cup\{0\}\), \(q>1\). In [16], the two-parameter time scale \(\mathbb{T}^{a}_{(q,h)}\) is introduced which generalizes the time scales \(\mathbb{T}^{a}_{h}\) and \(\mathbb{T}^{a}_{q}\). For a given \(a \in\mathbb{R}^{+}\), the two-parameter time scale is defined as
where \([k]_{q}=\frac{1-q^{k}}{1-q}\).
Surely \(\mathbb{T}^{a}_{(q,h)}=\mathbb{T}^{a}_{q}\), \(\mathbb {T}^{a}_{(q,h)}=\mathbb{T}^{a}_{h}\) provided \(h=0\) and \(q=1\), respectively (we put \(\frac{h}{1-q}:=-\infty\)). It can be noted that the time scale \(\mathbb{T}^{a}_{(q,h)}\) with \(a \in\mathbb{R}^{-}\) can be considered quite analogously. For the sake of definiteness, we restrict our consideration to \(a>0\). Now, the \((q,h)\)-derivative of \(\phi:\mathbb{T}^{a}_{(q,h)} \rightarrow \mathbb{R}\) is defined at v by
and
Let \(v \in\mathbb{T}^{a}_{(q,h)}\) and let \(v>v_{0}\), i.e. there exists \(n \in\mathbb{Z}^{+}\) such that \(v=v_{0}q^{n}+[n]_{q}h\), then we define the delta \((q,h)\)-integral by
If we consider the time scale \(\mathbb{T}^{a}_{(q,h)}\) with \(v_{0}\) replaced by v, then the integration over \([\frac{h}{1-q},t]\) yields the definition of the nabla \((q,h)\)-integral in the form
provided that the infinite series converges. More generally, we can consider the nabla \((q,h)\)-integral with the lower limit \(h/(1-q)\) replaced by \(a \in\mathbb{T}^{a}_{(q,h)}\), \(h/(1-q)\leq a< t\). If \(h/(1-q)< a\), then the infinite series occurring in (1) is reduced to the corresponding finite series. These definitions extend standard integral introductions: in particular, if \(h=0\), then (1) becomes the Jackson q-integral [16].
This article has been organized into five sections. In the first section we give an introduction of the article, the second section contains preliminaries which will be used in the sequel, and the third section is reserved for results related to Fenq Qi type Δ-integral inequalities defined on a discrete time scale, which generalizes some results given in [17] and [14]. In [17] and [14], there are given the q-analog and the h-analog, respectively, of some Feng Qi inequalities given in [18, 19], and [20]; therefore, the fourth section will explore the results related to Feng Qi type ∇-integral inequalities defined on a discrete time scale. The last section highlights the important results of present article.
3 Feng Qi type Δ-integral inequalities
This section is devoted to the results related to Fenq Qi type Δ-integral inequalities defined on discrete time scales, which generalize some results given in [17] and [14].
Lemma 3.1
Suppose \(p \geq1\) and f is a non-negative and monotonic function on \([a,b]_{\mathbb{T}}\). Then
Proof
The definition of the Δ-derivative may be quoted from [16] in the following way:
Since f is a monotonic increasing function, we obtain
□
Remark 3.2
If we set \(\sigma(v)=qv+h\) in the preceding lemma defined on \(\mathbb {T}^{a}_{(q,h)}\), then we get the following result.
Suppose \(p \geq1\) and f is a non-negative and monotonic function on \([a,b]\cap\mathbb{T}^{a}_{(q,h)}\). Then
Here, we observe that if we set \(q=1\) in this result, we get Lemma 2.1 of [14] and if we set \(h=0\) in this result, we get Lemma 2.1 of [17].
Theorem 3.3
Let ϕ be a function defined on \([a,b]_{\mathbb{T}}\) such that \(\phi (v)\geq0\) and
\(\forall v \in[a,b]_{\mathbb{T}}\) and \(p\geq3\). Then
Proof
For \(v \in[a,b]_{\mathbb{T}}\), we consider the difference
by setting
and by using Lemma 3.1, we have
where \(F_{1}(v)=\phi^{p-1}(v)-(p-1)f^{p-2}(\sigma(v))\ge0\).
Now, again using Lemma 3.1 we get
Since the function ϕ increases, we have
and therefore
So, we conclude that the function \(F_{1}(v)\) increases on \([a,b]_{\mathbb{T}}\). Therefore, \(F_{1}(v)\geq F_{1}(a) \geq0\), which shows the non-negativity of \(F^{\Delta}(v)\). Hence, we conclude that F is increasing and \(F(v)\geq0\), so we obtain the required result. □
If we choose \(\sigma(v)=qv+h\) defined on \(\mathbb{T}^{a}_{(q,h)}\) then we get the following corollary.
Corollary 3.4
Let ϕ be a function defined on \([a,b]\cap\mathbb{T}^{a}_{(q,h)}\) such that \(\phi(v)\geq0\) and
\(\forall v \in[a,b]_{\mathbb{T}}\) and \(p\geq3\). Then
Remark 3.5
Observation shows that Theorem 3 of [17] is a special case of Corollary 3.4 if we simply set \(q=1\). Further we note that our result is also a refinement of Proposition 3.2 of [14], and if we set \(h=0\) in the above theorem then we get a more refined result as compared to Proposition 3.2 of [14].
Theorem 3.6
If ϕ is a non-negative function defined on \([a,b]_{\mathbb{T}}\) such that \(\phi(v)\geq0\) and
for \(v \in[a,b]_{\mathbb{T}}\) and \(\alpha\geq1\), then
Proof
We define the following difference, for \(v \in[a,b]_{\mathbb{T}}\):
and assume
Using Lemma 3.1 shows
where \(F_{1}(v)=\phi^{\alpha+1}(v)-\frac{\alpha+1}{(b-a)^{\alpha -1}}f^{\alpha}(\sigma(v))\).
Now, again by using Lemma 3.1 we obtain
Since ϕ increases on \([a,b]_{\mathbb{T}}\), for \(v \in [a,b]_{\mathbb{T}}\), we have
And therefore,
So, \(F_{1}(v)\) is an increasing function. Therefore, \(F_{1}(v)\geq F_{1}(a) \geq0\), which shows the non-negativity of \(F^{\Delta}(v)\). So, we conclude that F is increasing and in addition to \(F(v)\geq0\), hence we get the required result. □
We end this section with a corollary and some remarks.
By setting \(\sigma(v)=qv+h\) defined on \(\mathbb{T}^{a}_{(q,h)}\), then we get the following corollary.
Corollary 3.7
If ϕ is a non-negative function defined on \([a,b]\cap{\mathbb {T}}^{a}_{(q,h)}\) such that \(\phi(v)\geq0\) and
for \(v \in[a,b]_{\mathbb{T}}\) and \(\alpha\geq1\), then
Remark 3.8
It is worth noting that Theorem 4 of [17] becomes a special case of Corollary 3.7 if we simply set \(q=1\). Furthermore, it can be noted that this result is a refinement of Proposition 3.5 of [14] and if we set \(h=0\) in the above corollary then we get a more refined result than Proposition 3.5 of [14].
4 Feng Qi type ∇-integral inequalities
In [17] and [14] there are given the q-analog and the h-analog, respectively, of some Feng Qi ∇-integral inequalities, which are given in [18, 19], and [20]. Hence, this part of the article is concerned with the results related to Fenq Qi type ∇-integral inequalities defined on a discrete time scale.
Lemma 4.1
Suppose \(p \geq1\) is a real number and f be a non-negative and monotonic function on \([a,b]_{\mathbb{T}}\), then
Proof
The definition of the ∇-derivative may be quoted from [16] in the following way:
Since f is an increasing function, we get
□
Remark 4.2
If in the preceding lemma we set \(\rho(v)=q^{-1}(v-h)\) defined on \(\mathbb{T}^{a}_{(q,h)}\), then we obtain the following result.
Suppose \(p \geq1\) is a real number and f is a non-negative and monotonic function on \([a,b]\cap\mathbb{T}^{a}_{(q,h)}\), then
Theorem 4.3
Suppose that ϕ is a function defined on \([a,b]_{\mathbb{T}}\) satisfying the condition \(\phi(v)\geq0\) and
for \(v \in[a,b]_{\mathbb{T}}\) and \(p\geq3\). Then
Proof
For \(v \in[a,b]_{\mathbb{T}}\), we consider the difference
and we define
Now by using Lemma 4.1, we have
where \(F_{1}(v)=\phi^{p-1}(v)-(p-1)f^{p-2}(v)\ge0\).
Now, by virtue of Lemma 4.1 we get
Since ϕ increases on \([a,b]_{\mathbb{T}}\), for \(v \in [a,b]_{\mathbb{T}}\), we have
and hence we get
So, \(F_{1}(v)\) is an increasing function. Therefore, \(F_{1}(v)\geq F_{1}(a) \geq0\), which shows the non-negativity of \(F^{\nabla}(v)\). So, we conclude that F is increasing and \(F(v)\geq0\), hence the assertion follows. □
If we choose \(\rho(v)=q^{-1}(v-h)\) defined on \(\mathbb{T}^{a}_{(q,h)}\), then we get the following corollary.
Corollary 4.4
Suppose that ϕ be a function defined on \([a,b]\cap\mathbb {T}^{a}_{(q,h)}\) satisfies the condition \(\phi(v)\geq0\) and
for \(v \in[a,b]_{\mathbb{T}}\) and \(p\geq3\). Then
Theorem 4.5
Suppose that ϕ is a function defined on \([a,b]_{\mathbb{T}}\) satisfying the condition \(\phi(v)\geq0\) and
for \(v \in[a,b]_{\mathbb{T}}\) and \(\alpha\geq1\), then
Proof
Assume the following difference, for \(v \in[a,b]_{\mathbb{T}}\):
Also we define the function f,
Now by using Lemma 4.1, we have
where \(F_{1}(v)=\phi^{\alpha+1}(v)-\frac{\alpha+1}{(b-a)^{\alpha -1}}f^{\alpha}(v)\ge0\).
Again using Lemma 4.1 we get
Since ϕ increases on \([a,b]_{\mathbb{T}}\), for \(v \in [a,b]_{\mathbb{T}}\), we have
and hence we obtain
Consequently, \(F_{1}(v)\) is an increasing function. Therefore, \(F_{1}(v)\geq F_{1}(a) \geq0\), which shows the non-negativity of \(F^{\nabla}(v)\). It is also inferred that F is increasing and since \(F(v)\geq0\) we get the required result. □
If we choose \(\rho(v)=q^{-1}(v-h)\) defined on \(\mathbb{T}^{a}_{(q,h)}\) then we get the following corollary.
Corollary 4.6
Let ϕ be a function defined on \([a,b]\cap\mathbb{T}^{a}_{(q,h)}\) such that \(\phi(v)\geq0\) and
for \(v \in[a,b]_{\mathbb{T}}\) and \(\alpha\geq1\). Then
5 Conclusion
The article is aimed to explore Feng Qi integral inequalities on time scales while considering Δ- and ∇-integrals. The present article generalizes some results of various articles, Lemma 2.1 of [14, 17] is a special case of Lemma 3.1. Moreover, observations show that Theorem 3 of [17] is a special case of Corollary 3.4, in addition to results of the present article there is a refinement of Proposition 3.2 in [14]. It can also be noted that Corollary 3.7 gives us Theorem 4 of [14] as a particular case and refines Proposition 3.5 of [17].
References
Berger, H, Henrich, S, Jessee, J: Application of time scales calculus to the growth and development in populations of Stomoxys calcitrans (Diptera: Muscidae). Int. J. Difference Equ. 8(2), 125-134 (2013)
Bohner, M, Peterson, A: Dynamic Equations on Time Scale. Birkhäuser, Boston (2001)
Dragomir, SS: On the Hadamard’s inequality for convex on the co-ordinates in a rectangle from the plane. Taiwan. J. Math. 5(4), 775-788 (2001)
Hsu, K-C: Refinements of Hermite-Hadamard type inequalities for differential co-ordinated convex functions and applications. Taiwan. J. Math. 19(1), 133-157 (2015)
Tseng, K-L, Yang, G-S, Hsu, K-C: On some inequalities of Hadamard’s type and applications. Taiwan. J. Math. 13(6B), 1929-1948 (2009)
Yang, G-S, Tseng, K-L: Inequalities of Hermite-Hadamard-Fejér type for convex functions and Lipschitzian functions. Taiwan. J. Math. 7(3), 433-440 (2003)
Wang, D-B, Guan, W: Multiple positive solutions for p-Laplacian functional dynamic equations on time scales. Taiwan. J. Math. 12(9), 2327-2340 (2008)
Wong, F-H, Lian, W-C, Yu, S-L, Yeh, C-C: Some generalizations of Opial inequalities on time scales. Taiwan. J. Math. 12(2), 463-471 (2008)
Hilger, S: Ein Maßkettenkalkül mit Anwendung auf Zentrumsmanning-faltigkeiten. PhD thesis
Agarwal, RP, Bohner, M, Peterson, A: Inequalities on time scales: a survey. Math. Inequal. Appl. 4, 535-557 (2001)
Akkouchi, M: On an integral inequality of Feng Qi. Divulg. Mat. 13(1), 11-19 (2005)
Qi, F: Several integral inequalities. JIPAM. J. Inequal. Pure Appl. Math. 1(2), Article 19 (2000)
Yong, H: A note on Feng Qi type integral inequalities. Int. J. Math. Anal. 1(25), 1243-1247 (2007)
Brahim, K, Bettaibi, N, Sellemi, M: On some Feng Qi type q-integral inequalities. J. Inequal. Pure Appl. Math. 9(2), Article 43 (2008)
Kac, VG, Cheung, P: Quantum Calculus. Universitext. Springer, New York (2002)
Čermák, J, Nechvátal, L: On \((q,h)\)-analogue of fractional calculus. J. Nonlinear Math. Phys. 17(1), 51-68 (2010)
Krasniqi, V, Shabani, AS: On some Feng Qi type h-integral inequalities. Int. J. Open Probl. Comput. Sci. Math. 2(4), 516-521 (2000)
Bougoffa, L: Notes on Qi type inequalities. J. Inequal. Pure Appl. Math. 4(4), Article 77 (2003)
Mozouzi, S, Qi, F: On an open problem regarding an integral inequality. J. Inequal. Pure Appl. Math. 4(2), Article 31 (2003)
Pogany, TK: On an open problem of F. Qi. J. Inequal. Pure Appl. Math. 3(4), Article 54 (2002)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
ARK and GR made the main contribution in conceiving the presented research. TF, NI, and ARK worked jointly on the second, on the third, and on the fourth sections, while ARK drafted these sections. GUR has drafted and worked solely on the abstract, the Introduction section and the last section and proof-read the whole article. It should be noted that the authors’ names are in alphabetical/dictionary order. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Fayyaz, T., Irshad, N., Khan, A.R. et al. Generalized integral inequalities on time scales. J Inequal Appl 2016, 235 (2016). https://doi.org/10.1186/s13660-016-1170-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1170-5