Skip to main content

Advertisement

We’d like to understand how you use our websites in order to improve them. Register your interest.

A generalized Lyapunov inequality for a higher-order fractional boundary value problem

Abstract

In the paper, we establish a Lyapunov inequality and two Lyapunov-type inequalities for a higher-order fractional boundary value problem with a controllable nonlinear term. Two applications are discussed. One concerns an eigenvalue problem, the other a Mittag-Leffler function.

Introduction

For the following boundary value problem (BVP for short):

$$ \left \{ \textstyle\begin{array}{@{}l} y''(t)+q(t)y(t)=0,\quad a< t< b,\\ y(a)=y(b)=0, \end{array}\displaystyle \right . $$
(1.1)

where q is a real and continuous function, Lyapunov [1] proved that if (1.1) has a nontrivial solution, then

$$ \int _{a}^{b} \bigl\vert q(s) \bigr\vert \,ds > \frac{4}{b-a}. $$
(1.2)

The expression in (1.2) is called the Lyapunov inequality. The Lyapunov inequality proved to be very useful in various problems related with differential equations. Many improvements and generalizations of the inequality (1.2) for integer-order BVP have appeared in the literature, and here we omit these detailed conclusions but only refer the reader to a summary reference [2] given by Tiryaki in 2010, in which research results about Lyapunov inequality were summarized. After that, new results for the integer-order boundary value problem appeared continuously; see [39].

Only in recent years, the research of Lyapunov inequality for fractional BVP has begun in which a fractional derivative (Riemann-Liouville derivative and Caputo derivative) is used instead of the classical ordinary derivative in differential equation. We refer the reader to Ferreira [1012], Jleli and Samet [13], Rong and Bai [14], Arifi et al. [15], and so on.

About the basics for fractional calculus, we refer the reader to [1619] and the references therein.

Most of the above cited work deals with lower-order fractional BVP. Then in 2015, O’Regan and Samet gave the following result for a higher-order fractional BVP.

Theorem 1.1

[20]

If the fractional BVP

$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} ({}_{a}^{R} D^{v} y)(t)+q(t)y(t)=0,\quad a< t< b, 3< v\leq 4,\\ y(a)=y'(a)=y''(a)=y''(b)=0, \end{array}\displaystyle \right . \end{aligned}$$

has a nontrivial solution, where \({}_{a}^{R} D^{v}\) is the Riemann-Liouville derivative of order v, then the following Lyapunov inequality holds:

$$\begin{aligned} \int _{a}^{b} \bigl\vert q(s) \bigr\vert \,ds > \frac{\Gamma (v)(v-2)^{v-2}}{2(v-3)^{v-3}(b-a)^{v-1}}. \end{aligned}$$

In a recent paper [21] in 2016, Cabrera, Sadarangani, and Samet gave the following result for a higher-order fractional BVP.

Theorem 1.2

[21]

If the fractional BVP

$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} ({}^{R}_{a} D^{v} y)(t)+q(t)y(t)=0,\quad a< t< b, 2< v\leq 3,\\ y(a)=y'(a)=0,\qquad y'(b)=\beta y'(\xi ), \end{array}\displaystyle \right . \end{aligned}$$

has a nontrivial solution, where \({}^{R}_{a}D^{v}\) is the Riemann-Liouville derivative of order v, then the following Lyapunov inequality holds:

$$\begin{aligned} \int _{a}^{b} \bigl\vert q(s) \bigr\vert \,ds > \frac{\Gamma (v)(v-1)^{v-1}}{(v-2)^{v-2}(b-a)^{v-1}(1+\frac{\beta (b-a)^{v-1}}{(v-1)(b-a)^{v-2}-\beta (\xi -a)^{v-1}})}. \end{aligned}$$

Whether for lower-order fractional BVP in [1014], or for higher-order fractional BVP in [20, 21], we see the BVP of concern is all with a linear term \(q(t)y(t)\). The BVP in [15] is with a half-linear term \(q(t)\vert y(t) \vert ^{p-2}y(t)\). In a recent paper [22], Chidouh and Torres extended the linear term \(q(t)y(t)\) to a nonlinear term \(q(t)f(y(t))\). The following result has been established.

Theorem 1.3

[22]

Let q be a real nontrival Lebesgue integral function. Assume that \(f\in C(\mathbb{R}^{+},\mathbb{R}^{+})\) is a concave and nondecreasing function. If the fractional BVP

$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} ({}^{R}_{a}D^{v} y)(t)+q(t)f(y(t))=0,\quad a< t< b,1< v\leq 2,\\ y(a)=y(b)=0, \end{array}\displaystyle \right . \end{aligned}$$

has a nontrivial solution \(y\in C[a,b]\), where \({}^{R}_{a}D^{v}\) is the Riemann-Liouville derivative of order v, then the following Lyapunov inequality holds:

$$\begin{aligned} \int _{a}^{b} \bigl\vert q(s) \bigr\vert \,ds > \frac{4^{v-1}\Gamma (v)\eta }{(b-a)^{v-1}f(\eta )}, \end{aligned}$$

