Open Access

Eigenvalue problem for fractional differential operator containing left and right fractional derivatives

Advances in Difference Equations20162016:246

Received: 30 June 2016

Accepted: 23 August 2016

Published: 23 September 2016


In this paper, we consider the eigenvalue problem for fractional differential operator containing left and right fractional derivatives with Dirichlet boundary value conditions. By critical point theory, we see that there exist an eigenvalue sequence which is increasing, tending to infinity, and an eigenfunction sequence which is a Hilbert basis of a fractional Sobolev space.


weak left (right) fractional derivative fractional Sobolev space regularity eigenvalue eigenfunction


34A08 34B09 46E35 58E05

1 Introduction

The study of the eigenvalues of a linear operator is a classical topic and many functional analytic tools of a general nature may be used to deal with it. The knowledge of eigenvalues of an ordinary or partial linear differential operator with some boundary value conditions plays an important role in the study of the existence of solutions of nonlinear perturbations of this operator. For the classical second-order ordinary differential equation of the form
$$ -u''=\lambda u, $$
it is well known that, under certain boundary value conditions, nontrivial solutions exist only for particular values \(\lambda ^{i}\), \(i=1,2,\ldots\) . The constant \(\lambda^{i}\) are called eigenvalues and the corresponding nontrivial solutions \(u^{i}\) are called eigenfunctions. By using critical point theory, the classical results as regards the eigenvalue problem (1) with Dirichlet boundary value conditions have been obtained on \(W_{0}^{1,2}([0,T],\mathbb{R})\).

Recently, the subject of fractional calculus gained a considerable popularity and importance. During the last three decades or so, due to its demonstrated applications in numerous fields of science and engineering, such as viscoelasticity, neurons, electrochemistry, control, etc. [16], more attention was paid to the fractional differential equations. Many different analytic tools including the variational method are used to study the existence and multiplicity of solutions for fractional boundary value problems (BVPs for short); see [719]. Meanwhile, different from the integer order differential BVPs, most of BVPs for the fractional differential operators do not have a variational structure. For instance, there is no energy functional for the operator \(D^{\alpha}\) (\(\alpha\notin\mathbb{N}\)). So the variational method cannot be applied here.

