Attractivity for a k-dimensional system of fractional functional differential equations and global attractivity for a k-dimensional system of nonlinear fractional differential equations

Abstract

In this paper, we present some results for the attractivity of solutions for a k-dimensional system of fractional functional differential equations involving the Caputo fractional derivative by using the classical Schauder’s fixed-point theorem. Also, the global attractivity of solutions for a k-dimensional system of fractional differential equations involving Riemann-Liouville fractional derivative are obtained by using Krasnoselskii’s fixed-point theorem. We give two examples to illustrate our main results.

1 Introduction

In recent years, many researchers have been focused on investigation of fractional differential equations which has played an important role in different areas of science (see for example, [1–22] and the references therein). As you know, there are many practical applications of fractional differential equations in different fields of science such as economy, biology, and the study of forced van der Pol oscillators (see for example, [23–25] and the references therein). On the other hand, there are a few papers on the attractivity of solutions for fractional differential equations and fractional functional differential equations (see for example, [15] and [16]). For the details of basic notions of this paper such the standard Caputo fractional derivative, the standard Riemann-Liouville fractional derivative, and the fractional integral of order q for a function f see [18]. In 2011, Chen and Zhou reviewed the attractivity of solutions for the fractional functional differential equation ${}^{c}D^{\alpha }x(t)=f(t,x_t)$ for $t\in (t_0,\mathrm{\infty })$ via the boundary value condition $x(t)=\varphi (t)$ for $t_0-r\le t\le t_0$, where $t_0\ge 0$, $r>0$, $0<\alpha <1$, ^cD is the standard Caputo fractional derivative, $\varphi \in C([t_0-r,t_0],\mathbb{R})$ and $f:(t_0,\mathrm{\infty })\times C([-r,0],\mathbb{R})\to \mathbb{R}$ a function with some properties [16]. In 2012, Chen et al. reviewed the global attractivity of solutions for the nonlinear fractional differential equation $D^{\alpha }x(t)=g(t,x(t))$ for $t\in (t_0,\mathrm{\infty })$ via the boundary value problem ${[D^{\alpha -1}x(t)]}_{t=t_0}=x_0$, where $t_0\ge 0$, $0<\alpha <1$, $x_0$ is a constant, D is the standard Riemann-Liouville fractional derivative, and $g:(t_0,\mathrm{\infty })\times \mathbb{R}\to \mathbb{R}$ a function with some properties [15]. Also, they investigated the global attractivity of solutions for the nonlinear fractional differential equation ${}^{c}D^{\alpha }x(t)=g(t,x(t))$ for $t\in (t_0,\mathrm{\infty })$ via the boundary value problem $x(t_0)=x_0$, where $t_0\ge 0$, $0<\alpha <1$, $x_0$ is a constant, ^cD is the standard Caputo fractional derivative, and $g:(t_0,\mathrm{\infty })\times \mathbb{R}\to \mathbb{R}$ a function with some properties [15].

In this paper, we investigate the attractivity of solutions for a k-dimensional system of fractional differential equations. Also, we investigate the global attractivity of solutions for another k-dimensional system of nonlinear fractional differential equations.

2 Preliminaries

In this paper, we investigate the attractivity of solutions for k-dimensional system of fractional functional differential equations

$$\{\begin{array}{l}{}^{c}D^{{\alpha }_1}{x}_1(t)=f_1(t,x_{1_t},x_{2_t},\dots ,x_{k_t}),\\ {}^{c}D^{{\alpha }_2}{x}_2(t)=f_2(t,x_{1_t},x_{2_t},\dots ,x_{k_t}),\\ ⋮\\ {}^{c}D^{{\alpha }_k}{x}_k(t)=f_k(t,x_{1_t},x_{2_t},\dots ,x_{k_t}),\end{array}$$

(2.1)

via the boundary value problems $x_1(t)={\varphi }_1(t),x_2(t)={\varphi }_2(t),\dots ,x_k(t)={\varphi }_k(t)$ for $t_0-r\le t\le t_0$, where $0<{\alpha }_i<1$ for $i=1,2,\dots ,k$, $t_0\ge 0$, $t\in (t_0,\mathrm{\infty })$, ^cD is the standard Caputo fractional derivative, $J=(t_0,\mathrm{\infty })$, $r>0$, ${\varphi }_i\in C([t_0-r,t_0],{\mathbb{R}}^n)$ for $i=1,2,\dots ,k$ and $f_i:J\times C([-r,0],{\mathbb{R}}^n)\times C([-r,0],{\mathbb{R}}^n)\times \cdots \times C([-r,0],{\mathbb{R}}^n)\to {\mathbb{R}}^n$ is a function satisfying some assumptions that will be specified later for $i=1,2,\dots ,k$. If $x\in C([t_0-r,\mathrm{\infty }),{\mathbb{R}}^n)$, then $x_t$ is defined by $x_t(\theta )=x(t+\theta )$ for $-r\le \theta \le 0$ and $t\in [t_0,\mathrm{\infty })$. Also, we investigate the global attractivity of solutions for the k-dimensional system of nonlinear fractional differential equations

$$\{\begin{array}{l}{D}^{{\alpha }_1}{x}_1(t)=g_1(t,x_1(t),x_2(t),\dots ,x_k(t)),\\ D^{{\alpha }_2}{x}_2(t)=g_2(t,x_1(t),x_2(t),\dots ,x_k(t)),\\ ⋮\\ D^{{\alpha }_k}{x}_k(t)=g_k(t,x_1(t),x_2(t),\dots ,x_k(t)),\end{array}$$

(2.2)

via the boundary value problems ${[D^{{\alpha }_1-1}{x}_1(t)]}_{t=t_0}=x_1^0,{[D^{{\alpha }_2-1}{x}_2(t)]}_{t=t_0}=x_2^0,\dots ,{[D^{{\alpha }_k-1}{x}_k(t)]}_{t=t_0}=x_k^0$, where $0<{\alpha }_i<1$ for $i=1,2,\dots ,k$, $t_0\ge 0$, $t\in (t_0,\mathrm{\infty })$, D is the Riemann-Liouville fractional derivative, $J=(t_0,\mathrm{\infty })$, $x_1^0,\dots ,x_k^0$ are constants, and $g_i:J\times {\mathbb{R}}^n\times {\mathbb{R}}^n\times \cdots \times {\mathbb{R}}^n\to {\mathbb{R}}^n$ is an integrable function satisfying some assumptions that will be specified later for $i=1,2,\dots ,k$. In fact, we say that the solution $(x_1(t),x_2(t),\dots ,x_k(t))$ of the problem (2.1) is attractive whenever if there exists a constant $b_i^0(t_0)>0$ such that $|{\varphi }_i(s)|\le b_i^0$ for all $i=1,2,\dots ,k$ and $s\in [t_0-r,t_0]$, then ${lim}_{t\to \mathrm{\infty }}{x}_i(t,t_0,{\varphi }_i)\to 0$. Also, the zero solution $x(t)$ of the problem (2.2) is said to be globally attractive whenever each solution tends to zero as $t\to \mathrm{\infty }$. Let $X=C(J,{\mathbb{R}}^n)$ be the Banach space of all continuous functions from J into ${\mathbb{R}}^n$ with the norm $\parallel x\parallel ={sup}_{t\in J}|x(t)|$, where $|\cdot |$ denotes a suitable complete norm on ${\mathbb{R}}^n$. It is clear that the product space is also a Banach space, where ${\parallel (x_1,x_2,\dots ,x_k)\parallel }_{\ast }=\parallel x_1\parallel +\parallel x_2\parallel +\cdots +\parallel x_k\parallel$. We need the following Schauder fixed-point theorem and improvement of a fixed-point theorem of Krasnoselskii due to Burton, which one can find in [14, 17] and [19].

Theorem 2.1 If U is a nonempty, closed, bounded, and convex subset of the Banach space X and $T:U\to U$ is completely continuous, then T has a fixed point.

Theorem 2.2 Let S be a nonempty, closed, convex, and bounded subset of the Banach space X, $A:X\to X$ a contraction with constant $l<1$, $B:S\to X$ a continuous map which $B(S)$ resides in a compact subset of X and $x=Ax+By$ and $y\in S$ implies $x\in S$. Then the operator equation $Ax+Bx=x$ has a solution in S.

3 Main results

First, we investigate attractive solutions of the problem (2.1). In this way, suppose that $\parallel x_t\parallel ={sup}_{-r\le \theta \le 0}|x(t+\theta )|$ for $t\in J$. We assume that $f_i(t,x_{1_t},x_{2_t},\dots ,x_{k_t})$ is Lebesgue measurable with respect to t on $[t_0,\mathrm{\infty })$ and $f_i(t,{\phi }_1,{\phi }_2,\dots ,{\phi }_k)$ is continuous with respect to ${\phi }_j$ on $C([-r,0],{\mathbb{R}}^n)$ for $i,j=1,2,\dots ,k$. Note that the problem (2.1) is equivalent to the system of equations

$$x_i(t)=\{\begin{array}{ll}{\varphi }_i(t_0)+\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{f}_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})ds,& t>t_0,\\ {\varphi }_i(t),& t\in [t_0-r,t_0]\end{array}$$

or

$$x_i(t)=\{\begin{array}{ll}\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}[\frac{{\varphi }_i(t_0)}{\mathrm{\Gamma }(1-{\alpha }_i)}{(s-t_0)}^{-{\alpha }_i}+f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})]ds,& t>t_0,\\ {\varphi }_i(t),& t\in [t_0-r,t_0]\end{array}$$

for $i=1,2,\dots ,k$. Define the operator $T:X^k\to X^k$ by

$$T(x_1,x_2,\dots ,x_k)(t)=\left(\begin{array}{l}{T}_1(x_1,x_2,\dots ,x_k)(t)\\ T_2(x_1,x_2,\dots ,x_k)(t)\\ ⋮\\ T_k(x_1,x_2,\dots ,x_k)(t)\end{array}\right),$$

where

$$T_i(x_1,x_2,\dots ,x_k)(t)=\{\begin{array}{ll}{\varphi }_i(t_0)+\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{f}_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})ds,& t>t_0,\\ {\varphi }_i(t),& t\in [t_0-r,t_0]\end{array}$$

for $i=1,2,\dots ,k$. It is easy to check that $(x_1(t),x_2(t),\dots ,x_k(t))$ is a solution of the problem (2.1) if and only if $(x_1(t),x_2(t),\dots ,x_k(t))$ is a fixed point of the operator T.

Theorem 3.1 Suppose that for each $i\in \{1,2,\dots ,k\}$ there exist ${\gamma }_{i1}>0$ and ${\alpha }_{i1}\in (0,{\alpha }_i)$ such that

$$|{\varphi }_i(t_0)+\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{f}_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})ds|\le {(t-t_0)}^{-{\gamma }_{i1}}$$

for all $t\in J$ and $f_i\in L^{\frac{1}{{\alpha }_{i1}}}(J\times C([-r,0],{\mathbb{R}}^n)\times C([-r,0],{\mathbb{R}}^n)\times \cdots \times C([-r,0],{\mathbb{R}}^n),{\mathbb{R}}^n)$. Then the problem (2.1) has at least one attractive solution $(x_1,x_2,\dots ,x_k)$ such that $x_i\in C([t_0-r,\mathrm{\infty }),{\mathbb{R}}^n)$ for all $i=1,2,\dots ,k$.

Proof Consider the set

$$\begin{array}{rl}{S}_1=& \{(x_1,x_2,\dots ,x_k):x_i\in C([t_0-r,\mathrm{\infty }),{\mathbb{R}}^n),|x_i(t)|\le {(t-t_0)}^{-{\gamma }_{i1}}\\ \text{for all }i=1,2,\dots ,k\text{ and }t\ge \tilde{t}>t_0\},\end{array}$$

where $\tilde{t}$ is a constant. It is easy to check that $S_1$ is a closed, bounded, and convex subset of . We show that the operator T has a fixed point in $S_1$. This implies that the problem (2.1) has a solution. Note that $|T_i(x_1,x_2,\dots ,x_k)(t)|\le {(t-t_0)}^{-{\gamma }_{i1}}$ for all $i=1,2,\dots ,k$ and so $T(S_1)\subset S_1$. Now, we show that T is continuous. Let $(x_1^m,x_2^m,\dots ,x_k^m),(x_1,x_2,\dots ,x_k)\in S_1$ for all $m\ge 1$ and ${lim}_{m\to \mathrm{\infty }}|x_i^m(t)-x_i(t)|=0$ for all $i=1,2,\dots ,k$. Then, we have ${lim}_{m\to \mathrm{\infty }}{f}_i(t,x_{1_t}^m,x_{2_t}^m,\dots ,x_{k_t}^m)=f_i(t,x_{1_t},x_{2_t},\dots ,x_{k_t})$ for all $i=1,2,\dots ,k$ and $t>t_0$. Let $ϵ>0$ be given. Choose $\tilde{T}>t_0$ such that $t\ge \tilde{T}$ implies that ${(t-t_0)}^{-{\gamma }_{i1}}<\frac{ϵ}{2}$. Let ${\nu }_{i1}=\frac{{\alpha }_i-1}{1-{\alpha }_{i1}}$ and note that $1+{\nu }_{i1}>0$ for $i=1,2,\dots ,k$. Also, we have

$$\begin{array}{c}|T_i(x_1^m,x_2^m,\dots ,x_k^m)(t)-T_i(x_1,x_2,\dots ,x_k)(t)|\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}|f_i(s,x_{1_s}^m,x_{2_s}^m,\dots ,x_{k_s}^m)-f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})|ds\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left\{{\int }_{t_0}^t{\left[{(t-s)}^{{\alpha }_i-1}\right]}^{\frac{1}{1-{\alpha }_{i1}}}ds\right\}}^{1-{\alpha }_{i1}}\hfill \\ \times {\left[{\int }_{t_0}^t\right|f_i(s,x_{1_s}^m,x_{2_s}^m,\dots ,x_{k_s}^m)-f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s}){|}^{\frac{1}{{\alpha }_{i1}}}ds]}^{{\alpha }_{i1}}\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left(\frac{1}{1+{\nu }_{i1}}{(t-t_0)}^{1+{\nu }_{i1}}\right)}^{1-{\alpha }_{i1}}\hfill \\ \times {\left[{\int }_{t_0}^{\tilde{T}}\right|f_i(s,x_{1_s}^m,x_{2_s}^m,\dots ,x_{k_s}^m)-f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s}){|}^{\frac{1}{{\alpha }_{i1}}}ds]}^{{\alpha }_{i1}}\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left(\frac{1}{1+{\nu }_{i1}}{(\tilde{T}-t_0)}^{1+{\nu }_{i1}}\right)}^{1-{\alpha }_{i1}}{(\tilde{T}-t_0)}^{{\alpha }_{i1}}\hfill \\ \times \underset{t_0\le s\le \tilde{T}}{sup}|f_i(s,x_{1_s}^m,x_{2_s}^m,\dots ,x_{k_s}^m)-f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})|\hfill \end{array}$$

for $t_0<t\le \tilde{T}$. Thus, ${lim}_{m\to \mathrm{\infty }}|T_i(x_1^m,x_2^m,\dots ,x_k^m)(t)-T_i(x_1,x_2,\dots ,x_k)(t)|=0$ for all $t_0<t\le \tilde{T}$. Also, we have

$$\begin{array}{c}|T_i(x_1^m,x_2^m,\dots ,x_k^m)(t)-T_i(x_1,x_2,\dots ,x_k)(t)|\hfill \\ =|\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{f}_i(s,x_{1_s}^m,x_{2_s}^m,\dots ,x_{k_s}^m)ds\hfill \\ -\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{f}_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})ds|\hfill \\ \le 2{(t-t_0)}^{-{\gamma }_{i1}}\le ϵ\hfill \end{array}$$

for $t>\tilde{T}$. Hence, ${lim}_{m\to \mathrm{\infty }}|T_i(x_1^m,x_2^m,\dots ,x_k^m)(t)-T_i(x_1,x_2,\dots ,x_k)(t)|=0$ for $t>t_0$. This implies that $T_i$ is continuous for $i=1,2,\dots ,k$ and so T is continuous. Now, we show that the set $T(S_1)$ is equi-continuous. Let $ϵ>0$. Since ${lim}_{t\to \mathrm{\infty }}{(t-t_0)}^{-{\gamma }_{i1}}=0$ for $i=1,2,\dots ,k$, there is a ${\tilde{T}}^{\prime }>t_0$ such that ${(t-t_0)}^{-{\gamma }_{i1}}<\frac{ϵ}{2}$ for all $t>{\tilde{T}}^{\prime }$ and $i=1,2,\dots ,k$. Let $t_1,t_2>t_0$ and $t_2>t_1$. If $t_1,t_2\in (t_0,{\tilde{T}}^{\prime }]$, then

$$\begin{array}{c}|T_i(x_1,x_2,\dots ,x_k)(t_2)-T_i(x_1,x_2,\dots ,x_k)(t_1)|\hfill \\ \le |\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^{t_2}{(t_2-s)}^{{\alpha }_i-1}{f}_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})ds\hfill \\ -\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^{t_1}{(t_1-s)}^{{\alpha }_i-1}{f}_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})ds|\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^{t_1}[{(t_1-s)}^{{\alpha }_i-1}-{(t_2-s)}^{{\alpha }_i-1}]|f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})|ds\hfill \\ +\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_1}^{t_2}{(t_2-s)}^{{\alpha }_i-1}|f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})|ds\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left\{{\int }_{t_0}^{t_1}{[{(t_1-s)}^{{\alpha }_i-1}-{(t_2-s)}^{{\alpha }_i-1}]}^{\frac{1}{1-{\alpha }_{i1}}}ds\right\}}^{1-{\alpha }_{i1}}\hfill \\ \times {\left[{\int }_{t_0}^{t_1}\right|f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s}){|}^{\frac{1}{{\alpha }_{i1}}}ds]}^{{\alpha }_{i1}}\hfill \\ +\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left[{\int }_{t_1}^{t_2}{(t_2-s)}^{\frac{{\alpha }_i-1}{1-{\alpha }_{i1}}}ds\right]}^{1-{\alpha }_{i1}}{\left[{\int }_{t_1}^{t_2}\right|f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s}){|}^{\frac{1}{{\alpha }_{i1}}}ds]}^{{\alpha }_{i1}}\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left(\frac{1}{1+{\nu }_{i1}}\right)}^{1-{\alpha }_{i1}}{[{(t_1-t_0)}^{\frac{{\alpha }_i-1}{1-{\alpha }_{i1}}+1}+{(t_2-t_1)}^{\frac{{\alpha }_i-1}{1-{\alpha }_{i1}}+1}-{(t_2-t_0)}^{\frac{{\alpha }_i-1}{1-{\alpha }_{i1}}+1}]}^{1-{\alpha }_{i1}}\hfill \\ \times {\left[{\int }_{t_0}^{{\tilde{T}}^{\prime }}\right|f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s}){|}^{\frac{1}{{\alpha }_{i1}}}ds]}^{{\alpha }_{i1}}\hfill \\ +\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left(\frac{1}{1+{\nu }_{i1}}\right)}^{1-{\alpha }_{i1}}{\left[{(t_2-t_1)}^{\frac{{\alpha }_i-1}{1-{\alpha }_{i1}}+1}\right]}^{1-{\alpha }_{i1}}{\left[{\int }_{t_0}^{{\tilde{T}}^{\prime }}\right|f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s}){|}^{\frac{1}{{\alpha }_{i1}}}ds]}^{{\alpha }_{i1}}\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left(\frac{1}{1+{\nu }_{i1}}\right)}^{1-{\alpha }_{i1}}{\left[{\int }_{t_0}^{{\tilde{T}}^{\prime }}\right|f_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s}){|}^{\frac{1}{{\alpha }_{i1}}}ds]}^{{\alpha }_{i1}}{(t_2-t_1)}^{{\alpha }_i-{\alpha }_{i1}}\hfill \end{array}$$

and so ${lim}_{t_2\to t_1}|T_i(x_1,x_2,\dots ,x_k)(t_2)-T_i(x_1,x_2,\dots ,x_k)(t_1)|=0$. If $t_1,t_2>{\tilde{T}}^{\prime }$, then

$$\begin{array}{c}|T_i(x_1,x_2,\dots ,x_k)(t_2)-T_i(x_1,x_2,\dots ,x_k)(t_1)|\hfill \\ =|\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^{t_2}{(t_2-s)}^{{\alpha }_i-1}{f}_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})ds\hfill \\ -\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^{t_1}{(t_1-s)}^{{\alpha }_i-1}{f}_i(s,x_{1_s},x_{2_s},\dots ,x_{k_s})ds|\hfill \\ \le {(t_2-t_0)}^{-{\gamma }_{i1}}+{(t_1-t_0)}^{-{\gamma }_{i1}}\le ϵ.\hfill \end{array}$$

Now, let $t_0<t_1<{\tilde{T}}^{\prime }<t_2$. Since

$$\begin{array}{c}|T_i(x_1,x_2,\dots ,x_k)(t_2)-T_i(x_1,x_2,\dots ,x_k)(t_1)|\hfill \\ \le |T_i(x_1,x_2,\dots ,x_k)(t_2)-T_i(x_1,x_2,\dots ,x_k)\left({\tilde{T}}^{\prime }\right)|\hfill \\ +|T_i(x_1,x_2,\dots ,x_k)\left({\tilde{T}}^{\prime }\right)-T_i(x_1,x_2,\dots ,x_k)(t_1)|,\hfill \end{array}$$

we get ${lim}_{t_2\to t_1}|T_i(x_1,x_2,\dots ,x_k)(t_2)-T_i(x_1,x_2,\dots ,x_k)(t_1)|=0$ in all cases. This implies that the set $T(S_1)$ is equi-continuous. Since $T(S_1)\subset S_1$ is uniformly bounded, $T(S_1)$ is relatively compact. Now by using Theorem 2.1, T has a fixed point in $S_1$ which is a solution of the problem (2.1). Since $x(t)=(x_1(t),x_2(t),\dots ,x_k(t))\in S_1$, ${lim}_{t\to \mathrm{\infty }}x(t)=0$. Thus, $x(t)$ is an attractive solution for the problem (2.1). □

Theorem 3.2 Suppose that for each $i\in \{1,2,\dots ,k\}$ there exist ${\gamma }_{i2}>0$, ${\alpha }_{i2}\in (0,{\alpha }_i)$ and $l_i\in L^{\frac{1}{{\alpha }_{i2}}}(J,{\mathbb{R}}^{+})$ such that $\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t_1-s)}^{{\alpha }_i-1}{l}_i(s){(s-t_0)}^{-{\gamma }_{i2}}ds\le {(t-t_0)}^{-{\gamma }_{i2}}$ and

$$|\frac{{\varphi }_i(t_0)}{\mathrm{\Gamma }(1-{\alpha }_i)}{(t-t_0)}^{-{\alpha }_i}+f_i(t,x_{1_t},x_{2_t},\dots ,x_{k_t})|\le l_i(t)\parallel x_{i_t}\parallel$$

for all $i=1,2,\dots ,k$, $t\in J$ and $x_i\in C([t_0-r,\mathrm{\infty }),{\mathbb{R}}^n)$. Then the problem (2.1) has at least one attractive solution $(x_1,x_2,\dots ,x_k)$ such that $x_i\in C([t_0-r,\mathrm{\infty }),{\mathbb{R}}^n)$ for all $i=1,2,\dots ,k$.

Proof It is sufficient we consider the set

$$\begin{array}{rcl}{S}_2& =& \{(x_1,x_2,\dots ,x_k):x_i\in C([t_0-r,\mathrm{\infty }),{\mathbb{R}}^n),\parallel x_{i_t}\parallel \le {(t-t_0)}^{-{\gamma }_{i2}}\\ \text{for all }i=1,2,\dots ,k\text{ and }t\ge \tilde{t}>t_0\},\end{array}$$

where $\tilde{t}$ is a constant. By using a similar techniques and proof in Theorem 3.1, one can show that $T(S_2)\subset S_2$, T is continuous and $T(S_2)$ is relatively compact. Now by using Theorem 2.1, T has a fixed point in $S_2$ which is a solution of the problem (2.1). Since $x(t)=(x_1(t),x_2(t),\dots ,x_k(t))\in S_2$, ${lim}_{t\to \mathrm{\infty }}x(t)=0$. Thus, $x(t)$ is an attractive solution for the problem (2.1). □

