Fractional Navier boundary value problems

Imed Bachar; Habib Mâagli; Vicenţiu D. Rădulescu

doi:10.1186/s13661-016-0586-7

Research
Open Access
Published: 12 April 2016

Fractional Navier boundary value problems

Imed Bachar¹,
Habib Mâagli² &
Vicenţiu D. Rădulescu^3,4

Boundary Value Problems volume 2016, Article number: 79 (2016) Cite this article

936 Accesses
12 Citations
Metrics details

Abstract

We study the following fractional Navier boundary value problem:

$$ \textstyle\begin{cases} D^{\alpha}(D^{\beta}u) ( x ) +u(x)f(x,u(x))=0,\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\beta-1}u(x)=0,\qquad\lim_{x\rightarrow0^{+}}D^{\alpha-1}(D^{\beta}u)(x)=\xi,\\ u(1)=0,\qquad D^{\beta}u(1)=-\zeta,\end{cases} $$

where $\alpha,\beta\in(1,2]$, $D^{\alpha}$ and $D^{\beta}$ stand for the standard Riemann-Liouville fractional derivatives, and $\xi ,\zeta\geq0$ are such that $\xi+\zeta>0$.

Our purpose is to prove the existence, uniqueness, and global asymptotic behavior of a positive continuous solution, where $f:(0,1)\times[0,\infty)\rightarrow{}[0,\infty)$ is continuous and dominated by a function p satisfying appropriate integrability condition.

Introduction

The existence, uniqueness, and global asymptotic behavior of positive continuous solutions related to fractional differential equations have been studied by many researchers. Many fractional differential equations subject to various boundary conditions have been addressed; see, for instance, [1–12] and the references therein. It is known that fractional differential equations serve as a good tool to model many phenomena in various fields of science and engineering (see [13–24] and references therein for discussions of various applications).

In [2], the authors proved the existence and uniqueness of a positive solution to the following fractional boundary value problem:

$$ \textstyle\begin{cases} D^{\alpha}u ( x ) =u(x)\varphi(x,u(x)),\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\alpha-1}u(x)=-\xi,\qquad u(1)=\zeta, \end{cases} $$

(1.1)

where $1<\alpha\leq2 $, $\xi,\zeta\geq0$ are such that $\xi+\zeta >0$, and $\varphi(x,s)\in C^{+} ( (0,1)\times[0,\infty ) ) $ satisfies appropriate conditions. Inspired by the above-mentioned paper, we aim at studying similar problem in the case of fractional Navier boundary value problem. More precisely, we are concerned with the problem

$$ \textstyle\begin{cases} D^{\alpha}(D^{\beta}u) ( x ) +u(x)f(x,u(x))=0,\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\beta-1}u(x)=0,\qquad \lim_{x\rightarrow0^{+}}D^{\alpha-1}(D^{\beta}u)(x)=\xi,\\ u(1)=0,\qquad D^{\beta}u(1)=-\zeta,\end{cases} $$

(1.2)

where $\alpha,\beta\in(1,2]$, and $\xi,\zeta\geq0$ are such that $\xi+\zeta>0$. The nonlinear term $f(x,s)$ is required to be a nonnegative continuous function in $(0,1)\times[0,\infty)$ dominated by a function p belonging to the class $\mathcal{J}_{\alpha,\beta}$ defined as follows.

Definition 1.1

Let $\alpha,\beta\in(1,2]$. A nonnegative measurable function p on $(0,1)$ belongs to the class $\mathcal{J}_{\alpha,\beta}$ iff

$$ \int_{0}^{1}t^{\beta-2}(1-t)^{\alpha}p(t)\,dt< \infty. $$

(1.3)

Next, we introduce the following notation.

(i)
$B^{+}((0,1))$ is the set of nonnegative measurable functions in $(0,1)$.
(ii)
Let X be a metric space, we denote by $C(X)$ (resp. $C^{+}(X)$) the set of continuous (resp. nonnegative continuous) functions in X.
(iii)
For $\gamma\in(1,2]$, $C_{2-\gamma }([0,1])=\{w\in C((0,1]): x\rightarrow x^{2-\gamma}w(x)\in C ( [ 0,1 ] ) \}$.
(iv)
For $\gamma\in(1,2]$, $G_{\gamma}(x,s)$ is the Green function of the operator $u\rightarrow-D^{\gamma}u$, with boundary data $\lim_{x\rightarrow0^{+}}D^{\gamma -1}u(x)=u(1)=0$. From [8], Lemma 7, we have
$$ G_{\gamma} ( x,s ) =\frac{1}{\Gamma ( \gamma ) } \bigl( x^{\gamma-2} ( 1-s ) ^{\gamma-1}- \bigl( ( x-s ) ^{+} \bigr) ^{\gamma-1} \bigr) , $$
(1.4)
where $x^{+}=\max(x,0)$.

Proposition 1.2

(see [8])

Let $1<\gamma\leq2$ and $\varphi\in B^{+}((0,1))$. Then we have

(i)
For $(x,s)\in(0,1]\times[0,1]$,
$$ \frac{(\gamma-1)}{\Gamma ( \gamma ) }H(x,s)\leq G_{\gamma} ( x,s ) \leq\frac{1}{\Gamma ( \gamma ) }H(x,s), $$
(1.5)
where $H(x,s):=x^{\gamma-2} ( 1-s ) ^{\gamma -2}(1-\max(x,s))$.
(ii)
The function $x\rightarrow G_{\gamma}\varphi (x):=\int_{0}^{1}G_{\gamma} ( x,s ) \varphi(s)\,ds$ belongs to $C_{2-\gamma}([0,1])$ if and only if $\int_{0}^{1}(1-s)^{\gamma -1}\varphi(s)\,ds<\infty$.
(iii)
If the map $s\rightarrow(1-s)^{\gamma-1}\varphi (s)\in C((0,1))\cap L^{1}((0,1))$, then $G_{\gamma}\varphi$ belongs to $C_{2-\gamma}([0,1])$, and it is the unique solution of the problem
$$ \textstyle\begin{cases} D^{\gamma}u(x)=-\varphi(x),\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\gamma-1}u(x)=u(1)=0.\end{cases} $$

Throughout this paper, for $\alpha,\beta\in(1,2]$, let $G(x,s)$ be the Green function of the operator $u\rightarrow D^{\alpha}(D^{\beta }u)$ with Navier boundary conditions $\lim_{x\rightarrow 0^{+}}D^{\beta-1}u(x)=\lim_{x\rightarrow0^{+}}D^{\alpha -1}(D^{\beta }u)(x)=u(1)=D^{\beta}u(1)=0$. Then we have

$$ G(x,s)= \int_{0}^{1}G_{\beta} ( x,t ) G_{\alpha} ( t,s ) \,dt. $$

(1.6)

For a given function p in $B^{+}((0,1))$, we put

$$ \kappa_{p}:=\sup_{x,s\in(0,1)} \int_{0}^{1}\frac{G(x,t)G(t,s)}{G(x,s)}p(t)\,dt, $$

(1.7)

and we will prove that $\kappa_{p}<\infty$ if and only if $p\in\mathcal{J}_{\alpha,\beta}$.

From here on, let ξ, ζ be two nonnegative constants such that $\xi+\zeta>0$, and $\theta(x)$ be the unique solution of the problem

$$ \textstyle\begin{cases} D^{\alpha}(D^{\beta}u) ( x ) =0,\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\beta-1}u(x)=0,\qquad \lim_{x\rightarrow0^{+}}D^{\alpha-1}(D^{\beta}u)(x)=\xi,\\ u(1)=0,\qquad D^{\beta}u(1)=-\zeta.\end{cases} $$

(1.8)

We can easily verify that, for $x\in(0,1]$, $\theta(x)=\xi h_{1}(x)+\zeta h_{2}(x)$, where

$$\begin{aligned} h_{1}(x) =& \int_{0}^{1}G_{\beta} ( x,t ) G_{\alpha } ( t,0 ) \,dt \\ =&\frac{1}{(\alpha-1)\Gamma(\alpha+\beta-1)}x^{\beta -2}\bigl(1-x^{\alpha}\bigr)+\frac{1}{\Gamma(\alpha+\beta)}x^{\beta-2}\bigl(x^{\alpha+1}-1\bigr) \end{aligned}$$

(1.9)

and

$$ h_{2}(x) = \int_{0}^{1}G_{\beta} ( x,t ) t^{\alpha-2}\,dt=\frac{\Gamma(\alpha-1)}{\Gamma(\alpha+\beta -1)}x^{\beta-2}\bigl(1-x^{\alpha} \bigr). $$

(1.10)

Note that from (1.5), (1.9), and (1.10) it follows that there exists a constant $c>0$ such that, for each $x\in(0,1]$,

$$ \frac{1}{c}x^{\beta-2}(1-x)\leq\theta(x)\leq cx^{\beta-2}(1-x). $$

(1.11)

To state our existence results, a combination of the following hypotheses are required.

(A₁):: f is in $C^{+}((0,1)\times[0,\infty))$.
(A₂):: There exists $p\in\mathcal {J}_{\alpha,\beta} \cap C^{+}((0,1))$ with $\kappa_{p}\leq \frac{1}{2}$ such that, for each $x\in(0,1)$, the map $s\rightarrow s ( p ( x ) -f ( x,s\theta ( x ) ) ) $ is nondecreasing on $[ 0,1 ] $.
(A₃):: For each $x\in(0,1)$, the function $s\rightarrow sf ( x,s ) $ is nondecreasing on $[0,\infty)$.

Our main results are the following.

Theorem 1.3

Under conditions ($\mathrm{A}_{1}$)-($\mathrm{A}_{2}$), problem (1.2) admits a solution $u\in C_{2-\beta}([0,1])$ such that

$$ c_{0}\theta(x)\leq u ( x ) \leq\theta(x),\quad 0< x\leq 1, $$

(1.12)

where $c_{0}\in(0,1)$.

Moreover, this solution is unique if hypothesis ($\mathrm{A}_{3}$) is also satisfied.

Corollary 1.4

Let $\alpha,\beta\in(1,2]$, and h be a nonnegative function in $C^{1}([0,\infty))$ such that the map $s\rightarrow \varrho(s)=sh(s)$ is nondecreasing on $[0,\infty)$. Let $q\in C^{+}((0,1))$ and assume that the function $\tilde {q}(x):=q(x)\max_{0\leq t\leq\theta ( x ) }\varrho^{\prime}(t)$ belongs to $\mathcal{J}_{\alpha,\beta}$. Then for $\lambda\in{}[0,\frac{1}{2\kappa_{\tilde {q}}})$, the problem

$$ \textstyle\begin{cases} D^{\alpha}(D^{\beta}u) ( x ) +\lambda q(x)u(x)h(u(x))=0,\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\beta-1}u(x)=0,\qquad\lim_{x\rightarrow0^{+}}D^{\alpha-1}(D^{\beta}u)(x)=\xi,\\ u(1)=0,\qquad D^{\beta}u(1)=-\zeta,\end{cases} $$

(1.13)

admits a unique solution $u\in C_{2-\beta}([0,1])$ such that

$$ (1-\lambda\kappa_{\tilde {q}})\theta(x)\leq u ( x ) \leq\theta(x),\quad 0< x\leq1. $$

Our paper is organized as follows. In Section 2, we establish some properties of $G(x,s)$. In particular, we prove the existence of a constant $c>0$ such that, for all $x,t,s\in(0,1)$,

$$ \frac{1}{c}t^{\beta-2}(1-t)^{\alpha}\leq \frac{G(x,t)G(t,s)}{G(x,s)}\leq ct^{\beta-2}(1-t)^{\alpha}. $$

This implies that $\kappa_{p}<\infty$ if and only if $p\in\mathcal{J}_{\alpha,\beta}$. In Section 3, for a given function $p\in\mathcal{J}_{\alpha,\beta}$ with $\kappa_{p}\leq \frac{1}{2}$, we construct the Green function $\mathcal{H} ( x,s ) $ of the operator $u\rightarrow D^{\alpha}(D^{\beta }u)+p(x)u$ with boundary conditions $\lim_{x\rightarrow0^{+}}D^{\beta -1}u(x)=\lim_{x\rightarrow0^{+}}D^{\alpha-1}(D^{\beta }u)(x)=u(1)=D^{\beta}u(1)=0 $, and we derive some of its properties including the following:

$$ ( 1-\kappa_{p} ) G ( x,s ) \leq \mathcal{H} ( x,s ) \leq G ( x,s )\quad \mbox{for all } ( x,s ) \in(0,1]\times[0,1] $$

and

$$ W\varphi=W_{p}\varphi+W_{p} ( pW\varphi ) =W_{p}\varphi +W ( pW_{p}\varphi )\quad\mbox{for }\varphi\in \mathcal{B}^{+} \bigl( (0,1) \bigr) , $$

where W and $W_{p}$ are defined by

$$ W\varphi ( x ) := \int_{0}^{1}G ( x,s ) \varphi (s)\,ds\quad\mbox{and}\quad W_{p}\varphi ( x ) := \int_{0}^{1}\mathcal{H} ( x,s ) \varphi(s)\,ds,\quad x\in(0,1]. $$

