A study on reversed dynamic inequalities of Hilbert-type on time scales nabla calculus

Abstract

In this paper, we establish some reversed dynamic inequalities of Hilbert type on time scales nabla calculus by applying reversed Hölder’s inequality, chain rule on time scales, and the mean inequality. As particular cases of our results (when $\mathbb{T}=\mathbb{N}$ and $\mathbb{T}=\mathbb{R}$), we get the reversed form of discrete and continuous inequalities proved by Chang-Jian, Lian-Ying and Cheung (Math. Slovaca 61(1):15–28, 2011).

1 Introduction

David Hilbert proved Hilbert’s double-series inequality without exact determination of the constant in his lectures (see [14]) and proved that if $\{a_{m}\}_{m=1}^{\infty }$ and $\{b_{n}\}_{n=1}^{\infty }$ are two real sequences such that $0<\sum_{m=1}^{\infty }a_{m}^{2}<\infty$ and $0<\sum_{n=1}^{\infty }b_{n}^{2}<\infty$, then

$$ \sum_{n=1}^{\infty }\sum _{m=1}^{\infty } \frac{a_{m}b_{n}}{m+n}\leq \pi \Biggl( \sum_{m=1}^{\infty }a_{m}^{2} \Biggr) ^{ \frac{1}{2}} \Biggl( \sum_{n=1}^{\infty }b_{n}^{2} \Biggr) ^{ \frac{1}{2}}. $$

(1.1)

In 1911, Schur [27] discovered the integral analogue of (1.1), which became known as the Hilbert integral inequality

$$ \int _{0}^{\infty } \int _{0}^{\infty }\frac{f(x)g(y)}{x+y}\,dx\,dy\leq \pi \biggl( \int _{0}^{\infty }f^{2}(x)\,dx \biggr) ^{\frac{1}{2}} \biggl( \int _{0}^{\infty }g^{2}(y)\,dy \biggr) ^{\frac{1}{2}} $$

(1.2)

for real functions f and g such that $0<\int _{0}^{\infty }f^{2}(x)\,dx< \infty$ and $0<\int _{0}^{\infty }g^{2}(y)\,dy<\infty$. The constant π in (1.1) and (1.2) is the best possible constant factor.

In 1925, by introducing a pair of conjugate exponents $(p,q)$ ($p,q>1$ with $1/p+1/q=1$) Hardy [13] gave an extension of (1.1) as follows. If p, $q>1$ and $a_{m}$, $b_{n}\geq 0$ are such that $0<\sum_{m=1}^{\infty }a_{m}^{p}<\infty$ and $0<\sum_{n=1}^{\infty }b_{n}^{q}<\infty$, then

$$ \sum_{n=1}^{\infty }\sum _{m=1}^{\infty } \frac{a_{m}b_{n}}{m+n}\leq \frac{\pi }{\sin \frac{\pi }{p}} \Biggl( \sum_{m=1}^{ \infty }a_{m}^{p} \Biggr) ^{{\frac{1}{p}}} \Biggl( \sum_{n=1}^{ \infty }b_{n}^{q} \Biggr) ^{{\frac{1}{q}}}. $$

(1.3)

Hardy and Reisz [14] proved the equivalent integral analogue of (1.3)

$$ \int _{0}^{\infty } \int _{0}^{\infty }\frac{f(x)g(y)}{x+y}\,dx\,dy\leq \frac{\pi }{\sin \frac{\pi }{p}} \biggl( \int _{0}^{\infty }f^{p}(x)\,dx \biggr) ^{{ \frac{1}{p}}} \biggl( \int _{0}^{\infty }g^{q}(y)\,dy \biggr) ^{{\frac{1}{q}}} $$

(1.4)

for nonnegative functions f and g such that $0<\int _{0}^{\infty }f^{p}(x)\,dx<\infty$ and $0<\int _{0}^{\infty }g^{q}(y)\,dy<\infty$. The constant factor $\pi /\sin (\pi /p)$ in (1.3) and (1.4) is the best possible. In 1998, Pachpatte [17] gave a new inequality close to that of Hilbert: Let $a(s)$: $\{ 0,1,2,\dots ,p \} \subset \mathbb{N}\rightarrow \mathbb{R}$ and $b(\vartheta )$: $\{ 0,1,2,\dots ,q \} \subset \mathbb{N}\rightarrow \mathbb{R}$ with $a(0)=b(0)=0$. Then

$$\begin{aligned} \sum_{s=1}^{p}\sum _{\vartheta =1}^{q} \frac{ \vert a_{s} \vert \vert b_{\vartheta } \vert }{s+\vartheta } \leq &C(p,q) \Biggl( \sum_{s=1}^{p}(p-s+1) \vert \nabla a_{s} \vert ^{2} \Biggr) ^{\frac{1}{2}} \\ &{}\times \Biggl( \sum_{\vartheta =1}^{q}(q- \vartheta +1) \vert \nabla b_{\vartheta } \vert ^{2} \Biggr) ^{\frac{1}{2}}, \end{aligned}$$

(1.5)

where

$$ \nabla a_{s}=a_{s}-a_{s-1}\quad \text{and}\quad C(p,q)= \frac{1}{2}\sqrt{pq}. $$

In 2002, Kim et al. [15] proved that if λ, $\mu >1$ and $a(s)$: $\{ 0,1,2,\dots ,p \} \subset \mathbb{N}\rightarrow \mathbb{R}$ and $b(\vartheta )$: $\{ 0,1,2,\dots ,q \} \subset \mathbb{N}\rightarrow \mathbb{R}$ with $a(0)=b(0)=0$, then

$$\begin{aligned} \sum_{s=1}^{p}\sum _{\vartheta =1}^{q} \frac{ \vert a_{s} \vert \vert b_{\vartheta } \vert }{\mu s^{\frac{ ( \lambda -1 ) ( \lambda +\mu ) }{\lambda \mu }}+\lambda \vartheta ^{\frac{ ( \mu -1 ) ( \lambda +\mu ) }{\lambda \mu }}} \leq &D^{\ast }(\lambda ,\mu ,p,q) \Biggl( \sum_{s=1}^{p}(p-s+1) \vert \nabla a_{s} \vert ^{\lambda } \Biggr) ^{ \frac{1}{\lambda }} \\ &{}\times \Biggl( \sum_{\vartheta =1}^{q}(q- \vartheta +1) \vert \nabla b_{\vartheta } \vert ^{\mu } \Biggr) ^{\frac{1}{\mu }}, \end{aligned}$$

(1.6)

where

$$ \nabla a_{s}=a_{s}-a_{s-1}\quad \text{and}\quad D^{\ast }( \lambda ,\mu ,p,q)= \frac{1}{\lambda +\mu }p^{\frac{\lambda -1}{\lambda }}q^{\frac{\mu -1}{\mu }}. $$

Also, Kim and Kim [15] proved the continuous analogue of (1.6): Let λ, $\mu >1$, and let f and g be real continuous functions on the intervals $( 0,x )$ and $( 0,y )$, respectively, with $f(0)=g(0)=0$. Then

