Abstract
We consider the solvable intervals of two positive parameters λ and μ in which the second-order nonlocal differential system
admits multiple positive solutions. The main interest is that the weight functions \(a(t)\), \(\omega(t)\) and \(b(t)\) change sign on \([0,1]\), \(\lambda\not\equiv1\), \(\mu\not\equiv1\), \(g \not\equiv0\) and \(h\not\equiv0\). Our analysis mainly relies on the fixed point technology in cones.
Similar content being viewed by others
1 Introduction
Boundary value problem with integral boundary conditions is a typical nonlocal problem, which arises naturally in hydrodynamic problems [1], semiconductor problems [2], thermal conduction problems [3]. Such problems have been considered by many authors [4–18]. Specifically, Boucherif [19] exploited the fixed point theorem in cones to study the following problem:
The author got several excellent results on the existence of positive solutions to problem (1.1).
In [20], Feng, Ji and Ge began to study the boundary value problem with integral boundary conditions in abstract spaces
Applying the fixed point theory in a cone for strict set contraction operators, the authors investigated the existence, nonexistence and multiplicity of positive solutions for problem (1.2).
At the same time, we see that increasing attention has been paid to the study of nonlocal boundary value problems with parameters (see [21–30]). Especially, let us review several excellent results related to boundary value problems with parameters. In [31], Kong considered the existence and uniqueness of positive solutions for second-order singular boundary value problem
The author examined the uniqueness of the solution and its dependence on the parameter λ for problem (1.3) by using the mixed monotone operator theory.
Very recently, Zhang and Feng [32] considered the following second-order differential equations with one-dimensional p-Laplacian:
where \(\lambda>0\) is a parameter, \(\varphi_{p}(s)=|s|^{p-2}s\), \(p>1\), \((\varphi_{p})^{-1}=\varphi_{q}\), \(\frac{1}{p}+\frac{1}{q}=1\), \(a,b>0\), ω is a nonnegative measurable function on \((0,1)\), \(\omega \not\equiv0\) on any open subinterval in \((0,1)\) which may be singular at \(t=0\) and/or \(t=1\). Using fixed point techniques, the authors obtain some new and more general existence, nonexistence and multiplicity results. In addition, they also studied the dependence of positive solution \(u_{\lambda}\) on the parameter λ.
For the latest development direction of the nonlocal problems, see Refs. [33–37]. However, to the best of our knowledge, the corresponding results for second-order differential system with integral boundary conditions and multiple parameters are not investigated until now.
Moreover, a class of indefinite problems have attracted the attention of Ma and Han [38], López-Gómez and Tellini [39], Boscaggin and Zanolin [40, 41], Sovrano and Zanolin [42], Bravo and Torres [43], Wang and An [44], and Yao [45]. In [38], Ma and Han considered the following boundary value problem:
where \(a\in C[0,1]\) may change sign, λ is a parameter. They proved the existence, multiplicity and stability of positive solutions for problem (1.5) by applying bifurcation techniques.
In [42], applying the shooting method, Sovrano and Zanolin presented a multiplicity result of positive solutions for the Neumann problem
where the weight function \(a\in C[0,1]\) has indefinite sign.
Recently, Wang and An in [44] dealt with the existence and multiplicity of positive solutions for the second-order differential system
where \(a(t)\), \(b(t)\), \(g(t)\) are allowed to change sign on \([0,1]\).
Very recently, López-Gómez, Omari, Rivetti [46, 47] studied a class of quasilinear indefinite problem
where \(\lambda\in\mathrm{R}\) is a parameter, \(a\in L^{1}[0,1]\) changes sign. They derived many results on the existence and the multiplicity of positive (regular) solutions by applying topological degree and variational approach, respectively. For other results on indefinite problems, we refer the reader to Refs. [48–51] and the references cited therein.
To the best of our knowledge, in the literature there are no articles on multiple positive solutions for the analogous of second-order nonlocal differential system with indefinite weights and multiple parameters. More precisely, the study of \(\lambda\not\equiv1\), \(\mu\not\equiv1\), and \(a(t)\), \(b(t)\) and \(\omega(t)\) changing sign on \([0,1]\) is still open for the second-order nonlocal differential system
where \(\lambda>0\) and \(\mu>0\) are two parameters, \(a(t)\), \(b(t)\), \(\omega(t)\) may change sign on \(J=[0,1]\). We assume that a, ω, b, f, g and h satisfy
- \((H_{1})\) :
-
\(a, \omega, b: [0,1]\rightarrow(-\infty,+\infty)\) are continuous, and there exists a constant \(\xi\in(0, 1)\) such that
$$\textstyle\begin{cases} a(t), \omega(t), b(t)\geq0, & \forall t\in[0,\xi],\\ a(t)), \omega(t), b(t)\leq0, & \forall t\in[\xi,1]. \end{cases} $$Moreover, \(a(t)\), \(\omega(t)\), \(b(t)\) do not vanish identically on any subinterval of \([0,1]\).
- \((H_{2})\) :
-
\(f\in C(\mathrm{R}^{+}, \mathrm{R}^{+})\), and \(f(s)>0\) for \(s>0\), where \(\mathrm {R}^{+}=[0,+\infty)\).
- \((H_{3})\) :
-
\(g,h\in L^{1}[0,1]\) are nonnegative on J, and \(\varrho\in[0,1)\), \(\nu\in[0,1)\), where
$$\varrho= \int_{0}^{1}g(s)\,ds, \qquad \nu= \int_{0}^{1}h(s)\,ds. $$
We call a pair of functions \((u,\varphi)\) with \(u,\varphi\in C^{2}(0,1)\cap C[0,1]\) being a solution to system (1.9), if \((u,\varphi)\) satisfies (1.9) for \(t\in J\). A solution \((u,\varphi)\) is called a positive solution if, for any \(t\in J\), we get \(u(t),\varphi(t)\geq0\) and \(u(t),\varphi(t) \not\equiv0\).
Inspired by the work of the above papers, our aim in the present paper is to investigate the multiplicity of positive solutions of system (1.9). We remark that this is probably the first time that the existence of multiple positive solutions of the second-order nonlocal differential system with indefinite weight and multiple parameters has been studied.
The rest of present article is organized as follows. In Sect. 2, we give an equivalent integral equation of system (1.9) and present several lemmas which are needed throughout this article. Section 3 is devoted to the statement and proof the main results. Several related remarks are given in Sect. 4. Finally, we give an example to illustrate the main results in the final section.
2 An equivalent formulation of system (1.9)
In this part, we will aim for changing system (1.9) into an equivalent integral equation, and present several lemmas which play an important role in the proof of our main results.
It is clear that system (1.9) is equivalent to the following two boundary value problems:
and
Lemma 2.1
Assume that \((H_{1})\)–\((H_{3})\) hold. Then problem (2.1) has a unique solution u and u can be expressed in the form
where
Proof
The proof of Lemma 2.1 is analogous to that of Lemma 2.1 in [52]. □
It follows from (2.4) and (2.5) that \(H(t,s)\) and \(G(t,s)\) have the following properties.
Proposition 2.1
Assume that \((H_{3})\) holds. Then we have
Proof
By the definition of \(G(t,s)\) and \(H(t,s)\), it is not difficult to see that (2.6) and (2.7) hold.
Next, turning to (2.8), if \(t\leq s\), then \(G(t,s)=t\leq s\); if \(t\geq s\), then \(G(t,s)=s\). So we see that \(G(t,s)\leq s=G(s,s)\), \(\forall t, s \in J\).
On the other hand, noticing that \(t, s \in J\), if \(t\leq s\), then \(G(t,s)=t\geq ts\); if \(t\geq s\), then \(G(t,s)=s\geq st\). Therefore, we obtain \(G(t,s)\geq ts=t G(s,s)\), \(\forall t, s \in J\).
Similarly, one can prove that \(tH(s,s)\leq H(t,s) \leq H(s,s)\), \(\forall t,s\in J\). This gives the proof of (2.8).
If \(t\in[\xi,1]\), it is easy to see that by (2.8), \(G(t,s)\geq t G(s,s)\geq\xi G(s,s)\), \(H(t,s)\geq tH(s,s)\geq\xi H(s,s)\), \(\forall s\in J\). This finishes the proof of (2.9). □
Lemma 2.2
Assume that \((H_{1})\) and \((H_{3})\) hold. Then the problem
has a unique solution φ given by
where
Proof
The proof of Lemma 2.2 is similar to that of Lemma 2.1 in [52]. □
Similar to the proof of Proposition 2.1, we can get Proposition 2.2.
Proposition 2.2
Assume that \((H_{3})\) holds. Then we have
where
Remark 2.1
Letting \((u,\varphi)\) be a solution of system (1.9), then from Lemma 2.1 and Lemma 2.2, we have
and φ is defined in (2.11).
For the weight functions \(a(t)\), \(b(t)\), \(\omega(t)\), we define \(a^{\pm }(t), b^{\pm}(t), \omega^{\pm}(t): J \rightarrow[0,+\infty)\) as
consequently
Moreover, to obtain the existence of positive solution of system (1.9), we make the following hypotheses:
- \((H_{4})\) :
-
There exists \(0<\sigma_{1}<\xi\) such that
$$\sigma_{1} \int_{\sigma_{1}}^{\xi}G(t,s)b^{+}(s)\,ds \geq\xi \int_{\xi }^{1}G(t,s)b^{-}(s)\,ds. $$ - \((H_{5})\) :
-
There exists \(0<\sigma_{2}<\xi\) such that
$$\sigma_{2} \int_{\sigma_{2}}^{\xi}H(t,s)H^{*}(s,s)a^{+}(s) \,ds \geq\frac {\xi}{1-\nu} \int_{\xi}^{1}H(t,s)a^{-}(s)\,ds. $$ - \((H_{6})\) :
-
There exists \(0< l\leq1\) such that
$$f(u)\geq l\phi(u), \quad u\in[0,+\infty), $$where \(\phi(u)=\max\{f(\beta):0\leq\beta\leq u\}\).
- \((H_{7})\) :
-
There exist \(0<\theta< +\infty\), \(\theta\neq1\) and \(k_{1}, k_{2}>0\) such that
$$k_{1}u^{\theta}\leq f(u)\leq k_{2}u^{\theta}, \quad u\in[0,+\infty). $$ - \((H_{8})\) :
-
There exists \(0<\sigma_{3}<\xi\) such that
$$l^{2}k_{1} \sigma_{3}^{\theta} \int_{\sigma_{3}}^{\xi}H(t,s)\omega ^{+}(s)\,ds\geq k_{2} \xi^{\theta} \int_{\xi}^{1}H(t,s)\omega^{-}(s)\,ds. $$
We denote
If \(u\in K\), it is not difficult to see that \(\Vert u \Vert=\max_{0\leq t \leq\xi}u(t)\).
Also, for a positive number r, we define \(\Omega_{r}\) by
and then we get \(\partial\Omega_{r}=\{u\in K:\Vert u \Vert=r\}\).
Define a map \(T: K\rightarrow C[0,1]\) by
It follows from Remark 2.1 and (2.18) that Lemma 2.3 holds.
Lemma 2.3
Assume that \((H_{1})\)–\((H_{8})\) hold. Then \((u,\varphi)\) is a positive solution of system (1.9) if and only if u is a fixed point of operator T in K, and φ satisfies (2.11).
Lemma 2.4
Assume that \((H_{1})\)–\((H_{8})\) hold. Then \(T(K)\subset K\), and \(T:K\rightarrow K\) is completely continuous.
Proof
For any \(u\in K\), we firstly prove that
Define a function \(q: [0,1]\rightarrow[0,1]\) as follows:
So, we get \(\min_{0<\sigma\leq t\leq\xi}q(t)=\frac{\sigma}{\xi }\), \(\max_{\xi\leq t\leq1}q(t)=1\).
Since \(u\in K\), then u is concave on \([0,\xi]\) and convex on \([\xi ,1]\). Noticing that \(u(0)=\int_{0}^{1}g(t)u(t)\,dt\) and \(u'(1)=0\), we get
Hence, for \(t\in J\), by assumption \((H_{4})\), we have
which shows that (2.23) holds.
Next, for any \(u\in K\), we prove
Since \(\int_{0}^{1} G(t,s) b(s)u(s) \,ds\geq0\), \(t\in J\), it follows from (2.14) and \((H_{5})\) that
This finishes the proof of (2.24).
Thirdly, for any \(u\in K\), we show
In fact, \(t\in J\), \(u\in K\), it is easy to see by \((H_{6})\)–\((H_{8})\) that
which shows that (2.25) holds.
Thus, for \(u\in K\), we have
Moreover, by direct calculating, we get
which shows that Tx is concave on \([0,\xi]\) and convex on \([\xi,1]\). It follows that \(T: K\rightarrow K\).
Finally, by standard methods and Arzelà-Ascoli theorem one can prove that operator T is completely continuous. So it is omitted. □
Remark 2.2
In [44] and [45], it is not difficult to see that the function q plays an important role in the proof of completely continuous operator. If \(u(0)=u(1)=0\), then we can define \(q(t)=\min\{ \frac{t}{\xi},\frac{1-t}{1-\xi}\}\). However, if \(u(0)=u(1)=A\neq0\), then the above definition of q is invalid. This shows that when \(u(0)=\int_{0}^{1}g(s)u(s)\,ds\), \(u'(1)=0\), we require a special technique to give a fine definition of q.
In fact, a fine definition of q is very difficult to give when \(u(0)=\int_{0}^{1}g(s)u(s)\,ds\), \(u'(1)=0\). This is probably the main reason that there is almost no paper studying the existence of positive solutions for the class of second-order nonlocal differential systems with indefinite weights and multiple parameters.
Remark 2.3
When we consider nonlocal differential systems with indefinite weights, another difficulty is to prove \(T: K\to K\); for detail to see the proof of Lemma 2.4.
Lemma 2.5
(Theorem 2.3.4 of [53], Fixed point theorem of cone expansion and compression of norm type)
Let \(\Omega_{1}\) and \(\Omega _{2}\) be two bounded open sets in a real Banach space E such that \(0 \in\Omega_{1}\) and \(\bar{\Omega}_{1}\subset\Omega_{2}\). Let operator \(T: P\cap(\bar{\Omega}_{2}\backslash\Omega_{1})\rightarrow P\) be completely continuous, where P is a cone in E. Suppose that one of the two conditions
-
(i)
\(\Vert Tx \Vert\leq \Vert x \Vert\), \(\forall x\in P\cap \partial\Omega_{1}\) and \(\Vert Tx \Vert\geq \Vert x \Vert\), \(\forall x\in P\cap\partial\Omega _{2}\), and
-
(ii)
\(\Vert Tx \Vert\geq \Vert x \Vert\), \(\forall x\in P\cap \partial\Omega_{1}\), and \(\Vert Tx \Vert\leq \Vert x \Vert\), \(\forall x\in P\cap\partial\Omega_{2}\),
is satisfied. Then T has at least one fixed point in \(P\cap(\bar{\Omega}_{2}\backslash\Omega_{1})\).
3 Main results
In this part, applying Lemma 2.5, we get the solvable intervals of positive parameters λ and μ in which system (1.9) admits multiple positive solutions.
Theorem 3.1
Assume that \((H_{1})\)–\((H_{8})\) hold. Then we get:
-
(I)
If \(\theta>1\), then there exist \(\lambda^{*},\mu_{*},\mu^{*}>0\) such that, for \(\lambda\in[\lambda^{*},+\infty)\) and \(\mu\in[\mu_{*},\mu ^{*}]\), system (1.9) admits at least two positive solutions.
-
(II)
If \(0<\theta<1\), then there exist \(\lambda^{**},\mu^{**}>0\) such that, for \(\lambda\in(0,\lambda^{**}]\) and \(\mu\in(0,\mu^{**}]\), system (1.9) admits at least two positive solutions.
Proof
Part (I). Considering the case \(\theta>1\), it follows from \((H_{7})\) that
which shows that there exists a \(r^{\prime}>0\) such that
where \(\varepsilon_{1}\) satisfies
Let
and choose \(r=\min\{(2A)^{-1}, \frac{r^{\prime}}{2}\}\).
Then, for any \(u\in K\cap\partial\Omega_{r}\), noticing (2.8), we get
which shows that
On the other hand, noticing that \(\theta>1\), it follows from \((H_{7})\) that
which shows that there exists a \(R^{\prime}>0\) such that
where \(\varepsilon_{2}\) satisfies
and
If \(u\in K\), then from the concavity on \([0,\xi]\), it follows that
Let B and \(B^{*}\) denote the following constants:
Noticing that, for all \(d\in(0,\xi)\), \(\min_{\frac{d}{2}\leq t\leq d}\delta(t)=\min\{\frac{d}{2\xi}, \frac{\xi-d}{\xi}\}>0\), B and \(B^{*}\) are defined well.
Setting \(R=\max\{(2B)^{-1}, \frac{R^{\prime}}{\Gamma}, r'\}+1\), it follows that \(\mu>\mu'=\frac{1}{2B^{*}R}\), and then, for any \(x\in K\cap \partial\Omega_{R}\), it follows from (3.7) that
and then it follows from (2.8), (2.9), (2.20), (2.21), (3.7) and (3.8) that
Consequently,
Let
where \(0<\eta<r\), \(D=\frac{r^{2}}{\eta^{2}}\), \(A^{*}\) is defined in (3.3), and \(B^{*}\) is defined in (3.9).
We define \(\sigma_{\eta}\) by
where Γ is defined in (3.6). Noticing \((H_{2})\), then \(\sigma_{\eta}\) is defined well and \(\sigma_{\eta}>0\). So, for any \(u\in K\cap\partial\Omega_{\eta}\), we get
and hence, we get
This shows
Let \(\mu_{*}>\max\{\mu', \mu^{*}\}\), \(\mu^{*}=\frac{1}{2A^{*} r}\), then, for \(\lambda\in[\lambda^{*},+\infty)\) and \(\mu\in[\mu_{*}, \mu^{*}]\), applying Lemma 2.5 to (3.5), (3.10) and (3.11) shows that T has at least two fixed points in \(K\cap(\bar{\Omega}_{R}\setminus\bar{\Omega}_{r})\) and \(K\cap(\Omega_{r}\setminus \Omega_{\eta})\). Thus it follows that system (1.9) admits at least two positive solutions \((u_{1},\varphi_{1})\) and \((u_{2},\varphi_{2})\) with \(u_{1}\in K\cap(\bar{\Omega}_{R}\setminus\bar{\Omega}_{r})\), \(u_{2}\in K\cap(\Omega_{r}\setminus\Omega_{\eta})\), and
Part (II). Next turning to \(0<\theta<1\), it follows from \((H_{7})\) that
which shows that there exists a positive constant \(r>0\) such that
where \(\varepsilon_{3}\) satisfies
and \(\delta(t)\) is defined in (3.6), A is defined in (3.2).
Therefore, for any \(x\in K\cap\partial\Omega_{r}\), noticing (3.7), we get
Consequently,
On the other hand, noticing that \(0<\theta<1\), then it follows from \((H_{7})\) that
which shows that there exists a \(R^{\prime}>r\) such that
where \(\varepsilon_{4}\) satisfies
and
Let
Then it is not difficult to see that \(M<+\infty\).
Choosing \(\max\{R', 3M\}< R<(3A)^{-1}\), then \(M<\frac{R}{3}\).
Now, choosing \(u\in K\cap\partial\Omega_{R}\) arbitrarily, and letting \(\bar{u}(t)=\min\{u(t), R'\}\), then \(\bar{u}(t)\leq R'\). Therefore, for \(t\in D(u)\), we get \(R'< u(t)\leq \Vert u \Vert_{PC}=R\), \(\forall t\in D(u)\). By the choice of \(R'\), for \(t\in D(u)\), we have \(f(u)\leq\varepsilon_{4} R\).
Therefore, for any \(u\in K\cap\partial\Omega_{R}\), we get
which shows that
Let
where \(0<\eta<r\), and \(A^{*}\) is defined in (3.3).
We define \(M_{\eta}\) by
Noticing \((H_{2})\) and \((H_{3})\), then \(M_{\eta}\) is defined well and \(M_{\eta}>0\). So, for any \(u\in K\cap\partial\Omega_{\eta}\), similarly to the proof of (3.4), we get
which shows
Therefore, applying Lemma 2.4 to (3.13), (3.15) and (3.16) shows that T has at least two fixed points in \(K\cap(\bar{\Omega}_{R}\setminus\bar{\Omega}_{r})\) and \(K\cap (\Omega_{r}\setminus\Omega_{\eta})\). Thus it follows that system (1.9) admits at least two positive solutions. □
Theorem 3.2
Assume that \((H_{1})\)–\((H_{8})\) hold. If \(0<\theta<1\), there exist \(\mu_{0}>0\) and \(\lambda_{0}>0\) such that system (1.9) has three positive solutions for \(\mu\in(0,\mu_{0}]\) and \(\lambda\in (0,\lambda_{0}]\), with \(k_{2}\) satisfying
Proof
Firstly, since \(0<\theta<1\), by \((H_{7})\), we get
Then there exists sufficiently small \(r>0\) with \(0< r<(2\lambda k_{2}\int _{0}^{\xi}H(s,s)\omega^{+}(s)\,ds)^{\frac{1}{1-\theta}}\), such that
where \(\varepsilon_{3}\) satisfies (3.12). And hence, for \(u\in\partial\Omega_{r}\), similar to the proof of (3.12), we obtain
Secondly, there exists a sufficiently large \(R_{1}>\max\{(2\mu A^{*})^{-1}, (\mu B^{*})^{-1}\}\) such that
Then, for \(u\in\partial\Omega_{R_{1}}\), similar to the proof of (3.11), we get
Thirdly, for any \(\mu>0\), \(\lambda>0\), we choose R satisfying
Then, for \(u\in\partial\Omega_{R}\), it follows from (2.8) and \((H_{7})\) that
Consequently,
Finally, choose a number \(r_{1}\in(0,\frac{r}{2})\). Noticing that \(f(u)>0\) for all \(u>0\), we can define, for \(r_{1}>0\),
It follows (3.23) that \(f(u)\leq\alpha_{r_{1}}\) for \(0\leq u \leq r_{1}\). Let
Then, for \(u\in\partial\Omega_{r_{1}}\) and \(0<\mu\leq\mu_{0}\), \(0<\lambda\leq\lambda_{0}\), similar to the proof of (3.15), we obtain
Summing up we can show that T has three fixed point \(u_{1}\in\bar {\Omega}_{R_{1}}\setminus\bar{\Omega}_{R}\), \(u_{2}\in\Omega _{R}\setminus\bar{\Omega}_{r}\) and \(u_{3}\in\Omega_{r}\setminus\Omega _{r_{1}}\) by applying Lemma 2.5 to (3.18), (3.20), (3.22) and (3.25). And hence, if \(0<\theta <1\), there exist \(\mu_{0}>0\) and \(\lambda_{0}>0\) such that system (1.9) has at least three positive solutions for \(0<\mu\leq\mu_{0}\) and \(0<\lambda\leq\lambda_{0}\), with \(k_{2}\) satisfying (3.17). The gives the proof of Theorem 3.2. □
4 Remarks and comments
In this section, we offer some remarks and comments of the associated system (1.9).
Remark 4.1
In Theorem 3.1 and Theorem 3.2, we generalize the results of [38–43] in three main directions:
-
(i)
\(g, h\in L^{1}[0,1]\) are nonnegative on J, not only \(g\equiv0\) and \(h\equiv0\) on J.
-
(ii)
Multi-parameter case is in order.
-
(iii)
The method used in the present paper is complete different from those in [33–38].
Remark 4.2
Comparing with Wang and An [44], the main features of this paper are as follows.
-
(i)
The solvable intervals of positive parameter \(\lambda_{i}\) (\(i=1,2,3\)) are given.
-
(ii)
Nonlocal conditions are considered.
-
(iii)
Triple positive solutions are obtained.
Remark 4.3
It is not difficult to see that the details of the proof of (3.14) are very different from that of (3.4). And the idea of the proof of (3.14) comes from Theorem 3.2 of [54].
Remark 4.4
Some ideas of dealing with parameters in Theorem 3.1 come from Theorems 2.1–2.4 in [55], but there are very few papers in the literature considering the multiplicity of positive solutions for second-order impulsive differential systems, especially in the case the weight functions \(a(t)\), \(b(t)\) and \(g(t)\) change sign on \([0,1]\).
Remark 4.5
It is not difficult to see that the conditions \((H_{2})\) and \((H_{7})\) play an important role in the proof of Theorem 3.1, and there are many functions satisfying \((H_{2})\) and \((H_{7})\), for example
Remark 4.6
If we, respectively, replace the condition (\(H_{2}\)) by
- \((H'_{2})\) :
-
\(f\in C(\mathcal{R}^{+}, \mathcal{R}^{+})\),
then we cannot guarantee \(\sigma_{\eta}>0\), \(M>0\) and \(\alpha_{r_{1}}>0\), which are, respectively, defined in Theorem 3.1 and Theorem 3.2. Further, we cannot obtain the results of Theorem 3.1 and Theorem 3.2.
Remark 4.7
Similarly, one can consider the multiplicity of positive solutions for the following second-order nonlocal differential systems:
where \(\lambda>0\) and \(\mu>0\) are two parameters, \(a(t)\), \(\omega(t)\), \(b(t)\) change sign on \([0,1]\).
On the other hand, we conjecture that the conclusions in Theorem 3.1 and Theorem 3.2 also hold for the following systems:
and
where \(\lambda>0\) and \(\mu>0\) are two parameters, \(a, b>0\), \(g\in C^{1}([0,1],(0,+\infty))\), \(a(t)\), \(\omega(t)\), \(b(t)\) change sign on \([0,1]\).
5 An example
To illustrate how our main results can be used in practice, we present an example.
Example 5.1
Consider the following system:
where \(0<\theta<1\) and
Conclusion. System (5.1) admits at least two positive solution for \(0<\lambda\leq0.091\), \(0<\mu\leq0.025\).
For convenience, we give a corollary of Proposition 2.3 in [40].
Corollary 5.1
Consider the following system:
where \(\alpha>0\) with \(\alpha\neq1\), \(k(t)\) satisfying the changing sign condition,
and
If there exists \(0<\sigma<\xi\) such that
then the following inequalities hold:
Proof
Similar to the proof of Proposition 2.3 in [40], one can prove
And hence, it follows from (2.4) that
Next, letting \(s=\eta-\frac{\xi-\sigma}{1-\xi}\xi\), \(\xi\in[0,1-\eta ]\), we get
letting \(s=\eta+\xi\), \(\xi\in[0,1-\eta]\), we have
Finally, by integrating in ξ both sides of (5.4) from 0 to \(1-\eta\), it follows that the inequality (5.5) holds.
Similarly, one can show that the inequality (5.6) holds. □
Remark 5.1
It is not difficult to see that Proposition 2.3 of [45] plays key roles in the proofs of the main results of [44] and [45]. However, it is invalid for nonlocal problems; for details, see the proof of Corollary 5.1.
Proof of Example 5.1
From the definitions of \(a(t)\), \(b(t)\) and \(g(t)\), we know that \(\xi=\frac{1}{3}\).
Step 1. We show that \((H_{4})\) holds. For fixed \(c_{1}=c_{2}=1\), \(\sigma_{1}=\frac{1}{4}\), \(\mu=1\) and \(\alpha=1\), (5.4) is equivalent to the following inequality:
Letting \(\frac{1}{3}-\frac{1}{8}\tau=\zeta\), it follows from (5.7) that
According to the definition of \(b(t)\), the inequality (5.8) holds clearly. And hence it follows from (5.6) that \((H_{4})\) is reasonable.
Step 2. We prove the condition \((H_{5})\) holds. Similar to the proof of Step 1, letting \(c_{1}=1\), \(c_{2}=\frac{16}{\rho}\), \(\sigma_{2}=\frac {1}{4}\), \(\mu=1\) and \(\alpha=1\), by (5.5) we get
Further, from the above inequality, it follows that
which shows that \((H_{5})\) holds.
Step 3. Similar to the proof of Step 1, choosing \(c_{1}=1\), \(c_{2}=2\), \(\sigma_{3}=\frac{1}{4}\), \(\mu=1\) and \(\alpha=\frac{1}{2}\), then \((H_{8})\) holds.
Step 4. It is easy to see by direct calculating that
Let \(\eta=\frac{1}{4}\). Then we get
Therefore, we get
Hence, by (II) of Theorem 3.1 the conclusion follows, and the proof is complete. □
6 Conclusion
In this paper, we obtained several sufficient conditions for the multiplicity of positive solutions for a class of second-order nonlocal indefinite differential systems. Our results will be a useful contribution to the existing literature on the topic of second-order nonlocal indefinite differential systems.
References
Chegis, R.Yu.: Numerical solution of a heat conduction problem with an integral boundary condition. Liet. Mat. Rink. 24, 209–215 (1984)
Ionkin, N.I.: Solution of a boundary value problem in heat conduction theory with nonlocal boundary conditions. Differ. Equ. 13, 294–304 (1977)
Sun, Y.: Optimal existence criteria for symmetric positive solutions to a three-point boundary value problem. Nonlinear Anal. 66, 1051–1063 (2007)
Hao, X., Zuo, M., Liu, L.: Multiple positive solutions for a system of impulsive integral boundary value problems with sign-changing nonlinearities. Appl. Math. Lett. 82, 24–31 (2018)
Mao, J., Zhao, Z.: The existence and uniqueness of positive solutions for integral boundary value problems. Bull. Malays. Math. Sci. Soc. 34, 153–164 (2011)
Hao, X., Liu, L., Wu, Y.: Positive solutions for second order impulsive differential equations with integral boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 16, 101–111 (2011)
Hao, X., Liu, L.: Multiple monotone positive solutions for higher order differential equations with integral boundary conditions. Bound. Value Probl. 2014, 74 (2014)
Ahmad, B., Alsaedi, A., Alghamdi, B.S.: Analytic approximation of solutions of the forced Duffing equation with integral boundary conditions. Nonlinear Anal., Real World Appl. 9, 1727–1740 (2008)
Hao, X., Liu, L., Wu, Y.: Iterative solution to singular nth-order nonlocal boundary value problems. Bound. Value Probl. 2015, 125 (2015)
Feng, M., Du, B., Ge, W.: Impulsive boundary value problems with integral boundary conditions and one-dimensional p-Laplacian. Nonlinear Anal. 70, 3119–3126 (2009)
Hao, X., Liu, L., Wu, Y., Xu, N.: Multiple positive solutions for singular nth-order nonlocal boundary value problems in Banach spaces. Comput. Math. Appl. 61, 1880–1890 (2011)
Jiang, J., Liu, L., Wu, Y.: Second-order nonlinear singular Sturm-Liouville problems with integral boundary conditions. Appl. Math. Comput. 215, 1573–1582 (2009)
Zhang, X., Ge, W.: Symmetric positive solutions of boundary value problems with integral boundary conditions. Appl. Math. Comput. 219, 3553–3564 (2012)
Zhang, X.: Exact interval of parameter and two infinite families of positive solutions for a nth order impulsive singular equation. J. Comput. Appl. Math. 330, 896–908 (2018)
Liu, L., Hao, X., Wu, Y.: Positive solutions for singular second order differential equations with integral boundary conditions. Math. Comput. Model. 57, 836–847 (2013)
Hao, X., Liu, L., Wu, Y., Sun, Q.: Positive solutions for nonlinear nth-order singular eigenvalue problem with nonlocal conditions. Nonlinear Anal. 73, 1653–1662 (2010)
Sun, F., Liu, L., Zhang, X., Wu, Y.: Spectral analysis for a singular differential system with integral boundary conditions. Mediterr. J. Math. 13, 4763–4782 (2016)
Zhang, X., Feng, M., Ge, W.: Existence result of second-order differential equations with integral boundary conditions at resonance. J. Math. Anal. Appl. 353, 311–319 (2009)
Boucherif, A.: Second-order boundary value problems with integral boundary conditions. Nonlinear Anal. 70, 364–371 (2009)
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, 351–363 (2008)
Feng, M., Zhang, X.: Time-map analysis to establish the exact number of positive solutions of one-dimensional prescribed mean curvature equations. Bound. Value Probl. 2014, 193 (2014)
Liu, L., Sun, F., Zhang, X., Wu, Y.: Bifurcation analysis for a singular differential system with two parameters via to degree theory. Nonlinear Anal., Model. Control 22, 31–50 (2017)
Hao, X., Wang, H., Liu, L., Cui, Y.: Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator. Bound. Value Probl. 2017, 182 (2017)
Zhang, X., Feng, M.: Transformation techniques and fixed point theories to establish the positive solutions of second order impulsive differential equations. J. Comput. Appl. Math. 271, 117–129 (2014)
Hao, X., Xu, N., Liu, L.: Existence and uniqueness of positive solutions for fourth-order m-point boundary value problems with two parameters. Rocky Mt. J. Math. 43, 1161–1180 (2013)
Hao, X., Liu, L., Wu, Y.: On positive solutions of an m-point nonhomogeneous singular boundary value problem. Nonlinear Anal. 73, 2532–2540 (2010)
Zhang, X., Feng, M.: Double bifurcation diagrams and four positive solutions of nonlinear boundary value problems via time maps. Commun. Pure Appl. Anal. 17, 2149–2171 (2018)
Hung, K.-C., Wang, S.-H., Yu, C.-H.: Existence of a double S-shaped bifurcation curve with six positive solutions for a combustion problem. J. Math. Anal. Appl. 392, 40–54 (2012)
Sun, F., Liu, L., Wu, Y.: Infinitely many sign-changing solutions for a class of biharmonic equation with p-Laplacian and Neumann boundary condition. Appl. Math. Lett. 73, 128–135 (2017)
Liu, J., Zhao, Z.: Multiple solutions for impulsive problems with non-autonomous perturbations. Appl. Math. Lett. 64, 143–149 (2017)
Kong, L.: Second order singular boundary value problems with integral boundary conditions. Nonlinear Anal. 72, 2628–2638 (2010)
Zhang, X., Feng, M.: Existence of a positive solution for one-dimensional singular p-Laplacian problems and its parameter dependence. J. Math. Anal. Appl. 413, 566–582 (2014)
Autuori, G., Cluni, F., Gusella, V., Pucci, P.: Mathematical models for nonlocal elastic composite materials. Adv. Nonlinear Anal. 6, 355–382 (2017)
Bisci, G.M., Radulescu, V., Servadei, R.: Variational Methods for Nonlocal Fractional Problems. Encyclopedia of Mathematics and Its Applications, vol. 162. Cambridge University Press, Cambridge (2016)
Bisci, G.M., Repovs, D.: On some variational algebraic problems. Adv. Nonlinear Anal. 2, 127–146 (2013)
Bisci, G.M., Repovs, D., Servadei, R.: Nontrivial solutions of superlinear nonlocal problems. Forum Math. 28, 1095–1110 (2016)
Padhi, S., Pati, S., Hota, D.K.: Positive solutions of boundary value problems with nonlinear nonlocal boundary conditions. Opusc. Math. 36, 69–79 (2016)
Ma, R., Han, X.: Existence and multiplicity of positive solutions of a nonlinear eigenvalue problem with indefinite weight function. Appl. Math. Comput. 215, 1077–1083 (2009)
López-Gómez, J., Tellini, A.: Generating an arbitrarily large number of isolas in a superlinear indefinite problem. Nonlinear Anal. 108, 223–248 (2014)
Boscaggin, A., Zanolin, F.: Second-order ordinary differential equations with indefinite weight: the Neumann boundary value problem. Ann. Mat. Pura Appl. 194, 451–478 (2015)
Boscaggin, A., Zanolin, F.: Positive periodic solutions of second order nonlinear equations with indefinite weight: multiplicity results and complex dynamics. J. Differ. Equ. 252, 2922–2950 (2012)
Sovrano, E., Zanolin, F.: Indefinite weight nonlinear problems with Neumann boundary conditions. J. Math. Anal. Appl. 452, 126–147 (2017)
Bravo, J.L., Torres, P.J.: Periodic solutions of a singular equation with indefinite weight. Adv. Nonlinear Stud. 10, 927–938 (2010)
Wang, F., An, Y.: On positive solutions for a second order differential system with indefinite weight. Appl. Math. Comput. 259, 753–761 (2015)
Yao, Q.: Existence and multiplicity of positive radial solutions for a semilinear elliptic equation with change of sign. Appl. Anal. 80, 65–77 (2001)
López-Gómez, J., Omari, P., Rivetti, S.: Positive solutions of one-dimensional indefinite capillarity-type problems: a variational approach. J. Differ. Equ. 262, 2335–2392 (2017)
López-Gómez, J., Omari, P., Rivetti, S.: Bifurcation of positive solutions for a one-dimensional indefinite quasilinear Neumann problem. Nonlinear Anal. 155, 1–51 (2017)
Berestycki, H., Capuzzo-Dolcetta, I., Nirenberg, L.: Variational methods for indefinite superlinear homogeneous elliptic problems. Nonlinear Differ. Equ. Appl. 2, 553–572 (1995)
Berestycki, H., Capuzzo-Dolcetta, I., Nirenberg, L.: Superlinear indefinite elliptic problems and nonlinear Liouville theorems. Topol. Methods Nonlinear Anal. 4, 58–78 (2002)
Chen, W., Li, C.: Indefinite elliptic problems in a domain. Discrete Contin. Dyn. Syst., Ser. A 3, 333–340 (1997)
Amann, H., López-Gómez, J.: A priori bounds and multiple solutions for superlinear indefinite elliptic problems. J. Differ. Equ. 146, 336–374 (1998)
Feng, M.: Existence of symmetric positive solutions for a boundary value problem with integral boundary conditions. Appl. Math. Lett. 24, 1419–1427 (2011)
Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)
Zhang, X., Feng, M., Ge, W.: Existence results for nonlinear boundary-value problems with integral boundary conditions in Banach spaces. Nonlinear Anal. 69, 3310–3321 (2008)
Zhang, X., Feng, M.: Multi-parameter, impulsive effects and positive periodic solutions of first-order functional differential equations. Bound. Value Probl. 2015, 137 (2015)
Acknowledgements
The authors are grateful to anonymous referees for their constructive comments and suggestions, which has greatly improved this paper.
Availability of data and materials
Not applicable.
Funding
This work is sponsored by the National Natural Science Foundation of China (11401031), the Beijing Natural Science Foundation (1163007), the Scientific Research Project of Construction for Scientific and Technological Innovation Service Capacity (KM201611232017) and the teaching reform project of Beijing Information Science & Technology University (2018JGYB41).
Author information
Authors and Affiliations
Contributions
All authors contributed equally and read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that there is no conflict of interest regarding the publication of this manuscript. The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Li, P., Feng, M. & Qin, P. A class of nonlocal indefinite differential systems. Bound Value Probl 2018, 81 (2018). https://doi.org/10.1186/s13661-018-1000-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1000-4