Advances in Boundary Value Problems for Fractional Differential Equations

1. Equations and Systems of Equations with Sequential Fractional Derivatives

In paper [1], the authors investigate the differential equation

$$D^{{\sigma }_n}\mathrm{z}\left(t\right)=\mathcal{A}\mathrm{z}\left(t\right)+\mathrm{f}\left(t\right),t\in (0,T],$$

(1)

with the initial conditions

$$D^{{\sigma }_k}\mathrm{z}\left(0\right)={\mathrm{z}}_k,k=0,1,\dots ,n-1,$$

(2)

where the operator $\mathcal{A}:D_{\mathcal{A}}\subset \mathcal{Z}\to \mathcal{Z}$ is linear and closed with its domain $D_{\mathcal{A}}$ (a dense set), $\mathcal{Z}$ is a Banach space, $\mathrm{f}:[0,T]\to \mathcal{Z}$ is a given function, and $D^{{\sigma }_k},k=0,1,\dots ,n$ are the Dzhrbashyan–Nersesyan fractional derivatives. For the set of numbers ${\left\{{\alpha }_k\right\}}_0^n$, with ${\alpha }_k\in (0,1]$, $k=0,1,\dots ,n$, they introduced the numbers ${\sigma }_k={\sum }_{j=0}^k{\alpha }_j-1$, $k=0,1,\dots ,n$, with the condition ${\sigma }_n>0$. The fractional derivatives $D^{{\sigma }_k},k=0,1,\dots ,n$ are given by $D^{{\sigma }_0}\mathrm{z}\left(t\right)=D_t^{{\alpha }_0-1}\mathrm{z}\left(t\right)$, $D^{{\sigma }_k}\mathrm{z}\left(t\right)=D_t^{{\alpha }_k-1}{D}_t^{{\alpha }_{k-1}}{D}_t^{{\alpha }_{k-2}}.D_t^{{\alpha }_0}\mathrm{z}\left(t\right)$, for $k=1,2,\dots ,n$, where $D_t^{\beta }$ is the Riemann–Liouville integral for $\beta \le 0$ and the Riemann–Liouville derivative for $\beta >0$. The Dzhrbashyan–Nersesyan fractional derivative $D^{{\sigma }_n}$ is a generalization of the Riemann–Liouville and Caputo fractional derivatives. The authors prove firstly the existence and uniqueness of the k-resolving families of operators (for $k=0,\dots ,n-1$) for the homogeneous equation $D^{{\sigma }_n}z\left(t\right)=\mathcal{A}z\left(t\right)$, and then they give a criterion for the existence and uniqueness of analytic k-resolving families, namely $\mathcal{A}$ belongs to a class of operators denoted by ${\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$. Different properties of the resolving families are also studied, and a perturbation theorem for operators from ${\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$ is presented. Then, the authors prove the existence and uniqueness of a solution for problem (1),(2), where $\mathrm{f}$ is continuous in the graph norm of $\mathcal{A}$ or it is a Hölderian function. As an application, they show the existence of a unique solution for an initial boundary value problem to a fractional linearized model of viscoelastic Oldroyd fluid dynamics.

Paper [2] deals with a nonlinear coupled system of sequential fractional differential equations

$$\left\{\begin{array}{c}{(}^c{D}^{q+1}{+}^c{D}^q)\mathrm{x}\left(t\right)=\mathrm{f}(t,\mathrm{x}\left(t\right),\mathrm{y}\left(t\right)),t\in [0,1],\hfill \\ {(}^c{D}^{p+1}{+}^c{D}^p)\mathrm{y}\left(t\right)=\mathrm{g}(t,\mathrm{x}\left(t\right),\mathrm{y}\left(t\right)),t\in [0,1],\hfill \end{array}\right.$$

(3)

supplemented with the coupled multipoint and Riemann–Stieltjes integral boundary conditions

$$\left\{\begin{array}{c}\mathrm{x}\left(0\right)=0,{\mathrm{x}}^{\prime }\left(0\right)=0,{\mathrm{x}}^{\prime }\left(1\right)=0,\hfill \\ {\displaystyle \mathrm{x}\left(1\right)=k{\int }_0^{\rho }\mathrm{y}\left(s\right)d\mathcal{A}\left(s\right)+\sum _{i=1}^{n-2}{\alpha }_i\mathrm{y}\left({\sigma }_i\right)+k_1{\int }_{\nu }^1\mathrm{y}\left(s\right)d\mathcal{A}\left(s\right),}\hfill \\ \mathrm{y}\left(0\right)=0,{\mathrm{y}}^{\prime }\left(0\right)=0,{\mathrm{y}}^{\prime }\left(1\right)=0,\hfill \\ {\displaystyle \mathrm{y}\left(1\right)=h{\int }_0^{\rho }\mathrm{x}\left(s\right)d\mathcal{A}\left(s\right)+\sum _{i=1}^{n-2}{\beta }_i\mathrm{x}\left({\sigma }_i\right)+h_1{\int }_{\nu }^1\mathrm{x}\left(s\right)d\mathcal{A}\left(s\right),}\hfill \end{array}\right.$$

(4)

where $p,q\in (2,3]$, ${}^c{D}^{\kappa }$ denotes the Caputo fractional derivative of order $\kappa \in \{q,p\}$, $0<\rho <{\sigma }_i<\nu <1$, $\mathrm{f},\mathrm{g}:[0,1]\times \mathbb{R}\times \mathbb{R}\to \mathbb{R}$ are continuous functions, $k,h,k_1,h_1,{\alpha }_i,{\beta }_i\in \mathbb{R}$, for $i=1,2,\dots ,n-2$, and $\mathcal{A}$ is a function of bounded variation. The word sequential is used in the sense that the operator ${}^c{D}^{q+1}{+}^c{D}^q$ can be written as the composition of operators ${}^c{D}^q$ and $D+I$, where D is the usual differential operator and I is the identity operator. Under some assumptions of the data of the problem, the authors prove the existence and uniqueness of solutions for problem (3),(4) by applying the Leray–Schauder alternative and the Banach contraction mapping principle.

2. Resonance Problems for Caputo Fractional Differential Equations

Paper [3] is concerned with the nonlinear boundary value problem for a fractional differential equation of variable order at resonance

$$\left\{\begin{array}{c}{}^c{D}_{0+}^{\mathrm{u}\left(t\right)}\mathrm{x}\left(t\right)=\mathrm{g}(t,\mathrm{x}\left(t\right)),t\in [0,T],\hfill \\ \mathrm{x}\left(0\right)=\mathrm{x}\left(T\right),\hfill \end{array}\right.$$

(5)

where ${}^c{D}_{0+}^{\mathrm{u}\left(t\right)}$ is the Caputo derivative of variable order $\mathrm{u}\left(t\right)$ with $\mathrm{u}:[0,T]\to (0,1]$ and $\mathrm{g}:[0,T]\times \mathbb{R}\to \mathbb{R}$ is a continuous function. This problem is at resonance, that is, the corresponding linear homogeneous boundary value problem has non-trivial solutions. The authors transform firstly problem (5) to an equivalent standard boundary value problem at resonance with a fractional derivative of constant order by using some generalized intervals and piece-wise constant functions. Then, by applying Mawhin’s continuation theorem, they demonstrate the existence of at least one solution to (5).

In paper [4], the authors study the fractional differential equation in space ${\mathbb{R}}^n$

$${}^c{D}_{0+}^{\alpha }\mathrm{u}\left(t\right)=\mathrm{f}(t,\mathrm{u}\left(t\right){,}^c{D}_{0+}^{\alpha -1}\mathrm{u}),t\in (0,1),$$

(6)

subject to the boundary conditions

$$\mathrm{u}\left(0\right)=\mathcal{B}\mathrm{u}\left(\xi \right),\mathrm{u}\left(1\right)=\mathcal{C}\mathrm{u}\left(\eta \right),$$

(7)

where ${}^c{D}_{0+}^k$ denotes the Caputo fractional derivative of order $k\in \{\alpha ,\alpha -1\}$, $\xi ,\eta \in (0,1)$, $\alpha \in (1,2]$, $\mathrm{f}:[0,1]\times {\mathbb{R}}^{2n}\to {\mathbb{R}}^n$ satisfies Carathéodory conditions, and $\mathcal{B},\mathcal{C}$ are n-order nonzero square matrices. They prove the existence of solutions of problem (6),(7) by using Mawhin coincidence degree theory.

3. Approximations of Solutions for Caputo Fractional Differential Equations

Paper [5] is devoted to the Caputo fractional differential equation with variable coefficients

$$D_x^{\lambda }\mathrm{u}\left(x\right)+c_1\left(x\right){\mathrm{u}}^{\prime }\left(x\right)+c_0\left(x\right)\mathrm{u}\left(x\right)=\mathrm{g}\left(x\right),0<x<1,$$

(8)

with the boundary conditions

$$p_0\mathrm{u}\left(0\right)-q_0{\mathrm{u}}^{\prime }\left(0\right)=b_0,p_1\mathrm{u}\left(1\right)+q_1{\mathrm{u}}^{\prime }\left(1\right)=b_1,$$

(9)

where $\lambda \in (1,2]$, $D_x^{\lambda }$ is the Caputo fractional derivative of order $\lambda$, $c_1,c_0$, and $\mathrm{g}$ are continuous functions, $p_0,p_1,q_0,q_1\ge 0$, and $p_0{p}_1+p_0{q}_1+q_0{p}_1\ne 0$. By using the shifted Chebyshev polynomials of the first kind and the collocation method, the authors present approximate solutions to problem (8),(9).

4. Systems of Fractional Differential Equations with $\mathit{p}$-Laplacian Operators

In paper [6], the authors investigate the system of fractional differential equations with $r_1$-Laplacian and $r_2$-Laplacian operators

$$\left\{\begin{array}{c}{D}_{0+}^{{\gamma }_1}\left({\phi }_{r_1}\left(D_{0+}^{{\delta }_1}\mathrm{u}\left(t\right)\right)\right)=\mathrm{f}\left(t,\mathrm{u}\left(t\right),\mathrm{v}\left(t\right),I_{0+}^{{\sigma }_1}\mathrm{u}\left(t\right),I_{0+}^{{\sigma }_2}\mathrm{v}\left(t\right)\right),t\in (0,1),\hfill \\ D_{0+}^{{\gamma }_2}\left({\phi }_{r_2}\left(D_{0+}^{{\delta }_2}\mathrm{v}\left(t\right)\right)\right)=\mathrm{g}\left(t,\mathrm{u}\left(t\right),\mathrm{v}\left(t\right),I_{0+}^{{\varsigma }_1}\mathrm{u}\left(t\right),I_{0+}^{{\varsigma }_2}\mathrm{v}\left(t\right)\right),t\in (0,1),\hfill \end{array}\right.$$

(10)

supplemented with the uncoupled nonlocal boundary conditions

$$\left\{\begin{array}{c}{\mathrm{u}}^{\left(i\right)}\left(0\right)=0,i=0,\dots ,p-2,D_{0+}^{{\delta }_1}\mathrm{u}\left(0\right)=0,\hfill \\ {\displaystyle {\phi }_{r_1}\left(D_{0+}^{{\delta }_1}\mathrm{u}\left(1\right)\right)={\int }_0^1{\phi }_{r_1}\left(D_{0+}^{{\delta }_1}\mathrm{u}\left(\tau \right)\right)d{\mathcal{H}}_0\left(\tau \right),D_{0+}^{{\alpha }_0}\mathrm{u}\left(1\right)=\sum _{k=1}^n{\int }_0^1{D}_{0+}^{{\alpha }_k}\mathrm{u}\left(\tau \right)d{\mathcal{H}}_k\left(\tau \right),}\hfill \\ {\mathrm{v}}^{\left(j\right)}\left(0\right)=0,j=0,\dots ,q-2,D_{0+}^{{\delta }_2}\mathrm{v}\left(0\right)=0,\hfill \\ {\displaystyle {\phi }_{r_2}\left(D_{0+}^{{\delta }_2}\mathrm{v}\left(1\right)\right)={\int }_0^1{\phi }_{r_2}\left(D_{0+}^{{\delta }_2}\mathrm{v}\left(\tau \right)\right)d{\mathcal{K}}_0\left(\tau \right),D_{0+}^{{\beta }_0}\mathrm{v}\left(1\right)=\sum _{k=1}^m{\int }_0^1{D}_{0+}^{{\beta }_k}\mathrm{v}\left(\tau \right)d{\mathcal{K}}_k\left(\tau \right),}\hfill \end{array}\right.$$

(11)

where ${\gamma }_1,{\gamma }_2\in (1,2]$, $p,q\in \mathbb{N}$, $p,q\ge 3$, ${\delta }_1\in (p-1,p]$, ${\delta }_2\in (q-1,q]$, $n,m\in \mathbb{N}$, ${\sigma }_1,{\varsigma }_1,{\sigma }_2,{\varsigma }_2>0$, ${\alpha }_i\in \mathbb{R}$, $i=0,\dots ,n$, $0\le {\alpha }_1<{\alpha }_2<.<{\alpha }_n\le {\alpha }_0<{\delta }_1-1$, ${\alpha }_0\ge 1$, ${\beta }_j\in \mathbb{R}$, $j=0,\dots ,m$, $0\le {\beta }_1<{\beta }_2<.<{\beta }_m\le {\beta }_0<{\delta }_2-1$, ${\beta }_0\ge 1$, ${\phi }_{r_k}\left(\tau \right)={\left|\tau \right|}^{r_k-2}\tau$, $r_k>1$, $k=1,2$, the functions $\mathrm{f},\mathrm{g}:(0,1)\times {\mathbb{R}}_{+}^4\to {\mathbb{R}}_{+}$ are continuous, singular at $t=0$ and/or $t=1$, (${\mathbb{R}}_{+}=[0,\infty )$), $I_{0+}^{\varkappa }$ is the Riemann–Liouville fractional integral of order $\varkappa$ (for $\varkappa ={\sigma }_1,{\varsigma }_1,{\sigma }_2,{\varsigma }_2$), $D_{0+}^{\varkappa }$ is the Riemann–Liouville fractional derivative of order $\varkappa$ (for $\varkappa ={\gamma }_1,{\gamma }_2,{\delta }_1,{\delta }_2,{\alpha }_0,\dots ,{\alpha }_n,{\beta }_0,\dots ,{\beta }_m$), and the integrals from the boundary conditions (11) are Riemann–Stieltjes integrals with ${\mathcal{H}}_i:[0,1]\to \mathbb{R},i=0,\dots ,n$ and ${\mathcal{K}}_j:[0,1]\to \mathbb{R},j=0,\dots ,m$ functions of bounded variation. By using the Guo–Krasnoselskii fixed point theorem of cone expansion and norm-type compression, they prove the existence and multiplicity of positive solutions for problem (10),(11).

Paper [7] is focused on the system of fractional differential equations (10) subject to the nonlocal coupled boundary conditions

$$\left\{\begin{array}{c}{\mathrm{u}}^{\left(i\right)}\left(0\right)=0,i=0,\dots ,p-2,D_{0+}^{{\delta }_1}\mathrm{u}\left(0\right)=0,\hfill \\ {\displaystyle {\phi }_{r_1}\left(D_{0+}^{{\delta }_1}\mathrm{u}\left(1\right)\right)={\int }_0^1{\phi }_{r_1}\left(D_{0+}^{{\delta }_1}\mathrm{u}\left(\tau \right)\right)d{\mathcal{H}}_0\left(\tau \right),D_{0+}^{{\alpha }_0}\mathrm{u}\left(1\right)=\sum _{i=1}^n{\int }_0^1{D}_{0+}^{{\alpha }_i}\mathrm{v}\left(\tau \right)d{\mathcal{H}}_i\left(\tau \right),}\hfill \\ {\mathrm{v}}^{\left(j\right)}\left(0\right)=0,j=0,\dots ,q-2,D_{0+}^{{\delta }_2}\mathrm{v}\left(0\right)=0,\hfill \\ {\displaystyle {\phi }_{r_2}\left(D_{0+}^{{\delta }_2}\mathrm{v}\left(1\right)\right)={\int }_0^1{\phi }_{r_2}\left(D_{0+}^{{\delta }_2}\mathrm{v}\left(\tau \right)\right)d{\mathcal{K}}_0\left(\tau \right),D_{0+}^{{\beta }_0}\mathrm{v}\left(1\right)=\sum _{j=1}^m{\int }_0^1{D}_{0+}^{{\beta }_j}\mathrm{u}\left(\tau \right)d{\mathcal{K}}_j\left(\tau \right),}\hfill \end{array}\right.$$

(12)

where ${\alpha }_i\in \mathbb{R}$, $i=0,\dots ,n$, $0\le {\alpha }_1<{\alpha }_2<.<{\alpha }_n\le {\beta }_0<{\delta }_2-1$, ${\beta }_0\ge 1$, ${\beta }_j\in \mathbb{R}$, $j=0,\dots ,m$, $0\le {\beta }_1<{\beta }_2<.<{\beta }_m\le {\alpha }_0<{\delta }_1-1$, ${\alpha }_0\ge 1$. The authors present existence and multiplicity results for the positive solutions of problem (10),(12) by applying the Guo–Krasnoselskii fixed point theorem.

Paper [8] deals with a system of fractional differential equations with ${\varrho }_1$-Laplacian and ${\varrho }_2$-Laplacian operators

$$\left\{\begin{array}{c}{D}_{0+}^{{\gamma }_1}\left({\phi }_{{\varrho }_1}\left(D_{0+}^{{\delta }_1}u\left(t\right)\right)\right)+a\left(t\right)f\left(v\left(t\right)\right)=0,t\in (0,1),\hfill \\ D_{0+}^{{\gamma }_2}\left({\phi }_{{\varrho }_2}\left(D_{0+}^{{\delta }_2}v\left(t\right)\right)\right)+b\left(t\right)g\left(u\left(t\right)\right)=0,t\in (0,1),\hfill \end{array}\right.$$

(13)

with the coupled nonlocal boundary conditions

$$\left\{\begin{array}{c}{\displaystyle u^{\left(i\right)}\left(0\right)=0,i=0,\dots ,p-2;D_{0+}^{{\delta }_1}u\left(0\right)=0,D_{0+}^{{\alpha }_0}u\left(1\right)=\sum _{i=1}^n{\int }_0^1{D}_{0+}^{{\alpha }_i}v\left(\tau \right)d{\mathcal{H}}_i\left(\tau \right)+c_0,}\hfill \\ {\displaystyle v^{\left(j\right)}\left(0\right)=0,j=0,\dots ,q-2;D_{0+}^{{\delta }_2}v\left(0\right)=0,D_{0+}^{{\beta }_0}v\left(1\right)=\sum _{j=1}^m{\int }_0^1{D}_{0+}^{{\beta }_j}u\left(\tau \right)d{\mathcal{K}}_j\left(\tau \right)+d_0,}\hfill \end{array}\right.$$

(14)

where ${\gamma }_1,{\gamma }_2\in (0,1]$, $p,q\in \mathbb{N}$, $p,q\ge 3$, ${\delta }_1\in (p-1,p]$, ${\delta }_2\in (q-1,q]$, $n,m\in \mathbb{N}$, ${\alpha }_i\in \mathbb{R}$ for all $i=0,1,\dots ,n$, $0\le {\alpha }_1<{\alpha }_2<.<{\alpha }_n\le {\beta }_0<{\delta }_2-1$, ${\beta }_0\ge 1$, ${\beta }_j\in \mathbb{R}$ for all $j=0,1,\dots ,m$, $0\le {\beta }_1<{\beta }_2<.<{\beta }_m\le {\alpha }_0<{\delta }_1-1$, ${\alpha }_0\ge 1$, the functions $f,g:{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ and $a,b:[0,1]\to {\mathbb{R}}_{+}$ are continuous, $c_0$ and $d_0$ are positive parameters, ${\varrho }_1,{\varrho }_2>1$, ${\phi }_{{\varrho }_i}\left(\zeta \right)={\left|\zeta \right|}^{{\varrho }_i-2}\zeta$, $i=1,2$, the functions ${\mathcal{H}}_j$, $j=1,\dots ,n$ and ${\mathcal{K}}_i$, $i=1,\dots ,m$ have bounded variation, and $D_{0+}^{\kappa }$ denotes the Riemann–Liouville derivative of order $\kappa$ (for $\kappa ={\gamma }_1,{\gamma }_2,{\delta }_1,{\delta }_2,{\alpha }_i$ for $i=0,1,\dots ,n$, ${\beta }_j$ for $j=0,1,\dots ,m$). The authors give sufficient conditions for the functions f and g, and intervals for the parameters $c_0$ and $d_0$ such that problem (13),(14) have at least one positive solution or they have no positive solutions. They apply the Schauder fixed point theorem in the proof of the main existence result.

In paper [9], the authors study a system of nonlinear Fredholm fractional integro-differential equations with p-Laplacian operator

$$\left\{\begin{array}{c}{}_t{D}_T^{{\gamma }_j}\left({\mathrm{k}}_j\left(t\right){\varphi }_p{(}_0^c{D}_t^{{\gamma }_j}{\mathrm{z}}_j\left(t\right))\right)+{\mathrm{l}}_j\left(t\right){\varphi }_p\left({\mathrm{z}}_j\left(t\right)\right)\hfill \\ {\displaystyle =\lambda {\mathrm{f}}_{{\mathrm{z}}_j}(t,{\mathrm{z}}_1\left(t\right),\dots ,{\mathrm{z}}_m\left(t\right))+{\int }_0^T{\mathrm{g}}_j(t,s){\varphi }_p\left({\mathrm{z}}_j\left(s\right)\right)\mathit{ds},t\in [0,T],j=1,2,\dots ,m,}\hfill \\ {\displaystyle {\mathrm{z}}_j\left(t\right)={\int }_0^T{\mathrm{g}}_j(t,s){\varphi }_p\left({\mathrm{z}}_j\left(s\right)\right)\mathit{ds},t\in [0,T],j=1,2,\dots ,m,}\hfill \end{array}\right.$$

(15)

supplemented with the Sturm–Liouville boundary conditions

$$\left\{\begin{array}{c}{c}_j{\mathrm{k}}_j\left(0\right){\varphi }_p\left({\mathrm{z}}_j\left(0\right)\right)-c_j^{\prime }{}_t{D}_T^{{\gamma }_j-1}\left({\mathrm{k}}_j\left(0\right){\varphi }_p{(}_0^c{D}_t^{{\gamma }_j}{\mathrm{z}}_j\left(0\right))\right)=0,j=1,2,\dots ,m,\hfill \\ d_j{\mathrm{k}}_j\left(T\right){\varphi }_p\left({\mathrm{z}}_j\left(T\right)\right)+d_j^{\prime }{}_t{D}_T^{{\gamma }_j-1}\left({\mathrm{k}}_j\left(T\right){\varphi }_p{(}_0^c{D}_t^{{\gamma }_j}{\mathrm{z}}_j\left(T\right))\right)=0,j=1,2,\dots ,m,\hfill \end{array}\right.$$

(16)

where $\lambda$ is a positive parameter, ${\mathrm{k}}_i,{\mathrm{l}}_i\in L^{\infty }[0,T]$ with ${\mathrm{ess}\inf }_{[0,T]}{\mathrm{k}}_i\left(t\right)>0$ and ${\mathrm{ess}\inf }_{[0,T]}$${\mathrm{l}}_i\left(t\right)\ge 0$, $c_i,d_i,c_i^{\prime },d_i^{\prime }$, $i=1,2,\dots ,m$, are positive constants, $p\in (1,\infty )$, ${\varphi }_p\left(s\right)={\left|s\right|}^{p-2}s,$$(s\ne 0)$, ${\varphi }_p\left(0\right)=0$, the functions $\mathrm{f}:[0,T]\times {\mathbb{R}}^m\to \mathbb{R}$ and ${\mathrm{g}}_i:[0,T]\times [0,T]\to \mathbb{R}$, $i=1,\dots ,m$ satisfy some conditions, and ${}_0^c{D}_t^{{\gamma }_j}$ and ${}_t{D}_T^{{\gamma }_j}$ denote the left Caputo fractional derivative and the right Riemann–Liouville fractional derivative of order ${\gamma }_j$, respectively. By using the critical point theory, they prove the existence of infinitely many solutions of problem (15),(16).

5. Approximate Controllability for Fractional Differential Equations in Banach Spaces

Paper [10] is concerned with the fractional evolution equation of Sobolev type in the Hilbert space X, with a control and a nonlocal condition

$$\left\{\begin{array}{c}{}^L{D}_t^{\alpha }\left(\mathcal{E}\mathrm{x}\left(t\right)\right)=\mathcal{A}\mathrm{x}\left(t\right)+\mathrm{f}(t,\mathrm{x}\left(t\right))+\mathcal{B}\mathrm{u}\left(t\right),t\in (0,b],\hfill \\ I_t^{1-\alpha }{\left(\mathcal{E}\mathrm{x}\left(t\right)\right)|}_{t=0}+\mathrm{g}\left(\mathrm{x}\right)=x_0,\hfill \end{array}\right.$$

(17)

where $\alpha \in (0,1)$, $\mathcal{A}:D\left(\mathcal{A}\right)\subset X\to X$ and $\mathcal{E}:D\left(\mathcal{E}\right)\subset X\to X$ are linear operators, $\mathcal{B}:U\to X$ is a linear bounded operator, U is another Hilbert space, the control function $\mathrm{u}\in L^p([0,b],U)$ for $p\alpha >1$, $x_0\in X$, the functions $\mathrm{f}$ and $\mathrm{g}$ satisfy some assumptions, $I_t^{1-\alpha }$ is the Riemann–Liouville fractional integral operator of order $1-\alpha$, and ${}^L{D}_t^{\alpha }$ denotes the Riemann–Liouville fractional derivative of order $\alpha$. By using the Schauder fixed point theorem and operator semigroup theory, the authors prove firstly the existence of mild solutions for problem (17) without the compactness of the operator semigroup. Then, they show that if the corresponding linear problem is approximately controllable on $[0,b]$, then problem (17) is also approximately controllable on $[0,b]$. An example with an initial boundary value problem for a partial differential equation with Riemann–Liouville fractional derivatives is finally presented.

Paper [11] is devoted to the fractional differential evolution equation in the Banach space X with a finite delay and a control

$${}^c{D}^{\beta }\mathrm{x}\left(t\right)=\mathcal{A}\mathrm{x}\left(t\right)+\mathrm{f}(t,{\mathrm{x}}_t)+\mathcal{B}\mathrm{u}\left(t\right),t\in [0,a],$$

(18)

subject to the initial date

$$\mathrm{x}\left(t\right)=\varphi \left(t\right),t\in [-b,0],$$

(19)

or to the nonlocal condition with a parameter

$$\mathrm{x}\left(t\right)+\lambda {\mathrm{g}}_t\left(\mathrm{x}\right)=\varphi \left(t\right),t\in [-b,0],$$

(20)

where $\mathcal{A}:\mathcal{D}\subset X\to X$ is a closed linear unbounded operator on X, where its domain $\mathcal{D}$ is a dense set; $\mathrm{u}$ is the control function; $\mathcal{B}:L^2([0,a];U)\to L^2([0,a];\mathcal{D})$ is a linear bounded operator, where U is another Banach space; $\varphi \in L^1([-b,0];X)$, ${\mathrm{x}}_t$ denotes the history of the state function defined by ${\mathrm{x}}_t\left(\theta \right)=\{\mathrm{x}(t+\theta ),\mathrm{if}t+\theta \ge 0;\varphi (t+\theta ),\mathrm{if}t+\theta \le 0\}$ for $\theta \in [-b,0]$; $\lambda$ is a parameter; ${\mathrm{g}}_t:C([-b,a];X)\to X$ is a given function satisfying some assumptions; and ${}^c{D}^{\beta }$ is the Caputo fractional derivative of order $\beta$, with $\beta \in (1/2,1]$. Under the assumption that $\mathcal{A}$ is the infinitesimal generator of a differentiable resolvent operator, the authors prove the existence and uniqueness of mild solutions for problems (18),(19) and (18),(20) by utilizing the Banach contraction mapping principle. Then, based on the iterative method, they give sufficient conditions for the approximate controllability of (18),(19) and (18),(20). As an application, an example of a Caputo fractional partial differential equation with delay in the space $X=L^2\left([0,\pi ]\right)$ is finally addressed.

6. Fractional Differential Inclusions and Inequalities

In paper [12], the authors investigate the neutral impulsive semi-linear fractional differential inclusion with delay and initial date

$$\left\{\begin{array}{c}{}^c{D}_{0,t}^{\alpha }[\mathrm{x}\left(t\right)-\mathrm{h}(t,\varkappa \left(t\right)\mathrm{x})]\in \mathcal{A}\mathrm{x}\left(t\right)+\mathcal{F}(t,\varkappa \left(t\right)\mathrm{x}),\mathrm{a}.\mathrm{e}.t\in [0,b]\backslash \{t_1,.,t_m\},\hfill \\ I_i\mathrm{x}\left(t_i^{-}\right)=\mathrm{x}\left(t_i^{-}\right)-\mathrm{x}\left(t_i^{+}\right),i=1,\dots ,m,\hfill \\ \mathrm{x}\left(t\right)=\psi \left(t\right),t\in [-r,0],\hfill \end{array}\right.$$

(21)

where $\alpha \in (0,1)$, $0=t_0<t_1<.<t_m<t_{m+1}=b$, $r>0$, the operator $\mathcal{A}$ is the infinitesimal generator of the non-compact semigroup $\mathcal{T}=\left\{Y\right(t),t\ge 0\}$ on the Banach space E, and $\mathcal{F}:[0,b]\times \Theta \to 2^E\backslash \left\{\varphi \right\}$ is a multifunction. Here, $\mathrm{h}:[0,b]\times \Theta \to E$, $I_i:E\to E,i=1,\dots ,m$, $\psi \in \Theta$, and for every $t\in [0,b]$, the function $\varkappa \left(t\right):\mathcal{H}\to \Theta$ is defined by $\left(\varkappa \right(t\left)\mathrm{x}\right)\left(\theta \right)=\mathrm{x}(t+\theta )$ for $\theta \in [-r,0]$. ${}^c{D}_{0,t}^{\alpha }$ denotes the Caputo fractional derivative of order $\alpha$ and the spaces $\Theta$ and $\mathcal{H}$ are defined in the paper. They show that the set of mild solutions to problem (21) is nonempty, compact, and an $R_{\delta }$-set in a complete metric space H.

Paper [13] is focused on the Hilfer fractional neutral integro-differential inclusion with initial date

$$\left\{\begin{array}{c}{D}_{0+}^{k,ϵ}[\mathrm{y}\left(t\right)-\mathcal{N}(t,\mathrm{y}\left(t\right))]\in \mathcal{A}y\left(t\right)+\mathcal{G}\left({\displaystyle t,\mathrm{y}\left(t\right),{\int }_0^t\mathrm{e}(t,s,\mathrm{y}\left(s\right))\mathit{ds}}\right),t\in (0,d],\hfill \\ I_{0+}^{(1-k)(1-ϵ)}\mathrm{y}\left(0\right)=y_0,\hfill \end{array}\right.$$

(22)

where $D_{0+}^{k,ϵ}$ denotes the Hilfer fractional derivative of order k and type $ϵ$, with $k\in (0,1)$ and $ϵ\in [0,1]$, $I_{0+}^{(1-k)(1-ϵ)}$ is the Riemann–Liouville fractional integral of order $(1-k)(1-ϵ)$, and $\mathcal{A}$ is an almost sectorial operator of the analytic semigroup $\left\{\mathcal{T}\right(t),t\ge 0\}$ on the Banach space Y. Here, $\mathcal{G}:[0,d]\times Y\times Y\to 2^Y\backslash \left\{\varphi \right\}$ is a nonempty, bounded, closed, convex multivalued map and $\mathcal{N}:[0,d]\times Y\to Y$ and $\mathrm{e}:[0,d]\times [0,d]\times Y\to Y$ are appropriate functions. By using the Martelli fixed point theorem, the authors prove the existence of mild solutions to problem (22).

In paper [14], the authors study the damped wave inequality

$${\displaystyle \frac{{\partial }^2\mathrm{u}}{\partial t^2}-\frac{{\partial }^2\mathrm{u}}{\partial x^2}+\frac{\partial \mathrm{u}}{\partial t}\ge x^{\sigma }{\left|\mathrm{u}\right|}^p,t>0,x\in (0,L),}$$

(23)

subject to initial boundary conditions

$$\left\{\begin{array}{c}\left(\mathrm{u}\right(t,0),\mathrm{u}(t,L\left)\right)=\left(\mathrm{f}\right(t),\mathrm{g}(t\left)\right),t>0,\hfill \\ \left({\displaystyle \mathrm{u}(0,x),\frac{\partial \mathrm{u}}{\partial t}(0,x)}\right)=(u_0\left(x\right),u_1\left(x\right)),x\in (0,L),\hfill \end{array}\right.$$

(24)

where $L>0$, $\sigma \in \mathbb{R}$, $p>1$, $\mathrm{f}\in L_{loc}^1\left([0,\infty )\right)$, $\mathrm{g}\left(t\right)=C_g{t}^{\gamma }$ with $C_g\ge 0$ and $\gamma >-1$, and $u_0,u_1\in L^1\left([0,L]\right)$. They also investigate the time-fractional damped wave inequality

$${\displaystyle \frac{{\partial }^{\alpha }\mathrm{u}}{\partial t^{\alpha }}-\frac{{\partial }^2\mathrm{u}}{\partial x^2}+\frac{{\partial }^{\beta }\mathrm{u}}{\partial t^{\beta }}\ge x^{\sigma }{\left|\mathrm{u}\right|}^p,t>0,x\in (0,L),}$$

(25)

supplemented with the initial boundary conditions in (24), where $\alpha \in (1,2)$, $\beta \in (0,1)$, and $\frac{{\partial }^{\kappa }}{\partial t^{\kappa }}$ is the time Caputo fractional derivative of order $\kappa$, for $\kappa \in \{\alpha ,\beta \}$. By using the test function method, the authors give sufficient conditions depending on the above data under which problems (23),(24) and (23),(25) admit no global weak solutions.

7. Fractional $\mathit{q}$-Difference Equations and Systems

Paper [15] deals with the fractional q-difference equation in a Banach space E, with nonlinear integral conditions

$$\left\{\begin{array}{c}{(}^c{D}_q^{\alpha }\mathrm{y})\left(t\right)=\mathrm{f}(t,\mathrm{y}\left(t\right)),\mathrm{a}.\mathrm{e}.t\in [0,T],\hfill \\ {\displaystyle \mathrm{y}\left(0\right)-{\mathrm{y}}^{\prime }\left(0\right)={\int }_0^T\mathrm{g}(s,\mathrm{y}\left(s\right))\mathit{ds},}\hfill \\ {\displaystyle \mathrm{y}\left(T\right)+{\mathrm{y}}^{\prime }\left(T\right)={\int }_0^T\mathrm{h}(s,\mathrm{y}\left(s\right))\mathit{ds},}\hfill \end{array}\right.$$

(26)

where $T>0$, $q\in (0,1)$, ${}^c{D}_q^{\alpha }$ denotes the Caputo fractional q-derivative of order $\alpha$, with $\alpha \in (1,2]$, and $\mathrm{f},\mathrm{g},\mathrm{h}:[0,T]\times E\to E$ are given functions satisfying some assumptions. By using the measures of noncompactness technique and the Mönch fixed point theorem, the authors prove the existence of solutions to problem (26).

Paper [16] is concerned with the system of nonlinear fractional q-difference equations

$$\left\{\begin{array}{c}\left(D_q^{\alpha }\mathrm{u}\right)\left(t\right)+\mathrm{P}(t,\mathrm{u}\left(t\right),\mathrm{v}\left(t\right),I_q^{{\omega }_1}\mathrm{u}\left(t\right),I_q^{{\delta }_1}\mathrm{v}\left(t\right))=0,t\in (0,1),\hfill \\ \left(D_q^{\beta }\mathrm{v}\right)\left(t\right)+\mathrm{Q}(t,\mathrm{u}\left(t\right),\mathrm{v}\left(t\right),I_q^{{\omega }_2}\mathrm{u}\left(t\right),I_q^{{\delta }_2}\mathrm{v}\left(t\right))=0,t\in (0,1),\hfill \end{array}\right.$$

(27)

subject to the coupled nonlocal boundary conditions

$$\left\{\begin{array}{c}{\displaystyle \mathrm{u}\left(0\right)=D_q\mathrm{u}\left(0\right)=.=D_q^{n-2}\mathrm{u}\left(0\right)=0,D_q^{{\zeta }_0}\mathrm{u}\left(1\right)={\int }_0^1{D}_q^{\zeta }\mathrm{v}\left(t\right)d_q\mathcal{H}\left(t\right),}\hfill \\ {\displaystyle \mathrm{v}\left(0\right)=D_q\mathrm{v}\left(0\right)=.=D_q^{m-2}\mathrm{v}\left(0\right)=0,D_q^{{\xi }_0}\mathrm{v}\left(1\right)={\int }_0^1{D}_q^{\xi }\mathrm{u}\left(t\right)d_q\mathcal{K}\left(t\right),}\hfill \end{array}\right.$$

(28)

where $q\in (0,1)$, $\alpha ,\beta \in \mathbb{R}$, $\alpha \in (n-1,n]$, $\beta \in (m-1,m]$, $n,m\in \mathbb{N}$, $n,m\ge 2$, ${\omega }_1,{\delta }_1,{\omega }_2,{\delta }_2>0$, $\zeta \in [0,\beta -1)$, $\xi \in [0,\alpha -1)$, ${\zeta }_0\in [0,\alpha -1)$, ${\xi }_0\in [0,\beta -1)$. Here, $D_q^{\kappa }$ denotes the Riemann–Liouville q-derivative of order $\kappa$ for $\kappa \in \{\alpha ,\beta ,{\zeta }_0,\zeta ,{\xi }_0,\xi \}$, $I_q^k$ is the Riemann–Liouville q-integral of order k for $k\in \{{\omega }_1,{\delta }_1,{\omega }_2,{\delta }_2\}$, $\mathrm{P}$ and $\mathrm{Q}$ are nonlinear functions, and the integrals from conditions (28) are Riemann–Stieltjes integrals with $\mathcal{H},\mathcal{K}$ functions of bounded variation. By applying varied fixed point theorems, the authors obtain existence and uniqueness results for the solutions of problem (27),(28).

Finally, I would like to thank all the authors for submitting papers to this Special Issue, and hope that their results will be useful to other researchers working in the field of fractional differential equations.