Nontrivial solutions for an integral boundary value problem involving Riemann–Liouville fractional derivatives

Abstract

In this paper using topological degree we study the existence of nontrivial solutions for a fractional differential equation involving integral boundary conditions. Here, the nonlinear term may be sign-changing and may also depend on the derivatives of the unknown function.

1 Introduction

We study the existence of nontrivial solutions for the following integral boundary value problem involving Riemann–Liouville fractional derivatives:

$$ \textstyle\begin{cases} D_{0+}^{\beta }D_{0+}^{\alpha }u(t)=f (t,u(t),u'(t),-D_{0+}^{ \alpha }u(t) ), \quad 0< t< 1, \\ u(0)=u'(0)=0,\qquad u'(1)=\int _{0}^{1} g(t)u'(t)\,dt, \\ D_{0+}^{\alpha }u(0)=D _{0+}^{\alpha +1} u(0)=0,\qquad D_{0+}^{\alpha +1} u(1)=\int _{0}^{1} h(t) D_{0+}^{\alpha +1} u(t)\,dt, \end{cases} $$

(1.1)

where $\alpha ,\beta \in (2,3]$ are two real numbers, $D_{0+}^{\alpha }$, $D_{0+}^{\beta }$ are the Riemann–Liouville fractional derivatives, and $f\in C( [0,1]\times \mathbb{R}^{3}, \mathbb{R})$ ($\mathbb{R}=(- \infty ,+\infty )$). Moreover, the functions g, h are defined on $[0,1]$ and satisfy the condition:

• (H0) $g,h\ge 0$ with $\int _{0}^{1} g(t)t^{\alpha -2}\,dt\in [0,1)$, and $\int _{0}^{1} h(t) t^{\beta -2} \,dt\in [0,1)$.

Fractional-order problems arise naturally in engineering and scientific disciplines such as physics, biophysics, chemistry, control theory, signal and image processing, and aerodynamics; we refer the reader to [1,2,3]. For example, in [4, 5] the authors introduced a fractional-order model of infection of CD4⁺ T-cells, and the system takes the following form:

$$ \textstyle\begin{cases} D^{\alpha _{1}}(T)=s-KVT-dT+bI, \\ D^{\alpha _{2}}(I)=KVT-(b+\delta )I, \\ D^{\alpha _{3}}(I)=N\delta I-cV, \end{cases} $$

where $D^{\alpha _{i}}$ are fractional derivatives, $i=1,2,3$. Many results on the existence and multiplicity of solutions (or positive solutions) of nonlinear fractional differential equations can be found for example in [6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37] and the references therein. In [6,7,8,9,10,11, 19, 20, 26], the authors used the fixed point index theory to study the existence of (positive) solutions for various boundary value problems of fractional differential equations, for example, Bai in [6] obtained positive solutions for the nonlocal fractional-order differential equation boundary value problem

$$ \textstyle\begin{cases} D_{0+}^{\alpha }u(t)+f(t,u(t))=0,\quad 0< t< 1, \\ u(0)=0,\qquad \beta u(\eta )=u(1), \end{cases} $$

where $1<\alpha \le 2$, $0<\beta \eta ^{\alpha -1}<1$, $0<\eta <1$, f is continuous on $[0,1]\times \mathbb{R}^{+}$ and satisfies the conditions

$$ (\mathrm{H})_{\mathrm{B}1}\quad \liminf_{u\to 0^{+}} \frac{f(t,u)}{u}>\lambda _{1},\qquad \limsup_{u\to + \infty } \frac{f(t,u)}{u}< \lambda _{1}, \quad \text{uniformly on } t\in [0,1], $$

and

$$ (\mathrm{H})_{\mathrm{B}2} \quad \liminf_{u\to +\infty } \frac{f(t,u)}{u}>\lambda _{1}, \qquad \limsup_{u \to 0^{+}} \frac{f(t,u)}{u}< \lambda _{1}, \quad \text{uniformly on } t\in [0,1], $$

where $\lambda _{1}$ is the first eigenvalue corresponding of the relevant linear operator. These conditions can also be found in some integer-order differential equations; we refer the reader to [38,39,40,41,42,43,44,45,46,47,48,49,50,51,52] and the references therein. Integral boundary conditions arise in thermal conduction problems, semiconductor problems and hydrodynamic problems (see [11]) and we refer the reader to [10, 11, 18, 19, 26, 28,29,30, 33, 34, 39, 43, 50,51,52] and the references therein. In [26] the authors studied the integral boundary value problem of the nonlinear Hadamard fractional differential equation

$$ \textstyle\begin{cases} D_{\beta }(\varphi _{p}(D^{\alpha }u(t)))=f(t,u(t)),\quad 1< t< e, \\ u(1)=u'(1)=u'(e)=0,\qquad D^{\alpha }u(1)=0, \qquad \varphi _{p}(D^{\alpha }u(e))= \mu \int _{1}^{e} \varphi _{p}(D^{\alpha }u(t)) \frac{dt}{t}, \end{cases} $$

where $\alpha \in (2,3]$, $\beta \in (1,2]$ and $D^{\alpha }$, $D^{\beta }$ are Hadamard fractional derivatives.

Many papers in the literature also considered sign-changing nonlinearity problems; see [4, 5, 7,8,9, 13,14,15,16,17,18,19, 22,23,24,25,26,27,28,29,30, 34, 35, 38,39,40,41,42,43,44,45,46,47,48,49,50,51,52] and the references therein. In [15], the authors studied the fractional differential equation with a singular decreasing nonlinearity and a p-Laplacian operator:

$$ \textstyle\begin{cases} -D_{0+}^{\alpha }(\varphi _{p}(-D_{0+}^{\gamma }z))(x)=f(x,z(x)),\quad 0< x< 1, \\ z(0)=0,\qquad D_{0+}^{\gamma }z(0)=D_{0+}^{\gamma }z(1)=0, \qquad z(1)=\int _{0} ^{1} z(x)\,d\chi (x). \end{cases} $$

Using a double iterative technique, they showed that the above problem has a unique positive solution, and from an iterative technique, they established an appropriate sequence, which converges uniformly to the unique positive solution.

In this paper we use topological degree theory to consider the existence of nontrivial solutions for (1.1). The novelty is twofold: (1) the nonlinearity depends on the unknown function u and its integer-order, fractional-order derivatives $u'$, $-D_{0+}^{\alpha }u$, (2) the nonlinearity can be unbounded on $[0,1]\times \mathbb{R}^{3}$, which improves results on semipositone problems (i.e., boundedness from below); see [5, 21, 42, 43, 45].

2 Preliminaries

We present some definitions and notations from fractional calculus theory involving Riemann–Liouville fractional derivatives; for details see the books [1,2,3].

Definition 2.1

(see [1,2,3])

The Riemann–Liouville fractional derivative of order $\alpha > 0$ of a continuous function $f : (0,+\infty )\to (-\infty ,+\infty )$ is given by

$$ D_{0+}^{\alpha }f(t)=\frac{1}{\varGamma (n-\alpha )} \biggl(\frac{\mathrm{d}}{\mathrm{d}t} \biggr) ^{n} \int _{0}^{t} (t-s)^{n-\alpha -1} f(s)\,ds, $$

where $n =[\alpha ] + 1$, $[\alpha ]$ denotes the integer part of number α, provided that the right side is pointwise defined on $(0,+\infty )$.

Definition 2.2

(see [1,2,3])

The Riemann–Liouville fractional integral of order $\alpha > 0$ of a function $f : (0,+\infty )\to (-\infty , +\infty )$ is given by

$$ I_{0+}^{\alpha }f(t)=\frac{1}{\varGamma (\alpha )} \int _{0}^{t} (t-s)^{ \alpha -1}f(s)\,ds, $$

provided that the right side is pointwise defined on $(0,+\infty )$.

Lemma 2.3

(see [5, Lemma 2.3])

Let $\alpha >0$, then, for $u, D_{0+}^{\alpha }u\in C(0,1) \cap L(0,1)$, we have

$$ I_{0+}^{\alpha }D_{0+}^{\alpha }u(t)=u(t)+c_{1}t^{\alpha -1}+c_{2}t ^{\alpha -2}+\cdots +c_{N}t^{\alpha -N},\quad \textit{for some } c_{i} \in \mathbb{R}, i=1,2,\ldots , N, $$

where N is the smallest integer greater than or equal to α.

Lemma 2.4

Suppose that (H0) holds. If let $-D^{\alpha }_{0+}u:=v$, then the fractional boundary value problem

$$ \textstyle\begin{cases} -D^{\alpha }_{0+}u(t)=v(t),\quad 0< t< 1, \\ u(0)=u'(0)=0,\qquad u'(1)=\int _{0}^{1} g(t)u'(t)\,dt, \end{cases} $$

(2.1)

can be transformed into its equivalent Hammerstein integral equation, which takes the form

$$ u(t)= \int _{0}^{1} G_{1}(t,s)v(s)\,ds, $$

(2.2)

where

$$\begin{aligned}& G_{1}(t,s)= \widetilde{G}_{1}(t,s)+\frac{t^{\alpha -1}}{1-\int _{0} ^{1} g(t)t^{\alpha -2}\,dt} \int _{0}^{1} g(t)\widetilde{G}_{2}(t,s) \,dt, \\& \widetilde{G}_{1}(t,s)=\frac{1}{\varGamma (\alpha )} \textstyle\begin{cases} t^{\alpha -1}(1-s)^{\alpha -2}-(t-s)^{\alpha -1},&0\le s\le t\le 1, \\ t^{\alpha -1}(1-s)^{\alpha -2},& 0\le t\le s\le 1, \end{cases}\displaystyle \\& \widetilde{G}_{2}(t,s)=\frac{1}{\varGamma (\alpha )} \textstyle\begin{cases} t^{\alpha -2}(1-s)^{\alpha -2}-(t-s)^{\alpha -2},&0\le s\le t\le 1, \\ t^{\alpha -2}(1-s)^{\alpha -2},& 0\le t\le s\le 1. \end{cases}\displaystyle \end{aligned}$$

(2.3)

Proof

From Lemma 2.3 we have

$$ u(t)=-I_{0+}^{\alpha }v(t)+c_{1} t^{\alpha -1}+c_{2} t^{\alpha -2}+c _{3} t^{\alpha -3}, \quad \text{for } c_{i}\in \mathbb{R}, i=1,2,3. $$

Note that $u(0)=u'(0)=0$, and we obtain $c_{2}=c_{3}=0$. Then we have

$$ u(t)= -I_{0+}^{\alpha }v(t)+c_{1} t^{\alpha -1}=- \int _{0}^{t} \frac{(t-s)^{ \alpha -1}}{\varGamma (\alpha )}v(s) \,ds+c_{1} t^{\alpha -1}. $$

Therefore, from the condition $u'(1)=\int _{0}^{1} g(t)u'(t)\,dt$, we have the equation

$$ - \int _{0}^{1} \frac{(1-s)^{\alpha -2}}{\varGamma (\alpha )}v(s) \,ds+c_{1}= - \int _{0}^{1} g(t) \int _{0}^{t} \frac{(t-s)^{\alpha -2}}{\varGamma ( \alpha )}v(s)\,ds \,dt+ c_{1} \int _{0}^{1} g(t)t^{\alpha -2}\,dt. $$

Solving this, we have

$$\begin{aligned} c_{1} &=\frac{1}{1-\int _{0}^{1} g(t)t^{\alpha -2}\,dt} \biggl[ \int _{0} ^{1} \frac{(1-s)^{\alpha -2}}{\varGamma (\alpha )} v(s)\,ds - \int _{0} ^{1} g(t) \int _{0}^{t} \frac{(t-s)^{\alpha -2}}{\varGamma (\alpha )} v(s)\,ds \,dt \biggr] \\ & = \frac{1}{1-\int _{0}^{1} g(t)t^{\alpha -2}\,dt} \biggl[ \int _{0}^{1} \frac{(1-s)^{\alpha -2}}{\varGamma (\alpha )}v(s)\,ds - \int _{0} ^{1} g(t) \int _{s}^{1} \frac{(t-s)^{\alpha -2}}{\varGamma (\alpha )} v(s)\,dt \,ds \biggr]. \end{aligned}$$

As a result, we obtain

$$\begin{aligned} u(t) =&- \int _{0}^{t} \frac{(t-s)^{\alpha -1}}{\varGamma (\alpha )} v(s)\,ds+ \frac{1}{1-\int _{0}^{1} g(t)t^{\alpha -2}\,dt} \int _{0}^{1} \frac{t^{ \alpha -1}(1-s)^{\alpha -2}}{\varGamma (\alpha )} v(s)\,ds \\ &{}-\frac{t^{\alpha -1}}{1-\int _{0}^{1} g(t)t^{\alpha -2}\,dt} \int _{0} ^{1} g(t) \int _{s}^{1} \frac{(t-s)^{\alpha -2}}{\varGamma (\alpha )} v(s)\,dt\,ds \\ =&- \int _{0}^{t} \frac{(t-s)^{\alpha -1}}{\varGamma (\alpha )} v(s)\,ds+ \int _{0}^{1} \frac{t^{\alpha -1}(1-s)^{\alpha -2}}{\varGamma (\alpha )} v(s)\,ds- \int _{0}^{1} \frac{t^{\alpha -1}(1-s)^{\alpha -2}}{\varGamma (\alpha )} v(s)\,ds \\ &{} + \frac{1}{1-\int _{0}^{1} g(t)t^{\alpha -2}\,dt} \int _{0}^{1} \frac{t ^{\alpha -1}(1-s)^{\alpha -2}}{\varGamma (\alpha )} v(s)\,ds \\ &{}- \frac{t^{ \alpha -1}}{1-\int _{0}^{1} g(t)t^{\alpha -2}\,dt} \int _{0}^{1} g(t) \int _{s}^{1} \frac{(t-s)^{\alpha -2}}{\varGamma (\alpha )} v(s)\,dt \,ds \\ =& \int _{0}^{1} \widetilde{G}_{1}(t,s)v(s) \,ds+ \frac{t^{\alpha -1}}{1-\int _{0}^{1} g(t)t^{\alpha -2}\,dt} \int _{0}^{1} \int _{0}^{1} g(t) \widetilde{G}_{2}(t,s) \,dt v(s)\,ds \\ =& \int _{0}^{1} G_{1}(t,s)v(s)\,ds. \end{aligned}$$

This completes the proof. □

For convenience, let

$$\begin{aligned} G_{2}(t,s)&=\frac{\partial }{\partial t}G_{1}(t,s) \\ &=(\alpha -1) \biggl[ \widetilde{G} _{2}(t,s)+\frac{t^{\alpha -2}}{1-\int _{0}^{1} g(t)t^{\alpha -2}\,dt}+ \int _{0}^{1} g(t)\widetilde{G}_{2}(t,s) \,dt \biggr],\quad \text{for } t,s \in [0,1] . \end{aligned}$$

Lemma 2.5

Suppose that (H0) holds. If α, β, f are as in (1.1), then the fractional boundary value problem (1.1) is equivalent to the Hammerstein integral equation

$$ v(t)= \int _{0}^{1} H_{1}(t,s)f \biggl(s, \int _{0}^{1} G_{1}(s,\tau )v( \tau )\,d \tau , \int _{0}^{1} G_{2}(s,\tau )v(\tau )\,d \tau ,v(s) \biggr)\,ds, $$

(2.4)

where

$$ \begin{aligned} &H_{1}(t,s)= \widetilde{H}_{1}(t,s)+ \frac{t^{\beta -1}}{1-\int _{0} ^{1} h(t) t^{\beta -2} \,dt} \int _{0}^{1} h(t)\widetilde{H}_{2}(t,s) \,dt, \\ &\widetilde{H}_{1}(t,s)=\frac{1}{\varGamma (\beta )} \textstyle\begin{cases} t^{\beta -1}(1-s)^{\beta -2}-(t-s)^{\beta -1},&0\le s\le t\le 1, \\ t^{\beta -1}(1-s)^{\beta -2},& 0\le t\le s\le 1, \end{cases}\displaystyle \\ &\widetilde{H}_{2}(t,s)=\frac{1}{\varGamma (\beta )} \textstyle\begin{cases} t^{\beta -2}(1-s)^{\beta -2}-(t-s)^{\beta -2},&0\le s\le t\le 1, \\ t^{\beta -2}(1-s)^{\beta -2}, &0\le t\le s\le 1. \end{cases}\displaystyle \end{aligned} $$

(2.5)

Proof

Substituting $-D^{\alpha }_{0+}u=v$ into (1.1), we have

$$ \textstyle\begin{cases} {-}D_{0+}^{\beta }v(t)=f (t,\int _{0}^{1} G_{1}(t,s)v(s)\,ds,\int _{0}^{1} G_{2}(t,s)v(s)\,ds,v(t) ), \quad 0< t< 1, \\ v(0)=v'(0)=0,\qquad v'(1)= \int _{0}^{1} h(t) v'(t)\,dt. \end{cases} $$

(2.6)

Using $\widetilde{f}(t)$ to replace $f(t,\cdot ,\cdot ,\cdot )$, and from Lemma 2.3 we obtain

$$ v(t)=-I_{0+}^{\beta }\widetilde{f}(t)+c_{1} t^{\beta -1}+c_{2} t^{ \beta -2}+c_{3} t^{\beta -3}, \quad \text{for } c_{i}\in \mathbb{R}, i=1,2,3. $$

Note that $v(0)=v'(0)=0$ implies $c_{2}=c_{3}=0$. Hence,

$$ v(t)=- \int _{0}^{t} \frac{(t-s)^{\beta -1}}{\varGamma (\beta )} \widetilde{f}(s) \,ds+c_{1} t^{\beta -1}. $$

From the condition $v'(1)=\int _{0}^{1} h(t) v'(t)\,dt$, we get

$$ - \int _{0}^{1} \frac{(1-s)^{\beta -2}}{\varGamma (\beta )}\widetilde{f}(s) \,ds+c_{1}=- \int _{0}^{1} h(t) \int _{0}^{t} \frac{(t-s)^{\beta -2}}{ \varGamma (\beta )}\widetilde{f}(s) \,ds \,dt+c_{1} \int _{0}^{1} h(t) t^{ \beta -2} \,dt. $$

Solving this equation, we obtain

$$\begin{aligned} c_{1} &= \frac{1}{1-\int _{0}^{1} h(t) t^{\beta -2} \,dt} \int _{0}^{1} \frac{(1-s)^{ \beta -2}}{\varGamma (\beta )}\widetilde{f}(s) \,ds \\ &\quad {}-\frac{1}{1-\int _{0} ^{1} h(t) t^{\beta -2} \,dt} \int _{0}^{1} h(t) \int _{0}^{t} \frac{(t-s)^{ \beta -2}}{\varGamma (\beta )}\widetilde{f}(s) \,ds \,dt \\ & = \frac{1}{1- \int _{0}^{1} h(t) t^{\beta -2} \,dt} \int _{0}^{1} \frac{(1-s)^{\beta -2}}{ \varGamma (\beta )}\widetilde{f}(s) \,ds \\ &\quad {}-\frac{1}{1-\int _{0}^{1} h(t) t ^{\beta -2} \,dt} \int _{0}^{1} h(t) \int _{s}^{1} \frac{(t-s)^{\beta -2}}{ \varGamma (\beta )}\widetilde{f}(s)\, dt \,ds. \end{aligned}$$

Consequently, we have

$$\begin{aligned} v(t) =& - \int _{0}^{t} \frac{(t-s)^{\beta -1}}{\varGamma (\beta )} \widetilde{f}(s) \,ds+\frac{1}{1-\int _{0}^{1} h(t) t^{\beta -2} \,dt} \int _{0}^{1} \frac{t^{\beta -1}(1-s)^{\beta -2}}{\varGamma (\beta )} \widetilde{f}(s) \,ds \\ &{}-\frac{t^{\beta -1}}{1-\int _{0}^{1} h(t) t^{\beta -2} \,dt} \int _{0} ^{1} h(t) \int _{s}^{1} \frac{(t-s)^{\beta -2}}{\varGamma (\beta )} \widetilde{f}(s) \,dt \,ds \\ =& - \int _{0}^{t} \frac{(t-s)^{\beta -1}}{ \varGamma (\beta )}\widetilde{f}(s) \,ds+ \int _{0}^{1} \frac{t^{\beta -1}(1-s)^{ \beta -2}}{\varGamma (\beta )}\widetilde{f}(s) \,ds- \int _{0}^{1} \frac{t ^{\beta -1}(1-s)^{\beta -2}}{\varGamma (\beta )}\widetilde{f}(s)\,ds \\ &{}+\frac{1}{1-\int _{0}^{1} h(t) t^{\beta -2} \,dt} \int _{0}^{1} \frac{t ^{\beta -1}(1-s)^{\beta -2}}{\varGamma (\beta )}\widetilde{f}(s)\,ds \\ &{}-\frac{t ^{\beta -1}}{1-\int _{0}^{1} h(t) t^{\beta -2} \,dt} \int _{0}^{1} h(t) \int _{s}^{1} \frac{(t-s)^{\beta -2}}{\varGamma (\beta )}\widetilde{f}(s)\, dt \,ds \\ =& \int _{0}^{1} \widetilde{H}_{1}(t,s) \widetilde{f}(s)\,ds+\frac{t ^{\beta -1}}{1-\int _{0}^{1} h(t) t^{\beta -2} \,dt} \int _{0}^{1} \int _{0}^{1} h(t)\widetilde{H}_{2}(t,s) \,dt \widetilde{f}(s)\,ds \\ =& \int _{0}^{1} H_{1}(t,s) \widetilde{f}(s) \,ds. \end{aligned}$$

This completes the proof. □

Lemma 2.6

The functions $G_{i}$, $H_{1}$ ($i=1,2$) satisfy the properties:

• (i) $G_{i}(t,s),H_{1}(t,s)\ge 0$ for $t,s\in [0,1]\times [0,1]$,

• (ii) $t^{\beta -1}\phi _{\beta }(s)\le H_{1}(t,s)\le \phi _{\beta }(s)$ for $t,s\in [0,1]\times [0,1]$, where $\phi _{\beta }(s)=\frac{s(1-s)^{ \beta -2}}{\varGamma (\beta )}+\frac{\int _{0}^{1} h(t)\widetilde{H}_{2}(t,s) \,dt}{1-\int _{0}^{1} h(t) t^{\beta -2} \,dt}$, $s \in [0,1]$.

Proof

We only prove (ii). From [20] we have

$$ t^{\beta -1}\frac{1}{\varGamma (\beta )}s(1-s)^{\beta -2}\le \widetilde{H}_{1}(t,s) \le \frac{1}{\varGamma (\beta )}s(1-s)^{\beta -2}, \quad \text{for } t,s\in [0,1]\times [0,1]. $$

Combining this with (2.5), we easily obtain the inequalities in (ii). This completes the proof. □

Let $E:=C[0,1]$, $\|v\|:=\max_{t\in [0,1]}|v(t)|$ (here $v\in E$), $P:=\{v\in E:v(t)\geqslant 0,\forall t\in [0,1]\}$. Then $(E,\|\cdot \|)$ is a real Banach space, and P is a cone on E. Now, we define an operator $A: E\to E$ as follows:

$$ (Av) (t):= \int _{0}^{1} H_{1}(t,s)f \biggl(s, \int _{0}^{1} G_{1}(s,\tau )v( \tau )\,d \tau , \int _{0}^{1} G_{2}(s,\tau )v(\tau )\,d \tau ,v(s) \biggr)\,ds, $$

(2.7)

for all $v\in E$. Moreover, we note that the continuity of $G_{1}$, $G _{2}$, $H_{1}$ and f implies that $A:E\rightarrow E$ is a completely continuous operator. Note that the existence of solutions of (2.6) is equivalent to that of fixed points of A, and then from (1.1) and (2.6) ($-D^{\alpha }_{0+}u=v$), we see that if there exists a $\overline{y}\in E$ such that $A\overline{y}= \overline{y}$, then y̅ is a solution for (1.1). Therefore, in what follows we study the existence of fixed points of A. For this purpose we need to define a linear operator $L_{a,b,c}: E\to E$ as follows:

$$ (L_{a,b,c}v) (t):= \int _{0}^{1} H_{a,b,c}(t,s)v(s)\,ds,\quad \forall v\in E, $$

(2.8)

where $H_{a,b,c}(t,s):=aH_{3}(t,s)+bH_{2}(t,s)+cH_{1}(t,s)$, $\forall t,s\in [0,1]$, with $a, b, c\geqslant 0$ and $a^{2}+b^{2}+c^{2}\neq 0$; here

$$ H_{2}(t,s)= \int _{0}^{1} H_{1}(t,\tau )G_{2}(\tau ,s)\, d \tau ,\qquad H_{3}(t,s)= \int _{0}^{1} H_{1}(t,\tau )G_{1}(\tau ,s)\, d \tau ,\quad \forall t,s\in [0,1]. $$

Moreover, we know that the continuity of $H_{i}$ ($i=1,2,3$) implies that $L_{a,b,c}$ is a completely continuous operator and $L_{a,b,c}(P) \subset P$. Let $r(L_{a,b,c})$ denote the spectral radius of $L_{a,b,c}$, and from Gelfand’s theorem we see that $r(L_{a,b,c})>0$ (the proof is standard; see [20, Lemma 5]).

Let $P_{0}=\{v\in P: v(t)\ge t^{\beta -1}\|v\|, \forall t\in [0,1]\}$. Then if we define an operator $(A_{1}v)(t)=\int _{0} ^{1} H_{1}(t,s)v(s)\,ds$, where $H_{1}$ is defined by (2.5), and from Lemma 2.6(ii) we have

$$ A_{1}(P)\subset P_{0}. $$

(2.9)

Indeed, if $v\in P$, Lemma 2.6(ii) implies that

$$ \int _{0}^{1} t^{\beta -1}\phi _{\beta }(s) v(s)\,ds\le \int _{0}^{1} H _{1}(t,s)v(s)\,ds\le \int _{0}^{1} \phi _{\beta }(s) v(s)\,ds , $$

and

$$ (A_{1}v) (t)\ge t^{\beta -1} \|A_{1}v\|. $$

Lemma 2.7

(see [53, Theorem 19.3])

Let P be a reproducing cone in a real Banach space E and let $L : E \to E$ be a compact linear operator with $L(P) \subset P$. Let $r(L)$ be the spectral radius of L. If $r(L)>0$, then there exists $\varphi \in P\setminus \{0\}$ such that $L\varphi =r(L)\varphi$.

Therefore, from Lemma 2.7 we see that there exists $\varphi _{a,b,c} \in P\setminus \{0\}$ such that

$$ L_{a,b,c}\varphi _{a,b,c}= r(L_{a,b,c}) \varphi _{a,b,c}. $$

(2.10)

In what follows, we prove that

$$ \varphi _{a,b,c}\in P_{0}. $$

(2.11)

Indeed, from (2.10) we have

$$\begin{aligned} \varphi _{a,b,c}(t) &=\frac{1}{r(L_{a,b,c})}(L_{a,b,c}\varphi _{a,b,c}) (t)=\frac{1}{r(L _{a,b,c})} \int _{0}^{1} H_{a,b,c}(t,s)\varphi _{a,b,c}(s)\,ds \\ &=\frac{1}{r(L _{a,b,c})} \int _{0}^{1} \bigl[aH_{3}(t,s)+bH_{2}(t,s)+cH_{1}(t,s) \bigr] \varphi _{a,b,c}(s)\,ds, \quad t\in [0,1]. \end{aligned}$$

Using Lemma 2.6(ii) and the definitions of $H_{i}$ ($i=1,2,3$), we have

$$\begin{aligned} \|\varphi _{a,b,c}\| \le& \frac{1}{r(L_{a,b,c})} \int _{0}^{1} \biggl[a \int _{0}^{1} \phi _{\beta }(\tau )G_{1}(\tau ,s)\,d\tau +b \int _{0}^{1} \phi _{\beta }(\tau )G_{2}(\tau ,s)\,d\tau +c\phi _{\beta }(s) \biggr] \\ &{}\times\varphi _{a,b,c}(s)\,ds \end{aligned}$$

and

$$\begin{aligned} \varphi _{a,b,c}(t) &\ge \frac{1}{r(L_{a,b,c})} \int _{0}^{1} \biggl[a \int _{0}^{1} t^{\beta -1}\phi _{\beta }( \tau )G_{1}(\tau ,s)\,d\tau +b \int _{0}^{1} t^{\beta -1}\phi _{\beta }( \tau )G_{2}(\tau ,s)\,d\tau \\ &\quad {}+c t ^{\beta -1}\phi _{\beta }(s) \biggr]\varphi _{a,b,c}(s)\,ds \\ & \ge t^{ \beta -1}\|\varphi _{a,b,c}\|. \end{aligned}$$

Therefore, (2.11) is true.

Lemma 2.8

(see [54])

Let E be a Banach space and Ω a bounded open set in E. Suppose that $A: \varOmega \to E$ is a continuous compact operator. If there exists $u_{0}\in E\setminus \{0\}$ such that

$$ u-Au\neq \mu u_{0},\quad \forall u\in \partial \varOmega , \mu \geqslant 0, $$

then the topological degree $\deg (I-A,\varOmega ,0)=0$.

Lemma 2.9

(see [54])

Let E be a Banach space and Ω a bounded open set in E with $0\in \varOmega$. Suppose that $A: \varOmega \to E$ is a continuous compact operator. If

$$ Au\neq \mu u,\quad \forall u\in \partial \varOmega , \mu \geqslant 1, $$

then the topological degree $\deg (I-A,\varOmega ,0)=1$.

3 Main results

Let $\alpha _{i}, \beta _{i}, \gamma _{i}\geqslant 0$ ($i=1,2$) with $\alpha _{1}^{2}+\beta _{1}^{2}+\gamma _{1}^{2} \neq 0$, $\alpha _{2}^{2}+\beta _{2}^{2}+\gamma _{2}^{2} \neq 0$, and $r^{-1}(L_{\alpha _{i},\beta _{i},\gamma _{i}})= \lambda _{\alpha _{i},\beta _{i},\gamma _{i}}$ for $i=1,2$. Now, we list our assumptions for f as follows:

• (H1) $f\in C([0,1]\times \mathbb{R}^{3},\mathbb{R})$.

• (H2) There exist two nonnegative functions $b(t),c(t)\in C[0,1]$ with $c(t)\not \equiv 0$ and a function $K(x_{1},x_{2},x_{3})\in C[ \mathbb{R}^{3}, \mathbb{R}^{+}]$ such that

  $$ f(t,x_{1},x_{2},x_{3})\geqslant -b(t)-c(t)K(x_{1},x_{2},x_{3}), \quad \forall x_{i}\in \mathbb{R}, t\in [0,1], i=1,2,3. $$

• (H3) $\lim_{\alpha _{1}|x_{1}|+\beta _{1}|x_{2}|+\gamma _{1}|x_{3}|\to +\infty } \frac{K(x_{1},x_{2},x_{3})}{\alpha _{1}|x_{1}|+\beta _{1}|x_{2}|+ \gamma _{1}|x_{3}|}=0$.

• (H4) $\liminf_{\alpha _{1}|x_{1}|+\beta _{1}|x_{2}|+\gamma _{1}|x_{3}|\to + \infty }\frac{f(t,x_{1},x_{2},x_{3})}{\alpha _{1}|x_{1}|+\beta _{1}|x _{2}|+\gamma _{1}|x_{3}|}>\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}$, uniformly for $t\in [0,1]$.

