Xingyue Jian
College of Science, University of Shanghai for Science and Technology, Shanghai, China.
DOI: 10.4236/jamp.2019.71019   PDF    HTML   XML   1,262 Downloads   2,547 Views   Citations

Abstract

In this paper, we study a class of boundary value problems for conformable fractional differential equations under a new definition. Firstly, by using the monotone iterative technique and the method of coupled upper and lower solution, the sufficient condition for the existence of the boundary value problem is obtained, and the range of the solution is determined. Then the existence and uniqueness of the solution are proved by the proof by contradiction. Finally, a concrete example is given to illustrate the wide applicability of our main results.

Keywords

Boundary Value Problems, Conformable Fractional Differential Equations, The Method of Coupled Upper and Lower Solution, Coupled Solution, Monotone Iteration

Share and Cite:

1. Introduction

In recent years, there are few studies on boundary value problems of conformable fractional differential equations under new definitions [1] [2] [3] . And conformable fractional derivatives not only have good operational properties (Four Operational Rules of Derivatives, Chain Rule and Leibniz Rule), this definition can also construct fractional Newton equation and Euler-Lagrange equation from fractional variational method, this is of great significance to the study of uniform or uniformly accelerated motion of particles and to the solution of Newton’s fractional-order mechanical problems [4] [5] (fractional-order harmonic oscillator, fractional-order damped oscillator and forced oscillator). And the method of upper and lower solution for monotone iteration can not only gives the existence theorem, but also determines the value range of the solution. Therefore, this method has gradually become an important method for studying nonlinear differential equations [6] [7] [8] [9] . In addition, with the application of anti-periodic boundary value problems in various mathematical models and physical processes has been widely applied, the integral boundaries are also widely used in heat conduction, chemical engineering, groundwater flow, thermoelasticity, plasma physics and other fields. As a result, more and more studies have been made on this kind of problems [10] [11] [12] (anti-periodic boundary value problems, anti-periodic boundary value problems with integral boundaries). However, the indefinite sign of solutions of nonlinear differential equations determines that some problems (anti-periodic boundary value problems and their generalizations) cannot be studied directly by the method of upper and lower solutions for monotone iteration. But the development of nonlinear analysis theory provides a powerful tool for the study of these problems. In the generalized monotone iteration process, the method of coupled upper and lower solution becomes an important method to study this kind of problem by the flexible construction of the comparison theorem [13] [14] [15] [16] . Motivated by the above work, in this paper, the existence of solutions for a class of boundary value problems of conformable fractional differential equations under a new definition is proved by using the method of coupled upper and lower solution, and the range of solutions is obtained. Throughout this paper, we consider the existence of solutions of boundary value problems for the following uniform fractional differential equations

