Open Access

Existence of positive stationary solutions for a reaction-diffusion system

Boundary Value Problems20162016:11

https://doi.org/10.1186/s13661-015-0511-5

Received: 25 October 2015

Accepted: 30 December 2015

Published: 13 January 2016

Abstract

In this paper, we will establish some existence results of positive stationary solutions for a reaction-diffusion system
$$ \textstyle\begin{cases} -u''+\lambda u=p(t)\varphi u+h(t)f(u,\varphi), \quad0< t< 1,\\ -\varphi''=q(t) u^{\alpha}, \quad0< t< 1,\\ u(0)=u(1)=0,\\ \varphi(0)=\varphi(1)=0. \end{cases} $$
The main method used here is the well-known fixed point theorem of cone expansion and compression.

Keywords

reaction-diffusion system stationary solutions fixed point theorem

MSC

34B10

1 Introduction

The purpose of this work is to study the existence of positive solutions for the following system:
$$ \textstyle\begin{cases} -u''+\lambda u=p(t)\varphi u+h(t)f(u,\varphi),\quad0< t< 1,\\ -\varphi''=q(t) u^{\alpha},\quad0< t< 1,\\ u(0)=u(1)=0,\\ \varphi(0)=\varphi(1)=0, \end{cases} $$
(1)
where \(\lambda>-\pi^{2}\), \(\alpha>0\) are constants. By a positive solution, we mean a pair of functions \((u,\varphi)\) with \(u,\varphi\in C^{2}(0,1)\cap C[0,1]\) is a positive solution of (1), if \((u,\varphi)\) satisfies (1), and \(u, \varphi\geq0\), \(t\in[0,1]\), \(u,\varphi\not\equiv0\).
During the last few decades, concerning local equations, the question of the existence of solutions is one of the important topics, and it therefore has attracted much attention [17]. Usually, the proof is based on either topological methods or a variational approach. For example, in [1], Gu and Wang applied an abstract fixed point theorem and the estimate of the weighted \(L^{p}\) norm to study a reaction-diffusion system as follows:
$$ \textstyle\begin{cases} u_{1t}-\Delta u_{1}=u_{1}u_{2}-bu_{1},\quad x\in\Omega, t>0,\\ u_{2t}-\Delta u_{2}=au_{1},\quad x\in\Omega, t>0,\\ u_{1}=u_{2}=0,\quad x\in\partial\Omega, t>0,\\ u_{1}(x,0)=u_{10}(x)\geq0, \quad\quad u_{2}(x,0)=u_{20}(x)\geq 0,\quad x\in\overline{\Omega}, \end{cases} $$
where \(\Omega\in R^{N}\) is a smooth bounded domain, \(a, b>0\) are constants and \(u_{10}\), \(u_{20}\) are continuous nonnegative functions on Ω̅. In [2], by using the fixed point theorem of cone expansion and compression, Wang and An investigated the existence and multiplicity of positive solutions for the following system:
$$ \textstyle\begin{cases} -u''+\lambda u=\varphi u+h(t)f(u),\quad0< t< 1,\\ -\varphi''=\mu u,\quad0< t< 1,\\ u(0)=u(1)=0,\quad\quad\varphi(0)=\varphi(1)=0. \end{cases} $$
More recently, Chen and Ma obtained some existence results for (1) using the bifurcation techniques in [3, 4]. In addition, in [57], the authors used the variational approach to study the existence, nonexistence, multiplicity, and qualitative behavior of the solutions in the semiclassical limit for the Schrödinger-Poisson system as follows:
$$ \textstyle\begin{cases} -\Delta u +V(x)u =K_{1}(x)\phi u+ u^{p},\\ -\Delta\phi= K_{2}(x)u^{2}, \end{cases} $$
where \(1< p<5\).

We are mainly motivated by the recent nice works [2, 8, 9] and focus on the general local equations (1): (a) the first equation of (1) has an external force such as \(f(u,\varphi)\); (b) the second equation of (1) has the nonlinearity of arbitrary growth \(u^{\alpha}\). By employing the fixed point theorem of cone expansion and compression, we will establish some existence results of positive solutions for (1), if the exponent α satisfies two cases: (i) \(\alpha\geq1\); (ii) \({0<\alpha<1}\).

The remaining part of this paper is organized as follows. In Section 2, some preliminary results are given. In Section 3, we show the main results. In Section 4, to illustrate the new results, some applications are also given.

2 Preliminaries

Let us describe some known results established by Li in [11].

Lemma 2.1

If \(\lambda>-\pi^{2}\), then the linear boundary value problem
$$-u''+\lambda u=0,\quad\quad u(0)=u(1)=0, $$
has a nonnegative Green function \(G(t,s)\).

Lemma 2.2

The function \(G(t,s)\) has the following properties:
  1. (i)

    \(G(t,s)>0\), \(\forall t, s\in(0,1)\);

     
  2. (ii)

    \(G(t,s)\leq C G(s,s)\), \(\forall t, s\in[0,1]\);

     
  3. (iii)

    \(G(t,s)\geq\delta G(t,t)G(s,s)\), \(\forall t, s\in[0,1]\).

     
For convenience, we assume the following conditions hold throughout this paper:
  1. (H1)
    \(q(t) , p(t):[0,1]\rightarrow[0,+\infty)\) are continuous, and satisfy
    $$C \int_{0}^{1} \int_{0}^{1}G(s,s)K(s,\tau)p(s)q(\tau)\,d\tau\,ds< \frac{1}{2}, $$
    where \(K(t,s)\) denotes the Green function \(G(t,s)\) when \(\lambda=0\);
     
  2. (H2)
    \(h(t):[0,1]\rightarrow[0,+\infty)\) is continuous, and
    $$0< \int_{0}^{1}G(s,s)h(s)\,ds< \infty. $$
     
Using the idea in [2], Lemma 2.1, and Lemma 2.2, it is easy to convert system (1) into a fixed point equation as follows:
$$\begin{aligned} u(t) =& \int_{0}^{1} \int_{0}^{1}G(t,s)K(s,\tau)p(s)q( \tau)u(s)u^{\alpha}(\tau)\, d\tau \,ds \\ &{}+ \int_{0}^{1}G(t,s)h(s)f\biggl(u(s), \int_{0}^{1}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau\biggr)\,ds. \end{aligned}$$
Now define a mapping \(T:C[0,1]\rightarrow C[0,1]\) by
$$\begin{aligned} T u(t) =& \int_{0}^{1} \int_{0}^{1}G(t,s)K(s,\tau)p(s)q( \tau)u(s)u^{\alpha}(\tau)\, d\tau \,ds \\ &{}+ \int_{0}^{1}G(t,s)h(s)f\biggl(u(s), \int_{0}^{1}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau\biggr)\,ds, \end{aligned}$$
and define a positive cone \(P\subset C[0,1]\) as
$$P=\Bigl\{ u(t)\in C[0,1]:\min_{t\in[\theta,1-\theta]}u(t) \geq\sigma\|u\|\Bigr\} , $$
where \(\theta\in(0,\frac{1}{2})\) is a fixed constant, \(\sigma\in (0,1)\).

Through a standard proof process, we have the following.

Lemma 2.3

Assume that (H1)-(H2) hold. Then \(T(P)\subset P\) and \(T:P\rightarrow P\) is completely continuous.

The proofs of our main results are based on the following fixed point, which can be found in [10].

Lemma 2.4

Let E be a Banach space, and \(K\subset E\) be a cone in E. Assume \(\Omega_{1}\), \(\Omega_{2}\) are open subsets of E with \(0\in\Omega_{1}\), \(\overline{\Omega}_{1}\subset\Omega_{2}\), and let \(T:K\cap(\overline{\Omega}_{2}\setminus\Omega_{1})\rightarrow K\) be a completely continuous operator such that either:
  1. (i)

    \(\|Tu\|\leq\|u\|\), \(u\in K\cap\partial\Omega_{1}\) and \(\|Tu\|\geq\|u\|\), \(u\in K\cap\partial\Omega_{2}\); or

     
  2. (ii)

    \(\|Tu\|\geq\|u\|\), \(u\in K\cap\partial\Omega_{1}\) and \(\|Tu\|\leq\|u\|\), \(u\in K\cap\partial\Omega_{2}\).

     
Then T has a fixed point in \(K\cap(\overline{\Omega}_{2}\setminus \Omega_{1})\).

3 Main result

Theorem 3.1

Assume (H1)-(H2) hold, and \(\alpha\geq1\). In addition, the following conditions hold:
  1. (H3)
    \(q(t)\) satisfies
    $$\min_{t\in[\theta,1-\theta]} \int_{\theta}^{1-\theta}K(t,s)q(s)\,ds>0; $$
     
  2. (H4)
    \(h(t)\) satisfies
    $$0< \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) \,ds; $$
     
  3. (H5)
    \(f\in C[R^{+}\times R^{+}, R^{+}]\), and \(f(u,\varphi)\) are nondecreasing in u and φ for \(u, \varphi>0\), moreover,
    $$ \textstyle\begin{cases} 0< u\leq\overline{u},\\ 0< \varphi\leq\overline{\varphi}, \end{cases}\displaystyle \quad \Rightarrow\quad f(u,\varphi)\leq f(\overline{u}, \overline{\varphi}), $$
    in addition, \(f(u,\varphi)\) satisfies the following conditions:
    $$\lim_{s\rightarrow\infty}\frac{f(s,m_{1}s)}{s}=\infty, \quad\quad\lim_{s\rightarrow 0} \frac{f(s,M_{1} s)}{s}=0, $$
    where
    $$m_{1}=\sigma^{\alpha-1}\min_{s\in[\theta,1-\theta]} \int_{\theta}^{1-\theta }K(s,\tau)q(\tau)\,d\tau,\quad\quad M_{1}= \int_{0}^{1}K(\tau,\tau)q(\tau)\,d\tau. $$
     
Then system (1) has at least one positive solution.

Proof

On one hand, since \(\lim_{s\rightarrow 0}\frac{f(s,M_{1} s)}{s}=0\), there exists a \(\eta>0\) with \(\eta<1\) such that
$$f(s,M_{1}s)\leq\epsilon s,\quad \mbox{for }0< s< \eta, $$
where ϵ satisfies
$$\epsilon C \int_{0}^{1}G(s,s)h(s)\,ds\leq\frac{1}{2}. $$
Taking \(r\in(0,\eta)\) and setting \(\Omega_{r}=\{u(t)\in C[0,1]:\|u\|< r\}\), then, for any \(u(t)\in\partial\Omega_{r}\cap P\), we have
$$\begin{aligned} Tu(t) =& \int_{0}^{1} \int_{0}^{1}G(t,s)K(s,\tau)p(s)q( \tau)u(s)u^{\alpha}(\tau)\, d\tau\, ds \\ &{}+ \int_{0}^{1}G(t,s)h(s)f\biggl(u, \int_{0}^{1}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau \biggr)\,ds \\ =& C \int_{0}^{1} \int_{0}^{1}G(s,s)K(s,\tau)p(s)q(\tau)\,d\tau\,ds \cdot r^{1+\alpha} \\ &{}+C \int_{0}^{1}G(s,s)h(s)f\biggl(r, \int_{0}^{1}K(\tau,\tau)q(\tau)\,d\tau\cdot r^{\alpha}\biggr)\,ds \\ < & \frac{1}{2}r^{1+\alpha}+C \int_{0}^{1}G(s,s)h(s)f\bigl(r, M_{1} r^{\alpha}\bigr)\,ds \\ \leq& \frac{1}{2}r+C \int_{0}^{1}G(s,s)h(s)f(r, M_{1}r)\,ds \\ \leq& \frac{1}{2}r+\epsilon r C \int_{0}^{1}G(s,s)h(s)\,ds \\ \leq& r=\|u\|. \end{aligned}$$
Consequently,
$$\|T u\|< \|u\|,\quad \forall u\in\partial\Omega_{r}\cap P. $$
On the other hand, since \(\lim_{s\rightarrow\infty}\frac{f(s,m_{1}s)}{s}=\infty\), there exists a \(\overline{R}>0\) such that
$$f(s,m_{1}s)\geq\rho s,\quad \forall s\geq\overline{ R}, $$
where ρ satisfies
$$\rho\sigma \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) \,ds>1. $$
Choosing \(R>\{\frac{\overline{R}}{\sigma}, 2\}\), and setting \(\Omega_{R}=\{u\in C[0,1]:\|u\|< R\}\), it is easy to verify that
$$\min_{t\in[\theta,1-\theta]}u(t)\geq\sigma\|u\|=\sigma R>\overline{R},\quad \forall u(t)\in \partial\Omega_{R}\cap P. $$
Then, for any \(u(t)\in\partial\Omega_{R}\cap P\), we have
$$\begin{aligned} Tu\biggl(\frac{1}{2}\biggr) =& \int_{0}^{1} \int_{0}^{1}G\biggl(\frac{1}{2},s\biggr)K(s, \tau)p(s)q(\tau )u(s)u^{\alpha}(\tau)\,d\tau\, ds \\ &{}+ \int_{0}^{1}G\biggl(\frac{1}{2},s\biggr)h(s)f \biggl(u, \int_{0}^{1}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau\biggr)\,ds \\ \geq& \int_{0}^{1}G\biggl(\frac{1}{2},s\biggr)h(s)f \biggl(u, \int_{0}^{1}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau\biggr)\,ds \\ \geq& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s \biggr)h(s)f\biggl(u, \int _{0}^{1}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau\biggr)\,ds \\ \geq& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s \biggr)h(s)f\biggl(u, \int_{\theta }^{1-\theta}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau\biggr)\,ds \\ \geq& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) f\biggl(\sigma\|u\|, \sigma^{\alpha}\|u\|^{\alpha}\min _{s\in[\theta,1-\theta ]} \int_{\theta}^{1-\theta}K(s,\tau)q(\tau)\,d\tau\biggr)\,ds \\ \geq& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) f\biggl(\sigma\|u\|, \sigma^{\alpha-1}\min_{s\in[\theta,1-\theta]} \int _{\theta}^{1-\theta}K(s,\tau)q(\tau)\,d\tau\cdot\sigma\|u\| \biggr)\,ds \\ =& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) f\bigl(\sigma\|u\|, m_{1} \sigma\|u\|\bigr)\,ds \\ \geq& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) \rho\sigma\|u\|\,ds > \|u\|. \end{aligned}$$
Consequently,
$$\|T u\|>\|u\|, \quad\forall u(t)\in\partial\Omega_{R}\cap P. $$