$$\begin{aligned}& \int _{0}^{x} \int _{0}^{y} \frac{ \vert f(s) \vert \vert g(t) \vert }{\mu s^{\frac{ ( \lambda -1 ) ( \lambda +\mu ) }{\lambda \mu }}+\lambda \vartheta ^{\frac{ ( \mu -1 ) ( \lambda +\mu ) }{\lambda \mu }}}\,ds\,dt \\& \quad \leq M(\lambda ,\mu ,x,y) \biggl( \int _{0}^{x} ( x-s ) \bigl\vert f^{\prime }(s) \bigr\vert ^{\lambda }\,ds \biggr) ^{ \frac{1}{\lambda }} \biggl( \int _{0}^{y} ( y-t ) \bigl\vert g^{\prime }(t) \bigr\vert ^{\mu }\,dt \biggr) ^{\frac{1}{\mu }} \end{aligned}$$

(1.7)

for $x,y\in ( 0,\infty )$, where

$$ M(\lambda ,\mu ,x,y)=\frac{1}{\lambda +\mu }x^{ \frac{\lambda -1}{\lambda }}y^{\frac{\mu -1}{\mu }}. $$

In 2011, Chang-Jian et al. [8] generalized (1.5) as follows. Let $p_{i}>1$ and $1/p_{i}+1/p_{i}^{\ast }=1$, and let $a_{i}(s_{i})$ be real sequences defined for $s_{i}=0,1,2,\dots ,m_{i}$ such that $a_{i} ( 0 ) =0$, $i=1,2,\dots ,n$. Define the operator ∇ by $\nabla a_{i}(s_{i})=a_{i}(s_{i})-a_{i}(s_{i}-1)$ for any function $a_{i}(s_{i})$, $i=1,2,\dots ,n$. Then

