New formulation for discrete dynamical type inequalities via h-discrete fractional operator pertaining to nonsingular kernel

1 Department of Mathematics, King Saud University, P.O.Box 22452, Riyadh 11495, Saudi Arabia 2 Department of Mathematics, Government College University, Faisalabad, Pakistan 3 Department of Mathematics and Statistics, Imam Muhammad Ibn Saud Islamic University, Riyadh, Saudi Arabia 4 Department of Basic Sciences, University of Engineering and Technology, Peshawar, Pakistan 5 Department of Mathematics, Faculty of Science, Taif University, P. O. Box 11099, Taif 21944, Saudi Arabia


Introduction
DFC has captivated a lot of consideration across various analysis and engineering disciplines, particularly in modelling [1], neural networks [2] and image encryption [3]. The developing approach portraying real-world problems have been exhibited to be helpful in numerical devices to analyze, comprehend and predict the nature within humankind live [4][5][6][7][8][9][10]. In 1974, Daiz et al. [11] introduced the idea of DFC and composed it with an infinite sum. Later on, in 1988, Gray et al. [12] extended this concept and implemented it on the finite sum. This concept is known as the nabla difference operator in the literature. Atici and Eloe [13] proposed the theory of fractional difference equations, although the practical implementation is presented in [14]. Yilmazer [15] proposed discrete fractional solution of a nonhomogeneous non-Fuchsian differential equations. Yilmazer and Ali [16] derived the discrete fractional solutions of the Hydrogen atom type equations. Many researchers' focus is directed towards modeling and analysis of various problems in bio-mathematical sciences. This field demonstrates several distinguished kernels depending on discrete power law, discrete exponential-law and discrete Mittag-Leffler law kernels which correspond to the Liouville-Caputo, Caputo-Fabrizio and the Atangana-Baleanu nabla(delta) difference operators generalized Z time scale [17][18][19].
Numerous utilities have been developed via DFC such as the solution of fractional difference equations and discrete boundary value problems are proposed in terms of new mathematical techniques [20][21][22][23]. Therefore, the conventional methodology of DFC have some intriguing and less-acknowledged opportunities for modelling. DFC is proposed to depict the customary practice of time scale analysis, with discussing its numerical approximations inˇ Z. Furthermore, we observe thať -discrete fractional calculus is tremendously momentous in applied sciences and can also address the requirements of synchronous operation of various mechanisms, see [24][25][26].
Among the computational models formulated in fractional calculus, discrete AB-fractional operators, which is a universal operator of fractional calculus that has been traditionally employed to develop modern operators and their characterizations have been proposed in research article [27,28]. Moreover, DFC has been theoretically presented more by introducing and analyzing discrete forms of these fractional operators [13]. Here, we intend to find the discrete fractional inequalities analogous to fractional operators having -discrete Mittag-Leffler kernels, encompassing and simplifying these operators in such a manner as to recuperate certain appropriate traits such as discrete inequalities for AB-fractional sums.
Numerous investigations have been directed on fractional inequalities in the natural science [45], engineering sciences, see [41,[46][47][48] and the references cited therein. Landscapes, structures, and mechanical equipment all demonstrate inequalities attributes. Therefore, we intend to find the discrete version of the Grüss type and some further connected modifications by the -discrete AB-fractional sums depending on -discrete generalized Mittag-Leffler kernel. This stands as an inspiration for the current paper. The intensively investigated Grüss inequality can be presented as follows: where the constant 1/4 can not be improved.
The Grüss inequality Eq (1.1) has been broadly and intensely investigated in engineering and applied analysis, and various developed consequences have been acquired so far. Nevertheless, the prevalent existence of Grüss inequality in scientific fields is not in direct proportion to the consideration it has acknowledged. In application viewpoint, practically all mechanical structures are found to have inequality Eq (1.1), and the vast majority of them have the qualities of discrete and continuous fractional operators [50][51][52][53][54][55][56][57][58][59][60][61][62][63].
Inspired by the excellent dynamical properties of -discrete AB-fractional sums differences formulation [64], the limitations of fractional calculus can be ameliorated via discrete and continuous state-of-the-art techniques for effective information chaotic map applications, that can be inferred as a generalization of nonlocal/nonsingular type kernels.
These investigations promote further sum/difference operators and related inequalities. It is our aim in this investigation to explore the discrete version of the Grüss type and certain other associated variants with some traditional and forthright inequalities in the frame of -discrete AB-fractional sums. We also would like to mention that besides these variants, several other intriguing generalizations are derived. The comparison of Grüss type with other discrete fractional calculus frameworks is currently under investigation. Finally, two examples are presented that correlate with some well-known inequalities in the relative literature and with the proposed strategy.

Preliminaries on discrete fractional calculus
In this section, we evoke some basic ideas related to fractional operator, discrete generalized Mittag Leffler functions and the time scale calculus, see the detailed information in [13]. For the sake of simplicity, we use the notation, for c, d ∈ R and > 0, N c, = {c, c + , c + 2 , ...} and N d, = {d, d + , d + 2 , ...}.

Basics on delta and nabla -factorials
where ρ (t) = t − denotes the backward jump operator. Also, the forward difference operator of a function F on Z is stated as where σ (t) = t + denotes the forward jump operator.
(ii) For any t, α ∈ R and > 0, the nabla -factorial function is stated as

Nabla -discrete Mittag-Leffler function
Now we present the concept of nabla -discrete Mittag-Leffler function which is introduced by [6].
The following remark illustrates the strengthening properties why Z is important.
Also, the nabla right -fractional sum of order α > 0(ending at d) for F : N d, → R is described as follows

Nabla -fractional differences with -discrete Mittag Leffler kernels
Now, we demonstrate the some new concepts which we will be utilized for proving coming results of this paper, see [4]. Also, we use the notation, λ = − α 1−α and ρ(x) = x − . Definition 2.8. ( [64]) For α ∈ [0, 1], > 0 with |λ α | < 1 and let F be a function defined on N c, ∩ d, N with c < d such that c ≡ d(mod ), then the left nabla ABC-fractional difference (in the sense of Atangana and Baleanu) is described as and in the left Riemann sense by (2.10) Definition 2.9. ( [64]) For 0 < α < 1 and let the left -fractional sum concern to ABR c (2.11) The right -fractional sum is defined on d, N by (2.12)

Discrete Grüss type inequalities
In this section, we present a different concept of Grüss type inequalities, which consolidates the ideas of -discrete AB-fractional sums.
Theorem 3.1. Let α ∈ (0, 1) and let F be a positive function on N c, . Suppose that there exist two positive functions φ 1 , φ 2 on N c, such that (3.1) Proof. From Eq (3.1), for θ, λ ∈ N c, , we have Therefore, Taking product both sides of Eq (3.4) by Replacing λ by t in Eq (3.5) and conducting product both sides by Summing both sides for t ∈ {c, c + , c + 2 , ...}, we get Adding Eqs (3.5) and (3.6), we have arrives at Taking product both sides of Eq (3.7) by Also, replacing θ byt in Eq (3.8) and conducting product both sides by Summing both sides fort ∈ {c, c + , c + 2 , ...}, we get (3.9) Adding Eqs (3.8) and (3.9), then in view of Definition 2.9, yields the inequality Eq (3.11). This completes the proof.
Some special cases which can be derived immediately from Theorem 3.1. Choosing = 1, then we attain a new result for discrete AB-fractional sum.
Corollary 1. Let α ∈ (0, 1) and let F be a positive function on N c . Suppose that there exist two positive functions φ 1 , φ 2 on N c such that Theorem 3.2. Let α, β ∈ (0, 1) and let F and G be two positive functions on N c, . Suppose that Eq (3.1) satisfies and also one assumes that there exist two positive functions Ω 1 , Ω 2 on N c, such that
To prove Eqs (M 2 )-(M 4 ), we utilize the following inequalities: Some special cases which can be derived immediately from Theorem 3.2. Choosing = 1, then we attain a new result for discrete AB-fractional sums.
The remaining variants can be derived by adopting the same technique and accompanying the selection of parameters in Young inequality.
(I) Letting = 1, then we attain a result for discrete AB-fractional sums.
Corollary 3. Let α, β ∈ (0, 1) and let F and G be two positive functions on N c with p, q > 0 satisfying 1 p + 1 q = 1. Then, for x ∈ {c, c + 1, c + 2, ...}, one has Proof. The example can be proved with the aid of the weighted AM-GM inequality with the same technique as we did in Theorem 3.3 and utilizing the following assumptions: , G(θ), G(θ) 0.

Conclusions
Unlike some known and established inequalities in the literature, the Grüss type inequalities have been presented via the -discrete AB-fractional sums with different values of parameters on the domain Z that can be implemented to solve the qualitative properties of difference equations. Our consequences can be applied to overcome the obstacle of obtaining estimation on the explicit bounds of unknown functions and also to extend and unify continuous inequalities by using the simple technique. Several novel consequences have been derived by the use of discrete -fractional sums. The noted consequences can also be extended to the weighted function case. Certainly, the case → 1 recaptures the outcomes of the discrete AB-fractional sums. For indicating the strength of the offered fallouts, we employ them to investigate numerous initial value problems of fractional difference equations.