Theorem 3.3 Suppose that for each $i\in \{1,2,\dots ,k\}$ there exists ${\beta }_{i1}\in ({\alpha }_i,1)$ such that

$$|\frac{{\varphi }_i(t_0)}{\mathrm{\Gamma }(1-{\alpha }_i)}{(t-t_0)}^{-{\alpha }_i}+f_i(t,x_{1_t},x_{2_t},\dots ,x_{k_t})|\le \frac{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1})}{\mathrm{\Gamma }(1-{\beta }_{i1})}{(t-t_0)}^{-{\beta }_{i1}}$$

for all $t\in J$. Then the problem (2.1) has at least one attractive solution $(x_1,x_2,\dots ,x_k)$ such that $x_i\in C([t_0-r,\mathrm{\infty }),{\mathbb{R}}^n)$ for all $i=1,2,\dots ,k$.

Proof It is sufficient we consider the set

$$\begin{array}{rcl}{S}_3& =& \{(x_1,x_2,\dots ,x_k):x_i\in C([t_0-r,\mathrm{\infty }),{\mathbb{R}}^n),|x_i(t)|\le {(t-t_0)}^{{\beta }_{i1}-{\alpha }_i}\\ \text{for all }i=1,2,\dots ,k\text{ and }t\ge \tilde{t}>t_0\},\end{array}$$

where $\tilde{t}$ is a constant. By using a similar techniques and proof in Theorem 3.1, one can show that $T(S_3)\subset S_3$, T is continuous and $T(S_3)$ is relatively compact. Now, by using Theorem 2.1, T has a fixed point in $S_3$ which is a solution of the problem (2.1). Since $x(t)=(x_1(t),x_2(t),\dots ,x_k(t))\in S_3$, ${lim}_{t\to \mathrm{\infty }}x(t)=0$. Thus, $x(t)$ is an attractive solution for the problem (2.1). □

Here, we are going to investigate global attractivity of solutions of the problem (2.2). We assume that $g_i(t,x_1(t),x_2(t),\dots ,x_k(t))$ is Lebesgue measurable with respect to t on $[t_0,\mathrm{\infty })$ and there exists a constant ${\alpha }_{i1}^{\prime }\in (0,{\alpha }_i)$ such that $g_i\in L^{\frac{1}{{\alpha }_{i1}^{\prime }}}(J\times {\mathbb{R}}^n\times {\mathbb{R}}^n\times \cdots \times {\mathbb{R}}^n,{\mathbb{R}}^n)$ and $g_i(t,x_1(t),x_2(t),\dots ,x_k(t))$ is continuous with respect to $x_j$ on $[t_0,\mathrm{\infty })$ for all $i,j=1,2,\dots ,k$. Note that the problem (2.2) is equivalent to the system of equations

$$x_i(t)=\frac{x_i^0}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{{\alpha }_i-1}+\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{g}_i(s,x_1(s),x_2(s),\dots ,x_k(s))ds$$

for all $t>t_0$ and $i=1,2,\dots ,k$. Define the operator $T:X^k\to X^k$ by

$$T(x_1,x_2,\dots ,x_k)(t)=\left(\begin{array}{l}{T}_1(x_1,x_2,\dots ,x_k)(t)\\ T_2(x_1,x_2,\dots ,x_k)(t)\\ ⋮\\ T_k(x_1,x_2,\dots ,x_k)(t)\end{array}\right),$$

where

$$T_i(x_1,x_2,\dots ,x_k)(t)=\frac{x_i^0}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{{\alpha }_i-1}+\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{g}_i(s,x_1(s),x_2(s),\dots ,x_k(s))ds$$

for all $i=1,2,\dots ,k$. Now, define

$$A(x_1,x_2,\dots ,x_k)(t)=\left(\begin{array}{l}{A}_1(x_1,x_2,\dots ,x_k)(t)\\ A_2(x_1,x_2,\dots ,x_k)(t)\\ ⋮\\ A_k(x_1,x_2,\dots ,x_k)(t)\end{array}\right),$$

where $A_i(x_1,x_2,\dots ,x_k)(t)=\frac{x_i^0}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{{\alpha }_i-1}$ for all $i=1,2,\dots ,k$. Finally, define

$$B(x_1,x_2,\dots ,x_k)(t)=\left(\begin{array}{l}{B}_1(x_1,x_2,\dots ,x_k)(t)\\ B_2(x_1,x_2,\dots ,x_k)(t)\\ ⋮\\ B_k(x_1,x_2,\dots ,x_k)(t)\end{array}\right),$$

where $B_i(x_1,x_2,\dots ,x_k)(t)=\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{g}_i(s,x_1(s),x_2(s),\dots ,x_k(s))ds$ for all $i=1,2,\dots ,k$. It is easy to check that $(x_1(t),x_2(t),\dots ,x_k(t))$ is a solution of the problem (2.2) if and only if it is a fixed point of the operator T. Note that A is a contraction with constant 0.

Theorem 3.4 Suppose that for each $i\in \{1,2,\dots ,k\}$ there exist ${\alpha }_i<{\beta }_{i1}^{\prime }<1$ and $M_i\ge 0$ such that $|g_i(t,x_1(t),x_2(t),\dots ,x_k(t))|\le M_i{(t-t_0)}^{-{\beta }_{i1}^{\prime }}$ for all $t\in J$ and $x_1,\dots ,x_k\in C((t_0,\mathrm{\infty }),{\mathbb{R}}^n)$. Then the zero solution of the problem (2.2) is globally attractive.

Proof Consider the set

$$\begin{array}{rcl}{S}_1^{\prime }& =& \{(x_1,x_2,\dots ,x_k):x_i\in C((t_0,\mathrm{\infty }),{\mathbb{R}}^n),|x_i(t)|\le {(t-t_0)}^{-{\gamma }_{i1}^{\prime }}\\ \text{for all }i=1,2,\dots ,k\text{ and }t\ge t_0+{\tilde{T}}_1\},\end{array}$$

