#### Abstract

In this article, some fractional Hardy-Leindler-type inequalities will be illustrated by utilizing the chain law, Hölder’s inequality, and integration by parts on fractional time scales. As a result of this, some classical integral inequalities will be obtained. Also, we would have a variety of well-known dynamic inequalities as special cases from our outcomes when .

#### 1. Introduction

The Hardy discrete inequality is known as (see [1]) where for all .

In [2], Hardy employed the calculus of variations and exemplified the continuous version for (1) as follows: where is integrable over any finite interval is convergent and integrable over , and is a sharp constant in (1) and (2).

Leindler in [3] exemplified that if and then

The converses of (3) and (4) are exemplified by Leindler in [4]. Precisely, he established that if then

Saker [5] exemplified the time scale version of (3) and (4), respectively, as follows: suppose that be a time scale and If , for any then

Also, if and , for any then

The converses of (7) and (8) are established by Saker [5]. Precisely, he exemplified that, if is a time scale, , and , for any then

Also, if and , for any then which are the time scale version for (5) and (6), respectively. For developing dynamic inequalities, see the papers ([6–11]).

Our target in this article is proving some fractional dynamic inequalities for Hardy-Leindler’s type, and it is reversed with employing conformable calculus on time scales. This article is structured as follows: In Section 2, we discuss the preliminaries of conformable fractional on time scale calculus which will be required in proving our main outcomes. In Section 3, we will exemplify the major consequences.

#### 2. Basic Concepts

In this part, we introduce the essentials of conformable fractional integral and derivative of order on time scales that will be used in this article (see [12–15]). For a time scale , we define the operator , as

Also, we define the function by

Finally, for any we refer to the notation by i.e., . In the following, we define conformable -fractional derivative and -fractional integral on .

*Definition 1 (see [16], Definition 3.1). *Suppose that and Then, for , we define to be the number with the property that, for any there is a neighborhood of s.t. we have
The conformable -fractional derivative on at is

Theorem 2 (see [16], Theorem 3.6). *Assume and are conformable -fractional derivatives at Then, we have the following.
*(i)*The sum is a conformable -fractional derivative and
*(ii)*The product is a conformable -fractional derivative with
*(iii)*If , then is a conformable -fractional derivative with
*

Lemma 3 (Chain rule). *Suppose that is continuous and -fractional differentiable at , for and is continuously differentiable. Then, is -fractional differentiable and
*

*Definition 4 (see [16], Definition 4.1). *For then the -conformable fractional integral of is defined as

Theorem 5 (see [16], Theorem 4.3). *Let , and be rd-continuous functions. Then,
*(i)*(ii)**(iii)**(iv)**(v)*

Lemma 6 (Integration by parts formula [16], Theorem 4.3). *Suppose that where If are rd-continuous functions and , then
*

Lemma 7 (Hölder’s inequality). *Let where If and , then
where and **Through our paper, we will consider the integrals are given exist (are finite, i.e., convergent).*

#### 3. Main Results

Here, we will exemplify our major results in this article. In the pursuing theorem, we will exemplify Leindler’s inequality (7) for fractional time scales as follows.

Theorem 8. *Suppose that be a time scale and If and , for any then
*

*Proof. *By utilizing (20) on
with and we have
where
Substituting (26) into (25), we get
Using and in (27), we have
Utilizing the chain rule (18), we get
Since , we get
Substituting (30) into (28) yields
Inequality (31) can be written as
Implementing Hölder’s inequality on the R.H.S of (32) with indices , we get
By substituting (33) into (32), we get
which is (23).

Corollary 9. *At in Theorem 8, then
where , and , for any *

*Remark 10. *In Corollary 9, if we divide both sides of (35) by the factor
and using the fact that then
Elevating the last inequality to the th power, we get
which is (7) in Introduction.

*Remark 11. *If we put (i.e., ) in Theorem 5, then
where , and for any

*Remark 12. *Clearly, for and Remark 12 coincides with Remark 10 in [5].

*Remark 13. *When (i.e., ) , and in (23), then we get
If , then (40) becomes
which is Remark 11 in [5].

In the pursuing theorem, we will exemplify Leindler’s inequality (8) on fractional time scales as follows.

Theorem 14. *Suppose that be a time scale and If , and , for any then
*

*Proof. *By utilizing (20) on
with and we have
where
Substituting (45) into (44), we get
Using the fact that and (46) became
Utilizing chain rule (18), we get
By substituting (48) into (47), we get
Inequality (49) can be written as
Implementing Hölder’s inequality on the R.H.S of (50) with indices , we get
By substituting (51) into (50), we get
which is (42).

Corollary 15. *At in Theorem 14, then
where , and , for any *

*Remark 16. *In Corollary 15, if we divide both sides of (53) by the factor
and using the fact that then
Elevating the last inequality to the th power, we get
which is (8) in Introduction.

*Remark 17. *As a result, if (i.e., ) in Theorem 14, then
where , and , for any

*Remark 18. *Clearly, for and Remark 17 coincides with Remark 12 in [5].

*Remark 19. *When (i.e., ), , and in (42), we get
If , then (58) becomes
which is Remark 13 in [5].

In the pursuing theorem, we will exemplify Leindler’s inequality (9) for fractional time scales as follows.

Theorem 20. *Suppose that be a time scale and If and , for any then
*

*Proof. *By applying (20) on
with and we have
where
Substituting (63) into (62) yields
Using the fact that and (64) became
Utilizing chain rule (18), we get
Since , we obtain
By substituting (67) into (65), we have
Raises (68) to the factor we get
By applying Hölder’s inequality on
with indices , and
we see that
This implies that
By substituting (73) into (69), we get
which is (60).

Corollary 21. *At in Theorem 20, then
where , and , for any *

*Remark 22. *In Corollary 21, if we divide both sides of (75) by the factor
then (75) can be written as
which is (9) in Introduction.

*Remark 23. *As a result, if (i.e., ) in Theorem 20, then
where , and , for any

*Remark 24. *Clearly, for and Remark 23 coincides with Remark 16 in [5].

*Remark 25. *When (i.e., ), , and in (60), then we get