 Research
 Open access
 Published:
Existence results for infinite systems of the Hilfer fractional boundary value problems in Banach sequence spaces
Advances in Difference Equations volume 2021, Article number: 155 (2021)
Abstract
The main aim of this paper is to present some existence criteria for an infinite system of Hilfer fractional boundary value problems of the form
in Banach sequence spaces of \(c_{0}\) and \(l_{p},p\geq 1\) types. Our approach is based on the Darbotype fixed point theorems acting on the condensing operators. The obtained existence results in each of the above sequence spaces are illustrated by presenting some numerical examples.
1 Introduction
Nowadays it is a wellknown fact that one may take the integration and differentiation of arbitrary order in the appropriate functional spaces. The governing theory of such operations is known as fractional calculus, and consequently differential equations reconstructed in this theory are called fractional differential equations. So, it is a natural expectation that we try to reobtain the fractionalorder approaches of the current results belonging to the ordinary differential calculus. Between various versions of the fractionalorder differentiation the Hilfer fractional derivatives have an interesting technical property, which makes these derivatives much more important than other fractionalorder derivatives, that is, the Hilfer fractional derivatives unify the Riemann–Liouville and Caputo fractional derivatives. This property makes the Hilfer fractional derivatives a more powerful mathematical tool in studying reallife phenomena and their engineering refinements. In this way, we suggest some resources for fractional differential equations such as [1, 5, 7, 8, 11–15, 19–22, 25, 27–29, 31, 32, 34, 36–40] and the references cited therein, for more consultation on this topic.
In this paper we deal with one of the abovementioned approaches, that is, the solvability assessment of an infinite system of the boundary value problems equipped with the Hilfer fractional derivatives. This fractionalorder system can be formulated as
where
 \((A_{1})\):

\(\mathcal{D}_{a^{+}}^{\alpha,\beta }\) denotes the Hilfer fractional derivative of order \(1<\alpha \leq 2\) and type \(0\leq \beta \leq 1\).
 \((A_{2})\):

\(F_{i}(t,u):=a_{i}(t)+g_{i}(t,u_{1},u_{2},\ldots), i=1,2,\ldots \) .
 \((A_{3})\):

\(a_{i}\in C([a,b],\mathbb{R}), i=1,2,\ldots \) .
 \((A_{4})\):

\(g_{i}\in C([a,b]\times \mathbb{R}^{\infty }), i=1,2,\ldots \) .
As special cases of the infinite systems of the Hilfer fractional differential equations (1.1), one may consider the following instances:

1.
The Hilfer fractional relaxation:
$$ F_{i}(t,u)= C u,\quad u:= (u_{i} )_{i=1}^{\infty }, C\in \mathbb{R}. $$ 
2.
The Hilfer fractional diffusion:
$$ F_{i}(t,u)= C\Delta u,\quad u:= (u_{i} )_{i=1}^{\infty }, C \in \mathbb{R}, $$with the Laplacian Δ.
The importance of the infinite systems of differential equations arises naturally in solving of partial differential equations. For instance, in the field of statistical physics infinite systems of ordinary differential equations appear as moment problems associated with the Fokker–Planck partial differential equations as described in [30]. As another application for the infinite systems of ordinary differential equations, one can consider the secondorder nonlinear partial differential equation of the form
such that solving it can be reduced to solving the infinite system of the ordinary differential equations
More details can be found in [18] and the cited bibliography. Also, by the use of the longitudinal method of lines acting on the infinite systems of ordinary differential equations corresponding to some parabolic partial differential equations, one may obtain the approximate solutions of the partial differential equations as has been presented in detail in [35]. Besides, studying the infinite systems of differential equations leads to some significant problems in engineering, mechanics, theory of the branching processes, theory of the neural networks, and the theory of the dissociation of polymers (cf. [18, 23] and [24]). On the other hand, studying the infinite systems of differential equations on appropriate Banach spaces by themselves may occupy a distinguished place from the point of view of their solvability processes. As a consequence, one can consider the measures of noncompactness and constructed fixed point theory based on them as a pioneering technique to investigate the existence of solutions for the infinite systems of differential equations. Actually, measures of noncompactness from the point of view of applicability have a wide range of applications in providing solvability criteria for nonlinear differential equations via various refinements of the Darbo fixed point theorem. The history of measures of noncompactness originated with the Polish mathematician Kuratowski [17], and the first measure of noncompactness introduced by him was as follows:
for the bounded subset S of the metric space X. Besides, \(\operatorname{diam}(T)\) denotes the diameter of the set \(T\subset X\), i.e., \(\operatorname{diam}(T):=\sup \{d(x,y)x,y\in T\}\). However, from the point of view of applicability there is an another measure of noncompactness, which can be considered as the one most convenient and useful in applications. This measure is called the Hausdorff measure of noncompactness and is defined by
As a useful and compact collection of resources for more detailed consultation we refer to [4, 6, 9] and [10] and the references therein. From now on, for the sake of convenience we will use the abbreviation MNC for the measure of noncompactness.
Having the measures of noncompactness and related fixed point theory as our main technical tool, we now mention the following papers that are the inspiring resources of this paper, indeed. The authors in [23], studied the solvability of the infinite system of secondorder periodic boundary value problem
by the use of the measures of noncompactness and Darbotype fixed point theorems on condensing operators. Motivated by this problem, and essentially following the applied technique in [23], we initiate studying the solvability of the infinite system of the Hilfer fractional boundary value problem (1.1).
At the end of this section, we state the organization of this investigation as follows. In Sect. 2, the Hilfer fractional derivatives and their importance in fractional calculus will be summarized. Besides, the concept of MNC and related Darbotype fixed point theory will be presented. Section 3, is devoted to the some solvability criteria for the Hilfer fractional infinite system (1.1). We divide this section into the two parts. First, we define the Banach sequence space \(c_{0}\), and consequently we provide some conditions on nonlinearities to obtain at least one solution for the infinite system (1.1). In the second part, presenting the Banach sequence space \(l_{p}, p\geq 1\), we give some another sufficient conditions that lead us to the existence of at least one solution of the infinite system (1.1). Applicability of the obtained theoretical results in Sect. 3 will be illustrated in Sect. 4 by presenting some numerical examples for each existence criterion in \(c_{0}\) and \(l_{p}\).
2 Technical background
In this section we first define the Hilfer fractional derivatives and their essential properties. So, we have the following definition.
Definition 2.1
Assume \(n1<\alpha \leq n, n\in \mathbb{N}\), \(0\leq \beta \leq 1\) and \(f\in AC^{n}[a,b]\). Then the left and right sided Hilfer fractional derivatives of order α and type β, are defined as follows:
We note that in this definition, \(\mathcal{I}_{a^{+}(b_{})}^{\alpha }\) stands for the left (right) sided Riemann–Liouville fractional integral of order α that acts on \(f\in L(a,b)\) as follows [16]:
In addition, \(\mathcal{D}_{a^{+}(b_{})}^{\alpha }\) stands for the Riemann–Liouville fractional derivative of order α that acts on \(f\in AC^{n}[a,b]\) as follows [16]:
where \(n=[\alpha ]+1\).
Remark 2.2
Concentrating on the Hilfer fractional derivative \(\mathcal{D}_{a^{+}(b_{})}^{\alpha,\beta }\), it follows that if we take \(\beta:=0\), then this fractional derivative reduces to the Riemann–Liouville fractional derivatives, while taking \(\beta:=1\), one obtains the left (right) sided Caputo fractional derivatives
In the following lemma, the inversion formula for the Hilfer fractional derivatives is given.
Lemma 2.3
([33])
Assume \(n1<\alpha \leq n, n\in \mathbb{N}\) and \(0\leq \beta \leq 1\). If \(f\in L(a,b)\) and \(\mathcal{I}_{a^{+}}^{(n\alpha )(1\beta )}f\in AC^{n1}[a,b]\), then
Now, we can represent the Green function corresponding to the infinite system of the Hilfer fractional boundary value problems (1.1).
Lemma 2.4
([26])
Assume \(h\in L(a,b)\). Then the Hilfer boundary value problem
is equivalent to the integral equation
where
Lemma 2.5
([26])
For all \((t,s)\in [a,b]\times [a,b]\),
In this position, we are going to show the importance of the Hilfer fractional differential equations as a consequence of Remark 2.2.
Remark 2.6
Let us consider the Hilfer fractional boundary value problem (2.3). Table 1 illustrates that in view point of comprehensiveness, the Hilfer fractional differential equations include not only their related integerorder differential equations but also the Riemann–Liouville and Caputo versions of the corresponding fractional differential equations.
Consequently, the following table shows that the corresponding Green functions depend on the special values of the parameters α and β and their maximums.
The first and second rows in Table 2 generalize the third row and the Hilfer–Green function (2.4) and its maximum, (2.5), generalizes the first and second rows. So, we arrive at the conclusion that on the most elementary level, the infinite system of Hilfer fractional boundary value problems (1.1) generalizes the research work [23], which was mentioned in the previous section.
It is time to have a quick overview on MNCs and the related fixed point theory. To this aim, we first state the following notations. Let \((E,\\cdot\)\) be a Banach space, \(\mathbb{R}_{+}:=[0,\infty )\). If X is a subset of E, then the symbols X̅ and ConvX denote the closure and the convex closure of X, respectively. Let \(\mathfrak{M}_{E}\) and \(\mathfrak{N}_{E}\) denote the families of the nonempty bounded and nonempty relatively compact subsets of E, respectively. We are now ready to define the concept of MNC.
Definition 2.7
A mapping \(\mu:\mathfrak{M}_{E}\rightarrow \mathbb{R}_{+}\) is said to be the measure of noncompactness in E if it satisfies the following conditions:
 \((A_{1})\):

