Skip to main content

Global existence and attractivity for Riemann-Liouville fractional semilinear evolution equations involving weakly singular integral inequalities

Abstract

In this paper, we obtain several results on the global existence, uniqueness and attractivity for fractional evolution equations involving the Riemann-Liouville type by exploiting some results on weakly singular integral inequalities in Banach spaces. Some boundedness conditions of the nonlinear term are considered to obtain the main results that generalize and improve some well-known works.

1 Introduction

The aim of this paper is to present several results on the global existence, uniqueness and attractivity of the following fractional differential equation:

$$ {\textstyle\begin{cases} _{0}^{R}D^{\beta}_{t}x(t)=Ax(t)+f(t,x(t)), \quad t\in (0,+\infty ), \\ _{0}I^{1-\beta}_{t}x(t)|_{t=0}=x_{0}, \end{cases}\displaystyle } $$
(1.1)

where \(_{0}^{R}D^{\beta}_{t}\) is the Riemann-Liouville fractional derivative with the order \(\beta \in (0,1)\), \(A:D(A)\subseteq X\rightarrow X\) is the infinitesimal generator of a compact \(C_{0}\)-semigroup \(\{S(t)\}_{t\ge 0}\).

The attractivity of solutions plays a significant role in describing the properties of differential equations. Many researchers have investigated the attractivity of solutions of fractional differential equations. For instance, Furati and Tatar [5] proved that solutions of fractional differential equations with weighted initial data exist globally and decay as a power function. Kassim, Furati, and Tatar [10] studied the asymptotic behavior of solutions for a class of nonlinear fractional differential equations involving two Riemann-Liouville fractional derivatives of different orders. Gallegos and Duarte-Mermoud [6] studied the asymptotic behavior of solutions to Riemann-Liouville fractional systems. Zhou [26] studied the attractivity of solutions for fractional evolution equation with almost sectorial operators. Tuan, Czornik, Nieto and Niezabitowski [22] presented some results for existence of global solutions and attractivity for multidimensional fractional differential equations involving Riemann-Liouville fractional derivative. Sousa, Benchohra, and N’Guérékata [18] considered the attractivity of solutions of the fractional differential equation involving the ψ-Hilfer fractional derivative. For more references, we refer to [1, 15, 19, 20].

Since weakly singular integral inequalities are well-known tools for proving the existence, uniqueness, stability and attractivity of integral evolution equations and fractional differential equations, many scholars have begun to study weakly singular integral inequalities and have obtained several versions of weakly singular integral inequalities. See [3, 8, 9, 12, 13, 16, 21, 23, 28] for more details. Especially, Zhu [28–31] studied several results on the existence and attractivity for the following fractional differential equations with Riemann-Liouville fractional derivative in \(\mathbb{R}\):

$$ {\textstyle\begin{cases} _{0}^{R}D^{\beta}_{t}x(t)=f(t,x(t)), \quad t\in (0,+\infty ), \\ \lim_{t\rightarrow 0^{+}}t^{1-\beta }x(t)=x_{0}. \end{cases}\displaystyle } $$
(1.2)

Zhu presented some weakly singular integral inequalities to prove the main results under the following boundedness conditions

$$\begin{aligned} & \bigl\vert f(t, x) \bigr\vert \le l(t) \vert x \vert +k(t), \end{aligned}$$
(1.3)
$$\begin{aligned} & \bigl\vert f(t, x) \bigr\vert \le l(t) \vert x \vert ^{\mu }, \end{aligned}$$
(1.4)
$$\begin{aligned} & \bigl\vert f(t,x) \bigr\vert \le l(t) \vert x \vert ^{\mu }+k(t), \end{aligned}$$
(1.5)
$$\begin{aligned} & \bigl\vert f(t, x) \bigr\vert \le l(t)\omega \bigl(t^{1-\beta} \vert x \vert \bigr), \end{aligned}$$
(1.6)

where \(\mu \in (0,1],l\), \(k\in C((0,+\infty ),\mathbb{R}_{+})\cap L^{p}_{Loc,1- \beta}([0,+\infty ),\mathbb{R}_{+})\) (\(p>\frac{1}{\beta}\)) and nonnegative nondecreasing function \(\omega \in C([0,+\infty ),\mathbb{R}_{+})\) with \(\lim_{t\rightarrow +\infty }\frac{t}{\omega (t)}=K (0< K\le +\infty )\).

In this paper, by exploiting the Leray-Schauder alternative fixed point theorem and some weakly singular integral inequalities in Banach spaces, we first prove the existence of global mild solutions of problem (1.1). We also prove that there exists a unique mild solution of problem (1.1). Furthermore, we show that the mild solutions of problem (1.1) are globally attractive. Our results generalize and improve the results existing in literature. Finally, we provide several examples to illustrate the applicability of our results.

Below we will describe some of the new features. First, our problem is the natural generalization of many well-known works on the existence and global attractivity for fractional differential equations in finite-dimensional spaces. Second, some boundedness conditions of the nonlinear term are considered to obtain the main results that generalize and improve some well-know works. Instead of conditions (1.3)–(1.6), we deal with more general conditions in the Banach space:

$$\begin{aligned} & \bigl\Vert f(t,x) \bigr\Vert \le l(t)\omega \bigl(t^{1-q } \Vert x \Vert \bigr), \end{aligned}$$
(1.7)
$$\begin{aligned} & \bigl\Vert f(t,x) \bigr\Vert \le l(t)\omega \bigl(t^{1-q } \Vert x \Vert \bigr)+k(t), \end{aligned}$$
(1.8)

where \(l,k\in C_{1-\beta}((0,+\infty ),\mathbb{R}_{+})\cap L^{p}_{Loc,1- \beta}([0,+\infty ),\mathbb{R}_{+})(p>\frac{1}{\beta })\). Third, we obtain several useful nonlinear weakly singular integral inequalities in Banach spaces, which can also be used to control some problems. Fourth, problem (1.1) reduces the problems of first-order and Caputo fractional semilinear evolution equations and can be generalized to more complex forms, for instance, fractional impulsive evolution equations and fractional evolution inclusions.

The outline of this paper is as follows. In Sect. 2, we introduce some notations, definitions, and useful lemmas. In Sect. 3, we present several nonlinear weakly singular integral inequalities useful to prove the main results. In Sects. 4 and 5, we give some sufficient conditions on the global existence and attractivity of mild solutions of problem (1.1). In Sect. 6, some deduced results are given to illustrate our main results.

2 Preliminaries

In this section, we introduce some notations, definitions and lemmas which will be needed later.

The norm of a Banach space X will be denoted by \(\|\cdot \|_{X}\). For an interval J, let \(C(J,X)\) denote the Banach space of all continuous functions from J into X equipped with the norm \(\|x\|_{C}=\sup_{t\in J}\|x(t)\|_{X}\) and \(L^{p}(J,X)(p>1)\) denote the Banach space of p-th integral functions from J into X equipped with the norm \(\|x\|_{L^{p}}= (\int _{J}\|x(t)\|_{X}^{p}\,dt )^{ \frac{1}{p}}\). Let \(C_{\beta}(J,X)=\{x :y(t)=t^{\beta}x(t),y\in C(J,X)\}\) equipped with the norm \(\|x\|_{C_{\beta}}=\sup \{t^{\beta}\|x(t)\|_{X}:t\in J\}\) and let \(L^{p}_{\beta}(J,X)=\{x :y(t)=t^{\beta}x(t),y\in L^{\beta}(J,X)\}\) equipped with the norm \(\|x\|_{L^{p}_{\beta}}= (\int _{J}t^{\beta}\|x(t)\|_{X}^{p}\,dt)^{\frac{1}{p}}:t\in J\}\). Obviously, the space \(C_{\beta}(J,X)\), \(L^{p}_{\beta}(J,X)\) is Banach spaces. For \(a\ge 0\), let \(C_{0}([a,+\infty ),X)=\{x\in C([a,+\infty ),X): \lim_{t\rightarrow + \infty }x(t)=0\}\). It is clear that \(C_{0}([a,+\infty ),X)\) is a Banach space equipped with the norm \(\Vert x\Vert _{0}=\sup_{a\le t< +\infty }\|x(t)\|\).

Definition 2.1

([4, 11, 14, 17])

The Riemann-Liouville fractional integral of order \(\beta \in (0,1)\) for a function \(f:\mathbb{R}_{+}\to X\) is defined by

$$\begin{aligned} _{0}I^{\beta}_{t}f(t)=\frac{1}{\Gamma (\beta )} \int ^{t}_{0}(t-s)^{ \beta -1}f(s)\,ds, \end{aligned}$$

where Γ is the gamma function.

Definition 2.2

([4, 11, 14, 17])

The Riemann-Liouville fractional derivative of order \(\beta \in (0,1)\) for a function \(f:\mathbb{R}_{+}\to X\) is defined by

$$\begin{aligned} _{0}^{R}D^{\beta}_{t}f(t)= \frac{1}{\Gamma (1-\beta )}\frac{d}{dt} \int ^{t}_{0}(t-s)^{-\beta}f(s)\,ds. \end{aligned}$$

Definition 2.3

([4, 11, 14, 17])

The Caputo fractional derivative of order \(\beta \in (0,1)\) for a function \(f:\mathbb{R}_{+}\to X\) is defined by

$$ _{0}^{C}D^{\beta}_{t}f(t)= {_{0}^{R}D^{\beta}_{t}} \bigl(f(t)-f(0) \bigr). $$

Lemma 2.4

([2], Corollary 5.3)

Let u, ϕ, ψ and k be nonnegative continuous functions on \([a, b]\). Let ω be a continuous, nonnegative and nondecreasing function on \([0,+\infty )\), with \(\omega (r)>0\) for \(r>0\), and let \(\Phi (t)=\max_{a\le s\le t}\phi (s)\) and \(\Psi (t)=\max_{a\le s\le t}\psi (s)\). Assume that

$$ u(t)\le \phi (t)+\psi (t) \int _{a}^{t}k(s)\omega \bigl(u(s)\bigr) \mathrm{\,d}s, \quad \forall t\in [a,b]. $$
(2.1)

Then

$$ u(t)\le W^{-1} \biggl[ W\bigl(\Phi (t)\bigr)+\Psi (t) \int _{a}^{t}k(s)\mathrm{\,d}s \biggr] , \quad \forall t\in [a,T), $$
(2.2)

where \(W(u)=\int _{u_{0}}^{u}\frac{1}{\omega (\tau )}\,d\tau \), \(u_{0}, u>0\), \(W^{-1}\) is the inverse of W and

$$ T=\sup \biggl\{ \tau \in [a,b]:W\bigl(\Phi (t)\bigr)+\Psi (t) \int _{a}^{t}k(s) \mathrm {\,d}s\in \mathrm {Dom}\bigl(W^{-1}\bigr), a\le t\le \tau \biggr\} . $$

Lemma 2.5

([28])

Let \(1\le p<\infty \), φ and ϕ be continuous and nonnegative functions on \([0,\infty )\), function \(l\in L_{Loc}^{p}([0,+\infty ),\mathbb{R}_{+})\), and u be a continuous and nonnegative function with

$$ u(t)\le M(t)+\phi (t) \biggl( \int _{0}^{t}l^{p}(s)u^{p}(s) \mathrm {\,d}s \biggr) ^{\frac{1}{p}}, \quad \forall t\in [0,\infty ) . $$
(2.3)

Then

$$ u(t)\le M(t)+\phi (t) \biggl\{ M(t)\exp \biggl( \int _{0}^{t}L(s) \mathrm{\,d}s \biggr) \biggr\} ^{\frac{1}{p}}, \quad \forall t\in [0, \infty ), $$
(2.4)

where \(M(t)=\int _{0}^{t}2^{p-1}l^{p}(s)\varphi ^{p}(s)\mathrm{\,d}s\) and \(L(t)=2^{p-1}l^{p}(t)\phi ^{p}(t)\).

Lemma 2.6

([28])

Let \(0<\beta <1\), \(p>\frac{1}{\beta }\), \(q=\frac{p}{p-1}\), \(\rho \in L^{p}_{1- \beta}([0,1],\mathbb{R})\). Then

$$ \biggl\vert \int _{0}^{t}\biggl(\frac{t}{t-s} \biggr)^{1-\beta }\rho (s)\,ds \biggr\vert \le \frac{2^{\frac{1}{q}}t^{\beta -\frac{1}{p}}}{(q\beta -q+1)^{\frac{1}{q}}} \biggl( \int _{0}^{t}s^{p(1-\beta )} \bigl\vert \rho (s) \bigr\vert ^{p}\,ds \biggr) ^{ \frac{1}{p}}, \quad \forall t\in [0,1]. $$
(2.5)

Lemma 2.7

([29])

Let \(0<\beta <1\), \(p>\frac{1}{\beta }\), \(q=\frac{p}{p-1}\), \(\rho \in L^{p}_{1- \beta}([0,1],\mathbb{R})\). Then

$$ \biggl\vert \int _{0}^{t} \biggl( \frac{t}{t-s} \biggr) ^{1-\beta}\rho (s) \mathrm{\,d}s \biggr\vert \le \frac{2^{\frac{1}{q}}t^{\beta -1+\frac{1}{q}}}{(q\beta -q+1)^{\frac{1}{q}}} \biggl( \int _{0}^{t}s^{p(1-\beta )} \bigl\vert \rho (s) \bigr\vert ^{p}\mathrm{\,d}s \biggr) ^{ \frac{1}{p}}, \quad \forall t\in [0,1], $$
(2.6)

and if \(0< t_{1}\le t_{2}\le 1\), then

$$ \begin{aligned} & \biggl\vert \int _{0}^{t_{2}} \biggl( \frac{t_{2}}{t_{2}-s} \biggr) ^{1- \beta}\rho (s)\mathrm{\,d}s- \int _{0}^{t_{1}} \biggl( \frac{t_{1}}{t_{1}-s} \biggr) ^{1-\beta}\rho (s)\mathrm{\,d}s \biggr\vert \\ &\quad \le \frac{2^{\frac{1}{q}}(t_{2}-t_{1})^{\beta -1+\frac{1}{q}}}{(qq -q+1)^{\frac{1}{q}}} \biggl( \int _{t_{1}}^{t_{2}} s^{p(1-\beta )} \bigl\vert \rho (s) \bigr\vert ^{p}\mathrm{\,d}s \biggr) ^{\frac{1}{p}} \\ &\qquad + \biggl( \frac{(t_{2}-t_{1})^{1+q(\beta -1)}+t_{1}^{1+q(\beta -1)}-t_{2}^{1+q(\beta -1)}}{qq -q+1} \biggr) ^{\frac{1}{q}}\times \biggl( \int _{0}^{t_{1}}s^{p(1-\beta )} \bigl\vert \rho (s) \bigr\vert ^{p}\mathrm{\,d}s \biggr) ^{\frac{1}{p}}.\end{aligned} $$

Lemma 2.8

([31])

Let \(0<\beta <1\), \(p>\frac{1}{\beta }\), \(\rho \in L^{p}_{Loc,1-\beta}([1,+ \infty ),\mathbb{R})\) and

$$ \begin{aligned} y(t)= \int _{1}^{t}(t-s)^{\beta -1}\rho (s)\,ds. \end{aligned} $$

Then \(y\in C([1,+\infty ),\mathbb{R})\).

Lemma 2.9

([31])

Let \(0<\beta <1\), \(p>\frac{1}{\beta }\), \(\rho \in L^{p}_{1-\beta }([0,1], \mathbb{R})\) and

$$ \begin{aligned} y(t)= \int _{0}^{1}(t-s)^{\beta -1}\rho (s)\,ds. \end{aligned} $$

Then \(y\in C([1,+\infty ),\mathbb{R})\).

3 Nonlinear weakly singular integral inequalities

In this section, we study some nonlinear weakly singular integral inequalities that will be useful to prove the main results.

Lemma 3.1

Let \(a, b\ge 0\), \(1>\alpha \ge \delta \ge 0\) and \(0<\beta <1\), \(p>\max \{\frac{1}{\beta},\frac{1}{1-\alpha +\delta }\}\) and \(q=\frac{p}{p-1}\). Let \(f:(0,T)\times X\rightarrow X\) be a continuous function, and there exists a function \(l\in C((0,T),\mathbb{R}_{+})\cap L^{p}_{Loc,\alpha -\delta}([0,T), \mathbb{R}_{+})\) and a nondecreasing function \(\omega \in C([0,+\infty ),\mathbb{R}_{+})\) such that

$$ \begin{aligned} \bigl\Vert f(t,x) \bigr\Vert \le l(t)\omega \bigl(t^{\alpha } \Vert x \Vert \bigr),\quad \forall (t,x)\in (0,T) \times X. \end{aligned} $$

Let \(u\in C_{\alpha}([0,T),\mathbb{R}_{+})\) with

$$ \bigl\Vert u(t) \bigr\Vert \le at^{-\alpha }+bt^{-\delta } \int _{0}^{t}(t-s)^{\beta -1} \bigl\Vert f\bigl(s,u(s)\bigr) \bigr\Vert \mathrm{\,d}s,\quad \forall t\in (0,T). $$
(3.1)

Then

$$\begin{aligned} \begin{aligned} \bigl\Vert u(t) \bigr\Vert \le t^{-\alpha } \biggl\{ W^{-1} \biggl[ W\bigl(2^{p-1}a^{p} \bigr)+2^{p-1}c^{p}t^{p \beta -1} \int _{0}^{t}s^{p(\alpha -\delta )}l^{p}(s) \mathrm{\,d}s \biggr] \biggr\} ^{\frac{1}{p}},\quad \forall t\in (0,T_{1}), \end{aligned} \end{aligned}$$
(3.2)

where \(c= \frac{b\Gamma ^{\frac{1}{q}}(q(\beta -1)+1)\Gamma ^{\frac{1}{q}}(q(\delta -\alpha )+1)}{\Gamma ^{\frac{1}{q}}(q(\beta -1)+q(\delta -\alpha )+2)}\), \(W(u)=\int _{u_{0}}^{u}\frac{1}{\omega ^{p}(\tau ^{1/p})}\,d\tau \), \(u_{0}, u>0\) and

$$ \begin{aligned} T_{1}&= \sup \biggl\{ \tau \in (0,T):W \bigl(2^{p-1}a^{p}\bigr)+2^{p-1}c^{p}t^{p \beta -1} \\ &\quad \times \int _{0}^{t}s^{p(\alpha -\delta )}l^{p}(s) \mathrm{\,d}s\in \mathrm {Dom}\bigl(W^{-1}\bigr), 0< t\le \tau \biggr\} . \end{aligned} $$

Proof

For \(t\in (0,T)\), let \(v(t)=t^{\alpha }u(t)\). We get

$$ \bigl\Vert v(t) \bigr\Vert \le a+bt^{\alpha -\delta } \int _{0}^{t}(t-s)^{\beta -1} \bigl\Vert f\bigl(s,s^{- \alpha }v(s)\bigr) \bigr\Vert \mathrm{\,d}s. $$
(3.3)

Using the Hölder inequality, we obtain

$$\begin{aligned} \begin{aligned} \bigl\Vert v(t) \bigr\Vert &\le a+bt^{\alpha -\delta } \int _{0}^{t}(t-s)^{\beta -1}l(s) \omega \bigl( \bigl\Vert v(s) \bigr\Vert \bigr)\mathrm{\,d}s \\ &= a+bt^{\alpha -\delta } \int _{0}^{t}(t-s)^{\beta -1}s^{\delta - \alpha }s^{\alpha -\delta }l(s) \omega \bigl( \bigl\Vert v(s) \bigr\Vert \bigr)\mathrm{\,d}sr \\ &\le a+bt^{\alpha -\delta } \biggl( \int _{0}^{t}(t-s)^{q(\beta -1)+1-1}s^{q( \delta -\alpha )} \mathrm{\,d}s \biggr) ^{\frac{1}{q}}\times \biggl( \int _{0}^{t}s^{p(\alpha -\delta )}l^{p}(s) \omega ^{p}\bigl( \bigl\Vert v(s) \bigr\Vert \bigr) \mathrm{\,d}s \biggr) ^{\frac{1}{p}} \\ &\le a+ct^{q -\frac{1}{p}} \biggl( \int _{0}^{t}s^{p(\alpha -\delta )}l^{p}(s) \omega ^{p}\bigl( \bigl\Vert v(s) \bigr\Vert \bigr)\mathrm{\,d}s \biggr) ^{\frac{1}{p}}. \end{aligned} \end{aligned}$$
(3.4)

Then

$$ \bigl\Vert v(t) \bigr\Vert ^{p}\le 2^{p-1}a^{p}+2^{p-1}c^{p}t^{p\beta -1} \int _{0}^{t}s^{p( \alpha -\delta )}l^{p}(s) \omega ^{p}\bigl( \bigl\Vert v(s) \bigr\Vert \bigr)\mathrm{\,d}s. $$
(3.5)

Let \(\mu (t)=\|v(t)\|^{p}\). Then

$$ \mu (t)\le 2^{p-1}a^{p}+2^{p-1}c^{p}t^{p\beta -1} \int _{0}^{t}s^{p( \alpha -\delta )}l^{p}(s) \omega ^{p}\bigl(\mu ^{\frac{1}{p}}(s)\bigr)\mathrm{\,d}s. $$
(3.6)

Using Lemma 2.4, we obtain

$$ \mu (t)\le W^{-1} \biggl[ W\bigl(2^{p-1}a^{p} \bigr)+2^{p-1}c^{p}t^{p\beta -1} \int _{0}^{t}s^{p(\alpha -\delta )}l^{p}(s) \mathrm{\,d}s \biggr] , $$
(3.7)

and

$$ \bigl\Vert u(t) \bigr\Vert \le t^{-\alpha } \biggl\{ W^{-1} \biggl[ W\bigl(2^{p-1}a^{p} \bigr)+2^{p-1}c^{p}t^{p \beta -1} \int _{0}^{t}s^{p(\alpha -\delta )}l^{p}(s) \mathrm{\,d}s \biggr] \biggr\} ^{\frac{1}{p}}. $$
(3.8)

Thus, we complete the proof. □

The following conclusion is a consequence of Lemma 3.1 when \(\alpha =1-\beta \) and \(\delta =0\).

Corollary 3.2

Let \(a, b\ge 0\) and \(0<\beta <1\), \(p>\frac{1}{\beta}\) and \(q=\frac{p}{p-1}\). Let \(f:(0,T)\times X\rightarrow X\) be a continuous function, and there exists a function \(l\in C((0,T),\mathbb{R}_{+}))\cap L^{p}_{Loc,1-\beta}([0,T), \mathbb{R}_{+})\) and a nondecreasing function \(\omega \in C([0,+\infty ),\mathbb{R}_{+})\) such that

$$ \begin{aligned} \bigl\Vert f(t,x) \bigr\Vert \le l(t)\omega \bigl(t^{1-\beta} \Vert x \Vert \bigr),\quad \forall (t,x)\in (0,T) \times X. \end{aligned} $$

Let \(t^{1-\beta}u(t)\) be a continuous, nonnegative function on \([0, T)\) with

$$ \bigl\Vert u(t) \bigr\Vert \le at^{\beta -1}+b \int _{0}^{t}(t-s)^{\beta -1} \bigl\Vert f\bigl(s,u(s)\bigr) \bigr\Vert \mathrm{\,d}s, \quad \forall t\in (0,T). $$
(3.9)

Then

$$ \begin{aligned} &\bigl\Vert u(t) \bigr\Vert \le t^{\beta -1} \biggl\{ W^{-1} \biggl[ W\bigl(2^{p-1}a^{p} \bigr)+2^{p-1}c^{p}t^{p \beta -1} \times \int _{0}^{t}s^{p(1- \beta )}l^{p}(s) \mathrm{\,d}s \biggr] \biggr\} ^{\frac{1}{p}}, \\ &\quad \forall t\in (0,T_{1}), \end{aligned} $$
(3.10)

where \(c= \frac{b\Gamma ^{\frac{2}{q}}(q(\beta -1)+1)}{\Gamma ^{\frac{1}{q}}(2q(\beta -1)+2)}\), \(W(u)=\int _{u_{0}}^{u}\frac{1}{\omega ^{p}(\tau ^{1/p})}\,d\tau \), \(u_{0}, u>0\) and

$$ \begin{aligned} T_{1}&= \sup \biggl\{ \tau \in (0,T):W \bigl(2^{p-1}a^{p}\bigr)+2^{p-1}c^{p}t^{p \beta -1} \\ &\quad \times \int _{0}^{t}s^{p(1-\beta )}l^{p}(s) \mathrm{\,d}s\in \mathrm {Dom}\bigl(W^{-1}\bigr), 0< t\le \tau \biggr\} . \end{aligned} $$

We can also obtain the following results.

Lemma 3.3

Let \(a, b\ge 0\), \(1>\alpha \ge \delta \ge 0\) and \(0<\beta <1\), \(p>\max \{\frac{1}{\beta},\frac{1}{1-\alpha +\delta }\}\) and \(q=\frac{p}{p-1}\). Let l be a nondecreasing continuous function on \((0,+\infty )\) with \(l\in L^{p}_{Loc,-\delta}([0,+\infty ),\mathbb{R}_{+}))\). Let \(t^{\alpha }u(t)\) be a continuous, nonnegative function on \([0,+\infty )\) with

$$ \bigl\Vert u(t) \bigr\Vert \le at^{-\alpha }+bt^{-\delta } \int _{0}^{t}(t-s)^{\beta -1}l(s) \bigl\Vert u(s) \bigr\Vert \mathrm{\,d}s, \quad \forall t\in (0,+\infty ). $$
(3.11)

Then

$$ \bigl\Vert u(t) \bigr\Vert \le at^{-\alpha }+ct^{q -\alpha -\frac{1}{p}} \biggl\{ M(t) \exp \biggl( \int _{0}^{t}L(s)\mathrm{\,d}s \biggr) \biggr\} ^{ \frac{1}{p}}, \quad \forall t\in (0,+\infty ), $$
(3.12)

where \(M(t)=2^{p-1}a^{p}\int _{0}^{t}s^{-p\delta }l^{p}(s)\mathrm{\,d}s\), \(L(t)=2^{p-1}c^{p}t^{pq -p\delta -1}l^{p}(t)\), and c is defined as in Lemma 3.1.

Proof

Let \(v(t)=t^{\alpha }u(t)\). Using (3.11) and the same procedure as in (3.4), we get

$$ \bigl\Vert v(t) \bigr\Vert \le a+bt^{\alpha -\delta } \int _{0}^{t}(t-s)^{\beta -1}l(s)s^{- \alpha } \bigl\Vert v(s) \bigr\Vert \mathrm{\,d}s, $$
(3.13)

and

$$ \bigl\Vert v(t) \bigr\Vert \le a+ct^{q -\frac{1}{p}} \biggl( \int _{0}^{t}s^{-p\delta }l^{p}(s) \bigl\Vert v(s) \bigr\Vert ^{p}\mathrm{\,d}s \biggr) ^{\frac{1}{p}}. $$
(3.14)

It follows from Lemma 2.5 that

$$ \bigl\Vert v(t) \bigr\Vert \le a+ct^{q -\frac{1}{p}} \biggl\{ M(t)\exp \biggl( \int _{0}^{t}L(s) \mathrm{\,d}s \biggr) \biggr\} ^{\frac{1}{p}}, \quad \forall t\in [0,+ \infty ), $$
(3.15)

which completes the proof. □

Lemma 3.4

Let \(a, b\ge 0\), \(1>\alpha \ge \delta \ge 0\), \(0<\gamma <1\) and \(0<\beta <1\), \(p>\max \{\frac{1}{\beta},\frac{1}{1-\alpha +\delta }\}\) and \(q=\frac{p}{p-1}\). Let l be a nonnegative nondecreasing continuous function on \((0,+\infty )\) with \(l\in L^{p}_{Loc,(1-\gamma )\alpha -\delta}[0,+\infty )\). Let \(t^{\alpha }u(t)\) be a continuous, nonnegative function on \([0,+\infty )\) with

$$ \bigl\Vert u(t) \bigr\Vert \le at^{-\alpha }+bt^{-\delta } \int _{0}^{t}(t-s)^{\beta -1}l(s) \bigl\Vert u(s) \bigr\Vert ^{\gamma }\mathrm{\,d}s, \quad \forall t\in (0,+ \infty ). $$
(3.16)

Then

$$ \begin{aligned} \bigl\Vert u(t) \bigr\Vert \le t^{-\alpha } \biggl[ 2^{(p-1)(1-\gamma )}a^{p(1-\gamma )}+(1- \gamma )2^{p-1}c^{p}t^{p\beta -1} \times \int _{0}^{t}s^{p(1- \gamma )\alpha -p\delta }l^{p}(s) \mathrm{\,d}s \biggr] ^{ \frac{1}{p(1-\gamma )}}, \end{aligned} $$
(3.17)

for all \(t\in (0,+\infty )\), where c is defined as in Lemma 3.1.

Proof

Let \(v(t)=t^{\alpha }u(t)\). Using (3.16) and the same procedure as in (3.4), we get

$$ \bigl\Vert v(t) \bigr\Vert \le a+bt^{\alpha -\delta } \int _{0}^{t}(t-s)^{\beta -1}l(s)s^{- \gamma \alpha } \bigl\Vert v(s) \bigr\Vert ^{\gamma }\mathrm{\,d}s, $$
(3.18)

and

$$ \bigl\Vert v(t) \bigr\Vert \le a+ct^{q -\frac{1}{p}} \biggl( \int _{0}^{t}s^{p(1-\gamma ) \alpha -p\delta }l^{p}(s) \bigl\Vert v(s) \bigr\Vert ^{p\gamma }\mathrm{\,d}s \biggr) ^{ \frac{1}{p}}. $$
(3.19)

Then from (3.19), we know

$$ \bigl\Vert v(t) \bigr\Vert ^{p} \le 2^{p-1}a^{p}+2^{p-1}c^{p}t^{p\beta -1} \int _{0}^{t}s^{p(1- \gamma )\alpha -p\delta }l^{p}(s) \bigl\Vert v(s) \bigr\Vert ^{p\gamma }\mathrm{\,d}s. $$
(3.20)

Using Lemma 2.4, we get

$$ \bigl\Vert v(t) \bigr\Vert ^{p} \le \biggl[ 2^{(p-1)(1-\gamma )}a^{p(1-\gamma )}+(1- \gamma )2^{p-1}c^{p}t^{p\beta -1} \int _{0}^{t}s^{p(1-\gamma )\alpha -p \delta }l^{p}(s) \mathrm{\,d}s \biggr] ^{\frac{1}{1-\gamma }}. $$
(3.21)

Thus, we complete the proof. □

4 Global existence

In this section, we present the existence and uniqueness results for problem (1.1).

Definition 4.1

A function \(x\in C_{1-\beta}((0,T],X)\) is called a mild solution of problem (1.1) if it satisfies the following fractional integral equation

$$\begin{aligned} x(t)=t^{\beta -1}S_{\beta}(t)x_{0}+ \int _{0}^{t}(t-s)^{\beta -1}S_{ \beta}(t-s)f \bigl(s,x(s)\bigr)\,ds, \quad \forall t\in [0,T], \end{aligned}$$

where

$$\begin{aligned} &S_{\beta}(t)=\beta \int _{0}^{\infty}\theta \xi _{\beta}(\theta )S\bigl(t^{ \beta}\theta \bigr)\,d\theta , \qquad \xi _{\beta}( \theta )=\frac{1}{\beta}\theta ^{-1-\frac{1}{\beta}} \varpi _{\beta} \bigl(\theta ^{-\frac{1}{\beta}}\bigr),\\ &\varpi _{\beta}(\theta )=\frac{1}{\pi}\sum _{n=1}^{\infty}(-1)^{n-1} \theta ^{-n\beta -1}\frac{\Gamma (n\beta +1)}{n!}\sin (n\pi q),\quad \theta \in (0,\infty ),\\ &\xi _{\beta}(\theta )\geq 0,\quad \theta \in (0,\infty ), \int _{0}^{ \infty}\xi _{\beta}(\theta )\,d \theta =1. \end{aligned}$$

Lemma 4.2

([16, 27])

If the \(C_{0}\)-semigroup \(T(t)(t\geq 0)\) is uniformly bounded, then the operator \(S_{\beta}(t)\) has the following properties:

(i)

$$\begin{aligned} \bigl\Vert S_{\beta}(t)x \bigr\Vert \leq \frac{M}{\Gamma (q)} \Vert x \Vert ,\quad \forall x\in X,t \geq 0, \end{aligned}$$

where \(\sup_{t\in [0,\infty )}\|T(t)\|\leq M<\infty \);

(ii) \(S_{\beta}(t)(t\geq 0)\) is strongly continuous;

(iii) \(S_{\beta}(t)(t> 0)\) is compact if \(S(t)(t> 0)\) is compact.

Theorem 4.3

Let \(p>\frac{1}{\beta}\) and \(q=\frac{p}{p-1}\). Suppose \(f: (0,T]\times X\rightarrow X\) is a continuous function, and there exists a function \(l\in C_{1-\beta}((0,T],\mathbb{R}_{+})\cap L^{p}_{1-\beta}([0,T], \mathbb{R}_{+})\) and a nondecreasing function \(\omega \in C([0,+\infty ),\mathbb{R}_{+})\) such that

$$ \begin{aligned} \bigl\Vert f(t, x) \bigr\Vert \le l(t)\omega \bigl(t^{1-\beta} \Vert x \Vert \bigr),\quad \forall (t,x)\in (0,T] \times X. \end{aligned} $$

Then problem (1.1) has at least one mild solution in \(C_{1-\beta}((0,T],X)\) provided that

$$ \begin{aligned} W\bigl(2^{p-1} \Vert x_{0} \Vert ^{p}\bigr)+2^{p-1}c^{p}t^{p\beta -1} \int _{0}^{t}s^{p(1- \beta )}l^{p}(s) \mathrm{\,d}s\in \mathrm {Dom}\bigl(W^{-1}\bigr),\quad \forall t \in (0,T], \end{aligned} $$