where ${\gamma }_{i1}^{\prime }=\frac{1}{2}({\beta }_{i1}^{\prime }-{\alpha }_i)$ and ${\tilde{T}}_1$ is chosen such that $\frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{\tilde{T}}_1^{\frac{1}{2}({\alpha }_i-1)}+\frac{M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{\tilde{T}}_1^{-\frac{1}{2}({\beta }_{i1}^{\prime }-{\alpha }_i)}\le 1$ for all $i=1,2,\dots ,k$. First, we show that B maps $S_1^{\prime }$ into $S_1^{\prime }$. It is easy to check that $S_1^{\prime }$ is a closed, bounded, and convex subset of ${\mathbb{R}}^n\times {\mathbb{R}}^n\times \cdots \times {\mathbb{R}}^n$. Note that

$$\begin{array}{c}|B_i(y_1,y_2,\dots ,y_k)(t)|\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}\left|g_i(s,x_1(s),x_2(s),\dots ,x_k(s))\right|ds\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{M}_i{(s-t_0)}^{-{\beta }_{i1}^{\prime }}ds\hfill \\ \le \frac{M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{(t-t_0)}^{-({\beta }_{i1}^{\prime }-{\alpha }_i)}\hfill \end{array}$$

and $\frac{M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{(t-t_0)}^{-\frac{1}{2}({\beta }_{i1}^{\prime }-{\alpha }_i)}\le \frac{M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{\tilde{T}}_1^{-\frac{1}{2}({\beta }_{i1}^{\prime }-{\alpha }_i)}\le 1$ for all $i=1,2,\dots ,k$ and $t\ge t_0+{\tilde{T}}_1$. Thus,

$$|B_i(y_1,y_2,\dots ,y_k)(t)|\le \left[\frac{M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{(t-t_0)}^{-\frac{1}{2}({\beta }_{i1}^{\prime }-{\alpha }_i)}\right]{(t-t_0)}^{-\frac{1}{2}({\beta }_{i1}^{\prime }-{\alpha }_i)}\le {(t-t_0)}^{-{\gamma }_{i1}^{\prime }}$$

for all $i=1,2,\dots ,k$ and $t\ge t_0+{\tilde{T}}_1$. Hence, $B(S_1^{\prime })\subset S_1^{\prime }$. Now, we show that B is continuous on $[t_0+{\tilde{T}}_1,\mathrm{\infty })$. Let $(y_1^m,y_2^m,\dots ,y_k^m),(y_1,y_2,\dots ,y_k)\in S_1^{\prime }$ for all $m\ge 1$ and ${lim}_{m\to \mathrm{\infty }}|y_i^m(t)-y_i(t)|=0$. Then, one can get ${lim}_{m\to \mathrm{\infty }}{g}_i(t,y_1^m(t),y_2^m(t),\dots ,y_k^m(t))=g_i(t,y_1(t),y_2(t),\dots ,y_k(t))$ for all $t\ge t_0+{\tilde{T}}_1$. Let $ϵ>0$ be given. Choose $\tilde{T}>t_0+{\tilde{T}}_1$ such that $\frac{M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{(\tilde{T}-t_0)}^{-({\beta }_{i1}^{\prime }-{\alpha }_i)}<\frac{ϵ}{2}$ for all $t>\tilde{T}$. Let ${\nu }_{i1}^{\prime }=\frac{{\alpha }_i-1}{1-{\alpha }_{i1}^{\prime }}$ for $i=1,2,\dots ,k$. Then, we have

$$\begin{array}{c}|B_i(y_1^m,y_2^m,\dots ,y_k^m)(t)-B_i(y_1,y_2,\dots ,y_k)(t)|\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}|g_i(s,y_1^m(s),y_2^m(s),\dots ,y_k^m(s))-g_i(s,y_1(s),y_2(s),\dots ,y_k(s))|ds\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left\{{\int }_{t_0}^t{\left[{(t-s)}^{{\alpha }_i-1}\right]}^{\frac{1}{1-{\alpha }_{i1}^{\prime }}}ds\right\}}^{1-{\alpha }_{i1}^{\prime }}\hfill \\ \times {\left[{\int }_{t_0}^t\right|g_i(s,y_1^m(s),y_2^m(s),\dots ,y_k^m(s))-g_i(s,y_1(s),y_2(s),\dots ,y_k(s)){|}^{\frac{1}{{\alpha }_{i1}^{\prime }}}ds]}^{{\alpha }_{i1}^{\prime }}\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left(\frac{1}{1+{\nu }_{i1}^{\prime }}{(t-t_0)}^{1+{\nu }_{i1}^{\prime }}\right)}^{1-{\alpha }_{i1}^{\prime }}\hfill \\ \times {\left[{\int }_{t_0}^{\tilde{T}}\right|g_i(s,y_1^m(s),y_2^m(s),\dots ,y_k^m(s))-g_i(s,y_1(s),y_2(s),\dots ,y_k(s)){|}^{\frac{1}{{\alpha }_{i1}^{\prime }}}ds]}^{{\alpha }_{i1}^{\prime }}\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left(\frac{1}{1+{\nu }_{i1}^{\prime }}{(\tilde{T}-t_0)}^{1+{\nu }_{i1}^{\prime }}\right)}^{1-{\alpha }_{i1}^{\prime }}{(\tilde{T}-t_0)}^{{\alpha }_{i1}^{\prime }}\hfill \\ \times \underset{t_0\le s\le \tilde{T}}{sup}|g_i(s,y_1^m(s),y_2^m(s),\dots ,y_k^m(s))-g_i(s,y_1(s),y_2(s),\dots ,y_k(s))|\hfill \end{array}$$

for all $t_0+{\tilde{T}}_1\le t\le \tilde{T}$. Hence, ${lim}_{m\to \mathrm{\infty }}|B_i(y_1^m,y_2^m,\dots ,y_k^m)(t)-B_i(y_1,y_2,\dots ,y_k)(t)|=0$ for all $t_0+{\tilde{T}}_1\le t\le \tilde{T}$. Also,

$$\begin{array}{c}|B_i(y_1^m,y_2^m,\dots ,y_k^m)(t)-B_i(y_1,y_2,\dots ,y_k)(t)|\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}|g_i(s,y_1^m(s),y_2^m(s),\dots ,y_k^m(s))-g_i(s,y_1(s),y_2(s),\dots ,y_k(s))|ds\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}\left[\right|g_i(s,y_1^m(s),y_2^m(s),\dots ,y_k^m(s))|+|g_i(s,y_1(s),y_2(s),\dots ,y_k(s))\left|\right]ds\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}\left[2M_i{(s-t_0)}^{-{\beta }_{i1}^{\prime }}\right]ds\hfill \\ \le \frac{2M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{(t-t_0)}^{-({\beta }_{i1}^{\prime }-{\alpha }_i)}\hfill \\ \le \frac{2M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{(\tilde{T}-t_0)}^{-({\beta }_{i1}^{\prime }-{\alpha }_i)}\le ϵ\hfill \end{array}$$

for all $t>\tilde{T}$. Thus, ${lim}_{m\to \mathrm{\infty }}|B_i(y_1^m,y_2^m,\dots ,y_k^m)(t)-B_i(y_1,y_2,\dots ,y_k)(t)|=0$ for all $t\ge t_0+{\tilde{T}}_1$. This implies that $B_i$ is continuous on $[t_0+{\tilde{T}}_1,\mathrm{\infty })$ for $i=1,2,\dots ,k$ and so B is continuous on $[t_0+{\tilde{T}}_1,\mathrm{\infty })$. Now, we show that $B(S_1^{\prime })$ is equi-continuous. Let $ϵ>0$ be given. Since ${lim}_{t\to \mathrm{\infty }}{(t-t_0)}^{-{\gamma }_{i1}^{\prime }}=0$, there exists ${\tilde{T}}^{\prime }>t_0+{\tilde{T}}_1$ such that ${(t-t_0)}^{-{\gamma }_{i1}^{\prime }}<\frac{ϵ}{2}$ for $t>{\tilde{T}}^{\prime }$. Let $t_1,t_2\ge t_0+{\tilde{T}}_1$ and $t_2>t_1$. If $t_1,t_2\in [t_0+{\tilde{T}}_1,{\tilde{T}}^{\prime }]$, then we have

$$\begin{array}{c}|B_i(y_1,y_2,\dots ,y_k)(t_2)-B_i(y_1,y_2,\dots ,y_k)(t_1)|\hfill \\ =|\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^{t_2}{(t_2-s)}^{{\alpha }_i-1}{g}_i(s,y_1(s),y_2(s),\dots ,y_k(s))ds\hfill \\ -\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^{t_1}{(t_1-s)}^{{\alpha }_i-1}{g}_i(s,y_1(s),y_2(s),\dots ,y_k(s))ds|\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^{t_1}[{(t_1-s)}^{{\alpha }_i-1}-{(t_2-s)}^{{\alpha }_i-1}]\left|g_i(s,y_1(s),y_2(s),\dots ,y_k(s))\right|ds\hfill \\ +\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_1}^{t_2}{(t_2-s)}^{{\alpha }_i-1}\left|g_i(s,y_1(s),y_2(s),\dots ,y_k(s))\right|ds\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left[{\int }_{t_0}^{t_1}{[{(t_1-s)}^{{\alpha }_i-1}-{(t_2-s)}^{{\alpha }_i-1}]}^{\frac{1}{1-{\alpha }_{i1}^{\prime }}}ds\right]}^{1-{\alpha }_{i1}^{\prime }}\hfill \\ \times {\left[{\int }_{t_0}^{t_1}\right|g_i(s,y_1(s),y_2(s),\dots ,y_k(s)){|}^{\frac{1}{{\alpha }_{i1}^{\prime }}}ds]}^{{\alpha }_{i1}^{\prime }}\hfill \\ +\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left[{\int }_{t_1}^{t_2}{(t_2-s)}^{\frac{{\alpha }_i-1}{1-{\alpha }_{i1}^{\prime }}}ds\right]}^{1-{\alpha }_{i1}^{\prime }}{\left[{\int }_{t_0}^{t_1}\right|g_i(s,y_1(s),y_2(s),\dots ,y_k(s)){|}^{\frac{1}{{\alpha }_{i1}^{\prime }}}ds]}^{{\alpha }_{i1}^{\prime }}\hfill \\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left(\frac{1}{1+{\nu }_{i1}^{\prime }}\right)}^{1-{\alpha }_{i1}^{\prime }}{({(t_1-t_0)}^{1+{\nu }_{i1}^{\prime }}-{(t_2-t_0)}^{1+{\nu }_{i1}^{\prime }}+{(t_2-t_1)}^{1+{\nu }_{i1}^{\prime }})}^{1-{\alpha }_{i1}^{\prime }}\hfill \\ \times {\left[{\int }_{t_0}^{{\tilde{T}}^{\prime }}\right|g_i(s,y_1(s),y_2(s),\dots ,y_k(s)){|}^{\frac{1}{{\alpha }_{i1}^{\prime }}}ds]}^{{\alpha }_{i1}^{\prime }}\hfill \\ +\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\left(\frac{1}{1+{\nu }_{i1}^{\prime }}\right)}^{1-{\alpha }_{i1}^{\prime }}{\left({(t_2-t_1)}^{1+{\nu }_{i1}^{\prime }}\right)}^{1-{\alpha }_{i1}^{\prime }}{\left[{\int }_{t_0}^{{\tilde{T}}^{\prime }}\right|g_i(s,y_1(s),y_2(s),\dots ,y_k(s)){|}^{\frac{1}{{\alpha }_{i1}^{\prime }}}ds]}^{{\alpha }_{i1}^{\prime }}\hfill \\ \le \frac{2}{\mathrm{\Gamma }({\alpha }_i)}{\left(\frac{1}{1+{\nu }_{i1}^{\prime }}\right)}^{1-{\alpha }_{i1}^{\prime }}{\left[{\int }_{t_0}^{{\tilde{T}}^{\prime }}\right|g_i(s,y_1(s),y_2(s),\dots ,y_k(s)){|}^{\frac{1}{{\alpha }_{i1}^{\prime }}}ds]}^{{\alpha }_{i1}^{\prime }}{(t_2-t_1)}^{{\alpha }_i-{\alpha }_{i1}^{\prime }}\hfill \end{array}$$

and so ${lim}_{t_2\to t_1}|B_i(y_1,y_2,\dots ,y_k)(t_2)-B_i(y_1,y_2,\dots ,y_k)(t_1)|=0$. If $t_1,t_2>{\tilde{T}}^{\prime }$, then

$$\begin{array}{r}|B_i(y_1,y_2,\dots ,y_k)(t_2)-B_i(y_1,y_2,\dots ,y_k)(t_1)|\\ \le \frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^{t_2}{(t_2-s)}^{{\alpha }_i-1}\left|g_i(s,y_1(s),y_2(s),\dots ,y_k(s))\right|ds\\ +\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^{t_1}{(t_1-s)}^{{\alpha }_i-1}\left|g_i(s,y_1(s),y_2(s),\dots ,y_k(s))\right|ds\\ \le {(t_2-t_0)}^{-{\gamma }_{i1}^{\prime }}+{(t_1-t_0)}^{-{\gamma }_{i1}^{\prime }}\le ϵ.\end{array}$$

If $t_0+{\tilde{T}}_1\le t_1<{\tilde{T}}^{\prime }<t_2$, then we have

$$\begin{array}{c}|B_i(y_1,y_2,\dots ,y_k)(t_2)-B_i(y_1,y_2,\dots ,y_k)(t_1)|\hfill \\ \le |B_i(y_1,y_2,\dots ,y_k)(t_2)-B_i(y_1,y_2,\dots ,y_k)\left({\tilde{T}}^{\prime }\right)|\hfill \\ +|B_i(y_1,y_2,\dots ,y_k)\left({\tilde{T}}^{\prime }\right)-B_i(y_1,y_2,\dots ,y_k)(t_1)|\hfill \end{array}$$

and so ${lim}_{t_2\to t_1}|B_i(y_1,y_2,\dots ,y_k)(t_2)-B_i(y_1,y_2,\dots ,y_k)(t_1)|=0$. Thus, $B(S_1^{\prime })$ is equi-continuous. Since $B(S_1^{\prime })\subset S_1^{\prime }$ is uniformly bounded, $B(S_1^{\prime })$ is relatively compact. Now, suppose that $x=(x_1,x_2,\dots ,x_k)\in C((t_0,\mathrm{\infty }),{\mathbb{R}}^n)\times C((t_0,\mathrm{\infty }),{\mathbb{R}}^n)\times \cdots \times C((t_0,\mathrm{\infty }),{\mathbb{R}}^n)$, $y=(y_1,y_2,\dots ,y_k)\in S_1^{\prime }$ and $x=Ax+By$. Then,

$$\begin{array}{rcl}|x_i(t)|& \le & |A_i(x_1,x_2,\dots ,x_k)(t)|+|B_i(y_1,y_2,\dots ,y_k)(t)|\\ \le & \frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{{\alpha }_i-1}+\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}\left|g_i(s,y_1(s),y_2(s),\dots ,y_k(s))\right|ds\\ \le & \frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{{\alpha }_i-1}+\frac{M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{(t-t_0)}^{-({\beta }_{i1}^{\prime }-{\alpha }_i)}\end{array}$$

for all $i=1,2,\dots ,k$. Since $0<{\alpha }_i<{\beta }_{i1}^{\prime }<1$ for $i=1,2,\dots ,k$, we get

$$\begin{array}{c}\frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{\frac{1}{2}({\alpha }_i-1)}+\frac{M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{(t-t_0)}^{-\frac{1}{2}({\beta }_{i1}^{\prime }-{\alpha }_i)}\hfill \\ \le \frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{\tilde{T}}_1^{\frac{1}{2}({\alpha }_i-1)}+\frac{M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{\tilde{T}}_1^{-\frac{1}{2}({\beta }_{i1}^{\prime }-{\alpha }_i)}\le 1.\hfill \end{array}$$

Thus, $|x_i(t)|\le [\frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{\frac{1}{2}({\alpha }_i-1)}+\frac{M_i\mathrm{\Gamma }(1-{\beta }_{i1}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i1}^{\prime })}{(t-t_0)}^{-\frac{1}{2}({\beta }_{i1}^{\prime }-{\alpha }_i)}]{(t-t_0)}^{-{\gamma }_{i1}^{\prime }}\le {(t-t_0)}^{-{\gamma }_{i1}^{\prime }}$ for all $t\ge t_0+{\tilde{T}}_1$ and $i=1,2,\dots ,k$. This implies that $x(t)=(x_1(t),x_2(t),\dots ,x_k(t))\in S_1^{\prime }$ for all $t\ge t_0+{\tilde{T}}_1$. Therefore, by using Theorem 2.2 T has a fixed point in $S_1^{\prime }$ which is a solution of the problem (2.2). Since all elements of the set $S_1^{\prime }$ tend to 0 as $t\to \mathrm{\infty }$, the zero solution of the problem (2.2) is globally attractive. □

Theorem 3.5 Suppose that for each $i\in \{1,2,\dots ,k\}$ there exist ${\alpha }_i<{\beta }_{i2}^{\prime }<\frac{1}{2}(1+{\alpha }_i)$ and $l_i\ge 0$ such that $|g_i(t,x_1(t),x_2(t),\dots ,x_k(t))|\le l_i{(t-t_0)}^{-{\beta }_{i2}^{\prime }}|x_i(t)|$ for all $t\in J$ and $x_1,\dots ,x_k\in C((t_0,\mathrm{\infty }),{\mathbb{R}}^n)$. Then the zero solution of the problem (2.2) is globally attractive.

Proof It is sufficient to consider the set

$$\begin{array}{rcl}{S}_2^{\prime }& =& \{(x_1,x_2,\dots ,x_k):x_i\in C((t_0,\mathrm{\infty }),{\mathbb{R}}^n),|x_i(t)|\le {(t-t_0)}^{-{\gamma }_{i2}^{\prime }}\\ \text{for all }i=1,2,\dots ,k\text{ and }t\ge t_0+{\tilde{T}}_2\},\end{array}$$

where ${\gamma }_{i2}^{\prime }=\frac{1}{2}(1-{\alpha }_i)$ and ${\tilde{T}}_2$ is chosen such that $\frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{\tilde{T}}_2^{\frac{1}{2}({\alpha }_i-1)}+\frac{l_i\mathrm{\Gamma }(1-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime })}{\tilde{T}}_2^{-({\beta }_{i2}^{\prime }-{\alpha }_i)}\le 1$ for all $i=1,2,\dots ,k$. Similar to the proof of Theorem 3.4, one can show that $S_2^{\prime }$ is a closed, bounded, and convex set, B maps $S_2^{\prime }$ into $S_2^{\prime }$, $B(S_2^{\prime })$ is relatively compact, and B is continuous on $[t_0+{\tilde{T}}_2,\mathrm{\infty })$. Now, suppose that $x=(x_1,x_2,\dots ,x_k)\in C((t_0,\mathrm{\infty }),{\mathbb{R}}^n)\times C((t_0,\mathrm{\infty }),{\mathbb{R}}^n)\times \cdots \times C((t_0,\mathrm{\infty }),{\mathbb{R}}^n)$, $y=(y_1,y_2,\dots ,y_k)\in S_2$ and $x=Ax+By$. Then,

$$\begin{array}{rcl}|x_i(t)|& \le & |A_i(x_1,x_2,\dots ,x_k)(t)|+|B_i(y_1,y_2,\dots ,y_k)(t)|\\ \le & \frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{{\alpha }_i-1}+\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}\left|g_i(s,y_1(s),y_2(s),\dots ,y_k(s))\right|ds\\ \le & \frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{{\alpha }_i-1}+\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{l}_i{(s-t_0)}^{-{\beta }_{i2}^{\prime }}|y_i(s)|ds\\ \le & \frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{{\alpha }_i-1}+\frac{1}{\mathrm{\Gamma }({\alpha }_i)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_i-1}{l}_i{(s-t_0)}^{-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime }}ds\\ \le & \frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{{\alpha }_i-1}+\frac{l_i\mathrm{\Gamma }(1-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime })}{(t-t_0)}^{-({\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime }-{\alpha }_i)}\end{array}$$