Exploiting these results, we prove our main results by means of a perturbation argument.

Estimates on the Green function

We recall the definition of the Riemann-Liouville derivative.

Definition 2.1

(see [17, 22, 23])

The Riemann-Liouville derivative of fractional order ${\gamma>0}$ of a function g is defined as

$$ D^{\gamma}g(x):=\frac{1}{\Gamma(n-\gamma)}\biggl(\frac{d}{dx}\biggr)^{n} \int_{0}^{x}(x-s)^{n-\gamma-1}g(s)\,ds, $$

where $n-1\leq\gamma< n\in\mathbb{N}$.

Next, we prove some properties of $G ( x,s ) $.

Proposition 2.2

Let $\alpha,\beta\in(1,2]$. Then there exist two constants $m>0$ and $M>0$ such that, for all $(x,s)\in(0,1]\times[0,1]$, we have

$$ mx^{\beta-2}(1-x) (1-s)^{\alpha-1}\leq G ( x,s ) \leq Mx^{\beta-2}(1-x) (1-s)^{\alpha-1}. $$

(2.1)

Proof

Using (1.6) and (1.5), we have

$$\begin{aligned} G(x,s) =& \int_{0}^{1}G_{\beta} ( x,t ) G_{\alpha} ( t,s ) \,dt \\ \leq&\frac{1}{\Gamma ( \beta ) } \int_{0}^{1}x^{\beta -2}(1-x) ( 1-t ) ^{\beta-2}G_{\alpha} ( t,s ) \,dt \\ \leq&\frac{x^{\beta-2}(1-x)}{\Gamma ( \beta ) \Gamma ( \alpha ) } \int_{0}^{1} ( 1-t ) ^{\beta -2}t^{\alpha-2} ( 1-s ) ^{\alpha-1}\,dt \\ =&Mx^{\beta-2}(1-x) (1-s)^{\alpha-1}. \end{aligned}$$

On the other hand, using again (1.6), (1.5), and the inequality $1-\max(x,s)\geq(1-x)(1-s)$, we get

$$\begin{aligned} G(x,s) =& \int_{0}^{1}G_{\beta} ( x,t ) G_{\alpha} ( t,s ) \,dt \\ \geq&\frac{(\beta-1)}{\Gamma ( \beta ) }\frac{(\alpha -1)}{\Gamma ( \alpha ) } \int_{0}^{1}x^{\beta-2}(1-x) ( 1-t ) ^{\beta}t^{\beta-2} ( 1-s ) ^{\alpha-1}\,dt \\ =&mx^{\beta-2}(1-x) (1-s)^{\alpha-1}. \end{aligned}$$

□

Using Proposition 2.2, we deduce the following.

Corollary 2.3

Let $\alpha,\beta\in(1,2]$. Then there exists a constant $c>0$ such that, for all $x,t,s\in(0,1)$, we have

$$ \frac{1}{c}t^{\beta-2}(1-t)^{\alpha}\leq \frac{G(x,t)G(t,s)}{G(x,s)}\leq ct^{\beta-2}(1-t)^{\alpha}. $$

(2.2)

Proposition 2.4

Let $\alpha,\beta\in(1,2]$, and p be a function in $B^{+}((0,1))$.

(i)
There exists a constant $c>0$ such that
$$ \frac{1}{c} \int_{0}^{1}t^{\beta-2}(1-t)^{\alpha }p(t)\,dt \leq\kappa_{p}\leq c \int_{0}^{1}t^{\beta -2}(1-t)^{\alpha}p(t)\,dt, $$
(2.3)
where $\kappa_{p}$ is given by (1.7).

In particular,
$$ \kappa_{p}< \infty\quad\textit{if and only if}\quad p\in\mathcal{J}_{\alpha ,\beta}. $$
(2.4)
(ii)
For $x\in(0,1]$, we have
$$ W(\theta p) (x)\leq\kappa_{p}\theta(x), $$
(2.5)
where $\theta(x):=\xi h_{1}(x)+\zeta h_{2}(x)$, and $h_{1}$ and $h_{2} $ are given respectively in (1.9) and (1.10).

Proof

Let p be a function in $B^{+}((0,1))$.

(i)
Inequalities in (2.3) follow immediately from (2.2) and (1.7).
(ii)
Since $\theta(x):=\xi h_{1}(x)+\zeta h_{2}(x)$, it suffices to prove (2.5) for $h_{1}$ and $h_{2}$. To this end, observe that from (1.6) it follows that, for each $x,s\in(0,1)$,
$$ \lim_{r\rightarrow0} \frac{G(s,r)}{G(x,r)}=\frac {G(s,0)}{G(x,0)}= \frac{h_{1}(s)}{h_{1}(x)}. $$

So by Fatou’s lemma and (1.7) we deduce that

$$ \int_{0}^{1}G(x,s)\frac{h_{1}(s)}{h_{1}(x)}p(s)\,ds\leq \mathop{\lim\inf}_{r\rightarrow0} \int_{0}^{1}G(x,s)\frac{G(s,r)}{G(x,r)}p(s)\,ds\leq \kappa_{p}, $$

that is,

$$ W(h_{1}p) (x)\leq\kappa_{p}h_{1}(x)\quad\mbox{for }x \in(0,1]. $$

Similarly, we prove that $W(h_{2}p)(x)\leq\kappa _{p}h_{2}(x)$ by observing that

$$ \lim_{r\rightarrow1} \frac{G(s,r)}{G(x,r)}=\frac{h_{2}(s)}{ h_{2}(x)}. $$

This ends the proof. □

Corollary 2.5

Let $\alpha,\beta\in(1,2]$ and $\varphi\in\mathcal {B}^{+} ((0,1)) $. Then $x\rightarrow W\varphi(x)\in C_{2-\beta} ( [0,1] ) $ if and only if $\int_{0}^{1} ( 1-s ) ^{\alpha-1}\varphi ( s ) \,ds<\infty$.

Proof

The assertion follows from (2.1) and the dominated convergence theorem. □

Proposition 2.6

Let $\alpha,\beta\in(1,2]$ and $\varphi\in\mathcal {B}^{+} ( (0,1) ) $ be such that $s\rightarrow(1-s)^{\alpha -1}\varphi(s)\in C((0,1))\cap L^{1}((0,1))$. Then Wφ is the unique nonnegative solution in $C_{2-\beta}([0,1])$ of

$$ \textstyle\begin{cases} D^{\alpha}(D^{\beta}u) ( x ) =\varphi(x),\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\beta -1}u(x)=\lim_{x\rightarrow 0^{+}}D^{\alpha-1}(D^{\beta}u)(x)=u(1)=D^{\beta}u(1)=0.\end{cases} $$

