#### Abstract

The present article deals with the new estimates in -calculus and fractional -calculus on a time scale where and The role of fractional time scale -calculus can be found as one of the prominent techniques to generate some variants for a class of positive functions Finally, our work will provide foundation and motivation for further investigation on time-fractional -calculus systems that have an intriguing application in quantum theory and special relativity theory.

#### 1. Introduction

Fractional differential equations were executed to demonstrate tremendous innovations for different issues in the physical sciences [1â€“15]. Since most frameworks involve recollections, the scientists are agreeing with the nonlocality of the fractional operators make it progressively functional in demonstrating the classical derivatives. Recently, nonlocal fractional derivatives without the singular kernel have been exhibited and contemplated [16, 17]. However, there are no solid numerical defenses of the new sorts of fractional derivatives; their applications were demonstrated by numerous analysts [18, 19]. Furthermore, presently we have the utilization of fractional calculus in fields like science, material science, and building and among different zones. It is a stunner of the fractional calculus that we have such a large number of valuable meanings of differential and integral operators, for instance, Saigo, conformable, Riemann-Liouville, Katugampola, Hadamard, ErdÃ©lyi-Kober, Liouville, local, and Weyl types. These operators are having their significance and applications in picture handling, science, hydrodynamics, and viscoelastic. For a detailed depiction of the origination of fractional calculus, advancement, and applications, we refer the interested readers to the notable books and research articles [20â€“22].

Hilger [23] began the theories of time scales in his doctoral dissertation and combined discrete and continuous analysis [24, 25]. At that time, this theory has received a lot of attention. In the book written by Bohner and Peterson [26] on the issues of time scale, a brief summary is given and several time calculations are performed. Over the past decade, many analysts working in special applications have proved a reasonable number of dynamic inequalities on a time scale [27, 28]. Several researchers have created various results relating to fractional calculus on time scales to obtain the corresponding dynamic variants [29].

In the eighteenth century (1707â€“1783), Euler initiated calculus with no limits refer to as quantum calculus. Jackson began a deliberate investigation of -calculus and presented the -definite integrals. Additionally, he was the first to create -calculus in an efficient manner. Few selected branches of pure and applied mathematics, such as combinatorics, Gauss hypergeometric functions, orthogonal polynomials, dynamic, and quantum theory, have been enhanced by the exploration work of different researchers.

Motivated, by what we mentioned above, we extend the idea of fractional -calculus type operators with a time scale to arbitrary positive order, provide several bounds for a family of , and finally prove several variants for time-fractional -calculus theory. These new results have utilities in the monotonicity for this nabla continuous fractional operator with singular and nonsingular kernel and compare them to the discrete classical ones. The time-fractional -calculus under consideration in this paper have kernels different from classical nabla fractional differences with kernels depending on the rising factorial powers, and we believe that they bring new kernels with new memories, which may be of different interest for applications. The idea is quite new and seems to have opened new doors of investigation towards various scientific fields of research including engineering, fluid dynamics, meteorology, analysis, and aerodynamics.

Inequalities have wild applications in pure and applied mathematics [30â€“33]. Very recently, many new inequalities such as Hermite-Hadamard type inequality [34â€“38], PetroviÄ‡ type inequality [39], PÃ³lya-SzegÃ¶ type inequality [40], Ostrowski type inequality [41], reverse Minkowski inequality [42], Jensen type inequality [43, 44], Bessel function inequality [45], trigonometric and hyperbolic functions inequalities [46], fractional integral inequality [47â€“51], complete and generalized elliptic integrals inequalities [52â€“57], generalized convex function inequality [58â€“60], and mean values inequality [61â€“63] have been discovered by many researchers.

Variants regarding fractional integral operators are the use of noteworthy significant strategies amongst researchers and accumulate fertile functional applications in various areas of science [64, 65]. We state some of them, that is, the variants of Minkowski, Hardy, Opial, Hermite-Hadamard, GrÃ¼ss, Lyenger, Ostrowski, ebyÅ¡ev, and PÃ³lya-SzegÃ¶, and others. Such applications of fractional integral operators compelled us to show the generalization by using a family of positive functions involving time-fractional -calculus integrals operators.

Owing to the above phenomena, the key aim of this research is to demonstrate the notations and primary definitions of our noteworthy time-fractional -calculus operator. Also, we present the results concerning for a class of family of continuous positive decreasing functions on by employing a time-fractional -calculus operator. Finally, it is emphasized that combining these two approaches, -fractional calculus and time scale analysis, could be the most efficient way of incorporating inequalities into both times and -components for quantum theory and special relativity theory.

#### 2. Preliminaries

Let us recall some necessary definitions and preliminary results that are used for further discussion. For more details, we may refer to [33].

*Definition 1 (See [33]). *The particular time scale is defined by
If there is no confusion concerning we will denote by .

*Definition 2. *The -factorial function is defined in the following way

*Definition 3. *The -derivative of the -factorial function with respect t*o* is defined by
and the -derivative of the -factorial function with respect to is defined by

*Definition 4. *The -exponential function is defined as

*Definition 5. *The -Gamma function is defined by

*Remark 6. *We observe that
and

*Definition 7. *The fractional -integral is defined as

*Remark 8. *Let . Then Definition 7 gives

#### 3. Main Results

Now we demonstrate the left fractional integral operator on an arbitrary time scale to derive the generalization of some classical inequalities.

Theorem 9. *Let , , with , and be a continuous positive decreasing function defined on . Then, one has
*

*Proof. *Using the hypothesis given in Theorem 9, we have
where , and .

It follows from (11) that

Multiplying (12) by , we have

Integrating on both sides of (13) for over we have that is

Multiplying (15) by and integrating for over shows

Dividing the above inequality by we get the desired inequality (10).

Theorem 10. *Let**, and*, *â„‚* with and , and be a continuous positive decreasing function defined on . Then the time-fractional -integral satisfies the inequality

*Proof. *Multiplying both sides of (15) by and integrating for over shows

Dividing (18) by we get the desired inequality (17).

Theorem 11. *Let , , with , be a continuous positive decreasing function defined on , and be a continuous positive increasing function on . Then the time-fractional -integral satisfies the inequality
*

*Proof. *Using the hypothesis given in Theorem 11, we have
where and From (21), we have

Taking product of (22) by we get

Integrating (23) for over we obtain

It follows that

Again, taking the product (15) by and integrating for over gives which completes the proof of the desired inequality (20).

Theorem 12. *Let , , with be a continuous positive decreasing function defined on and be a continuous positive increasing function on . Then, one has
*

*Proof. *Multiplying both sides of (25) by and integrating for over leads to the conclusion that

It follows that

Dividing above inequality by we get the desired inequality (27).

Now, we demonstrate the fractional -integral to derive some inequalities for a class of -decreasing positive functions.

Theorem 13. *Let , for any fixed , with , and be a sequence of continuous positive decreasing functions defined on . Then, the time-fractional -integral satisfies the inequality
*

*Proof. *Since is a sequence of continuous positive decreasing functions on , we have
for any fixed , and .

It follows from (32) that

Taking the product of (22) by and integrating for over we have

Integrating (34) for over , we get

It follows from (35) that

Again, taking the product of (36) by and integrating for over we obtain which gives the desired inequality (31).

Theorem 14. *Let , for any fixed , with , and be a sequence of continuous positive decreasing functions defined on . Then, we have the inequality
*

*Proof. *Taking product on both sides of (36) by and integrating for over we get

Dividing the above inequality by gives the desired inequality (38).

Theorem 15. *Let , for any fixed , with , and and be the continuous positive decreasing functions defined on . Then, the time-fractional -integral satisfies the inequality
*

*Proof. *It follows from the given hypothesis that
for any fixed and

Inequality (42) leads to
Taking the product on both sides of (43) by and integrating for over we obtain
Integrating (44) for over we have
From (43), we clearly see that
Again, taking the product on both sides of (46) by and integrating for over we have
which completes the proof of the desired inequality (41).

Theorem 16. *Let for any fixed , with , be a sequence of continuous positive decreasing functions defined on and be a continuous positive increasing functions defined on . Then
*

*Proof. *Multiplying both sides of (46) by