$$\begin{aligned}& \sum_{s_{1}=1}^{m_{1}}\ldots \sum _{s_{n}=1}^{m_{n}} \frac{ ( n-\sum_{i=1}^{n}\frac{1}{p_{i}} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}{\prod_{i=1}^{n}m_{i}^{1/p_{i}^{\ast }}} \frac{\prod_{i=1}^{n} \vert a_{i}(s_{i}) \vert }{ ( \sum_{i=1}^{n}s_{i}/p_{i}^{\ast } ) ^{\sum _{i=1}^{n}1/p_{i}^{\ast }}} \\& \quad \leq \prod_{i=1}^{n} \Biggl( \sum _{s_{i}=1}^{m_{i}} ( m_{i}-s_{i}+1 ) \bigl\vert \nabla a_{i}(s_{i}) \bigr\vert ^{p_{i}} \Biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(1.8)

Also, the authors of [8] proved that if $h_{i}\geq 1$ and $p_{i}>1$ are constants, $1/p_{i}+1/p_{i}^{\ast }=1$, and $f_{i}(s_{i})$ are real-valued differentiable functions on $[0,x_{i})$, where $x_{i}\in ( 0,\infty )$, such that $f_{i} ( 0 ) =0$ for $i=1,2,\dots ,n$, then

$$\begin{aligned}& \int _{0}^{x_{1}}\ldots \int _{0}^{x_{n}} \frac{ ( n-\sum_{i=1}^{n}\frac{1}{p_{i}} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}{\prod_{i=1}^{n}h_{i}x_{i}^{1/p_{i}^{\ast }}} \frac{\prod_{i=1}^{n} \vert f_{i}^{h_{i}}(s_{i}) \vert }{ ( \sum_{i=1}^{n}s_{i}/p_{i}^{\ast } ) ^{\sum _{i=1}^{n}1/p_{i}^{\ast }}}\,ds_{n}\ldots ds_{1} \\& \quad \leq \prod_{i=1}^{n} \biggl( \int _{0}^{x_{i}} ( x_{i}-s_{i} ) \bigl\vert f_{i}^{h_{i}-1}(s_{i}).f_{i}^{\prime }(s_{i}) \bigr\vert ^{p_{i}}\,ds_{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(1.9)

In the last decades, a new theory has been discovered to unify the continuous and discrete calculi. It is called a time scale theory. A time scale $\mathbb{T}$ is an arbitrary nonempty closed subset of the real numbers $\mathbb{R}$. The results in this paper contain the classical continuous and discrete inequalities as particular cases where $\mathbb{T}=\mathbb{R}$ and $\mathbb{T}=\mathbb{N}$, respectively. In addition, these inequalities can be extended to the corresponding inequalities on various time scales such as $\mathbb{T}=h\mathbb{N}$, $h>0$, and $\mathbb{T}=q^{\mathbb{N}}$ for $q>1$. Many authors studied the dynamic inequalities on time scales. For more details about the dynamic inequalities on time scales, see [4–6, 16, 18–26, 28–30], and for applications of Hilbert-type inequalities, see [2, 9–11].

The aim of this paper is to determine assumptions for establishing some new reversed forms of inequalities (1.8) and (1.9) on time scales by establishing some new Hilbert-type inequalities on time scales nabla calculus. Our results will be proved by applying the integration by parts, reverse Hölder’s inequality on time scales, and the reverse of mean inequality.

The organization of the paper as follows. In Sect. 2, we present some definitions, properties, and some lemmas on time scales needed in Sect. 3, where we prove our results. These results as particular cases where $\mathbb{T}=\mathbb{N}$ and $\mathbb{T}=\mathbb{R}$ give the reversed of inequalities (1.8) and (1.9), respectively.

2 Preliminaries and basic lemmas

In 2001, Bohner and Peterson [7] defined the time scale $\mathbb{T}$ as an arbitrary nonempty closed subset of the real numbers $\mathbb{R}$. Also, they defined the backward jump operator as $\rho (\tau ):=\sup \{s\in \mathbb{T}:s<\tau \}$. For any function $f:\mathbb{T}\rightarrow \mathbb{R}$, $f^{\rho }(\tau )$ denotes $f(\rho (\tau ))$. We define the time scale interval $[a,b]_{\mathbb{T}}$ by $[a,b]_{\mathbb{T}}:=[a,b]\cap \mathbb{T}$.

Definition 2.1

([3]) A function $\lambda :\mathbb{T}\rightarrow \mathbb{R}$ is left-dense continuous or ld-continuous if it is continuous at left-dense points in $\mathbb{T}$ and its right-sided limits exist at right-dense points in $\mathbb{T}$. The space of ld-continuous functions is denoted by $\mathrm{C}_{ld}(\mathbb{T}, \mathbb{R})$.

Definition 2.2

([3]) A function $\lambda :\mathbb{T\rightarrow R}$ is said to be ∇-differentiable at $t\in \mathbb{T}$ if ψ is defined in a neighborhood U of t and there exists a unique real number $\psi ^{\nabla }(t)$, called the nabla derivative of ψ at t, such that for each $\epsilon >0$, there exists a neighborhood N of t with $N\subseteq U$, and

$$ \bigl\vert \psi \bigl(\rho (t)\bigr)-\psi (s)-\psi ^{\nabla }(t)\bigl[ \rho (t)-s\bigr] \bigr\vert \leq \epsilon \bigl\vert \rho (t)-s \bigr\vert \quad\text{for all }s\in N. $$

Lemma 2.1

(Chain rule for nabla derivative [12]) Let $\psi :\mathbb{R}\rightarrow \mathbb{R}$ be continuously differentiable and suppose that $\chi :\mathbb{T}\rightarrow \mathbb{R}$ is continuous and nabla differentiable. Then $\psi \circ \chi :\mathbb{T}\rightarrow \mathbb{R}$ is nabla differentiable, and there exists d in the real interval $[\rho (t),t]$ such that

$$ ( \psi \circ \chi ) ^{\nabla } ( t ) =\psi ^{ \prime } \bigl( \chi ( d ) \bigr) \chi ^{\nabla }(t). $$

(2.1)

Definition 2.3

([3]) A function $\Lambda :\mathbb{T}\rightarrow \mathbb{R}$ is called a nabla antiderivative of $\psi :\mathbb{T}\rightarrow \mathbb{R}$ if $\Lambda ^{\nabla }(t)=\psi (t)$ for all $t\in \mathbb{T}$. We then define the nabla integral of ψ by

$$ \int _{a}^{t}\psi (s)\nabla s=\Lambda (t)- \Lambda (a)\quad \text{for all }t\in \mathbb{T}. $$

Theorem 2.1

([3]) Let a, b, $c\in \mathbb{T}$ and α, $\beta \in \mathbb{R}$, and let ψ, $\chi :\mathbb{T}\rightarrow \mathbb{R}$ be ld-continuous. Then we have the following properties:

• (1) $\int _{a}^{b} [ \alpha \psi (t)+\beta \chi (t) ] \nabla t=\alpha \int _{a}^{b}\psi (t)\nabla t+\beta \int _{a}^{b}\chi (t)\nabla t$,

• (2) $\int _{a}^{b}\psi (t)\nabla t=-\int _{b}^{a} \psi (t)\nabla t$,

• (3) $\int _{a}^{c}\psi (t)\nabla t=\int _{a}^{b}\psi (t) \nabla t+\int _{b}^{c}\psi (t)\nabla t$,

• (4) $\vert \int _{a}^{b}\psi (t)\nabla t \vert \leq \int _{a}^{b} \vert \psi (t) \vert \nabla t$,

• (5) If $\psi (t)\geq 0$ for all $t\in {}[ a,b]_{\mathbb{T}}$, then $\int _{a}^{b}\psi (t)\nabla t\geq 0$,

• (6) If $\psi (t)\geq \chi (t)$ for all $t\in {}[ a,b]_{ \mathbb{T}}$, then $\int _{a}^{b}\psi (t)\nabla t\geq \int _{a}^{b}\chi (t) \nabla t$.

Lemma 2.2

(The integration by parts on time scales [3]) If a, $b \in \mathbb{T}$ and f, $g:\mathbb{T}\rightarrow \mathbb{R}$ are ld-continuous, then

$$ \int _{a}^{b}f(t)g^{\nabla }(t)\nabla t= f(t)g(t)\vert _{a}^{b}- \int _{a}^{b}f^{\nabla }(t)g^{\rho }(t) \nabla t. $$

(2.2)

Lemma 2.3

(Reverse Hölder’s inequality [1]) If a, $b\in \mathbb{T}$, f, $g\in \mathrm{C}_{ld}(\mathbb{T},\mathbb{R})$, $\gamma <0$, and $1/\gamma +1/\nu =1$, then

$$ \int _{a}^{b} \bigl\vert f(\tau )g(\tau ) \bigr\vert \nabla \tau \geq \biggl[ \int _{a}^{b} \bigl\vert f( \tau ) \bigr\vert ^{\gamma }\nabla \tau \biggr] ^{\frac{1}{\gamma }} \biggl[ \int _{a}^{b} \bigl\vert g(\tau ) \bigr\vert ^{\nu }\nabla \tau \biggr] ^{\frac{1}{\nu }}. $$

(2.3)

Lemma 2.4

Let $a_{i},b_{i}\in \mathbb{T}$, and let either $\psi _{i}\in \mathrm{C}_{ld}( [ a_{i},b_{i} ] _{\mathbb{T}},(-\infty ,0])$ be nonincreasing functions or $\psi _{i}\in \mathrm{C}_{ld}( [ a_{i},b_{i} ] _{\mathbb{T}},[0,\infty ))$ be nondecreasing functions with $\psi _{i}(a_{i})=0$, $i=1,2,\dots ,n$. Then

$$ \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert \nabla t_{i}= \bigl\vert \psi _{i}(\xi _{i}) \bigr\vert , \quad \xi _{i}\in [ a_{i},b_{i} ] _{\mathbb{T}}. $$

(2.4)

Proof

Firstly, if $\psi _{i}\in \mathrm{C}_{ld}( [ a_{i},b_{i} ] _{\mathbb{T}},(-\infty ,0])$ is a nonincreasing function with $\psi _{i}(a_{i})=0$, then we see that $\psi _{i}^{\nabla }(t_{i})\leq 0$, and then

$$\begin{aligned} \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert \nabla t_{i} =&- \int _{a_{i}}^{\xi _{i}}\psi _{i}^{\nabla }(t_{i}) \nabla t_{i} \\ =&- \bigl[ \psi _{i}(\xi _{i})-\psi _{i}(a_{i}) \bigr] =-\psi _{i}( \xi _{i})= \bigl\vert \psi _{i}(\xi _{i}) \bigr\vert . \end{aligned}$$

(2.5)

Secondly, if $\psi _{i}\in \mathrm{C}_{ld}( [ a_{i},b_{i} ] _{\mathbb{T}},[0,\infty ))$ is a nondecreasing function with $\psi _{i}(a_{i})=0$, then we observe that $\psi _{i}^{\nabla }(t_{i})\geq 0$, and then

$$\begin{aligned} \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert \nabla t_{i} =& \int _{a_{i}}^{\xi _{i}}\psi _{i}^{\nabla }(t_{i}) \nabla t_{i} \\ =&\psi _{i}(\xi _{i})-\psi _{i}(a_{i})= \psi _{i}(\xi _{i})= \bigl\vert \psi _{i}(\xi _{i}) \bigr\vert . \end{aligned}$$

(2.6)

From (2.5) and (2.6) we get

$$ \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert \nabla t_{i}= \bigl\vert \psi _{i}(\xi _{i}) \bigr\vert , $$

which is (2.4). The proof is complete. □

Lemma 2.5

(Mean inequality [14]) If $\alpha _{i}$, $\beta _{i}>0$ for $i=1,2,\dots ,n$, then

$$ \prod_{i=1}^{n}\alpha _{i}^{\beta _{i}}\leq \frac{ ( \sum_{i=1}^{n}\alpha _{i}\beta _{i} ) ^{\sum _{i=1}^{n}\beta _{i}}}{ ( \sum_{i=1}^{n}\beta _{i} ) ^{\sum _{i=1}^{n}\beta _{i}}}. $$

(2.7)

Lemma 2.6

Let $q_{i}<0$ with $1/p_{i}+1/q_{i}=1$, and let $s_{i}>0$, $i=1,2,\dots ,n$. Then

$$ \prod_{i=1}^{n}s_{i}^{1/q_{i}} \geq \frac{ ( \sum_{i=1}^{n}s_{i}/q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{ ( n-\sum _{i=1}^{n}1/p_{i} ) }}. $$

(2.8)

Proof

Applying Lemma 2.5 with $\alpha _{i}=s_{i}$ and $\beta _{i}=-1/q_{i}$, we observe that

$$ \prod_{i=1}^{n}s_{i}^{1/q_{i}} \geq \biggl( \frac{\sum_{i=1}^{n}s_{i}/q_{i}}{\sum_{i=1}^{n}1/q_{i}} \biggr) ^{{\sum _{i=1}^{n}1/q_{i}}}. $$

(2.9)

Since $1/q_{i}=1-1/p_{i}$, we have that

$$ \sum_{i=1}^{n}1/q_{i}= \sum_{i=1}^{n} ( 1-1/p_{i} ) =n- \sum_{i=1}^{n}1/p_{i}, $$

and then inequality (2.9) becomes

$$ \prod_{i=1}^{n}s_{i}^{1/q_{i}} \geq \frac{ ( \sum_{i=1}^{n}s_{i}/q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}, $$

which is (2.8). The proof is complete. □

3 Main results

Throughout the paper, we will assume that the integrals considered exist.

Now we can state and prove our results.

Theorem 3.1

Let $a_{i},b_{i}\in \mathbb{T}$, let $0< p_{i}<1$ and $q_{i}<0$ be such that $1/p_{i}+1/q_{i}=1$, and let either $\psi _{i}\in \mathrm{C}_{ld}( [ a_{i},b_{i} ] _{\mathbb{T}},(-\infty ,0])$ be nonincreasing functions or $\psi _{i}\in \mathrm{C}_{ld}( [ a_{i},b_{i} ] _{\mathbb{T}},[0,\infty ))$ be nondecreasing functions with $\psi _{i}(a_{i})=0$, $i=1,2,\dots ,n$. Then

$$\begin{aligned} & \int _{a_{n}}^{b_{n}}\dots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}{\prod_{i=1}^{n} ( b_{i}-a_{i} ) ^{\frac{1}{q_{i}}}} \frac{\prod_{i=1}^{n} \vert \psi _{i}(\xi _{i}) \vert }{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\dots \nabla \xi _{n} \\ &\quad \geq \prod_{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \bigl\vert \psi _{i}^{ \nabla }(\xi _{i}) \bigr\vert ^{p_{i}} \bigl[ b_{i}-\rho (\xi _{i}) \bigr] \nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(3.1)

Proof

From (2.4) we have that for $\xi _{i}\in [ a_{i},b_{i} ] _{\mathbb{T}}$,

$$ \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert \nabla t_{i}= \bigl\vert \psi _{i}(\xi _{i}) \bigr\vert , $$

and then

$$ \prod_{i=1}^{n} \bigl\vert \psi _{i}(\xi _{i}) \bigr\vert =\prod _{i=1}^{n} \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert \nabla t_{i}. $$

(3.2)

Applying (2.3) to $\int _{a_{i}}^{\xi _{i}} \vert \psi _{i}^{\nabla }(t_{i}) \vert \nabla t_{i}$, we observe that

$$\begin{aligned} \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert \nabla t_{i} \geq & \biggl( \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}} \biggl( \int _{a_{i}}^{\xi _{i}}\nabla t_{i} \biggr) ^{ \frac{1}{q_{i}}} \\ =& ( \xi _{i}-a_{i} ) ^{\frac{1}{q_{i}}} \biggl( \int _{a_{i}}^{ \xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}} \nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}, \end{aligned}$$

and then

$$ \prod_{i=1}^{n} \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{ \nabla }(t_{i}) \bigr\vert \nabla t_{i}\geq \prod_{i=1}^{n} ( \xi _{i}-a_{i} ) ^{\frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}. $$

(3.3)

Substituting (3.3) into (3.2), we see that

$$ \prod_{i=1}^{n} \bigl\vert \psi _{i}(\xi _{i}) \bigr\vert \geq \prod _{i=1}^{n} ( \xi _{i}-a_{i} ) ^{\frac{1}{q_{i}}}\prod_{i=1}^{n} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{ \nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \biggr) ^{ \frac{1}{p_{i}}}. $$

(3.4)

Applying Lemma 2.6 with $s_{i}=\xi _{i}-a_{i}$, we have that

$$ \prod_{i=1}^{n} ( \xi _{i}-a_{i} ) ^{1/q_{i}}\geq \frac{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}, $$

and so inequality (3.4) becomes

$$ \prod_{i=1}^{n} \bigl\vert \psi _{i}(\xi _{i}) \bigr\vert \geq \frac{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}\prod_{i=1}^{n} \biggl( \int _{a_{i}}^{ \xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}} \nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}. $$

(3.5)

Multiplying (3.5) by $( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}/ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{ \sum _{i=1}^{n}1/q_{i}}$ and integrating over $\xi _{i}$ from $a_{i}$ to $b_{i}$, $i=1,2,\dots ,n$, we observe that

$$\begin{aligned} & \int _{a_{n}}^{b_{n}}\dots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n} \vert \psi _{i}(\xi _{i}) \vert }{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\dots \nabla \xi _{n} \\ &\quad \geq \int _{a_{n}}^{b_{n}}\dots \int _{a_{1}}^{b_{1}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}\nabla \xi _{1}\dots \nabla \xi _{n} \\ &\quad =\prod_{i=1}^{n} \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}\nabla \xi _{i}. \end{aligned}$$

(3.6)

Applying (2.3) to $\int _{a_{i}}^{b_{i}} ( \int _{a_{i}}^{\xi _{i}} \vert \psi _{i}^{\nabla }(t_{i}) \vert ^{p_{i}}\nabla t_{i} ) ^{ \frac{1}{p_{i}}}\nabla \xi _{i}$, we have that

$$\begin{aligned} \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \biggr) ^{ \frac{1}{p_{i}}}\nabla \xi _{i} \geq & \biggl( \int _{a_{i}}^{b_{i}} \int _{a_{i}}^{ \xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}} \nabla t_{i}\nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}} \biggl( \int _{a_{i}}^{b_{i}} \nabla \xi _{i} \biggr) ^{\frac{1}{q_{i}}} \\ =& ( b_{i}-a_{i} ) ^{\frac{1}{q_{i}}} \biggl( \int _{a_{i}}^{b_{i}} \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i}\nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}, \end{aligned}$$