• (H5) $\limsup_{\alpha _{2}|x_{1}|+\beta _{2}|x_{2}|+\gamma _{2}|x_{3}|\to 0}\frac{|f(t,x _{1},x_{2},x_{3})|}{\alpha _{2}|x_{1}|+\beta _{2}|x_{2}|+\gamma _{2}|x _{3}|}<\lambda _{\alpha _{2},\beta _{2},\gamma _{2}}$, uniformly for $t\in [0,1]$.

We now present our main result.

Theorem 3.1

Suppose that (H0)–(H5) hold. Then (1.1) has at least one nontrivial solution.

Proof

From (H4) there exist $\varepsilon _{0}>0$ and $X_{0}>0$ such that

$$\begin{aligned}& f(t,x_{1},x_{2},x_{3})\geqslant ( \lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0} ) \bigl(\alpha _{1} \vert x_{1} \vert +\beta _{1}|x_{2}|+ \gamma _{1}|x_{3}|\bigr), \\& \quad \forall t\in [0,1], \alpha _{1}|x_{1}|+\beta _{1}|x_{2}|+\gamma _{1}|x_{3}|>X_{0}. \end{aligned}$$

(3.1)

For any given ε with $\varepsilon _{0} - \|c\|\varepsilon >0$, and from (H3) there exists $X_{1}>X_{0}$ such that