for all $i=1,2,\dots ,k$. Since $0<{\alpha }_i<{\beta }_{i2}^{\prime }<\frac{1}{2}(1+{\alpha }_i)<1$ for $i=1,2,\dots ,k$, we get

$$\begin{array}{c}\frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{\frac{1}{2}({\alpha }_i-1)}+\frac{l_i\mathrm{\Gamma }(1-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime })}{(t-t_0)}^{-({\beta }_{i2}^{\prime }-{\alpha }_i)}\hfill \\ \le \frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{\tilde{T}}_2^{\frac{1}{2}({\alpha }_i-1)}+\frac{l_i\mathrm{\Gamma }(1-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime })}{\tilde{T}}_2^{-({\beta }_{i2}^{\prime }-{\alpha }_i)}\le 1.\hfill \end{array}$$

Thus, $|x_i(t)|\le [\frac{|x_i^0|}{\mathrm{\Gamma }({\alpha }_i)}{(t-t_0)}^{\frac{1}{2}({\alpha }_i-1)}+\frac{l_i\mathrm{\Gamma }(1-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime })}{\mathrm{\Gamma }(1+{\alpha }_i-{\beta }_{i2}^{\prime }-{\gamma }_{i2}^{\prime })}{(t-t_0)}^{-({\beta }_{i2}^{\prime }-{\alpha }_i)}]{(t-t_0)}^{-{\gamma }_{i2}^{\prime }}\le {(t-t_0)}^{-{\gamma }_{i2}^{\prime }}$ for all $t\ge t_0+{\tilde{T}}_2$ and $i=1,2,\dots ,k$. This implies that $x(t)=(x_1(t),x_2(t),\dots ,x_k(t))\in S_2$, for $t\ge t_0+{\tilde{T}}_2$. Since all elements of the set $S_2^{\prime }$ tend to 0 as $t\to \mathrm{\infty }$, the zero solution of the problem (2.2) is globally attractive. □

4 Examples

Here, we give an example to illustrate our results.

Example 4.1 Consider the 3-dimensional system of fractional functional differential equations

