This content replicates some discrete nonlinear fractional inequalities by virtue of the fractional sum operator 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 differential equations. The foremost consequences are probably confirmed 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 effort.

1. 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 and be real-valued functions defined for and for every . If where 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 [79].

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 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 [2426]).

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.

2. Preliminaries

And with that initiative, without the absence of a specific argument, let be a constant, , , where , , , and difference operator of be assigned as .

A part of primitive specifications and theorems of discrete fractional measurement is represented as

Definition 2 (see [17]). Let be any positive real number, be any real number and , and then fractional sum of is defined for (mod 1) by such that , and is defined for (mod1) and .

Definition 3 (see [17]). Let ,and . Then, th fractional difference of is classified as where is a positive integer and .

Theorem 4 (see [15]). If a real-valued function be prescribed on , such that , so

Theorem 5 (see [15]). Let and be a function which is real valued on , and then The reader may bring attention to [15, 17] for further desirable characteristics on a discrete fractional proposition.

3. Result Declaration

Presently, we will adjust the basic tests.

Theorem 6. Suppose that are functions, and are constants, and be a nondecreasing continuous function with for . If is satisfied, then for , provided with , is the inverses of , , and is chosen so that

Proof. Let . Defining then one has From Definition 2 and (14), we have where and are defined as in (11) and (13). Hence, is nondecreasing. Now, , , and by their definition and , is decreasing in for each . In the equation (14) using straightforward computation for and (8), we get monotonicity of , and produces from (17) and (18), and one has By mean value theorem, it can be seen that relations (19) and (20) summarize into summation (21) from to and from (9), we obtain particularly where for , and we get and furthermore with (24) and (25), we proceed to related moves from (18)-(20) with acceptable improvements to the above inequality yields sum over in (28) and from (10), (26) with is chosen arbitrary, and we acquire and thus and the conclusion of (8) can be followed by substituting (30) in (15) and (24) for .

Remark 7. By inserting , (gamma function property), , and in (7), hence Theorem 6 shifts to Theorem 1 [6].

Remark 8. Theorem 6 converted into Theorem 7 by Du and Jia [24] if and in (7).

Theorem 9. Under the same suppositions of , , , , , and of Theorem 6, if the inequality satisfies for , , is a constant, then where is the inverse of , so that

Proof. Infer and denoting therefore, one has and employing Definition 2 to (35), we deduce where is defined in (11), and is nondecreasing. With the assistance of direct calculation for , decreasing property of for , the definition of , , (35), and (36), we conclude By mean value axiom, we accomplish for some . Therefore, summing prior inequality from to and taking into account implies Let from (41) and (42), and we have in addition from (42); we see monotonicity of , and gives equation (44) with inequality (45) becomes analysis of mean value theorem approaches to inequalities (46) and (47) that offer inequality (48) by summing from to and utilizing equals to that is, substitute the resulting inequality in (43) and (36) to get the acquired bound in (32) with .

Remark 10. By taking Theorem 9 alters into [28], Lemma 5 , by letting , , , , and .

Remark 11. Theorem 9 changes to Theorem 7 by taking and due to Du and Jia [24].

4. 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 and , , , , and be the same as in Theorem 6.

The accompanying example can describe the boundedness on the solutions of (52).

Example 12. Suppose that for , . If 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.

Example 13. Let and then (52) has at most one solution.

Proof. Equation (52) with solutions and can be represented as Assertion (57) with the prior inequality generates The previous inequality by having a few amendments to in the process of Theorem 6 introduces Subsequently, and at least one solution of fractional difference equation (52) exist.☐

5. 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.


The authors would like to express their sincere thanks the editor and anonymous reviewers for their helpful comments and suggestions. This research was funded by the Deanship of Scientific Research at Princess Nourah bint Abdulrahman University through the Fast-Track Research Funding Program.