Abstract
In this paper, we study the existence and uniqueness of positive solutions for a class of a fractional differential equation system of Riemann–Liouville type on infinite intervals with infinite-point boundary conditions. First, the higher-order equation is reduced to the lower-order equation, and then it is transformed into the equivalent integral equation. Secondly, we obtain the existence and uniqueness of positive solutions for each fixed parameter \(\lambda >0\) by using the mixed monotone operators fixed-point theorem. The results obtained in this paper show that the unique positive solution has good properties: continuity, monotonicity, iteration, and approximation. Finally, an example is given to demonstrate the application of our main results.
Similar content being viewed by others
1 Introduction
In recent years, fractional differential equations have developed rapidly in application and theory. They are widely used in a variety of fields, including fluid flow, signal and image processing, aerodynamics, and modeling of physical phenomena exhibiting anomalous diffusion. Some excellent research outcomes have also been obtained [1–14]. Solving the existence and uniqueness of positive solutions to boundary value problems of fractional differential equations has become an important research area.
In [15], employing a fixed-point theory in cones, the authors investigated the existence and multiplicity of positive solutions for multipoint boundary value problems of fractional differential equations on infinite intervals:
where \(2<\alpha \leq 3\), \(0<\xi _{1}<\xi _{2}<\cdots <\xi _{m-2}<+\infty \), \(\beta _{i} \geq 0\), \(i=1,2, \ldots , m-2\) with \(0<\sum_{i=1}^{m-2} \beta _{i}\xi _{i}^{\alpha -1}<\Gamma (\alpha )\), and \(D_{0^{+}}^{\alpha}\) denotes the Riemann–Liouville derivative.
In [16], by making use of the fixed-point theorem for generalized concave operators, the authors studied the existence and uniqueness of positive solutions for fractional differential equations with integral boundary conditions as follows:
where \(2<\alpha \leq 3\), \(0<\beta <\alpha \), \(\lambda >0\) is a parameter and \(D_{0^{+}}^{\alpha}\) is the Riemann–Liouville fractional derivative.
In [17], by using the fixed-point theorem of mixed monotone operators, the authors discussed the existence and uniqueness of positive solutions for the following fractional differential equation system:
where \(1<\gamma <\alpha \leq 2\), \(1<\alpha -\beta <\gamma \), \(0<\beta \leq \mu <1\), \(0< v<1\), \(0< \xi _{1}<\xi _{2}<\cdots <\xi _{p-2}<1\), \(a_{j}, b_{j} \in [0,+\infty )\), and \(\sum_{j=1}^{p-2} a_{j} \xi _{j}^{\alpha -\mu -1}<1\), \(\sum_{j=1}^{p-2} b_{j} \xi _{j}^{\gamma -1}<1, D_{t}\) is the Riemann–Liouville fractional derivative.
The boundary value problems of fractional differential equations on infinite intervals are significant for the study of the unsteady flow of gases in semiinfinite porous media, the theory of drainage flow, and so on [15, 18–21]. In addition to having a larger practical application background, multipoint boundary value problems can more properly represent many significant physical phenomena, such as soil–water and wet-soil differentials, nonuniform electromagnetic field theory [15, 17, 20–25].
Through consulting the relevant literature, the existence and uniqueness of positive solutions to multipoint boundary value problems of fractional differential equations on infinite intervals have not been thoroughly investigated [20, 21, 26], most of these studies use fixed-point theorems on cones, but few papers use fixed-point theorems of mixed monotone operators, and there is even less literature on fractional differential equation systems.
Motivated by the studies above, in this work, we extend the multipoint boundary value problem to infinite point, and use the mixed monotone operators fixed-point theorem to investigate the existence and uniqueness of positive solutions to the boundary value problem of fractional differential equation system on infinite intervals as follows:
where \(2<\alpha <3\), \(1<\beta <2\), \(0<\gamma <1\), \(1<\alpha -\gamma <\beta \), \(\beta - \gamma -1>0\), \(\sigma >\gamma \), \(\lambda >0\) is a parameter, \(a_{i}, b_{i} \geq 0\), \(0<\xi _{1}<\xi _{2}<\cdots <\xi _{i}<\cdots <+ \infty \), \(0<\eta _{1}<\eta _{2}<\cdots <\eta _{i}<\cdots <+\infty \), \(i=1,2, \ldots , D_{0^{+}}^{\mu}\) is the Riemann–Liouville fractional derivative of order μ, \(\mu \in \{\alpha , \beta , \gamma , \alpha -1, \beta -1\}\), \(f:[0,+\infty )^{5} \rightarrow [0,+\infty ), p, q\), \(r:[0,+\infty ) \rightarrow [0,+\infty )\) and \(m, g:[0,+\infty ) \times [0,+\infty ) \rightarrow [0,+\infty )\) are continuous.
In this paper, we study the existence and uniqueness of positive solutions to the boundary value problem (4), improving and generalizing the literature [17]. The main new features presented in this paper are as follows. First, we generalize the boundary conditions and intervals to give a more general form and more accurate results for the boundary value problem. Secondly, by using the fixed-point theorem of mixed monotone operators, the existence and uniqueness of positive solutions are obtained for every fixed parameter \(\lambda >0\). We also give some properties of positive solutions that depend on the parameter. In addition, the boundary value problem studied in this paper is a system, which is an extension of general fractional differential equations.
The rest of the paper is organized as follows. In Sect. 2, we introduce and derive several key definitions, lemmas, and properties. In Sect. 3, we obtain the existence and uniqueness of positive solutions for problem (4) and the unique positive solution has good properties such as continuity, monotonicity, iteration, and approximation. In Sect. 4, an example is presented to demonstrate the application of our main results. Finally, Sect. 5 presents a brief conclusion.
2 Preliminaries
In this section, we first present some definitions and lemmas to be used in the proof of our main results. They can also be found in the literature [16, 21, 26, 27].
Definition 1
([26])
The Riemann–Liouville fractional integral of order \(\alpha >0\) of a function \(y:(0,+\infty )\rightarrow \mathbb{R}^{1}\) is given by
provided that the right-hand side is pointwise defined on \((0,\infty )\).
Definition 2
([26])
The Riemann–Liouville fractional derivative of order \(\alpha >0\) of a continuous function \(y:(0,+\infty )\rightarrow \mathbb{R}^{1}\) is given by
where \(n=[\alpha ]+1\), \([\alpha ]\) denotes the integer part of the number α, provided that the right-hand side is pointwise defined on \((0,\infty )\).
Lemma 1
([26])
Assume that \(u\in C(0,1) \cap L^{1}(0,1)\) with a fractional derivative of order \(\alpha >0\) that belongs to \(C(0,1)\cap L^{1}(0,1)\). Then,
for some \(\mathrm{C}_{i}\in \mathbb{R}^{1}\) (\(i=1,2,\ldots ,N\)), where \(N=[\alpha ]+1\).
Lemma 2
([21])
Let \(\alpha ,\beta >0\), \(f\in L^{1}[ a,b ] \). Then, \(I_{0^{+}}^{\alpha}I_{0^{+}}^{\beta}f( t )=I_{0^{+}}^{\alpha +\beta}f( t )=I_{0^{+}}^{\beta}I_{0^{+}}^{\alpha}f( t )\) and \(D_{0^{+}}^{\alpha}I_{0^{+}}^{\alpha}f( t )=f( t )\), for all \(t\in [ a,b ] \).
Lemma 3
([21])
Let \(\alpha ,\beta >0 \) and \(n=[\alpha ]+1 \), then the following relations hold:
To prove the main result of this paper we need the following lemmas.
Lemma 4
Let \(x(t)=I_{0^{+}}^{\gamma} u(t)\), \(y(t)=I_{0^{+}}^{\gamma} v(t)\) and \(u(t), v(t) \in C[0,+\infty )\), then the problem (4) can turn into the following modified problem:
Moreover, if \((u, v) \in C[0,+\infty ) \times C[0,+\infty )\) is a positive solution of the problem (5), then \((I_{0^{+}}^{\gamma} u, I_{0^{+}}^{\gamma} v )\) is a positive solution of the problem (4).
Proof
The proof is similar to that for Lemma \((2.5)\) in \([17]\), hence, we omit it here. □
Lemma 5
Let \(\pi _{1}, \pi _{2} \in L^{1}[0,+\infty )\). If \(\Delta _{1}=\Gamma (\alpha -\gamma )-\sum_{i=1}^{\infty} a_{i} \xi _{i}^{ \alpha -\gamma -1}>0\), \(\Delta _{2}=\Gamma (\beta +\sigma -\gamma )- \sum_{i=1}^{\infty} b_{i} \eta _{i}^{\beta +\sigma -\gamma -1}>0\), then the following fractional differential equation boundary value problem
has a unique solution
where
and
Proof
In view of Lemma 1, we know that the general solution of (6) can be written as
for some \(c_{i}, d_{i} \in \mathbb{R}\) (\(i=1,2\)). By using the boundary conditions \(u(0)=0\) and \(I_{0^{+}}^{2-\beta +\gamma} v(0)=0\), we know that \(c_{2}=0\), \(d_{2}=0\). Therefore, by Lemma 3, we conclude
By the boundary condition \(D_{0^{+}}^{\alpha -\gamma -1} u(+\infty )=\sum_{i=1}^{\infty} a_{i} u (\xi _{i} )\), we obtain
By the boundary condition \(D_{0^{+}}^{\beta -\gamma -1} v(+\infty )=\sum_{i=1}^{\infty} b_{i} I_{0^{+}}^{ \sigma} v (\eta _{i} )\), we have
Therefore, substituting (13) into (11), we have
In a similar manner, substituting (14) into (12), we obtain
Therefore, we obtain the expression (7) for the solution of problem (6). The proof is completed. □
Lemma 6
Suppose that \(\chi (0)>0\) holds. Then, \(\chi (s)>0\), \(\frac{\chi (s)}{\chi (0)} \geq 1\), for all \(s \in [0,+\infty )\).
Proof
By (10), we have \(\chi ^{\prime}(s)=(\beta +\sigma -\gamma -1) \sum_{s \leq \eta _{i}} b_{i} (\eta _{i}-s )^{\beta +\sigma -\gamma -2}>0\). Then, \(\chi (s)\) is a monotonically increasing function in \([0,+\infty )\). By \(\chi (0)>0\), for all \(s\in [0,+\infty )\), we obtain \(\chi (s) \geq \chi (0)>0\) and \(\frac{\chi (s)}{\chi (0)} \geq 1\). The proof is completed. □
The following properties of the Green functions play an important role in this paper.
Lemma 7
The Green functions \(G(t, s)\), \(K(t, s)\) defined by (8) and (9) have the following properties:
where \(\Delta _{1}=\Gamma (\alpha -\gamma )-\sum_{i=1}^{\infty} a_{i} \xi _{i}^{ \alpha -\gamma -1}>0\), \(\chi ( 0 )=\Gamma (\beta +\sigma -\gamma )- \sum_{i=1}^{\infty} b_{i} \eta _{i}^{\beta +\sigma -\gamma -1}>0\).
Proof
(i) According to the definition of \(G(t, s)\), \(K(t, s)\), it is clear that \(G(t, s)\), \(K(t, s)\) are continuous functions and \(G(t, s), K(t, s) \geq 0\), for all \((t, s) \in [0,+\infty ) \times [0,+\infty )\).
\((i i)\) For all \((t, s) \in [0,+\infty ) \times [0,+\infty )\), we obtain
(iii) For all \((t, s) \in [0,+\infty ) \times [0,+\infty )\), it is obvious from (8) that \(G(t, s) \geq \frac{1}{\Delta _{1}} \sum_{i=1}^{\infty} a_{i} t^{ \alpha -\gamma -1} G_{1} (\xi _{i}, s )\) and
(iv) For all \((t, s) \in [0,+\infty ) \times [0,+\infty )\), by (9) and (10), we can obtain
If \(0 \leq s \leq t \leq +\infty \), then
If \(0 \leq t \leq s \leq +\infty \), then
In summary, for \(0 \leq s, t \leq 1\), we have
The proof is completed. □
Suppose that \(( E,\Vert \cdot \Vert )\) is a Banach space and θ is the zero element of E. A nonempty, closed, and convex set \(P \subset E\) is a cone if it satisfies \((1)x\in P\), \(\lambda \geq 0\Rightarrow \lambda x\in P\); \((2)x\in P\), \(-x\in P\Rightarrow x=\theta \). Moreover, P is called normal if there exists a constant \(N>0\) such that, for all \(x, y \in E\), \(\theta \leq x \leq y \) implies \(\Vert x \Vert \leq N\Vert y \Vert \), where the smallest N is called the normality constant of P. For \(x, y \in E\), \(x \sim y\) means that there exist \(\lambda >0\) and \(\mu >0\) such that \(\lambda x \leq y \leq \mu x\). Clearly, ∼ is an equivalence relation. Given \(h>\theta\) (\(h \geq \theta \) and \(h \neq \theta \)), if we define a set \(P_{h}=\{u \in E \mid u \sim h\}\), it is easy to see that \(P_{h} \subset P\).
Definition 3
([16])
An operator \(T: E \rightarrow E\) is said to be increasing if \(u \leq v\) implies \(T u \leq T v\).
Definition 4
([26])
\(A:P\times P\to P \) is said to be a mixed monotone operator if \(A(x, y)\) is increasing in x and decreasing in y, i.e., \(u_{i}, v_{i}\ (i=1,2) \in P\), \(u_{1} \leq u_{2}\), \(v_{1} \geq v_{2} \) imply \(A (u_{1}, v_{1} ) \leq A (u_{2}, v_{2} )\).
Lemma 8
([27])
Let P be a normal cone, \(A: P_{h} \rightarrow P_{h}\) be an increasing operator and \(B: P_{h} \times P_{h} \rightarrow P_{h}\) be a mixed monotone operator. Assume that:
-
(1)
for any \(x \in P_{h}\), \(t \in (0,1)\), there exists \(\varphi _{1}(t) \in (t, 1)\) such that
$$ A(t x) \geq \varphi _{1}(t) A x ; $$ -
(2)
for any \(x, y \in P_{h}\), \(t \in (0,1)\), there exists \(\varphi _{2}(t) \in (t, 1)\) such that
$$ B \bigl(t x, t^{-1} y \bigr) \geq \varphi _{2}(t) B(x, y). $$
Then:
-
(i)
there exist \(u_{0}, v_{0} \in P_{h}\) and \(r \in (0,1)\), such that
$$ r v_{0} \leq u_{0}< v_{0}, \qquad u_{0} \leq A u_{0}+B (u_{0}, v_{0} ) \leq A v_{0}+B (v_{0}, u_{0} ) \leq v_{0} ; $$ -
(ii)
the operator equation \(A x+B(x, x)=x\) has a unique solution \(x^{*}\) in \(P_{h}\);
-
(iii)
for any initial values \(x_{0}, y_{0} \in P_{h}\), constructing successively the sequences
$$ x_{n}=A x_{n-1}+B (x_{n-1}, y_{n-1} ), \qquad{y}_{n}=A y_{n-1}+B (y_{n-1}, x_{n-1} ),\quad n=1,2, \ldots , $$we have \(x_{n} \rightarrow x^{*}\), \(y_{n} \rightarrow x^{*}\) as \(n \rightarrow \infty \).
Lemma 9
([27])
Assume that all the conditions of Lemma 8hold. Let \(x_{\lambda}(\lambda >0)\) denote the unique solution of the operator equation \(A x+B(x, x)=\lambda x\). Then, we have the following conclusions:
-
(1)
if \(\varphi _{i}(t)>t^{\frac{1}{2}}\) (\(i=1,2\)) for \(t \in (0,1)\), then \(x_{\lambda}\) is strictly decreasing in λ, that is, \(0<\lambda _{1}<\lambda _{2}\) implies \(x_{\lambda _{1}}>x_{\lambda _{2}}\);
-
(2)
if there exists \(\beta \in (0,1)\), such that \(\varphi _{i}(t) \geq t^{\beta}\) (\(i=1,2\)) for \(t \in (0,1)\) then \(x_{\lambda}\) is continuous in λ, that is, \(\lambda \rightarrow \lambda _{0} (\lambda _{0}>0 )\) implies \(\Vert x_{\lambda}-x_{\lambda _{0}} \Vert \rightarrow 0\);
-
(3)
if there exists \(\beta \in (0, \frac{1}{2} )\), such that \(\varphi _{i}(t) \geq t^{\beta}\) (\(i=1,2\)) for \(t \in (0,1)\), then \(\lim_{\lambda \rightarrow +\infty} \Vert x_{\lambda} \Vert =0\), \(\lim_{\lambda \rightarrow 0^{+}} \Vert x_{\lambda} \Vert =\infty \).
3 Main results
We are next concerned with problem (4) in the following space E defined by
From [17], we know that E is a Banach space with the norm
We define a cone \(P\subset E \) by
For \(u, v \in P\) with \(u \leq v\), we have \(0 \leq u(t) \leq v(t)\), \(t \in [0,+\infty )\), and thus
Hence, \(\|u\| \leq \|v\|\). Hence, P is a normal cone. Let \(h(t)=t^{\alpha -\gamma -1}\) and \(\|h\|=1\).
Also, define a component of P by
where M is a constant and \(M \geq 1\).
Lemma 10
The vector \((u, v) \) is a solution of system (5) if and only if \((u, v) \in C[0,+\infty ) \times C[0,+\infty )\) is a solution of the following nonlinear integral equation system:
Obviously, system (15) is equivalent to the following integral equation
To establish the existence and uniqueness of a solution to the boundary value problem (4), we need to make the following assumptions.
- \((H_{1} )\):
-
\(f (t, x_{1}, x_{2}, x_{3}, x_{4} )=\phi (t, x_{1}, x_{2}, x_{3}, x_{4} )+\varphi (t, x_{1}, x_{2}, x_{3}, x_{4} )\), where \(\phi , \varphi :[0,+\infty )^{5} \rightarrow [0,+\infty )\) are continuous, for any fixed \(t \in [0,+\infty )\), \(\phi (t, x_{1}, x_{2}, x_{3}, x_{4} )\) is increasing and \(\varphi (t, x_{1}, x_{2}, x_{3}, x_{4} )\) is decreasing in \(x_{i} \geq 0\) (\(i=1,2,3,4\)), respectively.
- \((H_{2} )\):
-
\(g(t,x) \in C([0,+\infty ) \times [0,+\infty ) \rightarrow [0,+ \infty ))\) is increasing in x, \(g(t, 0) \neq 0\), and \(\lim_{x \rightarrow +\infty} g (x, x^{\alpha -1} )=T_{g} \in \mathbb{R}\). Moreover, there exists \(\omega \in (0,1)\), for all \(t,x\in [0,+\infty )\), such that
$$ g(t, l x) \geq l^{\omega} g(t, x),\quad l\in (0,1). $$ - \((H_{3} )\):
-
If \(x_{i} \geq 0\) (\(i=1,2,3,4\)) are bounded, then for all \(t \in [0,+\infty )\), \(\phi (t, (1+t^{\alpha -1} ) x_{1}, (1+t^{ \alpha -1} ) x_{2}, (1+t^{\alpha -1} ) x_{3}, (1+t^{ \alpha -1} ) x_{4} )\) and \(\varphi (t, (1+t^{\alpha -1} ) x_{1}, (1+t^{ \alpha -1} ) x_{2}, (1+t^{\alpha -1} ) x_{3}, (1+t^{ \alpha -1} ) x_{4} )\) are bounded.
- \((H_{4} )\):
-
\(m(t,x) \in C([0,+\infty ) \times [0,+\infty ) \rightarrow [0,+ \infty ))\) is increasing in x, \(m(t, 0) \neq 0\) and \(\lim_{x \rightarrow +\infty} m (x, x^{\alpha -\gamma -1} )=T_{m} \in \mathbb{R}\). Moreover, there exists \(\delta \in (0,1)\), for all \(t,x\in [0,+\infty )\), such that
$$ m(t, l x) \geq l^{\delta} m(t, x),\quad l \in (0,1). $$ - \((H_{5} )\):
-
For any \(l \in (0,1)\) and \(t, x_{i}\ ( i=1,2,3,4 )\in [0,+\infty ) \), there exists \(v \in (0,1)\), such that
$$ \begin{aligned} & \phi (t, l x_{1}, l x_{2}, l x_{3}, l x_{4} ) \geq l^{v} \phi (t, x_{1}, x_{2}, x_{3}, x_{4} ), \\ & \varphi \bigl(t, l^{-1} x_{1}, l^{-1} x_{2}, l^{-1} x_{3}, l^{-1} x_{4} \bigr) \geq l^{v} \varphi (t, x_{1}, x_{2}, x_{3}, x_{4} ). \end{aligned} $$ - \((H_{6} )\):
-
The functions p, q, and r satisfy
$$ 0< \int _{0}^{+\infty} p(s) \,ds < +\infty , \qquad 0< \int _{0}^{+\infty} q(s) \,ds < +\infty , \qquad 0< \int _{0}^{+\infty} r(s) \,ds < +\infty . $$
Remark 1
According to \((H_{2}) \), \((H_{4}) \), and \((H_{5}) \), for all \(t,x,x_{i}\ (i=1,2,3,4)\in [0,+\infty )\), \(\omega ,\delta ,\nu \in ( 0,1 ) \) and \(l>1 \), we have
We define two operators \(A: P \times P \rightarrow P\) and \(B: P \rightarrow P\) by
where \(Cu(t)=\int _{0}^{+\infty} K(t, s) r(s) g (s, I_{0^{+}}^{\gamma} u(s) ) \,ds , \forall u\), \(v \in P\), \(t\in [0,+\infty ). G(t,s),K(t,s) \) are given in (8) and (9).
Theorem 1
Suppose that \(( H_{1} )\)–\(( H_{6} ) \) hold. Then:
-
(a)
For any given \(\lambda >0\), problem (4) has a unique solution \((x_{\lambda}^{*}, y_{\lambda}^{*} )\) in \(P_{h}\), where \(h(t)=t^{\alpha -\gamma -1}\), \(t\in [0,+\infty ) \). Moreover, for any initial value \(x_{0}, y_{0} \in P_{h}\), defining the sequences
$$\begin{aligned}& \begin{aligned} x_{n}(t)&= I_{0^{+}}^{\gamma} \biggl[ \int _{0}^{+\infty} \lambda G(t, s)p(s) f \bigl(s, x_{n-1}(s), D_{0^{+}}^{\gamma} x_{n-1}(s), y_{n-1}(s), D_{0^{+}}^{ \gamma} y_{n-1}(s) \bigr) \,ds \\ & \quad{}+ \int _{0}^{+\infty}\lambda G(t, s)q(s) m \bigl(s, D_{0^{+}}^{\gamma} x_{n-1}(s) \bigr) \,ds \biggr], \end{aligned} \\& y_{n}(t)= I_{0^{+}}^{\gamma} \biggl[ \int _{0}^{+\infty} K(t, s) r(s) g \bigl(s, x_{n-1}(s) \bigr) \,ds \biggr], \quad n=1,2, \ldots , \end{aligned}$$we have \(x_{n}(t) \rightarrow x_{\lambda}^{*}(t)\), \(y_{n}(t) \rightarrow y_{ \lambda}^{*}(t)\) as \(n \rightarrow \infty \), where \(G(t,s)\), \(K(t,s) \) are given as in Lemma 5.
-
(b)
If \(\psi _{i}(l)>l^{\frac{1}{2}}\) (\(i=1,2\)) for \(l \in (0,1)\), then \(x_{\lambda}^{*}\), \(y_{\lambda}^{*}\) is strictly increasing in λ, that is, \(0<\lambda _{1}<\lambda _{2}\) can ensure \(x_{\lambda _{1}}^{*}< x_{\lambda _{2}}^{*}\), \(y_{\lambda _{1}}^{*}< y_{ \lambda _{2}}^{*}\). If there exists \(\kappa \in (0,1)\), such that \(\psi _{i}(l)>l^{\kappa}\) (\(i=1,2\)), \(l \in (0,1)\), then \(x_{\lambda}^{*}\), \(y_{\lambda}^{*}\) is continuous in λ, that is, \(\lambda \rightarrow \lambda _{0} (\lambda _{0}>0 )\) ensures \(\Vert x_{\lambda}^{*}-x_{\lambda _{0}}^{*} \Vert \rightarrow 0\), \(\Vert y_{\lambda}^{*}-y_{\lambda _{0}}^{*} \Vert \rightarrow 0\). If there exists \(\kappa \in (0, \frac{1}{2} )\), such that \(\psi _{i}(l)>l^{\kappa}\) (\(i=1,2\)), \(l \in (0,1)\), then \(\lim_{\lambda \rightarrow +\infty} \Vert x_{\lambda}^{*} \Vert = \infty \), \(\lim_{\lambda \rightarrow +\infty} \Vert y_{\lambda}^{*} \Vert =\infty \), and \(\lim_{\lambda \rightarrow 0^{+}} \Vert x_{\lambda}^{*} \Vert =0\), \(\lim_{\lambda \rightarrow 0^{+}} \Vert y_{\lambda}^{*} \Vert =0\).
Proof
We first consider the existence of a positive solution to problem (16). The proof process is divided into four steps as follows.
First, we show that \(A: P_{h} \times P_{h} \rightarrow P\), \(B: P_{h} \rightarrow P\) are well defined. For \(u \in P_{h} \), the constant \(M\geq 1\), \(t \in [0,+\infty )\), we have
Then,
By (18) and \((H_{2})\), for all \(t\in [0,+\infty )\), \(\omega \in ( 0,1 )\), we have
and
Thus, from (19), (20), and (iv) in Lemma 7, we have
for any \(0<\zeta \leq 1\), \(t\in [0,+\infty )\), we have
Hence, by (21) and (22), we obtain
At the same time, for any \(t\in [0,+\infty ) \), we also obtain
Therefore, by (17), (18), (19), (21), (23), and \((H_{1})\), \((H_{3})\), there exists a positive constant \(Q_{\phi}\) such that
In a similar manner, there exists a positive constant \(Q_{\varphi}\) such that
By (24), (25), and (ii) in Lemma 7, we have
For the operator \(Bu(t)=\int _{0}^{+\infty} G(t, s) q(s) m(s, u(s)) \,ds \), by \((H_{4} )\), we obtain that
where \(M\geq 1\), \(\delta \in (0,1)\), \(t\in [0,+\infty )\). Thus, by (26) and (ii) in Lemma 7, we obtain
Hence, we see that \(A: P_{h} \times P_{h} \rightarrow P\) and \(B: P_{h} \rightarrow P\) are well defined.
Secondly, we prove that \(A: P_{h} \times P_{h} \rightarrow P_{h}\) and \(B: P_{h} \rightarrow P_{h}\). Similar to the proof in the first step, by \((H_{1} )\) and \((H_{3} )\), for \(s \in [0,+\infty )\), there exists a positive constant \(N_{\phi}\) that satisfies \(0< N_{\phi}< Q_{\phi}\), such that
In a similar way, there exists a positive constant \(N_{\varphi}\) that satisfies \(0< N_{\varphi}< Q_{\varphi}\), such that
Let
where \(\Delta _{1}=\Gamma (\alpha -\gamma )-\sum_{i=1}^{\infty} a_{i} \xi _{i}^{ \alpha -\gamma -1}>0\) and \(0<\zeta \leq 1 \).
In view of \(G_{1}( \xi _{i},s )\leq \frac{\xi _{i}^{\alpha -\gamma -1}}{\Gamma ( \alpha -\gamma )}\), \(\Gamma (\alpha -\gamma ) > \sum_{i=1}^{\infty} a_{i} \xi _{i}^{ \alpha -\gamma -1}>0\) and \(0< N_{\varphi}< Q_{\varphi}\), \(0< N_{\phi}< Q_{\phi}\), we obtain that
It follows that \(0< l_{1} \leq l_{2}\). From (27), (28), and (iii) in Lemma 7, we have
and
Hence, \(l_{1} h(t) \leq A(u, v)(t) \leq l_{2} h(t)\), \(\forall t\in [0,+\infty )\). Therefore, \(A: P_{h} \times P_{h} \rightarrow P_{h}\).
For the operator \(Bu(t)=\int _{0}^{+\infty} G(t, s) q(s) m(s, u(s)) \,ds \), let
where \(\Delta _{1}=\Gamma (\alpha -\gamma )-\sum_{i=1}^{\infty} a_{i} \xi _{i}^{ \alpha -\gamma -1}>0\), \(M\geq 1\), \(0<\zeta \leq 1\), \(\delta \in (0,1)\) and in a similar way as before, we can obtain \(0< l_{3} \leq l_{4}\).
By (26) and (iii) in Lemma 7, we have
and
Hence, \(l_{3} h(t) \leq Bu(t) \leq l_{4} h(t)\), \(\forall t\in [0,+\infty )\). Therefore, \(A: P_{h} \times P_{h} \rightarrow P_{h}\) and \(B: P_{h} \rightarrow P_{h}\).
Next, we prove that \(A: P_{h} \times P_{h} \rightarrow P_{h}\) is a mixed monotone operator and \(B: P_{h} \rightarrow P_{h}\) is an increasing operator. For any \(u_{i}, v_{i} \in P_{h}\) (\(i=1,2\)) and \(u_{1} \leq u_{2}\), \(v_{1} \geq v_{2}\), we have \(u_{1}(t) \leq u_{2}(t)\), \(v_{1}(t) \geq v_{2}(t)\) for all \(t \in [0,+\infty )\).
By the monotonicity of \(I_{0^{+}}^{\gamma}\), g, h, ϕ, φ, we conclude
and
Hence, \(A: P_{h} \times P_{h} \rightarrow P_{h}\) is a mixed monotone operator and \(B: P_{h} \rightarrow P_{h}\) is an increasing operator.
Finally, we prove that \(A (l u, l^{-1} v ) \geq \psi _{1}(l) A(u, v)\) and \(B(lu) \geq \psi _{2}(l) Bu\), for any \(u, v \in P_{h}\), \(l \in (0,1)\). By \((H_{1})\) and \((H_{5})\), for all \(\gamma ,l, \omega \in (0,1)\), \(s\in [0,+\infty )\) and \(u,v\in P_{h} \), we have
and
Let
where \(l, \nu ,\delta \in (0,1)\). By (29), (30), and \((H_{1})\), we can obtain
and by \((H_{4})\), we have
Hence, for any \(u, v \in P_{h}\), \(l \in (0,1)\), there exist \(\psi _{1}(l),\psi _{2}(l) \in (l, 1)\) such that \(A (l u, l^{-1} v ) \geq \psi _{1}(l) A(u, v)\) and \(B(lu) \geq \psi _{2}(l) Bu\).
Therefore, two operators A and B satisfy the conditions of Lemma 8. Hence, there exists a unique positive solution of integral equation (16) in \(P_{h}\). By Lemma 10, there exists a unique positive solution \((u_{\lambda}^{*}, v_{\lambda}^{*} )\) of (5) in \(P_{h}\).
Let \(x_{\lambda}^{*}=I_{0^{+}}^{\gamma} u_{\lambda}^{*}\), \(y_{\lambda}^{*}=I_{0^{+}}^{ \gamma} v_{\lambda}^{*}\). By Lemma 4, the monotonicity and continuity of \(I_{0^{+}}^{\gamma} \), for \(\lambda >0\), there exists a unique \(z_{\lambda}^{*}= (x_{\lambda}^{*}, y_{\lambda}^{*} ) \in P_{h}\) such that \(A (z_{\lambda}^{*}, z_{\lambda}^{*} )+B z_{\lambda}^{*}= \frac{1}{\lambda} z_{\lambda}^{*}\). It follows that \(\lambda (A (z_{\lambda}^{*}, z_{\lambda}^{*} )+B z_{ \lambda}^{*} )=z_{\lambda}^{*}\), and
Consequently, for given \(\lambda >0\), \((x_{\lambda}^{*}, y_{\lambda}^{*} )\) is a unique positive solution of problem (4) in \(P_{h}\). For any initial value \(x_{0}, y_{0} \in P_{h}\), constructing successively the sequences
By Lemma 8, we have \(x_{n}(t) \rightarrow x_{\lambda}^{*}(t)\), \(y_{n}(t) \rightarrow y_{ \lambda}^{*}(t)\) as \(n \rightarrow \infty \), where \(G(t,s)\), \(K(t,s) \) are given as in Lemma 5.
Further, for all \(l \in (0,1)\), by Lemma 9, if \(\psi _{i}(l)>l^{\frac{1}{2}}\) (\(i=1,2\)), then Lemma 9\((1)\) ensures that \(x_{\lambda}^{*}\), \(y_{\lambda}^{*}\) are strictly increasing in λ, that is \(0<\lambda _{1}<\lambda _{2}\) can guarantee \(x_{\lambda _{1}}^{*}< x_{\lambda _{2}}^{*}\), \(y_{\lambda _{1}}^{*}< y_{ \lambda _{2}}^{*}\). If there exists \(\kappa \in (0,1)\), such that \(\psi _{i}(l)>l^{\kappa}\) (\(i=1,2\)), then Lemma 9\((2)\) tells us that \(x_{\lambda}^{*}\), \(y_{\lambda}^{*}\) are continuous in λ, that is, \(\lambda \rightarrow \lambda _{0} (\lambda _{0}>0 )\) can ensure \(\Vert x_{\lambda}^{*}-x_{\lambda _{0}}^{*} \Vert \rightarrow 0\), \(\Vert y_{\lambda}^{*}-y_{\lambda _{0}}^{*} \Vert \rightarrow 0\). If there exists \(\kappa \in (0, \frac{1}{2} )\), such that \(\psi _{i}(l)>l^{\kappa}\) (\(i=1,2\)), then Lemma 9\((3)\) tells us that \(\lim_{\lambda \rightarrow +\infty} \Vert x_{\lambda}^{*} \Vert = \infty \), \(\lim_{\lambda \rightarrow +\infty} \Vert y_{\lambda}^{*} \Vert =\infty \), and \(\lim_{\lambda \rightarrow 0^{+}} \Vert x_{\lambda}^{*} \Vert =0\), \(\lim_{\lambda \rightarrow 0^{+}} \Vert y_{\lambda}^{*} \Vert =0\).
Therefore, the proof of Theorem 1 is completed. □
4 Example
In this section, we present a simple example to explain the main results.
Example 1
We consider the following fractional differential equation boundary value problem
where \(\alpha =2.25\), \(\beta =1.8\), \(\gamma =0.5\), \(\sigma =0.6\), \(a_{i}= \frac{1}{4^{i}}\), \(b_{i}=\frac{1}{5^{i}}\), \(\xi _{i}=1-\frac{1}{2 i+2}\), \(\eta _{i}=1-\frac{1}{2 i+3}\), \(i=1,2,\ldots \) , and
Then, we have
and
Let us check that all the required conditions of Theorem 1 are satisfied.
-
(1)
It is obvious that \(\phi , \varphi :[0,+\infty ) \times [0,+\infty )^{4} \rightarrow [0,+ \infty )\) are continuous. For any fixed \(t \in [0,+\infty )\), \(\phi (t, x_{1}, x_{2}, x_{3}, x_{4} )\) is increasing and \(\varphi (t, x_{1}, x_{2}, x_{3}, x_{4} )\) is decreasing in \(x_{i} \geq 0\) (\(i=1,2,3,4\)).
-
(2)
Clearly, the function \(g(t,x) \in C([0,+\infty ) \times [0,+\infty ) \rightarrow [0,+ \infty ))\) is increasing in x, \(g(t, 0) \neq 0\) and \(\lim_{x \rightarrow +\infty} g (x, x^{1.25} )=25\). Moreover, there exists \(\omega =0.076 \in (0,1)\), for all \(t,x\in [0,+\infty )\), we have \(g(t, l x) \geq l^{0.076} g(t, x)\), \(l\in (0,1)\).
-
(3)
We observe easily that if \(x_{i} \geq 0\) (\(i=1,2,3,4\)) are bounded, then for all \(t \in [0,+\infty )\), \(\phi (t, (1+t^{1.25} ) x_{1}, (1+t^{1.25} ) x_{2}, (1+t^{1.25} ) x_{3}, (1+t^{1.25} ) x_{4} ) \) and \(\varphi (t, (1+t^{1.25} ) x_{1}, (1+t^{1.25} ) x_{2}, (1+t^{1.25} ) x_{3}, (1+t^{1.25} ) x_{4} )\) are bounded.
-
(4)
Clearly, the function \(m(t,x) \in C([0,+\infty ) \times [0,+\infty ) \rightarrow [0,+ \infty ))\) is increasing in x, \(m(t, 0) \neq 0\) and \(\lim_{x \rightarrow +\infty} m (x, x^{0.75} )=24\). Moreover, there exists \(\delta =0.22\in (0,1)\), for all \(t,x\in [0,+\infty )\), we have \(m(t, l x) \geq l^{0.22} m(t, x)\), \(l\in (0,1)\).
-
(5)
For any \(l \in (0,1)\) and \(t, x_{i}\ ( i=1,2,3,4 )\in [0,+\infty ) \), taking \(v=0.125 \in (0,1)\), such that
$$\begin{aligned}& \phi (t, l x_{1}, l x_{2}, l x_{3}, l x_{4} ) \geq l^{0.125} \phi (t, x_{1}, x_{2}, x_{3}, x_{4} ),\\& \varphi \bigl(t, l^{-1} x_{1}, l^{-1} x_{2}, l^{-1} x_{3}, l^{-1} x_{4} \bigr) \geq l^{0.125} \varphi (t, x_{1}, x_{2}, x_{3}, x_{4} ). \end{aligned}$$ -
(6)
The functions p, q, and r satisfy
$$\begin{aligned}& 0< \int _{0}^{+\infty} e^{-s} \,ds =1< +\infty , \qquad 0< \int _{0}^{+\infty} e^{-2 s} \,ds = \frac{1}{2}< +\infty , \\& 0< \int _{0}^{+\infty} e^{-3 s} \,ds = \frac{1}{3}< +\infty . \end{aligned}$$
Hence, all the conditions of Theorem 1 are satisfied. Hence, we can claim that for \(\lambda >0\), there exists a unique positive solution \((x_{\lambda}^{*}, y_{\lambda}^{*} )\) of problem (31) in \(P_{h}\), and for any initial value \(x_{0}, y_{0} \in P_{h}\), constructing successively the sequences
by Theorem 1, we have \(x_{n}(t) \rightarrow x_{\lambda}^{*}(t)\), \(y_{n}(t) \rightarrow y_{ \lambda}^{*}(t)\) as \(n \rightarrow \infty \).
Furthermore, since \(\psi _{1}(l)=l^{0.125}>l^{\frac{1}{2}}\), \(\psi _{2}(l)=l^{0.22} >l^{ \frac{1}{2}}\), \(l \in (0,1)\). We find from Theorem 1 that \(x_{\lambda}^{*}\), \(y_{\lambda}^{*}\) are strictly increasing in λ, that is \(0<\lambda _{1}<\lambda _{2}\) ensures \(x_{\lambda _{1}}^{*}< x_{\lambda _{2}}^{*}\), \(y_{\lambda _{1}}^{*}< y_{ \lambda _{2}}^{*}\). Taking \(\kappa \in (0.23,1)\), and \(\psi _{i}(l)>l^{\kappa}\) (\(i=1,2\)), \(l \in (0,1)\). Using Theorem 1, we know that \(x_{\lambda}^{*}\), \(y_{\lambda}^{*}\) are continuous in λ, that is, \(\lambda \rightarrow \lambda _{0} (\lambda _{0}>0 )\) ensures \(\Vert x_{\lambda}^{*}-x_{\lambda _{0}}^{*} \Vert \rightarrow 0\), \(\Vert y_{\lambda}^{*}-y_{\lambda _{0}}^{*} \Vert \rightarrow 0\). Taking \(\kappa \in (0.23,0.5)\) and \(\psi _{i}(l)>l^{\kappa}\) (\(i=1,2\)), \(l \in (0,1)\), we find from Theorem 1 that \(\lim_{\lambda \rightarrow +\infty} \Vert x_{\lambda}^{*} \Vert = \infty \), \(\lim_{\lambda \rightarrow +\infty} \Vert y_{\lambda}^{*} \Vert =\infty \) and \(\lim_{\lambda \rightarrow 0^{+}} \Vert x_{\lambda}^{*} \Vert =0\), \(\lim_{\lambda \rightarrow 0^{+}} \Vert y_{\lambda}^{*} \Vert =0\).
5 Conclusion
In this paper, by using the fixed-point theorem of mixed monotone operators, we study the existence and uniqueness of positive solutions to the boundary value problem of the fractional differential equation system on infinite intervals with infinite-point boundary conditions. The results obtained in this paper show that the unique positive solution has good properties: continuity, monotonicity, iteration, and approximation. It is worth pointing out that this paper generalizes the boundary conditions and intervals. Compared with the existing literature, this paper has a more general form and more accurate results and can be widely used in physics, chemistry, electrical networks, economics, rheology, and other fields.
Data Availability
No datasets were generated or analysed during the current study.
References
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Wang, G., Ren, X., Baleanu, D.: Maximum principle for Hadamard fractional differential equations involving fractional Laplace operator. Math. Methods Appl. Sci. 43(5), 2646–2655 (2020)
Gupta, R., Kumar, S.: Numerical simulation of variable-order fractional differential equation of nonlinear Lane–Emden type appearing in astrophysics. Int. J. Nonlinear Sci. Numer. Simul. 24(3), 965–988 (2022)
Tian, M., Luo, D.: Existence and finite-time stability results for impulsive Caputo-type fractional stochastic differential equations with time delays. Math. Slovaca 73(2), 387–406 (2023)
Qiao, L., Qiu, W., Tang, B.: A fast numerical solution of the 3D nonlinear tempered fractional integrodifferential equation. Numer. Methods Partial Differ. Equ. 39(2), 1333–1354 (2023)
Seal, A., Natesan, S.: Convergence analysis of a second-order scheme for fractional differential equation with integral boundary conditions. J. Appl. Math. Comput. 69(1), 465–489 (2023)
Wang, Z., Cen, D., Mo, Y.: Sharp error estimate of a compact L1-ADI scheme for the two-dimensional time-fractional integro-differential equation with singular kernels. Appl. Numer. Math. 159, 190–203 (2021)
Abedini, N., Bastani, A.F., Zangeneh, B.Z.: A Petrov–Galerkin finite element method using polyfractonomials to solve stochastic fractional differential equations. Appl. Numer. Math. 169, 64–86 (2021)
Ambrosio, V., D’Avenia, P.: Nonlinear fractional magnetic Schrödinger equation: existence and multiplicity. J. Differ. Equ. 264(5), 3336–3368 (2018)
Chen, Q., Debbouche, A., Luo, Z., Wang, J.R.: Impulsive fractional differential equations with Riemann–Liouville derivative and iterative learning control. Chaos Solitons Fractals 102, 111–118 (2017)
Li, Q., Rădulescu, V.D., Zhang, W.: Normalized ground states for the Sobolev critical Schrödinger equation with at least mass critical growth. Nonlinearity 37(2), 025018 (2024)
Papageorgiou, N.S., Zhang, J., Zhang, W.: Solutions with sign information for noncoercive double phase equations. J. Geom. Anal. 34(1), 14 (2024)
Zhang, J., Zhou, H., Mi, H.: Multiplicity of semiclassical solutions for a class of nonlinear Hamiltonian elliptic system. Adv. Nonlinear Anal. 13(1), 20230139 (2024)
Liang, S., Zhang, J.: Existence of multiple positive solutions for m-point fractional boundary value problems on an infinite interval. Math. Comput. Model. 54(5), 1334–1346 (2011)
Zhai, C., Wang, F.: Properties of positive solutions for the operator equation \(A x=\lambda x\) and applications to fractional differential equations with integral boundary conditions. Adv. Differ. Equ. 2015(1), 366 (2015)
Zhang, X., Liu, L., Wu, Y.: The uniqueness of positive solution for a singular fractional differential system involving derivatives. Commun. Nonlinear Sci. Numer. Simul. 18(6), 1400–1409 (2013)
Karaca, I.Y., Oz, D.: Positive solutions for fractional-order nonlinear boundary value problems on infinite interval. Int. J. Nonlinear Anal. Appl. 12(1), 317–335 (2021)
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)
Li, X., Liu, X., Jia, M., Zhang, L.: The positive solutions of infinite-point boundary value problem of fractional differential equations on the infinite interval. Adv. Differ. Equ. 2017(1), 126 (2017)
Oz, D., Karaca, I.Y.: Positive solutions for m-point p-Laplacian fractional boundary value problem involving Riemann Liouville fractional integral boundary conditions on the half line. Filomat 34(9), 3161–3173 (2020)
Wang, Y., Liang, S., Wang, Q.: Existence results for fractional differential equations with integral and multi-point boundary conditions. Bound. Value Probl. 2018(1), 4 (2018)
Guo, L., Zhao, J., Liao, L., Liu, L.: Existence of multiple positive solutions for a class of infinite-point singular p-Laplacian fractional differential equation with singular source terms. Nonlinear Anal., Model. Control 27(4), 609–629 (2022)
Henderson, J., Luca, R.: Systems of Riemann–Liouville fractional equations with multi-point boundary conditions. Appl. Math. Comput. 309, 303–323 (2017)
Jleli, M., Samet, B.: Existence of positive solutions to an arbitrary order fractional differential equation via a mixed monotone operator method. Nonlinear Anal., Model. Control 20(3), 367–376 (2015)
Min, D., Liu, L., Wu, Y.: Uniqueness of positive solutions for the singular fractional differential equations involving integral boundary value conditions. Bound. Value Probl. 2018(1), 23 (2018)
Yang, C., Zhai, C., Hao, M.: Uniqueness of positive solutions for several classes of sum operator equations and applications. J. Inequal. Appl. 2014(1), 58 (2014)
Acknowledgements
The authors would like to express their appreciation of the anonymous reviewer for careful reading and very useful comments.
Funding
This work is supported by the Jilin Provincial Science and Technology Department project (2023010129JC).
Author information
Authors and Affiliations
Contributions
Yang Yu and Qi Ge wrote the main manuscript text. All authors have equal contributions. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Yu, Y., Ge, Q. Positive solutions for the Riemann–Liouville-type fractional differential equation system with infinite-point boundary conditions on infinite intervals. Bound Value Probl 2024, 41 (2024). https://doi.org/10.1186/s13661-024-01850-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-024-01850-6