$(\begin{array}{l}{x}^{\left(\delta \right)}\left(t\right)=f\left(t\mathrm{,}x\left(t\right)\right)\mathrm{,}t\in \left(\mathrm{0,1}\right)\mathrm{,}\\ x\left(0\right)=-rx\left(1\right)+\lambda {\displaystyle {\int }_0^1}x\left(s\right)\text{d}s\end{array}$ (1)

where $x^{\left(\delta \right)}\left(t\right)$ is the conformable fractional derivatives of order $\delta$ for $t\in \left(\mathrm{0,1}\right)$ which is defined in [1] , and $\delta \in \left(\mathrm{0,1}\right]$ , $r>0$ , $r>0$ , $ℝ=\left(-\infty ,+\infty \right)$ , $f\mathrm{<mo>\; :\; </mo>}\left[\mathrm{0,1}\right]\times ℝ\to ℝ$ is continuous.

2. Preliminaries

In this section, we present some definitions and lemmas which will be used in the proof of our main results.

Definition 2.1. (See [1] ) Given a function $x\mathrm{<mo>\; :\; </mo>}\left[\mathrm{0,}+\infty \right)\to ℝ$ . Then the conformable fractional derivative of x of order $\delta$ is defined by

$x^{\left(\delta \right)}\left(t\right):=\underset{\epsilon \to 0}{\lim }\frac{x\left(t+\epsilon t^{1-\delta }\right)-x\left(t\right)}{\epsilon },$

for all $t>0$ , $\delta \in \left(\mathrm{0,1}\right)$ . If the conformable fractional derivative of x of order $\delta$ exists, then we simply say that x is δ-differentiable. If x is δ-differentiable in some $t\in \left(\mathrm{0,}a\right)$ , $a>0$ , and $\underset{t\to 0}{\lim }{x}^{\left(\delta \right)}\left(t\right)$ exists, then we define

$x^{\left(\delta \right)}\left(0\right):=\underset{t\to 0}{\lim }{x}^{\left(\delta \right)}\left(t\right).$

Definition 2.2. Let $y_0\left(t\right)\mathrm{,}{z}_0\left(t\right)\in C\left(\left[\mathrm{0,1}\right]\mathrm{,}ℝ\right)$ , then $y_0=y_0\left(t\right),z_0=z_0\left(t\right)$ are said to be coupled lower and upper solutions of (1), respectively, if

$(\begin{array}{l}{y}_0^{\left(\delta \right)}\left(t\right)\le f\left(t\mathrm{,}{y}_0\left(t\right)\right)\mathrm{,}t\in \left(\mathrm{0,1}\right)\mathrm{,}\\ y_0\left(0\right)+r{z}_0\left(1\right)\le \lambda {\displaystyle {\int }_0^1}{y}_0\left(s\right)\text{d}s\mathrm{.}\\ z_0^{\left(\delta \right)}\left(t\right)\ge f\left(t\mathrm{,}{z}_0\left(t\right)\right)\mathrm{,}t\in \left(\mathrm{0,1}\right)\mathrm{,}\\ z_0\left(0\right)+r{y}_0\left(1\right)\ge \lambda {\displaystyle {\int }_0^1}{z}_0\left(s\right)\text{d}s\mathrm{.}\end{array}$

Definition 2.3. Let $y\mathrm{,}z\in C\left(\left[\mathrm{0,1}\right]\mathrm{,}ℝ\right)$ , then the function pair $\left(y\mathrm{,}z\right)$ is said to be coupled solutions of (1), if

$(\begin{array}{l}{y}^{\left(\delta \right)}\left(t\right)=f\left(t\mathrm{,}y\left(t\right)\right)\mathrm{,}t\in \left(\mathrm{0,1}\right)\mathrm{,}\\ y\left(0\right)+rz\left(1\right)=\lambda {\displaystyle {\int }_0^1}y\left(s\right)\text{d}s\mathrm{.}\\ z^{\left(\delta \right)}\left(t\right)=f\left(t\mathrm{,}z\left(t\right)\right)\mathrm{,}t\in \left(\mathrm{0,1}\right)\mathrm{,}\\ z\left(0\right)+ry\left(1\right)=\lambda {\displaystyle {\int }_0^1}z\left(s\right)\text{d}s\mathrm{.}\end{array}$

Let $\gamma \mathrm{,}\rho \in C\left(\left[\mathrm{0,1}\right]\mathrm{,}ℝ\right)$ , then $\left(\rho \mathrm{,}\gamma \right)$ is said to be minimum and maximum coupled solutions of (1), if $\left(\rho \mathrm{,}\gamma \right)$ are coupled solutions of (1), and $\rho \left(t\right)\le y\left(t\right)\mathrm{,}z\left(t\right)\le \gamma \left(t\right)$ for any coupled solution $\left(y\mathrm{,}z\right)$ .

Lemma 2.1. (See [1] ) Let $\delta \in \left(\mathrm{0,1}\right]$ , and assume $x_1\mathrm{,}{x}_2$ to be δ-differentiable, then

1) ${\left(a{x}_1+b{x}_2\right)}^{\left(\delta \right)}\left(t\right)=a{x}_1^{\left(\delta \right)}\left(t\right)+b{x}_2^{\left(\delta \right)}\left(t\right)$ ;

2) ${\left(x_1{x}_2\right)}^{\left(\delta \right)}\left(t\right)=x_1\left(t\right)x_2^{\left(\delta \right)}\left(t\right)+x_2\left(t\right)x_1^{\left(\delta \right)}\left(t\right)$ ;

3) ${\left(\frac{x_1}{x_2}\right)}^{\left(\delta \right)}\left(t\right)=\frac{x_2\left(t\right)x_1^{\left(\delta \right)}\left(t\right)-x_1\left(t\right)x_2^{\left(\delta \right)}\left(t\right)}{x_2^2\left(t\right)}$ .

for $t\in \left(\mathrm{0,1}\right)$ , $a\mathrm{,}b\in ℝ$ .