$$ K(x_{1},x_{2},x_{3}) \leqslant \varepsilon \bigl(\alpha _{1} \vert x_{1} \vert +\beta _{1}|x_{2}|+\gamma _{1}|x_{3}| \bigr), \quad \forall \alpha _{1}|x_{1}|+\beta _{1}|x _{2}|+\gamma _{1}|x_{3}|>X_{1}. $$

(3.2)

It follows from (H2), (3.1), (3.2) that

$$\begin{aligned} f(t,x_{1},x_{2},x_{3}) &\geqslant (\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0} ) \bigl(\alpha _{1} \vert x_{1} \vert +\beta _{1} \vert x_{2} \vert + \gamma _{1} \vert x_{3} \vert \bigr)-b(t)-c(t)K(x_{1},x_{2},x_{3}) \\ &\geqslant (\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0} ) \bigl(\alpha _{1} \vert x _{1} \vert +\beta _{1} \vert x_{2} \vert +\gamma _{1} \vert x_{3} \vert \bigr) \\ &\quad {}-b(t)-\varepsilon c(t) \bigl(\alpha _{1} \vert x_{1} \vert +\beta _{1} \vert x_{2} \vert +\gamma _{1} \vert x_{3} \vert \bigr) \\ &\geqslant \bigl(\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0}-\varepsilon c(t) \bigr) \bigl( \alpha _{1} \vert x_{1} \vert +\beta _{1} \vert x_{2} \vert +\gamma _{1} \vert x_{3} \vert \bigr)-b(t) \\ &\geqslant \bigl(\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0}- \varepsilon \Vert c \Vert \bigr) \bigl(\alpha _{1} \vert x_{1} \vert +\beta _{1} \vert x_{2} \vert + \gamma _{1} \vert x_{3} \vert \bigr) \\ &\quad {}-\|b\|,\quad \forall \alpha _{1} \vert x_{1} \vert +\beta _{1} \vert x_{2} \vert +\gamma _{1} \vert x_{3} \vert >X_{1}. \end{aligned}$$

