Skip to content

Advertisement

Open Access

Existence of positive solutions of singular fractional differential equations with infinite-point boundary conditions

Advances in Difference Equations20172017:8

https://doi.org/10.1186/s13662-016-1042-9

Received: 4 September 2016

Accepted: 18 November 2016

Published: 9 January 2017

Abstract

Using height functions of the nonlinear term on some bounded sets and considering integrations of these height functions, we obtain the existence of positive solutions for a class of singular fractional differential equations with infinite-point boundary value conditions.

Keywords

existencepositive solutionssingular fractional differential equationinfinite-point boundary value conditions

1 Introduction

In this paper, we investigate the existence of positive solutions of the following singular fractional differential equations with infinite-point boundary value conditions:
$$ \textstyle\begin{cases} D_{0^{+}}^{\alpha}x(t)+q(t)f(t,x(t))=0,\quad t\in(0,1),\\ x(0)=x'(0)=\cdots=x^{(n-2)}(0)=0,\\ D_{0^{+}}^{\beta}x(1)=\sum_{i=1}^{\infty}\alpha_{i}x(\xi_{{i}}), \end{cases} $$
(1.1)
where \(\alpha>2\), \(n-1<\alpha\leq n\), \(\beta\in[1,\alpha-1]\) is a fixed number, \(\alpha_{i}\geq0\) \((i=1,2,\ldots)\), \(0<\xi_{1}<\xi_{2}<\cdots <\xi_{i-1}<\xi_{i}<\cdots<1\), \(\frac{\Gamma(\alpha)}{\Gamma(\alpha-\beta )}-\sum_{i=1}^{\infty}\alpha_{i}\xi_{i}^{\alpha-1}>0\), and \(D_{0^{+}}^{\alpha}\) and \(D_{0^{+}}^{\beta}\) are the standard Riemann-Liouville derivatives. The nonlinear term f may be singular with respect to both time and space variables.

A function \(x\in C[0,1]\) satisfying (1.1) is called a positive solution of (1.1) if \(x>0\) on \((0,1]\). Recently, fractional differential equations have gained considerable attention; for example, see [15] and the references therein. Papers [69] discussed the existence of positive solutions of fractional boundary value problems.

In [10], the authors investigated the existence of a positive solution for the following fractional boundary value problem in a Banach space E:
$$ \textstyle\begin{cases} D_{0^{+}}^{\alpha}u(t)+q(t)f(t,u(t))=0,\quad 0< t< 1, \\ u(0)=u'(0)=\cdots=u^{(n-2)}(0)=0, \\ u(1)=\sum_{i=1}^{m}\alpha_{i}u(\xi_{{i}}). \end{cases} $$
(1.2)
In [11], the authors obtained the existence and multiplicity of positive solutions of the following infinite-point fractional differential equations:
$$ \textstyle\begin{cases} D_{0^{+}}^{\alpha}u(t)+q(t)f(t,u(t))=0,\quad 0< t< 1, \\ u(0)=0,\qquad u(1)=\sum_{i=1}^{\infty}\alpha_{i}u(\xi_{{i}}). \end{cases} $$
(1.3)
In [12], the author obtained the existence and multiplicity of positive solutions of the following fractional differential equation with infinite-point boundary value conditions:
$$ \textstyle\begin{cases} D_{0^{+}}^{\alpha}u(t)+q(t)f(t,u(t))=0,\quad 0< t< 1, \\ u(0)=u'(0)=\cdots=u^{(n-2)}(0)=0, \\ u^{(i)}(1)=\sum_{j=1}^{\infty}\alpha_{j}u(\xi_{{j}}). \end{cases} $$
(1.4)

Motivated by the works mentioned, in this paper, we consider the boundary value problem (1.1) with more general and more complex boundary conditions. The existence of positive solutions for (1.1) is obtained by means of cone expansion and the compression fixed point theorem.

In order to establish the results, we assume that the following conditions are satisfied:

\((A_{1})\) \(f\in C((0,1)\times(0,+\infty),[0,+\infty))\).

\((A_{2})\) \(q\in C((0,1),[0,+\infty))\), and q does not vanish identically on any subinterval of \((0,1)\).

\((A_{3})\) For any positive numbers \(r_{1}< r_{2}\), there exists a continuous function \(p_{r_{1},r_{2}}:(0,1)\rightarrow[0,+\infty)\) such that
$$\int_{0}^{1}q(t)p_{r_{1},r_{2}}(t)\,dt< +\infty $$
and
$$f(t,u)\leq p_{r_{1},r_{2}}(t),\quad 0< t< 1, t^{\alpha-1}r_{1}\leq u\leq r_{2}. $$
The rest of this paper is organized as follows. In Section 2, we introduce some preliminaries and relevant lemmas. In Section 3, we apply the fixed-point theorem to study the existence of positive solutions for the boundary value problem (1.1). In Section 4, we give some examples to illustrate our main results.

2 Preliminaries and relevant lemmas

For the convenience of the readers, we first present some useful definitions and fundamental facts of fractional calculus theory. In order to avoid redundancy, for the definitions of the Riemann-Liouville fractional integral and fractional derivative, we refer the readers to [13].

Lemma 2.1

[14]

Let \(\alpha>0\), and \(u(t)\) be an integrable function. Then
$$I^{\alpha}_{0^{+}}D^{\alpha}_{0^{+}}u(t)=u(t)+c_{1}t^{\alpha -1}+c_{2}t^{\alpha-2}+ \cdots+c_{n}t^{\alpha-n}, $$
where \(c_{i}\in\mathbb{R}\) \((i=1,2,\ldots,n)\), and n is the smallest integer greater than or equal to α.

Lemma 2.2

Given \(y\in C[0,1]\), the unique solution of the problem
$$ \textstyle\begin{cases} D_{0^{+}}^{\alpha}x(t)+y(t)=0,\quad t\in(0,1), \\ x(0)=x'(0)=\cdots=x^{(n-2)}(0)=0, \\ D_{0^{+}}^{\beta}x(1)=\sum_{i=1}^{\infty}\alpha_{i}x(\xi_{{i}}), \end{cases} $$
(2.1)
is given by
$$x(t)= \int_{0}^{1}G(t,s)y(s)\,ds, $$
where
$$ G(t,s)= \textstyle\begin{cases} \frac{1}{\Gamma(\alpha)l(0)}\{l(s)t^{\alpha-1}(1-s)^{\alpha-\beta -1}-l(0)(t-s)^{\alpha-1}\}, & 0\leq s\leq t\leq1, \\ \frac{1}{\Gamma(\alpha)l(0)}\{l(s)t^{\alpha-1}(1-s)^{\alpha-\beta-1}\}, & 0\leq t\leq s\leq1, \end{cases} $$
(2.2)
with \(l(s)=\frac{1}{\Gamma(\alpha-\beta)}-\frac{1}{\Gamma(\alpha)}\sum_{s\leq\xi_{i}}\alpha_{i}(\frac{\xi_{i}-s}{1-s})^{\alpha-1}(1-s)^{\beta }\) \((0\leq s\leq1)\).

Proof

By Lemma 2.1 we can see that
$$x(t)=-I_{0^{+}}^{\alpha}y(t)+c_{1}t^{\alpha-1}+c_{2}t^{\alpha -2}+c_{3}t^{\alpha-3}+ \cdots+c_{n}t^{\alpha-n}, $$
so, the solution of (2.1) is
$$x(t)=-\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}y(s) \,ds+c_{1}t^{\alpha-1}+c_{2}t^{\alpha-2}+c_{3}t^{\alpha-3}+ \cdots +c_{n}t^{\alpha-n}. $$
Since \(x(0)=x'(0)=\cdots=x^{(n-2)}(0)=0\), we have \(c_{2}=c_{3}=\cdots=c_{n}=0\).
In addition,
$$\begin{aligned} D_{0^{+}}^{\beta}x(t) =& -D_{0^{+}}^{\beta}I_{0^{+}}^{\alpha }y(t)+c_{1}D_{0^{+}}^{\beta} \bigl(t^{\alpha-1} \bigr) \\ =&-\frac{1}{\Gamma(\alpha-\beta)} \int_{0}^{t}(t-s)^{\alpha-\beta -1}y(s) \,ds+c_{1} \frac{\Gamma(\alpha)}{\Gamma(n+\alpha-\beta)}\frac {d^{n}}{dt^{n}} \bigl(t^{n+\alpha-\beta-1} \bigr) \\ =&-\frac{1}{\Gamma(\alpha-\beta)} \int_{0}^{t}(t-s)^{\alpha-\beta-1}y(s)\,ds \\ &{} + c_{1}\frac{\Gamma(\alpha)}{\Gamma(n+\alpha-\beta)}(\alpha-\beta +n-1) (\alpha-\beta+n-2) \cdots( \alpha-\beta)t^{\alpha-\beta-1}, \end{aligned}$$
where \(n=[\beta]+1\).
Combining this with the second boundary value condition of (2.1), we have
$$\begin{aligned} D_{0^{+}}^{\beta}x(1) =&-\frac{1}{\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1}y(s)\,ds +c_{1}\frac{\Gamma(\alpha)}{\Gamma(\alpha-\beta)} \\ =&-\frac{1}{\Gamma(\alpha)}\sum_{i=1}^{\infty} \alpha_{i} \int_{0}^{\xi _{i}}(\xi_{i}-s)^{\alpha-1}y(s) \,ds+c_{1} \sum_{i=1}^{\infty} \alpha_{i}\xi _{i}^{\alpha-1}. \end{aligned}$$
This yields
$$c_{1}=\frac{\frac{1}{\Gamma(\alpha-\beta)}\int_{0}^{1}(1-s)^{\alpha -\beta-1}y(s)\,ds-\frac{1}{\Gamma(\alpha)}\sum_{i=1}^{\infty}\alpha _{i}\int_{0}^{\xi_{i}}(\xi_{i}-s)^{\alpha-1}y(s)\,ds}{\frac{\Gamma(\alpha )}{\Gamma(\alpha-\beta)}-\sum_{i=1}^{\infty}\alpha_{i}\xi_{i}^{\alpha-1}}. $$
Therefore, the solution of (2.1) is
$$\begin{aligned} x(t) =&-\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}y(s)\,ds+ \frac {\frac{1}{\Gamma(\alpha-\beta)}\int_{0}^{1}(1-s)^{\alpha-\beta -1}t^{\alpha-1}y(s)\,ds}{\frac{\Gamma(\alpha)}{\Gamma(\alpha-\beta)}-\sum_{i=1}^{\infty}\alpha_{i}\xi_{i}^{\alpha-1}} \\ &{}-\frac{\frac{1}{\Gamma (\alpha)}\int_{0}^{1}\sum_{s\leq\xi_{i}}\alpha_{i}(\xi_{i}-s)^{\alpha -1}t^{\alpha-1}y(s)\,ds}{\frac{\Gamma(\alpha)}{\Gamma(\alpha-\beta)}-\sum_{i=1}^{\infty}\alpha_{i}\xi_{i}^{\alpha-1}} \\ =& \int_{0}^{1}G(t,s)y(s)\,ds. \end{aligned}$$

The proof is completed. □

It is easy to see that if \(l(s)\) is continuous on \([0,1]\), then \(G(t,s)\) is continuous on \([0,1]\times[0,1]\).

Lemma 2.3

The function \(l(s)\) is positive and nondecreasing on \([0,1]\).

Proof

By the definition of \(l(s)\) it follows that
$$l(0)=\frac{1}{\Gamma(\alpha-\beta)}-\frac{1}{\Gamma(\alpha)}\sum_{i=1}^{\infty} \alpha_{i}\xi_{i}^{\alpha-1}>0. $$
By computation we have that
(1) when \(0\leq s<\lim_{i\rightarrow\infty}\xi_{i}\),
$$\begin{aligned} l'(s) =& \frac{1}{\Gamma(\alpha)} \biggl[\sum _{s\leq\xi_{i}} \alpha_{i}(\alpha -1) \biggl( \frac{\xi_{i}-s}{1-s} \biggr)^{\alpha-2}(1-s)^{\beta-2}(1- \xi_{i})+\sum_{s\leq\xi_{i}}\alpha_{i} \beta \biggl(\frac{\xi_{i}-s}{1-s} \biggr)^{\alpha-1}(1-s)^{\beta-1} \biggr] \\ >& 0,\quad\mbox{and} \end{aligned}$$
(2) when \(\lim_{i\rightarrow\infty}\xi_{i}\leq s\leq1\),
$$l(s)=\frac{1}{\Gamma(\alpha-\beta)},\quad l'(s)=0. $$
So, l is nondecreasing on \([0,1]\), and \(l(s)\geq l(0)>0\), \(s\in[0,1]\). The proof is completed. □

Lemma 2.4

The function \(G(t,s)\) defined in (2.2) admits the following properties:
  1. (1)

    \(G(t,s)>0\), \(\frac{\partial}{\partial t}G(t,s)>0\), \(0< t,s<1\);

     
  2. (2)

    \(\max_{t\in[0,1]}G(t,s)=G(1,s)=\frac{1}{\Gamma(\alpha )l(0)}[l(s)(1-s)^{\alpha-\beta-1}-l(0)(1-s)^{\alpha-1}]\), \(0\leq s\leq 1\);

     
  3. (3)

    \(G(t,s)\geq t^{\alpha-1}G(1,s)\), \(0\leq t,s\leq1\).

     

Proof

The proof is similar to that of Lemma 3 in [12]. □

The following lemma is the main tool in this paper.

Lemma 2.5

[16]

Let E be a real Banach space, and \(P\subset E\) be a cone. Assume that \(\Omega_{1}\) and \(\Omega_{2}\) are bounded open subsets of E with \(\theta\in\Omega_{1},\overline{\Omega_{1}}\subset\Omega_{2}\), and \(T:P\cap(\overline{\Omega_{2}}\setminus\Omega_{1})\rightarrow P\) is a completely continuous operator such that either:
  1. (1)

    \(\Vert Tu\Vert \leq \Vert u\Vert \), \(u\in P\cap\partial\Omega_{1}\), and \(\Vert Tu\Vert \geq \Vert u\Vert \), \(u\in P\cap\partial\Omega_{2}\), or

     
  2. (2)

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

     

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

Let \(E=C[0,1]\), so that E is a Banach space with norm \(\Vert x\Vert =\max_{t\in[0,1]}\vert x(t)\vert \).

Set \(P=\{x\in E| x(t)\geq t^{\alpha-1}\Vert x\Vert , t\in[0,1]\}\). Then P is a cone in E.

Denote \(\Omega(r)=\{x\in P:\Vert x\Vert < r\}\) and \(\partial\Omega(r)=\{x\in P:\Vert x\Vert =r\}\) for \(r>0\).

Define the operator \(T:P\backslash\{\theta\}\rightarrow E\) by
$$\begin{aligned} (Tx) (t)= \int_{0}^{1}G(t,s)q(s)f \bigl(s,x(s) \bigr)\,ds, \quad t \in[0,1]. \end{aligned}$$
(2.3)

Lemma 2.6

Suppose that \((A_{1})\)-\((A_{3})\) hold and \(0< r_{1}< r_{2}\). Then \(T:\overline{\Omega(r_{2})}\backslash\Omega(r_{1})\rightarrow P\) is completely continuous.

Proof

For any \(x\in\overline{\Omega (r_{2})}\backslash\Omega(r_{1})\), it follows from (2.3) and Lemma 2.4 that
$$\begin{aligned} (Tx) (t)= \int_{0}^{1}G(t,s)q(s)f \bigl(s,x(s) \bigr)\,ds \leq \int_{0}^{1}G(1,s)q(s)f \bigl(s,x(s) \bigr)\,ds, \quad t \in[0,1], \end{aligned}$$
(2.4)
and
$$\begin{aligned} (Tx) (t) =& \int_{0}^{1}G(t,s)q(s)f \bigl(s,x(s) \bigr)\,ds \\ \geq& t^{\alpha-1} \int_{0}^{1}G(1,s)q(s)f \bigl(s,x(s) \bigr)\,ds, \quad t \in[0,1]. \end{aligned}$$
(2.5)
By (2.4) and (2.5) we know that
$$(Tx) (t)\geq t^{\alpha-1}\Vert Tx\Vert ,\quad t\in[0,1], $$
which means that \(T:\overline{\Omega(r_{2})}\backslash\Omega (r_{1})\rightarrow P\).
Noticing the continuity of \(G(t,s)\) and \((A_{1})\)-\((A_{3})\), it is easy to see that T is continuous in \(\overline{\Omega(r_{2})}\backslash \Omega(r_{1})\). Next, we show T is compact. For any \(x\in\overline{\Omega(r_{2})}\backslash\Omega(r_{1})\), we have
$$\bigl\vert Tx(t) \bigr\vert = \biggl\vert \int_{0}^{1}G(t,s)q(s)f \bigl(s,x(s) \bigr)\,ds \biggr\vert \leq \int _{0}^{1}G(1,s)q(s)p_{r_{1},r_{2}}(s)\,ds $$
for \(t\in[0,1]\), which implies that \(T(\overline{\Omega (r_{2})}\backslash\Omega(r_{1}))\) is uniformly bounded.
Because \(G(t,s)\) is continuous on \([0,1]\times[0,1]\), \(G(t,s)\) is uniformly continuous on \([0,1]\times[0,1]\). Thus, for any \(\epsilon>0\), there exists \(\delta>0\) such that
$$\bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert < \epsilon $$
if \(\vert t_{1}-t_{2}\vert <\delta\) and \((t_{1},s),(t_{2},s)\in[0,1]\times[0,1]\). Then, for any \(x\in\overline{\Omega(r_{2})}\backslash\Omega(r_{1})\) and \(t_{1},t_{2}\in[0,1]\) such that \(\vert t_{1}-t_{2}\vert <\delta\), we have
$$\begin{aligned} \bigl\vert Tx(t_{1})-Tx(t_{2}) \bigr\vert =& \biggl\vert \int_{0}^{1} \bigl(G(t_{1},s)-G(t_{2},s) \bigr)q(s)f \bigl(s,x(s) \bigr)\,ds \biggr\vert \\ \leq& \int_{0}^{1} \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert q(s)p_{r_{1},r_{2}}(s)\,ds \\ \leq&\epsilon \int_{0}^{1}q(s)p_{r_{1},r_{2}}(s)\,ds. \end{aligned}$$
We can see that the functions in \(T(\overline{\Omega(r_{2})}\backslash \Omega(r_{1}))\) are equicontinuous. So, \(T(\overline{\Omega (r_{2})}\backslash\Omega(r_{1}))\) is relatively compact in \(C[0,1]\). Thereby, T is compact in \(\overline{\Omega(r_{2})}\backslash\Omega (r_{1})\), and thus \(T:\overline{\Omega(r_{2})}\backslash\Omega (r_{1})\rightarrow P\) is completely continuous. □

3 Main result

We introduce the following height functions to control the growth of the nonlinear term \(f(t,x)\). Let
$$\begin{aligned} &{\varphi(t,r)=\max \bigl\{ f(t,x):t^{\alpha-1}r\leq x\leq r \bigr\} \quad (0< t< ,r>0),} \\ &{\psi(t,r)=\min \bigl\{ f(t,x):t^{\alpha-1}r\leq x\leq r \bigr\} \quad (0< t< 1,r>0).} \end{aligned}$$

Theorem 3.1

Suppose that \((A_{1})\)-\((A_{3})\) hold and there exist two positive numbers \(a< b\) such that one of the following conditions is satisfied:

\((B_{1})\) \(a\leq\int_{0}^{1}G(1,s)q(s)\psi(s,a)\,ds<+\infty\) and \(\int _{0}^{1}G(1,s)q(s)\varphi(s,b)\,ds\leq b\);

\((B_{2})\) \(\int_{0}^{1}G(1,s)q(s)\varphi(s,a)\,ds\leq a\) and \(b\leq\int _{0}^{1}G(1,s)q(s)\psi(s,b)\,ds<+\infty\).

Then the boundary value problem (1.1) has at least one strictly increasing positive solution \(x^{\ast}\in P\) such that \(a\leq \Vert x^{\ast }\Vert \leq b\).

Proof

Without loss of generality, we only prove \((B_{1})\).

If \(x\in\partial\Omega(a)\), then \(\Vert x\Vert =a\) and \(t^{\alpha-1}a\leq x(t)\leq a\), \(0\leq t\leq1\). By the definition of \(\psi(t,a)\) we know that
$$\begin{aligned} f \bigl(t,x(t) \bigr)\geq\psi(t,a),\quad 0< t< 1. \end{aligned}$$
(3.1)
By (3.1) and Lemma 2.4 we have that
$$\begin{aligned} \Vert Tx\Vert =& \max_{t\in[0,1]} \int _{0}^{1}G(t,s)q(s)f \bigl(s,x(s) \bigr)\,ds \\ \geq&\max_{t\in[0,1]}t^{\alpha -1} \int_{0}^{1}G(1,s)q(s)f \bigl(s,x(s) \bigr)\,ds \\ =& \int _{0}^{1}G(1,s)q(s)f \bigl(s,x(s) \bigr)\,ds \\ \geq& \int_{0}^{1}G(1,s)q(s)\psi(s,a)\,ds\geq a=\Vert x \Vert . \end{aligned}$$
(3.2)
If \(x\in\partial\Omega(b)\), then \(\Vert x\Vert =b\) and \(t^{\alpha-1}b\leq x(t)\leq b\), \(0\leq t\leq1\). By the definition of \(\varphi(t,b)\) we get that
$$\begin{aligned} f \bigl(t,x(t) \bigr)\leq\varphi(t,b),\quad 0< t< 1. \end{aligned}$$
(3.3)
By (3.3) and Lemma 2.4 we have that
$$\begin{aligned} \Vert Tx\Vert =& \max_{t\in[0,1]} \int _{0}^{1}G(t,s)q(s)f \bigl(s,x(s) \bigr)\,ds \leq \int _{0}^{1}G(1,s)q(s)f \bigl(s,x(s) \bigr)\,ds \\ \leq& \int_{0}^{1}G(1,s)q(s)\varphi(s,b)\,ds\leq b= \Vert x\Vert . \end{aligned}$$
(3.4)
By Lemma 2.5, T has a fixed point \(x^{\ast}\in\overline{\Omega (b)}\backslash\Omega(a)\). From Section 2 we know that \(x^{\ast }\) is a solution of (1.1) and \(a\leq \Vert x^{\ast} \Vert \leq b\). Because \(x^{\ast}(t)\geq t^{\alpha-1}\Vert x^{\ast} \Vert \geq a t^{\alpha -1}>0,0< t\leq1\), we get that \(x^{\ast}\) is a positive solution for (1.1).
From Lemma 2.4 we have that
$$\bigl(x^{\ast} \bigr)'(t)= \bigl(Tx^{\ast} \bigr)'(t)= \int_{0}^{1}\frac{\partial}{\partial t}G(t,s)q(s)f \bigl(s,x^{\ast}(s) \bigr)\,ds>0, $$
which shows that \(x^{\ast}\) is a strictly increasing positive solution. The proof is completed. □

4 Examples

Example 4.1

Consider the boundary value problem
$$\begin{aligned} \textstyle\begin{cases} D_{0^{+}}^{\frac{7}{2}}x(t)+\frac{1}{4\sqrt{1-t}}(x^{5}+\frac{1}{2\sqrt [3]{x}})=0,\quad t\in(0,1), \\ x(0)=x'(0)=x^{(2)}(0)=0, \\ D_{0^{+}}^{\frac{3}{2}}x(1)=\sum_{i=1}^{\infty}\frac{2}{i^{2}}x(1-\frac {1}{i+1}). \end{cases}\displaystyle \end{aligned}$$
(4.1)

Let \(\alpha={\frac{7}{2}},\beta={\frac{3}{2}}\), \(f(t,x)=x^{5}+\frac{1}{2\sqrt[3]{x}}\), \(q(t)=\frac{1}{4\sqrt {1-t}},\alpha_{i}=\frac{2}{i^{2}},\xi_{i}=1-\frac{1}{i+1}\). Obviously, \(f\in C((0,1)\times(0,+\infty),[0,+\infty))\) and \(q\in C((0,1),[0,+\infty))\). It is not difficult to calculate that \(\sum_{i=1}^{\infty}\alpha_{i}\xi_{i}^{\alpha-1}\approx1.643\), \(\Gamma(\alpha )=\Gamma(\frac{7}{2})\approx3.3234\), \(\Gamma(\alpha-\beta)=\Gamma (2)=1\), \(l(0)\approx0.8169\). For any positive numbers \(r_{1}< r_{2}\), we can see that \((A_{1})\)-\((A_{3})\) hold for \(p_{r_{1},r_{2}}(t)=r_{2}^{5}+\frac{1}{2}t^{-\frac{5}{6}}r_{1}^{-\frac{1}{3}}\).

The height functions \(\varphi(t,r)\) and \(\psi(t,r)\) satisfy the following inequalities:
$$\begin{aligned} &{\varphi(t,r)=\max \biggl\{ x^{5}+\frac{1}{2\sqrt[3]{x}}:t^{\frac{5}{2}}r \leq x\leq r \biggr\} \leq r^{5}+\frac{1}{2}t^{-\frac{5}{6}}r^{-\frac{1}{3}},} \\ &{\psi(t,r)=\min \biggl\{ x^{5}+\frac{1}{2\sqrt[3]{x}}:t^{\frac{5}{2}}r \leq x\leq r \biggr\} \geq t^{\frac{25}{2}}r^{5}+\frac{1}{2}r^{-\frac{1}{3}}.} \end{aligned}$$
It follows that
$$\begin{aligned} \int_{0}^{1}G(1,s)q(s)\varphi(s,1)\,ds \leq& \frac{1}{\Gamma(\frac {7}{2})l(0)} \int_{0}^{1} \bigl[l(s) (1-s)^{\alpha-\beta-1} \bigr] \frac{1}{4\sqrt {1-s}} \biggl(1+\frac{1}{2}s^{-\frac{5}{6}} \biggr)\,ds \\ \leq& \frac{1}{\Gamma(\frac {7}{2})l(0)} \int_{0}^{1}\Gamma(2) (1-s)\frac{1}{4\sqrt{1-s}} \biggl(1+\frac {1}{2}s^{-\frac{5}{6}} \biggr)\,ds< 1 \end{aligned}$$
and
$$\begin{aligned} &{ \int_{0}^{1}G(1,s)q(s)\psi \biggl(s, \frac{1}{100} \biggr)\,ds} \\ &{\quad \geq \frac{1}{\Gamma(\frac {7}{2})l(0)} \int_{0}^{1} \bigl[l(s) (1-s)^{\alpha-\beta-1}-l(0) (1-s)^{\alpha -1} \bigr]} \\ &{\qquad{}\times \frac{1}{4\sqrt{1-s}} \biggl[s^{\frac{25}{2}} \biggl( \frac{1}{100} \biggr)^{5}+\frac {1}{2} \biggl( \frac{1}{100} \biggr)^{-\frac{1}{3}} \biggr]\,ds} \\ &{\quad \geq \frac{1}{4\Gamma(\frac{7}{2})l(0)} \int _{0}^{1}\bigl[l(0) (1-s)-l(0) (1-s)^{\frac{5}{2}}\bigr](1-s)^{-\frac{1}{2}}\biggl[s^{\frac {25}{2}}\biggl( \frac{1}{100}\biggr)^{5}+\frac{1}{2}\biggl( \frac{1}{100}\biggr)^{-\frac {1}{3}}\biggr]\,ds} \\ &{\quad >\frac{1}{100}.} \end{aligned}$$

According to Theorem 3.1, we get that (4.1) has at least one strictly increasing positive solution \(x^{\ast}\) and \(\frac{1}{100}\leq \Vert x^{\ast }\Vert \leq1\).

5 Conclusions

Infinite-point boundary value conditions are the classical boundary value conditions. The existence of positive solutions for singular fractional differential problem with infinite-point boundary conditions is established by height functions of the nonlinear term on some bounded sets.

Declarations

Acknowledgements

This article was supported by the National Natural Science Foundation of China (Grant No. 11371027) and Anhui Provincial Natural Science Foundation (1608085MA12). The authors would like to thank the referees for their valuable suggestions and comments.

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)
School of Mathematical Sciences, Anhui University, Hefei, China