Lemma 2.2. (See [1] ) If x is differentiable, $t>0$ , then $x^{\left(\delta \right)}\left(t\right)=t^{1-\delta }\frac{\text{d}x}{\text{d}t}\left(t\right)$ .

Lemma. 2.3 (See [3] ) If $x^{\left(\delta \right)}\left(t\right)$ exists, then for $t\ne 0$ , we have $x^{\left(\delta \right)}\left(t\right)=t^{1-\delta }{x}^{\prime }\left(t\right)$ .

Lemma 2.4. Assume that $g\in C\left(\left[\mathrm{0,1}\right]\mathrm{,}ℝ\right)$ , and $\delta \in \left(\mathrm{0,1}\right]$ , $m\in ℝ$ , $M>0$ , Define function $p\mathrm{<mo>\; :\; </mo>}\left[\mathrm{0,1}\right]\to ℝ$ as follows:

$p\left(t\right)=m{\text{e}}^{\frac{-M}{\delta }{t}^{\delta }}+{\displaystyle {\int }_0^t}{s}^{\delta -1}g\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t^{\delta }\right)}\text{d}s.$ (2)

Then $p\left(t\right)$ is the solution of the initial value problem as follows

$(\begin{array}{l}{p}^{\left(\delta \right)}\left(t\right)+Mp\left(t\right)=g\left(t\right),t\in \left(0,1\right],\\ p\left(0\right)=m\end{array}$

Proof Assume that $p\left(t\right)$ is given by (2), then p is differentiable for $t>0$ , therefore we have

$\begin{array}{c}{p}^{\left(\delta \right)}\left(t\right)=t^{1-\delta }{t}^{\delta -1}\left(-mM{\text{e}}^{\frac{-M{t}^{\delta }}{\delta }}{t}^{\delta }-M{\text{e}}^{\frac{-M{t}^{\delta }}{\delta }}{\displaystyle {\int }_0^t}{\text{e}}^{\frac{M{s}^{\delta }}{\delta }}{s}^{\delta -1}g\left(s\right)+g\left(t\right)\right)\\ =-M\left(m{\text{e}}^{\frac{-M}{\delta }{t}^{\delta }}+{\displaystyle {\int }_0^t}{s}^{\delta -1}g\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t^{\delta }\right)}\text{d}s\right)+g\left(t\right)\\ =-Mp\left(t\right)+g\left(t\right)\mathrm{.}\end{array}$

from Lemma 2.2, and $p\left(t\right)$ subject to the condition

$p\left(0\right)=m.$

$\square$

Lemma 2.5. (Comparison Theorem) Let $p\in C\left(\left[0,1\right],ℝ\right),M>0$ , and the following inequalities hold true

$(\begin{array}{l}{p}^{\left(\delta \right)}\left(t\right)+Mp\left(t\right)\le 0,t\in \left[0,1\right],\\ p\left(0\right)\le 0.\end{array}$

then $p\left(t\right)\le 0$ , for $t\in \left[\mathrm{0,1}\right]$ .

Proof Let $p^{\left(\delta \right)}\left(t\right)+Mp\left(t\right)=g\left(t\right),p\left(0\right)=m$ , then we have $g\left(t\right)\ge \mathrm{0,}m\ge 0$ for $t\in \left[\mathrm{0,1}\right]$ , and we can draw a conclusion from (2.1) and Lemma 2.3. $\square$

3. Conclusions

Theorem 3.1. Assume that $y_0\left(t\right)\mathrm{,}{z}_0\left(t\right)$ are coupled lower and upper solutions of (1.1) with $y_0\left(t\right)\le z_0\left(t\right)$ for $t\in \left[\mathrm{0,1}\right]$ , let $D=\left\{x\in C\left(\left[\mathrm{0,1}\right]\mathrm{,}ℝ\right)\mathrm{<mo>\; |\; </mo>}{y}_0\left(t\right)\le x\le z_0\left(t\right)\right\}$ . And if $y_0\left(t\right)\le x_2\le x_1\le z_0\left(t\right)$ , then the following inequalities hold true

$f\left(t\mathrm{,}{x}_1\right)-f\left(t\mathrm{,}{x}_2\right)\ge -M\left(x_1-x_2\right)\mathrm{.}$ (3)

for $t\in \left[\mathrm{0,1}\right]$ and $M>0$ . If we take $y_0\left(t\right)\mathrm{,}{z}_0\left(t\right)$ as initial elements, the iterative sequences defined by

$(\begin{array}{l}{y}_n\left(t\right)=\left(\lambda {\displaystyle {\int }_0^1}{y}_{n-1}\left(s\right)\text{d}s-r{z}_{n-1}\left(1\right)\right){\text{e}}^{\frac{-M}{\delta }{t}^{\delta }}+{\displaystyle {\int }_0^t}{s}^{\delta -1}{f}_{y_{n-1}}\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t^{\delta }\right)}\text{d}s\mathrm{,}t\in \left[\mathrm{0,1}\right]\\ z_n\left(t\right)=\left(\lambda {\displaystyle {\int }_0^1}{z}_{n-1}\left(s\right)\text{d}s-r{y}_{n-1}\left(1\right)\right){\text{e}}^{\frac{-M}{\delta }{t}^{\delta }}+{\displaystyle {\int }_0^t}{s}^{\delta -1}{f}_{z_{n-1}}\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t^{\delta }\right)}\text{d}s\mathrm{,}t\in \left[\mathrm{0,1}\right]\end{array}$ (4)

are $\left\{y_n\left(t\right)\right\}$ and $\left\{z_n\left(t\right)\right\}$ , then

1) $y_n\left(t\right)\to y^{\mathrm{<mo>\; *\; </mo>}}\left(t\right)$ and $z_n\left(t\right)\to z^{\mathrm{<mo>\; *\; </mo>}}\left(t\right)$ uniformly and $y^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}{z}^{\mathrm{<mo>\; *\; </mo>}}\in D$ ;

2) $\left(y^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}{z}^{\mathrm{<mo>\; *\; </mo>}}\right)$ are coupled minimal and maximal solutions of (1.1) respectively in D;

3) If $x\left(t\right)$ is the solution of (1.1) in D, then we have $y^{\mathrm{<mo>\; *\; </mo>}}\le x\le z^{\mathrm{<mo>\; *\; </mo>}}$ ; i.e., we have

$y^{\mathrm{<mo>\; *\; </mo>}}\left(t\right)\le x\left(t\right)\le z^{\mathrm{<mo>\; *\; </mo>}}\left(t\right)\mathrm{,}$

for $t\in \left[\mathrm{0,1}\right]$ .

Proof 1). There is a unique solution to the boundary value problem as follows

$(\begin{array}{l}{y}^{\left(\delta \right)}\left(t\right)=f\left(t\mathrm{,}u\left(t\right)\right)-M\left(y\left(t\right)-u\left(t\right)\right)\mathrm{,}t\in \left(\mathrm{0,1}\right)\mathrm{,}\\ y\left(0\right)+rv\left(1\right)=\lambda {\displaystyle {\int }_0^1}u\left(s\right)\text{d}s\mathrm{.}\\ z^{\left(\delta \right)}\left(t\right)=f\left(t\mathrm{,}v\left(t\right)\right)-M\left(z\left(t\right)-v\left(t\right)\right)\mathrm{,}t\in \left(\mathrm{0,1}\right)\mathrm{,}\\ z\left(0\right)+ru\left(1\right)=\lambda {\displaystyle {\int }_0^1}v\left(s\right)\text{d}s\mathrm{,}\end{array}$

which is given by

$(\begin{array}{l}y\left(t\right)=\left(\lambda {\displaystyle {\int }_0^1}u\left(s\right)\text{d}s-rv\left(1\right)\right){\text{e}}^{\frac{-M}{\delta }{t}^{\delta }}+{\displaystyle {\int }_0^t}{s}^{\delta -1}{f}_u\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t^{\delta }\right)}\text{d}s\mathrm{,}t\in \left[\mathrm{0,1}\right]\mathrm{,}\\ z\left(t\right)=\left(\lambda {\displaystyle {\int }_0^1}v\left(s\right)\text{d}s-ru\left(1\right)\right){\text{e}}^{\frac{-M}{\delta }{t}^{\delta }}+{\displaystyle {\int }_0^t}{s}^{\delta -1}{f}_v\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t^{\delta }\right)}\text{d}s\mathrm{,}t\in \left[\mathrm{0,1}\right]\mathrm{.}\end{array}$

