Abstract
A Lyapunov-type inequality is established for the anti-periodic fractional boundary value problem
where \((a,b)\in\mathbb{R}^{2}\), \(a< b\), \(1<\alpha<2\), \(\psi\in C^{2}([a,b])\), \(\psi'(x)>0\), \(x\in[a,b]\), \({}^{C}D_{a}^{\alpha,\psi}\) is the ψ-Caputo fractional derivative of order α, and \(f: [a,b]\times\mathbb{R}\to\mathbb{R}\) is a given function. Next, we give an application of the obtained inequality to the corresponding eigenvalue problem.
Similar content being viewed by others
1 Introduction
In this paper, we are concerned with the anti-periodic fractional boundary value problem
where \((a,b)\in\mathbb{R}^{2}\), \(a< b\), \(1<\alpha<2\), \(\psi\in C^{2}([a,b])\), \(\psi'(x)>0\), \(x\in[a,b]\), \({}^{C}D_{a}^{\alpha,\psi}\) is the ψ-Caputo fractional derivative of order α, and \(f: [a,b]\times\mathbb{R}\to\mathbb{R}\) is a given function. A Lyapunov-type inequality is derived for problem (1.1). Next, as an application of the obtained inequality, an upper bound of possible eigenvalues of the corresponding problem is obtained.
Let us mention some motivations for studying problem (1.1). Suppose that \(u\in C^{2}([a,b])\), \((a,b)\in\mathbb{R}^{2}\), \(a< b\), is a nontrivial solution to the boundary value problem
where \(w\in C([a,b])\) is a given function. Then (see [17])
Inequality (1.3) is known in the literature as Lyapunov’s inequality, which provides a necessary condition for the existence of a nontrivial solution to (1.2). Many generalizations and extensions of (1.3) were derived by many authors. In particular, Hartman and Wintner [9] proved that if \(u\in C^{2}([a,b])\) is a nontrivial solution to (1.2), then
where
It can be easily seen that (1.3) follows from (1.4). For other results related to Lyapunov-type inequalities, see, for example, [3, 5, 16, 18, 19, 21] and the references therein. On the other hand, due to the importance of fractional calculus in applications, the study of Lyapunov-type inequalities was extended to fractional boundary value problems by many authors. The first contribution in this direction is due to Ferreira [6], where the fractional boundary value problem
with \(w\in C([a,b])\), \(1<\alpha<2\) and \(D_{a}^{\alpha}\) is the Riemann–Liouville fractional derivative of order α, was studied. The main result in [6] is the following: If u is a nontrivial solution to (1.5), then
Note that in the limit case \(\alpha=2\), (1.5) reduces to (1.2). Moreover, taking \(\alpha=2\) in (1.6), we obtain (1.3). For other works related to Lyapunov-type inequalities for fractional boundary value problems, see, for example, [4, 7, 8, 10–12, 20] and the references therein. In particular, in [8], the anti-periodic fractional boundary value problem
where \(w\in C([a,b])\), \(1<\alpha<2\) and \({}^{C}D_{a}^{\alpha}\) is the Caputo fractional derivative of order α, was studied. Note that (1.7) is a special case of (1.1) with \(\psi(x)=x\) and \(f(x,z)=w(x)z\).
Motivated by the above cited works, the problem (1.1) is investigated in this paper.
The rest of the paper is organized as follows. In Sect. 2, we recall some basic concepts on fractional calculus and prove some preliminary results. In Sect. 3, a Lyapunov-type inequality is established for problem (1.1). Moreover, some particular cases are discussed. Next, an application to fractional eigenvalue problems is given. In Sect. 4, we end the paper with some open questions.
2 Methods and preliminaries
The main idea in this paper consists to reduce (1.1) to a fractional boundary value problem involving Caputo fractional derivative by using an adequate change of variable. Next, using an integral representation of the solution and an estimate of the corresponding Green’s function, a Lyapunov-type inequality is derived for (1.1) under certain assumptions on the functions f and ψ. Before stating and proving the main results, we need some preliminaries on fractional calculus. The main references used in this part are [2, 13]. For other references related to fractional calculus, see, for example, [1, 14, 15].
First, let us fix \((a,b)\in\mathbb{R}^{2}\) with \(a< b\) and \(1<\alpha<2\).
Let \(\beta>0\). The Riemann–Liouville fractional integral of order β of a function \(f\in C([a,b])\) is given by (see [13])
where Γ is the Gamma function.
The Caputo fractional derivative of order α of a function \(f\in C^{2}([a,b])\) is given by (see [13])
i.e.,
Further, Let \(\psi\in C^{2}([a,b])\) be a given function such that
The fractional integral of order \(\beta>0\) of a function \(f\in C([a,b])\) with respect to ψ is given by (see [13])
The ψ-Caputo fractional derivative of order α of a function \(f\in C^{2}([a,b])\) is given by (see [2])
i.e.,
The following lemma is crucial for the proof of our main result.
Lemma 2.1
Let \(f\in C^{2}([a,b])\). Then
Proof
Let \(\psi(a)< y< \psi(b)\) be fixed. We have
Let us consider the change of variable
Using the chain rule, we have
Hence, we obtain
i.e.,
□
We refer the reader to Ferreira [8] for the proofs of the following results.
Lemma 2.2
Let \(h\in C([A,B])\), \((A,B)\in\mathbb{R}^{2}\), \(A< B\). Then \(F\in C^{2}([A,B])\) is a solution to
if and only if
where
Lemma 2.3
The function H defined in Lemma 2.2 satisfies
3 Results and discussion
3.1 A Lyapunov-type inequality for problem (1.1)
In this section, problem (1.1) is investigated under the following assumptions:
- (A1):
-
\(1<\alpha<2\), \(\psi\in C^{2}([a,b])\), \(\psi'(x)>0\), \(x\in[a,b]\).
- (A2):
-
\(\psi'(a)=\psi'(b)\).
- (A3):
-
The function \(f: [a,b]\times\mathbb{R}\to\mathbb{R}\) is continuous and satisfies
$$\bigl\vert f(x,z) \bigr\vert \leq q(x) \vert z \vert ,\quad(x,z)\in\,]a,b[\, \times\mathbb{R}, $$where \(q\in C([a,b])\).
Observe that by (A3), we have \(f(x,0)=0\), for all \(x\in\,]a,b[\). Therefore, 0 is a trivial solution to (1.1).
Our main result is given by the following theorem.
Theorem 3.1
Let \(u\in C^{2}([a,b])\) be a nontrivial solution to (1.1). Then
Proof
Let \(u\in C^{2}([a,b])\) be a nontrivial solution to (1.1). We introduce the function
given by
Using Lemma 2.1, we obtain
which implies from (1.1) that
On the other hand, we have
Therefore,
which implies form (A2) and the boundary conditions in (1.1) that
Therefore, \(v\in C^{2}([A,B])\), \((A,B)=(\psi(a),\psi(b))\), is a nontrivial solution to (3.3)–(3.4). Further, using Lemma 2.2, we obtain
Next, using (A3) and the estimate given by Lemma 2.3, for all \(A\leq y\leq B\), we obtain
where
Since \(\|v\|_{\infty}>0\) (because v is nontrivial), we obtain
Finally, using the change of variable
inequality (3.1) follows. □
Further, let us discuss some particular cases following from Theorem 3.1.
We consider the case
In this case, problem (1.1) reduces to
where \(1<\alpha<2\). Observe that the function ψ satisfies assumptions (A1) and (A2). Therefore, under assumption (A3), from Theorem 3.1, we deduce the following result.
Corollary 3.2
Let \(u\in C^{2}([a,b])\) be a nontrivial solution to (3.5). Then
Next, let us consider the fractional boundary value problem
where \(1<\alpha<2\) and \(w\in C([a,b])\). Problem (3.6) is a special case of (3.5) with
Observe that the function f satisfies assumption (A3) with
Therefore, by Corollary 3.2, we deduce the following result, which was derived in [8] (with strict inequality).
Corollary 3.3
Let \(u\in C^{2}([a,b])\) be a nontrivial solution to (3.6). Then
Let us consider the fractional boundary value problem
where \(1<\alpha<2\) and \(w\in C([a,b])\). Problem (3.6) is a special case of (3.5) with
Observe that the function f satisfies assumption (A3) with
Therefore, by Corollary 3.2, we deduce the following result.
Corollary 3.4
Let \(u\in C^{2}([a,b])\) be a nontrivial solution to (3.8). Then (3.7) holds.
Let us consider the fractional boundary value problem
where \(1<\alpha<2\) and \(w\in C([a,b])\). Problem (3.9) is a special case of (3.5) with
Note that the function f satisfies assumption (A3) with
Therefore, by Corollary 3.2, we deduce the following result.
Corollary 3.5
Let \(u\in C^{2}([a,b])\) be a nontrivial solution to (3.9). Then (3.7) holds.
Further, we consider the case
where \(N\geq1\) is a natural number, \(c_{1}>0\) and \(c_{2}\in\mathbb{R}\). Observe that \(\psi\in C^{2}([-1,1])\). Moreover, we have
Observe also that
Therefore, the function ψ satisfies assumptions (A1) and (A2) with \((a,b)=(-1,1)\). Hence, by Theorem 3.1, we deduce the following result.
Corollary 3.6
Let \(u\in C^{2}([a,b])\) be a nontrivial solution to (1.1), where \((a,b)=(-1,1)\) and the function ψ is given by (3.10). Then
Let us consider the case
Observe that \(\psi\in C^{2}([-1,1])\). Moreover, we have
Note that due to the parity of the function \(\cosh(x)\), we have
Therefore, the function ψ satisfies assumptions (A1) and (A2) with \((a,b)=(-1,1)\). Hence, by Theorem 3.1, we deduce the following result.
Corollary 3.7
Let \(u\in C^{2}([a,b])\) be a nontrivial solution to (1.1), where \((a,b)=(-1,1)\) and the function ψ is given by (3.12). Then
Many other results can be deduced from Theorem 3.1 for different choices of functions f and ψ. We end this section with additional examples of functions f and ψ satisfying assumptions (A1), (A2) and (A3):
and
where \(w\in C([a,b])\).
3.2 An application to eigenvalue problems
Let \(\psi\in C^{2}([a,b])\) be a given function satisfying assumptions (A1) and (A2). We say that \(\lambda\in\mathbb{R}\) is an eigenvalue of the fractional boundary value problem
where \(1<\alpha<2\), if and only if (3.14) admits a nontrivial solution \(u_{\lambda}\in C^{2}([a,b])\).
The following result provides an upper bound of possible eigenvalues of (3.14).
Theorem 3.8
If λ is an eigenvalue of (3.14), then
Proof
Let \(\lambda\in\mathbb{R}\) be an eigenvalue of (3.14). Then (3.14) admits a nontrivial solution \(u_{\lambda}\in C^{2}([a,b])\). On the other hand, observe that (3.14) is a special case of (1.1) with
Moreover, the function f satisfies assumption (A3) with
Hence, by Theorem 3.1, we obtain
Therefore, we proved (3.15). □
Taking
in (3.14), we deduce the following result, which was obtained in [8].
Corollary 3.9
Let \(\lambda\in\mathbb{R}\) be an eigenvalue of the fractional boundary value problem
where \(1<\alpha<2\). Then
4 Conclusion
In this paper, a Lyapunov-type inequality is established for the fractional boundary value problem (1.1) under assumptions (A1), (A2) and (A3). Next, the obtained inequality is used to obtain bounds on possible eigenvalues of the corresponding problem. We end the paper with the following open questions. First, it would be interesting to compute the Green’s function for the fractional boundary value problem
where \(\mu>0\), \(h\in C([A,B])\), and to obtain an estimate similar to that given by Lemma 2.3.
Next, the obtained estimate can be used to derive a Lyapunov-type inequality for problem (1.1) by considering a more general class of functions ψ without assumption (A2). In fact, from the proof of Theorem 3.1, the function v given by (3.2) satisfies (3.3) and the boundary conditions
where \((A,B)=(\psi(a),\psi(b))\).
References
Agarwal, P., Jain, S., Mansour, T.: Further extended Caputo fractional derivative operator and its applications. Russ. J. Math. Phys. 24(4), 415–425 (2017)
Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)
Brown, R.C., Hinton, D.B.: Lyapunov inequalities and their applications. In: Survey on Classical Inequalities, Math. Appl., vol. 517 pp. 1–25 Kluwer Acad. Publ., Dordrecht
Cabrera, I.J., Rocha, J., Sadarangani, K.B.: Lyapunov type inequalities for a fractional thermostat model, RACSAM. https://doi.org/10.1007/s13398-016-0362-7
Das, K.M., Vatsala, A.S.: Green’s function for n–n boundary value problem and an analogue of Hartman’s result. J. Math. Anal. Appl. 51(3), 670–677 (1975)
Ferreira, R.A.C.: A Lyapunov-type inequality for a fractional boundary value problem. Fract. Calc. Appl. Anal. 16(4), 978–984 (2013)
Ferreira, R.A.C.: On a Lyapunov-type inequality and the zeros of a certain Mittag–Leffler function. J. Math. Anal. Appl. 412(2), 1058–1063 (2014)
Ferreira, R.A.C.: Lyapunov-type inequality for an anti-periodic fractional boundary value problem. Fract. Calc. Appl. Anal. 20(1), 284–291 (2017)
Hartman, P., Wintner, A.: On an oscillation criterion of Lyapunov. Am. J. Math. 73, 885–890 (1951)
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)
Jleli, M., Samet, B.: Lyapunov-type inequalities for fractional boundary-value problems. Electron. J. Differ. Equ. 2015, Article ID 88 (2015)
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)
Kiymaz, I.O., Agarwal, P., Jain, S., Çetinkaya, A.: On a new extension of Caputo fractional derivative operator. In: Ruzhansky, M., Cho, Y., Agarwal, P., Area, I. (eds.) Advances in Real and Complex Analysis with Applications. Trends in Mathematics. Birkhäuser, Singapore (2017)
Kiymaz, I.O., Çetinkaya, A., Agarwal, P.: An extension of Caputo fractional derivative operator and its applications. J. Nonlinear Sci. Appl. 9, 3611–3621 (2016)
Lee, C., Yeh, C., Hong, C., Argarwal, R.P.: Lyapunov and Wirtinger inequalities. Appl. Math. Lett. 17, 847–853 (2004)
Lyapunov, A.M.: Problème général de la stabilité du mouvement. Ann. Fac. Sci. Univ. Tolouse 2, 203–407 (1907)
Pachpatte, B.G.: On Lyapunov-type inequalities for certain higher order differential equations. J. Math. Anal. Appl. 195, 527–536 (1955)
Pinasco, J.P.: Lyapunov-Type Inequalities. Springer Briefs in Mathematics. Springer, New York (2013)
Rong, J., Bai, C.: Lyapunov-type inequality for a fractional differential equation with fractional boundary conditions. Adv. Differ. Equ. 2015, 82 (2015)
Wang, Y.: Lyapunov-type inequalities for certain higher order differential equations with anti-periodic boundary conditions. Appl. Math. Lett. 25(12), 2375–2380 (2012)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Both authors read and approved the manuscript.
Corresponding authors
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
Samet, B., Aydi, H. Lyapunov-type inequalities for an anti-periodic fractional boundary value problem involving ψ-Caputo fractional derivative. J Inequal Appl 2018, 286 (2018). https://doi.org/10.1186/s13660-018-1850-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1850-4