Open Access

Positive solution of a system of integral equations with applications to boundary value problems of differential equations

Advances in Difference Equations20162016:260

https://doi.org/10.1186/s13662-016-0953-9

Received: 6 June 2016

Accepted: 23 August 2016

Published: 18 October 2016

Abstract

In this paper, by using the Guo-Krasnoselskii theorem, we investigate the existence and nonexistence of positive solutions of a system of integral equation with parameters which can be seen as an effective generalization of various types of systems of boundary value problems for differential equation on continuous interval and time scales or fractional differential equations. We give a general approach of positive solutions to cover various systems of boundary value problems in a unified way, which avoids treating these problems on a case-by-case basis. Under some growth conditions imposed on the nonlinear term, we obtain explicit ranges of values of parameters with which the problem has a positive solution and has no positive solution, respectively. By giving some examples, we will show how our results may be applied to consider existence of positive solutions to a variety of system of boundary value problems of differential equations, differential equations on time scales or fractional differential equations.

Keywords

positive solution boundary value problem integral equation fixed point cone

MSC

45C05 34B18

1 Introduction

We consider the existence of eigenvalues yielding positive solutions to the system of integral equations
$$(P_{\lambda, \mu, \zeta}) \quad \left \{ \textstyle\begin{array}{@{}l@{\quad}l} u(t)=\lambda \int^{1}_{0}k_{1}(t, s)f(s, u(s), v(s), w(s))\,ds,&{0\leq t\leq1,}\\ v(t)=\mu \int^{1}_{0}k_{2}(t, s)g(s, u(s), v(s), w(s))\,ds,&{0\leq t\leq1,}\\ w(t)=\zeta \int^{1}_{0}k_{3}(t, s)h(s, u(s), v(s), w(s))\,ds,&{0\leq t\leq1,} \end{array}\displaystyle \right . $$
where \(\lambda, \mu, \zeta\) are positive numbers and
  1. (H1)

    \(f, g, h\in C([0, 1]\times R^{+}\times R^{+}\times R^{+}, R^{+})\).

     
  2. (H2)
    \(k_{1}, k_{2}, k_{3}:[0, 1]\times[0, 1]\rightarrow R^{+}\) are continuous functions and there exist an interval \([\xi, \eta]\subset[0, 1]\), positive constants \(\gamma_{1}, \gamma _{2}, \gamma_{3}\), and functions \(\Phi_{1}, \Phi_{2}, \Phi_{3}\in C([0, 1], R^{+})\) such that
    $$k_{i}(t, s)\leq\Phi_{i}(s),\quad \mbox{for }(t, s)\in[0, 1] \times[0, 1], i=1,2,3, $$
    and
    $$k_{i}(t, s)\geq\gamma_{i}\Phi_{i}(s), \quad \mbox{for }(t, s)\in[\xi, \eta ]\times[0, 1], i=1,2,3. $$
    Here we denote \(\gamma=\min\{\gamma_{1}, \gamma_{2}, \gamma_{3}\}\).
     
Systems of differential equations or integral equations containing three equations have gained considerable popularity and importance due mainly to their demonstrated applications in widespread fields of science and technology. For example, to describe the development of an infectious disease, compartmental models have been given to separate a population into various classes based on the stages of inflection [1]. The classical SIR model is described by partitioning the population into susceptible, infectious, and recovered individuals, denoted by \(S, I, R\), respectively. Assume that the disease incubation period is negligible so that each susceptible individual becomes infectious and later recovers with a permanently or temporarily acquired immunity, then the SIR model is governed by the following system of differential equations:
$$\left \{ \textstyle\begin{array}{@{}l} \frac{dS}{dt}=-\beta S(t)I(t)-\mu_{1}S(t)+b,\\ \frac{dI}{dt}=\beta S(t)I(t)-\mu_{2}I(t)-\alpha I(t),\\ \frac{dR}{dt}=\alpha I(t)-\mu_{3}R(t), \end{array}\displaystyle \right . $$
where the total population size has been normalized to one and the influx of the susceptible comes from a constant recruitment rate b. The death rates for the \(S, I, R\) classes are given by \(\mu_{1}, \mu_{2}, \mu_{3}\), respectively.
It is well known that the predator-prey model, which was proposed by Volterra in 1926, is one of the basic and important models for the interacting species in both ecology and mathematical ecology due to the fact that the predator-prey interaction is the fundamental structure in population dynamic. Since then, various types of predator-prey models described by differential systems have been proposed and the dynamics of these systems has been considered. For example, Song and Chen [2] proposed the following predator-prey system with stage structure:
$$\left \{ \textstyle\begin{array}{@{}l} \frac{du_{1}}{dt}=\alpha u_{2}(t)-ru_{1}(t)-ae^{-t\tau}u_{2}(t-\tau),\\ \frac{du_{2}}{dt}=ae^{-t\tau}u_{2}(t-\tau )-mu^{2}_{2}(t)-a_{1}u_{2}(t)v(t),\\ \frac{dv}{dt}=v(t)[r_{1}+a_{2}u_{2}(t)-bv(t)], \end{array}\displaystyle \right . $$
where \(u_{1}(t), u_{2}(t)\) represent the densities of immature and mature population of the prey species, respectively, \(v(t)\) represent the density of the predator.

Positive solutions of a n-dimensional differential equation system or fractional differential equation system with some boundary conditions have received wide attention due to its distinguished applications in engineering, science, mathematical biology and other fields. For \(n=1\), see, for example, [38] (ordinary differential equations), [915] (differential equations on time scales), and [1620] (fractional differential equations). For \(n=2\), see [2125] (differential equations on time scales), [2636] (ordinary differential equations), and [3754] (fractional differential equations) and references along this line. A considerable number of these problems can be formulated as integral equation or integral equation system usually by finding the corresponding Green’s function of these problems. Thus the integral equation system can be seen naturally as an effective generalization of these types of boundary value problems. The advantage of studying the integral equation system is that we can avoid considering various boundary value problems of differential equations ad hoc.

The aim of this paper is to give a general approach of positive solutions to cover various systems of boundary value problems for differential equation on continuous interval and time scales or fractional differential equations in a unified way, which avoids treating these problems on a case-by-case basis. We consider the existence and nonexistence of positive solutions of integral equation system \((P_{\lambda, \mu, \zeta})\) under the conditions (H1)-(H2) and so the results obtained in this paper may include some known results as a special cases and can be applied to unconsidered boundary value problems which can be formulated as a system of integral equations like \((P_{\lambda, \mu, \zeta})\).

Motivated by Webb and Infante [3, 5] and Webb and Lan [4], who established new existence results of positive solutions of a Hammerstein integral equation in an unified way, under some growth condition imposed on the nonlinear term, we obtain explicit ranges of values of \(\lambda, \mu\), and ζ with which the problem \((P_{\lambda, \mu, \zeta})\) has a positive solution and has no positive solution, respectively. By giving some examples, we will show how our results may be applied to obtain eigenvalues yielding the existence of positive solutions to a variety of system of boundary value problems of differential equations, differential equations on time scales or fractional differential equations.

The main tool used is the following fixed point theorem by Guo and Krasnoselskii [55].

Lemma 1.1

[55]

Let E be a Banach space and \(K\subset E\) be a cone. Assume \(\Omega_{1},\Omega_{2}\) are open bounded subsets of E with \(0\in\Omega_{1}\subset\overline{\Omega}_{1}\subset\Omega _{2}\), and let
$$A:K\cap(\Omega_{2}\setminus\overline{\Omega}_{1})\rightarrow K $$
be a completely continuous operator such that
$$\Vert Au\Vert \leq \Vert u\Vert ,\quad u\in K\cap\partial \Omega_{1}, \quad\textit{and}\quad \Vert Au\Vert \geq \Vert u\Vert ,\quad u\in K\cap\partial\Omega_{2} $$
or
$$\Vert Au\Vert \geq \Vert u\Vert ,\quad u\in K\cap\partial \Omega_{1},\quad\textit{and}\quad \|Au\| \leq \|u\|,\quad u\in K\cap \partial\Omega_{2}, $$
then A has a fixed point in \(K\cap(\Omega_{2}\setminus\overline {\Omega}_{1})\).

2 Existence results of positive solutions

In this section we shall consider sufficient conditions on \(\lambda, \mu,\zeta, f, g\), and h such that a positive solution with respect to a cone for the problem \((P_{\lambda, \mu, \zeta})\) exists.

Let the Banach space \(X=\{u\in C[0, 1]\}\) be endowed with the norm
$$\|u\|= \sup_{0\leq t\leq1}\bigl\vert u(t)\bigr\vert ,\quad u\in X $$
and the Banach space \(Y=X\times X\times X\) with the norm
$$\bigl\Vert (u, v, w)\bigr\Vert _{Y}=\Vert u\Vert +\|v\|+\|w \|. $$
We define the cone \(P\subset Y\) by
$$P=\Bigl\{ u\in E \big| u(t)\geq0, v(t)\geq0, w(t)\geq0, \inf_{\xi\leq t\leq\eta} \bigl(u(t)+v(t)+w(t)\bigr)\geq\gamma\bigl\Vert (u, v, w)\bigr\Vert _{Y}\Bigr\} . $$
Define the operators \(T_{1}:Y\rightarrow X, T_{2}: Y\rightarrow X, T_{3}: Y\rightarrow X\), and \(T: Y\rightarrow Y\) by
$$\begin{aligned}& T_{1}\bigl(u(t), v(t), w(t)\bigr):=\lambda \int^{1}_{0}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds, \\& T_{2}\bigl(u(t), v(t), w(t)\bigr):=\mu \int^{1}_{0}k_{2}(t, s)g\bigl(s, u(s),v(s), w(s)\bigr)\,ds, \\& T_{3}\bigl(u(t), v(t), w(t)\bigr):=\zeta \int^{1}_{0}k_{3}(t, s)h\bigl(s, u(s),v(s), w(s)\bigr)\,ds, \end{aligned}$$
and
$$T(u, v, w)=\bigl(T_{1}(u, v, w), T_{2}(u, v, w),T_{2}(u, v, w)\bigr). $$
It is obvious that the fixed points of the operator T are the positive solutions of the problem \((P_{\lambda, \mu, \zeta})\).

Lemma 2.1

\(T: P\rightarrow P\) is completely continuous.

Proof

The operator \(T: P\rightarrow Y\) is nonnegative and equicontinuous in view of the non-negativeness and continuity of functions \(k_{1}(t, s), k_{2}(t, s), k_{3}(t, s)\) and \(f(t, u, v, w)\), \(g(t, u, v, w), h(t, u, v, w)\).

Let \(\Omega\subset P\) be bounded. Then there exists a constant \(R_{0}>0\) such that \(\Vert (u, v,w)\Vert _{Y}\leq R_{0}, (u, v, w)\in\Omega\). Denote
$$\begin{aligned} R =&\max\Bigl\{ \max_{0\leq t\leq1, (u, v, w)\in\Omega}\bigl\vert f(t, u, v,w)\bigr\vert , \max_{0\leq t\leq1, (u, v, w)\in\Omega}\bigl\vert g(t, u, v, w)\bigr\vert , \\ &{}\max_{0\leq t\leq1, (u, v, w)\in\Omega}\bigl\vert h(t, u, v, w)\bigr\vert \Bigr\} +1. \end{aligned}$$
Then for \((u, v, w)\in\Omega\), we have
$$\begin{aligned}& \bigl\vert T_{1}(u, v, w)\bigr\vert \leq\lambda \int^{1}_{0}k_{1}(t, s)\bigl\vert f \bigl(s, u(s), v(s), w(s)\bigr)\bigr\vert \,ds\leq\lambda R \int^{1}_{0}\Phi_{1}(s)\,ds, \\& \bigl\vert T_{2}(u, v, w)\bigr\vert \leq\mu \int^{1}_{0}k_{2}(t, s)\bigl\vert f \bigl(s, u(s), v(s), w(s)\bigr)\bigr\vert \,ds\leq\mu R \int^{1}_{0}\Phi_{2}(s)\,ds, \\& \bigl\vert T_{3}(u, v, w)\bigr\vert \leq\zeta \int^{1}_{0}k_{3}(t, s)\bigl\vert f \bigl(s, u(s), v(s), w(s)\bigr)\bigr\vert \,ds\leq\zeta R \int^{1}_{0}\Phi_{3}(s)\,ds. \end{aligned}$$
Hence \(T(\Omega)\) is bounded.
By means of the Arzela-Ascoli theorem, we see that T is completely continuous. Furthermore, considering
$$\begin{aligned}& \inf_{\xi\leq t\leq\eta}T_{1}(u, v, w) (t)\geq\gamma _{1}\sup_{t'\in[0,1]}T_{1}(u, v, w) \bigl(t'\bigr), \\& \inf_{\xi\leq t\leq\eta}T_{2}(u, v, w) (t)\geq\gamma _{2}\sup_{t'\in[0,1]}T_{2}(u, v, w) \bigl(t'\bigr), \\& \inf_{\xi\leq t\leq\eta}T_{3}(u, v, w) (t)\geq\gamma _{3}\sup_{t'\in[0,1]}T_{3}(u, v, w) \bigl(t'\bigr). \end{aligned}$$
Hence
$$\begin{aligned} &\inf_{\xi\leq t\leq\eta}\bigl\vert T_{1}(u, v, w) (t)+T_{2}(u, v, w) (t)+T_{3}(u, v, w) (t)\bigr\vert \\ &\quad\geq\inf_{\xi\leq t\leq\eta}T_{1}(u, v, w) (t)+\inf _{\xi \leq t\leq\eta}T_{2}(u, v, w) +\inf_{\xi\leq t\leq\eta}T_{3}(u, v, w) (t) \\ &\quad\geq\gamma_{1}\bigl\Vert T_{1}(u, v, w)\bigr\Vert +\gamma_{2}\bigl\Vert T_{2}(u, v, w)\bigr\Vert + \gamma_{3}\bigl\Vert T_{3}(u, v, w)\bigr\Vert \\ &\quad\geq\gamma\bigl\Vert T(u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
Thus, we show that \(T: P\rightarrow P\) is a completely continuous operator.
Here we introduce the following extreme limits:
$$\begin{aligned}& f^{s}_{0}= \lim_{u+v+w\rightarrow0^{+}}\sup\max _{t\in[0, 1]}\frac {f(t, u, v, w)}{u+v+w},\qquad f^{i}_{0}= \lim_{u+v+w\rightarrow 0^{+}}\inf\min_{t\in[\xi, \eta]}\frac{f(t, u, v, w)}{u+v+w}, \\& f^{s}_{\infty}= \lim_{u+v+w\rightarrow\infty}\sup\max _{t\in[0, 1]}\frac{f(t, u, v, w)}{u+v+w},\qquad f^{i}_{\infty}= \lim_{u+v+w\rightarrow\infty}\inf\min_{t\in[\xi, \eta]}\frac{f(t, u, v, w)}{u+v+w}, \\& g^{s}_{0}= \lim_{u+v+w\rightarrow0^{+}}\sup\max _{t\in [0, 1]}\frac{g(t, u, v, w)}{u+v+w},\qquad g^{i}_{0}= \lim_{u+v+w\rightarrow0^{+}}\inf\min_{t\in[\xi, \eta}\frac{g(t, u, v, w)}{u+v+w}, \\& g^{s}_{\infty}= \lim_{u+v+w\rightarrow\infty}\sup\max _{t\in[0, 1]}\frac{g(t, u, v, w)}{u+v+w}, \qquad g^{i}_{\infty}= \lim_{u+v+w\rightarrow\infty}\inf\min_{t\in[\xi, \eta]}\frac{g(t, u, v, w)}{u+v+w}. \\& h^{s}_{0}= \lim_{u+v+w\rightarrow0^{+}}\sup\max _{t\in [0, 1]}\frac{h(t, u, v, w)}{u+v+w},\qquad h^{i}_{0}= \lim_{u+v+w\rightarrow0^{+}}\inf\min_{t\in[\xi, \eta]}\frac{h(t, u, v, w)}{u+v+w}, \\& h^{s}_{\infty}= \lim_{u+v+w\rightarrow\infty}\sup\max _{t\in[0, 1]}\frac{h(t, u, v, w)}{u+v+w},\qquad h^{i}_{\infty}= \lim_{u+v+w\rightarrow\infty}\inf\min_{t\in[\xi, \eta]}\frac{h(t, u, v, w)}{u+v+w}. \end{aligned}$$
Denote the positive constants
$$\begin{aligned}& K_{1}=\frac{b}{\gamma\tilde{A}f^{i}_{\infty}},\qquad K_{2}=\frac{c}{Af^{s}_{0}}, \qquad K_{3}=\frac{a}{\gamma\tilde {B}g^{i}_{\infty}}, \\& K_{4}=\frac{d}{Bg^{s}_{0}},\qquad K_{5}=\frac{1-a-b}{\gamma\tilde {C}h^{i}_{\infty}}, \qquad K_{6}=\frac{1-c-d}{Ch^{s}_{0}}, \end{aligned}$$
where \(f^{s}_{0}, g^{s}_{0}, h^{s}_{0}, f^{i}_{\infty}, g^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in[0, 1], d\in(0, 1)\), and
$$\begin{aligned}& A= \int^{1}_{0}\Phi_{1}(s)\,ds,\qquad B= \int^{1}_{0}\Phi_{2}(s)\,ds,\qquad C= \int ^{1}_{0}\Phi_{3}(s)\,ds,\qquad \tilde{A}= \gamma \int^{\eta}_{\xi}\Phi_{1}(s)\,ds,\\& \tilde {B}= \gamma \int ^{\eta}_{\xi} \Phi_{2}(s)\,ds,\qquad \tilde{C}= \gamma \int^{\eta}_{\xi}\Phi_{3}(s)\,ds. \end{aligned}$$
 □

Theorem 2.1

Assume that (H1)-(H2) hold. \(f^{s}_{0}, g^{s}_{0}, h^{s}_{0}, f^{i}_{\infty}, g^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in [0, 1], b\in(0, 1), c\in[0, 1], d\in(0, 1)\), \(K_{1}< K_{2}, K_{3}< K_{4}\), and \(K_{5}< K_{6}\), then for \(\lambda\in (K_{1}, K_{2}), \mu\in(K_{3}, K_{4})\), and \(\zeta\in(K_{5}, K_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Proof

Let \(\lambda\in(K_{1}, K_{2}), \mu\in(K_{3}, K_{4}), \zeta\in(K_{5}, K_{6})\), and ε be a positive number such that \(f^{i}_{\infty}, g^{i}_{\infty}, h^{i}_{\infty }>\varepsilon\), and
$$\begin{aligned}& \frac{b}{\gamma\tilde{A}(f^{i}_{\infty}-\varepsilon)}< \lambda < \frac {c}{A(f^{s}_{0}+\varepsilon)}, \\& \frac{a}{\gamma\tilde{B}(g^{i}_{\infty}-\varepsilon)}< \mu< \frac {d}{B(g^{s}_{0}+\varepsilon)}, \\& \frac{1-a-b}{\gamma\tilde{C}(h^{i}_{\infty}-\varepsilon)}< \zeta < \frac {1-c-d}{C(h^{s}_{0}+\varepsilon)}. \end{aligned}$$
By condition (H1), there exists \(R_{1}>0\) such that for \(t\in[0, 1], u(t)\geq0, v(t)\geq 0, w(t)\geq0 \) and \(u(t)+v(t)+w(t)\leq R_{1}\),
$$\begin{aligned}& f\bigl(t, u(t), v(t), w(t)\bigr)\leq\bigl(f^{s}_{0}+ \varepsilon\bigr) \bigl(u(t)+v(t)+w(t)\bigr), \\& g\bigl(t, u(t), v(t), w(t)\bigr)\leq\bigl(g^{s}_{0}+ \varepsilon\bigr) \bigl(u(t)+v(t)+w(t)\bigr), \\& h\bigl(t, u(t), v(t), w(t)\bigr)\leq\bigl(h^{s}_{0}+ \varepsilon\bigr) \bigl(u(t)+v(t)+w(t)\bigr). \end{aligned}$$
We define the set
$$\Omega_{1}=\bigl\{ \bigl(u(t), v(t), w(t)\bigr)\in Y, \bigl\Vert (u, v, w)\bigr\Vert _{Y}< R_{1}\bigr\} . $$
Let \((u, v, w)\in P\cap\partial\Omega_{1}\),
$$\begin{aligned} T_{1}(u, v, w) (t)&=\lambda \int^{1}_{0}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\leq\lambda \int^{1}_{0}k_{1}(t, s) \bigl(f^{s}_{0}+\varepsilon \bigr) \bigl(u(s)+v(s)+w(s)\bigr) \,ds \\ &\leq\lambda\bigl(f^{s}_{0}+\varepsilon\bigr) \int^{1}_{0}k_{1}(t, s) \bigl(\Vert u \Vert +\Vert v\Vert +\Vert w\Vert \bigr)\,ds \\ &\leq\lambda A\bigl(f^{s}_{0}+\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\leq c\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{2}(u, v, w) (t)&=\mu \int^{1}_{0}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\leq\mu \int^{1}_{0}k_{2}(t, s) \bigl(g^{s}_{0}+\varepsilon \bigr) \bigl(u(s)+v(s)+w(s)\bigr) \,ds \\ &\leq\mu\bigl(g^{s}_{0}+\varepsilon\bigr) \int^{1}_{0}k_{2}(t, s) \bigl(\Vert u \Vert +\Vert v\Vert +\Vert w\Vert \bigr)\,ds \\ &\leq\mu B\bigl(g^{s}_{0}+\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\leq d\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{3}(u, v, w) (t)&=\zeta \int^{1}_{0}k_{3}(t, s)h\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\leq\zeta \int^{1}_{0}k_{3}(t, s) \bigl(h^{s}_{0}+\varepsilon \bigr) \bigl(u(s)+v(s)+w(s)\bigr) \,ds \\ &\leq\zeta\bigl(h^{s}_{0}+\varepsilon\bigr) \int^{1}_{0}k_{3}(t, s) \bigl(\Vert u \Vert +\Vert v\Vert +\Vert w\Vert \bigr)\,ds \\ &\leq\zeta C\bigl(h^{s}_{0}+\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\leq(1-c-d)\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
Then for \((u, v, w)\in P\cap\partial\Omega_{1}\),
$$\begin{aligned} \bigl\Vert T(u, v, w)\bigr\Vert _{Y}&=\bigl\Vert T_{1}(u, v, w)\bigr\Vert +\bigl\Vert T_{2}(u, v, w)\bigr\Vert +\bigl\Vert T_{3}(u, v, w)\bigr\Vert \\ &\leq c\bigl\Vert (u, v, w)\bigr\Vert _{Y}+d\bigl\Vert (u, v, w)\bigr\Vert _{Y}+(1-c-d)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &=\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
On the other side, by condition (H1) and the definition of \(f^{i}_{\infty}, g^{i}_{\infty}\), and \(h^{i}_{\infty}\), there exists \(\overline{R}_{2}>0\) such that for \(t\in [\xi, \eta], u(t)\geq0, v(t)\geq0, w(t)\geq0\), and \(u(t)+v(t)+w(t)\geq\overline{R}_{2}\),
$$\begin{aligned}& f\bigl(t, u(t), v(t), w(t)\bigr)\geq\bigl(f^{i}_{\infty}- \varepsilon\bigr) \bigl(u(t)+v(t)+w(t)\bigr), \\& g\bigl(t, u(t), v(t), w(t)\bigr)\geq\bigl(g^{i}_{\infty}- \varepsilon\bigr) \bigl(u(t)+v(t)+w(t)\bigr), \\& h\bigl(t, u(t), v(t), w(t)\bigr)\geq\bigl(h^{i}_{\infty}- \varepsilon\bigr) \bigl(u(t)+v(t)+w(t)\bigr). \end{aligned}$$
We consider \(R_{2}=\max\{2R_{1}, \overline{R}_{2}/\gamma\} \), and we define the set
$$\Omega_{2}=\bigl\{ \bigl(u(t), v(t), w(t)\bigr)\in Y, \bigl\Vert (u, v, w)\bigr\Vert _{Y}< R_{2}\bigr\} . $$
Let \((u, v, w)\in P\cap\Omega_{2}\), then for \((u, v, w)\in P\) with \(\Vert (u, v, w )\Vert =R_{2}\), we have
$$\begin{aligned} T_{1}(u, v, w) (t)&=\lambda \int^{1}_{0}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\lambda \int^{\eta}_{\xi}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\lambda \int^{\eta}_{\xi}k_{1}(t, s) \bigl(f^{i}_{\infty }-\varepsilon\bigr) \bigl(u(s)+v(s)+w(s)\bigr) \,ds \\ &\geq\lambda\gamma \int^{\eta}_{\xi}k_{1}(t, s) \bigl(f^{i}_{\infty}-\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\lambda\gamma\tilde{A}\bigl(f^{i}_{\infty}-\varepsilon \bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq b\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{2}(u, v, w) (t)&=\mu \int^{1}_{0}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\mu \int^{\eta}_{\xi}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\mu \int^{\eta}_{\xi}k_{2}(t, s) \bigl(g^{i}_{\infty }-\varepsilon\bigr) \bigl(u(s)+v(s)+w(s)\bigr) \,ds \\ &\geq\mu\gamma \int^{\eta}_{\xi}k_{2}(t, s) \bigl(g^{i}_{\infty }-\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\mu\gamma\tilde{B}\bigl(g^{i}_{\infty}-\varepsilon\bigr) \bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq a\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{3}(u, v, w) (t)&=\zeta \int^{1}_{0}k_{3}(t, s)h\bigl(s, u(s), v(s)\bigr)\,ds \\ &\geq\zeta \int^{\eta}_{\xi}k_{3}(t, s)h\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\zeta \int^{\eta}_{\xi}k_{3}(t, s) \bigl(h^{i}_{\infty }-\varepsilon\bigr) \bigl(u(s)+v(s)+w(s)\bigr) \,ds \\ &\geq\zeta\gamma \int^{\eta}_{\xi}k_{3}(t, s) \bigl(h^{i}_{\infty }-\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\zeta\gamma\tilde{C}\bigl(h^{i}_{\infty}-\varepsilon\bigr) \bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq(1-a-b)\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
Thus,
$$\begin{aligned} \bigl\Vert T(u, v, w)\bigr\Vert _{Y}&=\bigl\Vert T_{1}(u, v, w)\bigr\Vert +\bigl\Vert T_{2}(u, v, w)\bigr\Vert +\bigl\Vert T_{3}(u, v, w)\bigr\Vert \\ &\geq b\bigl\Vert (u, v, w)\bigr\Vert _{Y}+a\bigl\Vert (u, v, w)\bigr\Vert _{Y}+(1-a-b)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &=\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
By using Lemma 1.1, T has a fixed point \((u, v, w)\in P\cap(\Omega _{2}\setminus\overline{\Omega}_{1})\). □

By a similar analysis, we can consider the case that the above limits reach 0 or ∞. We give the main results here and the proofs are omitted.

Theorem 2.2

Assume that (H1)-(H2) hold. If \(f^{s}_{0}=0, g^{s}_{0}, h^{s}_{0}, f^{i}_{\infty}, g^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{3}< K_{4}\), and \(K_{5}< K_{6}\), then for \(\lambda\in(K_{1}, \infty), \mu\in(K_{3}, K_{4})\), and \(\zeta \in(K_{5}, K_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.3

Assume that (H1)-(H2) hold. If \(g^{s}_{0}=0, f^{s}_{0}, h^{s}_{0}, f^{i}_{\infty}, g^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{1}< K_{2}\), and \(K_{5}< K_{6}\), then for \(\lambda\in(K_{1}, K_{2}), \mu\in(K_{3}, \infty)\), and \(\zeta \in(K_{5}, K_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.4

Assume that (H1)-(H2) hold. If \(h^{s}_{0}=0, f^{s}_{0}, g^{s}_{0}, f^{i}_{\infty}, g^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{1}< K_{2}\), and \(K_{3}< K_{4}\), then for \(\lambda\in(K_{1}, K_{2}), \mu\in(K_{3}, K_{4})\), and \(\zeta \in(K_{5}, \infty)\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.5

Assume that (H1)-(H2) hold. If \(f^{s}_{0}=g^{s}_{0}=0, h^{s}_{0}, f^{i}_{\infty}, g^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{5}< K_{6}\), then for \(\lambda\in (K_{1}, \infty), \mu\in(K_{3}, \infty)\), and \(\zeta\in(K_{5}, K_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.6

Assume that (H1)-(H2) hold. If \(f^{s}_{0}=h^{s}_{0}=0, g^{s}_{0}, f^{i}_{\infty}, g^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{3}< K_{4}\), then for \(\lambda\in (K_{1}, \infty), \mu\in(K_{3}, K_{4})\) and \(\zeta\in(K_{5}, \infty )\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.7

Assume that (H1)-(H2) hold. If \(g^{s}_{0}=h^{s}_{0}=0, f^{s}_{0}, f^{i}_{\infty}, g^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{1}< K_{2}\), then for \(\lambda\in (K_{1}, K_{2}), \mu\in(K_{3}, \infty)\) and \(\zeta\in(K_{5}, \infty )\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.8

Assume that (H1)-(H2) hold. If \(f^{s}_{0}=g^{s}_{0}=h^{s}_{0}=0, f^{i}_{\infty}, g^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), then for \(\lambda\in(K_{1}, \infty), \mu\in(K_{3}, \infty)\), and \(\zeta\in(K_{5}, \infty)\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.9

Assume that (H1)-(H2) hold. If \(f^{i}_{\infty }=\infty, f^{s}_{0}, g^{s}_{0}, h^{s}_{0}, g^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{3}< K_{4}\), and \(K_{5}< K_{6}\), then for \(\lambda\in(0, K_{2}), \mu\in(K_{3}, K_{4})\), and \(\zeta\in (K_{5}, K_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.10

Assume that (H1)-(H2) hold. If \(g^{i}_{\infty }=\infty, f^{s}_{0}, g^{s}_{0}, h^{s}_{0}, f^{i}_{\infty}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{1}< K_{2}\), and \(K_{5}< K_{6}\), then for \(\lambda\in(K_{1}, K_{2}), \mu\in(0, K_{4})\), and \(\zeta\in (K_{5}, K_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.11

Assume that (H1)-(H2) hold. If \(h^{i}_{\infty }=\infty, f^{s}_{0}, g^{s}_{0}, h^{s}_{0}, f^{i}_{\infty}, g^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{1}< K_{2}\), and \(K_{3}< K_{4}\), then for \(\lambda\in(K_{1}, K_{2}), \mu\in(K_{3}, K_{4})\), and \(\zeta \in(0, K_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.12

Assume that (H1)-(H2) hold. If \(f^{i}_{\infty }=g^{i}_{\infty}=\infty, f^{s}_{0}, g^{s}_{0}, h^{s}_{0}, h^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{5}< K_{6}\), then for \(\lambda\in (0, K_{2}), \mu\in(0, K_{4})\), and \(\zeta\in(K_{5}, K_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.13

Assume that (H1)-(H2) hold. If \(f^{i}_{\infty }=h^{i}_{\infty}=\infty, f^{s}_{0}, g^{s}_{0}, h^{s}_{0}, g^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{3}< K_{4}\), then for \(\lambda\in (0, K_{2}), \mu\in(K_{3}, K_{4})\), and \(\zeta\in(0, K_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.14

Assume that (H1)-(H2) hold. If \(g^{i}_{\infty }=h^{i}_{\infty}=\infty, f^{s}_{0}, g^{s}_{0}, h^{s}_{0}, f^{i}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), \(K_{1}< K_{2}\), then for \(\lambda\in (K_{1}, K_{2}), \mu\in(0, K_{4})\), and \(\zeta\in(0, K_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.15

Assume that (H1)-(H2) hold. If \(f^{i}_{\infty }=g^{i}_{\infty}=h^{i}_{\infty}=\infty, f^{s}_{0}, g^{s}_{0}, h^{s}_{0}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in[0, 1], d\in(0, 1)\), then for \(\lambda\in(0, K_{2}), \mu\in (0, K_{4})\), and \(\zeta\in(0, K_{6})\), the problem \((P_{\lambda, \mu , \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Denote the positive constants
$$\begin{aligned}& L_{1}=\frac{b}{\gamma\tilde{A}f^{i}_{0}},\qquad L_{2}=\frac {c}{Af^{s}_{\infty }}, \qquad L_{3}=\frac{a}{\gamma\tilde{B}g^{i}_{0}}, \\& L_{4}=\frac{d}{Bg^{s}_{\infty}},\qquad L_{5}=\frac{1-a-b}{\gamma\tilde {C}h^{i}_{0}}, \qquad L_{6}=\frac{1-c-d}{Ch^{s}_{\infty}}. \end{aligned}$$

Theorem 2.16

Assume that (H1)-(H2) hold, \(f^{i}_{0}, g^{i}_{0}, h^{i}_{0}, f^{s}_{\infty}, g^{s}_{\infty}, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in (0, 1), c\in[0, 1], d\in(0, 1), L_{1}< L_{2}, L_{3}< L_{4}\), and \(L_{5}< L_{6}\). Then for \(\lambda\in(L_{1}, L_{2}), \mu\in(L_{3}, L_{4}), \zeta\in(L_{5}, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Proof

Let \(\lambda\in(L_{1}, L_{2}), \mu\in(L_{3}, L_{4}),\zeta\in(L_{5}, L_{6})\), \(\varepsilon>0\) satisfying \(f^{i}_{0}>\varepsilon, g^{i}_{0}>\varepsilon, h^{i}_{0}>\varepsilon \), and
$$\begin{aligned}& \frac{b}{\gamma\tilde{A}(f^{i}_{0}-\varepsilon)}< \lambda< \frac {c}{A(f^{s}_{\infty}+\varepsilon)}, \\& \frac{a}{\gamma\tilde{B}(g^{i}_{0}-\varepsilon)}< \mu< \frac {d}{B(g^{s}_{\infty}+\varepsilon)}, \\& \frac{1-a-b}{\gamma\tilde{C}(h^{i}_{0}-\varepsilon)}< \zeta< \frac {1-c-d}{C(h^{s}_{\infty}+\varepsilon)}. \end{aligned}$$
By condition (H1), there exists \(R_{3}>0\) such that for \(t\in[\xi, \eta], u(t), v(t), w(t)\geq0\) and \(u(t)+v(t)+w(t)\leq R_{3}\),
$$\begin{aligned}& f\bigl(t, u(t), v(t), w(t)\bigr)\geq\bigl(f^{i}_{0}- \varepsilon\bigr) \bigl(u(t)+v(t)+w(t)\bigr), \\& g\bigl(t, u(t), v(t), w(t)\bigr)\geq\bigl(g^{i}_{0}- \varepsilon\bigr) \bigl(u(t)+v(t)+w(t)\bigr), \\& h\bigl(t, u(t), v(t), w(t)\bigr)\geq\bigl(h^{i}_{0}- \varepsilon\bigr) \bigl(u(t)+v(t)+w(t)\bigr). \end{aligned}$$
We define the set
$$\Omega_{3}=\bigl\{ \bigl(u(t), v(t), w(t)\bigr)\in Y, \bigl\Vert (u, v, w)\bigr\Vert _{Y}< R_{3}\bigr\} . $$
Let \((u, v, w)\in P\cap \partial\Omega_{3}\),
$$\begin{aligned} T_{1}(u, v, w) (t)&=\lambda \int^{1}_{0}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\lambda \int^{\eta}_{\xi}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\lambda \int^{\eta}_{\xi}k_{1}(t, s) \bigl(f^{i}_{0}-\varepsilon\bigr) \bigl(u(s)+v(s)+w(s)\bigr) \,ds \\ &\geq\lambda\gamma \int^{\eta}_{\xi}k_{1}(t, s) \bigl(f^{i}_{0}-\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\lambda\gamma\tilde{A}\bigl(f^{i}_{0}-\varepsilon \bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq b\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{2}(u, v, w) (t)&=\mu \int^{1}_{0}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\mu \int^{\eta}_{\xi}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\mu \int^{\eta}_{\xi}k_{2}(t, s) \bigl(g^{i}_{0}-\varepsilon \bigr) \bigl(u(s)+v(s)+w(s)\bigr) \,ds \\ &\geq\mu\gamma \int^{\eta}_{\xi}k_{2}(t, s) \bigl(g^{i}_{0}-\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\mu\gamma\tilde{B}\bigl(g^{i}_{0}-\varepsilon\bigr) \bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq a\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{3}(u, v, w) (t)&=\zeta \int^{1}_{0}k_{3}(t, s)h\bigl(s, u(s), v(s)\bigr)\,ds \\ &\geq\zeta \int^{\eta}_{\xi}k_{3}(t, s)h\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\zeta \int^{\eta}_{\xi}k_{3}(t, s) \bigl(h^{i}_{0}-\varepsilon\bigr) \bigl(u(s)+v(s)+w(s)\bigr) \,ds \\ &\geq\zeta\gamma \int^{\eta}_{\xi}k_{3}(t, s) \bigl(h^{i}_{0}-\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\zeta\gamma\tilde{C}\bigl(h^{i}_{0}-\varepsilon\bigr) \bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq(1-a-b)\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
Then for \((u, v, w)\in P\cap\partial\Omega_{3}\),
$$\begin{aligned} \bigl\Vert T(u, v, w)\bigr\Vert _{Y}&=\bigl\Vert T_{1}(u, v, w)\bigr\Vert +\bigl\Vert T_{2}(u, v, w)\bigr\Vert +\bigl\Vert T_{3}(u, v, w)\bigr\Vert \\ &\geq b\bigl\Vert (u, v, w)\bigr\Vert _{Y}+a\bigl\Vert (u, v, w)\bigr\Vert _{Y}+(1-a-b)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &=\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
On the other side, we define the functions \(f^{\ast}, g^{\ast}, h^{\ast} [0, 1]\times R^{+}\longrightarrow R^{+}\),
$$\begin{aligned}& f^{\ast}(t, x)= \max_{0\leq u+v+w\leq x}f(t, u, v, w),\quad t\in [0, 1], x\geq0, \\& g^{\ast}(t, x)= \max_{0\leq u+v+w\leq x}g(t, u, v, w),\quad t\in [0, 1], x\geq0. \\& h^{\ast}(t, x)= \max_{0\leq u+v+w\leq x}h(t, u, v, w),\quad t\in [0, 1], x\geq0. \end{aligned}$$
Then
$$\begin{aligned}& f(t, u, v, w)\leq f^{\ast}(t, x),\quad t\in[0, 1], u, v, w\geq0, u+v+w\leq x, \\& g(t, u, v, w)\leq g^{\ast}(t, x),\quad t\in[0, 1], u, v, w\geq0, u+v+w\leq x, \\& h(t, u, v, w)\leq h^{\ast}(t, x),\quad t\in[0, 1], u, v, w\geq0, u+v+w\leq x. \end{aligned}$$
The functions \(f^{\ast}(t, \cdot), g^{\ast}(t, \cdot), h^{\ast }(t, \cdot)\) are nondecreasing for each \(t\in[0, 1]\) and satisfy the conditions
$$\begin{aligned}& \limsup_{x\rightarrow\infty}\max_{t\in[0, 1]}\frac{f^{\ast}(t, x)}{x} \leq f^{s}_{\infty},\qquad \limsup_{x\rightarrow\infty}\max _{t\in[0, 1]}\frac{g^{\ast}(t, x)}{x}\leq g^{s}_{\infty},\\& \limsup_{x\rightarrow\infty}\max_{t\in [0, 1]}\frac{h^{\ast}(t, x)}{x}\leq h^{s}_{\infty}, \end{aligned}$$
which can be proved similar to Lemma 2.8 in [56]. Thus, for \(\varepsilon>0\), there exists \(\overline{R}_{4}>0\) such that for all \(x\geq\overline {R}_{4}, t\in[0, 1]\),
$$\begin{aligned}& \frac{f^{\ast}(t, x)}{x}\leq\limsup_{x\rightarrow\infty}\max_{t\in [0, 1]} \frac{f^{\ast}(t, x)}{x}+\varepsilon\leq f^{s}_{\infty }+\varepsilon, \\& \frac{g^{\ast}(t, x)}{x}\leq\limsup_{x\rightarrow\infty}\max_{t\in [0, 1]} \frac{g^{\ast}(t, x)}{x}+\varepsilon\leq g^{s}_{\infty }+\varepsilon, \\& \frac{h^{\ast}(t, x)}{x}\leq\limsup_{x\rightarrow\infty }\max_{t\in[0, 1]} \frac{h^{\ast}(t, x)}{x}+\varepsilon\leq h^{s}_{\infty}+\varepsilon. \end{aligned}$$
Then
$$f^{\ast}(t, x)\leq\bigl(f^{s}_{\infty}+\varepsilon \bigr)x,\qquad g^{\ast}(t, x)\leq \bigl(g^{s}_{\infty}+ \varepsilon\bigr)x,\qquad h^{\ast}(t, x)\leq\bigl(h^{s}_{\infty }+ \varepsilon\bigr)x. $$
Let \(R_{4}=\max\{2R_{3}, \overline{R}_{4}\}\) and \(\Omega _{4}=\{(u, v, w)\in Y, \Vert (u, v, w)\Vert _{Y}< R_{4}\}\). Let \((u, v, w)\in P\cap\partial\Omega_{4}\), then
$$\begin{aligned}& f(t, u, v, w)\leq f^{\ast}\bigl(t, \bigl\Vert (u, v, w)\bigr\Vert _{Y}\bigr),\quad t\in[0, 1], \\& g(t, u, v, w)\leq g^{\ast}\bigl(t, \bigl\Vert (u, v, w)\bigr\Vert _{Y}\bigr),\quad t\in[0, 1], \\& h(t, u, v, w)\leq h^{\ast}\bigl(t, \bigl\Vert (u, v, w)\bigr\Vert _{Y}\bigr),\quad t\in[0, 1]. \end{aligned}$$
Thus
$$\begin{aligned} T_{1}(u, v, w) (t)&=\lambda \int^{1}_{0}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\leq\lambda \int^{1}_{0}k_{1}(t, s)f^{\ast} \bigl(t, \bigl\Vert (u, v, w)\bigr\Vert _{Y}\bigr)\,ds \\ &\leq\lambda \int^{1}_{0}k_{1}(t, s) \bigl(f^{s}_{\infty }+\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\leq\lambda A\bigl(f^{s}_{\infty}+\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\leq c\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{2}(u, v, w) (t)&=\mu \int^{1}_{0}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\leq\mu \int^{1}_{0}k_{2}(t, s)g^{\ast} \bigl(t, \bigl\Vert (u, v, w)\bigr\Vert _{Y}\bigr)\,ds \\ &\leq\mu \int^{1}_{0}k_{2}(t, s) \bigl(g^{s}_{\infty }+\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\leq\mu B\bigl(g^{s}_{\infty}+\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\leq d\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{3}(u, v, w) (t)&=\zeta \int^{1}_{0}k_{3}(t, s)h\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\leq\zeta \int^{1}_{0}k_{3}(t, s)h^{\ast} \bigl(t, \bigl\Vert \bigl(u, v, w(s)\bigr)\bigr\Vert _{Y}\bigr)\,ds \\ &\leq\zeta \int^{1}_{0}k_{3}(t, s) \bigl(h^{s}_{\infty }+\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\leq\zeta C\bigl(h^{s}_{\infty}+\varepsilon\bigr)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\leq(1-c-d)\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
Then for \((u, v, w)\in P\cap\partial\Omega_{4}\),
$$\begin{aligned} \bigl\Vert T(u, v, w)\bigr\Vert _{Y}&=\bigl\Vert T_{1}(u, v, w)\bigr\Vert +\bigl\Vert T_{2}(u, v, w)\bigr\Vert +\bigl\Vert T_{3}(u, v, w)\bigr\Vert \\ &\leq c\bigl\Vert (u, v, w)\bigr\Vert _{Y}+d\bigl\Vert (u, v, w)\bigr\Vert _{Y}+(1-c-d)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &=\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
By using Lemma 1.1, T has a fixed point \((u, v, w)\in P\cap(\Omega _{4}\setminus\overline{\Omega}_{3})\). □

We can also consider the case that the above limits reach 0 or ∞.

Theorem 2.17

Assume that (H1)-(H2) hold. If \(f^{s}_{\infty }=0, f^{i}_{0}, g^{i}_{0}, h^{i}_{0}, g^{s}_{\infty}, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1), L_{3}< L_{4}\), and \(L_{5}< L_{6}\), then for \(\lambda\in(L_{1}, \infty), \mu\in(L_{3}, L_{4}), \zeta\in (L_{5}, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.18

Assume that (H1)-(H2) hold. If \(g^{s}_{\infty }=0, f^{i}_{0}, g^{i}_{0}, h^{i}_{0}, f^{s}_{\infty}, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1), L_{1}< L_{2}\), and \(L_{5}< L_{6}\), then for \(\lambda\in(L_{1}, L_{2}), \mu\in(L_{3}, \infty), \zeta\in (L_{5}, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.19

Assume that (H1)-(H2) hold. If \(h^{s}_{\infty }=0, f^{i}_{0}, g^{i}_{0}, h^{i}_{0}, g^{s}_{\infty}, f^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1), L_{1}< L_{2}\), and \(L_{3}< L_{4}\), then for \(\lambda\in(L_{2}, L_{2}), \mu\in(L_{3}, L_{4}), \zeta\in (L_{5}, \infty)\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.20

Assume that (H1)-(H2) hold. If \(f^{s}_{\infty }=g^{s}_{\infty}=0, f^{i}_{0}, g^{i}_{0}, h^{i}_{0}, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), and \(L_{5}< L_{6}\), then for \(\lambda\in (L_{1}, \infty), \mu\in(L_{3}, \infty), \zeta\in(L_{5}, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.21

Assume that (H1)-(H2) hold. If \(f^{s}_{\infty }=h^{s}_{\infty}=0, f^{i}_{0}, g^{i}_{0}, h^{i}_{0}, g^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), and \(L_{3}< L_{4}\), then for \(\lambda\in (L_{1}, \infty), \mu\in(L_{3}, L_{4}), \zeta\in(L_{5}, \infty)\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.22

Assume that (H1)-(H2) hold. If \(h^{s}_{\infty }=g^{s}_{\infty}=0, f^{i}_{0}, g^{i}_{0}, h^{i}_{0}, f^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), and \(L_{1}< L_{2}\), then for \(\lambda\in (L_{1}, L_{2}), \mu\in(L_{3}, \infty), \zeta\in(L_{5}, \infty)\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.23

Assume that (H1)-(H2) hold. If \(f^{s}_{\infty }=g^{s}_{\infty}=h^{s}_{\infty}=0, f^{i}_{0}, g^{i}_{0}, h^{i}_{0}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in[0, 1], d\in(0, 1)\), then for \(\lambda\in(L_{1}, \infty), \mu\in(L_{3}, \infty), \zeta\in(L_{5}, \infty)\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.24

Assume that (H1)-(H2) hold. If \(f^{i}_{0}=\infty , g^{i}_{0}, h^{i}_{0}, f^{s}_{\infty}, g^{s}_{\infty}, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1), L_{3}< L_{4}\), and \(L_{5}< L_{6}\), then for \(\lambda\in(0, L_{2}), \mu\in(L_{3}, L_{4}), \zeta\in (L_{5}, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.25

Assume that (H1)-(H2) hold. If \(g^{i}_{0}=\infty , f^{i}_{0}, h^{i}_{0}, f^{s}_{\infty}, g^{s}_{\infty}, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1), L_{1}< L_{2}\), and \(L_{5}< L_{6}\), then for \(\lambda\in(L_{1}, L_{2}), \mu\in(0, L_{4}), \zeta\in (L_{5}, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.26

Assume that (H1)-(H2) hold. If \(h^{i}_{0}=\infty , g^{i}_{0}, f^{i}_{0}, f^{s}_{\infty}, g^{s}_{\infty}, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1), L_{3}< L_{4}\), and \(L_{1}< L_{2}\), then for \(\lambda\in(L_{1}, L_{2}), \mu\in(L_{3}, L_{4}), \zeta\in (0, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.27

Assume that (H1)-(H2) hold. If \(f^{i}_{0}=g^{i}_{0}=\infty, h^{i}_{0}, f^{s}_{\infty}, g^{s}_{\infty }, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), and \(L_{5}< L_{6}\), then for \(\lambda\in (0, L_{2}), \mu\in(0, L_{4}), \zeta\in(L_{5}, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.28

Assume that (H1)-(H2) hold. If \(f^{i}_{0}=h^{i}_{0}=\infty, g^{i}_{0}, f^{s}_{\infty}, g^{s}_{\infty }, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), and \(L_{3}< L_{4}\), then for \(\lambda\in (0, L_{2}), \mu\in(L_{3}, L_{4}), \zeta\in(0, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.29

Assume that (H1)-(H2) hold. If \(h^{i}_{0}=g^{i}_{0}=\infty, f^{i}_{0}, f^{s}_{\infty}, g^{s}_{\infty }, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), and \(L_{1}< L_{2}\), then for \(\lambda\in (L_{1}, L_{2}), \mu\in(0, L_{4}), \zeta\in(0, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

Theorem 2.30

Assume that (H1)-(H2) hold. If \(f^{i}_{0}=g^{i}_{0}=h^{i}_{0}=\infty, f^{s}_{\infty}, g^{s}_{\infty }, h^{s}_{\infty}\in(0, \infty), a\in[0, 1], b\in(0, 1), c\in [0, 1], d\in(0, 1)\), then for \(\lambda\in(0, L_{2}), \mu\in(0, L_{4}), \zeta\in(0, L_{6})\), the problem \((P_{\lambda, \mu, \zeta})\) has at least one positive solution \((u(t), v(t), w(t)), t\in[0, 1]\).

The proof is similar to Theorem 2.16, we omit it here.

3 Nonexistence results of positive solutions

In this section we shall consider sufficient conditions on \(\lambda, \mu,\zeta, f, g\), and h such that the problem \((P_{\lambda, \mu, \zeta})\) has no positive solution.

Theorem 3.1

Assume that (H1)-(H2) hold. If \(f^{s}_{0}, f^{s}_{\infty}, g^{s}_{0}, g^{s}_{\infty}, h^{s}_{0}, h^{s}_{\infty}<\infty\), then there exists a positive constant \(\lambda _{0}, \mu_{0}, \zeta_{0}\) such that for every \(\lambda\in(0, \lambda_{0}), \mu\in(0, \mu_{0}), \zeta\in(0, \zeta_{0})\), the problem \((P_{\lambda, \mu, \zeta})\) has no positive solution.

Proof

From the condition \(f^{s}_{0}, f^{s}_{\infty}, g^{s}_{0}, g^{s}_{\infty}, h^{s}_{0}, h^{s}_{\infty}<\infty\), there exist \(M_{1}>0, M_{2}>0, M_{3}>0\) such that
$$\begin{aligned}& f(t, u, v, w)\leq M_{1}(u+v+w),\qquad g(t, u, v, w)\leq M_{2}(u+v+w),\\& h(t, u, v, w)\leq M_{3}(u+v+w),\quad t \in[0, 1], u, v, w\geq0. \end{aligned}$$
Define the positive constants
$$\lambda_{0}= \frac{a}{AM_{1}},\qquad \mu_{0}= \frac{b}{BM_{2}},\qquad \zeta _{0}= \frac{1-a-b}{CM_{3}}. $$
Let \(\lambda\in(0, \lambda_{0}), \mu\in(0, \mu_{0}), \zeta\in(0, \zeta_{0})\), suppose that the problem \((P_{\lambda, \mu, \zeta})\) has a positive solution \((u(t), v(t)), t\in[0, 1]\). Thus,
$$\begin{aligned} T_{1}(u, v, w) (t)&=\lambda \int^{1}_{0}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\leq\lambda \int^{1}_{0}k_{1}(t, s)M_{1} \bigl(u(s)+v(s)+w(s)\bigr)\,ds \\ &\leq\lambda M_{1} \int^{1}_{0}k_{1}(t, s) \bigl(\Vert u \Vert +\Vert v\Vert +\Vert w\Vert \bigr)\,ds \\ &\leq\lambda AM_{1}\bigl(\Vert u\Vert +\Vert v\Vert +\Vert w \Vert \bigr) \\ &< \lambda_{0} AM_{1}\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &< a\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{2}(u, v, w) (t)&=\mu \int^{1}_{0}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\leq\mu \int^{1}_{0}k_{2}(t, s)M_{2} \bigl(u(s)+v(s)+w(s)\bigr)\,ds \\ &\leq\mu M_{2} \int^{1}_{0}k_{2}(t, s) \bigl(\Vert u \Vert +\Vert v\Vert +\Vert w\Vert \bigr)\,ds \\ &\leq\mu BM_{2}\bigl(\Vert u\Vert +\Vert v\Vert +\Vert w \Vert \bigr) \\ &< \mu_{0} BM_{2}\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ &< b\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{3}(u, v, w) (t)&=\zeta \int^{1}_{0}k_{3}(t, s)h\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\leq\zeta \int^{1}_{0}k_{3}(t, s)M_{3} \bigl(u(s)+v(s)+w(s)\bigr)\,ds \\ &\leq\zeta M_{3} \int^{1}_{0}k_{3}(t, s) \bigl(\Vert u \Vert +\Vert v\Vert +\Vert w\Vert \bigr)\,ds \\ &\leq\zeta CM_{3}\bigl(\Vert u\Vert +\Vert v\Vert +\Vert w \Vert \bigr) \\ &< \zeta_{0} CM_{3}\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &< (1-a-b)\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
Then
$$\begin{aligned} \bigl\Vert (u, v, w)\bigr\Vert _{Y}&=\bigl\Vert T_{1}(u, v, w)\bigr\Vert +\bigl\Vert T_{2}(u, v, w)\bigr\Vert +\bigl\Vert T_{3}(u, v, w)\bigr\Vert \\ &< a\bigl\Vert (u, v, w)\bigr\Vert _{Y}+b\bigl\Vert (u, v, w) \bigr\Vert _{Y}+(1-a-b)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &=\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \end{aligned}$$
which is a contradiction. So the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution. □

Theorem 3.2

Assume that (H1)-(H2) hold. If \(f^{i}_{0}, f^{i}_{\infty}>0\), then there exists a positive constant \(\tilde{\lambda}_{0}\) such that for every \(\lambda\in(\tilde {\lambda }_{0}, \infty), \mu>0, \zeta>0\), the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution.

Proof

From the definitions of \(f^{i}_{0}, f^{i}_{\infty}\), and the condition \(f^{i}_{0}, f^{i}_{\infty}>0\), there exist positive numbers \(m_{1}\) such that
$$f(t, u, v, w)\geq m_{1}(u+v+w), \quad t\in[\xi, \eta], u, v, w\geq0. $$
Define thepositive constants
$$\tilde{\lambda}_{0}= \frac{1}{\gamma\tilde{A}m_{1}}. $$
Let \(\lambda\in(\tilde{\lambda}_{0}, \infty), \mu>0, \zeta>0\), we suppose that the problem \((P_{\lambda, \mu, \zeta})\) has a positive solution \((u(t), v(t), w(t)), t\in[0, 1]\). Then for \(t\in[0, 1]\), we have
$$\begin{aligned} T_{1}(u, v, w) (t)&=\lambda \int^{1}_{0}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\lambda \int^{\eta}_{\xi}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\lambda \int^{\eta}_{\xi}k_{1}(t, s)m_{1} \bigl(u(s)+v(s)+w(s)\bigr)\,ds \\ &\geq\lambda\gamma \int^{\eta}_{\xi}k_{1}(t, s)m_{1} \bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\lambda\gamma\tilde{A}m_{1}\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &> \bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
Thus,
$$\bigl\Vert (u, v, w)\bigr\Vert _{Y}\geq\bigl\Vert T_{1}(u, v, w)\bigr\Vert >\bigl\Vert (u, v, w)\bigr\Vert _{Y}, $$
which is a contradiction. So the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution. □

Theorem 3.3

Assume that (H1)-(H2) hold. If \(g^{i}_{0}, g^{i}_{\infty}>0\), then there exists a positive constant \(\tilde{\mu}_{0}\) such that for every \(\mu\in(\tilde{\mu}_{0}, \infty), \lambda>0, \zeta>0\), the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution.

Theorem 3.4

Assume that (H1)-(H2) hold. If \(h^{i}_{0}, h^{i}_{\infty}>0\), then there exists a positive constant \(\tilde{\zeta}_{0}\) such that for every \(\zeta\in(\tilde{\zeta }_{0}, \infty), \lambda>0, \mu>0\), the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution.

Theorem 3.5

Assume that (H1)-(H2) hold. If \(f^{i}_{0}, f^{i}_{\infty}, g^{i}_{0}, g^{i}_{\infty}>0\), then there exist positive constants \(\tilde{\lambda}_{0}, \tilde{\mu}_{0}, a\in[0, 1]\), such that for every \(\lambda\in(\tilde{\lambda}_{0}, \infty), \mu\in(\tilde{\mu}_{0}, \infty), \zeta>0\), the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution.

Proof

From the definitions of \(f^{i}_{0}, f^{i}_{\infty}, g^{i}_{0}, g^{i}_{\infty} \), and the condition \(f^{i}_{0}, f^{i}_{\infty}, g^{i}_{0}, g^{i}_{\infty}>0\), there exist positive numbers \(m_{1}, m_{2}\) such that
$$\begin{aligned}& f(t, u, v, w)\geq m_{1}(u+v+w),\quad t\in[\xi, \eta], u, v, w\geq0. \\& g(t, u, v, w)\geq m_{2}(u+v+w),\quad t\in[\xi, \eta], u, v, w\geq0. \end{aligned}$$
Define the positive constants
$$\tilde{\lambda}_{0}= \frac{a}{\gamma\tilde{A}m_{1}},\qquad \tilde{\mu }_{0}= \frac{1-a}{\gamma\tilde{B}m_{2}}. $$
Let \(\lambda\in(\tilde{\lambda}_{0}, \infty), \mu\in (\tilde{\mu}_{0}, \infty), \zeta>0\), we suppose that the problem \((P_{\lambda, \mu, \zeta})\) has a positive solution \((u(t), v(t), w(t)), t\in[0, 1]\). Then for \(t\in[0, 1]\), we have
$$\begin{aligned} T_{1}(u, v, w) (t)&=\lambda \int^{1}_{0}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\lambda \int^{\eta}_{\xi}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\lambda \int^{\eta}_{\xi}k_{1}(t, s)m_{1} \bigl(u(s)+v(s)+w(s)\bigr)\,ds \\ &\geq\lambda\gamma \int^{\eta}_{\xi}k_{1}(t, s)m_{1} \bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\lambda\gamma\tilde{A}m_{1}\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq a\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{2}(u, v, w) (t)&=\mu \int^{1}_{0}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\mu \int^{\eta}_{\xi}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\mu \int^{\eta}_{\xi}k_{2}(t, s)m_{2} \bigl(u(s)+v(s)+w(s)\bigr)\,ds \\ &\geq\mu\gamma \int^{\eta}_{\xi}k_{2}(t, s)m_{2} \bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\mu\gamma\tilde{B}m_{2}\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq(1-a)\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
Thus,
$$\bigl\Vert (u, v, w)\bigr\Vert _{Y}>a\bigl\Vert (u, v, w)\bigr\Vert _{Y}+(1-a)\bigl\Vert (u, v, w)\bigr\Vert _{Y}= \bigl\Vert (u, v, w)\bigr\Vert _{Y}, $$
which is a contradiction. So the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution. □

Theorem 3.6

Assume that (H1)-(H2) hold. If \(f^{i}_{0}, f^{i}_{\infty}, h^{i}_{0}, h^{i}_{\infty}>0\), then there exist positive constants \(\tilde{\lambda}_{0}, \tilde{\zeta}_{0}\) such that for every \(\lambda\in(\tilde{\lambda}_{0}, \infty), \zeta\in(\tilde{\zeta}_{0}, \infty), \mu>0\), the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution.

Theorem 3.7

Assume that (H1)-(H2) hold. If \(g^{i}_{0}, g^{i}_{\infty}, h^{i}_{0}, h^{i}_{\infty}>0\), then there exist positive constants \(\tilde{\mu}_{0}, \tilde{\zeta}_{0}\) such that for every \(\mu\in(\tilde{\mu}_{0}, \infty), \zeta\in(\tilde{\zeta}_{0}, \infty), \lambda>0\), the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution.

Theorem 3.8

Assume that (H1)-(H2) hold. If \(f^{i}_{0}, f^{i}_{\infty}, g^{i}_{0}, g^{i}_{\infty}, h^{i}_{0}, h^{i}_{\infty}>0\), then there exist positive constants \(\tilde {\lambda }_{0}, \tilde{\mu}_{0}, \tilde{\zeta}_{0}\) such that for every \(\lambda\in(\tilde{\lambda}_{0}, \infty), \mu\in(\tilde {\mu }_{0}, \infty), \zeta\in(\tilde{\zeta}_{0}, \infty)\), the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution.

Proof

From the definitions of \(f^{i}_{0}, f^{i}_{\infty}, g^{i}_{0}, g^{i}_{\infty}, h^{i}_{0}, h^{i}_{\infty}\), and the condition
$$f^{i}_{0}, f^{i}_{\infty}, g^{i}_{0}, g^{i}_{\infty}, h^{i}_{0}, h^{i}_{\infty}>0, $$
there exist positive numbers \(m_{1}, m_{2}, m_{3}\) such that
$$\begin{aligned}& f(t, u, v, w)\geq m_{1}(u+v+w),\quad t\in[0, 1], u, v, w\geq0, \\& g(t, u, v, w)\geq m_{2}(u+v+w),\quad t\in[0, 1], u, v, w\geq0, \\& h(t, u, v, w)\geq m_{3}(u+v+w),\quad t\in[0, 1], u, v, w\geq0. \end{aligned}$$
Define the positive constants
$$\tilde{\lambda}_{0}= \frac{c}{\gamma\tilde{A}m_{1}},\qquad \tilde{\mu }_{0}= \frac{d}{\gamma\tilde{B}m_{2}},\qquad \tilde{\zeta}_{0}= \frac {1-c-d}{\gamma\tilde{C}m_{3}}. $$
Let \(\lambda\in(\tilde{\lambda}_{0}, \infty), \mu\in (\tilde{\mu}_{0}, \infty), \zeta\in(\tilde{\zeta}_{0}, \infty)\), we suppose that the problem \((P_{\lambda, \mu, \zeta})\) has a positive solution \((u(t), v(t), w(t)), t\in[0, 1]\). Then for \(t\in[0, 1]\), we have
$$\begin{aligned} T_{1}(u, v, w) (t)&=\lambda \int^{1}_{0}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\lambda \int^{\eta}_{\xi}k_{1}(t, s)f\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\lambda \int^{\eta}_{\xi}k_{1}(t, s)m_{1} \bigl(u(s)+v(s)+w(s)\bigr)\,ds \\ &\geq\lambda\gamma \int^{\eta}_{\xi}k_{1}(t, s)m_{1} \bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\lambda\gamma\tilde{A}m_{1}\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq c\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{2}(u, v, w) (t)&=\mu \int^{1}_{0}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\mu \int^{\eta}_{\xi}k_{2}(t, s)g\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\mu \int^{\eta}_{\xi}k_{2}(t, s)m_{2} \bigl(u(s)+v(s)+w(s)\bigr)\,ds \\ &\geq\mu\gamma \int^{\eta}_{\xi}k_{2}(t, s)m_{2} \bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\mu\gamma\tilde{B}m_{2}\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq d\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \\ T_{3}(u, v, w) (t)&=\zeta \int^{1}_{0}k_{3}(t, s)h\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\zeta \int^{\eta}_{\xi}k_{3}(t, s)h\bigl(s, u(s), v(s), w(s)\bigr)\,ds \\ &\geq\zeta \int^{\eta}_{\xi}k_{3}(t, s)m_{3} \bigl(u(s)+v(s)+w(s)\bigr)\,ds \\ &\geq\zeta\gamma \int^{\eta}_{\xi}k_{3}(t, s)m_{3} \bigl\Vert (u, v, w)\bigr\Vert _{Y}\,ds \\ &\geq\zeta\gamma\tilde{C}m_{3}\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &\geq(1-c-d)\bigl\Vert (u, v, w)\bigr\Vert _{Y}. \end{aligned}$$
Thus,
$$\begin{aligned} \bigl\Vert (u, v, w)\bigr\Vert _{Y}&=\bigl\Vert T_{1}(u, v, w)\bigr\Vert +\bigl\Vert T_{2}(u, v, w)\bigr\Vert +\bigl\Vert T_{3}(u, v, w)\bigr\Vert \\ &>c\bigl\Vert (u, v, w)\bigr\Vert _{Y}+d\bigl\Vert (u, v, w) \bigr\Vert _{Y}+(1-c-d)\bigl\Vert (u, v, w)\bigr\Vert _{Y} \\ &=\bigl\Vert (u, v, w)\bigr\Vert _{Y}, \end{aligned}$$
which is a contradiction. So the boundary value problem \((P_{\lambda, \mu, \zeta})\) has no positive solution. □

4 Examples

In this section we show how our results may be applied to consider the existence and nonexistence of positive solutions for a system of boundary value problems for differential equations of integral or fractional order. The study of these problems was mainly initiated by Il’in and Moiseev [57, 58]. Since then positive solutions of boundary value problems have been extensively studied by many researchers in recent years, not only because of their mathematical interest but also because of their wide use in a variety of applications.

4.1 Application to system of boundary value problems of ordinary differential equations

Consider the system of nonlinear second order differential equation (the problem (P1))
$$\left \{ \textstyle\begin{array}{@{}l@{\quad}l} u^{\prime\prime}(t)+\lambda f(t, u(t), v(t), w(t))=0,&{t\in[0, 1],}\\ v^{\prime\prime}(t)+\mu g(t, u(t), v(t), w(t))=0,&{ t\in[0, 1],}\\ w^{\prime\prime}(t)+\zeta h(t, u(t), v(t), w(t))=0,&{ t\in[0, 1],} \end{array}\displaystyle \right . $$
subject to the boundary conditions
$$\begin{aligned}& u(0)=0, \qquad u(1)=\beta_{1} u(\eta_{1}), \\& v'(0)=0,\qquad v(1)=\beta_{2} v(\eta_{2}), \\& w'(0)=0, \qquad w(1)=\beta_{3} w(\eta_{3}), \end{aligned}$$
where \(0<\eta_{1}, \eta_{2}, \eta_{3}<1\), and
$$\begin{aligned}& f(t, u, v, w)=\frac{\sqrt [3]{t}(70(u+v+w)+1)(3+\sin(v))(u+v+w)}{u+v+w+1}, \\& g(t, u, v, w)=\frac{\sqrt{t+1}(40(u+v+w)+1)(4+\cos(w))(u+v+w)}{u+v+w+1}, \\& h(t, u, v, w)=\frac{\sqrt{t+1}(50(u+v+w)+1)(3+\cos(u))(u+v+w)}{u+v+w+1}. \end{aligned}$$
By using the Green’s functions, we can formulate the problem (P1) as
$$\left \{ \textstyle\begin{array}{@{}l@{\quad}l} u(t)=\lambda \int^{1}_{0}k_{1}(t, s)f(s, u(s), v(s), w(s))\,ds,&{0\leq t\leq1,}\\ v(t)=\mu \int^{1}_{0}k_{2}(t, s)g(s, u(s), v(s), w(s))\,ds,&{0\leq t\leq1,}\\ w(t)=\zeta \int^{1}_{0}k_{3}(t, s)h(s, u(s), v(s), w(s))\,ds,&{0\leq t\leq1,} \end{array}\displaystyle \right . $$
where
$$\begin{aligned}& k_{1}(t, s)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{t(1-s)}{1-\beta_{1}\eta_{1}}-\frac{\beta_{1}(\eta _{1}-s)t}{1-\beta_{1}\eta_{1}}-(t-s),& 0\leq s\leq t\leq1, s\leq\eta _{1},\\ \frac{t(1-s)}{1-\beta_{1}\eta_{1}}-\frac{\beta_{1}(\eta _{1}-s)t}{1-\beta_{1}\eta_{1}},& 0\leq t\leq s\leq\eta_{1},\\ \frac{t(1-s)}{1-\beta_{1}\eta_{1}},& 0\leq t\leq s\leq1, s\geq \eta_{1},\\ \frac{t(1-s)}{1-\beta_{1}\eta_{1}}-(t-s), &\eta_{1}\leq s\leq t\leq1, \end{array}\displaystyle \right . \\& k_{2}(t, s)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{1-s}{1-\beta_{2}}-\frac{\beta_{2}(\eta_{2}-s)t}{1-\beta _{2}}-(t-s),& 0\leq s\leq t\leq1, s\leq\eta_{2},\\ \frac{1-s}{1-\beta_{2}}-\frac{\beta_{2}(\eta_{2}-s)t}{1-\beta _{2}},& 0\leq t\leq s\leq\eta_{2},\\ \frac{t(1-s)}{1-\beta_{2}},& 0\leq t\leq s\leq1, s\geq\eta_{2},\\ \frac{1-s}{1-\beta_{2}}-(t-s),& \eta_{1}\leq s\leq t\leq1, \end{array}\displaystyle \right . \end{aligned}$$
and
$$k_{3}(t, s)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{1-s}{1-\beta_{3}}-\frac{\beta_{3}(\eta_{3}-s)t}{1-\beta _{3}}-(t-s),& 0\leq s\leq t\leq1, s\leq\eta_{3},\\ \frac{1-s}{1-\beta_{3}}-\frac{\beta_{3}(\eta_{3}-s)t}{1-\beta _{3}}, &0\leq t\leq s\leq\eta_{3},\\ \frac{t(1-s)}{1-\beta_{3}},& 0\leq t\leq s\leq1, s\geq\eta_{3},\\ \frac{1-s}{1-\beta_{3}}-(t-s),& \eta_{3}\leq s\leq t\leq1. \end{array}\displaystyle \right . $$
We consider the case \(\eta_{1}= \frac{1}{2}, \eta _{2}=\eta_{3}= \frac{1}{3}, \beta_{1}= \frac{1}{3}, \beta_{2}=\beta_{3}= \frac{1}{2}\). After an easy computation, we conclude
$$\begin{aligned}& A=\frac{1}{5}, \qquad\tilde{A}=\frac{1}{30},\qquad B= \frac{13}{9}, \qquad\tilde{B}=\frac{26}{45},\qquad C= \frac{13}{9}, \qquad\tilde {C}=\frac{26}{45},\qquad \gamma= \frac{1}{6}, \\& f^{s}_{0}=3,\qquad f^{i}_{0}=3 \sqrt[3]{\frac{1}{2}},\qquad f^{s}_{\infty}=280,\qquad f^{i}_{\infty}=140\sqrt[3]{\frac{1}{2}}, \\& g^{s}_{0}=4\sqrt{2},\qquad g^{i}_{0}=4, \qquad g^{s}_{\infty }=200\sqrt{2},\qquad g^{i}_{\infty}=120, \\& h^{s}_{0}=3\sqrt{2},\qquad h^{i}_{0}=3, \qquad h^{s}_{\infty }=200\sqrt{2},\qquad h^{i}_{\infty}=100, \\& M_{1}=280,\qquad M_{2}=200\sqrt{2},\qquad M_{3}=200\sqrt{2}, \\& m_{1}=3\sqrt[3]{\frac{1}{2}},\qquad m_{2}=4,\qquad m_{3}=3,\qquad a=b=c=d=\frac{1}{3}, \end{aligned}$$
and
$$\begin{aligned}& K_{1}=\frac{b}{\gamma\tilde{A}f^{i}_{\infty}}\thickapprox0.5400,\qquad K_{2}= \frac{a}{Af^{s}_{0}}\thickapprox0.5556,\qquad K_{3}=\frac{1-b}{\gamma\tilde{B}g^{i}_{\infty}} \thickapprox0.0288, \\& K_{4}=\frac{1-a}{Bg^{s}_{0}}\thickapprox0.0408,\qquad K_{5}= \frac{1-a-b}{\gamma\tilde{C}h^{i}_{\infty}}\thickapprox 0.0346,\qquad K_{6}=\frac{1-c-d}{Ch^{s}_{0}} \thickapprox0.0544, \\& \lambda_{0}= \frac{a}{AM_{1}}\thickapprox0.0060,\qquad \mu _{0}= \frac{b}{BM_{2}}\thickapprox0.0008, \qquad \zeta_{0}= \frac {1-a-b}{CM_{3}}\thickapprox 0.0008, \\& \tilde{\lambda}_{0}= \frac{c}{\gamma\tilde {A}m_{1}}\thickapprox25.1894,\qquad \tilde{\mu}_{0}= \frac{d}{\gamma\tilde{B}m_{2}}\thickapprox 0.8654,\qquad \tilde{ \zeta}_{0}= \frac{1-c-d}{\gamma\tilde{C}m_{3}}\thickapprox1.1538. \end{aligned}$$
Then:
  1. (1)

    from Theorem 2.1, for \(\lambda\in(K_{1}, K_{2}), \mu\in(K_{3}, K_{4}), \zeta\in(K_{5}, K_{6})\), the problem (P1) has a positive solution;

     
  2. (2)

    from Theorem 3.1, for \(\lambda\in(0, \lambda_{0}), \mu\in(0, \mu_{0}), \zeta\in(0, \zeta_{0})\), the problem (P1) has no positive solution;

     
  3. (3)

    from Theorem 3.8, for \(\lambda\in(\tilde{\lambda}_{0}, \infty ), \mu\in(\tilde{\mu}_{0}, \infty), \zeta\in(\tilde{\zeta}_{0}, \infty)\) the problem (P1) has no positive solution.

     

4.2 Application to system of boundary value problems of differential equations on time scales

Consider the system of boundary value problems of nonlinear differential equation on time scale \(\mathbb{T}\) (the problem (P2)),
$$\begin{aligned}& u^{\triangle\nabla}(t)+\lambda f\bigl(t, u(t), v(t), w(t)\bigr)=0,\quad t\in[0, T] \subset\mathbb{T}, \\& v^{\triangle\nabla}(t)+\mu g\bigl(t, u(t), v(t), w(t)\bigr)=0,\quad t\in[0, T] \subset\mathbb{T}, \\& w^{\triangle\nabla}(t)+\zeta h\bigl(t, u(t), v(t), w(t)\bigr)=0,\quad t\in[0, T] \subset\mathbb{T}, \end{aligned}$$
subject to the boundary conditions
$$\begin{aligned}& u(0)=\beta_{1} u(\eta_{1}),\qquad u(T)=\alpha_{1} u(\eta_{1}), \\& v(0)=\beta_{2} v(\eta_{2}), \qquad v(T)=\alpha_{2} v(\eta_{2}), \\& w(0)=\beta_{3} w(\eta_{3}),\qquad w(T)= \alpha_{3} w(\eta_{3}), \end{aligned}$$
where \(\mathcal{T}\) is a time scale and \(0<\eta<T, 0<\alpha< \frac {T}{\eta}, 0<\beta<\frac{T-\alpha\eta}{T-\eta}\), and
$$\begin{aligned}& f(t, u, v, w)=\frac{\sqrt{t+3}(u+v+w+1)(3+\sin(v))(u+v+w)}{4{,}000(u+v+w)+1}, \\& g(t, u, v, w)=\frac{\sqrt{t+1}(u+v+w+1)(4+\cos(w))(u+v+w)}{6{,}000(u+v+w)+1}, \\& h(t, u, v, w)=\frac{\sqrt{t+1}(u+v+w+1)(3+\cos(u))(u+v+w)}{6{,}000(u+v+w)+1}. \end{aligned}$$
We can formulate the problem (P2) as
$$\left \{ \textstyle\begin{array}{@{}l@{\quad}l} u(t)=\lambda \int^{1}_{0}k_{1}(t, s)f(s, u(s), v(s), w(s))\nabla s,&{t\in[0, T],}\\ v(t)=\mu \int^{1}_{0}k_{2}(t, s)g(s, u(s), v(s), w(s))\nabla s,&{t\in[0, T],}\\ w(t)=\zeta \int^{1}_{0}k_{3}(t, s)h(s, u(s), v(s), w(s))\nabla s,&{t\in[0, T]}, \end{array}\displaystyle \right . $$
where
$$\begin{aligned}& k_{1}(t, s)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{((1-\beta_{1})t+\beta_{1}\eta_{1})(T-s)}{(T-\alpha_{1}\eta _{1})-\beta_{1}(T-\eta_{1})}-\frac{((\beta_{1}-\alpha_{1})t-\beta_{1} T)(\eta_{1}-s)}{(T-\alpha_{1}\eta_{1})-\beta_{1}(T-\eta _{1})}-(t-s), & 0\leq s\leq t\leq T, s\leq\eta_{1},\\ \frac{((1-\beta_{1})t+\beta_{1}\eta_{1})(T-s)}{(T-\alpha_{1}\eta _{1})-\beta_{1}(T-\eta_{1})}-\frac{((\beta_{1}-\alpha_{1})t-\beta_{1} T)(\eta_{1}-s)}{(T-\alpha_{1}\eta_{1})-\beta_{1}(T-\eta_{1})},& 0\leq t\leq s\leq\eta_{1},\\ \frac{((1-\beta_{1})t+\beta_{1}\eta_{1})(T-s)}{(T-\alpha_{1}\eta _{1})-\beta_{1}(T-\eta_{1})},& 0\leq t\leq s\leq T, s\geq\eta_{1},\\ \frac{((1-\beta_{1})t+\beta_{1}\eta_{1})(T-s)}{(T-\alpha_{1}\eta _{1})-\beta_{1}(T-\eta_{1})}-(t-s),& \eta_{1}\leq s\leq t\leq T, \end{array}\displaystyle \right . \\& k_{2}(t, s)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{((1-\beta_{2})t+\beta_{2}\eta_{2})(T-s)}{(T-\alpha_{2}\eta _{2})-\beta_{2}(T-\eta_{2})}-\frac{((\beta_{2}-\alpha_{2})t-\beta_{2} T)(\eta_{2}-s)}{(T-\alpha_{2}\eta_{2})-\beta_{2}(T-\eta _{2})}-(t-s), & 0\leq s\leq t\leq T, s\leq\eta_{2},\\ \frac{((1-\beta_{2})t+\beta_{2}\eta_{2})(T-s)}{(T-\alpha_{2}\eta _{2})-\beta_{2}(T-\eta_{2})}-\frac{((\beta_{2}-\alpha_{2})t-\beta_{2} T)(\eta_{2}-s)}{(T-\alpha_{2}\eta_{2})-\beta_{2}(T-\eta_{2})},& 0\leq t\leq s\leq\eta_{2},\\ \frac{((1-\beta_{2})t+\beta_{2}\eta_{2})(T-s)}{(T-\alpha_{2}\eta _{2})-\beta_{2}(T-\eta_{2})},& 0\leq t\leq s\leq T, s\geq\eta_{2},\\ \frac{((1-\beta_{2})t+\beta_{2}\eta_{2})(T-s)}{(T-\alpha_{2}\eta _{2})-\beta_{2}(T-\eta_{2})}-(t-s), &\eta_{1}\leq s\leq t\leq T, \end{array}\displaystyle \right . \\& k_{3}(t, s)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{((1-\beta_{3})t+\beta_{3}\eta_{3})(T-s)}{(T-\alpha_{3}\eta _{3})-\beta_{3}(T-\eta_{3})}-\frac{((\beta_{3}-\alpha_{3})t-\beta_{3} T)(\eta_{3}-s)}{(T-\alpha_{3}\eta_{3})-\beta_{3}(T-\eta _{3})}-(t-s), &0\leq s\leq t\leq T, s\leq\eta_{3},\\ \frac{((1-\beta_{3})t+\beta_{3}\eta_{3})(T-s)}{(T-\alpha_{3}\eta _{3})-\beta_{3}(T-\eta_{3})}-\frac{((\beta_{3}-\alpha_{3})t-\beta_{3} T)(\eta_{3}-s)}{(T-\alpha_{3}\eta_{3})-\beta_{3}(T-\eta_{3})},& 0\leq t\leq s\leq\eta_{3},\\ \frac{((1-\beta_{3})t+\beta_{3}\eta_{3})(T-s)}{(T-\alpha_{3}\eta _{3})-\beta_{3}(T-\eta_{3})}, & 0\leq t\leq s\leq T, s\geq\eta_{3},\\ \frac{((1-\beta_{3})t+\beta_{3}\eta_{3})(T-s)}{(T-\alpha_{3}\eta _{3})-\beta_{3}(T-\eta_{3})}-(t-s),& \eta_{1}\leq s\leq t\leq T. \end{array}\displaystyle \right . \end{aligned}$$

Lemma 4.1

Let \(0<\alpha_{i}< \frac{\eta_{i}}{T}, 0<\beta _{i}<\frac{T-\alpha_{i}\eta_{i}}{T-\eta_{i}}, (u(t), v(t), w(t))\) be a solution of the problem (P2), then
$$\min_{t\in[0, T]}u(t)\geq\gamma_{1}\max _{t\in[0, T]}u(t),\quad \min_{t\in[0, T]}v(t)\geq \gamma_{2}\max_{t\in[0, T]}v(t),\quad \min _{t\in [0, T]}w(t)\geq\gamma_{3}\max_{t\in[0, T]}w(t), $$
where
$$\gamma_{i}=\min \biggl\{ \frac{\alpha_{i}(T-\eta_{i})}{T-\alpha _{i}\eta _{i}}, \frac{\alpha_{i}\eta_{i}}{T}, \frac{\beta_{i}(T-\eta _{i})}{T}, \frac{\beta_{i}T}{T} \biggr\} ,\quad i=1,2,3. $$
We consider the case
$$T=1,\qquad \eta_{1}=\eta_{2}=\eta_{3}= \frac{1}{16},\qquad \beta_{1}=\beta _{2}= \beta_{3}=\frac{1}{3},\qquad \alpha_{1}= \alpha_{2}=\alpha_{3}=8. $$
After an easy computation, we conclude
$$\begin{aligned}& A=B=C=\frac{48}{27},\qquad \gamma=\frac{1}{48},\qquad \tilde {A}= \tilde{B}=\tilde{C}=\frac{65}{1{,}296}, \\& f^{s}_{0}=6,\qquad f^{i}_{0}=3 \sqrt{3},\qquad f^{s}_{\infty}=\frac {1}{500}, \qquad f^{i}_{\infty}=\frac{\sqrt{3}}{2{,}000}, \\& g^{s}_{0}=4\sqrt{2},\qquad g^{i}_{0}=4, \qquad g^{s}_{\infty}=\frac{\sqrt {2}}{1{,}200},\qquad g^{i}_{\infty}=\frac{1}{2{,}000}, \\& h^{s}_{0}=3\sqrt{2},\qquad h^{i}_{0}=3, \qquad h^{s}_{\infty}=\frac {\sqrt{2}}{1{,}500},\qquad h^{i}_{\infty}=\frac{1}{3{,}000}, \\& M_{1}=6,\qquad M_{2}=4\sqrt{2},\qquad M_{3}=3 \sqrt{2}, \\& m_{1}=\frac{\sqrt{3}}{2{,}000},\qquad m_{2}=\frac{1}{2{,}000}, \qquad m_{3}=\frac{1}{3{,}000}. \end{aligned}$$
Choose \(a= \frac{1}{3}, b=\frac{1}{3}, c=\frac{1}{3}, d=\frac{1}{3}\). Then
$$\begin{aligned}& L_{1}=\frac{b}{\gamma\tilde{A}f^{i}_{0}}\thickapprox61.3945,\qquad L_{2}= \frac{C}{Af^{s}_{\infty}}\thickapprox93.7500,\qquad L_{3}=\frac{a}{\gamma\tilde{B}g^{i}_{0}} \thickapprox79.7538, \\& L_{4}=\frac{d}{Bg^{s}_{\infty}}\thickapprox159.0990,\qquad L_{5}= \frac{1-a-b}{\gamma\tilde{C}h^{i}_{0}}\thickapprox106.3385,\\& L_{6}=\frac{1-c-d}{Ch^{s}_{\infty}} \thickapprox198.8738, \\& \lambda_{0}= \frac{a}{AM_{1}}\thickapprox0.0313,\qquad \mu _{0}= \frac{b}{BM_{2}}\thickapprox0.0331,\qquad \zeta_{0}= \frac {1-a-b}{CM_{3}}\thickapprox 0.0442, \\& \tilde{\lambda}_{0}= \frac{c}{\gamma\tilde {A}m_{1}}\thickapprox368{,}370,\qquad \tilde{\mu}_{0}= \frac{d}{\gamma\tilde{B}m_{2}}\thickapprox 638{,}370,\qquad \tilde{ \zeta}_{0}= \frac{1-c-d}{\gamma\tilde{C}m_{3}}\thickapprox957{,}050. \end{aligned}$$
Thus
  1. (1)

    from Theorem  2.16, for \(\lambda\in(L_{1}, L_{2}), \mu\in(L_{3}, L_{4}), \zeta\in(L_{5}, L_{6})\), the problem (P2) has a positive solution;

     
  2. (2)

    from Theorem  3.1, for \(\lambda\in(0, \lambda_{0}), \mu\in(0, \mu_{0}), \zeta\in(0, \zeta_{0})\), the problem (P2) has no positive solution;

     
  3. (3)

    from Theorem  3.8, for \(\lambda\in(\tilde{\lambda}_{0}, \infty ), \mu\in(\tilde{\mu}_{0}, \infty), \zeta\in(\tilde{\zeta}_{0}, \infty)\) the problem (P2) has no positive solution.

     

4.3 Application to system of boundary value problems of fractional differential equations

Consider the system of nonlinear fractional differential equation (the problem (P3))
$$\begin{aligned}& D^{\alpha}_{0+}u(t)+\lambda f\bigl(t, u(t), v(t), w(t)\bigr)=0, \quad t\in(0, 1), \\& D^{\alpha}_{0+}v(t)+\mu g\bigl(t, u(t), v(t), w(t)\bigr)=0,\quad t\in (0, 1), \\& D^{\alpha}_{0+}w(t)+\zeta h\bigl(t, u(t), v(t), w(t)\bigr)=0, \quad t\in(0, 1), \end{aligned}$$
subject to the boundary conditions
$$\begin{aligned}& u(0)=u'(0)=u'(1)=0,\qquad \bigl[D^{\delta}_{0+}u(t) \bigr]_{t=1}=0, \\& v(0)=v'(0)=v'(1)=0,\qquad \bigl[D^{\delta}_{0+}v(t) \bigr]_{t=1}=0, \\& w(0)=w'(0)=w'(1)=0, \qquad \bigl[D^{\delta}_{0+}w(t) \bigr]_{t=1}=0, \end{aligned}$$
where \(\alpha=3.5, \delta=1.5\), and
$$\begin{aligned}& f(t, u, v, w)=(u+v+w) \frac{100(u+v+w)+1}{u+v+w+1}\bigl(3+\sin(u+v+w)\bigr), \\& g(t, u, v, w)=(u+v+w) \frac{80(u+v+w)+1}{u+v+w+1}\bigl(4+\sin(u+v+w)\bigr), \\& h(t, u, v, w)=(u+v+w) \frac{125(u+v+w)+1}{u+v+w+1}\bigl(3+\cos(u+v+w)\bigr). \end{aligned}$$
We can check that
$$k_{1}(t, s)=k_{2}(t,s)=k_{3}(t, s)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{t^{\alpha-1}(1-s)^{\alpha-\delta-1}-(t-s)^{\alpha -1}}{\Gamma (\alpha)} ,&{0\leq s\leq t\leq1,}\\ \frac{t^{\alpha-1}(1-s)^{\alpha-\delta-1}}{\Gamma(\alpha)} ,&{0\leq t\leq s\leq1}. \end{array}\displaystyle \right . $$
It is easy to verify that \(\max_{t\in[0,1]} k_{i}(t, s)=k_{i}(1, s), i=1, 2, 3\), for each \(s\in[0, 1]\) and there is a positive constant \(\gamma\in(0, 1)\) such that [58]
$$\min_{t\in[\frac{1}{2},1]}k_{i}(t, s)\geq\gamma k_{i}(1, s),\quad 0< s< 1, i=1, 2, 3, \gamma=\min \biggl\{ \frac{(1/2)^{\alpha-\delta -1}}{2^{\delta}-1}, \biggl( \frac{1}{2} \biggr)^{\alpha-1} \biggr\} . $$
Thus
$$\begin{aligned}& A=B=C= \int^{1}_{0}k_{i}(1, s)\,ds= \frac{3}{4\Gamma (4.5)}\thickapprox0.0645,\qquad \gamma= \biggl(\frac{1}{2} \biggr)^{2.5},\\& \tilde{A}=\tilde{B}=\tilde{C}=0.0114, \\& f^{s}_{0}=3,\qquad f^{i}_{0}=3,\qquad f^{s}_{\infty}=400,\qquad f^{i}_{\infty}=200, \\& g^{s}_{0}=4,\qquad g^{i}_{0}=4,\qquad g^{s}_{\infty}=400,\qquad g^{i}_{\infty}=240, \\& h^{s}_{0}=3,\qquad h^{i}_{0}=3,\qquad h^{s}_{\infty}=500,\qquad h^{i}_{\infty}=250, \\& M_{1}=400,\qquad M_{2}=400,\qquad M_{3}=500, \qquad m_{1}=3,\qquad m_{2}=4,\qquad m_{3}=3. \end{aligned}$$
Choose \(a= \frac{1}{3}, b=\frac{1}{3}, c=\frac{1}{3}, d=\frac {1}{3}, \xi=\frac{1}{2}, \eta=1\). Then
$$\begin{aligned}& K_{1}=\frac{b}{\gamma\tilde{A}f^{i}_{\infty}}\thickapprox0.8269,\qquad K_{2}= \frac{a}{Af^{s}_{0}}\thickapprox1.7227,\qquad K_{3}=\frac{1-b}{\gamma\tilde{B}g^{i}_{\infty}} \thickapprox0.6891, \\& K_{4}=\frac{1-a}{Bg^{s}_{0}}\thickapprox1.2920,\qquad K_{5}= \frac{1-a-b}{\gamma\tilde{C}h^{i}_{\infty}}\thickapprox 0.6615,\qquad K_{6}=\frac{1-c-d}{Ch^{s}_{0}} \thickapprox1.7227, \\& \lambda_{0}= \frac{a}{AM_{1}}\thickapprox0.0129,\qquad \mu _{0}= \frac{b}{BM_{2}}\thickapprox0.0129,\qquad \zeta_{0}= \frac {1-a-b}{CM_{3}}\thickapprox 0.0103, \\& \tilde{\lambda}_{0}= \frac{c}{\gamma\tilde {A}m_{1}}\thickapprox55.1249,\qquad \tilde{\mu}_{0}= \frac{d}{\gamma\tilde{B}m_{2}}\thickapprox 41.3437, \qquad\tilde{ \zeta}_{0}= \frac{1-c-d}{\gamma\tilde{C}m_{3}}\thickapprox55.1249. \end{aligned}$$
Thus,
  1. (1)

    From Theorem 2.1, for \(\lambda\in(K_{1}, K_{2}), \mu\in(K_{3}, K_{4}), \zeta\in(K_{5}, K_{6})\), the problem (P3) has a positive solution;

     
  2. (2)

    from Theorem 3.1, for \(\lambda\in(0, \lambda_{0}), \mu\in(0, \mu_{0}), \zeta\in(0, \zeta_{0})\), the problem (P3) has no positive solution;

     
  3. (3)

    from Theorem 3.8, for \(\lambda\in(\tilde{\lambda}_{0}, \infty ), \mu\in(\tilde{\mu}_{0}, \infty), \zeta\in(\tilde{\zeta}_{0}, \infty)\) the problem (P3) has no positive solution.

     

Declarations

Acknowledgements

The work is sponsored by the NSFC (11201109), Anhui Provincial Natural Science Foundation (1408085QA07), the Higher School Natural Science Project of Anhui Province (KJ2014A200) and the outstanding talents plan of Anhui High school.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
College of Mathematics and Statistics, Hefei Normal University
(2)
College of Mathematical Science, University of Science and Technology of China

References

  1. Anderson, R, May, R: Infectious Diseases of Humans: Dynamics and Control. Oxford University Press, Oxford (1991) Google Scholar
  2. Song, X, Chen, L: Optimal harvesting and stability for a predator -prey system with stage structure. Acta Math. Appl. Sin. 18, 307-314 (2002) MathSciNetView ArticleGoogle Scholar
  3. Webb, J, Infante, G: Positive solutions of nonlocal boundary value problems: a unified approach. J. Lond. Math. Soc. (2) 74, 673-693 (2006) MathSciNetView ArticleMATHGoogle Scholar
  4. Webb, J, Lan, K: Eigenvalue criteria for existence of multiple positive solutions of nonlinear boundary value problems of local and nonlocal type. Topol. Methods Nonlinear Anal. 27, 91-116 (2006) MathSciNetMATHGoogle Scholar
  5. Infante, G, Webb, JRL: Loss of positivity in a nonlinear scalar heat equation. NoDEA Nonlinear Differ. Equ. Appl. 13, 249-261 (2006) MathSciNetView ArticleMATHGoogle Scholar
  6. Graef, J, Yang, B: Positive solutions to a multi-point higher order boundary value problem. J. Math. Anal. Appl. 316, 409-421 (2006) MathSciNetView ArticleMATHGoogle Scholar
  7. Ma, R: Positive solutions of a nonlinear m-point boundary value problem. Comput. Math. Appl. 42, 755-765 (2001) MathSciNetView ArticleMATHGoogle Scholar
  8. Ma, R, Castaneda, N: Existence of solutions of nonlinear m-point boundary-value problems. J. Math. Anal. Appl. 256, 556-567 (2001) MathSciNetView ArticleMATHGoogle Scholar
  9. Hong, S: Triple positive solutions of three-point boundary value problems for p-Laplacian dynamic equations on time scales. J. Comput. Appl. Math. 206, 967-976 (2007) MathSciNetView ArticleMATHGoogle Scholar
  10. Sun, J, Li, W: Existence of solutions to nonlinear first-order PBVPs on time scales. Nonlinear Anal. 67, 883-888 (2007) MathSciNetView ArticleMATHGoogle Scholar
  11. Chang, Y, Li, W: Existence results for second-order dynamic inclusion with m-point boundary value conditions on time scales. Appl. Math. Lett. 20, 885-891 (2007) MathSciNetView ArticleMATHGoogle Scholar
  12. Agarwal, R, et al.: Multiple positive solutions of singular Dirichlet problems on time scales via variational methods. Nonlinear Anal. 67, 368-381 (2007) MathSciNetView ArticleMATHGoogle Scholar
  13. Sang, Y, Su, H: Several sufficient conditions of solvability for a nonlinear higher order three-point boundary value problem on time scales. Appl. Math. Comput. 190, 566-575 (2007) MathSciNetView ArticleMATHGoogle Scholar
  14. Zhao, J, Lian, H, Ge, W: Existence of positive solutions for nonlinear mpoint boundary value problems on time scales. Bound. Value Probl. 2012, Article ID 4 (2012) MathSciNetView ArticleMATHGoogle Scholar
  15. Zhang, Q, He, X, Sun, H: Positive solutions for Sturm-Liouville BVPs on time scales via sub-supersolution and variational methods. Bound. Value Probl. 2013, Article ID 123 (2013) MathSciNetView ArticleMATHGoogle Scholar
  16. Jia, M, Liu, X: Three nonnegative solutions for fractional differential equations with integral boundary conditions. Comput. Math. Appl. 62, 1405-1412 (2011) MathSciNetView ArticleMATHGoogle Scholar
  17. Jia, M, Liu, X: Multiplicity of solutions for integral boundary value problems of fractional differential equations with upper and lower solutions. Appl. Math. Comput. 232, 313-323 (2014) MathSciNetView ArticleGoogle Scholar
  18. Kosmatov, N: A singular boundary value problem for nonlinear differential equations of fractional order. J. Appl. Math. Comput. 29, 125-135 (2009) MathSciNetView ArticleMATHGoogle Scholar
  19. Agarwal, RP, et al.: Positive solutions for Dirichlet problems of singular nonlinear fractional differential equations. J. Math. Anal. Appl. 371, 57-68 (2010) MathSciNetView ArticleMATHGoogle Scholar
  20. Jiang, D, Yuan, C: The positive properties of the Green function for Dirichlet-type boundary value problems of nonlinear fractional differential equations and its application. Nonlinear Anal. 15, 710-719 (2010) MathSciNetView ArticleMATHGoogle Scholar
  21. Agarwal, RP, O’Regan, D: A coupled system of difference equations. Appl. Math. Comput. 114, 39-49 (2000) MathSciNetView ArticleMATHGoogle Scholar
  22. Wu, G, Li, L, Cong, X, Miao, X: Multiple positive solutions to multipoint boundary value problem for a system of second-order nonlinear semipositone differential equations on time scales. J. Appl. Math. 2013, Article ID 679316 (2013) MathSciNetMATHGoogle Scholar
  23. Wong, P, Agarwal, RP: Existence theorems for a system of difference equations with \((n, p)\)-type conditions. Appl. Math. Comput. 123, 389-407 (2001) MathSciNetView ArticleMATHGoogle Scholar
  24. Ding, Y, Xu, J, Wei, Z: Positive solutions for a system of discrete boundary value problem. Bull. Malays. Math. Soc. 38, 1207-1221 (2015) MathSciNetView ArticleMATHGoogle Scholar
  25. Cetin, E, Topal, SS: Existence of multiple positive solutions for the system of higher order boundary value problems on time scales. Math. Comput. Model. 52, 1-11 (2010) MathSciNetView ArticleMATHGoogle Scholar
  26. Infante, G, Minhós, F, Pietramala, P: Non-negative solutions of systems of ODEs with coupled boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 17, 4952-4960 (2012) MathSciNetView ArticleMATHGoogle Scholar
  27. Cui, Y, Zou, Y: An existence and uniqueness theorem for a second order nonlinear system with coupled integral boundary value conditions. Appl. Math. Comput. 256, 438-444 (2015) MathSciNetView ArticleMATHGoogle Scholar
  28. Greaf, J, Kong, L, Minhós, F: Higher order boundary value problems with ϕ-Laplacian and functional boundary conditions. Comput. Math. Appl. 61, 236-249 (2011) MathSciNetView ArticleGoogle Scholar
  29. Ahmad, N, Khan, R: Positive solutions for a class of coupled system of singular three-point boundary value problems. Bound. Value Probl. 2009, Article ID 273063 (2009) MathSciNetMATHGoogle Scholar
  30. Cui, Y, Zou, Y: Monotone iterative method for differential systems with coupled integral boundary value problems. Bound. Value Probl. 2013, Article ID 245 (2013) MathSciNetView ArticleMATHGoogle Scholar
  31. Martins, E, Ferreira, W: Positive solution for a class of coupled \((p, q)\)-Laplacian nonlinear systems. Bound. Value Probl. 2014, Article ID 21 (2014) MathSciNetView ArticleMATHGoogle Scholar
  32. Ahmad, N, Talib, I, Tunc, C: Existence of solution for first-order coupled system with nonlinear coupled boundary conditions. Bound. Value Probl. 2015, Article ID 134 (2015) MathSciNetView ArticleMATHGoogle Scholar
  33. Ma, R: Multiple nonnegative solutions of second-order systems of boundary value problems. Nonlinear Anal. 42, 1003-1010 (2000) MathSciNetView ArticleMATHGoogle Scholar
  34. Wang, H: On the number of positive solutions of nonlinear systems. J. Math. Anal. Appl. 281, 287-306 (2003) MathSciNetView ArticleMATHGoogle Scholar
  35. Liu, W, Liu, L, Wu, Y: Positive solutions of a singular boundary value problem for systems of second-order differential equations. Appl. Math. Comput. 208, 511-519 (2009) MathSciNetView ArticleMATHGoogle Scholar
  36. Zhu, F, Liu, L, Wu, Y: Positive solutions for systems of a nonlinear fourth-order singular semipositone boundary value problems. Appl. Math. Comput. 216, 448-457 (2010) MathSciNetView ArticleMATHGoogle Scholar
  37. Goodrich, C: Existence of a positive solution to a system of discrete fractional boundary value problems. Appl. Math. Comput. 217, 4740-4753 (2011) MathSciNetView ArticleMATHGoogle Scholar
  38. Goodrich, C: Coupled systems of boundary value problems with nonlocal boundary conditions. Appl. Math. Lett. 41, 17-22 (2015) MathSciNetView ArticleMATHGoogle Scholar
  39. Yang, W: Positive solutions for nonlinear semipositone fractional q-difference system with coupled integral boundary conditions. Appl. Math. Comput. 244, 702-725 (2014) MathSciNetView ArticleMATHGoogle Scholar
  40. Xu, N: Iterative solutions for a coupled system of fractional differential-integral equations with two-point boundary conditions. Appl. Math. Comput. 244, 903-911 (2014) MathSciNetView ArticleMATHGoogle Scholar
  41. Su, X: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64-69 (2009) MathSciNetView ArticleMATHGoogle Scholar
  42. Zhang, Y, Bai, Z, Feng, T: Existence results for a coupled system of nonlinear fractional three-point boundary value problems at resonance. Comput. Math. Appl. 61, 1032-1047 (2011) MathSciNetView ArticleMATHGoogle Scholar
  43. Rehman, M, Khan, R: A note on boundary value problems for a coupled system of fractional differential equations. Comput. Math. Appl. 61, 2630-2637 (2011) MathSciNetView ArticleMATHGoogle Scholar
  44. Yang, W: Positive solutions for a coupled system of nonlinear fractional differential equations with integral boundary conditions. Comput. Math. Appl. 63, 288-297 (2012) MathSciNetView ArticleMATHGoogle Scholar
  45. Yuan, C: Two positive solutions for \((n-1, 1)\)-type semipositone integral boundary value problems for coupled systems of nonlinear fractional differential equation. Commun. Nonlinear Sci. Numer. Simul. 17, 930-942 (2012) MathSciNetView ArticleMATHGoogle Scholar
  46. Jiang, W: Solvability for a coupled system of fractional differential equations at resonance. Nonlinear Anal., Real World Appl. 13, 2285-2292 (2012) MathSciNetView ArticleMATHGoogle Scholar
  47. Hu, Z, Liu, W, Chen, T: Existence of solutions for a coupled system of fractional differential equations at resonance. Bound. Value Probl. 2012, Article ID 98 (2012) MathSciNetView ArticleMATHGoogle Scholar
  48. Zhang, X, Zhu, C, Wu, Z: Solvability for a coupled system of fractional differential equations with impulses at resonance. Bound. Value Probl. 2013, Article ID 80 (2013) MathSciNetView ArticleMATHGoogle Scholar
  49. Liu, Y, Nieto, J, Otero-Zarraquiños, Ó: Existence results for a coupled system of nonlinear singular fractional differential equations with impulse effects. Math. Probl. Eng. 2013, Article ID 498781 (2013) MathSciNetMATHGoogle Scholar
  50. Henderson, J, Luca, R: Nonexistence of positive solutions for a system of coupled fractional boundary value problems. Bound. Value Probl. 2015, Article ID 138 (2015) MathSciNetView ArticleMATHGoogle Scholar
  51. Henderson, J, Luca, R: Positive solutions for a system of fractional differential equations with coupled integral boundary conditions. Appl. Math. Comput. 249, 182-197 (2014) MathSciNetView ArticleMATHGoogle Scholar
  52. Wang, G, Ahmad, B, Zhang, L: A coupled system of nonlinear fractional differential equations with multipoint fractional boundary conditions on an unbounded domain. Abstr. Appl. Anal. 2012, Article ID 248709 (2012) MathSciNetMATHGoogle Scholar
  53. Jiang, J: Solvability of anti-periodic boundary value problem for coupled system of fractional p-Laplacian equation. Adv. Differ. Equ. 2015, Article ID 305 (2015) MathSciNetView ArticleGoogle Scholar
  54. Liu, Z, Sun, J: Nonlinear boundary value problems of fractional differential systems. Comput. Math. Appl. 64, 463-475 (2012) MathSciNetView ArticleMATHGoogle Scholar
  55. Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, San Diego (1988) MATHGoogle Scholar
  56. Wang, H: On the number of positive solutions of nonlinear systems. J. Math. Anal. Appl. 281, 287-306 (2003) MathSciNetView ArticleMATHGoogle Scholar
  57. Il’in, VA, Moiseev, EI: Nonlocal boundary value problem of the first kind for a Sturm-Liouville operator in its differential and finite difference aspects. Differ. Equ. 23, 803-810 (1987) MATHGoogle Scholar
  58. Il’in, VA, Moiseev, EI: Nonlocal boundary value problem of the second kind for a Sturm-Liouville operator. Differ. Equ. 23, 979-987 (1987) MathSciNetMATHGoogle Scholar
  59. Goodrich, C: Existence of a positive solution to a class of fractional differential equations. Appl. Math. Lett. 23, 1050-1055 (2010) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Shen et al. 2016