(3.3)

Let $C_{X_{1}}= (\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0}-\varepsilon \|c\| )X_{1}+\max_{0\leqslant t\leqslant 1, \alpha _{1}|x_{1}|+\beta _{1}|x_{2}|+\gamma _{1}|x_{3}|\leqslant X_{1}}|f(t,x_{1},x_{2},x_{3})|$, $K^{*}=\max_{\alpha _{1}|x_{1}|+\beta _{1}|x_{2}|+\gamma _{1}|x_{3}|\leqslant X_{1}}K(x_{1},x_{2},x_{3})$. Then it easy to see that

$$\begin{aligned} f(t,x_{1},x_{2},x_{3}) \geqslant& \bigl(\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0}-\varepsilon \Vert c \Vert \bigr) \bigl(\alpha _{1} \vert x_{1} \vert + \beta _{1}|x_{2}|+\gamma _{1}|x_{3}| \bigr) \\ &{}-b(t)-C_{X_{1}},\quad \forall (t,x_{1},x _{2},x_{3})\in [0,1]\times \mathbb{R}^{3}. \end{aligned}$$

(3.4)

Note that ε can be chosen arbitrarily small, and we let

$$\begin{aligned} R >& \max \biggl\{ \frac{(\|b\|+\|c\|K^{*}+C_{X_{1}})\int _{0}^{1} \phi _{h}(s) \,ds}{1-\varepsilon M_{\alpha _{1},\beta _{1},\gamma _{1}} \|c\| }, \\ &\frac{( \lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+2\varepsilon _{0}-2\|c\| \varepsilon )(\|b\|+\|c\|K^{*}+C_{X_{1}})\int _{0}^{1} \phi _{h}(s) \,ds}{ \varepsilon _{0}-\|c\|\varepsilon -\varepsilon \|c\|M_{\alpha _{1},\beta _{1},\gamma _{1}}(\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+2 \varepsilon _{0}-2\|c\|\varepsilon )} \biggr\} , \end{aligned}$$

where $M_{\alpha _{1},\beta _{1},\gamma _{1}}=\int _{0}^{1} \phi _{h}(s) (\alpha _{1}\int _{0}^{1}G_{1}(s,\tau )\,d\tau +\beta _{1}\int _{0} ^{1}G_{2}(s,\tau )\,d\tau +\gamma _{1} ) \,ds$, and $\phi _{h}(s)=\frac{(1-s)^{ \beta -2}}{\varGamma (\beta )}+\frac{\int _{0}^{1} h(t)\widetilde{H}_{2}(t,s) \,dt}{1-\int _{0}^{1} h(t) t^{\beta -2} \,dt}$, $s \in [0,1]$.

Now we prove that

$$ v-Av\neq \mu \varphi _{\alpha _{1},\beta _{1},\gamma _{1}},\quad \forall v \in \partial B_{R}, \mu \geqslant 0, $$

(3.5)

where $\varphi _{\alpha _{1},\beta _{1},\gamma _{1}}$ is the positive eigenfunction of $L_{\alpha _{1},\beta _{1},\gamma _{1}}$ corresponding to the eigenvalue $\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}$, and then $\varphi _{\alpha _{1},\beta _{1},\gamma _{1}}= \lambda _{\alpha _{1},\beta _{1},\gamma _{1}}L_{\alpha _{1},\beta _{1}, \gamma _{1}}\varphi _{\alpha _{1},\beta _{1},\gamma _{1}}$ and $\varphi _{\alpha _{1},\beta _{1},\gamma _{1}}\in P_{0}$ by (2.11).

Suppose (3.5) is not true. Then there exists $v_{0}\in \partial B_{R}$ and $\mu _{0}>0$ such that

$$ v_{0}-Av_{0}=\mu _{0}\varphi _{\alpha _{1},\beta _{1},\gamma _{1}}. $$

(3.6)

Let

$$\begin{aligned} \widetilde{v}(t) =& \int _{0}^{1} H_{1}(t,s) \biggl[b(s)+c(s)K \biggl( \int _{0}^{1} G_{1}(s,\tau )v_{0}(\tau )\,d\tau , \int _{0}^{1}G_{2}(s,\tau )v _{0}(\tau )\,d\tau ,v_{0}(s) \biggr) \\ &{}+C_{X_{1}} \biggr]\,ds,\quad \forall t\in [0,1]. \end{aligned}$$

(3.7)

Then we have

$$\begin{aligned} \widetilde{v}(t) \leqslant& \int _{0}^{1}H_{1}(t,s) \biggl[b(s)+c(s) \biggl[\varepsilon \biggl(\alpha _{1} \biggl\vert \int _{0}^{1}G_{1}(s,\tau ) v_{0}(\tau )\,d\tau \biggr\vert \\ &{}+\beta _{1} \biggl\vert \int _{0}^{1}G_{2}(s,\tau )v _{0}(\tau )\,d\tau \biggr\vert +\gamma _{1} \bigl\vert v_{0}(s) \bigr\vert \biggr)+K^{*} \biggr]+C _{X_{1}} \biggr]\,ds \\ \leqslant& \int _{0}^{1}t^{\beta -1} \phi _{h}(s) \biggl[b(s)+c(s) \biggl[\varepsilon \biggl(\alpha _{1} \int _{0}^{1}G_{1}(s, \tau ) \bigl\vert v_{0}(\tau ) \bigr\vert \,d\tau \\ &{}+\beta _{1} \int _{0}^{1}G_{2}(s,\tau ) \bigl\vert v_{0}( \tau ) \bigr\vert \,d\tau +\gamma _{1} \bigl\vert v_{0}(s) \bigr\vert \biggr)+K^{*} \biggr]+C_{X_{1}} \biggr]\,ds \\ \leqslant& t^{\beta -1} \int _{0}^{1} \phi _{h}(s) \biggl[\|b\|+ \|c\| \biggl[\varepsilon \biggl(\alpha _{1} \int _{0}^{1}G_{1}(s,\tau )\,d\tau \\ &{}+ \beta _{1} \int _{0}^{1}G_{2}(s,\tau )\,d\tau + \gamma _{1} \biggr)\|v_{0}\|+K ^{*} \biggr]+C_{X_{1}} \biggr]\,ds \\ \leqslant& t^{\beta -1}\bigl( \Vert b \Vert +\|c \|K^{*}+C_{X_{1}} \bigr) \int _{0}^{1} \phi _{h}(s) \,ds \\ &{}+ t^{\beta -1} \varepsilon \|c\| \int _{0}^{1} \phi _{h}(s) \biggl(\alpha _{1} \int _{0}^{1}G_{1}(s, \tau )\,d\tau +\beta _{1} \int _{0}^{1}G_{2}(s,\tau )\,d\tau + \gamma _{1} \biggr) \|v_{0}\| \,ds \\ \le& \bigl( \Vert b \Vert +\|c\|K^{*}+C_{X_{1}}\bigr) \int _{0}^{1} \phi _{h}(s) \,ds \\ &{}+ \varepsilon \|c\| R \int _{0}^{1} \phi _{h}(s) \biggl(\alpha _{1} \int _{0}^{1}G_{1}(s,\tau )\,d\tau +\beta _{1} \int _{0}^{1}G_{2}(s, \tau )\,d\tau + \gamma _{1} \biggr) \,ds. \end{aligned}$$

(3.8)

Consequently, we have

$$\begin{aligned} \|\widetilde{v}\| &\leqslant \bigl( \Vert b \Vert +\|c\|K^{*}+C_{X_{1}} \bigr) \int _{0}^{1} \phi _{h}(s) \,ds \\ &\quad {}+ \varepsilon \|c\| R \int _{0}^{1} \phi _{h}(s) \biggl(\alpha _{1} \int _{0}^{1}G_{1}(s,\tau )\,d\tau +\beta _{1} \int _{0}^{1}G_{2}(s, \tau )\,d\tau + \gamma _{1} \biggr) \,ds \\ & < R. \end{aligned}$$

(3.9)

Note that $\widetilde{v}\in P_{0}$, and then from (2.9), $\varphi _{\alpha _{1},\beta _{1},\gamma _{1}}\in P_{0}$, and

$$\begin{aligned} v_{0}(t)+\widetilde{v}(t) =&Av_{0}(t)+\mu _{0} \varphi _{\alpha _{1},\beta _{1},\gamma _{1}}(t)+\widetilde{v}(t) \\ =& \int _{0}^{1}H_{1}(t,s) \biggl[f \biggl(s, \int _{0}^{1}G_{1}(s,\tau )v_{0}( \tau )\,d\tau , \int _{0}^{1}G_{2}(s,\tau )v_{0}(\tau )\,d\tau ,v_{0}(s) \biggr) \\ &{}+b(s)+c(s)K \biggl( \int _{0}^{1}G_{1}(s,\tau )v_{0}(\tau )\,d\tau , \int _{0}^{1}G_{2}(s,\tau )v_{0}(\tau )\,d\tau ,v_{0}(s) \biggr)+C_{X _{1}} \biggr]\,ds \\ &{}+\mu _{0}\varphi _{\alpha _{1},\beta _{1},\gamma _{1}}(t), \end{aligned}$$

we have

$$ v_{0}+\widetilde{v}\in P_{0}, $$

(3.10)

using the fact that

$$\begin{aligned}& f \biggl(s, \int _{0}^{1}G_{1}(s,\tau )v_{0}(\tau )\,d\tau , \int _{0}^{1}G _{2}(s,\tau )v_{0}(\tau )\,d\tau ,v_{0}(s) \biggr) +b(s) \\& \quad {}+c(s)K \biggl( \int _{0}^{1}G_{1}(s,\tau )v_{0}(\tau )\,d\tau , \int _{0}^{1}G_{2}(s,\tau )v _{0}(\tau )\,d\tau ,v_{0}(s) \biggr)+C_{X_{1}}\in P. \end{aligned}$$

Therefore, (2.10), (3.4) and (3.7) enable us to obtain

$$\begin{aligned}& Av_{0}(t)+ \widetilde{v}(t) \\& \quad = \int _{0}^{1}H_{1}(t,s)f \biggl(s, \int _{0} ^{1}G_{1}(s,\tau )v_{0}(\tau )\,d\tau , \int _{0}^{1}G_{2}(s,\tau )v_{0}( \tau )\,d\tau ,v_{0}(s) \biggr)\,ds \\& \qquad {}+ \int _{0}^{1}H_{1}(t,s) \biggl[b(s)+c(s)K \biggl( \int _{0}^{1}G_{1}(s, \tau )v_{0}(\tau )\,d\tau , \int _{0}^{1}G_{2}(s,\tau )v_{0}(\tau ) \,d\tau ,v_{0}(s) \biggr) \\& \qquad {}+C_{X_{1}} \biggr]\,ds \\& \quad \geqslant \bigl(\lambda _{ \alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0}- \varepsilon \Vert c \Vert \bigr) \int _{0}^{1}H_{1}(t,s) \biggl[\alpha _{1} \biggl\vert \int _{0}^{1}G_{1}(s, \tau )v_{0}(\tau )\,d\tau \biggr\vert \\& \qquad {}+\beta _{1} \biggl\vert \int _{0}^{1}G_{2}(s, \tau )v_{0}(\tau )\,d\tau \biggr\vert +\gamma _{1} \bigl\vert v_{0}(s) \bigr\vert \biggr]\,ds \\& \qquad {}- \int _{0}^{1}H_{1}(t,s) \bigl[b(s)+C_{X_{1}}\bigr]\,ds \\& \qquad {}+ \int _{0}^{1}H_{1}(t,s) \biggl[b(s)+c(s)K \biggl( \int _{0}^{1}G_{1}(s,\tau )v_{0}(\tau )\,d\tau , \int _{0}^{1}G_{2}(s,\tau )v_{0}(\tau )\,d\tau ,v_{0}(s) \biggr) \\& \qquad {}+C_{X _{1}} \biggr]\,ds \\& \quad \geqslant \bigl(\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+ \varepsilon _{0}- \varepsilon \Vert c \Vert \bigr) \int _{0}^{1}H_{1}(t,s) \biggl[\alpha _{1} \biggl\vert \int _{0}^{1}G_{1}(s,\tau )v_{0}(\tau )\,d\tau \biggr\vert \\& \qquad {}+ \beta _{1} \biggl\vert \int _{0}^{1}G_{2}(s,\tau )v_{0}(\tau )\,d\tau \biggr\vert + \gamma _{1} \bigl\vert v_{0}(s) \bigr\vert \biggr]\,ds \\& \quad \geqslant \bigl(\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0}- \varepsilon \Vert c \Vert \bigr) \biggl\vert \alpha _{1} \int _{0}^{1}H_{1}(t,s) \int _{0}^{1}G_{1}(s,\tau )v_{0}(\tau )\,d\tau \,ds \\& \qquad {}+\beta _{1} \int _{0}^{1}H_{1}(t,s) \int _{0}^{1}G_{2}(s,\tau )v _{0}(\tau )\,d\tau \,ds+\gamma _{1} \int _{0}^{1}H_{1}(t,s)v_{0}(s) \,ds \biggr\vert \\& \quad \geqslant \bigl(\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+ \varepsilon _{0}- \varepsilon \Vert c \Vert \bigr) \biggl\vert \alpha _{1} \int _{0}^{1}H _{3}(t,\tau )v_{0}(\tau )\,d\tau +\beta _{1} \int _{0}^{1}H_{2}(t,\tau )v _{0}(\tau )\,d\tau \\& \qquad {}+\gamma _{1} \int _{0}^{1}H_{1}(t,s)v_{0}(s) \,ds \biggr\vert \\& \quad = \bigl(\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0}- \varepsilon \Vert c \Vert \bigr) \biggl\vert \int _{0}^{1}H_{\alpha _{1},\beta _{1}, \gamma _{1}}(t,s)v_{0}(s) \,ds \biggr\vert \\& \quad \geqslant \bigl(\lambda _{\alpha _{1}, \beta _{1},\gamma _{1}}+\varepsilon _{0}- \varepsilon \Vert c \Vert \bigr) \int _{0}^{1}H_{\alpha _{1},\beta _{1},\gamma _{1}}(t,s)v_{0}(s) \,ds. \end{aligned}$$

(3.11)

From the definition of operator $L_{\alpha _{1},\beta _{1},\gamma _{1}}$, we get

$$\begin{aligned} & \bigl(\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0}- \Vert c \Vert \varepsilon \bigr) \int _{0}^{1}H_{\alpha _{1},\beta _{1},\gamma _{1}}(t,s)v _{0}(s)\,ds \\ &\quad =\lambda _{\alpha _{1},\beta _{1},\gamma _{1}} \int _{0}^{1}H _{\alpha _{1},\beta _{1},\gamma _{1}}(t,s) \bigl(v_{0}(s)+\widetilde{v}(s)\bigr)\,ds+\bigl( \varepsilon _{0}- \Vert c \Vert \varepsilon \bigr) \int _{0}^{1}H_{\alpha _{1},\beta _{1}, \gamma _{1}}(t,s)v_{0}(s) \,ds \\ &\qquad {}-\lambda _{\alpha _{1},\beta _{1},\gamma _{1}} \int _{0}^{1}H_{\alpha _{1},\beta _{1},\gamma _{1}}(t,s)\widetilde{v}(s) \,ds \\ &\quad =\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}L_{\alpha _{1},\beta _{1}, \gamma _{1}}(v_{0}+\widetilde{v}) (t)+\bigl(\varepsilon _{0}- \Vert c \Vert \varepsilon \bigr) \int _{0}^{1}H_{\alpha _{1},\beta _{1},\gamma _{1}}(t,s) \bigl(v_{0}(s)+ \widetilde{v}(s)\bigr)\,ds \\ &\qquad {}-\bigl(\lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+ \varepsilon _{0}- \Vert c \Vert \varepsilon \bigr) \int _{0}^{1}H_{\alpha _{1},\beta _{1}, \gamma _{1}}(t,s)\widetilde{v}(s) \,ds. \end{aligned}$$

(3.12)

From (3.10), we get $v_{0}(t)+\widetilde{v}(t)\geqslant t^{ \beta -1}\|v_{0}+\widetilde{v}\|\geqslant t^{\beta -1}(\|v_{0}\|-\| \widetilde{v}\|)$, $t\in [0,1]$, and hence from (3.8) we have

$$\begin{aligned}& \bigl(\varepsilon _{0}- \Vert c \Vert \varepsilon \bigr) \int _{0}^{1}H_{\alpha _{1},\beta _{1},\gamma _{1}}(t,s) \bigl(v_{0}(s)+\widetilde{v}(s)\bigr)\,ds \\& \qquad {}-\bigl( \lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0}- \Vert c \Vert \varepsilon \bigr) \int _{0}^{1}H_{\alpha _{1},\beta _{1},\gamma _{1}}(t,s)\widetilde{v}(s) \,ds \\& \quad \geqslant \bigl(\varepsilon _{0}- \Vert c \Vert \varepsilon \bigr) \bigl(R- \Vert \widetilde{v} \Vert \bigr) \int _{0}^{1}s^{\beta -1}H_{\alpha _{1},\beta _{1},\gamma _{1}}(t,s) \,ds-\bigl( \lambda _{\alpha _{1},\beta _{1},\gamma _{1}}+\varepsilon _{0}- \Vert c \Vert \varepsilon\bigr) \\& \qquad {}\times \biggl[\bigl( \Vert b \Vert + \Vert c \Vert K^{*}+C_{X_{1}}\bigr) \int _{0}^{1} \phi _{h}(s) \,ds+ \varepsilon \Vert c \Vert R M_{\alpha _{1},\beta _{1},\gamma _{1}} \biggr] \int _{0} ^{1}s^{\beta -1}H_{\alpha _{1},\beta _{1},\gamma _{1}}(t,s) \,ds \\& \quad \geqslant 0. \end{aligned}$$

(3.13)

Combining (3.11), (3.12) and (3.13), and we obtain

$$ Av_{0}(t)+\widetilde{v}(t)\geqslant \lambda _{\alpha _{1},\beta _{1},\gamma _{1}}L_{\alpha _{1},\beta _{1}, \gamma _{1}}(v_{0}+\widetilde{v}) (t), \quad t\in [0,1]. $$

(3.14)

Therefore, using (3.6) and (3.14) we have

$$ v_{0}+\widetilde{v}=Av_{0}+\mu _{0} \varphi _{\alpha _{1},\beta _{1},\gamma _{1}}+\widetilde{v}\geqslant \lambda _{\alpha _{1},\beta _{1},\gamma _{1}}L_{\alpha _{1},\beta _{1}, \gamma _{1}}(v_{0}+ \widetilde{v})+\mu _{0} \varphi _{\alpha _{1},\beta _{1},\gamma _{1}} \geqslant \mu _{0} \varphi _{\alpha _{1},\beta _{1},\gamma _{1}}. $$

Define

$$ \mu ^{*}=\sup \{\mu >0:v_{0}+\widetilde{v}\geqslant \mu \varphi _{\alpha _{1},\beta _{1},\gamma _{1}}\}. $$

It is easy to see that $\mu ^{*}\geqslant \mu _{0}$ and $v_{0}+ \widetilde{v}\geqslant \mu ^{*}\varphi _{\alpha _{1},\beta _{1},\gamma _{1}}$. From $\varphi _{\alpha _{1},\beta _{1},\gamma _{1}}= \lambda _{\alpha _{1},\beta _{1},\gamma _{1}}L_{\alpha _{1},\beta _{1}, \gamma _{1}} \varphi _{\alpha _{1},\beta _{1},\gamma _{1}}$, we obtain

$$ \lambda _{\alpha _{1},\beta _{1},\gamma _{1}}L_{\alpha _{1},\beta _{1}, \gamma _{1}}(v_{0}+\widetilde{v})\geqslant \lambda _{\alpha _{1},\beta _{1},\gamma _{1}} L_{\alpha _{1},\beta _{1}, \gamma _{1}}\mu ^{*}\varphi _{\alpha _{1},\beta _{1},\gamma _{1}}=\mu ^{*} \varphi _{\alpha _{1},\beta _{1},\gamma _{1}}. $$

Hence

$$ v_{0}+\widetilde{v}\geqslant \lambda _{\alpha _{1},\beta _{1},\gamma _{1}}L _{\alpha _{1},\beta _{1},\gamma _{1}}(v_{0}+\widetilde{v})+\mu _{0} \varphi _{\alpha _{1},\beta _{1},\gamma _{1}}\geqslant \bigl(\mu _{0}+\mu ^{*}\bigr) \varphi _{\alpha _{1},\beta _{1},\gamma _{1}}, $$

which contradicts the definition of $\mu ^{*}$. Therefore, (3.5) holds, and from Lemma 2.8 we obtain

$$ \deg (I-A,B_{R},0)=0. $$

(3.15)

From (H5) there exist $0<\varepsilon _{1}< \lambda _{\alpha _{2},\beta _{2},\gamma _{2}}$ and $0< r< R$ such that

$$ \bigl\vert f(t,x_{1},x_{2},x_{3}) \bigr\vert \leqslant ( \lambda _{\alpha _{2},\beta _{2},\gamma _{2}}-\varepsilon _{1}) \bigl(\alpha _{2} \vert x _{1} \vert +\beta _{2}|x_{2}|+ \gamma _{2}|x_{3}|\bigr), $$

for all $x_{i}\in \mathbb{R}$, $i=1, 2,3$, $t\in [0,1]$ with $0\leqslant \alpha _{2}|x_{1}|+\beta _{2}|x_{2}|+\gamma _{2}|x_{3}|< r$. Consequently, we obtain

$$\begin{aligned} \bigl\vert (Av) (t) \bigr\vert &\leqslant (\lambda _{\alpha _{2},\beta _{2},\gamma _{2}}- \varepsilon _{1}) \int _{0}^{1}H_{1}(t,s) \biggl(\alpha _{2} \biggl\vert \int _{0}^{1}G_{1}(s,\tau )v(\tau )\,d\tau \biggr\vert \\ &\quad {}+\beta _{2} \biggl\vert \int _{0}^{1}G_{2}(s,\tau )v(\tau )\,d \tau \biggr\vert +\gamma _{2} \bigl\vert v(s) \bigr\vert \biggr) \,ds \\ & \le (\lambda _{\alpha _{2},\beta _{2},\gamma _{2}}-\varepsilon _{1}) \int _{0}^{1}H_{1}(t,s) \biggl(\alpha _{2} \int _{0}^{1}G_{1}(s,\tau ) \bigl\vert v(\tau ) \bigr\vert \,d\tau \\ &\quad {}+\beta _{2} \int _{0}^{1}G_{2}(s,\tau ) \bigl\vert v(\tau ) \bigr\vert \,d\tau +\gamma _{2} \bigl\vert v(s) \bigr\vert \biggr)\,ds \\ &=( \lambda _{\alpha _{2},\beta _{2},\gamma _{2}}-\varepsilon _{1}) \int _{0} ^{1}H_{\alpha _{2},\beta _{2},\gamma _{2}}(t,s) \bigl\vert v(s) \bigr\vert \,ds \\ &=( \lambda _{\alpha _{2},\beta _{2},\gamma _{2}}-\varepsilon _{1}) \bigl(L_{\alpha _{2},\beta _{2},\gamma _{2}} \vert v \vert \bigr) (t),\quad \forall t\in [0,1], v\in E, \|v \|\leqslant r. \end{aligned}$$

Now for this r, we prove that

$$ Av\neq \lambda v, \quad \forall v\in \partial B_{r}, \lambda \geqslant 1. $$

(3.16)

Assume the contrary. Then there exist $v_{0}\in \partial B_{r}$ and $\lambda _{0}\geqslant 1$ such that $Av_{0}=\lambda _{0}v_{0}$. Let $\omega (t)=|v_{0}(t)|$. Then $\omega \in \partial B_{r}\cap P$ and

$$ \omega \leqslant \frac{1}{\lambda _{0}}( \lambda _{\alpha _{2},\beta _{2},\gamma _{2}}-\varepsilon _{1})L_{\alpha _{2},\beta _{2},\gamma _{2}}\omega \leqslant ( \lambda _{\alpha _{2},\beta _{2},\gamma _{2}}- \varepsilon _{1})L_{\alpha _{2},\beta _{2},\gamma _{2}}\omega . $$

By induction, we have $\omega \leqslant ( \lambda _{\alpha _{2},\beta _{2},\gamma _{2}}-\varepsilon _{1})^{n}L^{n} _{\alpha _{2},\beta _{2},\gamma _{2}}\omega$, for $n=1,2,\ldots$ . As a result, we have

$$ \|\omega \|\leqslant (\lambda _{\alpha _{2},\beta _{2},\gamma _{2}}- \varepsilon _{1})^{n} \bigl\Vert L^{n}_{\alpha _{2},\beta _{2},\gamma _{2}} \bigr\Vert \| \omega \|, $$

and thus

$$ 1\leqslant (\lambda _{\alpha _{2},\beta _{2},\gamma _{2}}- \varepsilon _{1} )^{n} \bigl\Vert L^{n}_{\alpha _{2},\beta _{2},\gamma _{2}} \bigr\Vert . $$

Therefore, by Gelfand’s theorem, we have

$$ (\lambda _{\alpha _{2},\beta _{2},\gamma _{2}}-\varepsilon _{1})r(L_{\alpha _{2},\beta _{2},\gamma _{2}})= ( \lambda _{\alpha _{2},\beta _{2},\gamma _{2}}- \varepsilon _{1} ) \lim_{n\to \infty } \sqrt[n]{ \bigl\Vert L^{n}_{\alpha _{2},\beta _{2},\gamma _{2}} \bigr\Vert }\geqslant 1. $$

This contradicts

$$ (\lambda _{\alpha _{2},\beta _{2},\gamma _{2}}-\varepsilon _{1})r(L_{\alpha _{2},\beta _{2},\gamma _{2}})=1- \varepsilon _{1}r(L_{\alpha _{2},\beta _{2},\gamma _{2}})< 1. $$

Thus (3.16) holds and from Lemma 2.9 we have

$$ \deg (I-A,B_{r},0)=1. $$

(3.17)

Now (3.15) and (3.17) imply that

$$ \deg (I-A,B_{R}\setminus \overline{B}_{r},0)=\deg (I-A,B_{R},0)- \deg (I-A,B_{r},0)=-1. $$

Therefore the operator A has at least one fixed point in $B_{R} \setminus \overline{B}_{r}$. Equivalently, (1.1) has at least one nontrivial solution. This completes the proof. □