where \(c= \frac{M\Gamma ^{\frac{2}{q}}(q(\beta -1)+1)}{\Gamma (q )\Gamma ^{\frac{1}{q}}(2q(\beta -1)+2)}\), \(W(u)=\int _{u_{0}}^{u}\frac{1}{\omega ^{p}(\tau ^{1/p})}\,d\tau \), \(u_{0}, u>0\).

Proof

Define the operator \(G: C_{1-\beta}((0,T],X)\rightarrow C_{1-\beta}((0,T],X)\) by

$$ Gx(t)=t^{\beta -1}S_{\beta}(t)x_{0}+ \int _{0}^{t}(t-s)^{\beta -1}S_{ \beta}(t-s)f \bigl(s,x(s)\bigr)\,ds. $$
(4.1)

Step 1. We will prove that G is compact. To see this, let \(\Omega \in C_{1-\beta}((0,T],X)\) be bounded and \(\Vert x\Vert _{1-\beta}\le R\) for each \(x\in \Omega \) with some \(R>0\). We will show that \(t^{1-\beta}G(\Omega )\) is uniformly bounded and equicontinuous on \([0, T]\). First, we prove that \(t^{1-\beta}G(\Omega )\) is uniformly bounded. For \(x\in \Omega \), we have

$$ \begin{aligned} \bigl\Vert t^{1-\beta}Gx(t) \bigr\Vert &\le \frac{M}{\Gamma (q)} \Vert x_{0} \Vert + \frac{Mt^{1-\beta }}{\Gamma (q )} \biggl\Vert \int _{0}^{t}(t-s)^{\beta -1}f \bigl(s,x(s)\bigr) \mathrm {\,d}s \biggr\Vert \\ &\le \frac{M}{\Gamma (q)} \Vert x_{0} \Vert + \frac{M}{\Gamma (q )} \biggl( \int _{0}^{t} \biggl( \frac{1}{t-s}+ \frac{1}{s} \biggr) ^{q(1-\beta )} \mathrm {\,d}s \biggr) ^{\frac{1}{q}} \\ &\quad \times \biggl( \int _{0}^{t}s^{p(1-\beta )}l^{p}(s) \omega ^{p}\bigl(s^{1- \beta} \bigl\Vert x(s) \bigr\Vert \bigr)\mathrm {\,d}s \biggr) ^{\frac{1}{p}} \\ &\le \frac{M}{\Gamma (q)} \Vert x_{0} \Vert + \frac{2^{\frac{1}{q}M}\omega (R)t^{\beta -1+\frac{1}{q}}}{\Gamma (q )(q(\beta -1)+1)^{\frac{1}{q}}} \biggl( \int _{0}^{t}s^{p(1-\beta )}l^{p}(s) \mathrm {\,d}s \biggr) ^{ \frac{1}{p}} \\ &\le \frac{M}{\Gamma (q)} \Vert x_{0} \Vert + \frac{2^{\frac{1}{q}M}\omega (R)T^{\beta -1+\frac{1}{q}}}{\Gamma (q )(q(\beta -1)+1)^{\frac{1}{q}}} \biggl( \int _{0}^{T}s^{p(1-\beta )}l^{p}(s) \mathrm {\,d}s \biggr) ^{ \frac{1}{p}}.\end{aligned} $$

This proves that the set \(t^{1-\beta}G(\Omega )\) is uniformly bounded. Second, we prove that \(t^{1-\beta}G(\Omega )\) is an equicontinuous family. For any \(x\in \Omega \), let \(0\le t_{1}< t_{2}\le T\), we get

$$ \begin{aligned} & \bigl\Vert t_{2}^{1-\beta}Gx(t_{2})-t_{1}^{1-\beta}Gx(t_{1}) \bigr\Vert \\ &\quad =\frac{M}{\Gamma (q )}\biggl\Vert \int _{0}^{t_{2}} \biggl( \frac{t_{2}}{t_{2}-s} \biggr) ^{1-\beta}f\bigl(s,x(s)\bigr)\mathrm{\,d}s - \int _{0}^{t_{1}} \biggl( \frac{t_{1}}{t_{1}-s} \biggr) ^{1- \beta}f\bigl(s,x(s)\bigr)\mathrm{\,d}s\biggr\Vert \\ &\quad \le \frac{M}{\Gamma (q )} \biggl\Vert \int _{0}^{t_{1}} \biggl( \biggl( \frac{t_{2}}{t_{2}-s} \biggr) ^{1-\beta}- \biggl( \frac{t_{1}}{t_{1}-s} \biggr) ^{1-\beta} \biggr)f\bigl(s,x(s)\bigr)\mathrm{\,d}s \biggr\Vert \\ &\qquad +\frac{M}{\Gamma (q )} \biggl\Vert \int _{t_{1}}^{t_{2}} \biggl( \frac{t_{2}}{t_{2}-s} \biggr) ^{1-\beta}f\bigl(s,x(s)\bigr)\mathrm{\,d}s \biggr\Vert .\end{aligned} $$
(4.2)

Since \(\|f(t, x(t))\|\le l(t)\omega (t^{1-\beta}\|x(t)\|)\le l(t)\omega (R)\) and \(l\in C_{1-\beta}((0,T],\mathbb{R}_{+})\cap L^{p}_{1-\beta}([0,T], \mathbb{R}_{+})\). By Lemma 2.7, we know that the right-hand side of (4.2) tends to zero as \(t_{2}\rightarrow t_{1}\). Therefore, \(t^{1-\beta}G(\Omega )\) is an equicontinuous family. From Lemma 4.2, it follows that \(t^{1-\beta}G(\Omega )\) is relatively compact for each \(t\in [0,T]\).

Step 2. We now show that G is continuous. Let \(x_{n}\rightarrow x\) in \(C_{1-\beta}((0,T],X)\). Then there exists \(r>0\) such that \(\Vert x_{n}\Vert _{1-\beta}\le r\) and \(\Vert x\Vert _{1-\beta}\le r\). For every \(s\in (0, T]\), we have

$$ \begin{aligned} f\bigl(s,x_{n}(s)\bigr)\rightarrow f \bigl(s,x(s)\bigr) \quad \text{as } n \rightarrow +\infty \end{aligned} $$

and

$$ \biggl( \frac{t}{t-s} \biggr) ^{1-\beta} \bigl\Vert f\bigl(s,x_{n}(s)\bigr)-f\bigl(s,x(s)\bigr) \bigr\Vert \le 2\omega (r) \biggl( \frac{t}{t-s} \biggr) ^{1-\beta}l(s). $$
(4.3)

Since \(l\in C_{1-\beta}((0,T],\mathbb{R})\cap L^{p}_{1-\beta}([0,T], \mathbb{R})\), using (2.6) in Lemma 2.7, we know that the function

$$ \begin{aligned} s\rightarrow 2\omega (r) \biggl( \frac{t}{t-s} \biggr) ^{1-\beta}l(s) \end{aligned} $$

is integrable for \(s\in (0,t)\). Then we deduce that

$$ \begin{aligned} \biggl\Vert \int _{0}^{t} \biggl( \frac{t}{t-s} \biggr) ^{1-\beta}\bigl[f\bigl(s, x_{n}(s)\bigr)-f\bigl(s, x(s)\bigr)\bigr]\mathrm{\,d}s \biggr\Vert \rightarrow 0 \quad \text{as } n \rightarrow +\infty . \end{aligned} $$

Therefore, \(t^{1-\beta}Gx_{n}(t)\rightarrow t^{1-\beta}Gx(t)\) pointwise on [0, T] as \(n\rightarrow +\infty \). With the fact that G is compact, we get that \(G: C_{1-\beta}((0,T],X)\rightarrow C_{1-\beta}((0,T],X)\) is continuous.

Step 3. We shall prove that the set \(\Lambda =\{x \in C_{1-\beta}((0,T],X): x=\lambda Gx\) for some \(0<\lambda <1\}\) is bounded. Indeed, for \(x\in \Lambda \), one has

$$ \begin{aligned} \bigl\Vert x(t) \bigr\Vert & \le \frac{M}{\Gamma (q )}t^{\beta -1} \Vert x_{0} \Vert + \frac{M}{\Gamma (q )} \int _{0}^{t}(t-s)^{\beta -1} \bigl\Vert f\bigl(s,x(s)\bigr) \bigr\Vert \mathrm{\,d}s \\ &\le \frac{M}{\Gamma (q )}t^{\beta -1} \Vert x_{0} \Vert + \frac{M}{\Gamma (q )} \int _{0}^{t}(t-s)^{\beta -1}l(s)\omega \bigl(s^{1- \beta} \bigl\Vert x(s) \bigr\Vert \bigr)\mathrm{\,d}s. \end{aligned} $$

Using Corollary 3.2, we obtain

$$ \begin{aligned}& \bigl\Vert x(t) \bigr\Vert \le \frac{M}{\Gamma (q )}t^{\beta -1} \biggl\{ W^{-1} \biggl[ W \bigl(2^{p-1} \Vert x_{0} \Vert ^{p}\bigr) +2^{p-1}c^{p}t^{p \beta -1} \int _{0}^{t}s^{p(1-\beta )}l^{p}(s) \mathrm{\,d}s \biggr] \biggr\} ^{\frac{1}{p}}, \\ &\quad \forall t\in (0,T], \end{aligned} $$
(4.4)

and

$$ \Vert x \Vert _{1-\beta}\le \frac{M}{\Gamma (q )} \biggl\{ W^{-1} \biggl[ W\bigl(2^{p-1} \Vert x_{0} \Vert ^{p}\bigr)+2^{p-1}c^{p}T^{p\beta -1} \int _{0}^{T}s^{p(1- \beta )}l^{p}(s) \mathrm{\,d}s \biggr] \biggr\} ^{\frac{1}{p}}.$$
(4.5)

Then the set Λ is bounded.

Finally, by applying the fixed point theorem in Theorem 6.5.4 in [7], the operator G has a fixed point \(x\in C_{1-\beta}((0,T],X)\), which is the mild solution of problem (1.1). □

Now we investigate the existence of global mild solutions of problem (1.1).

Theorem 4.4

Let \(p>\frac{1}{\beta}\) and \(q=\frac{p}{p-1}\). Suppose \(f: (0,+\infty )\times X\rightarrow X\) is a continuous function, and there exists a nonnegative function \(l\in C((0,+\infty ),\mathbb{R}_{+})\cap L^{p}_{Loc,1-\beta}([0,+ \infty ),\mathbb{R}_{+})\) and a nonnegative nondecreasing function \(\omega \in C([0,+\infty ),\mathbb{R}_{+})\) with \(\lim_{t\rightarrow +\infty }\frac{t}{\omega (t)}=K (0< K\le +\infty )\) such that

$$ \begin{aligned} \bigl\Vert f(t, x) \bigr\Vert \le l(t)\omega \bigl(t^{1-\beta} \Vert x \Vert \bigr),\quad \forall (t,x)\in (0,+ \infty )\times X. \end{aligned} $$

Then problem (1.1) has at least one global mild solution in \(C_{1-\beta}((0,+\infty ),X)\).

Proof

Letting \(\mu (t)=\omega ^{p}(t^{\frac{1}{p}})\), we know

$$ \lim_{t\rightarrow +\infty }\frac{t}{\mu (t)}=\lim _{t\rightarrow + \infty }\frac{t}{\omega ^{p}(t^{\frac{1}{p}})}=K^{p}. $$
(4.6)

Since \(\int _{u_{0}}^{+\infty }\frac{1}{\tau }\,d\tau \) is divergent (\(u_{0}>0\)), from (4.6), we get that \(\int _{u_{0}}^{+\infty }\frac{1}{\mu (\tau )}\,d\tau \) is also divergent. Since \(W(u)=\int _{u_{0}}^{u}\frac{1}{\mu (\tau )}\,d\tau =\int _{u_{0}}^{u} \frac{1}{\omega ^{p}(\tau ^{1/p})}\,d\tau \), then we get \([0,+\infty )\in \mathrm {Dom}(W^{-1})\) and