for $u\mathrm{,}v\in D$ and $u\le v$ from Lemma 2.2 and Lemma 2.3. Where $f_v\left(t\right)=f\left(t,v\left(t\right)\right)+Mv\left(t\right)$ , $f_u\left(t\right)=f\left(t,u\left(t\right)\right)+Mu\left(t\right)$ . Define operator $T\mathrm{<mo>\; :\; </mo>}D\times D\to C\left(\left[\mathrm{0,1}\right]\mathrm{,}ℝ\right)\times C\left(\left[\mathrm{0,1}\right]\mathrm{,}ℝ\right)$

$T\left(u\mathrm{,}v\right)\left(t\right)=\left(T_1\left(u\mathrm{,}v\right)\mathrm{,}{T}_2\left(u\mathrm{,}v\right)\right)\mathrm{,}$

where operators $T_1\mathrm{,}{T}_2$ are given by

$(\begin{array}{l}{T}_1\left(u\mathrm{,}v\right)=\left(\lambda {\displaystyle {\int }_0^1}u\left(s\right)\text{d}s-rv\left(1\right)\right){\text{e}}^{\frac{-M}{\delta }{t}^{\delta }}+{\displaystyle {\int }_0^t}{s}^{\delta -1}{f}_u\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t^{\delta }\right)}\text{d}s\mathrm{,}t\in \left[\mathrm{0,1}\right]\mathrm{,}\\ T_2\left(u\mathrm{,}v\right)=\left(\lambda {\displaystyle {\int }_0^1}v\left(s\right)\text{d}s-ru\left(1\right)\right){\text{e}}^{\frac{-M}{\delta }{t}^{\delta }}+{\displaystyle {\int }_0^t}{s}^{\delta -1}{f}_v\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t^{\delta }\right)}\text{d}s\mathrm{,}t\in \left[\mathrm{0,1}\right]\mathrm{.}\end{array}$

respectively. Then the fixed point of operator T in $D\times D$ means the coupled solutions of (1).

Let $y_1=T_1\left(y_0,z_0\right),z_1=T_2\left(y_0,z_0\right)$ .

Here we prove that $y_0\le y_1\mathrm{,}{z}_1\le z_0\mathrm{,}{y}_1\le z_1$ , and $y_1\mathrm{,}{z}_1$ are coupled lower and upper solutions of (1).

Whereas

