Abstract
We establish the existence, nonexistence, and multiplicity of positive solutions to semilinear elliptic systems with integral boundary conditions when positive multiparameters vary on the boundary. We prove the results by using sub- and supersolution argument and fixed point index theory.
Similar content being viewed by others
1 Introduction
In this paper, we study the existence of multiple positive radial solutions to the following nonlocal boundary value system with boundary parameters on an exterior domain:
where \(\Omega_{e}=\{ x\in (-\infty, \infty)^{N} : |x| \geq r_{0} \text{ for } r_{0} >0, N\geq 3 \}\), λ and μ are positive parameters, \(K_{i} \in C((r_{0}, \infty), (0, \infty))\) is such that \(\int^{\infty }_{r_{0}} r^{\nu }K_{i}(r)\,dr < \infty \) for some \(\nu >1\), \(f_{i} \in C([0, \infty)^{2} ,[0, \infty))\), and \(l_{i} \in L^{1}( (r_{0}, \infty))\) are nonnegative functions satisfying \(0< w_{N} r_{0}^{N-2}\int_{r_{0}}^{\infty } r l_{i}(r)\,dr< 1\) for \(i=1,2\), where \(w_{N}\) is the surface area of the unit sphere in \((-\infty, \infty)^{N}\).
Differential equations with integral boundary conditions arise in various areas of applied mathematics and physics like heat conduction, chemical engineering, underground water flow, and thermo-elasticity and plasma phenomena. For integral boundary value problems, we refer to [1, 5, 6, 8, 10–13], and the references therein.
Note that the change of variables \(r=|x|\) and \(t =(\frac{r}{r_{0}})^{2-N}\) transforms (1) into
with
where \(a_{i} \in C((0,1),[0,\infty))\) are such that \(\int_{0}^{1} s ^{\alpha }(1-s)^{\beta }a_{i}(s)\,ds <\infty \) for some \(\alpha, \beta \in (0,1)\), and nonnegative functions \(g_{i} \in L^{1}(0,1)\) are such that \(0<\int_{0}^{1} sg_{i}(s)\,ds < 1\) for \(i=1,2\). We further assume that there exists a closed interval \(J \subset (0,1)\) of positive measure such that \(a_{i}(t) >0\) for all \(t \in J\) and \(i=1,2\). Note that the existence of positive solutions of system (2) guarantees the existence of positive radial solutions of (1). Hence, to investigate solutions of (1), we focus on system (2).
Such second-order ordinary differential systems with the coupled integral boundary conditions were considered in [2, 3], and [4]. Most of those results are about the existence of a solution obtained mainly by using the fixed point theorem, the mixed monotone method, and the monotone iterative method. In [4], the authors investigated the existence and uniqueness of positive solutions by using the a priori estimate method and the maximum principle. To the best of our knowledge, the multiplicity of solutions of differential systems with coupled integral boundary conditions has not been treated. In this paper, we study the existence, nonexistence, and multiplicity of positive solutions to a nonlocal boundary value system with integral boundary conditions when two positive multiparameters vary on the boundary. We establish our results by sub- and supersolution arguments and fixed point index theory.
In this paper, we assume the following hypotheses on \(f_{i}\) for \(i=1,2\).
-
(H)
\(f_{i}:[0,\infty)\times [0,\infty) \rightarrow [0, \infty)\) is continuous and increasing in \([0,\infty)\times [0, \infty)\) for \(i=1,2\).
-
(H1)
\(f_{i,0} :=\lim_{\|(u,v)\|\rightarrow 0} \frac{f_{i}(u,v)}{u+v} =0\) for \(i=1,2\).
-
(H2)
\(f_{i,\infty }:=\lim_{\|(u,v)\|\rightarrow \infty } \frac{f_{i}(u,v)}{u+v} =\infty\) for \(i=1,2\).
Here \(\|(u,v) \|=\|u\|_{\infty }+\|v\|_{\infty }\). Now we state our main result.
Theorem 1.1
There exists a continuous curve Γ separating \([0,\infty)\times [0,\infty) \setminus \{(0,0)\}\) into two disjoint sets \(\Theta_{1}\) and \(\Theta_{2}\), and there exists a subset \(\Theta \subset \Theta_{1}\) such that (2) has at least two positive solutions for \((\lambda, \mu) \in \Theta \), at least one positive solution for \((\lambda, \mu) \in (\Theta_{1} \setminus \Theta) \cup \Gamma \), and no positive solution when \((\lambda, \mu) \in \Theta_{2}\). (See Figure 1.)
The structure of \(f_{1}\) and \(f_{2}\) near \((0,0)\) and near ∞, that is, conditions (H1) and (H2), plays an important role in the construction of sub- and supersolutions when the parameters λ and μ vary. Hence system (2) in which two parameters λ and μ involved with only the boundary data is difficult for construction of sub- and supersolutions at the certain value of \((\lambda, \mu)\). To overcome this issue, we manipulate (2) in such a way that the two parameters λ and μ are related with \(f_{1}\) and \(f_{2}\) (see (4) in Sect. 2). Here we also emphasize that we consider the case where system (2) satisfies the condition \(f_{i}(0,0)=0\) for \(i=1,2\) and the boundary condition \(u(0)=0=v(0)\) at the same time. This is a challenging case since these conditions do not allow us to construct a proper open set, which is very crucial for applying the fixed point index theory. Hence we perturb the boundary values of the manipulated system (4) so that the fixed point index argument works well (see (5) in Sect. 2).
The paper is organized as follows. In the next section, we present a system equivalent to (2) and introduce the sub- and supersolution theorem and fixed point index. Section 3 is devoted to the proof of the main result, Theorem 1.1. In Appendix, we prove the sub- and supersolution theorem for (2).
2 Preliminaries
Let \(p_{\lambda, \mu }\) and \(q_{\lambda, \mu }\) be the solutions, respectively, of the following problems:
and
It is easy to see that
where \(\sigma_{1}= \int_{0}^{1} sg_{1}(s)\,ds\) and \(\sigma_{2}= \int _{0}^{1} sg_{2}(s)\,ds\). We denote
where \(\rho =\frac{1}{1-\sigma_{1}\sigma_{2}}\), \(\rho_{1}= \frac{\sigma _{1}}{1-\sigma_{1}\sigma_{2}}\), and \(\rho_{2}=\frac{\sigma_{2}}{1- \sigma_{1}\sigma_{2}}\). Note that ρ, \(\rho_{1}\), and \(\rho_{2}\) are positive constants.
Now if \((w_{1},w_{2})\) is a solution of the system
then \((w_{1}+p_{\lambda, \mu },w_{2}+q_{\lambda, \mu })\) is a solution of (2) since
and, similarly, \(w_{2}+q_{\lambda, \mu }\) satisfies (2). Hence, instead of studying system (2), we consider system (4) to get the existence and multiplicity of positive solutions of (2). However, for system (4) satisfying the conditions \(f_{i}(0,0)=0\) and \(w_{i}(0)=0\), \(i=1,2\), there is an obstacle in using a fixed point index argument. To solve this issue, we employ the perturbed boundary condition.
For a while, let us consider the following problem with more general boundary conditions for \(0 \leq \delta <\tilde{\delta }\) for sufficiently small δ̃ (δ̃ will be chosen in Lemma 3.3):
We set up an operator equation for problem (5). We define
where
and
Then \((v_{1}(t),v_{2}(t))=(A_{\lambda,\mu,\delta }(w_{1},w_{2})(t), B_{\lambda,\mu,\delta }(w_{1},w_{2})(t))\) is a solution of
Now we define
Let us denote \(X:= C([0,1], (-\infty, \infty))\times C([0,1], (- \infty, \infty))\). Then \(T_{\lambda, \mu,\delta } : X \rightarrow X\) is well defined on X, where X is the usual Banach space with the norm \(\|(u,v) \|=\|u\|_{\infty }+\|v\|_{\infty }\). Notice that problem (5) is equivalent to
Let \(\mathcal{P}=\{ (u,v) \in X : u(t)\geq 0, v(t)\geq 0 \text{ for all } t \in [0,1] \}\). Then \(\mathcal{P}\) is a cone in X. It is clear that \(T_{\lambda, \mu,\delta }(\mathcal{P}) \subset \mathcal{P}\) and \(T_{\lambda, \mu,\delta }\) is completely continuous on X by a standard argument.
Now, we introduce a theorem on sub- and supersolutions to system (5). First, we state the following definition of subsolution and supersolution of system (5).
Definition 2.1
We say that \((\psi_{1} , \psi_{2} )\) is a subsolution of problem (5) if \((\psi_{1} , \psi_{2} )\in C^{2} (0,1) \times C^{2} (0,1) \) satisfies
We also say that \((\zeta_{1} , \zeta_{2} )\) is a supersolution of problem (5) if \((\zeta_{1} , \zeta_{2} ) \in C^{2} (0,1) \times C^{2} (0,1) \) satisfies the reverse inequalities.
Theorem 2.1
Assume that there exist a subsolution \((\psi_{1} , \psi_{2} )\) and a supersolution \((\zeta_{1} , \zeta_{2} )\) of problem (5) such that \((\psi_{1} (t), \psi_{2} (t)) \leq (\zeta _{1} (t), \zeta_{2} (t))\) for all \(t \in [0,1]\). Then (5) has at least one solution \((u,v)\) such that
Proof
See Appendix. □
To show the existence of a second positive solution of (4), we need the following lemmas for the fixed point index argument in [7].
Lemma 2.1
Let X be a Banach space, let P be cone in X, and let Ω be a bounded open set in X. Let \(0 \in \Omega \), and let \(T: P \cap \bar{\Omega } \rightarrow P\) be condensing. Suppose that \(Tx \neq \nu x\) for all \(x \in P \cap \partial \Omega \) and all \(\nu \geq 1\). Then
Lemma 2.2
Let X be a Banach space, and let P be a cone in X. For \(r>0\), define \(P_{r} = \{x \in P : \|x\|< r\}\). Assume that \(T: \bar{P_{r}} \rightarrow P\) is a compact map such that \(Tx \neq x\) for all \(x \in \partial P_{r}\). If \(\|x\| \leq \|Tx\|\) for all \(x \in \partial P_{r}\), then
3 Existence of multiple positive solutions
We recall that \(J =[j_{*} , j^{*}]\subset (0,1)\) is a closed interval of positive measure such that \(a_{i}(t) >0\) for all \(t \in J\) and \(i=1,2\). Let \(\gamma =\min \{ j_{*},1-j^{*}\}>0\). Define the cone
Then we have the following:
Lemma 3.1
For a given cone \(\mathcal{P} \) in X, we have
Proof
For any \((w_{1},w_{2}) \in \mathcal{P}\), we first find
for all \(t \in [0,1]\). Thus we obtain
where
and
Similarly, we have
Then by (9) we find that, for all \(t \in J\),
By the same argument, using (10), we also have that \(B_{\lambda, \mu,\delta }(w_{1},w_{2})(t)\geq \gamma \|B_{\lambda, \mu }(w_{1},w_{2})\|_{\infty }\) for all \(t \in J\). □
As a consequence of the lemma, note that if \((w_{1},w_{2})\) is a solution of (5), then by (7) we have
Lemma 3.2
Assume (H). If (5) has a positive solution at \(( \bar{\lambda },\bar{\mu })\), then (5) also has a positive solution at \((\lambda, \mu)\) for all \((\lambda, \mu) \leq ( \bar{ \lambda },\bar{\mu })\).
Proof
Let \((\bar{w}_{1},\bar{w}_{2})\) be a positive solution of (5) at \((\bar{\lambda },\bar{\mu })\), and let \((\lambda, \mu) \in [0, \infty)^{2} \setminus \{(0,0)\}\) with \((\lambda, \mu)\leq (\bar{\lambda },\bar{\mu })\). Then \((\bar{w}_{1},\bar{w} _{2})\) is a supersolution of (5) at \((\lambda, \mu)\) since \(p_{\lambda,\mu } (t) \leq p_{\bar{\lambda },\bar{\mu }}(t)\) and \(q_{\lambda,\mu } (t) \leq q_{\bar{\lambda },\bar{\mu }}(t)\) for \(t \in (0,1)\) and \(f_{i}\) is increasing for each \(i=1,2\). Clearly, \((0,0)\) is a subsolution of (5). Notice that \((0,0)\) is not a solution of (5) since \(f_{i}(p_{\lambda,\mu }(t),q_{\lambda,\mu }(t)) >0 \) for \(t \in (0,1)\) and \(i=1,2\). Since \((\bar{w}_{1}, \bar{w}_{2})\neq(0,0)\) and \((\bar{w}_{1},\bar{w}_{2})\geq (0,0)\), by Theorem 2.1, (5) has a positive solution at \((\lambda, \mu)\). □
Lemma 3.3
Assume (H) and (H1). Then there exists \(( \tilde{\lambda },\tilde{\mu })>(0,0)\) such that (5) has a positive solution for all \((\lambda, \mu) \leq (\tilde{\lambda }, \tilde{\mu })\).
Proof
Let \((\psi_{1},\psi_{2})\) be the unique solution of the following system:
We recall that \(p_{\lambda, \mu }(t)= (\rho \lambda +\rho_{1}\mu)t\) and \(q_{\lambda, \mu }(t)=(\rho_{2}\lambda +\rho \mu)t\) and denote \(\phi_{1}(t)= 1+(\rho \nu_{1}+ \rho_{1}\nu_{2})t\) and \(\phi_{2}(t)= 1+( \rho \nu_{2}+ \rho_{2}\nu_{1})t\). Then let \(\alpha = \|\psi_{1}\|_{ \infty }+\|\psi_{2}\|_{\infty }+\rho +\rho_{1}+\rho_{2} +\rho \nu_{2} +\rho_{2}\nu_{1}+\rho \nu_{1}+\rho_{1}\nu_{2} +2\). By (H1) there exist \(\tilde{\lambda }\approx 0\), \(\tilde{\mu }\approx 0\), and \(\tilde{\delta }\approx 0\), sufficiently small, such that
Now we define \(Z_{1}(t)=(\tilde{\lambda }+\tilde{\mu }+ \tilde{\delta })\psi_{1}+\tilde{ \delta }\phi_{1}(t)\) and \(Z_{2}(t)=( \tilde{\lambda }+\tilde{\mu }+\tilde{\delta })\psi_{2} + \tilde{\delta }\phi_{2}(t)\). Then, from (H) and (12) we have \(Z_{1}(0)=\tilde{\delta }\),
and
Similarly, we can show that \(Z_{2}\) satisfies the same inequalities. This shows that \((Z_{1},Z_{2})\) is a supersolution of (5) at \((\tilde{\lambda },\tilde{\mu })\). On the other hand, \((0,0)\) is a strict subsolution such that \((0,0)\leq (Z_{1},Z_{2})\) in \([0,1]\). Hence, by Theorem 2.1, (5) has a positive solution at \((\tilde{\lambda },\tilde{\mu })\), and then Lemma 3.2 completes the proof. □
Lemma 3.4
Assume (H2). There exists \(M>0\) such that \(\|(w_{1},w_{2}) \|\leq M\) for all possible solutions \((w_{1},w_{2})\) of (5).
Proof
As \((w_{1},w_{2})\) is a solution of (5), we find
Hence we obtain
which implies that
If \(\|w_{1}\|_{\infty }\rightarrow \infty \), then (13) contradict to (H2). Similarly, we can show that \(\|w_{2}\|_{\infty }\) is bounded. □
Define \(\mathcal{S}=\{(\lambda, \mu)\in [0,\infty)^{2} \setminus \{(0,0)\} : ( \text{5) has a positive solution at } (\lambda, \mu) \}\). Then \(\mathcal{S}\neq\emptyset \) by Lemma 3.3.
Lemma 3.5
Assume (H) and (H2). Then \((\mathcal{S}, \leq)\) is bounded above.
Proof
We claim that there exist \(\bar{ \lambda },\bar{\mu }>0\) such that (5) has no solution for \(\lambda > \bar{\lambda }\) or \(\mu > \bar{ \mu }\). Suppose on the contrary that there exists a sequence \((\lambda_{n},\mu_{n})\) such that either \(\lambda_{n} \rightarrow \infty \) or \(\mu_{n} \rightarrow \infty \) and (5) has a positive solution \((w_{1n},w_{2n})\) at \(\lambda =\lambda_{n}\) and \(\mu =\mu_{n}\). Without loss of generality, we assume that \(\lambda _{n} \rightarrow \infty \). First, we observe from (H2) that there exists \(R_{f_{2}} \) sufficiently large such that
Now we choose \(\lambda_{n}\) sufficiently large such that
Then, for such \(\lambda_{n}\), from (14) it follows that
Since \(w_{1n}\) is a solution of (5), using (3), (11), and (15), we have
which implies that \(\|w_{1n}\|_{\infty }\rightarrow \infty \), a contradiction to Lemma 3.4. Hence, we conclude that there exist \(\bar{\lambda }, \bar{\mu }>0\) such that (5) has no solution for \(\lambda > \bar{\lambda }\) or \(\mu > \bar{\mu }\). □
The following Lemmas 3.6, 3.7, and 3.8 can be proved by the same ideas as in Lemma 3.5, Lemma 3.6, and Theorem 3.1 in [9], respectively.
Lemma 3.6
Assume (H) and (H2). Then every chain in \(\mathcal{S}\) has a unique supremum in \(\mathcal{S}\).
Lemma 3.7
Assume (H) and (H2). Then there exists \(\mu^{*} \in [\tilde{\mu }, \bar{\mu }]\) such that (5) has a positive solution at \((0,\mu)\) for all \(0< \mu \leq \mu^{*}\) and no solution at \((0,\mu)\) for all \(\mu > \mu^{*}\). Similarly, there exists \(\lambda^{*} \in [\tilde{\lambda }, \bar{\lambda }]\) such that (5) has a positive solution at \((\lambda,0)\) for all \(0< \lambda \leq \lambda^{*}\) and no solution at \((\lambda,0)\) for all \(\lambda > \lambda^{*}\).
Lemma 3.8
Assume (H1) and (H2). Then there exists a continuous curve \(\Gamma_{\delta }\) splitting \([0,\infty)^{2} \setminus \{ (0,0) \}\) into two disjoint subsets \(\Theta_{\delta, 1}\) and \(\Theta_{\delta, 2}\) such that (5) has at least one positive solution if \((\lambda, \mu) \in \Theta_{1} \cup \Gamma_{\delta }\) and no positive solution if \((\lambda, \mu) \in \Theta_{\delta, 2}\).
Notice that by the sub- and supersolution theorem we can show that if \(0< \bar{\delta }< \delta\), then \(\Theta_{\delta, 1} \cup \Gamma_{\delta }\subset \Theta_{\bar{\delta }, 1} \cup \Gamma_{\bar{\delta }}\). Let \(\Theta = \bigcup_{\delta >0} ( \Theta_{\delta,1} \cup \Gamma_{\delta })\). Then \(\Theta \subset \Theta_{0, 1}\). Now we prove our main theorem, Theorem 1.1, by taking \(\Theta_{1}= \Theta_{0,1}\), \(\Theta_{2}=\Theta_{0,2}\), and \(\Gamma = \Gamma_{0}\) in Theorem 3.1.
Theorem 3.1
Assume (H), (H1), and (H2). Then there exists a continuous curve \(\Gamma_{0}\) splitting \([0,\infty)^{2} \setminus \{ (0,0) \}\) into two disjoint subsets \(\Theta_{0, 1}\), \(\Theta_{0, 2}\) and a subset \(\Theta \subset \Theta_{0,1}\) such that (4) has at least two positive solutions for \((\lambda, \mu) \in \Theta\), at least one positive solution for \((\lambda, \mu) \in (\Theta_{0,1} \setminus \Theta)\cup \Gamma_{0} \), and no positive solution for \((\lambda, \mu) \in \Theta_{0, 2}\).
Proof
We prove that (4) has a positive second solution for \((\lambda, \mu) \in \Theta\). If \((\lambda, \mu) \in \Theta\), then there exists \(\delta >0 \) such that \((\lambda, \mu) \in ( \Theta_{\delta,1} \cup \Gamma_{\delta })\). Now we let \((w_{\delta,1}, w_{\delta,2})\) be a positive solution of (5) at \((\lambda, \mu)\) and define \(\Omega = \{(w_{1},w_{2}) \in X: -\epsilon < w_{1}(t) < w_{\delta, 1}(t), -\epsilon < w_{2}(t)< w_{\delta, 2}(t), t \in [0,1] \}\). Then Ω is a bounded open set in X such that \(0 \in \Omega\). Here we denote
and
Then \(T_{\lambda, \mu }: \mathcal{K} \cap \bar{\Omega }\rightarrow \mathcal{K}\) is condensing. Let \((w_{1},w_{2}) \in \mathcal{K} \cap \partial \Omega\). Then there exists \(t_{0} \in [0,1]\) such that either \(w_{1}(t_{0}) =w_{\delta, 1} (t_{0})\) or \(w_{2}(t_{0}) = w_{\delta, 2}(t_{0})\). Suppose that \(w_{1}(t_{0}) =w_{\delta, 1} (t_{0})\). Then by (H)
for all \(\nu \geq 1\). Thus \(T_{\lambda, \mu } (w_{1},w_{2}) \neq \nu (w_{1},w_{2})\) for all \((w_{1},w_{2}) \in \mathcal{K} \cap \partial \Omega \) and \(\nu \geq 1\). By Lemma 2.1 we conclude
Next, we denote \(\kappa = \min_{J \times J} K_{1}(t,s)\). By (H2) there exists \(R_{f_{2}}>0\) sufficiently large such that
where \(\eta >0\) can be chosen such that \(\eta \kappa \gamma \int_{j _{*}}^{j^{*}} a_{2}(s)\,ds >1\). Let \(R=\max \{M+1, \frac{1}{\gamma }R _{f_{2}} \}\), where M is defined in Lemma 3.4. Let \(\mathcal{K}_{R} = \{(w_{1},w_{2}) \in \mathcal{K}: \|(w_{1},w_{2})\|< R \}\). Then, by Lemma 3.4, \((w_{1},w_{2}) \neq T_{\lambda, \mu }(w_{1},w_{2})\) for \((w_{1},w_{2}) \in \partial \mathcal{K}_{R}\). Moreover, if \((w_{1},w _{2}) \in \partial \mathcal{K}_{R}\), then
which implies that \(f_{2}(w_{1}(t),w_{2}(t)) \geq \eta (w_{1}(t)+w _{2}(t))\) for all \(t \in J\). Finally, we find that, for \((w_{1},w_{2}) \in \partial \mathcal{K}_{R}\),
Therefore \(\|T_{\lambda, \mu }(w_{1},w_{2})\| \geq \|A_{\lambda, \mu }(w_{1},w_{2})\|_{\infty }\geq A_{\lambda, \mu }(w_{1},w_{2})(j _{*}) > \|(w_{1},w_{2})\|\), and by Lemma 2.2 we find
By the additivity of the fixed point index we obtain
Since \(i(T_{\lambda, \mu }, \mathcal{K}\cap \Omega, \mathcal{K}) =1\), we find \(i(T_{\lambda, \mu }, \mathcal{K}_{R}\setminus \overline{ \mathcal{K}\cap \Omega }, \mathcal{K})=-1\), which implies that \(T_{\lambda, \mu }\) has a fixed point on \(\mathcal{K}\cap \Omega \) and on \(\mathcal{K}_{R}\setminus \overline{\mathcal{K}\cap \Omega }\). Hence the proof is completed. □
Now, we give a simple example for the main results.
Example 3.2
Consider \(N=3\) and \(r_{0} =1\) for system (1). Then \(\Omega_{e}=\{ x\in (-\infty, \infty)^{3} : |x| \geq 1 \}\). Let \(K_{i} (r)= r^{-\alpha_{i}}\) for \(r\in (1,\infty)\), where \(\alpha _{i} >2\) for \(i =1,2\). Then there exists ν such that \(1<\nu < \min \{\alpha_{1} , \alpha_{2} \} -1\), and hence we get that \(\nu - \alpha_{i} <-1\) and \(\int_{1}^{\infty } r^{\nu } K_{i} (r)\,dr = \int_{1}^{\infty } r^{\nu - \alpha_{i}}\,dr <\infty \) for \(i=1,2\). Let \(l_{i} (r) = r^{-\beta_{i}}\) for \(r\in (1,\infty)\), where \(\beta_{i} >4 \pi +2 \) (\(i=1,2\)). It is easy to see that \(w_{3} \int_{1}^{\infty } r l_{i} (r)\,dr =4\pi \int_{1}^{\infty } r^{1-\beta_{i}}\,dr = \frac{4 \pi }{\beta_{i} -2} < 1\) as \(w_{3} =4\pi\). Now, if \(f_{1} (u,v) = u ^{2} +v^{3}\) and \(f_{2} (u,v)=e^{u+v} -(u+v)\), then (H), (H1), and (H2) hold for \(f_{1}\) and \(f_{2}\). Thus the conclusion of Theorem 1.1 is valid. We note that, for the corresponding radial transformed problem (2) of (1), the conclusion of Theorem 3.1 is also valid.
References
Cabada, A., Dimitrijevic, S., Tomovic, T., Aleksic, S.: The existence of a positive solution for nonlinear fractional differential equations with integral boundary value conditions. Math. Methods Appl. Sci. 40(6), 1880–1891 (2017)
Cui, Y., Sun, J.: On existence of positive solutions of coupled integral boundary value problems for a nonlinear singular superlinear differential system. Electron. J. Qual. Theory Differ. Equ. 2012, 41 (2012)
Cui, Y., Zou, Y.: Monotone iterative method for differential systems with coupled integral boundary value problems. Bound. Value Probl. 2013, 245 (2013)
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)
Feng, M., Ji, D., Ge, W.: Positive solutions for a class of boundary-value problem with integral boundary conditions in Banach spaces. J. Comput. Appl. Math. 222(2), 351–363 (2008)
Ghergu, M., Radulescu, V.: Nonlinear PDEs. Mathematical Models in Biology, Chemistry and Population Genetics. Springer Monographs in Mathematics. Springer, Heidelberg (2012)
Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, Orlando (1988)
Kong, Q., George, T.S.: Linear Sturm–Liouville problems with Riemann–Stieltjes integral boundary conditions. Opusc. Math. 38(4), 557–571 (2018)
Lee, Y.H.: Multiplicity of positive radial solutions for multiparameter semilinear elliptic systems on an annulus. J. Differ. Equ. 174(2), 420–441 (2001)
Liu, X., Jia, M.: Existence of solutions for the integral boundary value problems of fractional order impulsive differential equations. Math. Methods Appl. Sci. 39(3), 475–487 (2016)
Webb, J.R.L., Infante, G.: Positive solutions of nonlocal boundary value problems: a unified approach. J. Lond. Math. Soc. (2) 74(3), 673–693 (2006)
Yan, B.: Positive solutions for the singular nonlocal boundary value problems involving nonlinear integral conditions. Bound. Value Probl. 2014, 38 (2014)
Yang, Z.: Positive solutions to a system of second-order nonlocal boundary value problems. Nonlinear Anal. 62(7), 1251–1265 (2005)
Acknowledgements
Both authors thank the anonymous reviewers for carefully reading this paper and constructive comments.
Availability of data and materials
Not applicable.
Funding
E. Ko was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea Government (NRF-2017R1D1A1B03030681). E. K. Lee was supported by a 2-year Research Grant of Pusan National University.
Author information
Authors and Affiliations
Contributions
Both authors have contributed equally to the paper. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: sub- and supersolution theorem
Appendix: sub- and supersolution theorem
In this subsection, we prove Theorem 2.1. We consider the system with more general boundary conditions:
where λ, μ, a, and b are constants.
Definition 4.1
We say that \((\psi_{1} , \psi_{2} )\in C^{2} (0,1) \times C^{2} (0,1) \) is a subsolution of problem (16) if
We also say that \((\zeta_{1} , \zeta_{2} ) \in C^{2} (0,1) \times C ^{2} (0,1) \) is an supersolution of problem (16) if the reverse inequalities are satisfied.
A theorem for sub- and supersolutions to problem (16) is as follows.
Theorem 4.1
Assume that \(f_{1} (t,s)\) and \(f_{2} (t,s) \) is quasimonotone increasing with respect to s and t, respectively (i.e., \(f_{1} (t, s_{1} ) \leq f_{1} (t, s_{2} )\) for \(s_{1} \leq s_{2} \) and \(f_{2} (t_{1} , s) \leq f_{2} (t_{2} , s)\) for \(t_{1} \leq t_{2} \)) and there exist a subsolution \((\psi_{1} , \psi _{2} )\) and a supersolution \((\zeta_{1} , \zeta_{2} )\) of problem (16) such that \((\psi_{1} (t), \psi_{2} (t)) \leq (\zeta _{1} (t), \zeta_{2} (t))\) for all \(t \in [0,1]\). Then problem (16) has at least one solution \((u,v)\) such that
Proof
Define \(\gamma_{i} : [0,1] \times (-\infty, \infty) \to [0,\infty)\) for \(i=1, 2\) by
and consider the modified problem
For given \((w,z) \in C[0,1]\times C[0,1]\), define \(g_{w,z} :(-\infty, \infty)^{2} \to (-\infty, \infty)^{2} \) by
for \((x,y) \in (-\infty, \infty)^{2}\). Since \(| \gamma_{i} (s,x)- \gamma_{i} (s,y)| \leq |x-y|\) for any \(x, y \in (-\infty, \infty)\) and \(s \in [0,1]\), \(g_{w,z}\) is a contraction mapping on \((-\infty, \infty)^{2}\), and thus there exists a unique fixed point \((A_{w,z}, B _{w,z})\in (-\infty, \infty)^{2}\) of \(g_{w,z}\), which satisfies
If \((w,z)\) is a solution of
then \((u(t), v(t)):=(w(t)+A_{w,z}t+a, z(t) +B_{w,z}t +b)\) is a solution of (17).
Now, we define \(T:\mathcal{P} \to \mathcal{P}\) by
where
Then \((w,z)\) is a fixed point of T in \(\mathcal{P}\) if and only if \((w,z)\) is a nonnegative solution of (18). Since \(T_{\gamma }\) is completely continuous on \(\mathcal{P}\) and \(T( \mathcal{P})\) is bounded in \(C[0,1]\times C[0,1]\), T has a fixed point \((w,z)\), and consequently (17) has a nonnegative solution \((u,v)\). Now if we prove that \((\psi_{1} (t), \psi_{2} (t)) \le (u(t), v(t)) \le (\zeta_{1} (t), \zeta_{2} (t))\) for \(t \in [0,1]\), then, by the definition of \(\gamma_{i} \), (16) has a solution \((u,v)\) such that \((\psi_{1} (t), \psi_{2} (t)) \le (u(t), v(t)) \le (\zeta_{1} (t), \zeta_{2} (t))\) for all \(t\in [0,1]\), and the proof is done.
To show that \(u(t) \leq \zeta_{1} (t)\), we set \(X(t): = u(t) -\zeta _{1} (t)\). Note that
Now let us assume on the contrary that there is \(t_{0} \in (0,1) \) such that \(X( t_{0} )= u(t_{0} ) - \zeta_{1} (t_{0})>0 \). It is clear that there exists \(\sigma \in (0,1)\) such that \(X(\sigma) = \max_{t \in [0,1]} X(t) >0\). Then \(X' (\sigma) =0\), and there is \(a \in (\sigma, 1)\) such that \(X' (t) <0\) and \(X(t) >0\) for \(t \in (\sigma, a]\), which means that
By the quasimonotonicity of \(f_{1}(t,s)\) with respect to s and the definition of \(\gamma_{i} \) for \(i=1,2\), we obtain
Integrating this from σ to \(t \in (\sigma, a]\), we find
which contradicts to (19) Thus \(u(t) \leq \zeta_{1} (t)\) for \(t \in [0,1]\). In a similar manner, we can prove that \(\psi_{1} (t) \leq u(t)\), \(v(t) \leq \zeta_{2} (t)\) and \(\psi_{2} (t) \leq v(t)\) for \(t \in [0,1]\), and hence the proof is complete. □
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
Cite this article
Ko, E., Lee, E.K. Existence of multiple positive solutions to integral boundary value systems with boundary multiparameters. Bound Value Probl 2018, 155 (2018). https://doi.org/10.1186/s13661-018-1077-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1077-9