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.
$$ \begin{aligned} & \bigl({}^{C}D_{a}^{\alpha,\psi}u \bigr) (x)+f \bigl(x,u(x) \bigr)=0,\quad a< x< b, \\ &u(a)+u(b)=0,\qquad u'(a)+u'(b)=0, \end{aligned} $$
(1.1)
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\).
$$ \begin{aligned} &u''(x)+w(x)u(x)=0, \quad a< x< b, \\ &u(a)=0,\qquad u(b)=0, \end{aligned} $$
(1.2)
$$ \int_{a}^{b} \bigl\vert w(x) \bigr\vert \,dx > \frac{4}{b-a}. $$
(1.3)
$$ \int_{a}^{b} (b-s) (s-a) w^{+}(s)\,ds>b-a, $$
(1.4)
$$w^{+}(s)=\max \bigl\{ w(s),0 \bigr\} ,\quad a\leq s\leq b. $$
$$ \begin{aligned} & \bigl(D_{a}^{\alpha}u \bigr) (x)+w(x)u(x)=0,\quad a< x< b, \\ &u(a)=0,\qquad u(b)=0, \end{aligned} $$
(1.5)
$$ \int_{a}^{b} \bigl\vert w(x) \bigr\vert \,dx> \Gamma(\alpha) \biggl(\frac{4}{b-a} \biggr)^{\alpha-1}. $$
(1.6)
$$ \begin{aligned} & \bigl({}^{C}D_{a}^{\alpha}u \bigr) (x)+w(x)u(x)=0,\quad a< x< b, \\ &u(a)+u(b)=0,\qquad u'(a)+u'(b)=0, \end{aligned} $$
(1.7)
Advertisement
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\).
Advertisement
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.
$$\bigl(I_{a}^{\beta}f \bigr) (x)=\frac{1}{\Gamma(\beta)} \int_{a}^{x} (x-t)^{\beta-1} f(t)\,dt,\quad a \leq x\leq b, $$
The Caputo fractional derivative of order α of a function \(f\in C^{2}([a,b])\) is given by (see [13])
i.e.,
$$\bigl({}^{C}D_{a}^{\alpha}f \bigr) (x)= \bigl(I_{a}^{2-\alpha}f'' \bigr) (x), \quad a< x< b, $$
$$\bigl({}^{C}D_{a}^{\alpha}f \bigr) (x)= \frac{1}{\Gamma(2-\alpha)} \int_{a}^{x} (x-t)^{1-\alpha} f''(t)\,dt,\quad a< x< b. $$
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.,
$$\psi'(x)>0,\quad a\leq x\leq b. $$
$$\bigl(I_{a}^{\beta,\psi}f \bigr) (x)=\frac{1}{\Gamma(\beta)} \int_{a}^{x} \psi '(t) \bigl(\psi(x)- \psi(t) \bigr)^{\beta-1} f(t)\,dt,\quad a\leq x\leq b. $$
$$\bigl({}^{C}D_{a}^{\alpha,\psi}f \bigr) (x)= \biggl(I_{a}^{2-\alpha,\psi} \biggl( \frac{1}{\psi'(x)}\frac{d}{dx} \biggr)^{2}f \biggr) (x),\quad a< x< b, $$
$$\bigl({}^{C}D_{a}^{\alpha,\psi}f \bigr) (x)= \frac{1}{\Gamma(2-\alpha)} \int _{a}^{x} \psi'(t) \bigl(\psi(x)- \psi(t) \bigr)^{1-\alpha} \biggl( \frac{1}{\psi'(t)}\frac{d}{dt} \biggr)^{2} f(t)\,dt, \quad a< x< b. $$
The following lemma is crucial for the proof of our main result.
Lemma 2.1
Let
\(f\in C^{2}([a,b])\). Then
$$\bigl({}^{C}D_{a}^{\alpha,\psi}f \bigr) \bigl( \psi^{-1}(y) \bigr)= \bigl({}^{C}D_{\psi(a)}^{\alpha}\bigl(f\circ\psi^{-1} \bigr) \bigr) (y),\quad\psi (a)< y< \psi(b). $$
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.,
□
$$\bigl({}^{C}D_{a}^{\alpha,\psi}f \bigr) \bigl( \psi^{-1}(y) \bigr)= \frac{1}{\Gamma(2-\alpha)} \int_{a}^{\psi^{-1}(y)} \psi'(t) \bigl(y-\psi (t) \bigr)^{1-\alpha} \biggl( \frac{1}{\psi'(t)}\frac{d}{dt} \biggr)^{2} f(t)\,dt. $$
$$s=\psi(t),\quad a< t< b. $$
$$\frac{d}{ds}=\frac{1}{\psi'(t)}\frac{d}{dt}. $$
$$\bigl({}^{C}D_{a}^{\alpha,\psi}f \bigr) \bigl( \psi^{-1}(y) \bigr)= \frac{1}{\Gamma(2-\alpha)} \int_{\psi(a)}^{y} (y-s)^{1-\alpha} \biggl( \frac {d}{ds} \biggr)^{2} \bigl(f\circ\psi^{-1} \bigr) (s) \,ds, $$
$$\bigl({}^{C}D_{a}^{\alpha,\psi}f \bigr) \bigl( \psi^{-1}(y) \bigr)= \bigl({}^{C}D_{\psi(a)}^{\alpha}\bigl(f\circ\psi^{-1} \bigr) \bigr) (y). $$
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
$$ \begin{gathered} \bigl({}^{C}D_{A}^{\alpha}F \bigr) (t)+h(t)=0,\quad A< t< B, \\ F(A)+F(B)=0,\,\, F'(A)+F'(B)=0, \end{gathered} $$
$$F(t)= \int_{A}^{B} (B-s)^{\alpha-2} H(t,s) h(s)\,ds, \quad A\leq t\leq B, $$
$$\begin{aligned} \Gamma(\alpha)H(t,s)= \textstyle\begin{cases} (\frac{t-A}{2}-\frac{B-A}{4} )(\alpha-1)+\frac{B-s}{2}- \frac{(t-s)^{\alpha-1}}{(B-s)^{\alpha-2}},\quad A\leq s\leq t< B,\\ (\frac{t-A}{2}-\frac{B-A}{4} )(\alpha-1)+\frac{B-s}{2}, \quad A\leq t\leq s\leq B. \end{cases}\displaystyle \end{aligned}$$
Lemma 2.3
The function
H
defined in Lemma
2.2
satisfies
$$\bigl\vert H(t,s) \bigr\vert \leq\frac{(B-A)(3-\alpha)}{4}, \quad(t,s)\in[A,B] \times[A,B]. $$
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:
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).
(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
where \(q\in C([a,b])\).
$$\bigl\vert f(x,z) \bigr\vert \leq q(x) \vert z \vert ,\quad(x,z)\in\,]a,b[\, \times\mathbb{R}, $$
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
$$ \int_{a}^{b} \bigl(\psi(b)-\psi(x) \bigr)^{\alpha-2} q(x) \psi'(x)\,dx\geq\frac {4}{(\psi(b)-\psi(a))(3-\alpha)}. $$
(3.1)
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. □
$$v: \bigl[\psi(a),\psi(b) \bigr]\to\mathbb{R} $$
$$ v(y)=u \bigl(\psi^{-1}(y) \bigr),\quad \psi(a)\leq y \leq \psi(b). $$
(3.2)
$$\bigl({}^{C}D_{\psi(a)}^{\alpha}v \bigr) (y)= \bigl({}^{C}D_{a}^{\alpha,\psi}u \bigr) \bigl( \psi^{-1}(y) \bigr),\quad \psi(a)< y< \psi(b), $$
$$ \bigl({}^{C}D_{\psi(a)}^{\alpha}v \bigr) (y)+f \bigl(\psi^{-1}(y),v(y) \bigr)=0,\quad \psi(a)< y< \psi(b). $$
(3.3)
$$v'(y)=\frac{1}{\psi'(\psi^{-1}(y))} u' \bigl( \psi^{-1}(y) \bigr)),\quad\psi(a)\leq y\leq\psi(b). $$
$$v' \bigl(\psi(a) \bigr)= \frac{1}{\psi'(a)} u'(a) \quad \mbox{and}\quad v' \bigl(\psi(b) \bigr) =\frac{1}{\psi'(b)} u'(b), $$
$$ v \bigl(\psi(a) \bigr)+v \bigl(\psi(b) \bigr)=0\quad\mbox{and} \quad v' \bigl(\psi(a) \bigr)+v' \bigl(\psi(b) \bigr)=0. $$
(3.4)
$$v(y)= \int_{A}^{B} (B-s)^{\alpha-2} H(y,s) f \bigl( \psi^{-1}(s),v(s) \bigr)\,ds,\quad A\leq y\leq B. $$
$$\begin{aligned} \bigl\vert v(y) \bigr\vert \leq& \int_{A}^{B} (B-s)^{\alpha-2} \bigl\vert H(y,s) \bigr\vert \bigl\vert f \bigl(\psi ^{-1}(s),v(s) \bigr) \bigr\vert \,ds \\ \leq& \frac{(B-A)(3-\alpha)}{4} \int_{A}^{B} (B-s)^{\alpha-2} q \bigl(\psi ^{-1}(s) \bigr) \bigl\vert v(s) \bigr\vert \,ds \\ \leq& \biggl(\frac{(B-A)(3-\alpha)}{4} \int_{A}^{B} (B-s)^{\alpha-2} q \bigl(\psi ^{-1}(s) \bigr)\,ds \biggr) \Vert v \Vert _{\infty}, \end{aligned}$$
$$\Vert v \Vert _{\infty}=\max \bigl\{ \bigl\vert v(s) \bigr\vert : \, A\leq s\leq B \bigr\} . $$
$$\int_{A}^{B} (B-s)^{\alpha-2} q \bigl( \psi^{-1}(s) \bigr)\,ds\geq\frac {4}{(B-A)(3-\alpha)}. $$
$$x=\psi^{-1}(s),\quad A\leq s\leq B, $$
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.
$$\psi(x)=x,\quad a\leq x\leq b. $$
$$ \begin{aligned} & \bigl({}^{C}D_{a}^{\alpha}u \bigr) (x)+f \bigl(x,u(x) \bigr)=0,\quad a< x< b, \\ &u(a)+u(b)=0,\qquad u'(a)+u'(b)=0, \end{aligned} $$
(3.5)
Corollary 3.2
Let
\(u\in C^{2}([a,b])\)
be a nontrivial solution to (3.5). Then
$$\int_{a}^{b} (b-x)^{\alpha-2} q(x) \,dx\geq \frac{4}{(b-a)(3-\alpha)}. $$
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).
$$ \begin{aligned} & \bigl({}^{C}D_{a}^{\alpha}u \bigr) (x)+w(x)u(x)=0,\quad a< x< b, \\ &u(a)+u(b)=0,\qquad u'(a)+u'(b)=0, \end{aligned} $$
(3.6)
$$f(x,z)=w(x) z,\quad (x,z)\in[a,b]\times\mathbb{R}. $$
$$q(x)= \bigl\vert w(x) \bigr\vert ,\quad a\leq x\leq b. $$
Corollary 3.3
Let
\(u\in C^{2}([a,b])\)
be a nontrivial solution to (3.6). Then
$$ \int_{a}^{b} (b-x)^{\alpha-2} \bigl\vert w(x) \bigr\vert \,dx\geq\frac{4}{(b-a)(3-\alpha)}. $$
(3.7)
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.
$$ \begin{aligned} & \bigl({}^{C}D_{a}^{\alpha}u \bigr) (x)+w(x)\sin \bigl(u(x) \bigr)=0,\quad a< x< b, \\ &u(a)+u(b)=0,\qquad u'(a)+u'(b)=0, \end{aligned} $$
(3.8)
$$f(x,z)=w(x) \sin(z),\quad (x,z)\in[a,b]\times\mathbb{R}. $$
$$q(x)= \bigl\vert w(x) \bigr\vert ,\quad a\leq x\leq b. $$
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.
$$ \begin{aligned} & \bigl({}^{C}D_{a}^{\alpha}u \bigr) (x)+w(x)\arctan \bigl(u(x) \bigr)=0,\quad a< x< b, \\ &u(a)+u(b)=0,\qquad u'(a)+u'(b)=0, \end{aligned} $$
(3.9)
$$f(x,z)=w(x) \arctan(z),\quad (x,z)\in[a,b]\times\mathbb{R}. $$
$$q(x)= \bigl\vert w(x) \bigr\vert ,\quad a\leq x\leq b. $$
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.
$$ \psi(x)=\frac{x^{2N+1}}{2N+1}+c_{1}x+c_{2}, \quad-1\leq x\leq1, $$
(3.10)
$$\psi'(x)=x^{2N}+c_{1}>0,\quad -1\leq x\leq1. $$
$$\psi'(-1)=\psi'(1)=c_{1}+1. $$
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
$$ \int_{-1}^{1} \biggl(\frac{1-x^{2N+1}}{2N+1}+c_{1}(1-x) \biggr)^{\alpha-2} q(x) \bigl(x^{2N}+c_{1} \bigr)\,dx\geq \frac{2}{ (\frac{1}{2N+1}+c_{1} )(3-\alpha)}. $$
(3.11)
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.
$$ \psi(x)=\sinh(x),\quad-1\leq x\leq1. $$
(3.12)
$$\psi'(x)=\cosh(x)>0,\quad -1\leq x\leq1. $$
$$\psi'(-1)=\cosh(-1)=\cosh(1)=\psi'(1). $$
Corollary 3.7
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])\).
$$\begin{aligned} &\psi(x)=\tan(x), \qquad \vert x \vert \leq \frac{\pi}{4}, \\ &\psi(x)= \arcsin(x),\qquad \vert x \vert \leq \frac{1}{2}, \\ &\psi(x)=\ln \biggl(\frac{1+x}{1-x} \biggr),\qquad \vert x \vert \leq \frac{1}{2}, \\ &\psi(x)= \int_{-1}^{x} e^{s^{2}}\,ds,\qquad \vert x \vert \leq 1, \end{aligned}$$
$$\begin{aligned} &f(x,z)=w(x) \cos \biggl(z+\frac{\pi}{2} \biggr), \quad(x,z)\in [a,b] \times\mathbb{R}, \\ &f(x,z)=w(x) ze^{- \vert z \vert }, \quad(x,z)\in[a,b]\times\mathbb{R}, \\ &f(x,z)=\frac{w(x) z}{\cosh(z)}, \quad(x,z)\in[a,b]\times\mathbb {R}, \\ &f(x,z)= w(x) \ln \bigl(1+ \vert z \vert \bigr),\quad(x,z)\in[a,b]\times \mathbb{R}, \end{aligned}$$
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])\).
$$ \begin{aligned} & \bigl({}^{C}D_{a}^{\alpha,\psi}u \bigr) (x)+\lambda u(x)=0,\quad a< x< b, \\ &u(a)+u(b)=0,\qquad u'(a)+u'(b)=0, \end{aligned} $$
(3.14)
The following result provides an upper bound of possible eigenvalues of (3.14).
Theorem 3.8
If
λ
is an eigenvalue of (3.14), then
$$ \vert \lambda \vert \geq\frac{4(\alpha-1)}{(3-\alpha)(\psi(b)-\psi(a))^{\alpha}}. $$
(3.15)
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). □
$$f(x,z)=\lambda z,\quad(x,z)\in[a,b]\times\mathbb{R}. $$
$$q(x)=\lambda,\quad a\leq x\leq b. $$
$$\begin{aligned} \vert \lambda \vert \geq& \frac{4}{(\psi(b)-\psi(a))(3-\alpha)} \biggl( \int_{a}^{b} \bigl(\psi(b)-\psi(x) \bigr)^{\alpha-2} \psi'(x)\,dx \biggr)^{-1} \\ =& \frac{4(\alpha-1)}{(3-\alpha)(\psi(b)-\psi(a))^{\alpha}}. \end{aligned}$$
Taking
in (3.14), we deduce the following result, which was obtained in [8].
$$\psi(x)=x,\quad a\leq x\leq b $$
Corollary 3.9
Let
\(\lambda\in\mathbb{R}\)
be an eigenvalue of the fractional boundary value problem
where
\(1<\alpha<2\). Then
$$\begin{gathered} \bigl({}^{C}D_{a}^{\alpha}u \bigr) (x)+\lambda u(x)=0,\quad a< x< b, \\ u(a)+u(b)=0,\qquad u'(a)+u'(b)=0, \end{gathered} $$
$$\vert \lambda \vert \geq\frac{4(\alpha-1)}{(3-\alpha)(b-a)^{\alpha}}. $$
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.
$$ \begin{aligned} & \bigl({}^{C}D_{A}^{\alpha}F \bigr) (t)+h(t)=0,\quad A< t< B, \\ &F(A)+F(B)=0,\qquad F'(A)+\mu F'(B)=0, \end{aligned} $$
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))\).
$$v(A)=v(B)=0\quad\mbox{and}\quad v'(A)+\frac{\psi'(b)}{\psi'(a)} v'(B)=0, $$
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Competing interests
The authors declare that they have no competing interests.
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.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.