Fractional Integral Inequalities on Time Scales

Author(s): Deniz Uçar1, Veysel F. Hatipo lu2, Aysegűl Akincali3
1Usak University, Faculty of Sciences and Arts, Department of Mathematics, 64200, Usak, Turkey.
2Mu\(\breve{\text{g}}\)la University, Faculty of Science, Department of Mathematics, 48000, Mu\(\breve{\text{g}}\)la, Turkey.
3Usak University, Faculty of Sciences and Arts, Department of Mathematics, 64200, Usak, Turkey
Copyright © Deniz Uçar, Veysel F. Hatipo lu, Aysegűl Akincali. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this paper, we use the Delta Riemann-Liouville fractional integrals to establish some new integral inequalities for the Chebyshev functional in the case of two synchronous functions on time scales. Our results improve the inequalities for the discrete and continuous cases.

Keywords: integral inequalities, time scales, delta-Riemann Liouville-fractional integral.

1. Introduction

Integral inequalities and their extensions have received considerable attention in the theory of differential and difference equations. Recently, there has been much interest in the study of integral inequalities on time scales. Researchers have studied various aspects of inequalities on time scales [1, 2, 3]. New researches on dynamic inequalities using time scales was done by Agarwal in a monograph 4.

The fractional calculus is an extensions of derivatives and integrals to noninteger orders. This subject came to the attention of many researchers and fractional calculus on time scales has been studied [5]. In [6], some fractional integral inequalities have been studied in the real case. For more investigations, we refer [7, 8] to the readers.

In this paper, we obtain some generalizations and refinements for some existing inequalities on time scales. We consider the functional [9] \begin{equation*} \ T\left( f,g\right) :=\frac{1}{t-a}\int_{a}^{t}f\left( x\right) g\left( x\right) \Delta x-\frac{1}{t-a}\left( \int_{a}^{t}f\left( x\right) \Delta x\right) \left( \frac{1}{t-a}\int_{a}^{t}g\left( x\right) \Delta x\right) \end{equation*} where \(f\) and \(g\) are two integrable functions which are synchronous on \(\left[ a,t\right] _{\mathbb{T}}.\) (i.e. \(\left( f\left( x\right) -f\left( y\right) \right) \left( g\left( x\right) -g\left( y\right) \right) \geq 0~for~any~x,y\in \left[ a,t\right] _{\mathbb{T}}.)~\) The intervals with \(\mathbb{T}\) subscript are used to denote the intersection of the usual interval with \(\mathbb{T}\); i.e., \(\left[ a,t\right]_{\mathbb{T}}:=\left[ a,t\right] \cap \) \(\mathbb{T}\) for convenience.

The main purpose of this paper is to establish some new fractional inequalities for synchronous functions using delta Reimann-Liouville fractional integrals on time scales. Our results unify and extend some continuous inequalities and their corresponding discrete analogues. In the following, we present some basic concepts about time scale calculus and refer the reader to resource [7] for more detailed information on subject.

2. Preliminaries

A time scale \(\mathbb{T}\) is an arbitrary nonempty closed subset of the real numbers \(\mathbb{R}\). For \(t\in \mathbb{T}\) we define the forward jump operator \(\sigma :\mathbb{T\rightarrow T}\) by \begin{equation*} \sigma \left( t\right) :=\inf \left\{ s\in \mathbb{T}\text{:~}s>t\right\} \end{equation*} while the backward jump operator \(\rho:\mathbb{T\rightarrow T}\) is defined by \begin{equation*} \rho \left( t\right) :=\sup \left\{ s\in \mathbb{T}\text{:~}s< t\right\} . \end{equation*} If \(\sigma \left( t\right) >t\), we say that \(t\) is \textit{right-scattered}, while if \(\rho \left( t\right) < t~\) we say that \(t\) is left-scattered. Also, if \(\sigma \left( t\right) =t\), then \(t\) is called right-dense, and if \(\rho \left( t\right) =t,\) then \(t\) is called left-dense. The graininess function \(\mu :\mathbb{T\rightarrow }\left[0,\infty \right)\) is defined by \begin{equation*} \mu \left( t\right) :=\sigma \left( t\right)-t. \end{equation*} We introduce the set \(\mathbb{T}^{\kappa}\) which is derived from the time scale \(\mathbb{T}\) as follows. If \(\mathbb{T}\) has left-scattered maximum \(m, \) then \(\mathbb{T}^{\kappa}=\mathbb{T-}\left\{ m\right\} ,\) otherwise \(\mathbb{T}^{\kappa }=\mathbb{T}\).

Definition 2.1. Let \(f\) and \(g\) be two integrable functions defined on \(\left[ a,t\right] _{\mathbb{T}}\). If for any \( x,y\in \left[ a,t\right] _{\mathbb{T}} \) \begin{equation*} \ \left[ f\left( x\right) -f\left( y\right) \right] \left[ g\left( x\right) -g\left( y\right) \right] \geq 0, \end{equation*} then \(f\) and \(g\) are called synchronous functions on \(\left[ a,t\right] _{\mathbb{T}}.\)

Definition 2.2. The rd continuous functions \(h_{\alpha}:\mathbb{T\times T\rightarrow R}\) is called as generalized polynomials on time scales such that, for all \(s,t\in \mathbb{T}\) and \(\alpha \geq 0\); \begin{eqnarray*} h_{0}\left( t,s\right) &=&1 \\ h_{\alpha +1}\left( t,s\right) &=&\int_{s}^{t}h_{\alpha }\left( \tau ,s\right) \Delta \tau \end{eqnarray*}

Definition 2.3. The function \(f:\mathbb{T}\rightarrow \mathbb{R}\) is called rd-continuous provided it is continuous at right-dense points in \(\mathbb{T}\) and its left-sided limits exist (finite) at left-dense points in \(\mathbb{T}\).

Definition 2.4. The Delta-Riemann-Liouville fractional integral operator of order \(\alpha \geq 1\) on time scales, for a function \(f\in C_{rd}\) is defined as \begin{eqnarray*} D_{a}^{\alpha }f\left( t\right) &=&\int_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) \Delta \tau , \\ D_{a}^{0}f &=&f. \end{eqnarray*}

3. Main Results

In this section we present our main results.

Theorem 3.1. Let \(f\) and \(g\) be two synchronous functions on \( \left[ 0,\infty \right) _{\mathbb{T}}\). Then for all \(t>a\), \(\alpha \geq 1\), \( a\geq 0\) we have

\begin{equation} D_{a}^{\alpha }\left( fg\right) \left( t\right) \geq \left( h_{\alpha }\left( t,a\right) \right) ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) . \label{1} \end{equation}
(1)

Proof. Since \(f\)and \(g\) are synchronous functions on \(\left[ 0.\infty \right) _{\mathbb{T}}\), then for all \(\tau ,\phi \geq 0\),

\begin{equation} \left( f\left( \tau \right) -f\left( \phi \right) \right) \left( g\left( \tau \right) -g\left( \phi \right) \right) \geq 0 \label{2} \end{equation}
(2)
and
\begin{equation} f\left( \tau \right) g\left( \tau \right) -f\left( \tau \right) g\left( \phi \right) -f\left( \phi \right) g\left( \tau \right) +f\left( \phi \right) g\left( \phi \right) \geq 0. \label{3} \end{equation}
(3)
Therefore,
\begin{equation} f\left( \tau \right) g\left( \tau \right) +f\left( \phi \right) g\left( \phi \right) \geq f\left( \tau \right) g\left( \phi \right) +f\left( \phi \right) g\left( \tau \right) . \label{4} \end{equation}
(4)
For \(\tau \in \left( a,t\right)\) , multiplying both sides of (4) by \(h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right),\) we have
\begin{eqnarray} &&h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) g\left( \tau \right) +h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \phi \right) g\left( \phi \right) \label{5} \\ &\geq &h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) g\left( \phi \right) +h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) g\left( \phi \right) g\left( \tau \right). \notag \end{eqnarray}
(5)
Integrating (5) over \(\left( a,t\right)\), we get \begin{eqnarray*} &&\int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) g\left( \tau \right) \Delta \tau +\int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \phi \right) g\left( \phi \right) \Delta \tau \\ &&\geq \int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) g\left( \phi \right) \Delta \tau +\int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \phi \right) g\left( \tau \right) \Delta \tau . \end{eqnarray*} Since \(f\left( \phi \right) ,g\left( \phi \right)\) and \(f\left( \phi \right) g\left( \phi \right)\) are independent from \(\tau\), we take them out of the integral and we obtain \begin{eqnarray*} &&\int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) g\left( \tau \right) \Delta \tau +f\left( \phi \right) g\left( \phi \right) \int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) \Delta \tau \\ &&\geq g\left( \phi \right) \int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) \Delta \tau +f\left( \phi \right) \int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) g\left( \tau \right) \Delta \tau. \end{eqnarray*} Using Definition 2.2 and Definition 2.4, we find
\begin{equation} D_{a}^{\alpha }\left( fg\right) \left( t\right) +f\left( \phi \right) g\left( \phi \right) \left( h_{\alpha }\left( t,a\right) \right) \geq g\left( \phi \right) D_{a}^{\alpha }f\left( t\right) +f\left( \phi \right) D_{a}^{\alpha }g\left( t\right) . \label{6} \end{equation}
(6)
For \(\phi \in \left( a,t\right),\) multiplying both sides of (6) by \( h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right)\) , we obtain
\begin{eqnarray} &&h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) D_{a}^{\alpha }\left( fg\right) \left( t\right) +h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) f\left( \phi \right) g\left( \phi \right) \left( h_{\alpha }\left( t,a\right) \right) \label{8} \\ &&\geq h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) g\left( \phi \right) D_{a}^{\alpha }f\left( t\right) +h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) f\left( \phi \right) D_{a}^{\alpha }g\left( t\right) . \notag \end{eqnarray}
(7)
Integrating (7) over \(\left( a,t\right)\), we get \begin{eqnarray*} &&\int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) D_{a}^{\alpha }\left( fg\right) \left( t\right) \Delta \phi +\int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) f\left( \phi \right) g\left( \phi \right) \left( h_{\alpha }\left( t,a\right) \right) \Delta \phi \\ &&\geq \int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) g\left( \phi \right) D_{a}^{\alpha }f\left( t\right) \Delta \phi +\int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) f\left( \phi \right) D_{a}^{\alpha }g\left( t\right) \Delta \phi . \end{eqnarray*} Since \(D_{a}^{\alpha }\left( fg\right) \left( t\right)\), \(D_{a}^{\alpha }f\left( t\right) ,D_{a}^{\alpha }g\left( t\right)\) and \(h_{\alpha }\left( t,a\right)\) are independent from \(\phi\), we obtain \begin{eqnarray*} &&D_{a}^{\alpha }\left( fg\right) \left( t\right) \int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) \Delta \phi +\left( h_{\alpha }\left( t,a\right) \right) \int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) f\left( \phi \right) g\left( \phi \right) \Delta \phi \\ &&\geq D_{a}^{\alpha }f\left( t\right) \int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) g\left( \phi \right) \Delta \phi +D_{a}^{\alpha }g\left( t\right) \int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \phi \right) \right) f\left( \phi \right) \Delta \phi . \end{eqnarray*} Therefore from Definition 2.2 and Definition 2.4, we can write \begin{eqnarray*} &&D_{a}^{\alpha }\left( fg\right) \left( t\right) \left( h_{\alpha }\left( t,a\right) \right) +\left( h_{\alpha }\left( t,a\right) \right) D_{a}^{\alpha }\left( fg\right) \left( t\right) \\ &&\geq D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) +D_{a}^{\alpha }g\left( t\right) D_{a}^{\alpha }f\left( t\right) . \end{eqnarray*} So we have \begin{equation*} 2D_{a}^{\alpha }\left( fg\right) \left( t\right) \left( h_{\alpha }\left( t,a\right) \right) \geq 2D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) , \end{equation*} \begin{equation*} D_{a}^{\alpha }\left( fg\right) \left( t\right) \left( h_{\alpha }\left( t,a\right) \right) \geq D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) , \end{equation*} and finally we get \begin{equation*} D_{a}^{\alpha }\left( fg\right) \left( t\right) \geq \frac{1}{\left( h_{\alpha }\left( t,a\right) \right) }D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) . \end{equation*}

Theorem 3.2. Let \(f\) and \(g\) be two synchronous functions on \(\left[ 0,\infty \right) _{\mathbb{T}}\). Then for all \(t>a\), \(\alpha ,\beta \geq 1\), \(a\geq 0\) we have: \begin{equation*} h_{\alpha }\left( t,a\right) D_{a}^{\beta }\left( fg\right) \left( t\right) +h_{\beta }\left( t,a\right) D_{a}^{\alpha }\left( fg\right) \left( t\right) \geq D_{a}^{\alpha }f\left( t\right) D_{a}^{\beta }g\left( t\right) +D_{a}^{\alpha }g\left( t\right) D_{a}^{\beta }f\left( t\right) . \end{equation*}

Proof. Since \(f\) and \(g\) are synchronous functions on \(\left[0.\infty \right) _{\mathbb{T}}\), then for all \(\tau ,\phi \geq 0\), we have \begin{equation*} \left( f\left( \tau \right) -f\left( \phi \right) \right) \left( g\left( \tau \right) -g\left( \phi \right) \right) \geq 0. \end{equation*} Therefore,

\begin{equation} f\left( \tau \right) g\left( \tau \right) +f\left( \phi \right) g\left( \phi \right) \geq f\left( \tau \right) g\left( \phi \right) +f\left( \phi \right) g\left( \tau \right) . \label{7} \end{equation}
(8)
For \(\tau \in \left( a,t\right),\) multiplying both sides of (8) by \(h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right)\), we obtain
\begin{eqnarray} &&h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) g\left( \tau \right) +h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \phi \right) g\left( \phi \right) \notag \\ &&\geq h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) g\left( \phi \right) +h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \phi \right) g\left( \tau \right) . \label{18} \end{eqnarray}
(9)
Integrating (9) over \(\left( a,t\right)\), we get \begin{eqnarray*} &&\int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) g\left( \tau \right) \Delta \tau +\int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \phi \right) g\left( \phi \right) \Delta \tau \\ &&\geq \int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \tau \right) g\left( \phi \right) \Delta \tau +\int\limits_{a}^{t}h_{\alpha -1}\left( t,\sigma \left( \tau \right) \right) f\left( \phi \right) g\left( \tau \right) \Delta \tau . \end{eqnarray*} Consequently
\begin{equation} D_{a}^{\alpha }\left( fg\right) \left( t\right) +\left( fg\right) \left( \phi \right) \left( h_{\alpha }\left( t,a\right) \right) \geq g\left( \phi \right) D_{a}^{\alpha }f\left( t\right) +f\left( \phi \right) D_{a}^{\alpha }g\left( t\right) . \label{12} \end{equation}
(10)
For \(\phi \in \left( a,t\right),\) multiplying both sides of (10) by \(h_{\beta -1}\left( t,\sigma \left( \phi \right) \right)\), we have
\begin{eqnarray} &&h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) D_{a}^{\alpha }\left( fg\right) \left( t\right) +h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) \left( fg\right) \left( \phi \right) \left( h_{\alpha }\left( t,a\right) \right) \notag \\ &&\geq h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) g\left( \phi \right) D_{a}^{\alpha }f\left( t\right) +h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) f\left( \phi \right) D_{a}^{\alpha }g\left( t\right). \label{19} \end{eqnarray}
(11)
Integrating (11) over \(\left( a,t\right)\), we get \begin{eqnarray*} &&\int\limits_{a}^{t}h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) D_{a}^{\alpha }\left( fg\right) \left( t\right) \Delta \phi +\int\limits_{a}^{t}h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) \left( fg\right) \left( \phi \right) \left( h_{\alpha }\left( t,a\right) \right) \Delta \phi \\ &&\geq \int\limits_{a}^{t}h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) g\left( \phi \right) D_{a}^{\alpha }f\left( t\right) \Delta \phi +\int\limits_{a}^{t}h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) f\left( \phi \right) D_{a}^{\alpha }g\left( t\right) \Delta \phi. \end{eqnarray*} then \begin{eqnarray*} &&D_{a}^{\alpha }\left( fg\right) \left( t\right) \int\limits_{a}^{t}h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) \Delta \phi +\left( h_{\alpha }\left( t,a\right) \right) \int\limits_{a}^{t}h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) f\left( \phi \right) g\left( \phi \right) \Delta \phi \\ &&\geq D_{a}^{\alpha }f\left( t\right) \int\limits_{a}^{t}h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) g\left( \phi \right) \Delta \phi +D_{a}^{\alpha }g\left( t\right) \int\limits_{a}^{t}h_{_{\beta -1}}\left( t,\sigma \left( \phi \right) \right) f\left( \phi \right) \Delta \phi . \end{eqnarray*} Therefore, we write \begin{equation*} D_{a}^{\alpha }\left( fg\right) \left( t\right) \left( h_{_{\beta }}\left( t,a\right) \right) +\left( h_{\alpha }\left( t,a\right) \right) D_{a}^{\beta }\left( fg\right) \left( t\right) \geq D_{a}^{\alpha }f\left( t\right) D_{a}^{\beta }g\left( t\right) +D_{a}^{\alpha }g\left( t\right) D_{a}^{\beta }f\left( t\right) . \end{equation*}

Theorem 3.3. Let \(\left( f_{i}\right) _{=1,\ldots ,n}\) be \(n\) positive increasing functions on \(\left[ 0,\infty \right)_{\mathbb{T}}\). Then for all \(t>a\), \(\alpha \geq 1\), \(a\geq 0\) we have \begin{equation*} D_{a}^{\alpha }\left( \prod_{i=1}^{n}f_{i}\right) \left( t\right) \geq \left( h_{\alpha }\left( t,a\right) \right) ^{1-n}\prod_{i=1}^{n}D_{a}^{\alpha }f_{i}\left( t\right) . \end{equation*}

Proof. We use induction method to prove our result. Clearly, for \(n=1\), all \(t>a\), \(\alpha \geq 1,\) \(a\geq 0\) we have \begin{equation*} D_{a}^{\alpha }\left( f_{1}\right) \left( t\right) \geq D_{a}^{\alpha }f_{1}\left( t\right). \end{equation*} For \(n=2\), applying Theorem 3.1, for all \(t>a\), \(\alpha \geq 1\), \(a\geq 0\) we obtain \begin{equation*} D_{a}^{\alpha }\left( \prod_{i=1}^{2}f_{i}\right) \left( t\right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}\prod_{i=1}^{2}D_{a}^{% \alpha }f_{i}\left( t\right) \end{equation*} then, \begin{equation*} D_{a}^{\alpha }\left( f_{1}f_{2}\right) \left( t\right) \geq \frac{1}{% h_{\alpha }\left( t,a\right) }D_{a}^{\alpha }f_{1}\left( t\right) D_{a}^{\alpha }f_{2}\left( t\right). \end{equation*} Now for \(n-1\), we assume that (induction hypothesis) the following inequality \begin{equation} D_{a}^{\alpha }\left( \prod_{i=1}^{n-1}f_{i}\right) \left( t\right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{2-n}\prod_{i=1}^{n-1}D_{a}^{% \alpha }f_{i}\left( t\right) \label{13} \end{equation} holds. We have to prove that the inequality \begin{equation*} D_{a}^{\alpha }\left( \prod_{i=1}^{n}f_{i}\left( t\right) \right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{1-n}\prod_{i=1}^{n}D_{a}^{% \alpha }f_{i}\left( t\right) \end{equation*} holds for \(n\). Since \(\left( f_{i}\right) _{i=1,2,…,n}\) are positive increasing functions, then \(\left( \prod_{i=1}^{n-1}f_{i}\right) \left( t\right)\) is an increasing function. Hence we can apply Theorem 3.1 to the functions \(\prod_{i=1}^{n-1}f_{i}=g\), \(f_{n} =f\). We obtain \begin{equation*} \prod_{i=1}^{n}f_{i}=\prod_{i=1}^{n-1}f_{i}f_{n}=fg \end{equation*} \begin{equation*} D_{a}^{\alpha }\left( fg\right) \left( t\right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }\left( f\right) \left( t\right) D_{a}^{\alpha }\left( g\right) \left( t\right) \end{equation*} \begin{equation*} D_{a}^{\alpha }\left( \prod_{i=1}^{n}f_{i}\right) \left( t\right) =D_{a}^{\alpha }\left( \prod_{i=1}^{n-1}f_{i}f_{n}\right) \left( t\right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }\left( \prod_{i=1}^{n-1}f_{i}\right) \left( t\right) D_{a}^{\alpha }\left( f_{n}\right) \left( t\right) . \end{equation*} Multiplying both sides of (12) by \(\left[ h_{\alpha }\left(t,a\right) \right] ^{-1}D_{a}^{\alpha }\left( f_{n}\right) \left( t\right) \) , we obtain \begin{eqnarray*} &&\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }\left( f_{n}\right) \left( t\right) D_{a}^{\alpha }\left( \prod_{i=1}^{n-1}f_{i}\right) \left( t\right) \\&&\geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}\left[ h_{\alpha }\left( t,a\right) \right] ^{2-n}\prod_{i=1}^{n-1}D_{a}^{\alpha }f_{i}\left( t\right) D_{a}^{\alpha }f_{n}\left( t\right) \end{eqnarray*} and% \begin{equation*} \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }\left( f_{n}\right) \left( t\right) D_{a}^{\alpha }\left( \prod_{i=1}^{n-1}f_{i}\right) \left( t\right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{1-n}\prod_{i=1}^{n}D_{a}^{\alpha }f_{i}\left( t\right). \end{equation*} Therefore we obtain \begin{equation*} D_{a}^{\alpha }\left( \prod_{i=1}^{n}f_{i}\right) \left( t\right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{1-n}\prod_{i=1}^{n}D_{a}^{% \alpha }f_{i}\left( t\right). \end{equation*}

Theorem 3.4. Let \(f\) and \(g\) be two functions defined on \(\left[ 0,\infty \right) _{\mathbb{T}}\) , such that \(f\) is increasing and \(g\) is differentiable and there exist a real number \(m:=\inf_{t\geq 0}g^{‘}\left( t\right)\). Then for all \(t>a\), \(\alpha \geq 1,\) \(a\geq 0\) we have \begin{eqnarray*} D_{a}^{\alpha }\left( fg\right) \left( t\right)& \geq& \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) -m\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }\left( t\right) \\&&+mD_{a}^{\alpha }\left( tf\left( t\right) \right). \end{eqnarray*}