and then

$$\begin{aligned}& \prod_{i=1}^{n} \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}\nabla \xi _{i} \\& \quad \geq \prod_{i=1}^{n} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(3.7)

Substituting (3.7) into (3.6), we see that

$$\begin{aligned} & \int _{a_{n}}^{b_{n}}\dots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n} \vert \psi _{i}(\xi _{i}) \vert }{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\dots \nabla \xi _{n} \\ & \quad \geq \prod_{i=1}^{n} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(3.8)

Applying (2.2) on $\int _{a_{i}}^{b_{i}} ( \int _{a_{i}}^{\xi _{i}} \vert \psi _{i}^{\nabla }(t_{i}) \vert ^{p_{i}}\nabla t_{i} ) \nabla \xi _{i}$, we get

$$\begin{aligned}& \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{\nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} \\& \quad =\biggl( \int _{a_{i}}^{\xi _{i}} \bigl\vert \psi _{i}^{ \nabla }(t_{i}) \bigr\vert ^{p_{i}}\nabla t_{i} \biggr) g_{1}(\xi _{i}) \vert _{a_{i}}^{b_{i}}- \int _{a_{i}}^{b_{i}} \bigl\vert \psi _{i}^{ \nabla }(\xi _{i}) \bigr\vert ^{p_{i}}g_{1}^{\rho }(\xi _{i}) \nabla \xi _{i} \\& \quad = \int _{a_{i}}^{b_{i}} \bigl\vert \psi _{i}^{\nabla }(\xi _{i}) \bigr\vert ^{p_{i}} \bigl[ b_{i}-\rho (\xi _{i})\bigr] \nabla \xi _{i}, \end{aligned}$$

(3.9)

where $g_{1}(\xi _{i})=\xi _{i}-b_{i}$. Substituting (3.9) into (3.8), we obtain

$$\begin{aligned} & \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n} \vert \psi _{i}(\xi _{i}) \vert }{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\ldots \nabla \xi _{n} \\ &\quad \geq \prod_{i=1}^{n} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \bigl\vert \psi _{i}^{ \nabla }(\xi _{i}) \bigr\vert ^{p_{i}} \bigl[ b_{i}-\rho (\xi _{i}) \bigr] \nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}, \end{aligned}$$

