The existence of solutions for nonlinear fractional boundary value problem and its Lyapunov-type inequality involving conformable variable-order derivative

We consider a nonlinear fractional boundary value problem involving conformable variable-order derivative with Dirichlet conditions. We prove the existence of solutions to the considered problem by using the upper and lower solutions’ method with Schauder’s fixed-point theorem. In addition, under some assumptions on the nonlinear term, a new Lyapunov-type inequality is given for the corresponding boundary value problem. The obtained inequality provides a necessary condition for the existence of nontrivial solutions to the considered problem and a method to prove uniqueness for the nonhomogeneous boundary value problem. These new results are illustrated through examples.


Introduction
Fractional calculus is considered to be an extremely powerful tool in describing complex systems due to applications, see [1,2]. This field has attracted many authors working on generalizations of existing results including definitions, theorems, models, and many more. The conventional fractional derivatives, such as Riemann-Liouville and Caputo, have found numerous applications in science and engineering on account of their nonlocality and heredity effects. However, the two typical fractional derivatives do not obey the product, quotient, and chain rules, which presents us with some difficulties and inconvenience in mathematical handling. To overcome these difficulties, an interesting new well-behaved fractional derivative, called the conformable derivative, was introduced in [3,4], where authors proved many similar properties as in the classical calculus. The conformable derivative is regarded as a natural extension of the classical derivative. Its physical interpretation given in [5] is a modification of the classical derivative in direction and magnitude, which indicates its potential applications in physics and engineering. Recently, there have been some works on conformable derivatives and their applications in various fields. In [6], the fractional Newtonian mechanics with conformable derivative was discussed. In [7], exact solutions of Wu-Zhang system with conformable time-fractional derivative were constructed. In [8], Sturm-Liouville eigenvalue problems in the framework of conformable derivative were studied. In [9], the distributions δ r and (δ ) r for any r ∈ R with conformable derivative were found. On the other hand, in [10][11][12], authors proved the existence of solutions to nonlinear conformable fractional differential equations by using some fixed-point theorems.
The classical inequalities and their applications play an essential role in the theory of differential equations and applied mathematics. A large number of generalizations of classical inequalities by means of fractional operators are established in [9,10,[13][14][15][16][17][18][19][20][21][22][23][24][25][26][27][28][29] and the references therein. The Lyapunov inequality was presented and proved by a Russian mathematician A.M. Lyapunov in [30], where he stated the fact that if the boundary value problem (BVP) where q : [a, b] → R is a continuous function. Generalizations of Lyapunov inequality (1.2) to fractional boundary value problems have been the interest of some researchers in the last few years due to their applications in the study of qualitative properties of solutions for differential equations (see, e.g., [10,[17][18][19][21][22][23][24][25] and the references therein). In [10], Khaldi et al. gave a Lyapunov inequality for a boundary value problem involving conformable derivative. In [24,25,31], some new Lyapunov-type inequalities related to conformable fractional derivative were presented. In [32], Zhang et al. defined a new conformable variable-order derivative. It was a generalization of the conformable constant-order derivative introduced in [3,4]. A few properties of conformable variable-order derivative were presented in [32]. However, the progress in this direction is still at its earliest stage. Motivated by the above cited excellent works, in this paper we prove the existence of solutions and give a new Lyapunov-type inequality for the following boundary value problem involving conformable variable-order derivative: where T a p(t) defined in Sect. 2 is the conformable variable-order fractional derivative, p : [a, b] → (1, 2] is a continuous function, and ϕ : [a, b] × R → R is a given function. The paper is organized as follows. In Sect. 2, we recall some basic definitions on conformable variable-order derivative, define its higher-order analogue, and establish some preliminary results. In Sect. 3, we prove the existence of solutions to BVP (1.3) by using the lower and upper solutions' method with Schauder's fixed-point theorem. In Sect. 4, under some assumptions on the nonlinear term, a new Lyapunov-type inequality is given and some special cases are discussed.

Preliminaries
In this section, we give several definitions related to conformable variable-order fractional derivatives which can be found in [19]. Furthermore, conformable higher variable-order derivative is defined and some basic results are presented.
exists, then we simply say that f is p(t)-differentiable.
In the higher-order case, we can generalize to the following: Note that if p(t) = α, where α ∈ (n, n + 1] is a constant, then the definition of conformable variable-order derivative coincides with the definition in [4]. Also when n = 0 (or 0 < p(t) ≤ 1), then q(t) = p(t) and the definition coincides with Definition 2.1. .
According to Remark 2.2, we have is a continuous function, then there exist two constants p 1 , ) is a solution of the following BVP with conformable variableorder derivative: if and only if it satisfies the integral equation

4)
where H is the Green function given by ) is a solution of BVP (2.3), then using Remark 2.2, we have Integrating twice both sides of equation (2.6) and taking into account the boundary condition x(a) = x(b) = 0, we obtain On the other hand, if using the branches of (2.5), we have Checking the boundary value conditions, we see that x(a) = 0, x(b) = 0. Taking secondorder derivative yields According to Remark 2.2, which is what we set out to prove.

Lemma 2.6
The Green function H given by (2.5) has the following properties: (ii) Set For every fixed s, h 1 (t, s) is a decreasing function in

Existence of solutions
In the section, our aim is to prove the existence of solutions for BVP (1.3) by using the lower and upper solutions' method. Therefore, we need to give the definitions of lower and upper solutions of BVP (1.3) as follows.

Definition 3.1 A function
Proof Consider the following modified problem: where φ(t, y) is given by Since ϕ(t, y) is continuous on E, from the definition of φ, we deduce that φ(t, y) is continuous on [a, b] × R and there exists M = max (t,x)∈E |ϕ(t, x)| such that  C[a, b], and A maps Ω into Ω. We shall show that A satisfies the assumptions of Schauder's fixed-point theorem. The proof will be given in several steps.
Step 1. A is continuous. Indeed, consider any x n ∈ Ω such that x n → x in Ω. Then Since φ is a continuous function, we have Step 2. A(Ω) is uniformly bounded. For any x ∈ Ω, using Lemma 2.6 and (3.2), we get

Therefore, A(Ω) is uniformly bounded and A(Ω) ⊂ Ω.
Step 3. A(Ω) is equicontinuous. Consider arbitrary t 1 , t 2 ∈ [a, b], x ∈ Ω, and, without loss of generality, let t 1 < t 2 . Then As a consequence of Steps 1-3, together with the Arzela-Ascoli theorem, we can conclude that A : Ω → Ω is completely continuous. From the Schauder's fixed-point theorem, we deduce that A has a fixed point x ∈ Ω which is a solution of the modified BVP (3.1).
Step 4. The solution x of BVP (3.1) satisfies First, we prove that Assume on the contrary and set v( We conclude that x(t 0 ) < u(t 0 ). Then we distinguish the following cases. Case 1 . If t 0 ∈ (a, b), then T a p(t) v(t 0 ) ≥ 0 is obtained from Lemma 2.3. Using the fact that u is a lower solution of BVP (1.3) and x is a solution of BVP (3.1), we get On the other hand, u(a) ≤ 0 thanks to the fact that u is a lower solution of BVP (1.3). This is a contradiction.
Case 3. If t 0 = b, we obtain a contradiction as in the second case. Thus we have Analogously, we can prove that x(t) ≤ u(t), a < t < b. This shows that the modified BVP The proof is completed.
Example 3.1 Consider the following fractional boundary value problem:

Lyapunov-type inequality
Letting ϕ(t, x(t)) = q(t)f (x(t)), BVP (1.3) becomes Now we are ready to give a Lyapunov-type inequality of BVP (4.1) under the following assumptions: (i) The function f : R → R is continuous and monotone, C[a, b]. [a,b] x(t), and H(s * , s * ) is given by Lemma 2.6.
Proof According to Lemma 2.5, if ) is a solution of BVP (4.1), then Since x(t) is a nontrivial solution, taking the norm of x(t) and making use of the properties of Green function H(t, s) given by Lemma 2.6, we obtain that from which (4.2) follows. Then the proof is completed.
Consider the following nonhomogeneous boundary value problem: then BVP (4.5) has a unique solution.
Proof Assume that x 1 (t), x 2 (t) are both solutions of BVP (4.5), then x(t) = x 1 (t)x 2 (t) is a solution of the corresponding homogeneous BVP. According to (4.6) and Corollary 4.1, the corresponding homogeneous BVP has only zero solution. Therefore the nonhomogeneous BVP (4.5) has a unique solution.

Conclusions
In this paper, we have proved the existence of solutions to a nonlinear boundary value problem involving conformable variable-order derivative. We have also obtained a new Lyapunov-type inequality for the considered problem. The obtained inequality provides a necessary condition for the existence of nontrivial solutions and a method to prove uniqueness for the corresponding nonhomogeneous boundary value problem. We notice that when p(t) = 2, the obtained inequality reduces to the classical Lyapunov inequality and when p(t) = α, it reduces to the inequality in [24]. The new results generalize some existing results in the literature. We expect that the proposed approaches and the obtained results in this paper can be adapted to study other fractional boundary value problems.