Proof

Let $\varphi\in\mathcal{B}^{+} ( (0,1) ) $. From (1.6) and the Fubini-Tonelli theorem we obtain

$$ W\varphi(x)= \int_{0}^{1}G_{\beta} ( x,t ) G_{\alpha } \varphi(t)\,dt, $$

(2.6)

where $G_{\alpha}\varphi(t)=\int_{0}^{1}G_{\alpha } ( t,s ) \varphi(s)\,ds$.

Since the function $s\rightarrow(1-s)^{\alpha-1}\varphi (s)\in C((0,1))\cap L^{1}((0,1))$, we deduce by Proposition 1.2 that $G_{\alpha}\varphi$ is the unique solution in $C_{2-\alpha}([0,1])$ of

$$ \textstyle\begin{cases} D^{\alpha}v(x)=-\varphi(x),\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\alpha-1}v(x)=v(1)=0.\end{cases} $$

(2.7)

On the other hand, by using (1.5) we deduce that

$$\begin{aligned} \int_{0}^{1}(1-t)^{\beta-1}G_{\alpha} \varphi(t)\,dt \leq &\frac{1}{\Gamma ( \alpha ) } \int_{0}^{1}(1-t)^{\beta -1} \biggl( \int_{0}^{1}t^{\alpha-2} ( 1-s ) ^{\alpha -1} \varphi(s)\,ds \biggr) \,dt \\ \leq&\frac{\Gamma ( \beta ) }{ ( \alpha-1 ) \Gamma ( \alpha+\beta-1 ) } \int_{0}^{1} ( 1-s ) ^{\alpha-1}\varphi(s)\,ds< \infty. \end{aligned}$$

Hence, the function $t\rightarrow(1-t)^{\beta-1}G_{\alpha }\varphi(t)\in C((0,1))\cap L^{1}((0,1))$. Therefore, using (2.6) and Proposition 1.2, we deduce that Wφ is the unique solution in $C_{2-\beta}([0,1])$ of

$$ \textstyle\begin{cases} D^{\beta}u(x)=-G_{\alpha}\varphi(x),\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\beta-1}u(x)=u(1)=0.\end{cases} $$

(2.8)

Combining (2.7) and (2.8), we obtain the required result. □

Proofs of main results

Let $\alpha,\beta\in(1,2]$. For $( x,s ) \in (0,1]\times[0,1]$, put $H_{0}(x,s)=G(x,s)$ and

$$ H_{n}(x,s)= \int_{0}^{1}G(x,t)H_{n-1}(t,s)p(t)\,dt, \quad n\geq1. $$

(3.1)

Now, let $\mathcal{H}:(0,1]\times[0,1]\rightarrow \mathbb{R}$ be defined by

$$ \mathcal{H} ( x,s ) =\sum_{n=0}^{\infty} ( -1 ) ^{n}H_{n}(x,s), $$

(3.2)

provided that the series converges.

Lemma 3.1

Let $\alpha,\beta\in(1,2]$ and $m,M>0$ be as in (2.1). Let $p\in\mathcal{J}_{\alpha,\beta}$ with $\kappa_{p}<1$. Then on $(0,1]\times[0,1]$, we have

(i)
$H_{n}(x,s)\leq\kappa_{p}^{n}G(x,s)$ for each $n\in\mathbb{N}$.

So, $\mathcal{H} ( x,s ) $ is well defined in $(0,1]\times[0,1]$.
(ii)
For each $n\in\mathbb{N}$,
$$ l_{n}x^{\beta-2}(1-x) ( 1-s ) ^{\alpha-1}\leq H_{n}(x,s)\leq r_{n}x^{\beta-2}(1-x) ( 1-s ) ^{\alpha-1}, $$
(3.3)
where
$$ l_{n}=m^{n+1}\biggl( \int_{0}^{1}t^{\beta-2}(1-t)^{\alpha}p(t)\,dt \biggr)^{n}\quad \textit{and}\quad r_{n}=M^{n+1} \biggl( \int_{0}^{1}t^{\beta -2}(1-t)^{\alpha}p(t)\,dt \biggr)^{n}. $$
(iii)
$H_{n+1}(x,s)=\int_{0}^{1}H_{n}(x,t)G(t,s)p(t)\,dt$ for each $n\in\mathbb{N}$.
(iv)
$\int_{0}^{1}\mathcal{H} ( x,t ) G(t,s)p(t)\,dt=\int_{0}^{1}G ( x,t ) \mathcal{H}(t,s)p(t)\,dt$.

Proof

By simple induction we prove (i), (ii), and (iii).

(iv) By Lemma 3.1(i) we have

$$ 0\leq H_{n}(x,t)G(t,s)p(t)\leq\kappa_{p}^{n}G(x,t)G(t,s)p(t) \quad\mbox{for }n\geq0\mbox{ and all }x,t,s\in(0,1]. $$

Therefore, the series $\sum_{n\geq0}\int_{0}^{1}H_{n}(x,t)G(t,s)p(t)\,dt$ converges.

So by applying the dominated convergence theorem we deduce that

$$\begin{aligned} \int_{0}^{1}\mathcal{H} ( x,t ) G(t,s)p(t)\,dt =& \sum_{n=0}^{\infty} \int_{0}^{1} ( -1 ) ^{n}H_{n}(x,t)G(t,s)p(t)\,dt \\ =&\sum_{n=0}^{\infty} \int_{0}^{1} ( -1 ) ^{n}G(x,t)H_{n}(t,s)p(t)\,dt \\ =& \int_{0}^{1}G ( x,t ) \mathcal{H}(t,s)p(t)\,dt. \end{aligned}$$

□

Proposition 3.2

Let $\alpha,\beta\in(1,2]$ and $p\in \mathcal{J}_{\alpha,\beta}$ with $\kappa_{p}<1$. Then the function $(x,s)\rightarrow x^{2-\beta}\mathcal{H} ( x,s ) \in C([0,1]\times[0,1])$.

Proof

Clearly, the function $(x,s)\rightarrow x^{2-\beta}H_{0}(x,s)\in C([0,1]\times[0,1])$.

Assume that the function $(x,s)\rightarrow x^{2-\beta }H_{n-1}(x,s)\in C([0,1]\times[0,1])$.

Using Lemma 3.1(i) and (2.1), we have, for all $(x,s,t)\in{}[0,1]\times[0,1]\times(0,1]$,

