 Research
 Open Access
 Published:
A generalized Lyapunovtype inequality in the frame of conformable derivatives
Advances in Difference Equations volume 2017, Article number: 321 (2017)
Abstract
We prove a generalized Lyapunovtype inequality for a conformable boundary value problem (BVP) of order \(\alpha \in (1,2]\). Indeed, it is shown that if the boundary value problem
has a nontrivial solution, where r is a realvalued continuous function on \([c,d]\), then
Moreover, a Lyapunov type inequality of the form
is obtained for a sequential conformable BVP. Some examples are given and an application to conformable SturmLiouville eigenvalue problem is analyzed.
1 Background
In [1], it was proved that if the boundary value problem (BVP)
has a nontrivial solution, where r is a realvalued continuous function, then
Undoubtedly, the Lyapunov inequality (3) proves cooperative and supportive in differential equations. Indeed, it is frequently used to dominate certain quantities for the sake of proving qualitative properties of solutions for differential equations. The Lyapunov inequality has been extensively under consideration for integerorder differential equations. As fractional differential equations become of high interest due to their demonstrated applications [2], nevertheless, the last few years have witnessed the appearance of many papers which systematically studied the fractional analog of this inequality and other types of inequalities; we refer the reader to [3–11] for Lypanouv type and to [12] for Gronwall type. The newly defined conformable fractional calculus was initiated in [13] and studied later on by the current author in [14, 15], where many properties of conformable operators were introduced. However, the progress in this direction is still at its earliest stage [16–18]. In this paper, we prove a Lyapunovtype inequality for a conformable fractional BVP. Moreover, a Lyapunov type inequality is obtained for a sequential conformable BVP. Some examples are given and an application to conformable SturmLiouville eigenvalue problem is analyzed. The new obtained inequalities generalize the existing ones.
2 Preliminaries on conformable derivatives
This section is devoted to the presentation of some preliminaries about higher order fractional conformable derivatives developed in [14].
Definition 1
The (left) conformable fractional derivative starting from c of a function \(f:[c,\infty )\rightarrow \mathbb{R}\) of order \(0< \alpha \leq 1\) is defined by
In the case when \(c=0\), we write \(T_{\alpha }\). If \((T_{\alpha }^{c} g)(t)\) exists on \((c,d)\) then \((T_{\alpha }^{c} g)(c) = \lim_{t \rightarrow c^{+}}(T_{\alpha }^{c} g)(t)\).
Note that if g is differentiable then
Moreover, the conformable fractional integral of order \(0<\alpha \leq 1\) starting at \(c\geq 0\) is defined by \((I_{\alpha }^{c} g)(t)= \int_{c}^{t}g(x)(xc)^{\alpha 1}\,dx\) and following [13] by \((I_{\alpha }^{c} g)(t)=\int_{c}^{t}g(x)x^{\alpha 1}\,dx\).
In the case of higher order, the following definition becomes true.
Definition 2
([14])
Let \(n<\alpha \leq n+1 \) and set \(\gamma = \alpha n\). Then the conformable fractional derivative starting from c of a function \(g:[c,\infty )\rightarrow \mathbb{R}\) of order α, where \(g^{(n)}(t)\) exists, is defined by
In the case \(c=0\), we write \(\textbf{T}_{\alpha }\).
Note that if \(\alpha =n+1\) then \(\gamma =1\) and the fractional derivative of g becomes \(g^{(n+1)}(t)\). Also when \(n=0\) (or \(\alpha \in (0,1)\)) then \(\gamma =\alpha \) and the definition coincides with that in Definition 1. From (6), it is immediate that if \(n< \alpha \leq n+1\) then \(\gamma =\alpha n\) and if moreover, the \((n+1)\)th derivative (or the derivative of \(g^{(n)}\)) exists then we have
Lemma 1
([13])
Assume that \(g:[c,\infty )\rightarrow \mathbb{R}\) is continuous and \(0< \alpha \leq 1\). Then, for all \(t>c\), we have
In the case of higher order, the following definition is valid.
Definition 3
([14])
Let \(\alpha \in (n,n+1]\) and set \(\gamma = \alpha n\). Then the left conformable fractional integral starting at c of order α is defined by
Notice that if \(\alpha =n+1\) then \(\gamma =1\) and hence \((I_{\alpha } ^{c} g)(t)=(\textbf{I}_{n+1}^{c} g)(t)=\frac{1}{n!}\int_{c}^{t} (tx)^{n} g(x)\,dx\), which is the iterative integral of g, \(n+1\) times over \((c,t]\).
Recall that the left RiemannLiouville fractional integral of order \(\alpha >0\) starting from c is defined by
We see that \((I_{\alpha }^{c} g)(t)= ({}_{c}\textbf{I}^{\alpha }g)(t)\) for \(\alpha = n+1\), \(n=0,1,2,\ldots \) .
Example 1
In virtue of [14], we recall that \(({}_{c}\textbf{I}^{\alpha }(tc)^{\mu 1})(x) =\frac{\Gamma (\mu )}{\Gamma (\mu +\alpha)} (xc)^{\alpha +\mu 1}\), \(\alpha , \mu >0\). Indeed, if \(\mu \in \mathbb{R}\) such that \(\alpha +\mu n>0\) then the conformable fractional integral of \((tc)^{\mu }\) of order \(\alpha \in (n,n+1]\) is
The following is a generalization of Lemma 1.
Lemma 2
([14])
Assume that \(f:[c,\infty )\rightarrow \mathbb{R}\) such that \(g^{(n)}(t)\) is continuous and \(n< \alpha \leq n+1\). Then, for all \(t>c\), we have
Theorem 1
([14])
Let \(\alpha \in (n,n+1] \) and \(g:[c,\infty ) \rightarrow \mathbb{R}\) be \((n+1)\) times differentiable for \(t>c\). Then, for all \(t>c\), we have
Example 2
From [14], we recall that the solution of the following conformable fractional initial value problem:
is \(x(t)=x_{0} e^{\lambda \frac{(tc)^{\alpha }}{\alpha }}\).
The following example shows why it is useful to work in conformable differential systems.
Example 3
Consider the following second order ordinary differential equation:
where \(y(t)\) is assumed to have second order continuous derivative. In view of (13), one can figure out that it is not easy to solve it using standard methods. However, equation (13) is rewritten in the form of the sequential (local) conformable differential equation as
where \(y^{(2\alpha )}=t^{1\alpha }(t^{1\alpha }y^{\prime })^{\prime }= t^{1\alpha }[t^{1\alpha }y^{\prime \prime }+(1\alpha )t^{ \alpha }y^{\prime }]\) such that \(y^{(2\alpha )}\) stands for \((T_{\alpha }^{0} T_{\alpha }^{0} y)(t)\) and \(T_{\alpha }^{0} \) is defined in (5). By using the operator method, we may write (14) in the form
The solution of the above equation has the form
For \(\alpha = \frac{1}{2}\), (13) reduces to \(ty^{\prime \prime }+ (\frac{1}{2}2\sqrt{t})y^{\prime }3y=0\), which by the above arguments has a solution \(y(t)=c_{1}e^{6 \sqrt{t}}+c_{2} e^{ 2 \sqrt{t}}\). It is worth mentioning that, for \(\alpha =1\), the solution \(y(t)=c_{1}e^{3t}+c_{2} e^{t}\) of the ordinary differential equation \(y^{\prime \prime }2y^{\prime }3y=0\) is verified.
3 A Lyapunovtype inequality for a conformable BVP
Consider the following (local) conformable BVP:
Lemma 3
\(x(t)\) is a solution of the BVP (15) if and only if it satisfies the integral equation
where H is the Green function for (15) defined by
Proof
Applying the integral \(I_{\alpha }^{c}\) to (15) and making use of Definition 3 and Theorem 1 with \(n=1\) and \(\gamma =\alpha 1\), we obtain
The condition \(x(c)=0\) implies that \(c_{1}=0\) and the condition \(x(d)=0\) implies that \(c_{2}=\frac{1}{dc} \int_{c}^{d} (ds)r(s)x(s) (sc)^{\alpha 2}\,ds\) and hence
Then, using
the proof is concluded. □
Lemma 4
The Green function H defined above has the following properties:

(i)
\(H(t,s)\geq 0\) for all \(c\leq t,s \leq d\).

(ii)
\(\max_{t \in [c,d]} H(t,s)=H(s,s)\) for \(s \in [c,d]\).

(iii)
\(H(s,s)\) has a unique maximum, given by
$$ \max_{s \in [c,d]} H(s,s)= H \biggl(\frac{c+(\alpha 1)d}{\alpha }, \frac{c+( \alpha 1)d}{\alpha } \biggr)=\frac{(dc)^{\alpha 1}(\alpha 1)^{\alpha 1}}{\alpha^{\alpha }}. $$
Proof
Define the functions \(h_{1}(t,s)=\frac{(tc) (ds)}{dc}\cdot (sc)^{ \alpha 2}\) and \(h_{2}(t,s)= ( \frac{(tc) (ds)}{dc}(ts) )\cdot (sc)^{ \alpha 2}\).

(i)
It is clear that \(h_{1}\geq 0\). To determine the sign of \(h_{2}\), we observe that \((ts)=\frac{tc}{dc} (d (c+ \frac{(sc)(dc)}{(tc)}) )\) and that \(c+\frac{(sc)(dc)}{(tc)} \geq s\) if and only if \(s\geq c\). Together with \((sc)^{ \alpha 2} \geq 0 \) we conclude that \(h_{2}\geq 0\) as well. Hence, the proof of the first part is complete.

