Abstract
In this paper, we first introduce the definition of triple Diamond-Alpha integral for functions of three variables. Therefore, we present the Hölder and reverse Hölder inequalities for the triple Diamond-Alpha integral on time scales, and then we obtain some new generalizations of the Hölder and reverse Hölder inequalities for the triple Diamond-Alpha integral. Moreover, using the obtained results, we give a new generalization of the Minkowski inequality for the triple Diamond-Alpha integral on time scales.
Similar content being viewed by others
1 Introduction
To unify and generalize discrete and continuous analysis, in 1998, Hilger [1] introduced the theory of time scales. Since then, many researchers have studied various aspects of the theory and obtained a lot of interesting results on time scales [1–10]. The first purpose of this paper is to give the definition of the triple Diamond-Alpha integral (triple diamond-α integral or triple \(\diamond_{\alpha}\)-integral) for functions of three variables on time scales.
Let \(u(x)\) and \(v(x)\) be continuous real-valued functions on \([a, b]\), and let \(\frac{1}{p}+ \frac{1}{q}=1\).
-
(I)
if \(p>1\) and if \(u(x)\geq0\), \(v(x)\geq0\), then the classical Hölder inequality holds (see [11]):
$$ \int_{a}^{b}u(x)v(x)\,dx\leq \biggl( \int_{a}^{b}u^{p}(x)\,dx \biggr)^{\frac{1}{p}} \biggl( \int_{a}^{b}v^{q}(x)\,dx \biggr)^{\frac{1}{q}}. $$(1) -
(II)
if \(0< p<1\) and if \(u(x)>0\), \(v(x)>0\), then the following reverse Hölder inequality (e.g., see [12]) holds:
$$ \int_{a}^{b}u(x)v(x)\,dx \geq \biggl( \int_{a}^{b}u^{p}(x)\,dx \biggr)^{\frac{1}{p}} \biggl( \int_{a}^{b}v^{q}(x)\,dx \biggr)^{\frac{1}{q}}. $$(2)
The classical Hölder and reverse Hölder inequalities play a very important role and have wide applications in different branches of modern mathematics. A large number of papers dealing with refinements, generalizations, and applications of the Hölder and reverse Hölder inequalities and their series analogues in different ares of mathematics have appeared. For example, Agahi et al. [13] gave generalizations of the Hölder and reverse Hölder inequalities for the pseudo-integral. Zhao et al. [14] found that the Hölder inequality for the pan-integral holds if the monotone measurer is subadditive. Tian [15–18] gave some new properties and refinements of the Hölder and reverse Hölder inequalities. For more detail, the reader may consult [19–25].
Among various extensions of (1) and (2), Agarwal, Bohner, and Peterson first presented the time scale versions of (1) via the Delta-integral (Δ-integral).
Theorem A
Assume that \(\mathbb{T}\) is a time scale, \(a,b\in \mathbb{T}\), and \(a< b\). If \(p>1\) with \(\frac{1}{p}+\frac{1}{q}=1\) and if \(u, v\in C_{rd}([a, b], \mathbb{R})\), then
Later, in 2005, Wong et al. [26] gave the following Hölder-type inequalities via the Delta-integral.
Theorem B
Assume that \(\mathbb{T}\) is a time scale, \(a,b\in \mathbb{T}\), and \(a< b\). Let \(\frac{1}{p}+\frac{1}{q}=1\) and \(u, v, \omega\in C_{rd}([a, b], \mathbb{R})\). If \(p>1\), then
If \(p<0\) or \(q<0\), then inequality (4) is reversed.
In 2008, Özkan et al. [27] presented the following time scale versions of inequalities (1) and (2) via the Nabla-integral (∇-integral) and Diamond-Alpha integral (\(\diamond_{\alpha}\)-integral).
Theorem C
Assume that \(\mathbb{T}\) is a time scale, \(a,b\in\mathbb{T}\), and \(a< b\). Let \(\frac{1}{p}+\frac{1}{q}=1\) and \(u, v, \omega\in C_{ld}([a, b], \mathbb{R})\). If \(p>1\), then
If \(p<0\) or \(q<0\), then inequality (5) is reversed.
Theorem D
Assume that \(\mathbb{T}\) is a time scale, \(a,b\in\mathbb{T}\), and \(a< b\). Let \(\frac{1}{p}+\frac{1}{q}=1\), and let \(u, v, \omega: [a, b]\rightarrow\mathbb{R}\) be \(\diamond_{\alpha}\)-integrable functions. If \(p>1\), then
If \(p<0\) or \(q<0\), then inequality (6) is reversed.
Remark 1.1
If \(\alpha=0\) in Theorem C, then inequality (6) reduces to inequality (5). If \(\alpha=1\) in Theorem C, then inequality (6) reduces to inequality (4).
The second purpose of this paper is to give the time scale versions of the Hölder and reverse Hölder inequalities for the triple Diamond-Alpha integral. Then we obtain some new generalizations of the Hölder and reverse Hölder inequalities for the triple Diamond-Alpha integral on time scales. Moreover, using the obtained results, we present a new generalization of the Minkowski inequality for the triple Diamond-Alpha integral on time scales.
2 Main results
For details on time scales theory, the readers may consult [1, 3–9] and the references therein. Now we give the definition of triple Diamond-Alpha integral for functions of three variables.
The triple Diamond-Alpha integral is defined as an iterated integral. Suppose that \(\mathbb{T}\) is a time scale and \(a_{i}, b_{i}\in\mathbb {T}\) with \(a_{i}< b_{i}\) \((i=1,2,3)\). Let \(f(x_{1},x_{2},x_{3})\) be a real-valued function on \(\mathbb{T}\times\mathbb{T}\times\mathbb{T}\). Because we need the notation of partial derivatives with respect to variables \(x_{i}\), we denote the time scale partial derivatives of \(f(x_{1},x_{2},x_{3})\) with respect to \(x_{i}\) by \(f^{\diamond_{\alpha}^{i}} (x_{1},x_{2},x_{3})\), \(i=1,2,3\). We now give the definition of these partial derivatives. Fixing \(x_{2},x_{3}\in\mathbb{T}\), the diamond-α derivative of a function
is denoted by \(f^{{\diamond}_{\alpha}^{1}}\). Next, fixing \(x_{1},x_{3}\in\mathbb{T}\), the diamond-α derivative of a function
is denoted by \(f^{{\diamond}_{\alpha}^{2}}\). Finally, fixing \(x_{1}, x_{2}\in\mathbb{T}\), the diamond-α derivative of a function
is denoted by \(f^{{\diamond}_{\alpha}^{3}}\).
If a function f has a \(\diamond_{\alpha}^{1}\) antiderivative \(F_{1}\), \(F_{1}\) has a \(\diamond_{\alpha}^{2}\) antiderivative \(F_{2}\), and \(F_{2}\) has a \(\diamond_{\alpha}^{3}\) antiderivative \(F_{3}\), that is, \(F^{{\diamond}_{\alpha}^{1}}_{1}=f\), \(F^{{\diamond}_{\alpha }^{2}}_{2}=F_{1}\), and \(F^{{\diamond}_{\alpha}^{3}}_{3}=F_{2}\), then
By this definition it is easy to obtain the following property for the triple Diamond-Alpha integral.
Proposition 2.1
Suppose that \(\mathbb{T}\) is a time scale, \(a_{i}, b_{i}\in\mathbb{T}\) with \(a_{i}< b_{i}\) \((i=1,2,3)\), and \(f(x_{1},x_{2},x_{3})\) and \(g(x_{1},x_{2},x_{3})\) are \(\diamond_{\alpha}\)-integrable functions on \([a_{i}, b_{i}]^{3}_{\mathbb{T}}\) \((i=1,2,3)\).
-
(i)
If \(f(x_{1},x_{2},x_{3})\geq0\) for all \(x_{i}\in[a_{i}, b_{i}]_{\mathbb{T}}\) \((i=1,2,3)\), then
$$\int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int _{a_{3}}^{b_{3}}f(x_{1},x_{2},x_{3}) \diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2} \diamond_{\alpha} x_{3}\geq0; $$ -
(ii)
If \(f(x_{1},x_{2},x_{3})\leq g(x_{1},x_{2},x_{3})\) for all \(x_{i}\in[a_{i}, b_{i}]_{\mathbb{T}}\) \((i=1,2,3)\), then
$$\begin{aligned} & \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int _{a_{3}}^{b_{3}}f(x_{1},x_{2},x_{3}) \diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2} \diamond_{\alpha} x_{3} \\ &\quad\leq \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int _{a_{3}}^{b_{3}}g(x_{1},x_{2},x_{3}) \diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2} \diamond_{\alpha} x_{3}; \end{aligned}$$ -
(iii)
If \(f(x_{1},x_{2},x_{3})\geq0\) for all \(x_{i}\in[a_{i}, b_{i}]_{\mathbb{T}}\) \((i=1,2,3)\), then \(f(x_{1},x_{2},x_{3})=0\) if and only if
$$\int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int _{a_{3}}^{b_{3}}f(x_{1},x_{2},x_{3}) \diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2} \diamond_{\alpha} x_{3}=0. $$
To prove the main results, we need the following lemmas.
Lemma 2.2
(Bernoulli’s inequality; see [28])
If \(x>0\) and \(p>1\), then
Lemma 2.3
(Young inequality; see [11])
Let \(a,b>0\).
-
(i)
If \(p,q>0\) with \(\frac{1}{p}+\frac{1}{q}=1\), then
$$ ab \leq\frac{1}{p}a^{p}+\frac{1}{q}b^{q}. $$(9) -
(ii)
If \(p>0\), \(q<0\) with \(\frac{1}{p}+\frac{1}{q}=1\), then
$$ ab \geq\frac{1}{p}a^{p}+\frac{1}{q}b^{q}. $$(10)
Lemma 2.4
(AG inequality; see [11])
Let \(\alpha_{i}>0\) \((i=1,2,3)\).
-
(i)
If \(1<\lambda_{1}\), \(\lambda_{2}, \ldots, \lambda_{n}<\infty\) with \(\sum_{i=1}^{n}\frac{1}{\lambda_{i}}=1\), then
$$ \prod_{i=1}^{n} \alpha_{i} \leq\sum_{i=1}^{n} \frac{\alpha_{i}^{\lambda_{i}}}{\lambda_{i}}. $$(11) -
(ii)
If \(\lambda_{1}>0\), \(\lambda_{2}, \dots,\lambda_{m}<0\) with \(\sum_{i=1}^{m}\frac{1}{\lambda_{i}}=1\), then
$$ \prod_{i=1}^{m} \alpha_{i} \geq\sum_{i=1}^{m} \frac{\alpha_{i}^{\lambda_{i}}}{\lambda_{i}}. $$(12)
Lemma 2.5
(Schlömilch’s inequality for triple Diamond-Alpha integral)
Suppose that \(\mathbb{T}\) is a time scale, \(a_{i}, b_{i}\in\mathbb{T}\) with \(a_{i}< b_{i}\) \((i=1,2,3)\), and \(f(x_{1},x_{2},x_{3}), \omega (x_{1},x_{2},x_{3}):[a_{i},b_{i}]_{\mathbb{T}}^{3}\rightarrow[0,+\infty )\) are \(\diamond_{\alpha}\)-integrable functions with \(\int _{a_{1}}^{b_{1}}\int_{a_{2}}^{b_{2}}\int_{a_{3}}^{b_{3}} \omega(x_{1},x_{2},x_{3})\diamond_{\alpha} x_{1}\diamond_{\alpha} x_{2}\diamond_{\alpha} x_{3}>0\). Then, for \(s>r>0\), we have
Proof
Without loss of generality, we may suppose that \(\int _{a_{1}}^{b_{1}}\int_{a_{2}}^{b_{2}}\int _{a_{3}}^{b_{3}}h(x_{1},x_{2},x_{3})\diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3}=1\). If \(s>r>0\), then \(\frac{s}{r}>1\). Therefore, by inequality (8) we have
which implies
Replacing f by \(f^{r}\) in (13), we find
Then
Thus, the proof of Lemma 2.5 is completed. □
Now, we give the following Hölder and reverse Hölder inequalities for triple Diamond-Alpha integral.
Theorem 2.6
Suppose that \(\mathbb{T}\) is a time scale, \(a_{i},b_{i}\in\mathbb{T}\) with \(a_{i}< b_{i}\) \((i=1,2,3)\), and \(f(x_{1},x_{2},x_{3})\), \(g(x_{1},x_{2},x_{3})\), \(\omega(x_{1},x_{2},x_{3}): [a_{i},b_{i}]_{\mathbb{T}}^{3}\rightarrow \mathbb{R}\) are \(\diamond_{\alpha}\)-integrable functions.
-
(i)
If \(p, q>0\) are such that \(\frac{1}{p}+\frac{1}{q}=1\), then
$$\begin{aligned} & \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega (x_{1},x_{2},x_{3})f(x_{1},x_{2},x_{3})g(x_{1},x_{2},x_{3}) \bigr\vert \diamond_{\alpha} x_{1}\diamond_{\alpha} x_{2}\diamond_{\alpha} x_{3} \\ &\quad\leq \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega(x_{1},x_{2},x_{3} ) \bigr\vert \bigl\vert f(x_{1},x_{2},x_{3}) \bigr\vert ^{p}\diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{p}} \\ & \qquad{}\times \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega(x_{1},x_{2},x_{3} ) \bigr\vert \bigl\vert g(x_{1},x_{2},x_{3}) \bigr\vert ^{q} \diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{q}} . \end{aligned}$$(14) -
(ii)
If \(q<0\) is such that \(\frac{1}{p}+\frac{1}{q}=1\), then
$$\begin{aligned} & \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega (x_{1},x_{2},x_{3})f(x_{1},x_{2},x_{3})g(x_{1},x_{2},x_{3}) \bigr\vert \diamond_{\alpha} x_{1}\diamond_{\alpha} x_{2}\diamond_{\alpha} x_{3} \\ &\quad\geq \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega(x_{1},x_{2},x_{3} ) \bigr\vert \bigl\vert f(x_{1},x_{2},x_{3}) \bigr\vert ^{p}\diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{p}} \\ & \qquad{}\times \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega(x_{1},x_{2},x_{3} ) \bigr\vert \bigl\vert g(x_{1},x_{2},x_{3}) \bigr\vert ^{q} \diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{q}} . \end{aligned}$$(15)
Proof
Case (i): Let \(p,q>0\) with \(\frac{1}{p}+\frac{1}{q}=1\). Without loss of generality, we may suppose that
and
Let
and
From the Young inequality (9) we get
Therefore, we get the desired inequality (14).
Case (ii). Let \(q<0\) with \(\frac{1}{p}+\frac{1}{q}=1\). Write \(\alpha =-\frac{p}{q}, \beta=\frac{1}{q}\). Then \(\frac{1}{\alpha}+\frac{1}{\beta }=1\) with \(\alpha, \beta>0\). Setting \(f(x_{1},x_{2},x_{3})=F(x_{1},x_{2},x_{3})\) and \(g(x_{1},x_{2},x_{3})=G(x_{1},x_{2},x_{3})\) in (14), we get
Putting \(F(x_{1},x_{2},x_{3})=f^{-q}(x_{1},x_{2},x_{3})\) and \(G(x_{1},x_{2},x_{3})=f^{q}(x_{1},x_{2},x_{3})g^{q}(x_{1},x_{2},x_{3})\) in equality (16), we immediately obtain the desired inequality (15). □
Next, we present the following generalizations of inequalities (14) and (15).
Theorem 2.7
Suppose that \(\mathbb{T}\) is a time scale, \(a_{i},b_{i}\in\mathbb{T}\) with \(a_{i}< b_{i}\) \((i=1,2,3)\), and \(f(x_{1},x_{2},x_{3})\), \(g(x_{1},x_{2},x_{3})\), \(\omega(x_{1},x_{2},x_{3}): [a_{i},b_{i}]_{\mathbb{T}}^{3}\rightarrow \mathbb{R}\) are \(\diamond_{\alpha}\)-integrable functions.
-
(i)
Let \(\frac{1}{p}+\frac{1}{q}=\frac{1}{r}\) with \(p,q,r\in\mathbb {R}-\{0\}\), \(p>0\) and \(q>0\) or \(p>0\), \(q<0\), and \(r<0\). Then
$$\begin{aligned} & \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega (x_{1},x_{2},x_{3})f^{r}(x_{1},x_{2},x_{3})g^{r}(x_{1},x_{2},x_{3}) \bigr\vert \diamond_{\alpha} x_{1}\diamond_{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{r}} \\ &\quad\leq \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega(x_{1},x_{2},x_{3}) \bigr\vert \bigl\vert f(x_{1},x_{2},x_{3}) \bigr\vert ^{p}\diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{p}} \\ &\qquad{} \times \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega(x_{1},x_{2},x_{3}) \bigr\vert \bigl\vert g(x_{1},x_{2},x_{3}) \bigr\vert ^{q} \diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{q}} . \end{aligned}$$(17) -
(ii)
Let \(\frac{1}{p}+\frac{1}{q}=\frac{1}{r}\) with \(p,q,r\in\mathbb {R}-\{0\}\), \(p>0\), \(q<0\), and \(r>0\) or \(p<0\) and \(q<0\). Then
$$\begin{aligned} & \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega (x_{1},x_{2},x_{3})f^{r}(x_{1},x_{2},x_{3})g^{r}(x_{1},x_{2},x_{3}) \bigr\vert \diamond_{\alpha} x_{1}\diamond_{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{r}} \\ &\quad\geq \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega(x_{1},x_{2},x_{3}) \bigr\vert \bigl\vert f(x_{1},x_{2},x_{3}) \bigr\vert ^{p}\diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{p}} \\ &\qquad{} \times \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \bigl\vert \omega(x_{1},x_{2},x_{3}) \bigr\vert \bigl\vert g(x_{1},x_{2},x_{3}) \bigr\vert ^{q} \diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{q}} . \end{aligned}$$(18)
Proof
(i) Case 1. When \(p>0\), \(q>0\), by \(\frac{1}{p}+\frac{1}{q}=\frac {1}{r}\) we get
Then, by (14) we find that
Therefore
Case 2. When \(p>0\), \(q<0\), and \(r<0\), by the same method as in Case 1, we can obtain inequality (17).
(ii) Case I. When \(p>0\), \(q<0\), and \(r>0\), we find from \(\frac {1}{p}+\frac{1}{q}=\frac{1}{r}\) that
Then, by inequality (14) we get
which implies
Thus from inequality (19) we obtain
Case II. When \(p<0\) and \(q<0\), by the same method as in Case I, we can obtain the desired inequality (18). The proof of Theorem 2.7 is completed. □
We present another generalization of inequality (14).
Theorem 2.8
Suppose that \(\mathbb{T}\) is a time scale, \(a_{i},b_{i}\in\mathbb{T}\) with \(a_{i}< b_{i}\) \((i=1,2,3)\), and that \(f(x_{1},x_{2},x_{3})\), \(g(x_{1},x_{2},x_{3})\), \(\omega(x_{1},x_{2},x_{3}): [a_{i},b_{i}]_{\mathbb{T}}^{3}\rightarrow \mathbb{R}\) are \(\diamond_{\alpha}\)-integrable functions. If \(p>0\), \(q>0\) are such that \(0<\frac{1}{p}+\frac{1}{q}<1\), then
Proof
Denote \(\gamma:=\frac{1}{p}+\frac{1}{q}\), \(\zeta=\gamma p\), \(\delta =q\gamma\). Then \(\zeta>1\), \(\delta>1\), and \(\frac{1}{\zeta}+\frac {1}{\delta}=1\). Hence from Lemma 2.5 with \(\zeta< p\), \(\delta< q\) and inequality (14) we find that
The proof of Theorem 2.8 is completed. □
Theorem 2.9
Suppose that \(\mathbb{T}\) is a time scale, \(a_{i},b_{i}\in\mathbb{T}\) with \(a_{i}< b_{i}\) \((i=1,2,3)\), and that \(f_{i}(x_{1},x_{2},x_{3})\ (i=1,2,\ldots,m)\), \(\omega(x_{1},x_{2},x_{3}): [a_{i},b_{i}]_{\mathbb{T}}^{3}\rightarrow \mathbb{R}\) are \(\diamond_{\alpha}\)-integrable functions.
-
(I)
Let \(1<\lambda_{1}\), \(\lambda_{2}, \ldots, \lambda_{m}<\infty\) such that \(\sum_{i=1}^{m}\frac{1}{\lambda_{i}}=1\). Then
$$\begin{aligned} & \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \Biggl\vert \omega(x_{1},x_{2},x_{3}) \Biggl(\prod_{i=1}^{m}f_{i}(x_{1},x_{2},x_{3}) \Biggr) \Biggr\vert \diamond_{\alpha} x_{1} \diamond_{\alpha} x_{2}\diamond _{\alpha} x_{3} \\ &\quad\leq\prod_{i=1}^{m} \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int _{a_{3}}^{b_{3}} \bigl\vert \omega(x_{1},x_{2},x_{3}) \bigr\vert \bigl\vert f_{i}(x_{1},x_{2},x_{3}) \bigr\vert ^{\lambda_{i}}\diamond_{\alpha} x_{1} \diamond_{\alpha} x_{2}\diamond_{\alpha} x_{3} \biggr)^{\frac{1}{\lambda_{i}}}. \end{aligned}$$(21) -
(II)
Let \(\lambda_{1}>0\), \(\lambda_{2}, \ldots, \lambda_{m}<0\) be such that \(\sum_{i=1}^{m}\frac{1}{\lambda_{i}}=1\). Then inequality (21) is reversed.
Proof
Case (I). Without loss of generality, we may suppose that
Write
for \(i=1,2,\ldots,m\).
From AG inequality (11) we have
Therefore, we get the desired inequality (21).
Case (II). By the same method as in Case (I) and using the reversed inequality (11), we can obtain the desired result. □
Theorem 2.10
Suppose that \(\mathbb{T}\) is a time scale, \(a_{i},b_{i}\in\mathbb{T}\) with \(a_{i}< b_{i}\) \((i=1,2,3)\), and that \(f_{i}(x_{1},x_{2},x_{3})\), \(\omega(x_{1},x_{2},x_{3}): [a_{i},b_{i}]_{\mathbb{T}}^{3}\rightarrow [0, +\infty)\) \((i=1,2,\ldots,m)\) are \(\diamond_{\alpha}\)-integrable functions with \(\int_{a_{1}}^{b_{1}}\int_{a_{2}}^{b_{2}}\int _{a_{3}}^{b_{3}}\omega(x_{1},x_{2},x_{3})\diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3}=1\). Let \(0<\lambda_{1}\), \(\lambda _{2}, \ldots, \lambda_{m}<1\) be such that \(\lambda_{1}+\lambda _{2}+\cdots+\lambda_{m}=k<1\). Then
Proof
Denote \(\xi_{i}=\frac{\lambda_{i}}{k}\) \((i=1,2,\ldots,m)\). Then
Write
From Theorem 2.9 and Lemma 2.5 we have
for \(k<1\). Therefore the proof of Theorem 2.10 is completed. □
Let \(f_{i}^{\lambda_{i}}(x_{1},x_{2},x_{3})\)=\(\mu _{i}(x_{1},x_{2},x_{3})\), that is, \(f_{i}(x_{1},x_{2},x_{3})\)=\(\mu _{i}^{\frac{1}{\lambda_{i}}}(x_{1},x_{2},x_{3})\) for \(i=1,2,\ldots,m\). Then from Theorem 2.10 we get the following Hölder-type inequality.
Corollary 2.11
Suppose that \(\mathbb{T}\) is a time scale, \(a_{i},b_{i}\in\mathbb{T}\) with \(a_{i}< b_{i}\) \((i=1,2,3)\), and that \(g_{i}(x_{1},x_{2},x_{3})\), \(\omega(x_{1},x_{2},x_{3}): [a_{i},b_{i}]_{\mathbb{T}}^{3}\rightarrow [0, +\infty)\) \((i=1,2,\ldots,m)\) are \(\diamond_{\alpha}\)-integrable functions with \(\int_{a_{1}}^{b_{1}}\int_{a_{2}}^{b_{2}}\int _{a_{3}}^{b_{3}}\omega(x_{1},x_{2},x_{3})\diamond_{\alpha} x_{1}\diamond _{\alpha} x_{2}\diamond_{\alpha} x_{3}=1\). Let \(0<\lambda_{1}\), \(\lambda _{2}, \ldots, \lambda_{m}<1\) be such that \(\lambda_{1}+\lambda _{2}+\cdots+\lambda_{m}=k<1\). Then
3 Application
In this section, using the obtained results, we give the following generalization of the Minkowski inequality for the triple Diamond-Alpha integral on time scales.
Theorem 3.1
Suppose that \(\mathbb{T}\) is a time scale, \(a_{i},b_{i}\in\mathbb{T}\) with \(a_{i}< b_{i}\) \((i=1,2,3)\), and that \(f_{i}(x_{1},x_{2},x_{3})\ (i=1,2,\ldots,m)\) and \(\omega(x_{1},x_{2},x_{3}): [a_{i},b_{i}]_{\mathbb{T}}^{3}\rightarrow \mathbb{R}\) are \(\diamond_{\alpha}\)-integrable functions.
-
(I)
If \(p>1\), then
$$\begin{aligned} & \Biggl[ \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int_{a_{3}}^{b_{3}} \Biggl\vert \omega(x_{1},x_{2},x_{3}) \Biggl(\sum_{i=1}^{m}f_{i}(x_{1},x_{2},x_{3}) \Biggr)^{p} \Biggr\vert \diamond_{\alpha} x_{1} \diamond_{\alpha} x_{2}\diamond_{\alpha} x_{3} \Biggr]^{\frac{1}{p}} \\ &\quad\leq\sum_{i=1}^{m} \biggl( \int_{a_{1}}^{b_{1}} \int_{a_{2}}^{b_{2}} \int _{a_{3}}^{b_{3}} \bigl\vert \omega(x_{1},x_{2},x_{3}) \bigr\vert \bigl\vert f_{i}(x_{1},x_{2},x_{3}) \bigr\vert ^{p}\diamond_{\alpha} x_{1} \diamond_{\alpha} x_{2}\diamond _{\alpha} x_{3} \biggr)^{\frac{1}{p}}. \end{aligned}$$(25) -
(II)
If \(0< p<1\), then inequality (25) is reversed.
Proof
We prove only case (I). Write \(\Phi(x_{1},x_{2},x_{3})=\sum_{i=1}^{m}f_{i}(x_{1},x_{2},x_{3})\). Without loss of generality, we may assume that \(\int_{a_{1}}^{b_{1}}\int_{a_{2}}^{b_{2}}\int _{a_{3}}^{b_{3}}\omega(x_{1},x_{2},x_{3})\Phi ^{p}(x_{1},x_{2},x_{3})\diamond_{\alpha} x_{1}\diamond_{\alpha} x_{2}\diamond_{\alpha} x_{3}\neq0\). From inequality (14) for \(p,q>0\) and \(\frac{1}{p}+\frac {1}{q}=1\) we have
Therefore we get
Thus we obtain the desired inequality (25). □
4 Conclusions
As is well known, the Hölder inequality and its various extensions play a very important role in mathematical analysis. In this paper, based on the definition of the triple Diamond-Alpha integral for functions of three variables, we have presented the Hölder and reverse Hölder inequalities for the triple Diamond-Alpha integral on time scales. Moreover, we gave some new generalizations of the Hölder and reverse Hölder inequalities for the triple Diamond-Alpha integral. Finally, using the obtained results, we have obtained a new generalization of the Minkowski inequality for the triple Diamond-Alpha integral on time scales. In the future research, we will continue to explore other inequalities for the triple Diamond-Alpha integral on time scales.
References
Hilger, S.: Ein Maßkettenkalk ül mit Anwendung auf Zentrumsmannigfaltigkeiten. Ph.D. thesis, Universität Würzburg (1988)
Agarwal, R.P., Bohner, M., Peterson, A.: Inequalities on time scales: a survey. Math. Inequal. Appl. 4(4), 535–557 (2001)
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales. Birkhäuser, Basel (2001)
Barić, J., Bibi, R., Bohner, M., Nosheen, A., Pec̆arić, J.: Jensen Inequalities on Time Scales. Theory and Applications. Element, Zagreb (2015)
Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)
Hilger, S.: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results Math. 18(1–2), 18–56 (1990)
Hilger, S.: Differential and difference calculus—unified!. Nonlinear Anal. 30(5), 2683–2694 (1997)
Rogers, J.W.J., Sheng, Q.: Notes on the diamond-α dynamic derivative on time scales. J. Math. Anal. Appl. 326(1), 228–241 (2007)
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(3), 395–413 (2006)
Wong, F.H., Yeh, C.C., Lian, W.C.: An extension of Jensen’s inequality on time scales. Adv. Dyn. Syst. Appl. 1(1), 113–120 (2006)
Mitrinović, D.S.: Analytic Inequalities. Springer, New York (1970)
Kuang, J.: Applied Inequalities. Shandong Science Press, Jinan (2003)
Agahi, H., Ouyang, Y., Mesiar, R., Pap, E., S̆trboja, M.: Hölder and Minkowski type inequalities for pseudo-integral. Appl. Math. Comput. 217(21), 8630–8639 (2011)
Zhao, Y., Yan, T., Ouyang, Y.: Several inequalities for the pan-integral. Inf. Sci. 372, 625–633 (2016)
Tian, J., Yang, Z.-H.: Generalizations of Hu-type inequalities and their applications. J. Nonlinear Sci. Appl. 10(4), 1971–1985 (2017)
Tian, J.-F., Ha, M.-H.: Extensions of Hölder-type inequalities on time scales and their applications. J. Nonlinear Sci. Appl. 10(3), 937–953 (2017)
Tian, J.-F., Ha, M.-H.: Properties of generalized sharp Hölder’s inequalities. J. Math. Inequal. 11(2), 511–525 (2017)
Tian, J.-F., Ha, M.-H., Wang, C.: Improvements of generalized Hölder’s inequalities and their applications. J. Math. Inequal. 12(2), 459–471 (2018). https://doi.org/10.7153/jmi-2018-12-34
Tian, J., Ha, M.-H.: Properties and refinements of Aczél-type inequalities. J. Math. Inequal. 12(1), 175–189 (2018)
Tian, J., Wang, W., Cheung, W.-S.: Periodic boundary value problems for first-order impulsive difference equations with time delay. Adv. Differ. Equ. 2018, 79 (2018). https://doi.org/10.1186/s13662-018-1539-5
Tian, J.-F., Pedrycz, W.: New refinements of generalized Hölder’s inequality and their applications. Math. Inequal. Appl. 19(3), 805–822 (2016)
Yang, Z.-H., Tian, J.: Monotonicity and sharp inequalities related to gamma function. J. Math. Inequal. 12(1), 1–22 (2018)
Yang, Z.-H., Tian, J.: Optimal inequalities involving power-exponential mean, arithmetic mean and geometric mean. J. Math. Inequal. 11(4), 1169–1183 (2017)
Yang, Z.-H., Tian, J.: Monotonicity and inequalities for the gamma function. J. Inequal. Appl. 2017, 317 (2017)
Zhao, C.-J., Cheung, W.-S.: Hölder’s reverse inequality and its applications. Publ. Inst. Math. 99(113), 211–216 (2016)
Wong, F.H., Yeh, C.C., Yu, S.L., Hong, C.H.: Young’s inequality and related results on time scales. Appl. Math. Lett. 18(9), 983–988 (2005)
Özkan, U.M., Sarikaya, M.Z., Yildirim, H.: Extensions of certain integral inequalities on time scales. Appl. Math. Lett. 21(10), 993–1000 (2008)
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, Cambridge (1952)
Acknowledgements
This work was supported by the Fundamental Research Funds for the Central Universities (Nos. 2015ZD29 and 13ZD19) and the Higher School Science Research Funds of Hebei Province of China (No. Z2015137).
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Tian, JF. Triple Diamond-Alpha integral and Hölder-type inequalities. J Inequal Appl 2018, 111 (2018). https://doi.org/10.1186/s13660-018-1704-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1704-0