$$\{\begin{array}{l}{}^{c}D^{\frac{1}{2}}{x}_1(t)=\frac{\mathrm{\Gamma }(\frac{3}{4})}{\mathrm{\Gamma }(\frac{1}{4})}{(t+3)}^{\frac{-3}{4}}\frac{{sin}^2(x_1(t-1))}{1+{(x_2(t-1))}^2}\times \frac{x_3(t-1)}{1+|x_3(t-1)|},t>0,\\ {}^{c}D^{\frac{1}{4}}{x}_2(t)=\frac{\mathrm{\Gamma }(\frac{3}{8})}{\mathrm{\Gamma }(\frac{1}{8})}{(t+\frac{3}{2})}^{\frac{-7}{8}}\frac{{cos}^4(x_1(t-1))}{1+{sin}^2(x_3(t-1))+|x_2(t-1)|},t>0,\\ {}^{c}D^{\frac{1}{3}}{x}_3(t)=\frac{\mathrm{\Gamma }(\frac{5}{6})}{\sqrt{\pi }}{(t+1)}^{\frac{-1}{2}}\frac{{(x_1(t-1))}^4}{1+{(x_1(t-1))}^4+6{|x_2(t-1)|}^3},t>0,\\ x_i(t)=t,i=1,2,3,t\in [-1,0].\end{array}$$

Define the maps

$$\begin{array}{c}{f}_1(t,x_{1_t},x_{2_t},x_{3_t})=\frac{\mathrm{\Gamma }(\frac{3}{4})}{\mathrm{\Gamma }(\frac{1}{4})}{(t+3)}^{\frac{-3}{4}}\frac{{sin}^2(x_1(t-1))}{1+{(x_2(t-1))}^2}\times \frac{x_3(t-1)}{1+|x_3(t-1)|},\hfill \\ f_2(t,x_{1_t},x_{2_t},x_{3_t})=\frac{\mathrm{\Gamma }(\frac{3}{8})}{\mathrm{\Gamma }(\frac{1}{8})}{(t+\frac{3}{2})}^{\frac{-7}{8}}\frac{{cos}^4(x_1(t-1))}{1+{sin}^2(x_3(t-1))+|x_2(t-1)|},\hfill \\ f_3(t,x_{1_t},x_{2_t},x_{3_t})=\frac{\mathrm{\Gamma }(\frac{5}{6})}{\sqrt{\pi }}{(t+1)}^{\frac{-1}{2}}\frac{{(x_1(t-1))}^4}{1+{(x_1(t-1))}^4+6{|x_2(t-1)|}^3}\hfill \end{array}$$

and put $m_1(t)=\frac{\mathrm{\Gamma }(\frac{3}{4})}{\mathrm{\Gamma }(\frac{1}{4})}{(t+3)}^{\frac{-3}{4}}$, $m_2(t)=\frac{\mathrm{\Gamma }(\frac{3}{8})}{\mathrm{\Gamma }(\frac{1}{8})}{(t+\frac{3}{2})}^{\frac{-7}{8}}$ and $m_3(t)=\frac{\mathrm{\Gamma }(\frac{5}{6})}{\sqrt{\pi }}{(t+1)}^{\frac{-1}{2}}$. It is easy to check that $|f_1(t,x_{1_t},x_{2_t},x_{3_t})|\le m_1(t)$, $|f_2(t,x_{1_t},x_{2_t},x_{3_t})|\le m_2(t)$ and $|f_3(t,x_{1_t},x_{2_t},x_{3_t})|\le m_3(t)$. Since

$$\begin{array}{c}\frac{1}{\mathrm{\Gamma }({\alpha }_1)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_1-1}{m}_1(s)ds=\frac{1}{\mathrm{\Gamma }(\frac{1}{2})}{\int }_0^t{(t-s)}^{-\frac{1}{2}}\times \frac{\mathrm{\Gamma }(\frac{3}{4})}{\mathrm{\Gamma }(\frac{1}{4})}{(s+3)}^{-\frac{3}{4}}ds\hfill \\ \phantom{\frac{1}{\mathrm{\Gamma }({\alpha }_1)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_1-1}{m}_1(s)ds}\le \frac{\mathrm{\Gamma }(\frac{3}{4})}{\mathrm{\Gamma }(\frac{1}{2})\mathrm{\Gamma }(\frac{1}{4})}{\int }_0^t{(t-s)}^{-\frac{1}{2}}{s}^{-\frac{3}{4}}ds=t^{-\frac{1}{4}},\hfill \\ \frac{1}{\mathrm{\Gamma }({\alpha }_2)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_2-1}{m}_2(s)ds=\frac{1}{\mathrm{\Gamma }(\frac{1}{4})}{\int }_0^t{(t-s)}^{-\frac{3}{4}}\times \frac{\mathrm{\Gamma }(\frac{3}{8})}{\mathrm{\Gamma }(\frac{1}{8})}{(s+\frac{3}{2})}^{-\frac{7}{8}}ds\hfill \\ \phantom{\frac{1}{\mathrm{\Gamma }({\alpha }_2)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_2-1}{m}_2(s)ds}\le \frac{\mathrm{\Gamma }(\frac{3}{8})}{\mathrm{\Gamma }(\frac{1}{4})\mathrm{\Gamma }(\frac{1}{8})}{\int }_0^t{(t-s)}^{-\frac{3}{4}}{s}^{-\frac{7}{8}}ds=t^{-\frac{5}{8}}\hfill \end{array}$$

and

$$\begin{array}{rcl}\frac{1}{\mathrm{\Gamma }({\alpha }_3)}{\int }_{t_0}^t{(t-s)}^{{\alpha }_3-1}{m}_3(s)ds& =& \frac{1}{\mathrm{\Gamma }(\frac{1}{3})}{\int }_0^t{(t-s)}^{-\frac{2}{3}}\times \frac{\mathrm{\Gamma }(\frac{5}{6})}{\sqrt{\pi }}{(s+1)}^{-\frac{1}{2}}ds\\ \le & \frac{\mathrm{\Gamma }(\frac{5}{6})}{\mathrm{\Gamma }(\frac{1}{3})\sqrt{\pi }}{\int }_0^t{(t-s)}^{-\frac{2}{3}}{s}^{-\frac{1}{2}}ds=t^{-\frac{1}{6}},\end{array}$$

we get $|\frac{1}{\mathrm{\Gamma }({\alpha }_1)}{\int }_0^t{(t-s)}^{-\frac{1}{2}}{f}_1(s,x_{1_s},x_{2_s},x_{3_s})ds|\le t^{-\frac{1}{4}}$, $|\frac{1}{\mathrm{\Gamma }({\alpha }_2)}{\int }_0^t{(t-s)}^{-\frac{3}{4}}{f}_2(s,x_{1_s},x_{2_s},x_{3_s})ds|\le t^{-\frac{5}{8}}$ and $|\frac{1}{\mathrm{\Gamma }({\alpha }_3)}{\int }_0^t{(t-s)}^{-\frac{2}{3}}{f}_1(s,x_{1_s},x_{2_s},x_{3_s})ds|\le t^{-\frac{1}{6}}$. Now, let ${\alpha }_{11}=\frac{1}{4}$, ${\alpha }_{21}=\frac{1}{8}$ and ${\alpha }_{31}=\frac{1}{6}$. Then,

$$\begin{array}{c}{\int }_{t_0}^{\mathrm{\infty }}|f_1(t,x_{1_t},x_{2_t},x_{3_t}){|}^{\frac{1}{{\alpha }_{11}}}dt\le {\int }_{t_0}^{\mathrm{\infty }}{(m_1(t))}^{\frac{1}{{\alpha }_{11}}}dt\hfill \\ \phantom{{\int }_{t_0}^{\mathrm{\infty }}|f_1(t,x_{1_t},x_{2_t},x_{3_t}){|}^{\frac{1}{{\alpha }_{11}}}dt}={\int }_0^{\mathrm{\infty }}{\left[\frac{\mathrm{\Gamma }(\frac{3}{4})}{\mathrm{\Gamma }(\frac{1}{4})}{(t+3)}^{-\frac{3}{4}}\right]}^{4}dt\hfill \\ \phantom{{\int }_{t_0}^{\mathrm{\infty }}|f_1(t,x_{1_t},x_{2_t},x_{3_t}){|}^{\frac{1}{{\alpha }_{11}}}dt}=\frac{1}{18}{\left(\frac{\mathrm{\Gamma }(\frac{3}{4})}{\mathrm{\Gamma }(\frac{1}{4})}\right)}^4,\hfill \\ {\int }_{t_0}^{\mathrm{\infty }}|f_2(t,x_{1_t},x_{2_t},x_{3_t}){|}^{\frac{1}{{\alpha }_{21}}}dt\le {\int }_{t_0}^{\mathrm{\infty }}{(m_2(t))}^{\frac{1}{{\alpha }_{21}}}dt\hfill \\ \phantom{{\int }_{t_0}^{\mathrm{\infty }}|f_2(t,x_{1_t},x_{2_t},x_{3_t}){|}^{\frac{1}{{\alpha }_{21}}}dt}={\int }_0^{\mathrm{\infty }}{\left[\frac{\mathrm{\Gamma }(\frac{3}{8})}{\mathrm{\Gamma }(\frac{1}{8})}{(t+\frac{3}{2})}^{-\frac{7}{8}}\right]}^{8}dt\hfill \\ \phantom{{\int }_{t_0}^{\mathrm{\infty }}|f_2(t,x_{1_t},x_{2_t},x_{3_t}){|}^{\frac{1}{{\alpha }_{21}}}dt}=\left(\frac{2^5}{3^7}\right){\left(\frac{\mathrm{\Gamma }(\frac{3}{8})}{\mathrm{\Gamma }(\frac{1}{8})}\right)}^8\hfill \end{array}$$

and

$$\begin{array}{rcl}{\int }_{t_0}^{\mathrm{\infty }}|f_3(t,x_{1_t},x_{2_t},x_{3_t}){|}^{\frac{1}{{\alpha }_{31}}}dt& \le & {\int }_{t_0}^{\mathrm{\infty }}{(m_3(t))}^{\frac{1}{{\alpha }_{31}}}dt\\ =& {\int }_0^{\mathrm{\infty }}{\left[\frac{\mathrm{\Gamma }(\frac{5}{6})}{\sqrt{\pi }}{(t+1)}^{-\frac{1}{2}}\right]}^{6}dt\\ =& \frac{1}{2}{\left(\frac{\mathrm{\Gamma }(\frac{5}{6})}{\sqrt{\pi }}\right)}^6.\end{array}$$

Thus, all conditions of Theorem 3.1 hold and so this system of fractional functional differential equations has an attractive solution.

Example 4.2 Let $0<{\alpha }_i<1$, $M_i>0$, ${\alpha }_i<{\beta }_{i1}^{\prime }<1$ and $x_i^0$ be a constant for $i=1,2,3$. Consider the 3-dimensional system of fractional differential equations

$$\{\begin{array}{l}{D}^{{\alpha }_1}{x}_1(t)=\frac{M_1{x}_2(t){sin}^2(x_3(t))}{\frac{3}{2}+|x_2(t)|+|x_3(t)|}{(t-a)}^{-{\beta }_{11}^{\prime }},t>a,\\ D^{{\alpha }_2}{x}_2(t)=\frac{M_2{t}^2{(x_1(t))}^2}{(7+5t^2)(1+2{(x_1(t))}^2+{(x_3(t))}^2)}{(t-a)}^{-{\beta }_{21}^{\prime }},t>a,\\ D^{{\alpha }_3}{x}_3(t)=\frac{M_3{cos}^3(x_2(t)){(x_3(t))}^3}{8+3{(x_2(t))}^2+{|x_3(t)|}^3}{(t-a)}^{-{\beta }_{31}^{\prime }},t>a,\\ {[D^{{\alpha }_i-1}{x}_i(t)]}_{t=a}=x_i^0,i=1,2,3.\end{array}$$

Define the maps

$$\begin{array}{c}{g}_1(t,x_1(t),x_2(t),\dots ,x_k(t))=\frac{M_1{x}_2(t){sin}^2(x_3(t))}{\frac{3}{2}+|x_2(t)|+|x_3(t)|}{(t-a)}^{-{\beta }_{11}^{\prime }},\hfill \\ g_2(t,x_1(t),x_2(t),\dots ,x_k(t))=\frac{M_2{t}^2{(x_1(t))}^2}{(7+5t^2)(1+2{(x_1(t))}^2+{(x_3(t))}^2)}{(t-}^{}\hfill \end{array}$$