(3.10)

and then

$$\begin{aligned} & \int _{a_{n}}^{b_{n}}\dots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}{\prod_{i=1}^{n} ( b_{i}-a_{i} ) ^{\frac{1}{q_{i}}}} \frac{\prod_{i=1}^{n} \vert \psi _{i}(\xi _{i}) \vert }{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\dots \nabla \xi _{n} \\ &\quad \geq \prod_{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \bigl\vert \psi _{i}^{ \nabla }(\xi _{i}) \bigr\vert ^{p_{i}} \bigl[ b_{i}-\rho (\xi _{i}) \bigr] \nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}, \end{aligned}$$

which is (3.1). The proof is complete. □

Remark 3.1

As a particular case of Theorem 3.1, if $\mathbb{T}=\mathbb{N}_{0}$, $\rho (\xi _{i})=\xi _{i}-1$, and $a_{i}=0$ for $i=1,2,\dots ,n$, then we get the reversed form of (1.8).

Corollary 3.1

As a particular case of Theorem 3.1, if $\mathbb{T}=\mathbb{R}$, $\rho (\xi _{i})=\xi _{i}$, $a_{i}=0$, $0< p_{i}<1$ and $q_{i}<0$ are such that $1/p_{i}+1/q_{i}=1$, and either $\psi _{i}$ is a nonpositive nonincreasing function, or $\psi _{i}$ is a nonnegative nondecreasing function with $\psi _{i}(0)=0$, $i=1,2,\ldots,n$, then

$$\begin{aligned} & \int _{0}^{b_{n}}\ldots \int _{0}^{b_{1}} \frac{K\prod_{i=1}^{n} \vert \psi _{i}(\xi _{i}) \vert }{ ( \sum_{i=1}^{n}\frac{\xi _{i}}{q_{i}} ) ^{\sum _{i=1}^{n}1/q_{i}}}\,d\xi _{1}\ldots d\xi _{n} \\ &\quad \geq \prod_{i=1}^{n} \biggl( \int _{0}^{b_{i}} \bigl\vert \psi _{i}^{ \prime }(\xi _{i}) \bigr\vert ^{p_{i}} [ b_{i}-\xi _{i} ]\,d \xi _{i} \biggr) ^{\frac{1}{p_{i}}}, \end{aligned}$$

where $K= ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}/ \prod_{i=1}^{n}b_{i}^{\frac{1}{q_{i}}}$.

In the following theorem, we generalize Theorem 3.1 by replacing the function $\psi _{i}(\xi _{i})$ with $\psi _{i}^{h_{i}}(\xi _{i})$, $h_{i}\geq 1$.

Theorem 3.2

Let $a_{i},b_{i}\in \mathbb{T}$, $0< h_{i}\leq 1$, let $0< p_{i}<1$ and $q_{i}<0$ be such that $1/p_{i}+1/q_{i}=1$, and let $\psi _{i}\in \mathrm{C}_{ld}( [ a_{i},b_{i} ] _{ \mathbb{T}},\mathbb{R}^{+}\cup \{0\})$ be increasing functions with $\psi _{i}(a_{i})=0$ for $i=1,2,\ldots,n$. Then

$$\begin{aligned} & \int _{a_{n}}^{b_{n}}.. \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}{\prod_{i=1}^{n}h_{i} ( b_{i}-a_{i} ) ^{\frac{1}{q_{i}}}} \frac{\prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})}{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}} \nabla \xi _{1}..\nabla \xi _{n} \\ &\quad \geq \prod_{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \bigl( b_{i}- \rho (\xi _{i}) \bigr) \bigl( \psi _{i}^{h_{i}-1}( \xi _{i})\psi _{i}^{ \nabla }(\xi _{i}) \bigr) ^{p_{i}}\nabla \xi _{i} \biggr) ^{ \frac{1}{p_{i}}}. \end{aligned}$$

(3.11)

Proof

Applying (2.1) to $\psi _{i}^{h_{i}}(t_{i})$, we get

$$ \bigl[ \psi _{i}^{h_{i}}(t_{i}) \bigr] ^{\nabla }=h_{i}\psi _{i}^{h_{i}-1}( \zeta _{i})\psi _{i}^{\nabla }(t_{i}), $$

(3.12)

where $\zeta _{i}\in [ \rho (t_{i}),t_{i} ]$. Since $\psi _{i}$ is an increasing function, $0< h_{i}\leq 1$, and $\zeta _{i} \leq t_{i}$, we have from (3.12) that

$$ \bigl[ \psi _{i}^{h_{i}}(t_{i}) \bigr] ^{\nabla }\geq h_{i}\psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) $$

