Abstract
In this paper, by using Mawhin’s continuation theorem, we establish some sufficient conditions for the existence of at least one solution for a class of fractional infinite point boundary value problem at resonance. Moreover, an example is given to illustrate our results.
Similar content being viewed by others
1 Introduction
In the past 20 years, fractional differential equations (FDEs for short) as mathematical models have been successfully used in many fields of science and engineering (see [1–7]), which have attracted considerable attention in studying FDEs. For example, Izhikevich neuron model can be described by two fractional-order differential equations as the form
where \(\alpha \in(0,1]\), \({}^{C}{D^{\alpha}}\) is the Caputo fractional derivative of order α, \(v(t)\) represents the membrane voltage and \(u(t)\) express the recovery variable (see [6]). Ates and Zegeling [7] studied the following fractional-order advection–diffusion reaction boundary value problems (BVPs for short):
where \(1 < \alpha \leqslant2\), \(0 < \varepsilon \leqslant1\), \(\gamma\in\mathbb{R}\), \({}^{C}{D^{\alpha}}\) is the Caputo fractional derivative of order α. The function \(S(x)\) represents a spatially dependent source term.
Recently, fractional differential equations with various kinds of boundary conditions (BCs for short) have been discussed widely and obtained numerous valuable results (see [8–31]). It is worth mentioning that the discuss of fractional differential equations with infinite point BCs have been attracted many scholars’ attention over the past two years (see [18–31]). These work studied on many subjects, such as: existence of solutions, positive solutions, multiple solutions, unique solution. In [18, 19] Zhang and Zhai et al. considered the following fractional differential equation with infinite point BCs:
respectively, where \(\alpha > 2\), \(n - 1 < \alpha \leqslant n\), \(i \in[1,n - 2]\) is a fixed integer, \({\alpha_{j}} \geqslant0\), \(0 < {\xi _{1}} < {\xi_{2}} < \cdots < {\xi_{j - 1}} < {\xi_{j}} < \cdots < 1\) (\(j = 1,2 \ldots\)), \(D_{0+}^{\alpha}\) is the standard Riemann–Liouville fractional derivative of order α. By employing the fixed-point theorem in cones, Zhang established the existence and multiplicity of positive solutions theorems and Zhai et al. obtained the existence and uniqueness result on positive solutions.
In [20], Guo et al. investigated the following infinite point fractional BVPs:
where \(2 < \alpha \leqslant3\), \({\eta_{j}} \geqslant0\), \(0 < {\xi_{1}} < {\xi_{2}} < \cdots < {\xi_{j-1}} < {\xi_{j}} < \cdots < 1\) (\(j = 1,2, \ldots\)), \({}^{C}D_{0 + }^{\alpha}\) is the Caputo fractional derivative of order α. The authors obtained the existence of multiple positive solutions by means of Avery–Peterson’s fixed-point theorem.
Although many papers dealing with fractional infinite points BVPs, only a few papers consider FDEs with infinite point BCs at resonance (see [21–23]). In [21], Ge et al. discussed the following coupled FDEs with infinitely points BCs at resonance:
where \(1 < \alpha,\beta \leqslant2\), \(0 < {\eta_{1}} < {\eta_{2}} < \cdots < {\eta_{i}} < \cdots\) , \(0 < {\xi_{1}} < {\xi_{2}} < \cdots < {\xi_{i}} < \cdots\) , \({\lim_{i \to\infty}}{\eta_{i}} = \infty\), \({\lim_{i \to\infty}}{\xi_{i}} = \infty\) and \(\sum_{i = 1}^{ + \infty} { \vert {{\gamma_{i}}} \vert \eta_{i}^{\alpha}< \infty}\), \(\sum_{i = 1}^{ + \infty} { \vert {{\sigma_{i}}} \vert \xi_{i}^{\beta}< \infty}\), \(D_{0 + }^{\alpha}\) and \(D_{0 + }^{\beta}\) are standard Riemann–Liouville fractional derivative. By using Mawhin’s continuous theorem the authors obtained the existence result.
Thus, motivated by the results mentioned, the purpose of this paper is to present the existence of solutions for the following infinite point BVPs by applying Mawhin’s continuous theorem:
where \(2 < \alpha \leqslant3\), \(D_{0 + }^{\alpha}\) is the standard Riemann–Liouville fractional derivative of order α, \(f \in [0,1] \times{\mathbb{R}^{3}} \to\mathbb{R}\) is a Carathéodory function, \({\xi_{i}},{\gamma_{i}} \in(0,1)\) and \(\{ {{\xi_{i}}} \}_{i = 1}^{ + \infty}\), \(\{ {{\gamma _{i}}} \}_{i = 1}^{ + \infty}\) are two monotonic sequence with \({\lim_{i \to + \infty}}{\xi_{i}} = a\), \({\lim_{i \to + \infty }}{\gamma_{i}} = b\), \(a,b \in(0,1)\), \({\alpha_{i}},{\beta_{i}} \in\mathbb{R}\).
Throughout this paper, we assume that the following condition holds:
\((\mathrm{H}_{1})\) \(\sum_{i = 1}^{+\infty} {{\alpha_{i}}} = 1\), \(\sum_{i = 1}^{+\infty} {{\beta_{i}}} = 1\), \(\sum_{i = 1}^{+\infty} { \vert {{\alpha_{i}}} \vert } < +\infty\), \(\sum_{i = 1}^{+\infty} { \vert {{\beta_{i}}} \vert } < +\infty\), \(\Delta \ne0\), where
Remark 1.1
Here, if we let \({\alpha_{i}},{\beta_{i}} \in{\mathbb{R}^{+}}\), \({a^{2}}\leqslant{\xi_{1}}\), \(\gamma_{1}^{2} \leqslant b\) and assume that \(\{ {{\xi_{i}}} \}_{i = 1}^{ + \infty}\), \(\{ {{\gamma _{i}}} \}_{i = 1}^{ + \infty}\) are monotonically increasing sequence and monotonically decreasing sequence, respectively, then, by \((\mathrm{H}_{1})\), we have \(\Delta > 0\).
In fact, since \(\{ {{\xi_{i}}} \}_{i = 1}^{+\infty}\) monotone increasing and \(\{ {{\gamma_{i}}} \}_{i = 1}^{+\infty}\) monotone decreasing with \({\lim_{i \to+\infty}}{\xi _{i}} = a\), \({\lim_{i \to+\infty}}{\gamma_{i}} = b\), \(a,b \in(0,1)\), then by \((\mathrm{H}_{1})\) we have
A boundary value problem is called resonance if the corresponding homogeneous boundary value problem has a nontrivial solution. We point out that if condition \((\mathrm{H}_{1})\) holds, the BVP (1.1) happens to be at resonance in the sense that the following infinite point boundary value problem:
has \(x(t) = {a_{1}}{t^{\alpha - 1}} + {a_{2}}{t^{\alpha - 2}}\), \({a_{1}},{a_{2}} \in\mathbb{R}\) as a nontrivial solution. That means the linear operator \(Lx=D_{0 + }^{\alpha}x\) is non-invertible.
Even though in the papers [21, 22] and [23] authors have investigated the resonance case with \(\operatorname{dimKer}L = 2\), all of them considered with the coupled fractional differential equations, in which the linear operator L defined as \(L(x,y)=({L_{1}}x, {L_{2}}y)\) and \(\operatorname{dimKer}L_{1}=\operatorname{dimKer}L_{2}=1\). In our paper, we study the one fractional differential equation resonance case with \(\operatorname{dimKer}L = 2\), which is obviously different from papers [21, 22] and [23]. Compared with previous work the main difficulties in this paper are as follows. First, resonance BVPs cannot be dealt with fixed-point theorem directly. Second, the theory of Mawhin’s continuation theorem is characterized by the higher dimension of kernel space on resonance BVPs, the more difficult to construct the projections P and Q. Third, we give an example to support our main result, and we should point out that to give an example for BVPs (1.1) is very difficult.
The rest of this paper is organized as follows. In Sect. 2, we recall some preliminary definitions and lemmas. In Sect. 3, based on Mawhin’s continuation theorem, we establish an existence theorem for problem (1.1). In Sect. 4, we present an example to demonstrate the results. In the last section, brief conclusions are given.
2 Preliminaries
In this section, we recall some definitions and lemmas which are used throughout this paper. First, we present here the results of coincidence degree theory due to Mawhin which can be found in [32, 33].
Let \((X,{ \Vert \cdot \Vert _{X}})\) and \((Y,{ \Vert \cdot \Vert _{Y}})\) are two real Banach spaces. Define \(L:\operatorname{dom}L \subset X \to Y\) to be a Fredholm operator with index zero, then there exist two continuous projectors \(P:X \to X\) and \(Q:Y \to Y\) such that
and \(L \vert {_{\operatorname{dom}L \cap\operatorname{Ker}P} } :\operatorname{dom}L \to\operatorname{Im} L\) is invertible. We denote its inverse by \(K_{p}\). Let Ω be an open bounded subset of X and \(\operatorname{dom}L \cap\bar{\Omega}\ne \emptyset\), then the map \(N:X \to Y\) is called L-compact on Ω̄, if \(QN ( {\bar{\Omega}} )\) is bounded and \(K_{P,Q} N = K_{p} (I - Q)N:\bar{\Omega}\to X\) is compact.
Theorem 2.1
Let \(L:\operatorname{dom}L \subset X \to Y\) be a Fredholm operator of index zero and \(N:X \to Y\) be L-compact on Ω̄. Assume that the following conditions are satisfied:
-
(i)
\(Lu \ne\lambda Nu\) for any \(u \in(\operatorname{dom}L \setminus \operatorname{Ker}L) \cap\partial\Omega\), \(\lambda \in(0,1)\);
-
(ii)
\(Nu \notin\operatorname{Im} L\) for any \(u \in\operatorname{Ker}L \cap \partial\Omega\);
-
(iii)
\(\deg(QN \vert {_{\operatorname{Ker}L} } ,\Omega \cap \operatorname{Ker}L,0) \ne0\).
Then the equation \(Lx = Nx\) has at least one solution in \(\operatorname {dom}L \cap\bar{\Omega}\).
Next, we recall some basic knowledge about the fractional calculus. For more details we refer the reader to [2].
Definition 2.1
The Riemann–Liouville fractional integral of order \(\alpha > 0\) for a function \(x:(0, + \infty) \to \mathbb{R} \) is given by
provided that the right-hand side integral is pointwise defined on \((0, + \infty)\).
Definition 2.2
The Riemann–Liouville fractional derivative of order \(\alpha > 0\) for a function \(x:(0, + \infty) \to \mathbb{R}\) is given by
where \(n = [ \alpha]+1\), provided that the right-hand side integral is pointwise defined on \((0, + \infty)\).
Lemma 2.1
Let \(\alpha > 0\). Assume that x, \(D_{0 + }^{\alpha}x \in L^{1}(0,1)\), then
where \(n = [\alpha] + 1\), \({c_{i}} \in\mathbb{R}\) (\(i = 1,2, \dots ,n\)) are arbitrary constants.
Lemma 2.2
Let \(\alpha> \beta>0\). Assume that \(x \in L^{1}(0,1)\), then
in particular \(D_{0 + }^{\alpha}I_{0 + }^{\alpha}x(t) = x(t)\).
Lemma 2.3
Let \(\alpha > 0\), \(n\in N\) and \(D=d/dx\). If the fractional derivatives \((D_{0 + }^{\alpha}x)(t)\) and \((D_{0 + }^{\alpha+n} x)(t)\) exist, then
Lemma 2.4
Assume that \(\alpha > 0\), \(\lambda > - 1\), \(t > 0\), then
in particular \(D_{0 + }^{\alpha}{t^{\alpha - m}} = 0\), \(m = 1,2, \dots ,n\), where \(n = [\alpha] + 1\).
3 Main result
Let
It is easy to check that X is a Banach space with norm
where \(\Vert x \Vert_{\infty}= \operatorname{sup}_{t \in [0,1]}|x(t)|\), and Y is a Banach space with norm \(\Vert y \Vert_{Y} = \Vert y \Vert_{1} = \int_{0}^{1} {|y(t)|\,dt}\).
Define the linear operator \(L:\operatorname{dom}L \subset X \to Y\) and the nonlinear operator \(N:X \to Y\) as follows:
where
Then BVP (1.1) is equivalent to the operator equation \(Lx = Nx\), \(x \in\operatorname{dom}L\).
Lemma 3.1
Assume that \((\mathrm{H}_{1})\) holds, then the operator \(L:\operatorname{dom}L \subset X \to Y\) satisfies
where
Proof
If \(Lx = D_{0 + }^{\alpha}x = 0\), by Lemma 2.1, we have
Considering that boundary condition \(x(0) = 0\), one has \({a_{3}} = 0\), then
So, \(\operatorname{Ker}L \subset \{ {x \in\operatorname {dom}L:x(t) = {a_{1}}{t^{\alpha - 1}} + {a_{2}}{t^{\alpha - 2}}, {a_{1}},{a_{2}} \in\mathbb{R}} \}\). Conversely, for any \({a_{1}},{a_{2}} \in\mathbb{R}\), take \(x(t) = {a_{1}}{t^{\alpha - 1}} + {a_{2}}{t^{\alpha - 2}}\), it is easy to check that \(D_{0 + }^{\alpha}x(t) = 0\) and \(x(t)\) satisfies boundary value conditions of (1.1). Thus, (3.1) holds. For \(y \in\operatorname{Im} L\), there exists \(x \in\operatorname{dom}L\) such that \(D_{0 + }^{\alpha}x(t) = y(t)\). Again by Lemma 2.1 and combining with the boundary condition \(x(0) = 0\), one gets
Noting that
by Lemmas 2.2 and 2.4, we obtain
and
Thus,
that is,
Conversely, let \(y \in Y\) satisfy (3.3) and take \(x(t) = I_{0+}^{\alpha}y(t)\). Obviously, we have \(x(t) \in\operatorname{dom}L\) and \(Lx(t) = y(t)\). Then, \(\{ y \in Y:{T_{1}}y = {T_{2}}y = 0 \} \subset\operatorname{Im} L\). Therefore, (3.2) holds. □
Let \({Q_{1}}, {Q_{2}}:Y \to Y\) be two linear operators defined as follows:
Lemma 3.2
Assume that \((\mathrm{H}_{1})\) holds, then \(L:\operatorname{dom}L \subset X \to Y\) is a Fredholm operator of index zero. The linear projector operator \(P:X \to X\) and \(Q:Y \to Y\) defined as follows:
Proof
By the definition of P we can check that P is a continuous linear projector operator and satisfies \(\operatorname{Im} P = \operatorname{Ker}L\), \(X = \operatorname{Ker}P \oplus\operatorname {Ker}L\). It is clear that Q is a continuous linear operator and \(\operatorname{dim} \operatorname{Im} Q = 2\). By the definitions of \({Q_{1}}\), \({Q_{2}}\), we can calculate the following equations hold:
Thus,
So, Q is a projector operator. From Lemma 3.1, we have \(\operatorname{Im} L \subset\operatorname{Ker}Q\). Now, we show the fact that \(\operatorname{Ker}Q \subset\operatorname{Im} L\). In fact, for \(y \in\operatorname{Ker}Q\), i.e., \(Qy = 0\), then we get a system of linear equations with respect to \({T_{1}}y\), \({T_{2}}y\) as follows:
Since the determinant of coefficient for (3.4) is \(\Delta\ne 0\), we get \({T_{1}}y = {T_{2}}y = 0\), thus \(\operatorname{Ker}Q \subset \operatorname{Im} L\). Therefore, \(\operatorname{Ker}Q = \operatorname {Im} L\). For \(y \in Y\), set \(y = (y - Qy) + Qy\), then \((y - Qy) \in \operatorname{Ker}Q = \operatorname{Im} L\), \(Qy \in\operatorname{Im} Q\). So, \(y = \operatorname{Im} L + \operatorname{Im}Q\). Furthermore, for any \(y \in\operatorname{Im} L \cap\operatorname{Im} Q\), there exist constants \({c_{1}},{c_{2}} \in \mathbb{R}\) such that \(y(t) = {c_{1}} + {c_{2}}t\) and \({T_{1}}y = {T_{2}}y = 0\). Then we also get a system of linear equations with respect to \({c_{1}}\), \({c_{2}}\) as follows:
Because the determinant of coefficient for (3.5) is \(2\Delta \ne0\). Thus, \({c_{1}} = {c_{2}} = 0\). It means that \(\operatorname{Im} Q \cap\operatorname{Im} L = \{0\}\). Therefore, \(Y = \operatorname{Im} Q \oplus\operatorname{Im} L\). Furthermore, \(\operatorname{dimKer}L = \operatorname{dim} \operatorname {Im} Q = \operatorname{co}\operatorname{dim} \operatorname{Im} L = 2\). So, L is a Fredholm operator of index zero. □
Lemma 3.3
Assume that \((\mathrm{H}_{1})\) holds, define the linear operator \({K_{p}}:\operatorname{Im} L \to\operatorname{dom}L \cap\operatorname{Ker}P\) by
then \({K_{p}}\) is the inverse of \(L|_{\operatorname{dom}L \cap \operatorname{Ker}P}\) and \(\Vert{K_{p}}y \Vert_{X} \leqslant \Vert y \Vert_{1}\), for all \(y \in\operatorname{Im} L\).
Proof
For \(y \in\operatorname{Im} L\), then \({T_{1}}y = {T_{2}}y = 0\), which is combined with the definition of \({K_{p}}\) and Lemma 2.2, we can check that \({K_{p}}y \in\operatorname{dom}L \cap \operatorname{Ker}P\). So, \({K_{p}}\) is well defined on ImL. Obviously, \((L{K_{p}})y(t) = y(t)\), \(\forall y \in\operatorname{Im} L\). For \(x(t) \in\operatorname{dom}L\), by Lemma 2.1, we have
It follows from \(P[({K_{p}}L)x(t)] = 0\) and \({a_{1}}{t^{\alpha - 1}} + {a_{2}}{t^{\alpha - 2}} \in\operatorname{Ker}L = \operatorname{Im} P\) that \({c_{1}}{t^{\alpha - 1}} + {c_{2}}{t^{\alpha - 2}} = - Px(t)\). That is, \(({K_{p}}L)x(t) = x(t)-Px(t)\). Therefore, if \(x(t) \in\operatorname{dom}L \cap\operatorname{Ker}P\), we have \(({K_{p}}L)x(t) = x(t)\). So, \({K_{p}}\) is the inverse of \(L|_{\operatorname{dom}L \cap\operatorname{Ker}P}\). By Lemma 2.2, we have the following inequalities:
So, \(\Vert{K_{p}}y \Vert_{X} \leqslant \Vert y \Vert_{1}\), for all \(y \in\operatorname{Im} L\). □
Lemma 3.4
Assume that \((\mathrm{H}_{1})\) holds and \(\Omega \subset X\) is an open bounded subset with \(\operatorname{dom}L \cap\bar{\Omega}\ne\emptyset\), then N is L-compact on Ω̄.
Proof
According to \(f \in[0,1] \times{\mathbb{R}^{2}} \to\mathbb {R}\) satisfies the Carathéodory conditions, we can get \(QN(\bar{\Omega})\) and \((I - Q)N(\bar{\Omega})\) are bounded almost everywhere on \([0,1]\), that is, there exist constants \(m,\tilde{m} > 0\) such that \(|QNx(t)| \leqslant\tilde{m}\), \(|(I - Q)Nx(t)| \leqslant m\), \(x \in\bar{\Omega}\), a.e. \(t \in[0,1]\). Next, we show that \({K_{p}}(I - Q)N:\bar{\Omega}\to X\) is compact. In fact, by Lemma 3.3, \({K_{p}}(I - Q)N(\bar{\Omega})\) is uniformly bounded. It follows from the Lebesgue dominated convergence theorem that \({K_{p}}(I - Q)N:\bar{\Omega}\to X\) is continuous. For \(0 \leqslant {t_{1}} < {t_{2}} \leqslant1\), \(x \in\bar{\Omega}\), we have
Since \({t^{\alpha}}\) is uniformly continuous on \([0,1]\), \({K_{p}}(I - Q)N(\bar{\Omega})\) is equicontinuous. In addition, by Lemma 2.3 we see that the following equation holds:
So, it suffices to show that \(D_{0 + }^{\alpha - 1}{K_{p}}(I - Q)N(\bar{\Omega})\) is equicontinuous. In fact,
Since t is uniformly continuous on \([0,1]\), thus \(D_{0 + }^{\alpha - 1}{K_{p}}(I - Q)Nx(\Omega)\) is equicontinuous. By the Ascoli–Arzelà theorem, we see that \({K_{p}}(I - Q)N:\bar{\Omega}\to X\) is compact. □
In order to obtain our main results, we suppose that the following conditions are satisfied:
\((\mathrm{H}_{2})\) There exist nonnegative functions \(p(t),q(t),r(t),e(t) \in Y\) such that, for all \((u,v,w) \in{\mathbb{R}^{3}}\), \(t \in(0,1)\),
and
\((\mathrm{H}_{3})\) There exist constants \({k_{1}},{k_{2}} > 0\) such that, for all \(t \in(0,1)\), \(x \in\operatorname{dom}L\), if \(\vert {D_{0 + }^{\alpha - 2}x(t)} \vert > {k_{1}}\) or \(\vert {D_{0 + }^{\alpha - 1}x(t)} \vert > {k_{2}}\), then either \({T_{1}}(Nx(t)) \ne0\) or \({T_{2}}(Nx(t)) \ne0\).
\((\mathrm{H}_{4})\) There exists a constant \(g > 0\) such that, for all \({a_{1}},{a_{2}} \in\mathbb{R}\), \(x(t) = {a_{1}}{t^{\alpha - 1}} + {a_{2}}{t^{\alpha - 2}} \in\operatorname{Ker}L\), if \(|{a_{1}}| > g\) or \(|{a_{2}}| > g\) then either
or
Lemma 3.5
Suppose that \((\mathrm{H}_{1})\)–\((\mathrm {H}_{3})\) hold, set
Then \({\Omega_{1}}\) is bounded.
Proof
For \(x \in{\Omega_{1}}\), we have \(Nx \in\operatorname{Im} L = \operatorname{Ker}Q\). Then \({T_{1}}(Nx(t)) = {T_{2}}(Nx(t)) = 0\). Thus, from \((\mathrm{H}_{3})\), there exist \({t_{0}},{t_{1}} \in[0,1]\) such that \(\vert {D_{0 + }^{\alpha - 2}x({t_{0}})} \vert \leqslant{k_{1}}\) and \(\vert {D_{0 + }^{\alpha - 1}x({t_{1}})} \vert \leqslant{k_{2}}\). Then, by Lemma 2.3 we have
and
By the definition of P and Lemma 2.4, we get
and
Thus,
We have
Therefore,
Also, for \(x \in{\Omega_{1}}\), then \((I - P)x \in\operatorname{dom}L \cap\operatorname{Ker}P\), \(LPx = 0\), from Lemma 3.3, we have
Then, from (3.8) and (3.9), we see that
By \((\mathrm{H}_{2})\), we have
Substituting (3.11) into (3.10), one gets
So, \({\Omega_{1}}\) is bounded. □
Lemma 3.6
Suppose that \((\mathrm{H}_{3})\) holds, set
Then \({\Omega_{2}}\) is bounded.
Proof
For \(x \in{\Omega_{2}}\), we have \(x(t) = {a_{1}}{t^{\alpha - 1}} + {a_{2}}{t^{\alpha - 2}}\), \({a_{1}},{a_{2}} \in\mathbb{R}\) and \({T_{1}}Nx(t) = {T_{2}}Nx(t) = 0\). From \((\mathrm{H}_{3})\), there exist \({t_{2}},{t_{3}} \in[0,1]\) such that \(\vert {D_{0 + }^{\alpha - 2}x({t_{2}})} \vert \leqslant{k_{1}}\) and \(\vert {D_{0 + }^{\alpha - 1}x({t_{3}})} \vert \leqslant{k_{2}}\), that is,
Thus,
Therefore,
So, \({\Omega_{2}}\) is bounded. □
Lemma 3.7
Suppose that \((\mathrm{H}_{4})\) holds, we set
Then \({\Omega_{3}}\) is bounded, where \(\vartheta = 1\), if (3.6) holds and \(\vartheta = - 1\), if (3.7) holds, \(J:\operatorname {Ker}L \to\operatorname{Im} Q\) is the linear isomorphism defined by
Proof
Without loss of generality, we suppose that (3.7) holds, then, for any \(x \in{\Omega_{3}}\), there exist constants \({a_{1}},{a_{2}} \in\mathbb{R}\), \(\lambda \in[0,1]\) such that \(x(t) = {a_{1}}{t^{\alpha - 1}} + {a_{2}}{t^{\alpha - 2}}\) and \(- \lambda Jx + {(1 - \lambda)QNx = 0}\). By Lemma 3.6, in order to prove Lemma 3.7, it suffices to show that \(|{a_{1}}| \leqslant g\), \(|{a_{2}}| \leqslant g\). In fact, if \(\lambda = 0\) then \(QNx = 0\), which means \({T_{1}}Nx = {T_{2}}Nx = 0\). From \((\mathrm{H}_{4})\), we get \(|{a_{1}}| \leqslant g\), \(|{a_{2}}| \leqslant g\). If \(\lambda = 1\) then \(Jx = 0\), that is, \({a_{1}} = {a_{2}} = 0\). Obviously, \(|{a_{1}}| \leqslant g\), \(|{a_{2}}| \leqslant g\). For \(\lambda \in(0,1)\), by \(\lambda Jx = (1 - \lambda)QNx\) one has
Because \(\Delta \ne0\), we have
Then, if \(|{a_{1}}| > g\) or \(|{a_{2}}| > g\), by (3.7), we get a contradiction,
Thus, \(|{a_{1}}| \leqslant g\), \(|{a_{2}}| \leqslant g\). So, \({\Omega_{3}}\) is bounded. If (3.6) holds, by a similar method, we can see that \({\Omega_{3}}\) is bounded. □
Theorem 3.1
Suppose that \((\mathrm{H}_{1})\)–\((\mathrm {H}_{4})\) hold. Then problem (1.1) has at least on solution in X.
Proof
Let Ω be a bounded open set of X such that \(\bigcup _{i = 1}^{3}{\bar{\Omega}_{i}} \subset\Omega\). By Lemma 3.4, N is L-compact on Ω̄. From Lemmas 3.5 and 3.6, we get
-
(i)
\(Lx \ne\lambda Nx\) for any \((x,\lambda) \in[(\operatorname {dom}L\setminus \operatorname{Ker}L) \cap\partial\Omega] \times(0,1)\),
-
(ii)
\(Nx \in\operatorname{Im} L\) for any \(x \in\operatorname{Ker}L \cap \partial\Omega\).
Thus, we only need to show that (iii) of Theorem 2.1 is satisfied. Take
where ϑ is defined as before. According to Lemma 3.7, we derive \(H(x,\lambda) \ne0\) for all \(x \in \operatorname {Ker}L \cap\partial\Omega\). Thus, it follows from the homotopy of degree that
Then, by Theorem 2.1, we can see that the operator function \(Lx = Nx\) has at least one solution in \(\operatorname{dom}L \cap\bar{\Omega}\), which, equivalently to problem (1.1), has at least one solution in X. □
4 Example
Example 4.1
Consider the following fractional boundary value problem:
where we take
Obviously, we have
and \(\{ {{\xi_{i}}} \}_{i = 1}^{ + \infty}\) is a monotone increasing sequence and \(\{ {{\gamma_{i}}} \}_{i = 1}^{ + \infty}\) is a monotone decreasing sequence. Applying Remark 1.1 we conclude that \(\Delta > 0\). Let
Then
and
Take \({k_{1}} = 48\), \({k_{2}} = 24\). Then, if \(|D_{0 + }^{0.5}x(t)| > {k_{1}}\), one has
and if \(|D_{0 + }^{1.5}x(t)| > {k_{2}}\), one gets
Let \(g = 261\). Then if \(|{a_{1}}| > g\), we have
In view of Theorem 3.1, boundary value problem (4.1) has at least one solution.
Remark 4.1
By the example, we find that it is more difficult to give an infinite series \(\sum_{i = 1}^{ + \infty} {{\alpha_{i}}}\) (\(\sum_{i = 1}^{ + \infty} {{\alpha_{i}}} = 1\), \(\sum_{i = 1}^{ + \infty} |{\alpha_{i}}| < + \infty\)) than to give a function \(g(t) \in{L^{1}}[0,1]\) (\(\int_{0}^{1} {g(t)\,dt} = 1\)). For example, for \(\int_{0}^{1} {g(t)} = 1\), we can take \(g(t)\equiv1\).
5 Conclusion
In this paper, we are focused on investigating the existence of solutions for a class of FDEs with infinite point BCs. By using Mawhin’s continuation theorem, an existence theorem is established and we also give an example to illustrate the application of the theorem. To the best of our knowledge, the issue on the existence of solutions for infinite point BVPs was first studied by Ma (see [35]) and discussed widely in recent years. It is an interesting question and there is some work to be done in the future, such as: discussing the existence of solutions for p-Laplacian FDEs with infinite point BCs at resonance in the case \(\operatorname{dimKer}L=2\) for one fractional differential equation.
References
Podlubny, I.: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications. Mathematics in Science and Engineering. Academic Press, New York (1999)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies. Elsevier, Amsterdam (2006)
Petráš, I.: Fractional-Order Nonlinear Systems: Modeling, Analysis and Simulation. Springer, Berlin (2011)
Sierociuk, D., Dzieliński, A., Sarwas, G., Podlubny, I., Skovranek, T.: Modelling heat transfer in heterogeneous media using fractional calculus. Philos. Trans. R. Soc., Math. Phys. Eng. Sci. 371, 20120146 (2013)
Arenas, A.J., González-Parra, G., Chen-Charpentier, B.M.: Construction of nonstandard finite difference schemes for the SI and SIR epidemic models of fractional order. Math. Comput. Simul. 121, 48–63 (2016)
Teka, W.W., Upadhyay, P.K., Mondal, A.: Spiking and bursting patterns of fractional-order Izhikevich model. Commun. Nonlinear Sci. Numer. Simul. 56, 161–176 (2018)
Ates, I., Zegeling, P.A.: A homotopy perturbation method for fractional-order advection-diffusion-reaction boundary-value problems. Appl. Math. Model. 47, 425–441 (2017)
Ahmad, B., Ntouyas, S.K., Alsaedi, A.: On a coupled system of fractional differential equations with coupled nonlocal and integral boundary conditions. Chaos Solitons Fractals 83, 234–241 (2016)
Agarwal, R.P., Ahmad, B., Garout, D., Alsaedi, A.: Existence results for coupled nonlinear fractional differential equations equipped with nonlocal coupled flux and multi-point boundary conditions. Chaos Solitons Fractals 102, 149–161 (2017)
Günendi, M., Yaslan, İ.: Positive solutions of higher-order nonlinear multi-point fractional equations with integral boundary conditions. Fract. Calc. Appl. Anal. 19, 989–1009 (2016)
Zhang, X.Q., Zhong, Q.Y.: Triple positive solutions for nonlocal fractional differential equations with singularities both on time and space variables. Appl. Math. Lett. 80, 12–19 (2018)
Zhang, X.Q., Zhong, Q.Y.: Uniqueness of solution for higher-order fractional differential equations with conjugate type integral conditions. Fract. Calc. Appl. Anal. 20, 1471–1484 (2017)
Zhang, W., Liu, W.B.: Existence of solutions for fractional multi-point boundary value problems at resonance with three-dimensional kernels. Adv. Differ. Equ. 2018, 15 (2018)
Zhang, W., Liu, W.B., Chen, T.Y.: Solvability for a fractional p-Laplacian multipoint boundary value problem at resonance on infinite interval. Adv. Differ. Equ. 2016, 183 (2016)
Shen, T.F., Liu, W.B., Shen, X.H.: Existence and uniqueness of solutions for several BVPs of fractional differential equations with p-Laplacian operator. Mediterr. J. Math. 13, 4623–4637 (2016)
Kosmatov, N., Jiang, W.H.: Resonant functional problems of fractional order. Chaos Solitons Fractals 91, 573–579 (2016)
Iqbal, M., Li, Y.J., Shah, K., Khan, R.A.: Application of topological degree method for solutions of coupled systems of multipoints boundary value problems of fractional order hybrid differential equations. Complexity 2017, Article ID 7676814 (2017)
Zhang, X.Q.: Positive solutions for a class of singular fractional differential equation with infinite-point boundary value conditions. Appl. Math. Lett. 39, 22–27 (2015)
Zhai, C.B., Wang, L.: Some existence, uniqueness results on positive solutions for a fractional differential equation with infinite-point boundary conditions. Nonlinear Anal., Model. Control 22, 566–577 (2017)
Guo, L.M., Liu, L.S., Wu, Y.H.: Existence of positive solutions for singular fractional differential equations with infinite-point boundary conditions. Nonlinear Anal., Model. Control 21, 635–650 (2016)
Ge, F.D., Zhou, H.C., Kou, C.H.: Existence of solutions for a coupled fractional differential equations with infinitely many points boundary conditions at resonance on an unbounded domain. Differ. Equ. Dyn. Syst. (2016). https://doi.org/10.1007/s12591-015-0270-x
Hu, L., Zhang, S.Q.: Existence results for a coupled system of fractional differential equations with p-Laplacian operator and infinite-point boundary conditions. Bound. Value Probl. 2017, 88 (2017)
Hu, L.: Existence of solutions to a coupled system of fractional differential equations with infinite-point boundary value conditions at resonance. Adv. Differ. Equ. 2016, 200 (2016)
Guo, L.M., Liu, L.S., Wu, Y.H.: Existence of positive solutions for singular higher-order fractional differential equations with infinite-point boundary conditions. Bound. Value Probl. 2016, 114 (2016)
Liu, S.L., Liu, J.P., Dai, Q., Li, H.L.: Uniqueness results for nonlinear fractional differential equations with infinite-point integral boundary conditions. J. Nonlinear Sci. Appl. 10, 1281–1288 (2017)
Leng, Q.Q., Yin, J.D., Yan, P.H.: Existence and uniqueness of positive solutions for singular higher order fractional differential equations with infinite-point boundary value conditions. J. Comput. Anal. Appl. 25, 302–310 (2018)
Li, X.C., Liu, X.P., Jia, M., Zhang, L.C.: The positive solutions of infinite-point boundary value problem of fractional differential equations on the infinite interval. Adv. Differ. Equ. 2017, 126 (2017)
Wang, L., Zhai, C.B.: Uniqueness and properties of positive solutions for infinite-point fractional differential equation with p-Laplacian and a parameter. J. Nonlinear Sci. Appl. 10, 5156–5164 (2017)
Qiao, Y., Zhou, Z.F.: Existence of positive solutions of singular fractional differential equations with infinite-point boundary conditions. Adv. Differ. Equ. 2017, 8 (2017)
Zhong, Q.Y., Zhang, X.Q.: Positive solution for higher-order singular infinite-point fractional differential equation with p-Laplacian. Adv. Differ. Equ. 2016, 11 (2016)
Li, B.X., Sun, S.R., Sun, Y.: Existence of solutions for fractional Langevin equation with infinite-point boundary conditions. J. Appl. Math. Comput. 53, 683–692 (2017)
Mawhin, J.: Topological Degree Methods in Nonlinear Boundary Value Problems, Expository Lectures from the CBMS Regional Conference Held at Harvey Mudd College, Claremont, Calif., June 9–15. CBMS Regional Conference Series in Mathematics. Am. Math. Soc., Providence (1979)
Mawhin, J.: Topological degree and boundary value problems for nonlinear differential equations. In: Topological Methods for Ordinary Differential Equations, Montecatini Terme, 1991. Lecture Notes in Math., vol. 1537, pp. 74–142. Springer, Berlin (1993)
Bai, Z.B., Lü, H.S.: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495–505 (2005)
Ma, R.Y., Fan, H.X., Han, X.L.: Positive solutions of nonlinear ∞-point boundary value problems. Acta Math. Sci. Ser. A Chin. Ed. 29, 699–706 (2009)
Funding
This research is supported by the National Natural Science Foundation of China (11271364).
Author information
Authors and Affiliations
Contributions
The authors contributed equally in this article. They have all read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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 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.
About this article
Cite this article
Zhang, W., Liu, W. Existence of solutions for fractional differential equations with infinite point boundary conditions at resonance. Bound Value Probl 2018, 36 (2018). https://doi.org/10.1186/s13661-018-0954-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-0954-6