\(\text{The family} \ker \mu:=\{X\in \mathfrak{M}_{E}: \mu (X)=0\}\) is nonempty and \(\ker \mu \subset \mathfrak{N}_{E}\).
 \((A_{2})\):

\(X\subset Y\Longrightarrow \mu (X)\leq \mu (Y)\).
 \((A_{3})\):

\(\mu (\overline{X})=\mu (X)\).
 \((A_{4})\):

\(\mu (\operatorname{Conv}X)=\mu (X)\).
 \((A_{5})\):

\(\mu (\lambda X+(1\lambda )Y)\leq \lambda \mu (X)+(1\lambda )\mu (Y)\) for \(\lambda \in [0,1]\).
 \((A_{6})\):

If \(\{X_{n}\}\) is a sequence of closed sets in \(\mathfrak{M}_{E}\), such that \(X_{n+1}\subset X_{n}, n=1,2,\ldots \) and if \(\lim_{n\rightarrow \infty }\mu (X_{n})=0\), then \(X_{\infty }:=\bigcap_{n=1}^{\infty }X_{n}\neq \emptyset \).
If an MNC satisfies the following additional conditions, we call it a regular MNC:
 \((A_{7})\):

\(\mu (X\cup Y)=\max \{\mu (X),\mu (Y)\}\).
 \((A_{8})\):

\(\mu (X+Y)\leq \mu (X)+\mu (Y)\).
 \((A_{9})\):

\(\mu (\lambda X)=\lambda \mu (X)\) for \(\lambda \in \mathbb{R}\).
 \((A_{10})\):

\(\ker \mu =\mathfrak{N}_{E}\).
Since our solvability approach will be constructed by the Darbotype fixed point theorem on the condensing operators, we first have to present the classic Darbo fixed point theorem and definition of a condensing operator.
Theorem 2.8
(Darbo fixed point theorem, [3, 23])
Let Ω be a nonempty, bounded, closed and convex subset of a Banach space E and let \(T:\Omega \rightarrow \Omega \) be a continuous mapping such that there exists a constant \(k\in [0,1)\) with the property
Then T has a fixed point in the set Ω.
Let us mention the fact that, in the Darbo fixed point theorem, μ stands for the Kuratowski MNC. In what follows we are going to present a generalization of the Darbo fixed point theorem that admits every arbitrary MNC to obtain at least one fixed point. To this aim, we define the concept of condensing operators.
Definition 2.9
Let \(E_{i}, i=1,2\) be two Banach spaces and \(\mu _{i}, i=1,2\) be two arbitrary MNCs on \(E_{i}, i=1,2\), respectively. An operator \(T:E_{1}\rightarrow E_{2}\) is called a \((\mu _{1},\mu _{2})\)condensing operator if it is continuous and \(\mu _{2}(T(\Omega ))<\mu _{1}(\Omega )\), for every bounded noncompact set \(\Omega \subset E_{1}\).
We note that if \(E_{1}=E_{2}\) and \(\mu _{1}=\mu _{2}\), then T is called a μcondensing operator.
As stated above we are interested in the solvability processes represented in [23]. Thus, we shall consider a particular class of the condensing operators, the socalled the Meirkeeler condensing operators that are defined as follows.
Definition 2.10
Let C be a nonempty subset of a Banach space E and let μ be an arbitrary MNC on E. We say that an operator \(T:C\rightarrow C\) is a Meir–Keeler condensing operator if for any \(\epsilon >0\), there exists \(\delta >0\) such that
for any bounded subset X of C.
Theorem 2.11
Let C be a nonempty, bounded, closed and convex subset of a Banach space E and let μ be an arbitrary MNC on E. If \(T:C\rightarrow C\) is a continuous and condensing operator, then T has a fixed point and the set of all of fixed points of T in C is compact.
We finalize this section with formulating the Hausdorff MNC in two Banach sequence spaces \(c_{0}\) and \(l_{1}\). More details can be found in ([10], pp. 162–163, Th. 5.18, \((a)\), \((b)\)).
In the Banach sequence space \((c_{0},\\cdot\_{c_{0}})\), the Hausdorff MNC χ can be formulated as
in which \(u(t)=\{u_{i}(t)\}_{i=1}^{\infty }\in c_{0}\), for each \(t\in [a,b]\).
Furthermore, in the Banach sequence space \(l_{p}, p\geq 1\), the Hausdorff MNC χ can be formulated as
in which \(u(t)=\{u_{i}(t)\}_{i=1}^{\infty }\in l_{1}\), for each \(t\in [a,b]\).
3 Existence criteria via measures of noncompactness in Banach sequence spaces
As discussed above, depending on the Banach sequence spaces \(c_{0}\) and \(l_{p}\) we divide this section into two parts and then we attempt to present solvability criterion in each case for the infinite system of the Hilfer fractional boundary value problems (1.1). From now on by a MNC, we mean the Hausdorff measure of noncompactness χ defined by (2.8) and (2.9).
3.1 Existence criterion in \(c_{0}\)
To begin with, we have to consider the following hypotheses:

C.1
\(F_{i}:[a,b]\times \mathbb{R}^{\infty }\rightarrow \mathbb{R}\) and the operator \(\mathcal{Q}:[a,b]\times c_{0}\rightarrow c_{0}\) defined as
$$ (\mathcal{Q}u) (t):= \bigl(F_{1}(t,u),F_{2}(t,u),F_{3}(t,u), \ldots \bigr), $$such that the class of all functions \(((\mathcal{Q}u)(t))_{t\in [a,b]}\) is equicontinuous at every point of the sequence space \(c_{0}\).

C.2
\(a_{i}(t)\in C([a,b];\mathbb{R}_{+}), i=1,2,\ldots \) and the sequence \(\{a_{i}\}_{i=1}^{\infty }\) converges uniformly on \([a,b]\) to a function identically vanishing on \([a,b]\).

C.3
\(g_{i}(t,u_{1},u_{2},u_{3},\ldots)\leq b_{i}(t)+q_{i}(t)\sup_{k\geq i} \{u_{k}\}, i=1,2,\ldots \) such that \(\{b_{i}\}_{i=1}^{\infty }\) has the same conditions as asserted in (C.2) and \(q_{i}(t)\in C([a,b];\mathbb{R}_{+})\) and the sequence \(\{q_{i}\}_{i=1}^{\infty }\) is equibounded on \([a,b]\).
Before presenting the first main result, for the sake of convenience we set the following notation:

1.
\(\mathcal{A}:=\sup \{a_{i}(t)+b_{i}(t) t\in [a,b], i\in \mathbb{N}\}\).

2.
\(Q:=\sup \{q_{i}(t) t\in [a,b], i\in \mathbb{N}\}\).
Theorem 3.1
Assume that the hypotheses (C.1)–(C.3) are satisfied. Then the infinite system of the Hilfer fractional boundary value problems (1.1) has at least one solution \(u(t)=(u_{i}(t))_{i}\) provided that \(\Lambda (ba)Q<1\), in which for each \(t\in [a,b], u(t)\in c_{0}\). Moreover, for each \(t\in [a,b], u(t)\in \ker \chi \).
Proof
At the beginning let us recall the conclusion of Lemma 2.4, that is the infinite system of the Hilfer fractional boundary value problems (1.1), is equivalent to the infinite system of the integral equations
Note that, since in the Green function \(\mathcal{G}(t,s)\) defined by (2.5), we have
if we define the fixed point problem
it is clear that
In other mean, the integral operators \(\mathcal{F}_{i}u, i=1,2,\ldots \) , satisfy the boundary conditions of (1.1).
Having this fixed point problem in hand, we now able to prove that all conditions of Theorem 2.11 hold. So, let us begin as follows.
According to the (3.1), we get
So, we have
Here we start with introducing the nonempty, bounded, closed and convex subset of a Banach space \(c_{0}\). Consider \(u^{0}(t):= (u^{0}_{i}(t) ), t\in [a,b]\) in which for each \(i=1,2,3,\ldots, u_{i}^{0}(t):=0\). In this case \(\overline{B}(u^{0};r)\) denoting the closed ball centered at \(u^{0}\), and having radius \(r\leq \theta \), coincides with all conditions of the subset C in Theorem 2.11. Now, it is time to define an operator T on B̅ satisfying all conditions mentioned in Theorem 2.11, that is, T must be continuous and a Meir–Keeler condensing operator on B̅. To this aim, we refer to the operators \((\mathcal{F}_{i}u)(t), i=1,2,3,\ldots \) defined by (3.2) and define the operator T on \(C([a,b],\overline{B})\) for each \(t\in [a,b]\) as follows:
such that \(u(t):=(u_{i}(t))\in \overline{B}\) and \(u_{i}(t)\in C([a,b],\mathbb{R})\) for \(i=1,2,3,\ldots \) .
In accordance with the hypothesis (C.1), we prove that, for each \(t\in [a,b], (Tu)(t)\in c_{0}\). Indeed, since for each \(t\in [a,b], (F_{i}(t,u(t)) )\in c_{0}\), it follows that
To proceed, we recall these basic facts; as a result of the hypothesis (C.1), the operator T defined by (3.5) belongs to \(C([a,b],\overline{B})\). Besides, according to (3.2) and (3.4), it is clear that
Thus, T is selfmapping on B̅. Furthermore, because of the (3.3), T satisfies the boundary conditions of the infinite system of the Hilfer fractional boundary value problems (1.1) that is \((Tu)(a)=0\) and \((Tu)(b)=0\).
Looking back into the proof and compare it with the proof of Theorem 2.11, it just remains to prove that the operator T is a Meir–Keeler condensing operator. To this aim, for each arbitrary \(\epsilon >0\) we have to find an \(\delta >0\) such that
Here we recall the \(c_{0}\)definition of the Hausdorff MNC presented in (2.8), and apply it as follows:
Now, it is enough to choose
to obtain \(\chi (T(\overline{B}))<\epsilon \). This means that the operator T is a Meir–Keeler condensing operator on \(\overline{B}\subset c_{0}\). So, T has at least one fixed point in B̅ that is a solution of the infinite system of the Hilfer fractional boundary value problems (1.1). In addition, if we consider the fixed point set
clearly \(\mathcal{K}\) is closed and nonempty (\(u^{0}\in \mathcal{K}\)). Moreover, since \(\mathcal{K}\subset \operatorname{Conv}(T\mathcal{K}\cup \{u^{0}\})\), it follows that
So, we arrive at the conclusion that \(\mathcal{K}\subset \ker \chi \). This completes the proof. □
3.2 Existence criterion in \(l_{p}\)
Guaranteeing the existence at least one solution for the infinite system of the Hilfer fractional boundary value problems (1.1) in Banach sequence space \(l_{p}\) requires the following general assumptions:

L.1
\(F_{i}:[a,b]\times \mathbb{R}^{\infty }\rightarrow \mathbb{R}\) and the operator \(\mathcal{S}:[a,b]\times l_{p}\rightarrow l_{p}\) defined as
$$ (\mathcal{S}u) (t):= \bigl(F_{1}(t,u),F_{2}(t,u),F_{3}(t,u), \ldots \bigr), $$such that the class of all functions \(((\mathcal{S}u)(t))_{t\in [a,b]}\) is equicontinuous at every point of the sequence space \(l_{p}\).

L.2
\(a_{i}(t)\in C([a,b];\mathbb{R}_{+}), i=1,2,\ldots\) , and the function series \(\sum_{i=1}^{\infty }a_{i}(t)\) is uniformly convergent.

L.3
For any natural i, there exists a function \(q_{i}(t)\in C([a,b];\mathbb{R}_{+})\) such that
$$ \bigl\vert g_{i}(t,u_{1},u_{2},u_{3}, \ldots) \bigr\vert ^{p}\leq b_{i}(t)+q_{i}(t) \vert u_{i} \vert ^{p} $$holds for \(t\in [a,b]\) and \(u=(u_{i})\in l_{p}\) for \(i=1,2,\ldots \) , the sequence \(\{b_{i}(t)\}_{i=1}^{\infty }\) behaves as mentioned in the hypothesis (L.2) and the sequence \(\{q_{i}(t)\}_{i=1}^{\infty }\) is equibounded on \([a,b]\).
Similar to the previous section, we introduce here the following finite constants:

1.
\(\mathcal{A}:=\sup \{g(t) t\in [a,b]\}\), such that \(g(t):=\sum_{i=1}^{\infty } (a_{i}(t)+b_{i}(t) )\) is a continuous and uniformly convergent series function on \([a,b]\).

