Some Steffensen-type dynamic inequalities on time scales

We consider some new Steffensen-type dynamic inequalities on an arbitrary time scale by utilizing the diamond-α dynamic integrals, which are characterized as a combination of the delta and nabla integrals. These inequalities expand some known dynamic inequalities on time scales, bind together and broaden some integral inequalities and their discrete analogs.


Introduction
The renowned integral Steffensen inequality [28] is written as where u is nonincreasing, λ = b a ψ(t) dt and 0 ≤ ψ(t) ≤ 1 on [a, b]. It is simple to notice that inequalities (1.1) are reversed if u is nondecreasing.
Also we have n k=n-λ 2 +1 such that 0 ≤ ψ(k) ≤ 1, λ 1 , λ 2 ∈ {1, . . . , n} with λ 2 ≤ n k=1 ψ(k) ≤ λ 1 . Inequality (1.2) is known as discrete Steffensen's inequality [15]. Stefan Hilger started the hypotheses of time scales in his PhD thesis [16] so as to bring together discrete and continuous analysis (see [17]). From that point onward, this theory has gotten a ton of consideration. The book due to Bohner and Peterson [9] regarding the matter of time scales briefs and sorts out a lot of time scales calculus.
Over the previous decade, a reasonable number of dynamic inequalities on time scales has been proven by many analysts who were propelled by certain applications (see [1-4, 9-14, 18, 29]). A few researchers created different outcomes concerning fractional calculus on time scales to deliver related dynamic inequalities (see [5][6][7]24]).
Anderson, in [8], extended Steffensen's inequality to times scale with nabla integrals as follows: where u is of one sign and nonincreasing, 0 By employing diamond-α integrals, Ozkan and Yildirim [21] gave a generalization of inequality (1.3) of the form: Also in [21], the authors have given the following interesting result: The following inequality is a special case of the above inequality: if we put z(t) = M and T . Since its establishment, Steffensen's inequality has played crucial roles in numerous fields of mathematics, particularly in mathematical analysis. In the past several decades, numerous speculations and refinements of Steffensen's inequality have been given by different authors. A few researchers have focused on Steffensen's inequality related to local and conformable fractional integrals (see [22,25,26,30]). For a comprehensive review, we refer the interested reader to the books [19,20] and the references cited in them.
This article is about to extend some Steffensen-type inequalities given in [23] to a general time scale, and build up some new generalizations of the diamond-α dynamic Steffensen inequality on time scales. As special cases of our outcomes, we recapture the integral inequalities presented in the above mentioned paper. Our outcomes additionally give several original discrete Steffensen's inequalities.
We get the unique Steffensen inequalities by utilizing the diamond-α integrals on time scales. For α = 1, the diamond-α integral moves toward becoming delta integral and for α = 0 it moves toward becoming nabla integral. An excellent review about the diamond-α calculus can be viewed in the paper [27].

Basics of time scales
For our convenience, R is the set of real numbers, Z is the set of integers, and a time scale T is an arbitrary nonempty closed subset of the set of real numbers R. If T has a left-scattered maximum t 1 , then R are said to be the delta derivative and nabla derivative of φ at t, respectively, if for any ε > 0 there exist a neighborhood U and a neighborhood V of t such that, for all s ∈ U and s ∈ V simultaneously, we have There is the following formula of delta integration by parts on time scales the nabla integration by parts on time scales is given by We will use the following relations between calculus on time scales T and either differential calculus on R or difference calculus on Z. Note that: where the forward and backward difference operators are denoted by and ∇, respectively. We dedicate the rest of this section to the diamond-α calculus on time scales, and we recommend the paper [27] for further knowledge.
For any t ∈ T, the diamond-α dynamic derivative of u at t is defined by and denoted by u ♦ α (t), where T is a time scale, and u is a function that is delta and nabla differentiable on T. Now, it is time to discuss our main results.

Main results
Proof By straightforward calculations, we get Our desired result follows directly from (3.2) and (3.3).
This proves our claim.

23)
Proof (i) Utilizing (3.4) and delta integration by parts formula on time scales, we get In a similar manner, using (3.5) and nabla integration by parts formula on time scales, we Hence, (3.22) holds.
(ii) Using (3.4) and delta integration by parts, we have respectively.
The following theorem can be obtained by taking c = a and d = a + λ in Theorem 3.10.