$$ \begin{aligned} W\bigl(2^{p-1} \Vert x_{0} \Vert ^{p}\bigr)+2^{p-1}c^{p}t^{p\beta -1} \int _{0}^{t}s^{p(1- \beta )}l^{p}(s) \mathrm{\,d}s\in \mathrm {Dom}\bigl(W^{-1}\bigr),\quad \forall t \in [0,+\infty ), \end{aligned} $$

where c is defined as in Theorem 4.3.

For any \(T>0\), from Theorem 4.3, we know that problem (1.1) has at least one mild solution in \(C_{1-\beta}((0, T],X)\). Since T can be chosen arbitrarily large, then problem (1.1) has at least one global mild solution in \(C_{1-\beta}((0,+\infty ),X)\). Thus, we complete the proof of Theorem 4.4. □

From Theorem 4.4, we can immediately obtain the following conclusion.

Corollary 4.5

Let \(0<\gamma \le 1\), \(p>\frac{1}{\beta}\) and \(q=\frac{p}{p-1}\). Suppose \(f: (0,+\infty )\times X\rightarrow X\) is a continuous function, and there exist nonnegative functions \(l,k\in C_{1-\beta}((0,+\infty ),\mathbb{R}_{+})\cap L^{p}_{Loc,1- \beta}([0,+\infty ),\mathbb{R}_{+})\) such that

$$ \begin{aligned} \bigl\Vert f(t, x) \bigr\Vert \le l(t) \Vert x \Vert ^{\gamma }+k(t),\quad \forall (t,x)\in (0,+ \infty )\times X. \end{aligned} $$

Then problem (1.1) has at least one mild solution in \(C_{1-\beta}((0,+\infty ),X)\).

Proof

Since

$$ \begin{aligned} \bigl\Vert f(t,x) \bigr\Vert \le t^{\gamma (\beta -1)}l(t) \bigl(t^{1-\beta} \Vert x \Vert \bigr)^{\gamma }+k(t) \le \bigl( t^{\gamma (\beta -1)}l(t)+k(t) \bigr) \bigl( \bigl(t^{1- \beta} \Vert x \Vert \bigr)^{\gamma }+1 \bigr) , \end{aligned} $$
(4.7)

then we know

$$ \begin{aligned} l_{1}(t):=t^{1-\beta} \bigl( t^{\gamma (\beta -1)}l(t)+k(t) \bigr) =t^{(1- \gamma )(1-\beta )}l(t)+t^{1-\beta}k(t),\quad l_{1}\in L_{Loc}^{p}\bigl([0,+ \infty ),\mathbb{R}_{+}\bigr), \end{aligned} $$

and if \(0<\gamma <1\), then

$$ \lim_{t\rightarrow +\infty }\frac{t}{t^{\gamma }+1}=+\infty ; $$
(4.8)

if \(\gamma =1\), then

$$ \lim_{t\rightarrow +\infty }\frac{t}{t^{\gamma }+1}=1. $$
(4.9)

Applying Theorem 4.4, we know that problem (1.1) has at least one mild solution in \(C_{1-\beta }(0,+\infty )\). Thus, the proof is complete. □

Theorem 4.6

Let \(p>\frac{1}{\beta}\) and \(q=\frac{p}{p-1}\). If \(f: (0,+\infty )\times X\rightarrow \mathbb{R}\) is a continuous function with and \(f(\cdot ,0)\in L_{1-\beta ,Loc}^{p}[0,+\infty )\), and there exists a function \(l\in C_{1-\beta}((0,+\infty ),\mathbb{R}_{+})\cap L^{p}_{Loc,1- \beta}([0,+\infty ),\mathbb{R}_{+})\) such that

$$ \begin{aligned} \bigl\Vert f(t,x)-f(t,y) \bigr\Vert \le l(t) \Vert x-y \Vert ,\quad \forall x, y\in \mathbb{R},t \in (0,+\infty ). \end{aligned} $$

Then problem (1.1) has a unique mild solution on \((0,+\infty )\).

Proof

We know

$$ \begin{aligned} \bigl\Vert f(t,x) \bigr\Vert \le \bigl\Vert f(t,x)-f(t,0) \bigr\Vert + \bigl\Vert f(t,0) \bigr\Vert \le l(t) \Vert x \Vert + \bigl\Vert f(t,0) \bigr\Vert . \end{aligned} $$
(4.10)

Since \(f(\cdot ,0)\in L_{Loc,1-\beta}^{p}([0,+\infty ),X)\) and \(l\in C_{1-\beta}((0,+\infty ),\mathbb{R}_{+})\cap L^{p}_{Loc,1- \beta}([0,+\infty ),\mathbb{R}_{+})\), applying Corollary 4.5, we know that problem (1.1) has at least one mild solution in \(C_{1-\beta}((0,+\infty ),X)\). We suppose that \(x_{1}\), \(x_{2}\) are two global mild solutions of problem (1.1). Then

$$ \begin{aligned} \bigl\Vert x_{1}(t)-x_{2}(t) \bigr\Vert &= \biggl\Vert \frac{1}{\Gamma (q )} \int _{0}^{t}(t-s)^{ \beta -1}\bigl(f \bigl(s,x_{1}(s)\bigr)-f\bigl(s,x_{2}(s)\bigr)\bigr) \mathrm{\,d}s \biggr\Vert \\ &\le \frac{1}{\Gamma (q )} \int _{0}^{t}(t-s)^{\beta -1}l(s) \bigl\Vert x_{1}(s)-x_{2}(s) \bigr\Vert \mathrm{\,d}s. \end{aligned} $$

Using Theorem 3.3, we can get \(x_{1}(t)=x_{2}(t)\). Thus, the proof is complete. □

5 Global attractivity

Definition 5.1

The mild solution \(x\in C_{1-\beta }((0,+\infty ),X)\) of problem (1.2) is said to be globally attractive if \(\lim_{t\rightarrow +\infty }x(t)=0\).

The main result in the section reads as follows.

Theorem 5.2

Let \(0<\beta <\gamma <1\), \(0<\mu \le 1\), \(p>\frac{1}{\beta },l\), \(k\in C_{1-\beta}((0,+ \infty ),\mathbb{R}_{+})\cap L^{p}_{Loc,1-\beta}([0,+\infty ), \mathbb{R}_{+})\) be such that there exists a constant \(K>0\) such that

$$ t^{\gamma }l(t)\le K, \qquad t^{\gamma }k(t)\le K,\quad \forall t\in [1,+ \infty ). $$

Suppose \(f: (0,+\infty )\times X\rightarrow X\) is a continuous function and

$$ \bigl\Vert f(t, x) \bigr\Vert \le l(t) \Vert x \Vert ^{\mu }+k(t),\quad \forall (t,x)\in (0,+ \infty )\times X. $$
(5.1)

Then problem (1.2) has at least one globally attractive mild solution.

For convenience, we first obtain several lemmas under the assumptions in Theorem 5.2, which will be useful in the proof of the main theorem.

Lemma 5.3

Under the assumptions in Theorem 5.2, problem (1.2) has at least one mild solution \(x_{1}\in C_{1-\beta }((0,T],X)\) provided that \(T>1\) and \(M_{2}= \frac{KT^{\beta -\gamma }\Gamma (1-\gamma )}{\Gamma (1+\beta -\gamma )}<1\).

Proof

From (5.1), we have

$$ \bigl\Vert f(t,x) \bigr\Vert \le t^{\mu (\beta -1)}l(t) \bigl(t^{1-\beta } \Vert x \Vert \bigr)^{\mu }+k(t) \le \bigl( t^{\mu (\beta -1)}l(t)+k(t) \bigr) \bigl( \bigl(t^{1-\beta } \Vert x \Vert \bigr)^{\mu }+1 \bigr) . $$
(5.2)

Let \(\omega (t)=t^{\mu }+1\) and \(W(u)=\int _{u_{0}}^{u}\frac{1}{\omega ^{p}(t^{1/p})}\,dt=\int _{u_{0}}^{u} \frac{1}{(t^{\mu /p}+1)^{p}}\,dt\), where \(u_{0}, u>0\), then we get \([0,+\infty )\subset \mathrm{Dom}(W^{-1})\). Using Theorem 4.3, we know that problem (1.2) has at least one mild solution \(x_{1}\in C_{1-\beta }((0,T],X)\) that satisfies the following integral equation

$$ x_{1}(t)=t^{\beta -1}S_{\beta}(t)x_{0}+ \int _{0}^{t}(t-s)^{\beta -1}S_{ \beta}(t-s)f \bigl(s,x_{1}(s)\bigr)\,ds, \quad \forall t\in (0,T].$$
(5.3)

 □

Now let us define the operator \(F: C_{0}([T,+\infty ),X)\rightarrow C_{0}([T,+\infty ),X)\) by the following formula

$$ \begin{aligned} (Fx) (t)&=t^{\beta -1}S_{\beta}(t)x_{0}+ \int _{0}^{T}(t-s)^{\beta -1}S_{ \beta}(t-s)f \bigl(s,x_{1}(s)\bigr)\,ds\\ &\quad + \int _{T}^{t}(t-s)^{\beta -1}S_{\beta}(t-s)f \bigl(s,x_{1}(s)\bigr)\,ds, \end{aligned} $$
(5.4)

where \(x_{1}\in C_{1-\beta }((0,T],X)\) is a mild solution of problem (1.2) given in Lemma 5.3, and T is as in Lemma 5.3. For convenience, we denote \(R_{1}=\Vert x_{1}\Vert _{1-\beta }=\sup_{0< t\le T}t^{1-\beta }\|x_{1}(t) \|\).

Let \(R>1\) be sufficiently larger such that

$$ M_{1}+M_{2}\bigl(R^{\mu }+1 \bigr)\le R, $$
(5.5)

where \(M_{2}\) is as defined in Lemma 5.3, and \(M_{1}\) is defined in the following Lemma 5.4. Define a set U as follows

$$ U=\Bigl\{ x\in C_{0}\bigl([T,+\infty ),X\bigr): \Vert x \Vert _{0}=\sup_{T\le t< + \infty } \bigl\Vert x(t) \bigr\Vert \le R\Bigr\} . $$
(5.6)

It is easy to see that U is a non-empty, closed, convex and bounded subset of \(C_{0}([T,+\infty ), X)\).

Lemma 5.4

Under the assumptions in Theorem 5.2, F maps U into U.

Proof

For any \(x\in U\), we have

$$ \begin{aligned} \bigl\Vert (Fx) (t) \bigr\Vert & \le t^{\beta -1} \Vert x_{0} \Vert +\frac{M}{\Gamma (\beta )} \int _{0}^{T}(t-s)^{ \beta -1} \bigl\Vert f\bigl(s,x_{1}(s)\bigr) \bigr\Vert \,ds \\ &\quad +\frac{M}{\Gamma (\beta )} \int _{T}^{t}(t-s)^{\beta -1} \bigl\Vert f\bigl(s,x(s)\bigr) \bigr\Vert \,ds \\ &\le T^{\beta -1} \Vert x_{0} \Vert + \frac{M}{\Gamma (\beta )} \int _{0}^{T}(T-s)^{ \beta -1}\bigl(l(s) \bigl\Vert x_{1}(s) \bigr\Vert ^{\mu }+k(s)\bigr)\,ds \\ &\quad +\frac{M}{\Gamma (\beta )} \int _{T}^{t}(t-s)^{\beta -1}\bigl(l(s) \bigl\Vert x(s) \bigr\Vert ^{\mu }+k(s)\bigr)\,ds \\ &\le T^{\beta -1} \Vert x_{0} \Vert + \frac{M}{\Gamma (\beta )} \int _{0}^{T}(T-s)^{ \beta -1} \bigl[R_{1}^{\mu }s^{\mu (\beta -1)}l(s)+k(s)\bigr]\,ds \\ &\quad +\frac{M}{\Gamma (\beta )} \int _{T}^{t}(t-s)^{\beta -1}K \bigl(R^{ \mu }+1\bigr)s^{-\gamma }\,ds.\end{aligned} $$
(5.7)