(note that this statement holds with equality for $h_{i}=1$), and then integrating the last inequality over $t_{i}$ from $a_{i}$ to $\xi _{i}$, where $\psi _{i}(a_{i})=0$, we observe that

$$\begin{aligned}& h_{i} \int _{a_{i}}^{\xi _{i}}\psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{ \nabla }(t_{i})\nabla t_{i} \\& \quad \leq \int _{a_{i}}^{\xi _{i}} \bigl[ \psi _{i}^{h_{i}}(t_{i}) \bigr] ^{\nabla }\nabla t_{i}=\psi _{i}^{h_{i}}( \xi _{i})-\psi _{i}^{h_{i}}(a_{i})= \psi _{i}^{h_{i}}(\xi _{i}). \end{aligned}$$

Thus

$$ \prod_{i=1}^{n}h_{i} \int _{a_{i}}^{\xi _{i}}\psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i})\nabla t_{i}\leq \prod_{i=1}^{n} \psi _{i}^{h_{i}}( \xi _{i}). $$

(3.13)

Applying (2.3) to $\int _{a_{i}}^{\xi _{i}}\psi _{i}^{h_{i}-1}(t_{i})\psi _{i}^{\nabla }(t_{i}) \nabla t_{i}$, we have that

$$\begin{aligned}& \int _{a_{i}}^{\xi _{i}}\psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{ \nabla }(t_{i})\nabla t_{i} \\& \quad \geq \biggl( \int _{a_{i}}^{\xi _{i}}\nabla t_{i} \biggr) ^{ \frac{1}{q_{i}}} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{ \frac{1}{p_{i}}} \\& \quad = ( \xi _{i}-a_{i} ) ^{\frac{1}{q_{i}}} \biggl( \int _{a_{i}}^{ \xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}, \end{aligned}$$

and then

$$\begin{aligned}& \prod_{i=1}^{n} \int _{a_{i}}^{\xi _{i}}\psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i})\nabla t_{i} \\& \quad \geq \prod_{i=1}^{n} ( \xi _{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{ \frac{1}{p_{i}}}. \end{aligned}$$

(3.14)

Substituting (3.14) into (3.13), we get

$$ \prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})\geq \prod _{i=1}^{n}h_{i} ( \xi _{i}-a_{i} ) ^{\frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{ \frac{1}{p_{i}}}. $$

(3.15)

Applying Lemma 2.6 with $s_{i}=\xi _{i}-a_{i}$, we have that

$$ \prod_{i=1}^{n} ( \xi _{i}-a_{i} ) ^{1/q_{i}}\geq \frac{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}. $$

(3.16)

Substituting (3.16) into (3.15), we see that

$$\begin{aligned} \prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i}) \geq & \frac{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}} \\ &{}\times \prod_{i=1}^{n}h_{i} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}} \nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(3.17)

Multiplying (3.17) by $( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}/ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{ \sum _{i=1}^{n}1/q_{i}}$ and integrating over $\xi _{i}$ from $a_{i}$ to $b_{i}$, $i=1,2,\ldots,n$, we observe that

$$\begin{aligned} & \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})}{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\ldots \nabla \xi _{n} \\ &\quad \geq \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}}\prod _{i=1}^{n}h_{i} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{ \frac{1}{p_{i}}}\nabla \xi _{1}\ldots \nabla \xi _{n} \\ &\quad =\prod_{i=1}^{n}h_{i} \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{ \xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}\nabla \xi _{i}. \end{aligned}$$

(3.18)

Applying (2.3) to $\int _{a_{i}}^{b_{i}} ( \int _{a_{i}}^{ \xi _{i}} ( \psi _{i}^{h_{i}-1}(t_{i})\psi _{i}^{\nabla }(t_{i}) ) ^{p_{i}}\nabla t_{i} ) ^{\frac{1}{p_{i}}}\nabla \xi _{i}$, we have that

$$\begin{aligned}& \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{ \frac{1}{p_{i}}}\nabla \xi _{i} \\& \quad \geq ( b_{i}-a_{i} ) ^{\frac{1}{q_{i}}} \biggl( \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}, \end{aligned}$$

and then

$$\begin{aligned} & \prod_{i=1}^{n} \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}} \nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}\nabla \xi _{i} \\ &\quad \geq \prod_{i=1}^{n} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{ \xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} \biggr) ^{ \frac{1}{p_{i}}}. \end{aligned}$$

(3.19)

Substituting (3.19) into (3.18), we see that

$$\begin{aligned}& \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})}{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\ldots \nabla \xi _{n} \\& \quad \geq \prod_{i=1}^{n}h_{i} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{ \xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} \biggr) ^{ \frac{1}{p_{i}}}. \end{aligned}$$

(3.20)

Applying (2.2) to $\int _{a_{i}}^{b_{i}} ( \int _{a_{i}}^{\xi _{i}} ( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) ) ^{p_{i}}\nabla t_{i} ) \nabla \xi _{i}$, we get

$$\begin{aligned} & \int _{a_{i}}^{b_{i}} \biggl( \int _{a_{i}}^{\xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} \\ &\quad = g_{2}(\xi _{i}) \biggl( \int _{a_{i}}^{\xi _{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \psi _{i}^{\nabla }(t_{i}) \bigr) ^{p_{i}} \nabla t_{i} \biggr) \vert _{a_{i}}^{b_{i}}- \int _{a_{i}}^{b_{i}}g_{2}^{ \rho }( \xi _{i}) \bigl( \psi _{i}^{h_{i}-1}(\xi _{i})\psi _{i}^{ \nabla }(\xi _{i}) \bigr) ^{p_{i}}\nabla \xi _{i} \\ &\quad = \int _{a_{i}}^{b_{i}} \bigl( b_{i}-\rho (\xi _{i}) \bigr) \bigl( \psi _{i}^{h_{i}-1}( \xi _{i})\psi _{i}^{\nabla }(\xi _{i})\bigr) ^{p_{i}} \nabla \xi _{i}, \end{aligned}$$

(3.21)

where $g_{2}(\xi _{i})=\xi _{i}-b_{i}$. Substituting (3.21) into (3.20), we observe that

$$\begin{aligned}& \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}{\prod_{i=1}^{n}h_{i} ( b_{i}-a_{i} ) ^{\frac{1}{q_{i}}}} \frac{\prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})}{ ( \sum_{i=1}^{n} ( \xi _{i}-a_{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}} \nabla \xi _{1}\ldots \nabla \xi _{n} \\& \quad \geq \prod_{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \bigl( b_{i}- \rho (\xi _{i}) \bigr) \bigl( \psi _{i}^{h_{i}-1}( \xi _{i})\psi _{i}^{ \nabla }(\xi _{i}) \bigr) ^{p_{i}}\nabla \xi _{i} \biggr) ^{ \frac{1}{p_{i}}}, \end{aligned}$$

which satisfies (3.11). The proof is complete. □

Remark 3.2

As a particular case of Theorem 3.2, if $h_{i}=1$ for $i=1,2,\ldots,n$, then we observe that Theorem 3.1 holds.

Remark 3.3

If $\mathbb{T}=\mathbb{R}$ and $a_{i}=0$, then we get the reverse of inequality (1.9) under the following conditions: $0< h_{i}\leq 1$, $q_{i}<0$, and $\psi _{i}\in \mathrm{C}( [ a_{i},b_{i} ] ,\mathbb{R}^{+} \cup \{0\})$ are increasing functions with $\psi _{i}(0)=0$ for $i=1,2,\ldots,n$.

Theorem 3.3

Let $a_{i},b_{i}\in \mathbb{T}$, $h_{i}\geq 1$, $q_{i}<0$, $p_{i}=q_{i}/ ( q_{i}-1 )$, and let $\psi _{i}\in \mathrm{C}_{ld}( [ a_{i},b_{i} ] _{\mathbb{T}},\mathbb{R}^{+}\cup \{0\})$ be decreasing functions with $\psi _{i}(b_{i})=0$ for $i=1,2,\ldots,n$. Then

$$\begin{aligned}& \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})}{ ( \sum_{i=1}^{n} ( b_{i}-\xi _{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\ldots \nabla \xi _{n} \\& \quad \geq \prod_{i=1}^{n}h_{i} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \bigl( \rho (\xi _{i})-a_{i} \bigr) \bigl( \bigl[ \psi _{i}(\xi _{i}) \bigr] ^{h_{i}-1} \bigl[ -\psi _{i}^{\nabla }(\xi _{i}) \bigr] \bigr) ^{p_{i}}\nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(3.22)

Proof

Applying the chain rule formula (2.1) to the term $\psi _{i}^{h_{i}}(t_{i})$, $h_{i}\geq 1$, we get

$$ \bigl[ -\psi _{i}^{h_{i}}(t_{i}) \bigr] ^{\nabla }=h_{i}\psi _{i}^{h_{i}-1}( \zeta _{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] , $$

(3.23)

where $\zeta _{i}\in [ \rho (t_{i}),t_{i} ]$. Since $\psi _{i}$ is a decreasing function, $h_{i}\geq 1$, and $\zeta _{i} \leq t_{i}$, we have from (3.23) that

$$ \bigl[ -\psi _{i}^{h_{i}}(t_{i}) \bigr] ^{\nabla }\geq h_{i}\psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] , $$

and then by integrating the last inequality over $t_{i}$ from $\xi _{i}$ to $b_{i}$, where $\psi _{i}(b_{i})=0$, we see that

$$\begin{aligned} h_{i} \int _{\xi _{i}}^{b_{i}}\psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{ \nabla }(t_{i}) \bigr] \nabla t_{i} \leq & \int _{\xi _{i}}^{b_{i}} \bigl[ -\psi _{i}^{h_{i}}(t_{i}) \bigr] ^{\nabla } \nabla t_{i} =-\psi _{i}^{h_{i}}(b_{i})+\psi _{i}^{h_{i}}(\xi _{i}) =\psi _{i}^{h_{i}}(\xi _{i}). \end{aligned}$$

Therefore

$$ \prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})\geq \prod _{i=1}^{n}h_{i} \int _{\xi _{i}}^{b_{i}}\psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{ \nabla }(t_{i}) \bigr] \nabla t_{i}. $$

(3.24)

Applying reverse Hölder’s inequality (2.3) to the term

$$ \int _{\xi _{i}}^{b_{i}}\psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{ \nabla }(t_{i}) \bigr] \nabla t_{i} $$

with $q_{i}<0$, $p_{i}=q_{i}/ ( q_{i}-1 )$, $f(t_{i})= \psi _{i}^{h_{i}-1}(t_{i}) [ -\psi _{i}^{\nabla }(t_{i}) ]$, and $g(t_{i})=1$, we have that

