On some dynamic inequalities of Ostrowski, trapezoid, and Grüss type on time scales

In the present manuscript, we prove some new extensions of the dynamic Ostrowski inequality and its companion inequalities on an arbitrary time scale by using two parameters for functions whose second delta derivatives are bounded. In addition to these generalizations, some integral and discrete inequalities are obtained as special cases of main results.


Introduction
In 1938, Ostrowski [27] proved the following integral inequality. Clearly, inequality (1.1) estimates an upper bound for the absolute deviation between the value of at a point λ in [θ , ϑ] and its integral mean over [θ , ϑ].
Grüss [18] proved the following inequality to estimate the absolute deviation of the integral mean of the product of two functions from the product of the integral means. Then, the following inequality holds.
Inequality (1.2) is known in the literature as the Grüss inequality. One of the companion inequalities of the Ostrowski inequality is the following inequality that is known in the literature as the trapezoid inequality [25]. 3 12 .
Ostrowski's inequality has a significant importance in many fields, particularly in numerical analysis. One of its applications is the estimation of the error in the approximation of integrals.
Many generalizations and refinements of the Ostrowski inequality and its companion inequalities were carried out during the past several decades, we refer the reader to the articles [3, 9, 11-13, 21, 23, 24], the books [25,26] and the references cited therein.
Stefan Hilger initiated the theory of time scales in his PhD thesis [19] in order to unify discrete and continuous analysis (see [20]). Since then, this theory has received much attention. The basic notion is to establish a result for a dynamic equation or a dynamic inequality where the domain of the unknown function is the so-called time scale T, which is an arbitrary closed subset of the reals R (see [8]). The three most common examples of calculus on time scales are continuous calculus, discrete calculus, and quantum calculus, i.e., when T = R, T = N and T = q Z = {q z : z ∈ Z} ∪ {0}, where q > 1. The book due to Bohner and Peterson [7] on the subject of time scales briefs and organizes much of time-scales calculus.
Over the past decade, a great number of dynamic inequalities on time scales have been established by many researchers who were motivated by some applications (see [1,2]).
The same authors, Bohner and Matthews, gave in [4] the time-scales version of the Grüss inequality (1.2) as follows:

Then, we have
Recently, Saker and his research group [17] proved the following weighted Ostrowskitype inequality on an arbitrary time scale.

rd-continuous and positive functions and f
Some various generalizations and extensions of the dynamic Ostrowski inequality and its companion inequalities can be found in the papers [6, 10, 14-16, 22, 29].
The aim of the present paper is first to establish a new dynamic Ostrowski-type inequality on time scales for functions whose second delta derivatives are bounded. Then, we prove new generalized dynamic trapezoid-and Grüss-type inequalities on time scales. As special cases of our results, some continuous and discrete inequalities are obtained.
This paper is organized as follows: In Sect. 2, we briefly present the basic definitions and concepts related to the calculus on time scales. In Sect. 3, we state and prove our main results. In Sect. 4, we state the conclusion.

Time-scales preliminaries
First, we recall some essentials of time scales, and some symbols that will be used in the present paper. From now on, R and Z are the set of real numbers and the set of integers, respectively.
A time scale T is an arbitrary nonempty closed subset of the set of real numbers R. Throughout the article, we assume that T has the topology that it inherits from the standard topology on R. We define the forward jump operator σ : T → T for any ξ ∈ T by σ (ξ ) := inf{s ∈ T : s > ξ }, and the backward jump operator ρ : T → T for any ξ ∈ T by ρ(ξ ) := sup{s ∈ T : s < ξ }.
Points that are simultaneously right-dense and left-dense are said to be dense points, whereas points that are simultaneously right-scattered and left-scattered are said to be isolated points.
The set T κ is introduced as follows: If T has a left-scattered maximum ξ 1 , then We define the open intervals and half-closed intervals similarly. Assume χ : T → R is a function and ξ ∈ T κ . Then, χ (ξ ) ∈ R is said to be the delta derivative of χ at ξ if for any ε > 0 there exists a neighborhood U of ξ such that, for every s ∈ U, we have Let χ , ϕ : T → R be delta-differentiable functions at ξ ∈ T κ . Then, we have the following: , ϕ(ξ )ϕ(σ (ξ )) = 0. The integration by parts on time scales is given by the following formula (2.1) Assume that χ : T → T is a function and n ∈ N. Then, (see [7]) A function ϕ : T → R is said to be right-dense continuous (rd-continuous) if ϕ is continuous at the right-dense points in T and its left-sided limits exist at all left-dense points in T.
Let θ , ϑ, γ ∈ T, c ∈ R, and χ , ϕ be right-dense continuous functions on [θ , ϑ] T . Then, We use the following crucial relations between calculus on time scales T and differential calculus on R and difference calculus on Z. Note that: (2.4)

An Ostrowski-type inequality on time scales
Proof Using integration by parts formula on time scales (2.1), we have Adding (3.2) and (3.3), we obtain (3.6) Inequality (3.1) follows directly from (3.6), the properties of modulus and the definition of h 2 (·, ·). This completes the proof.

A trapezoid-type inequality on time scales
Theorem 3.4 Under the same assumptions as in Theorem 3.1, we have where and similarly Now, adding (3.8) and (3.9) produces Multiplying the last identity by (λ), using (2.3) and integrating the resulting identity with respect to λ from θ to ϑ yields Equivalently, Taking the absolute value on both sides, we obtain This shows the validity of (3.7).

Conclusion
In this manuscript we discussed some new investigations of the dynamic Ostrowski inequality and its companion inequalities on an arbitrary time scale by using two parameters. These inequalities have certain conditions that have not been studied before. For example, in Theorem 3.1, we are dealing with a function whose second derivative is bounded, while all the existing literature deals with functions whose first derivatives are bounded. In addition, in order to obtain some new inequalities as special cases, we extended our inequalities to discrete and continuous calculus.