Using Lemma 2.6, we get

$$ \begin{aligned} &{T^{\beta -1} \Vert x_{0} \Vert +\frac{M}{\Gamma (\beta )} \int _{0}^{T}(T-s)^{ \beta -1} \bigl[R_{1}^{\mu }s^{\mu (\beta -1)}l(s)+k(s)\bigr]\,ds} \\ &\quad =T^{\beta -1} \Vert x_{0} \Vert + \frac{MT^{\beta -1}R_{1}^{\mu }}{\Gamma (\beta )} \int _{0}^{T}\biggl( \frac{T}{T-s} \biggr)^{1-\beta }s^{\mu (\beta -1)}l(s)\,ds \\ &\qquad + \frac{MT^{\beta -1}}{\Gamma (\beta )} \int _{0}^{T}\biggl(\frac{T}{T-s} \biggr)^{1- \beta }k(s)\,ds \\ &\quad \le T^{\beta -1} \Vert x_{0} \Vert + \frac{2MT^{2\beta -1-\frac{1}{p}}R_{1}^{\mu }}{\Gamma (\beta )(q\beta -q+1)^{\frac{1}{q}}} \biggl( \int _{0}^{T}s^{p(1-\mu )(1-\beta )}l^{p}(s)\,ds \biggr) ^{ \frac{1}{p}} \\ &\qquad + \frac{2MT^{2\beta -1-\frac{1}{p}}}{\Gamma (\beta )(q\beta -q+1)^{\frac{1}{q}}} \biggl( \int _{0}^{T}s^{p(1-\beta )}k^{p}(s)\,ds \biggr) ^{\frac{1}{p}} \\ &\quad =M_{1}. \end{aligned} $$
(5.8)

Since \(\beta <\lambda \), we get

$$ \begin{aligned} \frac{MK(R^{\mu }+1)}{\Gamma (\beta )} \int _{T}^{t}(t-s)^{\beta -1}s^{- \gamma }\,ds& \le \frac{MK(R^{\mu }+1)}{\Gamma (\beta )} \int _{0}^{t}(t-s)^{ \beta -1}s^{-\gamma }\,ds \\ &=\frac{MK(R^{\mu }+1)\Gamma (1-\gamma )}{\Gamma (1+\beta -\gamma )}t^{ \beta -\gamma } \\ &\le \frac{MK(R^{\mu }+1)\Gamma (1-\gamma )}{\Gamma (1+\beta -\gamma )}T^{ \beta -\gamma } \\ &=M_{2}\bigl(R^{\mu }+1\bigr). \end{aligned} $$
(5.9)

Using (5.5), (5.7), (5.8), and (5.9), we get

$$ \bigl\Vert (Fx) (t) \bigr\Vert \le M_{1}+M_{2} \bigl(R^{\mu }+1\bigr)\le R. $$
(5.10)

Thus, \(\Vert Fx\Vert _{0}\le R\) for any \(x\in U\).

We now prove that Fx is a continuous function on \([T,+\infty )\). Since

$$ \begin{aligned} t^{1-\beta } \bigl\Vert f\bigl(t,x_{1}(t) \bigr) \bigr\Vert \le t^{1-\beta }l(t) \bigl\Vert x_{1}(t) \bigr\Vert ^{\mu }+t^{1- \beta }k(t)\le R_{1}^{\mu }t^{(1-\mu )(1-\beta )}l(t)+t^{1-\beta }k(t), \end{aligned} $$

then we have \(f(\cdot ,x_{1}(\cdot ))\in L_{1-\beta }^{p}[0,T], X)\). Using Lemma 2.9, we get that \(\int _{0}^{T}(\cdot -s)^{\beta -1}f(s, x_{1}(s))\,ds\) is continuous on \([T,+\infty )\). Since

$$ \begin{aligned} \bigl\Vert f\bigl(t,x(t)\bigr) \bigr\Vert \le l(t) \bigl\Vert x(t) \bigr\Vert ^{\mu }+k(t)\le R^{\mu }l(t)+k(t), \end{aligned} $$

where \(x\in U\), then \(f(\cdot , x(\cdot ))\) is continuous on \([T,+\infty )\) and \(f(\cdot , x(\cdot ))\in L_{Loc,1-\beta}^{p}([T,+\infty ),X)\). Using Lemma 2.8, we get that \(\int _{T}^{\cdot}(\cdot -s)^{\beta -1}f(s,x(s))\,ds\) is continuous on \([T,+\infty )\). Therefore, Fx is a continuous function on \([T,+\infty )\) when \(x\in U\).

Now let us prove that \((Fx)(t)\rightarrow 0\) as \(t\rightarrow +\infty \). For any \(x\in U\), we have

$$ \begin{aligned} \bigl\vert (Fx) (t) \bigr\vert &\le t^{\beta -1} \Vert x_{0} \Vert +\frac{M}{\Gamma (\beta )} \int _{0}^{T}(t-s)^{ \beta -1} \bigl\Vert f\bigl(s,x_{1}(s)\bigr) \bigr\Vert \,ds\\ &\quad +\frac{M}{\Gamma (\beta )} \int _{T}^{t}(t-s)^{ \beta -1} \bigl\Vert f\bigl(s,x(s)\bigr) \bigr\Vert \,ds. \end{aligned} $$
(5.11)

Using Lemma 2.6, we have

$$ \begin{aligned} & \int _{0}^{T}(t-s)^{\beta -1} \bigl\Vert f\bigl(s,x_{1}(s)\bigr) \bigr\Vert \,ds \\ &\quad \le t^{\beta -1} \int _{0}^{T}\biggl(\frac{t}{t-s} \biggr)^{1-\beta } \bigl\Vert f\bigl(s,x_{1}(s)\bigr) \bigr\Vert \,ds \\ &\quad \le t^{\beta -1} \int _{0}^{T}\biggl(\frac{T}{T-s} \biggr)^{1-\beta } \bigl\Vert f\bigl(s,x_{1}(s)\bigr) \bigr\Vert \,ds \\ &\quad \le R_{1}^{\mu }t^{\beta -1} \int _{0}^{T}\biggl(\frac{T}{T-s} \biggr)^{1-\beta }s^{ \mu (\beta -1)}l(s)\,ds +t^{\beta -1} \int _{0}^{T}\biggl(\frac{T}{T-s} \biggr)^{1- \beta }k(s)\,ds \\ &\quad \le \frac{2T^{\beta -\frac{1}{p}}R_{1}^{\mu }t^{\beta -1}}{(q\beta -q+1)^{\frac{1}{q}}} \biggl( \int _{0}^{T}s^{p(1-\mu )(1-\beta )}l^{p}(s)\,ds \biggr) ^{ \frac{1}{p}}\\ &\qquad + \frac{2T^{\beta -\frac{1}{p}}t^{\beta -1}}{(q\beta -q+1)^{\frac{1}{q}}} \biggl( \int _{0}^{T}s^{p(1-\beta )}k^{p}(s)\,ds \biggr) ^{\frac{1}{p}}, \end{aligned} $$
(5.12)

then we get that

$$ \int _{0}^{T}(t-s)^{\beta -1} \bigl\Vert f\bigl(s,x_{1}(s)\bigr) \bigr\Vert \,ds\rightarrow 0, \quad \text{as } t\rightarrow +\infty . $$
(5.13)

Moreover, we know

$$ \begin{aligned} \int _{T}^{t}(t-s)^{\beta -1} \bigl\Vert f\bigl(s,x(s)\bigr) \bigr\Vert \,ds&\le \int _{T}^{t}(t-s)^{ \beta -1}l(s) \bigl\Vert x(s) \bigr\Vert ^{\mu }\,ds + \int _{T}^{t}(t-s)^{\beta -1}k(s)\,ds \\ &\le KR^{\mu } \int _{T}^{t}(t-s)^{\beta -1}s^{-\gamma }\,ds + K \int _{T}^{t}(t-s)^{ \beta -1}s^{-\gamma }\,ds \\ &\le K\bigl(R^{\mu }+1\bigr) \int _{0}^{t}(t-s)^{\beta -1}s^{-\gamma }\,ds \\ &= \frac{K(R^{\mu }+1)\Gamma (\beta )\Gamma (1-\gamma )}{\Gamma (1+\beta -\gamma )}t^{ \beta -\gamma }. \end{aligned} $$
(5.14)

Since \(0<\beta <\gamma <1\), we get that

$$ \int _{T}^{t}(t-s)^{\beta -1} \bigl\Vert f\bigl(s,x(s)\bigr) \bigr\Vert \,ds\rightarrow 0 \quad \text{as } t\rightarrow +\infty . $$
(5.15)

Using (5.13) and (5.15), we get \((Fx)(t)\rightarrow 0\) as \(t\rightarrow +\infty \).

Thus, F maps U into U. The proof is complete. □

Lemma 5.5

Under the assumptions in Theorem 5.2, \(F:U\rightarrow U\) is completely continuous.

Proof

For any \(T_{1}>T>1\) and \(x\in U\), let \(T\le t_{1}< t_{2}\le T_{1}\), then we get

$$ \begin{aligned} & \bigl\Vert (Fx) (t_{2})-(Fx) (t_{1}) \bigr\Vert \\ &\quad \le \bigl\Vert t^{1-\beta }_{2}(Fx) (t_{2})-t^{1-\beta }_{2}(Fx) (t_{1}) \bigr\Vert \\ &\quad \le \bigl\Vert t^{1-\beta }_{2}(Fx) (t_{2})-t^{1-\beta }_{1}(Fx) (t_{1}) \bigr\Vert + \bigl\Vert t^{1- \beta }_{1}(Fx) (t_{1})-t^{1-\beta }_{2}(Fx) (t_{1}) \bigr\Vert \\ &\quad \le \frac{1}{\Gamma (\beta )} \biggl\Vert \int _{0}^{T}\biggl( \frac{t_{2}}{t_{2}-s} \biggr)^{1-\beta }f\bigl(s,x_{1}(s)\bigr)\,ds - \int _{0}^{T}\biggl( \frac{t_{1}}{t_{1}-s} \biggr)^{1-\beta }f\bigl(s,x_{1}(s)\bigr)\,ds \biggr\Vert \\ &\qquad +\frac{1}{\Gamma (\beta )} \biggl\Vert \int _{T}^{t_{2}}\biggl( \frac{t_{2}}{t_{2}-s} \biggr)^{1-\beta }f\bigl(s,x(s)\bigr)\,ds - \int _{T}^{t_{1}}\biggl( \frac{t_{1}}{t_{1}-s} \biggr)^{1-\beta }f\bigl(s,x(s)\bigr)\,ds \biggr\Vert \\ &\qquad +R \bigl\vert t^{1-\beta }_{1}-t^{1- \beta }_{2} \bigr\vert . \end{aligned} $$
(5.16)