In recent years, by using critical point theory, some authors considered the existence of (weak) solutions for some fractional BVPs with variational structure, such as
$$ \left \{ \textstyle\begin{array}{l} {{}_{t}}D{_{T}^{\alpha}}{{}_{0}}D{_{t}^{\alpha}}u=f(t,u), \quad t\in(0,T), \\ u(0)=u(T)=0, \end{array}\displaystyle \right . $$
where \(0<\alpha\leq1\), \({}_{0}D_{t}^{\alpha}\), and \({}_{t}D_{T}^{\alpha}\) are the left and right Riemann-Liouville fractional derivative operators of order α, respectively. The reader may refer to [12, 14, 15, 17, 18] and the references therein. The equations containing both left and right fractional differential operators have received renewed attention due to their applications, such as the physical phenomena exhibiting anomalous diffusion [15] and the height loss over time of the granular material contained in a silo [20]. Note that, when \(\alpha=1\), the fractional differential operator \({{}_{t}}D{_{T}^{\alpha}}{{}_{0}}D{_{t}^{\alpha}}\) reduces to the standard second-order differential operator \(-D^{2}\).
Motivated by the above research, in this paper, we consider the following eigenvalue problem:
$$ \left \{ \textstyle\begin{array}{l} {{}_{t}}D{_{T}^{\alpha}}{{}_{0}}D{_{t}^{\alpha}}u=\lambda u, \quad t\in(0,T), \\ u(0)=u(T)=0. \end{array}\displaystyle \right . $$
Naturally, we want to use the fractional Sobolev space \(E_{0}^{\alpha,p}\) in [15] to study our problem. Similar to the definition of \(W_{0}^{1,2}([0,T],\mathbb{R})\), in [15], \(E_{0}^{\alpha,p}\) is defined by the closure of \(C_{0}^{\infty}([0,T],\mathbb{R})\) with respect to the norm
$$ \|u\|_{\alpha,p}= \biggl( \int_{0}^{T}\bigl\vert u(t)\bigr\vert ^{p}\,dt+ \int_{0}^{T}\bigl\vert {{}_{0}D_{t}^{\alpha}}u(t)\bigr\vert ^{p}\,dt \biggr)^{\frac{1}{p}}, $$
where \({{}_{0}}D_{t}^{\alpha}u\) denotes the classical fractional derivative. We should point out that the space \(E_{0}^{\alpha,p}\) they defined is not rigorous. In fact, taking a Cauchy sequence \(\{u_{n}\}\subset C_{0}^{\infty}([0,T],\mathbb{R})\) with respect to the norm \(\|\cdot\|_{\alpha,p}\), one has
$$ u_{n}\rightarrow u_{0}, \qquad {{}_{0}}D_{t}^{\alpha}u_{n}\rightarrow v_{0}\quad \mbox{in } L^{p} \bigl([0,T],\mathbb{R}\bigr). $$
Unfortunately \({{}_{0}}D_{t}^{\alpha}u_{0}\) may not exist. Even if \({{}_{0}}D_{t}^{\alpha}u_{0}\) exists, \({{}_{0}}D_{t}^{\alpha}u_{0}\) may not be equal to \(v_{0}\). Moreover, for \(u\in E_{0}^{\alpha,p}\), we think it is not clear that u satisfies \(u(0)=u(T)=0\). For studying the problem (3) by critical point theory, we first should look for an appropriate space. In [21, 22], based on the weak fractional derivative, they defined the fractional Sobolev space \(W_{a+}^{\alpha,p}\), which is denoted by \(E^{\alpha,p}\) in our paper. Meanwhile, it is not enough for our problem because of the Dirichlet boundary problems. Inspired by [15, 21, 22], we discuss the fractional Sobolev space still written as \(E_{0}^{\alpha,p}\), and then we study the eigenvalue problem (3).

The paper is divided into four parts, as follows. First of all, we present the preliminaries of the definitions of Riemann-Liouville fractional integral and derivative (Section 2). Second, based on the fractional Sobolev space \(E^{\alpha,p}\), we construct the fractional Sobolev space \(E{_{0}^{\alpha,p}}\) and discuss some properties of \(E{_{0}^{\alpha,p}}\). Moreover, we obtain the compactness of the embedding from \(E{_{0}^{\alpha,p}}\) into \(C([0,T],\mathbb{R})\) under some conditions (Section 3). Third, we study the regularity of weak solutions of a fractional BVP (Section 4). Finally, we consider the eigenvalue problem (3) in \(E{_{0}^{\alpha,2}}\) (Section 5).

2 Preliminaries

For the convenience of the reader, the definitions of fractional integral and fractional derivative and \(E^{\alpha,p}\) are presented below [2124].

Definition 2.1

(see [23])

For \(\gamma>0\), the left and right Riemann-Liouville fractional integrals of order γ of a function \(u:[a,b]\rightarrow\mathbb {R}\) are given by
$$\begin{aligned}& {}_{a}I_{t}^{\gamma}u(t)=\frac{1}{\Gamma(\gamma)} \int_{a}^{t}(t-s)^{\gamma -1}u(s)\,ds, \\& {}_{t}I_{b}^{\gamma}u(t)=\frac{1}{\Gamma(\gamma)} \int_{t}^{b}(s-t)^{\gamma-1}u(s)\,ds, \end{aligned}$$
provided that the right-hand side integrals are pointwise defined on \([a,b]\), where \(\Gamma(\cdot)\) is the gamma function.

Definition 2.2

(see [23])

For \(n-1\leq\gamma< n\) (\(n\in\mathbb{N}\)), the left and right Riemann-Liouville fractional derivatives of order γ of a function \(u:[a,b]\rightarrow\mathbb{R}\) are given by
$$\begin{aligned}& {}_{a}D_{t}^{\gamma}u(t)=\frac{d^{n}}{dt^{n}}{{}_{a}}I_{t}^{n-\gamma} u(t), \\& {}_{t}D_{b}^{\gamma}u(t)=(-1)^{n} \frac{d^{n}}{dt^{n}}{{}_{t}}I_{b}^{n-\gamma} u(t). \end{aligned}$$

Remark 2.3

When \(\gamma=1\), we can see from Definitions 2.1 and 2.2 that
$$ {}_{a}D_{t}^{1} u(t)=u'(t), \qquad {}_{t}D_{b}^{1} u(t)=-u'(t), $$
where \(u'\) is the usual first-order derivative of u.

Definition 2.4

(see [22])

Let \(0<\alpha\leq1\), \(u,v\in L^{1}([0,T],\mathbb{R})\), if
$$ \int_{0}^{T} \varphi(t)v(t)\,dt= \int_{0}^{T} u(t) \bigl({}_{t}D_{T}^{\alpha} \varphi\bigr) (t)\,dt, \quad \forall\varphi\in C_{0}^{\infty}\bigl([0,T],\mathbb{R}\bigr), $$
then v is called the weak left fractional derivative of order α of u, and it is denoted by \({{}_{0}}\dot{D}_{t}^{\alpha}u\).

Definition 2.5

Let \(0<\alpha\leq1\), \(u,v\in L^{1}([0,T],\mathbb{R})\), if
$$ \int_{0}^{T} \varphi(t)v(t)\,dt= \int_{0}^{T} u(t) \bigl({}_{0}D_{t}^{\alpha} \varphi\bigr) (t)\,dt,\quad \forall\varphi\in C_{0}^{\infty}\bigl([0,T],\mathbb{R}\bigr), $$
then v is called the weak right fractional derivative of order α of u, and it is denoted by \({{}_{t}}\dot{D}_{T}^{\alpha}u\).

Remark 2.6

When \(\alpha=1\), we can conclude from Remark 2.3 that
$$ {{}_{0}}\dot{D}_{t}^{1} u(t)=\dot{u}(t), \qquad {{}_{t}}\dot{D}_{T}^{1}u(t)=-\dot{u}(t), $$
where is the usual first-order weak derivative of u.

Definition 2.7

(see [22])

For \(0<\alpha\leq1\), \(1\leq p<\infty\), the space \({}_{L}E^{\alpha,p}\) is defined by
$$ {}_{L}E{^{\alpha,p}}=\bigl\{ u\in L^{p}\bigl([0,T], \mathbb{R}\bigr)|{{}_{0}}\dot{D} {_{t}^{\alpha}}u\in L^{p}\bigl([0,T],\mathbb{R}\bigr)\bigr\} $$
with the norm
$$ \Vert u\Vert _{{}_{L}E^{\alpha,p}}=\bigl(\Vert u\Vert _{L^{p}}^{p}+ \bigl\Vert {{}_{0}}\dot{D}_{t}^{\alpha}u\bigr\Vert _{L^{p}}^{p}\bigr)^{\frac{1}{p}}, $$
where \(\|u\|_{L^{p}}= (\int_{0}^{T}|u(t)|^{p}\,dt )^{1/p}\) is the norm of \(L^{p}([0,T],\mathbb{R})\).

Definition 2.8

For \(0<\alpha\leq1\), \(1\leq p<\infty\), the space \({}_{R}E^{\alpha,p}\) is defined by
$$ {}_{R}E{^{\alpha,p}}=\bigl\{ u\in L^{p}\bigl([0,T], \mathbb{R}\bigr)|{{}_{t}}\dot{D} {_{T}^{\alpha}}u\in L^{p}\bigl([0,T],\mathbb{R}\bigr)\bigr\} $$
with the norm
$$ \Vert u\Vert _{{}_{R}E^{\alpha,p}}=\bigl(\Vert u\Vert _{L^{p}}^{p}+ \bigl\Vert {{}_{t}}\dot{D}_{T}^{\alpha}u\bigr\Vert _{L^{p}}^{p}\bigr)^{\frac{1}{p}}. $$

Remark 2.9

When \(\alpha=1\), it follows from Remark 2.6 that the spaces \({}_{L}E{^{\alpha,p}}\) and \({}_{R}E{^{\alpha,p}}\) are reduced to the usual Sobolev space \(W^{1,p}([0,T],\mathbb{R})\).

For the purpose of our paper, we only discuss the space \({}_{L}E{^{\alpha ,p}}\) and the norm \(\|\cdot\|_{{}_{L}E{^{\alpha,p}}}\) are denoted by \(E{^{\alpha,p}}\) and \(\|\cdot\|_{E{^{\alpha,p}}}\), respectively.

Lemma 2.10

(see [22])

Let \(0<\alpha<1\), the space \(E^{\alpha,p}\) is a Banach space for \(1\leq p<\infty\). Moreover, it is reflexive for \(1< p<\infty\) and separable for \(1\leq p<\infty\).

3 Fractional Sobolev space \(E{_{0}^{\alpha,p}}\)

When one discusses the existence of weak solutions for fractional BVPs by critical point theory, a suitable function space is necessary. This section will propose a fractional Sobolev space and some properties of this space for \(0<\alpha\leq1\).

Definition 3.1

For \(0<\alpha\leq1\), \(1\leq p<\infty\), the fractional Sobolev space \(E{_{0}^{\alpha,p}}\) is defined by the closure of \(C_{0}^{\infty}([0,T],\mathbb{R})\) with respect to the norm of \(E^{\alpha,p}\).

Remark 3.2

It follows from Lemma 2.10 that the space \(E{_{0}^{\alpha,p}}\) is a separable Banach space and is reflexive for \(1< p<\infty\). Moreover, when \(\alpha=1\), the space \(E{_{0}^{\alpha,p}}\) is reduced to the usual Sobolev space \(W_{0}^{1,p}([0,T],\mathbb{R})\) because of Remark 2.9.

Now we give some lemmas that are useful in the proof of the properties of \(E{_{0}^{\alpha,p}}\).

Lemma 3.3

\({}_{0}I_{t}^{\alpha}: L^{p}([0,T],\mathbb{R})\rightarrow E^{\alpha,p}\) is a bounded linear operator.


From the definition of fractional integral, we see that \({}_{0}I_{t}^{\alpha}\) is a linear operator. Let \(u\in L^{p}([0,T],\mathbb{R})\), \(v={{}_{0}}I_{t}^{\alpha}u\), then Lemma 2.1 in [23] shows \(v\in L^{p}([0,T],\mathbb{R})\). By the semigroup property of the fractional integral, we have \({}_{0}I_{t}^{1-\alpha} v={}_{0}I_{t}^{1-\alpha}{}_{0}I_{t}^{\alpha}u={{}_{0}}I_{t}^{1} u\). So \({}_{0}D_{t}^{\alpha}v=u\) exists, which means \({}_{0}\dot{D}_{t}^{\alpha}v={{}_{0}}D_{t}^{\alpha}v\). Thus we obtain
$$ \bigl\Vert {}_{0}\dot{D}_{t}^{\alpha}v\bigr\Vert _{L^{p}}=\Vert u\Vert _{L^{p}} $$
and \({{}_{0}}I_{t}^{\alpha}u=v\in E^{\alpha,p}\). Together with Lemma 2.1 in [23] and (4), we have
$$\begin{aligned} \bigl\Vert {}_{0}I_{t}^{\alpha}u\bigr\Vert _{E^{\alpha,p}} &= \bigl(\bigl\Vert {}_{0}I_{t}^{\alpha}u\bigr\Vert _{L^{p}}^{p}+\bigl\Vert {}_{0} \dot{D}_{t}^{\alpha}{_{0}}I_{t}^{\alpha}u\bigr\Vert _{L^{p}}^{p} \bigr)^{\frac{1}{p}} \\ &\leq \biggl(\frac{T^{\alpha p}}{(\Gamma(\alpha+1))^{p}}+1 \biggr)^{\frac {1}{p}}\Vert u\Vert _{L^{p}}, \end{aligned}$$
which means \({}_{0}I_{t}^{\alpha}:L^{p}([0,T],\mathbb{R}) \rightarrow E^{\alpha ,p}\) is a bounded operator. □

Lemma 3.4

\({}_{0}\dot{D}_{t}^{\alpha}: E^{\alpha,p}\rightarrow L^{p}([0,T],\mathbb{R})\) is a bounded linear operator.


From the definition of left weak fractional derivative, we can see that the operator \({}_{0}\dot{D}_{t}^{\alpha}\) is linear. Moreover, it is easy to see
$$ \bigl\Vert {}_{0}\dot{D}_{t}^{\alpha}u \bigr\Vert _{L^{p}}\leq \bigl(\Vert u\Vert _{L^{p}}^{p}+ \bigl\Vert {}_{0}\dot {D}_{t}^{\alpha}u\bigr\Vert _{L^{p}}^{p} \bigr)^{\frac{1}{p}} =\Vert u\Vert _{E^{\alpha,p}}, $$
which means \({}_{0}\dot{D}_{t}^{\alpha}: E^{\alpha,p}\rightarrow L^{p}([0,T],\mathbb{R})\) is a bounded operator. □

Lemma 3.5

Let \(u\in E_{0}^{\alpha,p}\), then \(u={{}_{0}I_{t}^{\alpha}} {{}_{0}}\dot {D}_{t}^{\alpha}u\) a.e. on \((0,T)\).


From the definition of space \(E_{0}^{\alpha,p}\), there exists a sequence \(\{\varphi_{n}\} \subset C_{0}^{\infty}([0,T],\mathbb{R})\) such that
$$ \|\varphi_{n}-u\|_{E^{\alpha,p}}\rightarrow0 \quad \mbox{as } n \rightarrow \infty. $$
For \(\varphi_{n}\in C_{0}^{\infty}([0,T],\mathbb{R})\), one has \({}_{0}\dot {D}_{t}^{\alpha}\varphi_{n}={{}_{0}}D_{t}^{\alpha}\varphi_{n}\), which together with Lemma 2.5 in [23] yields
$$ {}_{0}I_{t}^{\alpha}{{}_{0}} \dot{D}_{t}^{\alpha}\varphi_{n} ={{}_{0}}I_{t}^{\alpha}{{}_{0}}D_{t}^{\alpha}\varphi_{n} =\varphi_{n}-\frac{{}_{0}I_{t}^{1-\alpha}\varphi_{n}(0)}{\Gamma(\alpha)}t^{\alpha-1}. $$
Since \({}_{0}I_{t}^{1-\alpha}\varphi_{n}(0)=0\), we have
$$ {{}_{0}}I_{t}^{\alpha}{{}_{0}} \dot{D}_{t}^{\alpha}\varphi_{n}=\varphi_{n}. $$
So, based on Lemmas 3.3 and 3.4, we obtain
$$\begin{aligned} \bigl\Vert {{}_{0}}I_{t}^{\alpha}{{}_{0}} \dot{D}_{t}^{\alpha}u-u\bigr\Vert _{E^{\alpha,p}} &\leq\bigl\Vert {{}_{0}}I_{t}^{\alpha}{{}_{0}} \dot{D}_{t}^{\alpha}u-{{}_{0}}I_{t}^{\alpha}{{}_{0}} \dot {D}_{t}^{\alpha}\varphi_{n}\bigr\Vert _{E^{\alpha,p}}+\Vert \varphi_{n}-u\Vert _{E^{\alpha,p}} \\ &\leq c\Vert u-\varphi_{n}\Vert _{E^{\alpha,p}}+\Vert \varphi_{n}-u\Vert _{E^{\alpha,p}} \\ &=(c+1)\Vert \varphi_{n}-u\Vert _{E^{\alpha,p}}\rightarrow0 \quad \mbox{as } n\rightarrow\infty, \end{aligned}$$
where \(c>0\) is a constant. □

Corollary 3.6

(Fractional Poincaré-Friedrichs inequality)

Let \(u\in E_{0}^{\alpha,p}\), one has
$$ \Vert u\Vert _{L^{p}}\leq\frac{T^{\alpha}}{\Gamma(\alpha+1)}\bigl\Vert {}_{0}\dot{D}_{t}^{\alpha}u\bigr\Vert _{L^{p}}. $$


Combining Lemma 3.5 with Lemma 2.1 in [23], we have
$$\begin{aligned} \Vert u\Vert _{L^{p}}&=\bigl\Vert {{}_{0}}I_{t}^{\alpha}{{}_{0}} \dot{D}_{t}^{\alpha}u\bigr\Vert _{L^{p}} \\ &\leq\frac{T^{\alpha}}{\Gamma(\alpha+1)}\bigl\Vert {{}_{0}}\dot{D}_{t}^{\alpha}u\bigr\Vert _{L^{p}}. \end{aligned}$$

Remark 3.7

According to Corollary 3.6, we know that the norm \(\|\cdot\| _{E^{\alpha,p}}\) of the space \(E_{0}^{\alpha,p}\) is equivalent to the norm \(\|{{}_{0}}\dot {D}_{t}^{\alpha}\cdot\|_{L^{p}}\). Hence we can consider \(E_{0}^{\alpha,p}\) with the norm \(\|{{}_{0}}\dot{D}_{t}^{\alpha}\cdot\|_{L^{p}}\) in the following analysis.

Theorem 3.8

Let \(\alpha>1/p\) and \(u\in E_{0}^{\alpha,p}\), then there exists a function \(\tilde{u}\in C([0,T],\mathbb{R})\) such that
$$ u=\tilde{u} \quad \textit{a.e. on } (0,T). $$


Let \(u\in E_{0}^{\alpha,p}\) and \(\tilde{u}={{}_{0}}I_{t}^{\alpha}{{}_{0}}\dot {D}_{t}^{\alpha}u\). From Lemma 3.5, (5) is obtained. Next we prove that ũ is uniformly continuous on \([0,T]\).

By the Hölder inequality and \(\alpha>1/p\), we have
$$\begin{aligned} \bigl\vert \tilde{u}(t)\bigr\vert &=\biggl\vert \frac{1}{\Gamma(\alpha)} \int_{0}^{t} (t-s)^{\alpha-1}{{}_{0}} \dot {D}_{t}^{\alpha}u(s)\,ds\biggr\vert \\ &\leq\frac{1}{\Gamma(\alpha)} \biggl( \int_{0}^{t} (t-s)^{q(\alpha -1)}\,ds \biggr)^{\frac{1}{q}}\bigl\Vert {{}_{0}}\dot{D}_{t}^{\alpha}u\bigr\Vert _{L^{p}} \\ &\leq\frac{T^{\alpha-\frac{1}{p}}}{\Gamma(\alpha)(\alpha q-q+1)^{\frac {1}{q}}}\bigl\Vert {{}_{0}}\dot{D}_{t}^{\alpha}u\bigr\Vert _{L^{p}}, \quad \forall t\in[0,T], \end{aligned}$$
which means ũ is uniformly bounded.
In addition, from Theorem 3.6 in [24] and \(\alpha>1/p\), one has
$$\begin{aligned} \bigl\vert \tilde{u}(t_{1})-\tilde{u}(t_{2}) \bigr\vert &=\bigl\vert {{}_{0}}I_{t}^{\alpha}{{}_{0}} \dot {D}_{t}^{\alpha}u(t_{1})-{{}_{0}}I_{t}^{\alpha}{{}_{0}} \dot{D}_{t}^{\alpha}u(t_{2})\bigr\vert \\ &\leq c\vert t_{1}-t_{2}\vert ^{\alpha-\frac{1}{p}} \bigl\Vert {{}_{0}}\dot{D}_{t}^{\alpha}u\bigr\Vert _{L^{p}}, \quad \forall t_{1},t_{2}\in[0,T], \end{aligned}$$
where \(c>0\) is a constant. So ũ is uniformly continuous on \([0,T]\). □

Remark 3.9

For \(u\in E_{0}^{\alpha,p}\), it follows from Theorem 3.8 that
$$ u\in{{}_{0}}I_{t}^{\alpha}\bigl(L^{p} \bigl([0,T],\mathbb{R}\bigr)\bigr)=\bigl\{ u|u={{}_{0}}I_{t}^{\alpha}v,v\in L^{p}\bigl([0,T],\mathbb{R}\bigr)\bigr\} . $$
More precisely, \(\tilde{u}\in{{}_{0}}I_{t}^{\alpha}(L^{p}([0,T],\mathbb {R}))\) and ũ is uniformly continuous on \([0,T]\). Hence we do not distinguish u and ũ, that is, \(E_{0}^{\alpha ,p}\subset C([0,T],\mathbb{R})\) and \({{}_{0}}\dot{D}_{t}^{\alpha}u={{}_{0}}D_{t}^{\alpha}u\). Moreover, by (6), one has
$$ \|u\|_{\infty}\leq C_{0}\|u\|_{E^{\alpha,p}}, $$
where \(\|u\|_{\infty}=\max_{t\in[0,T]}|u(t)|\) is the norm of \(C([0,T],\mathbb{R})\) and
$$ C_{0}=\frac{T^{\alpha-\frac{1}{p}}}{\Gamma(\alpha)(\alpha q-q+1)^{\frac {1}{q}}}>0, \quad q=\frac{p}{p-1}>1 $$
are two constants.

Theorem 3.10

Let \(\alpha>1/p\), then the imbedding of \(E_{0}^{\alpha,p}\) in \(C([0,T],\mathbb{R})\) is compact.


Let \(\{u_{n}\}\subset E_{0}^{\alpha,p}\) is a bounded sequence, from (7) and (8), we know \(\{u_{n}\}\subset C([0,T],\mathbb{R})\) is uniformly bounded and equicontinuous. Thus, by the Arzelà-Ascoli theorem, \(\{u_{n}\}\) is relatively compact in \(C([0,T],\mathbb{R})\). □

Theorem 3.11

Let \(u\in E{_{0}^{\alpha,p}}\) with \(\alpha>1/p\), then
$$ u(0)=u(T)=0. $$


For \(u\in E{_{0}^{\alpha,p}}\), from the definition of \(E{_{0}^{\alpha,p}}\), there exists a sequence \(\{u_{n}\}\subset C_{0}^{\infty}([0,T],\mathbb{R})\) such that
$$ u_{n}\rightarrow u \quad \mbox{in } E{_{0}^{\alpha,p}}. $$
Thus, by (8), we get
$$ \max_{t\in[0,T]}\bigl\vert u_{n}(t)-u(t)\bigr\vert \leq C_{0}\|u_{n}-u\|_{E^{\alpha ,p}}\rightarrow0. $$
So we have
$$ u(0)=u_{n}(0)=0,\qquad u(T)=u_{n}(T)=0. $$

4 Regularity of weak solutions

Consider the following BVP:
$$ \left \{ \textstyle\begin{array}{l} {{}_{t}}D{_{T}^{\alpha}}{{}_{0}}D{_{t}^{\alpha}}u=f, \quad t\in(0,T), \\ u(0)=u(T)=0, \end{array}\displaystyle \right . $$
where \(1/2<\alpha\leq1\) and f is a given function in \(C([0,T],\mathbb {R})\) or \(L^{2}([0,T],\mathbb{R})\). First of all, we give the definitions of weak solutions and classical solutions of BVP (9).

Definition 4.1

A weak solution of BVP (9) is a function \(u\in E_{0}^{\alpha,2}\) satisfying
$$ \int_{0}^{T} \bigl({{}_{0}} \dot{D}_{t}^{\alpha}u\bigr) \bigl({}_{0} D_{t}^{\alpha}\varphi\bigr)= \int _{0}^{T}f\varphi, \quad \forall\varphi\in C_{0}^{\infty}\bigl([0,T],\mathbb{R}\bigr). $$
In the Sobolev space \(E_{0}^{\alpha,2}\), we define the energy functional Φ by
$$ \Phi(u)= \int_{0}^{T} \frac{1}{2} \bigl|{{}_{0}} \dot{D}_{t}^{\alpha}u\bigr|^{2}- \int_{0}^{T} fu. $$
It is easy to verify
$$ \bigl\langle \Phi'(u),v\bigr\rangle = \int_{0}^{T} \bigl({{}_{0}} \dot{D}_{t}^{\alpha}u\bigr) \bigl({{}_{0}} \dot {D}_{t}^{\alpha}v\bigr)- \int_{0}^{T} fv, \quad \forall v\in E_{0}^{\alpha,2}. $$
Hence the weak solutions of BVP (9) are the critical points of \(C^{1}\) functional Φ.

Definition 4.2

A classical solution of BVP (9) is a function \(u\in E_{0}^{\alpha ,2}\) satisfying BVP (9) in the usual sense, that is:
  1. (1)

    \({{}_{0}} \dot{D}_{t}^{\alpha}u={{}_{0}} D_{t}^{\alpha}u\),

  2. (2)

    \({}_{t}I_{T}^{1-\alpha}{{}_{0}} D_{t}^{\alpha}u\) is derivable for every \(t\in(0,T)\).


Lemma 4.3


Let \(f\in L_{\mathrm{loc}}^{1}(I)\) be such that
$$ \int_{I} f\phi'=0, \quad \forall\phi\in C_{c}^{1}(I). $$
Then there exists a constant C such that \(f=C\) a.e. on I, where I is an open interval.

Theorem 4.4

If \(f\in L^{2}([0,T],\mathbb{R})\), BVP (9) has a unique weak solution.


Define the linear operator \(\mathcal{F}: E_{0}^{\alpha,2}\rightarrow \mathbb{R}\) by
$$ \mathcal{F}(v)= \int_{0}^{T} fv, \quad \forall v\in E_{0}^{\alpha,2}. $$
Obviously we have
$$ \mathcal{F}(v)= \int_{0}^{T} fv\leq\|f\|_{L^{2}}\|v \|_{L^{2}}\leq c\|f\|_{L^{2}}\| v\|_{E_{0}^{\alpha,2}}. $$
So the operator \(\mathcal{F}\) is well defined in \(E_{0}^{\alpha,2}\) and continuous. Thus, it follows from the Lax-Milgram theorem that there exists a unique \(u\in E_{0}^{\alpha,2}\) such that
$$ \int_{0}^{T} \bigl({{}_{0}} \dot{D}_{t}^{\alpha}u\bigr) \bigl({}_{0} D_{t}^{\alpha}v\bigr)= \int_{0}^{T} f v. $$

Now we give the regularity of weak solutions of BVP (9).

Theorem 4.5

If \(f\in C([0,T],\mathbb{R})\), the unique weak solution of BVP (9) is the classical solution.


Let u is a weak solution of BVP (9), from Remark 3.9, we can get \({{}_{0}} \dot{D}_{t}^{\alpha}u={{}_{0}} D_{t}^{\alpha}u\).

Next we prove \({}_{t}I_{T}^{1-\alpha}{{}_{0}} D_{t}^{\alpha}u \) is derivable for every \(t\in(0,T)\). Let \(F={{}_{t}}I_{T}^{\alpha} f\), then \(F\in L^{2}([0,T],\mathbb{R})\) and
$$ {}_{t}D_{T}^{\alpha}F=-\bigl({}_{t}I_{T}^{1-\alpha} {{}_{t}}I_{T}^{\alpha} f\bigr)'=-({}_{t}I_{T} f)'=f. $$
Thus, from the definition of right weak fractional derivative, we have
$$ \int_{0}^{T} F \bigl({{}_{0}}D_{t}^{\alpha}\varphi\bigr)= \int_{0}^{T} \bigl({}_{t}D_{T}^{\alpha}F\bigr) \varphi = \int_{0}^{T} f\varphi, \quad \forall\varphi\in C_{0}^{\infty}\bigl([0,T],\mathbb{R}\bigr), $$
which together with (10) yields
$$\begin{aligned}& \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}u\bigr) \bigl({}_{0} D_{t}^{\alpha}\varphi\bigr)= \int_{0}^{T} F \bigl({{}_{0}}D_{t}^{\alpha}\varphi\bigr) \\& \quad \Rightarrow\quad \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}u-F\bigr) \bigl({}_{0} D_{t}^{\alpha}\varphi\bigr)=0 \\& \quad \Rightarrow \quad \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}u-F\bigr) \bigl({}_{0} I_{t}^{1-\alpha}\varphi '\bigr)=0 \\& \quad \Rightarrow\quad \int_{0}^{T} \bigl({{}_{t}}I_{T}^{1-\alpha} \bigl({{}_{0}}D_{t}^{\alpha}u-F\bigr) \bigr) \varphi'=0. \end{aligned}$$
Hence, from Lemma 4.3, we have
$$ {{}_{t}}I_{T}^{1-\alpha}\bigl({{}_{0}}D_{t}^{\alpha}u-F\bigr)=c \quad \mbox{a.e. on } (0,T). $$
That is,
$$\begin{aligned} {{}_{t}}I_{T}^{1-\alpha}{{}_{0}}D_{t}^{\alpha}u =&{{}_{t}}I_{T}^{1-\alpha}F+c \\ =&{}_{t}I_{T}^{1-\alpha} {{}_{t}}I_{T}^{\alpha} f+c \\ =&{}_{t}I_{T} f+c. \end{aligned}$$
The right side of (11) indicates that if \(f\in C([0,T],\mathbb {R})\), then \({{}_{t}}I_{T} f+c\in C^{1}([0,T],\mathbb{R})\). So \({}_{t}I_{T}^{1-\alpha }{{}_{0}} D_{t}^{\alpha}u\) is derivable for every \(t\in(0,T)\).
Taking derivatives on both sides of (11), one has
$$ -{{}_{t}}D{_{T}^{\alpha}} {{}_{0}}D{_{t}^{\alpha}}u=({{}_{t}}I_{T} f+c)'=-f, $$
which means u is a classical solution of BVP (9). □

5 Spectral structure of fractional Dirichlet BVP

In this section, we study the spectral structure of a class of fractional Dirichlet BVPs with variational structure. For proving our theorem, we first present a lemma.

Lemma 5.1


Let H be a separable Hilbert space and \(\mathcal{T}\) be a compact self-adjoint operator. Then there exists a Hilbert basis composed of eigenvectors of \(\mathcal{T}\).

Definition 5.2

Let \(\mathcal{L}={{}_{t}}D_{T}^{\alpha}{{}_{0}}D_{t}^{\alpha}\) with \(\operatorname{dom}\mathcal {L}\subset E_{0}^{\alpha,2}\), if there exists a function \(u\neq0\) such that \(\mathcal{L}u=\lambda u\), one says λ is the eigenvalue of \(\mathcal{L}\) and u is the associated eigenfunction.

Theorem 5.3

For the following BVP:
$$ \left \{ \textstyle\begin{array}{l} {{}_{t}}D{_{T}^{\alpha}}{{}_{0}}D{_{t}^{\alpha}}u=\lambda u, \quad t\in(0,T), \\ u(0)=u(T)=0, \end{array}\displaystyle \right . $$
where \(1/2<\alpha\leq1\), there exist an eigenvalue sequence \(\{\lambda _{n}\}\) and an eigenfunction sequence \(\{\phi_{n}\}\subset E_{0}^{\alpha,2}\). Furthermore, \(0<\lambda_{1}\leq\lambda_{2}\leq\cdots\leq{\lambda_{n}}\leq \cdots\), \(\lambda_{n}\rightarrow\infty\) as \(n\rightarrow\infty\) and \(\{ \phi_{n}\}\) is a Hilbert basis of \(E_{0}^{\alpha,2}\).


For \(f\in L^{2}([0,T],\mathbb{R})\), by Theorem 4.4, we see that there exists a unique \(u\in E_{0}^{\alpha,2}\) such that
$$ \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}u\bigr) \bigl({}_{0} D_{t}^{\alpha}\varphi\bigr)= \int_{0}^{T} f \varphi, \quad \forall\varphi\in C_{0}^{\infty}\bigl([0,T],\mathbb{R}\bigr). $$
So we can define \(\mathcal{T}=\mathcal{L}^{-1}:f\rightarrow u\) as an operator from \(L^{2}\) into \(E_{0}^{\alpha,2}\).
First of all, we show that \(\mathcal{T}\) is compact. From the definition of \(E_{0}^{\alpha,2}\) and (13), we have
$$ \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}u\bigr) \bigl({}_{0} D_{t}^{\alpha}u\bigr)= \int_{0}^{T} fu. $$
Thus \(\|u\|_{E^{\alpha,2}}^{2}\leq\|f\|_{L^{2}}\|u\|_{L^{2}}\). By Corollary 3.6, one has \(\|u\|_{L^{2}}\leq c\|u\|_{E^{\alpha,2}}\). So we get \(\|u\|_{E^{\alpha,2}}\leq c\|f\|_{L^{2}}\). This can be written as
$$ \|\mathcal{T}f\|_{E^{\alpha,2}}\leq c\|f\|_{L^{2}}, \quad \forall f\in L^{2}\bigl([0,T],\mathbb{R}\bigr). $$
Moreover, from Theorem 3.10, the injection map from \(E_{0}^{\alpha ,2}\) into \(L^{2}([0,T],\mathbb{R})\) is compact. Hence, we deduce that \(\mathcal{T}\) is a compact operator from \(L^{2}([0,T],\mathbb{R})\) into \(L^{2}([0,T],\mathbb{R})\).
Second, we show that \(\mathcal{T}\) is self-adjoint. Let \(\mathcal {T}f=u\), \(\mathcal{T}g=v\), by (13), we have
$$ \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}u\bigr) \bigl({}_{0} D_{t}^{\alpha}v\bigr)= \int_{0}^{T} fv, \qquad \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}v\bigr) \bigl({}_{0} D_{t}^{\alpha}u\bigr)= \int_{0}^{T} gu. $$
So we get \(\int_{0}^{T} fv=\int_{0}^{T} gu\), which means \(\int_{0}^{T} f(\mathcal {T}g)=\int_{0}^{T}(\mathcal{T}f)g\).
Finally, we show that \(\mathcal{T}\) is a positive operator. It is obvious that
$$ \int_{0}^{T} (\mathcal{T}f)f= \int_{0}^{T} uf= \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}u\bigr) \bigl({}_{0} D_{t}^{\alpha}u\bigr)\geq0. $$
In addition, \(\int_{0}^{T} (\mathcal{T}f)f=0\) implies \(f=0\).
Therefore, applying Lemma 5.1, we know that \(L^{2}([0,T],\mathbb {R})\) admits a Hilbert basis \(\{\phi_{n}\}\) consisting of eigenvectors of \(\mathcal{T}\) with corresponding eigenvalues \(\mu_{n}\). Also we have \(\mu _{n}>0\) (n), \(\mu_{n}\rightarrow0\) (\(n\rightarrow\infty\)). Thus we have \(\phi_{n}\in E_{0}^{\alpha,2}\) and
$$ \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}\phi_{n}\bigr) \bigl({}_{0} D_{t}^{\alpha}\varphi\bigr)=\frac{1}{\mu _{n}} \int_{0}^{T} \phi_{n} \varphi,\quad \forall\varphi\in C_{0}^{\infty}\bigl([0,T],\mathbb{R}\bigr). $$
In other words, the \(\phi_{n}\) are the weak solutions of (12) with \(\lambda_{n}=1/\mu_{n}\).
Since \(\phi_{n}\in E_{0}^{\alpha,2}\), from Theorem 3.8, the \(\phi _{n}\) are continuous. Thus, by Theorem 4.5, we see that the \(\phi _{n}\) satisfy the following BVP:
$$ \left \{ \textstyle\begin{array}{l} {{}_{t}}D{_{T}^{\alpha}}{{}_{0}}D{_{t}^{\alpha}}\phi_{n}=\lambda_{n} \phi_{n}, \quad t\in (0,T), \\ \phi_{n}(0)=\phi_{n}(T)=0, \end{array}\displaystyle \right . $$
where \(\lambda_{n}=1/\mu_{n}\rightarrow\infty\) (\(n\rightarrow\infty\)).
Now we show that \(\{\frac{\phi_{n}}{\sqrt{\lambda_{n}}}\}\) is a Hilbert basis of \(E_{0}^{\alpha,2}\). It is easy to see
$$\begin{aligned} (\phi_{n},\phi_{m})_{E_{0}^{\alpha,2}} =& \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}\phi_{n}\bigr) \bigl({}_{0} D_{t}^{\alpha}\phi_{m}\bigr) \\ =&\lambda_{n}(\phi_{n},\phi_{m})_{L^{2}}=0, \quad n\neq m, \end{aligned}$$
which means \(\{\frac{\phi_{n}}{\sqrt{\lambda_{n}}}\}\) is orthonormal in \(E_{0}^{\alpha,2}\). It remains to be proved that if \(f\in E_{0}^{\alpha,2}\), satisfying \((f,\phi_{n})_{E_{0}^{\alpha,2}}=0\), then \(f=0\). From (14), we have
$$ \int_{0}^{T} \bigl({{}_{0}}D_{t}^{\alpha}\phi_{n}\bigr) \bigl({}_{0} D_{t}^{\alpha}f \bigr)=\lambda_{n} \int_{0}^{T} \phi_{n} f. $$
That is, \((f,\phi_{n})_{E_{0}^{\alpha,2}}=\lambda_{n} (f,\phi_{n})_{L^{2}}\). Because \(\{\phi_{n}\}\) is a Hilbert basis of \(L^{2}([0,T],\mathbb{R})\) and \((f,\phi_{n})_{L^{2}}=0\), we get \(f=0\). □

