Abstract
In this paper we consider a fractional differential system with coupled integral boundary value problems on a half-line, where the nonlinearity terms depend on unknown functions and the lower-order fractional derivative of unknown functions, and the fractional infinite boundary value conditions depend on the coupled infinite integral of unknown functions. By virtue of the monotone iterative technique, we find two explicit monotone iterative sequences which converge to the positive minimal and maximal solutions when the nonlinearities can satisfy certain nonlinear growth conditions.
Similar content being viewed by others
1 Introduction
Fractional-order differential equations is a natural generalization of the case of integer order, which has become the focus of attention involving various kinds of boundary conditions because of the wide application in mathematical models and applied sciences. Some latest results on the topic can be found in a series of papers [1–15] and the references therein. In particular, a monotone iterative technique is believed to be an efficient and important method to deal with sequences of monotone solutions for initial and boundary value problems. For some applications of this method to nonlinear fractional differential equations, see [16–24]. We also note that there are some results about monotone iterative solution of a single fractional order equation on a half-line, see [25–29].
In [25] Zhang considered a nonlinear fractional boundary value problem on a half-line
where \(f\in C(J\times \mathbb{R}\times \mathbb{R},\mathbb{R})\). By utilizing the monotone iterative technique, iterative sequences of the positive extremal solutions were acquired.
In [27] Pei et al. studied the Hadamard fractional integro-differential equation on an infinite interval
where \(I^{(\cdot )}\) is the Hadamard fractional integral and α, η, \(\beta _{i}\), \(\lambda _{i}\) (\(i=1,2,\ldots,m\)) are some given constants with \(\varGamma (\alpha )>\sum_{i=1}^{m} \frac{\lambda _{i} \varGamma (\alpha )}{\varGamma (\alpha +\beta _{i} )}(\log \eta )^{\alpha +\beta _{i}-1}\). By using the monotone iterative technique, the existence of positive solutions was established.
On the other hand, integral boundary conditions are considered to be more reasonable than the local boundary conditions, which can depict phenomena of heat transmission, population dynamics, blood flow, etc. A large number of results about fractional differential equations with integral boundary condition have been obtained, see [9, 10, 30–43] and the references cited therein. Meanwhile, we note that the coupled systems of fractional-order differential equations have also attracted much attention due to their extensive applications, we refer to [3, 9, 10, 14, 22, 29, 32–43].
In [9] Jiang et al. utilized the fixed point index to construct the existence of positive solutions for the following system on a finite interval:
where the nonlinearities \(f_{i}\) (\(i=1,2\)) can grow superlinearly and sublinearly, and boundary value conditions depend on the coupled integral of unknown functions.
In [29] a coupled system of fractional differential equations on an infinite interval is studied
where \(t\in J=[0,+\infty )\), \(\varphi ,\psi \in C(J\times \mathbb{R}\times \mathbb{R},J)\), M, N are real numbers satisfying \(0< M\xi ^{\alpha -1}<\varGamma (\alpha )\), \(0< N\eta ^{\beta -1}<\varGamma ( \beta )\), \(\xi ,\eta , h>0\), and \(a,b\in \mathbb{\mathbb{R}^{+}}\), \(g_{1},g_{2}\in L^{1}[0,h]\) are nonnegative functions, the nonlinear terms φ, ψ and boundary conditions of the system are not coupled.
In [32] Aljoudi et al. studied the sequential fractional differential equations on a finite interval
where \(D^{(\cdot )}\) and \(I^{(\cdot )}\) denote the Hadamard fractional derivative and Hadamard fractional integral, \(f, g : [1, e]\times \mathbb{R}^{3} \rightarrow \mathbb{R}\) are given continuous functions, and boundary value conditions depend on the coupled fractional integral of unknown functions.
Inspired by the works above, in this paper we utilize the monotone iterative technique to study the existence of positive extremal solutions of a fractional differential system on a half-line
where \(D^{\alpha }\), \(D^{\beta }\) are the Riemann–Liouville fractional derivatives. Here we emphasize that the nonlinearity terms φ, ψ include not only unknown functions, but also the lower-order fractional derivative of unknown functions. By the way, the fractional infinite boundary value conditions depend on the coupled infinite integral of unknown functions. To the best of the authors’ knowledge, the system with coupled infinite integral boundary value conditions is yet to be investigated. φ, ψ satisfy the following assumptions:
- (C0):
-
\(\varphi ,\psi \in C( J \times \mathbb{R}\times \mathbb{R}\times \mathbb{R} ,J)\), \(J=[0,+\infty )\).
- (C1):
-
\(h(t),g(t)\in L[0,+\infty )\) with \(\int ^{+\infty }_{0}h(t)t^{\beta -1}\,\mathrm{d}t=\varUpsilon _{1}\), \(\int ^{+ \infty }_{0}g(t)t^{\alpha -1}\,\mathrm{d}t=\varUpsilon _{2}\), \(\varUpsilon _{1} \varUpsilon _{2}< \varGamma (\alpha )\varGamma (\beta )\).
- (C2):
-
The nonnegative functions \(a_{i}(t),b_{i}(t)\in L[0,+\infty )\) (\(i=0,1,2,3\)) and constants \(0\leq \lambda _{k}\), \(\tau _{k}<1\) (\(k=1,2,3\)) satisfy
$$ \bigl\vert \varphi (t,u,v,w) \bigr\vert \leq a_{0}(t)+a_{1}(t) \vert u \vert ^{\lambda _{1}}+a_{2}(t) \vert v \vert ^{ \lambda _{2}}+a_{3}(t) \vert w \vert ^{\lambda _{3}},\quad u,v,w\in \mathbb{R}, \forall t\in J, $$with
$$\begin{aligned}& \int ^{+\infty }_{0}a_{0}(t) \,\mathrm{d}t=a_{0}^{\ast }< +\infty ,\qquad \int ^{+ \infty }_{0}a_{1}(t) \bigl(1+t^{\alpha +\beta -1}\bigr)^{\lambda _{1}}\,\mathrm{d}t=a_{1}^{ \ast }< + \infty , \\& \int ^{+\infty }_{0}a_{2}(t) \bigl(1+t^{\alpha +\beta -1}\bigr)^{\lambda _{2}} \,\mathrm{d}t=a_{2}^{\ast }< + \infty ,\qquad \int ^{+\infty }_{0}a_{3}(t) \,\mathrm{d}t=a_{3}^{ \ast }< +\infty , \end{aligned}$$and
$$ \bigl\vert \psi (t,u,v,z) \bigr\vert \leq b_{0}(t)+b_{1}(t) \vert u \vert ^{\tau _{1}}+b_{2}(t) \vert v \vert ^{ \tau _{2}}+a_{3}(t) \vert z \vert ^{\tau _{3}},\quad u,v,z\in \mathbb{R}, \forall t \in J, $$with
$$\begin{aligned}& \int ^{+\infty }_{0}b_{0}(t) \,\mathrm{d}t=b_{0}^{\ast }< +\infty ,\qquad \int ^{+ \infty }_{0}b_{1}(t) \bigl(1+t^{\alpha +\beta -1}\bigr)^{\tau _{1}}\,\mathrm{d}t=b_{1}^{ \ast }< + \infty , \\& \int ^{+\infty }_{0}b_{2}(t) \bigl(1+t^{\alpha +\beta -1}\bigr)^{\tau _{2}} \,\mathrm{d}t=b_{2}^{\ast }< + \infty ,\qquad \int ^{+\infty }_{0}b_{3}(t) \,\mathrm{d}t=b_{3}^{ \ast }< +\infty . \end{aligned}$$ - (C3):
-
\(\varphi (t,u,v,w)\) and \(\psi (t,u,v,z)\) are increasing with respect to the variables u, v, w and u, v, z, and \(\varphi (t,0,0,0)\not \equiv 0\), \(\psi (t,0,0,0)\not \equiv 0\), \(\forall t \in J\).
For convenience, we set \(\Delta =\varGamma (\alpha )\varGamma (\beta )-\varUpsilon _{1}\varUpsilon _{2}\), \(\varTheta =\max \{\varGamma (\beta )+\varUpsilon _{1},\varGamma ( \alpha )+\varUpsilon _{2}, \varGamma (\alpha )(\varGamma (\beta )+\varUpsilon _{1}), \varGamma (\beta )(\varGamma (\alpha )+\varUpsilon _{2})\}\), \(\varLambda =\frac{\varTheta }{\Delta }\).
2 Preliminaries
In this section we only list some definitions and lemmas of the Riemann–Liouville fractional integral and derivative; for more details, we refer the readers to [1].
Definition 2.1
(see [1])
The Riemann–Liouville fractional integral of order \(q>0\) for an integrable function g is defined as
provided that the integral exists.
Definition 2.2
(see [1])
The Riemann–Liouville fractional derivative of order \(q>0\) for an integrable function g is defined as
where \(n=[q]+1, { [q]}\) is the smallest integer greater than or equal to q, provided that the right-hand side is pointwise defined on \((0,+\infty )\).
Lemma 2.3
(see [1])
Let\(q>0\)and\(u\in C(0,+\infty )\cap L(0,+\infty )\). Then the general solution of fractional differential equation\(D^{q}u(t)=0\)is
where\(c_{i}\in \mathbb{R}\), \(i=1,2,\ldots ,n\), and\(n-1< q< n\).
Lemma 2.4
Let\(x,y\in C(0,+\infty )\cap L(0,+\infty )\)and assumption (C1) be satisfied. Then the fractional differential system with coupled integral boundary conditions
has a solution which can take the integral representation
where
with
Proof
By Lemma 2.3, we can turn system (2.1) into an equivalent integral system
where \(c_{i},d_{i}\in \mathbb{R} \) (\(i=1,2,3\)). Notice that \(u(0)=u'(0)=0\) and \(v(0)=v'(0)=0\), we have \(c_{2}=c_{3}=d_{2}=d_{3}=0\). From (2.4) we have
As a result,
That is,
By means of conditions \(D^{\alpha -1}u(+\infty )= \int _{0}^{+\infty }h(t)v(t)\,\mathrm{d}t\) and \(D^{\beta -1}v(+\infty )= \int _{0}^{+\infty }g(t)u(t)\,\mathrm{d}t\), we have
Submitting (2.8) to (2.5), we obtain
Multiplying both sides of equality (2.9) by \(g(t)\) and \(h(t)\) and integrating from 0 to +∞, we have
Then
Submitting (2.10) to (2.9), we have
The proof is completed. □
Lemma 2.5
For\((s,t)\in J\times J\), if assumption (C1) is satisfied, then
Proof
From (2.3), it is obvious that
and
Thus
Furthermore,
By a similar calculation, we can prove other inequality results about \(K_{2}(t,s)\), \(K_{3}(t,s)\), and \(K_{4}(t,s)\). So the proof is completed. □
Remark 2.6
From (2.5), (2.8), and (2.10), by a direct calculation, we have
where
with
Remark 2.7
From Lemma 2.5, by a direct calculation, we can easily obtain that
Define two spaces
equipped with the norms
where \(2<\alpha ,\beta \leq 3\). \(C(J)\) denotes the space of all continuous functions defined on \([0, +\infty )\).
Lemma 2.8
\((X, \|\cdot \|_{X})\)and\((Y, \|\cdot \|_{Y})\)are two Banach spaces.
Proof
The proof is similar to that of Lemma 2.4 in [29], so we omit it. □
Lemma 2.9
(see [44])
Let\(U\subset X\)be a bounded set. ThenUis relatively compact inXif the following conditions hold:
-
(i)
For any\(u\in U\), \(\frac{u(t)}{1+t^{\alpha -1}}\)and\(D^{\alpha -1}u(t)\)are equicontinuous on any compact interval of J;
-
(ii)
For any\(\varepsilon >0\), there is a constant\(C=C(\varepsilon )>0\)such that\(|\frac{u(t_{1})}{1+t_{1}^{\alpha -1}}- \frac{u(t_{2})}{1+t_{2}^{\alpha -1}}|<\varepsilon \)and\(|D^{\alpha -1}u(t_{1})-D^{\alpha -1}u(t_{2})|<\varepsilon \)for any\(t_{1},t_{2}\geq C\)and\(u\in U\).
Remark 2.10
Let \(U\subset X\) be a bounded set. According to Lemmas 2.8 and 2.9, it is clear that U is relatively compact in X if the following conditions hold:
-
(i)
For any \(u\in U,\frac{u(t)}{1+t^{\alpha +\beta -1}}\) and \(D^{\alpha -1}u(t)\) are equicontinuous on any compact interval of J;
-
(ii)
For any \(\varepsilon >0\), there is a constant \(C=C(\varepsilon )>0\) such that \(|\frac{u(t_{1})}{1+t_{1}^{\alpha +\beta -1}}- \frac{u(t_{2})}{1+t_{2}^{\alpha +\beta -1}}|<\varepsilon \) and \(|D^{\alpha -1}u(t_{1})-D^{\alpha -1}u(t_{2})|<\varepsilon \) for any \(t_{1},t_{2}\geq C\) and \(u\in U\).
3 Main results
We define the cone \(P\subset X\times Y\) as \(P=\{(u,v)\in X\times Y| u(t)\geq 0,v(t)\geq 0, D^{\alpha -1}u(t) \geq 0,D^{\beta -1}v(t)\geq 0,t\in J\}\). From Lemma 2.4 it is easy to know that the fractional differential system (1.6) is equivalent to the following system of Hammerstein-type integral equations:
and for convenience, we set
Then we can define an operator \(\digamma :P\times P \to P\times P\) as follows:
Therefore, if \((u, v) \in (P \times P)\backslash \{ \mathbf{0}\} \) is a fixed point of Ϝ, then \((u, v)\) is a positive solution for the fractional differential system (1.6). Next, we will directly study the existence of fixed points of the operator Ϝ.
By Remark 2.6 and (3.1), we have
Lemma 3.1
If assumptions (C0) and (C2) are satisfied, then
and
Proof
For \(\forall (u,v)\in X\times Y\), by assumptions (C0) and (C2), we have
and
□
Lemma 3.2
If assumptions (C0), (C1), and (C2) are satisfied, then the operator\(\digamma :P\rightarrow P\)is completely continuous.
Proof
Since \(K_{i}(t,s)\geq 0\), \(\forall (t,s)\in J\times J\), \(i=1,2,3,4\), and \(\varphi \geq 0\), \(\psi \geq 0\), \(\forall (u,v)\in P\times P\), we have \(\digamma _{1}(u,v)(t)\geq 0\), \(\digamma _{2}(u,v)(t)\geq 0\), \(\forall (u,v) \in P\), \(t\in J\). So it is obvious that \(\digamma :P\rightarrow P\).
Next we show that the operator \(\digamma :P\rightarrow P\) is relatively compact. First let \(U=\{(u,v)| (u,v)\in P,\|(u,v)\|_{X\times Y}\leq M\}\). For \(\forall (u,v)\in U\), by Lemma 2.4, Lemma 2.5, and Lemma 3.1, we have
By Remark 2.6, Remark 2.7, and Lemma 3.1, we have
Thus
Similarly
Therefore
which implies that TU is uniformly bounded.
Second, let \(I\subset J\) be any compact interval. Then, for all \(t_{1},t_{2}\in I\), \(t_{2}>t_{1}\) and \((u,v)\in U\), we have
Notice that \(K_{1}(t,s)/(1+t^{\alpha +\beta -1})\), \(K_{3}(t,s)/(1+t^{\alpha +\beta -1})\) are uniformly continuous for any \((t,s)\in I\times I\). Furthermore, \(K_{1}(t,s)/(1+t^{\alpha +\beta -1})\), \(K_{3}(t,s)/(1+t^{\alpha +\beta -1})\) only depend on t for \(s\geq t\), which implies that \(K_{1}(t,s)/(1+t^{\alpha +\beta -1})\), \(K_{3}(t,s)/(1+t^{\alpha +\beta -1})\) are uniformly continuous on \(I\times (J\setminus I)\). Thus, for all \(s\in J\) and \(t_{1},t_{2}\in I\), we have
Combining (3.6) and (3.7) with Lemma 3.1, for all \(s\in J\), \((u,v)\in U\), and \(t_{1},t_{2}\in I\), we have
which implies that \(\digamma _{1}(u,v)(t)/(1+t^{\alpha +\beta -1})\) is equicontinuous on I.
Note that
and \(H_{1}(t,s),H_{3}(t,s)\in C(J\times J)\) do not depend on t, which infers that \(D^{\alpha -1}\digamma _{1}(u,v)(t)\) is equicontinuous on I. In the same way, we can show that \(\digamma _{2}(u,v)(t)/(1+t^{\alpha +\beta -1})\) and \(D^{\beta -1}\digamma _{2}(u,v)(t)\) are equicontinuous. Thus condition (i) of Remark 2.10 is satisfied.
Then we show that operators \(\digamma _{1}\), \(\digamma _{2}\) are equiconvergent at +∞. Since
we can infer that, for any \(\epsilon >0\), there exists a sufficiently large constant \(C=C(\epsilon )>0\), for any \(t_{1},t_{2}\geq C\) and \(s\in J\), such that
Therefore, by Lemma 3.1 and (3.6), we conclude that \(\digamma _{1}(u,v)(t)/1+t^{\alpha +\beta -1}\) is equiconvergent at +∞. On the other hand, the functions \(H_{1}(t,s)\), \(H_{3}(t,s)\) do not depend on t, it is obvious that \(D^{\alpha -1}\digamma _{1}(u,v)(t)\) is equiconvergent at +∞. Similarly, \(\digamma _{2}(u,v)(t)/1+t^{\alpha +\beta -1}\) and \(D^{\alpha -1}\digamma _{2}(u,v)(t)\) are equiconvergent at +∞. Thus condition (ii) of Remark 2.10 is satisfied.
As can be seen from the above discussion, all the conditions of Remark 2.10 are satisfied. Thus the operator \(\digamma :P\rightarrow P\) is relatively compact.
Finally, we prove that the operator \(\digamma :P\rightarrow P\) is continuous. Let \((u_{n},v_{n}),(u,v)\in P\) such that \((u_{n},v_{n})\rightarrow (u,v)(n\rightarrow \infty )\). Then \(\|(u_{n},v_{n})\|_{X\times Y}<+\infty \), \(\|(u,v)\|_{X\times Y}<+ \infty \). Similar to (3.3) and (3.4), we can obtain
and
By the continuity of function φ, ψ and the Lebesgue dominated convergence theorem, we have
and
Then, as \(n\rightarrow \infty \),
and as \(n\rightarrow \infty \),
So, as \(n\rightarrow \infty \),
which implies that the operator \(\digamma _{1}\) is continuous. By the same way, we can obtain that the operator \(\digamma _{2}\) is continuous. That is, the operator Ϝ is continuous.
In view of all above arguments, the operator \(\digamma :P\rightarrow P\) is completely continuous. So the proof is completed.
Define a partial order over the product space:
if \(u_{1}(t)\geq u_{2}(t)\), \(v_{1}(t)\geq v_{2}(t)\), \(D^{\alpha -1}u_{1}(t) \geq D^{\alpha -1}u_{2}(t)\), \(D^{\beta -1}v_{1}(t)\geq D^{\beta -1}v_{2}(t)\), \(t \in J\). □
Theorem 3.3
Suppose that (C0), (C1), (C2), and (C3) are satisfied. Then there exists a positive constantRsuch that system (1.6) has two positive solutions\((u^{\ast },v^{\ast })\)and\((w^{\ast },z^{\ast })\)satisfying\(0\leq \|(u^{\ast },v^{\ast })\|_{X\times Y}\leq R\)and\(0\leq \|(w^{\ast },z^{\ast })\|_{X\times Y}\leq R\)with\(\lim_{n\rightarrow \infty }(u_{n},v_{n})=(u^{\ast },v^{\ast })\)and\(\lim_{n\rightarrow \infty }(w_{n},z_{n})=(w^{\ast },z^{\ast })\), where\((u_{n},v_{n})\)and\((w_{n},z_{n})\)can be given by the following monotone iterative sequences:
and
In addition,
and
Proof
First, Lemma 3.2 brings about the fact that \(\digamma (P) \subset P\) for any \((u,v)\in P\), \(t\in J\).
Next, let
and define \(U_{R}=\{(u,v)\in P:\|(u,v)\|_{X\times Y}\leq R\}\). For any \((u,v)\in U_{R}\), similar to (3.3) and (3.4), we obtain
and
This means that \(\|\digamma _{1}(u,v)\|_{X}\leq R\). In the same way, \(\|\digamma _{2}(u,v)\|_{Y}\leq R\) for all \((u,v)\in U_{R}\). Thus we know
That is, \(\digamma (U_{R})\subset U_{R}\).
Through (3.8) and (3.9), it is obvious that \((u_{0}(t),v_{0}(t)),(w_{0}(t),z_{0}(t))\in U_{R}\). By the complete continuity of the operator Ϝ, we define the sequences \((u_{n},v_{n})\) and \((w_{n},z_{n})\) as \((u_{n},v_{n})= \digamma (u_{n-1},v_{n-1})\), \((w_{n},z_{n})= \digamma (w_{n-1},z_{n-1})\) for \(n=1,2,\ldots \) . Since \(\digamma (U_{R})\subset U_{R}\), we can obtain that \((u_{n},v_{n}),(w_{n},z_{n})\in \digamma (U_{R})\) for \(n=1,2,\ldots \) . Hence we need to prove that there exist \((u^{\ast },v^{\ast })\) and \((w^{\ast },z^{\ast })\) satisfying \(\lim_{n\rightarrow \infty }(u_{n},v_{n})=(u^{\ast },v^{\ast })\) and \(\lim_{n\rightarrow \infty }(w_{n},z_{n})=(w^{\ast },z^{\ast })\), which are two monotone sequences for positive solutions of the fractional differential system (1.6).
For \(t\in J\), by Lemma 2.5, (3.1), and (3.8), we have
and
that is,
Then we consider the monotonicity of the fractional derivative of \((u,v)\). By (3.12) and Remark 2.6, we know
that is,
By the monotonicity assumption (C3) of functions φ and ψ, similar to (3.12) and (3.13), for \(\forall t\in J\), we do the second iteration:
By recursion, for \(t\in J\), the sequence \(\{(u_{n},v_{n})\}_{n=0}^{\infty }\) satisfies
Applying the iterative sequence \((u_{n+1},v_{n+1})=\digamma (u_{n},v_{n})\) and the complete continuity of the operator Ϝ, it is easy to infer that \((u_{n},v_{n})\rightarrow (u^{\ast },v^{\ast })\) and \(\digamma (u^{\ast },v^{\ast })=(u^{\ast },v^{\ast })\). Thus \((u^{\ast },v^{\ast })\) is a fixed point of Ϝ.
For the sequence \(\{(w_{n},z_{n})\}_{n=0}^{\infty }\), we take a similar discussion. For \(t\in J\), we attain
Using the the monotonicity assumption (C3) of functions φ and ψ, we can obtain
Analogously, for \(n=0,1,2,\ldots \) and \(t\in J\), we know
Applying the iterative sequence \((w_{n+1},z_{n+1})=\digamma (w_{n},z_{n})\) and the complete continuity of the operator Ϝ, it is easy to acquire that \((w_{n},z_{n})\rightarrow (w^{\ast },z^{\ast })\) and \(\digamma (w^{\ast },z^{\ast })=(w^{\ast },z^{\ast })\). Thus \((w^{\ast },z^{\ast })\) is also a fixed point of Ϝ.
Finally we prove that \((u^{\ast },v^{\ast })\) and \((w^{\ast },z^{\ast })\) are the minimal and maximal positive solutions of system (1.6). Suppose that \((\xi (t),\eta (t))\) is any positive solution of system (1.6), then \(\digamma (\xi (t),\eta (t))=(\xi (t),\eta (t))\) and
Using the monotone property of the operator Ϝ, we obtain that
Repeating the above process, we have
Combining \(\lim_{n\rightarrow \infty } (w_{n},z_{n})=(w^{\ast },z^{\ast })\) and \(\lim_{n\rightarrow \infty } (u_{n},v_{n})=(u^{\ast },v^{\ast })\), the results (3.10) and (3.11) come naturally.
Again \(\varphi (t,0,0,0)\neq 0\) and \(\psi (t,0,0,0)\neq 0\) for all \(t\in J\), we know that \((0,0)\) is not a solution of system (1.6). By (3.10) and (3.11), it is obvious that \((w^{\ast },z^{\ast })\) and \((u^{\ast },v^{\ast })\) are the extreme positive solutions of system (1.6), which can be constructed by means of two monotone iterative sequences in (3.8) and (3.9). Thus the proof is completed. □
Remark 3.4
When the parameters \(\lambda _{k}\), \(\tau _{k}\) (\(k=1,2,3\)) take different values, the same result can be obtained by using a similar method, so we omit the details.
Example 3.5
Consider the following fractional differential system on a half-line:
where \(\alpha =2.5\), \(\beta =2.1\), \(h(t)=t^{-1.1}e^{-t}\), \(g(t)=t^{-1.5}e^{-2t}\), \(\lambda _{1}=0.1\), \(\lambda _{2}=0.3\), \(\lambda _{3}=0.4\), \(\tau _{1}=0.2\), \(\tau _{2}=0.4\), \(\tau _{3}=0.2\), \(\varGamma (2.5)=1.329340\), \(\varGamma (2.1)=1.046486\), \(\varUpsilon _{1}=\int _{0}^{+\infty }h(t)t^{1.1}\,dt=1\), \(\varUpsilon _{2}=\int _{0}^{+ \infty }g(t)t^{1.5}\,dt=0.5\), and
It is easy to know that \(\varGamma (2.5)\varGamma (2.1)>\varUpsilon _{1}\varUpsilon _{2}\). So assumptions (C0) and (C1) are satisfied.
Noting that
and
which means that assumption (C2) is satisfied.
From the expression of functions φ, ψ, it is obvious that φ, ψ are increasing with respect to the variables u, v, w and u, v, z, and \(\varphi (t,0,0,0)\not \equiv 0\), \(\psi (t,0,0,0)\not \equiv 0\), \(\forall t \in J\). Thus assumption (C3) is satisfied. By Theorem 3.3, it follows that the fractional differential system (3.14) has two positive solutions, which can be established by the limit means of two explicit monotone iterative sequences in (3.8) and (3.9).
4 Conclusions
In this paper, we apply the monotone iterative technique to study a fractional differential system with coupled integral boundary conditions in a half-line. We first transform system (1.6) into an equivalent operator equation (3.1), and then we construct some norm inequalities related to nonlinear terms φ, ψ and a new Banach space. Finally, some explicit monotone iterative sequences for approximating the extreme positive solutions are obtained.
References
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Ahmad, B., Alsaed, A., Ntouyas, S.K., Tariboon, J.: Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities. Springer, Berlin (2017)
Hao, X., Wang, H., Liu, L., Cui, Y.: Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator. Bound. Value Probl. 2017, 182 (2017)
Wang, Y., Liu, L.: Positive solutions for a class of fractional infinite-point boundary value problems. Bound. Value Probl. 2018, 118 (2018)
Wang, Y.: The Green’s function of a class of two-term fractional differential equation boundary value problem and its applications. Adv. Differ. Equ. 2020, 80 (2020)
Wang, Y., Wang, H.: Existence and nonexistence of positive solutions for high-order fractional differential equation boundary value problems at resonance. J. Funct. Spaces 2020, 2395238 (2020)
Wang, Y., Wang, H.: Triple positive solutions for fractional differential equation boundary value problems at resonance. Appl. Math. Lett. 2020, 106376 (2020)
Zhang, X., Zhong, Q.: Triple positive solutions for nonlocal fractional differential equations with singularities both on time and space variables. Appl. Math. Lett. 80, 12–19 (2018)
Jiang, J., O’Regan, D., Xu, J., Fu, Z.: Positive solutions for a system of nonlinear Hadamard fractional differential equations involving coupled integral boundary conditions. J. Inequal. Appl. 2019, 204 (2019)
Zhang, H., Li, Y., Xu, J.: Positive solutions for a system of fractional integral boundary value problems involving Hadamard-type fractional derivatives. Complexity 2019, 2671539 (2019)
Zhao, Y., Xu, J., Chen, H.: Variational methods for an impulsive fractional differential equations with derivative term. Mathematics 7, 880 (2019)
Cheng, W., Xu, J., O’Regan, D., Cui, Y.: Positive solutions for a nonlinear discrete fractional boundary value problem with a p-Laplacian operator. J. Appl. Anal. Comput. 9, 1959–1972 (2019)
Xu, J., Jiang, J., O’Regan, D.: Positive solutions for positive solutions for a class of p-Laplacian Hadamard fractional-order three-point boundary value problems. Mathematics 8, 308 (2020)
Ding, Y., Jiang, J., O’Regan, D., Xu, J.: Positive solutions for a system of Hadamard-type fractional differential equations with semipositone nonlinearities. Complexity 2020, 9742418 (2020)
Zhang, H., Li, Y., Yang, J.: New sequential fractional differential equations with mixed-type boundary conditions. J. Funct. Spaces 2020, 6821637 (2020)
Wang, G., Baleanu, D., Zhang, L.: Monotone iterative method for a class of nonlinear fractional differential equations. Fract. Calc. Appl. Anal. 15, 244–252 (2012)
Cui, Y., Sun, Q., Su, X.: Monotone iterative technique for nonlinear boundary value problems of fractional order \(p\in (2, 3]\). Adv. Differ. Equ. 2017, 1 (2017)
Zhang, X., Wu, J., Liu, L., Wu, Y., Cui, Y.: Convergence analysis of iterative scheme and error estimation of positive solution for a fractional differential equation. Math. Model. Anal. 23, 611–626 (2018)
Guo, L., Liu, L., Wu, Y.: Iterative unique positive solutions for singular p-Laplacian fractional differential equation system with several parameters. Nonlinear Anal., Model. Control 23, 182–203 (2018)
Wei, Y., Song, Q., Bai, Z.: Existence and iterative method for some fourth order nonlinear boundary value problems. Appl. Math. Lett. 87, 101–107 (2019)
Guo, L., Liu, L.: Unique iterative positive solutions for a singular p-Laplacian fractional differential equation system with infinite-point boundary conditions. Bound. Value Probl. 2019, 113 (2019)
Yang, W.: Monotone iterative technique for a coupled system of nonlinear Hadamard fractional differential equations. J. Appl. Math. Comput. 59, 585–596 (2019)
Wang, F., Liu, L., Wu, Y., Zou, Y.: Iterative analysis of the unique positive solution for a class of singular nonlinear boundary value problems involving two types of fractional derivatives with p-Laplacian operator. Complexity 2019, 2319062 (2019)
Wang, G., Qin, J., Zhang, L., Baleanu, D.: Explicit iteration to a nonlinear fractional Langevin equation with non-separated integro-differential strip-multi-point boundary conditions. Chaos Solitons Fractals 131, 109476 (2020)
Zhang, S.: Monotone iterative method for initial value problem involving Riemann–Liouville fractional derivatives. Nonlinear Anal., Theory Methods Appl. 71, 2087–2093 (2009)
Zhang, L., Ahmad, B., Wang, G.: Successive iterations for positive extremal solutions of nonlinear fractional differential equations on a half-line. Bull. Aust. Math. Soc. 91, 116–128 (2015)
Pei, K., Wang, G., Sun, Y.: Successive iterations and positive extremal solutions for a Hadamard type fractional integro-differential equations on infinite domain. Appl. Math. Comput. 312, 158–168 (2017)
Zhai, C., Wei, L.: The unique positive solution for fractional integro-differential equations on infinite intervals. ScienceAsia 312, 118–124 (2018)
Zhai, C., Ren, J.: A coupled system of fractional differential equations on the half-line. Bound. Value Probl. 2019, 117 (2019)
Ntouyas, S.K., Tariboon, J., Thaiprayoon, C.: Nonlocal boundary value problems for Riemann–Liouville fractional differential inclusions with Hadamard fractional integral boundary conditions. Taiwan. J. Math. 20, 91–107 (2016)
Fu, Z., Bai, S., O’Regan, D., Xu, J.: Nontrivial solutions for an integral boundary value problem involving Riemann–Liouville fractional derivatives. J. Inequal. Appl. 2019, 104 (2019)
Aljoudi, S., Ahmad, B., Nieto, J.J., Ahmed, A.: A coupled system of Hadamard type sequential fractional differential equations with coupled strip conditions. Chaos Solitons Fractals 91, 39–46 (2016)
Li, Y., Sang, Y., Zhang, H.: Solvability of a coupled system of nonlinear fractional differential equations with fractional integral conditions. J. Appl. Math. Comput. 50, 73–91 (2016)
Liu, B., Li, J., Liu, L., Wang, Y.: Existence and uniqueness of nontrivial solutions to a system of fractional differential equations with Riemann–Stieltjes integral conditions. Adv. Differ. Equ. 2018, 306 (2018)
Riaz, U., Zada, A., Ali, Z., Cui, Y., Xu, J.: Analysis of coupled systems of implicit impulsive fractional differential equations involving Hadamard derivatives. Adv. Differ. Equ. 2019, 226 (2019)
Zhang, X., Liu, L., Wu, Y., Zou, Y.: Existence and uniqueness of solutions for systems of fractional differential equations with Riemann–Stieltjes integral boundary condition. Adv. Differ. Equ. 2018, 204 (2018)
Xu, J., Goodrich, C.S., Cui, Y.: Positive solutions for a system of first-order discrete fractional boundary value problems with semipositone nonlinearities. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113, 1343–1358 (2019)
Cheng, W., Xu, J., Cui, Y., Ge, Q.: Positive solutions for a class of fractional difference systems with coupled boundary conditions. Adv. Differ. Equ. 2019, 249 (2019)
Wang, F., Cui, Y.: Positive solutions for an infinite system of fractional order boundary value problems. Adv. Differ. Equ. 2019, 169 (2019)
Ding, Y., Xu, J., Fu, Z.: Positive solutions for a system of fractional integral boundary value problems of Riemann–Liouville type involving semipositone nonlinearities. Mathematics 7, 970 (2019)
Zhao, D., Liu, Y.: Twin solutions to semipositone boundary value problems for fractional differential equations with coupled integral boundary conditions. J. Nonlinear Sci. Appl. 10, 3544–3565 (2017)
Wang, Y., Liu, Y., Cui, Y.: Multiple sign-changing solutions for nonlinear fractional Kirchhoff equations. Bound. Value Probl. 2018, 193 (2018)
Wang, Y., Liu, Y., Cui, Y.: Infinitely many solutions for impulsive fractional boundary value problem with p-Laplacian. Bound. Value Probl. 2018, 94 (2018)
Su, X., Zhang, S.: Unbounded solutions to a boundary value problem of fractional order on the half-line. Comput. Math. Appl. 61, 1079–1087 (2011)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
This work is supported by University Natural Science Foundation of Anhui Provincial Education Department (Grant No. KJ2017A442, KJ2018A0452), the Foundation of Suzhou University (Grant No. 2016XJGG13, 2019XJZY02), Technology Research Foundation of Chongqing Educational Committee(Grant No. KJQN201800533).
Author information
Authors and Affiliations
Contributions
Each of the authors contributed to each part of this study equally, all authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhang, H., Wang, Y. & Xu, J. Explicit monotone iterative sequences for positive solutions of a fractional differential system with coupled integral boundary conditions on a half-line. Adv Differ Equ 2020, 396 (2020). https://doi.org/10.1186/s13662-020-02860-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02860-1