- Research
- Open Access
- Published:
Analytical solutions to fractional evolution equations with almost sectorial operators
Advances in Difference Equations volume 2016, Article number: 203 (2016)
Abstract
In this paper, with the aid of functional analysis, for almost sectorial operators and some fixed point theorems, we study the existence and uniqueness of mild solutions to fractional neutral evolution equations with almost sectorial operators. We also show that mild solutions can become strong and classical solutions under appropriate assumptions. Finally, we present an example to illustrate the applicability of our results.
1 Introduction
Throughout this paper, by \((X,\Vert \cdot \Vert )\) we denote a Banach space. As usual, for a linear operator A, \(D(A)\), \(R(A)\), and \(\sigma(A)\) stand for the domain, range, and spectrum of A, respectively. Moreover, \(\mathcal{L}(X)\) denotes the space of all bounded linear operators on X.
A sectorial operator is a linear operator A in a Banach space whose spectrum lies in a closed sector \(S_{\omega}=\{z\in \mathbb{C}\backslash\{0\}\mid \vert \arg z\vert \leq\mu\}\cup\{0\}\) for some \(0\leq\omega<\pi\) and whose resolvent \((z-A)^{-1}\) satisfies the estimate
Several elliptic differential operators considered in the spaces of continuous functions or Lebesgue spaces belong to the class of sectorial operators. Therefore, many PDEs with elliptic operators can be transformed into evolution equations with sectorial operators in a Banach space; for example, see [1–3].
In 1972, Wahl [4] first pointed out that the resolvent estimates of elliptic differential operators considered in spaces of regular functions, such as the spaces of Hölder continuous functions, do not satisfy estimate (1.1). However, such operators satisfy the following estimate for some \(-1<\gamma<0\):
Now we recall the following definition [4–8].
Definition 1.1
Let \(-1<\gamma<0\) and \(0\leq\omega<\pi\). By \(\Theta^{\gamma}_{\omega}(X)\) we denote the set of all closed linear operators \(A: D(A)\subseteq X\rightarrow X\) such that
-
(i)
the spectral set \(\sigma(A)\) of A is in the sector \(S_{\mu}=\{z\in\mathbb{C}\backslash\{0\}\mid \vert \arg z\vert \leq\mu\}\cup\{0\}\), that is, \(\sigma(A)\subseteq S_{\mu}\);
-
(ii)
for every \(\omega<\mu<\pi\), there exists a constant \(C_{\mu}>0\) such that
$$\begin{aligned} \bigl\Vert (z-A)^{-1}\bigr\Vert \leq C_{\mu} \vert z \vert ^{\gamma}\quad\mbox{for all } z\notin S_{\mu}. \end{aligned}$$
A linear operator is called an almost sectorial operator on X if it belongs to \(\Theta^{\gamma}_{\omega}(X)\). Concerning the relationship between sectorial and almost sectorial operators, it has been found that a sectorial operator is an almost sectorial operator, but the converse is not true [4, 5, 7–10]. Some recent results on almost sectorial operators can be found in [5, 7–15].
The use of fractional calculus in the mathematical modeling of engineering and physical problems has become increasingly popular in recent years. Examples include material sciences, mechanics, wave propagation, signal processing, system identification, and so on. In consequence, the topic of fractional (ordinary, partial, functional) differential equations has developed into a hot research area; for example, see [16–42]. Wang et al. [6] studied a fractional-order Cauchy problem with almost sectorial operators. In [43], the author discussed mild solutions for abstract fractional differential equations with almost sectorial operators and infinite delay. More recently, in [14], the authors investigated fractional Cauchy problems with almost sectorial operators. Fractional functional differential equations are used to describe anomalous diffusion processes with memory or hereditary properties. For details and some recent results on functional fractional differential equations, we refer the reader to a series of papers [25–28, 30, 31, 34, 36, 39, 44, 45]. To the best of our knowledge, the study of fractional neutral evolution equations (FNEEs) with almost sectorial operators is yet to be initiated. The aim of this paper is to investigate the existence and uniqueness of solutions of FNEEs.
The rest of the paper is organized as follows. In Section 2, we introduce some notation, definitions, and basic properties about fractional derivatives and functional analysis associated with almost sectorial operators. In Section 3, we prove the existence and uniqueness of mild solutions to FNEEs with almost sectorial operators. Under some suitable assumptions, we also show that mild solutions correspond to strong and classical solutions. Section 4 contains an example for illustration of our results, and we conclude our work in Section 5.
2 Preliminaries
Here, we recall some preliminary material related to our work [16, 19–21].
2.1 Fractional integrals and derivatives
In this subsection, we give some basic definitions and properties of the fractional integral and derivatives.
Definition 2.1
The Riemann-Liouville integral \({}_{a}I^{\alpha}_{t}x\) and the Riemann-Liouville fractional derivative \({}_{a}D^{\alpha}_{t}x\) are respectively defined as
and
provided that the right-hand side is pointwise defined on \([a, \infty)\). Here, Γ denotes the gamma function, and \(m \in\mathbb{N}\).
Definition 2.2
The Caputo fractional derivative \({}^{C}_{a}D^{\alpha}_{t}x\) is defined via the Riemann-Liouville derivative as
Note that if \(x^{(k)}(a)=0, k=0,1,\ldots,m\), then \(({}^{C}_{a}D^{\alpha}_{t}x)(t)\) coincides with \(({}_{a}D^{\alpha}_{t}x)(t)\).
Now we enlist some properties of the Riemann-Liouville fractional integral and the Caputo derivative (see [16, 19–21]).
Proposition 2.1
Let \(\alpha, \beta>0\). Then the following properties hold:
-
(i)
\(({}_{a}I^{\alpha}_{t}{}_{a}I^{\beta}_{t}x)(t)=({}_{a}I^{\alpha+\beta}_{t}x)(t)\) for all \(x\in L^{1}(a,b)\);
-
(ii)
\(({}_{a}I^{\alpha}_{t}(x*y))(t)=(({}_{a}I^{\alpha}_{t}x)*y)(t)\) for all \(x, y\in L^{1}(a,b)\), where ∗ denotes convolution;
-
(iii)
The Caputo derivative \({}^{C}_{a}D^{\alpha}_{t}\) is a left inverse of \({}_{a}I^{\alpha}_{t}\), that is, \(({}^{C}_{a}D^{\alpha}_{t}{}_{a}I^{\alpha}_{t}x)(t)=x(t)\) for all \(x\in L^{1}(a,b)\); in general, it is not a right inverse. In fact, for \(m\leq\alpha< m+1\), \(m\in\mathbb{N}\), and \(x\in C^{m+1}([a,b])\), we have \(({}_{a}I^{\alpha}_{t}{}^{C}_{a}D^{\alpha}_{t}x)(t)=x(t)-\sum_{k=0}^{m}\frac{x^{(k)}(a)}{k!}(t-a)^{k}\).
2.2 Special functions
Here we present some basic definitions and properties of two special functions that we need in the sequel (see [16, 19, 20, 29]).
Definition 2.3
The two-parameter Mittag-Leffler function is defined by
In particular, if \(\beta=1\), then \(E_{\alpha,\beta}\) coincides with the one-parameter Mittag-Leffler function \(E_{\alpha}(z)\), that is, \(E_{\alpha,1}(z)=E_{\alpha}(z)\). If \(\alpha=\beta=1\), then \(E_{1,1}(z)=e^{z}\).
Definition 2.4
The Wright-type function is defined by
The following properties of the Wright-type function (cf. [29]) are useful in establishing the definition of mild solutions to FNEEs with almost sectorial operators.
Proposition 2.2
Let \(-1<\nu<\infty\), \(\lambda>0\). Then the following properties hold:
-
(i)
\(\Phi_{\alpha}(t)\geq0\) for all \(t>0\);
-
(ii)
\(\int^{\infty}_{0}\frac{\alpha}{t^{\alpha+1}}\Phi_{\alpha}(\frac{1}{t^{\alpha}})e^{-\lambda t}\,dt=e^{-\lambda^{\alpha}}\);
-
(iii)
\(\int^{\infty}_{0}\Phi_{\alpha}(t)t^{\nu}\,dt=\frac{\Gamma(1+\nu)}{\Gamma(1+\alpha\nu)}\); in particular, \(\int^{\infty}_{0}\Phi_{\alpha}(t)\,dt=1\);
-
(iv)
\(\int^{\infty}_{0}\Phi_{\alpha}(t)e^{-zt}\,dt=E_{\alpha}(-z)\), \(z\in \mathbb{C}\);
-
(v)
\(\int^{\infty}_{0}\alpha t\Phi_{\alpha}(t)e^{-zt}\,dt=E_{\alpha,\alpha}(-z)\), \(z\in\mathbb{C}\).
2.3 Complex powers
In this subsection, we give the definition and properties of complex powers of almost sectorial operators, which will be used in the next section. For more details, see [5, 6].
We define the path \(\Upsilon_{\theta}:=\{\mathbb{R}_{+}e^{i\theta}\}\cup\{\mathbb {R}_{+}e^{-i\theta}\}\) (\(0<\theta<\pi\)) oriented so that \(S^{0}_{\theta}\) lies to the left of \(\Upsilon_{\theta}\). In the forthcoming analysis, we write \(\Theta^{\gamma}_{\omega}\) instead of \(\Theta^{\gamma}_{\omega}(X)\). Let \(\beta\in\mathbb{C}\) and \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\). Then the complex power \(A^{\beta}\) of A is defined by
Now we list some properties of \(A^{\beta}\) (see [5]).
Proposition 2.3
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\). Then, for all \(\alpha, \beta\in\mathbb{C}\), the following statements hold.
-
(i)
The operator \(A^{\beta}\) is closed.
-
(ii)
\(A^{\alpha}A^{\beta}\subseteq A^{\alpha+\beta}\). Moreover, if \(A^{\beta}\) is bounded, then \(A^{\alpha}A^{\beta}=A^{\alpha+\beta}\).
-
(iii)
\(A^{\beta}\) is injective, and \((A^{\beta})^{-1}=A^{-\beta}\).
-
(iv)
\(A^{n}=\mathop{\underbrace{A\cdots A}}\limits_{n\ \mathrm{times}}\) for all \(n\in\mathbb{N}\) and \(A^{0}=I\).
-
(v)
If \(\operatorname{Re}(\beta)>1+\gamma\), then \(A^{-\beta}\) is bounded.
Based on Proposition 2.3, we now prove a lemma, which will be used in the next section.
Lemma 2.1
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\), and let \(\operatorname{Re}(\beta)>1+\gamma\). Then \(A^{1-\beta}A^{\beta}=A^{\beta}A^{1-\beta}=A\).
Proof
Since \(\operatorname{Re}(\beta)>1+\gamma\), by Proposition 2.3(ii), (v) we get \(A^{\beta-1}A^{-\beta}=A^{-1}\). On the other hand, by Proposition 2.3(iii) we can verify that \((A^{\beta-1}A^{-\beta})^{-1}=A^{\beta}A^{1-\beta}\). Therefore, we have \(A^{\beta}A^{1-\beta}=A\), and the proof is completed. □
It is worth noting that Proposition 2.3(v) implies that the operator \(A^{-\beta}\) belongs to \(\mathcal{L}(X)\) whenever \(\operatorname{Re}(\beta)>1+\gamma\). So, in this situation, the linear space \(X^{\beta}:=D(A^{\beta})\) (\(\operatorname{Re}(\beta)>1+\gamma\)) is a Banach space with the graph norm \(\Vert x\Vert _{\beta}=\Vert A^{\beta}x \Vert \), \(x\in X^{\beta}\). Of particular interest is that these spaces \(X^{\beta}\) will provide the basic topology for analyzing the solutions of FNEEs with almost sectorial operators.
2.4 Properties of the operators \(\mathcal{S}_{\alpha}(t)\) and \(\mathcal{P}_{\alpha}(t)\)
We introduce families of operators \(\{T(t)\}_{t\in S^{0}_{\pi/2-\omega}}\), \(\{\mathcal{S}_{\alpha}(t)\}_{t\in S^{0}_{\pi/2-\omega}}\), and \(\{\mathcal{P}_{\alpha}(t)\}_{t\in S^{0}_{\pi/2-\omega}}\) associated with the operator A as follows:
These operators appear in representations of solutions for FNEEs with almost sectorial operators. Further details about these operators can be found in [5, 6].
Notice that the operator family \(\{T(t)\}_{t\in S^{0}_{\pi/2-\omega}}\) is a semigroup in view of the semigroup property: \(T(s+t)=T(s)T(t)\) for all \(s , t \in S_{\pi/2-\omega}^{0}\). Also, the operator \(T(t)\) can characterize the resolvent \((z+A)^{-1}\) of −A as
From (2.1) and (2.2) it follows that there is a one-to-one correspondence between A and the semigroup \(T(t)\). By Proposition 2.2(iv), (v) and definition (2.1) we can obtain the third property, that is, the operators \(\mathcal{S}_{\alpha}(t)\) and \(\mathcal{P}_{\alpha}(t)\) can be represented by \(T(t)\) as
For the reader’s convenience, we recall some more properties of the operator T in the following proposition.
Proposition 2.4
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\). Then the following properties hold.
-
(i)
\(T(t)\) is analytic in \(S^{0}_{\pi/2-\omega}\), and \(\frac{d^{n}T(t)}{dt^{n}}=(-A)^{n}T(t)\), \(t\in S^{0}_{\pi/2-\omega}\), \(n\in \mathbb{N}\).
-
(ii)
There is a constant \(C_{0}=C_{0}(\gamma)\) such that \(\Vert T(t)\Vert \leq C_{0}t^{-\gamma-1}\), \(t>0\).
-
(iii)
The range \(R(T(t))\) of \(T(t)\), \(t\in S^{0}_{\pi/2-\omega}\), is contained in \(D(A^{\infty})\). In particular, \(R(T(t))\subseteq D(A^{\beta})\) for all \(\beta\in\mathbb{C}\) with \(\operatorname{Re}(\beta)>0\), \(A^{\beta}T(t)x=\frac{1}{2\pi i}\int_{\Upsilon_{\theta}}z^{\beta}e^{-tz}(z-A)^{-1}\,dz\) for all \(x\in X\), and there exists a constant \(C^{*}=C^{*}(\beta,\gamma)>0\) such that \(\Vert A^{\beta}T(t)\Vert \leq C^{*}t^{-\gamma-\operatorname{Re}(\beta)-1}\) for all \(t>0\).
-
(iv)
If \(\beta>1+\gamma\), then \(D(A^{\beta})\subseteq\Sigma_{T}=\{x\in X\vert \lim_{t\rightarrow0^{+}}T(t)x=x\}\).
In the following, we describe the properties of the operators \(\mathcal{S}_{\alpha}(t)\) and \(\mathcal{P}_{\alpha}(t)\) [5, 6].
Proposition 2.5
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\). The following statements hold.
-
(i)
For each fixed \(t\in S^{0}_{\pi/2-\omega}\), \(\mathcal {S}_{\alpha}(t)\) and \(\mathcal{P}_{\alpha}(t)\) are linear and bounded operators on X. Moreover, there exist constants \(C_{s}=C(\alpha,\gamma)>0\) and \(C_{p}=C(\alpha,\gamma)>0\) such that for all \(t>0\), \(\Vert \mathcal{S}_{\alpha}(t)\Vert \leq C_{s}t^{-\alpha(1+\gamma)}\) and \(\Vert \mathcal{P}_{\alpha}(t)\Vert \leq C_{p}t^{-\alpha(1+\gamma)}\).
-
(ii)
For \(t>0\), \(\mathcal{S}_{\alpha}(t)\) and \(\mathcal {P}_{\alpha}(t)\) are continuous in the uniform operator topology. Moreover, for every \(r>0\), the continuity is uniform on \([r,\infty)\).
-
(iii)
For each fixed \(t\in S^{0}_{\pi/2-\omega}\) and all \(x\in D(A)\), \((\mathcal{S}_{\alpha}(t)-I)x=\int^{t}_{0}-s^{\alpha-1}A\mathcal {P}_{\alpha}(s)x\,ds\).
-
(iv)
For all \(x\in D(A)\) and \(t>0\), \({}^{C}_{0}D^{\alpha}_{t}\mathcal{S}_{\alpha}(t)x=-A\mathcal{S}_{\alpha}(t)x\).
-
(v)
For all \(t>0\), \(\mathcal{S}_{\alpha}(t)={}_{0}I^{\alpha}_{t} (t^{\alpha -1}\mathcal{P}_{\alpha}(t))\).
-
(vi)
Let \(\beta>1+\gamma\). For all \(x\in D(A^{\beta})\), \(\lim_{t\rightarrow0^{+}}\mathcal{S}_{\alpha}(t)x=x\).
Proposition 2.6
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\), and let \(0<\beta<1-\gamma\). Then
-
(i)
the range \(R(\mathcal{P}_{\alpha}(t))\) of \(\mathcal {P}_{\alpha}(t)\) for \(t>0\) is contained in \(D(A^{\beta})\);
-
(ii)
\(\mathcal{S}^{\prime}_{\alpha}(t)x=-t^{\alpha-1}A\mathcal {P}_{\alpha}(t)x\), and \(\mathcal{S}^{\prime}_{\alpha}(t)x\) for \(x\in D(A)\) is locally integrable on \((0,\infty)\);
-
(iii)
for all \(x\in D(A)\) and \(t>0\), \(\Vert A\mathcal {S}_{\alpha}(t)x\Vert \leq Ct^{-\alpha(1+\gamma)}\Vert Ax\Vert \), where C is a constant depending on \(\gamma, \alpha\).
Lemma 2.2
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\), and let \(0<\beta<1-\gamma\). Then, for each fixed \(t\in S^{0}_{\pi/2-\omega}\), \(\mathcal{P}_{\alpha}(t)\) is a bounded linear operator on \(X^{\beta}\). Moreover, there exists a positive constant \(C_{0}\) such that for all \(t>0\),
Proof
By relation (2.4), Proposition 2.2(iii), and Proposition 2.4(iii) we get
The proof is completed. □
3 Main results
Consider a problem of fractional neutral evolution equations (FNEEs) with almost sectorial operator given by
where \(h, T>0\), A is an almost sectorial operator, that is, \(A\in \Theta^{\gamma}_{\omega}\) (\(-1<\gamma<0\), \(0<\omega<\pi/2\)), \(f(t,x_{t})\), \(g(t,x_{t}): [0,T]\times C([-h,0],X)\rightarrow X\) are given functions, \(\varphi(t): [-h,0]\rightarrow X\) is an initial function, and \(x_{t}\) is defined by \(x_{t}(s)=x(t+s)\) for \(s\in[-h,0]\).
To study problem (3.1), we need the following assumption.
-
(H)
\(x(t)\in C([-h,T],X)\), \(x(t)\in D(A)\) for all \(t\in[0,T]\), \(Ax\in L^{1}((0,T),X)\), \(f(t,x_{t})\in L^{1}((0,T),X)\), and there exists a constant β such that \(\beta>1+\gamma\) and \(A^{\beta}g(t,x_{t})\in L^{1}((0,T),X)\).
To define a mild solution of (3.1), we prove the following lemma.
Lemma 3.1
Assume that condition (H) holds and \(x(t)\) satisfies problem (3.1). Then, for every \(\varphi(t)\in C([-h,0],X^{\beta})\), \(x(t)\) satisfies the integral equation
Proof
In view of condition (H), we know that (Theorem 3.1 in [16]) problem (3.1) is equivalent to the fractional integral equation
Applying the Laplace transform to this integral equation, we get
where
Using (2.2), integration by parts, and Proposition 2.4(i), we have
Furthermore, by using Proposition 2.2(ii) and relation (2.4) the right-hand side of (3.3) can be written as
By a similar argument we get
Finally, combining (3.2)-(3.5), we conclude
The proof is completed. □
By Lemma 3.1 we define a mild solution to problem (3.1) as follows.
Definition 3.1
By a mild solution to problem (3.1) on the interval \([-h, T]\) we mean a function \(x(t)\in C([-h,T],X)\) satisfying
In the sequel, we use \(\vert w\vert _{0}=\max_{s\in[-h,0]}\Vert w(s)\Vert \), where \(\Vert \cdot \Vert \) is an arbitrary norm in X.
To study the existence and uniqueness of a mild solution to problem (3.1), we require the following assumptions.
- (H1):
-
The resolvent \((\lambda I+A)^{-1}\) of −A is compact for every \(\lambda>0\).
- (H2):
-
The function \(g(t,x_{t}): [0,T]\times C([-h,0],X)\rightarrow D(A^{\beta})\) is a continuous function with respect to \(t\in[0,T]\), and there exists a positive constant \(M_{g}\) such that for any \(x_{t}\in C([-h,0],X)\), \(A^{\beta}g(t,x_{t})\) is strongly measurable and satisfies the inequality
$$\begin{aligned} \bigl\Vert A^{\beta}g(t,x_{t}) \bigr\Vert \leq M_{g}\bigl(1+\vert x_{t}\vert _{0}\bigr), \end{aligned}$$and there exist positive constants \(L_{g}\) and \(\theta_{1}\) with \(\theta_{1}>\alpha(1+\gamma)\) such that for any \(t, s\in[0,T]\) and \(x_{t}, y_{s}\in C([-h,0],X)\), \(A^{\beta}g(t,x_{t})\) satisfies the Lipschitz condition
$$\begin{aligned} \bigl\Vert A^{\beta}g(t, x_{t})-A^{\beta}g(s,y_{s}) \bigr\Vert \leq L_{g} \bigl(\vert t-s \vert ^{\theta_{1}}+\vert x_{t}-y_{s}\vert _{0} \bigr). \end{aligned}$$ - (H3):
-
For almost all \(t\in[0,T]\), the function \(f(t,x_{t}): [0,T]\times C([-h,0],X)\rightarrow X\) is continuous; for each \(x_{t}\in C([-h,0],X)\), \(f(t,x_{t})\) is strongly measurable; and there exists a function \(m(t)\in L^{p}((0,T),\mathbb{R}^{+})\) with \(p>-\frac{1}{\alpha\gamma}\) such that \(\Vert f(t,x_{t}) \Vert \leq m(t)\) for all \(t\in[0,T]\) and \(x_{t}\in C([-h,0],X)\).
We now show the existence of a mild solution to problem (3.1) via Krasnoselskii’s fixed point theorem.
Theorem 3.1
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\), and \(\varphi(t)\in C([-h,0],X^{\beta})\) for \(\beta>1+\gamma\). Assume that conditions (H1)-(H3) hold. Then there exists \(T_{0}\) such that problem (3.1) has a mild solution on the interval \([-h,T_{0}]\).
Proof
For any fixed \(r>0\), we set
Obviously, B is a closed convex subset of \(C([-h,T],X)\). Choose \(T_{0}\in(0,T]\) such that
and
with \(q=p/(p-1)\) and
Now we consider two operators \(F_{1}\) and \(F_{2}\) on \(C([-h,T],X)\):
and
Obviously, \(x(t)\) is a mild solution to equation (3.1) if and only if the operator equation \(F_{1}x+F_{2}x=x\) has a solution \(x\in B\). Therefore, the existence of a mild solution is equivalent to the existence of a function \(x\in B\) such that \(F_{1}x+F_{2}x=x\). To prove the latter, we divide the proof into four steps.
Step 1. The operators \(F_{1}\) and \(F_{2}\) map the set B into \(C([-h,T],X)\), respectively. First, we show that for any fixed \(x(t)\in B\), \((F_{1}x)(t)\) is continuous for all \(t\in[-h,T]\). It is clear that \((F_{1}x)(t)\) is continuous for \(t\in[-h,0)\). For the case \(t=0\), we have
Noting that \(\varphi(0), g(t,x_{t})\in X^{\beta}\), by Proposition 2.5(vi), we get \(\Vert (\mathcal {S}_{\alpha}(t)-I)\varphi(0) \Vert \rightarrow0\) and \(\Vert g(t,x_{t})-\mathcal{S}_{\alpha}(t)g(0,x_{0}) \Vert \rightarrow0\) as \(t\rightarrow0^{+}\), respectively. On the other hand, by Lemmas 2.1 and 2.2 we obtain
This shows that \(\int^{t}_{0}(t-s)^{\alpha-1}A\mathcal {P}_{\alpha}(t-s)g(s,x_{s})\,ds\rightarrow0\) as \(t\rightarrow0^{+}\). So, \((F_{1}x)(t)\) is continuous at \(t=0\). For the case \(0< t_{1}< t_{2}\leq T\), we have
where
By condition (H1) and Proposition 2.5(vi) we have \(I_{1}\rightarrow0\) and \(I_{2}\rightarrow0\) as \(t_{1}\rightarrow t_{2}\). Now it remains to show that, in this case, \(I_{3}\rightarrow0\) as \(t_{1}\rightarrow t_{2}\). Using condition (H2) and Lemmas 2.1 and 2.2, we have
Moreover, since \(x(t)\) is continuous and \(\beta>1+\gamma\), we have \(I_{3}\rightarrow0\) as \(t_{1}\rightarrow t_{2}\). It follows that \((F_{1}x)(t)\) is continuous for all \(t\in(0,T]\). Hence, the operator \(F_{1}\) maps the set B into \(C([-h,T],X)\).
Next, we show that for any fixed \(x(t)\in B\), \((F_{2}x)(t)\) is continuous for all \(t\in[-h,T]\). Obviously, \((F_{2}x)(t)\) is continuous for any \(t\in[-h,0)\). For the case \(t=0\), by the Hölder inequality we get
with \(0< q=\frac{p}{p-1}<\frac{1}{1+\alpha\gamma}\). This shows that \(\Vert (F_{2}x)(t)-(F_{2}x)(0) \Vert \rightarrow0\) as \(t\rightarrow 0^{+}\). Thus, it follows that the function \((F_{2}x)(t)\) is continuous at \(t=0\). For \(0< t_{1}< t_{2}\leq T\), we have
where
For \(I_{1}\), we choose a small \(\delta>0\) and get
This, together with Proposition 2.5(ii), leads to \(I_{1}\rightarrow 0\) as \(t_{1}\rightarrow t_{2}\) and \(\delta\rightarrow0\).
For \(I_{2}\), by the Hölder inequality we have
Moreover, since \(0< q=\frac{p}{p-1}<\frac{1}{1+\alpha\gamma}\), we get \(I_{2}\rightarrow0\) as \(t_{1}\rightarrow t_{2}\).
For \(I_{3}\), by the same reasoning we have
This gives \(I_{3}\rightarrow0\) as \(t_{1}\rightarrow t_{2}\). It follows that \((F_{2}x)(t)\) is continuous for any \(t\in(0,T]\). Hence, \(F_{2}\) maps the set B into \(C([-h,T],X)\).
Step 2. We show that \(F_{1}x+F_{2}y\in B\) for every pair \(x, y\in B\). By the definitions of the operators \(F_{1}\) and \(F_{2}\) we have
so we only need to verify that \(\max_{t\in [0,T]}\Vert F_{1}x+F_{2}y-\varphi(0)\Vert \leq r\). According to assumptions (H2)-(H3) and Lemmas 2.1 and 2.2, we get
Therefore, \(F_{1}x+F_{2}y\in B\) for every pair \(x, y\in B\).
Step 3. The mapping \(F_{1}\) is contractive. For any \(x, y\in B\), by Lemmas 2.1 and 2.2 we have
which, together with (3.6), shows that the mapping \(F_{1}\) is contractive on B.
Step 4. The operator \(F_{2}\) is compact. First, we show that \(F_{2}\) is continuous. Let \(\{x^{n}\}\subseteq B\) with \(x^{n}\rightarrow x\) on B. Then, by assumption (H3) and the fact that \(x^{n}_{t}\rightarrow x_{t}\) for \(t\in[0,T]\) we get
On the other hand, by assumption (H3) and Proposition 2.5(i) we have
This implies that \((t-s)^{\alpha-1}\mathcal{P}_{\alpha}(t-s)f(s,x_{s}^{n})\in L^{1}((0,t),X)\). Thus, by the Lebesgue dominated convergence theorem we get
Hence, \(F_{2}\) is continuous. It remains to show that \(F_{2}(B)\) is relatively compact. According to assumption (H1) and Theorem 3.5 in [6], the family of functions \(\{F_{2}x: x\in B\}\) is uniformly bounded. From Step 1 we observe that \(\{F_{2}x: x\in B\}\) is a family of equicontinuous functions. So, by the known Ascoli-Arzelà theorem, the family \(\{F_{2}x: x\in B\}\) is relatively compact. Hence, \(F_{2}\) is compact.
Therefore, by Krasnoselskii’s fixed point theorem, we deduce that problem (3.1) has a mild solution on the interval \([-h, T_{0}]\). The proof is completed. □
Next, we discuss the uniqueness of mild solutions to problem (3.1). For that, we need an additional condition.
- (H4):
-
There exists a constant \(L_{f}>0\) such that for all \(t\in [0,T]\) and \(x_{t}, y_{t}\in C([-h,0],X)\), the function f satisfies the Lipschitz condition
$$\begin{aligned} \bigl\Vert f(t,x_{t})-f(t,y_{t}) \bigr\Vert \leq L_{f} \vert x_{t}-y_{t} \vert _{0}. \end{aligned}$$
The uniqueness result is based on the Banach contraction principle.
Theorem 3.2
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\), and \(\varphi(t)\in C([-h,0],X^{\beta})\) for \(\beta>1+\gamma\). Assume that conditions (H2)-(H4) hold. Then there exists \(T_{0}\in(0,T]\) such that problem (3.1) has a unique mild solution on the interval \([-h,T_{0}]\).
Proof
For any fixed \(r>0\), we set
Obviously, B is a closed convex subset of \(C([-h,T],X)\). Choose \(T_{0}\in(0,T]\) such that
and
where \(r^{*}\) and K are the constants defined by (3.7). Now we consider the operator F defined by
Similarly to the proof of Theorem 3.1, we can show that F maps the subset B into itself. Moreover, for any \(x(t), y(t)\in B\), we have
So the mapping F is contractive. It follows from the Banach contractive principle that problem (3.1) has a unique mild solution on the interval \([-h,T_{0}]\). □
In particular, if \(g(t,x_{t})\equiv c\) (c is a constant), then we have the following corollary.
Corollary 3.1
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\), and \(\varphi(t)\in C([-h,0],X^{\beta})\) for \(\beta>1+\gamma\). Assume that conditions (H2)-(H3) hold. Then there exists \(T_{0}\in(0,T]\) such that the abstract fractional functional equation
has a unique mild solution on the interval \([-h,T_{0}]\).
In particular, when \(\beta=1\), then we have \(1>1+\gamma\) (\(-1<\gamma<0\)). So \(X^{1}=D(A)\) is a Banach space with the graph norm \(\Vert x\Vert _{1}=\Vert Ax\Vert \), where \(x\in D(A)\). In this case, condition (H2) can be written as follows:
- (\(\mathrm{H}_{2}^{*}\)):
-
The function \(g(t,x_{t}): [0,T]\times C([-h,0],X)\rightarrow D(A)\) is a continuous function with respect to \(t\in[0,T]\); there exists a positive constant \(M_{g}\) such that for any \(x_{t}\in C([-h,0],X)\), \(Ag(t,x_{t})\) is strongly measurable and satisfies the inequality
$$\begin{aligned} \bigl\Vert Ag(t,x_{t}) \bigr\Vert \leq M_{g}\bigl(1+ \vert x_{t}\vert _{0}\bigr); \end{aligned}$$and there exist positive constants \(L_{g}\) and \(\theta_{1}\) with \(\theta_{1}>\alpha(1+\gamma)\) such that for any \(t, s\in[0,T]\) and \(x_{t}, y_{s}\in C([-h,0],X)\), \(Ag(t,x_{t})\) satisfies the Lipschitz condition
$$\begin{aligned} \bigl\Vert Ag(t, x_{t})-Ag(s,y_{s}) \bigr\Vert \leq L_{g} \bigl(\vert t-s\vert ^{\theta_{1}}+\vert x_{t}-y_{s}\vert _{0} \bigr). \end{aligned}$$
Consequently, we arrive at the following corollary, which is a particular case of Theorem 3.2.
Corollary 3.2
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<0\) and \(0<\omega<\pi/2\), and \(\varphi(t)\in C([-h,0],X^{1})\). Assume that conditions (\(\mathrm{H}_{2}^{*}\)), (H3), and (H4) hold. Then there exists \(T_{0}\in(0,T]\) such that problem (3.1) has a unique mild solution on the interval \([-h,T_{0}]\).
Now we turn our attention to further conditions on f and g so that the mild solution becomes a strong solution and a classical solution. We first give the definitions of the strong solution and the classical solution to problem (3.1).
Definition 3.2
A function \(x(t): [-h,T]\rightarrow X\) is said to be a strong solution to problem (3.1) if
-
(i)
\(x(t)\) is continuous on \([-h,T]\), and \(({}^{C}_{0}D^{\alpha}_{t}x)(t)\in L^{1}((0,T),X)\); and
-
(ii)
\(x(t)\) takes values in \(D(A)\) and satisfies problem (3.1).
Definition 3.3
A function \(x(t): [-h,T]\rightarrow X\) is said to be a classical solution to problem (3.1) if
-
(i)
\(x(t)\) is continuous on \([-h,T]\), and \(({}^{C}_{0}D^{\alpha}_{t}x)(t)\in C([0,T],X)\); and
-
(ii)
\(x(t)\) takes values in \(D(A)\) and satisfies problem (3.1).
In the following, we prove that a mild solution can become a strong solution to problem (3.1) under some assumptions. To do this, we require stronger conditions than conditions (H3) and (H4):
- (\(\mathrm{H}_{3}^{*}\)):
-
For almost all \(t\in[0,T]\), the function \(f(t,x_{t}): [0,T]\times C([-h,0],X)\rightarrow X\) is continuous; for each \(x_{t}\in C([-h,0],X)\), \(f(t,x_{t})\) is strongly measurable; and there exists a function \(m(t)\in L^{p}((0,T),\mathbb{R}^{+})\) with \(p>\frac{\alpha\gamma+\alpha-1}{\alpha(2\gamma+1)}\) such that \(\Vert f(t,x_{t}) \Vert \leq m(t)\) for all \(t\in[0,T]\) and \(x_{t}\in C([-h,0],X)\).
- (\(\mathrm{H}_{4}^{*}\)):
-
There exist constants \(L_{f}>0\) and \(\theta_{2}\) with \(\theta_{2}>\alpha(1+\gamma)\) such that for all \(t,s\in[0,T]\) and \(x_{t}, y_{s}\in C([-h,0],X)\), the function f satisfies the Lipschitz condition
$$\begin{aligned} \bigl\Vert f(t,x_{t})-f(s,y_{s}) \bigr\Vert \leq L_{f} \bigl(\vert t-s\vert ^{\theta_{2}}+\vert x_{t}-y_{t}\vert _{0} \bigr). \end{aligned}$$
Theorem 3.3
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<-\frac{1}{2}\) and \(0<\omega<\pi/2\), and \(\varphi(t)\in C([-h,0],X^{1})\). Suppose that conditions (\(\mathrm{H}_{2}^{*}\))-(\(\mathrm{H}_{4}^{*}\)) hold. In addition, suppose that the following conditions are satisfied:
- (H a ):
-
For almost all \(t\in[0,T]\) and \(x_{t}\in C([-h,0],X)\), \({}^{C}_{0}D^{\alpha}_{t}g(t,x_{t})\in L^{1}([0,T],X)\).
- (H b ):
-
In condition (\(\mathrm{H}_{1}^{*}\)), \(0< L_{g}<1\).
- (H c ):
-
For almost all \(t\in[0,T]\) and \(x_{t}\in C([-h,0],X)\), \(Ag(t,x_{t})\in L^{1}((0,T),X^{1})\) and \(A^{2}g(t, x_{t})\in L^{\infty}((0,T),X)\).
- (H d ):
-
For almost all \(t\in[0,T]\) and \(x_{t}\in C([-h,0],X)\), \(f(t,x_{t})\in L^{1}((0,T),X^{1})\) and \(Af(t,x_{t})\in L^{\infty}((0,T),X)\).
Then the mild solution x is the unique strong solution to problem (3.1), provided that \(A(\varphi (0)-g(0,x_{0}))\in L^{\infty}((0,T),X)\).
Proof
Using the assumption \(-1<\gamma<-\frac{1}{2}\), we have \(\frac{\alpha\gamma+\alpha-1}{\alpha(2\gamma+1)}>-\frac{1}{\alpha\gamma}\). Hence, the conclusion of Theorem 3.2 is also true if we replace conditions (H2)-(H4) by (\(\mathrm{H}_{2}^{*}\))-(\(\mathrm{H}_{4}^{*}\)). Now, we will follow the argument of Wang et al. in (see [6], Theorem 4.1) to prove that the mild solution x is a strong solution to problem (3.1).
First, we show that \(x(t)\) is Hölder continuous with an exponent ϑ with \(\vartheta>\alpha(1+\gamma)\) on the interval \([-h,T_{0}]\). For any \(t\in[0,T_{0}]\), taking \(\Delta t>0\) such that \(t+\Delta t\leq T_{0}\), we have
For \(I_{1}\), by Proposition 2.5(i), (iii) we get
For \(I_{3}\), using Lemma 2.1, condition (\(\mathrm{H}_{2}^{*}\)), and Proposition 2.5(i), we get
Similarly to \(I_{3}\), we have
As a consequence, we get
Using the inequality \(b^{c}-a^{c}\leq(b-a)^{c}\) (\(0< a< b\), \(0< c<1\)), we have
Putting
we can rewrite (3.9) in the form
Then it follows from the definition of \(\vert \cdot \vert _{0}\) that the inequality
holds. Then, in view of condition (H b ), we have
Applying the generalized Gronwall inequality [24] to (3.10), we get the estimate
with
It follows from (3.11) that \(x(t)\) is Hölder continuous with an exponent \(\vartheta>\alpha(1+\gamma)\) on \([-h,T_{0}]\).
Next, we show that \(x(t)\) satisfies problem (3.1). To do this, let
By the assumption \(A^{2}g(t,x_{t})\in L^{\infty}((0,T),X)\) and Proposition 2.5(i), we have
This implies that \(u(t)\in D(A)\) for all \(t\in[0,T]\). Note that \(u(0)=0\). So by Proposition 2.1(ii) and Proposition 2.5(v) we get
Now we need to calculate the first derivative of \(v(t):=A\mathcal {S}_{\alpha}(t)*g(t,x_{t})\). Let \(\Delta t>0\) and \(t+\Delta t\leq T_{0}\). Then, by Proposition 2.6(ii) we obtain
where
For \(I_{1}\), combining Proposition 2.5(i) and relation (3.9), we have
Moreover, since \(\vartheta>\alpha(\gamma+1)\) and \(1-\alpha(\gamma+1)>0\), we get \(I_{1}\rightarrow0\) as \(\Delta t\rightarrow0\).
Similarly, we can show that \(I_{2}\rightarrow0\) as \(\Delta t\rightarrow0\). For \(I_{3}\), by Proposition 2.5(vi) we have \(\lim_{\Delta t\rightarrow0}I_{3}=Ag(t,x_{t})\). Hence, we get \(v^{\prime}(t)=-Au(t)+Ag(t,x_{t})\). It follows that
Analogously, taking
we can show that
Combining Proposition 2.5(iv), (3.14), and (3.16), we obtain that the mild solution \(x(t)\) satisfies problem (3.1).
To complete the proof, it remains to show that \(({}^{C}_{0}D^{\alpha}_{t}x)(t)\in L^{1}((0,T_{0}),X)\). In other words, we need to prove that \(\int^{T_{0}}_{0}\vert ({}^{C}_{0}D^{\alpha}_{t}x)(t)\vert \,dt<\infty\). As before, we have
which shows that \(({}^{C}_{0}D^{\alpha}_{t}x)(t)\in L^{1}((0,T_{0}),X)\). Hence, the mild solution \(x(t)\) is a strong solution to problem (3.1). The proof is completed. □
Corollary 3.3
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<-\frac{1}{2}\) and \(0<\omega<\pi/2\), and \(\varphi(t)\in C([-h,0],X^{1})\). Suppose that conditions (\(\mathrm{H}_{3}^{*}\)), (\(\mathrm{H}_{4}^{*}\)), and (\(\mathrm{H}_{d}\)) hold. Then the mild solution x to equation (3.8) is its unique strong solution, provided that \(A\varphi(0)\in L^{\infty}((0,T),X)\).
Finally, under suitable conditions, we show that the mild solution becomes a classical solution to problem (3.1).
Theorem 3.4
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<-\frac{1}{2}\) and \(0<\omega<\pi/2\), and \(\varphi(t)\in C([-h,0],X^{1})\). Suppose that conditions (\(\mathrm{H}_{2}^{*}\))-(\(\mathrm{H}_{4}^{*}\)) hold. In addition, suppose that the following conditions hold:
- (H a ):
-
For all \(t\in[0,T]\) and \(x_{t}\in C([-h,0],X)\), \({}^{C}_{0}D^{\alpha}_{t}g(t,x_{t})\in C([0,T],X)\).
- (H b ):
-
In condition (\(\mathrm{H}_{1}^{*}\)), \(0< L_{g}<1\).
- (H c ):
-
For almost all \(t\in[0,T]\) and \(x_{t}\in C([-h,0],X)\), \(Ag(t,x_{t})\in L^{1}((0,T),X^{1})\) and \(A^{2}g(t, x_{t})\in L^{\infty}((0,T),X)\).
- (H d ):
-
For almost all \(t\in[0,T]\) and \(x_{t}\in C([-h,0],X)\), \(f(t,x_{t})\in L^{1}((0,T),X^{1})\) and \(Af(t,x_{t})\in L^{\infty}((0,T),X)\).
Then the mild solution is a classical solution to problem (3.1), provided that \(A(\varphi(0)-g(0,x_{0}))\in D(A^{\beta})\) with \(\beta >1+\gamma\).
Proof
To establish the conclusion, we observe from the proof of Theorem 3.3 that it is sufficient to establish that \(({}^{C}_{0}D^{\alpha}_{t}x)(t)\in C([0,T_{0}],X)\).
We now define \(u(t)\) and \(w(t)\) as in (3.13) and (3.15). We first prove that \(({}^{C}_{0}D^{\alpha}_{t}u)(t)\in C([0,T_{0}],X)\). By (3.14) we only need to prove that \(-Au(t)+Ag(t,x_{t})\in C([0,T_{0}],X)\). According to the assumption, \(Ag(t,x_{t})\) is continuous for all \(t\in[0,T_{0}]\) and \(x_{t}\in C([-h,0],X)\). So, it remains to prove that \(I(t)=-Au(t)\) is continuous for all \(t\in[0,T_{0}]\). For that, we express \(I(t)\) as \(I(t)=I_{1}(t)+I_{2}(t)\), where
Using Proposition 2.5(iii), we get \(I_{2}(t)=-(\mathcal{S}_{\alpha}(t)-I)Ag(t,x_{t})\). So, by Proposition 2.5(v) and condition (H c ) we have that \(I_{2}(t)\) is continuous for \(t\in[0,T_{0}]\). Next, we prove that \(I_{1}(t)\) is continuous for \(t\in[0,T_{0}]\). Let \(\Delta t>0\) be such that \(t+\Delta t\leq T_{0}\). Then
For \(h_{1}(t)\), on the one hand, we have
Moreover, since \(\theta_{1}>\alpha(1+\gamma)\) and \(\vartheta>\alpha(1+\gamma)\), we get \(A(t+\Delta t-s)^{\alpha-1}A\mathcal{P}_{\alpha}(t+\Delta t-s) (g(s,x_{s})-g(t,x_{t}) )\in L^{1}((0,t),X)\). On the other hand, by Proposition 2.5(v) we have
so that by the Lebesgue dominated convergence theorem we get \(h_{1}(t)\rightarrow0\) as \(\Delta t\rightarrow0\).
For \(h_{2}(t)\), we have the estimate
Moreover, since \(\theta_{1}>\alpha(1+\gamma)\) and \(\vartheta>\alpha(1+\gamma)\), we get \(h_{2}(t)\rightarrow0\) as \(\Delta t\rightarrow0\).
For \(h_{3}(t)\), by Proposition 2.5(i) and condition (\(\mathrm{H}_{1}^{*}\)) we have the estimate
which implies that \(h_{3}(t)\rightarrow0\) as \(\Delta t\rightarrow0\). Hence, \(-Au(t)+Ag(t,x_{t})\) is continuous for all \(t\in[0,T_{0}]\).
By the argument used earlier we have that \(({}^{C}_{0}D^{\alpha}_{t}w)(t)\) is continuous for all \(t\in[0,T_{0}]\). Combining Proposition 2.5(v) and the assumption \(A(\varphi(0)-g(0,x_{0}))\in D(A^{\beta})\) with \(\beta>1+\gamma\), it follows that \(({}^{C}_{0}D^{\alpha}_{t}x)(t)\) is continuous for all \(t\in[0,T_{0}]\), and the proof is completed. □
Corollary 3.4
Let \(A\in\Theta^{\gamma}_{\omega}\) with \(-1<\gamma<-\frac{1}{2}\) and \(0<\omega<\pi/2\), and \(\varphi(t)\in C([-h,0],X^{1})\). Suppose that conditions (\(\mathrm{H}_{3}^{*}\)), (\(\mathrm{H}_{4}^{*}\)), and (H d ) hold. Then the mild solution x to equation (3.8) is its unique classical solution, provided that \(A\varphi(0)\in D(A^{\beta})\) with \(\beta>1+\gamma\).
4 Application
In this section, we demonstrate the applicability of the obtained results to the following problem:
in the space of Hölder continuous functions \(X:=C^{l}([0,\pi],\mathbb{R})\) (\(0< l<1\)), where \({}^{C}_{0}\partial^{\alpha}_{t}\) is the Caputo fractional partial derivative of order \(0<\alpha<1\) with respect to t, that is,
We now introduce the operator
in the space \(C^{l}([0,\pi],\mathbb{R})\) (\(0< l<1\)) of Hölder continuous functions. It follows from [4] that there exist \(\nu, \epsilon>0\) such that \(\widetilde{A}+\nu\in \Theta^{\frac{l}{2}-1}_{\frac{\pi}{2}-\epsilon}(X)\).
To represent this system in the abstract form (3.1), we introduce the function \(f: [0,T]\times C([-h,0],X)\rightarrow X\) given by
If \(\chi\in L^{1}([0,T],\mathbb{R})\), then \(f\in C([0,T],X)\), and it follows that there exists a function \(m(t)\in L^{1}([0,T],\mathbb{R})\) such that
It follows from Theorem 3.2 that there exists \(T_{0}\) such that equation (4.1) has a unique mild solution on \([-h,T_{0}]\).
5 Conclusions
The research on almost sectorial operators has been of significant interest during the past years. However, it has been found that there is no published material addressing the existence and uniqueness of solutions for fractional neutral evolution equations with almost sectorial operators. To enrich the literature on the topic, we have investigated the existence and uniqueness of mild solutions to fractional neutral evolution equations with almost sectorial operators in this article. Our study relies on some fixed point theorems. Under some suitable assumptions, we have shown that a mild solution can become a strong solution and a classical solution. As an illustration of our work, we have discussed the existence and uniqueness of a mild solution for a fractional partial differential equation.
References
Henry, D: Geometric Theory of Semilinear Parabolic Equations. Lecture Notes in Mathematics. Springer, New York (1981)
Stuart, AM: Perturbation Theory for Infinite Dimensional Dynamical Systems. Adv. Numer. Anal. Oxford University Press, New York (1995)
Cuesta, E, Palencia, C: A numerical method for an integro-differential equation with memory in Banach spaces: qualitative. SIAM J. Numer. Anal. 41, 1232-1241 (2003)
von Wahl, W: Gebrochene Potenzen eines elliptischen Operators und parabolische Differentialgleichungen in Räumen hölderstetiger Funktionen. Nachr. Akad. Wiss. Gött. Math.-Phys. Kl. 11, 231-258 (1972)
Periago, F, Straub, B: A functional calculus for almost sectorial operators and applications to abstract evolution equations. J. Evol. Equ. 2, 41-68 (2002)
Wang, RN, Chen, DH, Xiao, TJ: Abstract fractional Cauchy problems with almost sectorial operator. J. Differ. Equ. 252, 202-235 (2012)
Carvalho, AN, Dlotko, T, Nescimento, MJD: Non-autonomous semilinear evolution equations with almost sectorial operators. J. Evol. Equ. 8, 631-659 (2008)
Arrieta, JM, Carvalho, A, Lozada-Cruz, G: Dynamics in dumbbell domains II. The limiting problem. J. Differ. Equ. 247, 174-202 (2009)
Ducrot, A, Magal, P, Prevost, K: Integrated semigroups and parabolic equations. Part I: linear perturbation of almost sectorial operators. J. Evol. Equ. 10, 263-291 (2010)
Hernández, E: On a class of abstract functional differential equations involving almost sectorial operators. Differ. Equ. Appl. 3, 1-10 (2011)
Arrieta, JM, Carvalho, A, Lozada-Cruz, G: Dynamics in dumbbell domains I. Continuity of the set of equilibria. J. Differ. Equ. 231, 551-597 (2006)
Arrieta, JM, Carvalho, A, Lozada-Cruz, G: Dynamics in dumbbell domains III. Continuity of attractors. J. Differ. Equ. 247, 225-259 (2009)
Li, F: Mild solutions for abstract fractional differential equations with almost sectorial operators and infinite delay. Adv. Differ. Equ. 2013, 327 (2013)
Zhang, L, Zhou, Y: Fractional Cauchy problems with almost sectional operators. Appl. Math. Comput. 257, 145-157 (2015)
Zhou, Y, Vijayakumar, V, Murugesu, R: Controllability for fractional evolution inclusions without compactness. Evol. Equ. Control Theory 4, 507-524 (2015)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Ahmad, B, Nieto, JJ, Alsaedi, A, El-Shahed, M: A study of nonlinear Langevin equation involving two fractional orders in different intervals. Nonlinear Anal., Real World Appl. 13, 599-606 (2012)
Belmekki, M, Nieto, JJ, Rodríguez-López, R: Existence of periodic solution for a nonlinear fractional differential equation. Bound. Value Probl. 2009, 324561 (2009)
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York (1993)
Podlubny, I: Fractional Differential Equations. Academic Press, New York (1999)
Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives Theory and Applications. Gordon & Breach, Yverdon (1993)
Diethelm, K, Neville, JF: Analysis of fractional differential equations. J. Math. Anal. Appl. 265, 229-248 (2002)
Li, CP, Deng, WH: Remarks on fractional derivatives. Appl. Math. Comput. 187, 777-784 (2007)
Ye, HP, Gao, JM, Ding, YS: A generalized Gronwall inequality and its application to a fractional differential equation. J. Math. Anal. Appl. 328, 1075-1081 (2007)
Darwish, MA, Ntouyas, SK: Boundary value problems for fractional functional differential equations of mixed type. Commun. Appl. Anal. 13, 31-38 (2009)
Darwish, MA, Ntouyas, SK: Functional differential equations of fractional order with state-dependent delay. Dyn. Syst. Appl. 18, 539-550 (2009)
Darwish, MA, Ntouyas, SK: On initial and boundary value problems for fractional order mixed type functional differential inclusions. Comput. Math. Appl. 59, 1253-1265 (2010)
Darwish, MA, Sadarangani, K: On existence and asymptotic stability of solutions of a functional-integral equation of fractional order. J. Convex Anal. 17, 413-426 (2010)
Mainardi, F, Paradisi, P, Gorenflo, R: Probability distributions generated by fractional diffusion equations. In: Kertesz, J, Kondor, I (eds.) Econophysics: An Emerging Science. Kluwer Academic, Dordrecht (2000)
Zhou, Y, Jiao, F, Li, J: Existence and uniqueness for fractional neutral differential equations with infinite delay. Nonlinear Anal. 71, 3249-3256 (2009)
Zhou, Y, Jiao, F: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59, 1063-1077 (2010)
Maraaba, TA, Jarad, F, Baleanu, D: On the existence and the uniqueness theorem for fractional differential equations with bounded delay within Caputo derivatives. Sci. China Ser. A 51, 1775-1786 (2008)
Wang, JR, Zhou, Y: A class of fractional evolution equations and optimal controls. Nonlinear Anal. 12, 262-272 (2011)
Wang, JR, Zhou, Y: Existence of mild solution for fractional delay evolution systems. Appl. Math. Comput. 218, 357-367 (2011)
Chen, AP, Chen, FL, Deng, SQ: On almost automorphic mild solutions for fractional semilinear initial value problems. Comput. Math. Appl. 59, 1318-1325 (2010)
Agarwal, RP, Zhou, Y, He, YY: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095-1100 (2010)
Agarwal, RP, de Andradec, B, Cuevas, C: Weighted pseudo-almost periodic solutions of a class of semilinear fractional differential equations. Nonlinear Anal., Real World Appl. 11, 3532-3554 (2010)
Mophou, GM: Weighted pseudo almost automorphic mild solutions to semilinear fractional differential equations. Appl. Math. Comput. 217, 7579-7587 (2011)
Mophou, GM, N’Guérékata, GM: Existence of mild solutions of some semilinear neutral fractional functional evolution equations with infinite delay. Appl. Math. Comput. 216, 61-69 (2010)
Caicedo, A, Cuevas, C, Mophou, GM, N’Guérékata, GM: Asymptotic behavior of solutions of some semilinear functional differential and integro-differential equations with infinite delay in Banach spaces. J. Franklin Inst. 349, 1-24 (2012)
Ding, XL, Nieto, JJ: Analytical solutions for the multi-term time-space fractional reaction-diffusion equations on an infinite domain. Fract. Calc. Appl. Anal. 18, 697-716 (2015)
Zhou, Y, Peng, L: On the time-fractional Navier-Stokes equations. Comput. Math. Appl. (2016). doi:10.1016/j.camwa.2016.03.026
Li, F: Mild solutions for abstract fractional differential equations with almost sectorial operators and infinite delay. Adv. Differ. Equ. 2013, 327 (2013)
Ahmad, B, Ntouyas, SK: Initial value problems of fractional order Hadamard-type functional differential equations. Electron. J. Differ. Equ. 2015, 77 (2015)
Agarwal, RP, Ntouyas, SK, Ahmad, B, Alzahrani, AK: Hadamard-type fractional functional differential equations and inclusions with retarded and advanced arguments. Adv. Differ. Equ. 2016, 92 (2016)
Acknowledgements
This work was supported by the Natural Science Foundation of China (NSFC) under grant 11501436 and the Science and Technology Planning Project (2014JQ1041) of Shaanxi Province.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors XLD and BA contributed to each part of this work equally and read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ding, XL., Ahmad, B. Analytical solutions to fractional evolution equations with almost sectorial operators. Adv Differ Equ 2016, 203 (2016). https://doi.org/10.1186/s13662-016-0927-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0927-y
Keywords
- fractional neutral evolution equations
- almost sectorial operators
- fixed point theorems
- existence and uniqueness
- mild solutions
- strong solutions and classical solutions