$(\begin{array}{l}{y}_1^{\left(\delta \right)}\left(t\right)=f\left(t\mathrm{,}{y}_0\left(t\right)\right)-M\left(y_1\left(t\right)-y_0\left(t\right)\right)\mathrm{,}t\in \left(\mathrm{0,1}\right)\mathrm{,}\\ y_1\left(0\right)+r{z}_0\left(1\right)=\lambda {\displaystyle {\int }_0^1}{y}_0\left(s\right)\text{d}s\mathrm{.}\\ z_1^{\left(\delta \right)}\left(t\right)=f\left(t\mathrm{,}{z}_0\left(t\right)\right)-M\left(z_1\left(t\right)-z_0\left(t\right)\right)\mathrm{,}t\in \left(\mathrm{0,1}\right)\mathrm{,}\\ z_1\left(0\right)+r{y}_0\left(1\right)=\lambda {\displaystyle {\int }_0^1}{z}_0\left(s\right)\text{d}s.\end{array}$ (5)

And $y_0\mathrm{,}{z}_0$ are coupled lower and upper solutions of (1), then we have

$(\begin{array}{l}\left(y_0^{\left(\delta \right)}\left(t\right)-y_1^{\left(\delta \right)}\left(t\right)\right)+M\left(y_0\left(t\right)-y_1\left(t\right)\right)\le \mathrm{0,}\\ y_0\left(0\right)-y_1\left(0\right)\le \mathrm{0,}\\ \left(z_1^{\left(\delta \right)}\left(t\right)-z_0^{\left(\delta \right)}\left(t\right)\right)+M\left(z_1\left(t\right)-z_0\left(t\right)\right)\le \mathrm{0,}\\ z_1\left(0\right)-z_0\left(0\right)\le 0.\end{array}$

for $t\in \left[\mathrm{0,1}\right]$ . And by Lemma 2.5, we have

$y_0\left(t\right)\le y_1\left(t\right)\mathrm{,}{z}_1\left(t\right)\le z_0\left(t\right)\mathrm{,}t\in \left[\mathrm{0,1}\right]\mathrm{.}$

So we can easily get that

$(\begin{array}{l}{y}_1^{\left(\delta \right)}\left(t\right)=f\left(t\mathrm{,}{y}_0\left(t\right)\right)-M\left(y_1\left(t\right)-y_0\left(t\right)\right)\le f\left(t\mathrm{,}{y}_1\left(t\right)\right)\mathrm{,}\\ y_1\left(0\right)+r{z}_1\left(1\right)\le \lambda {\displaystyle {\int }_0^1}{y}_1\left(s\right)\text{d}s,\\ z_1^{\left(\delta \right)}\left(t\right)=f\left(t\mathrm{,}{z}_0\left(t\right)\right)-M\left(z_1\left(t\right)-z_0\left(t\right)\right)\ge f\left(t\mathrm{,}{z}_1\left(t\right)\right)\mathrm{,}\\ z_1\left(0\right)+r{y}_1\left(1\right)\ge \lambda {\displaystyle {\int }_0^1}{z}_1\left(s\right)\text{d}s.\end{array}$

from formula (3) and (5). i.e., $y_1\mathrm{,}{z}_1$ are coupled lower and upper solutions of (1).

We also get that

$(\begin{array}{l}{y}_1^{\left(\delta \right)}\left(t\right)-z_1^{\left(\delta \right)}\left(t\right)\le -M\left(y_1\left(t\right)-z_1\left(t\right)\right)\mathrm{,}\\ y_1\left(0\right)-z_1\left(0\right)=\lambda {\displaystyle {\int }_0^1}\left(y_0\left(s\right)-z_0\left(s\right)\right)\text{d}s+r\left(y_0\left(1\right)-z_0\left(1\right)\right)\le 0.\end{array}$

from formula (5) and $y_0\le z_0$ . Similarly, we have $y_1\le z_1$ . by Lemma 2.5.

Let $y_n=T_1\left(y_{n-1},z_{n-1}\right),z_n=T_2\left(y_{n-1},z_{n-1}\right)$ , then from formula (4), we have that $y_n\mathrm{,}{z}_n$ are coupled lower and upper solutions of (1) for any $n\ge 2$ , which is similar to the proof above. And

$y_{n-1}\le y_n\le z_n\le z_{n-1}\mathrm{.}$

In summary, we have

$y_0\left(t\right)\le y_1\left(t\right)\le \cdots \le y_n\left(t\right)\le \cdots \le z_n\left(t\right)\le \cdots \le z_1\left(t\right)\le z_0\left(t\right)\mathrm{<mo>\; ;\; </mo>}$

for $t\in \left[\mathrm{0,1}\right]$ . Therefore, function sequences $\left\{y_n\left(t\right)\right\}\mathrm{,}\left\{z_n\left(t\right)\right\}$ are uniformly bounded, i.e.,

$\Vert y_n\Vert \le M_0\mathrm{,}\Vert z_n\Vert \le M_0\mathrm{.}$

for $n=0,1,2,\cdots$ and $M_0>0$ . Because f is continuous, we have

$\left|f_{y_{\left(n-1\right)}}\left(t\right)\right|\le M_1\mathrm{.}$

for $n=1,2,3,\cdots ,t\in \left[0,1\right]$ and $M_1>0$ . In addition, because that functions ${\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t^{\delta }\right)}$ and ${\text{e}}^{\frac{-M}{\delta }{t}^{\delta }}$ are continuous, we have

$\begin{array}{l}\left|y_n\left(t_2\right)-y_n\left(t_1\right)\right|\\ =|\left(\lambda {\displaystyle {\int }_0^1}{y}_{n-1}\left(s\right)\text{d}s-r{z}_{n-1}\left(1\right)\right)\left({\text{e}}^{\frac{-M}{\delta }{t}_2^{\delta }}-{\text{e}}^{\frac{-M}{\delta }{t}_1^{\delta }}\right)\\ +{\displaystyle {\int }_0^{t_2}}{s}^{\delta -1}{f}_{y_{n-1}}\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t_2^{\delta }\right)}\text{d}s-{\displaystyle {\int }_0^{t_1}}{s}^{\delta -1}{f}_{y_{n-1}}\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t_1^{\delta }\right)}\text{d}s|\\ \le \left|\left(\lambda {\displaystyle {\int }_0^1}{y}_{n-1}\left(s\right)\text{d}s-r{z}_{n-1}\left(1\right)\right)\right|\left|{\text{e}}^{\frac{-M}{\delta }{t}_2^{\delta }}-{\text{e}}^{\frac{-M}{\delta }{t}_1^{\delta }}\right|\\ +\left|{\displaystyle {\int }_0^{t_1}}{s}^{\delta -1}{f}_{y_{n-1}}\left(s\right)\left({\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t_2^{\delta }\right)}-{\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t_1^{\delta }\right)}\right)\text{d}s+{\displaystyle {\int }_{t_1}^{t_2}}{s}^{\delta -1}{f}_{y_{n-1}}\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t_2^{\delta }\right)}\text{d}s\right|\end{array}$

