Abstract
In this paper, we investigate the existence of positive solutions for the boundary value problem of nonlinear fractional differential equation with mixed fractional derivatives and p-Laplacian operator. Then we establish two smart generalizations of Lyapunov-type inequalities. Some applications are given to demonstrate the effectiveness of the new results.
Similar content being viewed by others
1 Introduction
Lyapunov’s inequality [1] has proved to be very useful in various problems related with differential equations; for examples, see [2, 3] and the references therein. Recently, many researchers have given some Lyapunov-type inequalities for different classes of fractional boundary value problems (see [4–10]). In [7], Ferreira investigated a Lyapunov-type inequality for the fractional boundary value problem
where \(D_{a^{+}}^{\alpha}\) is the Riemann-Liouville fractional derivative of order α, \(1 < \alpha\le2\), a and b are consecutive zeros, and q is a real and continuous function. It was proved that if (1.1) has a nontrivial solution, then
Obviously, if we set \(\alpha= 2\) in (1.2), one can obtain the classical Lyapunov inequality [1].
In [8], Jleli and Samet considered the fractional differential equation
with the mixed boundary conditions
or
where \(^{C} D_{a^{+}}^{\alpha}\) is the Caputo fractional derivative of order \(1 < \alpha\le2\). For boundary conditions (1.4) and (1.5), two Lyapunov-type inequalities were established, respectively, as follows:
and
Recently, we considered in [11] the same equation (1.3) with the fractional boundary condition
where \(0 < \beta\le1\).
In [12], Arifi et al. considered the following nonlinear fractional boundary value problem with p-Laplacian operator:
where \(2 < \alpha\le3\), \(1 < \beta\le2\), \(D_{a^{+}}^{\alpha}\), \(D_{a^{+}}^{\beta}\) are the Riemann-Liouville fractional derivative of orders α, β, \(\Phi_{p}(s) = \vert s \vert ^{p-2}s\), \(p > 1\), and \(\chi: [a, b] \to \mathbb{R}\) is a continuous function. It was proved that if (1.8) has a nontrivial continuous solution, then
More recently, Chidouh and Torres in [13] considered the following boundary value problem:
where \(D_{a^{+}}^{\alpha}\) is the Riemann-Liouville fractional derivative with \(1 < \alpha\le2\), and \(q: [a, b] \to\mathbb{R}_{+}\) is a nontrivial Lebesgue integrable function. Under the assumption that the nonlinear term \(f \in C(\mathbb{R}_{+}, \mathbb{R}_{+})\) is a concave and decreasing function, it was proved that if (1.10) has a nontrivial solution, then
where \(\eta= \max_{t \in[a, b]} y(t)\). Obviously, if we set \(f(y) = y\) in (1.11), one can obtain a Lyapunov inequality (1.2).
Motivated by the above work, in this paper, we consider the fractional boundary value problem
where \(1 < \alpha, \beta\leq2\), and \(k:[a , b]\rightarrow R\) is a continuous function. We write (1.12) as an equivalent integral equation and then, by using some properties of its Green function and the Guo-Krasnoselskii fixed point theorem, we can obtain our first result asserting existence of nontrivial positive solutions to problem (1.12). Then, under some assumptions on the nonlinear term f, we are able to get two corresponding Lyapunov-type inequalities. Finally in this paper, two corollaries and an example are given to demonstrate the effectiveness of the obtained results.
2 Preliminaries
In this section, we recall the definitions of the Riemann-Liouville fractional integral, fractional derivative, and the Caputo fractional derivative and give some lemmas which are useful in this article. For more details, we refer to [14, 15].
Definition 2.1
Let \(\alpha\geq0\) and f be a real function defined on \([a, b]\). The Riemann-Liouville fractional integral of order α is defined by \(_{a} I^{0} f \equiv f\) and
Definition 2.2
The Riemann-Liouville fractional derivative of order \(\alpha> 0\) of a function \(f: [a, b] \to\mathbb{R}\) is given by
where n is the smallest integer greater or equal to α and Γ denotes the Gamma function.
Definition 2.3
The Caputo derivative of fractional order \(\alpha\ge0\) is defined by \(^{C} D_{a^{+}}^{0} f \equiv f\) and
where n is the smallest integer greater or equal to α.
Lemma 2.1
Guo-Krasnoselskii fixed point theorem [16]
Let X be a Banach space and let \(P \subset X\) be a cone. Assume \(\Omega_{1}\) and \(\Omega_{2}\) are bounded open subsets of X with \(0 \in\Omega_{1} \subset\bar{\Omega}_{1} \subset\Omega_{2}\), and let \(T: P \cap(\bar{\Omega}_{2} \setminus\Omega _{1}) \to P\) be a completely continuous operator such that
-
(i)
\(\Vert Tu \Vert \ge \Vert u \Vert \) for any \(u \in P \cap\partial\Omega_{1}\) and \(\Vert Tu \Vert \le \Vert u \Vert \) for any \(u \in P \cap\partial\Omega_{2}\); or
-
(ii)
\(\Vert Tu \Vert \le \Vert u \Vert \) for any \(u \in P \cap\partial\Omega_{1}\) and \(\Vert Tu \Vert \ge \Vert u \Vert \) for any \(u \in P \cap\partial\Omega_{2}\).
Then T has a fixed point in \(P \cap(\bar{\Omega}_{2} \setminus\Omega _{1}) \).
Lemma 2.2
Jensen’s inequality [17]
Let ν be a positive measure and let Ω be a measurable set with \(\nu(\Omega)=1\). Let I be an interval and suppose that u is a real function in \(L(d \nu)\) with \(u(t) \in I\) for all \(t \in\Omega\). If f is convex on I, then
If f is concave on I, then the inequality (2.1) holds with ≤ substituted by ≥.
3 Main results
We begin to write problem (1.12) in its equivalent integral form.
Lemma 3.1
If \(u \in C[a, b]\), \(1 < \alpha, \beta\leq2\), \(p > 1\), and \(\frac{1}{p} + \frac{1}{q} = 1\). Then BVP (1.12) has a unique solution
where
and
Proof
Set \(\Phi_{p}(^{c} D_{a^{+}}^{\alpha} u(t))=v(t) \). Then BVP (1.12) can be turned into the following coupled boundary value problems:
and
From Lemma 2 of [7], we see that BVP (3.4) has a unique solution, which is given by
where \(H(t, s)\) is as in (3.3). Moreover, by Lemma 5 of [8], we see that BVP (3.5) has a unique solution, which is given by
where \(G(t, s)\) is as in (3.2). Substitute (3.6) into (3.7), we see that BVP (1.12) has a unique solution which is given by (3.1). □
Lemma 3.2
The Green’s function H defined by (3.3) satisfies the following properties:
-
(1)
\(H(t, s) \ge0\) for all \(a \le t, s \le b\);
-
(2)
\(\max_{t \in[a, b]} H(t, s) = H(s, s), s \in[a, b]\);
-
(3)
\(H(s, s)\) has a unique maximum given by
$$\max_{s \in[a, b]} H(s, s) = \frac{(b-a)^{\beta-1}}{4^{\beta-1} \Gamma (\beta)}; $$ -
(4)
\({ \min_{t \in [\frac{3a+b}{4}, \frac{a+3b}{4} ]} H(t, s) \ge \sigma(s) H(s, s), a < s < b,}\)
where
Proof
The first three properties are proved in [7]. For convenience, we set
and
From [7], we know that \(h_{1}(t, s)\) is decreasing with respect to t for \(s \le t\), and \(h_{2}(t, s)\) is increasing with respect to t for \(t \le s\). Thus
From
we have
which implies that
where \(c_{\beta}\) and \(A_{\beta}\) are as in (3.8). It is easy to check that \(A_{\beta} < \frac{3}{4}\) and \(c_{\beta} < \frac{a+3b}{4}\). On the other hand, since
we have
from which we deduce that \(A_{\beta} < \frac{2}{3}\) and \(c_{\beta} > \frac{3a+b}{4}\). So \(c_{\beta} \in (\frac{3a+b}{4}, \frac{a+3b}{4} )\) is the unique solution of the equation \(h_{1} (\frac {a+3b}{4}, s ) = h_{2} (\frac{3a+b}{4}, s )\). Hence
□
Remark 3.1
Since \(\frac{2a+b}{3} < \frac{2b-a}{3}\) implies \(3a < b\), we see that the conclusion of Lemma 7(4) in [13] only holds for \(a < \frac{b}{3}\).
Lemma 3.3
[8]
The Green’s function G defined by (3.2) satisfies the following properties:
-
(i)
\(0 \le G(t, s) \le G(s, s) = \frac{1}{\Gamma(\alpha)}(b-s)^{\alpha -1} \) for all \(a \le t, s \le b\);
-
(ii)
\(G(s, s)\) has a unique maximum given by
$$\max_{s \in[a, b]} G(s, s) = \frac{1}{\Gamma(\alpha)}(b-a)^{\alpha-1}; $$ -
(iii)
\({ \min_{t \in [\frac{3a+b}{4}, \frac{a+3b}{4} ]} G(t, s) \ge \mu(s) G(s, s), a < s < b,}\) where
$$\mu(s) = \textstyle\begin{cases} 1- (\frac{\frac{a+3b}{4}-s}{b-s} )^{\alpha-1} & \textit{if } s \in (a, \frac{a+3b}{4} ], \\ 1 & \textit{if } s \in [\frac{a+3b}{4}, b ). \end{cases} $$
Let \(E = C[a, b]\) be endowed with the norm \(\Vert x \Vert = \max_{t \in[a, b]} \vert x(t) \vert \). Define the cone \(P \subset E\) by
Theorem 3.4
Let \(k: [a, b] \to\mathbb{R}_{+} = [0, + \infty)\) be a nontrivial Lebesgue integrable function. Suppose that there exist two positive constants \(r_{2} > r_{1} > 0\) such that the following assumptions:
-
(H1)
\(f(x) \ge\rho\Phi_{p}(r_{1})\) for \(x \in[0, r_{1}]\),
-
(H2)
\(f(x) \le\omega\Phi_{p}(r_{2})\) for \(x \in[0, r_{2}]\),
are satisfied, where
and
Then FBVP (1.12) has at least one nontrivial positive solution u belonging to E such that \(r_{1} \le \Vert u \Vert \le r_{2}\).
Proof
Let \(T: P \to E\) be the operator defined by
By using the Arzela-Ascoli theorem, we can prove that \(T: P \to P\) is completely continuous. Let \(\Omega_{i} = \{u \in P: \Vert u \Vert \le r_{i}\}\), \(i = 1, 2\). From (H1), and Lemmas 3.2 and 3.3, we obtain for \(t \in [\frac{3a+b}{4}, \frac{a+3b}{4} ]\) and \(u \in P \cap \partial\Omega_{1}\)
Hence, \(\Vert Tu \Vert \ge \Vert u \Vert \) for \(u \in P \cap\partial\Omega_{1}\). On the other hand, from (H2), Lemmas 3.2 and 3.3, we have
for \(u \in P \cap\partial\Omega_{2}\). Thus, by Lemma 2.1, we see that the operator T has a fixed point in \(u \in P \cap(\bar{\Omega}_{2} \setminus\Omega_{1})\) with \(r_{1} \le \Vert u \Vert \le r_{2}\), and clearly u is a positive solution for FBVP (1.12).
Next, we will give two Lyapunov inequalities for FBVP (1.12). □
Theorem 3.5
Let \(k: [a, b] \to\mathbb{R}_{+}\) be a real nontrivial Lebesgue function. Suppose that there exists a positive constant M satisfying \(0 \le f(x) \le M \Phi_{p}(x)\) for any \(x \in\mathbb{R}_{+}\). If (1.12) has a nontrivial solution in P, then the following Lyapunov inequality holds:
Proof
Assume \(u \in P\) is a nontrivial solution for (1.12), then \(\Vert u \Vert \neq0\). From (3.1), and Lemmas 3.2 and 3.3, \(\forall t \in[a, b]\), we have
which implies that
□
Theorem 3.6
Let \(k: [a, b] \to\mathbb{R}_{+}\) be a real nontrivial Lebesgue function. Assume that \(f \in C(\mathbb{R}_{+}, \mathbb{R}_{+})\) is a concave and nondecreasing function. If (1.12) has a nontrivial solution \(u \in P\), then
where \(\eta= \max_{t \in[a, b]} u(t)\).
Proof
By (3.1), Lemmas 3.2 and 3.3, we get
Using Lemma 2.2, and taking into account that f is concave and nondecreasing, we see that
where \(\eta= \max_{t \in[a, b]} u(t)\). Hence,
The proof is completed. □
4 Applications
In the following, some applications of the obtained results are presented.
Corollary 4.1
If \(\lambda\in[0, 4^{\beta-1} \Gamma (\beta) \Phi_{p} (\Gamma(\alpha+1) )]\), then the following eigenvalue problem:
has no corresponding eigenfunction \(y \in P\), where \(1 < \alpha, \beta \leq2\), and \(p > 1\).
Proof
Assume that \(y_{0} \in P\) is an eigenfunction of (4.1) corresponding to an eigenvalue \(\lambda_{0} \in[0, 4^{\beta-1} \Gamma(\beta) \Phi_{p} (\Gamma(\alpha+1) )]\). By using Theorem 3.5 with \(a=0\), \(b=1\), \(k(s) = \lambda_{0}\) and \(M = 1\) (\(f(y) = \Phi _{p}(y)\)), we get
which is a contradiction. □
From Theorems 3.4 and 3.6, we have the following.
Corollary 4.2
For fractional boundary value problem (1.12), let \(k: [a, b] \to\mathbb{R}_{+}\) be a nontrivial Lebesgue integrable function, and \(f \in C(\mathbb {R}_{+}, \mathbb{R}_{+})\) be a concave and nondecreasing function. If there exist two positive constants \(r_{2} > r_{1} > 0\) such that the assumptions (H1) and (H2) hold, then
Example 4.3
Consider the following fractional boundary value problem:
Obviously, we have
-
(i)
\(f(y) = \ln(15+y): \mathbb{R}_{+} \to\mathbb{R}_{+}\) is continuous, concave and nondecreasing;
-
(ii)
\(k(t) = \sqrt{t}: [0, 1] \to\mathbb{R}_{+}\) is a Lebesgue integrable function with \(\int_{0}^{1} k(t) \,\mathrm{d}t = \frac{2}{3} > 0\).
We now compute the values of ρ and ω in (H1) and (H2), respectively.
Since \(A_{3/2} = ( (\frac{3}{4} )^{1/2} - (\frac{1}{4} )^{1/2} )^{2} = 1 - \frac{\sqrt{3}}{2}\), we have \(c_{3/2} = \frac{\frac{3}{4} - A_{3/2}}{1 - A_{3/2}} = 1- \frac {\sqrt{3}}{6}\). where \(A_{3/2}\) and \(c_{3/2}\) (\(\beta= 3/2\)) are as in (3.8). Hence
Thus, by a simple computation, we obtain
Choosing \(r_{1} = 1/50 \) and \(r_{2} = 1\), we obtain
-
1.
\(f(y) = \ln(15+y) \ge\rho\Phi_{1.8}(r_{1})\) for \(y \in[0, 1/50]\);
-
2.
\(f(y) = \ln(15+y) \le\omega\Phi_{1.8}(r_{2})\) for \(y \in[0, 1]\).
Hence, from Corollary 4.2, we obtain
5 Conclusions
In this paper, we prove existence of positive solutions to a nonlinear fractional boundary value problem involving a p-Laplacian operator. Then, under some mild assumptions on the nonlinear term, we present two new Lyapunov-type inequalities. A numerical example shows that the new results are efficient.
References
Lyapunov, AM: Problème général de la stabilité du mouvement. Ann. Fac. Sci. Univ. Toulouse 2, 203-407 (1907)
Brown, RC, Hinton, DB: Lyapunov inequalities and their applications. In: Rassias, TM (ed.) Survey on Classical Inequalities. Math. Appl., vol. 517, pp. 1-25. Kluwer Academic, Dordrecht (2000)
Tiryaki, A: Recent developments of Lyapunov-type inequalities. Adv. Dyn. Syst. Appl. 5(2), 231-248 (2010)
Ferreira, RAC: On a Lyapunov-type inequality and the zeros of a certain Mittag-Leffler function. J. Math. Anal. Appl. 412, 1058-1063 (2014)
Ma, D: A generalized Lyapunov inequality for a higher-order fractional boundary value problem. J. Inequal. Appl. 2016, 261 (2016)
Dhar, S, Kong, Q, McCabe, M: Fractional boundary value problems and Lyapunov-type inequalities with fractional integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2016, 43 (2016)
Ferreira, RAC: A Lyapunov-type inequality for a fractional boundary value problem. Fract. Calc. Appl. Anal. 16(4), 978-984 (2013)
Jleli, M, Samet, B: Lypunov-type inequalities for a fractional differential equation with mixed boundary conditions. Math. Inequal. Appl. 18(2), 443-451 (2015)
Jleli, M, Kirane, M, Samet, B: Lyapunov-type inequalities for fractional partial differential equations. Appl. Math. Lett. 66, 30-39 (2017)
Jleli, M, Nieto, JJ, Samet, B: Lyapunov-type inequalities for a higher order fractional differential equation with fractional integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2017, 16 (2017)
Rong, J, Bai, C: Lyapunov-type inequality for a fractional differential equation with fractional boundary conditions. Adv. Differ. Equ., 2015 82 (2015)
Arifi, NA, Altun, I, Jleli, M, Lashin, A, Samet, B: Lyapunov-type inequalities for a fractional p-Laplacian equation. J. Inequal. Appl. 2016, 189 (2016)
Chidouh, A, Torres, DFM: A generalized Lyapunov’s inequality for a fractional boundary value problem. J. Comput. Appl. Math. 312, 192-197 (2017)
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Guo, G, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Notes and Reports in Mathematics in Science and Engineering, vol. 5. Academic Press, Boston (1988)
Rudin, W: Real and Complex Analysis, 3rd edn. McGraw-Hill, New York (1987)
Acknowledgements
The authors thank the editor and referees for their careful reading of the manuscript and a number of excellent suggestions. This work is supported by Natural Science Foundation of China (11571136 and 11271364).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally in drafting this manuscript and giving the main proofs. All authors read and approved the final manuscript.
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
Liu, Y., Xie, D., Yang, D. et al. Two generalized Lyapunov-type inequalities for a fractional p-Laplacian equation with fractional boundary conditions. J Inequal Appl 2017, 98 (2017). https://doi.org/10.1186/s13660-017-1374-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1374-3