Discrete Fractional Inequalities Pertaining a Fractional Sum Operator with Some Applications on Time Scales

This content replicates some discrete nonlinear fractional inequalities by virtue of the fractional sum operator (cid:1) Ψ on time scales. Through the recognition of the principle of discrete fractional calculus, we are able to recover the precise estimates for unknown functions of inequalities of the Gronwall type. The resultant inequalities are of unique structure comparative with the latest reviewing disclosures and can be described as a complementary tool for numerically testing the solutions of discrete partial di ﬀ erential equations. The foremost consequences are probably con ﬁ rmed via handling of assessment procedure and technique of mean value speculation. We display few examples of the proposed inequalities to represent the incentives of our e ﬀ ort.


Introduction and Essentials
Fractional calculus and its conceptual applications have acquired a huge amount of potential in terms of the reality that fractional operators are becoming a valuable asset with more specificity and success in demonstrating a few complicated discoveries in numerous seemingly diverse and wide fields of science and in many areas, such as fluid flow, physics, chaos, image analysis, virology, and financial economy [1,2]. A few years earlier, fractional differential equations and dynamic systems have been validated as being significant gadgets in showing a few marvels in different parts of applied and pure sciences. They draw enormous importance in research-oriented fields (see the basic monograph and the interesting paper [3,4]. The set of implications that encouraged the formation of a discrete fractional theory is established [5].
The aim of the paper is to impose discrete fractional sum equations in order to build up a procedure to comprehend certain equations and to extract corresponding Gronwall sort of inequality. Especially, Gronwall's inequality is illustrated to be among the primary inequalities for the foundation of differential equations. From now on and into the near future, various assumptions and development of such inequalities have ended up being a major component. Discrete Gronwall inequality was suggested by Sugiyama [6] in 1969. He carried out the related framework of reliable and discrete type of Gronwall inequality:

Theorem 1. Let Lð
ΩÞ and kð ΩÞ be real-valued functions defined for Ω ∈ ℕ 0 and kð ΩÞ > 0 for every Ω ∈ ℕ 0 . If where b ω 0 is a nonnegative constant, and then Theorem 1 is often used differential and integral equations that possess the unification of discrete factor models.
It is interesting that discretization cycle is among the most demanded tools for researchers who are captivated in multiplication and computational assessment. Keep in mind that not all discrete operators have identical characteristics to continuous ones, and the formation of discrete fractional calculus is becoming an essential prerequisite. Several other authors have dedicated their resources to the quest for arbitrary new operators. Definitely, the range of such methods provides analysts with more chances to adapt them in multiple models.
Fractional calculus that consists of derivative and integral of noninteger order is normal augmentations of the standard integer order calculus. Fractional calculus is by all accounts universal in light of its fascinating applications with regards to different aspects of science, for example, viscoelastic materials, dispersion, central nervous biology, regulation hypothesis, and statistical data [7][8][9].
Despite the existence of a rigorous scientific standard for the continuity of fractional calculus, the possibility of improving a discrete fractional calculus has been insufficient. Although we all realize, discovering fractional difference equations requires a thorough understanding of system identification. Recently, surprising achievement has been produced as a result of arduous attempts in fractional difference structures by Du and Jia [10]. The existence and uniqueness of solutions are the foundation for examining the stability problem that has been exploited using fractional Gronwall and Bihari inequality, for example [11,12].
The essentially identical to discrete hypothesis by a fractional sum of order Ψ > 0 was identified due to Miller and Ross [13] through solution based on linear differential equation, and many key aspects of proposed operator were tested. Moreover, Atici and Eloe [14] implemented a discrete method for Laplace transformation containing a fractional class of finite difference equations. Atici and Eloe [15] identified the causes of the initial value in the discrete fractional analysis. Atici and Eloe [16] investigated the structure of a discrete fractional calculus with the nabla operator. They created exponential laws and the item rule to the forward fractional calculus. Atici and Sengul [17] built up the Leibniz rule and summation by part equation in discrete fractional theory. Bastos and Torres [18] introduced the more broad discrete fractional operator which was specified by delta and nabla fractional sums. Holm [19] presented operators with fractional sums and applied one such hypothesis to tackle fractional initial value problems. Anastassiou [20] determined the privilege discrete nabla fractional of Taylor equation. The innovation that made look like a consequence of this depiction was charming to several readers and now subjected to outrageous review, in numerous approaches: discrete nature and precision of fractional equations, tumor formation simulating [21], consistency of tumor cell solutions related order of Legendre's derivative Ψ [22], and Euler-Lagrange equation and Legendre's optimality condition for the calculus of variations problems [23]. The idea of a discrete version of fractional calculus is adopted just as late, usually because of the impact of exploration in fractional analysis (see [24][25][26]).
Inequalities of finite difference that demonstrate distinct bounds of undefined functions suggest a highly useful and beneficial way to enhance understanding of finite difference equations. As a consequence, difference equations tend to be a realistic instrument that correctly represents real-life scenarios like question queueing, power systems, and financial measurements, and to attempt such kind of mechanism, this protection is mandated. Probably the least impossible enormously difference equations right now have begun to achieve the attention [27].
In the stage when we have to examine many features of a differential equation, there are multiple interpretations for certain categories of inequalities. Essentially, based on capability of the aforementioned inquiry, we formulate in this material some generalizations of discrete fractional nonlinear inequalities linked to the fractional sum operator Ψ that assemble to describe fractional inequalities and incorporate some proven publication tests. To reflect theoretical hypotheses, it was shown that the transmitted inequalities may be used to evaluate certain classifications of discrete fractional equations. In order to explore the usefulness and drawbacks of the usage of fractional sum difference equations, the completion of this paper secures a few instances.
Definitive portions of the document are classified as such. We address relevant actual considerations and basic assumptions in Section 2. Section 3 is committed to the theoretical experiences of nonlinear discrete fractional inequalities with some remarks. The remaining section is considered in accomplishing the theoretical examination specifications.

Preliminaries
And with that initiative, without the absence of a specific argument, letM be a constant, ρ=ĉ kð ρÞ = 0, ℝ + = ½0, ∞Þ, and difference operator of a be assigned as Δað b ϑÞ = A part of primitive specifications and theorems of discrete fractional measurement is represented as Definition 2 (see [17]). Let Ψ be any positive real number, g be any real number and σð ρÞ = ρ + 1, and then Ψ − th fractional sum of k is defined for Ω = g (mod 1) by such that ð ρÞ Definition 3 (see [17]). Let b ν > 0,and b where

Journal of Function Spaces
Theorem 4 (see [15]). If a real-valued function k be prescribed on ℕ g , such that b ν, Theorem 5 (see [15]). Let Ψ > 0 and k be a function which is real valued on ℕ g , and then The reader may bring attention to [15,17] for further desirable characteristics on a discrete fractional proposition.

Result Declaration
Presently, we will adjust the basic tests.
satisfies for r > 0, r ≠ 1, r is a constant, then where

Journal of Function Spaces
Proof. Infer b ω 0 > 0 and denoting therefore, one has and employing Definition 2 to (35), we deduce where Jð Ω, ρÞ is defined in (11) By mean value axiom, we accomplish for some b ρð ρÞ ∈ ½p 1 ð ρ − 1Þ, p 1 ð ρÞ. Therefore, summing prior inequality from Ψ to ρ − 1 and taking into account Let from (41) and (42), and we have in addition from (42); we see monotonicity of c Π, and p 2 gives
Remark 11. Theorem 9 changes to Theorem 7 by taking r = 0 and J = 1 due to Du and Jia [24].

Boundedness and Uniqueness
This segment is related to a valid procedure of Theorem 6 to determine boundedness and uniqueness of discrete fractional inequalities. Consider the following pattern of fractional difference equation: where S : ℕ 0 × ℝ ⟶ ℝ and ρ, Ψ, b ω 0 , L, and c Π be the same as in Theorem 6.
The accompanying example can describe the boundedness on the solutions of (52).
for ρ ∈ ℕ 0 , L ∈ ℝ. If Lð ρÞ is a solution of (52), then Proof. Equation (52) with the blend of Definition 2 is encoded into Evidently, equation (55) with the utilization of (53) takes the form The rest of the calculations can be performed by assuming the right composition of Theorem 6 in order to gather the necessary inequality (54). ☐ The uniqueness of (52) solutions can be defined from an illustration below.
and then (52) has at most one solution.
Proof. Equation (52) with solutions L 1 ð ρÞ and L 2 ð ρÞ can be represented as Assertion (57) with the prior inequality generates The previous inequality by having a few amendments to |L 1 ð ρÞ − L 2 ð ρÞ | in the process of Theorem 6 introduces

Concluding Remarks
Discrete fractional calculus has made great progress of real-world phenomena, like fractional chaotic maps, image coding, and more discrete time modeling. One of the preeminent crucial issues in investigation of difference equations is to explore the subjective attributes of solutions of these previously mentioned fields. Discrete fractional variants are notable pathways that speed disabling. In this article, fixed on the framework of discrete fractional analytics and with the aid of fractional sum inequalities, we proposed new kinds of discrete fractional Gronwall inequalities. We also extracted the expansion of the decreasing feature sequences in the time-scale domain frame. Such inequalities can be shown not only to recall explicit estimates for solutions of fractional difference equations of a discrete form but also to the uniqueness and continuous dependency on initial value of the solutions in the literature.

Data Availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

Conflicts of Interest
The authors declare that there are no competing interests.