# Periodic solutions of delay differential equations with feedback control for enterprise clusters based on ecology theory

## Abstract

By utilizing a fixed point theorem of strict-set-contraction, some criteria are established for the existence of positive periodic solutions of enterprise clusters based on ecology theory with time-varying delays and feedback controls.

## 1 Introduction

During recent years, many authors have worked on the existence of periodic solutions of delay differential equations with feedback control . However, few papers have been published about the existence of these solutions of the aforementioned differential equations with feedback control for enterprise clusters based on ecology theory . Zhou divided enterprise clusters into two models: the concentration of subcontractors around the dominant firm and the concentration of simple competitors, called the center halfback model and the net model . Moreover, two models from biology were given and studied from an economic point of view. Accordingly, sufficient conditions were obtained to guarantee the co-existence and stability of enterprise clusters. Then, the developing strategy of enterprises was analyzed based on the logistic model, while the suggestions of constructing cooperative relation and choosing generalization or specialization tactics for the commodity were suggested . In addition, based on a theoretical model of ecological population science, Wang and Pan made a detailed analysis of the equilibrium mechanism of enterprise clusters, including a net model and a center halfback model, and they drew the conclusion that the relationship of fierce competition and beneficial cooperation among enterprise clusters was the crucial factor to keep stability . In a recent study the competition and cooperation system of two enterprises based on an ecosystem have been considered :