Then by Lemma 2.4, system (1) has a positive solution \((u(t), \int_{0}^{1}K(t,s)q(s)u^{\alpha}(s)\,ds)\). □

In the condition (H5) of Theorem 3.1, the function \(f(u,\varphi)\) is required to be nondecreasing in u and φ for \(u, \varphi>0\). If the function \(f(u,\varphi)\) is mixed monotone in the condition (H7), we impose a stronger requirement on the function \(h(t)\) in the condition (H6). Then, similar to the proof of Theorem 3.1, we can obtain the following theorem.

Theorem 3.2

Assume (H1)-(H4) hold, and \(\alpha\geq1\). In addition, the following conditions hold:
  1. (H6)
    \(h(t)\) satisfies \(h(t)\equiv0\) for \(t\in[0,\theta]\cup [1-\theta,1]\), and
    $$0< \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) \,ds; $$
     
  2. (H7)
    \(f\in C[R^{+}\times R^{+}, R^{+}]\), and \(f(u,\varphi)\) is nonincreasing in u and nondecreasing in φ for \(u, \varphi>0\). In addition, \(f(u,\varphi)\) satisfies the following conditions:
    $$\lim_{s\rightarrow\infty}\frac{f(s,m_{2}s)}{s}=\infty, \quad\quad\lim_{ s\rightarrow0} \frac{f(\sigma s,M_{2} s)}{s}=0, $$
    where
    $$m_{2}=\sigma^{\alpha}\min_{s\in[\theta,1-\theta]} \int_{\theta}^{1-\theta }K(s,\tau)q(\tau)\,d\tau,\quad\quad M_{2}= \int_{0}^{1}K(\tau,\tau)q(\tau)\,d\tau. $$
     
Then system (1) has at least one positive solution.

Theorem 3.3

Assume (H1)-(H3), (H6) hold and \(0<\alpha<1\). In addition,
  1. (H8)
    \(f\in C[R^{+}\times R^{+}, R^{+}]\), and \(f(u,\varphi)\) is nondecreasing in u and nonincreasing in φ for \(u, \varphi>0\). In addition, \(f(u,\varphi)\) satisfies the following conditions:
    $$\lim_{s\rightarrow\infty}\frac{f(\sigma s,M_{3}s)}{s}=\infty,\quad\quad \lim_{s\rightarrow0} \frac{f(s,m_{3}s)}{s}=0, $$
    where
    $$m_{3}=\sigma^{\alpha}\min_{s\in[\theta,1-\theta]} \int_{\theta}^{1-\theta }K(s,\tau)q(\tau)\,d\tau,\quad\quad M_{3}= \int_{0}^{1}K(\tau,\tau)q(\tau)\,d\tau. $$
     
Then system (1) has at least one positive solution.

Proof

Since \(\lim_{s\rightarrow0}\frac{f(s,m_{3} s)}{s}=0\), there exists a \(\eta>0\) with \(\eta<1\) such that
$$f(s,m_{3}s)\leq\epsilon s, \quad\mbox{for }0< s< \eta, $$
where ϵ satisfies
$$\epsilon C \int_{0}^{1}G(s,s)h(s)\,ds\leq\frac{1}{2}. $$
Taking \(r\in(0,\eta)\) and setting \(\Omega_{r}=\{u\in C[0,1]:\|u\|< r\}\), then, for any \(u(t)\in\partial\Omega_{r}\cap P\), we have
$$\begin{aligned} Tu(t) =& \int_{0}^{1} \int_{0}^{1}G(t,s)K(s,\tau)p(s)q( \tau)u(s)u^{\alpha}(\tau)\, d\tau\,ds \\ &{}+ \int_{0}^{1}G(t,s)h(s)f\biggl(u, \int_{0}^{1}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau \biggr)\,ds \\ =& C \int_{0}^{1} \int_{0}^{1}G(s,s)K(s,\tau)p(s)q(\tau) (\tau)\,d\tau \,ds\cdot r^{1+\alpha} \\ &{}+C \int_{0}^{1}G(s,s)h(s)f\biggl(r, \int_{0}^{1}K(s,\tau)q(\tau)u\bigl(^{\alpha}\tau\bigr)\, d\tau\biggr)\,ds \\ < & \frac{1}{2}r^{1+\alpha}+C \int_{0}^{1}G(s,s)h(s)f\biggl(r, \int_{\theta }^{1-\theta}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau\biggr)\,ds \\ \leq& \frac{1}{2}r+C \int_{0}^{1}G(s,s)h(s)f\biggl(r, \int_{\theta}^{1-\theta }K(s,\tau)q(\tau)\sigma^{\alpha}\|u \|^{\alpha}\, d\tau\biggr)\,ds \\ \leq& \frac{1}{2}r+C \int_{0}^{1}G(s,s)h(s)f\biggl(r,\min _{s\in[\theta,1-\theta]} \int_{\theta}^{1-\theta}K(s,\tau)q(\tau)\sigma^{\alpha}\|u \|^{\alpha}\, d\tau\biggr)\,ds \\ \leq& \frac{1}{2}r+C \int_{0}^{1}G(s,s)h(s)f\biggl(r,\min _{s\in[\theta,1-\theta]} \int_{\theta}^{1-\theta}K(s,\tau)q(\tau)\sigma^{\alpha}\,d\tau\cdot r\biggr)\,ds \\ \leq& r=\|u\|. \end{aligned}$$
Consequently,
$$\|T u\|\leq\|u\|, \quad\forall u(t)\in\partial\Omega_{r}\cap P. $$
On the other hand, since \(\lim_{s\rightarrow\infty}\frac{f(\sigma s,M_{3}s)}{s}=\infty\), there exists a \(\overline{R}>0\) such that
$$f(\sigma s,M_{3}s)\geq\rho s, \quad\forall s\geq\overline{ R}, $$
where ρ satisfies
$$\rho \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) \,ds>1. $$
Choosing \(R>\{\frac{\overline{R}}{\sigma}, 2\}\) and setting \(\Omega_{R}=\{u\in C[0,1]:\|u\|< R\}\), it is easy to see that
$$\min_{t\in[\theta,1-\theta]}u(t)\geq\sigma\|u\|=\sigma R>\overline{R}, \quad\forall u(t)\in \partial\Omega_{R}\cap P. $$
Then, for all \(u(t)\in\partial\Omega_{R}\cap P\), we have
$$\begin{aligned} Tu\biggl(\frac{1}{2}\biggr) =& \int_{0}^{1} \int_{0}^{1}G\biggl(\frac{1}{2},s\biggr)K(s, \tau)p(s)q(\tau )u(s)u^{\alpha}(\tau)\,d\tau\,ds \\ &{}+ \int_{0}^{1}G\biggl(\frac{1}{2},s\biggr)h(s)f \biggl(u, \int_{0}^{1}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau\biggr)\,ds \\ \geq& \int_{0}^{1}G\biggl(\frac{1}{2},s\biggr)h(s)f \biggl(u, \int_{0}^{1}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau\biggr)\,ds \\ \geq& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s \biggr)h(s)f\biggl(u, \int _{0}^{1}K(s,\tau)q(\tau)u^{\alpha}(\tau) \,d\tau\biggr)\,ds \\ \geq& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s \biggr)h(s)f\biggl(u, \int _{0}^{1}K(\tau,\tau)q(\tau)u^{\alpha}( \tau)\,d\tau\biggr)\,ds \\ \geq& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) f\bigl(\sigma\|u\|, M_{3} \|u\|^{\alpha}\bigr)\,ds \\ =& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) f\bigl(\sigma\|u\|, M_{3}\|u\|\bigr)\,ds \\ \geq& \int_{\theta}^{1-\theta} G\biggl(\frac{1}{2},s\biggr)h(s) \rho\|u\|\,ds >\|u\|. \end{aligned}$$
Consequently,
$$\|T u\|\geq\|u\|, \quad\forall u(t)\in\partial\Omega_{R}\cap P. $$

Therefore, by Lemma 2.4, system (1) has at least one positive solution. □

4 Examples

In this section, we only give some examples to illustrate the main theorems when \(\lambda=0\) and \(\theta=\frac{1}{4}\).

Example 4.1

Let us consider the following boundary value problem:
$$ \textstyle\begin{cases} -u''=t^{2}\varphi u+t(u^{2}+\varphi^{3}),\quad 0< t< 1,\\ -\varphi''= u^{2},\quad 0< t< 1,\\ u(0)=u(1)=0,\\ \varphi(0)=\varphi(1)=0, \end{cases} $$
where \(\alpha=2\), \(p(t)=t^{2}\), \(q(t)=1\), \(h(t)=t\), \(f(u,\varphi)=u^{2}+\varphi^{3}\). Next via some simple computation, it is easy to see that \(h(t):[0,1]\rightarrow[0,+\infty)\) is continuous, and
$$\begin{aligned}& \int_{0}^{1}G(s,s)h(s)\,ds= \int_{0}^{1}G(s,s)s\,ds= \int_{0}^{1}s(1-s)\,ds=\frac {1}{6}< \infty, \\& \int_{\frac{1}{4}}^{\frac{3}{4}} G\biggl(\frac{1}{2},s \biggr)h(s)\,ds= \int_{\frac {1}{4}}^{\frac{3}{4}} G\biggl(\frac{1}{2},s\biggr)s \,ds=\frac{3}{64}>0. \end{aligned}$$
Then (H3) and (H5) hold. Since \(p(t)=t^{2}\) and \(q(t)=1\), we obtain
$$\begin{aligned}& C \int_{0}^{1} \int_{0}^{1}G(s,s)K(s,\tau)p(s)q(\tau)\,d\tau\, ds \leq \int_{0}^{1} \int _{0}^{1}G(s,s)K(\tau,\tau)p(s)q(\tau)\,d\tau \,ds=\frac{1}{120}< \frac{1}{2}, \\& \min_{t\in[\frac{1}{4},\frac{3}{4}]} \int_{\frac{1}{4}}^{\frac {3}{4}}K(t,s)q(s)\,ds=\frac{1}{16}>0. \end{aligned}$$
So (H2) and (H4) hold. Finally, \(f(u,\varphi)\) are nondecreasing in u and φ for \(u, \varphi>0\), and
$$\lim_{s\rightarrow\infty}\frac{f(s,ms)}{s}=\infty,\quad\quad \lim_{s\rightarrow 0} \frac{f(s,M s)}{s}=0, $$
where \(m=\sigma^{\alpha-1}\min_{s\in[\frac{1}{4},\frac{3}{4}]}\int_{\frac {1}{4}}^{\frac{3}{4}}K(s,\tau)q(\tau)\,d\tau=\frac{3}{256}\), \(M=\int_{0}^{1}K(\tau,\tau)q(\tau)\,d\tau=\frac{1}{6}\). Thus (H6) holds. Therefore, from Theorem 3.1, the above problem has at least one positive solution.