$$\begin{aligned} x^{2-\beta}G(x,t)H_{n-1}(t,s)p(t) \leq&\kappa _{p}^{n-1}x^{2-\beta }G(x,t)G(t,s)p(t) \\ \leq&M^{2}(1-x) (1-t)^{\alpha-1}t^{\beta-2}(1-t) (1-s)^{\alpha -1}p(t) \\ \leq&M^{2}t^{\beta-2}(1-t)^{\alpha}p(t). \end{aligned}$$

So by (3.1) and the dominated convergence theorem we conclude that the function $(x,s)\rightarrow x^{2-\beta }H_{n}(x,s)\in C([0,1]\times[0,1])$.

From Lemma 3.1(i) and (2.1) we deduce that

$$ x^{2-\beta}H_{n}(x,s)\leq\kappa_{p}^{n}x^{2-\beta}G(x,s) \leq M\kappa_{p}^{n}. $$

(3.4)

Therefore, the series $\sum_{n\geq0} ( -1 ) ^{n}x^{2-\beta}H_{n}(x,s)$ is uniformly convergent on $[0,1]\times[0,1]$, and so the function $(x,s)\rightarrow x^{2-\beta}\mathcal{H} ( x,s ) \in C([0,1]\times[ 0,1])$. □

Lemma 3.3

Let $\alpha,\beta\in(1,2]$ and $p\in \mathcal{J}_{\alpha,\beta}$ with $\kappa_{p}\leq\frac{1}{2}$. Then for $( x,s ) \in(0,1]\times[0,1]$, we have

$$ ( 1-\kappa_{p} ) G ( x,s ) \leq \mathcal{H} ( x,s ) \leq G ( x,s ) . $$

(3.5)

Proof

Let $p\in\mathcal{J}_{\alpha,\beta}$ with $\kappa_{p}\leq \frac{1}{2}$. By Lemma 3.1(i) we deduce that

$$ \bigl\vert \mathcal{H} ( x,s ) \bigr\vert \leq\sum_{n=0}^{\infty} ( \kappa_{p} ) ^{n}G ( x,s ) =\frac{1}{1-\kappa_{p}}G ( x,s ) . $$

(3.6)

Now, from the expression of $\mathcal{H}$ we have

$$ \mathcal{H} ( x,s ) =G ( x,s ) -\sum_{n=0}^{\infty} ( -1 ) ^{n}H_{n+1}(x,s). $$

(3.7)

Since the series $\sum_{n\geq0}\int_{0}^{1}G(x,t)H_{n}(t,s)p(t)\,dt$ converges, we conclude by (3.7) and (3.1) that

$$\begin{aligned} \mathcal{H} ( x,s ) =&G ( x,s ) -\sum_{n=0}^{\infty} ( -1 ) ^{n} \int_{0}^{1}G(x,t)H_{n}(t,s)p(t)\,dt \\ =&G ( x,s ) - \int_{0}^{1}G(x,t) \Bigl(\sum_{n=0}^{\infty} ( -1 ) ^{n}H_{n}(t,s) \Bigr)p(t)\,dt, \end{aligned}$$

namely,

$$ \mathcal{H} ( x,s ) =G ( x,s ) -W \bigl( p\mathcal{H} (\cdot,s ) \bigr) ( x ) . $$

(3.8)

On the other hand, since

$$\begin{aligned} W \bigl( p\mathcal{H} (\cdot,s ) \bigr) ( x ) \leq &\frac{1}{1-\kappa_{p}}W \bigl( pG ( \cdot,s ) \bigr) ( x ) \\ =&\frac{1}{1-\kappa_{p}}H_{1}(x,s)\leq\frac{\kappa_{p}}{1-\kappa _{p}}G ( x,s ) , \end{aligned}$$

(3.9)

we deduce that

$$ \mathcal{H} ( x,s ) \geq G ( x,s ) -\frac{\kappa _{p}}{1-\kappa_{p}}G ( x,s ) = \frac{1-2\kappa_{p}}{1-\kappa_{p}}G ( x,s ) \geq0. $$

Hence, $\mathcal{H} ( x,s ) \leq G ( x,s ) $, and by (3.8) we have

$$ \mathcal{H} ( x,s ) \geq G ( x,s ) -W \bigl( pG (\cdot,s ) \bigr) ( x ) \geq ( 1- \kappa _{p} ) G ( x,s ) . $$

□

Corollary 3.4

Let $\alpha,\beta\in(1,2]$ and $p\in \mathcal{J}_{\alpha,\beta}$ with $\kappa_{p}\leq\frac{1}{2}$.

Let $\varphi\in\mathcal{B}^{+} ( (0,1) ) $. Then

$$ W_{p}\varphi\in C_{2-\beta} \bigl( [0,1] \bigr) \quad\textit{if and only if}\quad \int_{0}^{1} ( 1-s ) ^{\alpha-1}\varphi ( s ) \,ds< \infty. $$

Proof

The assertion follows from Proposition 3.2, (3.5), and (2.1). □

Lemma 3.5

Let $\alpha,\beta\in(1,2]$ and $p\in \mathcal{J}_{\alpha,\beta}$ with $\kappa_{p}\leq\frac{1}{2}$.

Let $h \in\mathcal{B}^{+} ( (0,1) ) $. Then we have, for $x\in(0,1]$,

$$ Wh (x)=W_{p}h (x)+W_{p} ( pWh ) (x)=W_{p}h (x)+W ( pW_{p}h ) (x). $$

(3.10)

In particular, if $W(ph )<\infty$, then

$$ \bigl(I-W_{p} ( p\cdot ) \bigr) \bigl(I+W ( p\cdot ) \bigr)h =\bigl(I+W ( p\cdot ) \bigr) \bigl(I-W_{p} ( p\cdot ) \bigr)h =h . $$

(3.11)

Proof

Let $(x,s)\in(0,1]\times[0,1]$. Then by (3.8) we have

$$ G ( x,s ) =\mathcal{H} ( x,s ) +W \bigl( p\mathcal{H} ( \cdot,s ) \bigr) ( x ) . $$

Let $h\in\mathcal{B}^{+} ( (0,1) ) $. Using the Fubini theorem, we obtain

$$\begin{aligned} Wh (x) =& \int_{0}^{1} \bigl( \mathcal{H} ( x,s ) +W \bigl( p\mathcal{H} (\cdot,s ) \bigr) ( x ) \bigr) h (s)\,ds \\ =&W_{p}h (x)+W ( pW_{p}h ) (x). \end{aligned}$$

Using Lemma 3.1(iv) and again the Fubini theorem, we have

$$ \int_{0}^{1} \int_{0}^{1}\mathcal{H} ( x,t ) G(t,s)p(t)h (s)\,dt\,ds= \int_{0}^{1} \int_{0}^{1}G ( x,t ) \mathcal{H}(t,s)p(t)h (s)\,dt\,ds, $$

that is,

$$ W_{p} ( pWh ) (x)=W ( pW_{p}h ) (x). $$

So

$$ Wh (x)=W_{p}h (x)+W ( pW_{p}h ) (x)=W_{p}h (x)+W_{p} ( pWh ) (x). $$

□

Proposition 3.6

Let $\alpha,\beta\in(1,2]$ and $p\in \mathcal{J}_{\alpha,\beta}\cap C(\mathcal{(}0,1\mathcal{))}$ with $\kappa_{p}\leq\frac{1}{2}$. Let $\varphi\in\mathcal{B}^{+} ( (0,1) ) $ be such that $s\rightarrow(1-s)^{\alpha-1}\varphi(s)\in C((0,1))\cap L^{1}((0,1))$. Then $W_{p}\varphi\in C_{2-\beta}([0,1])$, and it is the unique nonnegative solution of the problem

$$ \textstyle\begin{cases} D^{\alpha}(D^{\beta}u)(x)+p(x)u(x)=\varphi(x),\quad 0< x< 1,\\ \lim_{x\rightarrow0^{+}}D^{\beta -1}u(x)=\lim_{x\rightarrow 0^{+}}D^{\alpha-1}(D^{\beta}u)(x)=u(1)=D^{\beta}u(1)=0,\end{cases} $$

(3.12)

satisfying

$$ ( 1-\kappa_{p} ) W\varphi\leq u \leq W\varphi. $$

(3.13)

Proof

By Corollary 3.4 the function $x\rightarrow p(x)W_{p}\varphi ( x ) \in C((0,1))$.

Using (3.10) and (2.1), we have that there exists $c\geq 0$ such that

$$ W_{p}\varphi(x)\leq W\varphi(x)\leq M \int_{0}^{1}x^{\beta -2}(1-x) (1-s)^{\alpha-1}\varphi(s)\,ds=cx^{\beta-2}(1-x). $$

(3.14)

Therefore,

$$ \int_{0}^{1}(1-s)^{\alpha-1}p(s)W_{p} \varphi(s)\,ds\leq c \int_{0}^{1}s^{\beta-2}(1-s)^{\alpha}p(s)\,ds< \infty. $$

Hence, by Proposition 2.6 the function $u=W_{p}\varphi=W\varphi-W ( pW_{p}\varphi ) $ satisfies the equation

$$ \textstyle\begin{cases} D^{\alpha}(D^{\beta}u) ( x ) =\varphi(x)-p(x)u(x),\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\beta -1}u(x)=\lim_{x\rightarrow 0^{+}}D^{\alpha-1}(D^{\beta}u)(x)=u(1)=D^{\beta}u(1)=0.\end{cases} $$

By integration of inequalities (3.5) we obtain (3.13).

Let us prove the uniqueness. Let $v\in C_{2-\beta }([0,1])$ be another solution of problem (3.12) satisfying $v\leq W\varphi$.

Put $\tilde {v}:=v+W(pv)$. Since the function $s\rightarrow (1-s)^{\alpha-1}p(s)v(s)\in C((0,1))\cap L^{1}((0,1))$, then by Proposition 2.6 it follows that

$$ \textstyle\begin{cases} D^{\alpha}(D^{\beta} \tilde {v}) ( x ) =\varphi(x),\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\beta-1}\tilde {v}(x)=\lim_{x\rightarrow0^{+}}D^{\alpha-1}(D^{\beta} \tilde {v})(x)=\tilde {v}(1)=D^{\beta} \tilde {v}(1)=0.\end{cases} $$

From the uniqueness in Proposition 2.6 we conclude that

$$ \tilde {v}:=v+W(pv)=W\varphi. $$

So

$$ \bigl(I+W(p\cdot)\bigr) \bigl((v-u)^{+}\bigr)=\bigl(I+W(p\cdot)\bigr) \bigl((v-u)^{-}\bigr), $$

where $(v-u)^{+}=\max(v-u,0)$ and $(v-u)^{-}=\max (u-v,0)$.

From (3.13), (3.14), (1.11), and (2.5), there exists a constant $\tilde {c}>0$, such that

$$ W\bigl(p\vert v-u\vert \bigr)\leq2\tilde {c}W(p\theta)\leq 2 \tilde {c}\kappa_{p}\theta< \infty. $$

Therefore, $u=v$ by Lemma 3.5. □

Proof of Theorem 1.3

Consider $\xi\geq0$ and $\zeta\geq0$ with $\xi+\zeta >0$. Let $\alpha,\beta\in(1,2]$ and $p\in\mathcal{J}_{\alpha,\beta }\cap C((0,1))$ be such that $(A_{2})$ is satisfied.

Let

$$ \mathcal{S}:= \bigl\{ u\in\mathcal{B}^{+} \bigl( (0,1) \bigr) : ( 1- \kappa_{p} ) \theta\leq u\leq\theta \bigr\} , $$

where $\theta(x):=\xi h_{1}(x)+\zeta h_{2}(x)$, and $h_{1}$ and $h_{2} $ are defined respectively by (1.9) and (1.10).

Define the operator $\mathcal{F}$ on $\mathcal{S}$ by

$$ \mathcal{F}u=\theta-W_{p} ( p\theta ) +W_{p}\bigl( \bigl( p-f (\cdot,u ) \bigr) u\bigr). $$

By (3.10) and (2.5) we have

$$ W_{p}(p\theta)\leq W ( p\theta ) \leq\kappa_{p}\theta \leq \theta. $$

(3.15)

Using ($\mathrm{A}_{2}$), we get

$$ 0\leq f(\cdot,u)\leq p\quad\mbox{for all }u\in\mathcal{S}. $$

(3.16)

Next, we prove that $\mathcal{FS}\subseteq\mathcal{S}$. Indeed, using (3.16) and (3.15), we have, for $u\in\mathcal {S}$,

$$ \mathcal{F}u\leq\theta-W_{p} ( p\theta ) +W_{p}(pu)\leq \theta $$

and

$$\begin{aligned} \mathcal{F}u \geq&\theta-W_{p} ( p\theta ) \\ \geq& ( 1-\kappa_{p} ) \theta. \end{aligned}$$

Observe that, by ($\mathrm{A}_{2}$), $\mathcal{F}$ becomes nondecreasing on $\mathcal{S}$.

Define the sequence $\{v_{n}\}$ by $v_{0}= ( 1-\kappa _{p} ) \theta$ and $v_{n+1}=\mathcal{F}v_{n}$ for $n\in \mathbb{N}$. Since $\mathcal{FS}\subseteq\mathcal{S}$, we have $v_{1}=\mathcal{F}v_{0}\geq$ $v_{0}$, and by the monotonicity of $\mathcal{F}$ we deduce that