$\left\{\begin{array}{l}\frac{d{x}_{1}\left(t\right)}{dt}={r}_{1}\left(t\right){x}_{1}\left(t\right)\left(1-\frac{{x}_{1}\left(t\right)+\alpha {\left({x}_{2}\left(t\right)-{c}_{2}\right)}^{2}}{K}\right),\\ \frac{d{x}_{2}\left(t\right)}{dt}={r}_{2}\left(t\right){x}_{2}\left(t\right)\left(1-\frac{{x}_{2}\left(t\right)-\beta {\left({x}_{1}\left(t\right)-{c}_{1}\right)}^{2}}{K}\right),\end{array}$

where ${x}_{1}\left(t\right)$, ${x}_{2}\left(t\right)$ are the output of enterprises A and B, ${r}_{1}$, ${r}_{2}$ represent the intrinsic growth rate, K is the carrying capacity of the market under natural unlimited conditions, α, β denote the competitive coefficients of the two enterprises, ${c}_{1}$, ${c}_{2}$ are the initial production of the two enterprises. Therefore, the equation with non-constant coefficients is assumed, which can be got as a modified previous system with variable coefficients (letting ${a}_{1}=\frac{{r}_{1}}{K}$, ${a}_{2}=\frac{{r}_{2}}{K}$, ${b}_{1}=\frac{{r}_{1}\alpha }{K}$, ${b}_{2}=\frac{{r}_{2}\beta }{K}$ in previous system):

$\left\{\begin{array}{l}\frac{d{x}_{1}\left(t\right)}{dt}={x}_{1}\left(t\right)\left({r}_{1}\left(t\right)-{a}_{1}\left(t\right){x}_{1}\left(t\right)-{b}_{1}\left(t\right){\left({x}_{2}\left(t\right)-{c}_{2}\left(t\right)\right)}^{2}\right),\\ \frac{d{x}_{2}\left(t\right)}{dt}={x}_{2}\left(t\right)\left({r}_{2}\left(t\right)-{a}_{2}\left(t\right){x}_{2}\left(t\right)-{b}_{2}\left(t\right){\left({x}_{1}\left(t\right)-{c}_{1}\left(t\right)\right)}^{2}\right).\end{array}$

In real situations there is an undeniable time delay, and a long time delay may damage the stability of a system. Also the situation of enterprises is often distributed by unforeseen forces, which can lead to changes in the enterprises’ parameters, such as intrinsic growth rates, therefore it is vitally important to study models with control variables which are the so-called disturbance functions [3, 1416]. Resuming the latest studies, the following competitive and cooperation model of n satellite enterprises and a dominant enterprise under the center halfback model with time-varying delays and feedback controls is considered to find whether there is any periodic solution for this system:

$\left\{\begin{array}{l}\frac{d{x}_{i}\left(t\right)}{dt}={x}_{i}\left(t\right)\left[{r}_{i}\left(t\right)-{a}_{i}\left(t\right){x}_{i}\left(t\right)-{\sum }_{j=1,j\ne i}^{n}{b}_{ij}\left(t\right)\frac{d{x}_{j}}{dt}\left(t-{\tau }_{j}\left(t\right)\right)\\ \phantom{\frac{d{x}_{i}\left(t\right)}{dt}=}-c\left(t\right){\left[y\left(t-\gamma \left(t\right)\right)-d\left(t\right)\right]}^{2}-{e}_{i}\left(t\right){u}_{i}\left(t-{\lambda }_{i}\left(t\right)\right)\right],\\ \frac{d{u}_{i}\left(t\right)}{dt}=-{\alpha }_{i}\left(t\right){u}_{i}\left(t\right)-{\sum }_{j=1}^{n}{\beta }_{j}\left(t\right){x}_{j}\left(t-{\eta }_{j}\left(t\right)\right),\\ \frac{dy\left(t\right)}{dt}=y\left(t\right)\left[r\left(t\right)-a\left(t\right)y\left(t\right)-b\left(t\right)\frac{dy\left(t\right)}{dt}-{\sum }_{i=1}^{n}{c}_{i}\left(t\right){\left[{x}_{i}\left(t-{\delta }_{i}\left(t\right)\right)-{d}_{i}\left(t\right)\right]}^{2}\\ \phantom{\frac{dy\left(t\right)}{dt}=}-e\left(t\right)v\left(t-\lambda \left(t\right)\right)\right],\\ \frac{dv\left(t\right)}{dt}=-\mu \left(t\right)v\left(t\right)+v\left(t\right)y\left(t-\theta \left(t\right)\right),\end{array}$

where ${x}_{i}\left(t\right)$, $y\left(t\right)$ represent the output of the satellite enterprises, $A{x}_{i}$, and the core enterprise, Ay, respectively, ${r}_{i}$, r are the intrinsic growth rates, ${a}_{i}$, a account for their respective self-regulations, ${b}_{ij}$ accounts for the rates of inter-enterprises $A{x}_{i}$ competition, c represents the rate of intra-enterprise competition from Ay, ${c}_{i}$ represents the rate of conversion of a commodity into the reproduction of enterprise $A{x}_{i}$, ${d}_{i}$ and d represent the initial production of the enterprises, respectively, ${u}_{i}$, v are the control variables, $i=1,2,\dots ,n$.

Let R and ${R}^{+}$ denote the set of all real numbers and nonnegative real numbers. Let h be a continuous bounded function defined on R, and we set

$\overline{h}=max\left\{h\left(t\right):t\in \left[0,w\right]\right\}$

and

$\underline{h}=min\left\{h\left(t\right):t\in \left[0,w\right]\right\},$

where h is a continuous w-periodic function.

In this paper we shall use the following hypotheses.

(H1) ${r}_{i}$, r, ${a}_{i}$, a, ${b}_{ij}$, b, ${c}_{i}$, c, ${d}_{i}$, d, ${e}_{i}$, e, ${\alpha }_{i}$, ${\tau }_{i}$, γ, ${\lambda }_{i}$, λ, ${\delta }_{i}$, ${\eta }_{i}$, μ, θ are continuous w-periodic functions,

$\begin{array}{c}{p}_{i}={e}^{{\int }_{0}^{w}{\alpha }_{i}\left(s\right)\phantom{\rule{0.2em}{0ex}}ds}>1,\phantom{\rule{2em}{0ex}}p={e}^{{\int }_{0}^{w}\mu \left(s\right)\phantom{\rule{0.2em}{0ex}}ds}>1,\hfill \\ {q}_{i}={e}^{-{\int }_{0}^{w}{r}_{i}\left(s\right)\phantom{\rule{0.2em}{0ex}}ds}<1,\phantom{\rule{2em}{0ex}}q={e}^{-{\int }_{0}^{w}r\left(s\right)\phantom{\rule{0.2em}{0ex}}ds}<1,\hfill \\ {G}_{i}\left(t,s\right)=\frac{{e}^{{\int }_{t}^{s}{\alpha }_{i}\left(s\right)\phantom{\rule{0.2em}{0ex}}ds}}{{e}^{{\int }_{0}^{w}{\alpha }_{i}\left(s\right)\phantom{\rule{0.2em}{0ex}}ds}-1},\phantom{\rule{2em}{0ex}}G\left(t,s\right)=\frac{{e}^{{\int }_{t}^{s}\mu \left(s\right)\phantom{\rule{0.2em}{0ex}}ds}}{{e}^{{\int }_{0}^{w}\mu \left(s\right)\phantom{\rule{0.2em}{0ex}}ds}-1},\hfill \\ H\left(t,s\right)=\frac{{e}^{-{\int }_{t}^{s}{r}_{i}\left(s\right)\phantom{\rule{0.2em}{0ex}}ds}}{1-{e}^{-{\int }_{0}^{w}{r}_{i}\left(s\right)\phantom{\rule{0.2em}{0ex}}ds}},\phantom{\rule{2em}{0ex}}H\left(t,s\right)=\frac{{e}^{-{\int }_{t}^{s}r\left(s\right)\phantom{\rule{0.2em}{0ex}}ds}}{1-{e}^{-{\int }_{0}^{w}r\left(s\right)\phantom{\rule{0.2em}{0ex}}ds}},\hfill \\ B\left(t\right)=max\left\{{b}_{i}\left(t\right):i=1,\dots ,n,b\left(t\right)\right\},\hfill \\ {F}_{i}\left(t\right)={\int }_{t}^{t+w}{G}_{i}\left(t,s\right)\sum _{i=1}^{n}{\beta }_{i}\left(s\right)\phantom{\rule{0.2em}{0ex}}ds,\phantom{\rule{2em}{0ex}}F\left(t\right)=v\left(t\right)={\int }_{t}^{t+w}G\left(t,s\right)v\left(s\right)\phantom{\rule{0.2em}{0ex}}ds,\hfill \\ {M}_{i1}={\int }_{0}^{w}\left({q}_{i}{a}_{i}\left(s\right)+\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(s\right)+{q}_{i}c\left(s\right){\parallel x\parallel }_{1}+{q}_{i}{e}_{i}\left(s\right){F}_{i}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds,\hfill \\ {M}_{1}={\int }_{0}^{w}\left[qa\left(s\right)+b\left(s\right)+q\sum _{i=1}^{n}{c}_{i}\left(s\right){\parallel x\parallel }_{1}+qe\left(s\right)F\left(s-\lambda \left(s\right)\right)\right]\phantom{\rule{0.2em}{0ex}}ds,\hfill \\ {M}_{i2}={\int }_{0}^{w}\left({a}_{i}\left(s\right)+\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(s\right)+c\left(s\right){\parallel x\parallel }_{1}+{e}_{i}\left(s\right){F}_{i}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds,\hfill \\ {M}_{2}={\int }_{0}^{w}\left[a\left(s\right)+b\left(s\right)+\sum _{i=1}^{n}{c}_{i}\left(s\right){\parallel x\parallel }_{1}+e\left(s\right)F\left(s-\lambda \left(s\right)\right)\right]\phantom{\rule{0.2em}{0ex}}ds.\hfill \end{array}$

(H2)

${q}_{i}{a}_{i}\left(t\right){\parallel x\parallel }_{1}+{q}_{i}\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(t\right){\parallel x\parallel }_{1}+{q}_{i}^{2}c\left(t\right){\parallel x\parallel }_{1}^{2}+{q}_{i}{e}_{i}\left(t\right){F}_{i}\left(t-{\lambda }_{i}\left(t\right)\right){\parallel x\parallel }_{1}\ge 0$

and

$qa\left(t\right){\parallel x\parallel }_{1}+qb\left(t\right){\parallel x\parallel }_{1}+{q}^{2}\sum _{i=1}^{n}{c}_{i}\left(t\right){\parallel x\parallel }_{1}^{2}+qe\left(t\right)F\left(t-{\lambda }_{i}\left(t\right)\right){\parallel x\parallel }_{1}\ge 0.$

(H3)

$\begin{array}{c}\left(1+{\underline{r}}_{i}\right)\frac{{q}_{i}^{2}}{1-{q}_{i}}{M}_{i1}\ge max\left\{{a}_{i}\left(t\right)+\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(t\right)+c\left(t\right){\parallel x\parallel }_{1}+{e}_{i}\left(t\right){F}_{i}\left(t-{\lambda }_{i}\left(t\right)\right):t\in \left[0,w\right]\right\},\hfill \\ \left(1+\underline{r}\right)\frac{{q}^{2}}{1-q}{M}_{1}\ge max\left\{a\left(t\right)+b\left(t\right)+\sum _{i=1}^{n}{c}_{i}\left(t\right){\parallel x\parallel }_{1}+e\left(t\right)F\left(t-\lambda \left(t\right)\right):t\in \left[0,w\right]\right\}.\hfill \end{array}$

(H4)

$\begin{array}{c}\left(1-{\overline{r}}_{i}\right)\frac{1}{{q}_{i}\left(1-{q}_{i}\right)}{M}_{i2}\hfill \\ \phantom{\rule{1em}{0ex}}\le min\left\{{q}_{i}{a}_{i}\left(t\right)+{q}_{i}\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(t\right)+{q}_{i}c\left(t\right){\parallel x\parallel }_{1}+{q}_{i}{e}_{i}\left(t\right){F}_{i}\left(t-{\lambda }_{i}\left(t\right)\right):t\in \left[0,w\right]\right\},\hfill \\ \left(1-\overline{r}\right)\frac{1}{q\left(1-q\right)}{M}_{2}\hfill \\ \phantom{\rule{1em}{0ex}}\le min\left\{qa\left(t\right)+qb\left(t\right)+q\sum _{i=1}^{n}{c}_{i}\left(t\right){\parallel x\parallel }_{1}+qe\left(t\right)F\left(t-\lambda \left(t\right)\right):t\in \left[0,w\right]\right\}.\hfill \end{array}$

In order to obtain our main results, we first make the following preparations.

Definition 1.1 Let X be Banach space and E be a closed, nonempty subset of X; E is said to be a cone if

1. (i)

$\alpha u+\beta v\in E$, for all $u,v\in E$ and all $\alpha ,\beta >0$,

2. (ii)

$u,-u\in E$ imply $u=0$.

Let X be a Banach space and E be a cone in X. The semi-order induced by the cone E is denoted by ‘≤’. That is, $x\le y$ if and only if $y-x\in E$. For a bounded subset $A\subset X$, let ${\alpha }_{X}\left(A\right)$ denote the (Kuratowski) measure of non-compactness defined by

where $diam\left({A}_{i}\right)$ denotes the diameter of the set ${A}_{i}$.

Definition 1.2 Let E, F be two Banach spaces and $D\subset E$, a continuous and bounded map $T:D\to F$ is called k-set-contractive if for any bounded set $S\subset D$ we have

${\alpha }_{F}\left(T\left(S\right)\right)\le k{\alpha }_{E}\left(S\right).$

T is called strict-set-contractive if it is k-set-contractive for some $0\le k<1$.

The following lemma is cited from [17, 18], which is useful for the proof of our main result of this paper.

Lemma 1.1 Let P be a cone of the real Banach space X and

${\mathrm{\Omega }}_{R}=\left\{x\in X:\parallel x\parallel

with $R>r>0$. Suppose that $T:P\cap {\overline{\mathrm{\Omega }}}_{R}\mathrm{\setminus }{\mathrm{\Omega }}_{r}\to P$ is strict-set-contractive such that one of the following two conditions is satisfied:

1. (i)

Not $Tx\ge x$ $\mathrm{\forall }x\in P\cap \partial {\mathrm{\Omega }}_{r}$.

2. (ii)

Not $Tx\le x$ $\mathrm{\forall }x\in P\cap \partial {\mathrm{\Omega }}_{R}$.

Then T has at least one fixed point in $P\cap {\overline{\mathrm{\Omega }}}_{R}\mathrm{\setminus }{\mathrm{\Omega }}_{r}$.

## 2 Main results

In this section, at first based on a fixed point theorem for the strict-set-contraction, we shall study the existence of at least one positive periodic solution of the system, then we state and prove our main results.

Now, each w-periodic solution of the equation

$\frac{d{u}_{i}\left(t\right)}{dt}=-{\alpha }_{i}\left(t\right){u}_{i}\left(t\right)-\sum _{j=1}^{n}{\beta }_{j}\left(t\right){x}_{j}\left(t-{\eta }_{j}\left(t\right)\right)$

and

$\frac{dv\left(t\right)}{dt}=-\mu \left(t\right)v\left(t\right)+v\left(t\right)y\left(t-\theta \left(t\right)\right)$

is equivalent to that of the equations

${u}_{i}\left(t\right)\left(t\right)={\int }_{t}^{t+w}{G}_{i}\left(t,s\right)\sum _{j=1}^{n}{\beta }_{j}\left(s\right){x}_{j}\left(s-{\eta }_{j}\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds={\mathrm{\Phi }}_{{x}_{i}}\left(t\right)$

and

$v\left(t\right)={\int }_{t}^{t+w}G\left(t,s\right)v\left(s\right)y\left(s-\theta \left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds={\mathrm{\Phi }}_{y}\left(t\right).$

Therefore, the existence problem of a w-periodic solution of system is equivalent to that of a w-periodic solution of the equations:

$\begin{array}{rcl}{x}_{i}\left(t\right)& =& {\int }_{t}^{t+w}{H}_{i}\left(t,s\right){x}_{i}\left(s\right)\left({a}_{i}\left(s\right){x}_{i}\left(s\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(s\right)\frac{d{x}_{j}}{ds}\left(s-{\tau }_{j}\left(s\right)\right)\\ +c\left(s\right){\left[y\left(s-\gamma \left(s\right)\right)-d\left(s\right)\right]}^{2}+{e}_{i}\left(s\right){\mathrm{\Phi }}_{{x}_{i}}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds,\end{array}$

$i=1,2,\dots ,n$,

$\begin{array}{rcl}y\left(t\right)& =& {\int }_{t}^{t+w}H\left(t,s\right)y\left(s\right)\left[a\left(s\right)y\left(s\right)+b\left(s\right)\frac{dy\left(s\right)}{ds}+\sum _{i=1}^{n}{c}_{i}\left(s\right){\left[{x}_{i}\left(s-{\delta }_{i}\left(s\right)\right)-{d}_{i}\left(s\right)\right]}^{2}\\ +e\left(s\right){\mathrm{\Phi }}_{y}\left(s-\lambda \left(s\right)\right)\right]\phantom{\rule{0.2em}{0ex}}ds.\end{array}$

In order to apply Lemma 1.1 to the equations, set

${C}_{w}^{0}=\left\{x=\left[\begin{array}{c}{x}_{1}\\ {x}_{2}\\ ⋮\\ {x}_{n}\\ y\end{array}\right]:{x}_{i},y\in C\left(R,R\right),{x}_{i}\left(t+w\right)={x}_{i}\left(t\right),y\left(t+w\right)=y\left(t\right),t\in R\right\},$

with the norm defined by

$\parallel x\parallel =max\left\{max\left\{|{x}_{i}\left(t\right)|:t\in \left[0,w\right]\right\},i=1,2,\dots ,n,max\left\{|y\left(t\right)|:t\in \left[0,w\right]\right\}\right\}$

and

${C}_{w}^{1}=\left\{x=\left[\begin{array}{c}{x}_{1}\\ {x}_{2}\\ ⋮\\ {x}_{n}\\ y\end{array}\right]:{x}_{i},y\in {C}^{1}\left(R,R\right),{x}_{i}\left(t+w\right)={x}_{i}\left(t\right),y\left(t+w\right)=y\left(t\right),t\in R\right\},$

with the norm defined by ${\parallel x\parallel }_{1}=max\left\{\parallel x\parallel ,\parallel {x}^{\prime }\parallel \right\}$. Then ${C}_{w}^{0}$, ${C}_{w}^{1}$ are of course Banach spaces. Define the cone P in ${C}_{w}^{1}$ by

$P=\left\{x:x\in {C}_{w}^{1},{x}_{i}\left(t\right)\ge {q}_{i}{\parallel x\parallel }_{1},y\left(t\right)\ge q{\parallel x\parallel }_{1},t\in \left[0,w\right]\right\}.$

Also for $R>r>0$, set

${\mathrm{\Omega }}_{R}=\left\{x\in {C}_{w}^{1}:{\parallel x\parallel }_{1}

Let the map T be defined by

$Tx=\left[\begin{array}{c}T{x}_{1}\\ T{x}_{2}\\ ⋮\\ T{x}_{n}\\ Ty\end{array}\right],$

where

$\begin{array}{rcl}T{x}_{i}\left(t\right)& =& {\int }_{t}^{t+w}{H}_{i}\left(t,s\right){x}_{i}\left(s\right)\left({a}_{i}\left(s\right){x}_{i}\left(s\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(s\right)\frac{d{x}_{j}}{ds}\left(s-{\tau }_{j}\left(s\right)\right)\\ +c\left(s\right){\left[y\left(s-\gamma \left(s\right)\right)-d\left(s\right)\right]}^{2}+{e}_{i}\left(s\right){\mathrm{\Phi }}_{{x}_{i}}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds,\end{array}$

$i=1,2,\dots ,n$,

$\begin{array}{rcl}Ty\left(t\right)& =& {\int }_{t}^{t+w}H\left(t,s\right)y\left(s\right)\left[a\left(s\right)y\left(s\right)+b\left(s\right)\frac{dy\left(s\right)}{ds}+\sum _{i=1}^{n}{c}_{i}\left(s\right){\left[{x}_{i}\left(s-{\delta }_{i}\left(s\right)\right)-{d}_{i}\left(s\right)\right]}^{2}\\ +e\left(s\right){\mathrm{\Phi }}_{y}\left(s-\lambda \left(s\right)\right)\right]\phantom{\rule{0.2em}{0ex}}ds.\end{array}$

Lemma 2.1 Assume that (H1)-(H3) hold.

1. (i)

If ${\overline{r}}_{i}\le 1$, $\overline{r}\le 1$, then $T:P\to P$ is well defined.

2. (ii)

If (H4) holds and ${\overline{r}}_{i}>1$, ${\overline{r}}_{i}>1$, then $T:P\to P$ is well defined.

Proof (i) For any $x\in P$, it follows that $Tx\in {C}_{w}^{1}$. Under the assumption (H2), for $t\in \left[0,w\right]$, we have

$\begin{array}{c}{a}_{i}\left(t\right){x}_{i}\left(t\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(t\right)\frac{d{x}_{j}}{dt}\left(t-{\tau }_{j}\left(t\right)\right)+c\left(t\right){\left[y\left(t-\gamma \left(t\right)\right)-d\left(t\right)\right]}^{2}+{e}_{i}\left(t\right){\mathrm{\Phi }}_{{x}_{i}}\left(t-{\lambda }_{i}\left(t\right)\right)\hfill \\ \phantom{\rule{1em}{0ex}}\ge {q}_{i}{a}_{i}\left(t\right){\parallel x\parallel }_{1}+{q}_{i}\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(t\right){\parallel x\parallel }_{1}+{q}_{i}^{2}c\left(t\right){\parallel x\parallel }_{1}^{2}+{q}_{i}{e}_{i}\left(t\right){F}_{i}\left(t-{\lambda }_{i}\left(t\right)\right){\parallel x\parallel }_{1}\ge 0\hfill \end{array}$

and

$\begin{array}{r}a\left(t\right)y\left(t\right)+b\left(t\right)\frac{dy\left(t\right)}{dt}+\sum _{i=1}^{n}{c}_{i}\left(t\right){\left[{x}_{i}\left(t-{\delta }_{i}\left(t\right)\right)-{d}_{i}\left(t\right)\right]}^{2}+e\left(t\right){\mathrm{\Phi }}_{y}\left(t-\lambda \left(t\right)\right)\\ \phantom{\rule{1em}{0ex}}\ge qa\left(t\right){\parallel x\parallel }_{1}+qb\left(t\right){\parallel x\parallel }_{1}+{q}^{2}\sum _{i=1}^{n}{c}_{i}\left(t\right){\parallel x\parallel }_{1}^{2}+qe\left(t\right)F\left(t-{\lambda }_{i}\left(t\right)\right){\parallel x\parallel }_{1}\ge 0;\end{array}$

moreover,

$\begin{array}{c}max\left\{|T{x}_{i}\left(t\right)|:t\in \left[0,w\right]\right\}\hfill \\ \phantom{\rule{1em}{0ex}}\le max\left\{\frac{1}{1-{q}_{i}}{\int }_{t}^{t+w}{x}_{i}\left(s\right)\left({a}_{i}\left(s\right){x}_{i}\left(s\right)+\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(s\right)\frac{d{x}_{j}}{ds}\left(s-{\tau }_{j}\left(s\right)\right)\hfill \\ \phantom{\rule{2em}{0ex}}+c\left(s\right){\left[y\left(s-\gamma \left(s\right)\right)-d\left(s\right)\right]}^{2}+{e}_{i}\left(s\right){\mathrm{\Phi }}_{{x}_{i}}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds:t\in \left[0,w\right]\right\}\hfill \\ \phantom{\rule{1em}{0ex}}=\frac{1}{1-{q}_{i}}{\int }_{0}^{w}{x}_{i}\left(s\right)\left({a}_{i}\left(s\right){x}_{i}\left(s\right)+\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(s\right)\frac{d{x}_{j}}{ds}\left(s-{\tau }_{j}\left(s\right)\right)\hfill \\ \phantom{\rule{2em}{0ex}}+c\left(s\right){\left[y\left(s-\gamma \left(s\right)\right)-d\left(s\right)\right]}^{2}+{e}_{i}\left(s\right){\mathrm{\Phi }}_{{x}_{i}}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds\hfill \end{array}$

and

$\begin{array}{c}max\left\{|Ty\left(t\right)|:t\in \left[0,w\right]\right\}\hfill \\ \phantom{\rule{1em}{0ex}}\le max\left\{\frac{1}{1-q}{\int }_{t}^{t+w}y\left(s\right)\left(a\left(s\right)y\left(s\right)+b\left(s\right)\frac{dy\left(s\right)}{ds}\hfill \\ \phantom{\rule{2em}{0ex}}+\sum _{i=1}^{n}{c}_{i}\left(s\right){\left[{x}_{i}\left(s-{\delta }_{i}\left(s\right)\right)-{d}_{i}\left(s\right)\right]}^{2}+e\left(s\right){\mathrm{\Phi }}_{y}\left(s-\lambda \left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds:t\in \left[0,w\right]\right\}\hfill \\ \phantom{\rule{1em}{0ex}}=\frac{1}{1-q}{\int }_{0}^{w}y\left(s\right)\left(a\left(s\right)y\left(s\right)+b\left(s\right)\frac{dy\left(s\right)}{ds}+\sum _{i=1}^{n}{c}_{i}\left(s\right){\left[{x}_{i}\left(s-{\delta }_{i}\left(s\right)\right)-{d}_{i}\left(s\right)\right]}^{2}\hfill \\ \phantom{\rule{2em}{0ex}}+e\left(s\right){\mathrm{\Phi }}_{y}\left(s-\lambda \left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds.\hfill \end{array}$

Therefore, for $t\in \left[0,w\right]$, we obtain

$\begin{array}{rcl}T{x}_{i}\left(t\right)& \ge & \frac{{q}_{i}}{1-{q}_{i}}{\int }_{t}^{t+w}{x}_{i}\left(s\right)\left({a}_{i}\left(s\right){x}_{i}\left(s\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(s\right)\frac{d{x}_{j}}{ds}\left(s-{\tau }_{j}\left(s\right)\right)\\ +c\left(s\right){\left[y\left(s-\gamma \left(s\right)\right)-d\left(s\right)\right]}^{2}+{e}_{i}\left(s\right){\mathrm{\Phi }}_{{x}_{i}}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds\\ =& \frac{{q}_{i}}{1-{q}_{i}}{\int }_{0}^{w}{x}_{i}\left(s\right)\left({a}_{i}\left(s\right){x}_{i}\left(s\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(s\right)\frac{d{x}_{j}}{dt}\left(s-{\tau }_{j}\left(s\right)\right)\\ +c\left(s\right){\left[y\left(s-\gamma \left(s\right)\right)-d\left(s\right)\right]}^{2}+{e}_{i}\left(s\right){\mathrm{\Phi }}_{{x}_{i}}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds\\ \ge & {q}_{i}\parallel Tx\parallel \end{array}$

and

$\begin{array}{rcl}Ty\left(t\right)& \ge & \frac{q}{1-q}{\int }_{t}^{t+w}y\left(s\right)\left(a\left(s\right)y\left(s\right)+b\left(s\right)\frac{dy\left(s\right)}{ds}\\ +\sum _{i=1}^{n}{c}_{i}\left(s\right){\left[{x}_{i}\left(s-{\delta }_{i}\left(s\right)\right)-{d}_{i}\left(s\right)\right]}^{2}+e\left(s\right){\mathrm{\Phi }}_{y}\left(s-\lambda \left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds\\ =& \frac{q}{1-q}{\int }_{0}^{w}y\left(s\right)\left(a\left(s\right)y\left(s\right)+b\left(s\right)\frac{dy\left(s\right)}{ds}\\ +\sum _{i=1}^{n}{c}_{i}\left(s\right){\left[{x}_{i}\left(s-{\delta }_{i}\left(s\right)\right)-{d}_{i}\left(s\right)\right]}^{2}+e\left(s\right){\mathrm{\Phi }}_{y}\left(s-\lambda \left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds\\ \ge & q\parallel Tx\parallel .\end{array}$

Now we prove $T{x}_{i}\left(t\right)\ge {q}_{i}\parallel {\left(Tx\right)}^{\prime }\parallel$, $Ty\left(t\right)\ge q\parallel {\left(Tx\right)}^{\prime }\parallel$, for $t\in \left[0,w\right]$; we find

$\begin{array}{rcl}{\left(T{x}_{i}\right)}^{\prime }\left(t\right)& =& {H}_{i}\left(t,t+w\right){x}_{i}\left(t+w\right)\left({a}_{i}\left(t+w\right){x}_{i}\left(t+w\right)\\ +\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(t+w\right)\frac{d{x}_{j}}{dt}\left(t+w-{\tau }_{j}\left(t+w\right)\right)\\ +c\left(t+w\right){\left[y\left(t+w-\gamma \left(t+w\right)\right)-d\left(t+w\right)\right]}^{2}\\ +{e}_{i}\left(t+w\right){\mathrm{\Phi }}_{{x}_{i}}\left(t+w-{\lambda }_{i}\left(t+w\right)\right)\right)\\ -{H}_{i}\left(t,t\right){x}_{i}\left(t\right)\left({a}_{i}\left(t\right){x}_{i}\left(t\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(t\right)\frac{d{x}_{j}}{dt}\left(t-{\tau }_{j}\left(t\right)\right)\\ +c\left(t\right){\left[y\left(t-\gamma \left(t\right)\right)-d\left(t\right)\right]}^{2}+{e}_{i}\left(t\right){\mathrm{\Phi }}_{{x}_{i}}\left(t-{\lambda }_{i}\left(t\right)\right)\right)\end{array}$

and

$\begin{array}{rcl}{\left(Ty\right)}^{\prime }\left(t\right)& =& H\left(t,t+w\right)y\left(t+w\right)\left[a\left(t+w\right)y\left(t+w\right)+b\left(t+w\right)\frac{dy}{dt}\left(t+w\right)\\ +\sum _{i=1}^{n}{c}_{i}\left(t+w\right){\left[{x}_{i}\left(t+w-{\delta }_{i}\left(t+w\right)\right)-{d}_{i}\left(t+w\right)\right]}^{2}\\ +e\left(t+w\right){\mathrm{\Phi }}_{y}\left(t+w-\lambda \left(t+w\right)\right)\right]\\ -H\left(t,t\right)y\left(t\right)\left[a\left(t\right)y\left(t\right)+b\left(t\right)\frac{dy}{dt}\left(t\right)+\sum _{i=1}^{n}{c}_{i}\left(t\right){\left[{x}_{i}\left(t-{\delta }_{i}\right)-{d}_{i}\right]}^{2}\\ +e\left(t\right){\mathrm{\Phi }}_{y}\left(t-\lambda \left(t\right)\right)\right]+r\left(t\right)Ty\left(t\right)\\ =& r\left(t\right)Ty\left(t\right)-y\left(t\right)\left[a\left(t\right)y\left(t\right)+b\left(t\right)\frac{dy}{dt}\left(t\right)+\sum _{i=1}^{n}{c}_{i}\left(t\right){\left[{x}_{i}\left(t-{\delta }_{i}\right)-{d}_{i}\right]}^{2}\\ +e\left(t\right){\mathrm{\Phi }}_{y}\left(t-\lambda \left(t\right)\right)\right].\end{array}$

We have

${\left(T{x}_{i}\right)}^{\prime }\left(t\right)\le {r}_{i}\left(t\right)T{x}_{i}\left(t\right)\le {\overline{r}}_{i}T{x}_{i}\left(t\right)\le T{x}_{i}\left(t\right)$

and

${\left(Ty\right)}^{\prime }\left(t\right)\le r\left(t\right)Ty\left(t\right)\le \overline{r}Ty\left(t\right)\le Ty\left(t\right).$

On the other hand, we find

$\begin{array}{c}-{\left(T{x}_{i}\right)}^{\prime }\left(t\right)={x}_{i}\left(t\right)\left({a}_{i}\left(t\right){x}_{i}\left(t\right)+\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(t\right)\frac{d{x}_{j}}{dt}\left(t-{\tau }_{j}\left(t\right)\right)\hfill \\ \phantom{-{\left(T{x}_{i}\right)}^{\prime }\left(t\right)=}+c\left(t\right){\left[y\left(t-\gamma \left(t\right)\right)-d\left(t\right)\right]}^{2}+{e}_{i}\left(t\right){\mathrm{\Phi }}_{{x}_{i}}\left(t-{\lambda }_{i}\left(t\right)\right)\right)-{r}_{i}\left(t\right)T{x}_{i}\left(t\right)\hfill \\ \phantom{-{\left(T{x}_{i}\right)}^{\prime }\left(t\right)}\le {\parallel x\parallel }_{1}^{2}\left({a}_{i}\left(t\right)+\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(t\right)+c\left(t\right){\parallel x\parallel }_{1}+{e}_{i}\left(t\right){F}_{i}\left(t-{\lambda }_{i}\left(t\right)\right)\right)-{r}_{i}\left(t\right)T{x}_{i}\left(t\right)\hfill \\ \phantom{-{\left(T{x}_{i}\right)}^{\prime }\left(t\right)}\le \left(1+{\underline{r}}_{i}\right)\frac{{q}_{i}^{2}}{1-{q}_{i}}{\parallel x\parallel }_{1}^{2}{\int }_{0}^{w}\left({a}_{i}\left(s\right)+\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(s\right)+c\left(s\right){\parallel x\parallel }_{1}+{e}_{i}\left(s\right){F}_{i}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds,\hfill \\ -{\underline{r}}_{i}T{x}_{i}\left(t\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\left(1+{\underline{r}}_{i}\right){\int }_{t}^{t+w}\frac{{q}_{i}}{1-{q}_{i}}{q}_{i}{\parallel x\parallel }_{1}^{2}\left({a}_{i}\left(s\right)+\sum _{i=1,i\ne j}^{n}{b}_{ij}\left(s\right)+c\left(s\right){\parallel x\parallel }_{1}+{e}_{i}\left(s\right){F}_{i}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds,\hfill \\ -{\underline{r}}_{i}T{x}_{i}\left(t\right)\le \left(1+{\underline{r}}_{i}\right)T{x}_{i}\left(t\right)-{\underline{r}}_{i}T{x}_{i}\left(t\right)=T{x}_{i}\left(t\right),\hfill \end{array}$

and we have

$\begin{array}{rcl}-{\left(Ty\right)}^{\prime }\left(t\right)& =& y\left(t\right)\left[a\left(t\right)y\left(t\right)+b\left(t\right)\frac{dy}{dt}\left(t\right)+\sum _{i=1}^{n}{c}_{i}\left(t\right){\left[{x}_{i}\left(t-{\delta }_{i}\right)-{d}_{i}\right]}^{2}+e\left(t\right){\mathrm{\Phi }}_{y}\left(t-\lambda \left(t\right)\right)\right]\\ -r\left(t\right)Ty\left(t\right)\\ \le & {\parallel x\parallel }_{1}^{2}\left[a\left(t\right)+b\left(t\right)+\sum _{i=1}^{n}{c}_{i}\left(t\right){\parallel x\parallel }_{1}+e\left(t\right)F\left(t-\lambda \left(t\right)\right)\right]-r\left(t\right)Ty\left(t\right)\\ \le & \left(1+\underline{r}\right)\frac{{q}^{2}}{1-q}{\parallel x\parallel }_{1}^{2}{\int }_{0}^{w}\left[a\left(s\right)+b\left(s\right)+\sum _{i=1}^{n}{c}_{i}\left(s\right){\parallel x\parallel }_{1}+e\left(s\right)F\left(s-\lambda \left(s\right)\right)\right]\phantom{\rule{0.2em}{0ex}}ds\\ -r\left(t\right)Ty\left(t\right)\\ =& \left(1+\underline{r}\right){\int }_{t}^{t+w}\frac{q}{1-q}q{\parallel x\parallel }_{1}^{2}\left[a\left(s\right)+b\left(s\right)+\sum _{i=1}^{n}{c}_{i}\left(s\right){\parallel x\parallel }_{1}+e\left(s\right)F\left(s-\lambda \left(s\right)\right)\right]\phantom{\rule{0.2em}{0ex}}ds\\ -\underline{r}Ty\left(t\right)\\ \le & \left(1+\underline{r}\right)Ty\left(t\right)-\underline{r}Ty\left(t\right)=Ty\left(t\right).\end{array}$

So we know $\parallel {\left(Tx\right)}^{\prime }\parallel \le \parallel Tx\parallel$, so ${\parallel Tx\parallel }_{1}=\parallel Tx\parallel$. We have

$\left(T{x}_{i}\right)\left(t\right)\ge {q}_{i}{\parallel Tx\parallel }_{1},\phantom{\rule{2em}{0ex}}\left(Ty\right)\left(t\right)\ge q{\parallel Tx\parallel }_{1},\phantom{\rule{1em}{0ex}}t\in \left[0,w\right].$

Hence $Tx\in P$.

1. (ii)

In view of the proof of (i) we need to prove that

${\left(T{x}_{i}\right)}^{\prime }\left(t\right)\le T{x}_{i}\left(t\right)\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}{\left(Ty\right)}^{\prime }\left(t\right)\le Ty\left(t\right).$

We obtain

$\begin{array}{rcl}{\left(T{x}_{i}\right)}^{\prime }\left(t\right)& \le & -{q}_{i}{\parallel x\parallel }_{1}\left({a}_{i}\left(t\right){x}_{i}\left(t\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(t\right)\frac{d{x}_{j}}{dt}\left(t-{\tau }_{j}\left(t\right)\right)+c\left(t\right){\left[y\left(t-\gamma \left(t\right)\right)-d\left(t\right)\right]}^{2}\\ +{e}_{i}\left(t\right){\mathrm{\Phi }}_{{x}_{i}}\left(t-{\lambda }_{i}\left(t\right)\right)\right)+{r}_{i}\left(t\right)T{x}_{i}\left(t\right)\\ \le & {r}_{i}\left(t\right)T{x}_{i}\left(t\right)+{q}_{i}^{2}{\parallel x\parallel }_{1}^{2}\left({a}_{i}\left(t\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(t\right)+qc\left(t\right){\parallel x\parallel }_{1}+{e}_{i}\left(t\right){F}_{i}\left(t-{\lambda }_{i}\left(t\right)\right)\right)\end{array}$

and

$\begin{array}{rcl}{\left(Ty\right)}^{\prime }\left(t\right)& \le & -q{\parallel x\parallel }_{1}\left[a\left(t\right)y\left(t\right)+b\left(t\right)\frac{dy}{dt}\left(t\right)+\sum _{i=1}^{n}{c}_{i}\left(t\right){\left[{x}_{i}\left(t-{\delta }_{i}\right)-{d}_{i}\right]}^{2}+e\left(t\right){\mathrm{\Phi }}_{y}\left(t-\lambda \left(t\right)\right)\right]\\ +r\left(t\right)Ty\left(t\right)\\ \le & r\left(t\right)Ty\left(t\right)+{q}^{2}{\parallel x\parallel }_{1}^{2}\left[a\left(t\right)+b\left(t\right)+\sum _{i=1}^{n}{c}_{i}\left(t\right){\parallel x\parallel }_{1}+e\left(t\right)F\left(t-\lambda \left(t\right)\right)\right].\end{array}$

□

Lemma 2.2 Assume that (H1)-(H3) hold and ${R}_{\overline{B}}<1$.

1. (i)

If ${\overline{r}}_{i}\le 1$, $\overline{r}\le 1$, then $T:P\cap {\overline{\mathrm{\Omega }}}_{R}\mathrm{\setminus }{\mathrm{\Omega }}_{r}\to P$ is strict-set-contractive.

2. (ii)

If (H4) holds and ${\overline{r}}_{i}>1$, $\overline{r}>1$, then $T:P\cap {\overline{\mathrm{\Omega }}}_{R}\mathrm{\setminus }{\mathrm{\Omega }}_{r}\to P$ is strict-set-contractive.

Proof We only need to prove (i), since the proof of (ii) is similar. It is easy to see that T is continuous and bounded. Now we prove that ${\alpha }_{{C}_{w}^{1}}\left(T\left(S\right)\right)\le {R}_{\overline{B}}{\alpha }_{{C}_{w}^{1}}\left(S\right)$ for any bounded set $S\subset P\cap {\overline{\mathrm{\Omega }}}_{R}$. Let $\eta ={\alpha }_{{C}_{w}^{1}}\left(S\right)$, then, for any positive number $\epsilon <{R}_{\overline{B}}\eta$, there is a finite family of subset ${S}_{i}\subset S$ satisfying $S={\bigcup }_{i}{S}_{i}$ with $diam\left({S}_{i}\right)\le \eta +\epsilon$. Therefore

As S and ${S}_{i}$ are precompact in ${C}_{w}^{0}$, it follows that there is a finite family of subsets ${S}_{ij}\subset {S}_{i}$ satisfying ${S}_{i}={\bigcup }_{j}{S}_{ij}$ and

In addition, for any

$x=\left[\begin{array}{c}{x}_{1}\\ {x}_{2}\\ ⋮\\ {x}_{n}\\ y\end{array}\right]\in S$

and $t\in \left[0,w\right]$ we have

$\begin{array}{rcl}|\left(T{x}_{i}\right)\left(t\right)|& =& {\int }_{t}^{t+w}{H}_{i}\left(t,s\right){x}_{i}\left(s\right)\left({a}_{i}\left(s\right){x}_{i}\left(s\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(s\right)\frac{d{x}_{j}}{ds}\left(s-{\tau }_{j}\left(s\right)\right)\\ +c\left(s\right){\left[y\left(s-v\left(s\right)\right)-d\left(s\right)\right]}^{2}+{e}_{i}\left(s\right){\mathrm{\Phi }}_{{x}_{i}}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds\\ \le & \frac{{R}^{2}}{1-{q}_{i}}{\int }_{0}^{w}\left({a}_{i}\left(s\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(s\right)+c\left(s\right)R+{e}_{i}\left(s\right){F}_{i}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds:={M}_{i3}\end{array}$

and

$\begin{array}{rcl}|{\left(T{x}_{i}\right)}^{\prime }\left(t\right)|& =& |{r}_{i}\left(t\right)T{x}_{i}\left(t\right)-{x}_{i}\left(t\right)\left({a}_{i}\left(t\right){x}_{i}\left(t\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(t\right)\frac{d{x}_{j}}{dt}\left(t-{\tau }_{j}\left(t\right)\right)\\ +c\left(t\right){\left[y\left(t-v\left(t\right)\right)-d\left(t\right)\right]}^{2}+{e}_{i}\left(t\right){\mathrm{\Phi }}_{{x}_{i}}\left(t-{\lambda }_{i}\left(t\right)\right)\right)|\\ \le & {\overline{r}}_{i}{M}_{i3}+{R}^{2}\left({\overline{a}}_{i}+\sum _{j=1,i\ne j}^{n}{\overline{b}}_{ij}+{\overline{c}}_{i}R+\frac{{p}_{i}}{{p}_{i}-1}{\overline{e}}_{i}\right).\end{array}$

Also we have

$\begin{array}{rcl}|\left(Ty\right)\left(t\right)|& =& {\int }_{t}^{t+w}H\left(t,s\right)y\left(s\right)\left[a\left(s\right)y\left(s\right)+b\left(s\right)\frac{dy}{ds}\left(s\right)+\sum _{i=1}^{n}{c}_{i}\left(s\right){\left[{x}_{i}\left(s-{\delta }_{i}\left(s\right)\right)-{d}_{i}\left(s\right)\right]}^{2}\\ +e\left(s\right){\mathrm{\Phi }}_{y}\left(s-\lambda \left(s\right)\right)\right]\phantom{\rule{0.2em}{0ex}}ds\\ \le & \frac{{R}^{2}}{1-q}{\int }_{0}^{w}\left[a\left(s\right)+b\left(s\right)+\sum _{i=1}^{n}{c}_{i}\left(s\right)R+e\left(s\right){F}_{y}\left(s-\lambda \left(s\right)\right)\right]\phantom{\rule{0.2em}{0ex}}ds:={M}_{3}\end{array}$

and

$\begin{array}{rl}|{\left(Ty\right)}^{\prime }\left(t\right)|=& |r\left(t\right)Ty\left(t\right)\\ +y\left(t\right)\left[a\left(t\right)y\left(t\right)+b\left(t\right)\frac{dy}{dt}\left(t\right)+\sum _{i=1}^{n}{c}_{i}\left(t\right){\left[{x}_{i}\left(t-{\delta }_{i}\right)-{d}_{i}\right]}^{2}+e\left(t\right){\mathrm{\Phi }}_{y}\left(t-\lambda \left(t\right)\right)\right]|\\ \le & \overline{r}{M}_{3}+{R}^{2}\left(\overline{a}+\overline{b}+\sum _{i=1}^{n}{\overline{c}}_{i}+\frac{p}{p-1}\overline{e}\right).\end{array}$

Applying the Arzela-Ascoli theorem, we know that $T\left(S\right)$ is precompact in ${C}_{w}^{0}$. Then there is a finite family of subset ${S}_{ijk}\subset {S}_{ij}$ satisfying ${S}_{ij}={\bigcup }_{k}{S}_{ijk}$ and

for any

$x=\left[\begin{array}{c}{x}_{1}\\ {x}_{2}\\ ⋮\\ {x}_{n}\\ y\end{array}\right],z=\left[\begin{array}{c}{z}_{1}\\ {z}_{2}\\ ⋮\\ {z}_{n}\\ n\end{array}\right]\in {S}_{ijk},$

we obtain

$\begin{array}{c}max\left\{|{\left(T{x}_{i}\right)}^{\prime }\left(t\right)-{\left(T{z}_{i}\right)}^{\prime }\left(t\right)|:t\in \left[0,w\right]\right\}\hfill \\ \phantom{\rule{1em}{0ex}}=max\left\{|{r}_{i}\left(t\right)T{x}_{i}\left(t\right)-{r}_{i}\left(t\right)T{z}_{i}\left(t\right)+{x}_{i}\left(t\right)\left({a}_{i}\left(t\right){x}_{i}\left(t\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(t\right)\frac{d{x}_{j}}{dt}\left(t-{\tau }_{j}\left(t\right)\right)\hfill \\ \phantom{\rule{2em}{0ex}}+c\left(t\right){\left[y\left(t-v\left(t\right)\right)-d\left(t\right)\right]}^{2}+{e}_{i}\left(t\right){\mathrm{\Phi }}_{{x}_{i}}\left(t-{\lambda }_{i}\left(t\right)\right)\right)-{z}_{i}\left(t\right)\left({a}_{i}\left(t\right){z}_{i}\left(t\right)\hfill \\ \phantom{\rule{2em}{0ex}}+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(t\right)\frac{d{z}_{j}}{dt}\left(t-{\tau }_{j}\left(t\right)\right)+c\left(t\right){\left[n\left(t-v\left(t\right)\right)-d\left(t\right)\right]}^{2}\hfill \\ \phantom{\rule{2em}{0ex}}+{e}_{i}\left(t\right){\mathrm{\Phi }}_{{z}_{i}}\left(t-{\lambda }_{i}\left(t\right)\right)\right)|:t\in \left[0,w\right]\right\}\hfill \\ \phantom{\rule{1em}{0ex}}\le {\overline{r}}_{i}\epsilon +R\left({\overline{a}}_{i}\epsilon +\sum _{j=1,i\ne j}^{n}{\overline{b}}_{ij}\left(\epsilon +\eta \right)+\overline{c}{\epsilon }^{2}+\frac{{p}_{i}}{{p}_{i}-1}{\overline{e}}_{i}\epsilon \right)\hfill \\ \phantom{\rule{2em}{0ex}}+\epsilon \left({\overline{a}}_{i}R+\sum _{j=1,i\ne j}^{n}{\overline{b}}_{ij}R+\overline{c}{R}^{2}+\frac{{p}_{i}}{{p}_{i}-1}{\overline{e}}_{i}R\right)={R}_{\overline{B}}\eta +{M}_{i4}\epsilon ,\hfill \end{array}$

where ${M}_{i4}={\overline{r}}_{i}+2R{\overline{a}}_{i}+2R{\sum }_{j=1,i\ne j}^{n}{\overline{b}}_{ij}+2{R}^{2}\overline{c}+2R\frac{{p}_{i}}{{p}_{i}-1}{\overline{e}}_{i}$ and

$\begin{array}{c}max\left\{|{\left(Ty\right)}^{\prime }\left(t\right)-{\left(Tn\right)}^{\prime }\left(t\right)|:t\in \left[0,w\right]\right\}\hfill \\ \phantom{\rule{1em}{0ex}}=max\left\{|r\left(t\right)Ty\left(t\right)-r\left(t\right)Tn\left(t\right)+y\left(t\right)\left[a\left(t\right)y\left(t\right)+b\left(t\right)\frac{dy}{dt}\left(t\right)\right]\hfill \\ \phantom{\rule{2em}{0ex}}+\sum _{i=1}^{n}{c}_{i}\left(t\right){\left[{x}_{i}\left(t-{\delta }_{i}\right)-{d}_{i}\right]}^{2}+e\left(t\right){\mathrm{\Phi }}_{y}\left(t-\lambda \left(t\right)\right)\hfill \\ \phantom{\rule{2em}{0ex}}-n\left(t\right)\left[a\left(t\right)n\left(t\right)+b\left(t\right)\frac{dn}{dt}\left(t\right)+\sum _{i=1}^{n}{c}_{i}\left(t\right){\left[{z}_{i}\left(t-{\delta }_{i}\right)-{d}_{i}\right]}^{2}\hfill \\ \phantom{\rule{2em}{0ex}}+e\left(t\right){\mathrm{\Phi }}_{n}\left(t-\lambda \left(t\right)\right)\right]|:t\in \left[0,w\right]\right\}\hfill \\ \phantom{\rule{1em}{0ex}}\le \overline{r}\epsilon +R\left(\overline{a}\epsilon +\overline{b}\left(\epsilon +\eta \right)+\sum _{i=1}^{n}{\overline{c}}_{i}{\epsilon }^{2}+\frac{p}{p-1}\overline{e}\epsilon \right)+\epsilon \left(\overline{a}R+\overline{b}R+\sum _{i=1}^{n}{\overline{c}}_{i}{R}^{2}+\frac{p}{p-1}\overline{e}R\right)\hfill \\ \phantom{\rule{1em}{0ex}}={R}_{\overline{B}}\eta +{M}_{4}^{\prime }\epsilon ,\hfill \end{array}$

where ${M}_{4}^{\prime }=\overline{r}+2R\overline{a}+2R\overline{b}+2{R}^{2}{\sum }_{i=1}^{n}{\overline{c}}_{i}+2R\frac{p}{p-1}\overline{e}$ and ${M}_{4}=max\left\{{M}_{4}^{\prime },{M}_{i4}\right\}$.

We have

As ε is arbitrarily small, it follows that

${\alpha }_{{C}_{w}^{1}}\left(T\left(S\right)\right)\le {R}_{\overline{B}}{\alpha }_{{C}_{w}^{1}}\left(S\right).$

Therefore, T is strict-set-contractive. □

Theorem 2.1 Assume that (H1)-(H3) hold.

1. (i)

If ${\overline{r}}_{i}\le 1$, $\overline{r}\le 1$, then the system has at least one positive w-periodic solution.

2. (ii)

If (H4) holds and ${\overline{r}}_{i}>1$, $\overline{r}>1$, then system has at least one positive w-periodic solution.

Proof We only need to prove (i), since the proof of (ii) is similar. Let $R=max\left\{\frac{1-{q}_{i}}{{q}_{i}^{2}{M}_{i1}},\frac{1-q}{{q}^{2}{M}_{1}}\right\}$ and $0. Then we find $0. It follows from Lemmas 2.1 and 2.2 that $T:P\cap {\overline{\mathrm{\Omega }}}_{R}\mathrm{\setminus }{\mathrm{\Omega }}_{r}\to P$ is strict-set-contractive.

If there exists $\stackrel{˜}{x}\in P\cap \partial {\mathrm{\Omega }}_{r}$ or $\stackrel{˜}{x}\in P\cap \partial {\mathrm{\Omega }}_{R}$ such that $T\stackrel{˜}{x}=\stackrel{˜}{x}$ then the system has at least one positive w-periodic solution.

Now, we shall show that condition (ii) of Lemma 1.1 holds.

$Tx\ge x$ so $Tx-x\in P$, which implies that

We obtain

$\begin{array}{rcl}T{x}_{i}\left(t\right)& =& {\int }_{t}^{t+w}{H}_{i}\left(t,s\right){x}_{i}\left(s\right)\left({a}_{i}\left(s\right){x}_{i}\left(s\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(s\right)\frac{d{x}_{j}}{ds}\left(s-{\tau }_{j}\left(s\right)\right)\\ +c\left(s\right){\left[y\left(s-\gamma \left(s\right)\right)-d\left(s\right)\right]}^{2}+{e}_{i}\left(s\right){\mathrm{\Phi }}_{{x}_{i}}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds\\ =& \frac{1}{1-{q}_{i}}\parallel x\parallel {\int }_{0}^{w}\left({a}_{i}\left(s\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(s\right)+c\left(s\right)R+{e}_{i}\left(s\right){F}_{i}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds<{q}_{i}\parallel x\parallel .\end{array}$

We find

$\parallel x\parallel \le \parallel Tx\parallel \le {q}_{i}\parallel x\parallel \le \parallel x\parallel .$

This is a contradiction.

We only need prove that

Suppose, for the sake of contradiction, that there exists $x\in P\cap \partial {\mathrm{\Omega }}_{R}$ such that $Tx>x$. Thus $Tx-x\in P\mathrm{\setminus }\left\{0\right\}$. Furthermore, for any $t\in \left[0,w\right]$, we have

and we obtain

$\begin{array}{rcl}T{x}_{i}\left(t\right)& =& {\int }_{t}^{t+w}{H}_{i}\left(t,s\right){x}_{i}\left(s\right)\left({a}_{i}\left(s\right){x}_{i}\left(s\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(s\right)\frac{d{x}_{j}}{ds}\left(s-{\tau }_{j}\left(s\right)\right)\\ +c\left(s\right){\left[y\left(s-\gamma \left(s\right)\right)-d\left(s\right)\right]}^{2}+{e}_{i}\left(s\right){\mathrm{\Phi }}_{{x}_{i}}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds\\ \ge & \frac{{q}_{i}}{1-{q}_{i}}{q}_{i}{\parallel x\parallel }_{1}^{2}{\int }_{0}^{w}\left({a}_{i}\left(s\right)+\sum _{j=1,i\ne j}^{n}{b}_{ij}\left(s\right)+c\left(s\right)R+{e}_{i}\left(s\right){F}_{i}\left(s-{\lambda }_{i}\left(s\right)\right)\right)\phantom{\rule{0.2em}{0ex}}ds.\end{array}$

It follows that

$\parallel x\parallel >\parallel Tx\parallel >R,$

which is a contradiction. Therefore, conditions (i) and (ii) hold. By Lemma 2.1, we see that T has at least one nonzero fixed point in $P\cap {\overline{\mathrm{\Omega }}}_{R}\mathrm{\setminus }{\mathrm{\Omega }}_{r}$. Thus the system has at least one positive w-periodic solution. The proof of Theorem 2.1 is complete. □

## References

1. Fan G, Li Y, Qin M: The existence of positive periodic solutions for periodic feedback control systems with delays. Z. Angew. Math. Mech. 2004,84(6):425–430. 10.1002/zamm.200310104

2. Gopalsamy K, Weng P: Global attractivity in a competition system with feedback controls. Comput. Math. Appl. 2003, 45: 665–676. 10.1016/S0898-1221(03)00026-9

3. Huo H, Li W: Positive periodic solutions of a class of delay differential system with feedback control. Appl. Math. Comput. 2004, 148: 35–46. 10.1016/S0096-3003(02)00824-X

4. Li W, Wang L: Existence and global attractivity of positive periodic solutions of functional differential equations with feedback control. J. Comput. Appl. Math. 2005, 180: 293–309. 10.1016/j.cam.2004.11.002

5. Li YK, Zhang TW, Xing ZW: The existence of nonzero almost periodic solution for Cohen-Grossberg neural networks with continuously distributed delays and impulses. Neurocomputing 2010, 73: 3105–3113. 10.1016/j.neucom.2010.06.012

6. Yin F, Li Y: Positive periodic solutions of a single species model with feedback regulation and distributed time delay. Appl. Math. Comput. 2004,153(2):475–484. 10.1016/S0096-3003(03)00648-9

7. Guo Q: Competitive strategies in an enterprise: an ecological model. Contemp. Econ. Manag. 2005,27(2):49–52.

8. Li WH, Han FR: Studies on coordinated evolution laws between industry populations and imperial analysis. Chin. J. Manag. Sci. 2004,12(5):137–143.

9. Tian XH, Nie QK: On model construction of enterprises - interactive relationship from the perspective of business ecosystem. South. Econ. J. 2006, 4: 50–57.

10. Wang BT, Shu HY: Research on competition in mobile communications market: ecological model. J Beijing Union Univ., Nat. Sci. Ed. 2006,20(2):27–30.

11. Wang Z, Pan RY: Analysis to the equilibrium of industrial clusters based on ecological model. Stat. Thinktank 2008, 8: 32–35.

12. Zhang R, Qian XS, Gao Z: A competitive model of enterprises based on ecology theory. Syst. Eng. 2008, 26: 116–119.

13. Zhou H: Enterprises cluster co-existence model and stability analysis. Syst. Eng. 2003,21(4):32–37.

14. Liao X, Ouyang Z, Zhou S: Permanence of species in nonautonomous discrete Lotka-Volterra competitive system with delays and feedback controls. J. Comput. Appl. Math. 2008, 211: 1–10. 10.1016/j.cam.2006.10.084

15. Liu P, Li YK: Multiple positive periodic solutions of nonlinear functional differential system with feedback control. J. Math. Anal. Appl. 2003, 288: 819–832. 10.1016/j.jmaa.2003.09.055

16. Zhang TW, Li YK, Ye Y: Persistence and almost periodic solutions for a discrete fishing model with feedback control. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 1564–1573. 10.1016/j.cnsns.2010.06.033

17. Cac NP, Gatica JA: Fixed point theorems for mappings in ordered Banach spaces. J. Math. Anal. Appl. 1979, 71: 547–557. 10.1016/0022-247X(79)90208-7

18. Guo D: Positive solutions of nonlinear operator equations and its applications to nonlinear integral equations. Adv. Math. 1984, 13: 294–310.

## Acknowledgements

The authors are grateful to the referee for useful comments, which improved the manuscript, and for pointing out a number of misprints.

## Author information

Authors

### Corresponding author

Correspondence to Abdolrasoul Pourabbas.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

The main idea of this paper was proposed by ASM. All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions 