A New Proof for Lyapunov-Type Inequality on the Fractional Boundary Value Problem

: In this article, some new Lyapunov-type inequalities for a class of fractional boundary value problems are established by use of the nonsymmetry property of Green’s function corresponding to appropriate boundary conditions.


Introduction
The study of the Lyapunov inequalities and its various generalizations has become a very popular topic in mathematics research. The recent growing interest in Lyapunov inequalities is mainly due to its close relation to the applications of differential operators such as asymptotic theory, eigenvalue problems, disconjugacy, stability criteria, and oscillation theory [1][2][3][4][5][6][7][8]. The study of Lyapunov inequalities initiated from the second order ordinary differential equations with Dirichlet conditions, and now great progress on the generalizations of the classical Lyapunov inequality has been made for various types of differential equations involving integer differential operator or fractional differential operator (see [9][10][11][12][13][14][15][16][17][18][19][20][21][22][23][24][25][26] for details). For example, the first Lyapunov-type inequality for a fractional differential operator was obtained by Ferreira [18] that if the Riemann-Liouville fractional boundary value problem ( In 2014, Ferreira [19] also derived a Lyapunov-type inequality for a boundary value problem depending on the Caputo operator as follows: The various analysis methods are devoted to the proofs of Lyapunov inequalities and Lyapunov-type inequalities. However, as Ref. [20] points out, the Green's function approach seems to be the only way to investigate Lyapunov-type inequalities for fractional boundary value problems. This method dates back to Nehari [8]. It depends on the construction of the Green's function of the fractional boundary value problem being considered and then finding the maximum of the corresponding Green's function. However, for higher-order fractional boundary value problems, the Green's function becomes complex, and it is difficult to find its maximum value.
In 2019, Dhar and Kelly [23] provided a non Green's function approach to show a Lyapunov-type inequality if Riemann-Liouville fractional boundary value problems has a nontrivial solution v(t) which satisfies Recently, Dhar and Kong [24] studied the Riemann-Liouville fractional boundary value problem Let p + (t) = max{p(t), 0}. They proved the following Lyapunov-type inequalities: if (6) has a nontrivial solution v(t) and v(t) does not have any zeros in (c, d).
In particular, Aktaş and Çakmak [9] considered third order differential equations (6) with β = 3 and proved if (6) has a nontrivial solution with β = 3. In 2016, Cabrera, Sadarangani, and Samet [26] investigated a class of nonlocal fractional boundary value problems where D β c + denotes the standard Riemann-Liouville fractional derivative of order β, c < ξ < d, 0 ≤ α(ξ − c) β−1 < (β − 1)(d − c) β−2 and obtained the following Hartman-Wintnertype inequalities: (11) and Lyapunov-type inequality We note that the two results (4) and (7) above required additional conditions (5) and (8), respectively. Motivated by the above works, we attempt to remove restriction (8) and develop a new method for proving Lyapunov-type inequality for Riemann-Liouville fractional boundary value problems (6) and (10). More precisely, we utilize the properties of Green's function to obtain some Lyapunov-type inequality for fractional boundary value problem (6) without restriction (8) and obtain a generalization of Lyapunov-type inequality for fractional boundary value problem (10). It should be noted that the Lyapunov-type inequality (2) for a fractional boundary value problem (1) can be obtained by a similar discussion used in this article. Hence, we provide another way to study the Lyapunov-type inequality for a variety of fractional boundary value problems.

Preliminaries
In this section, we introduce the basic results on fractional calculus theory.

Definition 1 ([25]
). The Riemann-Liouville fractional integral of order β > 0 for integrable function g defined on the interval [c, d] is defined by where Γ(β) denotes the Gamma function.

Definition 2 ([25]
). The Riemann-Liouville fractional derivative of order β > 0 for integrable function g defined on the interval [c, d] is given by where n − 1 ≤ β < n, provided that the right-hand side is pointwise defined on [c, d].
In the following, we need an integral representation of the solution to non-homogeneous fractional differential equations which appear in [26].
if and only if u satisfies the integral equation Lemma 3. The function G(t, s) defined above satisfies the following conditions: Proof. (i) and (ii) are taken from [26].
(iii) From the expression of function G, we obtain that, for c ≤ t, s ≤ d, (iv) Note that H(s) = G(s, s). Then, (iv) holds from part (i).
(v) It is sufficient to show that , and hence the proof is completed.

Main Results
Suppose that problem (10) has a nontrivial continuous solution, then

|v(t)|.
From Lemma 2, it follows that the solutions to fractional boundary value problem coincide with the fixed points of operator S, where the linear operator S : X → X is given by By Lemma 3 (iii), for u ∈ X, we have The above inequality yields that the linear operator S maps all elements in X into the following vector subspace: Obviously, X 1 is a subspace of X, and X 1 is an Banach space with the norm Thus, we suppose that v ∈ X 1 is a nontrivial solution of problem (10). Using Lemma 2, u must satisfy Making use of Lemma 3, for any t ∈ [c, d], we have Taking into account the definition of · 1 , we conclude that or, equivalently, This finishes the proof.
From the above argument, we know that the foremost Banach space used in Theorem 1 is X 1 , not X. If we consider fractional boundary value problem (10) in X by the use of the property of function G(t, s) (Lemma 3i), the following result holds as stated in [26].
In the following, we will show that inequality (15) improves inequality (16). With regard to this, we need to show that To evaluate this relation, it is convenient to adopt variable substitution. Therefore, we set s = c + t(d − c). Then, we have ds = (d − c)dt, and the substitution rule gives Thus, (17) holds, following from the fact that β ∈ (2, 3] and t ∈ [0, 1]. With the help of Lemma 3, we can obtain the following two Lyapunov-type inequalities. The first inequality follows from Theorem 1, while the second one follows from Theorem 2. (19) In particular, if α = 0, problem (10) is reduced to problem (6), inequalities (15) and (16) become (20) and

Conclusions
In this paper, we study some Lyapunov-type inequalities for fractional differential equations. We first transform the fractional differential equations (10) into an equivalent operator equation, and then construct the properties of Green's function corresponding to appropriate boundary conditions. Finally, some Lyapunov-type inequalities for (10) and (6) are obtained. It should be noted that the proof of Lyapunov-type inequalities does not depend on the maximum of Green's function of fractional differential equations (10).