Abstract
In this paper, some new Lyapunov type inequalities will be presented for Riemann-Liouville fractional differential equations of the form
where \(\alpha\in(n-1, n]\) (\(n\geq3\)), p, q, f are real-valued functions and \(0<\gamma<1<\mu<n\).
Similar content being viewed by others
1 Introduction
First, we consider the Hill equation
with the boundary conditions
where \(v:[a, b]\rightarrow R\) is a real-valued function. Lyapunov [1] discovered that if the boundary value problem (1.1)-(1.2) has a nontrivial solution, then
In [2], Wintner substituted the function ‘\(| v(s)|\)’ with ‘\(v^{+}(s)\)’ and he got the following inequality:
Inequality (1.4) was generalized by Hartman [3] as follows:
Lyapunov inequality is widely used in investigating the qualitative properties such as oscillation and spectral properties for differential equations and difference equations (see [4–13] for details). In recent years, there have been many literature works concerning the Lyapunov type inequality. On the one hand, some authors study Lyapunov type inequalities of integer-order linear differential equations, nonlinear differential equations or systems of differential equations. For example, Xianhua Tang and Meirong Zhang [14] studied the general linear Hamiltonian system
where
is the standard symplectic matrix and
is a symplectic matrix-valued function which is locally Lebesgue integrable. They obtained corresponding Lyapunov type inequalities. On the other hand, Lyapunov type inequalities of the fractional differential equations are studied by more and more researchers, see [15–26] and the references cited therein for details. Recently, Cabrera et al. [21] studied the nonlocal fractional boundary value problem of order \(\alpha\in(2, 3]\)
where \(a<\xi<b\), \(0\leq\beta(\xi-a)^{\alpha-1}<(\alpha-1)(b-a)^{\alpha -2}\), and \(q:[a, b]\rightarrow R\) is a real-valued continuous function.
In 2017, Agarwal and Özbekler obtained Lyapunov type inequalities in [22] for the fractional forced nonlinear differential equations of order \(\alpha\in(0, 2]\)
subject to the Dirichlet (2-point) boundary conditions
where \(p, q, f\in C[t_{0}, \infty)\) and the constants satisfy \(0<\gamma <1<\mu<2\). Moreover, the function p, q and the forcing term f have no sign restrictions. They obtained that if \(x(t)\neq0\) in \((a, b)\), then
where the constants \(\mu_{0}\) and \(\gamma_{0}\) are the same as in [24, Theorem 2.3].
In this paper, we consider the Riemann-Liouville fractional differential equation with mixed nonlinearities of order \(\alpha\in (n-1, n]\) for \(n\geq3\)
where \(p, q, f\in C[t_{0}, \infty)\) and the constants satisfy \(0<\gamma <1<\mu<n\) (\(n\geq3\)). Equation (1.10) subjects to the following two kinds of boundary conditions, respectively:
and the boundary conditions
Obviously, it is easy to see that equation (1.10) has two special forms; one is the forced ‘sub-linear’ (\(p(t)=0\)) fractional equation
and the other is the forced ‘super-linear’ (\(q(t)=0\)) fractional equation
Besides, from boundary conditions (1.11), it is noted that \(a< b\) and a, b are consecutive zeros.
To our best knowledge, there has been no such papers relating to equation (1.10) with higher order \(\alpha\in(n-1, n]\) (\(n\geq3\)). We will give Lyapunov type inequalities for the fractional differential equations (1.10), (1.13) and (1.14) under the boundary conditions (1.11) and (1.12) with the help of the Green’s function. The results relating to the boundary conditions (1.11) and (1.12) are a new type of Lyapunov type inequalities.
We first give some preliminary results about fractional calculus and some lemmas corresponding to the boundary conditions (1.11) and (1.12) in Section 2. In Section 3, we provide two lemmas that are essential in the proof of our results. In addition, we state and prove Lyapunov type inequalities for equations (1.10), (1.13) and (1.14) under the boundary conditions (1.11) or (1.12), respectively. To make our paper more rigorous, we discuss the case when n (\(n\geq3\)) is a positive even integer and obtain corresponding results. Besides, we give an example about an eigenvalue problem. Finally, Section 4 is devoted to concluding remarks.
2 Preliminaries
At first, we give the concept of fractional integral defined on \([a, b]\).
Definition 2.1
Let \(\alpha\geq0\) and f be a real function defined on \([a, b]\). The Riemann-Liouville integral of order α is defined by \((I^{0}_{a}f)(t)=f(t)\) and
for \(t\in[a, b]\), where α is a positive constant.
Definition 2.2
The Riemann-Liouville fractional derivative of order \(\alpha\geq0\) is defined by
and
for \(\alpha>0\), where m is the smallest integer greater than or equal to α.
To obtain our results, we introduce the following lemmas.
Lemma 2.1
[21]
Assume that \(f\in C(a, b)\cap L^{1}(a, b)\). Then
for \(t\in[a, b]\), where \(c_{i}\in R\), \(i=1, 2, \ldots, n\), and \(n=[\alpha ]+1\).
Corresponding to the boundary conditions (1.11), the following lemmas are essential.
Lemma 2.2
[26]
A function \(x(t)\) is a solution of the following equation of order \(\alpha\in (n-1, n]\) (\(n\geq3\)):
with the boundary conditions (1.11) if and only if \(x(t)\) satisfies the integral equation
where
is the Green’s function of the boundary value problem (2.1) and (1.11).
Lemma 2.3
[26]
The Green’s function (2.2) satisfies the following properties:
-
(i)
\(g(t, s)\geq0\) for all \(a\leq s, t\leq b\);
-
(ii)
$$ \max_{t\in[a, b]}g(t, s)=g\bigl(s^{*}, s\bigr)= \frac {(s-a)^{\alpha-1}(b-s)^{\alpha-1}}{\Gamma(\alpha)(b-a)^{\alpha-1} [1- (\frac{b-s}{b-a} )^{\frac{\alpha-1}{\alpha-2}} ]^{\alpha-2}}, $$
where \(s^{*}=\frac{s-a (\frac{b-s}{b-a} )^{\frac{\alpha-1}{\alpha -2}}}{1- (\frac{b-s}{b-a} )^{\frac{\alpha-1}{\alpha-2}}}\);
-
(iii)
$$ \max_{s\in[a, b]}g\bigl(s^{*}, s\bigr) =\frac{(b-a)^{\alpha-1}}{\Gamma(\alpha)} \frac{z_{\alpha}^{\alpha -1}(1-z_{\alpha})^{\alpha-1}}{ (1-z^{\frac{\alpha-1}{\alpha -2}}_{\alpha} )^{\alpha-2}}, $$
where \(z_{\alpha}\) is the unique zero of the nonlinear equation \(z^{\frac{2\alpha-3}{\alpha-2}}-2z+1=0\) in the interval \(z_{\alpha}\in (0, (\frac{2\alpha-4}{2\alpha-3} )^{\frac{\alpha-2}{\alpha -1}} )\).
Similarly, we need the following lemmas corresponding to the boundary conditions (1.12).
Lemma 2.4
A function \(x(t)\) is a solution of equation (2.1) with boundary conditions (1.12) if and only if \(x(t)\) satisfies the integral equation
where
is the Green’s function of the boundary value problem (2.1) and (1.12).
Proof
By Lemma 2.1, the general solutions to the boundary value problem (2.1) and (1.11) in \([a, b]\) can be represented as
for constants \(c_{i}\) (\(i=1, 2, \ldots, n\)).
By the boundary conditions
we obtain \(c_{2}=c_{3}=\cdots=c_{n}=0\).
Hence
Since
the boundary condition \(x'(b)=0\) implies
This shows
Then
which completes the proof. □
Lemma 2.5
The Green’s function (2.3) satisfies the following properties:
-
(i)
\(G(t, s)\geq0 \) for all \(a\leq s, t\leq b\);
-
(ii)
\(G(t, s)\) is non-decreasing about the first variable;
-
(iii)
$$0\leq G(a, s)\leq G(t, s)\leq G(b, s)=\frac{1}{\Gamma(\alpha )}(b-s)^{\alpha-2}(s-a),\quad (t, s)\in[a, b]\times[a, b]. $$
Lemma 2.6
[21]
Let \(\varphi(s)=\frac{1}{\Gamma(\alpha )}(b-s)^{\alpha-2}(s-a)\), \(s\in(a, b)\). Then
where \(s^{**}=\frac{b+(\alpha-2)a}{\alpha-1}\).
3 Main results
Throughout this section we shall denote \(u^{\pm}=\max\{\pm u, 0\}\). At the beginning, we introduce the following lemmas.
Lemma 3.1
Let \(A>0\), \(B\geq0\) be real numbers. For \(z\geq0\), we have
for any \(\alpha\in(0, n]\) (\(n\geq2\)).
Proof
Let
It is clear that (3.1) is obvious when \(z=0\) or \(B=0\). By direct computation, we obtain \(F'(z_{0})=0\) and \(F''(z_{0})>0\). Hence F attains its minimum at \(z_{0}= (\frac{\alpha B}{nA} )^{\frac {1}{n-\alpha}}\) if \(B\geq0\) and
So (3.1) holds. Note that inequality (3.1) is strict if \(B>0\). □
Lemma 3.2
If \(A, B\in R^{+}\) and \(C\in R\), then the function \(f(x)=Ax^{n}-Bx+C\) has a minimal value point at \(x_{0}=(\frac {B}{nA})^{\frac{1}{n-1}}\) when n is a positive even number.
Proof
Since
where the function \(g_{n-2}(x)\) is a polynomial of degree \(n-2\), we obtain \(x_{0}=(\frac{B}{nA})^{\frac{1}{n-1}}\) is a stagnation point. By direct computation, we get \(f''(x)=nAx^{n-2}\geq0\) and \(\lim_{x\rightarrow\infty}f(x)=+\infty\). Thus the proof of the lemma is completed. □
Now we show and prove our results relating to the boundary conditions (1.11).
Theorem 3.1
Let \(x(t)\) be a positive solution of the boundary value problem (1.10)-(1.11) in \((a, b)\). Then
where \(\mu_{0}=(n-\mu)\mu^{\frac{\mu}{n-\mu}}n^{\frac{n}{\mu-n}}\) and \(\gamma_{0}=(n-\gamma)\gamma^{\frac{\gamma}{n-\gamma}}n^{\frac{n}{\gamma -n}}\) and \(z_{\alpha}\) is the same as in Lemma 2.3.
Proof
Set \(x(t)\) to be a positive solution of the boundary value problem (1.10)-(1.11). From Lemma 2.2, \(x(t)\) can be represented as
Let \(x(c)=\max_{t\in(a, b)}x(t)\). It is clear from Lemma 2.3 that
Then, making use of (3.3)-(3.4), we have
where
and
Besides, when \(A=B=1\), inequality (3.1) in Lemma 3.1 suggests that
and
Combining these inequalities and inequality (3.5), we find that the following inequality
holds if and only if
which is the same as (3.2). The proof of Theorem 3.1 is finished. □
Remark 1
From Lemma 2.3, we know that
Hence, the following corollary is obvious.
Corollary 3.2
Let \(x(t)\) be a positive solution of the boundary value problem (1.10)-(1.11) in \((a, b)\). Then
where the constants \(\mu_{0}\), \(\gamma_{0}\) and \(z_{\alpha}\) are the same as in Theorem 3.1.
The following conclusions are given for equations (1.13) and (1.14).
Corollary 3.3
Let \(x(t)\) be a positive solution of the boundary value problem (1.13) and (1.11) in \((a, b)\). Then
-
(i)
Hartman type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a} \bigl[(b-s) (s-a) \bigr]^{\alpha-1} \biggl[1- \biggl(\frac{b-s}{b-a} \biggr)^{\frac{\alpha-1}{\alpha-2}} \biggr]^{2-\alpha } \bigl[\gamma_{0}q^{+}(s)+f^{-}(s)\bigr]\,ds \biggr) \\ \qquad{}\times \biggl( \int^{b}_{a} \bigl[(b-s) (s-a) \bigr]^{\alpha-1} \biggl[1- \biggl(\frac {b-s}{b-a} \biggr)^{\frac{\alpha-1}{\alpha-2}} \biggr]^{2-\alpha}q^{+}(s) \, ds \biggr)^{\frac{1}{n-1}}\\\quad > \bigl[\Gamma(\alpha) (b-a)^{\alpha-1} \bigr]^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}}; \end{gathered}$$ -
(ii)
Lyapunov type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a}q^{+}(s)\,ds \biggr)^{\frac {1}{n-1}} \biggl( \int^{b}_{a}\bigl[\gamma_{0}q^{+}(s)+f^{-}(s) \bigr]\,ds \biggr) \\ \quad>(n-1)n^{\frac{n}{1-n}} \biggl[\frac{\Gamma(\alpha)}{ (b-a)^{\alpha-1}} \biggr]^{\frac{n}{n-1}} \biggl[ \frac{ (1-z^{\frac{\alpha -1}{\alpha-2}} )^{\alpha-2}}{z^{\alpha-1}_{\alpha}(1-z_{\alpha })^{\alpha-1}} \biggr]^{\frac{n}{n-1}}, \end{gathered}$$where the constants \(\gamma_{0}\) and \(z_{\alpha}\) are the same as in Theorem 3.1.
Corollary 3.4
Let \(x(t)\) be a positive solution of the boundary value problem (1.14) and (1.11) in \((a, b)\). Then
-
(i)
Hartman type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a} \bigl[(b-s) (s-a) \bigr]^{\alpha-1} \biggl[1- \biggl(\frac{b-s}{b-a} \biggr)^{\frac{\alpha-1}{\alpha-2}} \biggr]^{2-\alpha } \bigl[\mu_{0}p^{+}(s)+f^{-}(s)\bigr]\,ds \biggr) \\ \quad\quad{}\times \biggl( \int^{b}_{a} \bigl[(b-s) (s-a) \bigr]^{\alpha-1} \biggl[1- \biggl(\frac {b-s}{b-a} \biggr)^{\frac{\alpha-1}{\alpha-2}} \biggr]^{2-\alpha}p^{+}(s) \, ds \biggr)^{\frac{1}{n-1}}\\ \quad > \bigl[\Gamma(\alpha) (b-a)^{\alpha-1} \bigr]^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}}; \end{gathered}$$ -
(ii)
Lyapunov type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a}p^{+}(s)\,ds \biggr)^{\frac {1}{n-1}} \biggl( \int^{b}_{a}\bigl[\mu_{0}p^{+}(s)+f^{-}(s) \bigr]\,ds \biggr) \\ \quad>(n-1)n^{\frac{n}{1-n}} \biggl[\frac{\Gamma(\alpha)}{ (b-a)^{\alpha-1}} \biggr]^{\frac{n}{n-1}} \biggl[ \frac{ (1-z^{\frac{\alpha -1}{\alpha-2}} )^{\alpha-2}}{z^{\alpha-1}_{\alpha}(1-z_{\alpha })^{\alpha-1}} \biggr]^{\frac{n}{n-1}}, \end{gathered}$$where the constants \(\mu_{0}\) and \(z_{\alpha}\) are the same as in Theorem 3.1.
Next, the results relating to boundary conditions (1.12) will be introduced and proved.
Theorem 3.5
Hartman type inequality
Let \(x(t)\) be a positive solution of equation (1.10) satisfying the boundary conditions (1.12) in \((a, b)\). Then
where \(\mu_{0}\) and \(\gamma_{0}\) are the same as in Theorem 3.1.
Proof
Set \(x(t)\) to be a positive solution of equation (1.10) with (1.12). From Lemma 2.4, \(x(t)\) can be represented as
Let \(x(c)=\max_{t\in(a, b)}x(t)\). It is clear from Lemma 2.5 that
Then, making use of (3.9)-(3.10), we have
where
and
Besides, when \(A=B=1\), inequality (3.1) in Lemma 3.1 suggests that
and
Combining these inequalities and inequality (3.10), we find that the following inequality
holds if and only if
which is the same as (3.7). Hence the proof of Theorem 3.5 is completed. □
Remark 2
From Lemmas 2.5 and 2.6, it is easy to see that
Thus, Lyapunov type inequality of the boundary value problem (1.10) and (1.12) can be obtained.
Corollary 3.6
Lyapunov type inequality
Let \(x(t)\) be a positive solution of the boundary value problem (1.10) and (1.12) in \((a, b)\). Then
where the constants \(\mu_{0}\) and \(\gamma_{0}\) are the same as in Theorem 3.1.
As before, the following conclusions are given for two equations (1.13) and (1.14).
Corollary 3.7
Let \(x(t)\) be a positive solution of the boundary value problem (1.12)-(1.13) in \((a, b)\). Then
-
(i)
Hartman type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a} \bigl[(b-s)^{\alpha-2}(s-a) \bigr] \bigl[\gamma_{0}q^{+}(s)+f^{-}(s)\bigr]\,ds \biggr) \biggl( \int^{b}_{a} \bigl[(b-s)^{\alpha-2}(s-a) \bigr]q^{+}(s)\, ds \biggr)^{\frac{1}{n-1}} \\\quad >\Gamma( \alpha)^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}}; \end{gathered}$$ -
(ii)
Lyapunov type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a}\bigl[\gamma_{0}q^{+}(s)+f^{-}(s) \bigr]\, ds \biggr) \biggl( \int^{b}_{a}q^{+}(s)\,ds \biggr)^{\frac{1}{n-1}} \\ \quad>\Gamma(\alpha)^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}} \bigl[(\alpha -2)^{\alpha-2}(b-a)^{\alpha-1}(\alpha-1)^{1-\alpha} \bigr]^{\frac {n}{1-n}}, \end{gathered}$$where the constant \(\gamma_{0}\) is the same as in Theorem 3.1.
Corollary 3.8
Let \(x(t)\) be a positive solution of the boundary value problem (1.14) and (1.12) in \((a, b)\). Then
-
(i)
Hartman type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a} \bigl[(b-s)^{\alpha-2}(s-a) \bigr] \bigl[\mu _{0}p^{+}(s)+f^{-}(s)\bigr]\,ds \biggr) \biggl( \int^{b}_{a} \bigl[(b-s)^{\alpha-2}(s-a) \bigr]p^{+}(s)\, ds \biggr)^{\frac{1}{n-1}} \\\quad>\Gamma( \alpha)^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}}; \end{gathered}$$ -
(ii)
Lyapunov type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a}p^{+}(s)\,ds \biggr)^{\frac {1}{n-1}} \biggl( \int^{b}_{a}\bigl[\mu_{0}p^{+}(s)+f^{-}(s) \bigr]\,ds \biggr) \\ \quad>\Gamma(\alpha)^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}} \bigl[(\alpha -2)^{\alpha-2}(b-a)^{\alpha-1}(\alpha-1)^{1-\alpha} \bigr]^{\frac {n}{1-n}}, \end{gathered}$$where the constant \(\mu_{0}\) is the same as in Theorem 3.1.
When n (\(n\geq3\)) is a positive even integer, the above theorems are valid for all invariant solutions of equations (1.10), (1.13) and (1.14) under the boundary conditions (1.11) or (1.12). Now the results corresponding to the boundary conditions (1.11) are presented when n (\(n\geq3\)) is a positive even integer.
Theorem 3.9
Let \(x(t)\) be a negative solution of the boundary value problem (1.10)-(1.11) in \((a, b)\). Then
where \(\mu_{0}\) and \(\gamma_{0}\) are the same as in Theorem 3.1.
Proof
If \(x(t)\) is a negative solution of equation (1.10), then \(-x(t)\) is a positive solution of
Then, similar to the proof of Theorem 3.1, we know that if equation (3.13) has a positive solution, then
where \(P_{0}\) and \(Q_{0}\) are defined in Theorem 3.1, and
Repeating the same steps as in Theorem 3.1, we know that
holds if and only if the minimum of the function \(f(x)=(P_{0}+Q_{0})x^{n}-x+\mu_{0}P_{0}+\gamma_{0}Q_{0}+F_{2}\) satisfies \(f(x)_{\mathrm{min}}\geq0\). From Lemma 3.2, we know that
Hence it is necessary that \((P_{0}+Q_{0})^{\frac{1}{1-n}}n^{\frac {n}{1-n}}(1-n)+\mu_{0}P_{0}+\gamma_{0}Q_{0}+F_{1}>0\) holds. By direct computation, inequality (3.12) is obvious. □
From Theorems 3.1 and 3.9, we obtain Theorem 3.10 since \(| f(s)|\geq\max \{f^{+}(s), f^{-}(s)\}\).
Theorem 3.10
Let \(x(t)\) be a nontrivial solution of the boundary value problem (1.10)-(1.11). If \(x(t)\neq0\) in \((a, b)\), then
where \(\mu_{0}\) and \(\gamma_{0}\) are the same as in Theorem 3.1.
Corollary 3.11
Disconjugacy
If
holds, then equation (1.10) is disconjugate in \([a, b]\), where \(\mu_{0}\) and \(\gamma_{0}\) are the same as in Theorem 3.1.
Similarly, Lyapunov type inequality can be easily obtained according to Theorem 3.9.
Corollary 3.12
Let \(x(t)\) be a negative solution of equation (1.10) satisfying the boundary conditions (1.11) in \((a, b)\). Then
where \(\mu_{0}\), \(\gamma_{0}\) and \(z_{\alpha}\) are the same as in Theorem 3.1.
Based on Corollaries 3.2 and 3.12, Corollary 3.13 is obvious.
Corollary 3.13
Let \(x(t)\) be a nontrivial solution of the boundary value problem (1.10)-(1.11). If \(x(t)\neq0\) in \((a, b)\), then
where \(\mu_{0}\), \(\gamma_{0}\) and \(z_{\alpha}\) are the same as in Theorem 3.1.
Corollary 3.14
Disconjugacy
If
holds, then equation (1.10) is disconjugate in \([a, b]\), where \(\mu _{0}\), \(\gamma_{0}\) and \(z_{0}\) are the same as in Theorem 3.1.
As before, we show our results relating to equations (1.13) and (1.14) under the boundary conditions (1.11) when n (\(n\geq3\)) is a positive even integer.
Corollary 3.15
Let \(x(t)\) be a nontrivial solution of the boundary value problem (1.13) and (1.11). If \(x(t)\neq0\) in \((a, b)\), then
-
(i)
Hartman type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a} \bigl[(b-s) (s-a) \bigr]^{\alpha-1} \biggl[1- \biggl(\frac{b-s}{b-a} \biggr)^{\frac{\alpha-1}{\alpha-2}} \biggr]^{2-\alpha } \bigl[\gamma_{0}q^{+}(s)+\big| f(s)\big|\bigr]\,ds \biggr) \\ \quad\quad{}\times \biggl( \int^{b}_{a} \bigl[(b-s) (s-a) \bigr]^{\alpha-1} \biggl[1- \biggl(\frac {b-s}{b-a} \biggr)^{\frac{\alpha-1}{\alpha-2}} \biggr]^{2-\alpha}q^{+}(s) \, ds \biggr)^{\frac{1}{n-1}}\\\quad > \bigl[\Gamma(\alpha) (b-a)^{\alpha-1} \bigr]^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}}; \end{gathered}$$ -
(ii)
Lyapunov type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a}\bigl[\gamma_{0}q^{+}(s)+\big| f(s)\big|\bigr]\, ds \biggr) \biggl( \int^{b}_{a}q^{+}(s)\,ds \biggr)^{\frac{1}{n-1}}\\\quad >(n-1)n^{\frac{n}{1-n}} \biggl[\frac{\Gamma(\alpha)}{ (b-a)^{\alpha-1}} \biggr]^{\frac{n}{n-1}} \biggl[\frac{ (1-z^{\frac{\alpha -1}{\alpha-2}} )^{\alpha-2}}{z^{\alpha-1}_{\alpha}(1-z_{\alpha })^{\alpha-1}} \biggr]^{\frac{n}{n-1}}, \end{gathered}$$where the constants \(\gamma_{0}\) and \(z_{\alpha}\) are the same as in Theorem 3.1.
Corollary 3.16
Let \(x(t)\) be a nontrivial solution of the boundary value problem (1.14) and (1.11). If \(x(t)\neq0\) in \((a, b)\), then
-
(i)
Hartman type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a} \bigl[(b-s) (s-a) \bigr]^{\alpha-1} \biggl[1- \biggl(\frac{b-s}{b-a} \biggr)^{\frac{\alpha-1}{\alpha-2}} \biggr]^{2-\alpha } \bigl[\mu_{0}p^{+}(s)+\big| f(s)\big|\bigr]\,ds \biggr) \\ \qquad{}\times \biggl( \int^{b}_{a} \bigl[(b-s) (s-a) \bigr]^{\alpha-1} \biggl[1- \biggl(\frac {b-s}{b-a} \biggr)^{\frac{\alpha-1}{\alpha-2}} \biggr]^{2-\alpha}p^{+}(s) \, ds \biggr)^{\frac{1}{n-1}}\\\quad > \bigl[\Gamma(\alpha) (b-a)^{\alpha-1} \bigr]^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}}; \end{gathered}$$ -
(ii)
Lyapunov type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a}p^{+}(s)\,ds \biggr)^{\frac {1}{n-1}} \biggl( \int^{b}_{a}\bigl[\mu_{0}p^{+}(s)+\big| f(s)\big|\bigr]\,ds \biggr) \\\quad>(n-1)n^{\frac{n}{1-n}} \biggl[\frac{\Gamma(\alpha)}{ (b-a)^{\alpha-1}} \biggr]^{\frac{n}{n-1}} \biggl[\frac{ (1-z^{\frac{\alpha -1}{\alpha-2}} )^{\alpha-2}}{z^{\alpha-1}_{\alpha}(1-z_{\alpha })^{\alpha-1}} \biggr]^{\frac{n}{n-1}}, \end{gathered}$$where the constants \(\mu_{0}\) and \(z_{\alpha}\) are the same as in Theorem 3.1.
Next we present the following conclusions corresponding to the boundary conditions (1.12).
Theorem 3.17
Hartman type inequality
Let \(x(t)\) be a negative solution of equation (1.10) satisfying the boundary conditions (1.12) in \((a, b)\). Then
where \(\mu_{0}\) and \(\gamma_{0}\) are the same as in Theorem 3.1.
Proof
Similar to the proof of Theorem 3.9. □
Based on Theorems 3.5 and 3.17, we get Theorem 3.18.
Theorem 3.18
Hartman type inequality
Let \(x(t)\) be a nontrivial solution of the boundary value problem (1.10) and (1.12). If \(x(t)\neq0\) in \((a, b)\), then
where \(\mu_{0}\) and \(\gamma_{0}\) are the same as in Theorem 3.1.
As before, we obtain Corollary 3.19.
Corollary 3.19
Lyapunov type inequality
Let \(x(t)\) be a negative solution of equation (1.10) satisfying the boundary conditions (1.12) in \((a, b)\). Then
where \(\mu_{0}\) and \(\gamma_{0}\) are the same as in Theorem 3.1.
Based on Corollaries 3.6 and 3.19, we get Corollary 3.20.
Corollary 3.20
Lyapunov type inequality
Let \(x(t)\) be a nontrivial solution of the boundary value problem (1.10) and (1.12). If \(x(t)\neq0\) in \((a, b)\), then
where \(\mu_{0}\) and \(\gamma_{0}\) are the same as in Theorem 3.1.
Similarly, equations (1.13) and (1.14) also admit the above conclusions.
Corollary 3.21
Let \(x(t)\) be a nontrivial solution of the boundary value problem (1.12)-(1.13). If \(x(t)\neq0\) in \((a, b)\), then
-
(i)
Hartman type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a} \bigl[(b-s)^{\alpha-2}(s-a) \bigr] \bigl[\gamma_{0}q^{+}(s)+\big| f(s)\big|\bigr]\,ds \biggr) \biggl( \int^{b}_{a} \bigl[(b-s)^{\alpha-2}(s-a) \bigr]q^{+}(s)\, ds \biggr)^{\frac{1}{n-1}} \\ \quad>\Gamma( \alpha)^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}}; \end{gathered}$$ -
(ii)
Lyapunov type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a}q^{+}(s)\,ds \biggr)^{\frac {1}{n-1}} \biggl( \int^{b}_{a}\bigl[\gamma_{0}q^{+}(s)+\big| f(s)\big|\bigr]\,ds \biggr) \\ \quad>\Gamma(\alpha)^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}} \bigl[(\alpha -2)^{\alpha-2}(b-a)^{\alpha-1}(\alpha-1)^{1-\alpha} \bigr]^{\frac {n}{1-n}}, \end{gathered}$$where the constant \(\gamma_{0}\) is the same as in Theorem 3.1.
Corollary 3.22
Let \(x(t)\) be a nontrivial solution of the boundary value problem (1.14) and (1.12). If \(x(t)\neq0\) in \((a, b)\), then
-
(i)
Hartman type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a} \bigl[(b-s)^{\alpha-2}(s-a) \bigr] \bigl[\mu _{0}p^{+}(s)+\big| f(s)\big|\bigr]\,ds \biggr) \biggl( \int^{b}_{a} \bigl[(b-s)^{\alpha-2}(s-a) \bigr]p^{+}(s)\, ds \biggr)^{\frac{1}{n-1}} \\\quad>\Gamma( \alpha)^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}}; \end{gathered}$$ -
(ii)
Lyapunov type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a}p^{+}(s)\,ds \biggr)^{\frac {1}{n-1}} \biggl( \int^{b}_{a}\bigl[\mu_{0}p^{+}(s)+\big| f(s)\big|\bigr]\,ds \biggr) \\ \quad>\Gamma(\alpha)^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}} \bigl[(\alpha -2)^{\alpha-2}(b-a)^{\alpha-1}(\alpha-1)^{1-\alpha} \bigr]^{\frac {n}{1-n}}, \end{gathered}$$where the constant \(\mu_{0}\) is the same as in Theorem 3.1.
When \(\gamma\rightarrow1^{-}\) (or \(\mu\rightarrow1^{+}\)), equation (1.13) (or equation (1.14)) reduces to the forced Riemann-Liouville linear fractional differential equation of order \(\alpha\in(n-1, n]\)
where \(v(t)=q(t)\) (or \(v(t)=p(t)\)). Since
we can also get Lyapunov type inequalities from the above conclusions. Here we take the following corollaries for instance.
Corollary 3.23
Let \(x(t)\) be a nontrivial solution of the boundary value problem (3.16) and (1.11) when n (\(n\geq3\)) is a positive even integer. If \(x(t)\neq0\) in \((a, b)\), then
-
(i)
Hartman type inequality:
$$ \begin{aligned}[b] &\biggl( \int^{b}_{a} \bigl[(b-s) (s-a) \bigr]^{\alpha-1} \biggl[1- \biggl(\frac{b-s}{b-a} \biggr)^{\frac{\alpha-1}{\alpha-2}} \biggr]^{2-\alpha } \bigl[(n-1)n^{\frac{n}{1-n}}v^{+}(s)+\big| f(s)\big| \bigr]\,ds \biggr) \\ &\quad\quad{}\times \biggl( \int^{b}_{a} \bigl[(b-s) (s-a) \bigr]^{\alpha-1} \biggl[1- \biggl(\frac {b-s}{b-a} \biggr)^{\frac{\alpha-1}{\alpha-2}} \biggr]^{2-\alpha}v^{+}(s) \, ds \biggr)^{\frac{1}{n-1}} \\ &\quad> \bigl[\Gamma(\alpha) (b-a)^{\alpha-1} \bigr]^{\frac{n}{n-1}}(n-1)n^{\frac {n}{1-n}}; \end{aligned}$$(3.17) -
(ii)
Lyapunov type inequality:
$$ \begin{aligned}[b] &\biggl( \int^{b}_{a}v^{+}(s)\,ds \biggr)^{\frac {1}{n-1}} \biggl( \int^{b}_{a} \bigl[(n-1)n^{\frac{n}{1-n}}v^{+}(s)+\big| f(s)\big| \bigr]\,ds \biggr) \\ &\quad>(n-1)n^{\frac{n}{1-n}} \biggl[\frac{\Gamma(\alpha)}{ (b-a)^{\alpha-1}} \biggr]^{\frac{n}{n-1}} \biggl[ \frac{ (1-z^{\frac{\alpha -1}{\alpha-2}} )^{\alpha-2}}{z^{\alpha-1}_{\alpha}(1-z_{\alpha })^{\alpha-1}} \biggr]^{\frac{n}{n-1}}, \end{aligned}$$(3.18)where \(\mu_{0}\), \(\gamma_{0}\) and \(z_{\alpha}\) are the same as in Theorem 3.1.
Remark 3
When \(f(t)\equiv0\) and \(\mu\rightarrow1^{+}\) (or \(\gamma\rightarrow1^{-}\)), inequalities (3.17) and (3.18) coincide with [26, Corollaries 5.3 and 5.4]. The authors of [26] obtained Lyapunov type inequalities by means of norms rather than the property of functions in this paper.
Corollary 3.24
Let \(x(t)\) be a nontrivial solution of the boundary value problem (3.16) and (1.12) when n (\(n\geq3\)) is a positive even integer. If \(x(t)\neq0\) in \((a, b)\), then
-
(i)
Hartman type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a} \bigl[(b-s)^{\alpha-2}(s-a) \bigr] \bigl[(n-1)n^{\frac{n}{1-n}}v^{+}(s)+\big| f(s)\big| \bigr]\,ds \biggr)\\ \qquad{}\times \biggl( \int^{b}_{a} \bigl[(b-s)^{\alpha-2}(s-a) \bigr]v^{+}(s)\, ds \biggr)^{\frac{1}{n-1}} \\\quad >\Gamma(\alpha)^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}}; \end{gathered}$$ -
(ii)
Lyapunov type inequality:
$$\begin{gathered} \biggl( \int^{b}_{a}v^{+}(s)\,ds \biggr)^{\frac {1}{n-1}} \biggl( \int^{b}_{a} \bigl[(n-1)n^{\frac{n}{1-n}}v^{+}(s)+\big| f(s)\big| \bigr]\,ds \biggr) \\ \quad>\Gamma(\alpha)^{\frac{n}{n-1}}(n-1)n^{\frac{n}{1-n}} \bigl[(\alpha -2)^{\alpha-2}(b-a)^{\alpha-1}(\alpha-1)^{1-\alpha} \bigr]^{\frac {n}{1-n}}, \end{gathered}$$where \(\mu_{0}\) and \(\gamma_{0}\) are the same as in Theorem 3.1.
Now we present an application of the obtained results to eigenvalue problems.
Example 3.25
Consider the following eigenvalue problem:
where n (\(n\geq3\)) is a positive even integer. If λ is an eigenvalue of the boundary value problem (3.19), then
Proof
Suppose that λ is an eigenvalue of the boundary value problem (3.19), then (3.19) has at least one nontrivial continuous solution in \((a, b)\). From Corollary 3.24, we obtain that
From [21], we know that
Substituting (3.22) into inequality (3.21), it is easy to see that
□
4 Concluding remarks
We conclude this paper with the following remarks. The results obtained in this paper for equation (1.10) under the boundary conditions (1.11) or (1.12) can be easily generalized to the Riemann-Liouville fractional forced differential equations of order \(\alpha\in(n-1, n]\) (\(n\geq3\)) with no sign restrictions on coefficients
or more universally equation of the form
where
and the functions \(q_{k}\) (\(k=1, \ldots, n\)) and the forcing term f have no sign restrictions. When n (\(n\geq3\)) is a positive even integer, we also have corresponding results similar to Corollary 3.24. The reader can easily obtain the formulae of these results.
References
Liapunov, AM: Probleme général de la stabilité du mouvement. Ann. Fac. Sci. Univ. Toulouse 2, 27-247 (1907)
Wintner, A: On the nonexistence of conjugate points. Am. J. Math. 73, 368-380 (1951)
Hartman, P: Ordinary Differential Equations. Wiley, New York (1964). 2nd edn. Birkhäuser, Boston (1982)
Zheng, Z, Zhang, W: Characterization of eigenvalues in spectral gap for singular differential operators. Abstr. Appl. Anal. 2012, Article ID 271657 (2012)
Qi, J, Zheng, Z, Sun, H: Classification of Sturm-Liouville differential equations with complex coefficients and operator realizations. Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 467, 1835-1850 (2011)
Zheng, Z, Qi, J, Chen, S: Eigenvalues below the lower bound of minimal operators of singular Hamiltonian expressions. Comput. Math. Appl. 56(11), 2825-2833 (2008)
Zheng, Z: Invariance of deficiency indices under perturbation for discrete Hamiltonian systems. J. Differ. Equ. Appl. 19(8), 1243-1250 (2013)
Zheng, Z, Wang, X, Han, H: Oscillation criteria for forced second order differential equations with mixed nonlinearities. Appl. Math. Lett. 22(7), 1096-1101 (2009)
Cai, J, Zheng, Z: A singular Sturm-Liouville problem with limit circle. Discrete Dyn. Nat. Soc. 2017, Article ID 9673846 (2017)
Shao, J, Meng, F: Generalized variational principles on oscillation for nonlinear nonhomogeneous differential equations. Abstr. Appl. Anal. 2011, Article ID 972656 (2011)
Meng, F, Huang, Y: Interval oscillation criteria for a forced second-order nonlinear differential equations with damping. Appl. Math. Comput. 218, 1857-1861 (2011)
Shao, J, Meng, F, Pang, X: Generalized variational oscillation principles for second order differential equations with mixed nonlinearities. Discrete Dyn. Nat. Soc. 2011, Article ID 972656 (2011)
Kong, X, Zheng, Z: Two-point oscillation for a class of second-order damped linear differential equations. Abstr. Appl. Anal. 2011, Article ID 420589 (2011)
Tang, X-H, Zhang, M: Lyapunov inequalities and stability for linear Hamiltonian systems. J. Differ. Equ. 252, 358-381 (2012)
Ferreira, RAC: A Lyapunov-type inequality for a fractional boundary value problem. Fract. Calc. Appl. Anal. 16, 978-984 (2013)
Ferreira, RAC: On a Lyapunov-type inequality and the zeros of a certain Mittag-Leffler function. J. Math. Anal. Appl. 412, 1058-1063 (2014)
Jleli, M, Samet, B: Lyapunov-type inequality for fractional boundary-value problems. Electron. J. Differ. Equ. 2015, Article ID 88 (2015)
Jleli, M, Ragoub, L, Samet, B: A Lyapunov-type inequality for a fractional differential equation under a Robin boundary condition. J. Funct. Spaces Appl. 2015, Article ID 468536 (2015)
O’Regan, D, Samet, B: Lyapunov-type inequalities for a class of fractional differential equations. J. Inequal. Appl. 2015, Article ID 247 (2015)
Rong, J, Bai, C: Lyapunov-type inequality for a fractional differential equation with fractional boundary value conditions. Electron. J. Qual. Theory Differ. Equ. 2015, Article ID 82 (2015)
Cabrera, I, Sadarangani, K, Samet, B: Hartman-Winter-type inequalities for a class of nonlocal fractional boundary value problems. Math. Methods Appl. Sci. 40, 129-136 (2017)
Agarwal, RP, Özbekler, A: Lyapunov type inequalities for mixed nonlinear Riemann-Liouville fractional differential equations with a forcing term. J. Comput. Appl. Math. 314, 69-78 (2017)
Agarwal, RP, Özbekler, A: Lyapunov type inequalities for a fractional differential equation with mixed boundary equations. Math. Inequal. Appl. 18(2), 443-451 (2015)
Agarwal, RP, Özbekler, A: Disconjugacy via Lyapunov and Vallee-Poussin type inequalities for forced differential equations. Appl. Math. Comput. 265, 456-468 (2015)
Chidouh, A, Torres, DFM: A generalized Lyapunov inequality for a fractional boundary value problem. Appl. Math. Comput. 312, 192-197 (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, Article ID 16 (2017)
Acknowledgements
The authors sincerely thank the referees for their constructive suggestions and corrections. This research was supported by the National Science Foundation of China (11671227 and 11271225).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The first and second authors announce to have no competing interests.
Authors’ contributions
The first and second authors contributed equally to the writing of this paper. Both 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
Zhang, L., Zheng, Z. Lyapunov type inequalities for the Riemann-Liouville fractional differential equations of higher order. Adv Differ Equ 2017, 270 (2017). https://doi.org/10.1186/s13662-017-1329-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1329-5