Multiplicity result to a system of over-determined Fredholm fractional

<abstract><p>In present paper, several conditions ensuring existence of three distinct solutions of a system of over-determined Fredholm fractional integro-differential equations on time scales are derived. Variational methods are utilized in the proofs.</p></abstract>


Introduction
As we all know, the time scale theory can unify discrete and continuous analysis, the study of dynamic equations on time scales can unify the study of difference equations and differential equations At present, time scale theory and its application have attracted more and more attention [1][2][3]. On the other hand, fractional calculus is a generalization of integer calculus. In recent years, the theory and application of fractional calculus has become a hot field [4][5][6][7][8][9]. The continuous fractional calculus has been well developed [10][11][12]. However, the study of discrete fractional calculus [13][14][15][16] is more complicated than its continuous counterpart. Therefore, the study of fractional dynamic equations on time scales has important theoretical and practical value. The concept of fractional derivative of Riemann-Liouville type on time scales was introduced by N. Benkhettou, A. Hammoudi and D. F. M. Torres in [17]. What happened then was a craze for the studying of it, such as [18][19][20][21][22][23]. However, as far as we know, there is almost no research on fractional boundary value problems of fractions on time scales. Therefore, a substantive investigation of the subject seems promising.
Over-determined equations have always come in considerable problems from mathematical physics [24][25][26]. When we discuss the solution of over-determined linear systems, the least squares method is the most widely used [26][27][28].
Recently, the boundary value problem of second-order impulsive differential inclusion involving relativistic operator is studied in [29] by using non-smooth critical point theorem for locally Lipschitz functionals. The authors of [30] investigate a class of two-point boundary value problems whose highest-order term is a Caputo fractional derivative. The existence and multiplicity of positive solutions for a nonlinear fractional differential equation boundary value problem is established in [31] by the fixed-point index theory and the Leray-Schauder degree theory. In [32], a class of fuzzy differential equations with variable boundary value conditions is studied by applying the upper and lower solutions method and the monotone iterative technique. In [33], some existence results about first-order fuzzy differential equation with two-point boundary value condition are obtained by the upper and lower solutions method. In [34], some existence results about first-order fuzzy differential equation with twopoint boundary value condition are provided by using the contraction mapping principle in a complete metric space. Boundary value problems on time scales are investigated in [35][36][37][38][39].
Through literature search, we found that over-determined boundary value problems on time scales have not been studied yet, therefore, in this paper, we will study the following nonlinear system of overdetermined Fredholm fractional integro-differential equations on time scales with periodic boundary condition(FBVP T for short): R is a function that G(t, u 1 , . . . , u n ) is continuous with respect to t and continuously differentiable with respect to u i , i.e., G(·, u 1 , . . . , u N ) ∈ C([a, b] T ) and G(t, ·, . . . , ·) ∈ C 1 (R N ), ξ i (·, ·) ∈ C([a, b] T , [a, b] T ) and so the kernel ξ i is bounded by M i , G s denotes the partial ∆−derivative of G with respect to s, T t D α b and T a D α t are the right and the left Riemann−Liouville fractional derivative operators of order α defined on T respectively.
When T = R, FBVP T (1.1) reduces to the following standard nonlinear system of over-determined Fredholm fractional integro-differential equations which has been studied by E. Shivanian in [40].

Preliminaries
In this section, we briefly collect some notations, definitions, and some lemmas, propositions and theorems, which play an important role in the proof of our main results.
A time scale T is an arbitrary nonempty closed subset of the real set R with the topology and ordering inherited from R. Throughout this paper, we denote by T a time scale. We will use the following notations: [41] (Fractional integral on time scales) Suppose h is an integrable function on J. Let 0 < α ≤ 1. The left fractional integral of order α of h is defined by The right fractional integral of order α of h is defined by where Γ is the gamma function.
The right Riemann-Liouville fractional derivative of order α of h is defined by Theorem 2.1. [19] Let α > 0, p, q ≥ 1, and 1 p + 1 q ≤ 1 + α, where p 1 and q 1 in the case when then the following integration by parts formulas hold: Then, if f ∈ L p ∆ (J 0 ) and g ∈ L p ∆ (J 0 ), then f · g ∈ L 1 ∆ (J 0 ) and Definition 2.3. [43] Let 0 < α ≤ 1 and let 1 ≤ p < ∞. By left Sobolev space of order α we will mean the set W α,p ∆,a + = W α,p ∆,a + (J, R N ) given by Remark 2.1. [43] A function g given in Definition 2.3 will be called the weak left fractional derivative of order 0 < α ≤ 1 of u; let us denote it by T u α a + . Theorem 2.2. [43] If 0 < α ≤ 1 and 1 ≤ p < ∞, then the weak left fractional derivative T u α a + of a function u ∈ W α,p ∆,a + coincides with its left Riemann-Liouville fractional derivative T a D α t u ∆ − a.e. on J.
In such a case there exists the left Riemann-Liouville derivative T a D α t u of u and g = T a D α t u. Remark 2.2. [43] The function g will be called the weak left fractional derivative of u ∈ W α,p ∆,a + of order α. From the above theorem it follows that it coincides with an appropriate Riemann-Liouville derivative.
Theorem 2.7. [44] Let E be a reflexive real Banach space and Φ : E → R a sequentially weakly lower semicontinuous, coercive and continuously Gâteaux differentiable in which its Gâteaux derivative has a continuous inverse on E * . Furthermore, suppose that Ψ : E → R be a sequentially weakly upper semicontinuous and continuously Gâteaux differentiable functional in which its Gâteaux derivative is compact, such that Φ(0) = Ψ(0) = 0. Suppose also there exist r ∈ R and u 1 ∈ E with 0 < r < Φ(u 1 ), satisfying Therefore, for each η ∈ I r , the functional Φ − ηΨ admits at least three distinct critical points in E.
The equality (2.3) and inequality (2.4) yield that the norm defined by (2.3) is equivalent to the following norm which is induced by the following inner product In the following analysis, we will work with the norm given by (2.6). Now, let p = 2, define

Main result
In this section, we present and prove our main result as follows.
Moreover, suppose that there are a positive constant r and a function Z(t) = (z 1 (t), . . . , z N (t)) such that the following suppositions hold: Then FBVP T (1.1) has at least three distinct weak solutions in E, for those η s belong to the following interval (3.1) Proof. Theorem 2.7 will be the powerful tool for us to prove Theorem 3.1. It follows from the fact that W α i ,p ∆,a + is a reflexive and separable Banach space and that E = N i=1 W α i ,2 ∆,a + equipped with the norm u E is also a reflexive and separable Banach space. Next, for any given U = (u 1 (t), . . . , u N (t)) ∈ E, define Φ, Ψ : E → R as follows: and The functionals Φ and Ψ are well defined, Gâteaux differentiable and for all their Gâteaux derivatives are given as and respectively. In fact, Φ(U), Ψ(U) ∈ E * , where E * is dual space of E. It is easy to see that the functional Φ is sequentially weakly lower semicontinuous and its Gâteaux derivative admits a continuous inverse on E * . Besides, in view of (3.2), |ξ i (t, τ)| ≤ M i and by the definition of σ, one gets Because of σ > 0 and (S 1 ), so it follows from (3.6) that lim ,1 (t), . . . , u m,N (t)), then U m converges uniformly to U on J by Proposition 2.3. Therefore, we have which yields that Ψ is sequentially weakly upper semicontinuous. In addition, taking G(t, ·, . . . , ·) ∈ C 1 (R N ) into account, one obtains lim m→+∞ G(t, u m,1 (t), . . . , u m,N (t)) = G(t, u 1 (t), . . . , u N (t)), ∀t ∈ J.
Consequently, the Lebesgue control convergence theorem on time scales implies that Ψ (U m ) → Ψ (U) strongly, as a result, we conclude that Ψ is strongly continuous on E. Hence, Ψ : E → E * is a compact operator. Assume U 0 (t) = (0, . . . , 0) and U 1 (t) = Z(t), in consideration of (S 2 ) , one derives that It is obvious for us to deduce that Φ(U 0 (t)) = Ψ(U 0 (t)) = 0 by (3.2) and (3.3). Now, we are in a position to demonstrate that Φ and Ψ satisfy the conditions (H 1 ) and (H 2 ) of Theorem 2.7.
Since the weak solutions of FBVP T (1.1) are exactly the solutions of the equation Φ (U) − ηΨ (U) = 0, by Theorem 2.7, we conclude that for η ∈ I r , FBVP T (1.1) has at least three distinct points in E. The proof is complete.

Example
In order to illustrate our theoretical results, we give a example as follows.

Conclusions
In this work, several sufficient conditions ensuring the existence of three distinct solutions of a system of over-determined Fredholm fractional integro-differential equations on time scales are derived by variational methods, which shows that variational methods are powerful and effective methods for studying fractional boundary value problems on time scales.