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

1.   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 $\hbar\mathbb{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 $\check{\hbar}\mathbb{Z}.$ Furthermore, we observe that $\check{\hbar}$-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 $\hbar$-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.

Mathematical inequalities ^{[29,30,31,32,33,34,35,36,37,38]} initially alluded to adjust, harmony, and coordination. Until modern times, refinements of inequalities were characterized as invariance to change ^{[39,40,41,42,43]}. Physics comprehends fractional inequalities as predictability, while Psychology accentuates that inequality is the trait of magnificence and art ^[44].

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 $\hbar$-discrete AB-fractional sums depending on $\hbar$-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:

Theorem 1.1. (See ^[49]) Let $\mathcal{F}, \mathcal{G}:[c, d]\rightarrow\mathbb{R}$ be two positive functions such that $\alpha\leq\mathcal{F}(x)\leq\mathcal{A}$ and $\beta\leq\mathcal{G}(x)\leq\mathcal{B}$ for all $x\in[c, d]$ and $\alpha, \beta, \mathcal{A}, \mathcal{B}\in\mathbb{R}.$ Then

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 ${\hbar}$-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 $\hbar$-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.

2.   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\in\mathbb{R}$ and $\hbar > 0,$ $\mathbb{N}_{c, \hbar} = \{c, c+\hbar, c+2\hbar, ...\}$ and $\mathbb{N}_{d, \hbar} = \{d, d+\hbar, d+2\hbar, ...\}.$

2.1.   Basics on delta and nabla $\hbar$-factorials

Definition 2.1. (^[65])The backward difference operator of a function $\mathcal{F}$ on $\hbar\mathbb{Z}$ is stated as

where $\rho_{\hbar}(t) = t-\hbar$ denotes the backward jump operator. Also, the forward difference operator of a function $\mathcal{F}$ on $\hbar\mathbb{Z}$ is stated as

where $\sigma_{\hbar}(t) = t+\hbar$ denotes the forward jump operator.

Definition 2.2. (^[65]) (ⅰ) For any $t, \alpha\in\mathbb{R}$ and $\hbar > 0,$ the delta $\hbar$-factorial function is stated as

where $\Gamma$ denotes the Euler gamma function. For $\hbar = 1,$ then $t^{(\alpha)} = \frac{\Gamma({t}+1)}{\Gamma({t}+1-\alpha)}.$ Also, the division by a pole leads to zero.

(ⅱ) For any $t, \alpha\in\mathbb{R}$ and $\hbar > 0,$ the nabla $\hbar$-factorial function is stated as

For $\hbar = 1,$ we observe that $t^{(\alpha)} = \frac{\Gamma({t}+\alpha)}{\Gamma({t})}.$

Lemma 2.3. (^[64]) Let $t\in\mathbb{T} = \mathbb{N}_{c, \hbar},$ then for all $t\in\mathbb{T}^{\iota},$ we obtain

Lemma 2.4. (^[66]) For the time scale $\mathbb{T} = \mathbb{N}_{c, \hbar}$ then the nabla Taylor polynomial

2.2.   Nabla $\hbar$-discrete Mittag-Leffler function

Now we present the concept of nabla $\hbar$-discrete Mittag-Leffler function which is introduced by ^[6].

Definition 2.5. (^[6]) Let $\alpha, \varrho, \Omega\in\mathbb{C}$ having $\Re(\alpha) > 0$ such that $\lambda\in \mathbb{R}$ with $\vert\lambda\hbar^{\alpha}\vert < 1,$ then the nabla discrete Mittag-leffler function is defined

For $\varrho = 1,$ we have

The following remark illustrates the strengthening properties why $\hbar\mathbb{Z}$ is important.

Remark 1. In view of $\hbar\mathbb{Z}:$

Ⅰ. letting $\hbar = 1,$ we attain the nabla discrete Mittag-Leffler function stated in ^[67,68].

Ⅱ. letting $0 < \hbar < 1,$ the interval of convergence to which $\lambda$ lies. Observe that, when $\hbar\mapsto 0,$ then $\alpha\in(0, 1).$ Moreover, when $\hbar\mapsto 1$ guarantee convergence for $\lambda = \frac{-\alpha}{1-\alpha}, \, \alpha\in(0, \frac{1}{2}).$

For further investigation of the discrete Mittag-Leffler function we refer the reader to ^[4].

2.3.   Left and right delta fractional sums on $\hbar\mathbb{Z}$

Definition 2.6. (^[26]) For some $\iota\in\mathbb{N}, \; \alpha > 0$ and let $d = c+\iota\hbar.$ Assume that a function $\mathcal{F}$ be defined on $\mathbb{T} = \mathbb{N}_{c, \hbar}\cap\mathbb{N}_{d, \hbar}.$ Then the delta $\hbar$-fractional sums in the left and right case are defined as follows

and

respectively.

2.4.   Left and right nabla fractional sums on $\hbar\mathbb{Z}$

Definition 2.7. (^[6,66]) Assume that $\hbar > 0$ and the backward jump operator is $\rho(x) = x-\hbar.$ A function $\mathcal{F}:\mathbb{N}_{c, \hbar}\mapsto\mathbb{R}$ is said to be nabla $\hbar$-fractional sum of order $\alpha,$ if

Also, the nabla right $\hbar$-fractional sum of order $\alpha > 0$(ending at $d$) for $\mathcal{F}:\mathbb{N}_{d, \hbar}\mapsto\mathbb{R}$ is described as follows

2.5.   Nabla $\hbar$-fractional differences with $\hbar$-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, $\lambda = -\frac{\alpha}{1-\alpha}$ and $\rho(x) = x-\hbar.$

Definition 2.8. (^[64]) For $\alpha\in[0, 1], \, \hbar > 0$ with $\vert\lambda \hbar^{\alpha}\vert < 1$ and let $\mathcal{F}$ be a function defined on $\mathbb{N}_{c, \hbar}\cap\, _{d, \hbar}\mathbb{N}$ with $c < d$ such that $c\equiv d(mod\, \, \hbar),$ then the left nabla $\mathcal{ABC}$-fractional difference (in the sense of Atangana and Baleanu) is described as

and in the left Riemann sense by

Definition 2.9. (^[64]) For $0 < \alpha < 1$ and let the left $\hbar$-fractional sum concern to $\big(\, _{c}^{ABR}\widehat{\nabla}_{\hbar}^{\alpha}\mathcal{F}\big)(x)$ defined on $\mathbb{N}_{c, \hbar}$ is stated as follows

The right $\hbar$-fractional sum is defined on $\, _{d, \hbar}\mathbb{N}$ by

3.   Discrete Grüss type inequalities

In this section, we present a different concept of Grüss type inequalities, which consolidates the ideas of $\hbar$-discrete AB-fractional sums.

Theorem 3.1. Let $\alpha\in(0, 1)$ and let $\mathcal{F}$ be a positive function on $\mathbb{N}_{c, \hbar}.$ Suppose that there exist two positive functions $\phi_{1}, \phi_{2}$ on $\mathbb{N}_{c, \hbar}$ such that

Then, for $x\in\{c, c+\hbar, c+2\hbar, ...\},$ one has

Proof. From Eq (3.1), for $\theta, \lambda\in\mathbb{N}_{c, \hbar},$ we have

Therefore,

Taking product both sides of Eq (3.4) by $\frac{1-\alpha}{\mathbb{B}(\alpha, \hbar)(1-\alpha+\alpha\hbar)},$ we get

Replacing $\lambda$ by $t$ in Eq (3.5) and conducting product both sides by $\frac{\alpha(x-\rho(t))_{\hbar}^{\frac{}{\alpha-1}}}{\mathbb{B}(\alpha, \hbar)\Gamma(\alpha)},$ we have

Summing both sides for $t\in\{c, c+\hbar, c+2\hbar, ...\},$ we get

Adding Eqs (3.5) and (3.6), we have

arrives at

Taking product both sides of Eq (3.7) by $\frac{1-\beta}{\mathbb{B}(\beta, \hbar)(1-\beta+\beta\hbar)},$ we have

Also, replacing $\theta$ by $\bar{t}$ in Eq (3.8) and conducting product both sides by $\frac{\beta(x-\rho(\bar{t}))_{\hbar}^{\frac{}{\beta-1}}}{\mathbb{B}(\beta, \hbar)\Gamma(\beta)},$ we have

Summing both sides for $\bar{t}\in\{c, c+\hbar, c+2\hbar, ...\},$ we get

Adding Eqs (3.8) and (3.9), then in view of Definition 2.9, yields the inequality Eq (3.2). This completes the proof.

Some special cases which can be derived immediately from Theorem 3.1.

Choosing $\hbar = 1,$ then we attain a new result for discrete AB-fractional sum.

Corollary 1. Let $\alpha\in(0, 1)$ and let $\mathcal{F}$ be a positive function on $\mathbb{N}_{c}.$ Suppose that there exist two positive functions $\phi_{1}, \phi_{2}$ on $\mathbb{N}_{c}$ such that

Then, for $x\in\{c, c+1, c+2, ...\},$ one has

Theorem 3.2. Let $\alpha, \beta\in(0, 1)$ and let $\mathcal{F}$ and $\mathcal{G}$ be two positive functions on $\mathbb{N}_{c, \hbar}.$ Suppose that Eq (3.1) satisfies and also one assumes that there exist two positive functions $\Omega_{1}, \Omega_{2}$ on $\mathbb{N}_{c, \hbar}$ such that

Then, for $x\in\{c, c+\hbar, c+2\hbar, ...\},$ one has

Proof. To prove Eq $(M_{1})$, from Eqs (3.1) and (3.12), we have for $\lambda, \theta\in\mathbb{N}_{c, \hbar}$ that

Therefore,

Taking product both sides of Eq (3.17) by $\frac{1-\alpha}{\mathbb{B}(\alpha, \hbar)(1-\alpha+\alpha\hbar)},$ we get

Moreover, replacing $\lambda$ by $t$ in Eq (3.17) and conducting product both sides by $\frac{\alpha(x-\rho(t))_{\hbar}^{\frac{}{\alpha-1}}}{\mathbb{B}(\alpha, \hbar)\Gamma(\alpha)},$ we have

Summing both sides for ${t}\in\{c, c+\hbar, c+2\hbar, ...\},$ we get

Then, we have

Taking product both sides of Eq (3.16) by $\frac{1-\beta}{\mathbb{B}(\beta, \hbar)(1-\beta+\beta\hbar)},$ we have

Further, replacing $\theta$ by $\bar{t}$ in Eq (3.19) and conducting product both sides by $\frac{\beta(x-\rho(\bar{t}))_{\hbar}^{\frac{}{\beta-1}}}{\mathbb{B}(\beta, \hbar)\Gamma(\beta)},$ we have

Summing both sides for $\bar{t}\in\{c, c+\hbar, c+2\hbar, ...\},$ we get

Adding Eqs (3.19) and (3.21), we conclude the desired inequality Eq $(M_{1})$.

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 $\hbar = 1,$ then we attain a new result for discrete $AB$-fractional sums.

Corollary 2. Let $\alpha, \beta\in(0, 1)$ and let $\mathcal{F}$ and $\mathcal{G}$ be two positive functions on $\mathbb{N}_{c}.$ Suppose that Eq (3.1) satisfies and also one assumes that there exist two positive functions $\Omega_{1}, \Omega_{2}$ on $\mathbb{N}_{c}$ such that

Then, for $x\in\{c, c+1, c+2, ...\},$ one has

Theorem 3.3. Let $\alpha, \beta\in(0, 1)$ and let $\mathcal{F}$ and $\mathcal{G}$ be two positive functions on $\mathbb{N}_{c, \hbar}$ with $p, q > 0$ satisfying $\frac{1}{p}+\frac{1}{q} = 1.$ Then, for $x\in\{c, c+\hbar, c+2\hbar, ...\},$ one has

Proof. According to the well-known Young's inequality:

setting $a = \mathcal{F}(\theta)\mathcal{G}(\lambda)$ and $b = \mathcal{F}(\lambda)\mathcal{G}(\theta), \, \, \theta, \lambda > 0,$ we have

Taking product both sides of Eq (3.24) by $\frac{1-\alpha}{\mathbb{B}(\alpha, \hbar)(1-\alpha+\alpha\hbar)},$ we have

Moreover, replacing $\lambda$ by $t$ in Eq (3.25) and conducting product both sides by $\frac{\alpha(x-\rho(t))_{\hbar}^{\frac{}{\alpha-1}}}{\mathbb{B}(\alpha, \hbar)\Gamma(\alpha)},$ we have

Summing both sides for ${t}\in\{c, c+\hbar, c+2\hbar, ...\},$ we get

Adding Eqs (3.24) and (3.27), we get

In view of Definition 2.9, yields

Again, taking product both sides of Eq (3.29) by $\frac{1-\beta}{\mathbb{B}(\beta, \hbar)(1-\beta+\beta\hbar)},$ we have

Further, replacing $\theta$ by $\bar{t}$ in Eq (3.29) and conducting product both sides by $\frac{\beta(x-\rho(\bar{t}))_{\hbar}^{\frac{}{\beta-1}}}{\mathbb{B}(\beta, \hbar)\Gamma(\beta)},$ we have

After summing the above inequality Eq (3.31) both sides for $\bar{t}\in\{c, c+\hbar, c+2\hbar, ...\},$ yields the desired assertion Eq $(M_{9}).$

The remaining variants can be derived by adopting the same technique and accompanying the selection of parameters in Young inequality.

Repeating the foregoing argument, we obtain Eqs $(M_{10})$–$(M_{12}).$

$(I)$ Letting $\hbar = 1,$ then we attain a result for discrete AB-fractional sums.

Corollary 3. Let $\alpha, \beta\in(0, 1)$ and let $\mathcal{F}$ and $\mathcal{G}$ be two positive functions on $\mathbb{N}_{c}$ with $p, q > 0$ satisfying $\frac{1}{p}+\frac{1}{q} = 1.$ Then, for $x\in\{c, c+1, c+2, ...\},$ one has

Example 3.4. Let $\alpha, \beta\in(0, 1)$ and let $\mathcal{F}$ and $\mathcal{G}$ be two positive functions on $\mathbb{N}_{c, \hbar}$ with $p, q > 0$ satisfying ${p}+{q} = 1.$ Then, for $x\in\{c, c+\hbar, c+2\hbar, ...\},$ 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:

Example 3.5. Let $\alpha\in(0, 1)$ and let $\mathcal{F}$ and $\mathcal{G}$ be two positive functions on $\mathbb{N}_{c, \hbar}$ with $p, q > 1$ satisfying $\frac{1}{p}+\frac{1}{q} = 1.$ Let

Then, for $x\in\{c, c+\hbar, c+2\hbar, ...\},$ one has

Proof. From Eq (3.34) and the inequality

then we can write as,

Taking product both sides of Eq (3.36) by $\frac{1-\alpha}{\mathbb{B}(\alpha, \hbar)(1-\alpha+\alpha\hbar)},$ we have

Replacing $\theta$ by $t$ in Eq (3.36) and conducting product both sides by $\frac{\alpha(x-\rho(t))_{\hbar}^{\frac{}{\alpha-1}}}{\mathbb{B}(\alpha, \hbar)\Gamma(\alpha)},$ we have

Summing both sides for ${t}\in\{c, c+\hbar, c+2\hbar, ...\},$ we get

Adding Eqs (3.37) and (3.39), yields

on the other hand, it follows from $\gamma\Upsilon > 0$ and

that

then from Eqs (3.40) and (3.42), we obtain,

Which implies $(i).$ By some change of $(i),$ analogously, we get $(ii)$ and $(iii).$

4.   Conclusions

Unlike some known and established inequalities in the literature, the Grüss type inequalities have been presented via the $\hbar$-discrete AB-fractional sums with different values of parameters on the domain ${\hbar}\mathbb{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 ${\hbar}$-fractional sums. The noted consequences can also be extended to the weighted function case. Certainly, the case $\hbar\mapsto1$ 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.

Acknowledgments

Authors are grateful to the referees for their valuable suggestions and comments.

Conflict of interest

The authors declare no conflict of interest.