$$ ( 1-\kappa_{p} ) \theta=v_{0}\leq v_{1}\leq\cdots \leq v_{n}\leq v_{n+1}\leq\theta. $$

Using ($\mathrm{A}_{1}$)-($\mathrm{A}_{2}$) and the dominated convergence theorem, we deduce that the sequence $\{v_{n}\}$ converges to a function $u\in\mathcal{S}$ satisfying

$$ u= \bigl( I-W_{p} ( p\cdot) \bigr) \theta+W_{p}\bigl( \bigl( p-f ( \cdot,u ) \bigr) u\bigr), $$

that is,

$$ \bigl( I-W_{p} ( p\cdot) \bigr) u= \bigl( I-W_{p} ( p\cdot) \bigr) \theta-W_{p} \bigl( uf (\cdot,u ) \bigr) , $$

and by (3.15) we have $W ( pu ) \leq W ( p\theta ) \leq\theta<\infty$. Therefore, by Lemma 3.5 we deduce that

$$ u=\theta-W \bigl( uf ( \cdot,u ) \bigr) . $$

(3.17)

We claim that u is a solution.

Indeed, from (3.16) and (1.11), there exists a constant $c>0$ such that

$$ (1-s)^{\alpha-1}u(s)f \bigl( s,u(s) \bigr) \leq(1-s)^{\alpha -1} \theta(s)p(s)\leq cs^{\beta-2}(1-s)^{\alpha}p(s). $$

(3.18)

So, by Proposition 2.6 the function $W ( uf ( \cdot,u ) ) \in C_{2-\beta}([0,1])$. This implies by (3.17) that $u\in C_{2-\beta}([0,1])$.

Now, since the function $s\rightarrow(1-s)^{\alpha -1}u(s)f ( s,u(s) ) \in C((0,1))\cap L^{1}((0,1))$, we deduce by Proposition 2.6 that u is a solution.

It remains to prove the uniqueness. Let v be another solution in $C_{2-\beta}([0,1])$ to problem (1.2) satisfying (1.12). Since $v\leq\theta$, we deduce by (3.18) that

$$ 0\leq v(s)f \bigl( s,v(s) \bigr) \leq\theta(s)p(s)\leq cs^{\beta -2}(1-s)p(s). $$

This implies that $s\rightarrow(1-s)^{\alpha -1}v(s)f ( s,v(s) ) \in C((0,1))\cap L^{1}((0,1))$. Let $\tilde {v}:=v+W ( vf (\cdot,v ) ) $. By Proposition 2.6, we have

$$ \textstyle\begin{cases} D^{\alpha}(D^{\beta} \tilde {v})(x)=0,\quad 0< x< 1,\\ \lim_{x\rightarrow0^{+}}D^{\beta-1}\tilde {v}(x)=0,\qquad \lim_{x\rightarrow0^{+}}D^{\alpha-1}(D^{\beta} \tilde {v})(x)=\xi,\\ \tilde {v}(1)=0,\qquad D^{\beta} \tilde {v}(1)=-\zeta.\end{cases} $$

Hence,

$$ v=\theta-W \bigl( vf ( \cdot,v ) \bigr) . $$

(3.19)

Let $\omega:(0,1)\rightarrow\mathbb{R}$ be defined by

$$ \omega(z)= \textstyle\begin{cases} \frac{v(z)f ( z,v(z) ) -u(z)f ( z,u(z) ) }{v(z)-u(z)} & \mbox{if }v(z)\neq u(z),\\ 0 & \mbox{if }v(z)=u(z).\end{cases} $$

By ($\mathrm{A}_{3}$), $\omega\in\mathcal{B}^{+} ((0,1)) $ and from (3.17) and (3.19) we deduce that

$$ \bigl(I+W(\omega\cdot)\bigr) \bigl((v-u)^{+}\bigr)=\bigl(I+W(\omega\cdot)\bigr) \bigl((v-u)^{-}\bigr), $$

where $(v-u)^{+}=\max(v-u,0)$ and $(v-u)^{-}=\max (u-v,0)$.

From ($\mathrm{A}_{2}$) we have $\omega\leq p$. So by using (1.12) and (2.5) we obtain

$$ W\bigl(\omega \vert v-u\vert \bigr)\leq2W(p\theta)\leq2\kappa _{p} \theta< \infty. $$

Hence, $u=v$ by (3.11). □

Proof of Corollary 1.4

The statement follows from Theorem 1.3 with $f ( x,t ) =\lambda q(x)h(t)$, $\varrho(t)=th(t)$ and $p(x):=\lambda q(x)\max_{0\leq t\leq\theta ( x ) }\varrho ^{\prime}(t)$. □

Example 3.7

Let $\sigma\geq0$, $\nu\geq0$, and $q\in C^{+}((0,1))$ be such that

$$ \int_{0}^{1}t^{(\beta-2)(1+\sigma+\nu)}(1-t)^{\alpha +\sigma+\nu}q(t)\,dt< \infty. $$

Let $\varrho(t)=t^{\sigma+1}\ln(1+t^{\nu})$ and $\tilde {q}(t):=q(t)\max_{0\leq s\leq\theta ( t ) }\varrho^{\prime}(s)$. Since $\tilde {q}\in\mathcal{J}_{\alpha ,\beta}$, then for $\xi\geq0$, $\zeta\geq0$ with $\xi+\zeta >0$ and $\lambda\in[0,\frac{1}{2\kappa_{\tilde {q}}})$, the problem

$$ \textstyle\begin{cases} D^{\alpha}(D^{\beta}u)(x)+\lambda q(x)u^{\sigma+1}(x)\ln (1+u^{\nu }(x))=0,\quad 0< x< 1, \\ \lim_{x\rightarrow0^{+}}D^{\beta-1}u(x)=0,\qquad\lim_{x\rightarrow0^{+}}D^{\alpha-1}(D^{\beta}u)(x)=\xi,\\ u(1)=0,\qquad D^{\beta}u(1)=-\zeta,\end{cases} $$

has a unique solution $u\in C_{2-\beta}([0,1])$ such that

$$ (1-\lambda\alpha_{\tilde {q}})\theta(x)\leq u ( x ) \leq\theta(x)\quad\mbox{for }x \in(0,1]. $$

References