$$\begin{aligned}& \int _{\xi _{i}}^{b_{i}}\psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{ \nabla }(t_{i}) \bigr] \nabla t_{i} \\& \quad \geq \biggl( \int _{\xi _{i}}^{b_{i}}\nabla t_{i} \biggr) ^{ \frac{1}{q_{i}}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}} \\& \quad = ( b_{i}-\xi _{i} ) ^{\frac{1}{q_{i}}} \biggl( \int _{ \xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{ \nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{ \frac{1}{p_{i}}}, \end{aligned}$$

and then

$$\begin{aligned}& \prod_{i=1}^{n} \int _{\xi _{i}}^{b_{i}}\psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \nabla t_{i} \\& \quad \geq \prod_{i=1}^{n} ( b_{i}-\xi _{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(3.25)

Substituting (3.25) into (3.24), we get

$$ \prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})\geq \prod _{i=1}^{n}h_{i} ( b_{i}-\xi _{i} ) ^{\frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}. $$

(3.26)

Applying Lemma 2.6 with $s_{i}=b_{i}-\xi _{i}$, we have that

$$ \prod_{i=1}^{n} ( b_{i}-\xi _{i} ) ^{1/q_{i}}\geq \frac{ ( \sum_{i=1}^{n} ( b_{i}-\xi _{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}}. $$

(3.27)

Substituting (3.27) into (3.26), we see that

$$\begin{aligned} \prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i}) \geq & \frac{ ( \sum_{i=1}^{n} ( b_{i}-\xi _{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}} \\ &\times \prod_{i=1}^{n}h_{i} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(3.28)

Multiplying (3.28) by the term

$$ \Biggl( n-\sum_{i=1}^{n}1/p_{i} \Biggr) ^{n-\sum _{i=1}^{n}1/p_{i}}\Biggm/ \Biggl( \sum_{i=1}^{n} ( b_{i}-\xi _{i} ) /q_{i} \Biggr) ^{ \sum _{i=1}^{n}1/q_{i}} $$

and integrating over $\xi _{i}$ from $a_{i}$ to $b_{i}$, $i=1,2,\ldots,n$, we observe that

$$\begin{aligned} & \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})}{ ( \sum_{i=1}^{n} ( b_{i}-\xi _{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\ldots \nabla \xi _{n} \\ & \quad \geq \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}}\prod _{i=1}^{n}h_{i} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}\nabla \xi _{1}\ldots \nabla \xi _{n} \\ &\quad =\prod_{i=1}^{n}h_{i} \int _{a_{i}}^{b_{i}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}} \nabla \xi _{i}. \end{aligned}$$

(3.29)

Applying reverse Hölder’s inequality (2.3) to the term

$$ \int _{a_{i}}^{b_{i}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}\nabla \xi _{i} $$

with $q_{i}<0$, $p_{i}=q_{i}/ ( q_{i}-1 )$,

$$ g(\xi _{i})=1,\quad \text{and}\quad f(\xi _{i})= \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}, $$

we have that

$$\begin{aligned}& \int _{a_{i}}^{b_{i}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}}\nabla \xi _{i} \\& \quad \geq ( b_{i}-a_{i} ) ^{\frac{1}{q_{i}}} \biggl( \int _{a_{i}}^{b_{i}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}, \end{aligned}$$

and then

$$\begin{aligned} & \prod_{i=1}^{n} \int _{a_{i}}^{b_{i}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) ^{\frac{1}{p_{i}}} \nabla \xi _{i} \\ &\quad \geq \prod_{i=1}^{n} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(3.30)

Substituting (3.30) into (3.29), we see that

$$\begin{aligned}& \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})}{ ( \sum_{i=1}^{n} ( b_{i}-\xi _{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\ldots \nabla \xi _{n} \\& \quad \geq \prod_{i=1}^{n}h_{i} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

(3.31)

Applying the integration-by-parts formula (2.2) to the term

$$ \int _{a_{i}}^{b_{i}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} $$

with $f_{3}(\xi _{i})=\int _{\xi _{i}}^{b_{i}} ( \psi _{i}^{h_{i}-1}(t_{i}) [ -\psi _{i}^{\nabla }(t_{i}) ] ) ^{p_{i}}\nabla t_{i}$ and $g_{3}^{\nabla }(\xi _{i})=1$, we get

$$\begin{aligned}& \int _{a_{i}}^{b_{i}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} \\& \quad =g_{3}(\xi _{i}) \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) \vert _{a_{i}}^{b_{i}} \\& \qquad {}+ \int _{a_{i}}^{b_{i}}g_{3}^{\rho }( \xi _{i}) \bigl( \bigl[ \psi _{i}( \xi _{i}) \bigr] ^{h_{i}-1} \bigl[ -\psi _{i}^{\nabla }( \xi _{i}) \bigr] \bigr) ^{p_{i}}\nabla \xi _{i}, \end{aligned}$$

(3.32)

where $g_{3}(\xi _{i})=\xi _{i}-a_{i}$. Since $g_{3}(a_{i})=0$, we have from (3.32) that

$$\begin{aligned}& \int _{a_{i}}^{b_{i}} \biggl( \int _{\xi _{i}}^{b_{i}} \bigl( \psi _{i}^{h_{i}-1}(t_{i}) \bigl[ -\psi _{i}^{\nabla }(t_{i}) \bigr] \bigr) ^{p_{i}}\nabla t_{i} \biggr) \nabla \xi _{i} \\& \quad = \int _{a_{i}}^{b_{i}} \bigl( \rho (\xi _{i})-a_{i} \bigr) \bigl( \bigl[ \psi _{i}(\xi _{i}) \bigr] ^{h_{i}-1} \bigl[ -\psi _{i}^{ \nabla }(\xi _{i}) \bigr] \bigr) ^{p_{i}}\nabla \xi _{i}. \end{aligned}$$

(3.33)

Substituting (3.33) into (3.31), we observe that

$$\begin{aligned}& \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})}{ ( \sum_{i=1}^{n} ( b_{i}-\xi _{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\nabla \xi _{1}\ldots \nabla \xi _{n} \\& \quad \geq \prod_{i=1}^{n}h_{i} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} \bigl( \rho (\xi _{i})-a_{i} \bigr) \bigl( \bigl[ \psi _{i}(\xi _{i}) \bigr] ^{h_{i}-1} \bigl[ -\psi _{i}^{\nabla }(\xi _{i}) \bigr] \bigr) ^{p_{i}}\nabla \xi _{i} \biggr) ^{\frac{1}{p_{i}}}, \end{aligned}$$

which is (3.22). The proof is complete. □

Corollary 3.2

As a particular case of Theorem 3.3, if $\mathbb{T}=\mathbb{R}$, $a_{i}$, $b_{i}\in \mathbb{T}$, $h_{i}\geq 1$, $q_{i}<0$, $p_{i}=q_{i}/ ( q_{i}-1 )$, and $\psi _{i}\in \mathrm{C}( [ a_{i},b_{i} ] ,\mathbb{R}^{+}\cup \{0\})$ is a decreasing function with $\psi _{i}(b_{i})=0$ for $i=1,2,\ldots,n$, then $\rho (\xi _{i})=\xi _{i}$, and

$$\begin{aligned}& \int _{a_{n}}^{b_{n}}\ldots \int _{a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})}{ ( \sum_{i=1}^{n} ( b_{i}-\xi _{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}}\,d\xi _{1}\ldots d\xi _{n} \\& \quad \geq \prod_{i=1}^{n}h_{i} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \biggl( \int _{a_{i}}^{b_{i}} ( \xi _{i}-a_{i} ) \bigl( \bigl[ \psi _{i}(\xi _{i}) \bigr] ^{h_{i}-1} \bigl[ -\psi _{i}^{\prime }(\xi _{i}) \bigr] \bigr) ^{p_{i}}\,d\xi _{i} \biggr) ^{\frac{1}{p_{i}}}. \end{aligned}$$

Corollary 3.3

As a particular case of Theorem 3.3, if $\mathbb{T}=\mathbb{N}_{0}$, $a_{i}$, $b_{i}\in \mathbb{T}$, $h_{i}\geq 1$, $q_{i}<0$, $p_{i}=q_{i}/ ( q_{i}-1 )$, and $\psi _{i}$ is a nonnegative decreasing sequence with $\psi _{i}(b_{i})=0$, $i=1,2,\ldots,n$, then $\rho (\xi _{i})=\xi _{i}-1$, and

$$\begin{aligned}& \sum_{\xi _{n}=1+a_{n}}^{b_{n}}\ldots \sum _{\xi _{1}=1+a_{1}}^{b_{1}} \frac{ ( n-\sum_{i=1}^{n}1/p_{i} ) ^{n-\sum _{i=1}^{n}1/p_{i}}\prod_{i=1}^{n}\psi _{i}^{h_{i}}(\xi _{i})}{ ( \sum_{i=1}^{n} ( b_{i}-\xi _{i} ) /q_{i} ) ^{\sum _{i=1}^{n}1/q_{i}}} \\& \quad \geq \prod_{i=1}^{n}h_{i} ( b_{i}-a_{i} ) ^{ \frac{1}{q_{i}}}\prod _{i=1}^{n} \Biggl( \sum _{\xi _{i}=1+a_{i}}^{b_{i}} ( \xi _{i}-a_{i}-1 ) \bigl( \bigl[ \psi _{i}(\xi _{i}) \bigr] ^{h_{i}-1} \bigl[ -\nabla \psi _{i}(\xi _{i}) \bigr] \bigr) ^{p_{i}} \Biggr) ^{ \frac{1}{p_{i}}}, \end{aligned}$$

where $\nabla \psi _{i}(\xi _{i})=\psi _{i}(\xi _{i})-\psi _{i}(\xi _{i}-1)$.

4 Conclusion

In this paper, we establish some reversed dynamic inequalities of Hilbert type on time scales nabla calculus by applying reversed Hölder’s inequality, chain rule on time scales, and the mean inequality. Also, we can get the reversed form of discrete and continuous inequalities proved by Chang-Jian, Lian-Ying, and Cheung.