On Separate Fractional Sum-Difference Equations with n-Point Fractional Sum-Difference Boundary Conditions via Arbitrary Different Fractional Orders

In this article, we study the existence and uniqueness results for a separate nonlinear Caputo fractional sum-difference equation with fractional difference boundary conditions by using the Banach contraction principle and the Schauder’s fixed point theorem. Our problem contains two nonlinear functions involving fractional difference and fractional sum. Moreover, our problem contains different orders in n + 1 fractional differences and m + 1 fractional sums. Finally, we present an illustrative example.


Introduction
Fractional calculus has recently been an attractive field to researchers because it is a powerful tool for explaining many engineering and scientific disciplines as the mathematical modeling of systems and processes which appear in nature, for example, ecology, biology, chemistry, physics, mechanics, networks, flow in porous media, electrical, control systems, viscoelasticity, mathematical biology, fitting of experimental data, and so forth. For example, Zhang et al. [1] proposed both analytical and numerical results from studying the propagation of optical beams in the fractional Schrödinger equation with a harmonic potential. In 2015, Zingales and Failla [2] solved the fractional-order heat conduction equation by using a pertinent finite element method. For Lazopoulos's [3] work, they defined the fractional curvature of plane curves, the fractional beam small deflection, the fractional curvature is approximate. In 2017, Sumelka and Voyiadjis [4] proposed a concept of short memory connected with the definition of damage parameter evolution in terms of fractional calculus for hyperelastic materials.
Recently, Sitthiwirattham [19,20] investigated three-point fractional sum boundary value problems for sequential fractional difference equations of the forms and and φ p is the p-Laplacian operator. Existence and uniqueness of solutions are obtained by using the Banach fixed point theorem and the Schaefer's fixed point theorem. The results mentioned above are the motivation for this research. In this paper, we consider a separate nonlinear Caputo fractional sum-difference equation of the form with the fractional sum-difference boundary value conditions and λ, µ ∈ R are given constants; F ∈ C N α−n,T+α × R × R, R , H ∈ C N α−n,T+α × R × R, R , g ∈ C N α−n,T+α , R + , and for ϕ, φ ∈ C N α−n,T+α × N α−n,T+α , [0, ∞) , we defined the operators The plan of this paper is as follows. In Section 2 we recall some definitions and basic lemmas. We derive a representation for the solution of (5) by converting the problem to an equivalent summation equation. In Section 3, we prove existence results of the problem (5) by using the Banach contraction principle and the Schauder's theorem. Finally, an illustrative example is presented in Section 4.

Preliminaries
The notations, definitions, and lemmas which are used in the main results are as follows.

Definition 1.
We define the generalized falling function by t α := Γ(t + 1) , for any t and α for which the right-hand side is defined. If t + 1 − α is a pole of the Gamma function and t + 1 is not a pole, then t α = 0.

Definition 3.
For α > 0 and f defined on N a , the α-order Caputo fractional difference of f is defined by where t ∈ N a+N−α and N ∈ N is chosen so that 0 ≤ N − 1 < α < N. Lemma 2 ([14]). Assume that α > 0 and 0 ≤ N − 1 < α ≤ N. Then To investigate the solution of the boundary value problem (5) we need the following lemma involving a linear variant of the boundary value problem (5).
and h ∈ C N α−n,T+α × R, R , g ∈ C N α−n,T+α , R + be given. Then the problem has the unique solution where the functional O[h] and the constant Λ are defined by Proof. Using the fractional sum of order α : ∆ −α for (7), we obtain For the forward difference of order n : ∆ n for (13), we have Taking the sum: ∆ −1 to (14), we get Next, taking the sum of order n − 1 : ∆ −(n−1) to (15), we obtain Using the Caputo fractional differences of order β i for (16) Employing the conditions of (8), we have the system of n − 1 equations Using the fractional sum of order ∑ m i=1 θ i for (16), we have (21) and using the second condition of (9), we finally get Solving the system of Equations (E 1 ) − (E n ), we obtain where O[h], Λ are defined by (11), (12), respectively. Substituting the constants C 1 − C n into (17), we obtain (10). This completes the proof.

Main Results
The goal of this section is to show the existence results for the problem (5). To accomplish this, we denote C = C(N α−n,T+α , R), the Banach space of all functions u with the norm is defined by In addition, we define the operator F : C → C by where Λ is defined by (12) Clearly, the problem (5) has solutions if and only if the operator F has fixed points. The first show the existence and uniqueness of a solution to the problem (5) by using the Banach contraction principle. (H 1 ) there exist constants L 1 , L 2 > 0 such that for each t ∈ N α−n,T+α and u, v ∈ C (H 2 ) there exist constants 1 , 2 > 0 such that for each t ∈ N α−n,T+α and u, v ∈ C then the problem (5) has a unique solution on N α−n,T+α , where Proof. We shall show that F is a contraction. For any u, v ∈ C and for each t ∈ N α−n,T+α , we have Next, we consider the following (∆ ϑ C F u) and (∆ γ F u) as Similarly, we have Hence (31), (34) and (35) imply that Consequently, F is a contraction. Therefore, by the Banach fixed point theorem, we get that F has a fixed point which is a unique solution of the problem (5) on t ∈ N α−n,T+α .
In the second result, we deduce the existence of at least one solution of (5) by the following, the Schauder's fixed point theorem.

Lemma 5 ([30]
). If a set is closed and relatively compact then it is compact.

Lemma 6 ([31]
). (Schauder fixed point theorem) Let (D, d) be a complete metric space, U be a closed convex subset of D, and T : D → D be the map such that the set Tu : u ∈ U is relatively compact in D. Then the operator T has at least one fixed point u * ∈ U: Tu * = u * .
Proof. We divide the proof into three steps as follows.
Step I. Verify F map bounded sets into bounded sets in B R = {u ∈ C : u C ≤ R}. We consider Let max t∈N α−n,T+α |H(t, 0, 0)| = N and choose a constant Noting that and (F u)(t) Furthermore, we have and Hence (39)-(41) imply that So, F u C ≤ R. This implies that F is uniformly bounded.
Step II. Since F and H are continuous, the operator F is continuous on B R .
Step III. Examine F is equicontinuous on B R . For any > 0, there exists a positive constant ρ * = max{δ 1 , δ 2 , δ 3 , δ 4 } such that for t 1 , t 2 ∈ N α−n,T+α Furthermore, we have and Hence This implies that the set F (B R ) is an equicontinuous set. As a consequence of Steps I to III together with the Arzelá-Ascoli theorem, we find that F : C → C is completely continuous. By Schauder fixed point theorem, we can conclude that problem (5) has at least one solution. The proof is completed.

Conclusions
We study the existence and unique results of the solution for a separate nonlinear Caputo fractional sum-difference equation with fractional sum-difference boundary conditions. Some conditions are obtained when Banach contraction principle is used as a tool. In addition, the conditions for the case of at least one solution are obtained by using the Schauder fixed point theorem.