Example 4.2

Let us consider the following boundary value problem:
$$ \textstyle\begin{cases} -u''=t^{2}\varphi u+t\frac{\varphi^{3}}{1+u},\\ -\varphi''= u^{2},\\ u(0)=u(1)=0,\\ \varphi(0)=\varphi(1)=0, \end{cases} $$
where \(\alpha=2\), \(p(t)=t^{2}\), \(q(t)=1\), \(f(u,\varphi)=\frac{\varphi^{3}}{1+u}\), and
$$ h(t)= \textstyle\begin{cases} 0, &0\leq t< \frac{1}{4},\\ -(t-\frac{1}{2})^{2}+\frac{1}{16},& \frac{1}{4}\leq t\leq\frac{3}{4},\\ 0,& \frac{3}{4}< t\leq1. \end{cases} $$
Therefore, from Theorem 3.2, it is easy to see that the above problem has at least one positive solution.

Example 4.3

Let us consider the following boundary value problem:
$$ \textstyle\begin{cases} -u''=t^{2}\varphi u+t\frac{u^{2}}{1+\varphi},\\ -\varphi''= u^{\frac{1}{2}},\\ u(0)=u(1)=0,\\ \varphi(0)=\varphi(1)=0, \end{cases} $$
where \(\alpha=\frac{1}{2}\), \(p(t)=t^{2}\), \(q(t)=1\), \(h(t)=t\), \(f(u,\varphi)=\frac{u^{2}}{1+\varphi}\). Therefore, from Theorem 3.3, it is easy to see that the above problem has at least one positive solution.

Declarations

Acknowledgements

The first author is supported by NSF of China (No. 11501165), NSF of Jiangsu Province (No. BK20130825), the Fundamental Research Funds for the Central Universities. The second author is supported by Joint fund project of science and Technology Department of Guizhou Province, No. [2014]7366.

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

Authors’ Affiliations

(1)
College of Science, Hohai University
(2)
College of Mechanical Engineering, Guizhou Institute of Technology

References

  1. Gu, Y, Wang, M: Existence of positive stationary solutions and threshold results for reaction-diffusion system. J. Differ. Equ. 130, 277-291 (1996) MathSciNetView ArticleMATHGoogle Scholar
  2. Wang, F, An, Y: Positive solutions for a second-order differential system. J. Math. Anal. Appl. 373, 370-375 (2011) MathSciNetView ArticleMATHGoogle Scholar
  3. Chen, R, Ma, R: Positive solutions of the second-order differential systems in reactor dynamics. Appl. Math. Comput. 219, 3882-3892 (2012) MathSciNetView ArticleGoogle Scholar
  4. Chen, R, Ma, R: Global bifurcation of positive radial solutions for an elliptic system in reactor dynamics. Comput. Math. Appl. 65, 1119-1128 (2013) MathSciNetView ArticleGoogle Scholar
  5. Ruiz, D: The Schrödinger-Poisson equation under the effect of a nonlinear local term. J. Funct. Anal. 237(2), 655-674 (2006) MathSciNetView ArticleMATHGoogle Scholar
  6. Jiang, Y, Zhou, H: Schrödinger-Poisson system with steep potential well. J. Differ. Equ. 249, 582-608 (2011) MathSciNetView ArticleGoogle Scholar
  7. Bonheure, D, Mercuri, C: Embedding theorems and existence results for nonlinear Schrödinger-Poisson systems with unbounded and vanishing potentials. J. Differ. Equ. 251, 1056-1085 (2011) MathSciNetView ArticleMATHGoogle Scholar
  8. de Figueiredo, DG, Ruf, B: Elliptic systems with nonlinearities of arbitrary growth. Mediterr. J. Math. 1(4), 417-431 (2004) MathSciNetView ArticleMATHGoogle Scholar
  9. Kcistaly, A: On a new class of elliptic systems with nonlinearities of arbitrary growth. J. Differ. Equ. 249, 1917-1928 (2010) View ArticleGoogle Scholar
  10. Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988) MATHGoogle Scholar
  11. Li, Y: Positive solutions of fourth-order boundary value problems with two parameters. J. Math. Anal. Appl. 281, 477-484 (2003) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Wang and Wang 2016