Construction of partially degenerate Laguerre-Genocchi polynomials with their applications

1.   Introduction

Fractional derivatives and integrals are generalization of derivatives and integrals to arbitrary non-integer orders. The theory of fractional calculus has been studied and applied to be valuable tools in the investigation and explanation of many phenomena in various fields such as chemistry, physics ^[1,2], engineering ^[3], economics ^[4], control theory ^[5], epidemiology ^[6,8,7], etc (see ^[10,11,9]). Differential equations involving time-fractional derivatives are more realistic to explain some phenomena than those of integer order in time because it can describe the rate of change that depends on the past state. Consequently, fractional derivatives have been investigated on qualitative and numerical aspects ^[12,13] for describing physical phenomena.

There are various definitions of fractional derivatives and integrals, which include Riemann-Liouville, Caputo, Hilfer, Riesz, Erdelyi-Kober, Hadamard, etc ^[11,1,10,9]. Among these definitions, Caputo derivative and Riemann-Liouville are widely used by many researchers. In addition, they are derived from the corresponding fractional integral operators. The variation of fractional calculus in many different forms of fractional derivative and integral operators arises from various special functions. In one direction, the integral operators have been extended to include the weight function $\varphi$ as a definition of generalized Caputo fractional derivative by Almeida ^[14]. This definition has the advantage in terms of accuracy in mathematical modeling if a function $\varphi$ is appropriately selected. Later, Jarad and Abdeljawad ^[15] constructed the Laplace transform and its inverse operator which depends on another function $\varphi$ for solving some fractional differential systems in the notion of $\varphi$-Caputo fractional derivative.

Over the past years, there has been an essential development in fractional evolution equations since many problems occurring in science, engineering and economy can be formulated by fractional evolution equations. Evolution equations are generally used to interpret the changing and evolving over time of the system. For instance, reaction-diffusion equations in chemical physics and biology ^[16,17], Schrödinger equations in quantum mechanics ^[18,19], Navier-Stokes equation in fluid mechanics ^[20], and Black-Scholes equation in finance ^[21] are common examples of fractional evolution equations. The development in the theory of fractional evolution equations is an essential branch of fractional calculus ranging from the study of existence, uniqueness, stability ^[22,23], numerical techniques ^[24] and mathematical modeling ^[26,25]. In particular, the existence and uniqueness theorems for fractional evolution equations have been extensively studied by means of semigroup theory and fixed point theorems ^{[24,27,28,29,30,31,32,33,34,35,36]}.

Various types of fixed point theorems are extensively used as fundamental tools for proving the existence and uniqueness of solutions for fractional evolution equations. However, some fixed point theorems are non-constructive results. As we all know, the monotone iterative method ^[37] is a flexible and efficient technique that provides both existence and constructive results for nonlinear differential equations ^{[38,39,40,42,41,43]} in terms of the lower and upper solutions. Furthermore, it can contribute to several comparison results which are applicable tools for the study. In this work, we emphasize on using the monotone iterative method involving the construction of upper and lower solutions.

In 2020, Gou and Li ^[44] investigated the existence and uniqueness of mild solutions for impulsive fractional evolution equations of Volterra and Fredholm types in an ordered Banach space $E$ subject to the periodic boundary condition by means of monotone iterative method for the problem

where ${^{C}D_{0}^{\alpha}}{ }$ is the classical Caputo fractional derivative of order $0<\alpha <1$ with the lower limit zero, $A: D(A) \subset E \rightarrow E$ is a closed linear operator and $-A$ generates a $C_{0}-$semigroup $\{\mathscr{T}(t)\} _{t \geq 0}$ in $E;$ $f \in C(J \times E \times E \times E, E)$ is a function, $I_{k} \in C(E, E)$ is an impulsive function, $k = 1, 2, \dots, m;$ $J = [0, \omega],$ $J' = J \setminus \left\lbrace{t_{1}, t_{2}, \dots ,t_{m}} \right\rbrace,$ $J_{0} = [0,t_{1}],$ $J_{k} = (t_{k}, t_{k+1}],$ the $\left\lbrace {t_{k}}\right\rbrace$ satisfy $0 = t_{0}<t_{1}<t_{2}< \cdots <t_{m}<t_{m+1} = \omega,$ $m \in \mathbb{N};$ $\Delta u(t_{k}) = u(t_{k}^{+}) -u(t_{k}^{-}),$ $u(t_{k}^{+})$ and $u(t_{k}^{-})$ represent the right and left limits of $u(t)$ at $t = t_{k}$, respectively. The operators $G$ and $H$ are Volterra integral operator and Fredholm integral operator, respectively, which are defined by

where the integral kernel $g \in C(\Omega, \mathbb{R}^{+})$ and $\Omega = \{ (t,s) \in \mathbb{R}^{2} \,|\, 0 \leq s \leq t \leq T \}$, and

with the integral kernel $h \in C(\overline{\Omega}, \mathbb{R}^{+})$ and $\overline{\Omega} = \{ (t,s) \in \mathbb{R}^{2} \,|\, 0 \leq t,s \leq T \}.$

Recently, Derbazi et al. ^[45] studied the existence and uniqueness of extremal solutions for fractional differential equations involving the $\varphi-$Caputo derivative subject to an initial condition:

where ${^{C}D_{a}^{\alpha;\varphi}}{}$ is the $\varphi-$Caputo fractional derivative of order $0<\alpha <1$, $f: [a,b] \times \mathbb{R} \rightarrow \mathbb{R}$ is a given continuous function and $a^{*} \in \mathbb{R}.$

Inspired by ^[44,45], some monotone conditions and noncompactness measure conditions of nonlinearity $f$, we use the monotone iterative technique to establish the existence of solutions of fractional evolution equations in an order Banach space $E$ given by

where $0 < \alpha < 1,$ $0 \leq t_{0} \leq t \leq T < \infty$ and $u_{0} \in E$. Here $A : D(A) \subset E \rightarrow E$ is the infinitesimal generator of an analytic semigroup of uniformly bounded linear operators $\left\lbrace \mathscr{T}(t)\right\rbrace _{t \geq 0}$ on $E$. The nonlinearity $f : [t_{0},T]\times E \times E \times E \rightarrow E$ is a function involving the Volterra integral operator $G$ and the Fredholm integral operator $H$ defined by

where the integral kernel $g \in C(\Omega, \mathbb{R}^{+})$ and $\Omega = \{ (t,s) \in \mathbb{R}^{2} \,|\, t_{0} \leq s \leq t \leq T \}$, and

with the integral kernel $h \in C(\overline{\Omega}, \mathbb{R}^{+})$ and $\overline{\Omega} = \{ (t,s) \in \mathbb{R}^{2} \,|\, t_{0} \leq t,s \leq T \}.$

The motivation for this work is taken by Derbazi et al. ^[45] and we apply the same techniques used in ^[45]. However, the generalization of this problem to our work involves evolution operator $A$. Hence, in order to establish the existence of solutions, it is required to derive the form of fundamental solution in terms of a semigroup induced by resolvent with respect to the weight function $\varphi$. Moreover, we notice that our problem (1.3) can be reduced to the work of Derbazi et al. ^[45] when the evolution operator $A,$ and the operators $G$ and $H$ are taken to be zero operators on Banach space $E = \mathbb{R}$.

In this paper, we aim to derive a mild solution for the problem (1.3) in terms of semigroup depending on a function $\varphi$ from Caputo fractional derivative. In addition, we construct lower and upper solutions to prove the existence and uniqueness results of mild solution for the problem (1.3) under the condition that $\{\mathscr{T}(t)\}_{t \geq 0}$ do not require compactness by using the monotone iterative technique. Moreover, the results obtained in this work are in the abstract form based on a more general definition of $\varphi-$Caputo fractional derivative so that it can be extended and generalized some results in the literature such as the impulsive evolution equations ^[44,42], the evolution equations with delay and nonlocal conditions.

This manuscript is organized as follows. In Section 2, we recall basic concepts for fractional calculus and some known results used in the later. In section 3, we construct a mild solution of the Cauchy problem (1.3) in the form of operator semigroup involving a function $\varphi$ which is obtained from the generalized Caputo derivative and then give the definitions of lower and upper solutions. Next, we investigate the existence and uniqueness results of mild solutions for the Cauchy problem (1.3) under the assumption that $\{\mathscr{T}(t)\}_{t \geq 0}$ does not require compactness by using the monotone iterative method in Section 4. Moreover, we provide an example to illustrate the results obtained in Section 5 and conclusion in Section 6.

2.   Preliminaries

In this section, we recall some notations and definitions of fractional calculus and give auxiliary results which will be used in the sequel.

We begin by introducing some properties of cones on real Banach spaces $E$.

In cone $\mathscr{P}$, a partially ordered $\leq$ is defined which means if $x \leq y$ if and only if $y-x \in \mathscr{P}$. If $x \leq y$ and $x \neq y,$ then we denote $x < y$ or $y > x.$

Definition 2.1. ^[46] The cone $\mathscr{P}$ is called

(N) normal if there exists a constant $N>0$ such that $\|{x_{1}}\| \leq N \|{x_{2}}\|$ if $\theta \leq x_{1} \leq x_{2},$ for all $x_{1}, x_{2} \in E$. The least positive number satisfying above is called the normal constant of $\mathscr{P}$.

(R) regular if every increasing sequence which is bounded from above is convergent. That is, if $\{x_{n}\}_{n\geq 1}$ is a sequence such that

for some $y \in E,$ then there is $x \in E$ such that $\lim_{n \rightarrow \infty} \|{x_{n} -x}\| = 0.$

Lemma 2.2. ^[46,47]

(i). Every regular cone is normal.

(ii). The cone $\mathscr{P}$ is regular if and only if every decreasing sequence which is bounded from below is convergent.

