 Research
 Open Access
 Published:
Signchanging solutions for asymptotically linear operator equations and applications
Boundary Value Problems volume 2015, Article number: 184 (2015)
Abstract
In this paper, by using the topological degree and fixed point index theory, the existence of three kinds of solutions (i.e., signchanging solutions, positive solutions, and negative solutions) for asymptotically linear operator equations is discussed. The abstract results obtained here are applied to nonlinear integral and differential equations.
Introduction
In recent years, due to some ecological problems, much attention has been attached to the existence of signchanging solutions for nonlinear partial differential equations (see [1–3] and the references therein). We note that the proofs of main results in [1–3] depend upon critical point theory. In [4], the authors presented a variational approach to the eigenvalue problem for higher order equations with multipoint boundary conditions. Note that their variational methods were based on properties of the Fenchel conjugate. However, for more general nonlocal problems of ordinary differential equations and dynamic equations on time scales, it is very difficult to find the variational structure of the above problems. To overcome this difficulty, Sun and Cui [5] studied the existence of signchanging solution for nonlinear operator equations by using the cone theory and combining a uniformly positive condition. Subsequently, Li and Li [6] studied two signchanging solutions of a class of secondorder integral boundary value problems by computing the eigenvalues and the algebraic multiplicities of the corresponding linear problems. Rynne [7] used the global bifurcation theorem to obtain nodal solutions of multipoint boundary value problems, and the author considered the cases where the nonlinear term is asymptotically linear and superlinear. Furthermore, in [8], by using the modification function technique and the LeraySchauder degree method, some existence and multiplicity results for signchanging solutions of certain threepoint boundary value problems were obtained. A feature of this paper is that the authors gave clear descriptions of the location of the signchanging solutions. He et al. [9] discussed the existence of signchanging solutions for a class of discrete boundary value problems, and a concrete example was also given. Very recently, Dolbeault et al. [10] considered radial solutions of an elliptic equation involving the pLaplace operator and proved by a shooting method the existence of compactly supported solutions. Zhang and Xie [11] studied signchanging solutions for the following asymptotically linear threepoint boundary value problems:
where \(0<\alpha<1\), \(0<\eta<1\). They imposed the following assumptions on f:
 (\(\widetilde{\mathrm{A}}_{1}\)):

\(f: \mathbb{R}\rightarrow \mathbb{R}\) is a continuous and strictly increasing function, and \(f(0)=0\);
 (\(\widetilde{\mathrm{A}}_{2}\)):

\(\lim_{x\rightarrow \infty}\frac{f(x)}{x}=\beta_{\infty}\), where \(\lambda_{1}<\beta_{\infty}<\frac{8(1\alpha\eta)^{2}}{(1\alpha \eta^{2})^{2}}\), \(\beta_{\infty}\neq\lambda_{n}\), \(n=2,3,\ldots \) , and
$$\lambda_{1}< \lambda_{2}< \cdots< \lambda_{n}< \lambda_{n+1}< \cdots $$is the sequence of positive solutions for the equation \(\sin \sqrt{x}=\alpha\sin\eta\sqrt{x}\);
 (\(\widetilde{\mathrm{A}}_{3}\)):

\(\lim_{x\rightarrow 0}\frac{f(x)}{x}=\beta_{0} >\lambda_{1}\).
Theorem 1.1
(See [11])
Let α and η be given numbers with \(0<\alpha<1\), \(0<\eta <1\). Suppose that (\(\widetilde{\mathrm{A}}_{1}\))(\(\widetilde{\mathrm{A}}_{3}\)) hold. Then problem (1.1) has at least one signchanging solution. Moreover, problem (1.1) has at least two positive solutions and two negative solutions.
The main purpose of this paper is to abstract more general conditions from (\(\widetilde{\mathrm{A}}_{1}\))(\(\widetilde{\mathrm{A}}_{3}\)) of Theorem 1.1 and to obtain some existence theorems of signchanging solutions for asymptotically linear operator equations. Then, we apply the abstract results obtained in this paper to nonlinear integral equations and elliptic partial differential equations. A feature of this paper is that we weaken the condition (\(\widetilde{\mathrm{A}}_{2}\)) of Theorem 1.1 (see Example 4.1). Compared with main results in [12–15], we use a different method consisting of the computation of LeraySchauder degree for asymptotically linear operators and lower and upper solutions conditions. In addition, the compressive conditions of abstract operator can be removed.
For the discussion of the following sections, we state here preliminary definitions and known results on cones, partial orderings, and topological degree theory, which can be found in [16–18].
Let E be a real Banach space. Given a cone \(P\subset E\), we define a partial ordering ≤ with respect to P by \(x\leq y\) iff \(yx\in P\). A cone P is said to be normal if there exists a constant \(N>0\) such that \(\theta\leq x\leq y\) implies \(\x\\leq N\y\\), the smallest N is called the normal constant of P. P is reproducing if \(PP=E\), i.e., for every \(x\in E\), we have that \(x=yz\), where \(y\in P\), \(z\in P\) and total if \(\overline{PP}=E\). Let \(B: E\rightarrow E\) be a bounded linear operator. B is said to be positive if \(B(P)\subset P\). A fixed point u of operator A is said to be a signchanging fixed point if \(u\notin P\cup(P)\). If \(x_{0}\in E\backslash\{\theta\}\) satisfies \(\lambda Ax_{0}=x_{0}\), where λ is some real number, then λ is called a characteristic value of A, and \(x_{0}\) is called a characteristic function belonging to the characteristic value λ.
Definition 1.1
(See [19])
Let \(A: D\rightarrow E\) be an operator, \(e\in P\backslash\{\theta\}\), and \(x_{0}\in D\). If for any given \(\epsilon>0\), there exists \(\delta=\delta(\epsilon)>0\) such that
for all \(x\in D\) with \(\xx_{0}\<\delta\), then A is called econtinuous at \(x_{0}\). If A is econtinuous at each point \(x\in D\), then A is called econtinuous on D.
Main results
Theorem 2.1
Let P be a normal and total cone in E, \(A: E\rightarrow E\) be a completely continuous increasing operator, \(A\theta=\theta\), and econtinuous on E. Suppose that

(i)
there exist \(u_{1}\in(P)\backslash\{\theta\}\) and \(v_{1}\in P\backslash\{\theta\}\) such that \(u_{1}\leq Au_{1}\) and \(Av_{1}\leq v_{1}\);

(ii)
there exist \(u_{2}\in(P)\backslash\{\theta\}\), \(v_{2}\in P\backslash\{\theta\}\), and \(\delta>0\) such that \(u_{1}< u_{2}<\theta<v_{2}<v_{1}\), \(Au_{2}\leq u_{2}\delta e, v_{2}+\delta e\leq Av_{2}\);

(iii)
the Fréchet derivative \(A'_{\infty}\) at ∞ exists; \(A'_{\infty}\) is increasing; \(r(A'_{\infty})>1\); 1 is not a characteristic value of \(A'_{\infty}\).
Then A has at least five fixed points, two of which are positive, the two others are negative, and the fifth one is a signchanging fixed point.
Theorem 2.2
Let P be a normal and total cone in E, \(A=KF\), where \(F: E\rightarrow E\) is a continuous and bounded increasing operator, \(K: E\rightarrow E\) is a positive linear completely continuous operator and is also econtinuous on E. Suppose that

(i)
there exist \(u_{1}\in(P)\backslash\{\theta\}\) and \(v_{1}\in P\backslash\{\theta\}\) such that \(u_{1}\leq Au_{1}\) and \(Av_{1}\leq v_{1}\), and there exists \(\alpha>0\) such that \(u_{1}\leq\alpha e\) and \(\alpha e\leq v_{1}\);

(ii)
\(F(\theta)=\theta\), F is Fréchet differentiable at θ, and \(KF'_{\theta}\) has a characteristic value \(\lambda_{0}<1\) with a characteristic function ψ satisfying \(\mu_{1} e\leq\psi \leq \mu_{2} e\), where \(\mu_{1}>0\), \(\mu_{2}>0\).
Moreover, let condition (iii) of Theorem 2.1 hold. Then A has at least one signchanging fixed point, two positive fixed points, and two negative fixed points.
In order to prove Theorems 2.1 and 2.2, we need to establish the following lemmas. In this section, we suppose that \(B_{R}=\{x\in E \x\< R\}\).
Lemma 2.1
Let P be a normal and total cone in E and \(A: E\rightarrow E\) be a completely continuous increasing operator. Suppose that

(i)
there exist \(u, v\in E\) such that \(u\leq Au\), \(Av\leq v\);

(ii)
A is Fréchet differentiable at ∞; \(A'_{\infty}\) is increasing; \(r(A'_{\infty})>1\) and 1 is not a characteristic value of \(A'_{\infty}\).
Then there exists \(\overline{R}>0\) such that
for all \(R\geq\overline{R}\), where
Proof
We only prove that \(i(A,\widetilde{\Omega}_{1},S_{1})=0\), the proof of \(i(A,\widetilde{\Omega}_{2},S_{2})=0\) is similar.
Let \(\tilde{A}x=uA'_{\infty}(ux)\), \(x\in E\). By the compactness of \(A'_{\infty}\) ([16], Proposition 7.33, p.296), we can know that \(\tilde{A}x: E\rightarrow E\) is completely continuous. Since \(A'_{\infty}\) is increasing, we can find that Ã is also increasing, and \(\tilde{A}: S_{1}\rightarrow S_{1}\).
In the following, we show that
is not valid.
Take \(g_{n}=\frac{h_{n}}{\h_{n}\}\). Then
Since \(A'_{\infty}\) is completely continuous, we have that every subsequence \(A'_{\infty}g_{n_{k}}\) of \(A'_{\infty}g_{n}\) converges to \(g^{*}\). Obviously, \(g_{n} \rightarrow g^{*}\) (\(n\rightarrow \infty\)). Hence, \(A'_{\infty}g^{*}=g^{*}\), which is a contradiction with that 1 is not a characteristic value of \(A'_{\infty}\). It follows that \(\inf_{h\in P, \ h\=1}\hA'_{\infty}h\:=\alpha>0\). Therefore, we have
For each \(x\in S_{1}\), we have that \(ux\in P\). It follows from (2.2) and \(\tilde{A}u=u\) that
According to the definition of \(A'_{\infty}\), we obtain
Hence,
This implies that there exists \(\overline{R}>\u\\) such that, for all \(x\in S_{1}\) with \(\x\\geq\overline{R}\), we have
It is obvious that \(u\in\widetilde{\Omega}_{1}\). Therefore, \(\widetilde{\Omega}_{1}\) is a nonempty bounded open set of \(S_{1}\). For \((t,x)\in[0,1]\times \widetilde{\Omega}_{1}\). Let \(H(t,x)=tAx+(1t)\tilde{A}x\).
Now, we prove
If (2.5) is not valid, then there exist \(t_{0}\in[0,1]\) and \(x_{0}\in \partial\widetilde{\Omega}_{1}\) such that
This yields \(x_{0}\in S_{1}\) and \(\x_{0}\=R\geq R_{0}>\u\\). Furthermore, in virtue of (2.3) and (2.4), we obtain
This is a contradiction with (2.6), and so (2.5) holds. An application of (2.5) yields that A and Ã have no fixed point on \(\partial\widetilde{\Omega}_{1}\). Hence, the fixed point indices \(i(A,\widetilde{\Omega}_{1}, S_{1})\), \(i(\tilde{A}, \widetilde{\Omega}_{1}, S_{1})\) are well defined. It follows from the homotopy invariance of the fixed point index that
Notice that \(A'_{\infty}(P)\subset P\) and \(r(A'_{\infty})>1\). By the KreinRutman theorem [17], there exists \(\varphi^{*}\in P\backslash\{\theta\}\) such that
At last, we show
If otherwise, then there exist \(\mu_{0}\geq0\) and \(\overline{x}\in \partial\widetilde{\Omega}_{1}\) such that
Since Ã has no fixed point on \(\partial \widetilde{\Omega}_{1}\), we can find that \(\mu_{0} >0\). On account of \(\overline{x}\leq u\) and the increasing property of Ã, we arrive at \(\tilde{A}\overline{x}\leq\tilde{A}u=u\), which together with (2.9) implies that
Let
Then \(\mu^{*}\geq\mu_{0}>0\) and \(u\overline{x}\leq \mu^{*} \varphi^{*}\). Combined with (2.9) and the increasing property of \(A'_{\infty}\), we have
It follows from (2.9) and (2.10) that
i.e., \(u\overline{x}>(\mu^{*}+\mu_{0})\varphi^{*}\). This contradicts the definition of \(u^{*}\). According to the lack of direction property of the fixed point index [16], we have \(i(\tilde{A},\widetilde{\Omega}_{1}, S_{1})=0\). By (2.7), we get \(i(A,\widetilde{\Omega}_{1}, S_{1})=0\). □
Lemma 2.2
Suppose that \(A: E\rightarrow E\) is a completely continuous and asymptotically linear operator. If 1 is not a characteristic value of the linear operator \(A'_{\infty}\), then there exists \(R_{0}>0\) such that
for all \(R\geq R_{0}\), where γ is the sum of the algebraic multiplicities of the real characteristic value of \(A'_{\infty}\) in \((0,1)\).
Proof of Theorem 2.1
By conditions (i) and (ii), we have
Let
From Lemma 2.1, there exists \(R_{1}>0\) such that
for all \(R\geq R_{1}\), where \(\overline{\Omega}_{i}=\{x\in W_{i} \x\< R\}\), \(i=1,2,3,4\).
According to Lemma 2.2, there exists \(R_{2}>0\) such that
for all \(R\geq R_{2}\), where γ is the sum of algebraic multiplicities for all characteristic values of \(A'_{\infty}\) in \((0,1)\).
It follows from the definition of fixed point index [16], (2.3.4), p.84 and (2.13) that
where \(r: E\rightarrow E\) is an identity operator, and \(B_{R}\subset B_{\overline{R}}=\{x\in E \x\<\overline{R}\}\).
Choose \(R_{3}\) such that
Let
It follows from (2.12), (2.15) and Lemma 2.1 that
Let
Since \(u_{2}\in\Sigma_{1}\), \(v_{2}\in\Sigma_{2}\), we have \(\Sigma_{1}\neq \emptyset\), \(\Sigma_{2}\neq\emptyset\). According to the econtinuity of A in E, we can know that \(\Sigma_{1}\) is a nonempty open subset of \([u_{1},u_{2}]\), and \(\Sigma_{2}\) is a nonempty open subset of \([v_{2},v_{1}]\) (see the proof of Theorem 2.1 in [8]). By the homotopy invariance and normalization of the fixed point index, we have
Similarly, we have
Equations (2.17) and (2.18) imply that A has at least one negative fixed point \(x_{1}\in\Sigma_{1}\) and one positive fixed point \(x_{2}\in \Sigma_{2}\).
By the permanence property of the fixed point index, we obtain
Similarly, we have
It follows from (2.16), (2.19) and the additivity property of the fixed point index that
Similarly, we have
Therefore, A has at least one negative fixed point \(x_{3}\in \Omega_{1}\backslash\overline{\Sigma}_{1}\) and one positive fixed point \(x_{4}\in\Omega_{2}\backslash\overline{\Sigma}_{2}\).
Moreover, according to (2.16) and the permanence property of the fixed point index, we have
It follows from (2.14), (2.21) and the additivity property of the fixed point index that we have
Equation (2.22) implies that A has at least one fixed point \(x_{5}\in (B_{R_{3}}\backslash\overline{\Omega_{3}\cup\Omega_{4}})\subset (E\backslash(P\cup(P)))\), and \(x_{5}\) is a signchanging fixed point. □
Proof of Theorem 2.2
It suffices to verify condition (ii) of Theorem 2.1 is satisfied. According to the chain rule for derivatives of composite operator [17], Proposition 4.10, we have \(A'_{\theta}=KF'_{\theta}\).
By condition (i) and Lemma 2.4 in [19], we know that there exists \(\beta>0\) such that \(t \psi+\delta e\leq A(t \psi), A(t \psi)\leq t \psi\delta e\) for all \(t\in(0,\beta)\), where \(\delta=\frac{t(\lambda_{0}^{1}1)\mu_{1}}{2}>0\).
Let \(\overline{\beta}=\min\{\beta,\frac{\alpha}{2\mu_{2}}\}\), for all \(t\in(0,\overline{\beta})\), we have
and
Hence, for \(u_{2}=t \psi\) and \(v_{2}=t \psi\) with \(t\in (0,\overline{\beta})\), condition (ii) of Theorem 2.1 is satisfied. The proof is completed. □
Applications
The main purpose of this section is to apply our theorems to both integral and differential equations. Firstly, we consider the following integral equation:
where G is a bounded closed domain of \(\mathbb{R}^{N}\), \(k: G\times G\rightarrow \mathbb{R}^{1}\) is nonnegative continuous, and \(k\not\equiv0\) on \(G\times G\), and \(f:G\times \mathbb{R}^{1}\rightarrow \mathbb{R}^{1}\) is continuous.
Let \(E=C(G)\) denote the space consisting of all continuous functions on G. Then E is a real Banach space with the norm \(\\varphi\=\max_{x\in G} \varphi(x)\) for all \(\varphi\in E\). And let \(P=\{\varphi\in E: \varphi(x)\geq0, x\in G\}\). Then P is a normal and total cone in E. Let \(e(x)=\int_{G} k(x,y)\, dy\), \(x\in G\). Then \(e>0\).
Define operators \(F, K, A: E\rightarrow E\) respectively by
and \(A=KF\). Obviously, \(F: E\rightarrow E\) is a continuous and bounded operator. Since \(k: G\times G\rightarrow \mathbb{R}^{1}\) is nonnegative continuous, we know that \(K: E\rightarrow E\) is a linear completely continuous operator and \(K(P)\subset P\). Therefore, A is also completely continuous on E. By the RieszSchauder theorem, we can suppose that the sequence of all positive characteristic values of K is \(\{\lambda_{n}\}\) and
For convenience, we list some assumptions as follows.
 (C_{1}):

\(f(\cdot,0)=0\) on G, and for every \(x\in G\), \(f(x,\varphi)\) is nondecreasing in φ;
 (C_{2}):

there exists h with \(\mu e\leq h\), where μ is a positive number such that
$$k(x,y)\geq h(x)k(z,y), \quad x, y, z\in G; $$  (C_{3}):

\(\lim_{\varphi\rightarrow 0}\frac{f(x,\varphi)}{\varphi}=f_{0}\) uniformly for \(x\in G\), and \(f_{0}>\lambda_{1}\);
 (C_{4}):

\(\lim_{\varphi\rightarrow\infty}\frac{f(x,\varphi )}{\varphi}=f_{\infty}\) uniformly for \(x\in G\), \(f_{\infty}>\lambda_{1}\), \(f_{\infty}\neq \lambda_{k}\), \(k= 2, 3, \ldots \) ;
 (C_{5}):

for every \(x\in G\), there exist \(M, N>0\) such that
$$\frac{f(x,M)}{M}< \frac{1}{\e\} \quad \mbox{and}\quad \frac{f(x,N)}{N}< \frac{1}{\e\}. $$
Lemma 3.1
(See [19])
Operators \(K, A: E\rightarrow E\) are econtinuous on E.
Lemma 3.2
(See [19])
Suppose that \(f(\cdot,0)=0\) on G, and \(\lim_{\varphi\rightarrow 0}\frac{f(x,\varphi)}{\varphi}=f_{0}\) uniformly for \(x\in G\). Then A is Fréchet differentiable at θ, and \(A'_{\theta}=f_{0} K\).
Lemma 3.3
Suppose that \(\lim_{\varphi\rightarrow\infty}\frac{f(x,\varphi )}{\varphi}=f_{\infty}\) uniformly for \(x\in G\). Then A is asymptotically linear, and \(A'_{\infty}=f_{\infty}K\).
Proof
Since \(\lim_{\varphi\rightarrow\infty}\frac{f(x,\varphi )}{\varphi}=f_{\infty}\) uniformly for \(x\in G\), we have that for every given \(\epsilon>0\), there exists \(R>0\) such that
Set \(M=\sup_{x\in G, \varphi\leq R}f(x,\varphi)f_{\infty}\varphi\), which together with (3.2) implies
Thus
Therefore
This implies that A is asymptotically linear, and \(A'_{\infty}=f_{\infty}K\). □
Theorem 3.1
Suppose that (C_{1})(C_{5}) are satisfied. Then the integral equation (3.1) has at least five nontrivial solutions, two of which are positive, the two others are negative, the fifth one is signchanging.
Proof
By (C_{5}), we know that condition (i) of Theorem 2.2 holds. We only need to check condition (ii) of Theorem 2.2 and condition (iii) of Theorem 2.1.
By (C_{3}) and Lemma 3.2, we have that \(A'_{\theta}=f_{0} K\), and the characteristic values of the operator \(f_{0} K\) are \(\frac{\lambda_{1}}{f_{0}}, \frac{\lambda_{2}}{f_{0}}, \ldots \) . Since \(f_{0} >\lambda_{1}\), we know that \(A'_{\theta}\) has a characteristic value \(\frac{\lambda_{1}}{f_{0}}<1\). Moreover, from the proof of Theorem 4.1 in [19], we deduce that the characteristic function corresponding to the characteristic value \(\frac{\lambda_{1}}{f_{0}}\) satisfies \(\mu_{1} e\leq\psi\leq\mu_{2} e\), where \(\mu_{1}>0\) and \(\mu_{2}>0\). This implies that condition (ii) of Theorem 2.2 holds.
According to (C_{4}) and Lemma 3.3, we know that \(A'_{\infty}=f_{\infty}K\), \(r(A'_{\infty})=f_{\infty}r(K)=f_{\infty}\frac{1}{\lambda_{1}} >1\), and the characteristic values of the operator \(f_{\infty}K\) are \(\frac{\lambda_{1}}{f_{\infty}}, \frac{\lambda_{2}}{f_{\infty}}, \ldots \) . Noting that \(f_{\infty}\neq\lambda_{k}\), \(k\neq2, 3, \ldots \) , we get that 1 is not a characteristic value of \(A'_{\infty}\). Hence, condition (iii) of Theorem 2.1 holds. The proof is completed. □
Remark 3.1
From the proof of Theorem 11 of [14] and Theorem 4.2 of [19], we know that condition (C_{1}) can be replaced by the following one: \(f(\cdot,0)=0\) on G, and \(f(\cdot,\varphi)\varphi\geq0\) for all \(\varphi\in \mathbb{R}\). For nonlinear term f, the sublinear and superlinear cases were considered in [20].
Now, we consider the following boundary value problem for elliptic partial differential equations:
where Ω is a bounded open domain in \(\mathbb{R}^{n}\), \(\partial \Omega\in C^{2+\mu}\), \(0<\mu<1\); \(f(x,\varphi): \overline{\Omega}\times\mathbb{R}^{1}\rightarrow \mathbb{R}^{1}\) is continuous;
is a uniformly elliptic operator, i.e., \(a_{ij} (x)=a_{ji} (x), b_{i} (x), c(x)\in C^{\mu}(\overline{\Omega})\), \(c(x)>0\), and there exists a constant number \(\mu_{0}>0\) such that \(\sum_{i,j=1}^{n}a_{ij} (x)\xi_{i} \xi_{j}\geq\mu_{0} \xi^{2}\) for all \(x\in\overline{\Omega}\), \(\xi=(\xi_{1}, \xi_{2}, \ldots, \xi _{n})\in \mathbb{R}^{n}\),
is a boundary operator, where \(\beta=(\beta_{1}, \beta_{2},\ldots, \beta_{n})\) is a vector field on ∂Ω of \(C^{1+\mu}\) satisfying \(\beta\cdot\mathbf{n}>0\) (n denotes the outer unit normal vector on ∂Ω), \(b(x)\in C^{1+\mu}(\partial\Omega)\), and assume that one of the following cases holds:

(i)
\(\delta=0\) and \(b(x)\equiv1\);

(ii)
\(\delta=1\) and \(b(x)\equiv0\);

(iii)
\(\delta=1\) and \(b(x)>0\).
According to the theory of elliptic partial differential equations (see [21, 22]), we know that for each \(u\in C(\overline{\Omega})\), the linear boundary value problem
has a unique solution \(\varphi_{u} \in C^{2} (\overline{\Omega})\). Define the operator K by
Then \(K: C(\overline{\Omega})\rightarrow C^{2} (\overline{\Omega})\) is a linear completely continuous operator and has an unbounded sequence of characteristic values
and the spectral radius \(r(K)=\lambda_{1}^{1}\).
Let
Then E is an ordered Banach space with the norm \(\\varphi\=\sup_{x\in \overline{\Omega}}\varphi(x)\), and P is a normal cone in E with \(K(P)\subset P\).
For \(\varphi\in E\), define Nemytskii operator by
Clearly, \(F: E\rightarrow E\) is continuous. Let \(A=KF\). Then \(A: E\rightarrow E\) is completely continuous.
We list some assumptions which will be used in the following theorem.
 (D_{1}):

\(\lim_{\varphi\rightarrow \infty}\frac{f(x,\varphi)}{\varphi}=f_{\infty}\) uniformly for \(x\in \overline{\Omega}\);
 (D_{2}):

\(f(x,0)\equiv0\), \(\lim_{\varphi\rightarrow 0}\frac{f(x,\varphi)}{\varphi}=f_{0}\) uniformly for \(x\in \overline{\Omega}\).
Let \(e=e(x)\) be the solution of the following boundary value problem:
It is easy to check that A is econtinuous on E.
Our main result is the following.
Theorem 3.2
Suppose that f satisfies (D_{1}) and (D_{2}). In addition, assume that

(i)
\(f(x,\varphi)\) is increasing in φ;

(ii)
\(f_{0} >\lambda_{1}\);

(iii)
\(f_{\infty}>\lambda_{1}\), \(f_{\infty}\neq\lambda_{k}\), \(k= 2, 3, \ldots \) ;

(iv)
for every \(x\in\overline{\Omega}\), there exist \(M, N>0\) such that
$$\frac{f(x,M)}{M}< \frac{1}{\e\} \quad \textit{and} \quad \frac{f(x,N)}{N}< \frac{1}{\e\}. $$
Then problem (3.3) has at least two positive solutions, two negative solutions, and one signchanging solution.
Proof
Since the characteristic values of the operator \(A'_{\theta}\) are \(\frac{\lambda_{1}}{f_{0}}, \frac{\lambda_{2}}{f_{0}},\ldots \) , it follows from condition (ii) that \(A'_{\theta}\) has a characteristic value \(\frac{\lambda_{1}}{f_{0}}<1\). Moreover, by condition (iii), we have
Since the characteristic values of the operator \(A'_{\infty}\) are \(\frac{\lambda_{1}}{f_{\infty}}, \frac{\lambda_{2}}{f_{\infty}}, \ldots \) , noting that \(f_{\infty}\neq\lambda_{k}\), \(k=2,3,\ldots \) , we know that 1 is not a characteristic value of \(A'_{\infty}\). Therefore, all conditions of Theorem 2.2 are satisfied. The proof is completed. □
An example
In the section, we present an example to explain our results.
Example 4.1
Consider the following second order threepoint boundary value problem:
where
By direct calculation [23], we can obtain that \(\lambda_{1} =6.9497\) is a solution of the following equation:
Note that
Thus, the conditions of Theorem 1.1 and Theorem 13 of [23] are not satisfied. Therefore, the main results of [11, 23] cannot be applied to Example 4.1. However, it is easy to see that
The assumption (C_{5}) of Theorem 3.1 is satisfied, therefore, problem (4.1) has at least five nontrivial solutions, two of which are positive, the two others are negative, the fifth one is signchanging.
Remark 4.1
Compared with Theorem 1.1, Theorem 13 of [23] and Theorem 2.1 of [24], the main contributions in this paper are that we change the range of \(\beta_{0}\) in (\(\widetilde{\mathrm{A}}_{3}\)) and \(\beta_{\infty}\) in (\(\widetilde{\mathrm{A}}_{2}\)) and add the numbers of positive solutions and negative solutions. Furthermore, for the lower and upper solutions conditions, we adopt condition (C_{5}) which is more easy to check than (H_{3}) in Theorem 2.1 of [24].
Conclusions
The conclusion of Theorem 3.1 generalizes the main results of [11]. In this paper, by employing the computation of the fixed point index for asymptotically linear operators, the existence of positive solutions, negative solutions, and signchanging solutions for asymptotically linear operator equations are established. In the future, we will consider the case that
by critical point theory.
References
 1.
Dancer, EN, Du, YH: Existence of signchanging solutions for some semilinear problems with jumping nonlinearities at zero. Proc. R. Soc. Edinb., Sect. A 124, 11651176 (1994)
 2.
Motreanu, D, Tanaka, M: Signchanging and constantsign solutions for pLaplacian problems with jumping nonlinearities. J. Differ. Equ. 249, 33523376 (2010)
 3.
Zou, WM: SignChanging Critical Point Theory. Springer, New York (2008)
 4.
O’Regan, D, Orpel, A: A variational approach to the eigenvalue problem for higher order BVPs with singular nonlinearities. Appl. Math. Comput. 218, 1006310071 (2012)
 5.
Sun, JX, Cui, YJ: Multiple solutions for nonlinear operators and application. Nonlinear Anal. TMA 66, 19992015 (2007)
 6.
Li, YH, Li, FY: Signchanging solutions to secondorder integral boundary value problems. Nonlinear Anal. TMA 69, 11791187 (2008)
 7.
Rynne, BP: Spectral properties and nodal solutions for secondorder, mpoint, boundary value problems. Nonlinear Anal. TMA 67, 33183327 (2007)
 8.
Xu, X, O’Regan, D, Zhang, R: Existence and location results for signchanging solutions for threepoint boundary value problems using LeraySchauder degree. Monatshefte Math. 158, 413439 (2009)
 9.
He, T, Yang, W, Yang, F: Signchanging solutions for discrete secondorder threepoint boundary value problems. Discrete Dyn. Nat. Soc. 2010, Article ID 705387 (2010)
 10.
Dolbeault, J, GarciaHuidobro, M, Manasevich, R: Qualitative properties and existence of sign changing solutions with compact support for an equation with a pLaplace operator. Adv. Nonlinear Stud. 13, 149178 (2013)
 11.
Zhang, KM, Xie, XJ: Existence of signchanging solutions for some asymptotically linear threepoint boundary value problems. Nonlinear Anal. TMA 70, 27962805 (2009)
 12.
Xu, X: Multiple signchanging solutions for some mpoint boundaryvalue problems. Electron. J. Differ. Equ. 2004, 89 (2004)
 13.
Zhang, XQ, Sun, JX: On multiple signchanging solutions for some secondorder integral boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 44 (2010)
 14.
Sang, YB: Signchanging solutions for nonlinear operator equations. J. Oper. 2014, Article ID 379056 (2014)
 15.
Yang, J: Signchanging solutions to discrete fourthorder Neumann boundary value problems. Adv. Differ. Equ. 2013, 10 (2013)
 16.
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, London (1988)
 17.
Zeidler, E: Nonlinear Functional Analysis and Its Applications  I: FixedPoint Theorems. Springer, New York (1986)
 18.
Krasnosel’skiĭ, MA, Zabreĭko, PP: Geometrical Methods of Nonlinear Analysis. Springer, Berlin (1984)
 19.
Li, FY, Liang, ZP, Zhang, Q, Li, YH: On signchanging solutions for nonlinear operator equations. J. Math. Anal. Appl. 327, 10101028 (2007)
 20.
Webb, JRL: A class of positive linear operators and applications to nonlinear boundary value problems. Topol. Methods Nonlinear Anal. 39, 221242 (2012)
 21.
Amann, H: On the number of solutions of nonlinear equations in ordered Banach spaces. J. Funct. Anal. 11, 346384 (1972)
 22.
Amann, H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev. 18, 620709 (1976)
 23.
Li, H: Existence of nontrivial solutions for unilaterally asymptotically linear threepoint boundary value problems. Abstr. Appl. Anal. 2014, Article ID 263042 (2014)
 24.
Xu, X, Sun, J: On signchanging solution for some threepoint boundary value problems. Nonlinear Anal. TMA 59, 491505 (2004)
Acknowledgements
The authors thank the editors and the referees for their valuable comments and suggestions which improved greatly the quality of this paper. This project is supported by the Scientific Research Foundation of North University of China.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 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.
About this article
Received
Accepted
Published
DOI
MSC
 47H07
 47H10
 34B10
 34B15
 34B18
Keywords
 signchanging solutions
 asymptotically linear operators
 topological degree
 fixed point index