Using Lemmas 2.8 and 2.9, we can obtain that FU is equicontinuous on \([T, T_{1}]\). From the inequality (5.10), we know that \((Fx)(t)\) is relatively compact for any \(t\in [T,+\infty )\) and \(x\in U\). Using the proof of Lemma 5.4, we can get that \(\lim_{t\rightarrow +\infty }|(Fx)(t)|=0\) is uniformly for \(x\in U\). Therefore, we get that the set FU is relatively compact.

We now show that F is continuous, that is \(x_{n}\rightarrow x\) implies \(Fx_{n}\rightarrow Fx\). Since \(x_{n}(t)\rightarrow x(t)\), then \(f(t,x_{n}(t))\rightarrow f(t,x(t))\) for \(t\in [T,+\infty )\). Therefore, we have

$$ (t-s)^{\beta -1}f\bigl(s,x_{n}(s)\bigr) \rightarrow (t-s)^{\beta -1}f\bigl(s,x(s)\bigr), \quad \forall s\in [T,t).$$
(5.17)

Since \(l, k\in C([T,+\infty ),\mathbb{R}_{+})\) and

$$ (t-s)^{\beta -1} \bigl\Vert f\bigl(s,x_{n}(s) \bigr) \bigr\Vert \le (t-s)^{\beta -1}\bigl(l(s) \bigl\Vert x_{n}(s) \bigr\Vert ^{\mu }+k(s)\bigr)\le (t-s)^{\beta -1}\bigl(R^{\mu }l(s)+k(s)\bigr), $$
(5.18)

then we have \((t-\cdot )^{\beta -1}f(\cdot ,x_{n}(\cdot ))\in L^{1}([T,t],X)\). From (5.17) and (5.18), using the Lebesgue dominated convergence theorem, we have

$$ \begin{aligned} \bigl\Vert (Fx_{n}) (t)-(Fx) (t) \bigr\Vert =\frac{1}{\Gamma (\beta )} \biggl\Vert \int _{T}^{t}(t-s)^{ \beta -1}\bigl[f \bigl(s, x_{n}(s)\bigr)-f\bigl(s, x(s)\bigr)\bigr]\,ds \biggr\Vert \rightarrow 0 \end{aligned} $$

as \(n\rightarrow +\infty \). Therefore, \((Fx_{n})(t)\rightarrow (Fx)(t)\) pointwise on \([T,+\infty )\) as \(n\rightarrow +\infty \). With the fact that F is compact, then \(\Vert Fx_{n}-Fx\Vert _{0}\rightarrow 0\) as \(n\rightarrow +\infty \), which implies F is continuous.

Therefore, \(F:U\rightarrow U\) is completely continuous. □

Lemma 5.6

Under the assumptions in Theorem 5.2, the following integral equation

$$ \begin{aligned} x(t)&=t^{\beta -1}S_{\beta}(t)x_{0}+ \int _{0}^{T}(t-s)^{\beta -1}S_{ \beta}(t-s)f \bigl(s,x_{1}(s)\bigr)\,ds \\ &\quad + \int _{T}^{t}(t-s)^{\beta -1}S_{\beta}(t-s)f \bigl(s,x(s)\bigr)\,ds \end{aligned} $$
(5.19)

has at least one mild solution in \(C_{0}([T,+\infty ),X)\), where \(x_{1}\in C_{1-\beta }((0,T],X)\) is the mild solution of problem (5.3), and T is as in Lemma 5.3.

Proof

Using Lemma 5.4, Lemma 5.5, and Theorem 4.3, we have that the integral equation (3.21) has at least one mild solution \(x_{2}\in C_{0}([T,+\infty ),X)\). □

Now we give the proof of Theorem 5.2.

Proof of Theorem 5.2

We denote

$$ \begin{aligned} x(t)= {\textstyle\begin{cases} x_{1}(t)& t\in (0,T], \\ x_{2}(t)& t\in [T,+\infty ), \end{cases}\displaystyle } \end{aligned} $$

where \(x_{1}\in C_{1-\beta }((0,T],X)\) is a mild solution of problem (5.3), and \(x_{2}\in C_{0}([T,+\infty ),X)\) is a mild solution of the integral equation (5.19). From (5.3) and (5.19), we know that x is continuous on \((0,+\infty )\), and we have that x is the mild solution of the following integral equation

$$ \begin{aligned} x(t)&=t^{\beta -1}S_{\beta}(t)x_{0}+ \int _{0}^{T}(t-s)^{\beta -1}S_{ \beta}(t-s)f \bigl(s,x(s)\bigr)\,ds \\ &\quad + \int _{T}^{t}(t-s)^{\beta -1}S_{\beta}(t-s)f \bigl(s,x(s)\bigr)\,ds. \end{aligned} $$
(5.20)

From Theorem 4.3, we know that x is also a global mild solution of problem (1.2) and

$$ \begin{aligned} \lim_{t\rightarrow +\infty }x(t)=\lim _{t\rightarrow +\infty }x_{2}(t)=0. \end{aligned} $$

Thus, the mild solution x of problem (1.2) is globally attractive. □

The following conclusion is a consequence of Theorem 5.2.

Theorem 5.7

Under the assumptions in Theorem 5.2, problem (1.2) has at least one mild solution \(x\in C_{1-\beta }((0,+\infty ),X)\) and

$$ \bigl\Vert x(t) \bigr\Vert =t^{\beta -1} \Vert x_{0} \Vert +o\bigl(t^{\beta -\gamma _{1}}\bigr) \quad \textit{{as }} t\rightarrow +\infty ,$$
(5.21)

where \(\beta <\gamma _{1}<\gamma <1\).

Proof

From Theorem 5.2, we get that \(x\in C_{1-\beta }((0,+\infty ),X)\) is a globally attractive mild solution of problem (1.2). Since \(0<\beta <\gamma _{1}<\gamma <1\), for \(t>T\), then we have

$$ \begin{aligned} &\lim_{t\rightarrow +\infty } \frac{ \Vert x(t)-t^{\beta -1}x_{0} \Vert }{t^{\beta -\gamma _{1}}} \\ &\quad \le \lim_{t\rightarrow +\infty } \frac{\int _{0}^{t}(t-s)^{\beta -1} \Vert f(s,x(s)) \Vert \,ds}{\Gamma (\beta )t^{\beta -\gamma _{1}}} \\ &\quad =\lim_{t\rightarrow +\infty } \frac{\int _{0}^{T}(t-s)^{\beta -1} \Vert f(s,x_{1}(s)) \Vert \,ds}{\Gamma (\beta )t^{\beta -\gamma _{1}}} +\lim _{t\rightarrow +\infty } \frac{\int _{T}^{t}(t-s)^{\beta -1} \Vert f(s,x_{2}(s)) \Vert \,ds}{\Gamma (\beta )t^{\beta -\gamma _{1}}}. \end{aligned} $$
(5.22)

Using (5.12) and (5.14), we get

$$ \lim_{t\rightarrow +\infty } \frac{ \Vert x(t)-t^{\beta -1}x_{0} \Vert }{t^{\beta -\gamma _{1}}}=0. $$

Thus, \(x(t)=t^{\beta -1}x_{0}+o(t^{\beta -\gamma _{1}})\) as \(t\rightarrow +\infty \). □

Remark 5.8

In fact, from (5.12) and (5.14), we get that the mild solution x of problem (1.2) satisfies

$$ \bigl\Vert x(t) \bigr\Vert \le t^{\beta -1} \Vert x_{0} \Vert +K_{1}t^{\beta -1}+K_{2}t^{\beta - \gamma }, \quad \forall t\in [T,+\infty ), $$
(5.23)

where \(K_{1}\) and \(K_{2}\) are nonnegative constants.

Theorem 5.9

Let \(0<\mu \le 1\), \(0<\beta <1\), \(\gamma >\beta \), \(p>1\), \(\beta >\frac{1}{p}>2 \beta -1\), \(l\in C_{(1-\mu )(1-\beta )}((0,+\infty ), \mathbb{R}_{+})\cap L^{p}_{Loc,(1- \mu )(1-\beta )}([0,+\infty ),\mathbb{R}_{+})\). Suppose that there exists a constant \(K>0\) such that

$$ t^{\gamma }l(t)\le K,\quad \forall t\in [1,+\infty ), $$
(5.24)

and \(f: (0,+\infty )\times X\rightarrow X\) is a continuous function with

$$ \bigl\Vert f(t, x) \bigr\Vert \le l(t) \Vert x \Vert ^{\mu }, \quad \forall (t,x)\in (0,+\infty ) \times X. $$

Then problem (1.2) is global attractive.

6 Deduced results

In this section, we derive some deduced results for the following first-order and Caputo fractional semilinear evolution equations