Theorem 2.3. ^[48] Let $E$ be a weakly complete Banach space and $\mathscr{P}$ a cone in $E.$ Then, $\mathscr{P}$ is normal if and only if $\mathscr{P}$ is regular.

Definition 2.4. An operator family $\mathbb{S}(t) (t \geq 0)$ is said to be a positive operator in $E$ if for any $u \in \mathscr{P}$ and $t \geq 0$ such that $\mathbb{S}(t)u \geq \theta$.

Here, we assume that $E$ is an ordered Banach space with the norm $\|{\cdot}\|$ and the partial order $\leq$, whose positive cone $\mathscr{P} = \{x \in E : x \geq \theta \}$ ($\theta$ is the zero element of $E$) is normal with normal constant $N >0$.

Let $C([t_{0},T],E)$ be the Banach space of all continuous maps from $[t_{0},T]$ to $E$ with the norm $\|{u}\|_{C} = \sup_{t \in [t_{0},T]} \|{u(t)}\|$. For $x_{1}, x_{2} \in C([t_{0},T],E),$ $x_{1} \leq x_{2}$ if and only if $x_{1}(t) \leq x_{2}(t)$ for all $t \in [t_{0},T].$ For $v,w \in C([t_{0},T],E),$ denote the ordered interval $[v,w] = \{u \in C([t_{0},T],E): v \leq u \leq w\}$ and $[v(t),w(t)] = \{u \in E: v(t) \leq u \leq w(t)\}$ for all $t \in [t_{0},T].$

Next, we briefly highlight the definition and some basic properties of the $\varphi-$Caputo fractional derivative which are used throughout this paper.

Definition 2.5. ($\varphi$-Riemann-Liouville fractional integral, ^[14]) Let $\alpha > 0$, $u \in L^{1}([a,b])$ and $\varphi \in C^{1}([a,b])$ be a function such that $\varphi '(t)> 0$ for all $t \in [a,b].$ The $\varphi$-Riemann-Liouville fractional integral of order $\alpha$ of a function $u$ with respect to another function $\varphi$ is defined by

The above definition can be reduced to the classical Riemann-Liouville fractional integral when $\varphi(t) = t$.

Definition 2.6. ($\varphi$-Riemann-Liouville fractional derivative, ^[14] ) Let $\alpha> 0$, $n \in \mathbb{N}$ and $u, \varphi \in C^{n}([a,b])$ be two functions such that $\varphi '(t)>0$, for all $t \in [a,b]$. The $\varphi$-Riemann-Liouville fractional derivative of a function $u$ of order $\alpha$ is defined by

where $n = \left[\alpha \right]+1.$

Definition 2.7. ($\varphi$-Caputo fractional derivative, ^[14,15]) Let $\alpha> 0$, $n \in \mathbb{N}$ and $u, \varphi \in C^{n}([a,b])$ be two functions such that $\varphi '(t)>0$ for all $t \in [a,b]$. The $\varphi$-Caputo fractional derivative of a function $u$ of order $\alpha$ is defined by