$\begin{array}{l}\le \left|\left(\lambda {\displaystyle {\int }_0^1}{y}_{n-1}\left(s\right)\text{d}s-r{z}_{n-1}\left(1\right)\right)\right|\left|{\text{e}}^{\frac{-M}{\delta }{t}_2^{\delta }}-{\text{e}}^{\frac{-M}{\delta }{t}_1^{\delta }}\right|\\ +\left|{\displaystyle {\int }_0^{t_1}}{s}^{\delta -1}{f}_{y_{n-1}}\left(s\right)\left|{\text{e}}^{\frac{M}{\delta }\mathrm{<mo\; stretchy="false">\; (\; </mo>}{s}^{\delta }-t_2^{\delta }\mathrm{<mo\; stretchy="false">\; )\; </mo>}}-{\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t_1^{\delta }\right)}\right|\text{d}s\right|+\left|{\displaystyle {\int }_{t_1}^{t_2}}{s}^{\delta -1}{f}_{y_{n-1}}\left(s\right){\text{e}}^{\frac{M}{\delta }\left(s^{\delta }-t_2^{\delta }\right)}\text{d}s\right|\\ \to 0\end{array}$

if $0\le t_1<t_2\le 1$ and $t_2\to t_1$ . Hence, $\left\{y_n\left(t\right)\right\}$ is equicontinuous, we can also get that $\left\{z_n\left(t\right)\right\}$ is equicontinuous similarly.

In summary, by Ascoli-Arzela theorem [17] , we can prove that are convergent because of the monotonicity of Sequences, i.e., there are two functions, such that

and. Next we take limits on both sides of (4), then from Lebesgue Dominated Convergence Theorem, we have

if. i.e., are coupled solutions of (1).

2) Here we prove that are coupled minimal and maximal solutions of (1) respectively in D.

Assume that are a set of coupled solutions of (1), then the above problem is equivalent to prove that

Whereas, therefore. Assume that for, here we prove that.

Consider that

And from Definition 2.3, we have that

Then from (3), we get that

In that way, we have

according to Lemma 2.5. By Mathematical Induction, we can get

for. In addition, because of the convergence of iterative sequences, we have

if. i.e.,

for. Therefore, are coupled minimal and maximal solutions of (1) respectively in D from Definition 2.3.

3) Here we prove that if x is the solution of (1) in D, then. In conclusion (2) above, let, because that x is the solution of (1) in D, therefore, are a set of coupled solutions of (1). Obviously, x subject to

In summary, Theorem 3.1 is proved.

Theorem 3.2. Assume that is increasing in x on , and, then there exists a unique solution of (1) in.

Proof By Theorem 3.1, we get that and. And we have for. Then we have that for. Here we prove that.

If is increasing in x on, assume that, then we have

considering the convergence of iterative sequences. Let, then we have by Lemma 2.2, i.e., the function is monotonically decreasing. Hence, , therefore, we draw a contradiction from the conclusion that, which can be obtained from the condition and the boundary value conditions above. Therefore, we have, i.e., is the solution of (1).

On the basis of (1), we can also consider the existence of solutions of boundary value problems for the following uniform fractional differential equations:

(6)

where is the conformable fractional derivatives of order for which is defined in [1] , and, , , is continuous. Similarly, the existence of the solution can be proved by the method of coupled upper and lower solution, and the range of the solution can be obtained. Due to, so the original problem needs to be solved until the solution of the equation of order n before we construct the comparison theorem, which is the difficulty of (6).

4. Examples

To illustrate our main results, we present the following example.

