Open Access

Lyapunov-type inequalities for a fractional p-Laplacian equation

  • Nassir Al Arifi1,
  • Ishak Altun2, 3,
  • Mohamed Jleli4,
  • Aref Lashin5, 6 and
  • Bessem Samet4Email author
Journal of Inequalities and Applications20162016:189

https://doi.org/10.1186/s13660-016-1132-y

Received: 21 January 2016

Accepted: 20 July 2016

Published: 2 August 2016

Abstract

In this paper, we present new Lyapunov-type inequalities for a fractional boundary value problem that models a turbulent flow in a porous medium. The obtained inequalities are used to obtain a lower bound for the eigenvalues of corresponding equations.

Keywords

Lyapunov-type inequality fractional derivative eigenvalues turbulent flow

MSC

34A08 15A42 26D15 76F70

1 Introduction

The p-Laplacian operator arises in different mathematical models that describe physical and natural phenomena (see, for example, [16]). In particular, it is used in some models related to turbulent flows (see, for example, [79]).

In this paper, we present some Lyapunov-type inequalities for a fractional-order model for turbulent flow in a porous medium. More precisely, we are interested with the nonlinear fractional boundary value problem
$$ \left \{ \textstyle\begin{array}{l} D_{a^{+}}^{\beta}(\Phi_{p}(D_{a^{+}}^{\alpha}u(t)))+\chi(t)\Phi _{p}(u(t))=0, \quad a< t< b, \\ u(a)=u'(a)=u'(b)=0, \qquad D_{a^{+}}^{\alpha}u(a)=D_{a^{+}}^{\alpha}u(b)=0, \end{array}\displaystyle \right . $$
(1.1)
where \(2<\alpha\leq3\), \(1<\beta\leq2\), \(D_{a^{+}}^{\alpha}\), \(D_{a^{+}}^{\beta}\) are the Riemann-Liouville fractional derivatives of orders α, β, \(\Phi_{p}(s)=|s|^{p-2}s\), \(p>1\), and \(\chi: [a,b]\to\mathbb{R}\) is a continuous function. Under certain assumptions imposed on the function q, we obtain necessary conditions for the existence of nontrivial solutions to (1.1). Some applications to eigenvalue problems are also presented.
For completeness, let us recall the standard Lyapunov inequality [10], which states that if u is a nontrivial solution of the problem
$$ \left \{ \textstyle\begin{array}{l} u''(t)+\chi(t)u(t)=0,\quad a< t< b, \\ u(a)=u(b)=0, \end{array}\displaystyle \right . $$
where \(a< b\) are two consecutive zeros of u, and \(\chi: [a,b]\to \mathbb{R}\) is a continuous function, then
$$ \int_{a}^{b} \bigl\vert \chi(t)\bigr\vert \, \mathrm{d}t> \frac{4}{b-a}. $$
(1.2)
Note that in order to obtain this inequality, it is supposed that a and b are two consecutive zeros of u. In our case, as it will be observed in the proof of our main result, we assume just that u is a nontrivial solution to (1.1).

Inequality (1.2) is useful in various applications, including oscillation theory, stability criteria for periodic differential equations, and estimates for intervals of disconjugacy.

Several generalizations and extensions of inequality (1.2) to different boundary value problems exist in the literature. As examples, we refer to [1116] and the references therein.

Recently, some Lyapunov-type inequalities for fractional boundary value problems have been obtained. Ferreira [17] established a fractional version of inequality (1.2) for a fractional boundary value problem involving the Riemann-Liouville fractional derivative of order \(1<\alpha\leq2\). More precisely, Ferreira [17] studied the fractional boundary value problem
$$ \left \{ \textstyle\begin{array}{l} D_{a^{+}}^{\alpha}u(t)+\chi(t)u(t)=0,\quad a< t< b, \\ u(a)=u(b)=0, \end{array}\displaystyle \right . $$
(1.3)
where \(D_{a^{+}}^{\alpha}\) is the Riemann-Liouville fractional derivative of order \(1<\alpha\leq2\), and \(\chi: [a,b]\to\mathbb{R}\) is a continuous function. In this case, it was proved that if (1.3) has a nontrivial solution, then
$$\int_{a}^{b} \bigl\vert \chi(t)\bigr\vert \, \mathrm{d}t> \Gamma(\alpha) \biggl(\frac {4}{b-a} \biggr)^{\alpha-1}, $$
where Γ is the Euler gamma function. Observe that if we take \(\alpha=2\) in the last inequality, we obtain the standard Lyapunov inequality (1.2).

Ferreira [18] established a fractional version of inequality (1.2) for a fractional boundary value problem involving the Caputo fractional derivative of order \(1<\alpha\leq2\). In both papers [17, 18], the author presented nice applications to obtain intervals where certain Mittag-Leffler functions have no real zeros.

Jleli and Samet [19] studied a fractional differential equation involving the Caputo fractional derivative under mixed boundary conditions. More precisely, they considered the fractional differential equation
$$ {}^{\mathrm{C}}D_{a^{+}}^{\alpha}u(t)+ \chi(t)u(t)=0,\quad a< t< b, $$
(1.4)
under the mixed boundary conditions
$$ u(a)=u'(b)=0 $$
(1.5)
or
$$ u'(a)=u(b)=0, $$
(1.6)
where \({}^{\mathrm{C}}D_{a^{+}}^{\alpha}\) is the Caputo fractional derivative of order \(1<\alpha\leq2\). For the boundary conditions (1.5) and (1.6), the following two Lyapunov-type inequalities were derived respectively:
$$\int_{a}^{b} (b-s)^{\alpha-2}\bigl\vert q(s) \bigr\vert \,\mathrm{d}s\geq\frac{\Gamma(\alpha )}{\max\{\alpha-1,2-\alpha\}(b-a)} $$
and
$$\int_{a}^{b} (b-s)^{\alpha-1}\bigl\vert q(s) \bigr\vert \,\mathrm{d}s\geq\Gamma(\alpha). $$
The same equation (1.4) was considered by Rong and Bai [20] with the fractional boundary condition
$$u(a)= {}^{\mathrm{C}}D_{a^{+}}^{\beta}u(b)=0, $$
where \(0<\beta\leq1\).

For other related results, we refer to [2123] and the references therein.

The paper is organized as follows. In Section 2, we recall some basic concepts on fractional calculus and establish some preliminary results that will be used in Section 3, where we state and prove our main result. In Section 4, we present some applications of the obtained Lyapunov-type inequalities to eigenvalue problems.

2 Preliminaries

For the convenience of the reader, we recall some basic concepts on fractional calculus to make easy the analysis of (1.1). For more details, we refer to [24].

Let \(C[a,b]\) be the set of real-valued and continuous functions in \([a,b]\). Let \(f\in C[a,b]\). Let \(\alpha\geq0\). The Riemann-Liouville fractional integral of order α of f is defined by \(I_{a}^{0} f\equiv f\) and
$$\bigl(I_{a^{+}}^{\alpha}f\bigr) (t)=\frac{1}{\Gamma(\alpha)} \int_{a}^{t} (t-s)^{\alpha-1}f(s) \,\mathrm{d}s, \quad \alpha>0, t\in[a,b], $$
where Γ is the gamma function.
The Riemann-Liouville fractional derivative of order \(\alpha>0\) of f is defined by
$$\bigl(D_{a^{+}}^{\alpha}f\bigr) (t)=\frac{1}{\Gamma(n-\alpha)} \biggl( \frac {\mathrm{d}}{\mathrm{d}t} \biggr)^{n} \int_{a}^{t} \frac{f(s)}{(t-s)^{\alpha-n+1}} \,\mathrm{d}s,\quad t \in[a,b], $$
where \(n=[\alpha]+1\).

Lemma 2.1

(see [24])

Let \(\alpha>0\). If \(D_{a^{+}}^{\alpha}u\in C[a,b]\), then
$$I_{a^{+}}^{\alpha}D_{a^{+}}^{\alpha}u(t)=u(t)+ \sum _{k=1}^{n} c_{k}(t-a)^{\alpha-k}, $$
where \(n=[\alpha]+1\).

Now, in order to obtain an integral formulation of (1.1), we need the following results.

Lemma 2.2

Let \(2<\alpha\leq3\) and \(y\in C[a,b]\). Then the problem
$$ \left \{ \textstyle\begin{array}{l} D_{a^{+}}^{\alpha}u(t)+y(t)=0, \quad a< t< b, \\ u(a)=u'(a)=u'(b)=0 \end{array}\displaystyle \right . $$
has a unique solution
$$u(t)= \int_{a}^{b} G(t,s)y(s) \,\mathrm{d}s, $$
where
$$ G(t,s)=\frac{1}{\Gamma(\alpha)} \left \{ \textstyle\begin{array}{l@{\quad}l} (\frac{b-s}{b-a} )^{\alpha-2}(t-a)^{\alpha -1}-(t-s)^{\alpha-1}, & a\leq s\leq t\leq b, \\ (\frac{b-s}{b-a} )^{\alpha-2}(t-a)^{\alpha-1},& a\leq t\leq s\leq b. \end{array}\displaystyle \right . $$

Proof

From Lemma 2.1 we have
$$u(t)=-\bigl(I_{a^{+}}^{\alpha}y\bigr) (t)+c_{1}(t-a)^{\alpha-1}+c_{2}(t-a)^{\alpha -2}+c_{3}(t-a)^{\alpha-3} $$
for some real constants \(c_{i}\), \(i=1,2,3\), that is,
$$u(t)=-\frac{1}{\Gamma(\alpha)} \int_{a}^{t}(t-s)^{\alpha-1}y(s) \, \mathrm{d}s+c_{1}(t-a)^{\alpha-1}+c_{2}(t-a)^{\alpha-2} +c_{3}(t-a)^{\alpha-3}. $$
The condition \(u(a)=0\) yields \(c_{3}=0\). Therefore,
$$u'(t)=-\frac{(\alpha-1)}{\Gamma(\alpha)} \int_{a}^{t} (t-s)^{\alpha -2}y(s) \, \mathrm{d}s+c_{1}(\alpha-1) (t-a)^{\alpha-2}+c_{2}(\alpha -2) (t-a)^{\alpha-3}. $$
The condition \(u'(a)=0\) implies that \(c_{2}=0\). Then
$$u'(b)=-\frac{(\alpha-1)}{\Gamma(\alpha)} \int_{a}^{b} (b-s)^{\alpha -2}y(s) \, \mathrm{d}s+c_{1}(\alpha-1) (b-a)^{\alpha-2}. $$
Since \(u'(b)=0\), we get
$$c_{1}=\frac{1}{(b-a)^{\alpha-2}\Gamma(\alpha)} \int_{a}^{b} (b-s)^{\alpha -2}y(s) \,\mathrm{d}s. $$
Thus,
$$u(t)=- \int_{a}^{t}\frac{(t-s)^{\alpha-1}y(s)}{\Gamma(\alpha)} \,\mathrm{d}s+ \int_{a}^{b} \frac{1}{\Gamma(\alpha)} \biggl( \frac {b-s}{b-a} \biggr)^{\alpha-2}(t-a)^{\alpha-1}y(s) \,\mathrm{d}s. $$
For the uniqueness, suppose that \(u_{1}\) and \(u_{2}\) are two solutions of the considered problem. Define \(u=u_{1}-u_{2}\). By linearity, u solves the boundary value problem
$$ \left \{ \textstyle\begin{array}{l} D_{a^{+}}^{\alpha}u(t)=0, \quad a< t< b, \\ u(a)=u'(a)=u'(b)=0, \end{array}\displaystyle \right . $$
which has as a unique solution \(u=0\). Therefore, \(u_{1}=u_{2}\), and the uniqueness follows. □

Lemma 2.3

Let \(y\in C[a,b]\), \(2<\alpha\leq3\), \(1<\beta\leq2\), \(p>1\), and \(\frac{1}{p}+ \frac{1}{q}=1\). Then the problem
$$ \left \{ \textstyle\begin{array}{l} D_{a^{+}}^{\beta}(\Phi_{p}(D_{a^{+}}^{\alpha}u(t)))+y(t)=0,\quad a< t< b, \\ u(a)=u'(a)=u'(b)=0,\qquad D_{a^{+}}^{\alpha}u(a)=D_{a^{+}}^{\alpha}u(b)=0 \end{array}\displaystyle \right . $$
has a unique solution
$$u(t)=- \int_{a}^{b} G(t,s)\Phi_{q} \biggl( \int_{a}^{b} H(s,\tau)y(\tau) \, \mathrm{d}\tau \biggr) \,\mathrm{d}s, $$
where
$$ H(t,s)=\frac{1}{\Gamma(\beta)} \left \{ \textstyle\begin{array}{l@{\quad}l} (\frac{b-s}{b-a} )^{\beta-1}(t-a)^{\beta-1}-(t-s)^{\beta -1}, & a\leq s\leq t\leq b, \\ (\frac{b-s}{b-a} )^{\beta-1}(t-a)^{\beta-1}, & a\leq t\leq s\leq b. \end{array}\displaystyle \right . $$

Proof

From Lemma 2.1 we have
$$\Phi_{p}\bigl(D_{a^{+}}^{\alpha}u\bigr) (t)=- \int_{a}^{t} \frac{(t-s)^{\beta-1}}{\Gamma (\beta)}y(s) \, \mathrm{d}s+c_{1}(t-a)^{\beta-1} +c_{2}(t-a)^{\beta-2}, $$
where \(c_{i}\), \(i=1,2\), are real constants. The condition \(D_{a^{+}}^{\alpha}u(a)=0\) implies that \(\Phi_{p}(D_{a^{+}}^{\alpha}u)(a)=0\), which yields \(c_{2}=0\). The condition \(D_{a^{+}}^{\alpha}u(b)=0\) implies that \(\Phi _{p}(D_{a^{+}}^{\alpha}u)(b)=0\), which yields
$$c_{1}=\frac{1}{(b-a)^{\beta-1}} \int_{a}^{b} \frac{(b-s)^{\beta -1}}{\Gamma(\beta)}y(s) \,\mathrm{d}s. $$
Therefore,
$$\Phi_{p}\bigl(D_{a^{+}}^{\alpha}u\bigr) (t)=- \int_{a}^{t} \frac{(t-s)^{\beta-1}}{\Gamma (\beta)}y(s) \,\mathrm{d}s+ \frac{1}{(b-a)^{\beta-1}} \int_{a}^{b} \frac {(b-s)^{\beta-1}(t-a)^{\beta-1}}{\Gamma(\beta)}y(s) \,\mathrm{d}s, $$
that is,
$$\Phi_{p}\bigl(D_{a^{+}}^{\alpha}u\bigr) (t)= \int_{a}^{b} H(t,\tau)y(\tau) \,\mathrm{d}\tau. $$
Then we have
$$D_{a^{+}}^{\alpha}u(t)-\Phi_{q} \biggl( \int_{a}^{b} H(t,\tau)y(\tau) \,\mathrm{d}s \biggr)=0. $$
Setting
$$\tilde{y}(t)=-\Phi_{q} \biggl( \int_{a}^{b} H(t,\tau)y(\tau) \,\mathrm{d}\tau \biggr), $$
we obtain
$$ \left \{ \textstyle\begin{array}{l} D_{a^{+}}^{\alpha}u(t)+\tilde{y}(t)=0,\quad a< t< b, \\ u(a)=u'(a)=u'(b)=0. \end{array}\displaystyle \right . $$
Finally, applying Lemma 2.2, we obtain the desired result. □

The following estimates will be useful later.

Lemma 2.4

We have
$$0\leq G(t,s)\leq G(b,s),\quad (t,s)\in[a,b]\times[a,b]. $$

Proof

Differentiating with respect to t, we obtain
$$ G_{t}(t,s)=\frac{(\alpha-1)}{\Gamma(\alpha)} \left \{ \textstyle\begin{array}{l@{\quad}l} (\frac{b-s}{b-a} )^{\alpha-2}(t-a)^{\alpha -2}-(t-s)^{\alpha-2}, & a\leq s\leq t\leq b, \\ (\frac{b-s}{b-a} )^{\alpha-2}(t-a)^{\alpha-2},& a\leq t\leq s\leq b. \end{array}\displaystyle \right . $$
Set
$$g_{1}(t,s)= \biggl(\frac{b-s}{b-a} \biggr)^{\alpha-2}(t-a)^{\alpha -2}-(t-s)^{\alpha-2}, \quad a\leq s\leq t\leq b $$
and
$$g_{2}(t,s)= \biggl(\frac{b-s}{b-a} \biggr)^{\alpha-2}(t-a)^{\alpha -2}, \quad a\leq t\leq s\leq b. $$
Clearly,
$$g_{2}(t,s)\geq0,\quad a\leq t\leq s\leq b. $$
On the other hand, using the inequality
$$(b-s) (t-a)\geq(t-s) (b-a), \quad a\leq s\leq t\leq b, $$
and the fact that \(\alpha>2\), we obtain
$$(b-s)^{\alpha-2}(t-a)^{\alpha-2}\geq(t-s)^{\alpha-2}(b-a)^{\alpha -2}, \quad a\leq s\leq t\leq b, $$
which yields
$$g_{1}(t,s)\geq0,\quad a\leq s\leq t\leq b. $$
As consequence, we have
$$G_{t}(t,s)\geq0,\quad (t,s)\in[a,b]\times[a,b]. $$
Then \(G(\cdot,s)\) is a nondecreasing function for all \(s\in[a,b]\), which yields
$$0=G(a,s)\leq G(t,s)\leq G(b,s),\quad (t,s)\in[a,b]\times[a,b]. $$
The proof is complete. □

Lemma 2.5

We have
$$0\leq H(t,s)\leq H(s,s),\quad (t,s)\in[a,b]\times[a,b]. $$

Proof

Observe that \(H(t,s)=G_{t}(t,s)\) for \(\alpha =\beta+1\). Then, from the proof of Lemma 2.4 we have
$$H(t,s)\geq0,\quad (t,s)\in[a,b]\times[a,b]. $$
On the other hand, for all \(s\in[a,b]\), we have
$$\Gamma(\beta)H(s,s)= \biggl(\frac{b-s}{b-a} \biggr)^{\beta -1}(s-a)^{\beta-1}. $$
For \(a\leq t\leq s\leq b\), we have
$$\begin{aligned} \Gamma(\beta)H(t,s) =& \biggl(\frac{b-s}{b-a} \biggr)^{\beta -1}(t-a)^{\beta-1} \\ \leq& \biggl(\frac{b-s}{b-a} \biggr)^{\beta-1}(s-a)^{\beta-1} \\ =&\Gamma(\beta)H(s,s). \end{aligned}$$
For \(a\leq s< t\leq b\), we have
$$\Gamma(\beta)H(t,s)= \biggl(\frac{b-s}{b-a} \biggr)^{\beta -1}(t-a)^{\beta-1}-(t-s)^{\beta-1}. $$
Let \(s\in[a,b)\) be fixed. Define the function \(\psi:(s,b]\to\mathbb {R}\) by
$$\psi(t)=\Gamma(\beta)H(t,s), \quad t\in(s,b]. $$
We have
$$\psi'(t)=(\beta-1) \biggl[ \biggl(\frac{b-s}{b-a} \biggr)^{\beta -1}(t-a)^{\beta-2}-(t-s)^{\beta-2} \biggr], \quad t \in(s,b]. $$
Using the inequalities
$$\biggl(\frac{b-s}{b-a} \biggr)^{\beta-1}\leq1,\qquad \beta-2\leq0,\qquad (t-a)^{\beta-2}\leq(t-s)^{\beta-2}, $$
we get
$$\psi'(t)\leq0, \quad t\in(s,b]. $$
Thus, for all \(t\in(s,b]\), we have
$$\psi(t)\leq\psi(s), $$
that is,
$$\Gamma(\beta)H(t,s)\leq\Gamma(\beta)H(s,s),\quad t\in(s,b]. $$
The proof is complete. □

Now, we are ready to state and prove our main result.

3 Main result

Our main result is the following Lyapunov-type inequality.

Theorem 3.1

Suppose that \(2<\alpha\leq3\), \(1<\beta\leq2\), \(p>1\), and \(\chi: [a,b]\to\mathbb{R}\) is a continuous function. If (1.1) has a nontrivial continuous solution, then
$$\begin{aligned}& \int_{a}^{b} (b-s)^{\beta-1}(s-a)^{\beta-1} \bigl\vert \chi(s)\bigr\vert \,\mathrm{d}s \\& \quad \geq\bigl[\Gamma(\alpha) \bigr]^{p-1}\Gamma(\beta) (b-a)^{\beta-1} \biggl( \int_{a}^{b}(b-s)^{\alpha-2}(s-a) \,\mathrm{d}s \biggr)^{1-p}. \end{aligned}$$
(3.1)

Proof

We endow the set \(C[a,b]\) with the Chebyshev norm \(\|\cdot\|_{\infty}\) given by
$$\|u\|_{\infty}=\max\bigl\{ \bigl\vert u(t)\bigr\vert : a\leq t\leq b \bigr\} , \quad u\in C[a,b]. $$
Suppose that \(u\in C[a,b]\) is a nontrivial solution of (1.1). From Lemma 2.3 we have
$$u(t)=- \int_{a}^{b} G(t,s)\Phi_{q} \biggl( \int_{a}^{b} H(s,\tau)\chi(\tau )\Phi_{p} \bigl(u(\tau)\bigr) \,\mathrm{d}\tau \biggr) \,\mathrm{d}s, \quad t\in[a,b]. $$
Let \(t\in[a,b]\) be fixed. We have
$$\begin{aligned} \bigl|u(t)\bigr| \leq& \int_{a}^{b} \bigl\vert G(t,s)\bigr\vert \biggl\vert \Phi_{q} \biggl( \int_{a}^{b} H(s,\tau)\chi(\tau)\phi_{p} \bigl(u(\tau)\bigr) \,\mathrm{d}\tau \biggr) \biggr\vert \,\mathrm{d}s \\ =& \int_{a}^{b} \bigl\vert G(t,s)\bigr\vert \biggl\vert \int_{a}^{b} H(s,\tau)\chi(\tau)\Phi _{p} \bigl(u(\tau)\bigr) \,\mathrm{d}\tau\biggr\vert ^{q-1} \,\mathrm{d}s \\ \leq& \int_{a}^{b} \bigl\vert G(t,s)\bigr\vert \theta(s) \,\mathrm{d}s, \end{aligned}$$
where
$$\theta(s)= \biggl( \int_{a}^{b} \bigl\vert H(s,\tau)\bigr\vert \bigl\vert \chi(\tau)\bigr\vert \bigl\vert u(\tau)\bigr\vert ^{p-1} \,\mathrm{d}\tau \biggr)^{q-1}, \quad s\in[a,b]. $$
Using Lemma 2.4 and Lemma 2.5, we obtain
$$\bigl\vert u(t)\bigr\vert \leq\|u\|_{\infty}^{(p-1)(q-1)} \biggl( \int_{a}^{b}G(b,s) \,\mathrm{d}s \biggr) \biggl( \int_{a}^{b} H(s,s)\bigl\vert \chi(s)\bigr\vert \,\mathrm{d}s \biggr)^{q-1}. $$
Since the last inequality holds for every \(t\in[a,b]\), we obtain
$$1\leq \biggl( \int_{a}^{b}G(b,s) \,\mathrm{d}s \biggr) \biggl( \int_{a}^{b} H(s,s)\bigl\vert \chi(s)\bigr\vert \,\mathrm{d}s \biggr)^{q-1}, $$
which yields the desired result. □

Corollary 3.2

Suppose that \(2<\alpha\leq3\), \(1<\beta\leq2\), \(p>1\), and \(\chi: [a,b]\to\mathbb{R}\) is a continuous function. If (1.1) has a nontrivial continuous solution, then
$$ \int_{a}^{b} \bigl\vert \chi(s)\bigr\vert \, \mathrm{d}s\geq\frac{4^{\beta-1}[\Gamma (\alpha)]^{p-1}\Gamma(\beta)}{(b-a)^{\beta-1}} \biggl( \int _{a}^{b}(b-s)^{\alpha-2}(s-a) \,\mathrm{d}s \biggr)^{1-p}. $$
(3.2)

Proof

Let
$$\psi(s)=(b-s) (s-a), \quad s\in[a,b]. $$
Observe that the function ψ has a maximum at the point \(s^{*}=\frac {a+b}{2}\), that is,
$$\|\psi\|_{\infty}=\psi\bigl(s^{*}\bigr)=\frac{(b-a)^{2}}{4}. $$
The desired result follows immediately from the last equality and inequality (3.1). □
For \(p=2\), problem (1.1) becomes
$$ \left \{ \textstyle\begin{array}{l} D_{a^{+}}^{\beta}(D_{a^{+}}^{\alpha}u(t))+\chi(t)u(t)=0,\quad a< t< b, \\ u(a)=u'(a)=u'(b)=0, \qquad D_{a^{+}}^{\alpha}u(a)=D_{a^{+}}^{\alpha}u(b)=0, \end{array}\displaystyle \right . $$
(3.3)
where \(2<\alpha\leq3\), \(1<\beta\leq2\), and \(\chi: [a,b]\to\mathbb {R}\) is a continuous function. In this case, taking \(p=2\) in Theorem 3.1, we obtain the following result.

Corollary 3.3

Suppose that \(2<\alpha\leq3\), \(1<\beta\leq2\), and \(\chi: [a,b]\to \mathbb{R}\) is a continuous function. If (3.3) has a nontrivial continuous solution, then
$$\int_{a}^{b} (b-s)^{\beta-1}(s-a)^{\beta-1} \bigl\vert \chi(s)\bigr\vert \,\mathrm{d}s\geq\Gamma(\alpha)\Gamma(\beta) (b-a)^{\beta-1} \biggl( \int_{a}^{b}(b-s)^{\alpha-2}(s-a) \,\mathrm{d}s \biggr)^{-1}. $$

Taking \(p=2\) in Corollary 3.2, we obtain the following result.

Corollary 3.4

Suppose that \(2<\alpha\leq3\), \(1<\beta\leq2\), and \(\chi: [a,b]\to \mathbb{R}\) is a continuous function. If (3.3) has a nontrivial continuous solution, then
$$\int_{a}^{b} \bigl\vert \chi(s)\bigr\vert \, \mathrm{d}s\geq\frac{4^{\beta-1}\Gamma (\alpha)\Gamma(\beta)}{(b-a)^{\beta-1}} \biggl( \int _{a}^{b}(b-s)^{\alpha-2}(s-a) \,\mathrm{d}s \biggr)^{-1}. $$

4 Applications to eigenvalue problems

In this section, we present some applications of the obtained results to eigenvalue problems.

Corollary 4.1

Let λ be an eigenvalue of the problem
$$ \left \{ \textstyle\begin{array}{l} D_{0^{+}}^{\beta}(\Phi_{p}(D_{0^{+}}^{\alpha}u(t)))+\lambda\Phi _{p}(u(t))=0, \quad 0< t< 1, \\ u(0)=u'(0)=u'(1)=0, \qquad D_{0^{+}}^{\alpha}u(0)=D_{0^{+}}^{\alpha}u(1)=0, \end{array}\displaystyle \right . $$
(4.1)
where \(2<\alpha\leq3\), \(1<\beta\leq2\), and \(p>1\). Then
$$ |\lambda|\geq\frac{\Gamma(2\beta)}{\Gamma(\beta)} \biggl(\frac {\Gamma(\alpha)\Gamma(\alpha+1)}{\Gamma(\alpha-1)} \biggr)^{p-1}. $$
(4.2)

Proof

Let λ be an eigenvalue of (4.1). Then there exists a nontrivial solution \(u=u_{\lambda}\) to (4.1). Using Theorem 3.1 with \((a,b)=(0,1)\) and \(\chi(s)=\lambda\), we obtain
$$|\lambda| \int_{0}^{1} (1-s)^{\beta-1}s^{\beta-1} \, \mathrm{d}s\geq \bigl[\Gamma(\alpha)\bigr]^{p-1}\Gamma(\beta) \biggl( \int_{0}^{1}(1-s)^{\alpha -2}s \,\mathrm{d}s \biggr)^{1-p}. $$
Observe that
$$\int_{0}^{1} (1-s)^{\beta-1}s^{\beta-1} \, \mathrm{d}s=B(\beta,\beta) $$
and
$$\int_{0}^{1}(1-s)^{\alpha-2}s \,\mathrm{d}s= \int_{0}^{1}s^{2-1}(1-s)^{(\alpha -1)-1} \, \mathrm{d}s=B(2,\alpha-1), $$
where B is the beta function defined by
$$B(x,y)= \int_{0}^{1} s^{x-1}(1-s)^{y-1} \, \mathrm{d}s, \quad x,y>0. $$
Using the identity
$$B(x,y)=\frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}, $$
we get the desired result. □

Corollary 4.2

Let λ be an eigenvalue of the problem
$$ \left \{ \textstyle\begin{array}{l} D_{0^{+}}^{\beta}(D_{0^{+}}^{\alpha}u(t))+\lambda u(t)=0,\quad 0< t< 1, \\ u(0)=u'(0)=u'(1)=0, \qquad D_{0^{+}}^{\alpha}u(0)=D_{0^{+}}^{\alpha}u(1)=0, \end{array}\displaystyle \right . $$
where \(2<\alpha\leq3\) and \(1<\beta\leq2\). Then
$$ |\lambda|\geq\frac{\Gamma(\alpha)\Gamma(\alpha+1)\Gamma(2\beta )}{\Gamma(\alpha-1)\Gamma(\beta)}. $$
(4.3)

Proof

It follows from inequality (4.2) by taking \(p=2\). □

Declarations

Acknowledgements

The authors extend their appreciation to Distinguished Scientist Fellowship Program (DSFP) at King Saud University (Saudi Arabia).

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.

Authors’ Affiliations

(1)
Geology and Geophysics Department, College of Science, King Saud University
(2)
College of Science, King Saud University
(3)
Department of Mathematics, Faculty of Science and Arts, Kirikkale University
(4)
Department of Mathematics, College of Science, King Saud University
(5)
Petroleum and Natural Gas Engineering Department, College of Engineering, King Saud University
(6)
Geology Department, Faculty of Science, Benha University

References

  1. Bognàr, G, Rontó, M: Numerical-analytic investigation of the radially symmetric solutions for some nonlinear PDEs. Comput. Math. Appl. 50, 983-991 (2005) MathSciNetView ArticleMATHGoogle Scholar
  2. Glowinski, R, Rappaz, J: Approximation of a nonlinear elliptic problem arising in a non-Newtonian fluid flow model in glaciology. Math. Model. Numer. Anal. 37(1), 175-186 (2003) MathSciNetView ArticleMATHGoogle Scholar
  3. Kawohl, B: On a family of torsional creep problems. J. Reine Angew. Math. 410, 1-22 (1990) MathSciNetMATHGoogle Scholar
  4. Liu, C: Weak solutions for a viscous p-Laplacian equation. Electron. J. Differ. Equ. 2003, 63 (2003) MathSciNetView ArticleMATHGoogle Scholar
  5. Oruganti, S, Shi, J, Shivaji, R: Diffusive logistic equation with constant yield harvesting, I: steady-states. Trans. Am. Math. Soc. 354(9), 3601-3619 (2002) MathSciNetView ArticleMATHGoogle Scholar
  6. Ramaswamy, M, Shivaji, R: Multiple positive solutions for classes of p-Laplacian equations. Differ. Integral Equ. 17(11-12), 1255-1261 (2004) MathSciNetMATHGoogle Scholar
  7. Diaz, JI, de Thelin, F: On a nonlinear parabolic problem arising in some models related to turbulent flows. SIAM J. Math. Anal. 25(4), 1085-1111 (1994) MathSciNetView ArticleMATHGoogle Scholar
  8. Showalter, RE, Walkington, NJ: Diffusion of fluid in a fissured medium with microstructure. SIAM J. Math. Anal. 22, 1702-1722 (1991) MathSciNetView ArticleMATHGoogle Scholar
  9. Zhang, X, Liu, L, Wu, Y: The uniqueness of positive solution for a fractional order model of turbulent flow in a porous medium. Appl. Math. Lett. 37, 26-33 (2014) MathSciNetView ArticleMATHGoogle Scholar
  10. Liapunov, AM: Problème général de la stabilité du mouvement. Ann. Fac. Sci. Univ. Toulouse 2, 203-407 (1907) View ArticleGoogle Scholar
  11. Aktas, MF: Lyapunov-type inequalities for a certain class of n-dimensional quasilinear systems. Electron. J. Differ. Equ. 2013, 67 (2013) MathSciNetView ArticleMATHGoogle Scholar
  12. Çakmak, D: On Lyapunov-type inequality for a class of nonlinear systems. Math. Inequal. Appl. 16, 101-108 (2013) MathSciNetMATHGoogle Scholar
  13. Hartman, P, Wintner, A: On an oscillation criterion of Liapounoff. Am. J. Math. 73, 885-890 (1951) MathSciNetView ArticleMATHGoogle Scholar
  14. He, X, Tang, XH: Lyapunov-type inequalities for even order differential equations. Commun. Pure Appl. Anal. 11, 465-473 (2012) MathSciNetView ArticleMATHGoogle Scholar
  15. Pachpatte, BG: On Lyapunov-type inequalities for certain higher order differential equations. J. Math. Anal. Appl. 195, 527-536 (1995) MathSciNetView ArticleMATHGoogle Scholar
  16. Yang, X: On Lyapunov-type inequality for certain higher-order differential equations. Appl. Math. Comput. 134, 307-317 (2003) MathSciNetMATHGoogle Scholar
  17. Ferreira, RAC: A Lyapunov-type inequality for a fractional boundary value problem. Fract. Calc. Appl. Anal. 16(4), 978-984 (2013) MathSciNetView ArticleMATHGoogle Scholar
  18. Ferreira, RAC: On a Lyapunov-type inequality and the zeros of a certain Mittag-Leffler function. J. Math. Anal. Appl. 412, 1058-1063 (2014) MathSciNetView ArticleMATHGoogle Scholar
  19. Jleli, M, Samet, B: Lyapunov-type inequalities for a fractional differential equation with mixed boundary conditions. Math. Inequal. Appl. 18(2), 443-451 (2015) MathSciNetMATHGoogle Scholar
  20. Rong, J, Bai, C: Lyapunov-type inequality for a fractional differential equation with fractional boundary conditions. Adv. Differ. Equ. 2015, 82 (2015) MathSciNetView ArticleGoogle Scholar
  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:https://doi.org/10.1002/mma.3972 Google Scholar
  22. Jleli, M, Samet, B: A Lyapunov-type inequality for a fractional q-difference boundary value problem. J. Nonlinear Sci. Appl. 9, 1965-1976 (2016) MathSciNetMATHGoogle Scholar
  23. O’Regan, D, Samet, B: Lyapunov-type inequalities for a class of fractional differential equations. J. Inequal. Appl. 2015, 247 (2015) MathSciNetView ArticleMATHGoogle Scholar
  24. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) View ArticleMATHGoogle Scholar

Copyright

© Al Arifi et al. 2016