References

  1. Agarwal, RP: Certain fractional q-integrals and q-derivatives. Math. Proc. Camb. Philos. Soc. 66, 365-370 (1969) MathSciNetView ArticleMATHGoogle Scholar
  2. Al-Salam, WA: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15, 135-140 (1966) MathSciNetView ArticleMATHGoogle Scholar
  3. Krasnoselskii, MA: Positive Solutions of Operator Equations. Noordhoff, Groningen (1964) Google Scholar
  4. Zhou, Y, Peng, L: On the time-fractional Navier-Stokes equations. Comput. Math. Appl. (2016) in press. doi:10.1016/j.camwa.2016.03.026 Google Scholar
  5. Yao, Q: Local existence of multiple positive solutions to a singular cantilever beam equation. J. Math. Anal. Appl. 363, 138-154 (2010) MathSciNetView ArticleMATHGoogle Scholar
  6. Zhou, Y, Vijayakumar, V, Murugesu, R: Controllability for fractional evolution inclusions without compactness. Evol. Equ. Control Theory 4, 507-524 (2015) MathSciNetView ArticleMATHGoogle Scholar
  7. Zhao, Y, Sun, S, Han, Z, Li, Q: Positive solutions to boundary value problems of nonlinear fractional differential equations. Abstr. Appl. Anal. 2011, Article ID 390543 (2011) MATHGoogle Scholar
  8. Zhou, Y, Peng, L: Weak solution of the time-fractional Navier-Stokes equations and optimal control. Comput. Math. Appl. (2016) in press. doi:10.1016/j.camwa.2016.07.007 Google Scholar
  9. Ahmad, B, Nieto, JJ: Existence of solutions for anti-periodic boundary value problems involving fractional differential equations via Leray-Schauder degree theory. Topol. Methods Nonlinear Anal. 35, 295-304 (2010) MathSciNetMATHGoogle Scholar
  10. Wang, Y, Liu, L: Positive solutions for fractional m-point boundary value problem in Banach spaces. Acta Math. Sci. 32A, 246-256 (2012) MathSciNetMATHGoogle Scholar
  11. Gao, H, Han, X: Existence of positive solutions for fractional differential equation with nonlocal boundary condition. Int. J. Differ. Equ. 2011, 10 (2011) MathSciNetView ArticleMATHGoogle Scholar
  12. 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
  13. Cui, Y: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48-54 (2016) MathSciNetView ArticleMATHGoogle Scholar
  14. Jiang, D, Yuan, C: The positive properties of the green function for Dirichlet-type boundary value problems of nonlinear fractional differential equations and its application. Nonlinear Anal. TMA 72, 710-719 (2010) MathSciNetView ArticleMATHGoogle Scholar
  15. 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) MathSciNetGoogle Scholar
  16. Zhang, X, Liu, L, Wiwatanapataphee, B, Wu, Y: The eigenvalue for a class of singular p-Laplacian fractional differential equations involving the Riemann-Stieltjes integral boundary condition. Appl. Math. Comput. 235, 412-422 (2014) MathSciNetMATHGoogle Scholar
  17. Zhang, X, Liu, L, Wu, Y: The uniqueness of positive solution for a fractional order model of turbulent flow in a porous medium. Appl. Math. Lett. 37, 26-33 (2014) MathSciNetView ArticleMATHGoogle Scholar
  18. Wang, L, Zhang, X: Positive solutions of m-point boundary value problems for a class of nonlinear fractional differential equations. J. Appl. Math. Comput., Int. J. 42, 387-399 (2013) MathSciNetView ArticleMATHGoogle Scholar
  19. Zhou, Y: Fractional Evolution Equations and Inclusions: Analysis and Control. Academic Press, San Diego (2016) MATHGoogle Scholar
  20. Zhang, X: Positive solutions of singular higher-order fractional differential equations with nonlocal conditions. J. Appl. Math. Comput., Int. J. 49, 69-89 (2015) MathSciNetView ArticleMATHGoogle Scholar
  21. Wang, Y, Liu, L, Wu, Y: Positive solutions for a nonlocal fractional differential equation. Nonlinear Anal. 74, 3599-3605 (2011) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2017

Advertisement