Proof. We consider the function \(k\left( t\right) :=g\left( t\right) -mt\). It is evident that \(k\) is differentiable and it is increasing on \(\left[ 0,\infty \right)_{\mathbb{T}}\). Then applying the Theorem 3.1 we have \begin{equation*} D_{a}^{\alpha }\left( kf\right) \left( t\right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }k\left( t\right), \end{equation*} then \begin{equation*} D_{a}^{\alpha }\left( \left( g-mt\right) f\left( t\right) \right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }\left( g-mt\right) \left( t\right). \end{equation*} So we get \begin{gather*} D_{a}^{\alpha }\left( fg\right) \left( t\right) -mD_{a}^{\alpha }\left( tf\left( t\right) \right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) \left( D_{a}^{\alpha }g\left( t\right) -mD_{a}^{\alpha }\left( t\right) \right) \\ =\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) -m\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }\left( t\right), \end{gather*} and we obtain our desired inequality.

Corollary 3.5. Let \(f\) and \(g\) be two functions defined on \(\left[ 0,\infty \right) _{\mathbb{T}}\).
(1). Assume that \(f\) is decreasing, \(g\) is differentiable and there exist a real number \(M:=\sup_{t\geq 0}g^{‘}\left( t\right)\). Then for all \(t>a\), \(\alpha \geq 1\), \(a\geq 0\), we have \begin{eqnarray*} D_{a}^{\alpha }\left( fg\right) \left( t\right) &\geq& \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) -M\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }\left( t\right)\\&& +MD_{a}^{\alpha }\left( tf\left( t\right) \right). \end{eqnarray*} (2). Assume that \(f\) and \(g\) are differentiable and there exist \(m_{1}:=\inf_{t\geq 0}f^{‘}\left( t\right)\), \(m_{2}:=\inf_{t\geq 0}g^{‘}\left( t\right)\). Then for all \(t>a\), \(\alpha \geq 1, a\geq 0\), we have \begin{eqnarray*} &&D_{a}^{\alpha }\left( fg\right) \left( t\right) -m_{2}D_{a}^{\alpha }\left( tf\left( t\right) \right) -m_{1}D_{a}^{\alpha }\left( tg\left( t\right) \right) +m_{1}m_{2}D_{a}^{\alpha }t^{2} \\ &&\geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}\big[ D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) -m_{2}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }\left( t\right) -m_{1}D_{a}^{\alpha }\left( t\right) D_{a}^{\alpha }g\left( t\right) \\&&+m_{1}m_{2}\left( D_{a}^{\alpha }\left( t\right) \right) ^{2}\big]. \end{eqnarray*} (3). Assume that \(f\) and \(g\) are differentiable and there exist \(M_{1}:=\sup_{t\geq 0}f^{‘}\left( t\right)\), \(M_{2}:=\sup_{t\geq 0}g^{‘}\left( t\right)\). Then for all \(t>a\), \(\alpha \geq 1\), \( a\geq 0\), we have \begin{eqnarray*} &&D_{a}^{\alpha }\left( fg\right) \left( t\right) -M_{2}D_{a}^{\alpha }\left( tf\left( t\right) \right) -M_{1}D_{a}^{\alpha }\left( tg\left( t\right) \right) +M_{1}M_{2}D_{a}^{\alpha }t^{2} \\ &&\geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}\big[ D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) -M_{2}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }\left( t\right) -M_{1}D_{a}^{\alpha }\left( t\right) D_{a}^{\alpha }g\left( t\right) \\&&+M_{1}M_{2}\left( D_{a}^{\alpha }\left( t\right) \right) ^{2}\big]. \end{eqnarray*}

