- Research
- Open Access
- Published:

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

*Journal of Inequalities and Applications*
**volume 2020**, Article number: 86 (2020)

## Abstract

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 \(\delta ^{r}\) and \((\delta ')^{r}\) for any \(r\in \mathbb{R}\) with conformable derivative were found. On the other hand, in [10–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–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)

has a nontrival solution, then

where \(q:[a,b]\rightarrow \mathbb{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–19, 21–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_{p(t)}^{a}\) defined in Sect. 2 is the conformable variable-order fractional derivative, \(p:[a,b]\rightarrow (1,2]\) is a continuous function, and \(\varphi: [a,b]\times \mathbb{R}\rightarrow \mathbb{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.

### Definition 2.1

([32])

The (left) conformable variable-order fractional derivative starting from *a* of a function \(f:[a,\infty )\rightarrow \mathbb{R}\) of order \(p:[a,\infty )\rightarrow (0,1]\) is defined by

when \(a=0\), we write \(T_{p(t)}\). If \((T_{p(t)}^{a}f)(t)\) exists on \((a,\infty )\), then \((T_{p(t)}^{a}f)(a)=\lim_{t\rightarrow a^{+}}(T_{p(t)}^{a}f)(t)\).

### Remark 2.1

([32])

If the fractional derivative of *f* of order \(p(t)\in (0,1]\) for all \(t\in [a,\infty )\) exists, then we simply say that *f* is \(p(t)\)-differentiable.

### Lemma 2.1

([32])

*Let*\(p:[a,\infty )\rightarrow (0,1]\). *If a function*\(f:[a,\infty )\rightarrow \mathbb{R}\)*is*\(p(t)\)- *differentiable at*\(t_{0}>a\), *then**f**is continuous at*\(t_{0}\).

### Lemma 2.2

([32])

*Let*\(p:[a,\infty )\rightarrow (0,1]\). *If**f**is differentiable at a point*\(t>a\), *then*\((T_{p(t)}^{a}f)(t)=(t-a)^{1-p(t)}f'(t)\).

In the higher-order case, we can generalize to the following:

### Definition 2.2

Let \(p:[a,\infty )\rightarrow (n,n+1]\) and \(q(t)=p(t)-n\). Then the (left) conformable variable-order derivative starting from *a* of a function \(f:[a,\infty )\rightarrow \mathbb{R}\) of order \(p(t)\), where \(f^{(n)}(t)\) exists, is defined by

when \(a=0\), we write \(T_{p(t)}\). If \((T_{p(t)}^{a}f)(t)\) exists on \((a,\infty )\), then \((T_{p(t)}^{a}f)(a)=\lim_{t\rightarrow a^{+}}(T_{p(t)}^{a}f)(t)\).

Note that if \(p(t)=\alpha \), where \(\alpha \in (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)\leq 1\)), then \(q(t)=p(t)\) and the definition coincides with Definition 2.1.

### Remark 2.2

If \(n< p(t)\leq n+1\), \(q(t)=p(t)-n\), and \(f^{(n+1)}(t)\) exists, then we have

### Lemma 2.3

*Let*\(p:[a,b]\rightarrow (1,2]\). *If a function*\(f\in C^{1}[a,b]\cap C^{2}(a,b)\)*attains a global minimum* (*respectively maximum*) *at some point*\(\xi \in (a,b)\), *then*\((T_{p(t)}^{a}f)(\xi )\geq 0\) (*respectively*\((T_{p(t)}^{a}f)(\xi )\leq 0\)).

### Proof

Since \(f\in C^{2}(a,b)\) attains a global minimum at \(\xi \in (a,b)\), we have

According to Remark 2.2, we have

□

### Lemma 2.4

*If both*\(p:[a,b]\rightarrow (1,2]\)*and*\(h:[a,b]\rightarrow \mathbb{R}\)*are continuous functions*, *then*

### Proof

Since

where \(\|h\|=\max_{s\in [a,b]}|h(s)|\), we just need to demonstrate \(\int _{a}^{b}(s-a)^{p(s)-2}\,ds<\infty \).

Because \(p:[a,b]\rightarrow (1,2]\) is a continuous function, then there exist two constants \(p_{1}\), \(p_{2}\in (1,2]\) such that

Therefore, if \(0< s-a<1\), then

if \(s-a=1\), then

if \(s-a>1\), then

In conclusion, \(|\int _{a}^{b}(s-a)^{p(s)-2}h(s)\,ds |<\infty \). □

### Lemma 2.5

*Assume that*\(h\in C[a,b]\)*and*\(p:[a,b]\rightarrow (1,2]\)*is a continuous function*. *A function*\(x\in C^{1}[a,b]\cap C^{2}(a,b)\)*is a solution of the following BVP with conformable variable*-*order derivative*:

*if and only if it satisfies the integral equation*

*where**H**is the Green function given by*

### Proof

If \(x\in C^{1}[a,b]\cap C^{2}(a,b)\) 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 second-order 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*:

- (i)
\(H(t,s)\geq 0\)

*for all*\(s,t\in [a,b]\); - (ii)
\(\max_{t\in [a,b]}H(t,s)=H(s,s)\)

*for any*\(a\leq s\leq b\); - (iii)
*There exists a point*\(s^{\ast }\in (a,b)\)*such that*\(H(s^{\ast },s^{\ast })=\max_{s\in [a,b]}H(s,s)\).*In particular*,*if*\(p'(t)\)*exists*,*then*\(s^{\ast }\)*is the solution of equation*\(p'(s)\ln (s-a)+\frac{p(s)-1}{s-a}=\frac{1}{b-s}\).

### Proof

(i) It is clear that \(H(t,s)\geq 0\) for all \(s,t\in [a,b]\).

(ii) Set

and

For every fixed *s*, \(h_{1}(t,s)\) is a decreasing function in *t* and \(h_{2}(t,s)\) is an increasing function in *t*. Hence, \(\max_{t\in [a,b]}H(t,s)=H(s,s)\) for any \(a\leq s\leq b\).

(iii) Let \(g(s)=H(s,s)=\frac{(b-s)(s-a)^{p(s)-1}}{b-a}\), then \(g(s)\geq 0\). Since \(g(s)\in C[a,b]\) and \(g(a)=g(b)=0\), we conclude that there must exist a point \(s^{\ast }\in (a,b)\) such that the maximum of function \(g(s)\) is achieved at \(s^{\ast }\), denoted as \(H(s^{\ast },s^{\ast })=\max_{s\in [a,b]}H(s,s)\). If \(p'(t)\) exists, then \(g'(s)=\frac{(s-a)^{p(s)-1}}{b-a} [(b-s) (p'(s)\ln (s-a)+ \frac{p(s)-1}{s-a} )-1 ]\). From \(g'(s^{\ast })=0\), we conclude that \(p'(s^{\ast })\ln (s^{\ast }-a)+\frac{p(s^{\ast })-1}{s^{\ast }-a}= \frac{1}{b-s^{\ast }}\). □

## 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 \(\underline{u}\in C^{1}[a,b]\cap C^{2}(a,b)\) is said to be a lower solution of BVP (1.3) if we have

Similarly, a function \(\overline{u}(t)\in C^{1}[a,b]\cap C^{2}(a,b)\) is said to be an upper solution of BVP (1.3) if we have

### Theorem 3.1

*Assume that the following hypotheses hold*:

- (i)
\(\underline{u}\)

*and**u̅**are lower and upper solutions of BVP*(1.3),*respectively*,*such that*\(\underline{u}\leq \overline{u}\), - (ii)
*Define*\(E=\{(t,y)| (t,y)\in [a,b]\times \mathbb{R}, \underline{u}\leq y\leq \overline{u}\}\),*and assume*\(\varphi (t,y)\)*is continuous on**E*.

*Then BVP* (1.3) *has at least one solution*\(x\in C^{1}[a,b]\cap C^{2}(a,b)\)*such that*

### Proof

Consider the following modified problem:

where \(\phi (t,y)\) is given by

Since \(\varphi (t,y)\) is continuous on *E*, from the definition of *ϕ*, we deduce that \(\phi (t,y)\) is continuous on \([a,b]\times \mathbb{R}\) and there exists \(M=\max_{(t,x)\in E}|\varphi (t,x)|\) such that

According to Lemma 2.5, the modified BVP (3.1) is transformed into a fixed-point problem. Consider the operator \(A:C[a,b]\rightarrow C[a,b]\) defined by

Set \(\delta =(M+1)(b-a)H(s^{\ast },s^{\ast })\), where \(H(s^{\ast },s^{\ast })\) is given by Lemma 2.6, and \(\varOmega =\{y\in C[a,b]:\|y\|\leq \delta \}\). Clearly, *Ω* is a closed, bounded, and convex subset of \(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}\in \varOmega \) such that \(x_{n}\rightarrow x\) in *Ω*. Then

Since *ϕ* is a continuous function, we have

*Step* 2. \(A(\varOmega )\)*is uniformly bounded.* For any \(x\in \varOmega \), using Lemma 2.6 and (3.2), we get

Therefore, \(A(\varOmega )\) is uniformly bounded and \(A(\varOmega )\subset \varOmega \).

*Step* 3. \(A(\varOmega )\)*is equicontinuous.* Consider arbitrary \(t_{1},t_{2}\in [a,b], x\in \varOmega \), and, without loss of generality, let \(t_{1}< t_{2}\). Then

when \(t_{1}\rightarrow t_{2}\).

As a consequence of Steps 1–3, together with the Arzela–Ascoli theorem, we can conclude that \(A: \varOmega \rightarrow \varOmega \) is completely continuous. From the Schauder’s fixed-point theorem, we deduce that *A* has a fixed point \(x\in \varOmega \) 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(t)=x(t)-\underline{u}(t)\), then there exists \(t_{0}\in [a,b]\) such that

We conclude that \(x(t_{0})<\underline{u}(t_{0})\). Then we distinguish the following cases.

*Case* 1. If \(t_{0}\in (a,b)\), then \(T_{p(t)}^{a}v(t_{0})\geq 0\) is obtained from Lemma 2.3. Using the fact that \(\underline{u}\) is a lower solution of BVP (1.3) and *x* is a solution of BVP (3.1), we get

which is a contradiction to \(T_{p(t)}^{a}v(t_{0})\geq 0\).

*Case* 2. If \(t_{0}=a\), since \(x(a)=0\), we get

On the other hand, \(\underline{u}(a)\leq 0\) thanks to the fact that \(\underline{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)\leq \overline{u}(t), a< t< b\). This shows that the modified BVP (3.1) has a solution \(x\in C^{1}[a,b]\cap C^{2}(a,b)\) satisfying \(\underline{u}(t)\leq x(t)\leq \overline{u}(t)\) which is solution of BVP (1.3). The proof is completed. □

### Example 3.1

Consider the following fractional boundary value problem:

It can be easily seen that \(\underline{u}=0\) is a lower solution of BVP (3.3) and \(\overline{u}=2\) is an upper solution of BVP (3.3). According to Theorem 3.1, BVP (3.3) has at least one solution \(x\in C^{1}[0,1]\cap C^{2}(0,1)\) such that \(0\leq x(t)\leq 2\).

## Lyapunov-type inequality

Letting \(\varphi (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:\mathbb{R}\rightarrow \mathbb{R}\) is continuous and monotone,

- (ii)
\(q(t)\in C[a,b]\).

### Theorem 4.1

*If*\(x(t)\in C^{1}[a,b]\cap C^{2}(a,b)\)*is a nontrivial solution of BVP* (4.1), *then*

*where*\(\eta =\|x\|=\max_{t\in [a,b]}|x(t)|\), \(\gamma =\min_{t\in [a,b]}x(t)\), *and*\(H(s^{\ast },s^{\ast })\)*is given by Lemma *2.6.

### Proof

According to Lemma 2.5, if \(x(t)\in C^{1}[a,b]\cap C^{2}(a,b)\) 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. □

### Example 4.1

Consider Example 3.1 with \(p(t)=\frac{t+3}{2}\), then \(H(s,s)=(1-s)s^{\frac{s+1}{2}}\). We can calculate \(H(s^{\ast },s^{\ast })=\max_{s\in [a,b]}H(s,s)\approx 0.320573\) when \(s^{\ast }\approx 0.324077\). According to Example 3.1, BVP (3.3) has at least one solution \(0\leq x(t)\leq 2\). Since \(f(x)=\ln (1+x)\) is continuous and increasing on \([0,2]\), and, in addition, \(q(t)=-t\in C[0,1]\) satisfies the conditions of Theorem 4.1, we obtain

On the other hand, \(\int _{0}^{1}|-t|\,dt=0.5<3.11941\). Hence, by Theorem 4.1, \(x(t)\equiv 0\) is the only solution of Example 3.1 with \(p(t)=\frac{t+3}{2}\).

If \(f(x(t))=x(t)\), BVP (4.1) becomes

In this case, taking \(f(x(t))=x(t)\) in Theorem 4.1, we obtain the following result.

### Corollary 4.1

*If*\(x(t)\in C^{1}[a,b]\cap C^{2}(a,b)\)*is a nontrivial solution of BVP* (4.3), *then*

### Remark 4.1

If \(p(t)=\alpha \in (1,2]\), then \(H(s,s)=\frac{b-s}{b-a}(s-a)^{\alpha -1}\). Moreover, \(s^{\ast }=\frac{a+(\alpha -1)b}{\alpha }\) is such that \(H(s^{\ast },s^{\ast })= \frac{(\alpha -1)^{\alpha -1}(b-a)^{\alpha -1}}{\alpha ^{\alpha }}\). Thus inequality (4.4) reduces to the Lyapunov-type inequality in [24]. If \(p(t)=2\), inequality (4.4) reduces to the classical Lyapunov inequality (1.2).

Consider the following nonhomogeneous boundary value problem:

### Corollary 4.2

*If a solution of BVP* (4.5) *exists*, *and*

*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. □

In the end, we consider the following conformable eigenvalue problem:

### Corollary 4.3

*If**λ**is an eigenvalue of* (4.7), *then*

### Proof

If *λ* is an eigenvalue of (4.7),then there exists a nontrivial solution \(x=x_{\lambda }\) to (4.7). Using Corollary 4.1 with \(q(t)=\lambda \), we obtain

□

## 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)=\alpha \), 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.

## References

Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

Podlubny, I.: Fractional Differential Equations. Academic Press, London (1999)

Khalil, R., Al Horani, M., Yousef, A., Sababheh, M.: A new definition of fractional derivative. J. Comput. Appl. Math.

**264**, 65–70 (2014)Abdeljawad, T.: On conformable fractional calculus. J. Comput. Appl. Math.

**279**, 57–66 (2015)Zhao, D.Z., Luo, M.K.: General conformable fractional derivative and its physical interpretation. Calcolo

**54**(3), 903–917 (2017)Chung, W.S.: Fractional Newton mechanics with fractional conformable derivatives. J. Comput. Appl. Math.

**290**, 150–158 (2015)Eslami, M., Rezazadeh, H.: The first integral method for Wu–Zhang system with conformable time-fractional derivative. Calcolo

**53**(3), 475–485 (2016)Al-Rifae, M., Abdeljawad, T.: Fundamental results of conformable Sturm–Liouville eigenvalue problems. Complexity

**2017**, Article ID 3720471 (2017)Jarad, F., Adjabi, Y., Baleanu, D., Abdeljawad, T.: On defining the distributions \(\delta ^{r}\) and \((\delta ')^{r}\) by conformable derivatives. Adv. Differ. Equ.

**2018**, 407 (2018). https://doi.org/10.1186/s13662-018-1865-7Khaldi, R., Guezane-Lakoud, A.: Lyapunov inequality for a boundary value problem involving conformable derivative. Prog. Fract. Differ. Appl.

**3**(4), 323–329 (2017)Batarfi, H., Losada, J., Nieto, J.J., Shammakh, W.: Three-point boundary value problems for conformable fractional differential equations. J. Funct. Spaces

**2015**, Article ID706383 (2015)Bayour, B., Torres, D.F.M.: Existence of solution to a local fractional nonlinear differential equation. J. Comput. Appl. Math.

**312**, 127–133 (2017)Abdeljawad, T.: A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel. J. Inequal. Appl.

**2017**, 130 (2017)Nisar, K.S., Rahman, G., Mehrez, K.: Chebyshev type inequalities via generalized fractional conformable integrals. J. Inequal. Appl.

**2019**, 245 (2019)Nisar, K.S., Tassaddiq, A., Rahman, G., Khan, A.: Some inequalities via fractional conformable integral operators. J. Inequal. Appl.

**2019**, 217 (2019)Rahman, G., Ullah, Z., Khan, A., Set, E., Nisar, K.S.: Certain Chebyshev-type inequalities involving fractional conformable integral operators. Mathematics

**7**, 364 (2019). https://doi.org/10.3390/math7040364Ferreia, R.A.C.: A Lyapunov-type inequality for a fractional boundary value problem. Fract. Calc. Appl. Anal.

**16**(4), 978–984 (2013)Jleli, M., Ragoub, L., Samet, B.: A Lyapunov-type inequality for a fractional differential equation under a Robin boundary condition. J. Funct. Spaces

**2015**, Article ID 468536 (2015)Jleli, M., Samet, B.: Lyapunov-type inequalities for a fractional differential equation with mixed boundary conditions. Math. Inequal. Appl.

**18**(2), 443–451 (2015)Rahman, G., Nisar, K.S., Ghaffar, A., Qi, F.: Some inequalities of the Grüss type for conformable

*k*-fractional integral operators. RACSAM**114**, 9 (2020). https://doi.org/10.1007/s13398-019-00731-3Guezane-Lakoud, A., Khaldi, R., Torres, D.F.M.: Lyapunov-type inequality for a fractional boundary value problem with natural conditions. SeMA J.

**75**(1), 157–162 (2018)Jleli, M., Samet, B., Zhou, Y.: Lyapunov-type inequalities for nonlinear fractional differential equations and systems involving Caputo-type fractional derivatives. J. Inequal. Appl.

**2019**, 19 (2019)Al Arifi, N., Altun, I., Jleli, M., Lashin, A., Samet, B.: Lyapunov-type inequalities for a fractional

*p*-Laplacian equation. J. Inequal. Appl.**2016**, 189 (2016)Abdeliawad, T., Alzabut, J., Jarad, F.: A generalized Lyapunov-type inequality in the frame of conformable derivatives. Adv. Differ. Equ.

**2017**, 321 (2017). https://doi.org/10.1186/s13662-017-1383-zAbdeliawad, T., Agarwal, R.P., Alzabut, J., Jarad, F.: Lyapunov-type inequalities for mixed non-linear forced differential equations within conformable derivatives. J. Inequal. Appl.

**2018**, 143 (2018)Rahman, G., Abdeljawad, T., Khan, A., Nisar, K.S.: Some fractional proportional integral inequalities. J. Inequal. Appl.

**2019**, 244 (2019)Rahman, G., Abdeljawad, T., Jarad, F., Khan, A., Nisar, K.S.: Certain inequalities via generalized proportional Hadamard fractional integral operators. Adv. Differ. Equ.

**2019**, 454 (2019). https://doi.org/10.1186/s13662-019-2381-0Rahman, G., Khan, A., Abdeljawad, T., Nisar, K.S.: The Minkowski inequalities via generalized proportional fractional integral operators. Adv. Differ. Equ.

**2019**, 287 (2019). https://doi.org/10.1186/s13662-019-2229-7Khan, H., Abdeljawad, T., Tunc, C., Alkhazzan, A., Khan, A.: Minkowski’s inequality for the AB-fractional integral operator. J. Inequal. Appl.

**2019**, 96 (2019)Liapounoff, A.M.: Problème général de la stabilié du mouvement. Ann. Fac. Sci. Univ. Toulouse Sci. Math. Sci. Phys.

**2**, 203–474 (1907)Jonnalagadda, J.M., Basua, D., Satpathi, D.K.: Lyapunov-type inequality for an anti-periodic conformable boundary value problem. Kragujev. J. Math.

**45**(2), 289–298 (2021)Zhang, S.Q., Li, S.S., Hu, L.: The existence and uniqueness result of solutions to initial value problems of nonlinear diffusion equations involving with the conformable variable derivative. RACSAM

**113**, 1601–1623 (2019). https://doi.org/10.1007/s13398-018-0572-2

### Acknowledgements

The authors would like to thank the referees for the helpful suggestions.

### Availability of data and materials

Not applicable.

## Funding

This work is supported by the National Natural Science Foundation of China (No. 11671181).

## Author information

### Authors and Affiliations

### Contributions

All authors contributed equally in this work. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Wang, J., Zhang, S. The existence of solutions for nonlinear fractional boundary value problem and its Lyapunov-type inequality involving conformable variable-order derivative.
*J Inequal Appl* **2020, **86 (2020). https://doi.org/10.1186/s13660-020-02351-7

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-020-02351-7

### Keywords

- Lyapunov-type inequality
- Conformable variable-order derivative
- Green’s function
- Boundary value problem
- Upper and lower solutions’ method