where $n = \left[\alpha \right]+1$ and $u^{\left[n \right]}(t) : = \left(\dfrac{1}{\varphi '(t)}\dfrac{d}{dt} \right)^{n}u(t)$ on $[a,b].$

Lemma 2.8. ^[14] Let $\alpha > 0.$ If $u \in C^{n}([a,b])$ then

In particular, given $\alpha \in(0,1),$ we have

Definition 2.9. ^[15] Let $u$ and $\varphi$ be real valued functions on $[a, \infty)$ such that $\varphi(t)$ is continuous and $\varphi '(t) > 0$ on $[a, \infty).$ The generalized Laplace transform of $u$ is defined by

for all $s.$

Definition 2.10. ^[15] Let $u$ and $v$ be piecewise continuous functions on an interval $[a,b]$ and of exponential order. The generalized convolution of $u$ and $v$ is defined as

Theorem 2.11. (Gronwall’s inequality, ^[49,50]) Let $\varphi \in C^{1}([a,b])$ be a function such that $\varphi '(t) >0$ for all $t \in [a,b].$ Suppose that

(i) $u$ and $v$ are nonnegative and integrable functions;

(ii) $w$ is nonnegative continuous and nondecreasing function on $[a, b]$

with

Then

for all $t \in [a,b].$

Definition 2.12. ^[51,52] Let $0< \alpha <1$ and $z \in \mathbb{C}$. The function $\phi_{\alpha}$ defined by

is called Wright type function.

Proposition 2.13. ^[51,52] The Wright type function $\phi_{\alpha}$ is an entire function and has the following properties:

(i) $\phi_{\alpha}(\theta) \geq 0$ for $\theta \geq 0$ and $\int_{0}^{\infty} \phi_{\alpha}(\theta) d \theta = 1$;

(ii) $\int_{0}^{\infty} \phi_{\alpha}(\theta) \theta^{r}d \theta = \dfrac{\Gamma\left( 1+r\right) }{\Gamma\left( 1+\alpha r\right) }$ \quad for $r >-1$;

(iii) $\int_{0}^{\infty} \phi_{\alpha}(\theta) e^{-z \theta}d \theta = E_{\alpha}(-z), \quad z \in \mathbb{C};$

(iv) $\alpha \int_{0}^{\infty} \theta\phi_{\alpha}(\theta) e^{-z \theta}d \theta = E_{\alpha, \alpha}(-z), \quad z \in \mathbb{C}$

where $E_{\alpha}(z) = \sum_{k = 0}^{\infty} \dfrac{z^{k}}{\Gamma(k \alpha +1)}$ is the Mittag-Leffler function with $z \in \mathbb{C}$ and $\alpha>0.$

Now, we recall the definition and some properties of Kuratowski measure of noncompactness.

Definition 2.14. ^[53] Let $B$ be a bounded set of Banach space $E$. The Kuratowski measure of noncompactness $\mu(\cdot)$ is defined by

where $\text{diam}(B_{i}) = \sup\{\lvert{y-x}\rvert \,:\, x,y \in B_{i} \}$ for $i = 1,2, \dots n \in \mathbb{N}$.

Lemma 2.15. ^[54] Let $C$ and $D$ be bounded subsets of a Banach space $E$. The noncompactness measure which satisfies the following properties:

(i) $D$ is precompact if and only if $\mu(D) = 0$;

(ii) $\mu(C \cup D) = \max \left\lbrace {\mu(C) ,\mu(D) }\right\rbrace$ ;

(iii) $\mu(C+D) \leq \mu(C)+ \mu(D)$;

(iv) $\mu(\lambda C) = \lvert{\lambda}\rvert\mu(C)$ where $\lambda \in \mathbb{R}$;

(v) Let $X$ be another Banach space. If $\mathbb{S}: D(\mathbb{S})\subset E \rightarrow X$ satisfies Lipschitz continuity with constant $L,$ then

for any bounded subset $B \subset D(\mathbb{S})$.

Lemma 2.16. ^[54] If $B \subset C([t_{0},T], E)$ is bounded and equicontinuity, then $\mu(B(t))$ is continuous on $[t_{0},T],$ and

where $B(t) = \{u(t) : u \in B\}$ for all $t \in [t_{0},T].$

Lemma 2.17. ^[55] If $B \subset C([t_{0},T],E)$ is bounded and equicontinuous, then $\mu(B(t))$ is continuous on $[t_{0},T],$ and

Lemma 2.18. ^[56] If $B = \{u_{n}\}_{n = 1}^{\infty} \subset C([t_{0},T],E)$ be a bounded and countable set, then $\mu(B(t))$ is Lebesgue integral on $[t_{0},T]$, and

Throughout this work, $A$ is assumed to be the infinitesimal generator of a strongly continuous semigroup (i.e., $C_{0}$-semigroup) of uniformly bounded linear operators $\left\lbrace \mathscr{T}(t)\right\rbrace _{t \geq 0}$ on $E$ with

3.   A mild solution for $\varphi-$Caputo fractional evolution equations

In this section, we derive the mild solution of the Cauchy problem (1.3) based on the semigroup theory and generalized Laplace transform.

Lemma 3.1. Assume $v \in C([t_{0},T], E)$ and $0 < \alpha < 1.$ The mild solution of the linear Cauchy problem

is given by

where the operators $S_{\alpha;{\varphi}}(t,s)$ and $T_{\alpha;{\varphi}}(t,s)$ are defined by

and

for $0\leq s \leq t \leq T$ and $u \in E.$

Proof. The proof follows similar ideas as in ^[57]. Firstly, we apply the Definition 2.7 and Lemma 2.8 into the Cauchy problem (3.1). It can be rewritten the Cauchy problem (3.1) in form of the integral representation as

Taking the generalized Laplace transforms to both sides of (3.5), we get that for $\lambda >0$,

where

and

Substituting $\eta = \varphi (t) - \varphi (t_{0})$ into $J_{1}$ and $J_{2}$ gives

and

The following one-sided stable probability density in ^[2] is considered by

whose integration is given by

Applying (3.6) to $J_{1}$ and $J_{2}$, it follows that

and

It follows that

Hence, we apply the inverse Laplace transform to get

where $\phi_{\alpha}(\theta) = \frac{1}{\alpha} \theta^{-1-\frac{1}{\alpha}}\rho_{\alpha}(\theta^{-\frac{1}{\alpha}})$ is the probability density function defined on $(0, \infty).$

Lemma 3.2. ^[57] The operators $S_{\alpha;{\varphi}}$ and $T_{\alpha;{\varphi}}$ have the following properties:

(i) For any fixed $0 \leq s \leq t$, $S_{\alpha;{\varphi}}(t,s)$ and $T_{\alpha;{\varphi}}(t,s)$ are bounded linear operators with

for all $u \in E.$

(ii) The operators $S_{\alpha;{\varphi}}(t,s)$ and $T_{\alpha;{\varphi}}(t,s)$ are strongly continuous for all $0 \leq s \leq t,$ that is, for every $u \in E$ and $0 \leq s \leq t_{1} < t_{2}\leq T$ we have

as $t_{1} \rightarrow t_{2}.$

Definition 3.3. A function $u \in C([t_{0},T],E)$ is called a mild solution of (1.3) if it satisfies

where the operators $S_{\alpha;{\varphi}}$ and $T_{\alpha;{\varphi}}$ are defined by (3.3) and (3.4), respectively.

From Definition 2.4, if $\mathscr{T}(t) (t \geq 0)$ is a positive semigroup generated by $-A$, $f$ and $u_{0}$ are nonnegaive, then the mild solution $u \in C([t_{0},T],E)$ of Cauchy problem (1.3) satisfies $u \geq \theta.$

Definition 3.4. A function $\underline{u} \in C([t_{0},T],E)$ is called a lower solution of problem (1.3) and satisfies

Analogously, a function $\overline{u} \in C([t_{0},T],E)$ is called a upper solution of problem (1.3) and satisfies

4.   Main results

Before stating and proving the main results, we introduce following assumptions:

(H₁) There exists lower and upper solutions $\underline{u}_{0}, \overline{u}_{0} \in C([t_{0},T],E)$ of Cauchy problem (1.3) respectively, such that $\underline{u}_{0} \leq \overline{u}_{0}.$

(H₂) The nonlinear term $f$ is a function in $C([t_{0},T] \times E \times E \times E, E)$ and there exists a nonnegative constant $C$ such that

for any $t \in [t_{0},T],$ $\underline{u}_{0}(t) \leq u_{1} \leq u_{2} \leq \overline{u}_{0}(t),$ $G \underline{u}_{0}(t) \leq v_{1} \leq v_{2} \leq G\overline{u}_{0}(t)$ and $H \underline{u}_{0}(t) \leq w_{1} \leq w_{2} \leq H\overline{u}_{0}(t) .$

(H₃) There exist nonnegative constants $L_{1}, L_{2}, L_{3}$ such that for any bounded and countable sets $B_{1}, B_{2}, B_{3} \subset E$

for $t \in [t_{0},T].$

(H₄) There are nonnegative constants $S_{1},S_{2}, S_{3}$ such that

for any $t \in [t_{0},T],$ $\underline{u}_{0}(t) \leq u_{1} \leq u_{2} \leq \overline{u}_{0}(t),$ $G \underline{u}_{0}(t) \leq v_{1} \leq v_{2} \leq G\overline{u}_{0}(t)$ and $H \underline{u}_{0}(t) \leq w_{1} \leq w_{2} \leq H\overline{u}_{0}(t) .$

For convenience, we write $G^{*} = \max_{(t,s)\in \Omega} \lvert{ g(t,s)}\rvert$, and $H^{*} = \max_{(t,s)\in \overline{\Omega}} \lvert{h(t,s)}\rvert$.

Theorem 4.1. Let $E$ be an ordered Banach space, whose positive cone $\mathscr{P}$ is normal with normal constant $N.$ Assume that (H$_1$)-(H$_3$) holds with $\mathscr{T}(t) (t \geq 0 )$ is positive and

Then, the Cauchy problem (1.3) has the minimal and maximal mild solutions between $\underline{u}_{0}$ and $\overline{u}_{0}$ which can be iteratively constructed by monotone sequence starting from $\underline{u}_{0}$ and $\overline{u}_{0}$, respectively.

Proof. Let $D = [\underline{u}_{0},\overline{u}_{0}] = \{ v \in C([t_{0},T], E) \,|\, \underline{u}_{0} \leq v \leq \overline{u}_{0} \}$ and we define an operator $\mathscr{Q}:D\rightarrow C([t_{0},T] ,E)$ by

First, we will verify that $\mathscr{Q}:D \rightarrow D$ is monotone increasing. For $u_{1}, u_{2} \in D$ and $u_{1} \leq u_{2}$, by the positivity of operators ${S_{\alpha;{\varphi}}(t,s)}$ and ${T_{\alpha;{\varphi}}(t,s)}$ for $t_{0} \leq s \leq t \leq T$, and (H$_2$), we have

which implies $\mathscr{Q}u_{1} \leq \mathscr{Q}u_{2}.$ Let $\rho(t) = {^{C}D_{t_{0}}^{\alpha; {\varphi}}}{\underline{u}_{0}(t)} - A \underline{u}_{0}(t)+C\underline{u}_{0}(t).$ By Definition 3.4, we obtain $\rho(t) \leq f(t,\underline{u}_{0}(t),G\underline{u}_{0}(t),H\underline{u}_{0}(t))+C \underline{u}_{0}(t),$ for $t \in [t_{0},T].$ From Lemma 3.1, and the positivity of operators ${S_{\alpha;{\varphi}}(t,s)}$ and ${T_{\alpha;{\varphi}}(t,s)}$ for $t_{0} \leq s \leq t \leq T,$ we have

and hence $\underline{u}_{0} \leq \mathscr{Q}\underline{u}_{0}.$ Similarly, we can show that $\mathscr{Q}\overline{u}_{0} \leq \overline{u}_{0}.$ This implies that for $u \in D$

Hence, $\mathscr{Q}$ is an increasing monotonic operator.

Now, we define two sequences $\{\underline{u}_{n}\}$ and $\{\overline{u}_{n}\}$ in $D$ by the iterative scheme

Then, by the monotonicity of $\mathscr{Q},$ it follows that

Next, we claim that $\{\underline{u}_{n}\}$ and $\{\overline{u}_{n}\}$ are uniformly convergent in $[t_{0},T]$. Let $B = \{\underline{u}_{n} \,\, | \,\, n \in \mathbb{N}\}$ and $B_{0} = \{\underline{u}_{n-1} \,\, | \,\, n \in \mathbb{N}\}.$ Then $B_{0} = B \cup \{\underline{u}_{0}\}$ and hence $\mu \left( B(t)\right) = \mu \left( B_{0}(t)\right)$ for $t \in [t_{0},T].$

In view of (4.2), since the positive cone $\mathscr{P}$ is normal, then $B_{0}$ and $B$ are bounded in $C([t_{0},T],E).$

Now, we prove that $\mathscr{Q}(B)$ is equicontinuous. For any $u \in D,$ by (H$_2$), we have

By the normality of the positive cone $\mathscr{P},$ there exists a constant $K>0$ such that

For any $\underline{u}_{n} \in B$ and $t_{0} \leq t_{1} < t_{2} \leq T,$ we have

By Lemma 3.2, it is clear that $J_{1} \rightarrow 0$ as $t_{1} \rightarrow t_{2}$ and we obtain

and

and hence $J_{2} \rightarrow 0$ and $J_{3} \rightarrow 0$ as $t_{2} \rightarrow t_{1}.$ For $t_{1} = 0$ and $0<t_{2}\leq T,$ it is easy to see that $J_{4} = 0$. Then, for any $\varepsilon \in (0,t_{1}),$ we have

By Lemma 3.2, it follows that $J_{4} \rightarrow 0$ as $t_{2} \rightarrow t_{1}$ and $\varepsilon \rightarrow 0$. Thus, we obtain

which means that $\mathscr{Q}(B)$ is equicontinuous.

For $t \in [t_{0},T],$ by Lemma 2.18 we have

and

Since the sequence $\{\underline{u}_{n-1}(t_{0}) \}_{n = 1}^{\infty}$ is convergent, we obtain $\mu \left( \{\underline{u}_{n-1}(t_{0}) \}_{n = 1}^{\infty}\right) = 0$. For any $t \in [t_{0},T],$ by (H$_3$) and Lemma 2.17 and Lemma 2.18 we have

Since $\{\mathscr{Q}\underline{u}_{n}\}_{n = 0}^{\infty}$ is equicontinuous on $[t_{0},T]$ and by Lemma 2.16, we get

Since $R <1,$ we obtain $\mu \left( B\right) = 0.$ Hence the set $B$ is relatively compact in $E$ and so there is a convergent subsequence of $\{ \underline{u}_{n}\}$ in $E.$ Combining this with the monotonicity (4.2), we can prove that $\{ \underline{u}_{n}\}$ itself is convergent, i.e., $\lim_{n \rightarrow \infty} \underline{u}_{n}(t) = \underline{u}(t), \, t \in [t_{0},T].$ Similarly, we can prove that $\lim_{n \rightarrow \infty}\overline{u}_{n}(t) = \overline{u}(t), \, t \in [t_{0},T].$

For any $t \in [t_{0},T],$ we see that

Taking $n \rightarrow \infty$ in the above equality, by the Lebesgue dominated convergence theorem, we obtain

Similarly, we can prove that there exists $\overline{u} \in C([t_{0},T],E)$ such that $\overline{u} = \mathscr{Q}\overline{u}.$

Combining this fact with monotonicity (4.2) we notice that

Now, we will claim that $\underline{u}$ and $\overline{u}$ are the minimal and maximal fixed points of $\mathscr{Q}$ on $[\underline{u}_{0},\overline{u}_{0}]$, respectively. For any $u \in D$ and $u$ is a fixed point of $\mathscr{Q},$ we have

By induction, we obtain $\underline{u}_{n} \leq u \leq \overline{u}_{n}$ for all $n \in \mathbb{N}.$ From (4.2) and taking the limit as $n \rightarrow \infty$, we conclude that

Thus, $\underline{u}$ and $\overline{u}$ are minimal and maximal mild solutions of the Cauchy problem (1.3) on $[\underline{u}_{0},\overline{u}_{0}]$, respectively, and $\underline{u},$ $\overline{u}$ can be obtained by the iterative scheme (4.1) starting from $\underline{u}_{0}$ and $\overline{u}_{0}$, respectively.

Corollary 4.2. Let $E$ be an ordered Banach space, whose positive cone $\mathscr{P}$ is regular and (H$_1$)-(H$_3$) hold with $\mathscr{T}(t) (t \geq 0 )$ is positive. Then, the Cauchy problem (1.3) has the minimal and maximal mild solutions between $\underline{u}_{0}$ and $\overline{u}_{0}$ which can be iteratively constructed by monotone sequence starting from $\underline{u}_{0}$ and $\overline{u}_{0}$, respectively.

Proof. As (H$_2$) and (H$_3$) are satisfied, we have that the sequences $\{\underline{u}_{n}\}$ and $\{\overline{u}_{n}\}$ defined by (4.1) satisfies (4.2). Since the positive cone $\mathscr{P}$ is regular, we obtain that any monotonic and ordered-bounded sequence is convergent, and hence there are $\underline{u}^{*}, \overline{u}^{*}\in C([t_{0},T], E)$ such that

It follows from the proof of Theorem 4.1 that the statement of this theorem is satisfied.

Corollary 4.3. Suppose $E$ is a partially ordered and weakly sequentially complete Banach space with normal positive cone $\mathscr{P}.$ Assume that (H$_1$)-(H$_2$) hold with $\mathscr{T}(t) (t \geq 0 )$ is positive. Then, the Cauchy problem (1.3) has extremal mild solutions in $[\underline{u}_{0},\overline{u}_{0}].$

Proof. Since $E$ is an ordered and weakly sequentially complete Banach space, the cone $\mathscr{P}$ is regular by Theorem 2.3. By the proof of Theorem 4.1, we have that the sequences $\{\underline{u}_{n}\}$ and $\{\overline{u}_{n}\}$ defined by (4.1) satisfies (4.2).

Let $\{u_{n}\}$ be an increasing or a decreasing sequence with $\{u_{n}\} \subset \left[ \underline{u}_{0}(t) , \overline{u}_{0}(t)\right].$ Then by the condition (H$_2$), the sequence $\{f (t, u_{n},Gu_{n},Hu_{n}) +Cu_{n}\}$ is a monotonic and order-bounded sequence, so $\mu \{f (t, u_{n},Gu_{n},Hu_{n})+Cu_{n}\} = 0$. Thus, by the properties of the measure of noncompactness, we obtain

Hence, the condition (H$_3$) holds.

By the proof of Theorem 4.1, we obtain that the sequences are uniformly convergent. Let $\underline{u}(t) = \lim_{n \rightarrow \infty} \underline{u}_{n}(t)$ and $\overline{u}(t) = \lim_{n \rightarrow \infty} \overline{u}_{n}(t),$ for $t \in [t_{0},T].$ By Lebesgue dominated convergence theorem, we obtain

with $\underline{u}, \overline{u}\in C([t_{0},T], E).$ Hence $\underline{u}$ and $\overline{u}$ are a mild solutions for (1.3). If $u \in D$ and $u = \mathscr{Q}u$, then

From the process of induction, $\underline{u}_{n} \leq u \leq \overline{u}_{n}$ and $\underline{u}_{0} \leq\underline{u} \leq u \leq \overline{u} \leq \overline{u}_{0}$ as $n \rightarrow \infty.$ This means $\underline{u}$ is the minimal and $\overline{u}$ is the maximal mild solution for (1.3).

Next, we will prove the uniqueness of solution of the Cauchy problem (1.3) by using monotone technique. To this end, we replace (H$_3$) by (H$_4$) .

Theorem 4.4. Let $E$ be an ordered Banach space, whose positive cone $\mathscr{P}$ is normal with normal constant $N.$ Assume that $\mathscr{T}(t) (t \geq 0)$ is positive and the assumption (H$_1$)-(H$_2$) and (H$_4$) hold. If

then the Cauchy problem (1.3) has the unique mild solution between between $\underline{u}_{0}$ and $\overline{u}_{0}$ which can be iteratively constructed by monotone sequence starting from $\underline{u}_{0}$ and $\overline{u}_{0}$, respectively.

Proof. For $t \in [t_{0},T]$, let $\{ u_{n} \} \subset [\underline{u}_{0},\overline{u}_{0}],$ $\{ v_{n} \} \subset [G\underline{u}_{0},G\overline{u}_{0}]$ and $\{ w_{n} \} \subset [H\underline{u}_{0},H\overline{u}_{0}]$ be an increasing sequence. For $m, n = 1, 2, \dots$ with $m>n$, by (H$_2$) and (H$_4$), we have

By the normality of cone $\mathscr{P}$ it follows that

From the definition of the measure of noncompactness, we have

where $L_{1} = NS_{1} + NC +C,$ $L_{2} = NS_{2}$ and $L_{3} = NS_{3}$. Hence, (H$_3$) holds. Therefore, by Theorem 4.1, the Cauchy problem (1.3) has the minimal mild solution $\underline{u}$ and the maximal mild solution $\overline{u}$ on $D = [\underline{u}_{0}, \overline{u}_{0}]$. In view of the proof of Theorem 4.1, we show that $\underline{u} = \overline{u}$. For $t \in [t_{0},T],$ by the positivity of operator ${T_{\alpha;{\varphi}}}$, we have

Since the positive cone $\mathscr{P}$ is normal, we obtain

By Theorem 2.11, we get $\underline{u} = \overline{u}$ on $[t_{0},T].$ Hence, $\underline{u} = \overline{u}$ is the the unique mild solution of the Cauchy problem (1.3) on $D$. By the proof of Theorem 4.1, the solution can be obtained by a monotone iterative procedure starting from $\underline{u}_{0}$ or $\overline{u}_{0}$.

Similar to Corollary 4.2 and Corollary 4.3, we obtain the following result.

Corollary 4.5. Assume that $\mathscr{T}(t) (t \geq 0)$ is positive and the assumption (H$_1$)-(H$_2$) and (H$_4$) hold. One of the following conditions is satisfied:

(i) $E$ is an ordered Banach space, whose positive cone $\mathscr{P}$ is regular;

(ii) $E$ is an ordered and weakly sequentially complete Banach space, whose positive cone $\mathscr{P}$ is normal with normal constant $N,$

then the Cauchy problem (1.3) has the unique mild solution between $\underline{u}_{0}$ or $\overline{u}_{0}$, which can be obtained which can be iteratively constructed by monotone sequence starting from $\underline{u}_{0}$ and $\overline{u}_{0}$, respectively.

5.   Example

We consider the following initial-boundary value problem of time-fractional parabolic partial differential equation with nonlinear source term:

where $\alpha \in (0,1)$ and $u_{0} \geq 0.$

Let $E = L^{2}([0, \pi])$ and $\mathscr{P} = \left\lbrace { y \in E \mid y \geq \theta }\right\rbrace.$ Then $\mathscr{P}$ is normal cone in Banach space $E$ with normal constant $N = 1.$ Define the operator $A : D(A) \subset E \rightarrow E$ as follows:

with the domain

It is well known that $A$ generates an analytic semigroup of uniformly bounded analytic semigroup $\left\lbrace \mathscr{T}(t)\right\rbrace _{t \geq 0}$ in $E$ with $\mathscr{T}(t)$ is positive and $\|{\mathscr{T}(t)}\| \leq 1$ for $t \geq 0$.

Further, for any $t \in [0,1],$ we define

and

Then the problem $(5.1)$ can be reformulated as the Cauchy problem (1.3) in $E$.

Let $\underline{u}_{0}(x,t) = 0$ for $(x,t) \in [0,\pi]\times [0,1].$ Then

Let $\overline{u}_{0} = v$ be the positive solution of the following problem:

which can be obtained by modifying the proof of Theorem 5.1 in ^[57]. It is clearly seen that $\underline{u}$ and $\overline{u}$ are lower and upper solutions, respectively and $\underline{u}_{0} \leq \overline{u}_{0}$.

Suppose that $\left\lbrace {u_{n}}\right\rbrace \subset [\underline{u}_{0},\overline{u}_{0} ]$ is a monotone increasing sequence. Then, we have that for each $n \leq m$

By normality of $\mathscr{P},$ we have

and hence by Lemma 2.15

This implies that the conditions (H$_2$) - (H$_3$) are satisfies with $L_{1} = \dfrac{1}{4}, L_{2} = \dfrac{1}{50}$ and $L_{3} = \dfrac{1}{34}$.

For example $\alpha = \frac{3}{7}$ and $\varphi(t) = 2^{t}.$ Then, upon computation, we get

where $G^{*} = H^{*} = T = 1$ and $C = 0$. Therefore, by Theorem 4.1, we obtain that the minimal and maximal mild solutions for the Cauchy problem (5.1) are between the lower solution $\underline{u}_{0}$ and upper solution $\overline{u}_{0}$.

Moreover, the condition (H$_4$) is satisfied with $S_{1} = \dfrac{1}{4}$, $S_{2} = \dfrac{1}{50}$ and $S_{3} = \dfrac{1}{34}$. Then, the Cauchy problem (5.1) has a unique mild solution between the lower and upper solutions by Theorem 4.4.

6.   Conclusions

This paper investigates the existence and uniqueness results of mild solutions for $\varphi-$Caputo fractional integro-differential evolution equations. The method is inspired by using the monotone iterative technique involving lower and upper solutions, some existence and uniqueness result of mild solutions for $\varphi-$Caputo fractional integro-differential evolution equations has been proved. Here, the compactness condition of $C_{0}$-semigroup ${\left\lbrace \mathscr{T}(t)\right\rbrace}_{t\geq 0}$ does not require.

The authors would like to thank referees for valuable comments and suggestions to improve the manuscript.

Conflict of interest

The authors declare no conflict of interest in this paper.