1.
Agarwal, RP, O’Regan, D, Staněk, S: Positive solutions for Dirichlet problems of singular nonlinear fractional differential equations. J. Math. Anal. Appl. 371, 57-68 (2010)
- MathSciNet
- Article
- MATH
- Google Scholar
2.
Bachar, I, Mâagli, H: Positive solutions for superlinear fractional boundary value problems. Adv. Differ. Equ. 2014, 240 (2014)
- MathSciNet
- Article
- MATH
- Google Scholar
3.
Bai, Z, Lü, H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495-505 (2005)
- MathSciNet
- Article
- MATH
- Google Scholar
4.
Giacomoni, J, Kumar Mishra, P, Sreenadh, K: Fractional elliptic equations with critical exponential nonlinearity. Adv. Nonlinear Anal. 5, 57-74 (2016)
- MathSciNet
- MATH
- Google Scholar
5.
Graef, JR, Kong, L, Kong, Q, Wang, M: Existence and uniqueness of solutions for a fractional boundary value problem with Dirichlet boundary condition. Electron. J. Qual. Theory Differ. Equ. 2013, 55 (2013). doi:10.14232/ejqtde.2013.1.55
- MathSciNet
- Article
- MATH
- Google Scholar
6.
Kaufmann, ER, Mboumi, E: Positive solutions of a boundary value problem for a nonlinear fractional differential equation. Electron. J. Qual. Theory Differ. Equ. 2008, 3 (2008)
- MathSciNet
- MATH
- Google Scholar
7.
Mâagli, H, Mhadhebi, N, Zeddini, N: Existence and estimates of positive solutions for some singular fractional boundary value problems. Abstr. Appl. Anal. 2014, Article ID 120781 (2014)
- MathSciNet
- Article
- Google Scholar
8.
Mâagli, H, Mhadhebi, N, Zeddini, N: Existence and exact asymptotic behavior of positive solutions for a fractional boundary value problem. Abstr. Appl. Anal. 2013, Article ID 420514 (2013)
- MathSciNet
- Article
- MATH
- Google Scholar
9.
Metzler, R, Klafter, J: Boundary value problems for fractional diffusion equations. Physica A 278, 107-125 (2000)
- MathSciNet
- Article
- MATH
- Google Scholar
10.
Pucci, P, Xiang, M, Zhang, B: Existence and multiplicity of entire solutions for fractional p-Kirchhoff equations. Adv. Nonlinear Anal. 5, 27-55 (2016)
- MathSciNet
- MATH
- Google Scholar
11.
Xu, X, Jiang, D, Yuan, C: Multiple positive solutions for the boundary value problem of a nonlinear fractional differential equation. Nonlinear Anal. 71, 4676-4688 (2009)
- MathSciNet
- Article
- MATH
- Google Scholar
12.
Zhang, X, Liu, L, Wu, Y: Multiple positive solutions of a singular fractional differential equation with negatively perturbed term. Math. Comput. Model. 55, 1263-1274 (2012)
- MathSciNet
- Article
- MATH
- Google Scholar
13.
Diethelm, K, Freed, AD: On the solution of nonlinear fractional order differential equations used in the modeling of viscoplasticity. In: Keil, F, Mackens, W, Voss, H, Werther, J (eds.) Scientific Computing in Chemical Engineering. II. Computational Fluid Dynamics, Reaction Engineering and Molecular Properties, pp. 217-224. Springer, Heidelberg (1999)
- Google Scholar
14.
Gaul, L, Klein, P, Kempfle, S: Damping description involving fractional operators. Mech. Syst. Signal Process. 5, 81-88 (1991)
- Article
- Google Scholar
15.
Glockle, WG, Nonnenmacher, TF: A fractional calculus approach of self-similar protein dynamics. Biophys. J. 68, 46-53 (1995)
- Article
- Google Scholar
16.
Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
- Google Scholar
17.
Kilbas, A, Srivastava, H, Trujillo, J: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
- Google Scholar
18.
Kilbas, AA, Trujillo, JJ: Differential equations of fractional order: methods, results and problems. I. Appl. Anal. 78, 153-192 (2001)
- MathSciNet
- Article
- MATH
- Google Scholar
19.
Kilbas, AA, Trujillo, JJ: Differential equations of fractional order: methods, results and problems. II. Appl. Anal. 81, 435-493 (2002)
- MathSciNet
- Article
- MATH
- Google Scholar
20.
Mainardi, F: Fractional calculus: some basic problems in continuum and statical mechanics. In: Carpinteri, A, Mainardi, F (eds.) Fractals and Fractional Calculus in Continuum Calculus Mechanics, pp. 291-348. Springer, Vienna (1997)
- Google Scholar
21.
Miller, K, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
- Google Scholar
22.
Podlubny, I: Fractional Differential Equations. Academic Press, New York (1999)
- Google Scholar
23.
Samko, S, Kilbas, A, Marichev, O: Fractional Integrals and Derivative. Theory and Applications. Gordon and Breach, Yverdon (1993)
- Google Scholar
24.
Tarasov, V: Fractional Dynamics: Applications of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, New York (2011)
- Google Scholar

Download references

Acknowledgements

The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for its funding this Research group NO (RG-1435-043). The authors would like to thank the anonymous referees for their careful reading of the paper.

Author information

Affiliations

Department of Mathematics, College of Science, King Saud University, P.O. Box 2455, Riyadh, 11451, Saudi Arabia
- Imed Bachar
College of Sciences and Arts, Department of Mathematics, King Abdulaziz University, Rabigh Campus, P.O. Box 344, Rabigh, 21911, Saudi Arabia
- Habib Mâagli
Institute of Mathematics ‘Simion Stoilow’ of the Romanian Academy, P.O. Box 1-764, Bucharest, 014700, Romania
- Vicenţiu D. Rădulescu
Department of Mathematics, University of Craiova, Street A.I. Cuza No. 13, Craiova, 200585, Romania
- Vicenţiu D. Rădulescu

Authors

Imed Bachar
View author publications
You can also search for this author in
- PubMed
- Google Scholar
Habib Mâagli
View author publications
You can also search for this author in
- PubMed
- Google Scholar
Vicenţiu D. Rădulescu
View author publications
You can also search for this author in
- PubMed
- Google Scholar

Corresponding author

Correspondence to Vicenţiu D. Rădulescu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

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.

Reprints and Permissions

About this article

Cite this article

Bachar, I., Mâagli, H. & Rădulescu, V.D. Fractional Navier boundary value problems. Bound Value Probl 2016, 79 (2016). https://doi.org/10.1186/s13661-016-0586-7

Download citation

Received: 16 February 2016
Accepted: 05 April 2016
Published: 12 April 2016
DOI: https://doi.org/10.1186/s13661-016-0586-7

MSC

34A08
34B15
34B18
34B27

Keywords

fractional Navier differential equations
positive solutions
Green’s function
perturbation arguments