Proof. (1). Let \(G\left( t\right) :=g\left( t\right) -Mt\) be a function such that it is decreasing and differentiable on \(\left[ 0,\infty \right) _{\mathbb{T}}\). Then for all \(t>a\), \(\alpha \geq 1\), \(a\geq 0,\) we have \begin{equation*} D_{a}^{\alpha }\left( Gf\right) \left( t\right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }G\left( t\right) D_{a}^{\alpha }f\left( t\right) \end{equation*} by Theorem 3.1. Hence, we get \begin{equation*} D_{a}^{\alpha }\left( \left( g-Mt\right) f\left( t\right) \right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }\left( g-Mt\right) \left( t\right). \end{equation*} Then we have \begin{gather*} D_{a}^{\alpha }\left( fg\right) \left( t\right) -MD_{a}^{\alpha }\left( tf\left( t\right) \right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) \left( D_{a}^{\alpha }g\left( t\right) -MD_{a}^{\alpha }\left( t\right) \right) \\ =\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) -M\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }\left( t\right), \end{gather*} and so \begin{eqnarray*} D_{a}^{\alpha }\left( fg\right) \left( t\right)& \geq &\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) -M\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }\left( t\right)\\&& +MD_{a}^{\alpha }\left( tf\left( t\right) \right). \end{eqnarray*} (2). Let \(F\left( t\right) :=f\left( t\right) -m_{1}t\), \(G\left( t\right) :=g\left( t\right) -m_{2}t\) be two functions such that they are increasing and differentiable on \(\left[ 0,\infty \right) _{\mathbb{T}}\). Then for all \(t>a\), \(\alpha \geq 1\), \(a\geq 0\) and by Theorem 3.1 we have \begin{equation*} D_{a}^{\alpha }\left( FG\right) \left( t\right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }F\left( t\right) D_{a}^{\alpha }G\left( t\right), \end{equation*} and \begin{eqnarray*} &&D_{a}^{\alpha }\left( \left( f\left( t\right) -m_{1}t\right) \left( g\left( t\right) -m_{2}t\right) \right) \left( t\right)\\&& \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }\left( f\left( t\right) -m_{1}t\right) \left( t\right) D_{a}^{\alpha }\left( g\left( t\right) -m_{2}t\right) \left( t\right). \end{eqnarray*} Then we get \begin{eqnarray*} &&D_{a}^{\alpha }\left( \left( fg\right) \left( t\right) -m_{2}tf\left( t\right) -m_{1}tg\left( t\right) +m_{1}m_{2}t^{2}\right) \\&& \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}\left[ D_{a}^{\alpha }f\left( t\right) -m_{1}D_{a}^{\alpha }t\right] \left[ D_{a}^{\alpha }g\left( t\right) -m_{2}D_{a}^{\alpha }t\right] \\&& =\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}\big[ D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) -m_{2}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }t-m_{1}D_{a}^{\alpha }g\left( t\right) D_{a}^{\alpha }t\\&&+m_{1}m_{2}\left( D_{a}^{\alpha }t\right) ^{2}\big]. \end{eqnarray*} Therefore we obtain \begin{eqnarray*} &&D_{a}^{\alpha }\left( \left( fg\right) \left( t\right) -m_{2}tf\left( t\right) -m_{1}tg\left( t\right) +m_{1}m_{2}t^{2}\right) \\ &&\geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}\big[ D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) -m_{2}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }t-m_{1}D_{a}^{\alpha }g\left( t\right) D_{a}^{\alpha }t\\&&+m_{1}m_{2}\left( D_{a}^{\alpha }t\right) ^{2}\big]. \end{eqnarray*} (3). Let \(F\left( t\right) :=f\left( t\right) -M_{1}t\), \( G\left( t\right) :=g\left( t\right) -M_{2}t\) be two functions such that they are decreasing and differentiable on \(\left[ 0,\infty \right) _{\mathbb{T}}\). Then for all \(t>a\), \(\alpha \geq 1\), \(a\geq 0\) and by Theorem 3.1, we have \begin{eqnarray*} D_{a}^{\alpha }\left( FG\right) \left( t\right) \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }F\left( t\right), D_{a}^{\alpha }G\left( t\right)\end{eqnarray*} so \begin{eqnarray*} && D_{a}^{\alpha }\left( \left( f\left( t\right) -M_{1}t\right) \left( g\left( t\right) -M_{2}t\right) \right) \left( t\right)\\&& \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}D_{a}^{\alpha }\left( f\left( t\right) -M_{1}t\right) \left( t\right) D_{a}^{\alpha }\left( g\left( t\right) -M_{2}t\right) \left( t\right). \end{eqnarray*} Hence we obtain \begin{eqnarray*}&& D_{a}^{\alpha }\left( \left( fg\right) \left( t\right) -M_{2}tf\left( t\right) -M_{1}tg\left( t\right) +M_{1}M_{2}t^{2}\right) \\&& \geq \left[ h_{\alpha }\left( t,a\right) \right] ^{-1}\left[ D_{a}^{\alpha }f\left( t\right) -M_{1}D_{a}^{\alpha }t\right] \left[ D_{a}^{\alpha }g\left( t\right) -M_{2}D_{a}^{\alpha }t\right] \\&& =\left[ h_{\alpha }\left( t,a\right) \right] ^{-1}\big[ D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }g\left( t\right) -M_{2}D_{a}^{\alpha }f\left( t\right) D_{a}^{\alpha }t-M_{1}D_{a}^{\alpha }g\left( t\right) D_{a}^{\alpha }t\\&&+M_{1}M_{2}\left( D_{a}^{\alpha }t\right) ^{2}\big]. \end{eqnarray*}