(ii)
It is clear that \(h_{1}(t,s)\) is an increasing function in t. Differentiating \(h_{2}\) with respect to t for every fixed s and following similar analysis as in first part we conclude that \(h_{2}\) is a decreasing function.

(iii)
Let \(g(s)=H(s,s)=\frac{(sc)^{\alpha 1}(ds)}{dc}\). Then it is sufficient to show that \(g^{\prime }(s)=0\) if \(s=\frac{c+( \alpha 1)d}{\alpha }\) and hence the proof is completed.
□
Theorem 2
If the BVP (15) has a nontrivial solution, where r is a realvalued continuous function on \([c,d]\), then
Proof
Let \(x \in Y=C[c,d]\) be a nontrivial solution of the BVP (15), where \(\Vert x \Vert = \sup_{t \in [c,d]}\vert x(t) \vert \). By Lemma 3, x must satisfy
Therefore
or
By using the properties of the Green function H proved in Lemma 4, we end up with
Inequality (17) is an immediate conclusion of (18). □
Remark 1
If \(\alpha =2\), then (17) reduces to the classical Lyapunov inequality (3). We also invite the reader to compare the obtained generalized Lyapunov inequality in Theorem 2 and the one obtained recently and independently in [19]. The approach in [19] is different and the authors there proved the existence of solution in the space \(AC^{2}[c,d]=\{u \in C^{1}[c,d]: u^{\prime }\in AC[c,d]\}\). Further, we see that our obtained inequality provides, for example when applied to the SturmLiouville eigenvalue problem, sharper lower estimate for the eigenvalues. Indeed, in Section 5 we can see that the lower estimate \(\frac{\alpha^{\alpha }}{(\alpha 1)^{\alpha 1}}\) is bigger than \(4 (\alpha 1)\) for \(1<\alpha \leq 2\). This is due to the observation that \(( \frac{\alpha }{\alpha 1} ) ^{\alpha }\geq 4\), for \(1<\alpha \leq 2\). Further, for convenience, in the next section we prove a sequential type Lyapunov inequality version as well.
4 A Lyapunovtype inequality for a sequential conformable BVP
Consider the following sequential conformable BVP:
We shall prove a Lyapunov inequality for (19).
Lemma 5
\(x(t)\) is a solution of the BVP (19) if and only if it satisfies the integral equation
where G is the Green function of (19) defined by
such that
and
Proof
Applying the integral \(I_{\alpha }^{c}\) twice to (19) and using Definition 3, we get
The condition \(x(c)=0\) implies that \(c_{1}=0\) and the condition \(x(d)=0\) implies that \(c_{2}=\frac{\alpha }{(dc)^{\alpha }} \int_{c} ^{d} r(s)x(s) (sc)^{\alpha 1} [ \frac{(dc)^{\alpha }}{\alpha }\frac{(sc)^{ \alpha }}{\alpha } ]\,ds\) and hence
Finally, the proof is concluded by splitting the first integral in (21) to
□
Lemma 6
The Green function G defined above has the following properties:

(i)
\(G(t,s)\geq 0\) for all \(c\leq t,s \leq d\).

(ii)
\(\max_{t \in [c,d]} G(t,s)=G(s,s)\) for \(s \in [c,d]\).

(iii)
\(f(s)=G(s,s)\) has a unique maximum, given by
$$\begin{aligned} \max_{s \in [c,d]} G(s,s) &= G\bigl(\Lambda (c,d,\alpha ),\Lambda (c,d, \alpha )\bigr) \\ & = \frac{(dc)^{2\alpha 1}}{3\alpha 1} \biggl( \frac{2\alpha 1}{3 \alpha 1} \biggr) ^{\frac{2\alpha 1}{\alpha }}, \end{aligned}$$where
$$ \Lambda (c,d,\alpha )=c+ (dc) \biggl[ \frac{(2\alpha 1)}{(3\alpha 1)} \biggr] ^{\frac{1}{\alpha }}. $$
Proof
Define the two functions \(g_{1}\) and \(g_{2}\) as in Lemma 5.

(i)
The proof follows by noting that the function \(g_{1}\geq 0\) since \(g_{1}(t,s)\) is decreasing in t for any s and \(g_{1}(d,s)=0\) for any s. Also, \(g_{2}\geq 0\) since \(g_{2}(t,s)\) is increasing in t for any s and \(g_{2}(c,s)= 0\) for any s.

(ii)
The proof of this part follows by noting that the function \(g_{1}(t,s)\) is decreasing in t for any s and that \(g_{2}(t,s)\) is increasing in t for any s by realizing that \(( 1\frac{(sc)^{ \alpha }}{(dc)^{\alpha }} ) \geq 0\) for all s.

