Some Fractional Dynamic Inequalities of Hardy’s Type Via Conformable Calculus

: In this article, we prove some new fractional dynamic inequalities on time scales via conformable calculus. By using chain rule and Hölder’s inequality on timescales we establish the main results. When α = 1 we obtain some well-known time-scale inequalities due to Hardy, Copson, Bennett and Leindler inequalities.

where w(n) is a positive sequence defined for all n ≥ 1. After that, Hardy [2], by using the calculus of variations, proved the continuous inequality of (1) which has the form for a given positive function g, which is integrable over (0, x), and g k is convergent and integrable over (0, ∞) and k > 1. In (1) and (2), (k/ (k − 1)) k is a sharp constant. As a generalization of (2), Hardy [3] showed that when k > 1, then and The constants (k/(h − 1)) k and (k/(1 − h)) k in (3) and (4) are the best possible. Copson [4] demonstrated that if g(x) > 0, k > 1 and g k (x) is integrable on the interval (0, ∞), then ∞ x g(s) s ds, converges for x > 0 and where k k is the best possible constant. Some of the generalizations of the discrete Hardy inequality (1) and the discrete version of (5) and its extensions are due to Leindler, we refer to the papers the papers [5][6][7][8]. For example, Leindler in [5] proved that if p > 1, λ(n), g(n) > 0, then and The converses of (6) and (7) are proved by Leindler in [6]. He proved that if 0 < p ≤ 1, then and For more generalization Copson in [9] showed that if k > 1, λ(j) ≥ 0, w(j) ≥ 0, ∀j ≥ 1, Ω(m) = ∑ m j=1 λ(j), and h > 1, then and if 0 ≤ h < 1and k > 1, then The integral versions of the inequalities (10) and (11) was proved by Copson in [10] (Theorems 1 and 3). In particular, he proved that if k ≥ 1, h > 1, and where where Φ(s) = ∞ s λ(t)g(t)dt. Leindler in [5] and Bennett in [11] presented interesting different inequalities. Leindler established that if k > 1, Ω * (m) = ∑ ∞ j=m λ(j) < ∞, and 0 ≤ h < 1, then and Bennett in [11] showed that if 1 < h ≤ k, then In last decades, studying the dynamic equations and inequalities on time scales become a main field in applied and pure mathematics, we refer to [12][13][14] and the references they are cited. In fact, the book [13] includes forms of the above inequalities on time-scale and their extensions. The timescales idea is returned to Stefan Hilger [15], who investigated the research of dynamic equations on timescales. The books by Bohner and Peterson in [16,17] summarized and organized most timescales calculus. The three most common timescales calculuses are difference, differential, and quantum calculus (see [18]), i.e., at T = N, T = R, and T = q N 0 = {q s : s ∈ N 0 } where q > 1.
In recent years, a lot of work has been published for fractional inequalities and the subject becomes an active field of research and several authors were interested in proving inequalities of fractional type by using the Riemann-Liouville and Caputo derivative (see [19][20][21]).
On the other hand, the authors in [22,23] introduced a new fractional calculus called the conformable calculus and gave a new definition of the derivative with the base properties of the calculus based on the new definition of derivative and integrals. By using conformable calculus, some authors have studied classical inequalities like Chebyshev's inequality [24], Hermite-Hadamard's inequality [25][26][27], Opial's inequality [28,29] and Steffensen's inequality [30].
The main question that arises now is: Is it possible to prove new fractional inequalities on timescales and give a unified approach of such studies? This in fact needs a new fractional calculus on timescales. Very recently Torres and others, in [31,32], combined a time scale calculus and conformable calculus and obtained the new fractional calculus on timescales. So, it is natural to look on new fractional inequalities on timescales and give an affirmative answer to the above question.
In particular, in this paper, we will prove the fractional forms of the classical Hardy, Bennett, Copson and Leindler inequalities. The paper is divided into two sections. Section 2 is an introduction of basics of fractional calculus on timescales and Section 3 contains the main results.

Preliminaries and Basic Lemmas
We present the fundamental results about the fractional timescales calculus. The results are adapted from [16,17,31,32]. A time-scale T is non-empty closed subset of R (R is the real numbers). The operators of backward jump and forward jump express of the closest point t ∈ T on the right and left of t is defined by, respectively: where sup φ = inf T and inf φ = sup T (φ denotes the empty set), for any t ∈ T the notation f σ (t) refer to f (σ(t)), i.e., of the function f : T → R, for t > 0 and α ∈ (0, 1] is the number which has the property that for any > 0, there exists a neighborhood U of t S. T.
The conformable fractional derivative has the following properties Theorem 1. Let v, u : T → R are conformable fractional derivative from order α ∈ (0, 1], then the following properties are hold: . (v) If v and u are α−fractional differentiable, then v/u is α−fractional differentiable with

Lemma 1.
Let v : T → R is continuous and α−fractional differentiable at t ∈ T for α ∈ (0, 1], and u : R → R is continuous and differentiable.
The conformable fractional integral satisfying the next properties Then the formula of integration by parts is given by where k > 1 and 1/k + 1/l = 1.

Main Results
Throughout the paper, we will assume that the functions are nonnegative on [a, ∞) T and its integrals exist and are finite. We start with the fractional time-scale inequality of Copson's type. If Proof. By employing the formula of integration by parts (20) on the term where By using the chain rule (18), we obtain that Again, by using the chain rule (18) to calculate Since Ω(a) = 0, v(∞) = 0 and from (24), (25) and (23) we have Using Hölder's inequality (21) on that is the desired inequality (22). The proof is complete.
that is the timescales version of inequality (2.8) in [33].
Also, if c = k, we obtain the standard Hardy inequality (2) If Proof. By using the formula of integration by parts (20) on where By using chain rule (18), then for d ∈ [x, σ(x)], we get that and then, Again, by using chain rule (18), we obtain Using Φ(a) = 0, Ω(∞) = 0 and (28), (29) and (27), we have that By employing Hölder's inequality (21) on that is the desired inequality (26). The proof is complete.

Corollary 5.
At α = 1, and T= R in Theorem 4, we obtain the next integral inequality which considered an extension of Hardy's inequality (4) as in the following corollary.
A generalization of Bennett's inequality (15) on fractional timescales will be proved in the next theorem. If Proof. Using the formula of integration by parts (20) on where By using chain rule (18), we see for we get, from chain rule (18), we find that Using v(a) = 0, Ω(∞) = 0 and (36), (37) and (35), we get that Using Hölder's inequality (21) on that is the desired inequality (34). The proof is complete.

Conclusions
The new fractional calculus on timescales is presented with applications to some new fractional inequalities on timescales like Hardy, Bennett, Copson and Leindler types. Inequalities are considered in rather general forms and contain several special integral and discrete inequalities. The technique is based on the applications of well-known inequalities and new tools from fractional calculus.
Author Contributions: S.S. contributed in preparing the introduction, preliminaries and formulate theorem 3, its proof and its corollaries (cor.1, cor. 2 and cor.3). M.K. contributed in preparing the introduction, preliminaries and formulate theorem 4, its proof and its corollaries (cor.4, cor. 5 and cor.6). G.A. contributed in preparing the introduction, preliminaries and formulate theorem 5, its proof and its corollaries (cor.7). M.Z. contributed in preparing the introduction, preliminaries and formulate theorem 6, its proof and its corollaries (cor.8). All authors contributed equally to the writing of this manuscript and all authors have read and agreed to the published version of the manuscript.