$$\begin{aligned}& {\textstyle\begin{cases} x'(t)=Ax(t)+f(t,x(t)), \quad t\in (0,+\infty ), \\ x(0)=x_{0}. \end{cases}\displaystyle } \end{aligned}$$
(6.1)
$$\begin{aligned}& {\textstyle\begin{cases} _{0}^{C}D^{\beta}_{t}x(t)=Ax(t)+f(t,x(t)), \quad t\in (0,+\infty ), \\ x(0)=x_{0}. \end{cases}\displaystyle } \end{aligned}$$
(6.2)

Definition 6.1

A function \(x\in C([0,T],X)\) is called a mild solution of problem (6.1) if it satisfies the following fractional integral equation

$$\begin{aligned} x(t)=S(t)x_{0}+ \int _{0}^{t}S(t-s)f\bigl(s,x(s)\bigr)\,ds, \quad \forall t\in [0,T]. \end{aligned}$$

Definition 6.2

A function \(x\in C([0,T],X)\) is called a mild solution of problem (6.2) if it satisfies the following fractional integral equation

$$\begin{aligned} x(t)=t^{\beta -1}S'_{\beta}(t)x_{0}+ \int _{0}^{t}(t-s)^{\beta -1}S_{ \beta}(t-s)f \bigl(s,x(s)\bigr)\,ds, \quad \forall t\in [0,T], \end{aligned}$$

where

$$ S'_{\beta}(t)= \int _{0}^{\infty}\xi _{\beta}(\theta )S \bigl(t^{\beta} \theta \bigr)\,d\theta . $$

Theorem 6.3

Suppose \(f: (0,T]\times X\rightarrow X\) is a continuous function, and there exists a function \(l\in C([0,T],\mathbb{R}_{+})\) and a nondecreasing function \(\omega \in C([0,+\infty ),\mathbb{R}_{+})\) such that

$$ \begin{aligned} \bigl\Vert f(t, x) \bigr\Vert \le l(t)\omega \bigl( \Vert x \Vert \bigr),\quad \forall (t,x)\in (0,T] \times X. \end{aligned} $$

Then problem (6.1) has at least one mild solution in \(C([0,T],X)\) provided that

$$ \begin{aligned} W\bigl(M \Vert x_{0} \Vert \bigr)+M \int _{0}^{t}l(s)\mathrm{\,d}s\in \mathrm {Dom} \bigl(W^{-1}\bigr), \quad \forall t\in (0,T], \end{aligned} $$

where \(W(u)=\int _{u_{0}}^{u}\frac{1}{\omega (\tau )}\,d\tau \), \(u_{0}, u>0\).

Proof

Define the operator \(G_{1}: C([0,T],X)\rightarrow C([0,T],X)\) by

$$ G_{1}x(t)=S(t)x_{0}+ \int _{0}^{t}S(t-s)f\bigl(s,x(s)\bigr)\,ds, \quad \forall t \in [0,T]. $$

Similar to the proof of Theorem 4.3, we only prove that the set \(\Lambda _{1} =\{x \in C([0,T],X): x=\lambda G_{1}x\) for some \(0<\lambda <1\}\) is bounded. Indeed, for \(x\in \Lambda _{1} \) one has

$$ \begin{aligned} \bigl\Vert x(t) \bigr\Vert &\le M \Vert x_{0} \Vert +M \int _{0}^{t} \bigl\Vert f\bigl(s,x(s)\bigr) \bigr\Vert \mathrm{\,d}s \\ &\le M \Vert x_{0} \Vert +M \int _{0}^{t}l(s)\omega \bigl( \bigl\Vert x(s) \bigr\Vert \bigr)\mathrm{\,d}s \end{aligned} $$

Using Lemma 2.4, we obtain

$$ \bigl\Vert x(t) \bigr\Vert \le W^{-1} \biggl[ W\bigl(M \Vert x_{0} \Vert \bigr)+M \int _{0}^{t}l(s)\mathrm{\,d}s \biggr] , $$

which shows that the set \(\Lambda _{1} \) is bounded. The proof is complete. □

Theorem 6.4

Let \(p>\frac{1}{\beta}\) and \(q=\frac{p}{p-1}\). Suppose \(f: (0,T]\times X\rightarrow X\) is a continuous function, and there exists a function \(l\in C((0,T],\mathbb{R}_{+})\cap L^{p}([0,T],\mathbb{R}_{+})\) and a nondecreasing function \(\omega \in C([0,+\infty ),\mathbb{R}_{+})\) such that

$$ \begin{aligned} \bigl\Vert f(t, x) \bigr\Vert \le l(t)\omega \bigl( \Vert x \Vert \bigr),\quad \forall (t,x)\in (0,T] \times X. \end{aligned} $$

Then problem (6.2) has at least one mild solution in \(C([0,T],X)\) provided that

$$ \begin{aligned} W\biggl(2^{p-1}\biggl( \frac{M}{\Gamma (q )}\biggr)^{p}\biggr)+2^{p-1}c^{p}t^{p\beta -1} \int _{0}^{t}s^{p}l^{p}(s) \mathrm{\,d}s\in \mathrm {Dom}\bigl(W^{-1}\bigr),\quad \forall t\in (0,T], \end{aligned} $$

where \(c= \frac{M\Gamma ^{\frac{1}{q}}(q(\beta -1)+1)\Gamma ^{\frac{1}{q}}(q+1)}{\Gamma (q )\Gamma ^{\frac{1}{q}}(q(\beta -1)+q+2)}\), \(W(u)=\int _{u_{0}}^{u}\frac{1}{\omega ^{p}(\tau ^{1/p})}\,d\tau \), \(u_{0}, u>0\).

Proof

Define the operator \(G_{2}: C([0,T],X)\rightarrow C([0,T],X)\) by

$$ G_{2}x(t)=S'_{\beta}(t)x_{0}+ \int _{0}^{t}(t-s)^{\beta -1}S_{\beta}(t-s)f \bigl(s,x(s)\bigr)\,ds, \quad \forall t\in [0,T]. $$
(6.3)

Similar to the proof of Theorem 4.3, we only prove that the set \(\Lambda _{2} =\{x \in C([0,T],X): x=\lambda G_{2}x\) for some \(0<\lambda <1\}\) is bounded. Indeed, for \(x\in \Lambda _{2} \) one has

$$ \begin{aligned} \bigl\Vert x(t) \bigr\Vert &\le \frac{M}{\Gamma (q )} \Vert x_{0} \Vert +\frac{M}{\Gamma (q )} \int _{0}^{t}(t-s)^{\beta -1} \bigl\Vert f\bigl(s,x(s)\bigr) \bigr\Vert \mathrm{\,d}s \\ &\le \frac{M}{\Gamma (q )} \Vert x_{0} \Vert + \frac{M}{\Gamma (q )} \int _{0}^{t}(t-s)^{ \beta -1}l(s)\omega \bigl( \bigl\Vert x(s) \bigr\Vert \bigr)\mathrm{\,d}s. \end{aligned} $$

By Lemma 3.1 for \(\alpha =\delta =0\), we obtain

$$ \begin{aligned} \bigl\Vert x(t) \bigr\Vert \le \biggl\{ W^{-1} \biggl[ W\biggl(2^{p-1}\biggl(\frac{M}{\Gamma (q )} \biggr)^{p}\biggr)+2^{p-1}c^{p}t^{p \beta -1} \int _{0}^{t}s^{p}l^{p}(s) \mathrm{\,d}s \biggr] \biggr\} ^{ \frac{1}{p}}, \quad \forall t\in (0,T_{1}), \end{aligned} $$

which shows that the set \(\Lambda _{2}\) is bounded. The proof is complete. □

Remark 6.5

Theorems 6.3 and 6.4 generalize and improve the results on the existence of mild solutions in [24, 25, 27].

Data Availability

No datasets were generated or analysed during the current study.

References

  1. Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)

    Article  MathSciNet  Google Scholar 

  2. Bainov, D., Simeonov, P.: Integral Inequalities and Applications, vol. 57. Kluwer Academic, Dordrecht (1992)

    Book  Google Scholar 

  3. Denton, Z., Vatsala, A.S.: Fractional integral inequalities and applications. Comput. Math. Appl. 59, 1087–1094 (2010)

    Article  MathSciNet  Google Scholar 

  4. Diethelm, K.: The Analysis of Fractional Differential Equations. An Application-Oriented Exposition Using Differential Operators of Caputo Type. Lecture Notes in Mathematics, vol. 2004. Springer, Berlin (2010)

    Google Scholar 

  5. Furati, K.M., Tatar, N.-E.: Power-type estimates for a nonlinear fractional differential equation. Nonlinear Anal. 62, 1025–1036 (2005)

    Article  MathSciNet  Google Scholar 

  6. Gallegos, J.A., Duarte-Mermoud, M.A.: Attractiveness and stability for Riemann-Liouville fractional systems. Electron. J. Qual. Theory Differ. Equ. 2018, 73 (2018)

    MathSciNet  Google Scholar 

  7. Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)

    Book  Google Scholar 

  8. Haraux, A.: Nonlinear Evolution Equations-Global Behavior of Solutions. Lecture Notes in Mathematics, vol. 841. Springer, Berlin (1981)

    Book  Google Scholar 

  9. Henry, D.: Geometric Theory of Semilinear Parabolic Equations. Lecture Notes in Mathematics, vol. 840. Springer, Berlin (1981)

    Google Scholar 

  10. Kassim, M.D., Furati, K.M., Tatar, N.-E.: Asymptotic behavior of solutions to nonlinear initial-value fractional differential problems. Electron. J. Differ. Equ. 2016, 291 (2016)

    MathSciNet  Google Scholar 

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

    Book  Google Scholar 

  12. Kong, Q.X., Ding, X.L.: A new fractional integral inequality with singularity and its application. Abstr. Appl. Anal. 2012, 937908 (2012)

    Article  MathSciNet  Google Scholar 

  13. Medved, M.: A new approach to an analysis of Henry type integral inequalities and their Bihari type versions. J. Math. Anal. Appl. 214, 349–366 (1997)

    Article  MathSciNet  Google Scholar 

  14. Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

    Google Scholar 

  15. Oliveira, D.S., de Oliveira, E.C.: Hilfer–Katugampola fractional derivatives. Comput. Appl. Math. 37, 3672–3690 (2018)

    Article  MathSciNet  Google Scholar 

  16. Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)

    Book  Google Scholar 

  17. Podlubny, I.: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications. Academic Press, San Diego (1999)

    Google Scholar 

  18. Sousa, J.V.C., Benchohra, M., N’Guérékata, G.M.: Attractivity for differential equations of fractional order and ψ-Hilfer type. Fract. Calc. Appl. Anal. 23(4), 1188–1207 (2020)

    Article  MathSciNet  Google Scholar 

  19. Sousa, J.V.C., de Oliveira, E.C.: On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018)

    Article  MathSciNet  Google Scholar 

  20. Sousa, J.V.C., de Oliveira, E.C.: Leibniz type rule: ψ-Hilfer fractional operator. Commun. Nonlinear Sci. Numer. Simul. 77, 305–311 (2019)

    Article  MathSciNet  Google Scholar 

  21. Trif, T.: Existence of solutions to initial value problems for nonlinear fractional differential equations on the semi-axis. Fract. Calc. Appl. Anal. 16(3), 595–612 (2013)

    Article  MathSciNet  Google Scholar 

  22. Tuan, H.T., Czornik, A., Nieto, J.J., Niezabitowski, M.: Global attractivity for some classes of Riemann-Liouville fractional differential systems. J. Integral Equ. Appl. 31(2), 265–282 (2019)

    Article  MathSciNet  Google Scholar 

  23. Webb, J.R.L.: Weakly singular Gronwall inequalities and applications to fractional differential equations. J. Math. Anal. Appl. 471, 692–711 (2019)

    Article  MathSciNet  Google Scholar 

  24. Zeng, B.: Feedback control systems governed by evolution equations. Optimization 68(6), 1223–1243 (2019)

    Article  MathSciNet  Google Scholar 

  25. Zeng, B., Liu, Z.H.: Existence results for impulsive feedback control systems. Nonlinear Anal. Hybrid Syst. 33, 1–16 (2019)

    Article  MathSciNet  Google Scholar 

  26. Zhou, Y.: Attractivity for fractional evolution equations with almost sectorial operators. Fract. Calc. Appl. Anal. 21(3), 786–800 (2018)

    Article  MathSciNet  Google Scholar 

  27. Zhou, Y., Jiao, F.: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59, 1063–1077 (2010)

    Article  MathSciNet  Google Scholar 

  28. Zhu, T.: Fractional integral inequalities and global solutions of fractional differential equations. Electron. J. Qual. Theory Differ. Equ. 2020, 5 (2020)

    MathSciNet  Google Scholar 

  29. Zhu, T.: Weakly singular integral inequalities and global solutions for fractional differential equations of Riemann-Liouville type. Mediterr. J. Math. 18(184), 1–17 (2021)

    MathSciNet  Google Scholar 

  30. Zhu, T.: Attractivity of solutions of Riemann-Liouville fractional differential equations. Electron. J. Qual. Theory Differ. Equ. 2022, 52 (2022)

    MathSciNet  Google Scholar 

  31. Zhu, T.: Global attractivity for fractional differential equations of Riemann-Liouville type. Fract. Calc. Appl. Anal. 26, 2264–2280 (2023)

    Article  MathSciNet  Google Scholar 

Download references

Funding

The First author is supported by the Basic Ability Improvement Project for Middle-Aged and Young Teachers of Universities in Guangxi (No. 2021KY0172), the Special Fund for Science and Technological Bases and Talents of Guangxi (No. GUIKE AD21220103) and the Start-up Project of Scientific Research on Introducing Talents at School Level in Guangxi University for Nationalities (No. 2019KJQD04). The second author is supported by the Basic Ability Improvement Project for Middle-Aged and Young Teachers of Universities in Guangxi (No. 2022KY1210).

Author information

Authors and Affiliations

Authors

Contributions

Caijing Jiang and Keji Xu wrote the main manuscript text. All authors reviewed the manuscript.

Corresponding author

Correspondence to Caijing Jiang.

Ethics declarations

Competing interests

The authors declare no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Jiang, C., Xu, K. Global existence and attractivity for Riemann-Liouville fractional semilinear evolution equations involving weakly singular integral inequalities. J Inequal Appl 2024, 64 (2024). https://doi.org/10.1186/s13660-024-03137-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-024-03137-x

Keywords