(iii)
Let \(f(s)=G(s,s)=(sc)^{\alpha 1} [ \frac{(sc)^{ \alpha }}{\alpha }\frac{(tc)^{\alpha }(sc)^{\alpha }}{\alpha (dc)^{ \alpha }} ] \). Then one can show that \(f^{\prime }(s)=0\) if \(s=\Lambda (c,d,\alpha )\) and hence the proof is concluded.
□
Theorem 3
If the BVP (19) has a nontrivial solution, where r is a realvalued continuous function on \([c,d]\), then
Proof
Let \(x \in X=C[c,d]\) be a nontrivial solution of the BVP (19) where \(\Vert x \Vert = \sup_{t \in [c,d]}\vert x(t) \vert \). By Lemma 5, x must satisfy
Taking the norm leads to
or equivalently
By using the properties of the Green function \(G(t,s)\) given in Lemma 6, we come to the conclusion that
from which (23) follows. □
Remark 2
Since \(G(\Lambda (c,d,\alpha ),\Lambda (c,d,\alpha ))\) tends to \(\frac{dc}{4}\) as \(\alpha \rightarrow 1\) then the classical Lyapunov inequality (3) is obtained again: \(\alpha \rightarrow 1\). In this case, one may also deduce that \(x^{(2\alpha )}(t) \rightarrow x^{\prime \prime }(t)\) as \(\alpha \rightarrow 1\).
5 Application
Consider the following conformable SturmLiouville eigenvalue problem of order \(\alpha \in (1,2]\).
If λ is an eigenvalue of (24), then by Theorem 2, we must have \(\vert \lambda \vert > \frac{\alpha^{\alpha }}{(\alpha 1)^{\alpha 1}}\). If x is twice differentiable, then by means of (5), equation (24) is equivalent to
which can be considered as a type of generalized SturmLiouville eigenvalue problem. It is not easy to find the eigenvalues and eigenfunctions of this problem. However, if we consider the sequential conformable SturmLiouville eigenvalue problem
then by using the operator method its solution is given by
The boundary conditions imply that the eigenvalues are \(\lambda = n \alpha \pi \), \(n \in \mathbb{Z}\) and the correspondent eigenfunctions are \(\sin \lambda \frac{t^{\alpha }}{\alpha }\). Notice that, for any \(n \in \mathbb{Z}\), we have
This is a direct verification of Theorem 3.
References
Lyapunov, AM: Problème général de la stabilité du mouvement. Ann. Fac. Sci. Univ. Toulouse (2) 9, 203469 (1907). Reprinted in Ann. Math. Stud., vol. 17, Princeton University Press, Princeton (1947)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Abdeljawad, T: A Lyapunov type inequality for fractional operators with nonsingular MittagLeffler kernel. J. Inequal. Appl. 2017, Article ID 130 (2017). doi:10.1186/s1366001714005
Agarwal, RP, Özbekler, A: Lyapunov inequalities for even order differential equations with mixed nonlinearities. J. Inequal. Appl. 2015, Article ID 142 (2015)
Hashizume, M: Minimization problem related to a Lyapunov inequality. J. Math. Anal. Appl. 432(1), 517530 (2015)
Jleli, M, Ragoub, L, Samet, B: A Lyapunovtype inequality for a fractional differential equation under a Robin boundary condition. J. Funct. Spaces 2015, Article ID 468536 (2015)
Jleli, M, Samet, B: Lyapunovtype inequalities for a fractional differential equation with mixed boundary conditions. Math. Inequal. Appl. 18(2), 443451 (2015)
Jleli, M, Samet, B: Lyapunovtype inequalities for fractional boundary value problems. Electron. J. Differ. Equ. 2015, Article ID 88 (2015)
O’Regan, D, Samet, B: Lyapunovtype inequalities for a class of fractional differential equations. J. Inequal. Appl. 2015, Article ID 247 (2015)
Rong, J, Bai, C: Lyapunovtype inequality for a fractional differential equation with fractional boundary conditions. Adv. Differ. Equ. 2015, Article ID 82 (2015)
Chdouh, A, Torres, DFM: A generalized Lyapunov’s inequality for a fractional boundary value problem. J. Comput. Appl. Math. 312, 192197 (2017)
Fečkan, M, Pospíšil, M: Note on fractional difference Gronwall inequalities. Electron. J. Qual. Theory Differ. Equ. 2014, Article ID 44 (2014)
Khalil, R, Al Horani, M, Yousef, A, Sababheh, M: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 6570 (2014)
Abdeljawad, T: On conformable fractional calculus. J. Comput. Appl. Math. 279(1), 5766 (2015)
Abdeljawad, T, Al Horani, M, Khalil, R: Conformable fractional semigroup operators. J. Semigroup Theory Appl. 2015, Article ID 7 (2015)
Abu Hammad, M, Khalil, R: Abel’s formula and Wronskian for conformable fractional differential equations. Int. J. Differ. Equ. Appl. 13(3), 177183 (2014)
Anderson, DR, Ulness, DJ: Newly defined conformable derivatives. Adv. Dyn. Syst. Appl. 10(2), 109137 (2015)
Pospis̃il, M, S̃kripkova, LP: Sturm’s theorems for conformable fractional differential equations. Math. Commun. 21, 273281 (2016)
Khaldi, R, GuezaneLakoud, A: Lyapunov inequality for a boundary value problem involving conformable derivative. Prog. Fract. Differ. Appl. 3(4), 323329 (2017). doi:10.18576/pfda
Acknowledgements
The first and the second author would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RGDES20170117.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Abdeljawad, T., Alzabut, J. & Jarad, F. A generalized Lyapunovtype inequality in the frame of conformable derivatives. Adv Differ Equ 2017, 321 (2017). https://doi.org/10.1186/s136620171383z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136620171383z
MSC
 34A08
 26D15
Keywords
 Lyapunov inequality
 conformable derivative
 Green’s function
 boundary value problem
 SturmLiouville eigenvalue problem