Skip to main content

The existence of solutions for nonlinear fractional boundary value problem and its Lyapunov-type inequality involving conformable variable-order derivative

Abstract

We consider a nonlinear fractional boundary value problem involving conformable variable-order derivative with Dirichlet conditions. We prove the existence of solutions to the considered problem by using the upper and lower solutions’ method with Schauder’s fixed-point theorem. In addition, under some assumptions on the nonlinear term, a new Lyapunov-type inequality is given for the corresponding boundary value problem. The obtained inequality provides a necessary condition for the existence of nontrivial solutions to the considered problem and a method to prove uniqueness for the nonhomogeneous boundary value problem. These new results are illustrated through examples.

1 Introduction

Fractional calculus is considered to be an extremely powerful tool in describing complex systems due to applications, see [1, 2]. This field has attracted many authors working on generalizations of existing results including definitions, theorems, models, and many more. The conventional fractional derivatives, such as Riemann–Liouville and Caputo, have found numerous applications in science and engineering on account of their nonlocality and heredity effects. However, the two typical fractional derivatives do not obey the product, quotient, and chain rules, which presents us with some difficulties and inconvenience in mathematical handling. To overcome these difficulties, an interesting new well-behaved fractional derivative, called the conformable derivative, was introduced in [3, 4], where authors proved many similar properties as in the classical calculus. The conformable derivative is regarded as a natural extension of the classical derivative. Its physical interpretation given in [5] is a modification of the classical derivative in direction and magnitude, which indicates its potential applications in physics and engineering. Recently, there have been some works on conformable derivatives and their applications in various fields. In [6], the fractional Newtonian mechanics with conformable derivative was discussed. In [7], exact solutions of Wu–Zhang system with conformable time-fractional derivative were constructed. In [8], Sturm–Liouville eigenvalue problems in the framework of conformable derivative were studied. In [9], the distributions \(\delta ^{r}\) and \((\delta ')^{r}\) for any \(r\in \mathbb{R}\) with conformable derivative were found. On the other hand, in [1012], authors proved the existence of solutions to nonlinear conformable fractional differential equations by using some fixed-point theorems.

The classical inequalities and their applications play an essential role in the theory of differential equations and applied mathematics. A large number of generalizations of classical inequalities by means of fractional operators are established in [9, 10, 1329] and the references therein. The Lyapunov inequality was presented and proved by a Russian mathematician A.M. Lyapunov in [30], where he stated the fact that if the boundary value problem (BVP)

$$ \textstyle\begin{cases} x''(t)+q(t)x(t)=0, \quad t\in (a,b), \\ x(a)=x(b)=0, \end{cases} $$
(1.1)

has a nontrival solution, then

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

where \(q:[a,b]\rightarrow \mathbb{R}\) is a continuous function. Generalizations of Lyapunov inequality (1.2) to fractional boundary value problems have been the interest of some researchers in the last few years due to their applications in the study of qualitative properties of solutions for differential equations (see, e.g., [10, 1719, 2125] and the references therein). In [10], Khaldi et al. gave a Lyapunov inequality for a boundary value problem involving conformable derivative. In [24, 25, 31], some new Lyapunov-type inequalities related to conformable fractional derivative were presented.

In [32], Zhang et al. defined a new conformable variable-order derivative. It was a generalization of the conformable constant-order derivative introduced in [3, 4]. A few properties of conformable variable-order derivative were presented in [32]. However, the progress in this direction is still at its earliest stage. Motivated by the above cited excellent works, in this paper we prove the existence of solutions and give a new Lyapunov-type inequality for the following boundary value problem involving conformable variable-order derivative:

$$ \textstyle\begin{cases} T_{p(t)}^{a}x(t)+\varphi (t,x(t))=0,\quad t\in (a,b), \\ x(a)=x(b)=0, \end{cases} $$
(1.3)

where \(T_{p(t)}^{a}\) defined in Sect. 2 is the conformable variable-order fractional derivative, \(p:[a,b]\rightarrow (1,2]\) is a continuous function, and \(\varphi: [a,b]\times \mathbb{R}\rightarrow \mathbb{R}\) is a given function.

The paper is organized as follows. In Sect. 2, we recall some basic definitions on conformable variable-order derivative, define its higher-order analogue, and establish some preliminary results. In Sect. 3, we prove the existence of solutions to BVP (1.3) by using the lower and upper solutions’ method with Schauder’s fixed-point theorem. In Sect. 4, under some assumptions on the nonlinear term, a new Lyapunov-type inequality is given and some special cases are discussed.

2 Preliminaries

In this section, we give several definitions related to conformable variable-order fractional derivatives which can be found in [19]. Furthermore, conformable higher variable-order derivative is defined and some basic results are presented.

Definition 2.1

([32])

The (left) conformable variable-order fractional derivative starting from a of a function \(f:[a,\infty )\rightarrow \mathbb{R}\) of order \(p:[a,\infty )\rightarrow (0,1]\) is defined by

$$ \bigl(T_{p(t)}^{a}f\bigr) (t)=\lim_{\epsilon \rightarrow 0} \frac{f(t+\epsilon (t-a)^{1-p(t)})-f(t)}{\epsilon },\quad t>a, $$

when \(a=0\), we write \(T_{p(t)}\). If \((T_{p(t)}^{a}f)(t)\) exists on \((a,\infty )\), then \((T_{p(t)}^{a}f)(a)=\lim_{t\rightarrow a^{+}}(T_{p(t)}^{a}f)(t)\).

Remark 2.1

([32])

If the fractional derivative of f of order \(p(t)\in (0,1]\) for all \(t\in [a,\infty )\) exists, then we simply say that f is \(p(t)\)-differentiable.

Lemma 2.1

([32])

Let\(p:[a,\infty )\rightarrow (0,1]\). If a function\(f:[a,\infty )\rightarrow \mathbb{R}\)is\(p(t)\)- differentiable at\(t_{0}>a\), thenfis continuous at\(t_{0}\).

Lemma 2.2

([32])

Let\(p:[a,\infty )\rightarrow (0,1]\). Iffis differentiable at a point\(t>a\), then\((T_{p(t)}^{a}f)(t)=(t-a)^{1-p(t)}f'(t)\).

In the higher-order case, we can generalize to the following:

Definition 2.2

Let \(p:[a,\infty )\rightarrow (n,n+1]\) and \(q(t)=p(t)-n\). Then the (left) conformable variable-order derivative starting from a of a function \(f:[a,\infty )\rightarrow \mathbb{R}\) of order \(p(t)\), where \(f^{(n)}(t)\) exists, is defined by

$$ \bigl(T_{p(t)}^{a}f\bigr) (t)= \bigl(T_{q(t)}^{a}f^{(n)}\bigr) (t), \quad t>a, $$
(2.1)

when \(a=0\), we write \(T_{p(t)}\). If \((T_{p(t)}^{a}f)(t)\) exists on \((a,\infty )\), then \((T_{p(t)}^{a}f)(a)=\lim_{t\rightarrow a^{+}}(T_{p(t)}^{a}f)(t)\).

Note that if \(p(t)=\alpha \), where \(\alpha \in (n,n+1]\) is a constant, then the definition of conformable variable-order derivative coincides with the definition in [4]. Also when \(n=0\) (or \(0< p(t)\leq 1\)), then \(q(t)=p(t)\) and the definition coincides with Definition 2.1.

Remark 2.2

If \(n< p(t)\leq n+1\), \(q(t)=p(t)-n\), and \(f^{(n+1)}(t)\) exists, then we have

$$ \bigl(T_{p(t)}^{a}f\bigr) (t)= \bigl(T_{q(t)}^{a}f^{(n)}\bigr) (t)=(t-a)^{1-q(t)}f^{(n+1)}(t)=(t-a)^{n+1-p(t)}f^{(n+1)}(t),\quad t>a. $$
(2.2)

Lemma 2.3

Let\(p:[a,b]\rightarrow (1,2]\). If a function\(f\in C^{1}[a,b]\cap C^{2}(a,b)\)attains a global minimum (respectively maximum) at some point\(\xi \in (a,b)\), then\((T_{p(t)}^{a}f)(\xi )\geq 0\) (respectively\((T_{p(t)}^{a}f)(\xi )\leq 0\)).

Proof

Since \(f\in C^{2}(a,b)\) attains a global minimum at \(\xi \in (a,b)\), we have

$$ f''(\xi )\geq 0. $$

According to Remark 2.2, we have

$$ \bigl(T_{p(t)}^{a}f\bigr) (\xi )=(\xi -a)^{2-p(\xi )}f''( \xi )\geq 0. $$

 □

Lemma 2.4

If both\(p:[a,b]\rightarrow (1,2]\)and\(h:[a,b]\rightarrow \mathbb{R}\)are continuous functions, then

$$ \biggl\vert \int _{a}^{b}(s-a)^{p(s)-2}h(s)\,ds \biggr\vert < \infty. $$

Proof

Since

$$ \biggl\vert \int _{a}^{b}(s-a)^{p(s)-2}h(s)\,ds \biggr\vert \leq \Vert h \Vert \int _{a}^{b}(s-a)^{p(s)-2}\,ds, $$

where \(\|h\|=\max_{s\in [a,b]}|h(s)|\), we just need to demonstrate \(\int _{a}^{b}(s-a)^{p(s)-2}\,ds<\infty \).

Because \(p:[a,b]\rightarrow (1,2]\) is a continuous function, then there exist two constants \(p_{1}\), \(p_{2}\in (1,2]\) such that

$$ \min_{s\in [a,b]}p(s)=p_{1},\qquad \max_{s\in [a,b]}p(s)=p_{2}. $$

Therefore, if \(0< s-a<1\), then

$$ \int _{a}^{b}(s-a)^{p(s)-2}\,ds\leq \int _{a}^{b}(s-a)^{p_{1}-2}\,ds= \frac{(b-a)^{p_{1}-1}}{p_{1}-1}; $$

if \(s-a=1\), then

$$ \int _{a}^{b}(s-a)^{p(s)-2}\,ds=b-a; $$

if \(s-a>1\), then

$$ \int _{a}^{b}(s-a)^{p(s)-2}\,ds\leq \int _{a}^{b}(s-a)^{p_{2}-2}\,ds= \frac{(b-a)^{p_{2}-1}}{p_{2}-1}. $$

In conclusion, \(|\int _{a}^{b}(s-a)^{p(s)-2}h(s)\,ds |<\infty \). □

Lemma 2.5

Assume that\(h\in C[a,b]\)and\(p:[a,b]\rightarrow (1,2]\)is a continuous function. A function\(x\in C^{1}[a,b]\cap C^{2}(a,b)\)is a solution of the following BVP with conformable variable-order derivative:

$$ \textstyle\begin{cases} T_{p(t)}^{a}x(t)+h(t)=0, \quad t\in (a,b), \\ x(a)=x(b)=0 \end{cases} $$
(2.3)

if and only if it satisfies the integral equation

$$ x(t)= \int _{a}^{b}H(t,s)h(s)\,ds, $$
(2.4)

whereHis the Green function given by

$$ H(t,s)=\textstyle\begin{cases} \frac{(b-t)(s-a)^{p(s)-1}}{b-a}, & a\leq s\leq t\leq b, \\ \frac{(t-a)(b-s)(s-a)^{p(s)-2}}{b-a}, & a\leq t\leq s\leq b. \end{cases} $$
(2.5)

Proof

If \(x\in C^{1}[a,b]\cap C^{2}(a,b)\) is a solution of BVP (2.3), then using Remark 2.2, we have

$$ x''(t)=-(t-a)^{p(t)-2}h(t). $$
(2.6)

Integrating twice both sides of equation (2.6) and taking into account the boundary condition \(x(a)=x(b)=0\), we obtain

$$ x(t)= \int _{a}^{b}H(t,s)h(s)\,ds. $$

On the other hand, if

$$ x(t)= \int _{a}^{b}H(t,s)h(s)\,ds, $$

using the branches of (2.5), we have

$$ x(t)= \int ^{t}_{a}\frac{b-t}{b-a}(s-a)^{p(s)-1}h(s) \,ds+ \int ^{b}_{t} \frac{(s-a)^{p(s)-2}(t-a)(b-s)}{b-a}h(s)\,ds. $$

Checking the boundary value conditions, we see that \(x(a)=0\), \(x(b)=0\). Taking second-order derivative yields

$$ x''(t)=-(t-a)^{p(t)-2}h(t). $$

According to Remark 2.2,

$$ T_{p(t)}^{a}x(t)+h(t)=0, $$

which is what we set out to prove. □

Lemma 2.6

The Green functionHgiven by (2.5) has the following properties:

  1. (i)

    \(H(t,s)\geq 0\)for all\(s,t\in [a,b]\);

  2. (ii)

    \(\max_{t\in [a,b]}H(t,s)=H(s,s)\)for any\(a\leq s\leq b\);

  3. (iii)

    There exists a point\(s^{\ast }\in (a,b)\)such that\(H(s^{\ast },s^{\ast })=\max_{s\in [a,b]}H(s,s)\). In particular, if\(p'(t)\)exists, then\(s^{\ast }\)is the solution of equation\(p'(s)\ln (s-a)+\frac{p(s)-1}{s-a}=\frac{1}{b-s}\).

Proof

(i) It is clear that \(H(t,s)\geq 0\) for all \(s,t\in [a,b]\).

(ii) Set

$$ h_{1}(t,s)=\frac{(b-t)(s-a)^{p(s)-1}}{b-a},\quad a\leq s\leq t\leq b, $$

and

$$ h_{2}(t,s)=\frac{(t-a)(b-s)(s-a)^{p(s)-2}}{b-a},\quad a\leq t\leq s \leq b. $$

For every fixed s, \(h_{1}(t,s)\) is a decreasing function in t and \(h_{2}(t,s)\) is an increasing function in t. Hence, \(\max_{t\in [a,b]}H(t,s)=H(s,s)\) for any \(a\leq s\leq b\).

(iii) Let \(g(s)=H(s,s)=\frac{(b-s)(s-a)^{p(s)-1}}{b-a}\), then \(g(s)\geq 0\). Since \(g(s)\in C[a,b]\) and \(g(a)=g(b)=0\), we conclude that there must exist a point \(s^{\ast }\in (a,b)\) such that the maximum of function \(g(s)\) is achieved at \(s^{\ast }\), denoted as \(H(s^{\ast },s^{\ast })=\max_{s\in [a,b]}H(s,s)\). If \(p'(t)\) exists, then \(g'(s)=\frac{(s-a)^{p(s)-1}}{b-a} [(b-s) (p'(s)\ln (s-a)+ \frac{p(s)-1}{s-a} )-1 ]\). From \(g'(s^{\ast })=0\), we conclude that \(p'(s^{\ast })\ln (s^{\ast }-a)+\frac{p(s^{\ast })-1}{s^{\ast }-a}= \frac{1}{b-s^{\ast }}\). □

3 Existence of solutions

In the section, our aim is to prove the existence of solutions for BVP (1.3) by using the lower and upper solutions’ method. Therefore, we need to give the definitions of lower and upper solutions of BVP (1.3) as follows.

Definition 3.1

A function \(\underline{u}\in C^{1}[a,b]\cap C^{2}(a,b)\) is said to be a lower solution of BVP (1.3) if we have

$$ \textstyle\begin{cases} T_{p(t)}^{a}\underline{u}(t)+\varphi (t,\underline{u}(t))\geq 0,\quad t \in [a,b], \\ \underline{u}(a)\leq 0,\qquad \underline{u}(b)\leq 0. \end{cases} $$

Similarly, a function \(\overline{u}(t)\in C^{1}[a,b]\cap C^{2}(a,b)\) is said to be an upper solution of BVP (1.3) if we have

$$ \textstyle\begin{cases} T_{p(t)}^{a}\overline{u}(t)+\varphi (t,\overline{u}(t))\leq 0,\quad t\in [a,b], \\ \overline{u}(a)\geq 0, \qquad\overline{u}(b)\geq 0. \end{cases} $$

Theorem 3.1

Assume that the following hypotheses hold:

  1. (i)

    \(\underline{u}\)andare lower and upper solutions of BVP (1.3), respectively, such that\(\underline{u}\leq \overline{u}\),

  2. (ii)

    Define\(E=\{(t,y)| (t,y)\in [a,b]\times \mathbb{R}, \underline{u}\leq y\leq \overline{u}\}\), and assume\(\varphi (t,y)\)is continuous onE.

Then BVP (1.3) has at least one solution\(x\in C^{1}[a,b]\cap C^{2}(a,b)\)such that

$$ \underline{u}(t)\leq x(t)\leq \overline{u}(t),\quad a\leq t\leq b. $$

Proof

Consider the following modified problem:

$$ \textstyle\begin{cases} T_{p(t)}^{a}x(t)+\phi (t,x(t))=0,\quad t\in (a,b), \\ x(a)=x(b)=0, \end{cases} $$
(3.1)

where \(\phi (t,y)\) is given by

$$ \phi (t,y)=\textstyle\begin{cases} \varphi (t,\overline{u}(t))+ \frac{\overline{u}(t)-y}{y-\overline{u}(t)+1}, & y> \overline{u}(t), \\ \varphi (t,y), & \underline{u}(t)\leq y\leq \overline{u}(t), \\ \varphi (t,\underline{u}(t))+ \frac{\underline{u}(t)-y}{\underline{u}(t)-y+1}, & y< \underline{u}(t). \end{cases} $$

Since \(\varphi (t,y)\) is continuous on E, from the definition of ϕ, we deduce that \(\phi (t,y)\) is continuous on \([a,b]\times \mathbb{R}\) and there exists \(M=\max_{(t,x)\in E}|\varphi (t,x)|\) such that

$$ \bigl\vert \phi (t,y) \bigr\vert \leq M+1,\quad \forall (t,y)\in [a,b]\times \mathbb{R}. $$
(3.2)

According to Lemma 2.5, the modified BVP (3.1) is transformed into a fixed-point problem. Consider the operator \(A:C[a,b]\rightarrow C[a,b]\) defined by

$$ Ax(t)= \int _{a}^{b}H(t,s)\phi \bigl(s,x(s)\bigr)\,ds. $$

Set \(\delta =(M+1)(b-a)H(s^{\ast },s^{\ast })\), where \(H(s^{\ast },s^{\ast })\) is given by Lemma 2.6, and \(\varOmega =\{y\in C[a,b]:\|y\|\leq \delta \}\). Clearly, Ω is a closed, bounded, and convex subset of \(C[a,b]\), and A maps Ω into Ω. We shall show that A satisfies the assumptions of Schauder’s fixed-point theorem. The proof will be given in several steps.

Step 1. Ais continuous. Indeed, consider any \(x_{n}\in \varOmega \) such that \(x_{n}\rightarrow x\) in Ω. Then

$$\begin{aligned} \bigl\vert Ax_{n}(t)-Ax(t) \bigr\vert &= \biggl\vert \int _{a}^{b}H(t,s) \bigl(\phi \bigl(s,x_{n}(s) \bigr)-\phi \bigl(s,x(s)\bigr)\bigr)\,ds \biggr\vert \\ &\leq H\bigl(s^{\ast },s^{\ast }\bigr) (b-a) \bigl\Vert \phi \bigl(\cdot,x_{n}(\cdot )\bigr)-\phi \bigl( \cdot,x(\cdot )\bigr) \bigr\Vert . \end{aligned}$$

Since ϕ is a continuous function, we have

$$ \Vert Ax_{n}-Ax \Vert \leq H\bigl(s^{\ast },s^{\ast } \bigr) (b-a) \bigl\Vert \phi \bigl(\cdot,x_{n}( \cdot )\bigr)-\phi \bigl(\cdot,x(\cdot )\bigr) \bigr\Vert \rightarrow 0,\quad n\rightarrow \infty. $$

Step 2. \(A(\varOmega )\)is uniformly bounded. For any \(x\in \varOmega \), using Lemma 2.6 and (3.2), we get

$$ \bigl\vert Ax(t) \bigr\vert \leq H\bigl(s^{\ast },s^{\ast } \bigr) \int _{a}^{b} \bigl\vert \phi \bigl(s,x(s)\bigr) \bigr\vert \,ds\leq (M+1) (b-a)H\bigl(s^{ \ast },s^{\ast }\bigr)= \delta. $$

Therefore, \(A(\varOmega )\) is uniformly bounded and \(A(\varOmega )\subset \varOmega \).

Step 3. \(A(\varOmega )\)is equicontinuous. Consider arbitrary \(t_{1},t_{2}\in [a,b], x\in \varOmega \), and, without loss of generality, let \(t_{1}< t_{2}\). Then

$$\begin{aligned} \bigl\vert Ax(t_{2})-Ax(t_{1}) \bigr\vert \leq {}&(M+1) \biggl[(t_{2}-t_{1}) \int _{a}^{t_{1}}(s-a)^{p(s)-2} \,ds+2(t_{2}-t_{1}) \int _{t_{1}}^{t_{2}}(s-a)^{p(s)-2}\,ds \\ &{}+(t_{2}-t_{1}) \int _{t_{2}}^{b}(s-a)^{p(s)-2}\,ds \biggr] \\ \leq{} &4(M+1) (t_{2}-t_{1}) \int _{a}^{b}(s-a)^{p(s)-2}\,ds\rightarrow 0, \end{aligned}$$

when \(t_{1}\rightarrow t_{2}\).

As a consequence of Steps 1–3, together with the Arzela–Ascoli theorem, we can conclude that \(A: \varOmega \rightarrow \varOmega \) is completely continuous. From the Schauder’s fixed-point theorem, we deduce that A has a fixed point \(x\in \varOmega \) which is a solution of the modified BVP (3.1).

Step 4. The solution x of BVP (3.1) satisfies

$$ \underline{u}(t)\leq x(t)\leq \overline{u}(t),\quad a\leq t\leq b. $$

First, we prove that

$$ \underline{u}(t)\leq x(t),\quad a\leq t\leq b. $$

Assume on the contrary and set \(v(t)=x(t)-\underline{u}(t)\), then there exists \(t_{0}\in [a,b]\) such that

$$ \min_{t\in [a,b]}v(t)=v(t_{0})=x(t_{0})- \underline{u}(t_{0})< 0. $$

We conclude that \(x(t_{0})<\underline{u}(t_{0})\). Then we distinguish the following cases.

Case 1. If \(t_{0}\in (a,b)\), then \(T_{p(t)}^{a}v(t_{0})\geq 0\) is obtained from Lemma 2.3. Using the fact that \(\underline{u}\) is a lower solution of BVP (1.3) and x is a solution of BVP (3.1), we get

$$\begin{aligned} T_{p(t)}^{a}v(t_{0})&=T_{p(t)}^{a}x(t_{0})-T_{p(t)}^{a} \underline{u}(t_{0}) \\ &=-\phi \bigl(t,x(t_{0})\bigr)-T_{p(t)}^{a} \underline{u}(t_{0}) \\ &=-\varphi \bigl(t_{0},\underline{u}(t_{0})\bigr)- \frac{\underline{u}(t_{0})-x(t_{0})}{\underline{u}(t_{0})-x(t_{0})+1}-T_{p(t)}^{a} \underline{u}(t_{0})< 0, \end{aligned}$$

which is a contradiction to \(T_{p(t)}^{a}v(t_{0})\geq 0\).

Case 2. If \(t_{0}=a\), since \(x(a)=0\), we get

$$ \underline{u}(a)>0. $$

On the other hand, \(\underline{u}(a)\leq 0\) thanks to the fact that \(\underline{u}\) is a lower solution of BVP (1.3). This is a contradiction.

Case 3. If \(t_{0}=b\), we obtain a contradiction as in the second case. Thus we have

$$ \underline{u}(t)\leq x(t),\quad a\leq t\leq b. $$

Analogously, we can prove that \(x(t)\leq \overline{u}(t), a< t< b\). This shows that the modified BVP (3.1) has a solution \(x\in C^{1}[a,b]\cap C^{2}(a,b)\) satisfying \(\underline{u}(t)\leq x(t)\leq \overline{u}(t)\) which is solution of BVP (1.3). The proof is completed. □

Example 3.1

Consider the following fractional boundary value problem:

$$ \textstyle\begin{cases} T_{p(t)}x(t)-tln(1+x)=0, \quad t\in (0,1), \\ x(0)=x(1)=0. \end{cases} $$
(3.3)

It can be easily seen that \(\underline{u}=0\) is a lower solution of BVP (3.3) and \(\overline{u}=2\) is an upper solution of BVP (3.3). According to Theorem 3.1, BVP (3.3) has at least one solution \(x\in C^{1}[0,1]\cap C^{2}(0,1)\) such that \(0\leq x(t)\leq 2\).

4 Lyapunov-type inequality

Letting \(\varphi (t,x(t))=q(t)f(x(t))\), BVP (1.3) becomes

$$ \textstyle\begin{cases} T_{p(t)}^{a}x(t)+q(t)f(x)=0, \quad t\in (a,b), \\ x(a)=x(b)=0. \end{cases} $$
(4.1)

Now we are ready to give a Lyapunov-type inequality of BVP (4.1) under the following assumptions:

  1. (i)

    The function \(f:\mathbb{R}\rightarrow \mathbb{R}\) is continuous and monotone,

  2. (ii)

    \(q(t)\in C[a,b]\).

Theorem 4.1

If\(x(t)\in C^{1}[a,b]\cap C^{2}(a,b)\)is a nontrivial solution of BVP (4.1), then

$$ \int ^{b}_{a} \bigl\vert q(t) \bigr\vert \,dt> \frac{\eta }{H(s^{\ast },s^{\ast })\max \{ \vert f(\eta ) \vert , \vert f(\gamma ) \vert \}}, $$
(4.2)

where\(\eta =\|x\|=\max_{t\in [a,b]}|x(t)|\), \(\gamma =\min_{t\in [a,b]}x(t)\), and\(H(s^{\ast },s^{\ast })\)is given by Lemma 2.6.

Proof

According to Lemma 2.5, if \(x(t)\in C^{1}[a,b]\cap C^{2}(a,b)\) is a solution of BVP (4.1), then

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

Since \(x(t)\) is a nontrivial solution, taking the norm of \(x(t)\) and making use of the properties of Green function \(H(t,s)\) given by Lemma 2.6, we obtain that

$$\begin{aligned} \Vert x \Vert &=\max_{t\in [a,b]} \biggl\vert \int _{a}^{b}H(t,s)q(s)f\bigl(x(s)\bigr)\,ds \biggr\vert \\ &< H\bigl(s^{\ast },s^{\ast }\bigr) \int _{a}^{b} \bigl\vert q(s) \bigr\vert \bigl\vert f\bigl(x(s)\bigr) \bigr\vert \,ds \\ &\leq H\bigl(s^{\ast },s^{\ast }\bigr)\max \bigl\{ \bigl\vert f( \eta ) \bigr\vert , \bigl\vert f(\gamma ) \bigr\vert \bigr\} \int _{a}^{b} \bigl\vert q(s) \bigr\vert \,ds, \end{aligned}$$

from which (4.2) follows. Then the proof is completed. □

Example 4.1

Consider Example 3.1 with \(p(t)=\frac{t+3}{2}\), then \(H(s,s)=(1-s)s^{\frac{s+1}{2}}\). We can calculate \(H(s^{\ast },s^{\ast })=\max_{s\in [a,b]}H(s,s)\approx 0.320573\) when \(s^{\ast }\approx 0.324077\). According to Example 3.1, BVP (3.3) has at least one solution \(0\leq x(t)\leq 2\). Since \(f(x)=\ln (1+x)\) is continuous and increasing on \([0,2]\), and, in addition, \(q(t)=-t\in C[0,1]\) satisfies the conditions of Theorem 4.1, we obtain

$$ \int _{0}^{1} \vert -t \vert \,dt> \frac{\eta }{H(s^{\ast },s^{\ast })\ln (1+\eta )} \geq \frac{\eta }{H(s^{\ast },s^{\ast })\eta }= \frac{1}{H(s^{\ast },s^{\ast })}\approx 3.11941. $$

On the other hand, \(\int _{0}^{1}|-t|\,dt=0.5<3.11941\). Hence, by Theorem 4.1, \(x(t)\equiv 0\) is the only solution of Example 3.1 with \(p(t)=\frac{t+3}{2}\).

If \(f(x(t))=x(t)\), BVP (4.1) becomes

$$ \textstyle\begin{cases} T_{p(t)}^{a}x(t)+q(t)x(t)=0,\quad t\in (a,b), \\ x(a)=x(b)=0. \end{cases} $$
(4.3)

In this case, taking \(f(x(t))=x(t)\) in Theorem 4.1, we obtain the following result.

Corollary 4.1

If\(x(t)\in C^{1}[a,b]\cap C^{2}(a,b)\)is a nontrivial solution of BVP (4.3), then

$$ \int ^{b}_{a} \bigl\vert q(t) \bigr\vert \,dt> \frac{1}{H(s^{\ast },s^{\ast })}. $$
(4.4)

Remark 4.1

If \(p(t)=\alpha \in (1,2]\), then \(H(s,s)=\frac{b-s}{b-a}(s-a)^{\alpha -1}\). Moreover, \(s^{\ast }=\frac{a+(\alpha -1)b}{\alpha }\) is such that \(H(s^{\ast },s^{\ast })= \frac{(\alpha -1)^{\alpha -1}(b-a)^{\alpha -1}}{\alpha ^{\alpha }}\). Thus inequality (4.4) reduces to the Lyapunov-type inequality in [24]. If \(p(t)=2\), inequality (4.4) reduces to the classical Lyapunov inequality (1.2).

Consider the following nonhomogeneous boundary value problem:

$$ \textstyle\begin{cases} T_{p(t)}^{a}x(t)+q(t)x(t)=g(t),\quad t\in (a,b), \\ x(a)=x(b)=0. \end{cases} $$
(4.5)

Corollary 4.2

If a solution of BVP (4.5) exists, and

$$ \int ^{b}_{a} \bigl\vert q(t) \bigr\vert \,dt\leq \frac{1}{H(s^{\ast },s^{\ast })}, $$
(4.6)

then BVP (4.5) has a unique solution.

Proof

Assume that \(x_{1}(t)\), \(x_{2}(t)\) are both solutions of BVP (4.5), then \(x(t)=x_{1}(t)-x_{2}(t)\) is a solution of the corresponding homogeneous BVP. According to (4.6) and Corollary 4.1, the corresponding homogeneous BVP has only zero solution. Therefore the nonhomogeneous BVP (4.5) has a unique solution. □

In the end, we consider the following conformable eigenvalue problem:

$$ \textstyle\begin{cases} T_{p(t)}^{a}x(t)+\lambda x(t)=0, \quad t\in (a,b) \\ x(a)=x(b)=0. \end{cases} $$
(4.7)

Corollary 4.3

Ifλis an eigenvalue of (4.7), then

$$ \vert \lambda \vert >\frac{1}{(b-a)H(s^{\ast },s^{\ast })}. $$

Proof

If λ is an eigenvalue of (4.7),then there exists a nontrivial solution \(x=x_{\lambda }\) to (4.7). Using Corollary 4.1 with \(q(t)=\lambda \), we obtain

$$ \vert \lambda \vert >\frac{1}{(b-a)H(s^{\ast },s^{\ast })}. $$

 □

5 Conclusions

In this paper, we have proved the existence of solutions to a nonlinear boundary value problem involving conformable variable-order derivative. We have also obtained a new Lyapunov-type inequality for the considered problem. The obtained inequality provides a necessary condition for the existence of nontrivial solutions and a method to prove uniqueness for the corresponding nonhomogeneous boundary value problem. We notice that when \(p(t)=2\), the obtained inequality reduces to the classical Lyapunov inequality and when \(p(t)=\alpha \), it reduces to the inequality in [24]. The new results generalize some existing results in the literature. We expect that the proposed approaches and the obtained results in this paper can be adapted to study other fractional boundary value problems.

References

  1. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Book  Google Scholar 

  2. Podlubny, I.: Fractional Differential Equations. Academic Press, London (1999)

    MATH  Google Scholar 

  3. Khalil, R., Al Horani, M., Yousef, A., Sababheh, M.: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 65–70 (2014)

    Article  MathSciNet  Google Scholar 

  4. Abdeljawad, T.: On conformable fractional calculus. J. Comput. Appl. Math. 279, 57–66 (2015)

    Article  MathSciNet  Google Scholar 

  5. Zhao, D.Z., Luo, M.K.: General conformable fractional derivative and its physical interpretation. Calcolo 54(3), 903–917 (2017)

    Article  MathSciNet  Google Scholar 

  6. Chung, W.S.: Fractional Newton mechanics with fractional conformable derivatives. J. Comput. Appl. Math. 290, 150–158 (2015)

    Article  MathSciNet  Google Scholar 

  7. Eslami, M., Rezazadeh, H.: The first integral method for Wu–Zhang system with conformable time-fractional derivative. Calcolo 53(3), 475–485 (2016)

    Article  MathSciNet  Google Scholar 

  8. Al-Rifae, M., Abdeljawad, T.: Fundamental results of conformable Sturm–Liouville eigenvalue problems. Complexity 2017, Article ID 3720471 (2017)

    MathSciNet  MATH  Google Scholar 

  9. Jarad, F., Adjabi, Y., Baleanu, D., Abdeljawad, T.: On defining the distributions \(\delta ^{r}\) and \((\delta ')^{r}\) by conformable derivatives. Adv. Differ. Equ. 2018, 407 (2018). https://doi.org/10.1186/s13662-018-1865-7

    Article  MathSciNet  MATH  Google Scholar 

  10. Khaldi, R., Guezane-Lakoud, A.: Lyapunov inequality for a boundary value problem involving conformable derivative. Prog. Fract. Differ. Appl. 3(4), 323–329 (2017)

    Article  Google Scholar 

  11. Batarfi, H., Losada, J., Nieto, J.J., Shammakh, W.: Three-point boundary value problems for conformable fractional differential equations. J. Funct. Spaces 2015, Article ID706383 (2015)

    MathSciNet  MATH  Google Scholar 

  12. Bayour, B., Torres, D.F.M.: Existence of solution to a local fractional nonlinear differential equation. J. Comput. Appl. Math. 312, 127–133 (2017)

    Article  MathSciNet  Google Scholar 

  13. Abdeljawad, T.: A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel. J. Inequal. Appl. 2017, 130 (2017)

    Article  MathSciNet  Google Scholar 

  14. Nisar, K.S., Rahman, G., Mehrez, K.: Chebyshev type inequalities via generalized fractional conformable integrals. J. Inequal. Appl. 2019, 245 (2019)

    Article  MathSciNet  Google Scholar 

  15. Nisar, K.S., Tassaddiq, A., Rahman, G., Khan, A.: Some inequalities via fractional conformable integral operators. J. Inequal. Appl. 2019, 217 (2019)

    Article  MathSciNet  Google Scholar 

  16. Rahman, G., Ullah, Z., Khan, A., Set, E., Nisar, K.S.: Certain Chebyshev-type inequalities involving fractional conformable integral operators. Mathematics 7, 364 (2019). https://doi.org/10.3390/math7040364

    Article  Google Scholar 

  17. Ferreia, R.A.C.: A Lyapunov-type inequality for a fractional boundary value problem. Fract. Calc. Appl. Anal. 16(4), 978–984 (2013)

    MathSciNet  Google Scholar 

  18. Jleli, M., Ragoub, L., Samet, B.: A Lyapunov-type inequality for a fractional differential equation under a Robin boundary condition. J. Funct. Spaces 2015, Article ID 468536 (2015)

    MathSciNet  MATH  Google 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)

    MathSciNet  MATH  Google Scholar 

  20. Rahman, G., Nisar, K.S., Ghaffar, A., Qi, F.: Some inequalities of the Grüss type for conformable k-fractional integral operators. RACSAM 114, 9 (2020). https://doi.org/10.1007/s13398-019-00731-3

    Article  MATH  Google Scholar 

  21. Guezane-Lakoud, A., Khaldi, R., Torres, D.F.M.: Lyapunov-type inequality for a fractional boundary value problem with natural conditions. SeMA J. 75(1), 157–162 (2018)

    Article  MathSciNet  Google Scholar 

  22. Jleli, M., Samet, B., Zhou, Y.: Lyapunov-type inequalities for nonlinear fractional differential equations and systems involving Caputo-type fractional derivatives. J. Inequal. Appl. 2019, 19 (2019)

    Article  MathSciNet  Google Scholar 

  23. Al 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)

    Article  MathSciNet  Google Scholar 

  24. Abdeliawad, T., Alzabut, J., Jarad, F.: A generalized Lyapunov-type inequality in the frame of conformable derivatives. Adv. Differ. Equ. 2017, 321 (2017). https://doi.org/10.1186/s13662-017-1383-z

    Article  MathSciNet  MATH  Google Scholar 

  25. Abdeliawad, T., Agarwal, R.P., Alzabut, J., Jarad, F.: Lyapunov-type inequalities for mixed non-linear forced differential equations within conformable derivatives. J. Inequal. Appl. 2018, 143 (2018)

    Article  MathSciNet  Google Scholar 

  26. Rahman, G., Abdeljawad, T., Khan, A., Nisar, K.S.: Some fractional proportional integral inequalities. J. Inequal. Appl. 2019, 244 (2019)

    Article  MathSciNet  Google Scholar 

  27. Rahman, G., Abdeljawad, T., Jarad, F., Khan, A., Nisar, K.S.: Certain inequalities via generalized proportional Hadamard fractional integral operators. Adv. Differ. Equ. 2019, 454 (2019). https://doi.org/10.1186/s13662-019-2381-0

    Article  MathSciNet  Google Scholar 

  28. Rahman, G., Khan, A., Abdeljawad, T., Nisar, K.S.: The Minkowski inequalities via generalized proportional fractional integral operators. Adv. Differ. Equ. 2019, 287 (2019). https://doi.org/10.1186/s13662-019-2229-7

    Article  MathSciNet  Google Scholar 

  29. Khan, H., Abdeljawad, T., Tunc, C., Alkhazzan, A., Khan, A.: Minkowski’s inequality for the AB-fractional integral operator. J. Inequal. Appl. 2019, 96 (2019)

    Article  MathSciNet  Google Scholar 

  30. Liapounoff, A.M.: Problème général de la stabilié du mouvement. Ann. Fac. Sci. Univ. Toulouse Sci. Math. Sci. Phys. 2, 203–474 (1907)

    MathSciNet  MATH  Google Scholar 

  31. Jonnalagadda, J.M., Basua, D., Satpathi, D.K.: Lyapunov-type inequality for an anti-periodic conformable boundary value problem. Kragujev. J. Math. 45(2), 289–298 (2021)

    Google Scholar 

  32. Zhang, S.Q., Li, S.S., Hu, L.: The existence and uniqueness result of solutions to initial value problems of nonlinear diffusion equations involving with the conformable variable derivative. RACSAM 113, 1601–1623 (2019). https://doi.org/10.1007/s13398-018-0572-2

    Article  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referees for the helpful suggestions.

Availability of data and materials

Not applicable.

Funding

This work is supported by the National Natural Science Foundation of China (No. 11671181).

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally in this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Jie Wang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, J., Zhang, S. The existence of solutions for nonlinear fractional boundary value problem and its Lyapunov-type inequality involving conformable variable-order derivative. J Inequal Appl 2020, 86 (2020). https://doi.org/10.1186/s13660-020-02351-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-020-02351-7

Keywords