2.
\(Q:=\sup \{q(t) t\in [a,b]\}\), in which \(q(t):=\sum_{i=1}^{\infty }q_{i}(t)\) is a continuous series function on \([a,b]\).
Here we are ready to state and prove the second existence criterion for the infinite system of the Hilfer fractional boundary value problems (1.1). So, we have the following theorem.
Theorem 3.2
Assume that the hypotheses (L.1)–(L.3) hold. Then the infinite system of the integral equations (3.1) has at least one solution \(u(t)=(u_{i}(t))_{i}\), provided that \(\Lambda ^{p}(ba)^{\frac{p+q}{q}}Q<1, \frac{1}{p}+\frac{1}{q}=1\), in which for each \(t\in [a,b], u(t)\in l_{p}\). Moreover, for each \(t\in [a,b], u(t)\in \ker \chi \).
Proof
Since in Sects. 3.1 and 3.2 the infinite system (1.1) must be studied, in the proof of this theorem we try to skip those parts that are the same as those in Theorem 3.1. So, we do not repeat the first part of the proof of Theorem, (3.1) up to (3.3), here. Therefore, we start as follows. Consider the space \(C([a,b];l_{p})\) of all continuous functions on \([a,b]\) with values in the space \(l_{p}\) and endowed with the classic norm
We now define the operator \(\mathcal{L}\) on the space \(C([a,b];l_{p})\) as
Accordingly, for a fixed \(u(t)=(u_{i}(t))\in C([a,b];l_{p})\), for each \(t\in [a,b]\) and by the use of the Hölder inequality, we have
where \(q>1\) is the conjugate number of p, that is, \(\frac{1}{p}+\frac{1}{q}=1\). So, we get the following:
This inequality ensures that \(\mathcal{L}u\) is bounded on the interval \([a,b]\) that guarantees that the operator \(\mathcal{L}\) transforms the space \(C([a,b];l_{p})\) into itself. Besides, considering the fixed point problem (3.1)–(3.2), we obtain the following inequality:
which leads us to the following straightforward inequality:
In this position, we are ready to show that all conditions of Theorem 2.11 are satisfied. First, similar to Theorem 3.1, we consider the nonempty, bounded, closed and convex set \(\overline{B}(u^{0},r)\subset l_{p}\) as defined in Theorem 3.1 with \(r\leq \vartheta \). Next, since based on the hypothesis (L.1) the operator \(\mathcal{L}\) is continuous on \(C([a,b];\overline{B})\), it is just enough to prove that for each \(t\in [a,b]\) the operator \(\mathcal{L}\) defined by (3.6) is a Meir–Keeler condensing operator on \(C([a,b];\overline{B})\). To this end, for an arbitrary \(\epsilon >0\) we find an \(\delta >0\) such that if \(\epsilon \leq \chi (\overline{B})<\epsilon +\delta \), then \(\chi (\mathcal{L}(\overline{B}))<\epsilon \). To achieve the desired result, we use the \(l_{p}\)definition of the Hausdorff MNC χ represented by (2.9). Hence, in the light of the Hölder inequality we get
where q is the conjugate number of p. So, we have
Equivalently, it follows that
Therefore, choosing
we arrive at the conclusion that if \(\epsilon \leq \chi (\overline{B})<\epsilon +\delta \), then \(\chi (\mathcal{L}(\overline{B}))<\epsilon \). In other words, the operator \(\mathcal{L}\) is a Meir–Keeler condensing operator on \(C([a,b];\overline{B})\). So, according to Theorem 2.11, the infinite system of integral equations (3.1) has at least one solution in \(\overline{B}\subset l_{p}\). Furthermore, the set of all such solutions belongs to kerχ as showed in Theorem 3.1. This completes the proof. □
4 Numerical examples
Example 4.1
We start this section with the following infinite system of the Hilfer fractional boundary value problems:
subject to the following setting:
where
Note that by \(E_{\alpha,\beta }(t)\) we mean the twoparametric MittagLeffler function
For the sake of better applicability, we choose \(p:=2\), that is, we are migrating into the Banach sequence space \(l_{2}\). Here, we begin by proving that all of the hypotheses (L.1)–(L.3) are satisfied. But formerly we paid attention to the key point that, for an arbitrary positive constant ρ, it follows that
We fix the arbitrary natural number i to get the following:
It is time to recall the max value (4.4), which helps us to obtain the following:
We now define
Here, we need to apply the Weierstrass Mtest to identify the validity of the hypotheses (L.2) and (L.3). Since for the realvalued sequence \(\{r_{i}\}_{i=1}^{\infty }\), we have
and since
it follows from Fig. 1 and Table 3 that the sequence \(\sum_{i=1}^{\infty }r_{i}\) is uniformly convergent on \([a,b]\).
Besides, the upper bound estimate
indicates that the sequence \(\{q_{i}\}_{i=1}^{\infty }\) is equibounded on \([a,b]\). Thus, considering
we arrive at the conclusion that the hypotheses (L.2) and (L.3) are satisfied. Here, we have to prove that the hypothesis (L.1) is also satisfied. To this aim, we consider the operator
and fix arbitrary \(t\in [a,b]\) and \(u=(u_{i}):=(u_{1},u_{2},\ldots)\in l_{2}\). So, we get
This proves that the operator \(\mathcal{S}=(F_{i})\) transforms the space \([a,b]\times l_{2}\) into \(l_{2}\). Next, we shall take a fixed arbitrary positive constant ϵ and an arbitrary point \(u=(u_{i})\in l_{2}\). So, taking the point \(v=(v_{i})\in l_{2}\) such that \(\uv\_{l_{2}}<\epsilon \), it follows that
To complete this estimation, we need to apply the Cauchy–Schwarz inequality to obtain the following:
If we summarize the above process, we conclude that
So, the recent inequality ensures that the hypothesis (L.1) is satisfied. Finally, choosing \(\alpha:=1.5, \beta:=0.5\) and \(\pi \approx 3.1416\), we get
Therefore, since all conditions of Theorem 3.2 hold, it has been proved that the infinite system of the Hilfer fractional boundary value problems (4.1) has at least one solution \(u(t)=(u_{i}(t))\) in the sequence space \(C([a,b];l_{2})\).
Example 4.2
In order to illustrate the applicability of the obtained theoretical existence criterion in Theorem 3.1, we consider the following infinite system of the Hilfer fractional boundary value problems:
under the following setting:
We assume that all of the parameters in this application are the same as those in Example 4.1. To see that the infinite system (4.9) has at least one solution in the sequence space \(c_{0}\), we have to show that all conditions of Theorem 3.1 hold. To this aim, first one can observe that
So, if \(u(t)=(u_{i}(t))\in c_{0}\), then, by the use of this fact, we get the following:
that is, \(F_{i}(t,u)\in c_{0}\). Since the proof of equicontinuity of the operator \(\mathcal{Q}:[a,b]\times c_{0}\rightarrow c_{0}\),
is similar to that of in Example 4.1, so we omit it here. Hence, we begin with the hypothesis (C.2) as follows. According to (4.10), it is easy to check that \(a_{i}(t)\in C([a,b];\mathbb{R}^{+})\) for \(i=1,2,\ldots \) . Also, based on Fig. 2 and its corresponding numerical data Table 4, as represented below, we arrive at the conclusion that \(\{a_{i}\}_{i=1}^{\infty }\) vanishes identically on \([a,b]\), that is, the hypothesis (C.2) is satisfied.
Here we consider the functions \(g_{i}(t,u_{1},u_{2},\ldots), i=1,2,\ldots \) . Thus, we have
Now, it is easy to check that the hypothesis (C.3) is also satisfied. Finally, we have to check that the assumption \(\Lambda (ba)\mathcal{Q}\) holds. Since \(\Lambda \approx 0.434314, a:=0, b:=1\) and \(\mathcal{Q}:=1\), it follows that
Therefore, Theorem 3.2 ensures that the infinite system of Hilfer fractional boundary value problems (4.9) has at least one solution \(u(t):=(u_{i}(t))\) in \(c_{0}\).
Availability of data and materials
Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.
References
Abbas, S., Agarwal, R.P., Benchohra, M., Lazreg, J., Ahmad, B.: Bounded weak solutions for Hilfer fractional differential equations on the half line. Adv. Dyn. Syst. Appl. 15(1), 35–49 (2020)
Aghajani, A., Allahyari, R., Mursaleen, M.: A generalization of Darbo’s theorem with application to the solvability of systems of integral equations. J. Comput. Appl. Math. 260, 68–77 (2014)
Aghajani, A., Mursaleen, M., Haghighi, A.S.: Fixed point theorems for Meir–Keeler condensing operators via measure of noncompactness. Acta Math. Sci. Ser. B Engl. Ed. 35(3), 552–566 (2015)
Akmerov, R.R., Kamenski, M.I., Potapov, A.S., Rodkina, A.E., Sadovskii, B.N.: Measures of Noncompactness and Condensing Operators. Birkhauser, Basel (1992)
Atanackovic, T.M., Pilipovic, S., Stankovic, B., Zorica, D.: Fractional Calculus with Applications in Mechanics. Wiley, New York (2014)
Ayerbe Toledano, J.M., Benavides, T.D., Acedo, G.L.: Measures of Noncompactness in Metric Fixed Point Theory. Birkhäuser, Basel (1997)
Baleanu, D., Guvenc, Z.B., Machado, J.A.T.: New Trends in Nanotechnology and Fractional Calculus Applications. Springer, Berlin (2010)
Baleanu, D., Machado, J.A.T., Luo, A.C.J.: Fractional Dynamics and Control. Springer, Berlin (2012)
Banas, J., Goebel, K.: Measures of Noncompactness in Banach Spaces. Lecture Notes in Pure and Applied Mathematics, vol. 60. Dekker, New York (1980)
Banas, J., Mursallen, M.: Sequence Spaces and Measures of Noncompactness with Applications to Differential and Integral Equations. Springer, Berlin (2014)
Bedi, P., Kumar, A., Abdeljawad, T., Khan, A.: Existence of mild solutions for impulsive neutral Hilfer fractional evolution equations. Adv. Differ. Equ. 2020, 155 (2020). https://doi.org/10.1186/s1366202002615y
Bhairat, S.P.: Existence and continuation of solutions of Hilfer fractional differential equations. J. Math. Model. 7(1), 1–20 (2019)
Gao, W., Veeresha, P., Baskonus, H.M., Prakasha, D.G., Kumar, P.: A new study of unreported cases of 2019nCOV epidemic outbreaks. Chaos Solitons Fractals 138, 109929 (2020)
Gu, H., Trujillo, J.J.: Existence of mild solution for evolution equation with Hilfer fractional derivative. Appl. Math. Comput. 257, 344–354 (2015)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. NorthHolland Mathematics Studies, Elsevier Science, vol. 204 (2006)
Kuratowski, K.: Sur les espaces complets. Fundam. Math. 5, 301–309 (1930)
Lewis, D.C. Jr: Infinite systems of ordinary differential equations with applications to certain secondorder partial differential equations. Trans. Am. Math. Soc. 35(4), 792–823 (1933)
Liu, X., Li, Y., Xu, G.: On the finite approximate controllability for Hilfer fractional evolution systems. Adv. Differ. Equ. 2020, 22 (2020). https://doi.org/10.1186/s1366201924785
Liu, J., Yang, X., Cheng, M., Feng, Y., Wang, Y.: Abound rogue wave type solutions to the extended \((3+1)\)dimensional JimboMiwa equation. Comput. Math. Appl. 78(6), 1947–1959 (2019)
Mainardi, F.: Fractional Calculus and Waves in Linear Viscoelasticity. World Scientific, Singapore (2010)
Miller, K.S., Ross, B.: An Introduction to Fractional Calculus and Fractional Differential Equation. Wiley, New York (1993)
Mursaleen, M., Rizvi, S.M.H.: Solvability of infinite systems of second order differential equations in \(c_{0}\) and \(l_{1}\) by Meir–Keeler condensing operators. Proc. Am. Math. Soc. 144, 4279–4289 (2016)
Mursaleen, M., Mohiuddine, S.A.: Applications of measures of noncompactness to the infinite system of differential equations in \(l_{p}\) spaces. Nonlinear Anal. TMA 75, 2111–2115 (2012)
Oldham, K.B., Spanier, J.: The Fractional Calculus. Academic Press, New York (1974)
Pathak, N.: Lyapunovtype inequality for fractional boundary value problems with Hilfer fractional derivative. Math. Inequal. Appl. 21(1), 179–200 (2018)
Petras, I.: FractionalOrder Nonlinear Systems. Modeling, Analysis and Simulation. Springer, Berlin (2011)
Podlubny, I.: Fractional Differential Equations. In: Mathematics in Science and Applications, p. 19. Academic Press, New York (1999)
Ray, S.S.: Fractional Calculus with Applications for Nuclear Reactor Dynamics. CRC Press, Boca Raton (2016)
Steinberg, S.: Infinite systems of ordinary differential equations with unbounded coefficients and moment problems. J. Math. Anal. Appl. 41, 685–694 (1973)
Subashini, R., Ravichandran, C.: On the results of nonlocal Hilfer fractional semilinear differential inclusions. Proc. Jangjeon Math. Soc. 22(2), 249–267 (2019)
Subashini, R., Ravichandran, C., Jothimani, K., Baskonus, H.M.: Existence results of Hilfer integrodifferential equations with fractional order. Discrete Contin. Dyn. Syst., Ser. S 13(3), 911–923 (2020)
Tomovski, Z.: Generalized Cauchy type problems for nonlinear fractional differential equations with composite fractional derivative operator. Nonlinear Anal. TMA 75, 3364–3384 (2012)
Valliammal, N., Ravichandran, C., Hammouch, Z., Baskonus, H.M.: A new investigation on fractionalordered neutral differential systems with statedependent delay. Int. J. Nonlinear Sci. Numer. Simul. 20(7–8), 803–809 (2019)
Voigt, A.: Line method approximations to the Cauchy problem for nonlinear parabolic differential equations. Numer. Math. 23, 23–36 (1974)
Yang, X., Gao, F., Ju, Y., Zhou, H.: Fundamental solutions of the general fractional–order diffusion equations. Math. Methods Appl. Sci. 41, 9312–9320 (2018)
Yang, X.: General Fractional Derivatives: Theory, Methods and Applications. CRC Press, New York (2019)
Yang, X., Gao, F., Ju, Y.: General Fractional Derivatives with Applications in Viscoelasticity. Academic Press, San Diego (2020)
Yang, X., Machado, J.A.T.: A new fractal nonlinear Burgers’ equation arising in the acoustic signals propagation. Math. Methods Appl. Sci. 42(18), 7539–7544 (2019)
Yang, X., AbelAty, M., Cattani, C.: A new general fractionalorder derivative with Rabotnov fractionalexponential kernel applied to model the anomalous heat transfer. Therm. Sci. 23(3A), 1677–1681 (2019)
Acknowledgements
The author gratefully acknowledges the editor in charge and all of the anonymous three referees for detailed and constructive suggestions.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The author read and approved the final version of the current paper.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has 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
Gholami, Y. Existence results for infinite systems of the Hilfer fractional boundary value problems in Banach sequence spaces. Adv Differ Equ 2021, 155 (2021). https://doi.org/10.1186/s1366202103314y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366202103314y