Corollary 5.4

For \(1/2<\alpha\leq1\), the first eigenvalue \(\lambda_{1}\) of operator \({{}_{t}}D_{T}^{\alpha}{{}_{0}}D_{t}^{\alpha}\) with Dirichlet boundary value conditions satisfies
$$ \lambda_{1}\geq \biggl(\frac{\Gamma(\alpha+1)}{T^{\alpha}} \biggr)^{2}. $$


From Theorem 5.3, we obtain
$$ \lambda_{1}=\inf_{u\in E_{0}^{\alpha,2}}{\frac{(\mathcal {L}u,u)_{L^{2}}}{(u,u)_{L^{2}}}}=\inf _{u\in E_{0}^{\alpha,2}}{\frac{\| {{}_{0}}D_{t}^{\alpha}u\|_{L^{2}}^{2}}{\|u\|_{L^{2}}^{2}}}, $$
which together with Corollary 3.6 yields \(\lambda_{1}\geq (\frac{\Gamma(\alpha+1)}{T^{\alpha}} )^{2}\). □

Remark 5.5

When \(\alpha=1\), the first eigenvalue of operator \(-D^{2}\) in \(W_{0}^{1,2}([0,T],\mathbb{R})\) is \(\tilde{\lambda}_{1}= (\pi/T )^{2}\), which satisfies \(\tilde{\lambda}_{1}\geq(1/T)^{2}\).

Remark 5.6

When \(0<\alpha\leq1/2\), the continuity of \(u\in E_{0}^{\alpha,2}\) (Theorem 3.8) and the compactness of injection from \(E_{0}^{\alpha,2}\) into \(C([0,T],\mathbb{R})\) (Theorem 3.10) may not be obtained. If we want to get the conclusions of Sections 3-5, some new methods and techniques need to be explored.



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

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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

Department of Mathematics, China University of Mining and Technology


  1. Diethelm, K, Freed, AD: On the solution of nonlinear fractional order differential equations used in the modeling of viscoelasticity. In: Keil, F, Mackens, W, Voss, H, Werther, J (eds.) Scientific Computing in Chemical Engineering II - Computational Fluid Dynamics, Reaction Engineering and Molecular Properties, pp. 217-224. Springer, Heidelberg (1999) Google Scholar
  2. Glockle, WG, Nonnenmacher, TF: A fractional calculus approach of self-similar protein dynamics. Biophys. J. 68, 46-53 (1995) View ArticleGoogle Scholar
  3. Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000) View ArticleMATHGoogle Scholar
  4. Kirchner, JW, Feng, X, Neal, C: Fractal stream chemistry and its implications for contaminant transport in catchments. Nature 403, 524-526 (2000) View ArticleGoogle Scholar
  5. Lundstrom, BN, Higgs, MH, Spain, WJ, Fairhall, AL: Fractional differentiation by neocortical pyramidal neurons. Nat. Neurosci. 11, 1335-1342 (2008) View ArticleGoogle Scholar
  6. Mainardi, F: Fractional calculus: some basic problems in continuum and statistical mechanics. In: Carpinteri, A, Mainardi, F (eds.) Fractals and Fractional Calculus in Continuum Mechanics, pp. 291-348. Springer, Wien (1997) View ArticleGoogle Scholar
  7. Agarwal, RP, O’Regan, D, Stanĕk, S: Positive solutions for Dirichlet problems of singular nonlinear fractional differential equations. J. Math. Anal. Appl. 371, 57-68 (2010) MathSciNetView ArticleMATHGoogle Scholar
  8. Ahmad, B, Nieto, JJ: Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 58, 1838-1843 (2009) MathSciNetView ArticleMATHGoogle Scholar
  9. Bai, Z, Lu, H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495-505 (2005) MathSciNetView ArticleMATHGoogle Scholar
  10. Chen, T, Liu, W: An anti-periodic boundary value problem for the fractional differential equation with a p-Laplacian operator. Appl. Math. Lett. 25, 1671-1675 (2012) MathSciNetView ArticleMATHGoogle Scholar
  11. Chen, T, Liu, W, Hu, Z: A boundary value problem for fractional differential equation with p-Laplacian operator at resonance. Nonlinear Anal. 75, 3210-3217 (2012) MathSciNetView ArticleMATHGoogle Scholar
  12. Fix, GJ, Roop, JP: Least squares finite-element solution of a fractional order two-point boundary value problem. Comput. Math. Appl. 48, 1017-1033 (2004) MathSciNetView ArticleMATHGoogle Scholar
  13. Jang, W: The existence of solutions for boundary value problems of fractional differential equations at resonance. Nonlinear Anal. 74, 1987-1994 (2011) MathSciNetView ArticleGoogle Scholar
  14. Jiao, F, Zhou, Y: Existence of solution for a class of fractional boundary value problems via critical point theory. Comput. Math. Appl. 62, 1181-1199 (2011) MathSciNetView ArticleMATHGoogle Scholar
  15. Jiao, F, Zhou, Y: Existence results for fractional boundary value problem via critical point theory. Int. J. Bifurc. Chaos 22, Article ID 1250086 (2012) MathSciNetView ArticleMATHGoogle Scholar
  16. Jin, H, Liu, W: On the periodic boundary value problem for Duffing type fractional differential equation with p-Laplacian operator. Bound. Value Probl. 2015, 144 (2015) MathSciNetView ArticleMATHGoogle Scholar
  17. Li, YN, Sun, HR, Zhang, QG: Existence of solutions to fractional boundary value problems with a parameter. Electron. J. Differ. Equ. 2013, 141 (2013) MathSciNetView ArticleMATHGoogle Scholar
  18. Torres, C: Mountain pass solution for a fractional boundary value problem. J. Fract. Calc. Appl. 5, 1-10 (2014) MathSciNetGoogle Scholar
  19. Zhang, S: Existence of a solution for the fractional differential equation with nonlinear boundary conditions. Comput. Math. Appl. 61, 1202-1208 (2011) MathSciNetView ArticleMATHGoogle Scholar
  20. Leszczynski, JS, Blaszczyk, T: Modeling the transition between stable and unstable operation while emptying a silo. Granul. Matter 13, 429-438 (2011) View ArticleGoogle Scholar
  21. Bergounioux, M, Leaci, A, Nardi, G: Fractional Sobolev spaces and bounded variation functions. arXiv:1603.05033
  22. Idczak, D, Walczak, S: Fractional Sobolev spaces via Riemann-Liouville derivatives. J. Funct. Spaces Appl. 2013, Article ID 128043 (2013) MathSciNetView ArticleMATHGoogle Scholar
  23. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006) MATHGoogle Scholar
  24. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York (1993) MATHGoogle Scholar
  25. Brezis, H: Functional Analysis: Sobolev Spaces and Partial Differential Equations. Springer, New York (2011) MATHGoogle Scholar


© Jin and Liu 2016