4. Conclusion

In this paper, we have studied some fractional integral inequalities and have extended results for time scale calculus. The theorems in this work improves previously results and this presents a new approach to use new definitions of fractional integrals for integral inequalities on time scales

Competing Interests

The author(s) do not have any competing interests in the manuscript.

References:

  1. Agarwal, R.P., Bohner M., & Peterson, A. (2001). Inequalities on time scales: A survey. Math. Inequal. Appl., 4, 535-557. [Google Scholor]
  2. Akin-Bohner, E., Bohner, M., & Akin, F. (2005). Pachpatte inequalities on time scales. Journal of Inequalities in Pure and Applied Mathematics, 6(1), 1-23. [Google Scholor]
  3. Li, W.N. (2006). Some new dynamic inequalities on time scales. Journal of Mathematical Analysis and Applications, 319(2), 802-814. [Google Scholor]
  4. Agarwal, R., O’Regan, D., & Saker, S. (2014). Dynamic inequalities on time scales. Springer International Publishing, Switzerland.
  5. Anastassiou, G. A. (2010). Principles of delta fractional calculus on time scales and inequalities. Mathematical and Computer Modelling, 52, 556-566. [Google Scholor]
  6. Belarbi, S., & Dahmani, Z. (2009). On some new fractional integral inequalities. J. of Inequalities in Pure and Applied Mathematics, 10(3), 1-12. [Google Scholor]
  7. Bohner, M., & Peterson, A. (2001). Dynamic equations on time scales, An introduction with applications. Birkhauser, Boston.
  8. Bohner, M., & Agarwal, R. P. (1999). Basic calculus on time scales and some of its applications. Resultate der Mathematik,35, 3-22. [Google Scholor]
  9. Chebyshev P. L. (1882). Sur les expressions approximatives des integrales definies par les autres prises entre les memes limites. Proc.Math.Soc.Charkov, 2, 93-98. [Google Scholor]