where \(\eta =\max_{t\in [a,b]}y(t)\).

But it is obvious that the Lyapunov inequality above is not controllable because a dummy variable η appears.

Motivated by [1015] and [2022], this paper aims to study the Lyapunov inequality and Lyapunov-type inequality for the following higher-order fractional BVP with a nonlinear term \(q(t)f(y(t))\):

$$ \left \{ \textstyle\begin{array}{@{}l} ({}^{C}_{a} D^{v} y)(t)+q(t)f(y)=0,\quad a< t< b, 2< v\leq 3,\\ y(a)=y(b)=y''(a)=0, \end{array}\displaystyle \right . $$
(1.3)

where \({}^{C}_{a}D^{v}\) is the Caputo derivative of order v, \(q:[a,b]\rightarrow \mathbb{R}^{+}=\{x\in \mathbb{R}\vert x\geq 0\}\) is a Lebesgue integrable function, \(f:\mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\) is continuous.

The paper is organized as follows. In Section 2, we present some preliminary conclusions. In Section 3, assuming that f is controllable, we obtain the Lyapunov inequality and Lyapunov-type inequality for (1.3). Applications of these inequalities to an eigenvalue problem and to a Mittag-Leffler function are given in Section 4.

Preliminaries

We first give the concepts of the Riemann-Liouville fractional integral and the Caputo fractional derivative.

Definition 2.1

Let \(v\geq 0 \) and \(\Gamma (v)\) be the Gamma function defined by \(\Gamma (v)=\int _{0}^{\infty }t^{v-1}e^{-t}\,dt\), \(v\geq 0\). The Riemann-Liouville fractional integral of order v of \(y(t)\) is defined by \(_{a}I^{0}y=y\) and

$$\begin{aligned} \bigl({}_{a}I^{v}y \bigr) (t):=\frac{1}{\Gamma (v)} \int _{a}^{t}{(t-s)^{v-1}y(s)}\,ds,\quad t \in [a,b], v>0. \end{aligned}$$

Definition 2.2

Let \(v>0\), \(n=[v]+1\), where \([v]\) denotes the integer part of number v. The Caputo fractional derivative of order v of \(y(t)\) is defined by

$$\begin{aligned} \bigl({}^{C}_{a}D^{v} y \bigr) (t):= \bigl({}_{a}I^{n-v} y^{(n)} \bigr) (t)= \frac{1}{\Gamma (n-v)} \int _{a}^{t}\frac{y^{(n)}(s)}{(t-s)^{v+1-n}}\,ds, \quad t\in [a,b]. \end{aligned}$$

Lemma 2.1

\(y\in C[a,b]\) is a solution to the problem (1.3) if and only if y satisfies the integral equation

$$\begin{aligned} y(t)= \int ^{b}_{a}G(t,s)q(s)f \bigl(y(s) \bigr)\,ds, \end{aligned}$$

where \(G(t,s)\) is the Green’s function of the problem (1.3) and

$$ G(t,s)=\left \{ \textstyle\begin{array}{l@{\quad}l} \frac{(t-a)(b-s)^{v-1}}{{\Gamma (v)}(b-a)}-\frac{(t-s)^{v-1}}{{\Gamma (v)}},& a\leq s\leq t\leq b,\\ \frac{(t-a)(b-s)^{v-1}}{{\Gamma (v)}(b-a)},&a\leq t\leq s\leq b.\end{array}\displaystyle \right . $$
(2.1)

Proof

Suppose \(y(t)\) is the solution of (1.3), then

$$ \begin{aligned}[b] y(t)&= \bigl({}_{a}I^{v}{^{C} D_{a}^{v}}y\bigr) (t)+c_{1}(t-a)^{2}+c_{2}(t-a)+c_{3} \\ &= -\frac{1}{\Gamma (v)} \int ^{t}_{a}(t-s)^{v-1}q(s)f\bigl(y(s) \bigr)\,ds+c_{1}(t-a)^{2}+c_{2}(t-a)+c_{3}. \end{aligned} $$
(2.2)

Combining \(2< v\leq 3\) and \(y(a)=y(b)=y''(a)=0\), we get \(c_{2}=\frac{1}{(b-a)\Gamma (v)}\int _{a}^{b}(b-s)^{v-1} q(s) f(y(s))\,ds\) and \(c_{1}=c_{3}=0\). Substituting \(c_{1}\), \(c_{2}\), and \(c_{3}\) into (2.2) yields

$$ \begin{aligned} y(t)&= \frac{1}{(b-a)\Gamma (v)} \int _{a}^{b}(t-a) (b-s)^{v-1} q(s)f \bigl(y(s)\bigr)\,ds-\frac{1}{\Gamma (v)} \int ^{t}_{a}(t-s)^{v-1}q(s)f\bigl(y(s) \bigr)\,ds \\ &= \int ^{b}_{a}G(t,s)q(s)f\bigl(y(s)\bigr)\,ds. \end{aligned} $$

 □

Lemma 2.2

The Green’s function \(G(t,s)\) defined in (2.1) has the following properties.

  1. (i)

    \(G(t,s)\geq 0\), for all \(a\leq t,s\leq b\).

  2. (ii)

    For any \(s\in [a,b]\),

    $$\begin{aligned} \max_{t\in [a,b]}G(t,s)= G(t_{0},s)=\frac{(s-a)(b-s)^{v-1}}{(b-a)\Gamma (v)}+ \frac{(v-2)(b-s)^{\frac{(v-1)^{2}}{v-2}}}{(v-1)^{\frac{v-1}{v-2}}(b-a)^{\frac{v-1}{v-2}}\Gamma (v)}, \end{aligned}$$

    where \(t_{0}=s+ ( \frac{(b-s)^{v-1}}{(b-a)(v-1)} ) ^{\frac{1}{v-2}}\in [s,b]\).

  3. (iii)

    \(G(t,s)\geq \frac{(t-a)(b-t)}{(b-a)^{2}}G(t_{0},s)\) for all \(a\leq t,s\leq b\).

  4. (iv)

    \(\max_{s\in [a,b]}G(t_{0},s)\leq \frac{(b-a)^{v-1}}{\Gamma (v)}\).

Proof

(i) Considering \(v>2\), we have \(\frac{t-a}{b-a}\geq ( \frac{t-a}{b-a} ) ^{v-1}\). We also get \(( \frac{(t-a)(b-s)}{b-a} ) ^{v-1}\geq (t-s)^{v-1}\) because \(\frac{(t-a)(b-s)}{b-a}\geq (t-s)\). So when \(s\leq t\), we have

$$\begin{aligned} \begin{aligned} \Gamma (v)G(t,s)&= \biggl( \frac{t-a}{b-a} \biggr) (b-s)^{v-1}-(t-s)^{v-1} \\ &\geq \biggl( \frac{t-a}{b-a} \biggr) ^{v-1}(b-s)^{v-1}-(t-s)^{v-1} \\ &= \biggl( \frac{(t-a)(b-s)}{b-a} \biggr) ^{v-1}-(t-s)^{v-1}\geq 0, \end{aligned} \end{aligned}$$

which means \(G(t,s)\geq 0\). When \(s\geq t\), the conclusion holds obviously.

(ii) For any \(s\in [a,b]\), when \(t\geq s\), by (2.1),

$$\begin{aligned} \Gamma (v)G'_{t}(t,s)=\frac{(b-s)^{v-1}}{b-a}-(v-1) (t-s)^{v-2}\left \{ \textstyle\begin{array}{@{}l@{\quad}l}\geq 0, &t\leq t_{0},\\ \leq 0, &t\geq t_{0},\end{array}\displaystyle \right . \end{aligned}$$

where \(t_{0}=s+ ( \frac{(b-s)^{v-1}}{(b-a)(v-1)} ) ^{\frac{1}{v-2}} \in [s,b]\). So

$$ \max_{t\in [s,b]}G(t,s)=G(t_{0},s)= \frac{(s-a)(b-s)^{v-1}}{(b-a)\Gamma (v)}+\frac{(v-2)(b-s)^{\frac{(v-1)^{2}}{v-2}}}{(v-1)^{\frac{v-1}{v-2}}(b-a)^{\frac{v-1}{v-2}}\Gamma (v)}. $$
(2.3)

When \(t\leq s\), we easily get by (2.1)

$$ \max_{t\in [a,s]}G(t,s)\leq G(s,s)\leq G(t_{0},s). $$
(2.4)

Equations (2.3) and (2.4) show that (ii) is correct.

(iii) For any \(s\in [a,b]\), when \(t\leq s\), by (2.1),

$$ \begin{aligned}[b] G(t,s)&= \frac{(t-a)(b-s)^{v-1}}{{\Gamma (v)}(b-a)} \\ &\geq \frac{(t-a)}{(b-a)}\cdot \frac{(t_{0}-a)(b-s)^{v-1}}{{\Gamma (v)}(b-a)} \\ &\geq \frac{(t-a)}{(b-a)} \biggl[ \frac{(t_{0}-a)(b-s)^{v-1}}{{\Gamma (v)}(b-a)}-\frac{(t_{0}-s)^{v-1}}{{\Gamma (v)}} \biggr] \\ &= \frac{(t-a)}{(b-a)}G(t_{0},s)\geq \frac{(t-a)(b-t)}{(b-a)^{2}}G(t_{0},s). \end{aligned} $$
(2.5)

When \(t> s\), by (2.1),

$$\begin{aligned} \Gamma (v)G''_{tt}(t,s)=-(v-1) (v-2) (t-s)^{v-3}\leq 0, \end{aligned}$$

which means that \(G(t,s)\) is concave about t on \([s,b]\). Thus, for any \(t\in [s,t_{0}]\), by the concavity of \(G(t,s)\), we have

$$ \begin{aligned}[b] G(t,s)&\geq \frac{G(t_{0},s)-G(s,s)}{t_{0}-s}(t-s)+G(s,s) \\ &= \frac{G(t_{0},s)}{t_{0}-s}(t-s)+\frac{t_{0}-t}{t_{0}-s}G(s,s) \\ &\geq \frac{G(t_{0},s)}{t_{0}-s}(t-s)+\frac{(t_{0}-t)}{(t_{0}-s)}\frac{(s-a)}{(b-a)}G(t_{0},s) \\ &\geq \frac{(t-a)}{(b-a)}G(t_{0},s)\geq \frac{(t-a)(b-t)}{(b-a)^{2}}G(t_{0},s). \end{aligned} $$
(2.6)

For any \(t\in [t_{0},1]\), by the concavity of \(G(t,s)\), we have

$$ \begin{aligned}[b] G(t,s)&\geq \frac{G(t_{0},s)-G(b,s)}{t_{0}-b}(t-b)+G(b,s) \\ &= \frac{G(t_{0},s)}{b-t_{0}}(b-t) \\ &\geq \frac{(b-t)}{(b-a)}G(t_{0},s)\geq \frac{(t-a)(b-t)}{(b-a)^{2}}G(t_{0},s). \end{aligned} $$
(2.7)

(2.5), (2.6), and (2.7) tell us (iii) is correct.

In the end, we prove (iv). It is easy to see that \(( \frac{(v-2)^{v-2}(b-s)}{(v-1)^{v-1}(b-a)} ) ^{\frac{1}{v-2}}\leq 1\), so

$$\begin{aligned} \begin{aligned} \max_{s\in [a,b]}G(t_{0},s) &= \max _{s\in [a,b]} \biggl\{ \frac{(s-a)(b-s)^{v-1}}{(b-a)\Gamma (v)}+\frac{(v-2)(b-s)^{\frac{(v-1)^{2}}{v-2}}}{(v-1)^{\frac{v-1}{v-2}}(b-a)^{\frac{v-1}{v-2}}\Gamma (v)} \biggr\} \\ &= \frac{1}{(b-a)\Gamma (v)}\max_{s\in [a,b]} \biggl[ (s-a) (b-s)^{v-1}+ \biggl( \frac{(v-2)^{v-2}(b-s)}{(v-1)^{v-1}(b-a)} \biggr) ^{\frac{1}{v-2}}(b-s)^{v} \biggr] \\ &\leq \frac{1}{\Gamma (v)}\max_{s\in [a,b]}(b-s)^{v-1}= \frac{(b-a)^{v-1}}{\Gamma (v)}. \end{aligned} \end{aligned}$$

 □

Remark 2.1

In Lemma 2.2, we give an accurate bound for Green’s function \(G(t,s)\), not only an upper bound but also a lower bound, and coincidentally, the only difference between the two bounds is a function factor whose value is in \([0,1]\), which leads to Lyapunov-type inverse inequalities; see Theorem 3.1 and Corollary 3.1. In [1015] and [2022], only an upper bound of corresponding Green’s function was given and thus only a one-side Lyapunov inequality could be obtained.

Let \(E=C[a,b]\) be endowed with the norm \(\Vert y \Vert =\max_{t\in [a,b]}\vert y(t) \vert \). Let \(E^{+}=\{y\in E, y(t)\geq 0 \text{ for any } t\in [a,b] \text{ and } \Vert y \Vert \neq 0\}\).

Lemma 2.3

Assume that \(y\in E^{+}\) is a solution for (1.3), then

$$\begin{aligned} \frac{(t-a)(b-t)}{(b-a)^{2}}\Vert y \Vert \leq y(t)\leq \Vert y \Vert ,\quad \forall t\in [a,b]. \end{aligned}$$

Proof

Suppose y is a positive solution of (1.3), then from Lemma 2.1 we know

$$ y(t)= \int ^{b}_{a}G(t,s)q(s)f \bigl(y(s) \bigr)\,ds. $$

Then by (iii) of Lemma 2.2,

$$\begin{aligned} \begin{aligned} y(t)&\geq \int ^{b}_{a} \frac{(t-a)(b-t)}{(b-a)^{2}}G(t_{0},s)q(s)f \bigl(y(s)\bigr)\,ds \\ &= \frac{(t-a)(b-t)}{(b-a)^{2}} \int ^{b}_{a}\max_{t\in [a,b]}G(t,s)q(s)f \bigl(y(s)\bigr)\,ds \\ &\geq \frac{(t-a)(b-t)}{(b-a)^{2}}\max_{t\in [a,b]} \int ^{b}_{a}G(t,s)q(s)f\bigl(y(s)\bigr)\,ds= \frac{(t-a)(b-t)}{(b-a)^{2}}\Vert y \Vert . \end{aligned} \end{aligned}$$

 □

Main results

A Lyapunov inequality and two Lyapunov-type inequalities are given in this section.

Theorem 3.1

Assume that f is controlled by two lines, i.e., there exist two positive constants M and N satisfying \(Ny\leq f(y)\leq My \) for any \(y\in \mathbb{R}^{+}\). If (1.3) has a solution in \(E^{+}\), then the following Lyapunov inequality (3.1), Lyapunov-type inequalities (3.2) and (3.3) hold:

$$\begin{aligned}& \int _{a}^{b}q(s)\,ds>\frac{\Gamma (v)}{M(b-a)^{v-1}}, \end{aligned}$$
(3.1)
$$\begin{aligned}& \int _{a}^{b}(s-a)^{2}(b-s)^{v}q(s) \,ds \leq \frac{4\Gamma (v)(b-a)^{3}}{N}, \end{aligned}$$
(3.2)
$$\begin{aligned}& \int _{a}^{b}(s-a) (b-s)^{\frac{v^{2}-v-1}{v-2}}q(s)\,ds\leq \frac{4\Gamma (v)(b-a)^{\frac{3v-5}{v-2}}(v-1)^{\frac{v-1}{v-2}}}{(v-2)N}. \end{aligned}$$
(3.3)

Proof

Suppose \(y\in E^{+}\) is a solution for (1.3), then \(\Vert y \Vert \neq 0\). From Lemma 2.1 and Lemma 2.3, we know that

$$\begin{aligned}& y(t)= \int ^{b}_{a}G(t,s)q(s)f \bigl(y(s) \bigr)\,ds,\quad t\in [a,b], \end{aligned}$$
(3.4)
$$\begin{aligned}& \frac{(s-a)(b-s)}{(b-a)^{2}}\Vert y \Vert \leq y(s), \quad \forall s\in [a,b], \end{aligned}$$
(3.5)

respectively. For any \(t\in [a,b]\), by (3.4) and (iv) of Lemma 2.2, we have

$$ \begin{aligned} 0&\leq y(t)\leq \int ^{b}_{a}G(t_{0},s)q(s)My(s)\,ds \\ &< \int ^{b}_{a}\max_{s\in [a,b]}G(t_{0},s)q(s) \,dsM\Vert y \Vert \\ &\leq \int ^{b}_{a}\frac{(b-a)^{v-1}}{\Gamma (v)}q(s)\,dsM\Vert y \Vert , \end{aligned} $$

which yields

$$ \int ^{b}_{a}q(s)\,ds>\frac{\Gamma (v)}{M(b-a)^{v-1}}. $$
(3.6)

On the other hand, by (3.5), we get

$$ f \bigl(y(s) \bigr)\geq Ny(s)\geq N\Vert y \Vert \frac{(s-a)(b-s)}{(b-a)^{2}},\quad\forall s\in [a,b]. $$
(3.7)

From (3.4) and (3.7), together with (iii) of Lemma 2.2, we get

$$ \begin{aligned} y \biggl( \frac{a+b}{2} \biggr) &= \int ^{b}_{a}G \biggl( \frac{a+b}{2},s \biggr) q(s)f\bigl(y(s)\bigr)\,ds \\ &\geq \frac{1}{4} \int ^{b}_{a}G(t_{0},s)q(s)f\bigl(y(s) \bigr)\,ds \\ &\geq \frac{1}{4} \int ^{b}_{a}G(t_{0},s) \frac{(s-a)(b-s)}{(b-a)^{2}}q(s)\,ds{N\Vert y \Vert } \\ &= \frac{1}{4} \int ^{b}_{a}\frac{(s-a)^{2}(b-s)^{v}}{(b-a)^{3}\Gamma (v)}q(s)\,ds{N\Vert y \Vert } \\ &\quad{}+\frac{1}{4} \int ^{b}_{a}\frac{(v-2)(s-a)(b-s)^{\frac{(v^{2}-v-1)}{v-2}}}{(v-1)^{\frac{v-1}{v-2}}(b-a)^{\frac{3v-5}{v-2}}\Gamma (v)}q(s)\,ds{N\Vert y \Vert }, \end{aligned} $$

which yields

$$ \Vert y \Vert \geq \frac{1}{4} \int ^{b}_{a}\frac{(s-a)^{2}(b-s)^{v}}{(b-a)^{3}\Gamma (v)}q(s)\,ds{N\Vert y \Vert } $$
(3.8)

and

$$ \Vert y \Vert \geq \frac{1}{4} \int ^{b}_{a}\frac{(v-2)(s-a)(b-s)^{\frac{(v^{2}-v-1)}{v-2}}}{(v-1)^{\frac{v-1}{v-2}}(b-a)^{\frac{3v-5}{v-2}}\Gamma (v)}q(s)\,ds{N\Vert y \Vert }. $$
(3.9)

(3.2) and (3.3) follow easily from (3.8) and (3.9), respectively.

In fact, the condition that f is controlled by two lines in Theorem 3.1 is very common. For example, for the piecewise continuous function

$$\begin{aligned} f(y)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l}2y,&0\leq y\leq 1,\\ 3-y,&1\leq y\leq 2,\\ \frac{1}{2}y,& 2\leq y\leq +\infty, \end{array}\displaystyle \right . \end{aligned}$$

we may choose \(M=2\) and \(N=\frac{1}{2}\) in Theorem 3.1.

Let \(f(y)=y\) in (1.3), we get a fractional BVP with a linear term as follows:

$$ \left \{ \textstyle\begin{array}{@{}l@{\quad}l} ({}^{C}_{a}D^{v}y)(t)+q(t)y(t)=0,& a< t< b, 2< v\leq 3,\\ y(a)=y(b)=y''(a)=0. \end{array}\displaystyle \right . $$
(3.10)

By choosing \(M=N=1\) in Theorem 3.1, we obtain the following result. □

Corollary 3.1

If (3.10) has a solution \(y\in E^{+}\), then

$$\begin{aligned}& \int _{a}^{b}q(s)\,ds>\frac{\Gamma (v)}{(b-a)^{v-1}}, \end{aligned}$$
(3.11)
$$\begin{aligned}& \int _{a}^{b}(s-a)^{2}(b-s)^{v}q(s) \,ds\leq {4\Gamma (v) (b-a)^{3}}, \end{aligned}$$
(3.12)
$$\begin{aligned}& \int _{a}^{b}(s-a) (b-s)^{\frac{v^{2}-v-1}{v-2}}q(s)\,ds\leq \frac{4\Gamma (v)(b-a)^{\frac{3v-5}{v-2}}(v-1)^{\frac{v-1}{v-2}}}{(v-2)}. \end{aligned}$$
(3.13)

Applications

Eigenvalue problems

Let \(a=0\) and \(b=1\) in (3.10), we now discuss the eigenvalue problem (4.1).

$$ \left \{ \textstyle\begin{array}{@{}l} ({}^{C}_{a} D^{v})(t)+\lambda y(t)=0,\quad 0< t< 1,2< v\leq 3,\\ y(0)=y(1)=y''(0)=0. \end{array}\displaystyle \right . $$
(4.1)

By Corollary 3.1, we obtain the following result.

Corollary 4.1

For any \(\lambda \in [0,{\Gamma (v)}]\cup ( \frac{4\Gamma (v)}{B(3,v+1)},+\infty ) \), where

$$\begin{aligned} B(x,y)= \int _{0}^{1}s^{x-1}(1-s)^{y-1} \,ds, \quad x>0,y>0, \end{aligned}$$

eigenvalue problem (4.1) has no corresponding eigenfunction \(y\in E^{+}\).

Proof

Assume that \(y_{0}\in E^{+}\) is an eigenfunction of (4.1) corresponding to an eigenvalue \(\quad\lambda _{0} \in [0,{\Gamma (v)}] \cup ( \frac{4\Gamma (v)}{B(3,v+1)},+\infty ) \). By (3.11), (3.12), and (3.13) in Corollary 3.1, we have

$$\begin{aligned}& \lambda _{0}>{\Gamma (v)},\qquad\lambda _{0} \int _{0}^{1}s^{2}(1-s)^{v} \,ds \leq {4\Gamma (v)}, \\& \lambda _{0} \int _{0}^{1}s(1-s)^{\frac{v^{2}-v-1}{v-2}}\,ds\leq \frac{4\Gamma (v)(v-1)^{\frac{v-1}{v-2}}}{(v-2)}, \end{aligned}$$

and thus

$$ {\Gamma (v)}< \lambda _{0}\leq \min \biggl\{ \frac{4\Gamma (v)}{B(3,v+1)}, \frac{4\Gamma (v)(v-1)^{\frac{v-1}{v-2}}}{(v-2)B(2,\frac{v^{2}-3}{v-2})} \biggr\} =\frac{4\Gamma (v)}{B(3,v+1)}, $$
(4.2)

which is a contradiction. □

Remark 4.1

We supplement the proof for the minimum value in (4.2). \(2< v\leq 3\) leads to \(\frac{v-1}{v-2}\geq 2\). Considering \(B(x,y)=\frac{\Gamma (x)\Gamma (y)}{\Gamma (x+y)}\), we get

$$\begin{aligned}& \frac{1}{B(3,v+1)}=\frac{\Gamma (4+v)}{\Gamma (3)\Gamma (v+1)}=\frac{{(3+v)(2+v)(1+v)}}{2}, \\& \frac{(v-1)^{\frac{v-1}{v-2}}}{(v-2)B(2,\frac{v^{2}-3}{v-2})} \geq \frac{(v-1)^{2}\Gamma (2+\frac{v^{2}-3}{v-2})}{(v-2)\Gamma (2)\Gamma (\frac{v^{2}-3}{v-2})} = \frac{(v-1)^{2}({v^{2}+v-5}){(v^{2}-3)}}{(v-2)^{3}}. \end{aligned}$$

Obviously,

$$\begin{aligned} \frac{(v-1)^{2}({v^{2}+v-5}){(v^{2}-3)}}{(v-2)^{3}}>\frac{(3+v)(2+v)(1+v)}{2}, \end{aligned}$$

which means \(\min \{ \frac{4\Gamma (v)}{B(3,v+1)}, \frac{4\Gamma (v)(v-1)^{\frac{v-1}{v-2}}}{(v-2)B(2,\frac{v^{2}-3}{v-2})} \} =\frac{4\Gamma (v)}{B(3,v+1)}\).

Real zeros for Mittag-Leffler function

We consider the two-parameter Mittag-Leffler function

$$ E_{v,\beta }(z)=\sum_{k=0}^{\infty } \frac{z^{k}}{\Gamma (kv+\beta)}, \quad v>0, \beta >0, z\in \mathbb{R}. $$
(4.3)

Obviously, \(E_{v,\beta }(z)>0\) for all \(z\geq 0\). Hence, the real zeros of \(E_{v,\beta }(z)\), if they exist, must be negative real numbers. In the following, we will use Corollary 4.1 to obtain an interval in which the Mittag-Leffler function (4.3) with \(\beta =2, 2< v\leq 3\) has no real zeros.

Corollary 4.2

Let \(2< v\leq 3\). Then the Mittag-Leffler function \(E_{v,2}(z)\) has no real zeros for \(z\in (-\infty, -\frac{4\Gamma (v)}{B(3,v+1)})\cup [-\Gamma (v), +\infty )\).

Proof

We first of all recall some elementary knowledge as regards the eigenvalue problem (4.1). By Theorem 1 in [23], the general solution \(y(t)\) satisfying the fractional differential equation in (4.1) is

$$\begin{aligned} y(t)=AE_{v,1} \bigl(-\lambda t^{v} \bigr)+BtE_{v,2} \bigl(-\lambda t^{v} \bigr)+Ct^{2}E_{v,3} \bigl(- \lambda t^{v} \bigr). \end{aligned}$$

Using the boundary conditions in (4.1), we get

$$\begin{aligned} A=0,\qquad BE_{v,2}(-\lambda )=0, \qquad C=0. \end{aligned}$$

Thus, if there exists a positive real number λ satisfying \(E_{v,2}(-\lambda )=0\), then λ must be a positive eigenvalue of (4.1) and the corresponding eigenfunction is given by

$$\begin{aligned} y(t)=tE_{v,2} \bigl(-\lambda t^{v} \bigr). \end{aligned}$$

Now, suppose \(\lambda _{0}\in (-\infty, -\frac{4\Gamma (v)}{B(3,v+1)})\cup [-\Gamma (v), +\infty )\) is a real zero of \(E_{v,2}(z)\), then \(\lambda _{0}<0\), and thus \(-\lambda _{0}\) must be a positive eigenvalue of (4.1). From Corollary 4.1, we know

$$\begin{aligned} \Gamma (v)< -\lambda _{0}\leq \frac{4\Gamma (v)}{B(3,v+1)}, \end{aligned}$$

and thus

$$\begin{aligned} -\Gamma (v)>\lambda _{0}\geq -\frac{4\Gamma (v)}{B(3,v+1)}, \end{aligned}$$

which is a contradiction.

Therefore, the Mittag-Leffler function \(E_{v,2}(z)\) has no real zeros on \((-\infty, -\frac{4\Gamma (v)}{B(3,v+1)})\cup [-\Gamma (v), +\infty )\). □

Conclusions

We obtain a Lyapunov inequality (3.1), two Lyapunov-type inequalities (3.2) and (3.3) for the following higher-order fractional boundary value problem with a nonlinear term:

$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} ({}^{C}_{a}D^{v} y)(t)+q(t)f(y)=0, \quad a< t< b,2< v\leq 3, \\ y(a)=y(b)=y''(a)=0. \end{array}\displaystyle \right . \end{aligned}$$

We get these inequalities when the nonlinear term f is controllable. Accurate properties of the Green’s function in Lemma 2.2 are important.

As applications, on the one hand, we conclude that, for any \(\lambda \in [0,{\Gamma (v)}]\cup ( \frac{4\Gamma (v)}{B(3,v+1)},+\infty ) \), the following eigenvalue problem:

$$ \left \{ \textstyle\begin{array}{@{}l} ({}^{C}_{a}D^{v})(t)+\lambda y(t)=0,\quad 0< t< 1,2< v\leq 3,\\ y(0)=y(1)=y''(0)=0 \end{array}\displaystyle \right . $$
(5.1)

has no corresponding eigenfunction \(y\in E^{+}\); On the other hand, we prove that the Mittag-Leffler function \(E_{v,2}(z)=\sum_{k=0}^{\infty }\frac{z^{k}}{\Gamma (kv+2)}\) has no real zeros on \((-\infty, -\frac{4\Gamma (v)}{B(3,v+1)})\cup [-\Gamma (v), +\infty )\) for \(v\in (2,3]\).

References

  1. 1.

    Lyapunov, AM: Problème général de la stabilité du mouvement. Ann. Fac. Sci. Toulouse 2, 203-474 (1907) (French translation of the original paper)

  2. 2.

    Tiryaki, A: Recent developments of Lyapunov-type inequalities. Adv. Dyn. Syst. Appl. 5(2), 231-248 (2010)

  3. 3.

    Çakmak, D: Lyapunov-type integral inequalities for certain higher order differential equations. Appl. Math. Comput. 216, 368-373 (2010)

  4. 4.

    Çakmak, D, Tiryaki, A: On Lyapunov-type inequality for quasilinear systems. Appl. Math. Comput. 216, 3584-3591 (2010)

  5. 5.

    Yang, X, Kim, YI, Lo, K: Lyapunov-type inequalities for a class of higher-order linear differential equations. Appl. Math. Lett. 34, 86-89 (2014)

  6. 6.

    Dhar, S, Kong, Q: Lyapunov-type inequalities for third-order half-linear equations and applications to boundary value problems. Nonlinear Anal. 110, 170-181 (2014)

  7. 7.

    Yang, X, Kim, YI, Lo, K: Lyapunov-type inequality for a class of even-order linear differential equations. Appl. Math. Comput. 245, 145-151 (2014)

  8. 8.

    Agarwal, RP, Özbekler, A: Disconjugacy via Lyapunov and Vallée-Poussin type inequalities for forced differential equations. Appl. Math. Comput. 265, 456-468 (2015)

  9. 9.

    Agarwal, RP, Özbekler, A: Lyapunov type inequalities for even order differential equations with mixed nonlinearities. J. Inequal. Appl. 2015, 142 (2015)

  10. 10.

    Ferreira, RAC: A Lyapunov-type inequality for a fractional boundary value problem. Fract. Calc. Appl. Anal. 16(4), 978-984 (2013)

  11. 11.

    Ferreira, RAC: On a Lyapunov-type inequality and the zeros of a certain Mittag-Leffler function. J. Math. Anal. Appl. 412, 1058-1063 (2014)

  12. 12.

    Ferreira, RAC: Lyapunov-type inequalities for some sequential fractional boundary value problems. Adv. Dyn. Syst. Appl. 11(1), 33-43 (2016)

  13. 13.

    Jleli, M, Samet, B: Lyapunov-type inequalities for a fractional differential equation with mixed boundary conditions. Math. Inequal. Appl. 18(2), 443-451 (2015)

  14. 14.

    Rong, J, Bai, C: Lyapunov-type inequality for a fractional differential equation with fractional boundary conditions. Adv. Differ. Equ. 2015, 82 (2015)

  15. 15.

    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)

  16. 16.

    Kilbas, AA, Trujillo, JJ: Differential equations of fractional order: methods, results and problems I. Appl. Anal. 78, 153-192 (2001)

  17. 17.

    Kilbas, AA, Trujillo, JJ: Differential equations of fractional order: methods, results and problems II. Appl. Anal. 81, 435-493 (2002)

  18. 18.

    Lakshmikantham, V, Vatsala, AS: Basic theory of fractional differential equations. Nonlinear Anal. 69(8), 2677-2682 (2008)

  19. 19.

    Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. In: North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

  20. 20.

    O’Regan, D, Samet, B: Lyapunov-type inequalities for a class of fractional differential equations. J. Inequal. Appl. 2015, 247 (2015)

  21. 21.

    Cabrera, I, Sadarangani, K, Samet, B: Hartman-Wintner-type inequalities for a class of nonlocal fractional boundary value problems. Math. Methods Appl. Sci. (2016). doi:10.1002/mma.3972

  22. 22.

    Chidouh, A, Torres, DFM: A generalized Lyapunov’s inequality for a fractional boundary value problem. J. Comput. Appl. Math. (2016). doi:10.1016/j.cam.2016.03.035

  23. 23.

    Kilbas, AA, Rivero, M, Rodríguez-Germá, L Trujillo, JJ: Caputo linear fractional differential equation. IFAC Proc. Ser. 39(11), 52-57 (2010)

Download references

Acknowledgements

The author thanks Department of Mathematics and Statistics, Curtin University, Perth 6845, WA, Australia, because the work of this manuscript was carried out when she was visiting the university.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Dexiang Ma.

Additional information

Competing interests

The author declares that she has no competing interests.

Author’s contributions

The author contributed independently in drafting this manuscript. The author read and approved the final manuscript.

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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Ma, D. A generalized Lyapunov inequality for a higher-order fractional boundary value problem. J Inequal Appl 2016, 261 (2016). https://doi.org/10.1186/s13660-016-1199-5

Download citation

MSC

  • 26A33
  • 26D10
  • 33E12
  • 34A08

Keywords

  • Caputo fractional derivative
  • Green’s function
  • Lyapunov inequality
  • eigenvalue problem
  • Mittag-Leffler function