Example 4.1. Consider the boundary value problem of conformable fractional differential equations under the following new definitions

(7)

It is obvious that are coupled lower and upper solutions of (7), and from the condition, we can get that there exists a constant for, such that the formula (4) of Theorem 3.1 holds. Hence, problem (4) has at least one solution for by Theorem 3.2.

Example 4.2. Consider the boundary value problem of conformable fractional differential equations under the following new definitions

(8)

where, it is easy to get that

which yield to

Therefore, are coupled lower and upper solutions of (8), it is obvious that the formula (4) of Theorem 3.1 holds. Hence, problem (8) has at least one solution for by Theorem 3.2.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Khalil, R., Al Horani, M., Yousef, A. and Sababheh, M. (2014) A New Definition of Fractional Derivative. Journal of Computational and Applied Mathematics, 264, 65-70.
[2]	Anderson, D.R. and Avery, R.I. (2015) Fractional-Order Boundary Value Problem with Sturm-Liouville Boundary Conditions. Eprint Arxiv, 29.
[3]	Batarfi, H., Losada, J. and Nieto, J.J. (2015) Three-Point Boundary Value Problems for Conformable Fractional Differential Equations. Journal of Function Spaces, 2015, Article ID: 706383.
[4]	Chung, W.S. (2015) Fractional Newton Mechanics with Conformable Fractional Derivative. Journal of Computational and Applied Mathematics, 290, 150-158. https://doi.org/10.1016/j.cam.2015.04.049
[5]	Benkhettou, N., Hassani, S. and Torres, D.F.M. (2015) A Conformable Fractional Calculus on Arbitrary Time Scales. Journal of King Saud University Science, 28, 93-98. https://doi.org/10.1016/j.jksus.2015.05.003
[6]	Wei, Z.L., Dong, W. and Che, J.L. (2010) Periodic Boundary Value Problems for Fractional Differential Equations Involving a Riemann-Liouville Fractional Derivative. Nonlinear Analysis-Theory Methods and Applications, 73, 3232-3238.
[7]	Wei, Z.L. and Dong, W. (2011) Periodic Boundary Value Problems for Riemann-Liouville Sequential Fractional Differential Equations. Electronic Journal of Qualitative Theory of Differential Equations, 87, 1-13. https://doi.org/10.14232/ejqtde.2011.1.87
[8]	Zhang, W., Bai, Z.B. and Sun, S.J. (2016) Extremal Solutions for Some Periodic Fractional Differential Equations. Advances in Difference Equations, 179, 1-8.
[9]	Mu, J. and Li, Y.X. (2012) Periodic Boundary Value Problems for Semilinear Fractional Differential Equations. Mathematical Problems in Engineering, 1-16.
[10]	Xu, Y.F. (2016) Fractional Boundary Value Problems with Integral and Anti-Periodic Boundary Conditions. Bulletin of the Malaysian Mathematical Sciences Society, 39, 571-587.
[11]	Qiao, Y. and Zhou, Z.F. (2017) Existence of Solutions for a Class of Fractional Differential Equations with Integral and Anti-Periodic Boundary Conditions. Qiao and Zhou Boundary Value Problems, 1-9.
[12]	Matar, M.M. (2017) Existence of Integral and Anti-Periodic Boundary Valued Problem of Fractional Order . Bulletin of the Malaysian Mathematical Sciences Society, 40, 959-973.
[13]	Luo, Z.G. and Wang, W.B. (2006) Existence of Solutions for Antiperiodic Boundary Value Problems of Second Order Differential Equations. Journal of Applied Mathematics, 29, 1111-1117.
[14]	Wang, W.B. and Shen, J.H. (2009) Existence of Solutions for Anti-Periodic Boundary Value Problems. Nonlinear Analysis: Theory, Methods and Applications, 70, 598-605.
[15]	Devi, J.V. (2008) Generalized Monotone Method for Periodic Boundary Value Problems of Caputo Fractional Differential Equations. Communications in Applied Analysis, 12.
[16]	Ramrez, J.D. (2014) Generalized Monotone Iterative Method for Caputo Fractional Differential Equations with Anti-Periodic Boundary Conditions. Dynamic Systems and Applications, 23, 479-492.
[17]	Guo, D.J., Sun, J.X. and Liu, Z.L. (2006) Functional Method for Nonlinear Ordinary Differential Equations. Shandong Science and Technology Press.