Multiple positive solutions to some second-order integral boundary value problems with singularity on space variable

Qiuyan Zhong; Xingqiu Zhang

doi:10.1186/s13661-017-0822-9

Research

Open Access

Multiple positive solutions to some second-order integral boundary value problems with singularity on space variable

Qiuyan Zhong¹ and
Xingqiu Zhang^{2, 3}Email author View ORCID ID profile

Boundary Value Problems20172017:90

https://doi.org/10.1186/s13661-017-0822-9

Received: 8 December 2016

Accepted: 7 June 2017

Published: 17 June 2017

Abstract

This article deals with integral boundary value problems of the second-order differential equations

$$\left \{ \textstyle\begin{array}{lcl} u''(t)+a(t)u'(t)+b(t)u(t)+f(t,u(t))=0,\quad t\in J_{+},\\ u(0)= \int_{0}^{1}g(s)u(s)\,\text{d}s,\qquad u(1)=\int _{0}^{1}h(s)u(s)\,\text{d}s, \end{array}\displaystyle \right .$$

where $a\in C(J)$, $b\in C(J, R_{-})$, $f\in C(J_{+}\times R_{+}, R^{+})$ and $g, h\in L^{1}(J)$ are nonnegative. The result of the existence of two positive solutions is established by virtue of fixed point index theory on cones. Especially, the nonlinearity f permits the singularity on the space variable.

Keywords

integral boundary valueconetwo positive solutionssingularity

MSC

34B1534B18

1 Introduction

The aim of this article is to study the existence of two positive solutions to the following nonlinear second-order differential equation involving integral boundary value conditions:

$$ \left \{ \textstyle\begin{array}{l} u''(t)+a(t)u'(t)+b(t)u(t)+f(t,u(t))=0,\quad t\in J_{+},\\ u(0)= \int_{0}^{1}g(s)u(s)\,\mathrm{d}s, \quad\quad u(1)=\int _{0}^{1}h(s)u(s)\,\mathrm{d}s, \end{array}\displaystyle \right . $$

(1)

where $a\in C(J)$, $b\in C(J, R_{-})$, $f\in C(J_{+}\times R_{+}, R^{+})$ and $g, h\in L^{1}(J)$ are nonnegative, $J=[0,1]$, $J_{+}=(0,1)$, $R^{+}=[0,+\infty)$, $R_{+}=(0,+\infty)$, $R_{-}=(-\infty,0)$. Singularities of the nonlinearity f are related to both $t=0,1$ and $u=0$.

Recently, there has been a considerable increase in the investigation of nonlocal boundary value problems; see [1–11] for integer order and [12–22] for fractional differential equations. Based on a specially constructed cone, the existence as well as nonexistence results on positive solutions for the following second-order integral BVPs are obtained in an abstract space in Feng et al. [1]:

$$\left \{ \textstyle\begin{array}{l} u''(t)+f(t,u(t))=\theta,\quad t\in J_{+},\\ u(0)=\int_{0}^{1}g(t)u(t)\,\mathrm{d}t,\qquad u(1)=\theta,\\ \quad\mbox{or}\quad u(0)=0,\qquad u(1)=\int_{0}^{1}g(t)u(t)\,\mathrm{d}t, \end{array}\displaystyle \right . $$

here $f \in C([0, 1] \times P, P), \theta$ represents the zero element of E, and g is nonnegative and integrable. Also, in an abstract space, by the fixed point theorem of strict set contraction operators, Zhang et al. [2] obtained the existence results of solutions for some second-order integral boundary value problems with the impulsive effect.

For general differential operator, when the nonlinearity f is continuous, Feng and Ge [3] studied multiple positive solutions for the following singular m-point boundary value problems:

$$\left \{ \textstyle\begin{array}{l} Lu=\lambda w(t)f(t,u), \quad t\in J_{+},\\ u'(0)=0, \qquad u(1)=\sum_{i=1}^{m-2}\alpha_{i}u(\xi_{i}), \end{array}\displaystyle \right . $$

here $\lambda> 0$, $\xi_{i}\in(0, 1)$, $\alpha_{i}\in R_{+}$ ($i = 1, 2, \ldots, m-2$) are known constants and L represents the linear operator

$$Lu:=-u''-au'+bu, $$

where $a \in C(J)$ and $b \in C(J, R_{+})$, $f \in C(J \times R^{+}, R^{+})$, $w \in C(J_{+}, R_{+})$. As is well known, two, three and multi-point BVPs may be looked upon as a special case of integral boundary value problems. For integral conditions, with some so-called first eigenvalue of the related linear operator, Liu et al. [4] formulated the existence results for BVP (1). The whole discussion relied on the fixed point index theorems. With the impulsive effect, under different combinations of super-linear and sub-linear condition on nonlinear term and the impulses, some results of existence of multiple positive solutions as well as nonexistence results for BVP (1) are obtained in Hao et al. [5].

We attempt in this article to study the existence of two positive solutions of BVP (1). The interesting points focus on two aspects. First, singularities of the nonlinearity f are related not only to the time but also to the space variables. Second, compared with [4], the method and conditions used to get result of multiple positive solutions are quite different from that used in [4]. The integral of the nonlinearity on some special bounded set is considered in this paper. The tools used to obtain the main result are fixed point index theorems on cones. Obviously, the result obtained in this paper can be analogously given for the Riemann-Stieltjes integral case after some minor modifications.

2 Preliminaries and several lemmas

Let $\psi_{1}$ and $\psi_{2}$ be the unique solution of the BVP

$$\left \{ \textstyle\begin{array}{lcl} \psi_{1}''(t)+a(t)\psi_{1}'(t)+b(t)\psi_{1}(t)=0, \\ \psi_{1}(0)=0,\qquad \psi_{1}(1)=1, \end{array}\displaystyle \right . $$

and

$$\left \{ \textstyle\begin{array}{l} \psi_{2}''(t)+a(t)\psi_{2}'(t)+b(t)\psi_{2}(t)=0, \\ \psi_{2}(0)=1, \qquad\psi_{2}(1)=0, \end{array}\displaystyle \right . $$

respectively. By [8], we know that $\psi_{1}$, $\psi_{2}$ are strictly increasing and strictly decreasing on J, respectively.

We adopt the following assumptions throughout this article.

$\mathrm{(H_{1})}$ :: $a\in C(J)$, $b\in C(J, R_{-})$;

$\mathrm{(H_{2})}$ :: $g, h: J_{+}\to R^{+}$ are integrable, and $k_{1}>0$, $k_{4}>0$, $k>0$, where
$$\begin{gathered} k_{1}=1- \int_{0}^{1}\psi_{2}(s)g(s)\,\mathrm{d}s, \qquad k_{2}= \int_{0}^{1}\psi_{1}(s)g(s)\,\mathrm{d}s, \\k_{3}= \int_{0}^{1}\psi_{2}(s)h(s)\,\mathrm{d}s, \qquad k_{4}=1- \int_{0}^{1}\psi_{1}(s)h(s)\,\mathrm{d}s , \\k=k_{1}k_{4}-k_{2}k_{3}; \end{gathered} $$

$\mathrm{(H_{3})}$ :: $f\in C(J_{+}\times R_{+}, R^{+})$;

$\mathrm{(H_{4})}$ :: there exist three functions $\widehat{a}, \widehat{b}\in C(J_{+}, R^{+})$, $\widehat{g}\in C(R_{+}, R^{+})$ satisfying
$$f(t,u)\leq\widehat{a}(t)\widehat{g}(u)+\widehat{b}(t),\quad \forall t\in J_{+}, u \in R_{+}, $$
where, in addition,
$$\widehat{a}_{r}^{*}= \int_{0}^{1}\mathcal{H}(t)\widehat{a}(t)\widehat {g}_{r}(t)\,\mathrm{d}t< +\infty, \qquad \widehat{b}^{*}= \int_{0}^{1}\mathcal {H}(t)\widehat{b}(t) \,\mathrm{d}t< +\infty, $$
and
$$\widehat{g}_{r}(t)=\max\bigl\{ \widehat{g}(u): \gamma(t)r \leq u\leq r \bigr\} ,\quad \forall r>0, $$
here, $\gamma(t)$ is defined in (6), $\mathcal{H}(t)$ is defined in (7);

$\mathrm{(H_{5})}$ :: there exists a function $\widehat{c}\in C(J_{+}, R^{+})$ satisfying
$$\frac{f(t,u)}{\widehat{c}(t)u}\to+\infty\quad \mbox{as } u\to +\infty $$
uniformly for $t\in J_{+}$, and in addition,
$$\widehat{c}^{*}= \int_{0}^{1}\widehat{c}(t)\,\mathrm{d}t< +\infty; $$

$\mathrm{(H_{6})}$ :: there exists a function $\widehat{d}\in C(J_{+}, R^{+})$ satisfying
$$\frac{f(t,u)}{\widehat{d}(t)}\to+\infty \quad\mbox{as } u\to0^{+} $$
uniformly for $t\in J_{+}$, and in addition,
$$\widehat{d}^{*}= \int_{0}^{1}\widehat{d}(t)\,\mathrm{d}t< +\infty. $$

Lemma 1

[4]

Assume that $(\mathrm{H_{1}})$ and $(\mathrm{H_{2}})$ hold. Then, for any $y\in C(J_{+})\cap L^{1}(J)$, the BVP

$$ \left \{ \textstyle\begin{array}{l} u''(t)+a(t)u'(t)+b(t)u(t)+y(t)=0,\quad t\in J_{+},\\ u(0)= \int_{0}^{1}g(s)u(s)\,\mathrm{d}s, \qquad u(1)=\int _{0}^{1}h(s)u(s)\,\mathrm{d}s, \end{array}\displaystyle \right . $$

(2)

has a unique solution u that can be expressed in the form

$$u(t)= \int_{0}^{1}H(t,s)y(s)\,\mathrm{d}s, \quad t\in J, $$

where

$$\begin{aligned}& \begin{aligned}[b] H(t,s)={}& G(t,s)p(s)+\frac{\psi_{1}(t)k_{3}+\psi _{2}(t)k_{4}}{k}\int_{0}^{1}G(\tau,s)p(s)g(\tau)\,\mathrm{d}\tau\\ & +\frac{\psi_{1}(t)k_{1}+\psi_{2}(t)k_{2}}{k}\int_{0}^{1}G(\tau ,s)p(s)h(\tau)\,\mathrm{d}\tau, \end{aligned} \end{aligned}$$

(3)

$$\begin{aligned}& p(t)=\exp \biggl( \int_{0}^{t}a(s)\,\mathrm{d}s \biggr), \\& G(t,s)=\frac{1}{\rho} \left \{ \textstyle\begin{array}{l@{\quad}l} \psi_{1}(t)\psi_{2}(s), & 0\leq t\leq s\leq1,\\ \psi_{1}(s)\psi_{2}(t), & 0\leq s\leq t\leq1, \end{array}\displaystyle \right .\quad \rho=\psi_{1}'(0). \end{aligned}$$

(4)

Moreover, $u(t)\geq0$ on J provided $y\geq0$.

By Remark 2.1 in [4], we have

Lemma 2

[4] Suppose that $(\mathrm{H_{1}})$ and $(\mathrm{H_{2}})$ hold, then, for any $t,s \in J$, we have

$$\begin{aligned}& 0\leq G(t,s)\leq G(s,s), \qquad 0\leq H(t,s)\leq\mathcal {H}(s), \end{aligned}$$

(5)

$$\begin{aligned}& H(t,s)\geq\gamma(t)\mathcal{H}(s), \end{aligned}$$

(6)

where $\gamma(t)=\min\{\psi_{1}(t), \psi_{2}(t)\}$, $t\in J$ and

$$ \mathcal{H}(s)=G(s,s)p(s)+\frac{k_{3}+k_{4}}{k} \int _{0}^{1}G(\tau,s)p(s)g(\tau)\,\mathrm{d}\tau+ \frac{k_{1}+k_{2}}{k} \int _{0}^{1}G(\tau,s)p(s)h(\tau)\,\mathrm{d} \tau. $$

(7)

Let $E=C(J)$ be the standard Banach space with the maximum norm and P be the typical cone of nonnegative continuous functions in the form

$$ P=\bigl\{ u\in E:u(t)\geq\gamma(t)\|u\|, t\in J\bigr\} . $$

Let $P_{mn}=\{u\in P, m\leq\|u\|\leq n\}$, $P_{r}=\{u\in P: \|u\|\leq r\}$ for $n>m>0$, $r>0$.

First, we give an operator $T:P\setminus\{0\}\to C(J)$ as follows:

$$ (Tu) (t)= \int_{0}^{1}H(t,s)f\bigl(s,u(s)\bigr)\,\mathrm{d}s, \quad t \in J. $$

(8)

Lemma 3

If conditions $(\mathrm{H_{1}})$ and $(\mathrm{H_{2}})$ are satisfied, then, for any $n>m>0$, $T:P_{mn}\to P$ is a completely continuous operator.

Proof

For any given $u\in P_{mn}$, we have $m\leq\|u\|\leq n$. From the construction of P, we have

$$ \gamma(t)m\leq u(t)\leq n, \quad\forall t\in J. $$

(9)

Clearly, for any $n>m>0$, condition $(\mathrm{H_{4}})$ means that

$$ \widehat{a}^{*}_{mn}= \int_{0}^{1}\mathcal{H}(t)\widehat {a}(t) \widehat{g}_{mn}(t)\,\mathrm{d}t< +\infty, $$

(10)

where

$$ \widehat{g}_{mn}(t)=\max\bigl\{ \widehat{g}(u):\gamma (t)m\leq u\leq n \bigr\} . $$

(11)

It follows from (8), $(\mathrm{H_{3}})$, $(\mathrm{H_{4}})$ and Lemma 2 that

$$ f\bigl(t, u(t)\bigr)\leq\widehat{a}(t)\widehat {g}_{mn}(t)+ \widehat{b}(t), \quad\forall t\in J_{+}, u\in P_{mn}, $$

(12)

and

$$ \begin{aligned}[b] (Tu)(t)&= \int_{0}^{1}H(t,s)f\bigl(s,u(s)\bigr)\,\mathrm{d}s\\ &\leq \int_{0}^{1}\mathcal{H}(s)f\bigl(s,u(s)\bigr)\,\mathrm{d}s\\ &\leq \int_{0}^{1}\mathcal{H}(s)\bigl[\widehat{a}(s)\widehat {g}_{mn}(s)+\widehat{b}(s)\bigr]\,\mathrm{d}s\\ &= \widehat{a}_{mn}^{*}+\widehat{b}^{*}, \quad\forall t\in J, \end{aligned} $$

(13)

which shows that T makes sense. According to Lemma 2, we have for any $t\in J$

$$\begin{aligned} (Tu)(t)&= \int_{0}^{1}H(t,s)f\bigl(s,u(s)\bigr)\,\mathrm{d}s\\ &\leq \int_{0}^{1}\mathcal {H}(s)f\bigl(s,u(s)\bigr)\,\mathrm{d}s. \end{aligned} $$

Hence,

$$ \|Tu\|\leq \int_{0}^{1}\mathcal{H}(s)f\bigl(s,u(s)\bigr)\,\mathrm{d}s. $$

(14)

At the same time, by Lemma 2 and (14), we get

$$ \begin{aligned}[b] (Tu)(t)&= \int_{0}^{1}H(t,s)f\bigl(s,u(s)\bigr)\,\mathrm{d}s\\ &\geq \gamma(t)\int_{0}^{1}\mathcal{H}(s)f\bigl(s,u(s)\bigr)\,\mathrm {d}s\\ &\geq \gamma(t)\|Tu\|, \quad\forall t\in J. \end{aligned} $$

(15)

This indicates that T maps $P_{mn}$ into P.

Next, we shall show the complete continuity of the operator T. Let $u_{n}, \bar{u}\in P_{mn}$, with $\|u_{n}-\bar{u}\|\to0$ ($n\to\infty $); then $\lim _{n\to\infty}u_{n}(t)=\bar{u}(t)$, $t\in J$. Let

$$\begin{gathered} (T_{1}u) (t)=f\bigl(t,u(t)\bigr),\quad \mbox{for any } t\in J_{+}, u\in P_{mn}, \\(T_{2}u) (t)= \int_{0}^{1}H(t,s)u(s)\,\mathrm{d}s, \quad\mbox{for any } t\in J_{+}, u\in L^{1}(J). \end{gathered}$$

By $(\mathrm{H_{1}})$,

$$ f\bigl(t,u_{n}(t)\bigr)\to f\bigl(t,\bar{u}(t)\bigr) \quad(n\to+\infty), \mbox{for any } t\in J_{+}. $$

(16)

Similar to (12), for $u_{n}, \bar{u}\in P_{mn}$, one has

$$ f\bigl(t, u_{n}(t)\bigr)\leq\widehat{a}(t)\widehat {g}_{mn}(t)+\widehat{b}(t),\qquad f\bigl(t, \bar{u}(t)\bigr)\leq\widehat {a}(t)\widehat{g}_{mn}(t)+\widehat{b}(t), \quad\forall t\in J_{+}. $$

Then one gets

$$ \big|f\bigl(t, u_{n}(t)\bigr)-f\bigl(t, \bar{u}(t)\bigr)\big|\leq2\widehat {a}(t)\widehat{g}_{mn}(t)+2\widehat{b}(t)\stackrel{\Delta}{=}\sigma (t)\in L^{1}(J). $$

(17)

The Lebesgue dominated convergence theorem together with (16) and (17) generates

$$ \lim_{n\to\infty} \int_{0}^{1}\big|(T_{1}u_{n}) (t)- \bigl(T_{1}\bar {u}(t)\bigr)\big|\,\mathrm{d}t=0. $$

That is to say $T_{1}: P_{mn}\to L^{1}(J)$ is continuous. Furthermore, the complete continuity of the operator $T_{2}:L^{1}(J)\to C(J)$ can easily be verified by the Arzela-Ascoli theorem and a standard discussion. Hence, by the property of compound operators we see that $T=T_{2}\circ T_{1}: P_{mn}\to C(J)$ is completely continuous. □

Lemma 4

[23]

Let E be a Banach space, $P\subset E$ a cone in E. For $r>0$, define $P_{r}=\{u\in P: \|u\|\leq r\}$. Assume that $T:P_{r}\to P$ is a compact map such that $Tu\neq u$ for $u\in\partial P_{r}=\{u\in P: \|u\| =r\}$.

(i)

If $\|u\|\leq\|Tu\|$, $\forall u\in \partial P_{r}$, then
$$i(T, P_{r}, P)=0. $$
(ii)

If $\|u\|\geq\|Tu\|$, $\forall u\in \partial P_{r}$, then
$$i(T, P_{r}, P)=1. $$

3 Main results

Theorem 1

Let conditions $(\mathrm{H_{1}})$-$(\mathrm {H_{6}})$ be satisfied. Furthermore, there exists a constant $\widehat {r}>0$ satisfying

$$ \widehat{a}_{\widehat{r}}^{*}+\widehat{b}^{*}< \widehat {r}, $$

(18)

here, $\widehat{a}_{\widehat{r}}^{*}$ and $\widehat{b}^{*}$ are given in $(\mathrm{H_{4}})$. Then the BVP (1) admits at least two positive solutions $x^{*}$ and $x^{**}$ such that $0<\|x^{*}\|<\widehat{r}<\|x^{**}\|$.

Proof

From Lemma 3, we know that for any $n>m>0$, the operator T maps $P_{mn}$ into P and is completely continuous. Next, we are in a position to show that T has two distinct positive fixed points $x^{*}$, $x^{**}$ such that $0<\|x^{*}\|<\widehat{r}<\|x^{**}\|$.

From $(\mathrm{H_{5}})$ we know there exists a constant $r_{1}>0$ satisfying

$$ f(t,u)> \biggl(\gamma_{\frac{1}{4}} \int_{\frac {1}{4}}^{\frac{3}{4}}H\biggl(\frac{1}{2},s\biggr) \widehat{c}(s)\,\mathrm{d}s \biggr)^{-1}\widehat{c}(t)u,\quad \forall t\in J_{+}, u\geq r_{1}. $$

(19)

Let $0<\gamma_{\frac{1}{4}}=\min_{t\in[\frac{1}{4},\frac{3}{4}]}\{ \psi_{1}(t), \psi_{2}(t)\}<1$. Choose

$$ r_{2}>\max \biggl\{ \frac{r_{1}}{\gamma_{\frac{1}{4}}}, \widehat{r} \biggr\} . $$

(20)

For $u\in\partial P_{r_{2}}$, considering the definition of cone P, we have

$$ u(t)\geq\gamma(t)r_{2} \geq\gamma_{\frac {1}{4}}r_{2}>r_{1},\quad \forall t\in \biggl[\frac{1}{4}, \frac{3}{4} \biggr]. $$

(21)

So, we get from (19), (20), (21) that

$$ \begin{aligned}[b] (Tu)\biggl(\frac{1}{2}\biggr)&= \int_{0}^{1}H\biggl(\frac {1}{2},s\biggr)f\bigl(s,u(s)\bigr)\,\mathrm{d}s\\ &> \biggl(\gamma_{\frac{1}{4}}\int_{\frac {1}{4}}^{\frac{3}{4}}H\biggl(\frac{1}{2},s\biggr)\widehat{c}(s)\,\mathrm{d}s \biggr)^{-1} \int_{\frac{1}{4}}^{\frac{3}{4}}H\biggl(\frac{1}{2},s\biggr)\widehat {c}(s)u(s)\,\mathrm{d}s\\ &\geq \biggl(\gamma_{\frac{1}{4}}\int_{\frac {1}{4}}^{\frac{3}{4}}H\biggl(\frac{1}{2},s\biggr)\widehat{c}(s)\,\mathrm{d}s \biggr)^{-1} \int_{\frac{1}{4}}^{\frac{3}{4}}H\biggl(\frac{1}{2},s\biggr)\widehat {c}(s)\,\mathrm{d}s\cdot\gamma_{\frac{1}{4}}r_{2}=r_{2}, \end{aligned} $$

(22)

i.e., $\|Tu\|>\|u\|$, $u\in\partial P_{r_{2}}$. Therefore, by Lemma 4,

$$ i(T, P_{r_{2}}, P)=0. $$

(23)

By condition $(\mathrm{H_{6}})$, there exists a constant $r_{3}>0$ satisfying

$$ f(t,u)> \biggl( \int_{\frac{1}{4}}^{\frac {3}{4}}H\biggl(\frac{1}{2},s\biggr) \widehat{d}(s)\,\mathrm{d}s \biggr)^{-1}\widehat {d}(t)\widehat{r},\quad \forall t\in J_{+}, 0< u< r_{3}. $$

(24)

Choose

$$ 0< r_{4}< \min\{r_{3}, \widehat{r}\}. $$

(25)

For $u\in\partial P_{r_{4}}$, we have

$$r_{3}>r_{4}=\|u\|\geq\gamma_{\frac{1}{4}}r_{4}>0, \quad\forall t\in J_{+}. $$

So, we get from (24) and (25) that

$$ \begin{aligned}[b] (Tu)\biggl(\frac{1}{2}\biggr)&= \int_{0}^{1}H\biggl(\frac {1}{2},s\biggr)f\bigl(s,u(s)\bigr)\,\mathrm{d}s\\ &> \biggl(\int_{\frac{1}{4}}^{\frac{3}{4}}H\biggl(\frac {1}{2},s\biggr)\widehat{d}(s)\,\mathrm{d}s \biggr)^{-1} \int_{\frac{1}{4}}^{\frac{3}{4}}H\biggl(\frac{1}{2},s\biggr)\widehat {d}(s)\widehat{r}\,\mathrm{d}s\\ &\geq \biggl(\int_{\frac{1}{4}}^{\frac{3}{4}}H\biggl(\frac {1}{2},s\biggr)\widehat{d}(s)\,\mathrm{d}s \biggr)^{-1} \int_{\frac{1}{4}}^{\frac{3}{4}}H\biggl(\frac{1}{2},s\biggr)\widehat {d}(s)\,\mathrm{d}s\cdot\widehat{r}=\widehat{r}>r_{4}, \end{aligned} $$

(26)

i.e., $\|Tu\|>\|u\|$, $u\in\partial P_{r_{4}}$. Therefore, by Lemma 4,

$$ i(T, P_{r_{4}}, P)=0. $$

(27)

In a similar manner, for $u\in\partial P_{\widehat{r}}$, by $(\mathrm {H_{4}})$, Lemma 2 and (14), we get

$$ \begin{aligned}[b] (Tu)(t)&= \int_{0}^{1}H(t,s)f\bigl(s,u(s)\bigr)\,\mathrm{d}s\\ &\leq \int_{0}^{1}\mathcal{H}(s)f\bigl(s,u(s)\bigr)\,\mathrm{d}s\\ &\leq\int_{0}^{1}\mathcal{H}(s)\bigl[\widehat{a}(s)\widehat {g}_{\widehat{r}}(s)+\widehat{b}(s)\bigr]\,\mathrm{d}s\\ &\leq \widehat{a}_{\widehat{r}}^{*}+\widehat {b}^{*}< \widehat{r}, \quad\forall t\in J, \end{aligned} $$

(28)

i.e., $\|Tu\|<\|u\|$, $u\in\partial P_{\widehat{r}}$. Therefore, by Lemma 4, we get

$$ i(T, P_{\widehat{r}}, P)=1. $$

(29)

Now, the additivity of the fixed point index together with (23), (27), (29) implies that

$$i(T, P_{r_{2}}\setminus\mathring{P}_{\widehat{r}}, P)=-1 $$

and

$$i(T, P_{\widehat{r}}\setminus\mathring{P}_{r_{4}}, P)=1. $$

Hence, T has two fixed points $x^{*}$ and $x^{**}$ which belong to $P_{\widehat{r}}\setminus\mathring{P}_{r_{4}}$ and $P_{r_{2}}\setminus \mathring{P}_{\widehat{r}}$, respectively, such that $0< r_{4}<\|x^{*}\|<\widehat{r}<\|x^{**}\|\leq r_{2}$. □

4 An example

Example 1

Consider the following second-order singular integral BVPs:

$$ \left \{ \textstyle\begin{array}{l} u''(t)+u'(t)-2u(t)+\frac{1}{560\sqrt[8]{(1-t)}} (u^{2}+\frac {1}{3\sqrt[4]{u}} )+\frac{1}{420\sqrt[3]{t(1-t)}}=0,\quad 0< t< 1,\\ u(0)= \int_{0}^{1}su(s)\,\mathrm{d}s, \qquad u(1)=\int _{0}^{1}s^{2}u(s)\,\mathrm{d}s. \end{array}\displaystyle \right . $$

(30)

Conclusion

BVP (30) admits at least two positive solutions $x^{*}$ and $x^{**}$ satisfying $0<\|x^{*}\|<1<\|x^{**}\|$.

Proof

Clearly, BVP (30) has the form (1), in which $a(t)\equiv1$, $b(t)\equiv-2$, $f(t,u)=\frac{1}{560\sqrt [8]{(1-t)}} (u^{2}+\frac{1}{3\sqrt[4]{u}} )+\frac{1}{420\sqrt [3]{t(1-t)}}$, $g(s)=s$, $h(s)=s^{2}$. Obviously, $f(t,u)$ permits singularities at $t=0, 1$ and $u=0$.

Let $\psi_{1}$ and $\psi_{2}$ satisfy

$$\left \{ \textstyle\begin{array}{l} \psi_{1}''(t)+\psi_{1}'(t)-2\psi_{1}(t)=0, \\ \psi_{1}(0)=0, \quad\quad\psi_{1}(1)=1, \end{array}\displaystyle \right . \qquad \left \{ \textstyle\begin{array}{l} \psi_{2}''(t)+\psi_{2}'(t)-2\psi_{2}(t)=0, \\ \psi_{2}(0)=1,\qquad \psi_{2}(1)=0. \end{array}\displaystyle \right . $$

By a simple computation, we get

$$\begin{gathered} \psi_{1}(t)=\frac{1}{e-e^{-2}} \bigl(e^{t}-e^{-2t} \bigr),\qquad \psi _{2}(t)=\frac{1}{e-e^{-2}} \bigl(e^{1-2t}-e^{t-2} \bigr), \\ \rho=\frac {3}{e-e^{-2}},\quad\quad p(t)=e^{t}, \\k_{1}=1-\frac{-\frac{3}{4}e^{-1}+\frac {1}{4}e-e^{-2}}{e-e^{-2}}=0.8961,\qquad k_{2}= \frac{\frac{3}{4}e^{-2}+\frac {3}{4}}{e-e^{-2}}=0.3297, \\k_{3}=\frac{-\frac{9}{4}e^{-1}+\frac {1}{4}e+2e^{-2}}{e-e^{-2}}=0.0474,\quad\quad k_{4}=1- \frac{e+\frac {5}{4}e^{-2}-\frac{9}{4}}{e-e^{-2}}=0.7532,\\ k=k_{1}k_{4}-k_{2}k_{3}=0.6593>0, \\G(t,s)=\frac{1}{3(e-e^{-2})}\left \{ \textstyle\begin{array}{l@{\quad}l} (e^{t}-e^{-2t})(e^{1-2s}-e^{s-2}), &0\leq t\leq s\leq1,\\ (e^{s}-e^{-2s})(e^{1-2t}-e^{t-2}), & 0\leq s\leq t\leq1. \end{array}\displaystyle \right . \end{gathered} $$

It is not difficult to see that $0< G(t,s)< 2s$ and

$$ \mathcal{H}(s)=G(s,s)p(s)+\frac{k_{3}+k_{4}}{k} \int _{0}^{1}G(\tau,s)p(s)g(\tau)\,\mathrm{d}\tau+ \frac{k_{1}+k_{2}}{k} \int _{0}^{1}G(\tau,s)p(s)h(\tau)\,\mathrm{d}\tau< 28s. $$

For any given $r>0$, we can see that $(\mathrm{H_{4}})$ is valid for $\widehat{a}(t)=\frac{1}{560\sqrt[8]{(1-t)}}$, $g(u)=u^{2}+\frac {1}{3\sqrt[4]{u}}$, $b(t)=\frac{1}{420\sqrt[3]{t(1-t)}}$, and it follows from $0\leq\frac{3}{2(e-e^{-2})^{2}}t(1-t)^{2} \leq\gamma (t)\leq1$ that

$$ \begin{aligned}[b] \widehat{a}_{r}^{*}&= \int_{0}^{1}\mathcal{H}(t)\widehat {a}(t) \widehat{g}_{r}(t)\,\mathrm{d}t\\ &< \int_{0}^{1}28t\frac{1}{560\sqrt[8]{(1-t)}} \biggl(r^{2}+\frac{e-e^{-2}}{3\sqrt[4]{\frac{3}{2(e-e^{-2})^{2}}t(1-t)^{2} r}} \biggr)\,\mathrm{d}t< + \infty, \end{aligned}$$

(31)

$\widehat{b}^{*}=\int_{0}^{1}\mathcal{H}(t)\widehat{b}(t)\,\mathrm {d}t<0.0684$. Clearly, $(\mathrm{H_{5}})$ and $(\mathrm{H_{6}})$ hold for $\widehat{c}(t)=\widehat{d}(t)=\frac{1}{560\sqrt[8]{(1-t)}}$, and $c^{*}=d^{*}= 0.0020$. Take $\widehat{r}=1$; we have by (31)

$$ \begin{aligned} \widehat{a}_{\widehat{r}}^{*}+\widehat{b}^{*}&< \int _{0}^{1}t\frac{1}{20\sqrt[8]{(1-t)}} \biggl(1+ \frac{e-e^{-2}}{3\sqrt[4]{\frac{3}{2(e-e^{-2})^{2}}t(1-t)^{2} }} \biggr)\,\mathrm{d}t+0.0684 \\ &=0.0305+0.0773 +0.0684=0.1762< 1=\widehat{r}. \end{aligned}$$

Consequently, (18) holds and our conclusion can be deduced from Theorem 1. □

Declarations

Acknowledgements

The project is supported financially by a Project of Shandong Province Higher Educational Science and Technology Program (J15LI16), NSFC cultivation project of Jining Medical University, the Natural Science Foundation of Shandong Province of China (ZR2015AL002), the National Natural Science Foundation of China (11571296, 11571197, 11371221, 11071141) and the Foundations for Jining Medical College Natural Science (JY2015KJ019, JY2015BS07, JYQ14KJ06).

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)

Center for Information Technology, Jining Medical College, Jining, P.R. China

(2)

School of Medical Information Engineering, Jining Medical College, Rizhao, P.R. China

(3)

School of Mathematics, Liaocheng University, Liaocheng, P.R. China

References

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) MathSciNetView ArticleMATHGoogle Scholar
Zhang, X, Feng, M, Ge, W: Existence of solutions of boundary value problems with integral boundary conditions for second-order impulsive integro-differential equations in Banach spaces. J. Comput. Appl. Math. 233, 1915-1926 (2010) MathSciNetView ArticleMATHGoogle Scholar
Feng, M, Ge, W: Positive solutions for a class of m-point singular boundary value problems. Math. Comput. Model. 46, 375-383 (2007) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
Kong, L: Second order singular boundary value problems with integral boundary conditions. Nonlinear Anal. 72, 2628-2638 (2010) MathSciNetView ArticleMATHGoogle Scholar
Ma, R, Wang, H: Positive solutions of nonlinear three-point boundary-value problems. J. Math. Anal. Appl. 279, 216-227 (2003) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetMATHGoogle Scholar
Kang, P, Wei, Z: Three positive solutions of singular nonlocal boundary value problems for systems of nonlinear second-order ordinary differential equations. Nonlinear Anal. 70, 444-451 (2009) MathSciNetView ArticleMATHGoogle Scholar
Jiang, J, Liu, L, Wu, Y: Second-order nonlinear singular Sturm-Liouville problems with integral boundary conditions. Appl. Math. Comput. 215, 1573-1582 (2009) MathSciNetMATHGoogle Scholar
Zhang, X: Positive solutions for a class of singular fractional differential equation with infinite-point boundary value conditions. Appl. Math. Lett. 39, 22-27 (2015) MathSciNetView ArticleMATHGoogle Scholar
Wang, G: Explicit iteration and unbounded solutions for fractional integral boundary value problem on an infinite interval. Appl. Math. Lett. 47, 1-7 (2015) MathSciNetView ArticleMATHGoogle Scholar
Ahmad, B, Sivasundaram, S: Existence of solutions for impulsive integral boundary value problems of fractional order. Nonlinear Anal. Hybrid Syst. 4, 134-141 (2010) MathSciNetView ArticleMATHGoogle Scholar
Yuan, C: Two positive solutions for $(n-1,1)$-type semipositone integral boundary value problems for coupled systems of nonlinear fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 930-942 (2012) MathSciNetView ArticleMATHGoogle Scholar
Cabada, A, Hamdi, Z: Nonlinear fractional differential equations with integral boundary value conditions. Appl. Math. Comput. 228, 251-257 (2014) MathSciNetMATHGoogle Scholar
Zhang, X, Wang, L, Sun, Q: Existence of positive solutions for a class of nonlinear fractional differential equations with integral boundary conditions and a parameter. Appl. Math. Comput. 226, 708-718 (2014) MathSciNetMATHGoogle Scholar
Zhao, K, Liang, J: Solvability of triple-point integral boundary value problems for a class of impulsive fractional differential equations. Adv. Differ. Equ. 2017, 50 (2017) MathSciNetView ArticleGoogle Scholar
Zhao, K, Liu, J: Multiple monotone positive solutions of integral BVPs for a higher-order fractional differential equation with monotone homomorphism. Adv. Differ. Equ. 2016, 20 (2016) MathSciNetView ArticleGoogle Scholar
Zhao, K: Impulsive integral boundary value problems of the higher-order fractional differential equation with eigenvalue arguments. Adv. Differ. Equ. 2015, 382 (2015) MathSciNetView ArticleGoogle Scholar
Zhao, K: Triple positive solutions for two classes of delayed nonlinear fractional FDEs with nonlinear integral boundary value conditions. Bound. Value Probl. 2015, 181 (2015) MathSciNetView ArticleMATHGoogle Scholar
Zhao, K: Multiple positive solutions of integral BVPs for high-order nonlinear fractional differential equations with impulses and distributed delays. Dyn. Syst. 30(2), 208-223 (2015) MathSciNetView ArticleMATHGoogle Scholar
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, San Diego (1988) MATHGoogle Scholar

Boundary Value Problems

Multiple positive solutions to some second-order integral boundary value problems with singularity on space variable

Abstract

Keywords

MSC

1 Introduction

2 Preliminaries and several lemmas

Lemma 1

Lemma 2

Lemma 3

Proof

Lemma 4

3 Main results

Theorem 1

Proof

4 An example

Example 1

Conclusion

Proof

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright